 or c?
-1
Let u = -28 + 113/4. Suppose 5*a + 1 = 4*a. Let f(z) = 2*z**3 - z**2. Let q be f(a). Which is greater: u or q?
u
Let g(b) = b**2 - 4*b + 5. Let k be g(-4). Is 36 bigger than k?
False
Suppose -3 = 3*v + 9. Let a = 5 + v. Suppose j - 3*m = 1, m + 0 + 5 = 5*j. Is a less than or equal to j?
True
Suppose 5*b = 2*b - 3*r - 66, 0 = -5*b - 4*r - 111. Which is bigger: b or -22?
-22
Let i = -25 + 26. Which is smaller: -13/2 or i?
-13/2
Let h(z) = z**3 + 10*z**2 + 9*z + 4. Let o be h(-9). Let p be (2 - o) + 0 + 2. Let c = p - 0. Which is greater: -1/3 or c?
c
Suppose o + 0*o - 3*r + 2 = 0, 4*r = 5*o - 34. Let h = 13 - o. Which is smaller: h or 4?
h
Let r = 5 - 5.4. Let i = -0.3 - r. Is 0.06 < i?
True
Suppose 6*v - 3*v - 12 = 0. Suppose v*g + 0*g - 16 = 0. Is g less than or equal to 3?
False
Suppose 0 = 2*p - p + 5. Let z = 3 - 11. Let d = p - z. Is -1 at most as big as d?
True
Let v(w) = -w**2 + 6*w - 6. Let t be v(6). Let p(b) = b**2 + 5*b. Let n be p(-3). Is n at most as big as t?
True
Let w = 57 - 30. Let i = 26 - w. Is i smaller than 0.04?
True
Let f(l) = l + 3. Let b be f(-1). Which is smaller: -12 or b?
-12
Let a be ((-1)/(-10))/((-2)/(-15)). Let q(d) = d**2. Let z be q(-2). Let p = z + -2. Is p >= a?
True
Suppose -3*x + 8 = -7. Suppose 5*w - x*d = 2*w + 17, 0 = -4*w - d + 15. Suppose -q + y = -3, -w*y = -4*q + q + 9. Which is greater: 0 or q?
q
Let x(g) = -g**3 + 5*g**2 + 6*g. Let y be x(6). Let h(l) = l**3 - 8*l**2 - l + 8. Let o(b) = 2*b + 2. Let p be o(3). Let r be h(p). Is r smaller than y?
False
Let a(y) = 2*y + 6. Let r be a(-4). Let m = 5 - 9. Which is bigger: r or m?
r
Let s be 3 - (-2 + 1 - -7). Is s less than or equal to 1?
True
Suppose 4*n = -28 - 8. Let w = n - -9. Which is smaller: 1/30 or w?
w
Suppose 5*k - 2*k = -2*z + 99, z - 5*k - 56 = 0. Let q be (-1)/6 - z/18. Let a be (6/4)/((-2)/4). Does a = q?
True
Let p be 1/(-4) + (-7)/(-28). Is p greater than 2/75?
False
Let h = -377/235 + 1/235. Is h at most as big as -3?
False
Let t = 92 - 108. Are -15 and t unequal?
True
Let n(v) = v**3 - 7*v**2 - 4*v + 14. Let c be n(7). Let f = 1 - c. Is 15 at most f?
True
Let b(z) = z**2 + 5*z. Let t be b(-5). Let g be -4 + -2 + (-192)/(-33). Which is smaller: t or g?
g
Let i(n) = 2*n**2 + 6*n + 5. Let o be i(-4). Suppose 3*b - o = 23. Let j = 18 - b. Which is smaller: j or 7?
j
Let x = 4 + 1. Let n = -5 + x. Is n <= 2/7?
True
Let l be 0 + -2*3/2. Let c = 6 - 8. Which is smaller: c or l?
l
Let x be 4 - (-1 - (-186)/42). Which is bigger: x or 4?
4
Suppose -3*z - 5*l = -6, 0*z - l = 3*z - 6. Suppose z*n - 5 + 3 = 0. Is 0 at most as big as n?
True
Let h = 0 + 3. Let a = 19 - 11. Suppose 7 + a = 3*f. Is f smaller than h?
False
Let k be ((-8)/(2 + 2))/7. Let t be 3 + 1/((-2)/2). Suppose 0 = -2*x - t - 0. Is x smaller than k?
True
Let h be 2/4 + 34/(-52). Is h smaller than 1?
True
Let a be 14/16 - (-9 + 8). Which is greater: 1 or a?
a
Let s = 2 - 1.8. Let i = s + 0.1. Which is greater: 2/3 or i?
2/3
Let w = -0.1 - -0.1. Let m = -4.5 + 4. Let a = 0.3 + m. Which is smaller: a or w?
a
Let s be 34/(-48) - 33/(-88). Is s > 0.2?
False
Let x = -32.1 - -27. Let l = x - -5. Is -5 bigger than l?
False
Let k = -0.086 + 0.686. Is k bigger than 1/14?
True
Let k(t) = -2 + t - 3 + 16. Let g be k(-8). Suppose -2*f + u = 3, g*u = -0*f + 3*f + 6. Is f less than -1?
False
Suppose 0*u = 2*u + 10, 4*x = -u + 23. Is 7 smaller than x?
False
Suppose 2*f + 1 = 5. Let h(d) = d**2 - 2*d + 3. Let b be h(f). Suppose -4*s - 4*n = -1 - b, -3*n - 1 = -s. Which is smaller: 3 or s?
s
Let f = 202 - 202. Which is greater: 1/17 or f?
1/17
Let u = 10 + -10. Let s be u + (-68)/40 + 2. Which is greater: 0 or s?
s
Let a = 1.1 - 0.1. Let p = -1 - -3. Let m = p - a. Is 2/11 less than or equal to m?
True
Let m = 309/380 + -1/76. Which is greater: 1 or m?
1
Let u be 21/4*(5 + -3). Which is bigger: 12 or u?
12
Let o = 475 + -490. Suppose 4*x + u = 2*u - 62, -58 = 3*x + 5*u. Which is smaller: x or o?
x
Let u = 21 - 10. Let h = u - 9. Is h at least as big as -0.1?
True
Let g = -8 + 7. Let t = 2 - g. Let v(q) = q + 4. Let y be v(0). Which is bigger: y or t?
y
Let k(j) = 4*j + 14. Let x be k(-7). Which is greater: -15 or x?
x
Let h = 17.2834 + -0.3134. Let p = h + -17. Which is smaller: p or -0.1?
-0.1
Suppose -3*k + 0*k - 6 = 0. Let v be (-2)/9 + 176/(-18). Let h = v - -8. Is k > h?
False
Let j = -89/8 + 11. Does j = 1?
False
Let g = 4 + -3.8. Let v = 65/177 - 2/59. Which is smaller: g or v?
g
Let w = 25 - 25. Which is smaller: w or -6/13?
-6/13
Suppose w - 3*o - 30 = 0, 3*o - 6*o - 12 = 0. Let a be ((-20)/w + 1)*-2. Which is greater: a or 0?
a
Let b(z) = -5*z - z**3 - 6*z**2 + 0*z - 3*z + 3*z. Let d be b(-5). Suppose k - 7 = -d. Is k at most 7?
True
Let f = -3 + 6. Let v be (48/9)/(2/f). Let i = -7 + v. Is i bigger than 2/15?
True
Suppose -5*w - 2 = 8. Is w at most -2?
True
Let n = 95/3 - 31. Let y(w) = w - 9. Let p be y(7). Let x be p/3*(-1 - 2). Is x smaller than n?
False
Let i = 22 - 23. Is 3/65 less than or equal to i?
False
Suppose 5*o - l = -23, -4*o + 21 = -9*o + 2*l. Is -3 bigger than o?
True
Let k be 435/150 + (-3 - 0). Does 1 = k?
False
Let u = -0.08 - -1.68. Let z = 0.3 - u. Let h = z - -0.3. Which is smaller: h or -2/3?
h
Let l = -12 - -19. Suppose l*f - 4*f + 30 = 0. Is f != -1?
True
Let n = -6 + 40. Let u = 104/3 - n. Is u smaller than 0.1?
False
Let i = -24 - -19. Let n be (-3)/5 - (-2)/i. Is -2/81 greater than n?
True
Let f be (-8)/(-3)*(0 + -3). Is -8 at most f?
True
Let j be (-78)/22 - -2 - -1. Is j at most as big as -1?
False
Let x = -5 + 4.5. Let v = x + 0.53. Let q = v - -0.97. Which is greater: -0.2 or q?
q
Let y = 16 - 21. Which is smaller: y or 1?
y
Let g be (7/49)/(24/(-14)). Let p = 2 + -3. Is p >= g?
False
Let t = -0.9 - -1. Let f = -2 - -2.05. Is f not equal to t?
True
Let q(t) = 2*t - 6. Let u be q(5). Suppose u*h + 5*z - 6 = 0, -2*h - h - 5 = -z. Which is bigger: -2 or h?
h
Let m(l) = -l**2 - 8*l + 2. Let i be m(-7). Suppose -2*q + 2 = 2*s, -4*s + 2*q = q - i. Suppose -u - 2*f + 9 = 0, 3*u + s*f = 3*f - 1. Is 2/11 bigger than u?
False
Let r be 4/(-6)*(-30)/(-40). Which is smaller: 7 or r?
r
Let k = -198 - -115. Is -82 != k?
True
Suppose -10 = -3*g + 2*g. Let t be (g + -6)*(-7)/(-4). Which is smaller: t or 13/2?
13/2
Let z = 277341/10 + -27712. Let b = z - 45/2. Let r(h) = h + 4. Let n be r(-4). Is b < n?
True
Suppose -4*y - y = s + 16, s + 1 = 0. Is -2/5 <= y?
False
Let b = 5 - 9. Suppose -t - 10 + 11 = 0. Which is bigger: t or b?
t
Let w = 0.009 + -24.009. Let b = w + 19. Which is smaller: -3 or b?
b
Let r = -0.06 - 0.11. Let g = 3.17 + r. Is -0.3 less than g?
True
Let t be (-3)/(-7)*(-11)/(44/(-48)). Is t >= 6?
False
Let o = -13 + 23. Let f = 9.6 - o. Does 2 = f?
False
Let h = 11 - 7. Let a = 2.9 + -0.9. Let y = h - a. Which is smaller: y or 2/7?
2/7
Let i be (-9)/(-35) + 8/(-20). Let f = -6 + 5.9. Are i and f equal?
False
Let u = -0.13 + -3.87. Is -1/2 at least u?
True
Suppose -a - 33 = 2*f, 7*f - 3*a + 61 = 3*f. Let x be f/(-3) - 2/6. Is x < 4?
False
Let b be (-17 - -4)/(4/(8/(-3))). Is b < 8?
False
Let n be 3/((-1 - 1)/2). Let l be n/(2 + (-7)/2). Let i = -9 - -11. Is l greater than i?
False
Suppose -4 = -2*a + d, 5*a = 2*a - 2*d - 1. Let i = -6 - -3. Let b = a + i. Which is greater: b or -4?
b
Let j(q) = 2*q + 9. Let k be j(-7). Let z = k - 0. Is -4 not equal to z?
True
Let w(i) = -i**3 + 5*i**2 + 7*i - 5. Let b be w(6). Let p = -13 + 20. Suppose p = 3*l + r + 4*r, 2*l + 6 = 2*r. Is l greater than or equal to b?
False
Let z = 1.83 - 15.83. Which is bigger: z or -0.2?
-0.2
Let a be (-2 + -18)*(-123)/28. Let f = a - 88. Are 1 and f non-equal?
True
Let z = -138 - -693/5. Suppose -9 = 5*r + 1. Let s(x) = -x**3 - 2*x**2 - x - 2. Let q be s(r). Does q = z?
False
Let c = 106.7 - 107. Which is greater: c or 4?
4
Let k = 5 - 3. Let g be k + -2 - (1 - 2). Which is smaller: g or 2?
g
Let t = -1.97 - -2.1. Let y = t - 0.03. Which is greater: y or 1/3?
1/3
Let u be (-4)/6 - 4246/3. Let d be (-1628)/u - 2/4. Let a = d - -1/59. Is a at most 1?
True
Suppose -6*a + 15 = -7*a. Is -15 bigger than a?
False
Let w be ((-24)/208)/(((-45)/(-12))/(-5)). Let x be (-6)/(-9) - (-4)/(-6). Is x <= w?
True
Let g = 1.15 + -1.2. Is g smaller than 0?
True
Suppose -269 = 3*o + 4*l + 126,