d*y. Do y and -1 have different values?
True
Let g = -0.004 - 0.096. Which is greater: -1 or g?
g
Let s = -0.58 - 0.4. Let b = 0.02 - s. Which is bigger: b or 2?
2
Let n(y) = 4*y + 33. Let p be n(-8). Is p at least -5/17?
True
Suppose 3*x - 5*x = 4. Let n(m) = -m. Let s be n(1). Let j be (x - -2*1)/s. Which is smaller: -1 or j?
-1
Let x be ((-4)/(-6))/((-10)/(-15)). Which is smaller: x or -1/20?
-1/20
Let h = -116/3 - -39. Let p = 0.8 + 0.2. Is p < h?
False
Suppose 2*r + 3*r + 2*n = 12, -2*r - 5*n + 9 = 0. Let s be 9/(-3) + (0 - r). Which is smaller: -4 or s?
s
Let y be (-135)/12*(-4)/(-10). Let b = -22 + 16. Which is bigger: y or b?
y
Let t(o) = 3*o**3 + o**2 + o + 1. Let d be t(-1). Let r be (7/28)/((-3)/18). Which is smaller: r or d?
d
Suppose -4*z + 21 = -z. Suppose z*w = 4*w. Is w less than 1/18?
True
Let i be ((-7)/(84/8))/(6/6). Are 0.14 and i unequal?
True
Let o(r) = 5*r**2 + r - 1. Let w be o(1). Suppose v - w*v = -8. Let a be -2*-2*(-1)/v. Which is smaller: -2/3 or a?
a
Let z be 6/8 + 19/(-4). Let m be (-3)/(-12) + (-3)/z. Let v = -27/4 + 77/12. Are v and m equal?
False
Let w be (-2)/6 + 5/(-12). Suppose -2*z = 3*x - 24, -3 = -2*x + z + 6. Suppose 3*s - 3 + x = 0. Which is greater: w or s?
w
Suppose 0 = -10*d + 14*d + 20. Let i be (-9)/195 - 1/d. Which is smaller: 0 or i?
0
Suppose -p = -2*i + 2 - 3, -8 = 2*p + i. Which is smaller: -8/3 or p?
p
Let l = 25 - 76/3. Which is smaller: 1/4 or l?
l
Let m be (2/(-10))/((-8)/740). Are 18 and m equal?
False
Suppose s + 4 = -2. Let o = s + 8. Suppose 8*v + o = 5*v + b, v = -2*b + 4. Is 3 at least as big as v?
True
Let n = 0.61 - -0.39. Is n greater than or equal to -0.1?
True
Let z be (-5)/(100/52) + 2. Which is smaller: -1/5 or z?
z
Let k = -50 - -48. Let y = 20 + -5. Let c be ((-2)/(-20))/(k/y). Is -2 at least c?
False
Let h be 16/20*(-45)/20. Which is bigger: -2 or h?
h
Let v = -7 + 4. Let j = v - -2. Are -2/7 and j nonequal?
True
Suppose -5*d + 0*d = 25. Let t = d - -5. Is t not equal to 6?
True
Let b(x) = -x**2 + 14*x - 10. Let y be b(14). Which is smaller: -13 or y?
-13
Let m = -5 + 4.97. Let r = m - -8.03. Is r less than 0?
False
Suppose -2*x - 4 = -4. Is x > -10?
True
Let c be 16/12*(-15)/(-12). Let m = 43/24 - c. Which is bigger: 0 or m?
m
Let u be (184/52 - 4)*1. Does u = 1?
False
Let d(b) = 3*b**3 + 2*b - 2. Let l be d(2). Suppose -4 - l = -5*c. Is c greater than or equal to 6?
True
Let u(h) = -h**3 - 3*h**2 - 3*h - 1. Let c be u(-3). Let z(o) = o**3 - 7*o**2 - 9*o + 9. Let b be z(c). Is b bigger than 1?
False
Let d = -0.3 + -0.2. Let q = d + 0.8. Is q bigger than 1?
False
Suppose 11*x - 5 = 12*x. Is 2 <= x?
False
Let w be 2/7 - 60/14. Let j = 48 - 52. Is j at least w?
True
Let k be 18/(-2)*(0 + -1). Which is smaller: 10 or k?
k
Let s = -0.2 - -1. Let x = 5.8 - s. Let d = 0.25 - 0.15. Is x bigger than d?
True
Let x = 0.39 + -2.39. Let o = 137/4 - 34. Is x less than or equal to o?
True
Let o(l) = -l**3 - 2*l**2 - 2*l - 4. Let p be o(-2). Which is smaller: p or 8/9?
p
Let i(x) = -x**2 + 4*x - 1. Let k(f) = -f**2 + 6*f - 3. Let s be k(5). Let j be i(s). Let c(p) = -2*p - 24. Let h be c(-13). Is h less than or equal to j?
True
Let z = 484/585 - 73/45. Let j = z + 6/13. Which is smaller: -0.1 or j?
j
Let c(o) = -o - 5. Let i(l) = l - 1. Let r be i(-6). Let b be c(r). Is b greater than or equal to 1?
True
Suppose -2*v = -2 - 0. Suppose -i = -v - 3, 5*i - 22 = -2*t. Which is smaller: -0.3 or t?
-0.3
Let k(p) = p. Let m be k(7). Let s be (-2 - 2) + 2 + m. Is 18/5 > s?
False
Let q = -0.7 + -2.3. Let k = -2 - q. Let n be -8 + (-5)/(25/(-38)). Which is bigger: n or k?
k
Let g(n) = -n**2 + 4*n - 1. Let v be g(3). Suppose -2*y = -7*y - h + 3, -5*y = 2*h - 6. Suppose s + v - 1 = y. Which is smaller: 1 or s?
s
Let k be (-2 + -1 + 3)/(-1). Suppose n + 0*n + 3 = 0. Let r be ((1 - 2) + 2)/n. Is r < k?
True
Let i be 0/(4/2) + 2. Let g be -10*(-1 + 3/i). Which is greater: g or -2?
-2
Let h be 4/18 - 68/(-18). Suppose 2*q = -5*a, q = -4*a + 8*a + 13. Which is bigger: q or h?
q
Let b = -2.62 - 0.38. Is -1/5 less than b?
False
Let z = 6 - 1. Let k = z + -7. Which is bigger: 0.4 or k?
0.4
Suppose -k - 4*o = -0*o + 8, 0 = -4*k - 3*o - 6. Let n be 1*(k + 1 + -2). Is -4/3 not equal to n?
True
Let o = 1.6 - -1.4. Which is smaller: o or -1?
-1
Let c = 3.2 + 0.8. Let n = 4.01 - c. Let s = 0.01 - n. Which is smaller: s or 1/2?
s
Let p = -4 + -1. Let t = 4 + p. Are 1/2 and t equal?
False
Let j = 11 - 57/5. Let v = 17 - 26. Let u = v - -8. Are j and u nonequal?
True
Let s = 4 - 5. Let z be 1/s + 0/1. Suppose -4*l - 4 = q + 3*q, 5*q = 5. Are l and z equal?
False
Let t = 10 - 7. Let i be -5*2/6*-1. Is t less than i?
False
Let f(q) = -q**2 + 3*q - 1. Let n be f(3). Let g = 16 - 16. Is n at most g?
True
Suppose 21*w - 20 = 17*w. Which is smaller: w or -8?
-8
Let s = 0.13 - 0.23. Let y be 10/(-48) + 1/3. Which is smaller: y or s?
s
Let b = 129/5 - 2461/95. Is 0 less than or equal to b?
False
Suppose 0 = 3*y + 5*k - 20, 3*k + 15 = 4*y - 2*k. Let t(h) = -h**2 + 6*h. Let b be t(y). Suppose 2 = 4*v - 2*z, b*v - 4 = -2*z + 3. Is v > 0?
True
Suppose z - 2 = 0, 2*z + 0*z - 13 = -3*d. Let i(o) = d*o**3 - 2 + 4*o - 4*o**3 - 3*o - 2*o**2. Let n be i(-3). Is 3 greater than or equal to n?
False
Let x = 1.5 - 0.6. Which is smaller: x or 1?
x
Let j = -82 - -82. Let m = 511/4 - 126. Is m > j?
True
Suppose 3*a - 5*a - 10 = 0. Is -3 < a?
False
Let q = -3.8 + 5. Let f = 0.2 - q. Is f at least 0.3?
False
Let g(s) = s + 5. Let r be g(-5). Suppose -3*y - 2*v = y - 2, 2 = 2*v. Does r = y?
True
Let f(m) = m - 3. Let n be f(2). Is 1/53 bigger than n?
True
Let n(t) be the third derivative of t**5/60 - t**4/3 + t**3/3 - 3*t**2. Let i be n(9). Suppose -i - 4 = -5*u. Which is smaller: 2 or u?
2
Suppose 2*n = 4*n. Let c = 135 - 133. Which is greater: n or c?
c
Let f = -3 - 0. Let d = -2.9 - f. Which is greater: d or -1/6?
d
Let c be 1 + (10 - -1)/1. Let x = c - 17. Are x and 0.1 equal?
False
Let i be 5/10 - (-6)/4. Let u be (-3 + 2)/(i/4). Let n = 1 + u. Is n less than or equal to 1/15?
True
Let l(a) = -1 + 6 + 4*a - a**3 + 3*a**2 - a + 0*a**2. Let b be l(4). Is 1 <= b?
True
Suppose 0 = -u + 3*m + m - 9, 2*m - 4 = 0. Which is greater: 3/26 or u?
3/26
Let w = -13 - -24. Let f = w + -6. Which is bigger: f or -0.1?
f
Let a be (-3)/((-63)/(-15)) + 4/(-14). Which is smaller: a or 1/19?
a
Let o = -27 + 39. Let m be (0 - 3)*o/(-9). Let h be 2*(-2)/(-4)*2. Which is smaller: h or m?
h
Suppose -5*o = 60 + 65. Is o greater than -24?
False
Let d = -0.04 - 3.96. Let b = -7 - d. Let p = b - -3.1. Do -0.1 and p have the same value?
False
Let i(d) = -d**2 - 5*d - 3. Let h be i(-2). Which is smaller: h or 23?
h
Let l = -36 + 22. Is -14 not equal to l?
False
Suppose f - 2 = x - 0, f = -4*x - 8. Let h = 2/283 - -841/1132. Are h and f equal?
False
Suppose 0 = -3*m - 0 + 18. Let i be 2/(-4)*(m - 4). Let v be 1*(7 + i)/(-3). Are v and -2 non-equal?
False
Let d = -22319/80 - -279. Is d at least as big as 1?
False
Let n = -2.12 - -0.12. Let f = 1.1 + -1. Which is bigger: f or n?
f
Let b(q) = -q**3 - q**2 + q + 1. Let y be b(-1). Let v be (-40)/4*6/(-4). Let u be v/(-5) + 25/9. Is u at most as big as y?
True
Let u = 0.18 + 1.62. Let x = u - 1.9. Which is smaller: 0.1 or x?
x
Let v = 1.09 - 0.09. Does v = -0.05?
False
Suppose -3*q + 36 = -0*q. Let i be 6*(-2)/q*4. Let j = i + 5. Is j < 2/9?
False
Let w be -16 + 15 - (-2)/2. Is w != 14/17?
True
Let l(z) = 3 - 2 + 4*z - 2 + 2*z**2 + 3. Let j be l(-2). Which is greater: 3 or j?
3
Let n(d) = d - 4. Let h be n(4). Let l be (-14)/(-7) + (-1 - h). Which is smaller: l or 5/6?
5/6
Suppose -4*t = -t + 3. Do -12/19 and t have different values?
True
Let b(w) be the first derivative of w**4/4 + 3*w**3 - w**2/2 - 7*w - 3. Let f be b(-9). Suppose -f = c + c. Is c greater than -1?
False
Suppose 2*g + 3*b + 13 = -11, -4*g = b + 38. Let s be (-24)/g*1/12. Which is smaller: s or -1?
-1
Let l = -20 + -259. Let c be (-5 + 2)/(l/(-6)). Which is smaller: 0 or c?
c
Let b = -47046 - -134340. Let p = b - 23220145/266. Let q = p + -3/38. Is q <= -1?
False
Let l = -8 + 8. Suppose l = -3*y + 5*y. Which is greater: 1/2 or y?
1/2
Let p = -19 + 28. Is 38/5 < p?
True
Let d(i) = -i - 3. Let y be d(3). Is -7 < y?
True
Let s be 28/21*(-6)/(-4). Let t(u) 