 Let o = -79 - n. Let g = 214 + -215. Is o at least g?
True
Let b be 85 + -2 + (4 - -1). Let q = 53 - b. Do q and -35 have different values?
False
Let u(l) = -2*l**3 - 3*l**2 - 3*l + 2. Let m be u(-2). Suppose s + 5*v - 19 = 0, 7*s - 4*s - 44 = -2*v. Is m greater than s?
False
Let a = 20 - 20.83. Let r = -9.83 - -10. Let t = a - r. Which is bigger: -2 or t?
t
Let g = -23 + 32. Let z = 1057/4 + -268. Let y = 4 + z. Which is greater: g or y?
g
Suppose -6*c + 100 + 38 = 0. Let f = 24 - c. Is -1/3 greater than or equal to f?
False
Suppose 0 = 5*f + 15 - 65. Let g = 7 + f. Which is smaller: g or 16?
16
Let b = 97 + -4557/47. Let p be (-4)/(-3) + (-21)/9. Let r(t) = 2*t + 1. Let d be r(p). Which is greater: d or b?
b
Let n = -9 + -84. Let l = n - -94. Which is bigger: -2 or l?
l
Let j be 7/(-28)*1992/(-2). Is j not equal to -0.2?
True
Let n be 20 - 21/9*3. Which is smaller: 0 or n?
0
Suppose 5*s + 5*m = 450, -4*m + 266 = s + 2*s. Let d = s + -102. Which is bigger: -27/4 or d?
-27/4
Let c = 285 + -284.6. Is c less than or equal to 11/7?
True
Let f = -984 - -985. Which is smaller: f or -9/82?
-9/82
Let t = -0.22 - -0.22. Which is greater: t or -2/165?
t
Let w(m) = 7*m**3 + 13*m**2 + 2*m + 4. Let x(t) = -15*t**3 - 27*t**2 - 3*t - 7. Let p(d) = -13*w(d) - 6*x(d). Let o be p(-6). Which is greater: -2 or o?
o
Let p = 46 - 137/3. Suppose 2*o = -i - 114, -2*o + 75 = -3*o - 5*i. Is o <= p?
True
Let d(k) = 12*k + 52. Let h be d(-4). Which is smaller: h or 50/19?
50/19
Let x = 4 - -1. Suppose y - 2*y + 3*v - 15 = 0, -v + x = 0. Suppose y = -5*c - 4 - 6. Is c at least -2?
True
Let g be 6/40*(-3690)/(-4). Let k = 138 - g. Let s be (3 + 7 + -12)*2/(-4). Is s < k?
False
Let c be 16/5 + (-5)/25. Let m be -3 - ((c - 2) + -2). Suppose -f = -5 + 6. Which is bigger: f or m?
f
Suppose 36 = -9*s + 6*s. Suppose -5*c + 42 + 73 = 0. Let k = c + -35. Is k smaller than s?
False
Suppose -q - 17 = -14. Let i = 4 + -2. Let l be (i/3)/(2/(-12)). Which is smaller: q or l?
l
Let h be ((-1)/4)/(11/154). Does -2/23 = h?
False
Let w be 378/(-35) - 2/10. Let v(f) = -f**3 + f**2 + f + 2. Let l be v(2). Is l >= w?
True
Let s be 18 - 14 - (2 - 0). Let i be 690/(-23) + -1 + s. Is -1/3 at least as big as i?
True
Suppose 0 = 4*l - 4*k - 12, -1 = 5*l - 4*k + 3*k. Let j = 765349/307 - 2493. Is j at most l?
False
Let r = -56 - -60. Suppose r*c - 13*c = -18. Which is bigger: c or -2?
c
Suppose -99*y + 96*y = -198. Do 68 and y have different values?
True
Let y = 52 - 95. Is -41 != y?
True
Let a be 2*-6*(-117)/(-546). Is a at most as big as -2?
True
Suppose -3*h - 16 = -5*t, -3*h + 3*t + 1 = 25. Let q be (-3)/(4*h/(-80)). Let m(n) = -n - 4. Let c be m(q). Which is smaller: c or -4/11?
-4/11
Let q be (-3)/(-18) + (4415/(-6))/5. Is q at least -146?
False
Let y = -14.19 + 14.19. Which is greater: y or 816?
816
Let y(m) = 4 + 3 + 7 + m - m**2 + 0*m**2. Let a be y(0). Which is smaller: a or 15?
a
Let i be (-78)/(-1134)*9 - (-3)/(-9). Which is smaller: i or -0.0394?
-0.0394
Let a be (2/(-3))/(2/(-12)). Suppose -9 = a*l - 5. Is l equal to 1/11?
False
Let u = 1204 - 933. Which is smaller: 272 or u?
u
Let l = -94 - -131. Suppose 4*n = 4*f + 100, -2*f = -5*n + 150 - l. Which is smaller: 0 or n?
0
Let k(c) = -2*c - 12. Let g be k(-8). Suppose -37 = g*o + 11. Let a be 15/(-6)*o/(-20). Does -1 = a?
False
Let q = -43/19 + 4630/2071. Is q > 1?
False
Let o(f) = 1 - 2*f**3 + 7 - 14*f**2 + 2*f**2 + 15*f. Let v be o(-7). Is v bigger than -6/23?
True
Let c = 239 + -239.14. Is 1/2 smaller than c?
False
Suppose -3*j - 22 = 50. Let l be (20/j)/(1/(-6)). Suppose 3*z = 3*x, -3*x = -4 - l. Is z bigger than 7/3?
True
Let g = 667/4767 + 2/681. Is g <= -1?
False
Let w be (-1)/((-1080)/((-30)/3)). Are w and 0 equal?
False
Let s(w) = 148*w - 444. Let v be s(3). Is 62 greater than or equal to v?
True
Let g = 3.03 - 0.03. Let b(y) = -2*y**2 + 52*y + 1. Let c be b(26). Which is bigger: g or c?
g
Suppose -i + 8 = 3*i + v, -5*v - 14 = 2*i. Suppose i*a - 3*m = -0*a - 9, -4*m - 6 = 5*a. Suppose -z - 5*o = -1, -4 = -5*o + o. Is z greater than or equal to a?
False
Suppose -4*o + 1 = 13, 9 = j - 5*o. Which is greater: j or 33?
33
Let t = -6156.93 + 6157. Let m(i) = -2*i + 1. Let r be m(2). Which is bigger: t or r?
t
Let k(s) be the third derivative of -s**6/120 - 7*s**5/60 - s**4/24 + 5*s**3/6 - 12*s**2. Let v be k(-7). Which is smaller: 13 or v?
v
Let y = 15 + -4. Let l(f) = f**2 - 10*f - 11. Let n be l(y). Is n at least -9/8?
True
Let s = -35 - -209/6. Let x = 251/10 + -9347/370. Let b = -61/148 - x. Is s >= b?
True
Let c = 14.6 + -14. Let a = c + -0.7. Let f = a + 0. Which is smaller: 15 or f?
f
Suppose -3*t + 9 = 3*c - 2*c, 0 = -t - 3*c - 5. Suppose t*a - 7*a - 9 = 0. Let n be a*(-8)/(-36)*6. Which is smaller: -7 or n?
-7
Suppose 3*p = 0, -4*t - p - 145 + 593 = 0. Do 113 and t have different values?
True
Suppose -107 + 92 = 3*m. Is m smaller than 6?
True
Let g = 0.265 + -0.218. Are g and 1/4 non-equal?
True
Let f(n) = n - 11. Let z be f(15). Let j be 1*(z - 2) + 3. Suppose 0 = -j*t + 5*c - 20, t + 2*c - 5 = -0*t. Is -2/5 >= t?
True
Let z be (-18)/15*(-10)/3. Which is bigger: 34/11 or z?
z
Let r = -686 - -690. Is 63 equal to r?
False
Suppose 2*a = 3*d - 9, 3*a - 8*a = 0. Suppose -2*z - 1 = -19. Suppose u + u - 8 = -2*t, 0 = -d*u + z. Which is bigger: 0 or t?
t
Let f(c) = -c**2 - 30*c - 105. Let i be f(-26). Which is smaller: -15/17 or i?
i
Let w be (1 - -1) + (0 - 1). Let a be -204 + -6*1/(-3) + 1. Let f = a - -1008/5. Which is smaller: f or w?
f
Let g(w) = 3*w**3 - 19*w**2 + 4*w + 11. Let z be g(6). Let l be 0 + 0 + 4/10. Are l and z nonequal?
True
Suppose -14 = -4*f - 3*g, 2*f - 3*g = -2*f + 26. Suppose -2*s + f*a - 16 = -1, -9 = 2*s - 3*a. Let d be (18/(-14))/((-8)/(64/12)). Which is smaller: d or s?
s
Suppose 11*q - 57 = 20. Let s(p) = p**3 + 3*p**2 + 2. Let b be s(-4). Let j be (-7)/b*(-2)/q. Which is smaller: j or 1?
j
Suppose 0 = y + 4*y. Suppose y*g = -t + 5*g + 33, g + 75 = 4*t. Let w be (4/t)/(4/6). Is 1 less than w?
False
Let o be 5 + ((-1937)/104 - -12). Which is bigger: o or 4?
4
Let g = -1 - -125. Suppose 5*q + 164 = -4*i, 3*i = 4*q - i + g. Is q greater than -32?
False
Let g(n) = n**3 + 13*n**2 - 13*n + 14. Let b be g(-14). Suppose 2*t - 35 + 19 = b. Which is smaller: 7 or t?
7
Let d = 384 + -309. Is d at most as big as 76?
True
Let b(v) = -v**2 + 4*v - 4. Let u be b(3). Suppose 0 = -n + 3*n + 22. Let z be (-192)/(-18)*(n/(-12) - 1). Is u > z?
False
Let d(o) = -o**3 - 4*o**2 + 6*o - 99. Let z be d(-7). Let h be 12/9*(-6)/10. Which is smaller: h or z?
h
Suppose -5*j + 7*j = 8, -3*t + 122 = -4*j. Which is greater: t or 47?
47
Suppose -4*g = 3*w, -2*g + w + 3*w - 22 = 0. Let f be (148/(-52) - g)/1. Is 1 less than or equal to f?
False
Let x = 37 - 44. Let l be 2/(-4)*(x + 12) + 3. Which is greater: l or 0?
l
Let q = 995 + -1002. Are q and 27 equal?
False
Suppose -14*p + 10*p + 1229 = z, 2*z + 314 = p. Is 308 < p?
False
Let t be (-4)/(-25)*3/(-6). Let x = t - -12/25. Let s = 4.95 + -5. Is s <= x?
True
Let x(j) = j**3 - 10*j**2 - 33*j + 16. Let a be x(13). Let d = 89 - a. Is -5 bigger than d?
False
Let c = 59 - 111. Let f be (-3*2/(-36))/(2/c). Is -4 <= f?
False
Suppose 0*y - y = -7. Suppose -2*v + y*v = 105. Suppose -4*s + 16 = 0, -5*h + v = 4*s - 5. Are 3 and h non-equal?
True
Let x = -18.8 + 130.8. Let m = x - 112. Which is smaller: m or -3/7?
-3/7
Let z = 0.324 - 0.364. Let b = 3.3 - 3.29. Is b > z?
True
Let n = -22 + 17. Let g = 5 - 11. Which is smaller: g or n?
g
Let r = 8.81 - -0.19. Let c = 0.251 + 9.749. Let v = c - r. Is -5 >= v?
False
Suppose 3*j - 15 = 0, r - 4*r + 3*j = -489. Let a = r + -174. Let t(z) = -z**2 - z - 5. Let v be t(0). Are a and v equal?
False
Suppose -5*f - 3*f + 32 = 0. Suppose f*n - 4*s - 59 = 9*n, n - s + 19 = 0. Are -18 and n equal?
False
Suppose -602 = -27*c + 1369. Which is bigger: c or 72?
c
Let i = 86.2 + -85.9. Let v = -368/1239 - -2/177. Is v at least as big as i?
False
Let k(a) = -a**3 - 14*a**2 + 14*a + 10. Let j be k(-15). Let g = j + -23. Suppose -g*f + 3*f = -q + 2, 4*q + f + 1 = 0. Do q and 1/11 have the same value?
False
Let q be (-20)/(-204)*-3*108/30. Is 0 at least q?
True
Let m = -363 + 362.7. Let c = -0.3 + 0.28. Which is greater: c or m?
c
Let t be -4 + (-56)/(-12) + 364