e p(5). Suppose 0*r - f*r + 28 = 0. Is r at most as big as 7?
True
Let k(f) = f**3 + 5*f**2 - 7*f + 6. Let p be k(-6). Is 0 at most p?
True
Let r(n) = -n**3 + 12*n**2 + 13*n. Let d be r(13). Is d <= -5/17?
False
Let s = -0.33 - -0.03. Let p = -0.58 - -1.58. Is s <= p?
True
Let g(h) = -2*h - 2. Let o be g(2). Let w be 3/9 + 32/o. Let x be 1 - 3/(2 + w). Which is greater: x or 1?
x
Let l = 0.18 - 0.08. Is l less than or equal to -0.2?
False
Suppose -2*u = 3*d + 1, 3*u + 2 = 2*u. Which is smaller: d or -2/95?
-2/95
Let j = -79 + 57. Is -20 bigger than j?
True
Suppose 15 = -4*j - j. Let h = -5 - j. Let b be (-1 - (h + 1))*1. Is 0 at most b?
True
Let x = 9/2 + -29/6. Which is greater: 1 or x?
1
Let i = -3 - -1. Let g = i + -1. Is g equal to -2?
False
Let t(d) = 150*d - 4. Let m be t(-3). Let z = m - -4082/9. Is z > -1?
True
Let f be (148/40 - 4)*(-4)/6. Which is greater: 0 or f?
f
Suppose -4*s = -3*n + 3, 8*n - 5*n = -4*s - 21. Let l = -1/11 - 31/22. Is l less than s?
False
Let a be ((-6)/15)/(7/(-70)). Is a equal to 4?
True
Suppose f - k = 5*f - 11, 10 = -2*k. Suppose 0*z - 4 = f*z. Let u = -119/5 - -24. Is u equal to z?
False
Let c = 12.9 - 12.3. Which is smaller: -9 or c?
-9
Let i = 40 - 9. Let w = -61/2 + i. Which is greater: 0 or w?
w
Suppose -3*v + 1 = -2. Let r be 4 + 1/v*-1. Suppose -3*y + r = -0. Is 1 greater than or equal to y?
True
Let s be (1 - (-16)/(-20)) + 310. Let y = 312 - s. Are 2 and y nonequal?
True
Let g = -2.99 + 3. Let y be (-7 - -7)*(-2)/(-6). Is y less than g?
True
Suppose 5 = -2*r - 3, 3*j + 4*r + 25 = 0. Do j and -3 have the same value?
True
Suppose -4*h - 5 = -1. Let c be -3*2*h/8. Let j(k) = k**3 + 3*k**2 + 3*k + 3. Let r be j(-2). Which is bigger: c or r?
r
Let v(d) = 17*d**3 - 2*d**2 + d + 1. Let m be v(1). Which is bigger: m or 18?
18
Let j = -24 - -49. Let v be (-2)/(-10) + (-5)/j. Suppose v = -6*t + t - 5. Which is bigger: 1 or t?
1
Let i(m) = 5*m. Let n(q) = -4*q + 1. Let v(d) = 3*i(d) + 4*n(d). Let g be v(5). Is g equal to -1/4?
False
Suppose m = 3*m - 12. Let x = -7 + m. Is x != -5/3?
True
Suppose -r + q + 3 = 3*q, 4*r - q - 30 = 0. Let p(n) = -n**2 + 8*n - 5. Let s be p(r). Let b be 3/(-2)*1*s. Are -4 and b equal?
False
Let i be (-10)/(7/((-7)/4)). Suppose 2*k = -3*k + 10. Is i <= k?
False
Let w(z) = z**2 - 2. Let b be w(3). Suppose -2*x = -b - 13. Let q = -13 + x. Which is greater: q or -1?
-1
Let h = -2 - -3. Which is smaller: h or 0?
0
Let z(o) = o + 6. Let h be z(-8). Let b be (-2)/4*(2 + h). Let m = -64/5 + 13. Is b at least as big as m?
False
Let s = -0.15 + 0.85. Let a = 1.2 + -1.3. Is s greater than a?
True
Let g(m) = m**3 - 4*m**2 + 2*m + 2. Let o be g(3). Let w = 7 + -11. Let b = w + 3. Is b smaller than o?
False
Suppose -2*w = 2*a + 2, 7 = -2*w - 5*a - 1. Let x be (1 + -3 + 3)*w. Are x and 1 equal?
True
Let h = 0.1 - 0.1. Let m = 0.086 - 0.796. Let g = -0.7 - m. Do h and g have the same value?
False
Let b = -16 - -10. Let d(f) = f + 10. Let g be d(b). Suppose 0 = -p + 4*p + 4*k - 17, -2*p = -5*k + g. Which is bigger: p or 1?
p
Let g be 2/(-20) + (-4)/10. Suppose 4*d - 3*d = 0. Let x be d - 0 - 2/6. Is x > g?
True
Let h = -19/26 - -3/13. Which is bigger: -0.1 or h?
-0.1
Let r = 11 - 6. Suppose -3*h + r*h = -4. Let o be 4*(-1)/(h + -16). Which is smaller: o or 0?
0
Suppose 45 = 4*q - 5*n, -4*q = -0*q - 3*n - 35. Is 7 >= q?
True
Suppose 0 = 4*w - 2*i + 38, 2*w = -3*w - 5*i - 10. Is w at least as big as 1/2?
False
Let i = -32/5 - -69/10. Let b = -911/10 - -91. Is b < i?
True
Let y = -10.19 + 0.19. Let k = -9 - y. Let l be 1/(-2)*(-3 + 1). Is l smaller than k?
False
Let p(y) = -y**3 - y**2 - y + 2. Let o be p(-2). Let u be ((-20)/(-6))/(o/12). Let v = 13 + -7. Is u at most as big as v?
True
Let m = 167 + -1501/9. Let f = 0.2 - 0.19. Let t = f + -0.11. Are t and m equal?
False
Let v = 29/12 + -11/4. Is 1 < v?
False
Suppose 0 = -6*i + 3*i + 9. Let t be (-27)/12*(2 + -3). Which is bigger: t or i?
i
Let h = -3 + 0. Let c = 5 + h. Suppose c*u - 5*u = 0. Which is bigger: -1 or u?
u
Let m = 0.3 + -4.6. Let q = 5 + m. Let i = -0.5 + q. Is i greater than or equal to 2/7?
False
Let b be 4 + -7 + -2 + -1. Let o(q) = q**3 + 6*q**2 + q + 5. Let n be o(b). Let t be (3/5)/n + 1. Is t at least 1?
False
Suppose 2*q - 5*o + 2 = 6, -5*o - 1 = -3*q. Which is smaller: 3 or q?
q
Let l = -2 + 18/7. Suppose 0 = -3*v + 7*v. Which is greater: v or l?
l
Let w(a) = 2*a + 4. Let m be w(-3). Let x(s) = -9*s - 3. Let t be x(m). Let h be (-1 + -2)/t - -1. Which is greater: h or 2?
2
Let q(j) = j**2 + 5*j + 4. Let w be q(-4). Let u be (-1 + 0)*(-6)/66. Do w and u have the same value?
False
Let k = 1 + 9. Let b be 20/50 + 46/k. Is b < 6?
True
Let n = -20 + 12. Which is smaller: n or -4?
n
Let x = 0.89 - 1.09. Is -1/3 < x?
True
Suppose -4*j - 5 = -13. Suppose -j*m + 0*m = -2. Which is greater: m or -1/6?
m
Let t(w) = w**3 - 5*w**2 + 3*w + 3. Let z be 6 - 4*(-3)/(-6). Let x be t(z). Which is smaller: x or -0.3?
x
Let l = -12 + 22. Is 7 greater than or equal to l?
False
Let t = -37/30 + 5/6. Let r = 0.2 - 0.1. Which is bigger: t or r?
r
Let h be 5/15 - (-8)/(-6). Are h and -6/11 non-equal?
True
Let u(i) be the first derivative of -i**3/3 - i**2/2 + 2*i + 2. Let l be u(-2). Let a be (-5)/(45/(-10) - -2). Is l not equal to a?
True
Suppose 3*k = 13 + 8. Let m = 16 + -17. Is k <= m?
False
Let x(y) = y**3 - 9*y**2 + 6*y + 11. Let v be x(8). Suppose 0 = 3*n - n + 10. Is n greater than or equal to v?
True
Let b(q) be the second derivative of -11*q**3 + 9*q**3 - 2*q + 3*q**3. Let f be b(-1). Is -6 not equal to f?
False
Let z = 1 - 2. Let w = -2 + 5. Let f be (3/(-6)*w)/6. Which is bigger: f or z?
f
Let n(m) = -4*m - 5. Suppose 6*f + 29 = -1. Let k be n(f). Are k and 15 non-equal?
False
Let a = 1/919 + 5507/6433. Is 0 greater than or equal to a?
False
Let f = -22 - -3. Let k = 20 + f. Let z be (6/10)/((-2)/(-10)). Are k and z equal?
False
Let i be (-2)/(-8) - 6/(-8). Suppose 0 = -2*j + i + 1. Let r be (1 - 0 - 2) + j. Which is smaller: r or -1?
-1
Let a be ((-3)/(-6))/(1/(-14)). Let z = a - -10. Let x be z/18 - (-5)/6. Which is smaller: -1/5 or x?
-1/5
Let p = -26.5 + 34. Let z = p + 2.5. Let v = 7 - z. Are 1 and v equal?
False
Let y be (-2)/(-3) + 534/9. Let c = y + -839/14. Which is greater: c or 0?
c
Let u(c) = 10*c - 53. Let s be u(12). Which is smaller: s or -2/7?
-2/7
Let p be (-18)/5 + (-2)/5. Let s(c) = 7*c - 5. Let h(d) = -10*d + 7. Let t(n) = -5*h(n) - 7*s(n). Let y be t(-5). Is p > y?
True
Let r = 152585 - 45012467/295. Let t = 2/59 + r. Let p = -25.9 - -26. Is p less than or equal to t?
True
Let r = -5 - -10. Suppose -r*v - 12 = 2*o + o, 0 = -5*o - 20. Which is greater: v or 2/29?
2/29
Let z be -1*(2 + 33/2). Let n = z + 75/4. Which is smaller: -1/4 or n?
-1/4
Let i(f) be the second derivative of f**4/12 + f**3/3 + f**2/2 + 3*f. Let l be i(-2). Which is smaller: 2 or l?
l
Let f be -2*(-2 + 1) - -8. Suppose l - 3*l + f = 0. Which is smaller: l or 6?
l
Suppose -9*u - 20 - 16 = 0. Which is greater: u or 4?
4
Suppose 0 = 3*u - 3, -5*z - u + 38 = 2*u. Let n be (-2)/z + 310/(-385). Are n and -1 equal?
False
Suppose 0*b = b + 5*x - 28, -40 = -5*b - 5*x. Suppose -i = -b*v - 2 + 4, -2*v + 12 = 2*i. Are 4 and i equal?
True
Let i = -8 - 4. Let r be 0 - 3/i*1. Is r less than or equal to -3/8?
False
Let g(c) = c**3 - 8*c**2 + 3. Let d be g(8). Is 5 greater than or equal to d?
True
Let k = 3 + 6. Let v = k - 8. Is 1 bigger than v?
False
Suppose -16*k + 30 = -14*k. Is 15 >= k?
True
Let c = 2779/2 - 1416. Let r = 26 + c. Which is smaller: -2 or r?
-2
Let f = 0.15 - 8.15. Let v = 6.5 + -0.5. Let k = v + f. Which is bigger: 1/4 or k?
1/4
Let k = 282 + -1441/5. Which is greater: -7 or k?
k
Let t = -0.6 - -0.66. Let a = t - 3.06. Let o = a + 1. Is -2 greater than o?
False
Let u = 327/2 + -12423/76. Let j = 489/836 - u. Is j < 1?
True
Let a = 0.2 + 2.8. Let p be ((-20)/24)/(-5)*4. Is p > a?
False
Let a = 256815/44 - 5837. Let z = 6/11 + a. Is 0 smaller than z?
True
Let j = 2 + -3. Suppose 2*l + 9 = -5*y - 34, -82 = 5*l + 4*y. Let h be (-4)/l - 2/7. Is j at least as big as h?
False
Let z be -7*((-12)/3 + 2). Suppose z*u - 15*u = 0. Let t(s) = -s**2 + 2*s + 2. Let g be t(3). Which is smaller: g or u?
g
Let h = 44 + -45. Is 2/9 >= h?
True
Let m = 12 - 11.7.