/6)/(c - -2). Which is smaller: t or p?
p
Let z = 19 - 3. Which is bigger: -2/3 or z?
z
Suppose 0 = 5*b - b + 8. Let z(q) be the second derivative of -q**3/6 - q**2/2 - 4*q. Let d be z(b). Do 0 and d have the same value?
False
Let h be (-56)/(-6)*3/12. Which is bigger: h or 1?
h
Suppose 0 = 2*h + 2*h - 12. Suppose -4 = 2*s - p, h*s - 4*s - 3*p = 2. Is -2 equal to s?
True
Suppose 0 = 2*j - 3*j + 2. Which is smaller: j or 8/11?
8/11
Let p = 64/9 - 22/3. Which is greater: p or 1?
1
Let g = -17.4 - -18. Which is bigger: g or 1/4?
g
Let v = 28 + -23. Which is smaller: v or -0.2?
-0.2
Let q = -0.7 - 1.3. Let p = q - -2. Let j = -1 - -1. Is j not equal to p?
False
Suppose -3*b = 2*a - 15, a = -2*b + 6*b - 9. Suppose 2*u - 10 = r, 4*r + a*u - 7*u = -20. Is -4/5 less than r?
True
Let t be 6/(-5 + (-43)/(-6)). Which is smaller: 3 or t?
t
Let q be (28/10)/1*5. Let c be 12/q*5/(-15). Let w(h) = -h**2 + 5*h + 14. Let d be w(7). Is c at most as big as d?
True
Let d = -46853/68 - -689. Is d less than 1?
True
Let x = 145/6 - 3323/138. Are 0.1 and x non-equal?
True
Let c be 1/(-6)*8/6. Let b be -1*(-2)/4 + (-7)/14. Is b at most as big as c?
False
Let y be 8/6*(-9)/(-2). Suppose -5*s = -y*s + 1. Let j = -53/336 - -1/16. Is j less than or equal to s?
True
Let p = -0.22 + 0.3. Let z = p + 0.02. Is 1/3 at least as big as z?
True
Let a be 2/(8/14)*(-8)/(-28). Suppose 23 = -0*k + k. Let j = k + -45/2. Do a and j have the same value?
False
Let u = -5452/9 + 605. Let s be (-2)/(-8) + (-3)/12. Does s = u?
False
Suppose -14*u - 24 = -10*u. Which is greater: -1/5 or u?
-1/5
Let m be 548/840 - 2/3. Which is greater: 0 or m?
0
Let r = 15 + -11. Suppose d + r*d + 40 = 0. Let q = d - -9. Which is greater: q or -1?
q
Let o = -0.8 - -0.3. Let l = 0.7 + o. Let y = 0.8 + l. Are y and 0.3 nonequal?
True
Suppose 3*s - 4*s + 3 = t, 2*s = -4*t + 14. Let j(b) = b + 7. Let w be j(-7). Which is smaller: w or s?
s
Let h = 101 + -93. Which is smaller: -2 or h?
-2
Suppose 2*z + c = 0, z + 4*c = -z. Let b = 2 + z. Suppose 0 = -2*d + 6*d - 4. Which is bigger: b or d?
b
Suppose 4*t = 3*q + 7, -5*q + t = 2*t + 4. Are q and -2/51 equal?
False
Let o(b) = -b**3 - b**2 + 3*b + 2. Let c be o(-2). Do c and 1/10 have the same value?
False
Let l = 15 - 15.3. Is l at most as big as 3?
True
Let a = 0.06 - 0.21. Let d = 0.15 + a. Is -1 > d?
False
Let j be (-4)/6 - (-16)/6. Let u be (-1)/(1/8) - -1. Let g be ((-1)/3)/(u/12). Are j and g non-equal?
True
Let c(y) be the first derivative of y**3/3 - 2*y**2 + 4*y - 2. Suppose 0*s - s + 3 = 0. Let a be c(s). Is a greater than or equal to 2?
False
Let f(v) be the second derivative of -v**3/6 + 3*v**2/2 - v. Let w be f(4). Let b be (-1 - (-18)/8) + -2. Is w < b?
True
Let u = 143 + -5719/40. Let g = -71/360 - u. Is g at least as big as 1?
False
Let r(a) = -a**3 - 3*a**2 + 2. Let y be r(-3). Let p be 1*(-1)/10*y. Suppose l - 2*l = 0. Is p at most l?
True
Let u be (-10)/15 + 8/3. Suppose 4*s = -3*o + 20, -s + 3 = 5*o - u. Suppose o*y - 5 = -5*y. Which is smaller: -1/8 or y?
-1/8
Let c = 10/17 + -64/51. Suppose f - 2*f - 12 = 0. Let r be f/9*3/2. Which is smaller: r or c?
r
Let u(c) = -38*c + 3. Let m be u(2). Let y = -510/7 - m. Which is greater: y or 0?
y
Let g(j) = 9*j + 8. Let a be g(3). Do 35 and a have the same value?
True
Let c be 27/(-24) + (3 - 2). Which is smaller: -1 or c?
-1
Suppose -3*l - 5*b + 17 = 0, -2*l + 4*b - b = -43. Which is smaller: l or 11?
11
Suppose 1 = t - 2*t. Which is bigger: t or 1?
1
Suppose -4*v = -0 + 8. Which is smaller: v or -2/3?
v
Let b(u) = -11*u**3 + 12*u**2 - u. Let w(y) = -7*y**3 + 8*y**2 - y. Let o(k) = -5*b(k) + 8*w(k). Let v be o(3). Let l = -48 + 49. Is l > v?
True
Let q be 8/(-10)*(-65)/(-26). Is q at most -8?
False
Let u = 17 + -14. Let c be (-27)/9 - u*-1. Are c and 2 non-equal?
True
Let o(s) = 176*s**2 + 2*s + 6. Let p be o(5). Let c = p + -57474/13. Let z = c - -436/91. Which is greater: -1 or z?
z
Let i = -173.5 - -173. Let g = -6/25 + -8/175. Is g at least as big as i?
True
Let h = 32 + -28. Are h and -4 non-equal?
True
Let m = 0 + -0.7. Let i = m + 0.8. Which is smaller: -3/8 or i?
-3/8
Let c(x) = -x**3 - 6*x**2 + x + 2. Let h be c(-6). Let v = -68 - -64. Is v at least as big as h?
True
Suppose 0*k + 1 = -p - k, 0 = -2*p - 5*k - 8. Suppose -4*b = 4*l + 28, 0*l - l + 3*b = 19. Let n be (0 - -2) + 24/l. Are p and n equal?
False
Let q(g) = -g**3 + 1. Let m(s) = 5*s**3 - 4*s**2 + 2*s. Let h(b) = -m(b) - 4*q(b). Let d be h(3). Is d greater than -2?
True
Suppose -28 = -3*x - d + 5*d, 0 = 5*d + 20. Suppose m - x*b - 2 = 0, 3 + 7 = 5*m + 3*b. Is m <= 1?
False
Let z be (-9)/(-15) - 8/(-20). Let a be (z - 0)*(-6 - -5). Let b(w) = -w**3 + 4*w**2 - 5*w + 3. Let j be b(3). Which is bigger: a or j?
a
Let s = 3 + -3. Suppose s = -q + 2*f - 6*f - 6, 3*q + 1 = 5*f. Which is smaller: q or 0?
q
Let x = 0.24 - 0.44. Do x and -1.2 have the same value?
False
Suppose 14*f = -31 + 3. Let n be 130/4*(-1)/2. Let r = -16 - n. Which is greater: r or f?
r
Let p be (-198)/30 + 2/(-5). Let u = 51 - 27. Suppose 4*s + 22 = -5*y, 4*s + u = 2*s + 4*y. Is p greater than s?
True
Let t = 1139.084 + -1135. Let s = 0.016 + t. Let g = s + -4. Is 1/5 > g?
True
Let p(n) = n**2 + 3*n. Let v be p(-5). Suppose -4 + v = 2*j. Is j equal to 5?
False
Let z = 630070 - 8826051/14. Let h(d) = -71*d - 7. Let c be h(5). Let k = z - c. Are 0 and k equal?
False
Suppose 2*j - v + 4*v = 5, 0 = 2*j + 4*v - 6. Let m be j*((-20)/12 + 2). Is m >= -10?
True
Let h be (-20)/24 + (-2)/12. Let a = h + 4. Which is greater: a or 5?
5
Let r = -2.04 + 0.04. Let t = 1.8 + r. Let h = -2 + 2. Is h smaller than t?
False
Let o = 485/4 - 122. Is o greater than or equal to -1/7?
False
Let z(l) = -l**3 - 6*l**2 - 9*l - 3. Let r be z(-4). Which is bigger: 1/2 or r?
r
Let t = 172 - 179.1. Let j = -1.1 - t. Suppose -5*m = 4*s + 15, 15 = 2*s - 4*m - m. Which is smaller: j or s?
s
Suppose 3*j - j = -3*n + 51, -124 = -3*j + 5*n. Let q be (1/j)/((-1)/(-6)). Is -1 at most as big as q?
True
Let w = 36 + 394. Let k be (-4)/10 - w/50. Is -10 <= k?
True
Let u(z) = -z**2 + 2*z + 2. Let x be u(3). Let i = x - 0. Which is smaller: i or -3?
-3
Let l = -1 - -5. Let t = l + -4.2. Which is greater: t or 1?
1
Let s = 3.6 - 4.4. Is s greater than -1/4?
False
Let l = 15 - 9. Let r(m) = -m**3 + 7*m**2 - 3*m - 8. Let a be r(l). Suppose -5*w - 2*g + 6 = -a, -15 = -5*g. Which is bigger: w or 3?
3
Let w = 51 - 48. Which is smaller: w or -4?
-4
Let p(n) be the third derivative of -n**4/24 - 4*n**3/3 - 6*n**2. Let l be p(-8). Which is smaller: l or -1?
-1
Suppose 61 = t - 4*l, -2*l + 18 = 2*t - 84. Is t greater than 53?
False
Suppose 5*v - 4*s = 14, 3*v + 0*v = -3*s + 30. Let z = -3 - v. Is -9 less than or equal to z?
True
Let f = -491/144 - -29/9. Are f and -1 equal?
False
Let y(b) be the first derivative of b**2/2 - 6*b + 13. Suppose -5*c = -0*c + 10, 19 = 5*d + 3*c. Let f be y(d). Which is greater: f or -2?
f
Let p(v) = v**2 + 3*v**2 + 0*v**3 + 3 + v**3 - 1 + 4*v. Let h be p(-3). Which is bigger: -1/8 or h?
-1/8
Let n be ((-7)/(-3))/(46/(-24) - -2). Is 26 at least n?
False
Let c be 11/(-110)*-5*(9 - -1). Let y = 0 + -2. Let k be 4 - 1/y*2. Are k and c equal?
True
Let r = 5 - 8. Let l = r - -10. Let g = l - 8. Is g != 4?
True
Let v = -67.68 + -0.32. Let i = 70.9 + v. Let q = -3 + i. Which is smaller: -2 or q?
-2
Let t(y) = y - 2*y - 2 - y**3 + 2*y + 3*y**2. Let n be t(3). Suppose 0 = -6*z + z, 0 = -c - z + 2. Is n less than c?
True
Let m be (6/(-15))/(1/(-10)). Suppose -10 = m*i - 34. Is 2 at most i?
True
Let i be 32/30 - 12/18. Let t = 2.05 - 0.05. Let m = t - 1.8. Are m and i non-equal?
True
Let r = -16 + 24. Let a = 3 - r. Let i(t) = 2*t**3 + 4*t**2 + 4*t + 2. Let y be i(-2). Does y = a?
False
Suppose 0 = 3*o + o - 276. Let q = o - 415/6. Which is smaller: q or 0?
q
Let c = -8 - -8. Suppose 4*a = -a + 5*t, 3*t = c. Is a <= 0?
True
Let g = 35931/61 - 589. Which is smaller: g or 0?
0
Let d be 132/(-30) - (-2)/5. Let r be (-2*4)/(8/d). Is 5 equal to r?
False
Let m be -6*(-1 + 4)/(-3). Let i = -5 + m. Is i != 1/5?
True
Let f be (-2)/(-8) - 3/12. Let k be 2/(-1)*(-123)/6. Let l = k + -124/3. Which is smaller: l or f?
l
Let u = 0 + 0. Suppose -k = -u*k. Let w(p) = p. Let x be w(0). Is x <= k?
True
Suppose -4*y = 9 + 