x(-6). Let b be m(w). Suppose 0 = -3*a + a + 4*i - 24, i = 5. Are b and a nonequal?
False
Let u = 0.3 + -0.2. Let q = 0.1 - -0.9. Let w = -2 - q. Which is smaller: w or u?
w
Let k be 4*(-21)/6*3. Let m be 8/4 - k/(-15). Are m and -2 equal?
False
Let q be (126/175)/(6/20) + 2. Is 3 <= q?
True
Let g = 3 - 4. Let c be (-1 - g)/((-1)/(-1)). Let w be (-6)/(-12)*(-1 + -1). Which is greater: c or w?
c
Let i = 1/6243007 - -7959831901/12635846168. Let x = i - 21/88. Let h = x + -132/161. Which is greater: h or -1?
h
Let x(b) = b**3 + 1. Let f be x(-1). Suppose -22 = h + 8. Let c be h/(-26) + 5 + -6. Which is greater: c or f?
c
Let g = -40 + 32. Are g and -11 equal?
False
Let k be 2/(-8) - 404/(-16). Is k less than -0.1?
False
Suppose 12 = l - 0*l. Do l and 10 have different values?
True
Suppose 9 = -6*l + 15. Which is greater: l or -2/149?
l
Let p be 1 + (-4 - -2 - -4). Is 18/5 less than p?
False
Let m be 1/((-1 - 0)/13). Let k = 40 - 41. Let u be m/4 - (-4 - k). Is u <= 0?
True
Suppose -4 = h - 1. Let s(o) = -2*o - 3. Let a be s(h). Let q = -12 - -16. Is q smaller than a?
False
Suppose -11*l + 4*l - 42 = 0. Is l bigger than -6?
False
Suppose 0*m + 5*m - 16 = n, 3*m + 4 = 4*n. Let x(g) = g**2 + 5*g + 4. Let b be x(-5). Is b != n?
False
Suppose -2*j + 30 = -2*y, 85 = -2*j + 7*j + 5*y. Let p be (-72)/j - (-4)/2. Are p and -3 nonequal?
True
Let t be 22/(-99) - (-11)/(-9)*-1. Let l = 1 - 1. Which is smaller: t or l?
l
Let g(b) = b**3 - 2*b**2 - b. Let y be g(3). Suppose 2*c + 15 = 5*c. Are y and c non-equal?
True
Suppose -3*w + t = 3*t + 10, w = 3*t + 15. Are 6/7 and w unequal?
True
Let s(l) = -l + 1 - 2*l + 2*l - 2. Let x be s(-3). Let j be (-7)/(-4) - 0 - x. Which is bigger: j or 3/4?
3/4
Let p = -27 - -39. Suppose 5*z - 4*d = -p, 4*z - d = -z - 3. Is -1/6 at least z?
False
Let p = 24 + -18. Which is bigger: 7 or p?
7
Let i = -53 - -53. Do i and 3 have different values?
True
Let r be 1/(-2) - (-6)/4. Let k be (2/(-3))/((-8)/12). Let x = r + k. Which is greater: x or 3/5?
x
Let k = 0.78 + -0.88. Is k smaller than 3?
True
Let b = -6 + 6. Let k = 104/3 - 35. Are b and k unequal?
True
Suppose y = 3*k + 9, 6*k - 8*k = -2*y + 6. Is y equal to 4/11?
False
Suppose -2*a = -5*p - 87, -5*p - 114 = -3*a - 3*p. Is a >= 1?
True
Suppose k - 9 = -5*t, -4*t + 0*k + 9 = -k. Suppose -4*v + 3*r + 9 = -10, -4*r - 8 = -v. Let z be 1/(v*(-2)/t). Is -0.4 >= z?
False
Let q = -77/27 - -5/27. Are 0 and q non-equal?
True
Let p(h) = 3*h - 6. Let i be p(4). Let t = 25 - 20. Which is greater: i or t?
i
Suppose -9*q - 56 - 97 = 0. Which is smaller: q or -14?
q
Let o = 5563/15 + -371. Suppose 2*h + 4 = -2*h. Which is smaller: o or h?
h
Let y be (-2)/3 + (-57)/36. Let n = -2.1 + 0.1. Which is smaller: n or y?
y
Let x be (-3 - 1/1)/2. Let y = -3 - x. Are -2/9 and y nonequal?
True
Suppose -15 = 70*d - 75*d. Let l be 1 - -1 - (-26)/6. Let q = l - 29/6. Is d >= q?
True
Suppose -4*n + 2*n - t = -1, 4*n + 5*t - 11 = 0. Suppose -3*l = 3*v, 4*v - 29 = 5*l + 7. Let r be (-6)/l*8/(-20). Which is smaller: n or r?
n
Let m = -6 + 4. Let v(q) = q**3 - q + 1. Let o be v(m). Does -5 = o?
True
Let n be 3*(14/(-6) + 3). Let d = 8 - n. Which is smaller: d or 7?
d
Let a = -403/14 + 29. Is -0.1 at least as big as a?
False
Let u be 5/(10/2) + 1*-1. Are u and 5 non-equal?
True
Suppose -s = -3*s + 14. Suppose s = -z - 2*v, 2*z + 5*v = -3*z - 20. Let w be (2/(-18))/((-4)/(-6)). Is z equal to w?
False
Let x(a) = -8*a + 3*a - 9 + 4*a. Let u be x(-10). Let r be (-3)/(-4) - 2/4. Which is smaller: u or r?
r
Let w(z) = z**2 - 23. Let d be w(9). Is d at least as big as 58?
True
Suppose w - 6*w = -3*c - 14, 5*c + 19 = 4*w. Suppose i = -2*i + 3. Is i not equal to w?
False
Let c(x) = x**3 + x**2 + x - 1. Let a be c(0). Is a less than -2/39?
True
Let w be 2 + 9 + 2 - -1. Which is bigger: 13 or w?
w
Let v = -267/38 + -9/19. Do -9 and v have the same value?
False
Let w(p) = -4*p**3 + p**2 - p + 1. Let r be w(1). Let t = -4 - r. Let k = 5/17 + -99/221. Which is bigger: k or t?
k
Let u(a) = -a + 1. Let m be u(-4). Let i(k) = k**3 - 4*k**2 - 4*k - 5. Let y be i(m). Let d be (-16)/6 + 2 + 0. Is y at most as big as d?
False
Let c = -2/221 - 647/1768. Which is greater: c or 9?
9
Suppose -2*t + 8 + 2 = 0. Is 3 at least t?
False
Suppose -q + 3*q = 30. Suppose -3 + q = h + 5*v, 2*h = -2*v. Suppose -2 + 12 = -5*a. Which is smaller: h or a?
h
Let r = 21/2 + -10. Let h = 3 - -2. Let p = 5 - h. Is p >= r?
False
Let q be (-42)/4*(-28)/(-21). Is q equal to -13?
False
Let j(k) = -15*k**2 - 2*k + 15. Let m(l) = 7*l**2 + l - 7. Let t(u) = 6*j(u) + 13*m(u). Let r be t(0). Which is smaller: -2 or r?
-2
Let q = 2 - 1. Let a = -0.7 - -0.1. Let c = a - -0.4. Are q and c equal?
False
Let d(y) = -y**2 + 14*y + 40. Let z be d(17). Which is bigger: z or -10?
-10
Let b(m) = -28*m + 3. Let s be b(4). Let n be ((-1)/(-2))/(2/429). Let q = s + n. Is -3 != q?
True
Let b be 3 - ((-70)/(-65) + 2). Does -1 = b?
False
Let o = 2 + -2. Suppose -s + 3*v - 32 + 5 = o, 0 = 5*s - v + 93. Let m be s/(-22) - (-1)/(-1). Is 1 at most as big as m?
False
Let d = 0.04 + -0.03. Let j = -0.21 + d. Is -1 at most as big as j?
True
Suppose 0 = 2*l + 6, 0*c = 2*c + 3*l + 13. Let r = 2 + -4. Is c bigger than r?
False
Let s be -6 - (-65)/75 - -5. Which is smaller: s or 1/3?
s
Suppose 17 = -4*s + w, -4*s + 1 - 12 = 5*w. Which is smaller: s or -6?
-6
Let n be (6 - -1)*(6 - 5). Suppose -4*a = b - n, 3*b + 0 = -2*a + 1. Suppose -5*c + 3 = -a. Which is greater: c or 0?
c
Let q(u) = 0*u**2 + u + 5 - u**2 + 1 + 0*u**2. Let k be q(0). Let c be (-5)/k - (-2)/(-3). Which is smaller: c or -3?
-3
Let d be (-12)/(-45) + 4/(-6). Let c = 0.21 + -15.21. Which is bigger: c or d?
d
Suppose 2*l - 6 = -0. Let u be l/((-21)/(-3)*1). Which is smaller: u or 1?
u
Let l = -4 - -5. Let j = -2/1167 - 2272/36177. Which is greater: j or l?
l
Suppose -302 = -2*c - 84. Let h = c + -548/5. Is -1 at most as big as h?
True
Let c be (-34)/(-8) - (-1)/(-4). Suppose -4 = c*o - 0. Let m be 2/32*-1*-6. Which is smaller: o or m?
o
Let r(d) = d**3 - 7*d**2 + d + 12. Let k be r(6). Which is smaller: -21 or k?
-21
Let n(d) = -d + 11. Let h be n(6). Is h at least as big as 6?
False
Suppose -3*c - c - 20 = 0. Let l be ((-3)/c)/((-3)/(-2)). Let k be 6/(2 + 1) + -2. Which is bigger: k or l?
l
Suppose -6*n - 28 = -5*n. Is n equal to -28?
True
Suppose 4 - 2 = j. Suppose 5*z - 2*p = p + 15, 0 = -2*z - 4*p + 32. Which is bigger: z or j?
z
Let m(x) = x**3 + 8*x**2 - 7*x + 4. Let g be m(-9). Let u = g - -13. Is 0 greater than or equal to u?
True
Let i = 4 - 6. Let y be (1 + i + 2)*-1. Let q = -2 + 3. Is q at most as big as y?
False
Let f be 2/(-4)*(2 - 39/19). Which is smaller: -1 or f?
-1
Let v = 4 - 5. Let k = v - -5. Suppose 3*o - 1 + 4 = -k*b, -b = o + 1. Which is greater: -4/5 or b?
b
Let b be 40/22 - 1 - 1. Suppose -5*a + 4*x = -75, -4*a + 2*x - 12 = -66. Let q = a - 12. Which is smaller: q or b?
q
Let j = -3.6 - -0.4. Let d = -0.2 - 2.8. Let p = j - d. Is -0.2 equal to p?
True
Suppose -3*n - 15 = -4*f - 3, f + 16 = -4*n. Which is bigger: -1/2 or f?
f
Let k(z) = z**3 + 4*z**2 - 2*z - 9. Let y be k(-4). Which is bigger: y or -5/4?
y
Suppose -2*w + 0 = -6. Is 3 greater than or equal to w?
True
Let m = 17/6 - 95/33. Is 0 bigger than m?
True
Let t(j) = j**3 - 19*j**2 + 18*j + 1. Let s be t(18). Let m be 2/(-8) + (1 - 0). Which is smaller: m or s?
m
Let t = 1213/230 + -4/23. Let s = t + -9/2. Is s at most as big as 1?
True
Let d(w) be the third derivative of -w**6/120 - 7*w**5/60 - 5*w**4/24 + 5*w**3/6 + 9*w**2. Let q be (-6)/(-9) + 20/(-3). Let j be d(q). Is -1/5 at least j?
True
Let a be 3 + -1 + 0 - 11. Let v be 18/8 + (a - -8). Is v at least 0?
True
Suppose 4*a = -3*a - 21. Is a bigger than -20/7?
False
Let l(c) = -2*c + 3. Let f = -11 - -13. Let p be l(f). Is p less than 0?
True
Suppose -4*z = -12 - 20. Let h be (9/30)/(6/z). Is h <= 13?
True
Let r be (-28)/10 + (-1)/5. Which is smaller: r or 1?
r
Let v = 3 + -6. Is 2 greater than or equal to v?
True
Let q = 1 + -3. Let b = q + -2. Are b and -3 unequal?
True
Let r = -13.1 - -12.1. Is r bigger than -103?
True
Let y be ((-2)/(-4) - 0)*0. Suppose -4*s - s = y. Suppose s = v + v - 4, -3*v = -4*z - 10. Does -1 = z?
True
Let l = 0 - 4. Let r be 6/20 + l/8. Is 0 less than or equ