bigger than 834?
False
Let h = 552 - 504. Which is greater: h or -6?
h
Let t = 0.708 + 1.292. Is t bigger than -8?
True
Let g(m) = -m - 18. Let b be g(0). Which is bigger: -16 or b?
-16
Let v = -673 - -673. Is v < 16.5?
True
Let b = -131 - -147. Are b and 1/5 equal?
False
Let p(x) = -x**3 - 22*x**2 + 24*x + 27. Let c be p(-23). Suppose -2*w = -c*b - 62, w - 4*b - 27 = -b. Which is greater: w or 41?
41
Let a = 8 + -2. Let w be (-1)/a*(-6)/4. Let m = -17 - -18. Which is greater: w or m?
m
Suppose -u + 8 = u. Suppose -16 + u = -4*o. Suppose 10 = 5*d - 0. Which is smaller: d or o?
d
Suppose -h = -0*h - 7*h. Is h bigger than 124?
False
Let l be (-6 - (-173277)/(-18))*(-4)/26. Let y = l + -1481. Suppose c = -3*v + 13, -c = 2*c - 2*v + 5. Is y greater than or equal to c?
False
Let k(g) be the first derivative of -g**3/3 + 4*g**2 - 15*g - 12. Let t be k(6). Let m be ((-1)/(-2))/(3/(-30)). Is m bigger than t?
False
Let t = -0.013 + -43.987. Let v = 44.026 + t. Which is greater: v or 1?
1
Let k = -209 - -252. Is 0.1 at most as big as k?
True
Let q be 7 + 119/(-7) - -11. Let i = -255 - -20143/79. Is i > q?
False
Let q = -0.3 + -0.1. Let w = 41.6 + -38.6. Which is smaller: w or q?
q
Let j be (-486)/(-8) - (-45)/(-60). Which is smaller: 6 or j?
6
Let h(q) = q**2 + q + 2. Let x be h(-2). Let i(w) = w**3 + 8*w**2 + 5*w + 13. Let s be i(-7). Suppose 0 = s*o - 31*o - 4. Is o smaller than x?
True
Suppose -3*j + 11*i - 275 = 7*i, 4*i = 5*j + 445. Do -85 and j have different values?
False
Suppose 3*k - 28 = -4*m + 149, 38 = m + 2*k. Which is smaller: 49 or m?
m
Let v be (20/8338)/((-42)/(-1048)). Let w = 2/2653 + v. Are w and 0 nonequal?
True
Let j = 4702 - 33031/7. Is -17 < j?
True
Let o be 0 - (-2 - (-7 + 4)). Let m be (-1)/(-8) - (1 - o). Is m at least as big as -2?
True
Let s = -142.4 + 142. Let o = 0 + -6. Which is greater: o or s?
s
Let g(a) = 2*a**2 - 71*a - 7. Let c be g(35). Are -42 and c equal?
True
Suppose -21*q + 343 + 161 = 0. Which is smaller: q or 21?
21
Let p = -131/7 + 109/7. Let f = 114 - 116. Is p at most as big as f?
True
Let r = -11008/3 + 1397974/381. Which is bigger: r or 1?
1
Let o = 225 - 228. Let b be (-2)/7 - 39/(-63). Which is smaller: o or b?
o
Suppose 125 = -k - 5*v, 4*v + 469 = -3*k + 116. Let i be k/(-60) - (-6)/(-9). Let c be (-2)/(-9) + 16/90. Is i greater than c?
True
Let b = -717 + 815. Which is smaller: 94 or b?
94
Let l = -12.8 + 17.8. Let w = 2 - l. Are w and -4 equal?
False
Let v = 26 - 19. Let z be (-14)/v*2*(-2)/20. Suppose -4*t + 2*t = 0. Which is bigger: t or z?
z
Let o = 7.22 + -7. Let s = -0.42 + o. Which is bigger: s or 0.6?
0.6
Let v = 0.5 - 0.7. Let r = 6.5 + -34.5. Let h = 24 + r. Which is greater: h or v?
v
Let z be 3/12*-6 + (-2420)/(-1608). Which is bigger: 1 or z?
1
Let r = 32/5 - 234/35. Let j = 1.2 + 4.8. Which is smaller: r or j?
r
Let p(m) = -3*m + 32. Let z be p(10). Suppose -2*i + 3 = 3*v, -5*v = -7*v - z*i + 4. Which is greater: v or -4/33?
-4/33
Let k = -4.281 + 4.19. Which is bigger: k or 2?
2
Let x be ((-44)/(-99))/(14/(-9)). Is 0.035 greater than or equal to x?
True
Suppose -3*a + 47 = 5*b, 13 = -2*b + b + 5*a. Let k(n) = -n**2 + 6*n + 5. Let h be k(b). Let t be h/(-5)*(-25)/(-18). Which is smaller: 2 or t?
t
Let f = -7 + 11. Let u be (-2)/(5/(50/f)). Let k(x) = x**3 - 11*x**2 + x - 15. Let q be k(11). Is q >= u?
True
Let k(p) = p + 6. Let u(x) = x**3 - 3*x**2 - 4*x - 5. Let l be u(4). Let y be k(l). Suppose 10 = h + 4*g, 4*g = -5*h + 4 - 2. Is h < y?
True
Let o = 3 + -19. Let u be o/(-4) + 159/(-42). Which is smaller: u or 0?
0
Let u be 10/(-3)*(3 - 6). Let y = u + -12. Let f = -3 - y. Is -2/7 not equal to f?
True
Let f(k) be the third derivative of k**5/60 - 19*k**4/24 - 4*k**3/3 - 32*k**2 - 1. Let m be f(7). Which is bigger: m or -91?
-91
Let d = 179.2 + -181. Which is smaller: d or 0.2?
d
Let y be (-1 + 0 + 3)/2. Let l(v) = v**3 - 17*v**2 + v - 16. Let b be l(17). Let i be (5/50)/(b/8). Which is smaller: i or y?
i
Let t = 2311 + -2310.4. Do t and 4/99 have different values?
True
Let a be (10/4)/((-65)/13 - -3). Let r(t) = -t**2 - 5*t - 6. Let y be r(-4). Which is smaller: a or y?
y
Let c be -2 - (-10 - -6) - 3. Which is smaller: 14/55 or c?
c
Let u(c) = -c**3 + 3*c**2 - 2. Let b be u(3). Let w be (-13)/(-2) - b/4. Suppose -20 = -w*f + 1. Does f = 3?
True
Suppose f = -3*f + u + 17, -5*u = -15. Suppose f - 1 = 2*v. Let n be (v + -3)*(-7)/(-49). Do 1 and n have the same value?
False
Suppose -62 = 13*w - 192. Is w less than 180/17?
True
Let j = -8.09 - -8. Let i = -73.89 + 73.9. Let n = i - j. Which is smaller: n or 14?
n
Let t be (-62)/1 + (2 - 2). Let a = t - -61. Which is smaller: a or -3/23?
a
Let t = 0 + -24. Let a = t + 44. Is 20 not equal to a?
False
Let d be (-1170)/(-273)*(-4)/290. Which is smaller: 0 or d?
d
Let h = -13.739 - -13.7. Let g = 0.139 + h. Which is smaller: g or 0.07?
0.07
Suppose 4*x - 16 = 0, 0 = -76*n + 80*n + 4*x - 6072. Is 1514 at least n?
True
Let z = 2603.1 + -2720. Let m = 106 + z. Let n = m - -11. Which is bigger: 1/6 or n?
1/6
Suppose 5*f = 4*k + 5, -5*k = 3*f - f + 31. Let d = -3 + -1. Which is greater: d or f?
f
Let o = -9.28 - -9. Let q be (-6)/(-15)*1 + (-56)/90. Is q >= o?
True
Suppose 5*n = -10, 5*i - 5*n - 33 = -153. Which is greater: i or -11?
-11
Let l(s) = -24*s - 2. Let y be l(-1). Let w(n) = 2*n + 11. Let g be w(6). Is y at most as big as g?
True
Let t be (0 + 2)*3/(-6). Let k = -5201/9 - -578. Which is greater: k or t?
k
Let u be 6/((-764)/(-4)*(-1)/1). Is u greater than or equal to 0?
False
Let i(h) = -h. Let l be i(2). Let j be 2*l*(-27)/(-18). Let k be (-36)/(-78)*(-2)/j. Is k > 2?
False
Let y be 2/(-14)*((5 - 3) + -8). Are y and -0.03 non-equal?
True
Let d(j) = -10*j**2 + j**2 + 10*j + 13 - j**3 + j**2. Let h be d(-9). Suppose -4*u - h*v = -32, -5*v + 8 = -4*u - v. Do 1 and u have different values?
True
Let s = -1300635/47762 - -3/3674. Which is bigger: s or -27?
-27
Let y be (-3)/6 - 746/(-12). Let s = y - 61. Suppose -2*v + 2*t = 0, -19*t + 22*t = v + 2. Is v > s?
True
Let u = 66 - 37. Let y = 42 - u. Let p = 17 - y. Which is bigger: 0.5 or p?
p
Let j = 0 + -0.03. Let f = 4.7 - 4.6. Which is bigger: f or j?
f
Let i be (-14)/35 - (-11)/15. Suppose -2*y + 2*l + 4 = -2*l, -5*y - 3*l = 3. Suppose y*g - 5*g + 5 = 0. Which is greater: g or i?
g
Let y = -2 + -2. Let s(p) = -39*p + 2. Let h be s(1). Let d = h + 35. Is y bigger than d?
False
Let s = -183 + 182.95. Are 9/8 and s equal?
False
Let h(l) = -l**3 - 4*l**2 + 4*l - 2. Let s(c) = -c - 10. Let t be s(-5). Let q be h(t). Is 5/3 greater than q?
False
Let g = 87 + -99.2. Let t = 12 + g. Which is bigger: t or 0?
0
Let c be (-700)/(-144) - (-3 - -8). Let b = 625/36 - c. Is 18 >= b?
True
Suppose 3*k + 420 = 10*k. Let j be (-369)/k - 10/(-25). Is -6 smaller than j?
True
Let k(m) = 10*m**3 - 3*m**2 + 6*m. Let u be k(4). Suppose -3*w - u = 5*w. Is w < -77?
False
Let j = -105.8922 + 1.1122. Let g = -105 - j. Is g less than 2?
True
Let n be 6 + (0 - 2/2). Suppose -n*r + 0*r + 20 = 0. Let l be (r/(-56))/((-1)/(-2)). Which is bigger: l or 1?
1
Let v = 1 + 20. Let i be 12/150*(7 + -2). Is v at least i?
True
Let f be -4 + 4/3*118. Is f < 154?
True
Let o = -13 + 10.4. Let p = o - -2.3. Which is smaller: p or -2/7?
p
Let a be -2 - -3 - (-2)/(-16). Suppose 1 = -3*v + 13. Suppose v*m - 7 - 1 = 0. Is m at least as big as a?
True
Let r(b) = -2*b**3 + 16*b**2 - b + 11. Let p be r(8). Suppose -p*u = -3*i + 84, -5*i = -22 + 2. Which is smaller: -1/2 or u?
u
Let y = -15 - -25. Suppose s = -s - y. Let o be (2/185)/(1/s). Is -1 at least as big as o?
False
Let c = 79.03 - 77.6. Do -1/12 and c have the same value?
False
Suppose -49*z + 2319 = -2924. Is z greater than 114?
False
Suppose 2*b = 4*b - 4*s + 8, -2*b - 4*s = 0. Let v be (4/8 + -1)*b. Which is greater: 6/17 or v?
v
Let h be ((-2)/(-3))/(2/9). Let n be 396/(-231)*(-4)/3. Does h = n?
False
Let l(d) = d**2 + 9*d + 11. Let b be l(-8). Let c be 142*(0 + b/24). Let t = c - 18. Which is greater: 0 or t?
0
Suppose 0 = -36*m - 1792 + 5860. Is m greater than or equal to 116?
False
Let t(c) = -c**2 - 7*c - 3. Let z be t(-7). Let o be (z - -2)/((-3)/3). Are o and 1 non-equal?
False
Let m(w) = 9*w. Suppose -2*a = t - 2, 2*a - 2*t + 3 = 5. Let b be m(a). Let g be 1/(30/b + -3). 