t g = q + 237. Which is greater: 1 or g?
1
Let r = 29 + -20. Let h(z) = -z**3 - 7*z**2 + 3*z + 9. Let w be h(-7). Let i be (32/10)/(w/(-30)). Which is greater: i or r?
r
Suppose 4*c - 93 = 327. Is c at most 104?
False
Let j be ((-4)/(-2))/(-2 + 0). Let y = -3 + 0. Which is smaller: y or j?
y
Let m = 7 - 3. Suppose 2*i - m*i = -6. Suppose 2*y = -y - i. Is y < -1?
False
Let v = -10 + 14. Suppose 3 = -v*k + 19. Are k and 4 non-equal?
False
Let n be 1/3 - ((-12)/9)/4. Which is greater: 0.1 or n?
n
Suppose -3*v + 3*c = 9, -2 = -5*v - 2*c + 4. Is v greater than 3/7?
False
Let s = -3 + 4. Let v = -7 - -7. Is v > s?
False
Let q(b) = -b**3 + 4*b**2 + b - 4. Let d be q(3). Suppose -d = 4*z - 24. Let i = -1 + 2. Which is smaller: i or z?
i
Let c = 50 - 50. Which is greater: c or -10/9?
c
Let j = -6 + 10. Let n(u) = -3*u + 9. Let z be n(j). Suppose -f - 4*f - 12 = -4*y, -2*y + 8 = -3*f. Is z bigger than y?
False
Suppose 10 = -2*t - 2*r + 2, -t - 4*r - 13 = 0. Let b = 48757 - 4241911/87. Let s = 2/3 + b. Is t bigger than s?
False
Suppose 0*g + 24 = 4*g + 4*u, -5*g - u + 14 = 0. Suppose -4*x + 0*x - 5*a + 24 = 0, -2*a = -8. Let p be (x - g)*1*2. Which is smaller: p or -0.2?
p
Suppose 2*m - m + 7 = 0. Let n = -19 - -12. Do n and m have different values?
False
Let i = 4 + -4. Let q be (-874)/30 + 4/30. Let j = q + 57/2. Is j greater than i?
False
Let m = 30 - 42. Let c = m - -11.9. Is c >= -2/3?
True
Let t(d) = -4*d**2 - 3 + d**3 + 0 + 2*d + 5. Let x be t(3). Which is smaller: 1 or x?
x
Let p = 48 + -51. Let j(u) = -3*u - 9. Let g be j(-6). Let d be (-1)/4 + g/(-4). Is p bigger than d?
False
Suppose 2*a = -s + 3, 0*s - s = -2*a - 7. Let d = 0 + -0.06. Is a at most as big as d?
True
Let o = -522/13 + 40. Is 0 greater than o?
True
Let q = -19 + 21. Let u = 5 - q. Which is greater: u or -2?
u
Let v(r) = 9*r**2 - r + 16. Let o be v(5). Let u = 1662/7 - o. Suppose 5*y - 2*k - 8 = y, -5*y + 5*k + 10 = 0. Which is smaller: u or y?
u
Let b = 63/26 + -12/13. Let l be 1/1 + 2 + -2. Is l at least as big as b?
False
Let i be (-6)/7*(-6)/9. Let d = -1 + 1. Let c be -3 - d - (1 - 4). Which is smaller: c or i?
c
Let c be (348/285)/(4/2530). Let r = 772 - c. Is r > 0?
False
Suppose -3*n - 13 - 14 = 0. Is n greater than or equal to -10?
True
Suppose -4*w + 1 = -m, -2*m + w + 5 = -0. Suppose -j = z, z - j = m*j. Let o(g) = g. Let h be o(z). Which is greater: h or -1?
h
Let w(o) = 2*o**2 - 2*o - 2. Let h be w(2). Suppose -2*x = 3*r - 3 - 2, 2*x = -h*r + 4. Is -1 equal to r?
False
Suppose -2*t = p - 1, 10 = p + 4*t - 5*t. Suppose -5*b + 2*g + 20 = 0, 0 = b - p*g + 8*g + 3. Is b at least as big as 1?
True
Let r(f) = f + 10. Let l be r(-10). Is l not equal to 3/32?
True
Let o = -57.1 - -57. Which is greater: 0.06 or o?
0.06
Let i(y) = -4*y + 2. Let z be i(-10). Let x = z - 377/9. Suppose 5*a - 2*a = 0. Which is bigger: a or x?
x
Suppose 66 = 4*k - 2*k. Suppose -3*w + k = 3*y, 2*y - 14 = -w - 0*y. Are 8 and w non-equal?
False
Let r = -45 - -151. Let j = 740/7 - r. Which is greater: -1 or j?
j
Let s = 8 + -5. Let v be -3 + 0 + 1/(-1). Let p be (s*(-2)/v)/9. Which is smaller: p or -1?
-1
Let r = -0.17 + 0.15. Is r less than or equal to -0.2?
False
Suppose 3*m = -0*m + 36. Suppose y + 5*w + 0*w = -12, 4*y + 4*w - 16 = 0. Suppose -m*z = -y*z. Which is smaller: z or 2/15?
z
Let o be (-16)/12 + 386/285. Let h = -669/190 + o. Is h at least -3?
False
Let x(d) = 4*d**3 + 2*d**2 - 1. Let f be x(1). Let t be ((-12)/(-10))/(4/f). Suppose -5*s = -2*s - 9. Is t at most as big as s?
True
Suppose b = -1 - 1. Suppose 2 = -5*h + 7. Let f be h/(b + -1 + 4). Which is smaller: f or -2/9?
-2/9
Let x = -909 - -58177/64. Let k be 262/(-128)*1/3. Let g = x + k. Is g less than or equal to 5?
True
Suppose 1313 - 295 = -2*l. Let h = l - -3579/7. Is 3 at most as big as h?
False
Let h be (-36)/(-24)*(-4)/(-6). Is h greater than -2/55?
True
Let u = -48/5 - -331/35. Suppose -7 + 3 = -2*f. Suppose -4*l = -2*l - f. Is u equal to l?
False
Let y = -5 + 7. Let i be 4/y - (-2 - -3). Is i >= 7?
False
Let a be 2/5 + 92/20. Let t(l) = l**2 + 6*l + 8. Let c be t(-7). Let j be ((-12)/c)/(1/a). Are -5 and j non-equal?
True
Let h = -0.5 - -1.2. Let j = 0.3 + -1.1. Let b = j + h. Is b at least 1?
False
Let b(k) = -2*k**3 - 9*k**2 - 3*k - 5. Let x be b(-4). Which is bigger: -10 or x?
x
Let r be (4*5/(-40))/(1/(-24)). Which is smaller: r or 8?
8
Suppose -3*a + 2*i = 28, 0 = -5*a - i - 12 - 13. Let d be 2/4 - a/(-7). Let p = -3/70 + d. Which is smaller: -0.2 or p?
p
Suppose 0 = -2*r + 2*c - 8, 0*r - 3*r - 3*c = -18. Is r <= -3?
False
Let k be (3/6)/((-3)/(-42)). Let s(p) = 5 - p**3 - k - 2*p**2 + 2*p**3 - p**2. Let n be s(3). Which is greater: n or 0?
0
Let g = 1.2 - -2.8. Which is greater: 1/4 or g?
g
Let a = -32 + 34. Which is smaller: 8 or a?
a
Suppose -8*j - 28 = l - 3*j, j = -5. Is -3 less than l?
False
Let i(k) = -k**3 + 4*k**2 + 3*k + 11. Let m be i(5). Which is smaller: -1/28 or m?
-1/28
Let a = 63 + -313/5. Let i = -18 - -24. Is i at most a?
False
Let h be 144/(-140) + 2/(-5). Let w(a) = -a**3 + 4*a**2 + 11*a + 4. Let g be w(6). Is h less than or equal to g?
False
Let z(r) = -r**2 + 5*r. Let v be z(5). Suppose v*c - 3*c + 9 = 0. Is c < 3/2?
False
Let g(u) = -3*u**2 + 13*u + 3. Let y be g(6). Is y > -26?
False
Let n = 2080897720/1239 - 1679498. Let g = n + 20/59. Let j = -25 + 25. Which is smaller: j or g?
j
Let w = 9 - 8. Let a = w + 1. Let t = -59/122 + -1/61. Which is bigger: t or a?
a
Let a be (21/(-14))/(6/(-8)). Is 2 bigger than a?
False
Let q(o) = 4*o - 13. Let x be q(5). Are x and 20/3 nonequal?
True
Suppose 5*t - 7 = 8. Suppose 13 = -4*u + i, t*u - 12 = -u - 4*i. Let g(s) = -2*s + 3. Let h be g(2). Are u and h unequal?
True
Let x(v) = v**2 + 13*v + 4. Let h be x(-13). Which is greater: h or 16/5?
h
Let f be (-5)/10 + (-9)/2. Is -7 at most f?
True
Let c(p) = -p**3 + p**2 - p - 2. Let b be c(-2). Let x be 27/b - 1/4. Suppose 0*f - x*f + 2 = 0. Which is bigger: 0 or f?
f
Let w = 13 - 6. Let v be ((-6)/w)/(3/(-42)). Suppose 3*l = -2*f - 16, 6 + v = -3*l - 3*f. Are -4 and l equal?
True
Suppose 3*k = -3*y, 3*y + k + 4 = 12. Let r = 10 - 7. Is r bigger than y?
False
Let h be (-2)/3 - (-8)/3. Let l = 2 + -2. Suppose 2*a - h - 2 = l. Is 2 != a?
False
Let q be (-14)/21 + (-5)/(-3). Let s be 5 - 2 - (3 + q). Is s not equal to -2/5?
True
Suppose 0 = d + 4*d + 50. Let x(n) = n**2 + 4*n - 9. Let k be x(0). Do k and d have different values?
True
Let s = 22 - 22. Is 16 less than s?
False
Let n = 14/3 - 25/6. Let u(a) = -a**3 - 3*a**2 - 2*a + 2. Let s be u(-2). Suppose p = s*p. Is p smaller than n?
True
Let s = -0.3 - -0.5. Let x = 1.2 + -1. Is x less than s?
False
Suppose -2*d = -3*c + 2*c - 10, -8 = -2*d + 2*c. Suppose -2*h + d*h = 20. Let b = h + -5. Which is smaller: b or 1/6?
b
Let v be 2 - (-2)/(-4)*0. Let b(h) = h - 2. Let y be b(6). Are v and y equal?
False
Let n = 0.2 - -5.8. Let l = 7 - n. Let x = 1.7 - l. Is 0 at least as big as x?
False
Let x(i) = -2*i + 8. Let v be x(7). Let u be (-2)/v + (-10)/3. Are -3 and u non-equal?
False
Let i = 3 + -5. Suppose 0 = 4*l - 5*u - 0 + 3, 2*l = 4*u. Let z = l - i. Which is smaller: -2 or z?
-2
Let b be (3/(-4) - -1)*-4 - -1. Which is greater: 2/267 or b?
2/267
Let q be 142/(-180) - (189/(-35) + 5). Which is bigger: 0 or q?
0
Let t = 10 - 12. Let r be -6 - (3 - 4 - t). Which is bigger: r or -6?
-6
Let c = 18 + 8. Is 26 at most c?
True
Let d = 0.3 - 0.1. Let j = -0.038 + -1.082. Let m = -0.12 - j. Which is smaller: d or m?
d
Let n = 1.99 + 0.01. Which is greater: -3 or n?
n
Suppose 0 = u - 4*a + 3*a - 4, 2*u = 3*a + 11. Which is smaller: 1/17 or u?
1/17
Suppose 0 = -6*b + b - 5, -p + 4*b + 2 = 0. Let l be (-4)/3*(-3)/p. Are l and -3/5 unequal?
True
Let c be (12/8)/((-3)/(-8)). Let r be (0 - -1)*(-1 + -2). Let b = c + r. Which is smaller: 0 or b?
0
Let j(x) = x**3 - 8*x**2 + 9*x - 9. Let s be j(7). Let o(u) = -u**3 + 6*u**2 - 5*u. Let m be o(s). Which is smaller: m or -2?
-2
Suppose 0*z + 21 = -3*z + 5*b, 5*z = 2*b - 16. Is -2 greater than or equal to z?
True
Suppose 3*r + 28 = r + j, -r = j + 20. Let m = 10 + r. Which is bigger: -2 or m?
-2
Let c = 1.1 - 0.5. Let t = c - -0.4. Is t less than or equal to -3?
False
Suppose 4*j - 9 = -a, -3*a + 2*j + j - 18 = 0. Are a and -1 nonequa