 or j?
j
Let z = -243/94 - -4/47. Let f = z + 2. Which is bigger: -1/3 or f?
-1/3
Let f = -4.081 + 0.081. Which is smaller: 5 or f?
f
Let i = 11976 - 47579/4. Let z = 82 - i. Is 1 greater than or equal to z?
True
Let t = -7 + 8. Is 0 at least as big as t?
False
Let g(w) = w**3 + 8*w**2 + 8*w + 6. Let p be g(-6). Suppose 3*q + 6 = p. Let y be q/30*(-3)/2. Which is bigger: y or -2/3?
y
Let o(y) = y**2 + 9*y + 14. Let m be (14/(-6))/(3/9). Let k be o(m). Which is bigger: 5/6 or k?
5/6
Let f be (2/(-5))/((-12)/(-1635)). Let i = -50 - f. Which is bigger: i or 0?
i
Suppose 3*k + 2*k - 5 = 0. Suppose 8*n - 3*n = 60. Let d = n - 12. Which is smaller: d or k?
d
Let j = 8 + -6. Let t = -5 + j. Let z = 2 + t. Is -1 smaller than z?
False
Let k(n) = -n**3 + 9*n**2 - 9*n + 11. Let w be k(8). Suppose 2*o - 10 = -4*u, -2*o + 11 = 5*u - 1. Does w = o?
False
Suppose -26 = -3*w - 4*o, 0*w - w - 5*o = -16. Suppose -5*t + 0*t - 3*v - w = 0, 4*t + 8 = -4*v. Which is smaller: t or -7/5?
-7/5
Let a be (3 - (-1 + 3)) + 31. Let h be (-6)/4*a/(-12). Suppose -1 = -h*s + 5*s. Which is smaller: 1/4 or s?
s
Let v be (-294)/74 - (-6 + 2). Does -1 = v?
False
Suppose 5*z + 8 + 18 = 4*u, -5*z = 5*u - 10. Let s be (-2)/u*(-4 + 0). Which is bigger: 1/2 or s?
s
Let v(m) be the first derivative of m**3/3 - m + 3. Let h be v(2). Is 7/4 less than or equal to h?
True
Let q be (-4)/22 + 63/(-77). Is -13/5 less than or equal to q?
True
Suppose 45*j - 44*j = -1. Which is bigger: j or 3?
3
Let r(j) = -j**2 + 5*j - 1. Let y be r(5). Let x = 8 - -12. Let c be (1/(-10))/((-10)/x). Are y and c equal?
False
Suppose 6*g - g = 5. Let l = 1.039 - 0.039. Are l and g equal?
True
Let y be (-2 + 9/6)*-2. Let f be (-2 - -4)*(-2)/(-30). Is y equal to f?
False
Let f = 18 + -17. Which is bigger: f or -1/8?
f
Let v be (0 + 2)*(3 + -1). Let m(q) = -q**3 + 3*q**2 + 5*q - 3. Let n be m(v). Is -1 bigger than n?
False
Let o = -22 + 18. Is o bigger than -5?
True
Suppose 20 = -6*f - 4. Is f at least as big as -1?
False
Let h be 2/((-18)/(-24)*16/6). Let p be (-5)/2 - (-3 - -1). Which is bigger: h or p?
h
Let t(j) = -j**3 + 7*j**2 + 9*j - 2. Let a be t(8). Let r = a + -3. Is r bigger than 2?
True
Suppose 0 = 4*f + 4*l + 4, -7*f + 5*l = -3*f + 40. Are 0 and f equal?
False
Suppose 5*m = -0*m + 10. Suppose m*g - 3*g - 1 = 0. Let c(y) = -3*y**2 + 1. Let t be c(g). Which is bigger: t or -2/3?
-2/3
Let s = -9 + 4. Let i = s + 14/3. Are 3/2 and i unequal?
True
Suppose -9*h = 4 + 5. Is h less than or equal to -2/581?
True
Let d(j) = j**3 - 10*j**2 + 9*j + 13. Let m be d(9). Let i = 9 - m. Which is greater: -16/5 or i?
-16/5
Let p = 0.116 + 4.784. Let y = p - 5. Is y != -0.1?
False
Let r be 2/3*9/2. Suppose r*j = 4*j. Which is greater: j or -4/5?
j
Let p = -62.8 - -63. Which is smaller: -0.12 or p?
-0.12
Suppose -l = -5*b + 2*l - 52, -4*b = 3*l + 20. Which is smaller: -25/3 or b?
-25/3
Suppose -8*c = -11*c + 48. Do c and 33/2 have the same value?
False
Suppose 8*o - 3*o = 0. Let j = -15 - -14.99. Which is smaller: o or j?
j
Let n(i) = i**3 - 9*i**2 + 2*i - 10. Let s be n(9). Suppose 0*p - 4*p = -s. Does 1 = p?
False
Let z = -1255 - -119224/95. Which is bigger: 1 or z?
1
Let q = -0.4 + 0.1. Let t = -1.5 + 1.5. Is q less than t?
True
Let c = 6.65 + -6.9. Do -2 and c have the same value?
False
Let k = -19 - -24. Which is greater: 11/3 or k?
k
Let d = -0.2 + 1. Which is smaller: d or 0.2?
0.2
Let a = 16 + -11. Suppose -s + 11 = -5*c, -a*s - 3*c + 1 = -c. Which is smaller: 2/5 or s?
2/5
Let z be ((-18)/225)/(2/(-4) - 0). Is z >= 1?
False
Let i(n) = -3*n + 15. Let d be i(5). Let f be 4/10 + (-24)/(-140). Which is smaller: f or d?
d
Suppose t = -3*t. Let l be 2*(-4)/48 - (-50)/(-132). Are t and l non-equal?
True
Let d be 4/3 + 10/(-15). Is -0.2 less than or equal to d?
True
Suppose 0*p - 3 = 3*p. Are p and 1/17 non-equal?
True
Let l = -10 - -9. Are l and -4 equal?
False
Let l be 2*4/16*0. Is 5 less than or equal to l?
False
Let f = -239584/109 + 2198. Is 1 at least f?
True
Let n = -4 - -11. Suppose -2*f + 3*a - 5*a + 4 = 0, 3*a = -15. Is f at least n?
True
Suppose 1 = c + 3. Is -2/3 != c?
True
Let r be ((-2)/3)/(3/99). Is -23 < r?
True
Let f(m) = -m**3 + 7*m**2 - 4*m - 6. Let d be f(6). Suppose 5*y = d + 14. Suppose 2*l = 2*z + y, -2*l = l + z - 2. Is l at least -2?
True
Let o = 0.061 - -0.939. Which is greater: o or -5?
o
Let s be (-2)/(-20)*(-2)/(-1). Let j(x) = -x**3 - 4*x**2 + 5*x + 4. Let i be j(-5). Let p be (-2)/(-4) - (-2)/i. Which is smaller: s or p?
s
Suppose 11*b - 10*b = 0. Is -2/19 at least b?
False
Let a(n) = n - 1. Let q be a(2). Which is greater: q or 2/3?
q
Let b = 0.1 + 0. Let c be ((-6)/(-2) - 1) + -3. Is c greater than b?
False
Let r be (0 + 16/52)*(-3)/(-2). Which is greater: r or 4?
4
Let y = 81 - 241/3. Let k(i) = -i + 10. Let a be k(0). Suppose w = -2*s + 5*w + a, 3*w + 9 = 3*s. Which is greater: y or s?
s
Suppose 3*z = -z + 44. Suppose 0 = 5*w + 5*m - 105, z + 11 = w + 2*m. Suppose w = 4*t - 2*u, -4*t - u = -25 + 5. Is t > 4?
True
Let l(k) be the first derivative of -k**4/4 + 2*k**3 + 4*k**2 - 8*k - 1. Let r be l(7). Are -0.1 and r equal?
False
Let a be (-5)/5 - (8 - (2 - 0)). Are 2 and a unequal?
True
Let l = 3.94 - -0.06. Let g = -0.24 + 1.24. Let p = l - g. Which is smaller: -0.1 or p?
-0.1
Let d be (-3)/(84/32*1). Are -0.2 and d unequal?
True
Suppose -q + 13 = 4. Does 10 = q?
False
Let l = -264/7 + 69161/1834. Let j = 1577/1310 + l. Let q(i) = -i - 4. Let n be q(-4). Which is greater: n or j?
j
Suppose -6*n + 66 = -3*n. Let l = n + -22. Is l <= 6/17?
True
Let v = 11 + -7. Let x = 15 + -9. Suppose v*a = x*a. Does a = -1/4?
False
Let z = 2/21 + -52/105. Which is bigger: 0 or z?
0
Let x(p) = p + 10. Let z be x(-7). Let f = 0 - z. Which is greater: -4 or f?
f
Let a(v) = 3*v**2 - 1. Let y be a(2). Suppose 3 = -4*g + y. Suppose 3*x + 5*o = -39, g*o = x - 3*o - 7. Is x less than -8?
False
Let d be (-6)/9 - 25/(-15). Let u = 21 + -15. Let a be (-2)/u - (-6)/14. Which is greater: a or d?
d
Suppose -3*f + 2*m - 3 = 16, 5 = f + 5*m. Let i = 0 + -5. Is i at most as big as f?
True
Suppose 47 = -5*q + 142. Suppose 0 = 2*m - m - q. Do m and 19 have the same value?
True
Let q = 63 + -64. Which is smaller: q or -8?
-8
Let p(v) = -v**2 - 16*v - 14. Let u be p(-15). Which is bigger: u or 4?
4
Let l = -8 - -8.3. Let c = l - 0.5. Which is bigger: -3 or c?
c
Let q(m) = -m**3 + 10*m**2 + 12*m - 12. Let a be q(11). Which is smaller: 11 or a?
a
Let c be ((-1)/1 - -1)*1. Let t = -11 - -10.9. Is t at least as big as c?
False
Let b = 16 - 15. Is b <= -2/5?
False
Let z = 5 - 7. Let y = -0.9 - -1. Is y >= z?
True
Let d(v) = 40*v**3 + v**2 - 1. Let o be d(-1). Let z = o + 198/5. Which is greater: z or 0?
0
Let t = 1 - 9. Let u(a) = a + 16. Let c be u(t). Let h = c - 8. Which is smaller: h or -2/5?
-2/5
Let a(k) = 244*k**2 - k. Let s be a(-1). Let b = -489161/11 - -44714. Let q = b - s. Which is smaller: q or -1?
-1
Let t be (-5)/2*(-6)/5. Let f be -2 + (-22)/(-5) - t. Let y be (-2)/4*(-2)/(-4). Is f at most y?
True
Let v = -12 - -12. Is 1/85 at most as big as v?
False
Let m = 8.03 - 8. Is 1/3 at least m?
True
Let l = 43 + -21. Let y = -18.2 + l. Let u = 4 - y. Is u bigger than -2/11?
True
Let f(o) = -o**2 + 6*o + 8. Let l be f(7). Let g be -13 + 2 + (l - -2). Let v = -1.1 + 1. Is g at least v?
False
Let d = 14.7 + -15. Which is greater: d or -0.04?
-0.04
Let n = -25 + 24.9. Is n bigger than 25?
False
Let y be 16366/120 + 2/(-8). Let q be 2*(3 - (1 - -70)). Let z = q + y. Which is greater: z or 0?
z
Suppose -5*m + 2 = -g, 9*m - 4*m + 4 = -2*g. Let w be -1 - (-1)/2 - 19/(-14). Which is smaller: m or w?
m
Suppose 0 = -0*j + 2*j - 10. Suppose -2 = -j*y - 3*u, -4*u = 3*y - u. Is 2 > y?
True
Let l be (-3)/21 + (-40)/14. Let n be (-6)/l - (-10)/(-7). Are n and 2 unequal?
True
Let c = 88 - 76. Which is bigger: c or 34/3?
c
Let v be (-9 - -19) + (0 - 0). Let w be v/(-3) + 2/6. Is -3 at least as big as w?
True
Let q = -2123/532 - -21/76. Which is smaller: -5 or q?
-5
Suppose 3*f - 15 = -4*x, 2*x = -2*x + 5*f - 25. Let u be (x + -1)*(-1 + 1). Let k(h) = h**2 - 6*h + 4. Let r be k(5). Is r > u?
False
Let d(o) = 8*o + o**2 + o**3 - 6*o**2 - 2*o**2 - o**2 - 8. Let w be d(7). Let k be 0 + (w - (-4)/2). Is 1/2 > k?
False
Let m = 116 - 115. S