6*f + 59. Let x be (-2)/(-8) + (-54)/(-8). Let z(u) = -u**3 + 8*u**2 - 10*u + 7. Let p be z(x). Is f >= p?
False
Let l = 700/187 - 36/11. Suppose -4*v + 8 = -h, 9*h + 2 = 14*h + v. Suppose 3*w + 4*n + 15 = h, -3*n - 9 = -0*n. Is l < w?
False
Suppose -5*n - 30 = 0, -140*n + 143*n = -4*a - 10234. Is 1 at most as big as a?
False
Let s be (0 + 2/(-2))*-9. Let z be (-108)/30*20/(-8). Let r = z + -1. Which is smaller: s or r?
r
Let d be 4/6*(-64)/288. Let n = -3 - -25. Suppose n*t - 4 = 18*t. Are t and d nonequal?
True
Suppose 3*t - 29*n = -27*n + 7, 0 = t - 4*n - 19. Let b = -10332 - -10373329/1004. Which is greater: b or t?
b
Suppose 93*j - 91*j - 1190 = 0. Which is bigger: j or 594?
j
Let y = 648073 + -7140135/11. Is y greater than -1031?
True
Suppose -7*f - 50 = -610. Let k = f + -81. Is k bigger than -12/11?
True
Let f = 551.379 + -551. Let s = f + -0.179. Which is smaller: s or -93?
-93
Let s(b) be the second derivative of b**3/6 - 9*b**2/2 + 3*b + 18. Let j be s(10). Which is smaller: j or 2/745?
2/745
Let b = -2871 - -2943. Is 15 less than b?
True
Let n = 1521.6 - 2018.6. Does 2/7 = n?
False
Let x = -645 - -233. Let h = -461 - x. Which is smaller: -2 or h?
h
Let k be (-1 + 2)*(-68)/68. Let y = -41 + 129. Let i be y/(-78) - (-8)/12. Which is bigger: k or i?
i
Suppose 0 = -2*v + 29*v - 54. Let k(i) be the first derivative of i**4/4 - 3*i**2/2 - 3*i - 1. Let c be k(v). Is 1/6 at least as big as c?
True
Suppose -a = 2*k - 1466, 53*a - k - 4433 = 50*a. Is a < 1475?
False
Suppose 5*f + 8341 = -j, 16*f + 8343 = 11*f - 3*j. Is -1669 bigger than f?
False
Let b = -15 - -17. Suppose i - 4*m = -i + 14, b*i - 11 = m. Suppose 19 = -i*p - 1. Is p < 1?
True
Let j(t) = 2*t**3 - 10*t**2 - 10*t + 27. Let d be j(5). Is -50 less than or equal to d?
True
Suppose -2*j - 60 = -5*h, 5*h - 31 = h + 5*j. Let z = h - 15. Let d be (z - 0) + -116*(-1)/(-2). Which is smaller: d or -58?
d
Let h = -50116 + 349108/7. Is h less than -243?
True
Suppose 3*s - 51*s - 123782 = -37670. Is s at most -1792?
True
Suppose -14 = -2*l + 56. Let d be (-13 + 574/63)/((-1)/9). Is l < d?
False
Let b = -271 - -299. Suppose 3*s + 3 = -x + 5*s, 3*x + 2*s = -1. Let t be x + -1 - 64/b*-2. Which is greater: t or 4?
4
Let d(i) = -i - 37. Let p(x) = -x - 1. Let h(m) = 2*d(m) - 6*p(m). Let b be h(10). Which is bigger: -29 or b?
b
Let d be ((-39)/(-6))/((-49)/98). Let z be ((-4)/6)/((-42)/(-729)). Are z and d unequal?
True
Let t = -41792 + 49531. Are 7739 and t non-equal?
False
Suppose 3*u + 4*i - 81 + 25 = 0, i + 101 = 5*u. Let b(a) = a**3 - 20*a**2 - 2*a + 39. Let p be b(u). Let r be 28/(-13) - (-4 - -2). Which is greater: r or p?
r
Suppose 5*l = 2*v - 525, 5*l - 3*v + 570 = -10*v. Is -541/5 >= l?
False
Suppose -6*h - 2*h + 504 = 0. Let z = -69 + h. Let i be (-12)/8*z/(-549). Is 1 greater than i?
True
Suppose -2*b = a + 46, 18*a = 9*a + 3*b - 288. Which is smaller: -916/27 or a?
a
Suppose 5982*o - 25 = 5940*o + 17. Let m(p) = p**3 + 6*p**2 - 7. Let k be m(-6). Let a be (k - -11)*o/(-6). Is a > -4?
True
Let j(w) be the third derivative of -w**6/15 + w**4/24 + w**3/6 + 7*w**2. Let q be j(-1). Let o(f) = -2*f + 4. Let k be o(-2). Is k smaller than q?
False
Let s(d) = d**3 + d**2 - 30. Let w(b) = -b**3 - b**2 + 1. Let i(l) = -s(l) - 2*w(l). Let z be i(0). Let h be z/(-13) - 42/(-273). Which is smaller: 0 or h?
h
Let u = 6447884971714/479 + -13461143669. Let k = 5941 + u. Let a be (-1)/1*(2 + -1). Is k equal to a?
False
Let w = -342/279967 - 733194745/948528196. Let j = w + -20249741/748748. Let t = j - -380/13. Is t greater than 1?
True
Let w = -1611 + 1697. Which is smaller: 948/11 or w?
w
Let u = 32 - 32.0251. Let y = u + -0.2069. Is 0 at least as big as y?
True
Let y = -11862/553 + 92/79. Let m = -20 - y. Which is bigger: m or 1?
1
Suppose 16 = -5*j + 3*j. Suppose -3*n = 2*w + n - 2, -w - 27 = -5*n. Let i = j - w. Which is greater: 52 or i?
52
Let z(w) = 5*w + 1. Let c(k) = 31*k + 5. Let x(b) = 5*c(b) - 30*z(b). Let m be 2 - (-2 + (0 - -1)). Let f be x(m). Is f at least as big as 10?
True
Let r be (45/(-20) + 2)*(-4 + 0). Let v be r/(-4)*24/15. Is 5 <= v?
False
Let y = 7184 - 6915. Which is smaller: y or 279?
y
Let u(o) = -5*o**3 - 50*o**2 + 2*o + 16. Suppose 0 = 19*a + 227 - 37. Let n be u(a). Which is smaller: -37/13 or n?
n
Let q be (8 - 54934/77)*28/(-18). Is q less than or equal to 1096?
False
Let h = 2507 - 2505. Do h and -1684 have the same value?
False
Let p = -35.26 + 30.7. Let l = -2.56 - p. Let u be (-4)/6 - (-94)/6. Is u less than or equal to l?
False
Let a be (20/6)/((-2)/6). Let x be (a/35)/((-3)/(-7)). Let v = 3441 - 3409. Which is bigger: v or x?
v
Let t = -0.13637 - -106.33637. Is -9 > t?
False
Let y be (-57)/12 + 0 + (-10)/8. Let h be 122/(-6) + -1 - (-1)/y. Is h != -23?
True
Let s(m) = -167*m - 2440. Let x be s(-5). Is 7 > x?
True
Let n = 6319/40 - 793/5. Suppose 165 = -z + 6*z. Let p be ((-22)/z)/(2/3). Are n and p nonequal?
True
Suppose 0*z - 5*z + 343 = 3*d, 0 = 5*d - z - 609. Let m = 118 - d. Do -17 and m have the same value?
False
Let j be ((-6)/36*-9)/(15/(-50)). Let l = -53 + 50. Do j and l have different values?
True
Suppose -5*o + 4*i = 1660, 3*i + 312 + 39 = -o. Let b be (-2)/(-8) + 68/o. Which is greater: -1 or b?
b
Let g(o) be the first derivative of -2*o**3 + o**2 + 33*o - 220. Let f be g(-6). Is -196 smaller than f?
True
Let c(v) = v**3 + 9*v**2 - 11*v - 128. Let x be c(-10). Which is smaller: -112 or x?
x
Let l be 198/24 - 5 - 2/8. Let n be ((-291)/(-9) - 5)*l/2. Is n at most 40?
False
Let x = 2793 - 2766.9. Let y = -57 + 56. Is y greater than x?
False
Let i = -2092/5155 + 6/1031. Which is bigger: -1.72 or i?
i
Let w be -2 + 3344/(-415) + 10. Is 0 <= w?
False
Suppose -w = 2*w - 2352. Let g be 43130/(-55) + 18/90. Let i = g + w. Which is greater: i or 0?
i
Let o = 6 + -11. Let s(v) = 4*v - 2. Let m be s(o). Is m >= -19?
False
Let i = -96384 - -96383. Let n = 37 - 188. Let b = n - -2413/16. Is b smaller than i?
False
Let t be (-3)/(-6) + 2/4. Let q(n) = -n**3 + 11*n**2 - 6*n - 4. Let o be q(10). Suppose -5*m - m - o = 0. Is m at least as big as t?
False
Suppose 4*t - 2 = 4*y + 6, 2*y = -t + 2. Let q be -6 + 8 + (-2 - (-6)/t). Let m be (72/42)/((-6)/(-21)). Do m and q have the same value?
False
Let w be (-36)/(-7696)*9/(-27)*(-4)/282. Is w > 1?
False
Let g = -0.05 - -0.14. Let p = g - 0.01. Let k = 491 + -488. Which is smaller: k or p?
p
Let a(q) = q**2 - 4*q - 23. Let y be a(7). Let l be 669/(-15) + y/5. Let p be (-95)/l + 6/(-3). Is 1 equal to p?
False
Let t = 0.15576 - -0.17094. Is 2/7 at least t?
False
Let w = -27293 - -32492. Which is smaller: 5196 or w?
5196
Let b be 2/(-8) - (2130/(-8) + 5). Let j = -1160 - -1422. Is j at most as big as b?
False
Let b(j) = -j**2 - 11*j - 3. Let p be b(-11). Let k be (-6357)/(-52) + p/(-4). Which is smaller: 121 or k?
121
Let a be 2608/(-14) - -2 - (0 + 1). Let o = a + 185. Which is smaller: 1.2 or o?
o
Let k = -320513/116 + 2763. Do 1 and k have the same value?
False
Let m = 14.9328 + 0.0672. Which is smaller: m or -59?
-59
Suppose -4*b - 5*t = -4*t - 35, -b + t + 15 = 0. Let x(g) = -2*g**2 + 17*g + 30. Let w be x(b). Let a be (3 + -1)/20 - (0 - -1). Which is smaller: w or a?
a
Let o = -39837 + 39602. Is o greater than or equal to 1/14?
False
Let c be 3/(-21) - 7310/35 - 3. Let y = c - -203. Let g(d) = d - 4. Let z be g(0). Do y and z have the same value?
False
Let i(x) = -x**3 + 2*x**2 + 23*x - 51. Let u be i(2). Which is smaller: u or -121/27?
u
Let d(k) = -k**3 + 5*k**2 + 7*k - 3. Let h be d(6). Suppose -3*x - 7 = -3*r - x, -12 = -h*r - 3*x. Let f = 5931 - 5929. Are f and r equal?
False
Let y be 52/754 + (-19793)/638. Which is bigger: -31 or y?
y
Let n(q) = -7*q**2 + 59. Let a(u) = 4*u**2 - 30. Let o(z) = -5*a(z) - 3*n(z). Let v be o(6). Is v <= 10?
True
Suppose 0*q - q + 3*u + 22 = 0, 4*q - u - 33 = 0. Suppose -q*i = -5564 + 1679. Let l be i/195 - (-6)/(-2). Which is smaller: -1/3 or l?
-1/3
Let d be (0 + 24/8)*(-148)/(-6). Let j = 2151/29 - d. Which is bigger: -1 or j?
j
Let a be ((-30)/21)/((48/(-42))/8). Let t be a*((-306)/81 - -8). Is t at most 43?
True
Let z(v) = 120*v - 600. Let w be z(5). Is w bigger than -1/13938?
True
Let u = 17867/13 - 1371. Let g = -5/111 - 187/777. Are u and g equal?
False
Let q = -22148 - -