+ 5 = c. Let r = b - 2. Does r = 0?
False
Let o = 50.18 - 12.68. Which is greater: 1 or o?
o
Let o = 17.8 - 18.2. Let d be ((-2)/(1 - -5))/1. Which is bigger: o or d?
d
Let f be 7 - 3 - 3*4. Let z be 1 + 0 - (f - -17). Which is smaller: z or -0.4?
z
Let q = 233 + -269. Is -462/13 less than or equal to q?
False
Let v be 2 + ((-3220)/225)/7. Let w = v - 16/45. Let j be 0 - 2/4*2. Is j greater than w?
False
Let o be 6/9*(0 - (-156)/(-344)). Which is greater: -1 or o?
o
Suppose -10*o - 18 = -8*o - 5*f, 0 = 2*f. Suppose -b - b - d = 11, -3*b - 3*d - 18 = 0. Which is greater: o or b?
b
Let u = 5 + -5. Let i be (u*3/(-12))/(-2). Let m be (-6)/(-39) - (-55)/(-104). Which is smaller: m or i?
m
Suppose 0 = -2*u + a + 5, -3 = 4*u - u - 5*a. Suppose -u*t + 42 = -14. Is 17 greater than t?
True
Let x(q) = -q**2 - 2*q + 3. Let u be x(0). Suppose i + 2*i + 13 = -5*y, 2*i + 8 = -u*y. Let v be (-1 - -2)/(3 + y). Which is smaller: -4/11 or v?
-4/11
Let y = -608/9 - -68. Suppose 0 = -5*n - 42 + 77. Let t(j) = j**3 - 8*j**2 + 7*j + 1. Let v be t(n). Is v != y?
True
Let n be 3 - ((-992)/51 - (-26)/221). Suppose -4 = -2*p + 40. Let q = p - n. Is q less than 0.1?
True
Let u be (17 + -20)/(6/(-80)*2). Which is smaller: 1 or u?
1
Let j(r) = 16*r**3 + 2*r**2 + 2*r. Let l be j(-1). Let v = 21 + l. Suppose 12 = -3*d + 3*w, -15 = -5*d - v*w + 5. Which is smaller: -8 or d?
-8
Suppose 0*y = -4*y - 60. Let v(a) = -7*a + 17. Let k be v(6). Let f = y - k. Is -0.2 less than f?
True
Let l be 177/(-5015)*(-2)/(-18). Which is smaller: l or -1?
-1
Let k = 565 + -589. Suppose 5*a - 2*a - 12 = 0. Let z be k/54*(-18)/a. Which is greater: 14/5 or z?
14/5
Let g = 118 - 200. Let l = 81 + g. Which is greater: l or 2/135?
2/135
Let m(y) = -2*y**2 + 4*y - 5. Let c be m(1). Which is smaller: -19/5 or c?
-19/5
Let g = 181 - 181. Which is bigger: 1 or g?
1
Let f be 204/(-1530) + 62/15. Suppose 0 = 2*i - 8 + 36. Let d = i - -20. Are f and d equal?
False
Let m = 185 - 196. Which is bigger: m or -65/6?
-65/6
Let c = 42 + -41.987. Let g = c - 1.013. Is 2/23 > g?
True
Let t = 1190 - 1155. Is 7 at most as big as t?
True
Let x(w) = -w**3 - 16*w**2 - w - 4. Let g be x(-16). Let c be 2/((-2)/(-4) + 0). Which is greater: c or g?
g
Let b(x) = -x**2 + 27*x - 153. Let n be b(17). Let l(u) = -u**2 - 9*u - 2. Let f be l(-6). Which is smaller: f or n?
f
Let y be 26360/22512 + 3/(-18) + -1. Which is greater: -1 or y?
y
Let k be (-26)/117 - 104/18. Suppose -8*d = -2*d + 48. Is k less than d?
False
Let f = 506 - 506. Which is smaller: 4/1235 or f?
f
Let z = 19.9 - 2.9. Let j = 2324.03 + -2341. Let p = j + z. Is p != 1?
True
Let d = 18.1 + -17. Let y = 3 - 4.3. Let t = y + d. Which is smaller: t or -4?
-4
Let z = 162 + -85. Let x = -82 + z. Let r be (-9)/60 + 2/5. Which is bigger: x or r?
r
Let u(o) = -o**3 - 9*o**2 - 6*o + 27. Let z be u(-8). Do z and 1 have the same value?
False
Let p = 738/65 + -56/5. Let w = 6.214 + -0.014. Let h = w + -6. Do h and p have different values?
True
Suppose 0*w = 4*w + 96. Let s = w + 24. Suppose -d = 4*h + 15, -3*d + 3*h + 25 - 10 = s. Which is greater: d or 2?
2
Let c = -0.01 - 2.99. Suppose 2*x = 4*x - 4*f + 14, -2*x = 3*f. Does x = c?
True
Suppose 24 = 8*r + 24. Which is greater: r or 13?
13
Let x(s) = -s - 3 + 6 + 3*s**2 - 2 + 0. Let c(n) = n**3 + 7*n**2 - 2*n + 2. Let o(r) = -2*c(r) + 5*x(r). Let q be o(1). Which is greater: q or -8?
q
Let c = -23 + 26. Suppose c = -14*k + 11*k. Does k = -1?
True
Let r be 46/14 - (-16)/(-56). Let f be ((-89)/9 + r)*3. Let m = f - -20. Which is bigger: -2 or m?
m
Let a = 29 - 29. Suppose -3*o + 2*n + 39 = 0, o + 6*n - 3*n - 24 = a. Let t = o + -3. Which is smaller: t or 0?
0
Let g = -81 + 80.96. Is g at most 0.23?
True
Suppose -45 = -226*y + 221*y. Is 9 smaller than y?
False
Suppose -4*i = -4*s - 76, -3*i - 3*s + 17 = 2*s. Let w be (-44)/33 - i/(-6). Is -3/31 bigger than w?
False
Let s = 91 + -145. Let r = 54 + s. Is r smaller than -2?
False
Suppose -n - 1268 = 3*x, -n - x + 5*x = 1282. Which is bigger: n or -1273?
-1273
Suppose i - 5*i + 86 = 2*v, 4*i - 2*v - 98 = 0. Suppose -3*k = -i*k + 380. Is k at most as big as 17?
False
Let l(h) = h**3 - 6*h**2 + 6*h - 5. Let x be l(5). Let i = 71 + -54. Is x > i?
False
Let k(a) = -2*a + 11. Let i = 2 - -3. Let j be k(i). Suppose -2*h = h - 9. Are j and h non-equal?
True
Let j = 3/10 - -11/5. Which is smaller: 3 or j?
j
Let a = -2489/11 - -226. Which is bigger: -9 or a?
a
Let j = 35 + -14. Suppose 0 = 4*d + j - 1. Which is smaller: d or -3?
d
Let a(c) = -c. Let b(n) = -16*n - 1. Let q(z) = -3*a(z) + b(z). Let o be q(1). Which is smaller: -15 or o?
-15
Let q(i) = 6*i**2 + 236*i - 160. Let x be q(-40). Is -5/258 equal to x?
False
Let j(o) = o**3 + 12*o**2 + 13*o + 12. Let x be j(-9). Let u be ((-173)/(-3))/(10/24). Let n = u - x. Is n less than or equal to 1?
True
Let c = -0.532 - -0.532. Let x = -0.2 + 0.1. Let d = x + c. Which is bigger: d or 0.02?
0.02
Let b be 32/580*(-4)/(5 + 11). Is -1 != b?
True
Let q = -123 - -3443/28. Is 0 at most as big as q?
False
Suppose 0 = 5*k + 4*w + 3 + 2, -3*w = 5*k + 5. Let g be (-4)/(-18) + 1015/(-882) - -1. Is k < g?
True
Suppose 17 + 10 = 9*g. Let w be ((42/(-35))/g)/(2/(-20)). Let f be (-11)/(-4) + 0 - 0. Which is greater: f or w?
w
Let w be (-4)/(-14) - 44/7. Let b = -3 + w. Suppose 0 = 5*h - 3*c + 55 - 7, 3*h + 2*c + 25 = 0. Is h bigger than b?
False
Let o = -188/765 + -11/255. Are -1 and o equal?
False
Let j = 72.3 + -48.4. Let n = -0.9 + j. Which is bigger: n or 0.2?
n
Let o be -3 + -1 - (-25 + -6). Let y = o - 40. Is y less than or equal to -15?
False
Suppose 283 = -5*a + 2*f + 37, 0 = -2*a + 5*f - 90. Let w = a + 50. Which is greater: w or -1/10?
w
Suppose -16 = 15*n - 19*n. Suppose -4*i - 15 = 5*b + i, n*i + 13 = -3*b. Do 4/7 and b have different values?
True
Let y be (-24)/(-72)*-1*3. Does y = 2/599?
False
Suppose -7*n = -3*n. Let l = 2/2185 - 39352/24035. Let r = l + 328/187. Is n > r?
False
Let i = 7 + -2. Suppose -2*w = i*s - 0*s + 33, -4*w - 21 = s. Are w and -3 nonequal?
True
Suppose 233 = -4*w - 135. Let a = w - -642/7. Do a and -0.34 have different values?
True
Let v = -316 - -314.86. Is v at most as big as 1/4?
True
Let o be -5*7*6/42. Suppose 3*i = -5*l + 40, -3*l = -i + 6*i - 24. Let u be 3/(-2 - (-10)/l). Is u > o?
True
Let t(v) = -3*v**2 + 35*v + 4. Let w be t(12). Are -7 and w equal?
False
Suppose 0 = -26*m + 23*m - 3*d - 15, 0 = 2*m + 5*d + 25. Suppose 3*z - 2*z = 10. Let u be (-1 + 8/z)*-1. Is u less than m?
False
Let o = -0.01 + 0.07. Let g be (-56)/(-20) - (-99)/(-45). Which is bigger: g or o?
g
Let b = -2587/5640 - 3/376. Is b less than -0.1?
True
Let u(l) = -3*l + 4. Suppose 0*c - 5*c + 4*m - 4 = 0, 0 = 2*c - 4*m + 4. Let p be u(c). Suppose -y + p*y = 5*k + 7, -y = 1. Is -1 > k?
True
Suppose -j + 2*j = 20. Let m = j - 14. Suppose 0 = 4*r - 5*c - 34, 0*r - 3*r - c + 16 = 0. Is r greater than m?
False
Suppose 0 = -2*y + 5*i + 18, -14 = 4*i + 2. Is 3/22 at most as big as y?
False
Let g = -1.38 + 1.2. Let z = g + -9.82. Let q = -10 + z. Which is greater: -0.1 or q?
-0.1
Let u = -171 - -102. Let v = -65 - u. Is -5 greater than or equal to v?
False
Let u = -233/2484 + -5/92. Let i = -221 - -220. Which is bigger: i or u?
u
Suppose -12 + 0 = -3*o. Let f = o - 9/2. Which is greater: f or -3/10?
-3/10
Let k = 26 - 26. Is k less than -2/525?
False
Let m = 13 - -40. Let r = m - 88. Let n = -31 - r. Is n bigger than -1/2?
True
Let v be 2 + 4 + 11 + 1. Let g = v - 8. Suppose -10 = s - 0*s + 2*i, 5*i + g = 0. Is -6 smaller than s?
False
Let x(r) = -r**3 - 55*r**2 + 116*r + 116. Let q be x(-57). Which is smaller: 20/19 or q?
20/19
Suppose -3*y - 24 = -21. Let l be (-232)/(-114) + (0 - 2). Which is smaller: l or y?
y
Suppose 6 = 4*p - 18. Let w be 2 + p/(-9)*-3. Suppose -w*g = -0*g. Which is smaller: g or -6/13?
-6/13
Suppose -2*g + 6*g = 36. Suppose g*x - 4*x = 5. Suppose 0 = -5*l - 5*q + 2*q + 3, 6*q = -l + 6. Is l < x?
True
Let z = 0.21 - 0.41. Let d = -23 + 22.92. Let u = 0.72 - d. Which is smaller: z or u?
z
Let n be (-770)/(-2) - (6 - 14). Which is smaller: 396 or n?
n
Let b(r) = -r**2 - 3*r + 1. Let v be b(-6). Let i = -976 + 958. Is i less than v?
True
Let i(k) = 16*k + 8. Let w be i(8). Let m = w + -397/3. Suppose u + 9 = 4*u. Does u = m?
Fals