 as c?
True
Let x = 6 + -2. Suppose -2*n + 3*n = -x. Let b = 5 + n. Which is greater: -1/8 or b?
b
Let y(s) = -2*s - 3*s - 12 + 3*s - 2. Let b be y(-8). Is 8/5 greater than or equal to b?
False
Let y = 8.6 - 1.6. Let s = y + -4. Let v = 0 + s. Which is bigger: v or 2/7?
v
Let i(b) = -5*b + 53. Let m be i(10). Is 28/11 bigger than m?
False
Suppose -4*b - b + w - 76 = 0, -3*w - 28 = b. Is -33/2 less than or equal to b?
True
Let u(v) = -v**2 + v + 2. Let a be u(-2). Let l be -2*(-2)/(-28)*a. Is 1 at most as big as l?
False
Let d be 3/4*(-4 - -16). Let m = d + -6. Suppose -u = -m*u. Which is bigger: u or -2/13?
u
Let y(r) = r**3 - 3*r**2 - 5*r. Let f be y(4). Let b = f + 5. Let z = b - 2. Is z at most -1?
True
Let d = 6344/9 + -706. Which is bigger: d or -2?
d
Let w be 4/(-6) + (-34)/(-6). Let y = w - 3. Suppose y = j + 9. Is j greater than or equal to -6?
False
Let u be (6/9)/2 - 2. Is u greater than -1?
False
Let i = 0 - 1. Let n(r) = -13*r**2 - 7*r - 5. Let a be n(-4). Let q = a + 1667/9. Is q greater than i?
True
Suppose -146 = -2*t - 4*j, 4*t - j - 185 = 143. Is 81 < t?
False
Let i = -89.56 + 90. Which is bigger: 0 or i?
i
Let q(t) = t**2 - 1. Let u be q(0). Is u at most -1?
True
Suppose 13*z - 9*z + 36 = 0. Which is bigger: -8 or z?
-8
Let r = -16.9 - -2.9. Let i = -13.9 - r. Let k = -2 - 0. Which is smaller: i or k?
k
Let i = -3 + 6. Let g(k) = k**i + 2*k - 3*k - k. Let m be g(2). Is 5 less than m?
False
Let u(h) = -h + 8. Let o be u(0). Suppose 4*b = 5*l + 3*b + 2, 4*b - o = 0. Suppose 0 = -q, -3*n - 182*q + 186*q + 3 = 0. Is n at least as big as l?
True
Let n = -2/37 - -43/111. Is n equal to -18?
False
Let j = 89 - 159. Is j greater than or equal to -70?
True
Suppose -5*i - l - 4 = -0*i, -2*l = -4*i + 8. Suppose -5*u = -i*y - 5*y + 10, 4*u = 3*y - 9. Are -4/17 and y non-equal?
True
Let n = 27.4 - 32. Let z = -4 - n. Let p = z + -0.7. Which is smaller: -1/5 or p?
-1/5
Let y be (-198)/(-10) - 6/(-30). Is -2/5 > y?
False
Suppose 0 = 2*h + 62 + 30. Which is greater: h or -44?
-44
Suppose 0 = -4*u + 59 + 21. Which is smaller: u or 18?
18
Let i be (460/20)/(2 + -1). Let k be 22 + 0 + -2 + 3. Is k <= i?
True
Let y = 10.2 + -10. Let j = y + -0.2. Does 0.2 = j?
False
Let b = 59 + -50. Which is smaller: b or 3?
3
Let o(l) = l**2 + 7*l + 5. Let v be o(-4). Let a = 6 + v. Let f be (-1)/(-18)*1*-8. Which is smaller: f or a?
a
Let n = -2 - -1. Which is greater: n or 0.18?
0.18
Let x = -33 - -34. Is -5 < x?
True
Suppose -22 = -d + 2*k, 0 = 4*d - 9*d + 4*k + 140. Is 32 at most d?
True
Let s be (-2 - 0) + (-2256)/(-10). Let m = 222 - s. Which is greater: -1 or m?
-1
Suppose -5 + 2 = -a - 4*b, 2*a = 2*b - 4. Is -6/35 at least as big as a?
True
Let m = -2 + 3. Let d(g) = 21*g + 6. Let c be d(-6). Let a = c - -602/5. Is a at most as big as m?
True
Let l = 8 - 11. Let p be (11 - (-2 - 0)) + l. Suppose -p = -4*b - i - i, 0 = 2*b - 4*i - 10. Is b at least 3?
True
Let u = 3 + -4. Let v = 0.29 - 1.29. Does u = v?
True
Let q(y) = 11*y + 9. Let v(z) = -4*z - 3. Let h(c) = -3*q(c) - 8*v(c). Let j = -9 + 6. Let w be h(j). Which is smaller: w or -2/3?
-2/3
Let h = 2.5 - 2. Is h smaller than -1?
False
Suppose -2*t = 4 - 0. Let r = -2 - -4. Suppose -2*i = -0*i - r. Which is smaller: t or i?
t
Suppose -3*i = 3*v - 36, -2 - 50 = -2*i + 5*v. Let f(b) = -b**3 - 7*b**2 - 3*b. Let z be f(-6). Let a be 12/i*16/z. Is 0 at least a?
True
Let j be (1 - 0)/(-10)*60/24. Is j bigger than -13?
True
Let h be 5 + -2 - 1*-1. Is h at most 3?
False
Let g be (-5)/1*(2 - 1). Suppose -2*k = 9 - 3. Which is smaller: k or g?
g
Let b(u) = -u**2 - 10*u + 2. Let s be b(-7). Is 23 >= s?
True
Let y = -22 + 38. Which is smaller: y or 14?
14
Let w be (-2 - 1)*(-1)/(-7). Does 0 = w?
False
Let z = -21643/4510 - 1/902. Which is bigger: -5 or z?
z
Let n be 1/(-5) - (-4 - -2). Let m = n + -58/35. Suppose -5*q - 3 = -2*c, -6*c + 20 = 4*q - 2*c. Is q at most as big as m?
False
Let q(x) = -286*x + 77. Let y(i) = -15*i + 4. Let d(h) = 4*q(h) - 77*y(h). Let z be d(2). Which is greater: z or 21?
z
Suppose 0*k = -3*k. Suppose a = -k - 1. Is 1/5 not equal to a?
True
Let p(l) = 2*l**2 + 22*l + 19. Let h be p(-10). Is h < 2/285?
True
Suppose 0 = 4*d + 5*w - 29, 2*d - w + 3*w = 12. Is -1/13 at least as big as d?
False
Let o = -4.6 - -6. Let p = 0.6 + o. Let r = 1 - p. Is 1 at least as big as r?
True
Let l be (-333)/35 + (-2)/7. Let v = l - -10. Let m = -0.3 - -0.4. Which is smaller: m or v?
m
Let m = -0.01 + 0. Let s = 0.01 + m. Do s and -0.1 have the same value?
False
Let s be -1 + -3 - (-1 + 0 + -2). Is -1/124 at least s?
True
Let o(d) = -d**2 + 7*d + 5. Let u be (-10)/15 + 23/3. Let h be o(u). Which is smaller: h or 1?
1
Let t = 19 - 15. Suppose -n = -t*n - 9. Is -2 < n?
False
Let m be (-9)/3 - (3 + -6). Let a(g) = g**3 - 4. Let o be a(m). Is o greater than -3?
False
Let s be (-31)/6 - 2/(-12). Are s and -6 equal?
False
Let j(i) = 3*i + 14. Let z be j(-5). Which is bigger: z or -11?
z
Suppose 6 = o - n, 15 - 13 = -o - n. Is o < 2?
False
Let r be 132/(-315) + (-2)/(-7). Which is smaller: 0 or r?
r
Suppose 4*i = -0*o + 2*o + 22, -32 = -4*i + 4*o. Let t(r) = -r**3 + 4*r**2 - 2*r - 2. Let z be t(i). Which is bigger: 4/11 or z?
z
Let p = -2.99 + 3. Let z = -1.01 + p. Is 5 not equal to z?
True
Suppose -2*w - 2 = 3*k, k - 3*k = -4*w - 4. Suppose 5 = 5*b - k. Which is smaller: -3/7 or b?
-3/7
Let d(m) = -m**3 + 3*m**2 - 6*m + 6. Let r be d(4). Is r less than or equal to -34?
True
Suppose -3*r = -3*g - 30, r = -0 + 4. Let k be -2*(3 + 15/g). Is k equal to -1/5?
False
Suppose -5*n - y + 35 = -3*y, 2*y + 17 = 3*n. Let q be (2/18)/((-3)/n). Which is smaller: q or -1?
-1
Let a = -3362393/880 - -19103/5. Let y = a + 4/11. Let k = y + 7/16. Which is smaller: -0.1 or k?
-0.1
Let z = 6 + -7. Let u(y) = -y**3 + y + 1. Let t be u(z). Which is smaller: -2/15 or t?
-2/15
Let n = 22 - 10. Let l = -7 - 1. Let u = l + n. Which is greater: u or -0.1?
u
Let i(m) = m**2. Let k be i(2). Suppose 0*v - 26 = -2*w + 2*v, -w - 7 = k*v. Which is smaller: 10 or w?
w
Let x be (0 + 0)*(-4)/8. Which is smaller: x or 2/49?
x
Let t = 52 - 31. Is 18 at most t?
True
Let m be 2128/(-1860) - (1 - 2). Let v = 1/93 + m. Which is smaller: -1 or v?
-1
Let y = 1/4 + -3/4. Let o = -17/4 + 43/12. Is y greater than o?
True
Let s(g) = 2*g - 1. Let t be s(5). Suppose w = y + 4*y - 15, 0 = 2*y - 10. Is t greater than or equal to w?
False
Let o(f) = -f + 2. Let k be o(-3). Suppose 4*g - i - 5 = 10, -4*g = 4*i - 40. Suppose -u + g = 3*c, 2*c - 4*u + 5 = 13. Which is smaller: c or k?
c
Let a = -12 - -22. Let x = -47 + 233/5. Is a greater than or equal to x?
True
Suppose -13 = -a - 1. Let z = 11 - a. Which is bigger: z or 1?
1
Let r be (-1)/((-2)/(-30)*-1). Let m = -9 + r. Is 1/4 less than or equal to m?
True
Let o be (-8)/70 - 6/(-15). Is 1 at least o?
True
Let z(x) = x**2 - x - 3. Let c be z(0). Suppose 0 = -3*m + m + 5*b - 11, -4*m + 5 = -b. Let u be m/(-1 - 3)*4. Which is smaller: c or u?
c
Suppose 2*l - 2 = 2*g, l - 3*g = 5 - 4. Let v be (-4)/(l/(31/(-2))). Let t = v - 247/4. Which is greater: t or -1?
t
Let q = -57.62 + 58. Which is greater: -1 or q?
q
Let z be 0 + (-12)/(-1 + 3). Let o(b) = -b**2 + 15*b - 22. Let t be o(14). Let k = z - t. Is 1 != k?
True
Let t = 0.069 + 39.931. Which is smaller: t or 0?
0
Let h = 11 - 5. Suppose w - 3*w = h. Which is greater: w or -4?
w
Suppose -w - 4 - 6 = 0. Is -10 at most w?
True
Let p = -4.95 - -5. Let o = p - 0.05. Which is smaller: -1 or o?
-1
Let q = -2 + 0. Which is smaller: q or -1/2?
q
Suppose -5*f = -4*x - 4 - 19, 5*x + 70 = -2*f. Is x equal to -11?
False
Suppose -z + 5*z + 4 = 0. Which is smaller: z or 1/3?
z
Let v(o) be the first derivative of -o**3/3 + 5*o**2 - 6*o - 40. Suppose -2*b + 33 = 5*k - 5*b, 3*k - 31 = -b. Let l be v(k). Is l >= 2/5?
True
Let k(v) be the third derivative of v**6/120 + v**5/15 - v**4/6 + v**3/2 - v**2. Let s be k(-5). Is s less than -2?
False
Let v be -1 + 1 + -3 + 2. Let x be ((-2)/(-6))/(2/(-6)). Let s be (v/(-21))/(x/2). Which is greater: 0 or s?
0
Let w be ((-7)/(-2))/((-2)/(-2)). Which is bigger: -2 or w?
w
Let g = -0.64 - -0.22. Let q = 0.12 + g. Which is greater: -2 or q?
q
Let q be (15/130)/((-1)/166). Let c be 0 + -1 - (-2 + 20). Let u = c - q. Is -1 less than or equal to u?
Tr