(f) = -4*f**3 + 3*f**2 + 7*f + 7. Let j(x) = 2*x**3 - 2*x**2 - 4*x - 4. Let y(r) = -3*i(r) - 5*j(r). Let h be y(0). Are -2/17 and h equal?
False
Suppose -i = -2*h + 35 + 20, -h = 4*i - 32. Let u be ((-16)/h)/((-15)/(-7)). Is u at least as big as 1?
False
Let f = 512 + -511. Which is bigger: f or -18/71?
f
Let u(o) = o**2 - 2*o - 23. Let i = 23 + -13. Let n be u(i). Which is greater: n or 56?
n
Let d = -258 + 264.1. Let n = -4.6 + 3.6. Do d and n have the same value?
False
Suppose 4*f - 56 = -4*r, 3*f - 5*r = -0*r + 34. Let g = -19 + f. Let w be (g/(-8))/((-13)/4). Is w at most as big as 1?
True
Let r be 2/(4 + -2 - 3). Let x be (r/(-12) - 0)*(-9)/8. Which is bigger: x or -1?
x
Suppose 0*x = x + 2. Let q = 9 - x. Is -2/9 less than or equal to q?
True
Suppose 417*m - 1251 = 408*m. Is 138 > m?
False
Suppose 0 = 3*g - 1 + 7. Let q(s) = -4*s - 6. Let i be q(-2). Let y be 6/i*10/(-6). Which is smaller: y or g?
y
Suppose 2*b = 4*f - 3 - 3, -2*b = 2*f. Let k = f + -2. Let r be (-24)/14 + (-2)/7. Is k at most r?
False
Suppose -4*t = 2*t. Suppose 10 = -t*f + f + 4*z, -3*z = 0. Let d be (-6)/(-8) - (-9 + f). Which is greater: -1 or d?
d
Suppose -32*h + 37*h - 120 = 0. Let a be (-2)/4*h/(-68). Which is smaller: 1 or a?
a
Let i be 0 + -2 - 115/46. Is i < 2/7?
True
Let n = 13.25 + -13. Let y = -0.45 + n. Let f = y + 0.9. Which is smaller: 2 or f?
f
Suppose 3*l = -2*l + 3*b + 676, 2*l + 2*b - 264 = 0. Is l at least as big as 132?
True
Let h = -47 + 41. Which is smaller: h or -7?
-7
Let z = 0.538 - -0.062. Let m = 8.4 - 7. Let i = m + z. Do i and -7 have the same value?
False
Let f = -19943891/254790 + -28/14155. Let i = -2755 - -5667/2. Let c = i + f. Which is smaller: 1 or c?
c
Let y = 26 - 28. Let p be 0/(1/(y/(-6))). Let c = 0.15 - 0.09. Is p greater than c?
False
Suppose -2*i + i + l + 12 = 0, 2*l + 31 = 3*i. Suppose -b = -y + i, 4*b + 5*y = -46 - 9. Which is greater: 1 or b?
1
Let t = -10 + 10. Suppose 309 = 2*m - 757. Let x = m - 14393/27. Is x greater than t?
False
Let p = 1729 - 1704. Which is smaller: p or -0.5?
-0.5
Let l(t) = -25*t + 92. Let p be l(9). Do -134 and p have different values?
True
Let t = 56.9 + -57. Let o = 0 + 0. Let z = o - t. Is z at least 5?
False
Let m = 40 + -39.969. Let h(d) = d**3 + 6*d**2 - 7*d. Let l be h(-7). Which is smaller: m or l?
l
Let k be (6/(-5))/((-57)/(-190)). Let m be (4*k/(-208))/(1/2). Which is smaller: m or -1/5?
-1/5
Let f be (-36)/16*64/12. Let z = -591 - -587. Which is smaller: f or z?
f
Let s(k) = -25*k - 55. Let y be s(-6). Is 97 >= y?
True
Let g = -190 + 192. Let f be -8*(-10)/52 - 2. Which is bigger: g or f?
g
Let t = 74.89 - 75.8. Which is bigger: -3 or t?
t
Suppose 0 = 15*s + 9 + 6. Suppose 4*j + 4*x = -4, 0 = 2*j + x - 3*x + 2. Let t be j - (72/26)/(-3). Is s bigger than t?
False
Suppose 0 = -t + 5*t + 3*k - 22, 0 = -2*t - 5*k + 18. Let n = -3 - -5. Let o be (-2)/14*t/n. Which is smaller: o or 1?
o
Let m = 68 - 46. Suppose -7 = 3*s - v - 35, v = -2*s + m. Let b(u) = 9*u + 1. Let d be b(1). Are s and d unequal?
False
Let q = -37 + 35.8. Let o = q - -0.2. Let w = -0.8 + 3.8. Which is bigger: o or w?
w
Let h = 839634/3289 - 5878/23. Let s = -6/13 - h. Let b be 10/6 + (-2)/3. Which is smaller: s or b?
s
Let f be (8/14)/2 - 37/7. Let z = f - -2. Do 0 and z have the same value?
False
Let w(u) = 5*u**3 + 2*u**2 + u. Let d be w(-1). Let b = -1594/561 - 92/187. Is d <= b?
True
Let p = 47 + -77. Let a = 18 + p. Is 1 < a?
False
Let h = 12 - 11.9. Let g = h + 3.9. Is g at most as big as 0?
False
Let k be 4/(-6) + (-312)/(-63). Let c = -20491/7 - -43846/15. Let y = k + c. Which is smaller: 1 or y?
y
Suppose 36 = 99*p - 95*p. Which is bigger: 24 or p?
24
Let s = 8365/37496 + -24/109. Which is smaller: s or 0?
0
Let m = 31.4 + -31.3. Which is smaller: m or 0.01?
0.01
Let f = -576 + 575.883. Which is greater: -0.3 or f?
f
Let l(q) = 2*q. Suppose 0*r = 4*r + 140. Let a be (-49)/r - (-4)/(-10). Let i be l(a). Is -1/6 <= i?
True
Suppose 2 = -r - 2. Let h = r - -7. Suppose -h*p - 30 = -0*p. Which is smaller: -11 or p?
-11
Let d be 4/(-8)*(-3 - -1). Let v be (2*6/4)/d. Suppose -3*m = -0*m - 5*q - 35, 2*m - 2*q = 18. Which is greater: v or m?
m
Suppose -6*o = -7*o + 6. Suppose -o*q = -5*q + 6. Let g be (-3)/q - (-4)/(-8). Is 0 >= g?
True
Let i = 198691/24230 + -1/4846. Is 8 at least as big as i?
False
Let x be -1*50/(-60) + 1/(-3). Is -7 >= x?
False
Let h = 18.99 + -19. Let m = h - -3.01. Is m smaller than -1?
False
Let j be (24/120)/((-2)/(-10)). Which is bigger: j or 1/59?
j
Let x = 163 - 77. Let v be (-14)/(-63) + x/18. Suppose v*n - 8*n + 3 = 0. Is n < 1?
False
Let v = 125.8 + -85.9. Which is greater: -0.1 or v?
v
Suppose -5*k + 2*n - n - 150 = 0, -120 = 4*k - 4*n. Let f be (-12)/(-9) + (-278)/k. Let t = f + -11. Which is smaller: t or -7?
-7
Suppose 131*t = 129*t + 24. Which is greater: t or 16?
16
Suppose -3*v = -2*z - 4*v + 4, 4*z - 5*v = -20. Let a = -4 - -5. Let k = a + -2. Is k greater than z?
False
Let s(r) = -r**3 - 8*r**2 + 15*r + 10. Let h be s(-10). Suppose 45 + h = 5*x. Suppose -4*a = -q - x, -4*a - 2*q + 41 = -7*q. Which is greater: a or 5?
5
Let i = -2 + 2. Suppose 6 = -3*f - 3*h, -h = -3 + 8. Suppose i = -d + f*d. Is 1 >= d?
True
Suppose 0 = -4*m + 3*j + 157 - 49, 0 = -3*m + 4*j + 81. Suppose 3*n - m = 3*o, -2*o + 4*n - n = 14. Is -14 greater than o?
False
Let r = -1241.6 - -1242. Which is smaller: r or -15/8?
-15/8
Let n = -0.4 - -0.4. Let q(t) = -t**3 + 20*t**2 - 5*t + 1. Let j be q(20). Let z = j + 90. Is z at most as big as n?
True
Let f(w) = 2*w**2 + 40*w - 40. Let x be f(-21). Let z = -38 - -64. Suppose 7*r - z = -3*l + x*r, -r - 6 = -l. Which is smaller: l or 8?
l
Let d = 903.8 - 904. Is d smaller than 8/3?
True
Suppose -4*c - 4*x - 12 = -4, 3*c + 6 = 3*x. Suppose 5*z - 2 = 4*z. Suppose -n - z*n + 0*n = 0. Is c at least as big as n?
False
Let w = 25303/8 + -3174. Are w and -12 non-equal?
True
Let h(d) = -d + 8. Let y be -2 - (4 - 1)*-2. Let z be h(y). Suppose c + z = 5*t + 2*c, -c + 4 = 0. Is t at most as big as 1/8?
True
Let g(v) be the first derivative of -v**4/24 - 2*v**3/3 - 5*v**2/2 + 6. Let q(m) be the second derivative of g(m). Let f be q(-2). Which is smaller: -3/5 or f?
f
Suppose 0 = 56*x - 54*x - 2196. Is 1098 >= x?
True
Suppose 12*d - 558 = 18*d. Let y be 9/12 + 1/(12/d). Which is greater: 1 or y?
1
Let k = 3 + -1. Suppose k*y = 4*g - 12, 3*y - 4*g = -22 + 8. Let i be (-16)/(-90) + y/5. Which is smaller: 3/5 or i?
i
Let j = -5 - -6. Let n(y) = y + 1. Let l be n(j). Let c be 55/25 - (l - 0). Which is smaller: c or -2/3?
-2/3
Suppose 1178*d = 1169*d - 43 + 16. Let x(n) = -n**3 - 6*n**2. Let j be x(-6). Is d < j?
True
Let g = 45 + -123. Is -238/3 < g?
True
Suppose -2*p + 3*k + 5 = 0, -p = p + k - 1. Suppose -4*u + 2*u = -6. Let m be (u + 1)*(-6)/(-28). Is p less than m?
False
Let g be 90/4*(-46)/(-23). Is 48 >= g?
True
Suppose 5*r - 3*q - 13 - 27 = 0, 0 = 5*q + 25. Suppose -4*t = 1 - r. Which is greater: t or 12?
12
Suppose -2*f - 26 = 3*l + 2*l, f - 4*l - 13 = 0. Let m be -6*(-3)/(-57 + f). Suppose 4*g - 5*g = 7*g. Is m at least g?
False
Let o(i) = i**2 - 2*i + 3. Let q be o(-6). Let h = q + -36. Which is smaller: h or 14?
14
Let k be (75/(-10))/(13*1). Which is greater: -2 or k?
k
Suppose 0 = 8*l - 11*l + 36. Let n be 60/l*52/(-10). Which is smaller: -27 or n?
-27
Let a = -40 + 41. Which is greater: a or -2/105?
a
Let c = 401 + -403. Which is greater: c or 3?
3
Suppose 2*v + 2*a = a - 24, 12 = -v + a. Let i(n) = -n + 9. Let t be i(v). Is 20 less than or equal to t?
True
Suppose 2*g + 380 = 15*o - 13*o, -380 = -2*o + g. Is o >= 190?
True
Let b be (0 + 2)/((128/(-472))/(-8)). Which is bigger: b or 302/5?
302/5
Let b = 122.21 + -123. Let g = -0.9 - b. Let z = -0.39 + g. Is 2/5 at most as big as z?
False
Let w = 1547/5 + -4771/15. Let d(x) = 3*x + 1. Let s be d(-3). Is s less than w?
False
Let d be -40 + (-3 - (1 - 3)) + 2. Let x = 39 + d. Is -2/21 less than or equal to x?
True
Let a = -10204465 + 28164323813/2760. Let k = 4569/347944 - -6/1891. Let i = a - k. Is 1 less than i?
False
Let u(v) = v**3 - 16*v**2 + 16*v + 1. Let x(i) = -i**3 - 24*i**2 + 22*i - 60. Let w be x(-25). Let r be u(w). Which is greater: r or 14?
r
Let j = 2.8 - 3.44. Let b = j + 0.43. Let d = -0.11 - b. Which is