a or -1?
a
Let u = 10 - 7. Suppose 2*a = 3*t - 29, -2*a = u*t - 4*t + 15. Let n = 11 - t. Is -1/4 less than or equal to n?
True
Suppose k - 3*i - 7 = 0, -5*i - 3 = -4*k + 18. Let w be (-2)/k*1*-12. Let p be 2/4*w/3. Does -3/8 = p?
False
Let w = -0.073 - -0.09. Are w and 0 nonequal?
True
Let p = -16/1035 + -2/69. Which is smaller: p or 1?
p
Let o(h) = -10*h - 24. Let g be o(-3). Which is smaller: 4/5 or g?
4/5
Let l be 1/((-27)/(-12) + -2). Let i be (6 - 2) + -2 - l. Is -2 greater than or equal to i?
True
Let c = 25 + -31. Let j(t) = t**2 + 4*t - 12. Let m be j(c). Is m greater than -1/24?
True
Let o(r) = -r**2 - 6*r - 6. Let u be o(-4). Let i be (-1)/(u + (-3)/3). Let n be (2 - 4/2)*1. Is i at most as big as n?
True
Let p = 0.2 + -0.3. Let x = 0.3 + p. Let r = 55 + -54.9. Which is smaller: x or r?
r
Let t(u) = 4 - u + 2 - 5. Suppose 0*i - 5*n = 5*i + 15, 4*i + 3*n + 7 = 0. Let j be t(i). Is j smaller than -1?
False
Suppose 0 = -4*c - 3*d - 8, 15 = -2*c + 5*c - 3*d. Let w = 8/221 - -20989/12376. Let g = 15/8 - w. Which is bigger: c or g?
c
Suppose 7*r = 4*r - 5*q + 11, r - 2*q = 0. Let n = 1 - 2. Let v be (-1 + n)/r + 0. Is v > -2?
True
Let d = 62 + -68.8. Let f = -7 - d. Which is smaller: -1/3 or f?
-1/3
Let j be 42/105 + (-177)/5. Which is greater: j or -36?
j
Let w(j) = -j**3 - 8*j**2 - 6*j + 9. Let m be w(-7). Suppose 0 = m*n - 2*l + 3*l + 16, -3*l = 2*n + 24. Let u = 8 - 13. Does n = u?
False
Let k be (1/10)/((-3)/12). Let w = 5 - 4. Which is bigger: w or k?
w
Let m = 1283 + -5105/4. Is m < 6?
False
Let d = 34.2 + -34. Which is bigger: 3.7 or d?
3.7
Suppose -2*f = -4, 2*v + 2*f + 269 = 5*v. Let k = v - 817/9. Let i = -5 + 4. Is k at most as big as i?
False
Let r = 1/3 - 17/45. Let z = 24 + -25. Which is greater: r or z?
r
Let p be -4 + 80/12 + 4 + -7. Which is greater: -0.04 or p?
-0.04
Suppose 0 = -5*k - 4*l - 13, 2*k - k - l = 1. Let n be (2*1)/(27/(-1596)). Let x = 118 + n. Is k < x?
True
Let r = 0.6 + 2.4. Let j = 30 + -28. Let h = r - j. Is 3 at least as big as h?
True
Suppose -13 = 4*x - 5*q, q = 3*x - 3 + 10. Let r be (1 + x)/(2/(-6)). Suppose -r*d + 15 + 6 = 0. Is 8 > d?
True
Suppose 0 = -5*a + 3*a. Which is bigger: a or -1?
a
Let k = -1 - -2. Let j be 2 - (5 - k/1). Let l be 1 - (3 + (j - 3)). Which is smaller: l or 2?
2
Let j(g) = 6*g - 6. Let b be j(-3). Let x be 9/b*12/90. Is 1 smaller than x?
False
Suppose 2 = -0*i + i. Let x = i + -1. Let r(p) = p**3 + 4*p**2 - 5*p + 1. Let l be r(-5). Is l equal to x?
True
Let k be (-1 - 10/(-6))*-6. Suppose 4*g - 3*g + 3 = 0. Is k > g?
False
Let h be (1/6*-1)/((-2)/(-9)). Is 0.13 < h?
False
Suppose 0*d = 4*d. Which is greater: -5/4 or d?
d
Let t = -4 + 3. Suppose 28 = 3*k + 2*o, 6*o - 55 = -5*k + o. Let z be k/(9/3) + t. Which is smaller: 0 or z?
0
Let m be (-5 + (-262)/(-52))/((-2)/(-72)). Does m = 2?
False
Let f(q) = -q**3 - 6*q**2 - 6*q - 1. Let v be f(-4). Let t be (-6)/v - 2/(-15). Which is greater: 2 or t?
2
Let c = 17.2 - 18.3. Let g = 1.32 - 0.22. Let p = c + g. Which is smaller: 2/3 or p?
p
Let f = 7.02 - -0.08. Let i = f - 7. Which is smaller: i or -0.4?
-0.4
Suppose 0 = -5*p + 1 + 14. Suppose 4*k = t - 21, -t - p*k = 2*k + 6. Which is bigger: t or 10?
10
Suppose 0 = -5*k - 2*n + 4, -2*k - 8 = -k - 4*n. Let f = 0.2 + 0.1. Let t = 0.4 - f. Is t greater than k?
True
Let q(t) = t**3 + 5*t**2 + 2. Let b be q(-5). Is b at most as big as 4?
True
Let z = 959/9831 + 2/339. Which is greater: z or 0?
z
Let x = 874/5 - 174. Which is smaller: 9/4 or x?
x
Let j(k) = 5*k**2 - 16*k + 1. Let w = -29 + 20. Let a(i) = i**2 - 4*i. Let m(n) = w*a(n) + 2*j(n). Let t be m(-4). Which is smaller: t or 4?
t
Let m(t) = -t + 1. Let i(h) = 2*h - 3. Let a(g) = -6*i(g) - 11*m(g). Let k be a(5). Let s be k/4 - 1/2. Which is smaller: 1 or s?
s
Let u(m) = 2*m**3 - 9*m**2 - 4*m - 13. Let x(w) = 3*w**3 - 13*w**2 - 6*w - 19. Let o(v) = 7*u(v) - 5*x(v). Let s be o(3). Which is greater: 0 or s?
s
Let c(o) = o**3 - o**2 - 2*o. Suppose -6 = 4*g - 14. Let q = g - 0. Let w be c(q). Is w less than or equal to 0?
True
Let v be (-3)/(-9) + (-6)/(-9). Let b be 0 + (v/(-5))/1. Are b and 0 equal?
False
Let l = -1.2 - -7.2. Let r = -17 + 24. Let n = r - l. Is n > 2/5?
True
Let q(p) be the first derivative of p**2/2 + 8*p + 2. Let g be q(-8). Suppose -3*w + 4*a + 8 = w, w + a - 10 = g. Which is greater: 5 or w?
w
Let t = 32 + -14. Let v be 3/t - (-174)/36. Which is smaller: 3 or v?
3
Let p be (2 - 0/4) + (-1 - -8). Is p <= 2?
False
Let j be (-10)/12 - 11/(-66). Let f = 1 - 1. Is j greater than or equal to f?
False
Let t be 12*((-3 - -2) + 3). Let m = t + -14. Which is smaller: m or 11?
m
Let z be 35 - 39 - (-4 - (1 - 0)). Let y = -25/6 - -23/6. Which is bigger: z or y?
z
Let f be 4/(-8)*-4 - 1. Let m be f/(-3)*9/6. Which is smaller: m or -3?
-3
Let v = -25 - -14. Let h = -11.9 - v. Let i = h + -0.1. Which is smaller: -0.1 or i?
i
Let c(i) = 3*i + 38. Let m be c(-13). Which is smaller: m or -2/147?
m
Let u = 36 + -26. Let j = -11 + u. Is j bigger than -1?
False
Suppose 22 + 13 = 5*j. Which is smaller: 12 or j?
j
Suppose 2*h - 5*h = 5*w + 9, -3*w = h + 7. Let c be h/(-10)*5/4. Is -1 less than or equal to c?
True
Let j be ((-830)/30)/((-10)/(-6)). Let w be 2/7 - 1154/70. Let z = j - w. Is z greater than 1?
False
Let d = 7 + -5. Suppose 9 = p - d*y - 3*y, y - 11 = -3*p. Suppose -3*c = -5*c - p. Is c smaller than -1?
True
Let r = 1 - 2. Suppose 0 = -5*k, -4*f + 5*k = 3 + 1. Is f not equal to r?
False
Let r be (-9)/((-9)/4) - (0 - -3). Is 3/20 greater than r?
False
Let f(g) = -3*g - 4. Let z be f(-2). Suppose 4*d - 2*d - z = 0, 2*c = -5*d + 5. Is c at most as big as -3/14?
False
Let n = 8 - 13. Suppose -j + 18 = -5*l, -3*j - 6 = -l + 2*j. Is l smaller than n?
False
Let l(d) = d**3 - 9*d**2 + 11*d - 11. Let u be l(8). Is u > 12?
True
Suppose 2*p = -3*p - 5. Let m be 12/(-7) - (-1 + p). Which is bigger: -1 or m?
m
Let m be 20/(-8)*(-6)/5. Let a = -3/34 - -179/102. Which is smaller: m or a?
a
Suppose -3*z + 4*v = -8*z - 7, -2*z = v + 1. Let q(d) = -d**3 - 3*d**2 - d + 1. Let k be q(-2). Which is smaller: z or k?
k
Let d = 31/68 - 12/17. Let t(j) = -j**3 + j**2 - j + 2. Let f be t(0). Suppose -f*m - 3*m = 5. Which is smaller: d or m?
m
Let y = -61 + 54.3. Let d = y - 1.3. Let c = d + 6. Which is bigger: c or 2/3?
2/3
Let s = 1 + -10. Let i = s - -25/3. Is i > -2?
True
Suppose 4*g + 0*g + 16 = 0. Let p(m) = 3*m**3 - 10 - 6*m**3 - 8*m - 8*m**2 + 2*m**3. Let u be p(-7). Which is smaller: u or g?
g
Let k = 10 + -15. Let d(v) = -v**2 + 2*v + 1. Let m be d(3). Let j be -3*(-2 + (-6)/m). Which is smaller: k or j?
k
Let v(a) = a**3 - 11*a**2 + 11*a + 7. Let w be v(10). Suppose h + 19 = 5*i, 7*i - 3*i - w = -h. Is i less than 5?
True
Let m = -107 + 95. Which is bigger: -10 or m?
-10
Let h = 14 - 0. Let r = h - 15.3. Are r and 1 equal?
False
Suppose -3*x + 5*u + 17 = 0, 6 = -5*x + 7*x - 2*u. Does x = -2/123?
False
Suppose 0 = -3*s + 2*s. Suppose -6*c + 4*c = s. Which is smaller: 2/9 or c?
c
Let s(h) = -h - 2. Let g be s(-2). Which is smaller: -7/8 or g?
-7/8
Suppose 0*g + 1 = -3*g + 4*o, 2*g = -3*o + 5. Which is greater: 2/85 or g?
g
Suppose 0 - 5 = -5*t. Is t equal to 2/9?
False
Let h = 0.4 - 0.4. Which is bigger: h or -1/4?
h
Let m = -13 - -10. Let k(u) = u + 4. Let d be k(m). Which is bigger: 0.2 or d?
d
Suppose 3*b - 1 - 29 = 0. Let c = b + -5. Let n be (-2)/c - 2/(-5). Which is smaller: n or -2/5?
-2/5
Let g(l) = -l**3 - 9*l**2 + l + 5. Let u be g(-9). Let b be (-11)/3 + 2/3. Is b greater than or equal to u?
True
Suppose 4*i + 4 = -p - 2*p, 2*i = 5*p + 24. Let r be 9/12 + i/(-8). Is 2 at least r?
True
Suppose -5*p + 5 = -4*m + 3*m, 4*p = 2*m - 2. Suppose 2*g + 2*n = -0*n - p, -4*g - 2*n - 14 = 0. Is g smaller than -3?
True
Let g = -3.7 - -4. Let n = g + 1.7. Let v = -27 + 28. Is v at least as big as n?
False
Suppose -5*q = 5*h + 5, -3*q = -2*h + 2 + 1. Let s be 159/1494 + q/6. Let o = 158/1245 + s. Which is smaller: 0 or o?
0
Let k = 23 - 15. Suppose 2*r + k = -2*r. Is -0.1 smaller than r?
False
Let s(a) = -a**2 - 10*a - 16. Let l be s(-8). Let b = 500/7 + -71. Is l greater than b?
False
Let c = 37 + -38. Is -4/59 less than or equal to c?
False
Suppose 2*z - 7 = 9. Is z at least 7?
True
Let t be (-5)/((-15)/6)*2. Suppose t*p = -2*u - 8, -2