e of -j**3/6 - 2*j**2 - 5*j. Let o be i(-3). Let q be (-2 - o)/(1/9). Which is smaller: q or -8?
q
Let k(h) = -2*h + 3*h - 2*h - h**2 - 4. Let i = -3 + 3. Let u be k(i). Does -4 = u?
True
Let z(y) = -2*y + 3. Let l be z(2). Let i be l + (2 - 3/5). Are -0.1 and i unequal?
True
Let p(u) = -u + 3. Let l be p(3). Let h = -23/84 - -5/12. Which is smaller: h or l?
l
Let h be (-570)/(-36)*(-6)/(-20). Does h = 6?
False
Let z(t) = 2*t**2 - 6*t - 46. Let j be z(10). Do j and 95 have the same value?
False
Let p be (0 - (-2)/(-4))/(-1). Let b = -3 - -5. Which is greater: p or b?
b
Suppose 0 = -5*l - 4 - 1. Let n be l/(5/(-24)) + -3. Do 3 and n have different values?
True
Let b be 2/5 - 12423/(-230). Let q = -2971/2 - -1431. Let l = q + b. Which is smaller: -1 or l?
-1
Let u = -15 - -9. Let r = 6 + u. Which is greater: r or 1?
1
Let j = 5.92 - 6. Let q = 0.42 - j. Let y = -0.5 + q. Which is bigger: y or 4?
4
Let h = 240 + -238.89. Let f = 0.11 - h. Which is bigger: f or -0.4?
-0.4
Let c(y) = y**3 - 7*y**2 - 6*y - 3. Let x be c(8). Suppose 5*p = 7 + x. Is 3 at most as big as p?
True
Let j(h) = -h**2 - 10*h + 17. Let w be j(-10). Which is smaller: w or 31/2?
31/2
Let i = 3.2 - 3. Let l be ((-30)/4)/(1/(-2)). Suppose 0*n + 5*n = -l. Is n bigger than i?
False
Let j = -5 - -6. Let z(i) = -i + 1. Let l be z(-3). Suppose 0 = l*g - 3*g. Which is greater: j or g?
j
Suppose -4*q + 4 = -5*s - 23, -4*s - 21 = -3*q. Is q smaller than 4?
True
Let g(j) = 6*j. Let h be g(1). Let x be 3/6 + h/4. Is 7/3 at least x?
True
Suppose 0 = -2*b - 3*x - 18, 2*b - 2*x + 18 = x. Is b less than -7?
True
Let f(m) = -m**2 + 2*m - 12. Let a be f(4). Which is smaller: -19 or a?
a
Suppose -2*y + 0*y + 14 = 0. Suppose -22 = 5*b - y. Is -3 greater than or equal to b?
True
Let g = -18 + 60. Is 1 < g?
True
Let f = 5 + -5. Let w be 0/(1/(-1) - f). Let h = 1 - w. Are h and 1/5 nonequal?
True
Let t = -0.9 + -1.1. Let g = -1 - t. Is -1 at least g?
False
Let y(l) = -l**3 + l**2 + l + 8. Let m be y(0). Let v be -2*(2 + (-22)/4). Is m at least as big as v?
True
Let c be 2 - 3/5*3. Let v = c - -7/15. Which is smaller: v or 3?
v
Suppose 4*i - 4 = 0, 4 = -c - i - 0. Let y be 0 - -1 - 5/c. Does 3 = y?
False
Let q(x) = -3*x - 1. Let f be q(-1). Let d be 0 - (0 - f) - 1. Which is smaller: 2/15 or d?
2/15
Let a = -5 + 6. Suppose -4*d = -3*w - 2 + 14, 4*d + 4*w = 16. Let o = a - d. Are o and 1 unequal?
False
Let f = -13 - -7. Let y = f - -6. Is 2/3 smaller than y?
False
Let i = -2.96 + 1.96. Which is smaller: i or -26?
-26
Let s = -9.4 + 0.4. Is s at least 2?
False
Let y(v) = -v**2 + 5*v - 2. Let a be y(4). Which is smaller: a or -2/11?
-2/11
Let w(b) = -b - 3. Let m be w(-5). Let o = 8 - m. Suppose o*r = 2*r + 3*s + 2, -2*r - 4*s - 10 = 0. Is r less than -1?
False
Let j = 11 - 12. Let m be (4/52)/(j/(-2)). Is -1 equal to m?
False
Suppose -2*b + 6*b + 16 = 0. Do -4 and b have different values?
False
Let s = 125 - 128. Which is greater: s or -5/2?
-5/2
Let l = 11 - 12. Is -3/11 greater than or equal to l?
True
Let f = -7 - -7. Let g be (-3)/(0 + (-6)/(-4)). Let x be g + (2 - (-3)/(-12)). Does x = f?
False
Suppose -8 + 23 = -5*d. Let k = -4 - -1. Is k less than d?
False
Let z = 0.3 - 0.8. Let i = z - 0. Let g = i + 0.8. Which is greater: 0.1 or g?
g
Let l be -1*4/12*3. Is 0.04 equal to l?
False
Let m be (1 + 2)*(-4)/3. Suppose -9*j = -7*j + 10. Is j > m?
False
Let c = -0.4 - -0.8. Let o = 1.4 - c. Is o <= 0.09?
False
Let o be 1 - (-5)/(-6) - (-7)/(-6). Which is greater: o or 3?
3
Let m(u) = u - 5. Let t be m(5). Let d be (4 - 4)/(-2 + t). Which is greater: d or -1?
d
Let b = -5 - -8. Let j(g) = -2*g + 7. Let t be j(b). Let m be 1*1*(-1)/3. Is m at most as big as t?
True
Let c = 3 - 12. Is c equal to -7?
False
Let f(m) = -m**3 + 8*m**2 + 15*m - 3. Let q be f(7). Is q greater than or equal to 151?
True
Let h = 3.6 - 3.6. Which is smaller: h or 24?
h
Let z be (-972)/28 - (-2)/(-7). Let t be 5/z*(-12 + 2). Which is greater: 2 or t?
2
Let p = 49 + -31. Is 20 equal to p?
False
Let z = 5 + 34. Suppose 4*m = m + z. Does m = 13?
True
Let l(j) = -4*j**3 - 12*j**2 - 2*j + 20. Let x(m) = 11*m**3 + 36*m**2 + 5*m - 59. Let p(v) = 8*l(v) + 3*x(v). Let a be p(-12). Is a <= -6?
False
Let h be 4/(-3) - (0 - 0). Suppose -5*l + 9 = -2*l. Suppose -5*w + 5*i = -20, 2 + 9 = 4*w - l*i. Which is smaller: w or h?
h
Let t(a) = a**2 + 6*a - 6. Suppose q = 5 - 0, -q + 29 = y. Suppose 0 = 3*m + y - 3. Let j be t(m). Which is bigger: 4/9 or j?
j
Suppose -2*z = 3*z + 15. Let n(h) = h**2 + 5*h + 3. Let u be n(z). Does u = -4?
False
Let y(h) = -h + 3. Let d = 3 - 6. Let w be y(d). Which is smaller: w or 1?
1
Let v = 3 - 2. Let x = 3 + 0. Let y = x + -4. Is y at least as big as v?
False
Let s(i) = i**2 + 4*i - 7. Let u be 0 + (-5)/(0 + 1). Let z be s(u). Let a = -4 - -1. Which is bigger: z or a?
z
Let h be ((-2)/(-12) - 1/3)*4. Let x = -0.6 - -0.9. Is x bigger than h?
True
Let n be (-4)/(-10) - 0/(-15). Which is smaller: n or -0.3?
-0.3
Let v be (12/(-4))/3 + 0. Is 3 equal to v?
False
Let m(l) = -4*l**3 - 6*l**2 + 2*l + 4. Let x be m(-3). Is x not equal to 54?
True
Let o = 39 - 38. Which is bigger: 2 or o?
2
Let q be (0 - (-2)/(-4))*-1. Do q and 0.02 have the same value?
False
Let m be (-2 - 0)*3/(-39). Let k = -0.1 + 0.1. Let u = k - -0.1. Is u at most as big as m?
True
Let h = 62 + -66. Does 2 = h?
False
Let b(h) = -h**3 + 3*h**2 + h - 4. Let f be b(3). Let d = -0.85 + 0.8. Which is bigger: f or d?
d
Let f = 1 - -1. Let t = 3.3 + -0.3. Let j = t - 2.9. Does j = f?
False
Suppose -7*b = -3*b. Let y be 3/(-9) - (-14)/(-21). Which is bigger: y or b?
b
Suppose 15 + 0 = p. Let a be 2/(-10) - 102/p. Is -6 bigger than a?
True
Let d be 2 - (2 - (-4 + 33)). Which is smaller: d or 28?
28
Let p = 3 + -2.9. Let g = -29 - -28.7. Let r = p - g. Which is smaller: r or 2?
r
Let n be 4*(-2 - (-70)/36). Suppose -4*b + 15 = 4*a - b, -5*a - 5 = -b. Let o = 0 - a. Which is smaller: o or n?
n
Let i be (-4)/10 + 8/10. Suppose -1 = w - 0. Let m be -6 - -5 - (-1 - w). Which is greater: i or m?
i
Let q be 4/(-14) + (-17)/(-35). Suppose 0 = 5*z - 9*z + 28. Let s = z + -7. Is q > s?
True
Let c = 1.1 + -1.3. Which is smaller: -1 or c?
-1
Suppose 0*m + 4*m - 8 = 0. Suppose s = -m*s + t - 13, 8 = 4*s + 5*t. Suppose 2*p = -3 - 1. Is s smaller than p?
True
Suppose 0 = -2*a + 10*a - 8. Is a less than or equal to 66?
True
Let b(x) be the first derivative of x**3/3 + 2*x**2 + 4*x - 2. Let p be b(-3). Let s = 3339/13 + -257. Which is smaller: p or s?
s
Let a = 5 + -8. Suppose -4*z - 3*s - 14 = -3, 0 = -z - 4*s - 19. Let d be 10/(-2) - (-1 - z). Is d < a?
False
Let v = 72 + -107. Is v smaller than -1?
True
Suppose 5 - 3 = -2*k. Which is smaller: -5/7 or k?
k
Let d = -27/62 + -2/31. Is d != 1?
True
Suppose 4*z - 5 = -3*u, 0*z + 2*z = u - 15. Let y = u - 5. Let b be ((-12)/(-15))/(y/5). Is 2 bigger than b?
False
Suppose -b - 1 = 2. Let l(f) = f**2 - 3*f - 2. Let w be l(4). Let p be (w/5)/(8/5). Is p at most as big as b?
False
Let j = 0.261 - 0.161. Let x = 1.8 + -2. Let g = 0.3 + x. Are j and g equal?
True
Suppose 4*q = -55 - 13. Which is bigger: q or -13?
-13
Let r = 22 - 23. Let h be (7/21)/(r/3). Which is smaller: 1/18 or h?
h
Let c be 6/24 + (-2962)/(-9128). Let f = -1/326 + c. Is -1 greater than f?
False
Let q be (-2)/(2*(-2)/10). Suppose 0 = -q*f + d - 22, 5*f - 2*d + 34 = 10. Let c be 3/(-3*86/f). Which is smaller: c or -1?
-1
Let f(c) = -c - 4. Let q be f(-8). Let y be (q/8)/((-15)/(-20)). Do y and -8 have the same value?
False
Let m = -28 + 25. Is 1 smaller than m?
False
Let y = 4 - 2. Suppose 0 = -t + y. Is 3 smaller than t?
False
Suppose 144 = -5*m + 2*m - 3*b, 3*m + 154 = 2*b. Does m = -51?
False
Let r = 3.994 + -4. Let u = r - 2.004. Let g = u - -0.01. Which is smaller: 0.1 or g?
g
Let m = 2 + -3. Let o = -25 + 20. Is o less than or equal to m?
True
Let c(g) = -10*g - 151. Let f be c(-15). Let i = 11/152 - -1/19. Is i smaller than f?
False
Let v(b) = b + 5. Let z be v(-7). Let k be -3*((2 - z) + -3). Suppose -3*m = 3 + 6. Are k and m non-equal?
False
Let z(l) = 17*l + 6. Let h be z(1). Are 25 and h equal?
False
Let c = -809436337/284 - -2850188. Let y = c - 128/71. Let z = -58 + y. Which is smaller: 1 or z?
z
Let n be 18/(-4)*(-4)/3. Suppose -20 = f - n*f. Does 5 = 