e b and 255 unequal?
True
Let t(a) be the third derivative of -a**4/24 + 17*a**3/6 - 3*a**2. Let q be t(9). Let d be 4/26*(-4)/q. Do d and -1 have different values?
True
Suppose -2*j + 22 = 3*q + q, -j + 3*q = 4. Let b = j - 7. Let d = 44646.94 + -44647. Is d at most b?
False
Let r be (-4)/(-6) + 58/(-96). Let q be 2*-1 - (10 - -8)/(-6). Are q and r equal?
False
Let a(m) = m**2 - 5*m + 3. Let k be a(6). Suppose 3 = 6*i + 9. Is k > i?
True
Let m = -132 - -131.932. Let p = -0.088 - m. Which is greater: p or -6?
p
Let m be -6 + 12/(-16)*-60. Is 49 at most m?
False
Let d = -13 + 14. Let f be (1 - d)/(8/(-4)). Let q = 3197/10 - 320. Is q < f?
True
Suppose 0 = 5*j - 128 + 13. Suppose -4*b - 2*o + 3 = j, -o + 15 = -3*b. Let v = 6 + b. Which is smaller: 1/2 or v?
1/2
Let x be 44 + (8 - 8)*2/4. Is 1 != x?
True
Suppose -5*u + 2*u = 6. Let t be u*(-2)/(-36) + 1. Suppose -5*g = -2*g + 3, 0 = 5*m - 4*g - 14. Does m = t?
False
Suppose 18*g + 23383 + 2951 = 0. Is -1463 at least g?
True
Let p(o) = 2*o**2 - 2*o - 2. Let l be p(-2). Suppose 4*k = 3*r + 12, 3*k = 3*r + l - 1. Let j be (1 - 2) + (-4 - k). Which is smaller: j or -9?
-9
Let a be 34*(-3)/(-12)*-2. Suppose 4*c + 54 = b - 16, 2*b + 76 = -4*c. Which is smaller: c or a?
c
Let a(z) = -2*z**2 + 13*z + 27. Let d be a(8). Are 24/11 and d equal?
False
Let f be 4/(120/273) - -2. Let r = f + -143/5. Let y = -311/18 - r. Which is greater: 2 or y?
2
Let b be -2 + 1 + (-1 - (-86 + 1)). Let q = 6074/9 + -26617/45. Let r = q - b. Do 0 and r have different values?
True
Let p be 10/(-15) - 350/6. Does p = -60?
False
Let c = 818 + -617. Which is smaller: c or 200?
200
Suppose -6*f = -2*f - 4. Is 3/68 <= f?
True
Let b be (-6)/9 - (-395)/3. Suppose -14*c + 439 - b = 0. Which is smaller: c or 21?
21
Let t = -1197 - -8419/7. Which is smaller: 5 or t?
5
Suppose 7*x - 12 = x. Suppose -5*t = 3*i - 117, -2*t + 0*t + x*i = -34. Is t at least 21?
True
Let i(n) = -n**2 - n. Let r(k) = 4*k**2 - 6 + 3*k + 5*k**2 + 5*k**2 - 6*k**2. Let t(q) = -6*i(q) - r(q). Let x be t(4). Are -14 and x equal?
True
Let j = -1233 + 909. Are -324 and j nonequal?
False
Let p(r) = r**3 - 6*r**2 + 7*r - 3. Let l be p(5). Let b = l + -16. Let h(j) = -j**3 + 4*j**2 - 5*j + 12. Let n be h(4). Which is smaller: n or b?
b
Let z be (2 - 13)/((12/(-15))/(-4)). Which is greater: z or -53?
-53
Let r be (-1 - (-2)/4)*224/(-1484). Let i be 1 + -1 + 0 + -1. Which is greater: r or i?
r
Let x be -7 + (-2)/4*-12. Is x at most as big as 3/185?
True
Let y be (-1209)/(-45) - (-14)/105. Which is bigger: 22 or y?
y
Suppose 8*a - a = -4*g + 79, 3*g = -5*a + 59. Is -4 smaller than g?
True
Let c = -761 + -324. Is 1 greater than c?
True
Let a = 0.061 - 33.061. Let x = a - -32. Which is greater: -16 or x?
x
Let l = -0.1 + 0.4. Let r = 540 + -529. Are l and r nonequal?
True
Let d be ((-2)/4)/(2 - 3)*22. Suppose 0 = 9*q - d*q + 4. Which is smaller: 18/11 or q?
18/11
Suppose h = 2*h - 2*f, 0 = 3*h + 3*f - 9. Let g(o) = -o + 4. Let m be g(h). Suppose 7 - 2 = -5*q. Which is smaller: q or m?
q
Let k = 1146 + -172. Which is smaller: k or 972?
972
Suppose -2*n - 3*f = 3, -2*f - 2 = -2*n - 0*f. Suppose 4*c = -5*a - 12, -2*a + n*c = -c + 10. Which is greater: a or -6?
a
Let u = 9 - -6. Let x be (16/10)/(6/u). Suppose -5*v + 19 = -4*v + x*k, -5*k = -2*v - 27. Is 1/11 > v?
True
Let j = -22 + 8. Let w = 0.005 - -0.995. Is j bigger than w?
False
Suppose 0 = f + j + 17, 5*f + 3*j + 67 + 24 = 0. Let q = f + -22. Let y be ((-4)/q)/(36/168). Which is smaller: y or -1?
-1
Let s = 197 + -184. Suppose 4*b - 1 = 43. Which is smaller: b or s?
b
Suppose 4*g = -4*a + 3*a + 10, 0 = 4*a + 3*g + 12. Let h = a - -4. Let o = -61/2 + 179/6. Is h < o?
True
Suppose -35*g = -37*g + 26. Is g != 13?
False
Let f = -756 - -756. Let v = 10.7 - 0.2. Let u = v - 8. Which is bigger: f or u?
u
Suppose -m + 13 = 5. Is m smaller than 34/5?
False
Let a be ((-6)/(-15))/(2/60). Which is greater: a or -5?
a
Let k = 9458 - 9394.41. Let c = k - 64. Let b = c + 0.11. Which is greater: 2 or b?
2
Let o = -10.2 - -9.2. Which is smaller: -1/16 or o?
o
Let r = 1041 - 1040.9. Which is greater: 15 or r?
15
Let s(x) = x**2 + 5*x + 5. Let y be s(-5). Let w be y*(-6)/(-170)*1. Does w = 1?
False
Let o = 20 - 19. Let i = 244487/12 + -20386. Let m = i + 53/4. Is m < o?
False
Let c be ((-8)/(-6))/(442/2859). Let y = c - -5033/1768. Let u = -93/8 + y. Are u and 1 nonequal?
True
Let q be ((-14)/(-3))/(4/6). Let a be (1 + 105/6)/(1/2). Suppose -5*z - 2 = -a. Are z and q equal?
True
Let q = -105.54 - -106. Is 7 less than q?
False
Suppose -3*k + k = 4. Suppose -4*u - 2*g - 74 = -0*g, -5*u = -4*g + 86. Let b be (-2)/(-4) + 5 + u/4. Which is smaller: b or k?
k
Let a(x) = -x**3 + x**2 + x. Let z be a(0). Let n(o) = o**2 - 4. Let i be n(-4). Do i and z have the same value?
False
Suppose 0 = 2*i - 6*i - 1520. Let w = -7982/21 - i. Which is greater: 1 or w?
1
Let x be ((-2824)/16)/((-14)/12). Let u = x + -151. Which is smaller: 0.5 or u?
u
Let y = 1.379 - -1.621. Which is smaller: y or -12/59?
-12/59
Suppose -q + 7 = -6*t + t, 3*q - 8 = 2*t. Let g be ((-2)/(-3))/((-10)/9). Let j = g + 14/15. Which is bigger: j or t?
j
Let l = 457/11 - 5553/77. Is -32 greater than l?
False
Suppose 3*j + j = 16. Suppose 2*r = 3*r + j. Let l = r + 8. Does l = 3?
False
Suppose 0 = 5*h - 3*h + 20. Let t(u) = -u**3 - 4*u**2 + 12*u + 10. Let d be t(-6). Let k = d + h. Is -1/9 less than or equal to k?
True
Let r = 155513/7135 - -6/1427. Let f = -367/15 + r. Suppose -o = 3 + 1. Is o at least as big as f?
False
Suppose -2*t = -94 - 156. Suppose t*p + 66 = 122*p. Which is smaller: p or -23?
-23
Suppose 7*o - 147 + 7 = 0. Let h = o - 20. Are 4/23 and h equal?
False
Let s = 28 - 25. Suppose l - a = -7, s*l + 3*a + 20 = 5*a. Which is greater: -3 or l?
-3
Let p be (28/(-315))/((-14)/(-21)). Are p and -2 nonequal?
True
Suppose -6*x - 587 = -173. Are -68 and x non-equal?
True
Suppose i = -4*b + 192, -2*b + 208 = 2*b - 3*i. Suppose 0 = -3*r + 35 + b. Which is smaller: 27 or r?
27
Let a be 2/(20/30) - -10*10. Is a at least as big as 102?
True
Let j be (21327/4515 - 5) + (-6)/(-21). Does 0 = j?
False
Let n = -2180 - -2180.2. Do -8.07 and n have the same value?
False
Suppose 2*n - 88 = 5*y + n, -n = -4*y - 71. Are y and 4 equal?
False
Let f(n) = -146*n**2 + n - 3. Let x be f(4). Let a be 2/(-11) - x/(-44). Let s = 53 + a. Is 1 >= s?
True
Let h(r) = -4*r**2 - r + 3. Let o be h(1). Let j = -7 - o. Which is bigger: 2 or j?
2
Let q be 141/72 + (-12)/(-18). Suppose 2*r = -2*h, -r + 28 = 2*r - 4*h. Is r != q?
True
Let n(k) = -4*k - 17. Let o be n(-4). Suppose 5*r = 3*i - 17, r + i - 5*i = 0. Is r bigger than o?
False
Suppose 0 = l - 2 + 1, 5*d + 4*l - 169 = 0. Let p = d + -35. Is 2 at least p?
True
Let a = 6044 + -42388/7. Is a != -11?
True
Let m(q) = q**3 - 7*q**2 + 11*q - 2. Let f be m(5). Which is bigger: 13 or f?
13
Let f be 9 + -12 + 4*6. Let g be 26/(-42) + 7/f. Let n = 3/14 - g. Is n <= 1?
True
Let j = -0.7 - -3.7. Let c = j - 2.99. Let h = -1.01 + c. Is h at least as big as -8?
True
Suppose 11*y - 7*y = -3*g - 601, -3*y - 447 = 3*g. Is -154 at least as big as y?
True
Suppose 0*z + 1 = -z. Let r be (8/10)/(152/80). Which is smaller: z or r?
z
Let m(q) = q**3 + 3*q**2 + 2*q. Let r be m(-2). Let f = 1 - r. Let n be (18/(-225))/(4/(-5)). Is n bigger than f?
False
Let v = -1209 - -1209.03. Suppose k = 2 + 3. Is v > k?
False
Suppose 0 = -2*z, 6*n - 2*n + 5*z = -128. Let s = 32 + n. Is s >= 2/81?
False
Let t = -3 - -2. Let g = 151.8 + -210. Let a = g - -58. Is t less than a?
True
Let d = -5292/386105 + 2/2491. Is 0 at least as big as d?
True
Let j = 958 - 958. Do -20/21 and j have different values?
True
Let z = 10 + -6. Let y be (6/z + -2)*8. Which is greater: y or -6?
y
Let x(w) = -w**3 + 0*w + w + 4*w - w**2 - 3*w. Let k be x(-2). Do 0 and k have different values?
False
Let d = 10420 + -10420. Suppose -16 = -2*i - 4*j + 3*j, 0 = i - 5*j - 8. Let x be i/(-3) - 2/(-3). Which is greater: x or d?
d
Let f(a) be the second derivative of 3/2*a**2 - 10*a - 5/6*a**3 + 0. Let r be f(5). Is r equal to -23?
False
Let x = -302.1 + 302. Which is smaller: -3.27 or x?
-3.27
Let h(m) = -m + 7. Let v be h(0). Suppose v*x - 10*x + 18 = 0. Let k = -2 + x. Which is smaller: k or 1?
1
Let w = -238 + 251. Let k