 Suppose 5*r = y - 32. Is r > -10?
True
Suppose 8*s - 42 + 26 = 0. Which is smaller: s or 26/51?
26/51
Let h = 302 - 358. Is h at least -56?
True
Let c be (-3129)/(-504) + (-4 - 2). Is 1 at most c?
False
Let x = 365 + -299. Are x and 65 unequal?
True
Let p = -7.5 + -16.5. Which is greater: 0 or p?
0
Let a = 40 - 521/13. Let p = 82 - 57. Suppose 2*z + 26 = 5*h + 8, -5*z = 5*h - p. Which is greater: a or z?
z
Let x = -1/33 + 434/165. Let n = -29/15 + x. Suppose 15 = v + 4*d, 2*v - 4*d - d = -9. Which is bigger: n or v?
v
Let k = -2/525 + 13672/5775. Let j = k - 5215/2211. Let d = j + -413/2211. Is d at least -2?
True
Let n = -25 - -53/2. Suppose -32 - 23 = 11*i. Let w be -3 - (4 + 26)/i. Which is smaller: n or w?
n
Suppose 4*r + 2 = 3*n + 13, 2*n = r - 4. Suppose -4*j - 18 = -3*o, 3*o - 2*o - j = 6. Let k be o/19*(-4)/(-12). Are k and n equal?
False
Suppose -4*y = -5*y + 4. Suppose -2*o - g + 0*g = -28, 4*g - y = o. Which is smaller: 13 or o?
o
Let b = -127 - -124. Is -17/9 bigger than b?
True
Let a(g) = g - 7. Let r be -3 + (-9)/((-36)/32). Let u be a(r). Let y be (8 + u)/(-1) + 2. Are -2 and y non-equal?
True
Let m = -94/14085 - -200148884/154935. Let r = m - 198155/154. Let u = r + -79/14. Which is smaller: u or -1?
-1
Let d be (-316)/12 - 0/3. Suppose -2*g - 19 = 35. Is d at most as big as g?
False
Let h(i) = 6*i**2 + i + 1. Let j be h(-2). Let o = 25 - j. Let m be (4 - (o - -3)) + -3. Do m and -4 have the same value?
True
Let o(r) = 88*r - 135. Let k be o(4). Are 219 and k non-equal?
True
Let f = -81 - -82. Is 2/47 at most f?
True
Suppose 5*n - 145 + 5 = 0. Let d be n/21*(-3)/(-2). Which is greater: d or 4/7?
d
Let v = 484 + -483.5. Is v at least -0.2?
True
Let h be 2 + 27/(-6) + 0. Let u = -27 + 32. Suppose -k + 0 + 1 = o, 0 = u*o + k + 11. Is o >= h?
False
Suppose 161 = -12*a + 65. Suppose 3*c = -2 - 7. Which is bigger: c or a?
c
Let f = 0.142 + 63.858. Let y = 1150 + -1194. Let o = y + f. Is o > -0.1?
True
Suppose 0 = 8*y - 7*y + 3. Let q be ((-2)/y)/((-34)/(-51)). Which is bigger: 1/6 or q?
q
Let k = 2261686090 - 39957208206958/17667. Let q = -4/1963 + k. Which is greater: -2 or q?
-2
Let z = 59.1 + 8.9. Which is greater: z or -1?
z
Let u = 6.67 + -7.67. Let x = -0.9 - -1.01. Are u and x unequal?
True
Let d be (-14 + -6274)/8*(-1)/2. Is 787/2 bigger than d?
True
Let s(q) = 30*q**2 + 5*q + 47. Let n be s(-5). Is n smaller than 771?
False
Let l = -780 + 954. Which is smaller: l or 175?
l
Suppose -63 = 16*p + 65. Let s = 19/42 + -1/6. Which is smaller: s or p?
p
Let z(j) = -3*j + 0 + 6*j - 2*j - 5. Let m be z(-7). Let h be (m/27)/((-4)/(-6)). Is -2 at most h?
True
Suppose 119 = -4*g + 5*j, 3*g + 2*g + 142 = 4*j. Let i = 13 + g. Which is greater: -14 or i?
i
Let u = -3/619 - 1181/11761. Is 1 at most as big as u?
False
Suppose -3*i = -0*i - 33. Let s = -5 + 15. Is s < i?
True
Let n(i) = 61*i**3 - 3*i + 2. Let k be n(1). Let h = k - 49. Are 10 and h equal?
False
Let x be 5*1*(-4)/5. Suppose -t = -2*t - 2*m - 6, -3*t = 5*m + 15. Suppose t = -w + 2*n - 9, 3*n + 8 = 5*n. Which is greater: x or w?
w
Let z(a) = -a**2 - 9*a - 1. Let k be z(-4). Let w = k - 22. Let v = 4 + w. Is 10/9 at least as big as v?
True
Suppose 876 = -52*u - 112. Suppose 0 = -h - 2*n - 3 - 18, 2*n = -3*h - 63. Which is smaller: h or u?
h
Let s = -51.9 + 42. Let q = -1.4 - s. Let g = q + -8. Which is bigger: -0.2 or g?
g
Suppose 264 + 388 = 4*l. Is 161 < l?
True
Let n = 3135/2 + -1297. Which is smaller: n or 272?
n
Let n = 469 + -404. Which is smaller: 64 or n?
64
Let i be (25/(-15)*-10)/(4/6). Let z = 30 - i. Which is smaller: z or 17/3?
z
Let o be 116/(-40)*2*90/81. Which is greater: o or -7?
o
Let c(f) = f**2 + 15*f - 41. Let z be c(-16). Is -25 greater than or equal to z?
True
Let n = 137 - 59. Let j = n - 52. Let f = 25.95 - j. Which is greater: -2/3 or f?
f
Let u(n) = n**3 - 14*n**2 - n + 18. Let l be u(14). Suppose 3*g = 3*z + 16 - 1, -15 = -3*g + z. Which is smaller: l or g?
l
Let p(v) = -v**3 - 15*v**2 - v - 3. Let x be p(-15). Suppose -2*k = -6*k - x. Is -3 bigger than k?
False
Let u(m) = -m - 4. Suppose -5*q + 2*q = 15. Let a be u(q). Let g(h) = -8*h - 191. Let t be g(-24). Are a and t equal?
True
Let n = 8 - 14. Let j be 15/20 - 6/8 - -5. Suppose -j*z + 1 = -6*z. Is n at least z?
False
Let t = 22 + -21.9. Let i be (4/6)/(4/12). Let w be 14/20 - i/4. Which is smaller: w or t?
t
Let j be -5 - (33/(-44))/((-1)/(-8)). Which is smaller: j or 9/8?
j
Let w(s) = -s**2 - 9*s + 13. Let g be w(-10). Suppose g*p = -4*p + 189. Is p less than -1?
False
Let m = 83 - 83. Let c be (m + 2 - 4) + (-166)/(-86). Which is bigger: c or -1?
c
Suppose 0 = 5*i + 4*s + 13 + 32, 0 = 3*i - 3*s. Suppose -q + 30 = -0*o - 4*o, 0 = 3*o - 2*q + 20. Let p be (2/(-4))/((-1)/o). Is i less than or equal to p?
True
Let j = -79 + 84. Suppose 4*t = 9*t - j. Which is smaller: t or 9/7?
t
Let b be (-64)/(-416) + (-3)/((-78)/8576). Let c be (-1020)/b - -1*3. Are -0.1 and c equal?
False
Suppose 0 = -6*d + 31 + 23. Let q(o) = o**2 - 7*o - 19. Let t be q(d). Is t < 1/4?
True
Let l = -3.9 + 4. Let v be (-845)/104*(-21)/(-35). Which is smaller: v or l?
v
Let v = 4 - 2. Let x(h) = -h + 4. Let d(b) = -b + 5. Let m(k) = 3*d(k) - 4*x(k). Let s be m(5). Is s at least v?
True
Suppose 14*g - 2532 + 26 = 0. Is g less than 179?
False
Suppose 5*j = -84 + 79. Let b be (0 - 2/(-6))*-3. Let d = -4 - b. Is j at most d?
False
Let y(n) = -n**2 - n. Let s be y(-1). Let v be 2948/(-18) - s - 0. Let f = v - -164. Which is smaller: -1 or f?
-1
Let k = 13.39 - 13.6. Let h = 127 + -128.21. Let y = k - h. Which is bigger: 3 or y?
3
Let j be (1527776/(-251020) - (-3)/(-15)) + 0. Let t = j - -1/1793. Which is smaller: -7 or t?
-7
Let c = 2 - 40. Suppose -2*t + 53 = -w, w + 7 = -2*t - 18. Is w at least as big as c?
False
Suppose -7 = 3*k - 4*i - 19, 5*i = -15. Is k != 2/823?
True
Let p = 385 + -385. Is p > 1/170?
False
Let m = -656 - -1147. Which is smaller: m or 490?
490
Let t be (-1 - -3)/(0 + -1). Suppose -3*o + 0*o = -5*k + 115, -3*k = 4*o + 134. Let r be 48/(-84) - (-29)/o. Is r at least t?
True
Let a = 25 - 28. Does 7 = a?
False
Let a = -0.289 - 45.711. Which is bigger: 0.1 or a?
0.1
Let q be (8/(-6))/(18/(-27)). Let z = q - 69. Are z and -68 nonequal?
True
Let n = -50.59 - 0.41. Let w = n - -51.03. Let s = -0.02 + 3.02. Is w less than s?
True
Let o = 40 + -40.74. Let y = o - 0.26. Is -1 at most as big as y?
True
Suppose 15 = 2*t - 1. Let m = -22 - t. Are m and -30 equal?
True
Let p = 1145 - 1142. Which is bigger: p or 88?
88
Let p be (4 - 181/32)/(4/8). Which is greater: p or -4?
p
Let k = 93 - 297. Is k > -206?
True
Let w = -1475 + 1377. Which is smaller: w or -3?
w
Let d = -1807 + 377660/209. Is 0 smaller than d?
False
Let t = 64 + -49. Suppose -t + 0 = 5*z. Is -1 < z?
False
Let l be 34/3*24/16. Let h = l - 11. Let o = h - -3. Are 9 and o equal?
True
Let r = -4.03 - -0.03. Let c be 2/6*966/(-115) + 3. Is c > r?
True
Let x = 4 - 4.8. Let j = x - 0.2. Let g = 1.414 - 4.414. Do j and g have the same value?
False
Suppose -b + 0*o - 406 = o, -3*o + 817 = -2*b. Is b at least -407?
True
Let a be -136 - ((-10)/2)/5. Let n = -134 - a. Is n smaller than 17?
True
Suppose m - 3*x = -6, 4 = m + 3*x - x. Suppose 2*z + 12 + 44 = m. Let s = -20 - z. Which is smaller: s or 7?
7
Let w(d) = 3*d**2 + 4*d + 3. Let r be w(-3). Let o = 487 - 470. Which is smaller: r or o?
o
Let n be (-24)/(-15)*(-5)/27. Let a = 146 - 145. Is n <= a?
True
Let b be 4 - 105/9 - -4 - -4. Is b equal to 2/15?
False
Let g(x) = -82*x**2 - 80*x + 2. Let f be g(-1). Let j = -2555254 - -40898651/16. Let o = j + -912. Which is smaller: f or o?
o
Let g be 2 - (12/(-16))/(1/(-4)). Let x = -30 + 29. Do x and g have different values?
False
Suppose 13*p + 160 = 8*p. Is p at most -29?
True
Suppose 5*d + 3*m = 2*m - 87, d + 6 = -4*m. Suppose 10*l + 16 = 6*l. Let j be (-416)/(-252) - l/d. Which is bigger: 2 or j?
2
Let u = -447 + 444. Suppose 3*r - 5*r = 2. Which is smaller: r or u?
u
Let l = -13 + 25. Suppose 9*q = 10*q + 2*u - 11, -2 = 2*u. Which is bigger: l or q?
q
Let r be (((-160)/30)/(-16))/(2/(-6)). Is -1/572 > r?
True
Suppose -3*s = -2*s + 3. Let r(x) be the third derivative of x**4/8 + 5*x**3/3 - 8*x**2. Let w be r(s). Is 1/6 greater than w?
False
Let w = -540 - -544. Which