z + y - 38 = 0. Is z less than -33?
False
Let x be 4053/126 + (-2)/(-6). Let g = 4 + 30. Does g = x?
False
Suppose 5*g + 2*d = -0*d - 63, -g - 3*d - 23 = 0. Let j(s) = 16*s + 105. Let x(q) = 3*q + 21. Let b(y) = g*x(y) + 2*j(y). Let r be b(-11). Are -10 and r equal?
True
Let c = -27 + 29. Suppose -c*r + 3*r - 12 = 0. Which is bigger: 11 or r?
r
Suppose -y - 4 = -5*y. Let b = 4914/5 + -976. Let r = b - 233/35. Which is smaller: y or r?
r
Let t = 98 - 167. Let a = -69.1 - t. Which is bigger: a or -12/5?
a
Let t = -1 - -1. Let g = t - -8. Suppose -24 = 3*r - 6*r. Is g bigger than r?
False
Suppose 6*b - 6 + 24 = 0. Let y be (-87)/5 + b + (-24)/(-10). Do y and -1 have different values?
True
Let x = -37 + 39. Suppose 3*d = x*d - 2*d. Is d >= -2/43?
True
Let r(w) = -w**2 - 7*w + 13. Let x be r(-8). Suppose a + 63 = x*a - 5*f, 0 = 2*f + 6. Suppose a = 4*m - 4*j, -26 = -2*m - 3*j - 0*j. Is m <= 5?
False
Let p(i) = 2*i - 9. Let a(v) = 3*v - 13. Let o(h) = 5*a(h) - 8*p(h). Let d be o(16). Suppose -24 = 5*q - 2*q. Do d and q have the same value?
False
Let u be ((-10)/(-6))/(2/6). Let f = u - 0. Suppose -f = 8*s - 3*s. Which is smaller: -2/7 or s?
s
Let g be (3 + -4)*19*1. Is -59/3 smaller than g?
True
Suppose -4*o + 3 - 7 = 0. Let y = o + 20. Is y > 19?
False
Let p = -722.7 - -724. Which is smaller: 4 or p?
p
Suppose 2*v - 9*z - 144 = -8*z, 0 = -2*v - 4*z + 134. Is 70 < v?
True
Suppose 15*d = -932 - 868. Is -120 at least as big as d?
True
Suppose 3*q = 2*h - 0*h + 3, h + 2*q - 2 = 0. Suppose h = 4*w - 8*w - 11*w. Is -3/104 smaller than w?
True
Let a = -16 + 5. Let s = -45 + 36. Let y = a - s. Which is bigger: -0.2 or y?
-0.2
Let z = -0.1 + 8.1. Let a = -8 + z. Let r = 0.3 - a. Which is smaller: -3 or r?
-3
Let w = 2 + -1. Suppose 2*m = -2*m - 12. Let n = -1 - m. Is n greater than w?
True
Suppose -16 = s + 3*s, -l - 4*s + 165 = 0. Let t = 35393/4 - 9028. Let c = t + l. Are 2 and c equal?
False
Let n be 2/(-4) + (-1)/(-2). Let b be ((-2)/(80/(-252)))/(-60). Let t = 12/25 + b. Which is bigger: n or t?
t
Suppose 5*y - 7*y + 2*b - 72 = 0, 0 = 5*y + 2*b + 194. Is -0.3 < y?
False
Let o be 31/11 - (-3)/(-5)*5. Which is smaller: o or 0.2?
o
Let y = 6059/3 - 2147. Is y bigger than -127?
False
Let z(v) be the third derivative of -v**4/24 + 7*v**3/6 - 9*v**2. Let g be z(0). Let t = g - -11. Is t at most as big as 18?
True
Let v = -2204.81 + 2205. Is -7 at most v?
True
Suppose 2*s + 9 = 15. Suppose -3*b = t - 3, 0 = -5*t - 6*b + 2*b + 15. Suppose 4*g - 2*m - 3 = 3*m, -3 = -3*g + t*m. Is s < g?
False
Let w = 190 - 191. Is 2/777 not equal to w?
True
Let h = 143 - 143. Let t = -0.361 + 0.031. Let g = -0.09 - t. Which is smaller: g or h?
h
Let x be -21*((-16)/(-12))/(-1)*-1. Which is bigger: -22 or x?
-22
Suppose 0 = 5*v - 3*v - 10. Let d be 56/30*(-15)/6. Let o = d + v. Which is bigger: 7 or o?
7
Let t = -1823 + 1823. Is -2/677 greater than t?
False
Let l = 0.235 + -0.535. Which is smaller: l or -107?
-107
Let i be 12/8 + (83/(-22) - -2). Let g = i - -61/22. Which is bigger: -0.2 or g?
g
Let v be (-233)/(-5) - (-39 + 40). Is v != 47?
True
Let f = 44.1 + -44.18. Which is greater: f or -12?
f
Let w = -33 - -33. Is 2/15 > w?
True
Let f be 68/986 + 22135/(-116). Does f = -190?
False
Let l = -12 - 101. Let w = 300974/2655 + -41/295. Let t = w + l. Which is smaller: 0 or t?
0
Let c = -1/818 + 1671/28630. Let q be 2/(-6) + (-437)/(-315). Let n = q + c. Is n at most as big as 2?
True
Let r be ((-1356)/(-4))/(40/(-15)). Let z = r - -128. Which is greater: z or 2?
2
Let l be 2/(-6)*-9 - 1848/606. Do l and -1 have different values?
True
Let u = -6 + 5. Let d be u/4 + (-258)/24. Let v = -9 - d. Which is smaller: v or -2?
-2
Let s be (-10)/(-6510) - 10/(-105). Let f = -12 + 11. Do s and f have the same value?
False
Let x = -753 + 754. Is x at most 1/2?
False
Let i(a) = -a**2 + 28*a + 61. Let t be i(30). Is 22/17 less than or equal to t?
False
Suppose 0 = 4*g - 3 + 15. Suppose 20 = -r - 2*r - 2*z, -5*z = -10. Let j be (-7 - r)/(-1*1). Which is smaller: g or j?
g
Let x(z) = z**3 - 3*z**2 + 1. Let o be x(3). Let j(m) = m**3 + 3*m**2 - m - 1. Suppose -5*u = -10*u - 15. Let a be j(u). Which is smaller: o or a?
o
Let o = 0 - 1. Suppose 15 = 3*t + 174. Let h = 51 + t. Is h at most as big as o?
True
Let p be (276/8)/(4/8). Suppose -4*w - 105 = -p. Let d = -20 + 12. Which is greater: d or w?
d
Suppose -15 = -5*o + 10. Suppose -40 = -o*x - 2*d, x + 0*d - 15 = d. Let m = x - 12. Is -4 > m?
False
Suppose 0 = 4*g - 0*g + 4*h + 64, 0 = -2*g + 2*h - 12. Let x be (2/(-2 + -2))/(g/22). Which is greater: -2/57 or x?
x
Let o = 2.9 - 18.9. Let r = o - -15.7. Which is smaller: 17 or r?
r
Suppose -8129 + 2229 = -50*n. Which is greater: n or 116?
n
Let c(k) = 4*k**2 - 8*k + 1. Let i(r) = 15*r**2 - 31*r + 4. Let f(t) = -22*c(t) + 6*i(t). Let b be f(5). Which is smaller: 18/13 or b?
18/13
Let a be 776/387 + 2*6/(-6). Which is smaller: -1 or a?
-1
Suppose 0 = 3*o - 50 + 17. Let q be (17/(68/3))/(2/(-24)). Let i = q + o. Is 2 greater than or equal to i?
True
Let h be 3*(1 - 30/(-6))/(-2). Is h greater than or equal to -15?
True
Let f = 716 - 714. Which is greater: f or 66/23?
66/23
Let a be ((-4)/(-10))/(18602/(-355)). Is -3 bigger than a?
False
Suppose 0 = 5*m - 28 + 3. Suppose 0 = m*r - 27 - 13. Let u be ((-4)/r)/(2 - 3). Is u > -1/3?
True
Let d = 4 - 4. Suppose -4*s - s = d. Suppose s*k - 2*k = -20. Which is smaller: 11 or k?
k
Suppose -3*d - 2*d = -3*d. Suppose 2*g + 4*l + 20 = 0, 0*g + g + 4*l = -4. Let c = -81/5 - g. Is c at least d?
False
Let q = 0.66 + 0.14. Let k = q + 4.2. Let z = -5.5 + k. Which is smaller: -1 or z?
-1
Let v be (5 - (-42)/2) + -4. Suppose 4*x + 41 + 66 = 5*r, -2*r + 5*x = -36. Do r and v have different values?
True
Let q(j) = -j**3 - 10*j**2 + 9*j - 21. Let y be q(-11). Let s be 27/y*3/9. Let m = 15 - s. Is 7 equal to m?
False
Suppose 2*x = -4*b - 20, 0 = -2*x - 2*x - 5*b - 34. Is 8 at least x?
True
Let p be (-2)/3 - (-416)/12. Suppose -p = -5*x + 6. Let l = x + -8. Is l < -2/15?
False
Let n = 2671/5412 + -21/44. Let x = 1673 + -1674. Which is greater: x or n?
n
Let z be 0/((-1)/((-28)/(-8) - 4)). Which is smaller: z or 4/195?
z
Let a = 8.3 + -2.3. Let j = -33 + a. Let d = j - -34. Are -2 and d unequal?
True
Let o = 4590/407 + -124/11. Which is smaller: o or -1/4?
-1/4
Let j(q) = -q**3 + 56*q**2 - 7*q + 57. Let f be j(56). Which is smaller: -337 or f?
-337
Let k = -1 + 3. Let y(l) = 1 + 0*l**3 + l**2 + 0*l**3 + l**k - l**3. Let q be y(2). Which is smaller: q or 2?
q
Let c be ((-714)/96)/(11/(-44)). Which is smaller: 29 or c?
29
Let m(d) = 22*d + 10. Let k be m(0). Is 96/11 smaller than k?
True
Let v = 61 + -62. Is v <= -6/35?
True
Let n = -17 + 55. Suppose 3*m - n + 8 = 0. Let y be m/(-26)*48/40. Which is greater: -1 or y?
y
Let x = -32 - 129. Let o = -807/5 - x. Let b = -7.8 + 9. Which is greater: o or b?
b
Suppose -3 = 3*f, -f + 2 = -3*b - 0. Which is smaller: b or -1/18?
b
Suppose 57 + 148 = -3*h + q, -3*q = -2*h - 125. Do 8 and h have different values?
True
Let g(w) = -w**2 - 17*w - 104. Let o be g(-11). Is -33 < o?
False
Let h = 4 - 2. Let y be (43 - -1)/4 - 0. Let z be (1/(-5))/(y/(-55)). Do z and h have different values?
True
Let h = 469/15500 - -1/500. Are -1 and h nonequal?
True
Let r = -3941 + 63083/16. Which is greater: r or 3?
3
Let n = -2516 + 649127/258. Which is bigger: n or -1?
n
Suppose 0 = w - 15*c + 13*c - 4, -w + 4*c = -6. Let t(d) = -d**3 + 5*d**2 - 2*d - 3. Let i be t(4). Suppose 3 = -w*b + i. Which is greater: b or -1/14?
b
Let i = -106 + 109. Let b = 105/2 + -51. Which is smaller: b or i?
b
Let r = -1925/17134 - 2/659. Is r < 0.06?
True
Let f(h) = h**3 - 5*h**2 + 2*h - 8. Let l be f(5). Suppose -l = 7*p + 19. Is p not equal to -3?
False
Let i = -341 + 335. Is -4/23 at least i?
True
Let h = 3.3868 - 0.3868. Let w = -81/22 + 2/11. Is h not equal to w?
True
Let g = -68 - 59. Is g at least -5?
False
Suppose 2*l + 265 + 315 = 5*x, 0 = l. Is x bigger than 116?
False
Let x = -0.011 + 0.015. Let m = x - -5.996. Is -2 less than m?
True
Suppose 45 = 3*b - 4*q, q + 24 = 3*b - 21. Suppose 0 = 5*z + 5*j - 4*j + 35, 0 = 3*j - b. Does z = 1/2?
False
Let c = -6.9 - -6.16. Let k = c - 0.06. Let d = -23/87 + -2/29. Is d > k?
True
Let x = 0.325 + -0.325. Which is smaller: 