or -2?
-2
Suppose -10 = 3*h - 22. Let l be ((-666)/30)/(h/4). Is l greater than -21?
False
Let b be (-3 - (-30)/9)*-9. Let q be 2/4*(4 + b)*10. Suppose 0 = -c - q*k + 8, c + 2*k + 1 = -3. Which is smaller: c or -13?
-13
Let w be (-4)/6*6/(-4). Let g = -8443/129 + 91/43. Let a = -63 - g. Which is smaller: a or w?
a
Let w = 1919/8100 - -1/324. Let c = -82 + 82. Let y be (0/(2 - 5))/(c - -2). Which is smaller: y or w?
y
Let s = 507.55 + -533. Let u = s - -26. Let t = u - 0.35. Is t <= 4?
True
Suppose 0 = -4*h + 4*w + 72, -4*h + w + 84 = 3*w. Let o(c) = c**2 - 22*c + 45. Let i be o(h). Suppose 5 = -5*x - 4*a + 3*a, 0 = i*a. Is x bigger than 1?
False
Let i = -13 - -8. Let w be 4/((-12)/(-9)) - 7. Let v be 65/(-91) - w/(-14). Is v bigger than i?
True
Suppose 0 = -2*z - 3*m - 511, -4*z + 2*z - m - 521 = 0. Suppose 1169*v = 1173*v + q + 1046, 4*q - 1339 = 5*v. Is z less than or equal to v?
True
Let x(i) = 4*i**2 + 8*i - 2. Let z be x(-7). Let q = z + -137. Is q at most -9?
False
Let r be ((-8)/(-16))/((-2116)/(-8))*-7. Is r smaller than 0?
True
Let a = 179 + -177. Suppose 5*m + 8 = -3*j, -a*m + 0 = j + 3. Which is greater: 2/129 or m?
2/129
Let k = 0.4 - 0.56. Let h(w) = -w + 6. Let g be 1/2 + 84/8 - 2. Let n be h(g). Which is smaller: k or n?
n
Let n(q) = -839 + 397 + 3*q + 393. Let i be n(15). Which is greater: -25 or i?
i
Suppose b = -t - 25, 0 = -b - 2*t - 155 + 126. Let l be -18 - ((-1)/1 + 1). Let a = l - b. Which is greater: 2 or a?
a
Let p be -3 - (12/(-18))/(4/30). Suppose -p*y - 13 + 21 = 0. Let c = -19 + y. Which is greater: -12 or c?
-12
Suppose 2*y + 28 = 6*y. Let o(n) = 13*n - 92. Let f be o(y). Are -1 and f equal?
True
Let h = -396 + 387. Let q be ((-39)/(-494))/(h/21). Is q less than or equal to 0?
True
Let y(j) = -2*j**3 + 2*j**2 - 1. Let r = -139 + 140. Let z be y(r). Is -2/589 at most as big as z?
False
Let h = 25/541 - 271443/5897441. Which is bigger: 0 or h?
h
Suppose -10*d = -4*d - 24. Let s be d - 150/39 - 128626/78. Let r = s - -1649. Which is smaller: r or -1?
-1
Let y(u) = 2*u + 2. Let x be y(0). Let j(m) = 5*m - m**3 - 4 + 2 + 6*m**x - 2*m - 5*m. Let h be j(4). Is h less than or equal to 24?
True
Let o(d) = -4*d**3 - 276*d**2 + d - 19. Let n be o(-69). Is -790/9 bigger than n?
True
Let u = 267 - 147. Let q = u - 121. Are q and 5/12 nonequal?
True
Suppose -14*a - 77 - 119 = 98. Is a < -171/8?
False
Let p be -2*6/4*(-102)/(-73). Are p and 2 nonequal?
True
Let d = -26403 - -5201376/197. Which is bigger: d or -1?
d
Let j = -105 + 105.14. Let h = -517 + 517. Which is smaller: h or j?
h
Suppose -1945 = 4*l + 3*w, 1057 = -4*l - w - 898. Let s = l - -515. Is 26 less than s?
False
Let y(k) = 21*k - 36. Let c be y(-4). Let g be 1/2 - (-45)/c*-60. Which is smaller: g or 68/3?
68/3
Let a be 482/(-478) - (-35)/35. Let o = 3559/3107 - a. Does o = 1?
False
Let t(x) = -x**3 + 11*x**2 - 10*x + 5. Let d be t(10). Suppose -z = -d - 9. Let y be -11*((-12)/14)/((-21)/z). Are -6 and y nonequal?
True
Let i = 1417049/7 - 203036. Let j = i - -601. Is 0 smaller than j?
True
Let x be 0 + (0 - 7) + 33/3. Are x and 11 equal?
False
Let u = -4476 + 4444. Which is bigger: u or -158/5?
-158/5
Let c = 1515718/1963 - 10042/13. Which is smaller: -1 or c?
-1
Let h(z) = z**3 - 31*z**2 + 53*z + 67. Let i be h(29). Which is smaller: -64 or i?
i
Let s(h) = 8*h + h**3 + 66 - 3*h**2 - 11*h - 75. Suppose -4*c + 19 = 3. Let o be s(c). Which is smaller: o or 1?
o
Let u be (-1891)/377 + (-34)/(-221). Which is smaller: u or -5?
-5
Let p(l) = -l**2 - 6*l. Let y be p(-5). Let z be (-2 - (-4 + -3)) + -1. Suppose 4*j - 17 = -z*u + 7, -44 = -y*u + 2*j. Which is greater: u or 9?
9
Let q(v) = -6*v - 69. Let c be q(-12). Suppose 39 = c*t + 2*u - 437, -322 = -2*t + u. Is 160 >= t?
True
Suppose -2 = -15*p + 13*p. Let x = 0 - p. Which is smaller: 1/328 or x?
x
Let x be (-1285)/35 + 6/(-21). Let i = x - -48. Suppose i*c = 10*c + 15. Which is smaller: c or 14?
14
Suppose -4*f + 5*p = -264, 5*f - 91 = -p + 239. Which is bigger: 135 or f?
135
Let k = 22.1 - 34.5. Let f = -12.45 - k. Which is smaller: f or -2/25?
-2/25
Let y = -11 - -20. Let d(w) = -18 + 18*w + 28 + 2*w**2 - 3*w**2. Let v be d(18). Is v smaller than y?
False
Let t(w) = 3*w**2 - 175*w + 59. Let b be t(58). Is b less than or equal to 110/61?
True
Let y = -107 + 93. Let k = -1 + 0.4. Let x = k + 0.4. Does x = y?
False
Let v = 2982 - 2981.58. Which is greater: v or 0.2?
v
Let i be (-32)/40 - (-2 - (-88386)/30). Are -2947 and i nonequal?
True
Let u be ((-6)/(-4) + -2 + 2512/(-32))*-2. Which is smaller: 160 or u?
u
Suppose -113 = -3*g - 5*g + 207. Which is bigger: g or 43?
43
Let k be 2 - -5 - 13 - (-632)/106. Let u be (3/9)/(4/(-12)). Which is greater: k or u?
k
Let c = -2351 - -1814. Which is smaller: c or -540?
-540
Let g = -29 + 69. Suppose -7*s = -3*s + g. Let k be (9/(-63))/((-2)/s). Which is bigger: k or -2?
k
Let s be -3534003 - -5 - (-6)/(-2). Let l = s + 130747049/37. Let g = 297 + l. Which is smaller: g or 0?
0
Let a = -249406/5 - -50147. Suppose 2*r = -3*b + 521, 3*b - 256 = 2*r - 3*r. Let p = a - r. Which is smaller: 1 or p?
p
Let m be 2 + 5 + -1 - (-4 - (-31870)/3310). Which is bigger: m or 1?
1
Let q be (-7 + 7)/(1*(-1 - 0)). Suppose -3*n - 156 = -42. Let z = n + 42. Which is smaller: z or q?
q
Suppose -2*o + 2*k = -216, 2*o - 219 = 6*k - 5*k. Let d = 278 - o. Which is greater: d or 166?
d
Let a be (-32 - -38)/(441/(-266)). Which is bigger: 0.2 or a?
0.2
Let w = -2049/10 - -204. Let j = 1287/16 + -70313/880. Let t = j + w. Which is bigger: t or 1?
1
Let u = 117.3 + 25.7. Let d = 136.1 - u. Suppose 0 = -3*w - w - 4. Do d and w have the same value?
False
Let c = -95 + 261. Suppose 4*z - 2*j - c = 0, 3*z - 3*j = -2*z + 207. Which is smaller: 44 or z?
z
Suppose -6*d + 3 + 27 = 0. Suppose 25 = 3*w - w - d*l, 2*w + l = -5. Let r = 544/20623 - 1/503. Is w at least r?
False
Suppose 63 = 4*x - u, 5*x + 0*u + 3*u = 83. Let k = -4251 + 4265. Which is smaller: k or x?
k
Let h = 43.8163 + -0.0163. Let u = h - 105.9. Let y = -62 - u. Which is smaller: -7/2 or y?
-7/2
Let v(z) = -29*z**3 + z**2. Let f be v(-1). Let d be (-8)/10*975/f. Let r = d - -23. Is r bigger than -1?
False
Let a = -43093471/5167512 - -2/92277. Let p = a - -61/8. Do -2 and p have different values?
True
Suppose 5*r = r - 12. Let s be r/(1 + (-2 - -3)). Let g = -17.2 + -5.8. Which is bigger: g or s?
s
Let p = -562 - -358. Let x = p - -203.5. Does -51 = x?
False
Let u = -0.53116 - -0.33116. Is u equal to 200/41?
False
Let a = 1619 + -1619. Which is smaller: 10/7 or a?
a
Suppose 5*h + 5*h + 10 = 0. Suppose -4*u + 2*o = 3*o - 4, 22 = 5*u - 3*o. Let z be ((1 - 4) + 7)*u. Which is greater: h or z?
z
Let f be 6 - (7890/3885 + 4). Which is bigger: f or 1?
1
Let f be 5323 + (168/40 - 11 - (-2)/(-10)). Is f equal to 5315?
False
Let b be 3136/21*27/(-18). Let k = -249 - b. Is k bigger than -166/7?
False
Let j = -496 + 269. Let g = j - -227. Which is smaller: g or 3/62?
g
Suppose 0 = 5*m + 4*z - 10341 - 7079, 4*z = 20. Let n = -549843/158 + m. Is 0 bigger than n?
True
Suppose 824*c = 701*c - 846363. Which is smaller: -6880 or c?
c
Suppose -3*g = -3*y + 87, 1 + 5 = -2*g. Suppose y*j - 1402 = 1536. Are 114 and j equal?
False
Let m(y) = 202*y - 12. Let p be m(2). Suppose -4*w - p = -3*q - 36, -16 = -4*w. Let r = -106 + q. Which is smaller: 20 or r?
r
Let b = 0.1564 + -0.134. Let z = b - 38.1224. Let r = z + 10.1. Which is bigger: -1/2 or r?
-1/2
Suppose -14*z = -9*z - 285. Suppose -5*t + 23 = -z. Suppose 3*d - t = 2. Are -1 and d equal?
False
Suppose 350 = -0*t - 5*t. Suppose -2*m + 295 - 285 = 0. Let r be m/(-2)*224/t. Is r at most as big as 9?
True
Let x = -829.809 - -830. Let j = x - -7.809. Does j = 0.031?
False
Let p be 0*(14 - -2)/32. Are p and -2/16281 nonequal?
True
Suppose 2*k + 0*k - 417 = 3*a, -5*k + 995 = 2*a. Let o = 191 - k. Is o less than -10?
False
Let a = -1550981 + 4652881/3. Let w be 2/(-1 + 3) + -21. Which is bigger: a or w?
w
Let l be 2/((-60)/(-1166)) + 16/120. Suppose -5*c + k = -137, 2*k = -0*c + 4*c - 112. Let b = c - l. Is b at most as big as -12?
True
Suppose -1098 = 3*y - 213. Let q be ((2341120/(-186))/(-64))/(1/3 + -1). Is y < q?
False
Let u be (-168)/66*559/(-2). Let y = u + -712. Let s = 3.9 + -4. Is s less than y?
False
Suppose 4*g - 