et n = -95 - -98. Is o equal to n?
False
Suppose 0 = 2*w - 8, -3*g + 0*w = -w - 8. Suppose -2*p = 2*a - 6, -p = 5*a - 4 + 5. Suppose -3*v + 0*v = -5*b - 5, 4*b - 28 = -p*v. Is b >= g?
False
Let q be 1 - (8/(-12) + 1). Which is smaller: q or 0?
0
Suppose 0 = -0*q - 3*q - 150. Let n be 30/q + 23/5. Let s = 64 + -322/5. Are s and n equal?
False
Let u = 2/43 + -4/43. Which is bigger: -1 or u?
u
Let k = 5.94 - 6. Is k equal to -1?
False
Let o = -140 - -150. Let l = -1 - -2. Is o greater than l?
True
Suppose 0 = -3*j - 2*j + t + 20, 5*t = -25. Suppose -j - 2 = -b. Suppose -6*k + 3*k + 5*v - 11 = 0, b*k - 5*v = -15. Which is smaller: -3 or k?
-3
Let p(v) = -v**2 + 9*v - 8. Let l be p(10). Is -18 less than or equal to l?
True
Suppose -4*c - c + 5 = -5*o, 2*o = -4. Let m = 7 - 5. Let n be 4/m - (-11)/(-6). Is n smaller than c?
False
Let l = 0 - -1. Let n = -24 - -26. Let j = n - l. Is j at least 1/2?
True
Let s(u) = u - 3. Let c be s(0). Let g be c/(-108) - (-6)/27. Let j = 1.2 + -1. Which is smaller: j or g?
j
Let j(t) = t**3 + 25*t**2 - 27*t - 31. Let c be j(-26). Which is smaller: c or 0?
c
Suppose 0 = 4*k + 2*y + 18, -4*k + 0*k + 5*y + 17 = 0. Is -2 >= k?
True
Let p(y) be the first derivative of y**4/4 + 4*y**3/3 - y**2 + 3*y - 4. Let w be p(-4). Is 0 > w?
False
Let m = 6 - 4. Which is bigger: 3 or m?
3
Let g be (-2*4/(-66))/((-21)/63). Is g not equal to -1?
True
Let i be ((-2)/2)/((-12)/48). Suppose i*t = -0 + 24. Suppose -t*r + r = 5. Which is smaller: -3 or r?
-3
Let x(g) = g**2 + 5*g + 5. Let m be x(-3). Which is bigger: 32 or m?
32
Let b be -1 - -5 - (-141)/(-36). Which is smaller: 1 or b?
b
Let r = -67 + 67. Which is greater: 3/14 or r?
3/14
Suppose 4*t - 1 = 51. Suppose 5*l + 5*a - 25 = 0, a + t = -l + 6*a. Is l equal to 6/11?
False
Let s = 9.2 + -0.2. Let i = s - 9. Is i less than or equal to 4?
True
Let t = -0.111 + 1.111. Is 0.01 smaller than t?
True
Let a = 24.74 + 0.26. Which is greater: a or 2/3?
a
Let s be ((-12)/18)/((-4)/(-6)). Let u be ((-4)/s)/2 - -2. Is u greater than or equal to 4?
True
Let l = -3 + 3. Let d be (-5 - -5) + (-2)/(-1). Which is bigger: l or d?
d
Let m be (1 + -1)/((-26)/13) - 18. Let w(u) = u**2 + u - 18. Let b be w(0). Is b at most as big as m?
True
Let w = 4 - 7. Let b(o) = -o**2 + 3*o. Let c be b(3). Suppose c = 5*x - 3*r + 10, 4*r = -x - 4*x - 10. Which is smaller: w or x?
w
Let i = -22 + 22.13. Let s = -0.16 + i. Which is smaller: 0.1 or s?
s
Let o = 19 - 20. Which is greater: -4/5 or o?
-4/5
Let l(i) = -i**2 - 6*i - 4. Let w be l(-4). Let z be 2 - 5/(10/w). Is 0 at most as big as z?
True
Let m = 94 + -93. Let i = -2/33 - -67/561. Is m equal to i?
False
Suppose 4 + 0 = -4*d. Let y(m) = 4*m**3 + 2*m**2 + m. Let g be y(d). Let l(j) = j + 2. Let c be l(-4). Is c bigger than g?
True
Suppose 5*z - h = 37, -2 + 1 = -2*z + 5*h. Let c be (-2 - -30)*4/16. Let p = c + 0. Which is smaller: z or p?
p
Let z = 104 + -104. Is z at most -2/139?
False
Suppose 3*o - 11 = -4*g, -5*o + g - 17 = 3. Suppose -15 = x + 2*x. Let i = x - o. Which is bigger: i or -8/5?
-8/5
Let j(i) = -i**2 + 1. Let f be j(-1). Let c(p) be the first derivative of p**4/4 + 2*p**3 - p**2/2 - 5*p + 1. Let s be c(-6). Which is smaller: s or f?
f
Let d be (-3)/(-5) + 0/(-2). Which is smaller: 1 or d?
d
Let a(r) = r**2 + 3*r - 4. Let y be a(-6). Suppose -4*g + y = 3*s, -5*s + 6*g = 3*g - 4. Let j = 2 - s. Which is smaller: 1 or j?
j
Let g(s) = 5*s + 8*s**2 + s**2 - 4*s**2 + 0*s**2 + 4 - s**3. Let m be g(6). Which is bigger: -1 or m?
-1
Suppose -8 = 2*y, -5*v = 4*y + y. Which is greater: v or 0?
v
Let x = 5 + -4. Let o = x - 1. Suppose -j - 4*j = o. Is 1 not equal to j?
True
Let a(v) = -2*v + 3*v**2 - 2*v**2 + 4*v. Let n be a(-2). Which is smaller: -1 or n?
-1
Suppose 5*s - 9 = -4. Let b be 2/93 + (-2 - -2). Let a = -11/31 + b. Is a less than or equal to s?
True
Let y = -1048/7 - -150. Let x = -2 - -1.9. Let v = x - 0. Is y less than or equal to v?
False
Suppose 0 = -w - 4*w + 200. Suppose 0 = y + 4*o + w, -o = 4*y - y + 65. Let x = y - -41/2. Which is smaller: x or 0.3?
0.3
Let l be -1 + 1 - 1/(-18). Let n = -788 - -788. Which is smaller: n or l?
n
Let h = 1 - 6. Let t = h + 6. Which is smaller: 2/5 or t?
2/5
Let f be (3/6)/((-23)/4). Which is greater: -1 or f?
f
Suppose -g - 4*g + 11 = 2*m, 3*m + g + 16 = 0. Does m = -11?
False
Let b(h) = 2*h**3 - 2*h**2 + 1. Let r be b(-1). Let k = -13 - -12. Which is greater: r or k?
k
Suppose 14 = -3*z - 31. Which is smaller: -13 or z?
z
Suppose 5*w = 3*w - 8. Let k be w + 5 - 2/8. Which is smaller: k or 2?
k
Let a = 4 - 3.9. Let r(x) = -2*x + 3*x + 1 + 2 + 8. Let u be r(-12). Is u equal to a?
False
Let r = -11 - -2. Let i = r + 13. Let x = i + -3. Which is bigger: -0.5 or x?
x
Suppose 5*g - 11 - 10 = -m, 0 = -3*m + 3. Suppose -l = l. Suppose l = -5*b - 3*y + 27, 3*b + g = -b + 4*y. Which is bigger: 4 or b?
4
Let l(c) = 3*c**2 - 2*c - 1. Let k be l(-1). Let g(x) = x**2 - 5*x - 1. Let y be g(k). Let h(d) = -d - 6. Let p be h(y). Are p and 2/9 nonequal?
True
Suppose -5*o = -2*m - 110, -3*o + 49 = -5*m - 36. Suppose q - 4 = 2*a, -5*q = -0*q - o. Let j = -0.11 + -2.89. Is a <= j?
False
Suppose -12 = -2*b - 3*n, 5*n - 12 - 8 = 0. Let o = 2 + -2. Let c = -1 + o. Which is smaller: c or b?
c
Let w be -3*(-1)/1*54/6. Is 27 < w?
False
Let y(p) = -p**3 - 2*p**2 + 4*p + 3. Let i be y(-3). Suppose i - 1 = -q. Is 4 at least q?
True
Suppose 4*c = 2*c + 6. Suppose 9*l - 11 = 16. Is l greater than c?
False
Let j(r) = -r**2 + 6*r + 2. Let t be j(6). Suppose m = -2*m - 12. Let o be 1/(-2) - t/m. Do 0 and o have different values?
False
Let k(b) = b**3 - 10*b**2 + b - 1. Let d be k(10). Which is greater: 8 or d?
d
Let h be 216/(-21) - (-4)/14. Let j be h/(-18) - (-4)/(-18). Suppose 0*n + n - 13 = -4*y, 0 = -2*n - 3*y + 11. Is n > j?
True
Let j = -20.9 + 21. Is 1/3 equal to j?
False
Let c = 20 - 81/4. Let r be 2/(-6) - (-19)/3. Let j = r - 5. Which is smaller: j or c?
c
Let w = 56 + -55. Let s = -1971/7 - -282. Which is smaller: s or w?
s
Let c = -17 + 9. Let z = 5 + c. Let a = z - -3.1. Which is smaller: a or -2?
-2
Let h = 25/66 + 5/11. Which is smaller: 1 or h?
h
Suppose -3*k = q + 11, 4*k + q - 2 = 3*q. Let r = 3 + k. Let p be (-1 + -2)*1/r. Which is bigger: -2 or p?
-2
Let z = 0.039 - -0.061. Are z and 32 unequal?
True
Let t = -32 - -28.6. Let o = t - 0.6. Let r = o - -4.1. Which is smaller: r or -1/4?
-1/4
Let b(v) = v + 1. Let x be ((-3)/(-2))/((-6)/8). Let f be b(x). Let u be (4 + (-10)/4)*(-6)/15. Is f greater than or equal to u?
False
Suppose -3*k - o + 3*o - 6 = 0, -4*o - 16 = k. Let v be (-6)/k + (-12)/8. Suppose -4*q + 5*r + 28 = v, 4*r + 14 = -3*q + 2*q. Are q and 2 unequal?
False
Let u = 24 + -17. Let y = -5 + u. Let t = 3 - y. Which is smaller: 2 or t?
t
Let j(k) = -k**2 - 10*k - 4. Let u be j(-4). Suppose -4*q - u + 4 = 0. Which is smaller: -5 or q?
-5
Suppose 5*p = -20 + 60. Let g(h) = 2 - 4*h**3 + 6*h**3 - 9*h**2 - h**3 + 8*h. Let t be g(p). Which is bigger: 1 or t?
t
Let p(n) = 3*n**3 - 2*n**2 + 2. Let b(v) = v**3 + v**2 + v - 1. Let l(m) = 4*b(m) - p(m). Let q be l(-5). Let a be 4 - 8 - (-18)/5. Which is smaller: q or a?
q
Let p(d) = d**3 - 6*d**2 + 12*d - 13. Let m be p(4). Is -1 greater than or equal to m?
False
Let n be ((-5)/(-20))/(4/(-16)). Which is smaller: -1/116 or n?
n
Let m(t) = t. Let g be m(-1). Let d = -80 - -80. Is d at least as big as g?
True
Let a = 2/1509 + -9076/16599. Let m(f) = f**3 - 15*f**2 + 15*f - 14. Let x be m(14). Which is bigger: x or a?
x
Suppose -2*l - 3*x = -3*l, -4*l = 5*x. Are -1/46 and l non-equal?
True
Let p = -225/11 + 20. Which is bigger: 1 or p?
1
Suppose -3*p + 27 = 4*d, -2*p + 25 = 5*d - 0*p. Suppose 0*o - 3*z = 5*o + 20, d*o - z - 2 = 0. Which is greater: o or 0?
0
Let h(c) = 7*c**2 - 2*c**3 - 3*c - 2 + c**3 + 0*c**3 - 2*c**2. Let z be h(4). Is 5/2 at most as big as z?
False
Let u be (-8)/(-20)*10/(-14). Suppose -h - 2*h + 29 = -5*s, -s - 4 = 0. Let z be (3 - (3 + 0))/h. Is z equal to u?
False
Let q be (3 - 2)*-20*(12 - 10). Is -41 equal to q?
False
Let k = -13 + 14.4. Let b = -0.4 + k. Does b = 3?
False
Let x be (-1)/(-1 + 2) - 9. Suppose -101 = 11*a - 2. Do a and x have the same value?
False
Suppose -3*w + 13 = -56. Let u = w - 16. Are u and 7 nonequal?
False
Let u be (-15)