True
Let g = -10 - -10. Is -1 < g?
True
Let w = 0 - -3. Suppose 4*o + 8 = w*o. Which is bigger: -9 or o?
o
Let n = -14 + 25. Suppose -2*r + n = -a, r - 3*a - 8 + 0 = 0. Is 5 at most r?
True
Let t = 2/5591 - 178990/218049. Let w = 2/13 + t. Suppose -i + 2*i = 0. Which is smaller: w or i?
w
Let x = 5 + -9. Let t = -205 + 203. Which is greater: x or t?
t
Suppose 4*u = 4 + 16. Which is smaller: 2 or u?
2
Suppose -y - 5*l + 16 = 0, -y - 18 = -4*y - 5*l. Is -2/9 smaller than y?
True
Let y be (0 + 1)*(3 + -3). Suppose y = 4*j + j. Let m(c) = c**2 + 1. Let r be m(j). Which is bigger: 2/5 or r?
r
Let q = 26 - 19.9. Let l = q + -6. Which is greater: l or -7?
l
Let w = 10 - 21. Let i = 11 + w. Is i greater than or equal to -3/5?
True
Suppose -2*j = -5*j + 3. Which is bigger: j or -0.1?
j
Let s = 2 - 1. Let v = -17 + 9. Let k = 8 + v. Which is greater: k or s?
s
Let w(f) = 2*f - 10. Let y be w(6). Suppose 0 = 2*p + 2*j + 8, 0 = y*j - 3*j + 2. Is -7 smaller than p?
True
Let q = -4 - 0. Suppose -4*a = -5*f + 41, -a - 12 = -3*a - 4*f. Let u = q - a. Which is smaller: u or -1?
-1
Let n be 3*3 - (1 - -1). Let m be (-380)/154 + 2/n. Let x = 85/44 + m. Is x greater than or equal to 3?
False
Suppose 4*h - 2*j = h - 3, -2*h + 2*j - 4 = 0. Is h not equal to -27?
True
Let g(m) = -3 - 6 - 1 + 9*m. Let c be g(-8). Let n = c - -167/2. Is n >= 3?
False
Suppose -4*p + 4*v + 16 = 0, -3*v = -p - 8*v - 26. Let b be (1 + 0 + p)/(-3). Is b at least 1?
False
Let j = 3.8 - -22.2. Let t = j - 25.91. Is t at most as big as -1/3?
False
Suppose 2*y - 3 = 5*k - 2*y, 3*y = k + 5. Let o = 173/51 - -186/17. Let z = o + -289/21. Which is greater: k or z?
k
Let m be (-4)/6*1*-3. Suppose 4*u = -2*l + 2*u + 6, 14 = 2*l - 2*u. Suppose -5*z + 2*d + 14 = -z, 5*z - l*d = 20. Is z greater than m?
True
Let r(i) be the first derivative of i + 4/3*i**3 - 3 - i**2. Let d be r(1). Which is smaller: d or 5/2?
5/2
Let o be -2 - -5 - 0/2. Which is smaller: o or 0?
0
Let r = 2.1 + -2.2. Is -3 <= r?
True
Suppose 4*c - 12 = -4. Is c bigger than 0.1?
True
Let x = -59 + 60. Suppose -2*w + 0 = -2. Is w greater than or equal to x?
True
Suppose 4*x - 3 = 5*p, 3*p + 3*x = 1 + 8. Which is bigger: -1/68 or p?
p
Let g = 24 - 24. Is 0.13 greater than g?
True
Let x = 0.1 + -0.24. Let d = 0.06 - x. Is d equal to 0?
False
Let z = -49 + 118. Suppose 4*i + 0*i + 48 = 0. Let q be 3/i - z/12. Which is smaller: q or -5?
q
Let c = 11 + -12.3. Let r = -0.39 - -0.09. Let h = r - c. Is h equal to 0?
False
Let s = 152 - 764/5. Let z = -3/10 - s. Is z bigger than 1?
False
Suppose -2*o = -2*v - 4, -11 = -5*v - 3*o + 3. Let i = 8 + v. Which is smaller: i or 8?
8
Let p be (-3)/1*1*1. Let o = -3 - p. Let s be 0/((0 - -3) + -5). Is o at least as big as s?
True
Let m = -148 - -167. Which is bigger: 20 or m?
20
Let k = 3 - 4. Is k equal to -3/2?
False
Let w = -1 - 0. Let k be 2/(-4)*2*-4. Suppose 0*g + 2*c + 12 = -2*g, 0 = -g - k*c - 12. Is w greater than or equal to g?
True
Let q be -1*(1 + -4 - -2). Let z(h) = 2*h**2 - h - 5*h**2 + 2*h**2 + 1. Let o be z(-1). Is o at most as big as q?
True
Let k be (-1)/(((-1)/(-3))/1). Let x = 8 + k. Suppose z + 8 = x*z. Is 0 bigger than z?
False
Let y = 140 + -982/7. Which is smaller: y or 2?
y
Let a(q) = -q**3 + 1. Let o be a(0). Let l be (-1378)/(-2706) + (-6)/9. Let n = l + -1/41. Is n equal to o?
False
Let h(k) = -k + 9. Let b be h(10). Is b >= 8/21?
False
Let k = 0.06 + -1.56. Let i = -1 - k. Which is smaller: i or 1?
i
Suppose -5*x + 4*x + 6 = 2*g, 15 = 3*g + 3*x. Suppose g = -2*m + 27. Suppose 0 = l - 3*t - 5, 3*l + m = -4*t - t. Which is bigger: -1/4 or l?
-1/4
Let u(c) = c**2 + c. Let l be u(-3). Suppose 2*x = -0 + l. Suppose 5*i = -x*p + 2, -3*i - p = -5*p - 7. Which is smaller: 3 or i?
i
Let u = 0.16 + 16.44. Let g = u - 17. Let j = -0.1 - 0. Which is smaller: g or j?
g
Let t be (-3)/(-8 + 2)*-44 + 3. Do -75/4 and t have different values?
True
Let r = 14 + -14.9. Let v = r + 1.9. Let m = 4/11 - -3/22. Which is bigger: m or v?
v
Let m be (-12)/(-42)*(1 - -1). Which is greater: m or -0.1?
m
Let g(q) = -q - 1. Let m be -2 + 0/(6/3). Let k be g(m). Suppose 2*n + n - 19 = -4*d, 5*n - 27 = -2*d. Is k greater than d?
False
Let r be ((-3)/2)/(2 + 1). Let b be (-6)/4*(-2)/(-3). Let h(v) = -v**3 - 1. Let f be h(b). Is f smaller than r?
False
Let r = -1 + 3/2. Let z be (6 - -1) + -1 - 4. Is r greater than or equal to z?
False
Suppose -2*h + 12 + 16 = 0. Do h and 79/6 have different values?
True
Let u = -0.53 - -26.53. Which is bigger: u or 1?
u
Let l(t) = -t - 11. Let v be l(-13). Which is bigger: 1 or v?
v
Let j(b) = -b**2 - 5*b + 6. Let x be j(-6). Is x smaller than -1/17?
False
Suppose 4*v = 3*m - 8*m + 4, 4*m = 4*v - 4. Suppose m = -c + 2*c + 6. Let g = c - -6. Which is smaller: 2/3 or g?
g
Suppose 2*i + i = 0. Let y be 2504/(-116)*1/42. Let j = -5/87 + y. Are j and i equal?
False
Let m = -45016/41 + 1098. Is -1 < m?
True
Let u = -14 - -8. Let n be ((-3)/u)/((-2)/12). Are -2 and n unequal?
True
Let d = -521/60 - -43/5. Is 1 not equal to d?
True
Suppose 2*s = 69 - 3. Let i = s - 3. Let d be i/88 + (-5)/20. Which is smaller: d or 0?
0
Let j = -82 + 77. Which is smaller: j or -6?
-6
Let r = 17 + -18. Is 2/67 greater than r?
True
Let c = 42/11 + -241/66. Let j = 9 + -6. Suppose g - 1 = 4*o, j*g = 2*o - 6 - 1. Which is greater: o or c?
c
Let v be (-6 - -7)/(2/8). Suppose -u = i, 0*u = 5*i + 3*u - v. Which is bigger: i or 4?
4
Suppose 0 = -5*y - 25 + 165. Is y at most 26?
False
Let h = -35 - -32. Let g be (5 - 7)*(-1)/2. Which is bigger: h or g?
g
Suppose 0 = -7*p - 7 + 14. Which is smaller: 0 or p?
0
Let c(u) = -u**3 + u**2 - 2. Let f be c(0). Let n = -41/36 + -7/36. Which is bigger: n or f?
n
Let j be -4*(15/4)/(-3). Suppose -j*k = 5*p, 3*p + 0*p - 2 = -k. Let b be (0/(2 + -3))/p. Are b and -1 nonequal?
True
Suppose -t - 4*c + 6 = 0, 3*t - 4 = -5*c - 0. Let n = t + 3. Is n at most as big as 2/17?
False
Let w = 3 + -5. Let z be (-3 + 2)*-3 - (-2 + 6). Is w less than z?
True
Let a = -107/6 + 18. Which is bigger: -1/6 or a?
a
Let q be 16/(-68)*(0 + 1). Suppose -4*n = -n. Which is smaller: q or n?
q
Let t be (-750)/(-16) - (-24)/(-32). Let f = 189/4 - t. Do 2 and f have the same value?
False
Let f = 14 + -18. Is f <= 1/4?
True
Let b = -1.4 + 0.4. Let s = 0.07 + 0.63. Let o = s - 0.6. Is o != b?
True
Suppose 2*m = -3*m. Let q be 1*(29 + 1)*-3. Let x be 6/27 + 38/q. Which is greater: x or m?
m
Let l(p) = -p**3 + 6*p**2 + p - 5. Let q be l(6). Let i = -163/30 - -35/6. Which is smaller: q or i?
i
Suppose -5*i = 6 - 21. Suppose -m + 15 = -5*m + i*u, 2*m = -u + 5. Which is smaller: m or 1?
m
Let v(f) = f**3 - 6*f**2 + 2*f - 9. Suppose 12 = -2*x + 4*x. Let a be v(x). Do a and 3 have different values?
False
Suppose 0 = -3*z - 2*q - 6, 4*z - 5*q = -2*q + 9. Suppose z = k + 3*k + 8. Let u be (5 + k + -3)/1. Is 1/6 smaller than u?
False
Let l be (13 - -1) + 0 - -2. Suppose -l = t - 3*f - 7, 3*t = -5*f + 15. Is -1/4 less than or equal to t?
True
Let b = 428233/51 - 8397. Let y = 344/221 - 21/13. Let f = y + b. Which is greater: -1/4 or f?
-1/4
Suppose 4*o + 32 = -0*o. Suppose 0 = -a - 4*a - 35. Does a = o?
False
Suppose 4*a + 4*l - 16 = 0, a + a - l - 5 = 0. Suppose 4*v - 64 = -4*o, a*v - 3*o = v + 32. Is v not equal to 17?
True
Let j = -25/57 - -2/19. Which is greater: -1 or j?
j
Let p be 2/10 - (-102)/15. Which is bigger: -5 or p?
p
Let m = 8 + -47/6. Which is smaller: m or -1?
-1
Let i = 31 - 21. Let o = i + -4. Let n be (-8)/o*6/28. Is -1 greater than n?
False
Suppose 20 = -4*g + 6*g. Which is greater: 1/2 or g?
g
Suppose -4*q - 26 + 234 = 0. Which is bigger: q or 53?
53
Let z be 3/(-2 - (-25)/14). Let u be (-2)/2 + (-16)/z. Let d = -37 + 38. Are d and u unequal?
True
Suppose 1 = 4*c + 2*o + 15, 0 = -3*c + 5*o + 9. Let t(j) = -j**2 - 4*j - 2. Let v be t(c). Suppose n - 2*n = q + v, -4*n = -q + 23. Is 2 >= q?
False
Suppose 0 = -d - 1 + 2. Let s be -2 - 2*(1 + -14). Let o = s + -166/7. Are o and d equal?
False
Let z be 2/(5 - 6) + 0. Let t = -5.08 - -5. Which is smaller: t or z?
z
Let b be (1 + -2)*1/3. Which is smaller: 1 or b?
b
Suppose 2*f - 5*f + 48 = 0. Suppose 0 = -5*g + 20, 5*c = 10*c + 4*g - 91. Which is greater: f or c?
f
Let y = 2144/755 + -6/151. Which is greater: y or 2?
y
Let m = 68 - 47. Is 22