 + h*v. Suppose 4*f - 2*i = -108, -v = -0*f + 2*f - 2*i. Which is smaller: f or -1/2?
f
Let w = -792 + 793. Let a(m) = -7*m**3 + m. Let o be a(1). Let i be (w - (-1)/2)/(3/o). Which is bigger: i or -2?
-2
Let f be (4 - 6)*2/(-14). Let r(h) = h**3 - 12*h**2 + 12*h - 14. Let s be r(11). Let z(x) = -x**3 + 5*x + 7. Let c be z(s). Is f less than or equal to c?
True
Let v = 5/43 + -422/301. Let y(k) = -k + 20. Let r be y(20). Suppose r = 5*g - 1 + 1. Which is greater: g or v?
g
Suppose -4*t = -y + 945, 9*t + 9*y = 4*y - 2090. Which is greater: -224 or t?
-224
Let h = 451 - 180. Let v = h + -3526/13. Which is bigger: 0 or v?
0
Let h = 2.4 + -2.57. Let t = h + -0.03. Let z = 42 - 43. Is t at most as big as z?
False
Let p(g) = g**3 + 7*g**2 - 8*g - 5. Let i be p(-8). Let u be (-30)/((1 + i)/4). Let a be 1/((-20)/u*6/(-8)). Which is smaller: 6 or a?
a
Let t be -5*26/195 + ((-192)/45)/(-4). Are t and 37/7 non-equal?
True
Let p = -1374 - -1375. Let h = -0.09 - 1.91. Let m = -19 - h. Which is smaller: m or p?
m
Let z be (4 + 44/(-10))/((-1)/180). Let f be z/120 - (-62)/(-70). Which is bigger: f or 0.056?
0.056
Let c = 21326 + -21326. Which is bigger: -294/73 or c?
c
Suppose -4*j + h + 507 = 61, -3*j + 3*h = -330. Let g be 6*(j/18 + -6). Which is greater: g or -5?
g
Let l(s) = s. Let a be l(1). Let c = 0 - a. Let y = 6164/30361 - 70/313. Does y = c?
False
Let s(o) = -2*o - 32. Let d be s(-17). Suppose -4*n - v + 2 = 6, 5*v = d*n - 20. Are 5/67 and n non-equal?
True
Let y(h) = h**3 + h**2 - h. Let u be y(1). Let o be 115115/(-269555) - 2/58. Which is greater: u or o?
u
Let q be (20 + -21)*5*(-1980 - -3). Is q greater than or equal to 9885?
True
Suppose b - 2 = 2*b, 0 = 2*s - 4*b + 2780. Let k = 23707/17 + s. Let f = 58/51 + k. Are 3 and f equal?
False
Let f(m) = 110*m**2 - 94*m - 563. Let a be f(-6). Which is bigger: 3962 or a?
3962
Let z be 5/(65/(-17)) - -2. Suppose -2*i = h + 1, -h - 25*i = -27*i - 3. Which is smaller: h or z?
z
Let g be ((-152)/(-12))/((-2)/6). Let o = -63 + 60. Let h be 187/(-5) - o/(-5). Do h and g have the same value?
True
Let z be (-2008)/(-28) + 2/7. Let o = 65 - z. Let g(k) = -k - 9. Let b be g(o). Is b at least -4/5?
False
Suppose -53*k = -57*k + 12. Suppose s = 5*v - 4, 5*s - k*v = -6*v + 8. Is s equal to 2/465?
False
Let y(d) = 3*d + 19. Let c be y(-6). Let w(t) = 7*t. Let l be w(c). Suppose -4*x + l*x = -45. Is -17 at most x?
True
Let j = 213384295/286 + -8257016/11. Let c = -9051/2 - j. Let i = c - 1779/130. Which is smaller: i or 1?
i
Let j = 22429 + -20330. Is 2100 < j?
False
Let u be (1 + 138/(-20))*((-153)/18 - -9). Is -2/11 at most u?
False
Let z be (44 - 41)/((-3)/(-37)). Let y be (14/(-8))/(-1) - (-4)/16. Suppose -70 = -2*q - 0*q - 2*p, -66 = -y*q - 4*p. Is q >= z?
True
Suppose 5*f = 4*c - 246, 5*f + 7*c + 226 = 6*c. Which is bigger: -29 or f?
-29
Let i = 115 - 114. Let q be 0 + (i + -2 - 0). Is q less than 5/26?
True
Let g = -152.2 - -25.2. Let n = g + 179.4. Let m = n + 5.6. Which is smaller: m or 1?
1
Suppose 83 - 88 = i. Let r(g) be the second derivative of -g**4/12 - g**3/6 + 21*g**2/2 - 3*g. Let a be r(i). Which is bigger: a or -11?
a
Let c be (42/98)/(4 - (-87)/(-21)). Let x be ((-2)/(-4))/(2/(-20)). Are c and x unequal?
True
Let s(o) = -o + 1. Let d(z) = -z**2 - 3*z + 16. Let u(b) = -d(b) + 3*s(b). Let i be u(-5). Suppose 105 + 123 = i*k. Are k and 19 non-equal?
False
Let s(v) = v**3 + 22*v**2 - 23*v + 4. Let r be s(-23). Let h be ((-1)/(-3))/(r - 70/18). Let g be ((-66)/(-18) - h)/((-2)/3). Which is smaller: g or -4/13?
g
Suppose 4 = -3*s - 2*n, -100*n = -103*n - 6. Let t be 28/(42/(-38) - -1). Let f be (-2)/(-7) - (-48)/t. Which is smaller: s or f?
s
Let a be 58*((-3)/36*2 + (-21)/63). Which is greater: 52 or a?
52
Let r be 30/5 + (-3 - 1728/577). Do r and 0 have different values?
True
Let n = 675 - 677. Are n and 347 unequal?
True
Let q = -123.25 + 120.25. Let y(j) = -8*j. Let d be y(-4). Suppose -4*p = -w + p + 4, 0 = 2*w + 2*p - d. Which is greater: w or q?
w
Let q = -15 - 56. Let w = -74.91 + 5.91. Let s = w - q. Is s less than or equal to 4?
True
Let i = -4/49555 - 84738/178051115. Let v = -567787980875777/17965 - -31605231341. Let u = i + v. Is u less than 9?
False
Let a = 4.6 + -0.6. Let n = 680 - 678. Is n greater than or equal to a?
False
Suppose -23*a = -20*a - 5*n + 4447, 5*n = -a - 1489. Which is smaller: -1483 or a?
a
Let k = 93 + -85. Suppose -2*b + k = 8. Let a(g) = g**2 + 5*g + 4. Let d be a(-4). Are b and d nonequal?
False
Let l(b) = 30*b - 1. Suppose 55 - 46 = -3*y. Let k be l(y). Let f be (k/(-39))/((-26)/(-6)). Which is smaller: 2 or f?
f
Let f(w) = 383*w + 6895. Let z be f(-18). Is 1/6486 greater than z?
False
Let m be (9/(216/30))/((-2)/8). Let n be ((-4)/(-465))/(m*(-11)/275). Which is smaller: n or 1?
n
Let s be (-18)/255*(-20)/54*-547. Let b = 125/9 + s. Does b = -1?
False
Let x = 40.3 + -36.4. Let i = x + -34.9. Is -1 greater than i?
True
Suppose 3*o - 1 = t, 0 = -o + t - 1 - 0. Suppose s = -3*b + 1, -3*b - s + o = -6*b. Suppose 1016 - 1025 = 3*c. Which is smaller: c or b?
c
Suppose -4*r - 8*h + 3*h = 10, 0 = -5*h - 10. Suppose 0 = -v + l - 7 - 13, -82 = 5*v + l. Let j = v + 801/47. Are j and r non-equal?
True
Suppose -2*c - z + 1336 + 4203 = 0, -4*c + 11068 = 4*z. Which is smaller: c or 2771?
2771
Let p be (6 - 232/(-28))*(5 - -2). Which is greater: p or 101?
101
Let q = 22 - 14. Let d be ((-51)/q)/(9/6). Which is smaller: d or -4?
d
Suppose -4*b + 4*f + 0*f = -140, -3*f + 167 = 5*b. Which is smaller: b or 241/7?
b
Let u(h) = h**3 - 47*h**2 + 82*h + 251. Let z be u(45). Does -96 = z?
False
Let p = -6015320087573486/32741513069461 + -2/16885772599. Let f = p - -1286/7. Suppose -u = 4*u. Which is greater: f or u?
u
Let w(z) = -3*z + 98. Let n be w(32). Let f be ((-2)/n)/5 + (-59192)/490. Is -121 equal to f?
True
Let f = -49368/229775 - -12/1313. Which is smaller: f or 0?
f
Let o = 275 + 251. Let p = 520 - o. Does p = -62/13?
False
Let g = -0.21 + -3.32. Let o = -5.4 + 4.87. Let a = g - o. Which is greater: 0.13 or a?
0.13
Suppose -2*g = -2*j - 12, -g + 0*g - 4*j = 4. Suppose 0 = -4*c + 8 + g. Suppose c*t - 21 - 9 = 0. Is 28/3 equal to t?
False
Let m = 156 + -70. Let a = 86.078 - m. Let p = a + -0.028. Which is smaller: p or 0.07?
p
Suppose 6 = 3*i, -4*t - 31 = -i + 639. Which is smaller: t or -33?
t
Let c(m) = m**2 + 3*m + 5. Let z(r) = -r. Let s(b) = -c(b) + 6*z(b). Let x be s(-8). Suppose l = 2*u, -x*l + 2*l - 4*u = 6. Is 1 bigger than l?
True
Let k = 259 - 372. Let g = 185.04 - 297.31. Let q = g - k. Is q smaller than 1?
True
Suppose -6*z - 12 = -m - 10*z, -4*z = 5*m - 12. Suppose m = -2*h + 5*g + 8, -8 = -2*h + 4*g - 2. Let x be 0 + 2/50*2. Do h and x have different values?
True
Suppose -4620 = 32*g - 2*g. Let w = g + 1076/7. Are w and -1 non-equal?
True
Let i = -171/176 - -248427/2992. Is 83 >= i?
True
Suppose -320*n + 175980 = -21094 - 32686. Which is greater: 5 or n?
n
Let x = 22478015/2074 - 10838. Is x at least as big as 0?
True
Suppose 3*a - 93 = 3*j + 396, 0 = 3*j - 2*a + 486. Let y be 8/20 - 2696/j. Which is greater: 18 or y?
18
Suppose 114*o + 21455 - 5110 = -2009. Which is smaller: o or -144?
o
Suppose -3*c = -2*d - 9, -3*c - 11 = -5*c + 3*d. Suppose -4*q + 2*f - c = -31, -4*q + 33 = f. Let g = q + -29. Is -22 > g?
False
Let v(w) = -w**2 - 10*w - 8. Let d be v(-8). Let x(y) = -y**2 + 11*y - 17. Let i be x(d). Which is bigger: i or 11?
11
Suppose 345 + 137 = -26*z - 584. Suppose 120 = -x - 2*x. Is z >= x?
False
Let n(i) = i**3 - 7*i**2 + 5*i - 5. Let d = 21 - 15. Let w be n(d). Let g = -10 - w. Is 0 greater than or equal to g?
False
Let w = 57.221 + -0.221. Let v = 35 - 32. Let t = 3.1 - v. Which is greater: w or t?
w
Let h = -6 + 23/4. Let d be ((-1)/3)/((7 + -6)/(-78)). Let o = -43 + d. Is o at least h?
False
Let d(b) = 12*b + 5*b + 2*b**2 - 36*b**3 + 4*b - 20*b. Let u be d(-2). Suppose -9*n = -u - 12. Are n and 34 unequal?
False
Suppose 0 = 155*r + 447134 + 837971. Is -8291 equal to r?
True
Let x be (36/225*-5)/((-8)/(-2420)). Which is smaller: x or -727/3?
-727/3
Let f be (11/88)/(3*-3*(-9)/324). Let d = -58 - -5. Are f and d nonequal?
True
Let s be (-2)/(-4) + 5/2. Suppose 2*z - 5 = -1. Suppose x - 7 = 5*c + s, -z*c = 5*x - 23. Which is smaller: x or 4?
4
Suppos