Let s = -13 + 8. Let q = -17.96 - -18. Is s >= q?
False
Let o = -11 - -19. Suppose 6 = 3*p - 6. Suppose -4*y - p*y = -56. Is o bigger than y?
True
Let z = -270 - -9719/36. Let c be (-112)/(-180) + (-2)/8. Let u = c - z. Is 7 <= u?
False
Let k = 8.49 - -0.51. Which is greater: k or -0.2?
k
Let p be (14/8)/((-14)/112). Let z be (7/p)/(1/2). Let i be 1/(-2) - (-2)/(-44). Is i <= z?
False
Let n = -22 - -21.9. Which is smaller: 63 or n?
n
Let s be 0/(-8 + 4 - -3). Suppose s = -a + 38 - 33. Which is smaller: 13/3 or a?
13/3
Let t be 28/6 + (-8)/(-6). Suppose -t*v = -v - 15. Let m be (-5 + v)*1/2. Is -0.4 <= m?
False
Let r = -2.95 + 3. Let n = -76/297 - -2/27. Let x = n + -8/77. Which is bigger: r or x?
r
Let r = -625/11 - -57. Are r and 11 unequal?
True
Let f = 5/3 + -2. Let w = -15 - -16.8. Let i = w - 1.86. Which is smaller: f or i?
f
Suppose 5*m - 17 = 18. Suppose 5*c - 5*v + m = 27, -c = -5*v - 8. Let y be -12*(44/16 + -3). Is c at least y?
True
Suppose 3*d = 2*c - 129, 0 = -c + 5*d + 50 + 4. Which is smaller: 71 or c?
c
Let n be 1/1 + 1/7. Let r = -3 + 12. Suppose 14 = r*k - 2*k. Which is bigger: k or n?
k
Let y = -81.6 - -102.4. Which is smaller: y or 0.2?
0.2
Let f = 91.9522 + 0.0478. Which is greater: -0.02 or f?
f
Let m(u) = -2*u**2 - 33*u - 16. Let z be m(-16). Is 41 greater than z?
True
Suppose -2*o = -o - 1. Let l = -96 - -5375/56. Are l and o non-equal?
True
Let c = 4.6 + 24.4. Let o = c - 27. Is 0.05 less than o?
True
Suppose -5*y + 10*y - 10 = 0. Suppose 4*u - 10 = y*u. Suppose -u*b + 85 = -30. Which is smaller: 22 or b?
22
Let f = -1709/2 - -3427/4. Let i be 4/6 + 2/6. Is i > f?
False
Suppose 4*a - 11 = -5*x + 2, -2*a = x - 5. Suppose -a*f - 3*f = -3*f. Which is smaller: 11/8 or f?
f
Let v(r) = -3*r - 14. Let z(h) = 2*h + 7. Let o(u) = 3*v(u) + 5*z(u). Let t be o(-3). Which is smaller: t or -12?
-12
Let v = 251/20 - 44/5. Is v > 5?
False
Let o = -24.34 - -24.4. Is o smaller than 1?
True
Let x be (-206 - 18)/(-7) + (-4 - -2*1). Let q(k) = 31*k**2 + k - 1. Let y be q(1). Is y bigger than x?
True
Let j be (-8)/(-15)*1/(126/(-35)). Which is smaller: 4/5 or j?
j
Let j be -4*6/96*0. Let n be (-4)/74 + -3 - -3. Which is smaller: j or n?
n
Suppose 17*u - 12*u = 15. Suppose -34 = -u*y + 5*g, y - 51 = -3*y + g. Let c be y/(-57) + 3/9. Do 0 and c have the same value?
False
Let x(f) = 15*f**2 - 117*f - 27. Let d be x(8). Let g = 27/50 + -1/25. Are g and d non-equal?
True
Let f be (0 - 23) + -13 + 11. Let x be (1 + -6)*10/f*1. Is 0.8 <= x?
True
Let o be 996/33 + (-4)/22. Suppose 0 = 3*v + 2*v + o. Which is smaller: -2 or v?
v
Let w be 4/18 + 75/27. Let k be 0 - (w + (-4)/2). Let h be (90/24)/((-8)/(-4)*-1). Are k and h non-equal?
True
Suppose 5*n + t + 15 = 0, 6*t - 2*t = 2*n - 16. Let d be n + (-4)/(64/(-38)). Which is greater: -1 or d?
d
Let l be 4/((-2540)/4435) - -7. Which is smaller: l or 0.3?
l
Suppose -84 = -4*q + 3*j, -4*q - 3*j = q - 78. Are 6 and q non-equal?
True
Suppose 4*m + 15 - 91 = 0. Which is smaller: 11 or m?
11
Let h = 0 + 4. Let s be (-42)/20 - h/(-8). Suppose p - 7*b = -2*b - 23, 0 = 2*p + b + 2. Which is bigger: s or p?
s
Let d = -99.4 - -99. Let b = -25 + 18.8. Let n = b + 6. Which is smaller: n or d?
d
Let h be 90 + 14 + 156/(-13). Is 79 at most h?
True
Let x = 40.3 + 8.7. Let r = x + -37. Let p = r - 11.5. Which is greater: -3 or p?
p
Let z = -148 + -244. Is z equal to -391?
False
Let n = 3.67 + 0.83. Let d = n - 4. Which is greater: d or 1/4?
d
Let q be ((-1)/((-3854)/28))/(4/(-338)). Let k = q - -30/47. Which is smaller: -0.1 or k?
-0.1
Let b = -0.096 - 0. Let c = b - -5.796. Let s = c - 6. Is s less than or equal to 0.2?
True
Let s(f) = f**3 + f - 1. Let h(o) = 2*o**3 - 6*o**2 - 7*o + 7. Let l(i) = h(i) - s(i). Let w = -62 + 69. Let g be l(w). Which is greater: -3 or g?
g
Suppose 0 = -3356*w + 3351*w - 1770. Is -353 greater than or equal to w?
True
Let b = 14.7 - 15.8. Let u = 24.1 + b. Which is smaller: u or -1?
-1
Let j be ((-48)/(-231))/(1/(-163)). Let i = -232/7 - j. Let y = i + -84/55. Which is bigger: 2 or y?
2
Let i be (804/30)/((-16)/(-200)). Is 335 bigger than i?
False
Let g = 16/809 + -124666/4045. Let v = -31 - g. Which is smaller: 0 or v?
v
Suppose 0 = -0*c + 4*c - 10*c. Which is greater: -1 or c?
c
Let x = -1/1129 - -3493/119674. Which is smaller: x or 0?
0
Let r = -1123553/9 - -124984. Let d = 145 - r. Let a be ((-4)/(-2) + -3)*-1. Are a and d non-equal?
True
Let w = -897 + 897.06. Which is smaller: w or -5?
-5
Let n(r) = r**2 + 8*r + 8. Suppose i + 3*a + 0 = -11, 3*i + a + 25 = 0. Let o be n(i). Let q be (-195)/(-15) + o/2. Is q equal to 16?
False
Let d be 170/(21/((-6)/2)). Which is bigger: d or -23?
-23
Suppose 0 = 17*n - 7*n + 2140. Let t be (-1)/((-210)/n) - -1. Which is smaller: -1 or t?
-1
Suppose -5*a + 33 = 6*a. Let s(u) = -69*u**2 + u - 1. Let h be s(1). Let j be 4*h/90 - -3. Which is smaller: j or a?
j
Let b = 32 + -19. Let x be (-6)/18 + ((-172)/(-12))/1. Is b <= x?
True
Let p = -4 + 11. Let f(o) = 3*o**2 + o - 11. Let w be f(3). Suppose w - 31 = -2*m. Do m and p have the same value?
False
Let g = 69.1 - -1.9. Are g and 0 equal?
False
Let i = 16 - 67/4. Suppose -3*l + 74 = -2*g - 45, -4*g + 132 = 4*l. Suppose -l*x - 6 = -40*x. Which is smaller: i or x?
i
Let c = 0.4588 - 0.2588. Let j = -0.9 + 1. Is j smaller than c?
True
Let p = -0.0454 - -0.5554. Which is smaller: 6 or p?
p
Suppose 5*j - 2*j + 3 = 0. Suppose -2*h + 0 = -4, -2*x + 6 = 3*h. Are j and x unequal?
True
Let u = 543 + -1630/3. Suppose 4*i + 2*o = -119 + 33, -5*i - 4*o = 100. Which is greater: u or i?
u
Let m = -24 - -40. Suppose -12*u + m = -14*u. Is u >= -4?
False
Let g be ((-1)/(-2))/((-3)/(-36)). Suppose -3*l - 6 - g = -5*p, -3*l = -4*p + 9. Which is smaller: -3/4 or l?
-3/4
Let r = 25.6 + -32. Let g = r - -2.4. Which is bigger: 4 or g?
4
Let c = -342 - -382. Is c <= 39?
False
Let y = 104 + -726/7. Let v(h) = 13 + 0*h + h - 5. Let x be v(-8). Which is smaller: x or y?
x
Let r = 1/21 - -59/84. Let z be 19/(-133)*4/((-2)/(-1)). Which is greater: z or r?
r
Let z(d) = 2*d**3 + 70*d**2 - d - 41. Let u be z(-35). Let t(p) = -p**2 - 6*p - 1. Let x be t(-5). Let m be x/(8/(-6)) - 4. Which is greater: m or u?
u
Let r = -1/21 - 13/168. Suppose 0 = 10*f + 11 - 21. Do r and f have different values?
True
Let f = 152/3 + -1207/24. Which is smaller: 0 or f?
0
Let g = 4302797753/746256940 - 93017/43628. Let i = -4/1555 - g. Is -3 at least i?
True
Let d = -59 - -61. Suppose k + 1 = d. Is k >= 2/113?
True
Let u = -3 + 1. Let m = 13 - 12.89. Let v = m - 0.11. Is v < u?
False
Let r be ((-7)/(-14))/(6/(-44)) + 3. Let c = 3 + -4. Is c at least r?
False
Suppose 2*t = 5*v - 24 - 24, -2*v - 4*t + 24 = 0. Suppose -5*w = 5*f - 35, 3*f - 65 = -2*f + 5*w. Is v at least as big as f?
True
Let q = -13 + 12.4. Let m = 351 + -346. Are m and q equal?
False
Let r = 14 - 14. Which is smaller: r or 2/53?
r
Let g be (3 + -1)/(2/(-6)). Is 6 at most g?
False
Let f = 9.61 + -9.1. Let j = -0.01 + f. Let s = j + -0.5. Is 8 greater than s?
True
Let l(h) = -h**2 + 27*h + 83. Let s be l(-6). Are s and -112 equal?
False
Let g be 5/(30/2)*(-20)/6. Which is smaller: g or -2?
-2
Suppose 5*j - 4*m - 29 = 0, 2*j + 2 = 3*j + 3*m. Let h be j/80*3/1. Let r = 303 + -304. Is r bigger than h?
False
Suppose 5*u = -j + 24, 3*j - 22 = 2*u - 7*u. Let w(m) = -m**3 - 4*m**2 + 2*m. Let c be w(-5). Suppose 5*t - 20 = -0*y - u*y, 0 = 3*t - c. Is 2/9 < y?
False
Let b = 156192895 + -228510217359/1463. Let r = 156/19 + b. Are r and 0 non-equal?
True
Let g = -0.107 - -0.037. Let y = -716.93 + 721. Let k = y + g. Which is bigger: k or 0?
k
Let h = -217 - -1087/5. Is h at most as big as -0.91?
False
Let v(r) = 2*r + 6. Let i be v(-3). Let m be (0 - 1)*(i + 4). Which is bigger: m or -3?
-3
Let v(u) = 25*u**3 - 4*u**2 + 6. Let j be v(-3). Let s = j + 6337/9. Is 0 at most as big as s?
False
Let g be ((-1)/(-3))/(-6 + 77/14). Let u = -20 + 19. Which is smaller: g or u?
u
Suppose -5*n = -5, -q + 3*q = -3*n - 23. Let t = -142/11 - q. Is -1 at most t?
True
Let s = 17.73 - 18.43. Is s equal to 17?
False
Let p = -7.9 + -27.1. Let s = -36 - p. Are 2/7 and s equal?
False
Suppose -2*c - 2*f + 12 = -10, -4*f = -2*c + 10. Which is bigger: 21 or c?
21
Let d = 2.9 - 3. Let q = -0.049 + 0.01. Let r = -5.961 + q. 