15)/70). Let r = -60 - q. Which is smaller: r or -1/54?
-1/54
Let o = 479 - 415. Do 68 and o have different values?
True
Suppose 2*w - 5*w = 5*v - 105, -130 = -5*v + 2*w. Suppose 5*g = 74 - v. Suppose b = -2*z + 9, 26 = 3*b + 2*z - 1. Which is smaller: g or b?
b
Let t(s) = -2*s**2 - 6*s**2 + 19*s + 19 - 27 - s**3. Let m be t(-10). Which is smaller: 1 or m?
1
Let h be (-6)/4 + (-25)/2. Let m be 72/h - (-10 - -7). Suppose 5*d = 5, -8*i - 7 = -4*i + d. Which is smaller: m or i?
m
Let c = -180.04 - -180. Which is smaller: -6/5 or c?
-6/5
Suppose y = -3*k + 156, -267 = -2*y - 0*y + 3*k. Is y != 142?
True
Suppose 2*s = 3*h + 3*s - 6, -h - 6 = 3*s. Suppose 4*n + 2*p = 0, -2*n + 0*n + 2*p = -12. Let o be 0/n + 3 + 0. Is o >= h?
True
Suppose -a - 22 = 4*q, 0 = -a + 3*a - 5*q - 21. Let z be 4 + (a/(-1))/(-2). Suppose w + 1 - z = 0. Which is greater: -1 or w?
w
Let r = 48 - 89. Let z = r - -35. Are -7 and z non-equal?
True
Suppose 0 = -i - 4*p - 17, 4*p + 20 = -p. Are 2/1437 and i nonequal?
True
Let n = -76.9 + 42. Let z = -2.9 - n. Do 1 and z have different values?
True
Suppose -5*s + 8 + 25 = -4*p, 28 = 4*s - 4*p. Suppose -4*n + 31 = 4*l - 3*n, 15 = -l + 3*n. Is l > s?
True
Let t = -0.4 - 55.6. Let a = -57 - t. Is a bigger than -5?
True
Let x = -3/35 - 1/5. Is x != -189?
True
Let f(c) = -c**3 + 12*c**2 + 4*c - 15. Let k be f(11). Suppose -14*t + k = -19*t. Let s be 2/(-3) - 8/t. Which is smaller: 0 or s?
s
Suppose -177*w + 171*w + 234 = 0. Which is greater: w or -0.04?
w
Let o be -1 + 4 + 1177/(-440). Let y be 6/(-40)*(-2)/4. Let i = o - y. Is i at least as big as -4?
True
Suppose -2*n + 6*n + 2*l - 6 = 0, -5*n + 2*l - 6 = 0. Suppose n = -5*r + 20 + 15. Which is greater: 9 or r?
9
Let w = -2/2527 + -14768/497819. Is 1 <= w?
False
Let p(w) = -w**3 - 11*w**2 - 12*w - 27. Let f be p(-10). Which is greater: f or -41/7?
-41/7
Let j = -0.11 - -16.11. Let k = j + -44. Let n = k + 20. Is n greater than or equal to -0.1?
False
Let o(t) = -2*t**2 + 3*t + 16. Let c be o(9). Is c not equal to -118?
True
Let c = 6 - 12. Let s be (41/(-123))/(2/48). Which is smaller: c or s?
s
Let o(x) = -4 + 49*x + 11 - 50*x. Let m = -3 - -3. Let i be o(m). Is i < 6?
False
Let p = -2108 - -2105. Are -2/85 and p non-equal?
True
Let l(s) = 12*s - 1. Let q be l(-4). Let g(c) = c**2 - 13*c - 187. Let z be g(-7). Which is greater: q or z?
z
Let o be 128236/(-158832) + (-3)/4*1. Let q = o - -2/1103. Is -1 bigger than q?
True
Let q(z) = 6*z. Let h be q(-1). Let w be 1*(-2 + (-87)/h). Which is smaller: w or 12?
12
Let n be -5 - -3 - (-858)/3. Which is smaller: n or 285?
n
Let v(c) = -218*c + 2. Let q be v(-1). Is q greater than 219?
True
Let w be (42 - 46)/((-12)/(3/1)). Let s be (-1141)/2310 - 1/(-2). Which is greater: s or w?
w
Let w(x) = -x**3 - 5*x**2 - 7*x - 5. Let l be w(-4). Suppose -56 = q + l*q. Let m be 3/(-33)*q/21. Which is smaller: 0 or m?
0
Suppose 5*y - 5 = 10. Suppose -462 = -4*g - 2*a, -5*a = y + 2. Let q be ((-2)/6)/(g/12). Which is bigger: q or -1?
q
Let m be 944/(-8) + -1 + 0. Let v = m + 1310/11. Which is smaller: -1 or v?
-1
Suppose 6*x = -7 + 1. Let u = -4/12867 + 18901679/180138. Let l = u - 105. Is l at most as big as x?
False
Suppose 1 = 5*b - g, -b - 3*g - 3 = -4*b. Suppose -3*k - 6 = -5*w + 2, b = k + 3*w - 2. Is k bigger than 1/38?
False
Let h = -0.33 - 0.61. Which is bigger: h or -2/7?
-2/7
Let p = -0.36 - -15.36. Let g = p - 7. Let q = g - 9. Which is smaller: q or -1/3?
q
Let f be -25*(-558)/(-620)*4/51. Let i be (-2)/5 + (-32)/20. Is i <= f?
True
Let p be 3 - (50 + (-3 - -1)). Let z = 45 + p. Is -1 > z?
False
Let w be ((-9)/(-38))/(2/4). Let r = -134/3601 + -490285/1436799. Let p = r + w. Is p < 1?
True
Suppose -755*c = -762*c + 119. Let j be ((-2)/(-6))/(1/57). Which is smaller: c or j?
c
Suppose -2*r + 2 = -0, -a + 97 = 4*r. Let p = 184 - a. Are 92 and p unequal?
True
Let r be 2/3*(-3 + 6). Suppose -o - o = r*s - 18, 0 = 2*s - 2*o + 2. Let d = -100 + 101. Is s at most d?
False
Let i = -37 - -26. Let u = i - -18. Which is smaller: u or 8?
u
Let n = 0.86 + 84.14. Let l = 108 - n. Is 0 equal to l?
False
Let f = -2 + 1. Let a = 2/1053 + 80006/11583. Let o = a + -619/88. Which is smaller: f or o?
f
Let m(o) = -o**3 + 7*o**2 + 8*o - 9. Let r = -31 - -55. Let i = -16 + r. Let f be m(i). Is f bigger than -2?
False
Let p(h) = 6*h**2 + 0*h**3 - 9*h - 33 + 23 - h**3. Let b be p(5). Is b at least 1?
False
Let n be -2 - -3 - (-510)/(-544). Suppose 0 = z - 3*z + 10. Suppose -z = 5*s - 0*s. Which is smaller: s or n?
s
Let r = -11/435 - -2444/90915. Which is greater: r or 0?
r
Let u(h) = h**3 - 4*h**2 + 4*h - 4. Let k = -48 - -72. Suppose -3*g + 2*j + 4 = -2*j, k = 5*g + 2*j. Let b be u(g). Do b and 10 have the same value?
False
Let h = 516 - 516. Do h and 8/9 have different values?
True
Suppose -473 + 113 = 5*z. Is -74 equal to z?
False
Let q = -31 - -15. Let r be 3575/(-250) - -3*(-5)/(-50). Is q less than or equal to r?
True
Let y = 67 + -94. Let p = y - -27.01. Which is smaller: p or 1?
p
Let j = 418 - 439. Does -21 = j?
True
Let u be (-4 + 3)*-14*24/2616. Are u and -1 equal?
False
Let t be -8 + (-20)/(-4) - 787/(-262). Does -1 = t?
False
Let f = 498.91 - 499. Which is greater: f or -4/15?
f
Let p be (-3 + 4)/(340/380). Is 2 less than p?
False
Let d be 8/(-44) + (-21)/(-165)*3. Suppose -8 - 2 = -5*p. Suppose -2*q = p*q + 4. Do d and q have different values?
True
Let d be (-6)/9*2*(-3 - 0). Suppose -z + d*y - 3*y + 10 = 0, y = -z + 10. Is 8 > z?
False
Let m = -72 + 69. Let n be 6/m - 20/(-12). Is 0.6 >= n?
True
Let w(i) = -i**2 - 39*i - 88. Let t be w(14). Which is greater: t or -829?
-829
Let s be -4 - (-18)/(-45)*-1*35. Let u be 1 + (0 - -1)*-3. Let c be (s/28)/(u/(-7)). Do -2/3 and c have the same value?
False
Let n be (-265123)/(-12) + (-17)/51. Let c = 624409/28 - n. Let i = c - 207. Which is smaller: 1 or i?
i
Let j(m) be the first derivative of -m**4/4 + 5*m**3/3 - m**2 - m + 4. Let y be j(5). Which is smaller: -10 or y?
y
Let z(i) = i**3 + 8*i**2 + 4*i + 8. Let y be z(-4). Is 57 at most y?
False
Let m be (17 - 13)*1/4. Which is smaller: m or 38/31?
m
Suppose 0 = -4*d - 4*q + 12, 0 = -3*d - 0*q + 2*q + 9. Suppose 0 = d*p - p + 38. Which is smaller: -18 or p?
p
Let u = 26/83 + -505/2407. Let c = u - -57/290. Let g(m) = m**3 - 6*m**2 + 6*m - 6. Let w be g(5). Which is smaller: w or c?
w
Let y = 101/153 - 7/9. Let a = y - -25/68. Which is bigger: -8 or a?
a
Let g be (((-4)/(-10))/1)/(24/10185). Let n = -169 + g. Let q = 1 - 1. Which is smaller: q or n?
q
Let u be (-90)/(-14) - 4 - 6/14. Which is greater: u or 57?
57
Suppose -n = 3*s + 15, s - 5*s = 8. Let i(r) = r**3 + 9*r**2 - 2*r - 17. Let m be i(n). Which is smaller: 1/14 or m?
1/14
Let v(a) = -16*a + 5. Let m be v(-12). Suppose -2*t = 10, -4*l - 4*t - 447 - m = 0. Let f = l - -473/3. Which is smaller: 2 or f?
f
Suppose 4*p + 48 = -a - a, -4*a - 66 = -2*p. Let r be (-1)/(-1)*-1 - 1. Let w be 3/a*14 - r. Which is smaller: 1 or w?
w
Let k = 39 + -39. Suppose k = 3*o - 5*m - 2, -3*o - m - 9 = 13. Let r be 12/o*(-2)/(-19). Is r smaller than 1?
True
Let t = 1634.1 + -1709. Let w = 78 + t. Is -1 greater than or equal to w?
False
Let f be -2 - (-1)/(4/(-6 + -2)). Let d be -4*(-4)/36 + f. Which is greater: d or -5?
d
Let w = -17 + 16. Let q be ((-15)/(-70))/((-3)/(-20)). Let b = -37/21 + q. Which is bigger: b or w?
b
Let j = 118 - 172. Let t = j + 55. Is 1.2 at least t?
True
Suppose p + 3*c = 5*c + 1060, 5*p - c - 5255 = 0. Let t = p - 24154/23. Which is smaller: t or 0?
t
Suppose -7*u + 73 - 101 = 0. Let c(z) = -z - 12. Let y be c(-5). Is y greater than u?
False
Let b = -11 - 35. Let f = b - -43. Is f >= -5/2?
False
Let r = -462 - -543. Which is greater: -2/13 or r?
r
Let u(z) = -z**2 + 14*z + 4. Let n(s) = s**3 - s**2 + 12. Let g be n(0). Let f be u(g). Suppose -3*w - 2*x + 20 = 0, -6*w = -w + 2*x - f. Is 5 at most w?
False
Suppose -3*g - 4*d + 30 = -14, 0 = g + d - 15. Let v = g - 16. Which is smaller: -1/15 or v?
-1/15
Let q be (-185)/65 + 3 - 5016/32942. Let i = -31687/7602 + q. Which is smaller: -3 or i?
i
Let r be 2 + -5 + (1724/(-572) - -6). Which is greater: r or 1?
1
Let i be ((378/99)/7)/(-2 + -2). Which is greater: i or 1?
1
Let o = 40.8 - 63. Let h = o + 22. Are h and -16 equal?
False
Let d be (-16)/(