(-8). Let y = s + -10. Is y < -5/6?
False
Let f = 100/17 + -917/153. Are -0.14 and f equal?
False
Let a = 56.2 + -52. Let u = -0.8 - a. Let l = 5.2 + u. Which is bigger: -2/17 or l?
l
Suppose -u + 3*u = 10. Suppose -u*t - 19 = z, 3*z + z = 3*t + 16. Suppose -6 = -4*v + 2. Is t at most v?
True
Suppose 22 + 12 = 2*p. Let m(b) = b**3 - 17*b**2 + 5. Let s be m(p). Do 3 and s have the same value?
False
Let x = -74760943/33 - -2264924. Let c = x - -559. Which is smaller: 1 or c?
c
Let j be (815/20)/(581/196 + -3). Is -1141 at most j?
True
Let r be (20/(-25))/(814/(-55)). Suppose -6 = 2*c - 4*q, -5*c + 3*q = -q + 9. Do c and r have the same value?
False
Let r be (9/2214)/((-2)/(-24)). Which is greater: r or -9?
r
Let m be (-171)/114*6/(-9). Is m smaller than -21?
False
Let f = -3 + 6. Let p = 28 - 25. Let z be 1 + (f - 30/p). Is -6 >= z?
True
Suppose -1832*n = -1833*n + 6. Let i be 2/(-7) - 116/(-14). Is n > i?
False
Let p = 3 - -5. Suppose 2*r + 8 = -s, 33 = 4*s - p*r + 3*r. Suppose -s*c - 2*c = -4. Which is smaller: c or -2/37?
-2/37
Let w = 0.01 + -2.01. Let m = 3.85 + -1.71. Let k = 0.14 - m. Is k <= w?
True
Suppose 0 = -3*p - 3*p - 24. Let w(h) = -4 + 2*h**3 - h**3 + 3*h**2 - 1 - 6*h. Let g be w(p). Which is smaller: 1 or g?
1
Let x = 9.2 - 160.1. Let r = 151 + x. Let v = -41/116 + 3/29. Is v greater than or equal to r?
False
Let u be (-2 + -1)*(3 - 2). Let t(g) = -g**2 + 2*g - 1. Let d be t(u). Let q be (8/12)/(d/6). Is q at least as big as -5/6?
True
Let d = -35 - -68. Suppose 0*c = 5*z + 5*c - 60, 0 = -2*z - 3*c + 25. Let q be z/d - (-7)/6. Which is smaller: q or -1?
-1
Let u be -15 + 19 - (-5)/(-1). Let k be (u - 3)*3/(-6). Is k not equal to 1?
True
Let t(b) = -2*b + 23. Let l be t(9). Suppose 340 = -5*c - l*f, 2*f - 290 = 4*c - 3*f. Is -70 at most c?
True
Suppose 5*d + 4*d = d. Suppose u + 51 = 2*f, d = -u + f - 2*f - 66. Is u >= -60?
False
Let r = -1 + 1. Let o = 168 - 213. Let i = -269/6 - o. Which is smaller: i or r?
r
Let x(k) = -k**3 - 10*k**2 + 9*k - 1. Let p be x(-11). Let s = 11 - p. Let n be (15/25)/((-16)/s). Which is smaller: -1 or n?
-1
Let w = 101 - 102. Let h = 2722/9 - 303. Is w equal to h?
False
Let c = -67 - -10. Let k = -911/16 - c. Which is smaller: 1 or k?
k
Suppose 347 = -9*l + 698. Is 2 at least l?
False
Let a = 1360/3 - 459. Which is greater: -5 or a?
-5
Let y = 0.035 - -0.965. Let g = -0.2 + 0.07. Let x = g + -0.17. Which is bigger: x or y?
y
Let f be 70/4 + 1/2. Let k = f + -8. Suppose -k = q + q. Which is smaller: q or -3?
q
Let d be 5*(-10)/(-75)*105. Let x = d - 64. Do -3 and x have different values?
True
Suppose 3*g = -0*h + 4*h + 97, -4*g = -3*h - 64. Let w(u) = -6*u + 35. Let d be w(11). Let b = h - d. Which is smaller: 1 or b?
1
Suppose -g - 4 = -4*m, -m + 2*g = 5*g + 12. Let q be ((-1)/(-2))/((-3)/(-18)). Suppose 6 = q*i - 0*i + l, 0 = -5*l + 15. Is i > m?
True
Let n = -2022318306301/26885 - -75221064. Let g = n + 1/283. Let f = 386/285 + g. Do 0 and f have different values?
True
Let h = 0.282 + 0.018. Which is bigger: -5/4 or h?
h
Let s(n) = 4*n - 32. Let b be s(10). Let i be (-10)/(-40) - (-19)/4. Does i = b?
False
Suppose 0 = q - 7 - 14. Which is smaller: q or -2?
-2
Suppose 3*i - 8*i + 120 = 0. Let b be (-1)/(5/66 - 4/i). Is 9 less than b?
True
Let n be 20/(-4) + 5 - 18/(-9). Which is smaller: -170 or n?
-170
Let u = -358.7 + 357. Is u greater than -17?
True
Let i be -8*((-10)/(-8) + 1). Let x be (17/2 + -5)*780/35. Let f be (1/9)/(x/i). Is f != 1?
True
Let y(i) = i**3 + 5*i**2 + 2*i - 2. Let r be y(-5). Let a = -102 - -93. Let b be 1/4*r/a. Are b and 0.07 non-equal?
True
Let g = 22 - 17. Suppose -3*l = -g*l. Is l > -29?
True
Suppose -2*q + k + 4 = 0, -5*q = -k - 3 - 1. Does q = 1/14?
False
Let a(x) = 9*x - 13. Let z be a(2). Suppose -3*t = -4*f + 5, z*f + 26 = -2*t + 2*f. Which is smaller: -40/7 or t?
t
Let p = 19 + -18.83. Let m = -1.27 + p. Let t(d) = -2*d + 11. Let g be t(5). Which is bigger: g or m?
g
Let h = -265 - -273. Which is smaller: h or 2/17?
2/17
Let a be (-6)/44*18/(-27). Suppose 3*i = -34 + 88. Let u be 0 - (i/(-14) - -1). Are a and u unequal?
True
Let w = -14.17 + 14.13. Which is bigger: w or 34?
34
Let x = 451.85 - 467. Let r = 15 + x. Suppose 2*v + 2 = 2*n - 0, 0 = 2*n - 3*v - 4. Which is greater: n or r?
r
Let o(v) = v**3 + 12*v**2 + 10*v - 7. Let m be o(-11). Suppose 0 = 4*f + 20, m*s - 10 = 3*f + 13. Which is bigger: s or -1?
s
Let y = 1205 - 1204. Which is smaller: 7/109 or y?
7/109
Let s = 191 + -190.6. Is s less than or equal to -13?
False
Let j = 809/5 - 218. Which is smaller: j or -56?
j
Let i = 23 - 39. Let c be (1 - 0) + i/4. Let o = c + 8. Is o at most as big as -3?
False
Suppose 5*y + 2*m = 47, -4*y - 2*m + 22 = -16. Let q(i) = -i + 10. Let u be q(y). Which is bigger: 3/4 or u?
u
Suppose 0 = 4*z - 3*a + 4*a - 23, 0 = -5*z + 4*a + 55. Suppose 12*r = -6*r + 108. Are r and z equal?
False
Let d(y) be the first derivative of -7*y**2/2 + 48*y + 24. Let t be d(7). Let r be -2*1/(-10)*-11. Which is smaller: r or t?
r
Suppose 29 - 31 = -v. Is -10 less than or equal to v?
True
Let r be ((-58)/6)/(40/592). Let j(t) = -15*t**2 + 2*t - 2. Let v be j(-3). Let o = v - r. Is 0 != o?
True
Let z be (-336)/126 + (-2)/(-3). Let m = -5/2 + 1. Which is smaller: z or m?
z
Suppose -2*p = -5 - 5. Suppose 12*t - 35 = p*t. Let h be -1*((-25)/t)/5. Which is greater: 1/57 or h?
h
Let q = -56 + 269/5. Is -0.6 greater than q?
True
Let c = 77 - 15. Let j = 102 - c. Let i be (-45)/j*(-4)/(-6). Which is smaller: i or 0?
i
Let m be 924/(-1568) - 1/8. Which is greater: m or -7?
m
Let n = -86822/99 - -877. Which is greater: -1 or n?
n
Let o be -1 - (1 + -2 + 2). Let u be -1 - (o - (0 + 2)). Let c be ((-12)/(-21))/(u/21). Are c and 14/3 equal?
False
Let x be 75/(-126) + (-53)/(-106). Let n(c) = c**3 + 6*c**2 + 4*c - 6. Let w be n(-5). Which is greater: w or x?
x
Suppose 2*s - 30 = -0*s. Suppose 19 = 4*i - 3*n - 20, 3*n = -s. Let y = i - 6. Which is bigger: y or 2/3?
2/3
Let h = 17 + -90. Let s = 73.1 + h. Which is greater: s or -35?
s
Suppose -5*b + 13*b = 3440. Let c = b - 8168/19. Which is greater: c or 1?
1
Let z be ((-28)/16 - -4)*(-16)/6. Let y be 0 + 4 + (-35)/4. Which is smaller: y or z?
z
Let f be (2/7)/((-4)/26). Suppose -44*k = -43*k + 3. Is f < k?
False
Suppose 4*n + l + 2*l = -4, 4*n = -2*l. Suppose 0 = -n*m + 4*m - 6. Suppose -t + 22 - 6 = -m*x, -4*x = 16. Is t != 5?
True
Suppose 4*t + t - 35 = 0. Suppose -5*o + 12 = t. Is o less than 10/19?
False
Let r = 2.66 + -23.86. Let m = r + 21. Which is smaller: -1 or m?
-1
Let u = -27.06 - -27. Let b = u - 0.04. Which is smaller: 3 or b?
b
Let x = -642 + 641. Are -6/637 and x equal?
False
Suppose 170*r + 15 = 165*r. Is r at least -27/16?
False
Let p = -478 + 478. Is 12/31 < p?
False
Let o = -0.02 + 0.08. Let s = -273.8 + 274. Is o not equal to s?
True
Suppose 0 = v + 3*x - 7*x + 12, 5*v - 5*x + 15 = 0. Let h be 4 + v + -4 + (-2 - -9). Is h <= 68/9?
True
Let a = 4.0096 + -0.0096. Is 0.137 less than or equal to a?
True
Let j be (3/(-2))/((-6)/(-40)). Let s(b) = 2*b - 7. Let l(z) = -1. Let m(x) = -6*l(x) - s(x). Let n be m(12). Is j at most n?
False
Let t be (-4)/(8/28 - 0). Let i(o) = -o - 14. Let n be i(t). Suppose n*s + 2*s + 18 = -5*j, 5*s = 3*j + 17. Is 1/4 bigger than s?
False
Let u = 164 - -144. Suppose -5*c = -u - 112. Let d be ((c/16)/7)/(-3). Does 1 = d?
False
Suppose 2*k + 406 = -12*k. Are k and -28 unequal?
True
Let k be (5/4)/(45/36). Which is bigger: k or 2/5655?
k
Let o = -10.1566 - -0.0166. Let g = 0.14 + o. Let r = g - -17. Which is smaller: 1 or r?
1
Let l(r) = -8*r - 49. Let h be l(-9). Let k = 10 + h. Are 33 and k non-equal?
False
Suppose 3*b - 62 = j - b, 8 = 2*b. Let u be 3214*1/70 + 2/7. Let o = u + j. Which is bigger: 0.3 or o?
0.3
Let y(l) = 3*l**2 + 82*l + 20. Let t be y(-27). Suppose -5*i - 15 = -0*i. Let q be (i + 2)*5 + -1. Does q = t?
False
Let g = -959 - -817. Which is smaller: g or -143?
-143
Suppose 129 = -7*o - 340. Is -68 greater than or equal to o?
False
Let u = 387 + -385.37. Let p = 1.6 - u. Is p > 2/5?
False
Let o(c) = -c**3 - 2*c**2 - 12. Let x be o(-4). Let y be -1 - (x/(-6) - -3). Which is bigger: 1 or y?
1
Let l(m) = m**3 + 4*m**2 + 4*m + 2. Let j = 2 - 5. Let c be l(j). Let s be (-11)/(-4) - c/4. Which is great