+ -36. Which is smaller: s or -2/17?
s
Let s = -32 - -70. Let a = 38 - s. Which is bigger: 3/16 or a?
3/16
Let o = -12983/7 + 1860. Which is smaller: o or 4?
4
Suppose 4*x + 2*h - 5845 = 7*h, 1465 = x - 2*h. Are 1455 and x non-equal?
False
Let n be 5 + -1 - 11212/132. Let d = -81 - n. Is d at least as big as 0.2?
False
Suppose 3*v - c = 2*v - 1, 5*v - 4*c + 8 = 0. Let j be (-3)/(-60)*v/(-3). Do -1 and j have different values?
True
Let p be (-9)/15 + (-9)/(-45)*-1012. Which is bigger: p or -202?
-202
Let m = 2161.81 + -2153. Let l = 0.19 + m. Which is smaller: l or -1?
-1
Let h = 52 - 49. Suppose h*m + 3*p = p - 3, -4*m - 5*p - 4 = 0. Which is greater: m or 2/61?
2/61
Suppose -4*n = 4*w - 576, 15*w - 432 = 12*w + n. Is -2/9 bigger than w?
False
Let o be 2452/60 + (-2)/(-15). Let j = 206/5 - o. Which is bigger: j or -4?
j
Let m = 3/1537 - 49247/32277. Let d = m + 758/525. Which is smaller: d or 1?
d
Let n = -10 - -19. Let q be ((-39)/n + 1)*6. Let t be q*(-3 - 21/(-6)). Is -11 <= t?
True
Let q = -167 + 167.14. Which is greater: q or -0.1?
q
Let w be (-78 - -86)*1/(-20). Let v be 2/6*2/2. Which is smaller: v or w?
w
Suppose -1081 = -6*o - 337. Do 123 and o have the same value?
False
Let a be (-56)/(-4) + 0 + -1. Let f = 5 - a. Suppose 0 = 4*j - 7*j. Which is greater: j or f?
j
Suppose 28 = c - 4. Let z = c + -32. Let r = -31965/32 + 999. Is r not equal to z?
True
Let u = 0.187 - 0.287. Does u = -36/11?
False
Let w be 1*-3 + (-384)/(-124). Suppose -n - 14 = -b, 4*b - 71 = -0*b - n. Let u = 18 - b. Is w < u?
True
Suppose 0 = -3*s + 6*s - t - 2066, 2065 = 3*s - 2*t. Is 689 at most as big as s?
True
Suppose 12*s - 320 = 268. Which is smaller: s or 50?
s
Suppose 14*l = 6*l + 72. Suppose -6*u + 9 = -5*u. Do l and u have the same value?
True
Let f be (69/92)/((-18)/(-4)). Let b = 1 - 0. Is b bigger than f?
True
Let x = 38/3 + -40/3. Let n = 0.25 + -2.35. Let o = n + 1.1. Which is bigger: x or o?
x
Let y(j) = -3*j**2 + 21*j - 103. Let f be y(16). Which is smaller: f or -536?
-536
Let z = -5.5 + 4. Let u = 2.5 + z. Let a = -610/9 + 68. Is u bigger than a?
True
Let j = 929 - 896. Is -9 > j?
False
Let a be -3 + (-4 + -3 - -2). Let p = a + 12. Suppose p*j = -j + 30. Which is bigger: j or 4?
j
Let l = -2 - -3. Let h be 20/28 + -1 - (-1266)/21. Let b = h + -423/7. Which is smaller: b or l?
b
Let h be (6/4)/((-573)/(-4)). Suppose 4*d - 4 = 4*m, 0 = -m + 4*m - 6*d + 9. Which is smaller: m or h?
h
Let y(c) = 5*c**2 - 3*c**2 - c**3 + 12*c**2 + 16*c - 2 - 10. Let u be y(15). Suppose -2*f = 2*p, -5*p - u*f + 3 = -3*p. Is p at most as big as -8/3?
True
Let l(w) = -w**3 - 16*w**2 + 34*w - 38. Let k be l(-18). Let o = 5 + -2. Suppose 0 = o*r - 2 + 8. Do k and r have the same value?
True
Suppose 0 = 2*q + 2*q + 4. Let c = -5 - q. Suppose -7*s + 30 = -4*m - 39, 0 = 4*m - 4*s + 48. Which is bigger: c or m?
c
Let r be (-3 - 0) + (-4494)/(-1491). Which is smaller: r or 1?
r
Suppose 50 = -5*a - 2*d + 5*d, 5*a - 5*d + 60 = 0. Let z = 7 + a. Let k = 88/3 + -29. Is z < k?
True
Let i = -759/20 + 379/4. Which is smaller: 56 or i?
56
Let u(c) = -5*c**3 - 2*c**2 + 7*c - 8. Let z be u(2). Let w be (-1)/(-4) + z/28. Is -2 greater than w?
False
Let i = 1 + 40. Suppose 5*r + i = c, -2*c - 3*c + 3*r + 117 = 0. Is c less than or equal to 21?
True
Suppose 9*l - 4*l = 10. Suppose 8 - l = 3*y - 3*b, -4*y - 4*b = 24. Is y less than or equal to -13/8?
True
Let q = 65 - 59. Suppose -q*n = 2 + 22. Which is smaller: -2/3 or n?
n
Let z be (-1280)/312 - (-4 + 0). Which is bigger: -1/3 or z?
z
Let o = 170 + -240. Are o and -68 equal?
False
Let p(c) = -c + 6. Let n = 27 + -18. Suppose 3*w + n = 2*u - 0, 4*w - 10 = -u. Let l be p(u). Which is smaller: -2/7 or l?
-2/7
Let t(r) = 121*r - 243. Let n be t(2). Suppose -5*c = -3*m + 35, -2*c + m - 13 = -0*m. Which is greater: n or c?
n
Let j be ((-1372)/8)/(-7)*2. Is j >= 49?
True
Let p(u) = u - 3. Let v be p(5). Let d(r) be the third derivative of r**4/8 - 2*r**3 + 11*r**2. Let b be d(5). Which is smaller: v or b?
v
Let o(n) = -244*n**2 - 15 + 124*n**2 - n**3 + 127*n**2 + 3*n. Let h be o(7). Let p(x) = -x**3 + 5*x**2 - 2*x - 3. Let j be p(4). Which is bigger: h or j?
h
Let c = -0.3 + 0.2. Let p(u) = -u + 4. Let f(r) = -r + 3. Let q(b) = 6*f(b) - 7*p(b). Let w be q(7). Which is smaller: c or w?
w
Let v be (-536)/68 - (-25 + 17). Is v != -0.059?
True
Let k = 38 - 24. Suppose -4*m + 114 = k. Suppose 2*d = 5*x - d + m, -5*x + 4*d - 20 = 0. Is x greater than or equal to -7?
False
Suppose 4 = -2*x + i, 8*x = 2*i - 3*i - 26. Let s = 223015/341 - 654. Let p = -3413/1023 + s. Which is smaller: p or x?
p
Suppose -2 = -7*w + 9*w. Let x(s) = -4*s**3. Let f be x(-1). Let n be f/(-42)*28/12. Does n = w?
False
Let w be 1/(-2)*(3 + -13). Suppose -w*s = -0*s - 15. Let k be (-5)/s - (-26)/39. Which is greater: k or -2/3?
-2/3
Let m = 150 - 149.7. Is m > -1.1?
True
Suppose 0 = -23*o + 14*o. Suppose o = k + 2*t - 4, 3*k + t - 2 = 4*k. Is k less than or equal to 2/29?
True
Let b be (-14800)/(-136990) + 2/(-19). Is b at least -1?
True
Let t be -24*2/(-20) - 3. Which is greater: t or -0.3?
-0.3
Let p = -30 + 27. Let u be (3 - 4)/(-1 - p). Let c = -1 + 1. Which is bigger: c or u?
c
Let p be 12/(-28)*(-44)/2706. Is 0 >= p?
False
Suppose 4*o = -3*c + 50, 4 = 3*o - 2. Which is smaller: 53/4 or c?
53/4
Let v = -28 + 48. Let f = v - 20.9. Let m = f - 0.1. Which is smaller: 2/33 or m?
m
Suppose 2*n - n = 3, -x = -5*n + 452. Let y = x + 2645/6. Let b = 4 - y. Are b and 0 non-equal?
True
Let m be 1/4 + 106/(-212). Is -80 at least as big as m?
False
Suppose -4*l = -26 - 46. Suppose 0 = -2*z - 0*i + 5*i + 59, 0 = -4*z - 2*i + 58. Is z equal to l?
False
Let s = 1752 + -1749. Which is smaller: s or 258?
s
Let f be 4/14 - 2/7. Suppose 0 = -v - 2 - f. Suppose -7*i + 38*i - 93 = 0. Which is smaller: i or v?
v
Let a = 248 + -247.5. Which is bigger: -8 or a?
a
Let w be (-1026)/399 - 1/7. Which is smaller: w or 0.1?
w
Let g = -34 + 46. Let q = g + -4. Which is bigger: q or 0.2?
q
Let r = 61 + -62. Are -5/31 and r equal?
False
Let n be 4/21*(140/(-16) - 3). Let y = n + 18/7. Let l be 4/(-8)*(-3 + 1). Which is greater: y or l?
l
Let c = -0.33 + 0.19. Let r = 0.04 + c. Let y be (-2 - -5)/((-42)/8). Is y <= r?
True
Let q(n) = -3*n**2 - 18*n - 15. Let b be q(-5). Let p = 5 - 3.6. Is p at least as big as b?
True
Let t be (-3)/3 + 1 + 2. Let l be 10/(-20)*4/(-2). Let i be 2/(-6)*(l - 0). Which is smaller: t or i?
i
Let x(i) = -2*i**3 - i**2 + 1. Suppose h - g + 5 = 0, -2*h - 2*g + 4 = 2*h. Let w be x(h). Suppose w = q + o, -4*o = -3*q + q - 8. Is 3 bigger than q?
True
Let h(w) = -18*w + 109. Let z be h(6). Are -9/89 and z non-equal?
True
Let q = -0.5 + 0. Let c = 10037.2 - 10038. Which is greater: q or c?
q
Let i(j) = -3*j**2 - 3*j + 2. Let r be i(1). Let m be 1516/78 + r/6. Let u = 19 - m. Which is greater: u or 0?
u
Suppose 0 = 5*y - 2*n + 4, -3*y + 1 = -2*y - n. Let b be 16/1056 - y/(-12). Which is bigger: -1 or b?
b
Let r = 27 - 19. Let v = r + -8. Suppose 0*d = 3*t + 3*d - 6, 4*t - 4 = -2*d. Is v at least t?
True
Let i = 112 - 115. Let t(c) = -2*c**2 - 2*c + 4. Let q be t(i). Suppose 4*d = 3*d - 7. Is d greater than q?
True
Let n be (-425)/705 - 6/(-9). Let y = 29 + -30. Is n >= y?
True
Suppose 882 = 22*k + 27*k. Are k and 18 equal?
True
Let y be (-39)/(-2)*40/30. Let q = y + -28. Is 1 equal to q?
False
Let m be (2*1)/(-1 - 0). Let n be -8 - (-1 - (m - -4)). Let j be (-28)/(-45) - (-2)/n. Is j equal to 1?
False
Let v be ((-66)/12)/(1/2). Let q = -1 + v. Is q bigger than -12?
False
Let v be 32/(-7 - -11) - 7. Which is greater: -6/527 or v?
v
Let j = -307 + 507. Is j at most 200?
True
Let j be (-3)/((-126)/12) - (-278)/7. Let y = 47 - j. Are 9 and y equal?
False
Let r = -441 + 440.99. Which is smaller: 66 or r?
r
Let w = 142 - 9. Let v = -136 + w. Which is greater: v or -18/5?
v
Let w be 1*(-2 - -4)*4/(-8). Which is smaller: w or 2/333?
w
Suppose 0 = -5*w - 18 + 23. Suppose 5*k + 4*l = 4 - 2, w = -2*k - l. Let f = -3 - k. Does -1 = f?
True
Let u(h) = -11*h**2 + 15*h - 1. Let t be u(3). Let l = 44 + t. Is -12 greater than or equal to l?
False
Suppose 17 = 4*i + 233. Let l = i + 55. Are -7 and l unequal?
True
Let c = 211.1712 - 0.1712. Is c at most as big as -3?
False
Suppose 5*g - 25 = -15. Suppo