et z = -3.2 + h. Suppose -3*n + 7 - 4 = 0. Which is greater: z or n?
n
Let u be (-2)/8 + 115/(-36). Let t = u + 244/63. Let c = -13 + 12. Is c at most as big as t?
True
Suppose -2*l + 4*l = -4. Let s(u) = u**3 - 4*u - 3. Let g(f) = -f**3 + 5*f + 3. Let m(v) = 4*g(v) + 5*s(v). Let i be m(0). Which is smaller: l or i?
i
Let p be 1/2 - 18/(-4). Let o be ((1 + 2)/3)/p. Do o and 1 have the same value?
False
Let y(k) = -3 - k - 1 + 0*k. Let p be y(-3). Which is smaller: 2/7 or p?
p
Let i(g) = -g + 7. Let x be i(6). Let c = 0 + x. Is 1 > c?
False
Let q = -1.4 - 0.6. Which is bigger: q or 2?
2
Let a be (-26)/7 + (-28)/(-7). Which is bigger: a or -1?
a
Let z(l) = l**3 - 5*l**2 - 6*l + 1. Let d be z(6). Suppose -5*o + 4 = -16. Suppose -o*g = 2*c, -2*g = -5*c - g + 11. Is d at most as big as c?
True
Let p(v) = v**2 + 2*v - 5. Let z be p(-4). Let m = -5 + z. Let r = 14 + -17. Is m greater than or equal to r?
True
Let i(v) = 2*v**2 + 1. Let j be i(1). Let k be ((-1 - -2) + j)*-1. Which is smaller: -5 or k?
-5
Let p = 16.08 - 0.28. Let i = p + -16. Is 1 greater than or equal to i?
True
Let n = 30 + -22. Does n = 0?
False
Suppose -3*d = -d + 14. Is -9 bigger than d?
False
Let f = 24 - 36. Is 2 at most as big as f?
False
Let y = -0.01 + -1.99. Which is greater: 3/8 or y?
3/8
Let n = 8 - 15. Let x = 7.1 + n. Let g = 5 - 5.3. Do g and x have the same value?
False
Let a = -0.2 + -5.8. Let n = a - -10. Which is smaller: -1/2 or n?
-1/2
Let p = 15 - 23. Which is smaller: -7 or p?
p
Let a = -0.4 - -0.3. Let p = 3.027 - 0.027. Is a bigger than p?
False
Let l = -4 + 16. Suppose -71 = -10*m + 39. Is l bigger than m?
True
Let i = -61 + 303/5. Is i < -1/16?
True
Suppose 3*p = y - 2 - 11, -2*p = -5*y + 26. Is y at least 4?
True
Let a = 31 + -31. Are 0 and a nonequal?
False
Let t = -19 + 39. Let a = -30 + t. Let s = a - -10. Which is greater: 1 or s?
1
Let c(t) = -4*t**2 - 5*t - 2. Let v(u) = -u**2 - 2*u - 1. Let f(p) = 2*c(p) - 7*v(p). Let x be f(4). Suppose -q = -3*q - i + x, -4*q + 11 = 3*i. Is q >= -1/4?
False
Let w = 44 - 49. Which is bigger: 1/6 or w?
1/6
Let j = 8 - 3. Suppose j*i = 2*i - 9. Which is greater: -2 or i?
-2
Let c = -120 - -112. Is -5 smaller than c?
False
Let c = -0.051 - -0.351. Let a = -15 + 46/3. Which is smaller: c or a?
c
Let s(u) be the third derivative of u**2 + 1/3*u**3 + 1/12*u**4 + 0*u + 0 - 1/60*u**5. Let j be s(3). Which is smaller: -1/19 or j?
j
Let u = -17 - -28. Let x be (6/12)/(u/(-12)). Is -2 at most x?
True
Suppose -4*z + 3 = 5*w, -5*z = -3*w - z - 11. Let p be (24/(-10))/(17/(-10)). Let t = p - 230/187. Are w and t equal?
False
Suppose -18 = -4*j + 4*b - 2, 5*j + 5*b = 10. Let t(c) be the second derivative of c**4/12 - c**3/3 - c**2/2 - 6*c. Let x be t(j). Is x at most as big as 2?
True
Let j = -12.8 - -11.3. Which is greater: 5 or j?
5
Let b = 4.8 - 7. Do b and 0.1 have different values?
True
Let n be (-159)/(-33) + -2 - 6/(-33). Let s be -14 + (2 - 2)/1. Let a be 4/14 - 24/s. Which is greater: n or a?
n
Suppose -3*y - 10 + 4 = 0. Suppose 0 = 5*r - 5*u, -3*r = -8*r - u. Is r != y?
True
Let a be 2 - (-2 - 9/(-2)). Let x = a + 1. Which is smaller: x or 1?
x
Let m = -379 - -269. Is -111 smaller than m?
True
Suppose 0*f - 5*f = 0. Which is bigger: f or -1?
f
Let u = 13 - 33. Let o be u/(-21)*(-9)/6. Suppose 29 = -11*l + 29. Is o smaller than l?
True
Let r(f) = -f**3 - 4*f**2 + 5*f - 4. Let b be r(-5). Let u = 12 + -8. Let p = u + b. Is p at most 2/5?
True
Let s = -8 + 7. Let v = -2.7 - -1. Let i = v + -0.3. Are s and i non-equal?
True
Let c(j) be the second derivative of j**3/6 + 3*j**2/2 - j. Let h be c(-6). Let n = -4 - h. Is n equal to -4/3?
False
Let t(c) = -7*c - 10. Let f be t(-4). Is f != 17?
True
Suppose f - 30 = -2*f. Let i = -17 + f. Let c(t) = -t**2 + 4*t + 4. Let q be c(6). Is i greater than or equal to q?
True
Let u = 36 + -36. Let p = 420 + -3776/9. Which is greater: p or u?
p
Let i be (-28)/88 + 3/6. Which is bigger: i or -4/7?
i
Let p = 13 - -3. Let w = -15 + p. Which is smaller: w or 1/2?
1/2
Let c(m) = -m**3 - 3*m**2 + 4*m + 3. Let k be c(-4). Suppose -p - 1 = -k. Suppose 0 = p*l + 3*r + 8, r = 2*l + 6*r + 16. Which is greater: l or 1?
l
Let h be (-2)/2*(6 + -1). Let w be (-67)/h - 4/10. Suppose w = 5*p + d, -2*p + 3*d = -12 - 0. Is 3 < p?
False
Let a = -94 + 96. Let o = -668/5 - -134. Which is greater: o or a?
a
Let b be 22/33*(-6)/4. Which is smaller: 2/115 or b?
b
Suppose -5*o + 10 = 2*l, 0*l + 3*l = -5*o + 5. Let f be 0/(-2) - 1/o. Does 0 = f?
False
Suppose 0*x = -4*x - 3*j + 36, 2*x - 4*j = -4. Which is smaller: x or 11?
x
Let m be (-207)/(-198) + (-1)/2. Let j(i) be the first derivative of i**4/4 + 7*i**3/3 + 7*i**2/2 + 6*i - 3. Let r be j(-6). Which is bigger: r or m?
m
Suppose -5*x + 14 = -1. Does 27/7 = x?
False
Suppose 0 = 4*b - 2*l - 8, -b + 7 = 2*b - l. Let o be (-18)/99 + (-1127)/33. Let g = o + 34. Which is smaller: g or b?
g
Let o be (1 + 0 + 0)/1. Suppose 5*i - i - 8 = 0. Is o at least i?
False
Let f(c) = 2*c**2 + 4*c + 2. Let z(t) be the second derivative of -t**3/6 + 2*t. Let k be z(2). Let g be f(k). Which is smaller: 4 or g?
g
Suppose 12 = 9*x - 5*x. Let c be 3 + -10 + (x - 1). Does -5 = c?
True
Suppose -56 = -3*i - 2*n, 2*n + 8 = 3*i - 56. Which is bigger: 14 or i?
i
Let b(u) = u**2 + 4*u - 1. Let r be b(-3). Is r > -5?
True
Let p = 1.4 - 2.4. Which is smaller: 6 or p?
p
Let s = 12 + -14. Suppose 3*j + 2*j - 3*n - 5 = 0, j = -3*n - 17. Is j at most s?
True
Let g(v) = v**2 - v - 6. Let u be g(0). Let d(h) = -h - 5. Let k be d(0). Which is bigger: k or u?
k
Let y(z) = -z**3 + 7*z**2 - 4*z - 12. Let v be y(6). Which is smaller: v or -3?
-3
Let h = -49 - -32. Which is bigger: h or -18?
h
Let y(c) = -2*c + 2. Suppose -8*s = -7*s - 1. Let r be y(s). Which is greater: r or -2/25?
r
Let i be 5/(1 - 1 - 0 - -37). Do i and 1 have different values?
True
Let g(w) = -3*w - 10. Let p be g(-9). Are p and 16 unequal?
True
Suppose -3*l - 1 = -2*l. Is l greater than 4/19?
False
Let d = 0.2 + -0.17. Let y = d + 0.05. Let w = 0.28 - y. Which is smaller: -1 or w?
-1
Let c(z) = z**2 - 5*z + 3. Let i be c(4). Let h be 10*(i + 15/6). Is h equal to 1?
False
Suppose -8 = -z - v + 5*v, 5*z + 4*v = -8. Let a(f) = -f**3 - 9*f**2 - 9*f - 7. Let x be a(-8). Let p = x + 0. Is p bigger than z?
True
Suppose -p + 6 = 2*p. Let l = 14 - p. Let w be 2/(-2) + 14/l. Is w bigger than 1?
False
Let h be (12/(-16))/3 + -2 + 6. Suppose 7 = 3*n - 2. Is h less than n?
False
Suppose -s + 4*s = 2*f - 6, 2*s + 4 = 0. Let g be 3 + 76/(-14) - -3. Which is bigger: f or g?
g
Let b = 9 - 17/2. Which is smaller: -2/3 or b?
-2/3
Let y be (-1)/4 + 2/(-8). Let f = 17/105 - -5/21. Which is smaller: y or f?
y
Let v be 6/(-16)*-2 + (-399)/228. Which is greater: -7 or v?
v
Let o(q) = q + 3. Let i be o(2). Let c be 6/9 - i/6. Which is smaller: 0 or c?
c
Let r = -4401/11 + 401. Is 1 at least r?
True
Let i be 3/(-1) - 2*-2. Let s be (i/(-14))/((-1)/2). Is s bigger than 0?
True
Let k = 44/21 - 10/7. Which is bigger: k or 19?
19
Suppose 4*h = 4*b + 12, -3*b + 3*h = -h + 11. Let q = 108.3 + -108. Which is greater: q or b?
q
Let v = 467/5 - 93. Let z be (4/(-8))/((-15)/9). Let t = v - z. Is 0 at most as big as t?
True
Suppose 45*z = 43*z - 22. Which is greater: z or -12?
z
Let m be 4/(12/15) + -3. Let g be m + -3 + (-3 - -4). Which is greater: g or 1?
1
Let g = 0.04 - -0.96. Which is greater: -1 or g?
g
Let g = 37663/486 - -1/243. Let f = g + -70. Let o = f + -8. Which is smaller: o or -1?
-1
Let z = -7.97 + 8. Suppose -61*w = -59*w + 2. Which is greater: w or z?
z
Suppose -3*a + 5*p = 3*p - 1, 3*p + 10 = -4*a. Let n be (3 - 68) + 0 + a. Let j be ((-4)/n)/((-1)/3). Which is bigger: 1 or j?
1
Let t(n) = n**2 - 5*n + 5. Let l be t(4). Let a = 1 - l. Suppose 2*h + 0*y - y = a, -3*y = 3*h. Which is greater: h or 1?
1
Let u be (-2)/10*(-2)/(-6). Let r(l) = -38*l + 190. Let w be r(5). Which is greater: w or u?
w
Let u(t) = t + 2. Let j be u(-2). Let y be (-2)/(-30)*-1*1. Do j and y have the same value?
False
Let z = 0 + 0. Let w(o) = 3 - 2 + o**2 - o**3 - 1 - o. Let n be w(z). Does n = 1/4?
False
Let v = 1922/13 - 148. Suppose -4*s = -7*s - 18. Let x = -6 - s. Which is bigger: v or x?
x
Suppose 6 = k + 3*c, 4 = 3*k - 2*c + 8. Let w(x) = x + 3. Let m = -2 + -1. Let l 