 Does u = 6?
False
Let c(m) = -m**3 + 2*m**2 - 2. Let p be c(2). Let y be (6/(-9))/((78/9)/1). Is p at most y?
True
Suppose -5*t + 1 + 18 = -p, 5*p + 14 = -2*t. Which is smaller: -4 or t?
-4
Let g(j) = -8*j**3 - j**2. Let t be g(-1). Let q(z) = z**2 - 9*z + 10. Let v be q(t). Which is greater: v or -2?
-2
Let d be (2/20)/((-2)/(-4)). Suppose -3*b - 1 = 2*h, 3*b + 7 = b + 5*h. Which is smaller: d or b?
b
Let i be (-6)/(-4)*30/3. Let o be i/(-2)*8/12. Do o and -3 have different values?
True
Let i(t) be the first derivative of t**3/3 - 3*t**2/2 - t - 2. Let c be i(4). Suppose 0 = -3*a - 0*a - c. Which is greater: a or 1/6?
1/6
Let b(j) = -j**3 + 6*j**2 - 4*j - 6. Let o be b(5). Is 2/19 less than or equal to o?
False
Suppose 7 = 3*g - 17. Let j be (2/g)/((-49)/(-455)). Let c = 18/7 - j. Which is smaller: -2 or c?
-2
Suppose -3*f + 5*q + 38 = 0, -2*f + 3*q = -30 + 5. Does 12 = f?
False
Let w be (1 - 1)/((-2)/1). Let z = w - -1. Which is bigger: 0 or z?
z
Let x = 0 + 0. Let b = -118/3 - -1310/33. Is x at least b?
False
Suppose -5*w = -0*w - 4*h + 21, 2*h - 12 = 4*w. Is -1/31 bigger than w?
True
Suppose -3*d = -5*v - 79, -2*v = 5*d - 4*d + 25. Let j be 18/v + 2/7. Is j greater than -6/11?
False
Let t(b) = -2*b**3 - 3*b**2 - b + 2. Let g be t(-2). Let p be (-4)/g + (-4)/8. Is p greater than -2?
True
Suppose 10 = -3*a + 8*a. Which is bigger: a or 0?
a
Suppose -5 = -2*j - 4*m + 1, 2 = -2*j + 4*m. Which is bigger: 4/3 or j?
4/3
Let w = 0.8 - 0.2. Is -1 < w?
True
Let t = -20 - -80/3. Which is smaller: t or 6?
6
Let a = 4 + -7. Let s = 4 + a. Which is greater: s or 2/3?
s
Let y = 10.19 - 0.19. Let w = y + -4. Do w and 1/6 have the same value?
False
Let y = -17 - -32. Suppose 0 = 4*o + 5*s + y, o = 5*s - s + 12. Suppose 0 = 4*a + 2*p - 8, 5*a - 3*p + 1 = o. Which is bigger: a or -2/7?
a
Let d = 3.151 - 0.051. Let w = 3 - d. Let c = w - -0.1. Is -2 greater than or equal to c?
False
Let z be 1 + -3 + -2 - -3. Which is smaller: z or 0.15?
z
Let a(g) = -g**3 + 5*g**2 + 7*g - 7. Let k be a(6). Let s be 2*(-7)/((-112)/(-6)). Do s and k have the same value?
False
Let r(k) = k + 12. Let n be r(9). Suppose -3*y = 3*a - n - 0, 2*y = 5*a. Suppose 4*x + 0 + 6 = -2*i, -3*i = x + 9. Which is smaller: a or x?
x
Let l(v) = v**3 + 17*v**2 - 20*v - 27. Let i be l(-18). Which is smaller: 7 or i?
7
Let f be ((-4)/76)/(3 - 1). Do f and -1 have different values?
True
Let y = 3 + 0. Suppose 0 = -7*d + y*d - 24. Which is bigger: -7 or d?
d
Let d(u) = -u**3 + 12*u**2 + 26*u + 19. Let f be d(14). Are -7 and f equal?
False
Let p = -8 + 13. Let g = -4.6 + p. Let v = g - 1.4. Is v at least -2/7?
False
Let x = -31/2 + 15. Let w(r) = 5*r**2 - r + 1. Let c be w(1). Suppose -7 = o - c. Which is greater: o or x?
x
Let g(w) be the first derivative of w**3/3 - 9*w**2/2 - 5. Let l be g(9). Which is smaller: l or 1?
l
Let p = -7 - -5. Let q be (2 + p)*(1 - 2). Suppose t = -q*t - 1. Is -3 <= t?
True
Let c = 5/13276 - -23193117/146036. Let t = c - 159. Let r = -2 - -3. Is r equal to t?
False
Let a = -5.4 - -5.3. Is a > 15?
False
Suppose 0 = -3*i + q + 5, 7*i + 5 = 2*i - q. Are 2/21 and i equal?
False
Let g = 625 + -43127/69. Is g less than or equal to 0?
True
Suppose -8*a - 142 = -38. Are a and -11 nonequal?
True
Let d be 3 - (-5)/(5/4). Let a be 3 + 6/2*1. Which is smaller: d or a?
a
Let b be ((-9)/(-6))/((-12)/(-32)). Is 2 > b?
False
Let p(r) = 2*r + 8. Let u(x) = -x - 7. Let s(z) = -4*p(z) - 5*u(z). Let t be s(5). Is t > -10?
False
Let g(u) = 2*u**2 - 2*u + 1. Let i be g(1). Let h be (1 + 0)/(i/2). Let o be (1 - h - 1) + 5. Are o and 3 equal?
True
Let t be (-19)/(-7) + 2/7. Let x be -3*(-2)/3*t. Suppose 0 = -p + x*p + 15. Are -4 and p equal?
False
Suppose -32 - 13 = -f. Suppose -8*h + f = -3*h. Suppose 5 = -3*q + 5*o - 16, -3*o = -h. Is q > -1/2?
False
Let w = 147/1670 + 2/167. Do 0 and w have the same value?
False
Suppose -2 = 3*i + 10, 5*t = -2*i - 228. Which is greater: 0.1 or t?
0.1
Suppose 1 = -0*v + v. Suppose t + v = -0. Are t and -1 non-equal?
False
Let h = 1/472 + 1397/8968. Which is greater: 1 or h?
1
Suppose 0 = -4*l - 5*q + 7, 2*q = -4*l + 10. Let u(r) = r**3 - 9*r**2 + 7*r + 9. Let t be u(8). Suppose -l = 4*m + t. Is -1 at most as big as m?
True
Let y be (-48)/(-21) + 4/(-14). Let q = 129 + -126. Is q <= y?
False
Let y(c) = -c**2 - c + 1. Let t(b) = b - 9. Let v be t(7). Let f be y(v). Is f > 1/6?
False
Let u = 5.9 + -6. Let r = 0 - 3. Let l = -1 - r. Is u less than l?
True
Let i be 404/168 + (-2)/(-12). Let h = i - 83/35. Let y be ((-3)/(-3))/(0 - -1). Is h greater than y?
False
Let t(m) = -m**3 + 10*m**2 - 9*m - 1. Let n be t(9). Which is greater: 4/9 or n?
4/9
Let u be 3/(-6) - 7/2. Is u equal to 3?
False
Let y = -7 - -6.7. Let z = -0.2 - y. Do -2 and z have the same value?
False
Suppose 0*x = -5*x + 40. Suppose -3*n + 0*n - 33 = 0. Let g = n + x. Is -3 not equal to g?
False
Suppose -2*b - 6 = -5*b. Are b and 2/5 equal?
False
Let s be (-1)/(-2) + 60153/23058. Let x = s - -1/427. Let l = x - 25/9. Is 2/5 at least l?
True
Let s = -2 + -3. Suppose -21*o + 16 = -25*o. Which is smaller: s or o?
s
Let t = -220/7 - -223/7. Is -1/3 >= t?
False
Let d = -34 - -30. Which is greater: -11/4 or d?
-11/4
Suppose -25 - 108 = -19*b. Suppose 0 = 3*m - 3 - 15. Is m > b?
False
Suppose 11 = 3*g + x, 4*x + 16 = 3*g - 0. Suppose 0 = -o - 2*o + 15. Are g and o unequal?
True
Let f = -2000/3 - -679. Let n = f + -12. Does n = -1?
False
Suppose 4*a - 4*d = 0, -3 = -4*a + 2*d + d. Let m = a + 0. Suppose i = 4*t - 1, 4*t + 7 = -5*i + 2. Which is smaller: m or t?
t
Let v be (-2)/5*570/(-133). Is 3 at least as big as v?
True
Let n = -161 - -160. Suppose -t - 4*t = -90. Suppose 3*r + 12 = -2*b + b, 5*b + t = -r. Which is smaller: n or r?
r
Let a be 4 + 0 + 1 + 3. Which is greater: a or 10?
10
Let p = 3 + -1. Suppose -4*w - 6 = -p*f, -3*f = -0*f - 2*w - 1. Which is smaller: f or -3?
-3
Let a = 6 + -5.98. Let n = a - 0.02. Let h = 1 - n. Which is smaller: -2/11 or h?
-2/11
Let m be 10*(1 - (-2)/(-4)). Suppose -51 = 8*c - 11*c. Let f = 23 - c. Which is smaller: m or f?
m
Let a = -184/3 + 17372/51. Let c = a - 23676/85. Let z = c - 6/17. Is z smaller than 0?
False
Let i = -0.2 + 0.3. Suppose 7*x = 4*x - 45. Let m be (-6)/x*(-4)/(-2). Which is smaller: i or m?
i
Let n(s) = s**3 + 9*s**2 + 2*s + 7. Let a be n(-6). Let r = -1132/11 + a. Which is bigger: r or -1?
r
Suppose -2*h + 4*h + 4 = 0. Let q be 1/2*h/1. Is q at least -2/11?
False
Suppose 0 = -3*w + 2*z + 13, 2*w - 17 = 5*w + 4*z. Suppose s - 2 = -s. Is w <= s?
True
Suppose 2*z + 4 = 3*y, 4*z = -6*y + 2*y + 12. Is -2/363 equal to z?
False
Let c = 3.67 + -0.07. Let z = -1.6 + c. Let a = -0.3 - -0.1. Is a <= z?
True
Suppose 0*i - 6 = 3*i. Let h(l) = l**2 + 6*l + 5. Let u be -1 - (-4 + 3 - -4). Let r be h(u). Which is bigger: r or i?
i
Let d = -12 - -14. Let r(u) = 4*u**3 + u**2 - 2*u + 1. Let h be r(1). Let a = d - h. Which is smaller: a or 0?
a
Suppose 0 + 5 = 5*o. Let b be (-1)/(-3) + (-3)/(-45). Which is smaller: b or o?
b
Suppose 0 = -3*m - 4*g - 15, 3*m + 0*g + g = -6. Let x be ((-480)/(-124))/2 + -5 - -3. Which is bigger: m or x?
x
Let l = -149 + 33. Which is smaller: l or 0.1?
l
Suppose 0 = 3*q - 7*q - 2*g + 14, 4*q - 8 = 4*g. Suppose q*r - r = -4. Which is greater: r or -0.3?
-0.3
Suppose -19 = 5*r + w + 2*w, -5*r = -2*w + 4. Which is greater: r or -1?
-1
Let s = -2 - -3. Let f = -2 + 0.6. Let g = f - -1.1. Is s <= g?
False
Suppose -26 - 78 = -8*s. Is s less than or equal to 0.2?
False
Let r = 0.8 - 1. Let z = 0.04 - 0.04. Let s = r - z. Is -2/3 >= s?
False
Let o = 13/44 - 1/22. Which is smaller: 0 or o?
0
Let y(a) = -a**3 - 7*a**2 + a + 7. Let i be y(-7). Suppose i = -3*u + 6 - 0. Let d(z) = -3*z**2 - 15*z + 2. Let x be d(-5). Do u and x have the same value?
True
Let i = 0.037 - -34.963. Is i at least -2?
True
Let s be (4/(-3))/(4/(-6)). Suppose 2*o + j = 0, 0 = -3*o + o + s*j - 6. Let p = 2 - o. Is 3 at least as big as p?
True
Let p(m) = m + 4. Let g be p(-2). Suppose 2*t + 8 = -g*t. Let d be -3*4*t/(-18). Are -2 and d nonequal?
True
Let o = -3/211 - -2758/1055. Which is greater: 3 or o?
3
Let o be 1 - -3*6/9. Suppose o*m + 0 - 3 = 0. Let s = m + -2. Which is greater: 1/3 or s?
1/3
Let h = 1073/3 - 362. Is -4 >= h?
True
Let h = -11 + 16. Let s = -25