. Is -1 equal to j?
False
Let d = 144 + -131. Is d < 14?
True
Let k be ((0 - 4) + 118)/2. Suppose -h - 8 = -5*u - k, 2*u - 2 = -5*h. Are -8 and u non-equal?
True
Suppose g + 0*m - 14 = -2*m, g - 11 = -5*m. Let i = 6 - 6. Suppose k - y = y + 7, i = -4*y - g. Is k != -2?
True
Let c = 0.12 - 0.22. Suppose -4*t = t + 15. Is c at most t?
False
Let p(b) = b + 2 + 7 + 0*b. Let k be p(-6). Let a be (-1)/1*(k - 2). Which is bigger: -3/5 or a?
-3/5
Let y be (-3)/(2/(-4) + 2). Let v = 8/5 + y. Which is bigger: v or 0?
0
Let d = -59 - -175/3. Is d smaller than -1?
False
Let n be 2/(-3) + (-1664)/(-2640). Is -1 smaller than n?
True
Let c = 0.8 + -1. Let v = 0.8 - 0. Let y = c - v. Do y and -0.1 have the same value?
False
Let b be 1 + -3 - 10/1. Which is greater: -2 or b?
-2
Let i = 41 - 41.1. Let d = -5 + 3. Let p be (d + 1)*0 + 0. Is i < p?
True
Let g = 11 - 8. Suppose -2*l = -5*n - g, -5*n + 2 = -l + 1. Which is bigger: n or 3?
3
Let o be (-115)/(-69) + 2/(-3). Is o greater than 5?
False
Let w(p) = -2*p**3 + 2*p**2 - 2*p + 2. Let l be w(3). Let o = -159/4 - l. Which is greater: o or 0?
o
Let d = 8 + -8.4. Let k = -0.37 - d. Let v = k - -0.07. Is 0 not equal to v?
True
Let d be (2/18)/((-10)/5451). Let o = d + 303/5. Are 0 and o nonequal?
True
Let x = 7.21 - 0.21. Let y = -0.08 - -5.08. Let q = y - x. Which is smaller: -1 or q?
q
Let q be (3/(-9)*0)/1. Which is smaller: 1/18 or q?
q
Let s = -7 - -7. Let f(q) = -2 + 6 - 2 + s*q + q. Let y be f(-2). Is 0 greater than or equal to y?
True
Let y = 4089/2332 + -2/583. Is 3 at least y?
True
Let h = 0.2 - 4.2. Which is bigger: -2/7 or h?
-2/7
Let a = -3 - -3.04. Is a at most 0.1?
True
Suppose -3*r + 25 = 3*o + o, -o + 1 = 0. Is r < 8?
True
Let v = 32 + -39. Is v >= -6?
False
Suppose 4*o = 9 + 23. Let d(p) = p**3 + 3*p**2 - 5*p + 2. Let y be d(-4). Let h be y/(-2) + (3 - -7). Which is smaller: o or h?
h
Let l be 20/(-15)*150/4. Let n = -195/4 - l. Is 0 at least n?
False
Suppose -3*d - 13 = 5*a, -5*d + 22 = -4*a + 56. Let b(f) = f**2 + 3*f - 8. Let k be b(-6). Let s = -16 + k. Are s and d non-equal?
False
Let o = 2.9 - 1.8. Let i = o - 5.1. Let d = -5 - i. Which is smaller: d or 1/3?
d
Let x = -3 + 1. Let q be (-1)/x*2/(-11). Which is smaller: 1 or q?
q
Let q = 55.2 - 52. Is 2 not equal to q?
True
Let m(c) = c**2 - 18*c + 14. Let b be m(17). Let v be -4 + (0 - (1 + -1)). Which is smaller: v or b?
v
Suppose 0*u + u - 3 = 0. Let s be (-2 + u)*(-6)/14. Let p(c) = c - 7. Let b be p(7). Which is bigger: s or b?
b
Let b(f) = 2*f + 5. Let s be b(-4). Let m be 6/9*-6 - s. Which is bigger: -1/6 or m?
-1/6
Let y = 21 - 21. Suppose 7*w + 48 = 3*w. Let m = w - -130/11. Which is smaller: m or y?
m
Suppose 5*f - 15 = -5. Suppose 6*z - f*z = 0. Is z less than 0?
False
Let k = -0.05 - 1.95. Let z = -0.796 - 0.204. Which is smaller: k or z?
k
Let g = 2624479/698 - 3760. Let i = g - 1371/17450. Do 0 and i have the same value?
False
Suppose 0*i + 2*i = -5*n - 12, 3*i + 5*n + 13 = 0. Let u = -5 + 3. Which is greater: u or i?
i
Let m = -39 - -40. Is m at most 17/4?
True
Let f = 6 - 5. Is f greater than or equal to 7/4?
False
Let j = 1 + 4. Suppose -2*l + 3*m = -2*m - 25, -5*l - m = j. Which is smaller: -4/5 or l?
-4/5
Suppose 2*g = 4*g + 4. Suppose -4*b - 50 = -3*y, -2*y = -y + 2*b. Let o be 6/y - g/5. Is -1/3 at least as big as o?
False
Let p(o) = o + 7. Let i be p(-8). Suppose 5*j - j + 56 = -5*v, -4*j = -4*v - 52. Let s be v/5 - 4/(-10). Is i greater than or equal to s?
True
Let p = -64/95 + 2/285. Do -2 and p have different values?
True
Let h be -2 - 3/((-9)/(-6)). Let q be 1/(-9) - h/(-18). Is q at least -0.2?
False
Let l(s) = s**2 - 3*s - 6. Let h be l(4). Which is bigger: -12/7 or h?
-12/7
Let r be 8/(-3)*6/(-4). Suppose r*d - 1 + 5 = 0. Is d less than 1?
True
Suppose -32 + 86 = 3*c. Does c = 18?
True
Let x = -919/3474 + -24/193. Which is greater: x or -1?
x
Let y be (-8)/(-18)*((-9)/4 - -3). Let x = 5 + -2. Let d be (-4)/16*x/1. Is d equal to y?
False
Let z be ((-68)/(-24) + -3)*38. Is -7 < z?
True
Let v = 4 - 18. Let y be (-1)/45 - v/105. Is 0 bigger than y?
False
Let o be -3 + 35*15/522*3. Which is smaller: o or 1?
o
Let h = -8/33 + 4/561. Which is smaller: h or 0?
h
Suppose -3*y + 12 = -24. Is 13 bigger than y?
True
Suppose -3*i = -2*j - 12, 3*i = -0*i + 6. Which is smaller: j or -2?
j
Let o be (-3 - 0)*68/51. Let a = o - 5. Do -9 and a have different values?
False
Let c(g) = -g - 12. Let n be c(-10). Suppose -5*k - 10 - 10 = 0. Let d(a) = 2*a + 6. Let s be d(k). Is n != s?
False
Let n(s) = s - 6*s**2 + 7 - 8*s + s**3 + 0*s + s**2. Let y be n(6). Let g = 195/4 + -49. Are g and y non-equal?
True
Suppose 0 = -7*q + 4*q + 27. Suppose q = -2*l - l. Let y be ((-3)/(-5))/(l/4). Is y smaller than -2?
False
Let m = 21 - 54. Which is smaller: -32 or m?
m
Let y = -17 - -88/5. Let d = 4.98 - -0.02. Let i = d - 5. Is y less than i?
False
Let a be (16/(-12))/(6/9). Let w = -11 + 17. Suppose 0 = w*o - o + 15. Is o > a?
False
Suppose -4*v - 7 - 5 = 0. Let x(r) = -r - 2. Let a be x(v). Is a not equal to 1?
False
Suppose 3*g = 1 - 1. Is 2/3 greater than or equal to g?
True
Let o(x) = x**3 - 3*x**2 - 2*x - 5. Let h be o(4). Let n be (1/3)/(21/(-315)). Which is bigger: n or h?
h
Let n be ((-1)/(-2))/(2/4). Let w = -27 - -26. Are n and w nonequal?
True
Let q = 59 - 58. Is -55 equal to q?
False
Let w = 0.7 + -1. Let u be (10/10)/((-1)/(-1)). Is u greater than or equal to w?
True
Let x be (-4)/(-6)*6/4. Let t = 12/49 - 302/833. Which is greater: x or t?
x
Let d = 12 - 12. Let c = 5 - d. Which is smaller: c or 2/9?
2/9
Suppose -5*q - 20 = -10*q. Suppose 32 + 12 = -5*m - 4*v, -4 = m - q*v. Let t = -8 - m. Which is smaller: t or -2/35?
-2/35
Suppose 4*y - 5 = -y. Is y less than or equal to 1?
True
Let z = 3.63 + 0.37. Which is smaller: -1/3 or z?
-1/3
Let y(k) = k**3 + 4*k**2. Let v be y(-4). Let n = 4.4 - -0.8. Let c = -1.8 - n. Which is smaller: c or v?
c
Suppose 3*i + q = -0*q + 19, 0 = 2*i + 2*q - 18. Which is greater: i or 4?
i
Suppose 3*l + 18 = -0*l. Let g be -1*(-1 - (0 - l)). Is g equal to 7?
True
Let g be 0 + -1 - 428/(-36). Let l = g - 11. Which is smaller: -1 or l?
-1
Let h be ((-6)/4)/(147/4). Which is smaller: h or 1?
h
Let s = -12 - -13. Which is bigger: s or 0?
s
Let a(r) = -r**3 - r**2 + 2*r + 1. Let s be a(-2). Let v be s/1 + 1 + -5. Is v <= -3?
True
Suppose -3*x + 2 = p + 16, 22 = 2*p - 4*x. Does p = -4/25?
False
Let j be (-20)/(-15)*(-33)/10. Which is bigger: j or -1?
-1
Suppose -s = z + 3, 0 = -3*z + 2*s - 3*s - 15. Let h be (-1)/(4/(-12)) + z. Is -4 >= h?
False
Suppose -32 = -3*s + 2*k, 2*k = 5*s - k - 52. Suppose s = -5*t + 28. Let o be (1/(-2))/(t/(-8)). Is o >= -1/9?
True
Let o = -20.6 - -14.5. Let n = 6 + o. Which is bigger: 0.03 or n?
0.03
Suppose 0 = -2*a - 4*c - 22, a - 6*c + c - 24 = 0. Let i be (-8)/(-45) + (-4)/10. Is i greater than or equal to a?
True
Let v = -1 - 3. Suppose -g - 6 = -4*g. Suppose -3*j - 21 = -g*w, j + 13 = -j + w. Which is greater: j or v?
v
Let t = -14 + 20. Let b = -6.1 + t. Is b greater than or equal to -2?
True
Let y(i) = -i**3 - 6*i**2 + 2*i + 7. Let z be y(-6). Let f be ((-1)/(-3))/((-2)/(-6)). Suppose -h - f = 1. Is h greater than z?
True
Let b be 2/4 + 7/(-2). Let a be ((-4)/b)/(6/9). Is -1 equal to a?
False
Let u = 19 + -7. Let t = 13 - u. Which is smaller: t or -6/17?
-6/17
Suppose 0 = 3*r - r - 10. Let o be -5*-1*1*1. Suppose -r - 5 = o*w, 4*x - w = -6. Are -1 and x non-equal?
True
Let l = -22 - -15. Let m = 8 + l. Let n = -4 - -6. Is n equal to m?
False
Suppose -3*i + 2*s - 1 = 1, -5*s = 2*i + 14. Which is greater: i or -3?
i
Suppose -2*y - 3*y = 0. Let x be (-6)/4*(-13)/9. Let s = 79/42 - x. Is y less than s?
False
Let h = 162 - 168.08. Let p = h - -0.08. Let f = -5.9 - p. Is -1/2 greater than or equal to f?
False
Let g be (-9 - -1)/(8/(-4)). Is 4 <= g?
True
Let w = -53/4 + 261/20. Is 4/7 bigger than w?
True
Let p = -7.86 + 8. Let l = p + 0.06. Is -0.2 less than or equal to l?
True
Let y = -10 + 15. Let i = 5.2 - y. Let m = i - 0.2. Does -3 = m?
False
Suppose 2*v - 2 = 4. Suppose 3*u - v = 4*u + 4*d, 4*d = 3*u + 57. Do -15 and u have the same value?
True
Let u = 8 - 7.9. Let w be 4 - 1 - 42/15. Is u != w?
True
Suppose 17*f = 12*f. Let x be f - (-8 + 4 + 0). Suppose 3*b = -1 + 10. A