e
Let o = 8.752 - -0.148. Let u = -9 + o. Is -3 != u?
True
Suppose 5*u - 532 = -157. Which is bigger: u or 76?
76
Let a = -3 - -2. Let v = -4741/17 - -279. Which is greater: a or v?
v
Let c = 0.8 - 0.6. Let v = -507 + 10131/20. Let d = -1/5 - v. Is d less than c?
False
Let j be (8/(-2))/((-4)/6). Let y(d) = d**3 - 8*d**2 + 6*d + 6. Let z be y(7). Let n = j + z. Are n and 5 nonequal?
False
Suppose -12 = -y - y. Let l be (2/y)/(5/285). Suppose -19 = h + 4*q, -2*h - 3*q = -6*h + l. Which is greater: 6/5 or h?
6/5
Let c be 0 + (-32)/9 + 1. Let z = 40/9 + c. Let a = -20/9 + z. Which is bigger: a or -2?
a
Let o be (-286)/10 - ((-6)/10)/1. Which is smaller: 0 or o?
o
Let u = 32 + -3. Is 29 smaller than u?
False
Let z be ((-3)/(-5))/(44/(-10)). Which is smaller: 0 or z?
z
Let l be 3/1 - (1 - 1). Suppose 15 = -3*v - l*m, 3*m = -5*v + 2*m - 9. Is v not equal to -3/10?
True
Let d be 1*(2/6*-3 - 0). Which is smaller: 2/17 or d?
d
Suppose 8 = 2*w - 2. Suppose 2*m + y = 5*y - 4, m - w*y = -11. Which is smaller: m or 2?
2
Let k = -15 + 8. Let o = k - -4. Is -3 != o?
False
Let r = -16 - 1. Let o = r + 17.9. Which is greater: o or 2?
2
Let w = 0 - -3. Which is greater: w or 5?
5
Suppose -3*c + 2 = 3*q - 2*c, 0 = 2*q + 2*c - 8. Let k(t) = t**3 - 35*t**2 + 33*t + 33. Let h be k(34). Is h greater than q?
False
Suppose -2*b + 3*b = -1, 3*j - 62 = -4*b. Is 22 less than or equal to j?
True
Let h be -38*(105/(-112) - (-1 + 0)). Is -2 at least h?
True
Let z = 7/12 + -5/4. Suppose -2*k - 2*x - 10 = 0, k - 4*x + 9*x + 17 = 0. Are k and z equal?
False
Suppose 434 - 154 = 5*u. Let r = 225/4 - u. Is 0.2 greater than or equal to r?
False
Let v = -0.05 - 5.95. Let r = 11 + v. Which is smaller: r or 0?
0
Suppose 25 = 5*v - 5*o, 4*o + 6 + 5 = -5*v. Which is smaller: v or 2/161?
2/161
Let h = -3 + 2.9. Let c be 16/(-12) + (-2)/3. Let f be 0 - (1 - (-6)/c). Is h at least as big as f?
False
Suppose 3*m + m - 16 = -4*x, -5*m + 21 = 4*x. Is -8/5 less than x?
True
Let c(h) = -h**3 + 9*h**2 - h + 1. Let z be c(5). Let v be ((-2817)/z)/(3/(-12)). Let r = v + -117. Are -1 and r non-equal?
True
Let q = -97 + 67. Is q at most as big as -30?
True
Let o = 0.05 + -0.65. Let q = o + -0.4. Do 0 and q have the same value?
False
Let k(f) = -130*f**3 + 2*f - 1. Let d be k(1). Let r = d + 1421/11. Which is smaller: r or -2/7?
-2/7
Suppose 5*q = -v + 25, v = 5*v - 3*q + 15. Let s = -522/665 - 2/133. Which is smaller: v or s?
s
Let n = -119.1 - -128. Let z = n - 9. Do 0 and z have the same value?
False
Let z be 1 + 2/(-4)*-2. Suppose -2 = -z*v - 0. Suppose -v = -2*r + 1. Which is bigger: -1/4 or r?
r
Let c be (-6)/15 - -202*(-1)/(-5). Which is greater: 79/2 or c?
c
Let l = -22 + 22. Which is smaller: l or -17?
-17
Let a(m) = -m**2 + 21*m - 12. Let h be a(20). Is -0.1 <= h?
True
Let h = -26 + 26. Which is greater: 2/13 or h?
2/13
Let k = 1614/17 - 95. Which is smaller: k or 1?
k
Let m(r) = r - 24. Let v be m(6). Which is smaller: -17 or v?
v
Let r(v) = -v**2 + 5*v + 4. Let m be r(6). Let q be -20*((-4)/(-5))/m. Let o = q - 5. Which is smaller: o or 4?
o
Let f = -24 - -73/3. Let w = 9.846 - -0.154. Is w greater than f?
True
Let u = -12/25 - -7/25. Is u at least as big as -1/5?
True
Let p be (-10)/(-75) - (-227)/(-15). Which is bigger: p or -14?
-14
Let w be (-10)/(2 + 182/(-57)). Let t = w + -17/2. Let l = 25/68 + t. Are -1 and l unequal?
True
Let r(o) = o**3 - 4*o**2 + o - 3. Let p be r(4). Let a = 23.1 + -23. Which is bigger: p or a?
p
Let v(m) = -m + 5. Let u be v(3). Let h = -2 - -1. Let o be -2 + h + (4 - u). Is o at most as big as 0?
True
Let u(t) = t**3 - 10*t**2 - 12*t + 13. Let s be u(11). Suppose -l = -s*l. Are l and 0 non-equal?
False
Let z = 6025/19 + -317. Is z greater than 0?
True
Let r be (57/133)/(0 - 6/4). Do r and -1/2 have different values?
True
Let n be 41/(-30) - 2/(-3). Let y = -6/5 - n. Is y less than -2/13?
True
Let b = -1.2 + 1. Let j = b + 0.7. Let g = -0.5 + j. Which is smaller: -4 or g?
-4
Let q be 15/12*1/(-5). Let t(z) = z**2 - 5*z - 3. Let i be t(6). Let x be i/(-14)*8/(-6). Which is smaller: x or q?
q
Let w(u) = u + 1. Let k be w(-1). Suppose -t = -2*t + 3. Let s be t + -4 - (2 - 3). Is k at most s?
True
Let w = 3/8 - 7/24. Which is smaller: w or -1?
-1
Let s(j) = -2*j**3 - 2*j**2 - j + 1. Let g be s(-1). Which is smaller: g or 1/4?
1/4
Let p = 24 + 0. Are 0 and p unequal?
True
Let p(z) = 4*z**2 + 3*z. Let o be p(-2). Let d = -9 + o. Are d and 0.1 unequal?
True
Suppose 0 = -j - 2 + 4. Suppose -5*b - 25 = 0, j*b - 3*b + 1 = -3*z. Let s be -1*(-1 + 1)/3. Which is greater: s or z?
s
Let p = -127.53 + 127. Let v = p + -0.07. Let m = v - -0.5. Which is smaller: m or -2/5?
-2/5
Let y be -2 - (1 + (-5)/((-15)/(-9))). Let a be (-2)/(-8) - (-26)/(-40). Is a > y?
False
Let o = 249/22 + -127/11. Is -1 smaller than o?
True
Suppose 0*w - 6 = -2*w. Suppose w*o + o = 0. Suppose o = 2*h - 4*z - 2, -3*z - 2*z - 3 = -3*h. Are 4 and h unequal?
True
Let y = 8 + 25. Which is greater: 34 or y?
34
Suppose 0*t = 3*t - 45. Suppose -t = s - 6*s. Let r be s/2*2/3. Is 1/4 >= r?
False
Let o(m) = 4*m - m**3 - 6 - 4*m + 0*m - 6*m + 8*m**2. Let l be o(7). Let c = -4 + l. Is -2 at least c?
True
Let p be -5*(-4 + 66/15). Is p bigger than -3?
True
Let q be 1*(-2 - 6/(-1)). Let g = 0 + q. Suppose -g + 3 = k. Which is smaller: k or -2?
-2
Suppose 0 = m + 3*u - 11, 0*u + 2*u - 3 = -5*m. Is m bigger than -2?
True
Let h = 27 - 26.89. Let f = h - 0.01. Which is greater: -4 or f?
f
Let j = 22/19 + 431/38. Let h = j + -12. Let s = -0.2 + 0.2. Is s > h?
False
Suppose -2*a - 3*a - 10 = 0. Let n = 0 + a. Which is smaller: n or 0?
n
Let i = -1.1 + 1. Let n = 1.4 + -1.6. Which is bigger: n or i?
i
Suppose 0 + 6 = 2*b - 3*t, 0 = -5*t - 10. Suppose 4*m + 8 = 0, -4*m + b*m - 10 = -p. Suppose 0*s = -s + p. Is 2 smaller than s?
False
Let p = 3 + -3.8. Let m = p + 0.8. Is m less than or equal to -2/21?
False
Let s = -13 - -8. Suppose -2*h - 2*h - 3*b = 22, 0 = b + 2. Is s smaller than h?
True
Let r(b) = 175*b. Let y be r(1). Let c = -16316 - -112989/7. Let q = y + c. Is q at least -2/3?
True
Let a be (-4)/10*40*-3. Let y be a/(-15) - (-2)/10. Let b(z) = z**3 + 2*z**2 - 2*z + 3. Let w be b(y). Is 1/2 < w?
False
Suppose 40 = -x - 3*x. Is x >= -7?
False
Let c = 8 - 8.7. Let w = -0.126 + 0.026. Which is greater: w or c?
w
Let n be -2 - (3 - -1 - 3). Is -3 greater than or equal to n?
True
Let j(u) = u - 1. Let v be j(2). Let a be 69/(-9) + 6/9. Which is smaller: a or v?
a
Let u be ((-14)/4)/7*12. Is -6 less than u?
False
Let k = -1420/2563 + 2/233. Which is smaller: k or 0?
k
Let f be (-3)/7 - (-4)/14. Which is bigger: f or 1?
1
Let x = -5 - -7. Let p = -3 + x. Is p >= -1/5?
False
Let k = 1/6 + -1/3. Is 2/15 at least as big as k?
True
Let g be 9/(-6) - (-18)/4. Suppose g*f = f. Are f and -3/7 equal?
False
Let q = -2 + 2.02. Let z = 0.02 - q. Which is greater: 2/13 or z?
2/13
Suppose -2 = -2*q - 0*q. Let b(s) = -5*s**2 - 6*s - 1. Let l(f) = -f**2. Let d(k) = q*b(k) - 6*l(k). Let y be d(6). Is y greater than 2/7?
False
Let z = -72 - -12. Let q be (z/(-70))/(6/(-4)). Is q at most -2?
False
Let h(v) = -v**2 - 25*v - 45. Let g be h(-23). Which is bigger: g or -0.024?
g
Suppose -5*m + 12 = 4*q, -m = -3*m + 4*q - 12. Suppose c = -1, -3*c + m = 3*g - 3. Is g bigger than 2?
False
Let o = 33 - 44. Is o less than or equal to -2?
True
Let i = -17/5 - -11/15. Let s = i + 3. Is -3 at most as big as s?
True
Let v be -8 + (-19)/(152/80). Suppose 2*p = 7*p + 90. Is p != v?
False
Let f = -0.7 + -0.3. Let t be 10/35 - 8/14. Is f not equal to t?
True
Let g = 14 - 14. Which is smaller: -7 or g?
-7
Let q = 7 - 6.9. Is 3 bigger than q?
True
Let f be (1 + -3)/(-2) - -89. Let z be ((-4)/f)/(1/10). Which is greater: 1 or z?
1
Let k = 6.3 + -7.3. Which is greater: k or -0.35?
-0.35
Let m(c) = c**2 + 5*c - 3. Let z be m(-6). Let n be z/(-15) - 18/10. Let d be -1 - 0 - n/2. Which is smaller: -1/2 or d?
-1/2
Let x be (1/(-69))/((-18)/(-36)). Is -1 bigger than x?
False
Suppose -z + 1 = 3. Let k(n) = n**2 - n + 3. Let b be k(0). Let h be -4 - 0 - (-3)/b. Which is greater: h or z?
z
Let x = 15 + -7. Let b = x - 11. Let m be (2 + b)*1/1. Which is smaller: -2 or m?
-2
Suppose 0 = -5*z - 4 - 1. Let t be 0*(3 - (-2)/z). Suppose -4*i - 5 = -9*i. Do i and t ha