10 + o/(-35). Is 2/7 greater than i?
False
Suppose -4*r - 2*j = -j, 7 = r + 2*j. Are -6/11 and r equal?
False
Let m = 5.1 - 2.8. Let a = m + -1.6. Let p = 0.82 - a. Are -1 and p unequal?
True
Let l = -142 - -145. Let o = 9 + -9.08. Let n = -0.18 - o. Which is smaller: l or n?
n
Suppose -4*u - 2056 = 5*d, 3*d = 3*u + 2*d + 1523. Is -509 bigger than u?
False
Let u be (-72)/6*8/(-6). Let s(a) = -3*a**2 + a. Let c be s(-1). Let i be (2/c)/(4/u). Does i = -4?
False
Let u = 1780 + -1779. Is 85 bigger than u?
True
Let u = -2160.6 + 2141. Which is smaller: 0.1 or u?
u
Suppose 0 = 5*g - 5*l + 370, 59 = -3*g + 2*g + 4*l. Is g less than or equal to -79?
True
Let t = 3/3320 - 73199/175960. Do 0 and t have different values?
True
Suppose 3*j - 3 = -2*u, 5*j = 2*u - u + 18. Let y = -3 - u. Is -2/83 greater than or equal to y?
False
Let l(p) = p**2 - 4*p - 11. Let b be l(-2). Let m be (-1 - (0 - 2))/((-4)/b). Which is bigger: m or -3?
m
Let v = -67 - -35. Let k = v - -30. Are 29 and k equal?
False
Let b be (176/72)/11*786. Are b and 174 equal?
False
Suppose -3*q = 2*l - 13, -l - 2*l + 10 = -5*q. Let u be (-102)/333 + (-1)/(-3). Which is bigger: u or q?
q
Let s = 15 - 40. Let r be 10/s - (-144)/10. Let p be (r/48)/((-2)/(-8)). Which is smaller: p or 1?
1
Let t be (2 + -2)/2*1. Let c = 2002 - 2019. Which is greater: t or c?
t
Suppose 5*a - 3*o = 193, -5*a + 0*o + 194 = -4*o. Let r = -4 + a. Let q = 67/2 - r. Which is smaller: q or -9?
-9
Let v = 26318 + -183110/7. Is 159 at most as big as v?
True
Let v = -173 + 45. Is -1/4 greater than v?
True
Suppose -2*l - 9 = -d, -6*l - 2*d = -l. Are 9 and l nonequal?
True
Let h be (0/(-1)*23/(-138))/(-1). Which is greater: h or 1/984?
1/984
Let y(t) = -t**2 + 4*t - 2. Let g be y(4). Let w = -0.073 + 0.016. Let x = w + -0.143. Which is bigger: g or x?
x
Let f = -718 - -932. Is f <= 213?
False
Suppose 0 = 2*k + 3*s - 3, -5*s - 2 = -5*k + 18. Let l be (-5)/3 + 1/(-3). Let w be (5 + 2 - k) + l. Is w != -1?
True
Let m be (56/42)/((-8)/(-18)). Suppose -m*v = i + 4, -4*v - 2*i = i + 2. Which is smaller: -5 or v?
-5
Let u = -2658 + 2636. Let h = -5 + 4.9. Is u at most h?
True
Let y(j) = -j + 13. Suppose 6*o - 2*o - 52 = 0. Let g be y(o). Let d be (32/32)/(22/6). Which is bigger: d or g?
d
Let q be (-15 - -20) + -4 + 3. Which is greater: q or 5?
5
Let k = 55 + 131. Is k >= 185?
True
Suppose 0 = 166*r - 162*r + 584. Which is smaller: -147 or r?
-147
Let y = 161 - 242. Is y greater than -84?
True
Let z(f) = f**2 + 7*f + 2. Let c(y) = -y**2 - y - 1. Let s be (-90)/(-40) - (-2)/(-8). Let x be c(s). Let d be z(x). Is 2 not equal to d?
False
Let k be 15 - 15 - (2 - (-6)/(-1)). Which is smaller: -1 or k?
-1
Suppose -41*p - 1 = -40*p, r = 2*p + 3. Which is smaller: -1/200 or r?
-1/200
Let w = 251 - 253. Which is bigger: -13/14 or w?
-13/14
Let t be ((-730)/(-12))/(4742/1198). Let m = -24/11855 + t. Let j = m + -71/5. Is 1 at most as big as j?
True
Let r = -117 + 1167/10. Let z = 55 + -54. Which is smaller: z or r?
r
Let y = 4 - 5. Let k = -8.1 + 8. Let z = -0.1 - k. Is y greater than z?
False
Suppose 4*s - 131 = -5*p, 5 = 2*p - 5*s - 21. Is p greater than 177/8?
True
Let p = -11 + 87. Is 77 smaller than p?
False
Let q = -112 - -160. Suppose 2*k + 2*k + q = 4*z, 0 = k + 3*z - 8. Which is bigger: -0.1 or k?
-0.1
Let o(s) = s**3 + s**2 + s - 81. Let b be o(0). Let n be 2/(-9) + 63/b. Is 3/31 bigger than n?
True
Let m(o) = 3*o + 3. Let i be m(3). Suppose i + 0 = -2*h. Suppose 0 = -n + 1 - 6. Which is smaller: n or h?
h
Let b be (-12)/(-8) + 142/8*6. Is b <= 106?
False
Let w = 4 - 7. Suppose 4*f = 3*k + 26 + 9, 3*f - 26 = 2*k. Suppose 8 = -f*a + 6*a. Which is smaller: w or a?
a
Let i = 4 + -3. Let r = -308 - -301.94. Let o = r + 6. Is i less than o?
False
Let x = -19.8 + 20. Let m = 0.36 - 1.26. Is x bigger than m?
True
Let y = -12/7 - -2. Let q = -22 + 20. Let f be 1 + (q - (-10)/5). Is f > y?
True
Let x(z) = -z**2 + 9*z - 21. Let w be x(6). Let u be 32/12*w*(-1)/18. Is u at least as big as -1?
True
Let i be ((-6)/40)/(189/(-42)). Let u = i - 53/15. Is -5 at most u?
True
Suppose 60 = -a + 2*n - 100, -3*a = 5*n + 469. Which is smaller: 5 or a?
a
Let f be (-171)/(-9558) - 3*2/54. Which is smaller: 1 or f?
f
Let z(w) = -w + 5. Let d be z(-7). Let s = d - 10. Suppose 0 = 3*x + 6, 0 = 2*r - 3*x + s - 16. Which is smaller: r or 3?
3
Let z = 19.32 + -19.2. Which is greater: z or 4?
4
Let b = 11/57 + -112/285. Let t(u) = u**3 + u**2 - 1. Let d be t(0). Are d and b equal?
False
Let j = 32 - 30. Suppose 5*k = -4*p + j*k + 25, p + 3*k + 5 = 0. Let i be 84/90 - 6/p. Is -0.4 equal to i?
False
Suppose -41*w - 54 = -38*w. Is -16 != w?
True
Let v = -556 + 555.371. Is -1 <= v?
True
Let u be 136 + 0 + -3 + 1. Suppose -5*y = -2*b - 111, 3*b + 2*y + u = 3*y. Is b bigger than -45?
True
Let h = 32 + -48. Let i = 17.1 - 3.1. Let t = h + i. Which is greater: 0.1 or t?
0.1
Let p = -137 + 147. Suppose 4*o = 5*s - 3*s - 36, -105 = -5*s - 5*o. Suppose h + 4*f + 5 = 3*f, 5*f = -s. Is p less than or equal to h?
False
Suppose -5*v + 4*w = 3, -v - 3*w = -48 + 41. Does v = -3/274?
False
Let f = -56 - -59. Which is greater: 28 or f?
28
Let u = -3.519 - -0.019. Let g = 0.5 - u. Which is smaller: g or -3?
-3
Let m = -1.4 + -0.9. Let t = -12.3 - m. Let z = t - -9. Is z bigger than -1?
False
Let r = -20 - -45. Suppose 4*o = 3*a - 0 + 17, -5*o = -r. Is a < 5?
True
Suppose 3*s - c = 22, 23 - 69 = -5*s + 4*c. Is 38/7 bigger than s?
False
Let a = -142 + 69. Is a at most -147/2?
False
Let d = -6.06 + 6.56. Is 65 equal to d?
False
Let k be (-615)/1558*1/(-9). Is k >= 0?
True
Let d(r) = -r**3 + r**2 - 15. Let h be d(0). Suppose -5*x + 210 = 3*l, 5*x + 5*l - 114 - 86 = 0. Suppose 0*u + x = -3*u. Are h and u unequal?
False
Let o = -77 + 44. Let n = o + 11. Are n and -20 equal?
False
Let m(n) = n + 10. Let d be m(13). Suppose -4*z - 1 - d = 0. Do -5 and z have different values?
True
Let x be -2*(-3)/15 + 316/(-140). Which is smaller: -1 or x?
x
Suppose 3*v + 4 = 6*o + 13, -13 = 2*o - 3*v. Which is smaller: -2/813 or o?
-2/813
Let z = 48 - 24. Let h be z/(4 + -2) + 0. Suppose -4*r - 4*i + 60 = 0, 0 = 2*i - 16 + 6. Is r not equal to h?
True
Suppose -b - 4*b = 0, -q + 13 = 3*b. Is q smaller than 12?
False
Let o = -253 + 487/2. Let z = 15366/11 + -30953/22. Let q = z - o. Which is smaller: q or -2?
-2
Let h be (-7 - -3) + (-3)/(-1). Let t = -7432/135 - -276/5. Is t <= h?
False
Let d(o) be the first derivative of o**4/4 - o**3 - 3*o**2/2 - 3*o + 1. Let w be d(4). Let m be ((-57)/(-152))/((-10)/(-4) - 1). Which is smaller: m or w?
m
Let p = -15 + 10. Let v be 5/7 + (p - -4). Which is bigger: 1 or v?
1
Let q = -4722/15431 - 2/1187. Suppose 10 = -x + 2*u, u - 8 + 3 = 2*x. Which is greater: q or x?
x
Suppose -2*d + 8 = 4. Which is smaller: -4 or d?
-4
Suppose -4 = 7*a - 5*a. Let q be 48/60*a/4. Is 1 at least q?
True
Let s be 18/12 - 705/(-18). Suppose h + 2*u = 43, -64 - 38 = -3*h + 3*u. Let c = h - s. Is c bigger than -5?
True
Let s = 145/7368 + -1/7368. Is 0 smaller than s?
True
Suppose -36*z = -4*z. Let x = 5 - 3. Let m be 2/x + (-70)/74. Which is smaller: m or z?
z
Let j = -11 - -12. Let r = 5 + j. Let w = r - 5.9. Is w != -1/4?
True
Let r = 12 - 5. Suppose -5 - r = -s. Suppose -g = -3*g - s. Which is bigger: g or 2/5?
2/5
Let u be (-5)/(-4 + (-30)/(-8)) - 1. Which is bigger: u or 204/11?
u
Suppose 0 = 5*h + 5*c - 175, -3*h + 2*c + 3*c + 137 = 0. Suppose -h*b = -42*b + 18. Which is smaller: 50/9 or b?
50/9
Let z = 10 - 22. Let d be (-30)/z*(-8)/55. Suppose -8*w = -w. Which is greater: d or w?
w
Suppose -4*b + 6*b - 480 = 0. Let x = -1204/5 + b. Suppose 4*r + 2 = -2. Are r and x non-equal?
True
Let q(z) = -z**3 + 7*z**2 - 4*z + 13. Let i be q(7). Let y be (-5 + 4 + 3)/(i/27). Do -5 and y have different values?
True
Let c = 22 - 17. Let d be (214/(-50))/((-6)/c). Let j = d + -1/15. Does 4 = j?
False
Let z = 1 - -4. Let h(p) = 20*p + 1179. Let q be h(-59). Which is smaller: q or z?
q
Let z = 0.35 - 0.3. Let k = 0.5 + -0.1. Let f = k + -0.2. Which is smaller: z or f?
z
Let f = 1 - -5. Let h = -6.1 + f. Let z = h + 0.04. Which is smaller: 0 or z?
z
Let d = -14 + 15.1. Let k = -593/2 + 296. Which is smaller: k or d?
k
Suppose -6*z - 16 = -2*z. Let x be -10 + 7 + 14/z. Let m = 15 - 21. Which is sma