?
-1/3
Suppose 5*c - 3*c + 24 = 0. Let q = c + 10. Is q at most as big as -3/2?
True
Let d be (-3 + 365/120)*-2. Which is bigger: d or -1?
d
Let y = 99 - 104. Which is smaller: y or -40/9?
y
Let f = -0.202 + 0.002. Are -3 and f nonequal?
True
Let f = -8 - -5. Suppose -z = 2*o + 10, 0 = -0*o + 4*o - z + 14. Let x = -7 - o. Is x less than f?
False
Let d be -2*(-2 - 13/(-2)). Let a be (-3)/(d/(-6)) - -47. Let x = a - 223/5. Which is greater: x or -1?
x
Let t = 13 + -18. Let b(v) = v**3 + 6*v**2 + 5*v - 2. Let f be b(t). Is f < 3?
True
Let x be 0/(0 - (3 - 4)). Is x less than or equal to 1/33?
True
Let l be (0/(-2))/(0 + 2). Let d(f) = f**2 + 4*f + 1. Let r be d(-4). Is r > l?
True
Suppose 59 = -4*h - 0*h + 3*n, 3*n = -3*h - 60. Are h and -16 nonequal?
True
Let v(w) = -4*w**3 + 5*w**2 + 6*w + 7. Let r be v(-3). Let g = -10153/3 - -3244. Let s = g + r. Is 1 >= s?
False
Let b = -3.3 - 0.7. Let x = 0 - b. Let i = x + -3. Is i > 0.1?
True
Suppose -8*f + 4*z - 6 = -3*f, -2*z + 6 = -f. Suppose x = -2*j + 4, 0*j = -x - j + f. Let k = -43 + 130/3. Is k smaller than x?
False
Let j be 11 - (0 - (1 - -2)). Let k be (-4)/j + 17/(-14). Which is greater: -3 or k?
k
Let f(p) = p**2 + 4*p + 1. Let y be f(-3). Suppose 15 = -8*z - 17. Which is smaller: y or z?
z
Let d = -2.9 - -1.9. Which is smaller: d or -20?
-20
Let r = -0.5 - 0.5. Let t = r - -0.8. Is t less than -0.2?
False
Let f be 6/(-4) - 9/6. Let a be f/(-14) + 4/14. Let i = -13 - -51/4. Which is bigger: a or i?
a
Let v = 1 - 0. Let g = v + -5. Let r = -4 - g. Which is bigger: r or 0.2?
0.2
Let l be (-8)/5 + 15/25. Let q = 0 + -1. Is l bigger than q?
False
Let w = -5.9 + 6. Let u = -1 + 3. Which is greater: w or u?
u
Let t be 7/(-12) + 2/3. Let r = 3 + -4. Is r < t?
True
Let h(l) = -l**2 + 8*l + 9. Let i be h(9). Are i and 1/4 equal?
False
Suppose 6*r = 7*r + 11. Let k be r/44 + 2/8. Which is greater: k or -2/33?
k
Suppose 0*z - 2*z = -2. Which is bigger: z or 1/68?
z
Let h(w) be the third derivative of -w**4/12 - w**3 + w**2. Let g(p) = 5*p + 17. Let i(n) = -3*g(n) - 8*h(n). Let b be i(5). Which is smaller: 0 or b?
0
Let g = -8.5 + 8. Let a = g - -0.3. Are a and 0.2 equal?
False
Let x = -51 - -252/5. Let p be -1 + -1 + (2 - 2). Let y = p - -1. Which is greater: y or x?
x
Suppose 5 = 2*o + 5*w + 3, -o - 3*w = -1. Which is greater: 30 or o?
30
Suppose -4*m - 3*u + 3 + 8 = 0, -5*u + 7 = m. Is m greater than 3?
False
Suppose -5*q = k - 0*q + 17, k - 10 = 4*q. Let i = -4 - k. Let o be (-2)/(-9)*(-8 - -2). Which is greater: i or o?
o
Let r be (-3 + 20/8)*-12. Which is bigger: 4 or r?
r
Suppose 4*g = 5*g - 1. Which is greater: -2 or g?
g
Let v = 1998/7 - 285. Which is smaller: -8 or v?
-8
Let h(q) = q**3 + 5*q**2 + 4*q + 1. Let t be h(-4). Are 7/8 and t nonequal?
True
Let j be (-8)/(-36) - 4/18. Suppose -2*c + 5*c = -21. Let n be 2 + c*(-4)/(-10). Which is smaller: j or n?
n
Let r(j) = -j**2 - 3*j - 7. Let h be r(-3). Is -7 smaller than h?
False
Suppose 12 = -0*q - 3*q, 4 = -2*p - 2*q. Let z = p - 3. Is -1/4 != z?
True
Suppose -3*i + 5 = -13. Is i smaller than 4?
False
Let j = 4 + 6. Let o be j/(-15)*12/(-10). Which is bigger: o or 0?
o
Let a = -3.2 + 5.2. Let v be 32/36*(-2)/8. Are a and v non-equal?
True
Let m = 726195/13 + -55833. Let i = 28 - m. Which is smaller: 1 or i?
i
Let u be (1/(-34))/(1/(-6022)). Suppose 9*s - 210 - 1383 = 0. Let t = u - s. Which is bigger: t or -1?
t
Suppose 0 = -2*c - 8 + 2. Let q be 12/c - (-6 + 4). Is -3 >= q?
False
Let b(q) be the first derivative of 3*q**2 + 6*q - 1. Let s be b(-6). Let o be (-14)/s - (-2)/6. Is 2 <= o?
False
Let g(v) = v**3 - 6*v**2 - 4. Let c be g(6). Let u be (1/c)/((-11)/(-8)). Which is bigger: u or -1?
u
Let d be (4 - (-33)/9)*(-1 - 2). Which is smaller: -22 or d?
d
Let w(l) = l. Let h be w(-1). Let q = 15 - 21. Let z be (-21)/90 - q/(-36). Which is smaller: z or h?
h
Suppose -8*i + 10 = -6. Suppose 3*u + 16 = 4*n + 7*u, 0 = -2*n - 4*u + 8. Suppose -5*q + n = 2*z, -3*z + 2*z + i = -2*q. Are q and 4/9 non-equal?
True
Let t = -0.3 + 11.3. Which is smaller: -0.1 or t?
-0.1
Suppose 0 = i + q + 4 + 5, 5*i + 2*q = -42. Let m be (i - -2)/(9/(-12)). Let s be (-2)/m - 2 - -2. Is 1 less than s?
False
Let s = -7 + 7.5. Which is bigger: -1 or s?
s
Suppose -2*l - l = -3. Suppose 0*a - 5*g = 5*a + 50, -a = 5*g - 2. Let p = -17 - a. Which is smaller: p or l?
p
Let g(z) = -2*z**2 + 6*z - 3. Let o be g(1). Are 2/79 and o equal?
False
Let h = 338 + -675/2. Let b = 1 - -1. Let v be 0/1*b/2. Is h greater than v?
True
Suppose -2*l + 7*l = -p + 7, -4*p - 8 = 2*l. Let g be 33/90 + (-1)/l. Is -1 bigger than g?
False
Let o(j) be the second derivative of j**4/12 - j**2 - 5*j. Let z be o(-2). Is -4 less than or equal to z?
True
Let d = 1.1 + -1.5. Is d equal to -1/3?
False
Let k(d) = -6*d**3 + 2*d**2 + 2*d + 1. Let v(x) = -x + 8. Let c be v(9). Let b be k(c). Which is smaller: b or 9?
b
Let v = 0.6 + -0.4. Which is smaller: v or -3/8?
-3/8
Let s = -3 + 1. Let f = s + -1. Let q(y) = -y**3 - 2*y**2 + 2*y - 3. Let c be q(f). Which is greater: -1 or c?
c
Let c(w) = 4*w - 4. Let f be c(-5). Let p be (-6)/(-3) + 46/f. Are p and -1 equal?
False
Let w = -7 + 4. Let o = w - -2.6. Is o <= -2/7?
True
Let m(u) = -5*u**3 + u**2 - 2*u + 1. Let y be m(1). Let a = -2 - y. Which is bigger: a or 4?
4
Let x = -0.69 - 0.31. Which is bigger: x or -4.1?
x
Let f be 2 + 1 + 3 + -3. Suppose -4*j = -f*t - 11, -4*j - 4*t - 36 = -12. Is j < 3/11?
True
Let d be (18/15)/3*-5. Suppose 3*j - 6 = -0*j. Suppose -15 = l - 3*m, -l + 10 = -2*l + j*m. Does l = d?
False
Suppose 2*f = 2*s + 2*s - 42, 3*f + 27 = 3*s. Let i = 19 - s. Let u = i - 8. Is u > -1/5?
False
Let o be -3 - (0 - 1) - -52. Let v be 3 + (-212)/o + 1. Let r = 4/25 - v. Which is smaller: 1 or r?
r
Let p be (-100)/66*(-36)/20. Is 2 greater than or equal to p?
False
Suppose 0 = 3*r - r + 2. Which is smaller: r or -1/8?
r
Let p = -5 + 4. Which is smaller: p or -2?
-2
Suppose -3*o = -3*r + 12, 3*o = -r - o + 19. Let y(k) = -10 - 7*k**2 + 0*k + k + k**3 + 0*k**3. Let u be y(r). Which is smaller: 1 or u?
u
Let y be 6/(-10) - (-36)/10. Suppose -g + 2*g + y = 0. Which is smaller: g or -2?
g
Let j(x) = x**3 + 19*x**2 + 17*x - 20. Let i be j(-18). Suppose 0*d + 4*d + 8 = 0. Are d and i equal?
True
Suppose -3*d + 7 = -m - m, -2*m - 2*d - 2 = 0. Let k = 0.06 + -4.06. Which is bigger: k or m?
m
Let a = 5 - 6. Let s = -124 - -622/5. Which is greater: s or a?
s
Let x(g) = g**2 - 10*g + 7. Let c be x(9). Let t be (c/5)/(6/(-5)). Which is bigger: 1 or t?
1
Let n be ((-4)/(-14))/(4/6). Let h(c) = 6*c + 24. Let s be h(-4). Is n >= s?
True
Let w = -0.082 - -0.1. Are w and 2/7 non-equal?
True
Suppose 0 = 4*g + g + 3*i - 166, 0 = -2*g - 2*i + 64. Let x be 1*(-2 + 1) - g. Let m be (0 - (-2)/x)*4. Which is smaller: 0.2 or m?
m
Let k be (-2)/9 - 10/36. Let d = 0.45 - 0.25. Is d < k?
False
Let o = 2.3 - 2.5. Suppose -5*m - 4*x + 0*x = 25, -x - 5 = 0. Do m and o have the same value?
False
Let c(h) = h - 4. Let a be c(3). Which is smaller: -4/13 or a?
a
Let w = 51.9 + -54. Let i = w + 0.1. Which is smaller: 8 or i?
i
Let l = 4 + -1. Suppose 0 = -l*v + x - 2*x - 16, -5*x - 8 = 3*v. Is v at most -6?
True
Let x = -738/7 + 105. Suppose -3*g + 5 = -1. Suppose g*t + 1 + 1 = 0. Which is bigger: x or t?
x
Let u be (24/9)/((-4)/(-6)). Suppose -u*i = 3*h - 2, 2*h - 5*i = 19 + 13. Are 5 and h equal?
False
Let d(v) = v**2 - 1. Let k be d(0). Let n be (-5 - -8)*(-37)/246. Let j = -2/41 + n. Which is greater: k or j?
j
Let z = -6 - -10. Suppose -58 = 2*d - 4*d - k, z*k = -5*d + 142. Let g be 4/d*25/30. Is g greater than or equal to 0?
True
Let q = -9973/13 + 766. Which is bigger: 0 or q?
0
Let l be (-6 - -5)*0/1. Are l and 1/7 non-equal?
True
Suppose -6 = -g + z, 2*g = 5*z + 26 - 5. Suppose -3*m = -5*m + g*j - 6, -3*m = -2*j + 4. Which is smaller: m or -0.1?
-0.1
Suppose -3*q = -7 - 2. Suppose 0 = -0*o - 4*o + 16. Suppose 2*g + o*z - 4 = 0, 0 = -4*g - 0*z - q*z - 12. Is -4 > g?
True
Let n be (-234)/52*(-1 + 58/(-12)). Is n at most 27?
True
Suppose -65 - 17 = -2*n. Which is bigger: 39 or n?
n
Let v = 18 - 18. Suppose 0 = 5*b - 3*x + 1, b + x = 3*b. Let l = b + v. Is l >= 2/11?
True
Let f = -0.16 + 0.2. Let t = -1.59 + -0.45. Let r = t + f. Are 2/3 and r non-equal?
True
Suppose 0*w + w = 30. L