= -22. Let x be (-12)/(-3)*l/14. Suppose 4*z - 2*o + 18 = 0, z + 0*o + 12 = -2*o. Are x and z non-equal?
False
Let u = 15.55 + -15.55. Let o = -0.05 - 1.95. Let a = o + 5. Which is greater: a or u?
a
Suppose 36 - 8 = 4*w. Let r be w/(-2)*(-14)/49. Let u = -21/8 + 113/40. Is r less than u?
False
Let d = 478 + -1941/4. Which is smaller: d or -1/2?
d
Let j be (-2)/(-6) + (-209)/654. Are j and -1 equal?
False
Let j = -3599 + 3596.067. Let p = j + -0.067. Which is smaller: 5 or p?
p
Let c = -9 - -7. Let k be c/((-4)/6 + 0). Suppose -24 = -3*j + 4*h, k*j + 0*j - h = 15. Which is bigger: 5 or j?
5
Suppose 3*b - 24 = -0*b. Suppose 6*r = b*r - 28. Let a = r - -4. Which is smaller: a or 1?
1
Let q = -65/276 + -1/69. Which is smaller: q or 0.86?
q
Let j(q) = q + 1. Let y(h) = h**2 + 7*h + 6. Let v(t) = 3*j(t) - y(t). Let w be v(-3). Is 10/13 bigger than w?
True
Suppose -8*h - 22*h + 4830 = 0. Is h at most 162?
True
Let d(n) = -45*n - 83. Let r be d(3). Is r != -218?
False
Let n = 12 + 78. Let s = n - 256/3. Is s bigger than 5?
False
Let l be 8/(-10)*2/(-4). Let a be 27/105 - 4/10. Is l at most as big as a?
False
Let p(g) = -2*g - 7. Suppose -3*z = 3*z - 10*z. Let k be p(z). Let s(y) = -6*y. Let r be s(1). Is r at most as big as k?
False
Let d be -15 - (-2 - -4 - 5). Which is greater: d or -24?
d
Let q be ((-6)/(-3) + (-2)/8)*4. Let s be (6*(-8)/(-6))/1. Suppose 3*t = 2*t + s. Is q greater than t?
False
Let b(w) = w**2 - w - 1. Let g be (6/(-4))/((-1)/(-2)). Let y be b(g). Let x be (-10)/(-3)*360/100. Is y >= x?
False
Suppose 1 - 2 = -5*k - 3*n, 2*k + 3*n = 4. Let p be (0 - k)*3*-20. Let i be (-3 - p/8)/(-2). Are i and -2 non-equal?
True
Let x = -7.5 - -8.9. Is x <= 29?
True
Let z = 64/3 + -22. Let j = -10 - -18. Let y be (-4)/6*(-36)/j. Is y > z?
True
Let w = 2008/3 + -682. Let a(f) = 4*f + 3. Let z be a(-4). Which is smaller: z or w?
z
Suppose -3*j - 10 = -5*j. Suppose h - 2*h = -u + j, 3*u + 5*h = -1. Is u equal to 8?
False
Let d = 0.03 + 1.77. Let z = 31 + 26. Let c = z + -113/2. Is d bigger than c?
True
Let f = -332 - -159. Is f > -175?
True
Let b = -465 + 575. Is 107 >= b?
False
Let c be -2*3/(4 - -2). Let p = -1/291 - -325/9894. Which is greater: p or c?
p
Let t be 610/95 + -4 - 2. Let q = t - -193/38. Do 7 and q have the same value?
False
Let l be 3109551/(-33) - (-1 - -1). Let s = l - -94429. Let b = s + -200. Is -1 equal to b?
False
Let v = 882 + -878. Let o = 0 + 0.1. Which is smaller: o or v?
o
Let i = 37 - 27. Let a = -11 - i. Is -19 smaller than a?
False
Let m = -91 + 91. Suppose -i + 199 = 3*i - r, m = -5*r - 15. Is i greater than or equal to 48?
True
Let k = -98 + 49. Let a be (-14)/k + 66/14. Let q(b) = -b**3 + 5*b**2 + 2*b - 6. Let f be q(a). Which is smaller: f or 6?
f
Let o = -16/37 + 218/333. Is 3.7 smaller than o?
False
Let b = -8 - 645. Is b at least -654?
True
Let w(l) be the first derivative of l**3/3 + l**2/2 + 8*l + 11. Let z be w(0). Is 8 >= z?
True
Let m = 4.8 + -5. Is 3/7 not equal to m?
True
Suppose 0 = -4*o - 4*i + 2 + 14, 4*i = 16. Let k = 9/83 + -79/1494. Are k and o unequal?
True
Let j be (-2)/(-4)*4/(-5). Suppose 156 = -4*s - 2*v, 0 = -5*s + 3*v - 201 + 28. Let c = s + 38. Which is bigger: c or j?
c
Let j be 12 + 0 - (116 + -95). Suppose 0*t - 2*t = 18. Are j and t unequal?
False
Let w be (-6)/(-6) + 17/(-2)*2. Let b be (-8)/(-16)*(-24)/1. Let t be b/5*90/12. Which is greater: w or t?
w
Let x be (-2)/(-2) - 9/(-1). Suppose -h + x = h. Let v = 13 - h. Which is smaller: v or 9?
v
Suppose -2*a - 13 = -3*m, -14 - 7 = 5*a + 4*m. Let l = -3 - a. Suppose -s + 11 = -l*s. Do -12 and s have different values?
True
Let f = -16.7 + 16.2. Is -17 greater than f?
False
Let z = -14 + 20. Suppose 4 = -t + z. Suppose 0 = 5*s - t*s + 6. Which is greater: -1/2 or s?
-1/2
Let d(i) = -4*i - 268. Let s be d(-47). Is s bigger than -80?
False
Let c be -2 + 3 + 4 + -1. Let k = c + 2. Suppose g - k = -g. Which is greater: -0.1 or g?
g
Let i = 38 + -33. Is 20 equal to i?
False
Let d = -5/576 - -7757/760896. Is 0 not equal to d?
True
Let i = 65 - 71.1. Let l = 6.1 + i. Let t = 3.97 - 4. Is t at most l?
True
Suppose -h = -4*r + h - 202, 4*r + 201 = h. Let o = -49 - r. Is o equal to 1?
True
Let c = -160 + -468. Let b be (0 - c/10)*-1. Let d = 63 + b. Is d >= -2/5?
True
Let q = 0.008 - 2.908. Let t = q + -12.1. Let l = t - -16. Is l > -10?
True
Let d(q) = 3*q**2 - 15*q - 9. Let f be d(3). Is f less than -8?
True
Let p = 1/213 - 647/1704. Let c = 114 - 109. Suppose h - 4*t = 12, 2*h + c*t + 6 = 3*t. Which is greater: p or h?
h
Let u(p) = -p. Let j be u(1). Suppose 2*g = 15 - 31. Let d be 5/(-3)*(-6)/g. Is j at least d?
True
Suppose 5*a + 3*u + 5 = -2*u, 3*a + 5*u + 9 = 0. Suppose -6*n - a*c + 8 = -n, -2*c + 8 = 4*n. Let x = 18 - 71/4. Is n less than x?
True
Let k = -47.11 - -75.34. Let c = 1.23 - k. Let u be 20/(-21) - 2/(-7). Is u at least c?
True
Let z = 14 - 11. Suppose 6*g - g - z*v - 5 = 0, 0 = 5*g + v + 15. Which is bigger: -5/8 or g?
-5/8
Let y = -620 + 673. Which is smaller: y or 52?
52
Let x be (-1)/(25/(-181)) + (-385)/55. Which is smaller: x or 0?
0
Let j be 2/20*129 + (-8)/(-80). Suppose 9 = 3*s - 6. Suppose -q - 24 = -2*w - 3*q, 3*w + s*q - 38 = 0. Do w and j have different values?
True
Let a be ((-8)/20)/((-12)/5 - -2). Let j be 2 - (-3)/(-3) - (0 - a). Which is bigger: j or 5?
5
Let f = -18 + 26. Suppose 3*k - k = -f. Which is smaller: k or -2?
k
Let l = 0.037 + -65.037. Let p = l - -65.1. Let n = -5 - -3. Is p less than or equal to n?
False
Let d(u) = -3*u - 1. Let f = -9 + 9. Let z be d(f). Suppose 2*p - p = 0. Which is greater: p or z?
p
Let c = 1997.65 + -1994. Which is smaller: -1/4 or c?
-1/4
Let w = -549 + 835. Which is bigger: w or 285?
w
Let x = 824 - 1057. Is -231 at least x?
True
Suppose -3*y - 2*y + 3*h = 3406, -y + 4*h = 671. Let v be 2*y/(-144) - 4. Let r = v - 55/9. Does r = -1?
False
Let q be 3/(-15) + 38/(-10). Let p be (q + 2)/(-1 - 0). Suppose 5*w + 28 = p*x, 0 = 3*w - 2*w - 3*x + 16. Is -5 greater than or equal to w?
False
Suppose -4*z - 116 = -2*z. Let c be (-1018)/18 + ((-96)/(-27))/(-8). Is c greater than z?
True
Suppose -45*w + 344 - 149 = 105. Let v(f) = -f**3 - 6*f**2 - 7*f - 1. Let l be v(-5). Which is greater: l or w?
l
Let g = 200/21 + -2441/210. Is -2 at least as big as g?
True
Let g(q) = -q**3 - 5*q**2 - q - 5. Let w be g(-5). Let c = w + -1. Let m be (-1360)/(-6545) - (-8)/(-14). Which is greater: m or c?
m
Let q be 6098/(-846)*(-5 - 39/(-6)). Let i = q - -65/6. Which is smaller: -1 or i?
-1
Let o(c) = c**3 + 2*c**2 + 3*c + 3. Let i = -7 - -10. Suppose 0 = -i*j - 4*k - 26, 3*k + 26 = -3*j + 5. Let r be o(j). Which is bigger: 0 or r?
0
Let h = 20 + -12. Which is bigger: 1 or h?
h
Let g be (-1*(-4)/(-30))/(33/99). Which is bigger: g or -46?
g
Suppose -30 = -5*d - 5*r, 3 + 3 = 4*d - 2*r. Let v = 250 - 248. Suppose v*u = d*u + 1. Which is smaller: 2/21 or u?
u
Let o(p) = p**3 + 12*p**2 + p + 16. Let h be o(-12). Suppose -14*x = -10*x + 36. Let i = x - -12. Which is bigger: i or h?
h
Suppose -3*f - 3 = -12. Suppose -f*v + 42 + 6 = 0. Suppose -5*s + v = 3*h, 3*h + 2*h + 3*s = 0. Are 0 and h equal?
False
Let t be 279/39 + 4/(-26). Let s = -16 + t. Is s smaller than -12?
False
Let i(w) = w + 2. Let m(n) = -1 - 1 - n**2 + 5 + 2*n**2 - 6*n. Let s be m(5). Let k be i(s). Are k and 2 non-equal?
True
Let s(z) = z**2 + 9. Let t be s(14). Is t > 208?
False
Suppose -9*y - 2*y = 671. Let r = y - -40. Is -21 at most as big as r?
True
Let c = -9.63 + 6.63. Is 23 greater than or equal to c?
True
Let a be (4 + -1)*(2 - (-4)/6). Suppose 3*v + a = 11. Do 0 and v have the same value?
False
Let y = -515 - -1577/3. Is 12 equal to y?
False
Let r = 0.025 - 0.255. Let o = 0.13 + r. Let x be (-3 + (-54)/(-16))*-1. Is x at least as big as o?
False
Let f = 16 + 26. Let x = f - 40.3. Is 1 <= x?
True
Let o = 170 - 184. Is -12 equal to o?
False
Let s = -57.8 + 2.3. Let f = -56 - s. Which is bigger: f or -11?
f
Let w = -2088651/313 + 6673. Is w greater than 0?
False
Let r = -1.89 - -0.89. Is r greater than 10?
False
Let j be 2 - 3*(7 + (-9865)/(-15)). Is -1992 less than j?
False
Let l = 33.36 - 35. Let x = l - -1.4. Is 0.1 > x?
True
Let p be (2 - -8) + 17 + -28. Which is smaller: -22.3 or p?
-22.3
Suppose f + 2 = 4. Suppose -17*h - 36 = 