(h) = 65*h**3 + h**2 - 8*h - 14. Let u be i(-2). Are -515 and u equal?
False
Let c(n) = n**2 + 16*n + 39. Let a be c(-13). Are a and 10/63 unequal?
True
Let z be (-7)/((-35)/66)*20/52. Which is smaller: 5 or z?
5
Let i(b) = 2*b**2 + 3*b + 2. Let o be i(-3). Let t(c) = c**2 - 12*c + 9. Let s be t(o). Which is bigger: s or -1?
-1
Suppose 0 = 4*n + 489 - 493. Is n >= -626?
True
Suppose 10 = 5*i + 3*b, -5*i + b + 5 = 3*b. Let q = 2180/9 + -242. Which is bigger: i or q?
q
Let q be 4*(3 + 3/(-6)). Let b = -4 + q. Is b less than 8?
True
Suppose -26 = k - q, -62*k - 4*q - 52 = -60*k. Let t = -30 + 2. Is t at least k?
False
Let h = 83 - 89. Let s be (-16)/(((-14)/h)/(-7)*1). Is 47 at least as big as s?
False
Suppose -o + 1 - 3 = 0. Let r = 200/33 + -6. Let y = r + -208/165. Which is greater: y or o?
y
Let q = 2/2579 - -15440/43843. Let w(o) = -5*o**2 + 42*o - 17. Let a be w(8). Which is smaller: a or q?
a
Let x(h) = -h**3 + 6*h**2 + 6*h - 6. Let m = 41 + -36. Let w be x(m). Suppose -3*k - 2*z + w = 0, -3*k - 5*z + 20 + 44 = 0. Which is greater: 11 or k?
k
Let u(c) = -2*c**3 + 7*c**2 + 7*c - 1. Let i be u(4). Which is bigger: i or 160/13?
160/13
Suppose 51 - 6 = 5*k - 4*f, -30 = -4*k + 2*f. Suppose -k*x + 4 = -4*i + 2, 8 = 5*i - x. Suppose 4*t = -4*o + 4, 14*o + 4 = t + 18*o. Which is smaller: i or t?
t
Let u(n) = -n**3 + 7*n**2 - 4*n - 12. Suppose 0 = 3*a - 22 + 4. Let b be u(a). Let k be b*(-3 + 3 + -1). Which is greater: -6/11 or k?
k
Suppose 2*u - 5 + 11 = 0. Let o = -1 + 2. Which is smaller: u or o?
u
Let y(d) = -d - 5. Let r be y(8). Let u be (65/10)/(1/2). Let g = r + u. Which is smaller: -1 or g?
-1
Let y(v) = -58*v - 1. Let p be y(1). Suppose 0 = -5*l + 3*q - 292, -5*q - 284 = 4*l - 43. Are p and l nonequal?
False
Let j be (-4251)/(-13) + 2 - (5 + 3). Which is smaller: j or 324?
j
Let j = 12 - 22. Let x be 2/(-32)*2*j. Which is bigger: 2 or x?
2
Let q(y) be the first derivative of -y**3/3 - 5*y**2/2 - 3. Let p be q(-6). Let s be (p/70)/((-6)/30). Is s bigger than 1?
False
Let z = 14.91 - 13.91. Which is bigger: z or 7/10?
z
Let x = 102982.93 - 103477. Let b = x + 492. Let y = b + 0.07. Is 1/3 at least y?
True
Let y = 809 - 806. Which is smaller: y or 88/47?
88/47
Let z = -249 - -247. Which is bigger: -0.0736 or z?
-0.0736
Let m be 91 + 1/(-5 - -4). Let i be m/(-110) - 2/11. Let q be 3 - 7/((-77)/(-36)). Is i >= q?
False
Let t be -6*-82*2/(-8). Is t bigger than -4?
False
Let y be 4/3 - 75/45. Does y = 0.145?
False
Let b = -76 + 41. Is b < -37?
False
Suppose 2*n - 21 = -19. Let i be (-2)/(1 + 17)*(-50 - n). Is i not equal to -1?
True
Let d(u) = 4*u + 239. Let b be d(-31). Does 115 = b?
True
Let f(k) = -k + 24. Let g be f(10). Let r be (-26)/(-1)*(-7)/g. Which is smaller: -14 or r?
-14
Let f = -18 + 13. Let n be 4/20 + 31/(-5). Let l be (-3)/18 + (0 - 1/n). Which is smaller: f or l?
f
Let x = 756 + -755. Which is smaller: -2.02 or x?
-2.02
Let y(t) = t**3 - 64*t**2 - 67*t + 65. Let i be y(65). Does i = -586/9?
False
Let f be (1 - 1)/(-5 - -3). Suppose 2*q - 175 = 7*q. Let a be 15/21 - 10/q. Which is greater: a or f?
a
Suppose -2*i + i = 2*i. Is i at most -10/7?
False
Suppose 78 + 18 = 16*b. Let i be (-220)/(-33)*b/5. Suppose 7*k - 32 = 3*k. Do k and i have different values?
False
Let x(p) = -p**3 - 16*p**2 - 2*p - 21. Let k be x(-16). Suppose 12*d + 2 = k*d. Which is greater: 1 or d?
1
Suppose -w = 4*x - 46, 0 = x + w - 6*w - 22. Let d(n) be the second derivative of n**3/6 - 6*n**2 - 3*n - 14. Let s be d(x). Is -2/47 > s?
False
Let a be (64/(-18))/((-6)/(-519)). Let q = a - -929/3. Which is bigger: q or 3?
3
Let h be ((-3)/(-2))/((-2)/(-4)). Suppose -1 = -2*i + 5*o, -2*o - 1 + h = 0. Suppose i*c - 3 = -0. Which is smaller: 4 or c?
c
Suppose 267 + 148 = 5*i - 3*z, -z - 5 = 0. Suppose 11*x - 5 = -27. Let k be (x - -1) + 76/i. Is -1 less than or equal to k?
True
Let f = -3 - 9. Let w = 11.7 + f. Let r = -0.12 - -0.19. Which is bigger: r or w?
r
Let d be 514/480 - (-8)/(-360)*6. Which is greater: 1 or d?
1
Suppose -t + 4*t = 0. Suppose 4*v + 58 = 3*h, -7*h + 3*h = 2*v - 70. Let g be (-9)/h + 130/276. Does g = t?
False
Let x = -79 - -84. Which is greater: -9 or x?
x
Let r(q) = q**2 + 4*q - 2. Let n be r(-5). Let s be -2*((-45)/10 + n). Is 3 bigger than s?
False
Let a = -1378 + 1130. Is a at least as big as -251?
True
Let y be 28/(-7)*(-1)/1. Let j(c) = -c**3 - 5*c**2 + 4. Let w be j(-5). Suppose -w*u = -5*z + 12, -2*z - y*u = u + 15. Is -3/8 greater than z?
False
Suppose -4*m - 3*o = -19, -2*o = 5*m + o - 20. Suppose -2*h + 34 = -4*r, 24 = 3*h + 3*r + 9. Let j be (-123)/(-39) - h/3. Which is smaller: m or j?
j
Let b(j) = -j**3 + j**2 + 40. Let l = 16 + -16. Let h be b(l). Is 40 != h?
False
Let l = -32 - -34. Let r be ((-2)/l)/(115/55 + -2). Which is smaller: -9 or r?
r
Let k = -602 - -481. Which is greater: -120 or k?
-120
Let p = 47 - 46. Let z be -4 + 2 + (-3)/p. Are 1/5 and z non-equal?
True
Let f = 324.9 - 332. Which is smaller: 1 or f?
f
Let c = -35 + 16. Let p(r) = r**2 + 19*r + 1. Let z be p(c). Is z >= -1/7?
True
Let g(u) = 3*u + 11. Let a be g(-3). Let y be (21 - 22)/(1/(-44)*a). Do y and 21 have the same value?
False
Let j(y) = y**2 - 18*y - 3. Let c be j(9). Let r = -81 - c. Is r less than or equal to 25/6?
True
Let j = 0.11566 - 0.09366. Let u = -0.1 - -0.1. Are u and j nonequal?
True
Let d = 312 - 2197/7. Are d and -3 nonequal?
True
Let w = 0 + -6. Let d(l) = -l**2 - 3*l + 5. Let j be d(-5). Which is bigger: j or w?
j
Let m be (1/(-2))/(20/(-240)). Let a be ((-40)/30)/((-4)/m). Suppose 17 = -a*d - 0*c - 3*c, 2*c + 2 = d. Which is smaller: 1 or d?
d
Suppose -3*c - 2*a + 3*a + 17 = 0, -4*c - 5*a + 29 = 0. Suppose 6 = 2*h - c. Suppose b - h = -b. Which is greater: b or 4?
4
Suppose 27 = 50*j - 51*j. Are -1/8 and j equal?
False
Let f be 6/(-18) + (-146)/(-6). Let a be ((-114)/24)/(-2*(-3)/f). Is -19 bigger than a?
False
Suppose -3*l = d - 3 - 10, 0 = 3*d - 2*l + 5. Let x be -3*35/91 - -1. Which is bigger: x or d?
d
Suppose 6*j + 2*d + 242 = 3*j, j = 4*d - 76. Do -83 and j have the same value?
False
Let m = -0.3 + -0.5. Let o = m + 0. Let i = o - -1.8. Is 1/10 equal to i?
False
Suppose -5 = u, -2*b + 15 = 2*b + 5*u. Suppose -7 = -b*m + 3*m. Is 4 at least m?
True
Let w(u) = -254*u - 2. Let o be w(-1). Let a be (-87)/o + 2 + 7/(-4). Which is smaller: a or 0?
a
Let k be 2*-5 + (-84)/(-9). Is -281 at least k?
False
Let q be 1840/84 - (-4)/42. Suppose 20 = -3*t + 77. Is t at most as big as q?
True
Let q = -7 + 5. Let z = -468 + 5621/12. Let y = 1/6 - z. Is y smaller than q?
False
Let n = -200 - -992/5. Are n and -1 equal?
False
Let r(o) = -o**3 + 6*o**2 - 6*o - 3. Let p be r(5). Let b be ((-2)/8)/(2/p). Let z = 24 - 18. Is b < z?
True
Let n be -4 + (-75)/(-20) - 760/544. Are -2 and n nonequal?
True
Suppose 22*j + 567 = 15*j. Is -2/3 greater than or equal to j?
True
Suppose -3*j = 134 - 23. Is -37 less than j?
False
Suppose -306 = -15*z + 519. Which is greater: z or -3?
z
Let q be (-15)/35 - (-14655)/4452. Let a = -6/53 + q. Is 4 > a?
True
Suppose 4*j + 2*u = 774, -5*j = -0*j - 2*u - 972. Is j at most 193?
False
Let a = -7 - -9. Let o(h) = h**2 + 21*h - 203. Let v be o(-28). Is v at least a?
False
Let f(y) = -2*y**3 - 10*y**2 + 2. Let v(s) = -s**3 - s**2 - 1. Let h(m) = -f(m) + 3*v(m). Let i be h(7). Is i greater than -23/4?
True
Let p = 1.48 + -1.261. Let g = 0.119 - p. Do 21 and g have different values?
True
Suppose 5*y + 4*l = 15, -6*y + 2*y + 5*l = 29. Let t be -1*(9/22)/(-3). Is y at least t?
False
Let f(p) = p + 4 + 2 + 2. Let i(m) = -4*m - 24. Let z(h) = -7*f(h) - 2*i(h). Let s be z(6). Which is greater: 0 or s?
0
Suppose s - 23 = 2*x - 4*s, 5 = -x - 4*s. Let i = x + 10. Which is bigger: i or 3/26?
i
Let l = -114 + 103. Which is greater: l or -86/7?
l
Let i(v) = -v**3 + 29*v**2 - 60*v + 51. Let h be i(27). Is h > -109?
False
Suppose 15*j = -7*j + 1848. Is -1 at most as big as j?
True
Suppose 10*v - 5*v = 0. Let f be 29/(-203) - (v - 125/(-7)). Which is smaller: f or -17?
f
Suppose -72*g + 71*g + 2 = 0. Let q = 8 - -2. Let w be q/55 - g/11. Are w and 0 unequal?
False
Let r = 1 - -6. Let g be 402/10 + (-4)/20. Suppose 3*x - r*x + 8 = 5*y, 4*x = 3*y + g. Is -1 equal to x?
False
Let n be -2*(-3 + 0)/(-6). Let d(z) be the second derivative of 