 = 128. Suppose -4*f + 16 = -z + 29, 0 = -5*z + f + 141. Do z and o have the same value?
False
Let n be -7 + (-5 - 1441/(-121)). Which is smaller: 1 or n?
n
Let c = 26 + -47. Let p = -18 - 4. Let k = p - c. Which is bigger: k or -1/5?
-1/5
Suppose -t = -3*o - 17 + 113, -4*o - 3*t = -128. Let y = 2 - 1.9. Which is smaller: o or y?
y
Let f be 24/(20/(-16) - -2). Let q = f + -32. Does q = 1/5?
False
Let l(j) = j**3 + 7*j**2 + 6*j. Let f be l(-6). Let h = -6.04 + 0.04. Is h bigger than f?
False
Let i be (61/(-4))/((-117)/(-26)). Let r = -1/6 - -1/18. Let o = i + r. Which is greater: -3 or o?
-3
Let j = -110.93 - -111. Which is smaller: j or 14?
j
Let f(v) = 2*v + 44. Let l be f(-19). Suppose -o + l = -7*o. Which is greater: o or 4/11?
4/11
Let v = 26.3 - 3.3. Let n = v - 6. Let i = n - 16.9. Which is bigger: i or -4?
i
Let p = -72 + 73. Let y be 4/(-6)*(2 + p/1). Which is smaller: y or 4?
y
Let v(a) = a**3 + 13*a**2 - 14*a - 9. Let f be v(-14). Let m be (f/(-3))/(2 + (-946)/(-4)). Which is bigger: 1 or m?
1
Suppose 12*a + 5540 = -8*a. Is -277 > a?
False
Let x = 92 - 75. Suppose 11*j = -6*j - x. Is j <= -0.01?
True
Let h = -12 + 11. Let g be 0 + h - (14 + -68). Which is smaller: g or 54?
g
Let b = 16/3 - 125/24. Let x = 16.8 + -2.8. Let t = x - 13. Which is smaller: t or b?
b
Suppose 6*z = 7*z - 10. Let j be z/25 + 4/(2480/(-238)). Which is greater: j or 1?
1
Suppose u - 3*g - 6 = -9, -3*u - 19 = -4*g. Are -2 and u nonequal?
True
Suppose 2*z = -n - 3, z + 0*z = -n - 5. Let c = 18 - 14. Suppose v = -c*j + 5 - 3, 14 = -v + 4*j. Is n greater than or equal to v?
False
Suppose g - 20 = -4*x, 2*g + 0*x = -3*x + 20. Suppose g*a = -a. Let t = -1 + 2. Is t less than or equal to a?
False
Let j = 19/20 - 6/5. Let v = 0.1 + 0.5. Let c = -0.2 + v. Which is greater: c or j?
c
Let j = -22.962 - 0.038. Let y = -33 - j. Let o be 5/(-2)*(-2)/10. Which is smaller: y or o?
y
Suppose 788 - 47 = -13*h. Is h less than or equal to -393/7?
True
Suppose l - 9 = -3*v, -2*v + 1 = -3. Suppose 5*f = 5*g - 80, 0 = 2*g - 6*g + l*f + 62. Is 16 greater than g?
True
Let m(l) = 5*l**2 - 1. Suppose -6 = 2*j - 0*j. Let k be -1*(-2 - 2 - j). Let u be m(k). Is u < 0?
False
Let l be (4/(-3) + -4)*(-42)/4. Let u = 15 - l. Which is bigger: u or -39?
-39
Let l be 99/(-18)*(3 + -25). Is 117 > l?
False
Let x be -15*((-3)/10)/(2/4). Let l be (2/4)/((-5)/(-80)). Is l bigger than x?
False
Suppose -13*m + 18*m - 316 = -3*z, 3*z = 4*m - 269. Are m and 67 equal?
False
Let t = -231 + 213. Let k = 0.03 - 0.13. Is k <= t?
False
Suppose 2*j - 18 = -5*l, 0 = -j + l - 5. Let c be (2 - 2)/(2 - j). Do 1/46 and c have different values?
True
Let x be (1/(-2))/((-15)/240). Let w be (-2)/x + 190/920. Let p = w + -21/46. Is 0 at most as big as p?
False
Let i = 11473613/72 - 159360. Let a be (106/32 + -3)/((-2)/(-28)). Let l = i + a. Is -1 smaller than l?
True
Let n(m) = -2*m**3 + 35*m**2 + 27*m. Let z be n(19). Let k = z - -23369/41. Is k < -1?
False
Suppose 4*v = 2*j - 188, -66 - 36 = -j + 4*v. Is -2 at most as big as j?
True
Let s be 546/(-10) - 6/15. Are -59 and s equal?
False
Let l(q) = q - 12. Let u(n) = n - 12. Let k(o) = 2*l(o) - 3*u(o). Let p be k(0). Let s be 122/p - (-2)/(-12). Is 10 < s?
False
Suppose 165 = 3*q + 51. Let p be 8/(-28) - q/14. Let d be (2 + 0/p)/(-7). Is 0.4 > d?
True
Let y be (-63 - 119)*1*(-2)/4. Which is smaller: -3/5 or y?
-3/5
Let o = -25 + 16. Let w(d) = -3*d + 9 + 7*d + 2*d + 3*d + d**2. Let p be w(o). Are p and 9 equal?
True
Let s = 0 + 8. Suppose -28 = 5*v - s. Suppose -a = 2*a. Which is smaller: v or a?
v
Suppose 3*n - 331 = 5*x - 63, 3*x - 367 = -4*n. Let y be (-9)/(-12) + n/(-4). Which is greater: -20 or y?
-20
Suppose s - 3*r - 25 = 0, r + 20 = -3*r. Suppose 0*o + s = 5*o. Suppose -2*v - k + 11 = 0, 0 = -2*k - 0*k + o. Which is bigger: 6 or v?
6
Let y = 1179 - 1181. Is y equal to -12/31?
False
Let b be (-2195)/(-878) - (27/2 - 1). Which is greater: -120/13 or b?
-120/13
Let u = -0.123 - 0.047. Let t = u + -3.83. Let b = -7 - -5. Are t and b equal?
False
Let v = 11.57 - 12. Let i = 468 + -468.33. Let h = i - v. Which is smaller: -7 or h?
-7
Let b = -4418/17 - -260. Let l(g) = g**2 + 4*g - 3. Let v be l(-5). Suppose c = v*c. Which is smaller: b or c?
c
Let l = -452 - -453. Let n be (-5)/2*(-66)/90. Which is bigger: n or l?
n
Let z = 0 + 2. Let c be 2*(0 - 2/z). Let f = 278 + -291. Is f bigger than c?
False
Let q be (3 - 1)*(-8 + 7). Let y be (-1 + q/(-3))*112/(-35). Is y != 2?
True
Let p = 465 + -465. Let s = -12.9 - 0.1. Which is smaller: p or s?
s
Let h = 42 - 209. Is 0 at least h?
True
Suppose -26*w - 18*w = 55*w + 198. Let g be (2/6)/((-26)/6). Are g and w equal?
False
Suppose 4*r + 2*s - s - 19 = 0, -17 = -3*r + 2*s. Suppose -r*j = -j. Which is smaller: -1 or j?
-1
Let u(n) be the third derivative of -n**4/24 + 2*n**3 + 6*n**2. Let p be u(10). Suppose 20 = p*w - 0. Is 10 at most w?
True
Let k = -56 + 134. Suppose -g = g + k. Is g at most -39?
True
Let r = -33 - -39. Suppose -t = -r*t + j + 45, 3*t + 4*j = 27. Is 10 not equal to t?
True
Let g = 1 - -6. Let l = g - 7. Suppose -3*r + 28 = 4*i, r + i - 12 = -r. Which is smaller: r or l?
l
Let c be 278/417 + (-10)/6 + 2. Which is smaller: -34/107 or c?
-34/107
Let k be 2/10 - (1 + 884/20). Which is bigger: k or -50?
k
Let a = -0.48 + -54.52. Let n = -60 - a. Which is smaller: n or -0.2?
n
Let u(m) = 2*m. Let z be u(2). Suppose 7*j = z*j + 33. Suppose -a + 3*a - j = -3*s, -4*s = 2*a - 16. Is a <= 1?
True
Let p be (1 + (-7 - -6))/3. Is p less than 6?
True
Let d be -3 + 0*(-6)/12. Which is bigger: d or -23/10?
-23/10
Let y = 12077/2 + -6254. Let k = y - -211. Is -6 < k?
True
Let t(p) = p - 7. Let b be t(7). Suppose -2*i = 1 - 11. Suppose 0*z - y - 11 = 5*z, 0 = i*z + 2*y + 12. Is z smaller than b?
True
Suppose y + 0 = 3. Suppose s = -3*g + 18, y*g - 2*s = -0 + 9. Let q = g + 1. Are q and 1 non-equal?
True
Suppose 4*x - 3*f - 2*f + 41 = 0, -3*x = -2*f + 22. Let a = x + 19/4. Let p = 1 + -1. Which is bigger: a or p?
a
Let q = 0 + 3. Suppose -5*g = -3*x - 9, -q*x + 9*g = 5*g + 6. Let p be (-1 + 0)*x/(-8). Is 1/4 greater than p?
False
Let h = -491/591 - 1/394. Is h not equal to -1?
True
Let f be 2/((-1)/(-2)*-67 + -3). Is f greater than -1?
True
Let q(o) = -o**2 - 7*o - 6. Let c be q(-4). Which is smaller: -3 or c?
-3
Let v be 67/4 + (-20)/(-16). Is 33/2 < v?
True
Let w = 36 - 50. Let p = w - -11. Let k be (-2 - p)*-1 + -9. Is -11 <= k?
True
Let r be -4 - 5/(-5) - 22/(-4). Suppose -4*t + 4 = -5*c + 20, -c - 2*t + 6 = 0. Let y(p) = -p**3 + 5*p**2 - 2*p - 4. Let k be y(c). Is r less than k?
True
Suppose -p - p - m = -8, -17 = -5*p - m. Suppose -p*h + 4 = -2. Suppose 2*c = h*t + 14, 0*t + c - 31 = 4*t. Do -9 and t have different values?
True
Let o = 0.009 - -35.991. Do 2/15 and o have the same value?
False
Let v(y) = -12*y**3 - 2*y**2 - 8*y + 9. Let t be v(1). Which is smaller: -16 or t?
-16
Suppose 0 = 8*j + 117 - 21. Let x be (274/(-138) + 2)/(j/(-72)). Is -1 bigger than x?
False
Suppose 4*z = -4*j - 60, -5*j - 32 = -3*j + z. Let b = j - -16. Let l be (-4)/(-10) + 12/10. Is b < l?
True
Suppose 6*r + 257 = -163. Let a be 5/(-2)*1568/r. Is 57 < a?
False
Let j be (-1 + -4 + -21 + 21)*1. Is -53/14 greater than or equal to j?
True
Suppose -8*q + 28 = -36. Which is smaller: q or 0.014?
0.014
Let i be (17/(-34))/((-2)/1 + 3). Let d be 2/(-93) - (-1 - -1). Do d and i have different values?
True
Let i(g) = -4*g - 21. Let r be i(-10). Suppose o = 4*w - 12, -r + 3 = 2*o - 4*w. Let n = 8 + -4. Which is smaller: o or n?
o
Let z(y) = -y**2 - 3*y + 2. Let n be z(-2). Let l = -1060 + 1063. Is n greater than l?
True
Let s be 138/8 + (-1)/4. Let m = s - 4. Do m and 13 have different values?
False
Let r(k) = 2*k + 3. Let n be r(-2). Let x = -17 + 188/11. Which is smaller: n or x?
n
Suppose 0 = -5*n - 5 - 0. Let l be (-28)/105*(-5)/(-40). Is n > l?
False
Let h be 4/3*11*6. Suppose -4*s + h = 20. Suppose -3*y = s + 19. Is y greater than -11?
False
Let m be 1*5 - ((-4)/(-2) - 4). Suppose -14*d + m*d - 7 = 0. Are d and -8/29 unequal?
True
Let m be (-2)/(-4*8/16). Which is smaller: m or 1/117?
1/117
Suppose -2*w = 13*w - 2295. Is 152 >= w?
False
Let n = -58 + 50. Let o be (3/6)/(4/n). Which is greater: 2 or o?
2
Let i = -344.1 - -344. Are i and 21.2 eq