han 1?
False
Let l(o) be the third derivative of -o**5/60 + 3*o**4/8 + 3*o**3/2 - 28*o**2. Let v be l(5). Is 28 less than or equal to v?
True
Let j be 30/1160*10/105. Which is greater: j or -1?
j
Let u be ((-5 - -11) + -4)/((-84)/(-9)). Is u at most 1?
True
Let h be ((-22)/10 - -2)/((-858)/4). Which is smaller: h or 0?
0
Let g = -16893/10 + 1692. Let c = g - 14/5. Suppose -2*b = -3*s + b, -2*s - 5*b = 0. Does c = s?
False
Let m be 2/(-4) - 3/(-14). Let i = -6.18 + 6.8. Let r = -0.28 - i. Which is smaller: m or r?
r
Let t(n) = n**2 + 6*n + 8. Let u be t(-4). Suppose u = i + 4*i - 0*i. Which is bigger: 5/8 or i?
5/8
Let j = -56 + 38. Let z be (54/(-72))/(1/28). Is z bigger than j?
False
Let g = 610 + -1793/3. Which is smaller: 13 or g?
g
Let d be (-248)/567 - (-81)/189. Let z = 4691/17577 + d. Which is smaller: z or 0?
0
Suppose -q = -3*o + 149, 5*o = -0*o + 4*q + 239. Suppose -3*c = 4*z + 21 + o, 0 = -2*z - c - 36. Let w be (3/(-9))/(2/114). Is w at most as big as z?
True
Let p be (-3)/((-9)/(-6)) - -14. Let v be (p/(-8))/(1 - 0). Let c = v + 13/6. Does c = -3?
False
Let a be 9 - 7/28*74. Is 5 less than or equal to a?
False
Let n be 1/3 - (-9)/(-27). Let s be (-45)/108*(n - 3). Let h(v) = -v**3 + 4*v**2 - 4*v + 4. Let k be h(3). Is s equal to k?
False
Let l(w) = w**2 - 12*w + 2. Let u be l(14). Suppose u = -k + 15. Which is smaller: k or -16?
-16
Suppose -2*y - 5 = 3*t + 12, 5*t = -y - 19. Let i be 4 + -2 + -1*(t + 3). Which is greater: 10/7 or i?
i
Let o(v) = v**3 + 8*v**2 + 5*v - 5. Let r be o(-7). Let t = 9 - r. Suppose t*c + c - 6 = 0. Which is smaller: c or 5?
5
Suppose 45*h - 39*h - 24 = 0. Let a be (2/h)/((-21)/252). Do -44/7 and a have the same value?
False
Let k be 2/(-20) - 4562/(-20). Is k at least as big as 228?
True
Suppose -8*n + 921 = 953. Does -0.043 = n?
False
Suppose 0 = 56*n - 0*n + 30800. Is 2 at most as big as n?
False
Let k(j) = 2*j**3 + 0 - 3*j**3 - 4 - 5 - 10*j**2 - 11*j. Let z be k(-9). Let s = -5 + z. Which is smaller: 5 or s?
s
Let n be 676/(-12) - (1 - 2). Let d = n + 56. Is 1/2 != d?
True
Let x = 0 + 0. Let v be ((-6)/(-54))/((-4)/(-6)) + (-1515)/10170. Which is smaller: x or v?
x
Let u(o) be the second derivative of o**4/12 - 11*o**3/6 + 11*o**2/2 + 2*o. Let w be u(10). Is w >= 1/23?
True
Let p(d) = d + 4. Suppose -4*m = -7*m - 45. Let q be ((-12)/18)/((-2)/m). Let x be p(q). Is 1/3 greater than x?
True
Let v = -508393900/627 + 810835. Let f = v - -10/33. Which is greater: f or 0?
0
Let z = 27.51 - 27.5735. Is z not equal to -1/3?
True
Let d = 2.978 - -0.022. Is -20 != d?
True
Let o be (1/39)/((-4)/(-12)). Let y be (18/(-45))/((-2)/5). Let f be y/(-5) - (-19)/95. Which is smaller: f or o?
f
Suppose 6*j + 2 = 8. Let w be (7/2 - j)*36/162. Is 1 equal to w?
False
Let j be 0 + 1 - (-182)/13. Suppose 3 = -14*q + j*q. Do 18/5 and q have the same value?
False
Let c(o) = -o**3 - 3*o**2 + 45*o - 9. Let y be c(-9). Are 285/4 and y unequal?
True
Let b be 12/(-5)*(-240)/(-208). Which is smaller: b or -0.3?
b
Let p(y) = -5*y - 1. Let x be p(-52). Is x greater than 257?
True
Let h be (-1)/4 + 34/(-56). Let m be (15/(-6) - -3)*26. Let s = -13 + m. Which is smaller: s or h?
h
Suppose -i = -4*i. Let l(c) = 4*c - 5. Let v be l(10). Let h = v - 37. Which is bigger: h or i?
i
Let h(r) = 2*r - 4. Let z be h(2). Which is greater: z or 6/107?
6/107
Let x(l) = -l**3 - 17*l**2 + 8*l - 14. Let g be x(-4). Is -254 > g?
False
Let t = 35119/10 + -3515. Is t at most -2?
True
Let q(r) = -r**2 - 8*r - 2. Let t be q(-8). Suppose -2*o = -8*o - 30. Let h(a) = 4*a + 17. Let v be h(o). Which is bigger: t or v?
t
Let d = 22 - 12. Let m = 9.9 - d. Let o = -1.9 + m. Which is smaller: o or -2/17?
o
Suppose 0 = -2*y + 4*l, -y - 4*y = -5*l - 10. Suppose 4*q - 5*b + 81 = 0, 2*b = q - 2*q - y. Is -14 > q?
False
Let w be (-32)/(-24)*(-42)/4. Let p be (9 - 11) + w/(-8). Is p != 1/3?
True
Let j(o) = -9*o**3 + 7*o**2 + 6*o + 4. Let m be j(-5). Let n be 2/(-9) - m/(-63). Suppose -2 = t - 2*s, 3*s - 5*s + n = 2*t. Is t bigger than 6?
False
Let o be 4/(-22) + (-299)/(-253). Which is smaller: o or 1/151?
1/151
Let c = 69 - 3. Let o = c - 47. Let n = 15 - o. Is -2 bigger than n?
True
Let a = -2019 + 117099/58. Is 5/3 at most as big as a?
False
Let x(d) = -38*d + 2*d**2 + d**3 - 37*d - 2 + 71*d. Let y be x(-2). Is 8 >= y?
True
Let c = -186/5 - -37. Let y = 9 - 1. Is c greater than or equal to y?
False
Suppose -u - 6*u - 70 = 0. Let c be -7 + -3 + 0/1. Is u equal to c?
True
Let w be ((-10 - -21) + -12)/1. Suppose 0 = -2*m + m. Let j be 4/(-5) + 1 + m. Is j equal to w?
False
Let r(p) = 2*p**3 - p**2 - p. Let y be r(2). Suppose 2*c = -5*n + n + y, -22 = -2*c + 2*n. Let u be -5 - (3 + c/(-3)). Which is smaller: u or -3?
u
Let b = 1538 + -32260/21. Is b >= 3?
False
Let k = 199/570 + -3/190. Let q(i) be the third derivative of i**4/24 + i**3 + i**2. Let x be q(-6). Is x at most as big as k?
True
Suppose -4*r + p - 227 = 152, 0 = 5*r + 3*p + 461. Let q be 1/3 - 2842/30. Let f = r - q. Which is bigger: 0.3 or f?
f
Suppose 11*f = -7*f + 414. Is f not equal to 20?
True
Let i be (-1 - (1 - -1))*1. Let v be (-6)/9 + (-29)/i. Let o(n) = n - 3. Let q be o(v). Which is smaller: q or 7?
q
Let g = 55.9 - 56. Let y = -34.21 - -34. Which is bigger: y or g?
g
Let n(z) be the first derivative of z**2 - 5*z - 3. Let i be n(3). Let r = i - -7. Which is bigger: r or 6?
r
Let b = 7.6 - -0.4. Let y = 0.01 - 0.01. Let k = b + y. Which is bigger: 1 or k?
k
Let k be 38/(-133) + 1622/(-7). Is -232 greater than k?
False
Let i be 2 + 20 + (-9)/((-45)/(-10)). Which is greater: 23 or i?
23
Let n = 67 + -59. Let j = -0.84 + 9.44. Let d = n - j. Which is bigger: d or -0.1?
-0.1
Suppose 2*m + 8 + 24 = 0. Let g = -12 - m. Let z be 34/(-10) + -1 + g. Which is smaller: -3 or z?
-3
Let i = -12.92 - 0.08. Let l = 11.1 + i. Let z = l - -1.7. Which is smaller: z or 7?
z
Let b = 776317/4780 - 9/956. Let z = -163 + b. Suppose -18 = 5*q - 2*m, -3*m + 22 = -3*q + m. Does z = q?
False
Let f = 715 + -2859/4. Which is smaller: 74 or f?
f
Let b be (-2)/2 + 2 - (-3 + 2). Suppose -b*h = -23 - 27. Which is smaller: h or 24?
24
Let x = 717 - 660. Is x at most as big as 48?
False
Let h = -238 + 236.99. Let k = 0.09 - h. Let x = k + -1.2. Is 0.3 smaller than x?
False
Let j = 1.19 + -1.224. Is -3 > j?
False
Suppose -19 = -5*y + 6. Suppose -y*f + 4*o = -3, -o + 12 = f + 2*o. Which is smaller: f or 4?
f
Let s = 4 + -4. Let o be (2/(-3))/(2050/225). Is s at least as big as o?
True
Let s be (12/4 - 1) + -6 + 251. Is s < 247?
False
Let n(x) = -x**2 - 19*x - 78. Let f be n(-6). Is f bigger than 2/249?
False
Let q be (139/135 - 1)*(-1836)/234. Let y = 558868/195 - 2866. Let m = y - q. Which is smaller: m or 0?
0
Let i be (-41755)/(-642075) + (-3)/45. Which is smaller: i or -1?
-1
Let b = 218/3 - 64. Let d = b + -8. Let u be -1*(-6 + 2)/2. Which is bigger: u or d?
u
Let f = 85/12 - 3509/492. Which is smaller: f or -4?
-4
Let i = 82.6 - 93. Let g = -14 + 11.4. Let m = i + g. Is m less than 0.1?
True
Let t be (-33 - (4 + -15))*58/(-20). Is t greater than 64?
False
Let x = -6 + -4. Suppose -6*u + 2*u - 5*w = -174, 0 = w + 2. Let s = 35 - u. Which is bigger: x or s?
x
Suppose 6 = -5*z - 19. Let i = 5 + z. Suppose a + i*a = 5. Which is smaller: 11/3 or a?
11/3
Suppose 0 = -43*y + 46*y. Let o = -9937/14 + 709. Which is bigger: o or y?
y
Let n = -25 + 25.34. Let k = n + -0.04. Do -5 and k have the same value?
False
Let v = -754128 + 663632727/880. Let h = v - 2/55. Do h and 1 have the same value?
False
Let y(m) = -m**3 - 12*m**2 - 13*m - 16. Let w be y(-11). Suppose -w*n = -4*n - 4. Is 4/7 at least as big as n?
False
Let x = -84 - -105. Let s = -162.8 + 184. Let j = s - x. Which is greater: j or 3?
3
Let x = 7 - 7. Suppose 3*n + 12 = -x*n - 3*a, -a - 7 = -2*n. Let m be 72/(-39) - (-2)/n. Which is smaller: 1 or m?
m
Let c be -2 - (-5)/((-25)/(-2140)). Let f = -14909/35 + c. Which is greater: 0 or f?
f
Let b be -1*(-7)/(4 + -5). Let o(p) be the first derivative of p**4/4 + 7*p**3/3 + p**2/2 + 6*p - 2. Let z be o(b). Is -2/21 at least as big as z?
True
Let d = 82208344681/454871084 + 6336/595381. Let r = 723/4 - d. Which is smaller: -1 or r?
-1
Let f be 15/6*(-51)/(-5). Let s = -99/4 + f. Let y = -4/11 - 25/22. Which is smaller: s or y?
y
