8 - m. Let o = r - -5. Are 0 and o nonequal?
True
Suppose 0 = 5*r + 87 + 8. Let t be -7*2 - (r - -15). Let m(d) = -d**2 - 8*d + 17. Let l be m(t). Is l smaller than -5?
False
Let c = 0.2 - 0.1. Let f = 83.2 - 93. Let p = f + 11.3. Which is smaller: c or p?
c
Let a = 210281/45 + -4673. Suppose -5*b + 20 = 0, -2*b - 2*b + 17 = -m. Which is greater: m or a?
a
Let y = -26/139 + 29485/834. Which is bigger: y or 35?
y
Let g = -0.355 - -0.255. Which is smaller: g or 50?
g
Let z(p) = 3*p + 7. Suppose -10*b = -5*b + 40. Let j be z(b). Let d = -562 - -545. Is j < d?
False
Let c = 5219128/238935 - -209/2811. Let z = 3362/5 + -3253/5. Let q = c - z. Is -1 greater than or equal to q?
False
Suppose 9*o + 75 + 222 = 0. Is o at least -2?
False
Suppose 2*z - 3*z - 4*g = -5, 5*z - 3*g - 71 = 0. Let x = -16 + z. Is x smaller than 0?
True
Let w = 4 + -4. Suppose 0 = 5*m - 4*j - 19 - w, 5*m + j = 14. Suppose -11 = -m*s + 1. Is 4 < s?
False
Let c = 330 + -330. Let u = -0.2 - -0.1. Let b = -0.9 + u. Is c less than b?
False
Suppose -s - 4 = -1. Let z be (8 + -7)*(s + 2). Suppose 0 = 3*f + f + 16. Which is bigger: f or z?
z
Let n = -14 - 0. Let z = 27 + n. Suppose 5*i - 2*x = -4, -3*i - z = 4*x + 5. Does i = -3?
False
Let l = 298 - 298. Let k(a) = 2*a**2 - 3*a - 3. Let b be k(3). Is b less than or equal to l?
False
Let n(u) = u**3 + 6*u**2 + u - 6. Let l be n(-5). Suppose -m - q + l = 4*m, 5*q + 8 = m. Is m greater than or equal to 6?
False
Let t be (3 - (-67)/(-22))/(2/4008). Which is greater: -91 or t?
-91
Let v be 0*(11/(-22))/1. Is v at least 1/1132?
False
Suppose 2*p = -3*j - 2*p + 83, 4*j = -5*p + 109. Let r = j - 23. Which is greater: -1 or r?
-1
Let s = -17 - -19. Suppose 2*g - s*l - 4 = 3*g, 4*g + 3*l = -6. Is g equal to -11?
False
Let n = 18.328 + 0.372. Is n at most 2/3?
False
Let o = -0.2 + -0.18. Let p = o + 0.18. Is 0.9 bigger than p?
True
Let p = -0.15 + 3.75. Let q = -3.8 + p. Which is bigger: q or 0.12?
0.12
Let s(m) = 138*m + 15. Let y be s(1). Is 152 greater than y?
False
Let t(d) = -d - 44. Let w(h) = h + 29. Let r(x) = 5*t(x) + 7*w(x). Let a be r(9). Which is bigger: a or -2/233?
a
Suppose 0 = 4*a - 5*n - 936, -18*a + 3*n = -14*a - 944. Which is bigger: 240 or a?
240
Let w = -298 + 295. Which is smaller: w or -36?
-36
Let o be 34/4 - (-14)/28. Suppose -o = -x + 4*x, 0 = 2*y + 3*x + 11. Which is smaller: 2/151 or y?
y
Suppose -3*h - 4*m + 213 = 0, 0*h + 4*h - 284 = -3*m. Is h smaller than 67?
False
Suppose v + 6 = 4*v. Suppose 0 = -28*n + 25*n + 9. Let u be 20/1*((-6)/(-5))/n. Is u greater than v?
True
Let x be 5144/(-812) - 4*6/84. Is x equal to -8?
False
Let n(m) = m**3 - 11*m**2 + 26*m - 10. Let d be n(8). Which is bigger: 8 or d?
8
Let o(f) = 15*f**3 - f**2 + 5*f - 1. Let q be o(2). Let b = -89 + q. Which is bigger: b or -1/4?
b
Let k(x) = -3*x**2 + 34*x - 88. Let f be k(7). Let v be ((-32)/6)/(5/(-3)). Is v less than or equal to f?
False
Let c = -207 + 331. Is c < 123?
False
Let m be (-215)/(-4)*(-204)/(-60). Suppose 5*n + 59 = 979. Let c = m - n. Does c = 0?
False
Let d = -1343 + 1300. Which is bigger: d or 15?
15
Suppose -5*i - 3*f = 2*f + 60, 0 = 3*i - 4*f + 29. Let h = -3 - i. Suppose 87*d - m + 14 = 89*d, -m - 35 = -5*d. Is d <= h?
True
Let w = 11 + -11. Suppose w = -4*d + d. Suppose -3*p - 2*m + 43 = d, 0 = 3*p + 5*m - 10*m - 8. Which is smaller: 0.1 or p?
0.1
Suppose -3*q - 2*b + 30 = -4*b, 2*b = 2*q - 18. Let o = -49 + q. Is o < -38?
False
Let s be 11/((-9185)/(-15))*(-2)/3. Is s greater than -1?
True
Let h = -1691/1530 + 4/765. Which is greater: -1 or h?
-1
Let m be (-131)/(-20) - (-120)/(-160). Let f = -3 - -8. Which is greater: f or m?
m
Let v = 0.289 + -0.389. Which is bigger: v or 0.102?
0.102
Suppose 5*y + 0*y - g = -61, 3*y - 4*g + 40 = 0. Let w = y - -11. Is -1 bigger than w?
False
Let f(a) = -2*a + 11. Let m be f(16). Let k be (-301)/m - 4/(-6). Suppose -2*x + 2*p = -8, 5*p + 42 = -2*x + k. Is -4/15 >= x?
True
Let k = 9 + -1. Suppose -4*r + 3*c + 32 = 0, -r - k*c = -3*c + 15. Suppose -p + 6*p - r = 0. Is 3/8 at most p?
True
Let k = -0.333 + 0.346. Is k >= 14?
False
Suppose 5*z - 462 = 4*k, 3*k + 19*z + 356 = 18*z. Which is smaller: -117 or k?
k
Let y = -0.567 + 0.267. Is y less than or equal to -9?
False
Let l be ((-4)/(-5))/((-4)/20). Let d be (-4)/(-6) + 22/(-6). Are d and l non-equal?
True
Let y(p) = p**2 - 48*p - 32. Let g be y(0). Let u(x) = -x**3 - 6*x**2 + x - 4. Let j be u(-5). Which is smaller: g or j?
j
Let m(k) = 5*k**3 + 3*k**2 + 2*k + 1. Let z be m(-1). Let x be 0/(2 + z + 2). Suppose x*v - v = 10. Is -10 not equal to v?
False
Let c = 269 + -292. Do c and -65/3 have the same value?
False
Suppose -6*v = 59 - 167. Let l(d) = d - 10. Let s be l(v). Which is greater: 1 or s?
s
Let r = 3 - 5. Let p = 2 - r. Let k = 0.297 - 0.397. Which is greater: k or p?
p
Let j = -1.124 - -1.424. Is j equal to -61?
False
Let d be 2/(-8) - 62/8. Let k be ((-3)/d)/(6/(-4)). Let c(i) = 16*i + 95. Let w be c(-6). Is w greater than or equal to k?
False
Let r(s) = -s - 2. Let n be r(-4). Let f = 73/8 + -155/24. Which is smaller: f or n?
n
Let a(x) = 3*x. Let h be (-15)/9 - (-2)/(-3*2). Let j be a(h). Does -6 = j?
True
Suppose z + 6 = 9. Let v be z/(-18)*4/79. Are v and 0 equal?
False
Let s be (-72)/2 + 18/(-63)*-21. Is s >= -28?
False
Let y be 2/(-5)*15/18*-3. Which is smaller: y or 246?
y
Suppose 2*g = 7*g - 20. Suppose -4*p = -g*x + 12, 0*x = -2*p - 4*x + 18. Is p smaller than 1/182?
False
Let q = 626 + -478. Which is greater: 2 or q?
q
Let p = 45 - 25. Let v = 20 - p. Suppose v = 7*k - 2*k - 55. Is 8 greater than k?
False
Let y = 0.9 + -0.99. Let r = -0.21 - -0.3. Let k = y + r. Which is greater: 1 or k?
1
Let q be (1 - -1)*(17 + -15). Suppose -b - 4*a - 6 = 0, q*a = b + 5*a + 3. Do b and -15/7 have different values?
True
Let f be (-1)/(1*2/8). Let l be (f - -7)*1/4. Suppose 8*t + 40*t = -122*t + 38*t. Which is smaller: l or t?
t
Suppose 4*a + 31 = 79. Suppose 0 + 2 = 3*m - 2*r, 2*m - 4*r = a. Let d be m - 4/(-8)*-14. Is d > -9?
False
Let m = -1676 - -1675. Which is smaller: 2/151 or m?
m
Let b be 2/3 + 1/3. Let a = b + -2. Let r be a + 6/15*5. Which is greater: 1/4 or r?
r
Let f = 242 - 738. Which is greater: -497 or f?
f
Let b be ((-11)/2)/((-4)/(-8)). Let t be ((9890/184)/(5/8))/(-7). Do t and b have the same value?
False
Let h be 9/15 + 629/(-340). Suppose 4*b + f = 2, 2*f = -3*b - b + 4. Is h > b?
False
Let n = 4.8 + -16.85. Let z = -12 - n. Which is smaller: 2/9 or z?
z
Let n be 0/(-4) + 116/(-3901). Let j = 6/83 + n. Which is greater: -0.1 or j?
j
Let r(d) = 29*d - 906. Let y be r(-16). Do -1370 and y have the same value?
True
Let q be (-4)/(-14) + (-290)/35. Let k be ((-2)/(-237))/(q/12). Which is greater: k or 1?
1
Let k = -0.9 + 1. Let b = 688 + -694.02. Let n = 0.02 + b. Is k less than or equal to n?
False
Let q be 1 + -3 + 3 + 1. Let l = 117 + -113. Is q not equal to l?
True
Suppose -4*k = -2*u + 5*u + 3, 2*k = -5*u - 5. Which is smaller: u or 3/58?
u
Suppose 10*m + 22 = 102. Suppose m*c + 127 - 23 = 0. Does -41/3 = c?
False
Let v = -38.7 + 37.7. Which is smaller: v or -130?
-130
Let k = -2415 + 2413. Let a = 2.5 + -1.2. Is a smaller than k?
False
Let q(m) = -m**2 + 2*m - 2. Let a be q(1). Suppose 0 = 4*n - 5*r + 12, -5*n - 11 + 41 = 5*r. Let p be n/(-9) + (-438)/216. Is p < a?
True
Suppose -o + 2*o - 59 = 0. Let d = -77 + o. Is -19 less than d?
True
Let c be (1 + -2)*((10 - 6) + -171). Is 168 smaller than c?
False
Suppose u + u = 4*b - 28, -2*u + 2 = 2*b. Suppose 5*l - 3*s = -167, b*s - 82 = 3*l - l. Let y be 3/12 + l/92. Which is greater: y or 1?
1
Let d = 1324 + -1490. Is -828/5 greater than d?
True
Let p = 22.7 - 8.7. Which is greater: p or -7?
p
Let p(k) = -24*k + 120. Let f be p(5). Suppose -4*d = -5 - 3. Is d equal to f?
False
Let u = 2308 - 2438. Is u >= 0?
False
Suppose 3*p - 3 + 0 = 0. Let j = 388 + -1563/4. Let a = 21/8 + j. Is a bigger than p?
False
Suppose 2*f + 4*d - 15 = 7*d, 0 = -4*f + d + 5. Which is greater: -2/1511 or f?
f
Let z = 29.357 - 0.357. Which is bigger: z or 10?
z
Suppose 3*n = -9, -3*n = z + 2*n. Let u = -9 + z. Let q be 2/4 + 2/(-4). Is u at most q?
False
Let c = 24 - 8. Let u = c + -13. Let z be -2 + 2 + u + 2. Is z <= 4?
False
Suppose 3*z + 46 = -z + 3*w, 4*z + 5*w + 30 = 0. Which is sma