+ (-6)/10. Let c(n) = n - 12. Let s be c(16). Suppose -s*v + 1 = -b, 4*v + 5*b + 9 = -w. Which is bigger: v or -8/9?
-8/9
Let m(r) = -8*r - 12. Let z be m(8). Let l = 56 + z. Is -19 > l?
True
Let c = 20 + -19. Let i be ((-306)/248)/((-12)/2528). Let k = 260 - i. Which is greater: k or c?
c
Let h = -124 - -71. Suppose 3487 + 5304 = -183*n - 1091. Is h at least as big as n?
True
Let d = 683 - 684. Suppose 4*y = -3*v - 9, 4*y + 3 = -v - 0. Let c = -1 + y. Is c greater than or equal to d?
True
Let n(j) = -5 + 0*j - 6*j + 3*j + 8*j. Let r be n(4). Is r at least 18?
False
Let j be (-9)/2 + (-154)/(-44). Do j and 3/341 have the same value?
False
Suppose s = -2 + 4. Suppose -o + 9 = s*o. Let a be 2/(o/((-9)/(-15))). Is -0.04 equal to a?
False
Let t be (-5 + 16 - 4) + -8. Suppose -2*w = -3*w + 22. Let x be (-8)/(-10)*w/8. Is x bigger than t?
True
Let i = -19 - -31. Let f(p) = -p + 8. Let m be f(i). Is m at most as big as -4?
True
Let j = 78.72 - 78. Let n = -0.82 + j. Let o = 2 + -3. Which is smaller: o or n?
o
Suppose 4*f = -7 - 9. Let g(p) = -p - 20. Suppose 5*t = -22 - 53. Let o be g(t). Which is greater: o or f?
f
Let t(k) = k**2 - 4*k - 12. Let n be t(6). Let f = -13.05 + 13. Which is bigger: f or n?
n
Let p be 8/(-820)*35*-3. Is p < 0?
False
Let y(w) = w**3 - 47*w**2 - 45*w - 138. Let r be y(48). Is -8/15 less than r?
True
Let h be (12/(-80))/(42 + -3). Is 0.4 smaller than h?
False
Let v = 3.1 + -38.1. Is v at least as big as -3?
False
Let x = -13297 - -3306. Let a = x - -49293/5. Let o = -132 - a. Which is smaller: o or 1?
o
Suppose 4*y + 52 = 260. Let x be (-1)/((-16)/y) - 4. Which is smaller: 0 or x?
x
Suppose 6*c = 2*c. Suppose c = -5*g + 3*g + 10. Let i be -2 + g + (-14)/5. Which is bigger: i or 0.1?
i
Let f = -230119 - -2759483/12. Let l = -162 - f. Suppose -u - 4 = -3. Is l < u?
False
Let l be (-1)/(-1) + -2 + -173. Is -173 < l?
False
Suppose 4*j + 0*k - 303 = -k, 0 = 2*j + 2*k - 156. Is 73 at least as big as j?
False
Let b be (-3 - (-593)/9) + -68 + 72. Is b greater than or equal to 66?
True
Let c be (-2)/(-9) - 238024/(-1656). Let a = c - 144. Is 1 >= a?
True
Let f be 10*(7/2)/7. Suppose -8 = -f*s - 3. Is s at most as big as -38?
False
Let t be (0 + -3)*(2 + -1 - 2). Suppose 0*x - 50 = -2*x + u, -70 = -t*x + 4*u. Is x greater than 26?
False
Suppose 9 = -5*d + 8*d. Suppose 0 = 5*u - 18 - 27. Suppose -u - 9 = d*s. Are -5 and s unequal?
True
Let z = -820 + 780. Is -35 <= z?
False
Let i = -0.2 - -0.1. Let f = -20 + 27. Suppose 4*g - 4*c = -3*c + 1, 4*c - f = 5*g. Is g at least i?
True
Let p = 189 - 171. Is 52/3 less than p?
True
Suppose -f - f - 6 = 0. Let n be 1 + (76/(-18) - f). Which is smaller: n or -0.2?
n
Let c = 10.84 + -10.8. Let t = c + 0.06. Which is bigger: t or -7?
t
Let k = 19 - 49. Let m = k + 30.1. Which is bigger: 20/3 or m?
20/3
Let w = -1399/30072 - -5/168. Which is smaller: w or 2/7?
w
Let q = -273 - -271. Let h = 1.95 - -0.05. Which is bigger: q or h?
h
Let w = -15 - -26. Let m = -9 - w. Do m and -21 have the same value?
False
Let h be ((-270)/40)/(-27) + (-6602)/26472. Which is greater: 0 or h?
h
Let o = -0.9031 - -0.0031. Which is smaller: o or 0?
o
Let g = -1/208 - -433/3536. Let w = 37 + -17. Suppose 1 - 7 = j - k, w = 4*k. Which is smaller: j or g?
j
Let t = 23/3 + -6. Which is smaller: t or 3?
t
Suppose -2*u - 1441 = -347. Which is bigger: u or -546?
-546
Let v be 6/(-14) - (-1544)/(-56). Let u = v - -27. Is -4 <= u?
True
Suppose 50 = -4*g - 94. Let m be (-1)/(-4) - (-33)/g. Is m less than or equal to 0.2?
True
Let p = 182 + -91. Let d = p - 727/8. Let l be (-1)/3 - 4/(-6). Is l smaller than d?
False
Let u be 2*10/42 + 1/(-7). Suppose 0 = 2*z + 3*w + 5 + 5, 0 = z + w + 3. Which is greater: u or z?
z
Let u = 12.7 + -0.7. Let z = u - 6. Let v be 4/(-20) - (-12)/(-15). Which is greater: v or z?
z
Suppose 0 = -i - 0 - 4. Let k = 4708 - 4713. Which is smaller: i or k?
k
Let o(m) be the third derivative of m**5/60 - m**4/2 + 10*m**3/3 + 11*m**2. Let i be o(10). Is i > 0.09?
False
Let p = 13.7 - 14. Let n = 7.02 - 0.02. Let u = n - 6.5. Which is bigger: u or p?
u
Let m be (-30)/(-12) - (-52)/(-3). Which is smaller: m or -16?
-16
Let c(z) = 11*z + 0*z - 3 - 9*z + 13. Let i be c(-5). Suppose -3*n = -3*u - 15, -3*n - u + 35 = -i*u. Are n and 11 nonequal?
True
Suppose 0 = -5*k + 4*j + 176, j + 161 - 18 = 4*k. Let d = k + -29. Which is bigger: d or 6?
d
Let l(m) = -m**3 + 15*m**2 - m + 11. Suppose -2*r - 4 = -34. Let j be l(r). Suppose -4 - 11 = 3*n. Is n != j?
True
Let l be (-2 + 0)/((-110)/24545). Let n = l - 446. Let s = 13 + -14. Is s at most n?
True
Let j = 9.37 - 28.69. Let l = j + 0.32. Let b = l + 17. Is 2/13 less than or equal to b?
False
Suppose -s + 5*s = -4*a + 8, 0 = 2*s - 10. Let p = 182 + -185. Is p > a?
False
Let o(i) = 8*i**2 + 4*i + 32. Let r be o(0). Is 31 less than or equal to r?
True
Let o = -13.57 + -5.89. Is o equal to 1/2?
False
Let c(o) = o**3 + 4*o**2 - 4*o + 4. Let u be c(-5). Let i(w) = -6 + 5*w + 6*w - 2*w + 21 + w**2. Let v be i(-3). Is v > u?
False
Suppose -3*k - w - w + 42 = 0, 75 = 5*k + 5*w. Suppose -7*z - 61 + k = 0. Let r be (-1)/z - (-129)/(-21). Which is smaller: -8 or r?
-8
Let x be (2016/(-72480))/(6/(-10)). Which is smaller: x or -1?
-1
Suppose -f + 57 = w - 87, 2*f + 4*w - 292 = 0. Let d be (f/3)/((-224)/(-84)). Which is bigger: d or 17?
d
Let d = 3.86 - -1.14. Which is smaller: d or 33?
d
Let s = 37 + -38. Let d = s + 1.1. Let b = 309 - 3087/10. Which is greater: b or d?
b
Let o(r) = r**3 - 18*r**2 - 3*r + 13. Let j be o(18). Suppose -4*q = 4*i + 156, -2*q - 3*i - 42 = 34. Are j and q unequal?
False
Suppose 2*n + 8 = -2*n. Let q be n/5 - 10/(-25). Suppose -5*j = 48 - 53. Is q less than j?
True
Let p = -0.15 - -0.3. Let t = -0.16 + p. Let c = 0.99 - t. Is 0 smaller than c?
True
Let w be (-3 - (-20)/8)*2 - 4. Let c be ((-40)/24)/((-1)/3). Suppose -3*t = c*k + 11, k + 9 + 1 = 2*t. Which is greater: w or k?
k
Let v(l) = -l**3 + 22*l**2 + l + 38. Let c be v(22). Let h be ((-19)/(-38))/((-2)/c). Suppose 23 + 25 = -3*b. Is h < b?
False
Let b(i) = i**3 + 5*i**2 + 10*i + 61. Let v be b(-6). Which is greater: v or -36?
v
Let i be -115*(-1)/12 - 1. Let d = 2852 + -17171/6. Let u = i + d. Which is greater: u or -1?
-1
Suppose 0 = -4*n - 2 + 98. Suppose -b - n = 5*d, 4*b + b = -5*d - 20. Let r = -566 + 20944/37. Which is bigger: b or r?
b
Let y = 0.9 + 1.1. Let a = 11 - 9. Let j = a - y. Is 0.1 not equal to j?
True
Let a = -2.88 - 0.12. Let l = -0.3 - 0.3. Let j = -0.6 - l. Is a > j?
False
Let u be (-6)/(3 - 84/32). Let i = -18 - u. Let v(o) = o - 13. Let c be v(11). Is c smaller than i?
False
Suppose -3*y + 9 = x, 9*x - 4*x = 5*y + 5. Let c be 2/(-8) + (-72)/63 + (-2388)/(-1232). Which is bigger: c or y?
y
Let s = 2667 + -2667.02. Let z be (-8)/(-14)*(-1)/(-2). Is z >= s?
True
Let m(l) = 5*l - 126. Let h be m(30). Which is smaller: 27 or h?
h
Suppose 10*z - 5*z = 40. Suppose -2*b + z = 2*b. Suppose -1 = 3*x - b*m, 3*x - 2*m - 1 = -m. Is -2/23 at least as big as x?
False
Let j = -1021.9 + 1022. Which is bigger: j or 140?
140
Suppose 2*h - 13 + 5 = 0. Which is smaller: h or 3?
3
Let a(j) = j**2 - j - 1. Let r be a(-1). Suppose -4*c - 13 = -r. Let s be (-3)/(-2)*c/9. Which is bigger: s or 6/7?
6/7
Let t be ((-4)/(-5) + -1)*-2286. Let i = 391 + 69. Let d = t - i. Is d at most as big as -3?
False
Suppose h + 2*j = 8, 0 = 3*h + 2*j + 3*j - 26. Suppose 2*s + s = -3*t + 336, -3*t + h = 0. Is 107 greater than or equal to s?
False
Let p = 115 + -73. Let i = 43 - p. Is i greater than 0.12?
True
Let q = -237 - -542. Which is bigger: 306 or q?
306
Let l = 142 - 142.03. Which is greater: 3/5 or l?
3/5
Let l = -147.9 + 137. Let i = -0.1 + -10.9. Let j = l - i. Which is smaller: -0.1 or j?
-0.1
Let y = 21 + -24. Let r be ((-140)/(-132) - -2) + y. Which is greater: 0 or r?
r
Let p = 159 - 150. Which is smaller: p or -3?
-3
Let g = 0.261 + 0.029. Let v = g - 0.09. Is v equal to 4?
False
Let y = -303 + 302. Is 2/357 not equal to y?
True
Let h be ((-6)/4)/(((-39)/16)/13). Let c(g) = -g**3 + 9*g**2 - 9*g + 10. Let r be c(h). Let x = -41/4 + 11. Is r at most x?
False
Let m = 605 + -605. Which is bigger: 1/37 or m?
1/37
Let p be (-42)/9*567/(-297). Is p > 8?
True
Let n be -2 - -2 - 1*3. Suppose 4*q + 104 = 2*q. Let