-u, c = 5*u + 5*q. Which is greater: k or u?
u
Let a(r) = -2*r + 10. Let y be a(8). Suppose 3*c = 4 + 14. Suppose 0*f + c = -3*f. Is f > y?
True
Suppose 4 = r + r. Suppose x + 15 = -r*x. Let j be 3 + (32/x)/2. Which is bigger: 2/3 or j?
2/3
Let j = 69/4100 - 9/100. Let i be 4/14 - 6291/10332. Let b = i - j. Is b bigger than -3?
True
Let l be 2527/(-171) + 16 + 4/(-6). Which is smaller: l or 1?
l
Let s(u) be the third derivative of -u**4/24 + u**3 + 4*u**2. Let l be s(6). Suppose l*p = -p + 4*h - 2, 5*p - 3*h = -10. Is p at most -3?
False
Let z = -687 - -688. Which is smaller: z or 5/31?
5/31
Let c = -624 + 584. Which is smaller: c or -2/13?
c
Let g = -67701/62 - -1092. Is 1 smaller than g?
False
Let t = 97815/43 + -2275. Is t at least 0?
False
Let y = 180115/116 - 507207871/326656. Let s = y - -1/1024. Which is bigger: s or 1?
1
Let x = -1515.625 - -1513. Is x < 0.1?
True
Let n be (-3*(-23)/(-9))/(-3). Let s = 305/117 - n. Which is smaller: s or 0?
0
Suppose 2*o + 3*h = -37, 3*o = 7*h - 10*h - 48. Which is bigger: o or 6?
6
Suppose 0 = 3*z - 6*z - 2*d - 2414, -1626 = 2*z - 2*d. Is -808 greater than z?
False
Let v be ((-1)/(-3))/((-3)/(-18)). Suppose -15 = f + f - 5*r, -v*f = 5*r - 15. Which is smaller: f or -1/72?
-1/72
Suppose 0 = 11*a - 10*a - 20. Let c = -34 + a. Let v = 17 + c. Is v greater than 1?
True
Let m = -35827/375147 + -2/5139. Which is greater: m or 1?
1
Let c = -9 + -5. Let m = c - -14. Is m greater than or equal to -3/19?
True
Suppose 0 = -31*u + 5*u - 962. Is u at least as big as -36?
False
Suppose -5*m + m - 12 = 4*a, -4*a - 5*m = 10. Let q be (-6)/9*-3 + a. Is q smaller than -3?
False
Suppose 2*x + 5 = -4*q - 1, -3*q + 4*x + 12 = 0. Let j(z) = z**2 - 6*z - 7. Let r be j(-5). Let n = r - 148/3. Which is smaller: q or n?
n
Let m(h) = h**3 + 20*h**2 + 19*h + 1. Let d be m(-19). Suppose -3*i = -13 + d. Which is greater: 6 or i?
6
Suppose 8*j - 9*j = 3*j. Suppose -6 = -4*h + 2*q, -4*h + j*h - 3*q = 19. Is -20/9 less than h?
True
Suppose -13*l = -51*l - 190. Is -21/4 at most l?
True
Let h be 283/6 - (-30)/36. Is h at most as big as 46?
False
Let i = 0.45 + -0.19. Let x = i + 0.04. Is 10 at least x?
True
Let i be -1 + (-1 - 1*-2). Let d(q) = q + 1. Let m be d(i). Let z be 30/420 - (-43)/(-210). Is z >= m?
False
Let l(y) = y**2 + 6*y + 3. Let b be l(-4). Let j(d) = d**2 - d - 4. Let p be j(-2). Let k be (p*2/4)/((-26)/104). Is k >= b?
True
Let b(o) = -6*o + 30. Let q be b(5). Is q bigger than -4/165?
True
Let c = 3733242/31031 + -1564/13. Let d = c - -59687/14322. Which is greater: d or 4?
d
Let t be (-90 + 0)/2 - -1. Suppose 4*v + 203 = -7*d, -v - 15 - 7 = -4*d. Is v smaller than t?
False
Let r be (12 - (-2252)/(-188))/(1/(-2)). Which is greater: -1 or r?
r
Let a be (1/(-42))/(26/(-39)). Let l = a - -53/84. Suppose -c - 1 = -0. Which is greater: l or c?
l
Let r be (-1)/1 - (-2)/((-16)/(-220)). Let h = -361/14 + r. Which is smaller: h or 0?
0
Let z be ((5 - 2) + 3)/2. Let b(h) = -h**3 + 3*h**2 + 2*h - 1. Let s be b(z). Is s > 2?
True
Suppose -287 - 89 = 4*h. Let l = 47 + h. Which is smaller: -49 or l?
-49
Let l = -107 + 97. Is 0.3 at most as big as l?
False
Let y be (-2)/7 + (-80)/(-35). Suppose -y*m = 4*a - 2, -a + 2*a = 5*m - 16. Is 1/4 smaller than a?
False
Let q = -10.75 + 9.75. Are 13/17 and q equal?
False
Let g = -16 - -18. Let m = -7 - -8. Suppose -5*j = -m - 9. Is g smaller than j?
False
Let g = 1328557/15 - 88502. Let r = g - 341/5. Let l(s) = -s**2 + 15*s - 51. Let d be l(5). Is d >= r?
False
Let b be (-6)/(-4)*16/12. Suppose b*i = -4*p - 572, -71 - 225 = i - 3*p. Let m be 5 - 1 - (-1140)/i. Are 1 and m nonequal?
True
Let z(y) = -9*y - 4. Suppose -x + 0*x = 11. Let l(c) = 5*c + 2. Let r(v) = x*l(v) - 6*z(v). Let k be r(4). Which is smaller: -4/3 or k?
k
Suppose 32 = 5*n - n. Let t = n + -8. Let f = 25/2 + -53/4. Which is smaller: f or t?
f
Let v = 69 - 78. Let c = 11 - 16. Let y = v - c. Is y > -2/3?
False
Suppose 4*q - c - 4 = 0, -q + 19*c = 23*c - 1. Let x(m) = -m - 4. Let y be x(0). Which is bigger: q or y?
q
Let t(k) = k**2 + 8*k - 7. Let x be t(-9). Suppose 4*m - 2*m = -x*s + 30, -s - 3*m = -17. Let c be 3/24*s*1. Are c and 2 non-equal?
True
Let o = 2 - -31. Let x = -125.2 + 125.1. Which is smaller: x or o?
x
Let u(n) = n**3 + 7*n**2 + n + 11. Let q be u(-7). Suppose 4*g - 2*g + q = 0. Which is smaller: -10/9 or g?
g
Suppose 0 = 2*c - 78 + 72. Suppose -2*f + 12 = -c*s, 0*f = -f + 2*s + 5. Is f less than 7?
False
Let z(g) = 2*g**3 - 4*g**2. Let u be z(3). Suppose 0 = -5*r + 20, -2*r + 12 = -5*s - 36. Let l be 4/2*2/s*-38. Which is bigger: l or u?
l
Suppose -8*v = -4*v + 36. Let c be ((48/3)/1)/v. Which is smaller: c or -2?
-2
Let i be 6/(-2) - (91539/1568)/9. Let n be ((-9)/280)/((-36)/15). Let c = i - n. Which is smaller: -10 or c?
-10
Let d = -645 + 31604/49. Is -0.5 <= d?
True
Suppose -4*w + p + 4*p + 6268 = 0, -4*w + 3*p + 6260 = 0. Is 1563 bigger than w?
True
Let m(n) = n**2 - 6*n - 18. Let u be m(8). Does u = 4?
False
Suppose -45*f + 56*f = 11. Which is smaller: f or 3?
f
Let v = -125/462 - 1/66. Is 0 at most v?
False
Let d be -1 - (1 + -3)*5/(-110). Which is smaller: 0.02 or d?
d
Let r be 7/1 + 676/39. Which is smaller: r or 0.2?
0.2
Let i(f) = 6*f**2 + 31*f - 24. Let j be i(-6). Let l be (-260)/(-22) - (-2)/11. Let z = -6 + l. Does j = z?
True
Suppose 4*y = 3*n - 320, -6 = 2*y - 2. Is n > 103?
True
Let x = 1292 + -5185/4. Let a = -3 + 9. Suppose a = 3*z - 5*z. Are z and x equal?
False
Let t = 28 + -21. Suppose 0*y = -2*q + y + 12, -q + t = -y. Suppose -15 = q*u, -3*u + 6*u = -2*d + 33. Which is smaller: 22 or d?
d
Let l = 333 - 354. Is -20 less than l?
False
Let q(l) = -5*l**2 - 4*l. Let x(m) = 6*m**2 + 5*m. Let r(u) = -4*q(u) - 3*x(u). Let p be r(0). Suppose p = -5*b - 4 - 6. Which is greater: b or -1/2?
-1/2
Let w(g) = -g**2 + 4*g - 21. Let h be w(8). Let k = h - -54. Suppose 0 = -3*r - 3*v, 0*r - 6 = -4*r + 2*v. Is k < r?
False
Let x(y) = 4*y**2 - 9*y + 6. Let i be x(1). Which is smaller: -1/50 or i?
-1/50
Let n = -210 - -211. Let y be 2/(-2)*(-21)/91. Is n equal to y?
False
Let d(n) = n**2 + 5*n - 2. Let t be d(-10). Let j be 1/(-4) - 52/t. Let f be -1 + (2 - -3) - 4. Is j greater than f?
False
Let u = 0.0358 - 1.0358. Let h = -12.9 + -1.1. Which is smaller: h or u?
h
Suppose -n - 132 = 29. Is n != 0?
True
Let m(c) = 153*c**3 + c. Let h be m(-1). Let a = -62 - h. Let b = a + -2575/28. Is 1 less than or equal to b?
False
Suppose 0 = -48*t + 5*t + 3655. Which is bigger: t or 88?
88
Let r be (34/3)/(5/(-45)*6). Which is smaller: r or -238/15?
r
Let y = 590.8 + -89.8. Which is bigger: 1 or y?
y
Let d(v) = 100*v**2 + 8*v + 1. Let f be d(-1). Is f equal to 92?
False
Suppose -435 = -11*q + 16*q - 3*k, 445 = -5*q + 5*k. Are q and -167/2 unequal?
True
Suppose -13 = 2*w - u, 3*w + 40 = -3*u + 7. Let d be -38 - 3/6*w. Do -35 and d have different values?
True
Suppose 218*z = 222*z - 4*t + 52, -66 = 5*z - 4*t. Is -14 at least z?
True
Let d be 1750/25*(-4)/(-10). Let h be 25/(-14) + 8/d - 1. Which is greater: 0.1 or h?
0.1
Suppose -21*x = -26*x - 150. Let d = 40 + x. Is 8 at most as big as d?
True
Let x = 9860/11 - 64455/77. Are x and 59 unequal?
True
Let j(p) = p**3 - 1. Let o be j(2). Suppose -f = 2*r + o, 3*r + 16 = -4*f - 12. Let u = f + 6. Do u and -2 have different values?
True
Let f = -380586/13 + 29238. Which is smaller: -37 or f?
f
Let l = 1344 + -6719/5. Is l bigger than -36.9?
True
Suppose 8*u + 48 = -0. Does u = -48/7?
False
Suppose 4*v - 18 = 2*p, v + 0 = 5*p + 18. Suppose -4*t + 16 = 0, 5*h - v + 20 = 3*t. Let f = -82/57 + 2/19. Is h > f?
True
Let j = 13 - 8. Suppose 3*p = -5*m + 8*p + 85, j*p = m - 33. Let f be 20/32 - (-3852)/288. Is m less than or equal to f?
True
Suppose 0 = 72*j - 69*j - 24. Let r(n) = n**3 - 7*n**2 - 10*n + 12. Let o be r(j). Which is smaller: 2 or o?
o
Let f = 1083/3782 + -35/124. Which is bigger: f or -1?
f
Let l(z) = z**2 + 5*z - 132. Let p be l(9). Which is greater: -9 or p?
p
Let p = 1192.782 + -1195. Let x = p - -0.018. Which is greater: x or -1?
-1
Let j = 1349 + -1138. Which is smaller: j or 1?
1
Let a = 363.1 - 363. Which is bigger: -489 or a?
a
Let l = -1 - -7. Let m be l/(-33) + -2*(-39)/66. Which is bigger: 9/5 or m?
9/5
Let v(t) be the third derivative of t**4/8 + t**