3*i + 16 = -505*r, 2*i - 6 = -2*r. Let v = 632 + -22122/35. Let g = -9/35 - v. Is g less than or equal to r?
False
Let b be (23 - 2)/(-3)*-1. Suppose -85 = -b*t + 2*t. Which is greater: t or 18?
18
Let y be (1/10)/(4/40). Is 1/45 at most y?
True
Suppose 0 = -2*m - o - o + 2, -4*o + 4 = 5*m. Suppose -2*j - 31 - 25 = -4*a, m = 2*j - 5*a + 54. Let q = -129/4 - j. Which is greater: q or 4/3?
4/3
Let n(c) be the second derivative of -c**5/4 - c**4/6 + 2*c**3/3 - 5*c**2/2 + 6*c. Let h be n(-5). Let u be (-10)/(-4)*(-40)/h. Which is smaller: u or -1/3?
-1/3
Let g(o) = o**2 + 7*o - 2. Let z be g(-11). Let d be 14/((z/9)/7). Which is greater: d or 22?
22
Let l = 1.9 - 2.2. Let j = 0.7 + l. Let o = -3.4 + j. Is 1/5 at least o?
True
Let k = -65 - -1. Let h be -3 + k/(-13) - 1. Is 1 at most h?
False
Let x = -312960092 - -26645422233641/85140. Let n = -1/860 - x. Let q = 94/495 - n. Is q <= 1?
True
Let b be (-8)/96*-147 + (-1 - -4). Let f = 435/28 - b. Is -5/18 greater than or equal to f?
False
Let h = -5516 + 5525.982. Let z = 0.018 + h. Is z less than -4/7?
False
Suppose 4*j + 36 = 2*o, 3*o = o - 4*j + 36. Suppose -2*x - 3*t = -7*t + o, -2*t = -8. Is x less than -1/92?
True
Suppose -2*o - o = 0. Suppose o = -l + 2. Suppose 4*k = l*k + 40. Is k at most as big as 20?
True
Let x(n) = 43*n + 2. Let v(s) = 1. Let l(c) = -2*v(c) - x(c). Let z be l(-1). Is 39 less than or equal to z?
True
Suppose 49*c = 34*c - 195. Let h be 2/8 + 23/4. Let b = c + h. Which is greater: b or -8?
b
Let u = -167 + 251. Are 84 and u nonequal?
False
Suppose -n = d - 110, -n + 0 = 1. Let r = d + -1555/14. Is -1 equal to r?
False
Let t = -62 + 18. Are -480/11 and t equal?
False
Let c = 26 - 35. Let r = -23 - c. Which is bigger: r or -13?
-13
Let j = 193 + -196. Which is smaller: j or -0.6?
j
Let m = -6 - -31. Let h = -19 + m. Let p = h + -5.7. Which is smaller: -3 or p?
-3
Suppose 0 = -17*j - 465 - 759. Is j greater than -85?
True
Let l = 0.1361 + 0.0639. Is l at most as big as 38.7?
True
Let j be (-137)/4 + 1*(-2)/(-8). Is -33 bigger than j?
True
Let o be -2 + (-3 - -7 - -2). Suppose p = q + o*q - 46, -3*p = 3. Suppose 0*f - f + 9 = 0. Is q >= f?
True
Let l(c) = c**3 + 5*c**2 + 7*c + 4. Let w(x) = -x - 10. Let s be w(-7). Let g be l(s). Are 1 and g non-equal?
False
Suppose 3*d - 15 = -d - b, 3*d + b = 11. Suppose -2*x = 3*n + 10, -x = 4*n + 11 + d. Let j be 0 - 2/8 - 0. Is j smaller than x?
True
Let o = -22 - -26. Let n be 2*2 - o/1. Which is bigger: n or -1.8?
n
Let o = -41 + 40.943. Let g = o - -2.057. Which is smaller: g or 1/5?
1/5
Let q = -17/6 + 3. Suppose 4*r + 0*r - b - 4 = 0, -4*r - 5*b + 28 = 0. Let i be ((-7)/(-28))/(r/(-4)). Is q less than or equal to i?
False
Let y be 10 - 11/154*152. Which is smaller: 0.106 or y?
y
Suppose 4*l + 2 + 5 = a, 0 = -5*l - 5. Let c(p) = 28*p + 3. Let j be c(a). Which is greater: j or 88?
88
Suppose 5*y + 0*l - 3*l = -10, -3*y = 2*l - 13. Which is bigger: 395 or y?
395
Let v be 147/270 + 2/(60/(-18)). Let q(r) = r**2 - 5*r + 1. Let a be q(5). Which is greater: v or a?
a
Let l(v) = v**3 - 21*v**2 - 48*v + 6. Let r be l(23). Which is smaller: r or -41?
-41
Suppose -z + 3 = 2*d - 6, -5*d = -4*z + 10. Suppose -3*b + 7*b = 5*l + z, -2*l + 3*b = 9. Let r be -1 - 1 - (l - 2). Does -5 = r?
False
Suppose -3*q = 0, -5*q + 2 = -4*u + 6. Let c be ((-36)/369)/(u*-2). Which is smaller: 1 or c?
c
Let i be (48/504)/(5/(-135)). Which is smaller: i or -3?
-3
Suppose -h - 25*h - 494 = 0. Which is smaller: h or -18?
h
Let d = 10.6 - 2.1. Let s = 6.5 - d. Do 3 and s have the same value?
False
Let s(r) = -2*r + 5. Let q(t) = -2*t + 4. Let n(k) = -4*q(k) + 5*s(k). Let b = -17 - -21. Let h be n(b). Which is bigger: -1 or h?
h
Let d = -21 + 23. Let o = -541 - -546. Do d and o have the same value?
False
Let s = -2.01 - -4.21. Is 0.1 greater than s?
False
Suppose -2*x - 3*h + 19 = 0, 5*x + 4*h - 18 = 12. Suppose -33 = 4*v - 7*v. Let p = v - 9. Is p > x?
False
Suppose -3426 = -2*g + 910. Suppose 10*a + g = 2*a. Let v = a + 803/3. Do -3 and v have the same value?
False
Let h = 0.0113 - 1.0113. Which is greater: h or -0.505?
-0.505
Let b = -49 + 98. Let k = 41 - b. Let v = -0.2 - -1.2. Is k smaller than v?
True
Suppose -2*l - 3*g = -20, 0 = l + g - 8. Suppose 0 = 4*y - 0*y - l. Let s be 32/312 + y/(-3). Do 0 and s have the same value?
False
Let z = 29 + -49. Let i = 18 - 18.3. Let g = i + 0.2. Which is smaller: g or z?
z
Suppose 3*p + 3 - 6 = 0. Suppose -4*d + 14 = v + 1, 3*d - 5*v = 4. Suppose d*n = -n. Which is smaller: n or p?
n
Let n = -6/5 - -63/40. Let h = n - 11/72. Which is smaller: 2/13 or h?
2/13
Let o be (-28)/(-49)*(-9478)/36. Let g = o - -150. Which is smaller: g or -1?
-1
Suppose -2*u + 2*w + 3 = w, 2*u + 4*w = -12. Let j = -29.3 - -29. Which is smaller: u or j?
j
Suppose -2*h = -5*h - 3. Let b be -4*(-15)/12 - -7. Are b and h unequal?
True
Let p = 310 + 832. Which is smaller: 1143 or p?
p
Let a = 1.403 - 1.4. Let x = 5.003 - a. Which is greater: 1 or x?
x
Suppose -23 - 21 = -4*g - k, 3*g - 44 = 2*k. Let j be 266/(-12) - 4/g. Let x = -23 - j. Is -1 less than or equal to x?
True
Suppose 5*n = -i + 13, n + 3*n = 8. Suppose i*k - 13 = 2*z, 4*k - 23 = -3*z - 0*z. Is k <= -1?
False
Suppose -z - 36 = s, -s = 2*z - 2*s + 60. Which is smaller: -249/8 or z?
z
Suppose 0 = -5*m + 3*g + 29, -m = g - 0*g - 1. Suppose -m*w = 20, -4*k + 19 = -5*w - 58. Let b be 4/16 + k/(-4). Is b at least as big as -2?
False
Let k(c) = -c**3 + 10*c**2 + 11*c + 1. Let j be k(11). Which is smaller: j or -10/97?
-10/97
Let y = -129 - -233. Suppose y = 4*h + 3*g, 3*h = 7*h - 3*g - 128. Is 28 less than or equal to h?
True
Let z = -1469 - -981. Which is smaller: -489 or z?
-489
Let t be (-5)/(300/(-36)) - (-776)/(-10). Is t at least as big as -74?
False
Let i = 217 + -226. Is i equal to -60/7?
False
Let n = 88.3 + -154. Which is smaller: n or -1?
n
Let j be (-12)/(-18) - (-4)/3. Suppose x = -n - 4, 3*x - 5*x = -j*n - 12. Which is smaller: x or -2/57?
-2/57
Suppose -11 = -5*w - 36. Suppose -30 + 24 = 2*t. Let m be t/w*(-16)/(-12). Which is bigger: m or 0?
m
Let i = -16.58 + 17.826. Which is greater: i or 0.1?
i
Let l(x) = -x**2. Let f be l(2). Suppose 3*w + 5*v + 0 = 26, -4*w = 2*v - 58. Suppose -20 = -12*r + w*r. Are f and r non-equal?
False
Let i be (-224)/(-19404)*(-3)/4. Does i = -1?
False
Let s be 6/15 - 43/(-5). Let k = 10 - 8. Suppose 36 - 16 = k*h. Is h at most s?
False
Let y = 438 + -1306/3. Is 0.05 not equal to y?
True
Let o = 18 - 18.35. Let a = 12 + -11.95. Let i = a + o. Which is bigger: i or -0.2?
-0.2
Suppose -5*d - 3*o + 0*o = 15, 2*o = 5*d + 15. Suppose 0*g - 3*g - 15 = 0. Let v(t) = t**3 + 5*t**2 - t - 6. Let u be v(g). Which is smaller: u or d?
d
Suppose -5*v = -v - 2*s - 106, 5*s + 121 = 4*v. Let y(j) = -j - 37. Let d be y(-12). Let f = d + v. Is -1/3 at most f?
False
Suppose -1 = k + h - 5, 0 = 5*k - 3*h + 20. Does k = 12/31?
False
Let s = 8/21 + -11/84. Suppose 0 = 4*u - 16, 3*d = -4*u - 40 - 16. Let b be d/108 + 2/9. Is s < b?
False
Suppose -203 + 270 = -67*r. Which is smaller: r or 2/165?
r
Suppose -q - 12*q = -26. Let f be 0 + 4*q/(-8). Suppose 3*a - 1 = 4*a. Are a and f equal?
True
Let y(k) = -k**2 - 6*k + 19. Let c be y(-7). Let o = -9 - -20. Let g = o - c. Is -4/9 smaller than g?
False
Let a = -134 + 299/2. Which is smaller: 17 or a?
a
Suppose 2 = -l - 0. Let p = -7 + 5. Let y = p - l. Are 0 and y equal?
True
Let l be 1*4/294*-3. Let p = -2398 - -2397. Which is smaller: p or l?
p
Let t be 55/43 - (1 - 0). Let s be -3 + (-124)/(-44) + (-4349)/946. Let o = s + t. Are -4 and o non-equal?
True
Suppose -4*j = -3*l + 14, 3*l - 5*j + 1 = 17. Let h be (-2)/(-1*l) - (-95)/(-40). Which is greater: h or 0?
0
Let s = -860951/129 + 6674. Is s > -1?
True
Let i be (-1)/((-3633)/(-12393)) - -3. Let h = -3/173 + i. Is 2/7 <= h?
False
Let d(o) = -17*o**3 + o**2 - 4*o + 3. Let t be d(1). Suppose 3 = -0*y + 3*y, -y = -3*x - 52. Is t <= x?
True
Let b = -428 - -319. Is b < -110?
False
Let g = -16.035 - -0.035. Let y = g - -15.8. Does -2 = y?
False
Let i = 766 + -1118. Let m be 1/4 + 6*68/i. Is m at most -2?
False
Let w(s) = 4*s**3 - 35*s**2 - 7*s - 3. Let h be w(9). Is -1.9 bigger than h?
False
Let p = -10.19 + 10. Let w = p - -1.19. Is w > 2/7?
True
Let h be 8/36 + (1 - 1174/990). Supp