 u be -3*-2*2/q. Is u < 1/3?
True
Let x be (-2)/3 - (-3)/(-9). Let o be 1*((-74)/90 - 8/(-36)). Which is bigger: o or x?
o
Let j(x) be the first derivative of -2 - 2/3*x**3 - 1/4*x**4 + x + 2*x**2. Let c be j(-3). Which is greater: -3 or c?
c
Let t = 5 - 5. Let c = -1 - t. Let z = 1 - -1. Is c smaller than z?
True
Let o = 606/13 - 600/13. Which is bigger: -1 or o?
o
Let g = 2 - 6. Let b = -6 - g. Suppose 2*h = 2*a - 12, 3*a - 8 = -2*h - 0. Is h > b?
False
Let c = -7.87 + -0.13. Let f = -7.98 - c. Which is greater: f or 1?
1
Suppose -6*f - 5*f + 33 = 0. Which is smaller: f or -0.08?
-0.08
Let s = -12691/4572 - 1/508. Let l = s - -5/3. Are -2 and l equal?
False
Let s = -5/42 + 20/21. Let n(q) = q**2 + 8*q. Let i be n(-8). Which is greater: i or s?
s
Let m be 3/(-111)*(-2)/(-3). Let z be 4/18 + (-266)/(-1665). Let y = z - m. Is -1 at least as big as y?
False
Let g be (20/(-6))/(1/3). Let n(m) = m**3 + 11*m**2 + 10*m + 6. Let f be n(g). Let d = -4 + f. Is 3 less than d?
False
Suppose 4*k = m + m - 4, -5*m + 3*k + 3 = 0. Which is bigger: m or 3/38?
3/38
Suppose 0*b + 3*b + 6 = -2*k, 2*b + 4*k = -12. Let g be (-180)/(-66) + (b - 2). Let v = 5/22 - g. Which is smaller: v or -2?
-2
Let g be 5/(5 + -3 + -1). Let f = g + -10. Which is bigger: -4 or f?
-4
Let w = -21 - -24. Let r(v) = -v**2 + 4*v - 3. Let d be r(w). Is 2/5 equal to d?
False
Let v(q) = -2*q**3 - 7*q**2 - 2*q + 3. Let k be v(-3). Is 1/40 at least k?
True
Let m be ((-6)/15)/(1/149). Let x = -60 - m. Suppose -4*r = -3*p + r + 12, 12 = -4*r. Is x bigger than p?
True
Let m(h) = -2*h + 8. Let u be m(5). Is -2/3 <= u?
False
Let s = -41 + 40. Are s and -1 non-equal?
False
Let k = -1 - -1. Suppose c - 2*n - 12 = -0*n, -4 = 3*c + 2*n. Suppose j = c*j - 1. Which is smaller: k or j?
k
Let u = -11 - -24. Let f be -3*((-39)/9 - -3). Suppose c + u = -f*p + 4, 4*c - 24 = 4*p. Which is smaller: p or -1?
p
Let l be (15/5 - 2)*-1. Which is greater: 5/17 or l?
5/17
Suppose -2 = -3*l - 3*t + 10, -3*t + 16 = -l. Is l at least -3/43?
False
Let y be 2/5 + (-2)/5. Suppose m + y*m + 2 = 0. Let r be 3/6*m + 4. Is r > 3?
False
Suppose 4*v = -4*a + 32, 0*v + 2*a - 12 = -v. Suppose v = 3*g + c, 5*c + 4 = -5*g + 2*g. Let d be 1/g + 3/(-2). Which is bigger: 1/3 or d?
1/3
Let i be (4 - 0)*3/2. Let q(m) = -10*m**2 + 18*m - 2. Let x(h) = -3*h**2 + 6*h - 1. Let l(z) = 2*q(z) - 7*x(z). Let j be l(i). Is 3/2 at most as big as j?
True
Let w be 15/(-3) - (0 + 1). Let y(s) = s - 14. Let f be y(9). Let q = w - f. Which is greater: -3 or q?
q
Let c be 38/8 - 2/(-8). Suppose -c = -6*t + t. Is t less than or equal to 1/2?
False
Suppose 0 = -2*u + 10, -k + 5*u = -1 + 35. Let d = -63.1 - -63. Which is greater: k or d?
d
Let x = -0.5 - 1.1. Let u = -0.6 - x. Which is smaller: -1 or u?
-1
Let y be 4*1 + -2 + 4. Suppose 2*g = -a - 3, 2*g - 2*a + y = -0*g. Suppose -5*r + t = 25, -2*t + 0 + 2 = 2*r. Is g at most r?
False
Suppose -8 = -2*j + 4. Is 6 < j?
False
Suppose -2*z + 9 = z. Let v be (18/(-8))/(-6 + z). Suppose 0*o - o = -3*q - 3, -5*o = -15. Is q greater than v?
False
Suppose 3 = -5*g - 2, 8 = 2*l + 4*g. Let y be (-2)/(l - (-2 - -1)). Is y > -0.8?
True
Let j(a) = a**2 + 8*a + 9. Let s be j(-7). Suppose 24 = m - 4*d, 4*d + 7 = -s*m + d. Suppose 0 = m*c + c. Is c < 1/6?
True
Let q = -18 + 35/2. Is q bigger than -0.1?
False
Let h = 33/10 + -16/5. Suppose c - 9 = 4*c. Let f = c + 2. Are f and h unequal?
True
Let g(i) = 2*i + 20. Suppose 0 = 5*s - 3*s + 12. Let p be g(s). Is 8 equal to p?
True
Let s(r) = -r - 4. Let v be s(-5). Let n = 5.1 - 0.1. Let z = n + -5. Which is smaller: z or v?
z
Let m = 57.021 + -57. Is -2/5 smaller than m?
True
Let u be ((-4)/(-15))/(4 + (-18)/5). Is u < -1/14?
False
Suppose s = -4 + 5. Let v be 2/485*12/24*-10. Does s = v?
False
Let k be (2 - 2 - -1)/((-18)/18). Which is smaller: k or 3/40?
k
Let m = -0.2 - 1.8. Let l = -5 - m. Let a = -3 - l. Is 1/4 less than or equal to a?
False
Let a be (1*(-1)/3)/((-5)/3). Do a and 0.3 have different values?
True
Suppose -2*z - 9 = -3*v, 5*z + 4*v = 12 - 0. Let r(i) = i**2 + 3*i - 9 + 12 + i - 7. Let o be r(-5). Is o smaller than z?
False
Let y(q) be the first derivative of -q**4/4 - 5*q**3/3 + 7*q**2/2 + 6*q - 3. Let o be y(-6). Let d = -2.2 - -0.2. Are d and o nonequal?
True
Suppose 3*q = 95 - 5. Is 31 at most q?
False
Let i(q) = -q**2 + 5*q + 10. Let s be i(8). Let a be -1 - 1/(10/s). Which is greater: -2 or a?
a
Let u be 6*(-4)/(-36)*-3. Let r = 6 - 5. Which is smaller: r or u?
u
Let q = 20 + -20. Is -1/3 less than or equal to q?
True
Let b(h) = -h + 7. Let z be b(7). Let s = 5 - 5. Are s and z unequal?
False
Suppose -3*x - 5 + 2 = 0. Let d = -18 - -87/5. Are d and x equal?
False
Let d = 1 - 3. Let j be d/6*0*1. Let m be (9/(-12))/((-14)/8). Which is greater: m or j?
m
Let z = 31 - 24. Is 0 at least as big as z?
False
Let v = -110 - -1211/11. Is v < -1?
False
Suppose 4*b - 192 = 5*i, -3*i - 3*b + 8 = 107. Let t be (-12)/i + (-1)/(-3). Are t and -0.05 nonequal?
True
Let k(q) = -q**2 + 6*q + 5. Let d = 1 + 5. Let n be k(d). Is 4 > n?
False
Let n be 4/(-16) - (-4)/16. Let h = 9.1 - 1.1. Let t = 13 - h. Which is smaller: t or n?
n
Let m = 0.1 + 0.1. Let i = 0.3 - m. Let g = -1.1 + i. Which is bigger: 0.1 or g?
0.1
Suppose 0*b + 4 = 4*b. Let c(z) = -z + 1. Let p be c(-1). Are b and p unequal?
True
Let h = 0.56 - 5.66. Let o = 6 + -1. Let a = h + o. Which is smaller: a or -1?
-1
Suppose -3*p = p - 12. Suppose 0 = -5*v - 3*u + 8 + 2, -4*u = -4*v + 8. Which is smaller: v or p?
v
Let u(g) be the second derivative of g**3/6 - 5*g**2 - 5*g. Let w be u(8). Suppose -5*y - 2*l + 3 - 5 = 0, -3*y + 4*l - 22 = 0. Do w and y have the same value?
True
Let n = 44 + -49. Which is smaller: n or 3?
n
Suppose 0 = m - 1 + 8. Let t be 0/(m/((-14)/(-4))). Is t greater than 2/5?
False
Let t be (2/(-3))/((-3)/18). Let x be (-4)/10 + t/10. Is -4/3 at least x?
False
Let k = -16 + 16. Let m(g) = -g**2 + 3*g + 2. Let z be m(3). Which is smaller: z or k?
k
Suppose 0 = -26*i + 28*i - 8. Let j(z) = 4*z**2 - 2*z - 1. Let h be j(-1). Is i at most h?
True
Let a(u) = -u**2 - 4*u - 5. Let x(j) = j**2 + 3*j + 6. Let t(b) = 3*a(b) + 2*x(b). Let s be t(-5). Which is smaller: s or 1?
1
Let t be -1 + 2 + 5/5. Let l be (3/(-3))/((-1)/3). Is t greater than or equal to l?
False
Let s = 3 - 2. Let m = 829 + -25701/31. Which is bigger: m or s?
s
Let t = 29 - 31. Which is smaller: t or 0.1?
t
Suppose -g - 20 = -3*g. Let d = g - 4. Is 5 less than d?
True
Let t = 19 + -19.1. Is 4/25 greater than or equal to t?
True
Let w(x) = -3 - 8*x + 3 - 2*x**2. Let c be w(-7). Let m be (0 + 1)/(6/c). Is m bigger than -6?
False
Let o(n) = n. Let t(q) = -6*q**3 - 3*q - 1. Let g(u) = o(u) + t(u). Let k be g(-1). Suppose -k*s + 5*s - 6 = 0. Which is greater: -2/7 or s?
-2/7
Suppose 3*b - 2 = 10. Suppose -l = 3*l - b. Which is smaller: -1 or l?
-1
Let j = 2 - 7. Let k = 4 + j. Which is greater: k or -9/4?
k
Let l(p) = -p**3 - 3*p**2 - 1. Let j be l(-3). Let x(h) = -h**3 + 2*h**2 + 5*h - 3. Let w be x(3). Let z = -3 + w. Which is smaller: j or z?
j
Let m = -13 + 13.5. Let n = m - 0.4. Which is bigger: -1 or n?
n
Let q = 2 + -2. Let d be -1 - -1 - q/(-3). Let g be 1/(-10)*1*2. Are g and d equal?
False
Let y = -2.4 - -0.4. Let i = -9 + 8. Which is smaller: i or y?
y
Suppose 3*d - 6 = 0, 4*a + 24 = -0*a + 2*d. Let c = a - -9. Is c equal to 4?
True
Let n be (-8)/6*1/2. Let u(z) = z + 11. Let s be (-90)/9 + -1*2. Let v be u(s). Do v and n have the same value?
False
Let c(r) = r - 2. Let i be c(3). Let h be (6/4)/((-4)/(-8)). Let d = h - 2. Is d bigger than i?
False
Let b = 20 + 2. Do 2 and b have the same value?
False
Suppose d + 2 = -2, -5*m = 3*d - 33. Suppose 0 = -3*f - m. Let v be 2/f - 2/6. Which is smaller: -2 or v?
-2
Let t be 21/(-15)*15/3. Are -6 and t nonequal?
True
Let q be (-2)/3 - (-616)/42. Which is greater: q or 6?
q
Let m be -15*(-4)/57 - 1. Which is smaller: 1 or m?
m
Let j be 1 + 2*(-1)/1. Let s(a) = -a**3 - 9*a**2 - a - 1. Let r be s(-4). Let m = r + 226/3. Is j greater than or equal to m?
True
Let r be (10/2 - 3) + -1*3. Which is smaller: r or 1/29?
r
Suppose 0 = 3*j - 20 + 17. Which is bigger: -5 or j?
j
Suppose 5*t + 4 = 104. Which is smaller: t or 1?
1
Let o = -6 - -5.6. Let b = 1 + 0. Which is bigger: o or b?
b
Let