+ 3*g - 4 = 0. Suppose -4 = -g*o, k - 3 = -2*o - 0*o. Let x(c) = -c**3 + 2*c**2 + 2*c - 3. Let v be x(2). Is v greater than k?
False
Let q be 2/6 + (-7)/21. Let u = -156/2159 - 110719/1126998. Let w = -3/58 + u. Are q and w non-equal?
True
Let h be (6/4)/(12/72). Does 9 = h?
True
Suppose -4*u - a + 3 = 0, u - 2*a = 2*a + 22. Which is smaller: u or 6/7?
6/7
Let z be (1/2)/(4/(-48)). Let d = -25 + 18. Let t = d - z. Which is smaller: -4/9 or t?
t
Suppose 2*m + 4*o - 26 = 0, 4*m - 7*o = -2*o - 13. Suppose m*p - 5*z + 40 = 0, 2*p + 0 = -5*z - 10. Which is smaller: -9 or p?
p
Suppose -2*c - 1180 = -22*c. Does 60 = c?
False
Let f be (2/(-46))/((-4)/8). Suppose 3*w + 2*x = 5, w - 1 = -3*w + 3*x. Is w at least as big as f?
True
Suppose 0 = -4*z + a + 21, 0 = -2*z + 3*z + 5*a + 21. Let c = 11 + -9. Let l be c/(1 + 1/(-2)). Are z and l unequal?
False
Let l = 0.14 + -0.19. Is 1 less than l?
False
Let j = 0 - 0. Let f be (-2)/4 + (-2)/(-4). Let t = 2 + f. Is t != j?
True
Let l(p) = p + 16. Let y be l(-8). Suppose -j = -3*j + y. Let r be 4/(-9)*6/j. Is 3 bigger than r?
True
Suppose 0 = -t, x + 4*t = 3*t - 2. Let a(f) = -f**3 + f - 1. Let y be a(1). Let g be (1 - (-1)/(-2))/y. Which is greater: g or x?
g
Let v = 0.57 - 0.53. Is -1/4 at most as big as v?
True
Let j = 7.7 + -8. Let i = j - 0.7. Which is bigger: -0.03 or i?
-0.03
Let x = -2 - 2. Let b = x - 7. Let n = 8 + b. Are 1 and n nonequal?
True
Let z(a) = -2*a + 3. Let w be z(2). Let l = w + 1. Which is smaller: l or -1/21?
-1/21
Suppose 15*i - 12*i + a = -2, 2*a + 4 = 0. Let b = -89/3 + 30. Which is greater: b or i?
b
Let k be 21/(-4)*8/24. Is k less than -3?
False
Suppose 0 = -5*g - 119 + 24. Let f = g - -10. Is -9 at most as big as f?
True
Suppose 4*q + 0 + 4 = 0. Suppose -3*h - 2*h - 15 = 3*u, -3*h = u + 5. Let v = q + h. Is v greater than -1?
False
Let q be 3/(-710)*(-64)/18. Let i = q - -22511/132060. Let v = 2/31 + i. Is v <= 0?
False
Let b(c) = 3*c**2. Let h be b(-1). Let z be -4*(2 - h/4). Let m = 11 + -10.9. Are m and z unequal?
True
Let m(s) = -3*s**2 - 24*s + 9. Let x(r) = r**2 + 12*r - 4. Let j(n) = 2*m(n) + 5*x(n). Let b be j(12). Is b equal to -1?
False
Suppose 0 = 3*v - 3*i - 153, -i - 63 = -v + 3*i. Which is smaller: v or 48?
v
Suppose 8*q = 7*q - 1. Which is bigger: 1/3 or q?
1/3
Let q = 0.23 + -0.17. Which is greater: -1 or q?
q
Let t = 122/3 - 1100/27. Which is bigger: t or 0?
0
Let s = -0.3 - -0.3. Let u = 0.7 - 0.7. Let q = u + s. Is q > -3/5?
True
Let t = 15 + -20. Is -6 greater than t?
False
Let p(s) = -6*s + 56. Let g be p(9). Are g and -71 equal?
False
Let w(z) = z. Let r be w(-1). Which is smaller: 6 or r?
r
Suppose 2*j - 6*j = -12. Let h = 0 + 2. Suppose -h*t - 5*u = -21, -t + 3*u = 2*u. Is j not equal to t?
False
Suppose -4 - 2 = 2*x. Let y be 6/(-39) + (-200)/52. Which is greater: x or y?
x
Let f be (0 + 0 - 1)/(22/374). Is -17 != f?
False
Let m = -19 + 25. Which is smaller: m or 3?
3
Let k = -40 + 47. Is k at most as big as -1/3?
False
Let s(b) = b**3 - 8*b**2 + 8*b - 9. Let i be s(7). Suppose -19 = -4*k - 7. Let g = -6 + k. Does i = g?
False
Let i(t) = t**2 - 3. Let p be i(-3). Are 6 and p unequal?
False
Let a = -14.7 - -14.7. Let z = 0 - -1. Let w = a - z. Does 1 = w?
False
Suppose 4*b - 15 = -l + 2*l, 4*b - 20 = 0. Let p be -4 + 2 - l/(-1). Suppose n + 1 = -p. Is n bigger than -3?
False
Let a(x) = -2*x**2 - 27*x - 22. Let u(i) = -i**2 - 14*i - 11. Let b(m) = -4*a(m) + 7*u(m). Suppose -7 = p + 1. Let n be b(p). Is -6 smaller than n?
True
Suppose 2*a + 5 + 2 = -l, -4*l - 21 = a. Which is greater: -2/75 or a?
-2/75
Let m = -5.7 + 5.63. Are m and -1 equal?
False
Let m(k) = -k + 3. Suppose 20 = 5*b - t, -t - 4 = -2*b + 1. Suppose -b*y = -0*y. Let w be m(y). Is 2 greater than w?
False
Let z = 128 - 636/5. Which is bigger: -2 or z?
z
Let a = 0 - -4. Suppose 3*k + 4 = s - a, -2*s + 2*k = -4. Is s <= -2/45?
True
Let r = 46 + -1. Is r bigger than 45?
False
Let h = -1.1 + 0.1. Let k = -1334/9 - -148. Is h <= k?
True
Let u be 90/2 + -2 + 5. Let c = -9/253 + 85577/1771. Let f = u - c. Is -6 at most f?
True
Let m be (-2)/4 + (-2)/4. Let q = m - -3. Suppose 3*n + 5*h - 23 = n, -5*n + q*h = 15. Which is greater: -1/5 or n?
-1/5
Let l be (2 - 1) + 49/(-42). Let v(u) = u**3 - 4*u**2 - 2*u + 4. Let h be v(4). Is h equal to l?
False
Let q = 0.5 - 1.9. Let l = 2 + q. Is 2/3 at most as big as l?
False
Let r = -132 + 13. Let f be (-6)/(-27) - r/(-9). Is f < -13?
False
Let c be (-2 + (1 - 0))*4. Let u be 3/1*(-1)/c. Which is greater: u or 0?
u
Let s = -3 - -2. Let d = -11 + 15. Let l = 3 - d. Is l bigger than s?
False
Let y(d) = -d**2 - d + 5. Let b be y(-4). Is 0 bigger than b?
True
Let l be (2/4)/((-7)/42). Let u be 1/(2/((-12)/l)). Suppose 3*a + 3*t + 15 = 0, u*t = 3*a + 3*t + 7. Which is smaller: 0 or a?
a
Let l = 66 - 65. Which is smaller: l or 4/19?
4/19
Let b be 5*(-1)/(-5) - 2. Which is smaller: b or -1/3?
b
Suppose 60 = 2*a - s, -2*a + 4*s = -4*a + 60. Let f be (a/63)/5*9. Are 0 and f unequal?
True
Let f = -29 - -29.13. Let g = f + -3.13. Which is smaller: g or 2/5?
g
Let z = -43/15 - -11/5. Let k(x) = -x**2 - 7*x + 1. Let h be k(0). Is h less than z?
False
Let y(r) = r**3 - 3*r**2 - r - 3. Let s be y(3). Let c be ((-2)/s)/((-2)/(-24)). Suppose z + 3*b = 2*z - 12, -3*z + c*b = -16. Is 0 != z?
False
Let p = -9 + 16. Let a = p + -7.1. Is a at most 5?
True
Let k = 26 + -28. Which is bigger: k or -3?
k
Suppose -a + 23 = 5. Which is greater: 19 or a?
19
Let v = -1.5 - 6.5. Let j = 7.9 + v. Which is smaller: j or -3?
-3
Let b(x) = -20*x**2 - 36*x + 17. Let f(i) = -7*i**2 - 12*i + 6. Let o(z) = -6*b(z) + 17*f(z). Let a be o(-12). Is 2/13 > a?
True
Let v be (-1 - -4)*12/(-9). Let i = 4 + v. Suppose 3*j = 5*n - 23, 5*j + 5*n + i*n = 15. Which is smaller: j or 0.1?
j
Suppose -2*v = -5*v - 66. Are -21 and v equal?
False
Suppose -5*u - 4*w + 2*w + 3 = 0, -4*w - 3 = u. Which is smaller: -1/146 or u?
-1/146
Let f(q) = q**3 + 4*q**2 + 1. Let j be f(-4). Suppose -5*k + 0*o + o = -4, -3*o = 12. Suppose k = -v + 2*v. Which is smaller: v or j?
v
Suppose 2*z + 0*l - 5*l = -37, 3*l = -4*z - 9. Which is bigger: z or 0.2?
0.2
Let x be 51/144 - (-4)/(-24). Let d = x + -47/336. Is -1/3 at most as big as d?
True
Let g(r) = -r**3 + 6*r**2 + 2. Let t be g(6). Suppose 6 = q + t*q. Suppose -3*c = 4*a - 5 - 4, c = q*a + 3. Which is smaller: -1/3 or c?
-1/3
Suppose 0*s = -9*s - 9. Which is greater: 1/30 or s?
1/30
Let i = -0.57 - 51.43. Is -1/4 > i?
True
Suppose 4*h - 6 = -18. Which is smaller: h or -5/2?
h
Let l be (-3)/2 - (-1)/2. Is l > 1/5?
False
Suppose -54 + 2 = 2*u. Is u at least as big as -26?
True
Suppose -4 = 6*n - 2*n. Let i be (0 - n) + (-4)/5. Let o = -6.9 + 7. Which is bigger: i or o?
i
Let t be ((-8)/(-3))/((-6)/(-9)). Suppose 0 = 3*s + 2*s - 2*p + 80, 2*s + 32 = t*p. Let f be 2/(-5) - s/65. Is 0 < f?
False
Let f(u) = -u**2 + 27*u + 1. Let m be f(27). Is m not equal to 3/112?
True
Let g be (4/(-12))/(1/(-9)). Suppose 0 = 2*c - 4. Is g less than c?
False
Let r = -101.5 - -101. Which is bigger: -1/4 or r?
-1/4
Let x = -28/297 - -1/297. Let r(l) = -l**3 - 6*l**2 - 6*l - 6. Let g be r(-5). Which is smaller: x or g?
g
Let o = -8 + 8. Let u = 3 + o. Let s = -4 + u. Is -0.2 smaller than s?
False
Let p(w) = -2*w**2 - 2*w + 3. Let i(c) = -2*c - 6. Let d be i(-4). Let n be p(d). Which is smaller: 1 or n?
n
Let r = -16 + 15. Do -3/20 and r have the same value?
False
Let s be 0 - (16/(-4))/(-4). Let h be (5/(-2) + 2)*6. Which is smaller: h or s?
h
Let g(h) = -14*h**3 - 3*h + 1. Let u be g(2). Let a = -1051/9 - u. Which is smaller: 1 or a?
a
Let h = -3 + 4. Suppose 2*o = -3 - h. Is -3 at most o?
True
Suppose -4*u = 2*c - 18, 2*u - 7*u = -5*c - 30. Are c and -4/7 non-equal?
True
Let v(b) = b**3 - 2*b**2 + 3*b - 1. Let d be v(2). Let h = 10 + -2. Let o = h - 4. Are d and o unequal?
True
Let f be (-9 - 94/(-6))*(-6)/4. Does -9 = f?
False
Suppose -4*c + 2*n - 2 = -24, 5 = -5*n. Let s be (-4)/c + (-4)/20. Let w = 237/7 + -34. Which is smaller: s or w?
s
Let z(p) = -p**3 + 5*p**2 + 5*p + 5. Let a be z(6). Let d(k) be the second derivative of k**4/12 + 4*k**3/3 + 3*k**2 + k. Let w be d(-7). Is w bigger than a?
False
Let s = 1.2 + -1. Let j = s + -0.1. Let u = 3 + -2.9. Is j not equal to u?
False
Let m = -97 - -477/5