> u?
True
Let d = 85 - 257/3. Is -7 greater than d?
False
Let g(v) = -v - 4. Let x be g(-4). Let s be (1 - 1) + (-24)/(-1768). Let p = s + -487/3315. Is p bigger than x?
False
Let v be (-33)/22*(24/9 - 3). Let b(q) = 4*q - 4. Let h(x) = x - 1. Let n(j) = b(j) - 3*h(j). Let y be n(1). Is y not equal to v?
True
Suppose 5*a - 7 = -4*b - 2, -b + 10 = 3*a. Let i = 9 + -5. Suppose 17 = 2*h - 0*f - f, -4*h = i*f - 4. Is a > h?
False
Let r = 0.8 - 0.5. Let m = r - 0.1. Which is smaller: m or 0?
0
Let f = 19/16 + -91/16. Is f at most -4?
True
Let r = -9 - -19. Let d be (-97)/(-9) - 9/((-162)/4). Is d != r?
True
Let c be (-1)/(1 - 4)*0. Suppose c = -5*x - 5*b - 5, 4*b - 4 = -0*b. Is x <= 1/4?
True
Let s be (18/8)/(-7 + 1). Suppose -2 - 2 = -4*n. Which is smaller: s or n?
s
Let m(h) = -h - 4. Let n be 1*-4 - (-6 - -8). Let y be m(n). Is 3/5 > y?
False
Let r = -1399/520 - -34/13. Which is greater: r or -2/9?
r
Let l be 4/10 - 24/60. Is 1 greater than or equal to l?
True
Let u(j) = -15*j + 60. Let x be u(10). Is x >= -89?
False
Suppose 0 = 5*c - 15 - 5. Let u be 2 - (10/c + 1). Is u smaller than -2?
False
Suppose 0 = -2*n + 3*a, -3*a + a = 0. Suppose n = -2*t + 2. Let k be 1*-1 - 34/(-30). Which is smaller: t or k?
k
Let l(k) = k**3 - 7*k**2 + 8*k - 7. Let w be l(6). Let c = 25 + -16. Suppose -5*x = w*z - 25, -x + 6 = 3*z - c. Which is smaller: -0.08 or x?
-0.08
Let l = -12 + 16. Suppose l*c + 0 - 20 = 0. Is c at least as big as -0.1?
True
Let k(y) = 14*y - 1. Let n be k(2). Which is bigger: 26 or n?
n
Let s = 0.39 - -0.01. Let q = s - 0.6. Let z = 0.3 + q. Is z bigger than -0.1?
True
Suppose o + 113 = 4*x - 128, -2*x + 124 = -4*o. Let q = 184/3 - x. Are q and 2 equal?
False
Let z(q) = -2*q - 1. Let f(b) = -b**2 + b - 5. Let y be f(0). Let j be z(y). Let i be ((-1)/3)/(24/j). Is i at least 1?
False
Let q(x) = x**2 - x - 12. Let f be q(3). Which is greater: f or 1?
1
Let c = -33 + 57. Let t = c + -16. Let z = t - 7.9. Is z != -4?
True
Suppose 0*f - f = 2. Let j be (f - 11/(-5))*-2. Let s = -2 + 2. Is s > j?
True
Suppose -w + 3 = 3*u - 3, 0 = 5*u - w - 2. Suppose -2*i = 2*i - 24. Let q be (-2)/(-4)*2/i. Is q at most as big as u?
True
Let g = -0.27 + -3.83. Let v = g - -4. Let m = -0.08 + 0.18. Which is greater: v or m?
m
Let k = 168 - 167.23. Let x = k - 0.8. Is 1 at least as big as x?
True
Let v be (-45)/(-20)*2/(-33). Let q = -31/66 - v. Suppose -f + 6*f + 3*c = 9, 5*c = f + 15. Is f smaller than q?
False
Suppose -u = -6*u - 2*t - 228, -2*t = 8. Let p be 2/(-5) - (-3128)/70. Let r = p + u. Which is smaller: r or -1?
-1
Let k(c) = -21*c - 7. Let p be k(-2). Which is greater: 36 or p?
36
Let l be (-2)/4 - 25/(-10). Let m be (1 + -2)/((-3)/(-3)). Let j = l - m. Which is smaller: j or 0.2?
0.2
Suppose 2*x = x + 3. Suppose 5*o + 38 - x = 0. Is -7 less than o?
False
Suppose 4*s - s = -24. Let f be s/5 - (-8)/(-20). Let a(q) = q**2 - 5*q + 1. Let z be a(5). Is z equal to f?
False
Let x(r) = 0*r - r - 3 + 1 + 1. Let p be x(-5). Let l = 5 - 2. Is l less than or equal to p?
True
Let u be (3/20)/((-8)/16). Which is smaller: 0 or u?
u
Let k be ((-5)/20*34)/24. Let r = -181/528 - -4/11. Let q = k + r. Which is smaller: q or -1?
-1
Suppose 2*s + 1 = -1. Let k be 3*s*(1 + -2). Suppose 3 = -4*w + 4*t - 1, -3*w - 3*t + k = 0. Is 0 < w?
False
Let z = 0 - -5. Let l = -5 + z. Does l = 3/4?
False
Let w = -37 + 7. Let a be 5/w - (-10)/132. Which is smaller: a or 1?
a
Suppose -3*u + 7 = -2*t, u + 2*t = 2*u + 3. Suppose u*c - 9 = 4*v, c - 15 = -v - 6. Suppose -2*y = v, 0 = 2*n - 0*n - 5*y - 8. Is n <= -2?
False
Let o(q) = 5*q**2 + 5*q - 1. Let m(s) = -6*s**2 - 6*s + 1. Let c(d) = -4*m(d) - 5*o(d). Let f be c(0). Is f >= 3?
False
Let h = -21/2 + 10. Which is smaller: h or 0.4?
h
Let o = -41 + 43. Is o at most as big as 4?
True
Let w(c) = -c**2 - 4*c - 1. Let u be w(-4). Suppose -2*z = -4*z + 3*b + 12, b - 4 = -2*z. Is z smaller than u?
False
Let f be (-128)/(-8)*1/2. Let y = f + -6. Suppose -6 = -u - y*v, 5*u + 2*v + 12 = 6*v. Is u >= 0?
True
Suppose -2*h + 4 = -4*u, -5*h - 11 = -5*u - 6. Suppose -5*z + 20 = 5*c, 4*c - 3*z + 29 = 2*z. Is h greater than c?
False
Let w(y) = y - 1. Let d be w(6). Suppose 2*q = d*o, -1 = 3*o - 0*q - q. Which is smaller: o or 1.2?
o
Suppose -2*h + 6 + 0 = -2*k, 3*h - k - 5 = 0. Which is smaller: h or -6/23?
-6/23
Let x = 23 - 21. Let a = 3 - 2. Suppose a = h - 1. Are x and h non-equal?
False
Let u = 0 - -0.2. Let y = 2/131 - 296/2227. Do y and u have different values?
True
Suppose -4*l + 6*l = -14. Which is greater: l or -8?
l
Let v = 35.1 + -35. Does 0.24 = v?
False
Let d be -1*(3 + -2) - -15. Which is smaller: d or 13?
13
Let x be (-60)/18 + 1/3. Let p(b) = -b + 5. Let g be p(5). Suppose 3*d + g + 3 = 0. Which is smaller: d or x?
x
Let y be 8/(-52) - 43/(-195). Is y smaller than 1?
True
Let a = 26 - 26. Which is greater: a or 1/6?
1/6
Let o = -1.3 - 0. Let v = o + 1. Let y = -0.4 - v. Is y > 0?
False
Let c = 7 + -7. Let u = -0.08 + -0.52. Which is bigger: u or c?
c
Suppose 2*a - 31 = 5*z, 59 = -2*a + 5*a - 5*z. Let i be (-4)/(-14)*a/12. Which is greater: i or 2?
2
Suppose -10 = 5*t - 5*q, 3*q + 0 = -4*t + 13. Are t and -1/71 equal?
False
Let j(m) = m + 9. Let c be j(-8). Is c less than or equal to -2/45?
False
Let h = -1/33 + 4/11. Which is smaller: h or 0.2?
0.2
Let o = 474 - 493.06. Let v = -19 - o. Which is bigger: 2/7 or v?
2/7
Suppose 1 = -n + 4. Suppose 3*f - n*t = -6*t + 12, -4*f = -4*t. Let c be 1/(-2)*(-2 + f). Is 2/3 < c?
False
Let o(z) = -15*z**3 + z**2 - 1. Let k be o(-1). Let i = k + -12. Which is greater: i or -1?
i
Suppose -x = -1 + 2. Suppose -p - 9 = 2*p. Let k = 3 + p. Is x at most as big as k?
True
Suppose 0*t - 3*t = -21. Let b = 16 - t. Let v be (3/b)/((-10)/18). Do -1 and v have the same value?
False
Let x(r) = -r - 4. Let d be x(-4). Let w = d + 0. Let q be (-15 - -9)*(-2)/15. Do q and w have different values?
True
Suppose 7*s + 2*i - 5 = 4*s, -2*s = -5*i + 22. Is s != -1?
False
Let m = -3.1 - -3.2. Which is bigger: -61 or m?
m
Let p be 6/(-9) + 14/(-6). Suppose 3*v + 5*o - 2 = 0, -o = -2*v - 5*o. Suppose l - v*l - 9 = 0. Is l at least p?
True
Suppose -2*h - 2 = 4. Let r be (-4)/h*3/(-6). Is -0.3 > r?
True
Suppose 0 = -3*t + 12, 5*b - b = -2*t - 8. Which is bigger: -7/2 or b?
-7/2
Let w be 0 + (3/1)/18. Suppose 0 = 4*q + 21 - 1. Let o be (-2)/(-6)*(2 + q). Which is smaller: o or w?
o
Suppose 0 = -4*g + 4*b + 12, 0*g - 3*b = 3*g - 15. Suppose p = -g*v - 9, 3 + 4 = -3*v - p. Which is greater: -1 or v?
-1
Suppose 5*w = 112 + 53. Let s be -1 - w/36 - -2. Let d be 3*(2 - (-15)/(-9)). Which is greater: s or d?
d
Let p = 1/914 + 104191/4570. Let t = p - 1244/55. Let b = 3 + -3. Is t greater than or equal to b?
True
Let w = -28 - -26. Let m be (-33)/12 + 1/2. Which is smaller: m or w?
m
Suppose -4 = 2*j + 12. Suppose 2*m - 6 = 3*m + u, 5*m - 5*u = -40. Which is greater: m or j?
m
Let c = -3 + -2. Is -7 less than c?
True
Suppose 3*n - 47 = 5*h, -4*n + h = 2*h - 32. Let z be (-3)/2 - n/(-6). Suppose 5*v + 5 = -z*v. Is -1 less than or equal to v?
True
Suppose 4*c - 3*v = -0*c + 13, 2*v = -2*c - 4. Which is greater: c or -20?
c
Let f = -140/9 + 47/3. Which is greater: f or 0?
f
Let x(j) = j - 4. Let y be x(4). Suppose y*i + 3*i = 3. Let b be (-1*(-1)/i)/5. Are b and 0 unequal?
True
Let j = -72 + 19. Let b = j + 157/3. Let q = -2.3 - -2. Is q < b?
False
Let a = -0.11 - 0.19. Let r = 0.12 + -0.82. Let x = r + a. Do x and -1 have different values?
False
Let p = -3.7 + 3. Do p and 0 have different values?
True
Let x = -1.24 - 0.16. Let c = x + -0.6. Which is bigger: -1/3 or c?
-1/3
Let v = 143/8672 - -4/271. Let i = 67/96 - v. Let r(s) = -2*s. Let d be r(-1). Are i and d non-equal?
True
Let t be (-16)/10*(-195)/(-6). Let y = 207/4 + t. Which is smaller: y or -1?
-1
Let f = 29 - 28. Is f at least -1?
True
Suppose 17 = -4*o + 2*o - 5*s, -3*o + 2*s = -3. Which is greater: o or 2/535?
2/535
Let f = -18 - -163/9. Which is smaller: f or 1?
f
Let r(w) = -5*w**2 + w + 1. Let t be -2*(-2 + (-10)/(-4)). Let f be r(t). Is f less than or equal to -5?
True
Suppose 3*m - 3 = 2*m. Suppose m*h + 13 = -0*y + y, -3*y + 23 = -5*h. Suppose -z + 3*i + 16 = -0*z, 2*z = 2*i + 12. Is y > z?
False
Let b = 65 - 713/11. Let c(x) = x**3 + 10*x**2 + 8*x - 8. Let d be