. Let a = m + -37.01. Which is bigger: a or -1/2?
-1/2
Suppose -10*s + 358 = 478. Which is bigger: -8 or s?
-8
Let m = -2.98 + -0.02. Let w = -128/143 - -431/26. Let g = 31/2 - w. Which is bigger: m or g?
g
Suppose 3*c + 4*a = a + 15, 5*c - 70 = 4*a. Let m = 4 - c. Is -19/3 at most as big as m?
True
Let s be (-8)/6*36/24. Let v be s/5 + 2/(1540/413). Is 0 <= v?
True
Let m = 4 - 10. Let s be ((-10)/(-8) - (-575)/(-92)) + 1. Are m and s equal?
False
Let y = 11.53 + -11.73. Is 602 less than y?
False
Suppose 3*p = -55 + 1. Let g be 2 - (p/4)/(-3). Let t = 7.81 - 6.81. Is g less than t?
True
Let q(j) = j**3 + 2*j**2 - 12*j + 7. Let o be q(2). Which is greater: -9/67 or o?
-9/67
Let c = -43/10 - -5/2. Is 8 bigger than c?
True
Let f(i) = i + 24. Let y be f(0). Let q be (-2 - 1/(4/(-672))) + -4. Let k = q - 137. Which is bigger: k or y?
k
Suppose 10*l + 6 = 11*l. Let b be (0 + l/8)/(63/42). Is -0.05 < b?
True
Let k = 2 + 15. Let s be 46/69 - 12/18. Are s and k equal?
False
Suppose -4*b + 5 + 147 = 2*u, 3*u + 2*b = 220. Which is smaller: u or 71?
71
Let p be (8/(-10))/((-4)/10). Let f = -3 + p. Let a = -71.2 - -71.9. Is a > f?
True
Suppose 8*r = 4*r + 168. Let y be (r/24)/(3/4). Let k = -59/24 + y. Which is bigger: k or -0.1?
-0.1
Let i = 34.082 - 0.082. Let t = 48 - i. Let v = t - 12. Which is smaller: 0.9 or v?
0.9
Let v = -1736 - -1735.8. Are 3/289 and v nonequal?
True
Suppose -f - 124 = 2*u, -31 = f - u + 87. Is f at least -120?
True
Suppose 0 = -2*n - 8 + 18. Suppose 5 = p + 2, -n*q + 94 = -2*p. Let g = q - 26. Is -6 at most as big as g?
True
Suppose 0 = 7*t + 4 - 18. Suppose 0 = 5*g - 6*z + 10*z + 78, 38 = -t*g - 5*z. Which is greater: -59/4 or g?
g
Let k = 288.03 + -288. Is k smaller than -0.3?
False
Let x = -352.737 - -353. Let s = -0.063 + x. Which is smaller: s or 1/3?
s
Let s(f) = 18*f**2 - f - 1. Let b(m) = -18*m**2 + m + 1. Let p(y) = -7*b(y) - 6*s(y). Let q be p(-1). Let x be (722/114)/((-1)/(-3)). Which is smaller: x or q?
q
Let k be -2*-226*(-5)/10. Which is smaller: k or -224?
k
Let b = -3 - -3. Suppose -2*l - 5*y = -29, 0 = -5*l + 4*y - 0*y - 10. Let i be l/(-10)*(-385)/(-66). Is b at most i?
False
Let q(y) = -y**3 + 13*y**2 - 12*y. Let n be q(12). Let g be n + (30/14 - (2 + -1)). Is g bigger than 0?
True
Let o = -2294 - -1660. Which is smaller: -632 or o?
o
Suppose 174 = -t + 5. Is -170 smaller than t?
True
Let m be (10/(-6))/((-4)/(-6))*4. Let b be ((-16)/(-260))/(12/m). Is -1 at least as big as b?
False
Let j be (-2 + 65/40)*-8. Suppose 0 = -5*d - 3*o - 84, o = d + j*o + 21. Let i be -1 + 5/d*-3. Does i = 0?
True
Suppose 5 - 17 = -4*g. Let b be (-1)/(-3)*(6 - 6/1). Is g < b?
False
Let p be ((-2 - 2)/4)/(2/12). Let u be p/(-39) + 153/273. Is 0 <= u?
True
Suppose -20 = -f + 5*k, -3*f - 2*k + 28 = -f. Let s be (42/35)/((-1)/f). Is s > -18?
False
Let o(v) be the third derivative of -v**5/30 + v**4/8 + v**3/6 - 27*v**2. Let u be o(4). Is 1/6 < u?
False
Let s = -112.3 + 30.3. Is s greater than 1/2?
False
Let a = 6026/7 - 78362/91. Which is greater: -1 or a?
a
Let s(r) = 2*r**2 - 7*r - 3. Let q(h) = -h**2 + 3*h + 2. Let y(n) = -5*q(n) - 2*s(n). Let m be y(3). Suppose -o - 4 = -m*o. Which is greater: -0.1 or o?
o
Suppose 3*i - 2*r - 197 = 0, -5*i + 190 = -3*r - 140. Are i and 68 equal?
False
Let p(b) = -b - 2. Let j be p(-7). Suppose -2*q = j*h + 8, -2*q - 3*q + h = 74. Let x be q/12 - (-2)/12. Is x at most -3?
False
Let c be (-1)/((5/2)/5). Let o = c - -4. Let f be (132/(-330))/(2/(-5)). Which is smaller: f or o?
f
Let k(t) = -76*t + 2. Let j be k(5). Is -377 <= j?
False
Let z(h) = -h**2 + 21*h + 28. Let t(c) = -3*c**2 + 62*c + 83. Let b(d) = 6*t(d) - 17*z(d). Let i be b(18). Which is greater: i or -33?
i
Let s = -269 + 264.16. Let d = s - -5. Let n = -73.13 + 73.23. Which is smaller: d or n?
n
Let a be (10/25)/((-4)/145)*-2. Suppose 3*j = 72 + 18. Which is smaller: j or a?
a
Let r = -0.11 - -0.129. Which is smaller: r or -1?
-1
Suppose 3*l - 9 = 54. Which is bigger: l or 12?
l
Let n = -0.03 + -1.97. Let v = -52 + 81. Let w = v - 28.8. Which is greater: w or n?
w
Let l be (-4)/(-1)*(-117)/(-1144). Do l and -1 have different values?
True
Let r = -3.9 - -4.1. Which is bigger: r or -0.01?
r
Let y = -1585/4 + 396. Let g be (-2)/(-7) + 11/(-14). Let s = y - g. Which is smaller: s or 0?
0
Let j(g) = g**2 - g. Let z(u) = 2*u**2 - 11*u + 40. Let l(a) = 3*j(a) - z(a). Let n be l(-12). Is n >= 0?
True
Suppose 0 = 3*q + 6*r - 8*r - 5, 0 = 2*q - r - 3. Is 2/691 <= q?
True
Let q be (-54)/12 - (0 - -6). Let i(s) = 3*s - 1. Let p be i(-3). Which is greater: q or p?
p
Let s = 0.08 - -14.92. Let n = -151 - -168. Let l = s - n. Is l bigger than 0?
False
Let r = -129.93 + 130. Is 25 >= r?
True
Let y(l) = l**2 - 16*l - 20. Let m be y(15). Let v be (-126)/m + (-2)/(-5). Suppose 4*j + 28 = -v. Which is smaller: 1 or j?
j
Suppose 11 = 5*h - 4. Suppose -4*x + 76 = -h*d + 7, x + 5*d = 0. Is 16 less than x?
False
Let x be -4*(-12)/3488*6/45. Which is smaller: x or -1?
-1
Let b = -580 - -579. Which is smaller: 9/11 or b?
b
Let u = 12.29 + -0.29. Let d be 4/(96/9)*14/(-21). Which is bigger: u or d?
u
Let n = 134 - 130.7. Let s = -7.3 + n. Let u(b) = b**2 - b. Let m be u(2). Is m at most s?
False
Let k(l) = -5*l**2 + 22*l - 14. Let h be k(6). Which is smaller: -816/13 or h?
-816/13
Let p = 0.04 + -0.34. Suppose 26*s = 20*s - 24. Let a be (s/42)/((-24)/168). Is p >= a?
False
Suppose -2*c - 2*g - g = -1, 4*c + 2*g + 10 = 0. Let x be c + ((-236)/(-28) - -1). Which is smaller: x or 5?
5
Let p = 2/455 - -4063/7280. Which is smaller: p or -0.1?
-0.1
Let b(z) = z**3 - 25*z**2 + 49*z + 24. Let g be b(23). Is g equal to 93?
True
Let i = 180 - 176. Is i > -14?
True
Let g = -7.3 - -7. Let h = 8.4984 - -0.5016. Is g != h?
True
Let s(a) = -a**3 + 3*a**2 + a - 2. Let x be s(2). Let r be 35/(-1)*42/(-30). Suppose -l = l - 5*g + 11, -g = -x*l - r. Is l at least as big as -14?
True
Let f = 2.3 + 26.7. Let w = f + -25. Is -4 != w?
True
Let v be (-70)/(-20)*(-8)/4. Let o = -34 - -23. Which is greater: v or o?
v
Let k = -86 - -85.384. Let t = k - -0.086. Is t at most as big as -1?
False
Suppose 146*r - 151*r = -25. Suppose -r*o - 5 - 2 = -3*y, -o + y - 1 = 0. Do -2 and o have the same value?
True
Suppose 3*d = -4*f + 11, -2*f + 1 - 13 = -2*d. Suppose -2*u - o = -4, -4*o + 11 = -d. Suppose u = -2*z + 4*z. Which is greater: -3 or z?
z
Suppose -4 = 4*v - 0. Let m = -5/514 + 1543/52942. Which is greater: v or m?
m
Let v(s) = -s - 4. Let y be (-1 - -3) + (-15)/(-10)*2. Let k be v(y). Is -8 less than k?
False
Let z be 6 + 61/(-9) - 2/9. Is 6/23 smaller than z?
False
Suppose 22*n = 289 + 393. Suppose -37*b = -n*b + 726. Which is smaller: b or -120?
b
Suppose -5*g = -7*g - 272. Let z = -82 - g. Which is smaller: z or 53?
53
Suppose 14 = -3*r + 4*t + 1, -4*r = -3*t + 15. Let o = -2 + -1. Is o bigger than r?
False
Let c be 196/(-180) - ((-18)/(-6))/(-3). Which is bigger: -1 or c?
c
Let j = -16 - -13. Suppose -x = -0*x + 4. Which is smaller: x or j?
x
Let o be (-40 + 5)/5 - 14584/(-2080). Which is smaller: o or 1?
o
Let m be 5 - 2 - 2/(-2)*29. Is 33 > m?
True
Let k = 8 + -2. Suppose 5*t + 16 = -k*m + 2*m, -5*m + 2*t - 20 = 0. Let h be 2/4 + 54/m. Which is greater: -12 or h?
-12
Let w be (-1065)/1059 + (4 - 3). Let n = w - 448/45537. Let y = n - -272/903. Is y less than 0?
False
Let l = -0.077 + 0.527. Let w = l + -0.55. Which is smaller: w or 24?
w
Let v(f) = -2*f - 10. Let z = 0 + -5. Let i be v(z). Let p be (2 + 39/(-18))/(-1). Which is bigger: i or p?
p
Let n = 1112597/363 + -3065. Is n bigger than 0?
True
Let g = -77 - -84. Which is greater: g or 19?
19
Let f be 6*-1*2/(-4). Let i be 0 - -2 - 1/7*0. Is f at most i?
False
Let g be (-4784)/(-7410) - 6/9. Which is smaller: 1 or g?
g
Let z = -32891/55 - -598. Is z at most 0?
True
Let i = -42.499 + -0.501. Is i smaller than -1/3?
True
Let s be (12/(-9))/(((-112)/(-6321))/8). Is s smaller than -602?
False
Let h be (-17 - 1)/((-24)/(-16)). Let x be (-1)/1 - (-17 + h). Let k = x - 33. Which is greater: -6 or k?
k
Let u = -2.041 + 0.171. Let g = u - 0.13. Is g not equal to 1?
True
Suppose 2*y + 2*y = 0. Suppose 4 = -y*o + 2*o. Let r be 4 + -4 + (2 - o). Which is smaller: 1/3 or r?
r
Let n be 4/22 + 32/(-176). Let k(r) = 26 - 12 - 10 + n*r + r. Let