3*z + 11. Let c(s) be the second derivative of s**4/12 + 2*s**3/3 + s**2/2 - s. Let g be c(z). Is 2 != g?
True
Let i(m) = 4*m**2 + 9*m + 14. Let b be i(-2). Suppose 0 = 3*k + k - 48. Is k at most b?
True
Let n be 6/(-4)*32/(-12). Suppose 15 = -2*i + 4*i - 3*g, 3*i = -2*g - 10. Suppose i = -2*l + n*l - 4. Is 2 at least as big as l?
True
Let j = 16 - 20.5. Let v = -0.5 - j. Which is greater: v or -1/4?
v
Let u(m) = -m + 11. Let o be u(12). Are -1/7 and o nonequal?
True
Let q = -0.13 + 0.03. Let i = 1.1 + q. Which is greater: 0.1 or i?
i
Suppose 0*y = -2*y - q - 31, y + 19 = 3*q. Is y less than -17?
False
Suppose 5*y = o + 3*o - 18, -5*y - 4*o - 2 = 0. Let g be 2/(y - (0 + 0)). Let i be (g + 2)*-2 + 1. Is i smaller than 2/7?
True
Let f = -355.3 + 375. Let q = f - 20. Let w(l) = -l**3 + 6*l**2. Let i be w(6). Which is bigger: i or q?
i
Let j(h) = h**3 - 4*h**2 + 3*h - 4. Let f be j(4). Let s be (f/12)/(4/(-6)). Is s at least 0?
False
Let h = 35 + -34.7. Is h less than or equal to -3?
False
Suppose -119 = -2*u - 5*u. Is u less than 0?
False
Suppose 5*t = 2*t + 12. Suppose 3*w + p - 17 = -3, -4*w - t*p = -16. Suppose 2*a + 4 = w*q, -4*a = -a - 2*q - 5. Which is smaller: a or 1?
1
Let w be (-3 - -7 - 6)/(-33). Is w smaller than 1?
True
Let p = 39 - 40. Suppose -6*d = -2*d + 4*w, -5*d = -2*w + 21. Let i(g) = -g**3 - 4*g**2 - 2*g + 2. Let m be i(d). Does p = m?
True
Let q be (6/5)/(5976/(-240)). Which is greater: q or -1?
q
Let r(c) = -c**3 - c**2 + 3*c - 1. Let x be r(2). Let i = x + 11. Suppose 15 = 5*s, -f = i*f + 2*s - 6. Which is bigger: 1 or f?
1
Let p be (-1)/(-2)*0/(-3). Let n(a) = a + 7. Let s be n(0). Suppose -3*w + s*w = p. Which is smaller: -3/4 or w?
-3/4
Suppose -3 + 0 = x - z, 0 = 3*x + 2*z - 16. Suppose 8 + x = -2*f. Which is greater: f or -6?
f
Let j = -63829/140 + 2373/5. Let w = -77/4 + j. Suppose -2*r - 4 = -4*f, 2 = 3*r + 14. Are f and w equal?
False
Let k(q) = -10*q + 5. Let x be k(3). Which is smaller: -24 or x?
x
Let a be (-2 + 2)/(8/2). Suppose 5*v + 18 = 2*v. Let z be ((-1)/(-6))/(v/(-8)). Which is smaller: z or a?
a
Let u = 17 - 84/5. Let t = 4 + -2. Suppose 2*q = -t*q. Is u equal to q?
False
Let i = 99 + -29. Let l = i - 143/2. Is l greater than -1?
False
Suppose 0 = 2*h - 4, 3*h = 2*u + 3 + 1. Let b be u + (0 - -2)/(-2). Which is greater: -2/3 or b?
b
Suppose -3*g + 3*m - 1 = -2*g, m + 5 = 3*g. Is g < 4?
True
Let r = -18 + 10. Let p = -24 - -17. Is r less than p?
True
Let t be (-20)/(-16)*(0 + -4). Let i(h) be the third derivative of h**5/60 + 5*h**4/24 - 2*h**3/3 + 2*h**2. Let a be i(t). Is a smaller than -1?
True
Let f = 33 - 33.3. Which is smaller: 1/3 or f?
f
Let g(f) = 2*f**2 + 8*f**2 + f**3 - 35*f + 10 + 36*f. Let k be g(-10). Which is bigger: k or -4/13?
k
Let k = 309/4 + -2127/28. Do -0.2 and k have the same value?
False
Let x(h) = h**3 - 5*h**2 + h - 1. Let k be x(5). Let i be (-3)/k - (-148)/176. Which is greater: 0 or i?
i
Suppose i - 4*i - 5*h - 1 = 0, -3*i + 11 = -h. Let b = 5 - i. Let l = b + -1. Which is bigger: l or -1/3?
l
Suppose -g - b = -0*b + 7, 5*g = b - 5. Let d be 4*1 - (g - 2). Is d not equal to 9?
True
Let d be 198/40 + (-8)/(-32). Which is smaller: d or 4?
4
Suppose 4*u = -5*j + 5*u - 586, -2*u + 470 = -4*j. Is j at most -117?
True
Let s = -98/23 - -96/23. Let g be (-2)/(-2*1) - 1. Is g smaller than s?
False
Let a(u) = -u - 6. Suppose 3*x + 23 = 5. Let f = x + 6. Let o be a(f). Which is bigger: -7 or o?
o
Let l = -0.03 + 4.03. Let v = -0.9 + 1. Is l > v?
True
Suppose 3*k + 6 + 0 = 0. Let r be 0 + 0 + 4 - k. Which is greater: r or 2?
r
Suppose 1 = 3*u - 5*u - g, 5*g - 9 = 4*u. Which is smaller: -2/189 or u?
u
Suppose 0 = -4*w - 2*p - p, -3*p = -w + 15. Suppose -i = w*i - 4*a, -5*a = -i. Let c = -548/1869 + 2/267. Is c bigger than i?
False
Suppose 5*v - 3*d - 30 = -4*d, -v + 2*d = 5. Suppose 0 = -3*y + 5*f + 16, 4*y + 4 = y - v*f. Let j be 2/1*y/10. Is 0 < j?
True
Let f(t) = -t**2 + 6*t - 4. Suppose 3*h - 5 = -5*l, -7 = -5*h + 4*l + 26. Let n be f(h). Is 2 less than or equal to n?
False
Let x be 22/(-20) + 12/20. Let w = -2 - -1. Which is greater: w or x?
x
Suppose -2*a = -6*a + 4. Suppose 0 = -3*n + 3, 423 = -5*z + 2*z + 3*n. Let v be (-1)/(-4) + (-45)/z. Is v > a?
False
Suppose 0*r + 5*h - 33 = -4*r, -6 = 2*r - 2*h. Which is smaller: 6 or r?
r
Suppose -4 - 2 = j. Which is smaller: j or -5?
j
Let o = -0.1 + 0.2. Is o < 16?
True
Let u = 0.25 + 6.75. Which is bigger: u or 1?
u
Let f(o) = -o**3 + 4*o**2 + 5*o - 3. Let u = 2 - -3. Let q = 10 - u. Let d be f(q). Is -0.1 <= d?
False
Suppose -2*s + 0 = -6. Suppose 17 + s = 5*u. Is u > 4?
False
Suppose 4*o = -11*t + 10*t - 12, 3*o - 2*t + 20 = 0. Suppose -4*l - 11 = 1. Do o and l have different values?
True
Let p = -1247/3 + 409. Let y = 7 + p. Is y at most as big as -1/6?
False
Suppose 8 + 12 = 5*v. Let q(o) = -o**2 + 3*o + 4. Let i be q(v). Let b be -1 + (-2)/(8/(-9)). Which is smaller: b or i?
i
Let t(r) = -r**3 - 3*r**2 + 2*r + 17. Let o be t(0). Do o and -1 have different values?
True
Let y = -0.0642 + 6.0542. Let i = -5.4 - 0.6. Let p = i + y. Do p and 1 have the same value?
False
Suppose 37 - 21 = 4*w. Let g(n) = n - 4. Let s be g(6). Is s greater than w?
False
Let c = -8.19 + 0.19. Which is smaller: -1 or c?
c
Let r = -13 - -9. Let m(o) = o**2 + 3*o - 4. Let l be m(r). Let g be -1 - (l + (-13)/11). Which is bigger: 1 or g?
1
Let c = 0 + 0. Let x = 27 + -82/3. Let f = x - -2/3. Do c and f have the same value?
False
Let g = 0.23 - 0.33. Does g = -5?
False
Let w = 92 - 86. Which is smaller: w or 11?
w
Suppose 8 = -0*o + 4*o. Let n be o/(-7) + 5/(-7). Are n and 2/23 equal?
False
Let o be -1 - 3*-1 - 2. Let f be (2/(-8))/((-9)/(-128)). Let q = 10/3 + f. Is o less than or equal to q?
False
Suppose 8 = 4*f, 0 = 3*o + f - 27 - 20. Let d(l) = -l**3 + 4*l**2 + 3*l + 3. Let j be d(4). Is j >= o?
True
Suppose 0 = 3*u - 2*t - 31, 0*u - 5*t - 55 = -5*u. Suppose 5*v = -3*c - u, -3*v - 4*c = c + 15. Which is bigger: v or -2/9?
v
Let r = 14 - 13. Is -4/15 at least r?
False
Let r(b) = -b - 5. Let h be r(-6). Let z = h - -2. Suppose -3*j = 3*q + 3, q - z*j - 3 = -q. Is -2/11 not equal to q?
True
Let q = -7 - -6.5. Let j = -0.05 + q. Let s = 0.05 - j. Is s smaller than -0.1?
False
Let j = -1/181 + 199/3258. Let i = j - 23/9. Which is greater: i or -2?
-2
Let t = 0.03 - -0.07. Is t at most as big as 10?
True
Let n = -7 - -11. Suppose -n*k + 27 = -k. Let s be (-8)/k - (-6)/9. Which is bigger: 0 or s?
0
Let v = -3 - 4. Let z = 10 + -14. Let u = z - v. Is 2 greater than u?
False
Suppose -5*d + 1 - 3 = -2*j, -2*j = 2*d - 2. Let b = -6.34 + 4.41. Let v = -0.07 + b. Which is greater: v or j?
j
Let j = 1.4 - 1.7. Is -4 equal to j?
False
Suppose 0*z + z = 2. Let x = 4 + -7/2. Do z and x have different values?
True
Let f(x) = x**3 - 18*x**2 + 16*x + 21. Let a be f(17). Suppose 0 = -3*q + q + 4. Let r = 2 - q. Which is smaller: a or r?
r
Let h = 26 - 31. Are h and -66/13 equal?
False
Let v be (-2)/(-3)*(-93)/(-2). Let d be 2*(2 - v/16). Which is bigger: 0 or d?
d
Let t be 9/(-2) - (-52)/13. Suppose -q = q - 4. Let y be ((-4)/(-5))/(q + 4). Which is bigger: t or y?
y
Suppose 3*o + 5*g - 13 = 0, 0*g + g = -o + 3. Is o <= 5?
True
Let w = 10 + -26. Is w > -14?
False
Let l = 0.2 + -0.1. Let w = l + -4.1. Which is bigger: w or 3?
3
Let i = 161/3 + -53. Let t = 3 + -6. Let w = t + 3.1. Which is bigger: w or i?
i
Suppose 4*j - 2 = -w - 3, 0 = -5*w - 4*j - 5. Let q be 4/6*-3 - 0. Is w < q?
False
Let d be (-2 + -1)/(42/4). Let v = 1.4 + -1.5. Which is smaller: d or v?
d
Let f = 23 - 25. Which is bigger: f or -3?
f
Suppose -4*a + 3*g = -9, 2*a - 3*a - 1 = -4*g. Let r = 1 - 4. Let i = r + a. Which is smaller: 3/4 or i?
i
Let k be (-3 - (-55)/15) + 8/(-12). Which is smaller: k or 6?
k
Let o be 10/(-4)*8/(-10). Let z be (-3)/o*(-1)/48. Let v = -7/32 - z. Which is bigger: 1 or v?
1
Suppose -5*j + t + 65 = -16, 4*j + 3*t = 80. Is 17 smaller than j?
False
Suppose f + 2 = 4*f - 2*u, 5*f - 4 = 3*u. Suppose 3*t = -f*b - 7, 0 = t - 0*t - 5*b - 9. Let a be 3 - (60/14 + t). Which is smaller: a or 1?
a
Let s(l) = -l**2 - l + 2. Let v be 0*(-1 + (-6)/(-9)). Let p be s(v). Suppose 0 = -a + 3*k + 8, -2*k = p*a + 2*a + 10. Is a > -1/4?
False
Suppose m - v + 5 = 0, -21 - 4 = -5*m - 5*v. Suppose m*j = j