-21)/609). Do 30 and a have the same value?
False
Let v(s) = -s**2 - 7*s + 6. Let p be v(-8). Let n = 0 - p. Let w(t) = t - 1. Let f be w(4). Is n >= f?
False
Let x = -1.2 - 0.6. Let s = 7 + -9. Let j = x - s. Is j at least as big as -2/9?
True
Let w = -0.6 - -0.1. Let q = -0.7 - w. Which is bigger: q or 0?
0
Suppose -4*r + 658 = -q, 0 = -3*r - 2*r + 3*q + 819. Let o be (1*3)/(r/(-10)). Which is greater: 0 or o?
0
Let o be ((-30)/(-8) - 0) + -4. Is o bigger than -0.09?
False
Let j = 2 + 3. Let f = 5 + -2. Is f at most j?
True
Suppose -5*y + 1 + 4 = 0. Let a = 2 - y. Is -1/19 greater than a?
False
Let c(d) = 7*d**2 - 6. Let j(l) = -3 + 20*l**2 - 5 - 9. Let g(o) = 17*c(o) - 6*j(o). Let z be g(-1). Which is greater: -3 or z?
z
Let w = -14 + 14.06. Let n = w + -0.12. Which is smaller: -1 or n?
-1
Let h be 1/2 - 15/10. Let s = -4/37 + 86/111. Let l = s + h. Which is smaller: 0 or l?
l
Let k = 0.1 + 3.9. Let o = k + -7. Is 0.2 at least o?
True
Suppose 2 = -5*b + 6*b. Let u be 1/b*(2 - -4). Are u and 1/3 equal?
False
Let b be 24/(-16)*(-3 - -1). Suppose -2 + 14 = b*y. Suppose 0 = 4*d - 2*d - y. Is d at least as big as 1?
True
Let f be (3 - 1) + (-15)/7. Suppose -11 = -4*w - 5*c - 2, w + 5*c = 6. Is f > w?
False
Let c = 2.51 + -2.4. Let w = -0.04 + c. Let r = -0.03 - w. Which is smaller: r or -0.5?
-0.5
Let r be (0 + 0 - -1) + 13. Suppose 5*o = -r - 1. Let z = o + 3. Which is smaller: 1 or z?
z
Suppose 4*o = 3*o + 5. Let j(x) = x**3 - 5*x**2 - 2*x + 6. Let a be j(o). Let v be ((-3)/9 - 2)/((-2)/(-3)). Which is greater: v or a?
v
Let p be (-16)/(-10) - 2/(-5). Suppose -u = -3*u - p. Is u smaller than 0?
True
Suppose 6*w + 2 = 5*w. Which is smaller: 1 or w?
w
Let a = 0.5 + 0. Let g = a + 3.5. Let w = -2 + g. Which is smaller: 1 or w?
1
Let p be (-4)/2 - (-4 + 2). Suppose -3*u + 22 = f - 6*f, -f - 5 = p. Which is smaller: u or -5/4?
-5/4
Let m(x) = -x**2 + 2*x + 2. Let w be m(3). Which is bigger: w or -2?
w
Suppose 0 = -4*i + 74 - 6. Which is smaller: i or 19?
i
Let s(g) = g**2 - 3*g + 2. Let t be s(3). Let x = t + -1. Let j = 8 + -10. Which is smaller: x or j?
j
Let k = -510/7 - -73. Which is bigger: k or 0.1?
k
Let u be (-18)/((-3)/1) + -3 - -57. Is u at least 58?
True
Let y = -4.1 + -1.9. Is y > -2/7?
False
Let a = 10 + -8. Let p = 7 + -4. Let f = p - a. Which is smaller: 0 or f?
0
Let x(u) = -u**2 + 6*u - 2. Let a be (72/30)/(4/10). Let q be x(a). Does q = -2?
True
Suppose 5*z = -2*p + 9, 2*z - 5*p = -0*z + 21. Suppose g - 4 = 2*s, -z*s - 3*g - g = 6. Which is smaller: -3 or s?
-3
Let a be (-16)/(-24)*(23 - -1). Are 16 and a unequal?
False
Let u be 8 + -8 + (-2)/(-3). Do 0.14 and u have the same value?
False
Suppose 8*s = 3*s - 15. Suppose 0 = y - p + 4, 12 = -11*y + 8*y + 4*p. Is s greater than y?
True
Let f be (4 - 5) + 1 + -16. Is f smaller than -16?
False
Let n be ((-2)/(-5))/(12/30). Which is smaller: 4/11 or n?
4/11
Let t(u) = -u**2 + 7*u - 2. Let r be t(4). Suppose -15*l = -92 - 43. Is r greater than l?
True
Let z = 129/10 + -1121/90. Which is bigger: 4 or z?
4
Let b = -12 + 13. Which is bigger: -3/10 or b?
b
Let i be -1 + (1 - (-2)/(-8)). Let d = 0.01 - 0.04. Let p = 1.97 - d. Is p greater than i?
True
Suppose 0 = 4*c + 5*m - 23, 4*c + 4*m = 7*c + 6. Suppose -9 = c*h + h. Is -4 <= h?
True
Let h(k) = -3*k + 2. Let o be -1 - -1 - (-8)/4. Let r be h(o). Is -3 != r?
True
Let m be (4/(-6))/((-3)/(-9)). Let g(k) = -k - 4. Let c be g(-6). Suppose -3*f + c*f - 2 = 0. Is m greater than f?
False
Suppose -3*y - 1 = l - 4*y, 4*l = -2*y + 2. Suppose 24*c - 21*c = l. Is c <= -2/15?
False
Let i be -2*(3/2)/3. Are 3/22 and i nonequal?
True
Let v = -0.7 + -8.3. Is -2 less than v?
False
Suppose 0*r + 55 = 5*r. Is r at most as big as -1/3?
False
Suppose 2*x = 0, 0*x = -4*s + x + 4. Do s and 2/13 have the same value?
False
Let y be 1 - -2 - (-16 - (-1 + 0)). Which is smaller: y or 19?
y
Let w = 2.8 + -3. Let t = 0.2 + w. Let q = t - 0.2. Are 2 and q equal?
False
Let d be 1 - ((-4)/4 + -1). Let h(n) = n**2 - 8*n + 10. Let j be h(7). Is d smaller than j?
False
Let t = -27/385 - 4/55. Are t and -1 nonequal?
True
Let f = -0.03 - -1.23. Is f smaller than 1?
False
Let u(w) = 6*w**3 + 2*w**2 + 5*w + 4. Let p be u(-1). Is p smaller than -5?
False
Suppose 0 = -5*v + 27 - 2. Suppose -v*s + s = 0. Let x = -372 + 3352/9. Which is greater: s or x?
x
Let u = 0 + 2. Let f(p) = -p**2 + 4*p + 1. Let m(g) = -g**2 + g. Let v(r) = u*m(r) - f(r). Let l be v(-3). Is -2 greater than or equal to l?
True
Let u = -3 - -3. Suppose 3*o = 2*o + 2*m + 8, -2*o + 5*m + 13 = u. Let n be 0 + 2 + (-24)/o. Which is bigger: n or 0?
n
Let v = 2.6 - 2.43. Let s = 0.07 - v. Which is greater: 2/3 or s?
2/3
Let j = 29 - 13. Let q = -15.93 + j. Let o = q - -1.93. Is -0.2 less than or equal to o?
True
Let x = -2 - -1. Let w = 1 - 1. Does x = w?
False
Let j be 4/10 - (-321)/(-15). Let c = j + 12. Which is bigger: -7 or c?
-7
Suppose j - 4 = -2*j - 2*x, 0 = -2*j + 3*x + 7. Suppose -k + 10 = -j*m + 2*k, 4*k - 19 = -3*m. Suppose 3 = 3*s - 3*y, -5*s - 6*y - 5 = -y. Is s < m?
True
Let w be 22/6 - 4/6. Let l = w - 4. Which is bigger: 1/6 or l?
1/6
Let x be (2/(-4))/((-1)/(-72)). Let c be (-86)/(-18) - 8/x. Suppose -g + o + 21 = c*o, -g - 5*o = -26. Which is smaller: g or 0?
0
Let h = 2 + -4. Let z = -0.2 + -0.8. Which is smaller: z or h?
h
Let d be 15/30 + (-34)/4. Which is smaller: -1 or d?
d
Suppose 3*t + 1 = -2*o - 7, 3*t - 2*o - 8 = 0. Which is smaller: t or -1?
-1
Suppose 0 = -5*j + 30 + 5. Let b = 5 - j. Does -3/5 = b?
False
Suppose -n - 2 = -2*n. Let x(j) = -j**3 + 9*j**2 - 9*j + 8. Let p be x(8). Suppose -n*t - 17 + 7 = p. Is -5 > t?
False
Let y = -0.19 - -0.2. Suppose 6 = 4*j - 2*x, 6*j - 3*j - x - 5 = 0. Are y and j unequal?
True
Suppose -4*u = -u. Let z = 56942/73 - 780. Let c = z + 128/657. Which is greater: c or u?
c
Let o = 0 + 0. Let y = -0.06 + 2.06. Is y equal to o?
False
Suppose -3*g + 5*s + 52 = 0, 3*g - s - 30 = g. Which is greater: 13 or g?
g
Let t = -1 + 8. Which is smaller: t or 6?
6
Suppose 0 = 4*o - o + 5*g - 31, -3*g + 9 = -3*o. Let l be (20/(-65))/(o/1). Which is greater: -1 or l?
l
Let n = 57/2 - 34. Which is smaller: n or -7?
-7
Suppose 5*i + 2 = 7*i. Is -1/159 < i?
True
Let m be -1 - 2/20*-2. Let h = 0 + -16. Let t = -16 - h. Are t and m equal?
False
Let q = 19 + -18.74. Are q and 1 unequal?
True
Let s = -8 - -3. Is -2 less than s?
False
Let p = 9.3 + -9.6. Which is smaller: 2/43 or p?
p
Let m(j) = -j**3 - 3*j**2 - 4. Let i be m(-3). Let g be 1/(-4) - 17/i. Suppose w - 5*x = -w + 17, -g*w + 7 = -x. Which is bigger: 1/4 or w?
w
Let g be (1/3)/((-1)/(-12)). Let l(y) be the first derivative of 3*y**2/2 - 6*y - 3. Let z be l(g). Is z at most as big as 5?
False
Let f be (-8)/32 + (-89)/(-324). Is 1 at most as big as f?
False
Suppose -5 = h - 6. Let p = 13/12 + -47/36. Which is smaller: p or h?
p
Let d(s) = -s**2 + 3*s + 2. Let q be d(4). Let y be 0*(5/q - -2). Which is smaller: y or -1?
-1
Let m be (-61)/156 - -1*(-4)/(-12). Is m greater than 1?
False
Let u(c) = 2*c. Let h(w) = 11*w. Let l(g) = -6*h(g) + 34*u(g). Let b be l(-1). Let a be (0 + -4 + 1)/5. Which is greater: b or a?
a
Let q = 2 + 0. Let f(u) = u**3 + u**2 - 2*u + 1. Let t be f(1). Let d be (-3 - -1)/((-2)/t). Which is smaller: d or q?
d
Let q(n) = -n**2 + 5*n + 2. Let i be q(5). Suppose 4*h = -3*z - 15, 5*z + 0 = -3*h - 25. Is i not equal to h?
True
Let a = -1231/78 + 95/6. Let r = a - -11/39. Is r at least as big as -1?
True
Let w be 3/18 + 380/24. Let j = w - 7. Which is smaller: j or 8?
8
Let a = -2.2 - 0.8. Let v = 1.6 + -1.9. Are v and a unequal?
True
Let w be 20/15*3/2. Suppose -3*s - 4 = w. Is s at least -2?
True
Let t = -4 - -1. Let a = -6 + 4.6. Let s = -1.3 - a. Is t less than s?
True
Suppose 4*d - 13 = -1, -3*y + 12 = 2*d. Suppose 2 = -4*k - y. Does 1/3 = k?
False
Let x = 61 + -181/3. Let o = -0.02 - 2.98. Let p = -2.8 - o. Are p and x unequal?
True
Let g(y) = -y**3 - y + 2. Let v be g(0). Suppose -5*u - 65 = 5*p, -4*u = -p + 3*p + 34. Let w be p/12 - (0 - 1). Is w smaller than v?
True
Suppose -i = -4 - 0. Is 32/7 <= i?
False
Let l = 4 + -2. Let n = 2 - l. Let u = n - 1. Is -2 bigger than u?
False
Let d = 13/5 - 12/5. Let i(b) = -b**2 + 5*b + 7. Let q = 11 + -5. Let c be i(q). Which is bigger: d or c?
c
Let a