 Let o = 6 + -20/3. Is o > a?
False
Let c be (1 - 1)/(-31 - -34). Suppose -4*g + 5*p - 625 = c, -2*p = -g - 3*g - 610. Which is bigger: -151 or g?
g
Let k(t) = 58*t - 124. Let r be k(-17). Let h = r + 14438/13. Is h <= 0?
False
Let r = -2/5 - 0. Let u be ((-30)/26)/(590/(-80) - -7). Is r at most as big as u?
True
Let a be (-2 + -1 - 1)*(-4)/(-8). Let l be 1470/252 + ((-4)/a - -1). Is 10 > l?
True
Let j(m) = 3*m - 21. Let z = 10 - 6. Let u(p) = 3*p - 20. Let v(q) = z*j(q) - 3*u(q). Let i be v(13). Is i <= 16?
True
Let p be (2 + (-24)/9)*(-14)/(252/(-54)). Is 1.162 at least as big as p?
True
Let l(b) = -b**3 + 11*b**2 + 27*b - 4. Suppose -342 = -4*d - 290. Let g be l(d). Which is smaller: -6 or g?
-6
Suppose 0 = -5*y - 5, -36*w + 31*w + 4*y + 929 = 0. Which is bigger: 169 or w?
w
Let y(n) = -n**3 + 21*n**2 - 35*n + 37. Let v be y(18). Suppose 0 = v*z - 377*z - 348. Which is greater: z or 175?
175
Let d(f) = 4*f - 21. Let t be d(12). Suppose t*x + 4*x = -11656. Is -377 at most x?
True
Let i = -24.9 + -6.1. Let p = i + 26.9. Let u = p - -4.2. Is u < -0.39?
False
Let x be ((-1)/3)/((-77)/231)*-2*16. Is -31 >= x?
True
Let z = -46 - -50. Suppose 5*y = z*y + 4. Let w be (-5)/(y - (-43)/(-11)). Is 1 greater than w?
True
Suppose -f = 4*u + 3*f - 12, -5*u + 12 = 4*f. Suppose u = 14*k - 2795 - 1391. Is k at least as big as 299?
True
Let v be 8 + 9 + 5685/25. Which is bigger: v or 244?
v
Suppose -501 = 3*q + 16*m - 19*m, -6*q + 4*m = 1014. Is q less than or equal to -177?
False
Suppose -r = -2, p - 3*p = -5*r + 2. Let y be -35 + 2 + (-15)/5. Let o be ((-10)/25)/(y/10). Which is smaller: o or p?
o
Let f = -7217 - -7240. Are 1.2 and f equal?
False
Let a(s) = s**3 - 8*s**2 - 9*s - 17. Let h be a(7). Let k = h - -127. Which is smaller: k or -68?
-68
Let c = 126 + -133. Let s be (-10)/c*(-4)/(-5). Is 0.04 <= s?
True
Let t = 0.3 + -0.26. Let u = t - -1.86. Let z = -1.93 + u. Is 2 > z?
True
Let g(l) = -l**3 - 81*l**2 - 165*l - 362. Let c be g(-79). Is 183 at most as big as c?
True
Let c be (-2)/3 - (450/(-27) + -8). Suppose -3*p = -c*p - 2*p. Is 1/132 greater than or equal to p?
True
Let t be -29 + (3 - (-4 + 3)). Let i = 24 - t. Let p = i + -47. Is 9/5 at least as big as p?
False
Let d be (-264)/(-66) + -9 + 0. Let r(n) = n**3 + 3*n**2 - 12*n - 4. Let b be r(d). Which is smaller: 7 or b?
b
Let y be (-58)/9 + ((-117)/(-65))/((-15)/(-50)). Which is smaller: 0.321 or y?
y
Let q = -4538 - -4358. Do -173 and q have different values?
True
Let y = 58 - 53. Suppose y = 2*f + 5. Let s be 3/(-1 + f/(-2)). Is s less than or equal to 8?
True
Let u be (-21)/((-378)/6670) - 16/(-36). Is u > 379?
False
Suppose 0 = -17*w - 339 - 120. Let g be (w/(-36)*-2)/(3/6). Let c(d) = 6*d - 1. Let n be c(2). Is n equal to g?
False
Suppose -1024 = 5*v + z, -140*v + 796 = -144*v + 5*z. Suppose -2*l - 410 = -0*l. Is l at most v?
True
Let z be 0 - (6/4)/((-28)/3864*-23). Let f be (-2)/((36/177)/1). Is f <= z?
True
Suppose -2*f + 5422 = -242*w + 241*w, -21670 = 4*w - 5*f. Is w at most -5406?
True
Let f be (-138)/(-10) - (360/50)/9. Let y(u) = -u**2 + 8*u - 9. Let c(a) = -a**2 + 7*a - 8. Let l(w) = -3*c(w) + 2*y(w). Let q be l(4). Does q = f?
False
Let b(x) = -x**3 - 2*x**2 + 3*x + 1. Let y be b(-2). Suppose c + q + 7 = -4*c, 1 = c + q. Let i be c/y*105/14. Is i at least 3/2?
True
Let m = -65.204 - -65. Let b = m - 103.796. Let s = b - -104.05. Which is smaller: 2/17 or s?
s
Let q = 3 - 5. Let f be 0 + q*(-2)/(-14). Let n = 333214 + -333212. Which is bigger: n or f?
n
Suppose -3*y - t - 4*t = -21, t + 39 = 3*y. Suppose -13*f + y*f = 4. Let u be (-365)/55 + 3 - f. Do u and -2 have the same value?
False
Let l(v) = v**3 + 12*v**2 + 3*v + 9. Suppose 0 = 4*f - 21*f - 204. Let x be l(f). Is x less than -27?
False
Let n = -743.985 + 743.7. Which is greater: -6 or n?
n
Let p = 420546 + -1909278831/4540. Is p < -1?
False
Suppose y - 24 = -4*j, -4*y + 43 = 2*j - 25. Let s be (63/6)/(6/y). Let f = 4758 + -4758. Is s <= f?
False
Let h(d) = 9*d**2 - 6*d + 2. Let f be h(2). Suppose f*y - 46 = 30*y + 2*n, 74 = -5*y + 3*n. Is y greater than or equal to -1?
False
Suppose -5*a - 4*a = 3*a. Is a bigger than 11/147?
False
Let c be 51/68*(-2)/12 - 413265/120. Is c bigger than -3443?
False
Let r be -2 + -1 + 0 + 0. Let t(v) = 45*v - 7. Let j be t(2). Let f = 74 - j. Which is smaller: r or f?
f
Let y be (-75)/2 + (-33)/(-66). Let q be -9*((-3)/6 - y/6). Suppose -4*d = 140 + 68. Which is bigger: d or q?
q
Suppose -5*l - 157 = 2*r + 1, -l - 67 = r. Is r >= -51?
False
Let j be 2/(-4 - 42/(-9)) - 77. Let f = 517/7 + j. Let w = -6 - -8. Which is smaller: f or w?
f
Let k = -0.257 + -0.043. Let j = 0.274 + k. Let l = -0.006 - j. Which is bigger: l or 0.1?
0.1
Let y = -1 - 11. Let o be (-1 + 2)/((-11)/(-605)). Suppose -203*t + 208*t = -o. Which is bigger: y or t?
t
Let b = -0.13521 - -0.03521. Which is bigger: b or 1458?
1458
Suppose 0 = 5*r - 10, -441*d + 438*d - 5*r - 5810 = 0. Which is smaller: d or -1941?
-1941
Let g = 5802 - 5887. Is -15 >= g?
True
Let q = -213/172 - 2323/11180. Are q and -2 non-equal?
True
Let m = -8226 + 2779. Which is greater: -5446 or m?
-5446
Let p(s) be the second derivative of -7*s**3/6 + 103*s**2/2 - 30*s - 3. Let o be p(22). Which is smaller: o or -52?
-52
Let r = -13.046 + -0.154. Let g = -15.2 - r. Let i = 16 - 1. Is g smaller than i?
True
Let m = -46145/1294 - -102074175/2947732. Let c = -7/268 + m. Which is smaller: 1 or c?
c
Suppose 2*z + 60 = 76. Suppose 11*q + 84 = z*q. Let p be 2/q*-2 + (-62 - -62). Is 2 > p?
True
Let b be 6/(-15) + 42/5. Let w(v) = v**2 + 19*v - 70. Let s be w(-22). Let p = b - s. Is p at most as big as 3?
False
Let r = 68 + -32. Suppose t - 21 = 5*f, 4*t + 959 = -5*f + 1143. Is r greater than t?
False
Let s be 311 + 9/(-54)*-6. Suppose 0 = 18*h + 1176 - s. Which is greater: h or -42?
-42
Let k = 205.63 + -205.26. Which is smaller: -1/133 or k?
-1/133
Let a(n) = -n**2 + 22*n - 88. Let m be a(16). Suppose m*o - 425 = -697. Which is smaller: -33 or o?
o
Suppose -7*t + 5*o + 1670 = -2*t, 0 = 3*o - 6. Let s be ((-96)/t)/((-4)/90). Which is greater: 6 or s?
s
Let k(q) = 60*q + 119. Let b be k(-2). Is 59 bigger than b?
True
Let b = -10848 + 15589. Is 4740 at most b?
True
Let i be (-2 - 3)/((-1 - -1) + -1). Suppose -2*p + i*p = 66. Let j = 21 - p. Does 4/41 = j?
False
Let u = -1.96 - -3.04. Let n = u - 1.09. Let i = 6 - 0. Which is greater: i or n?
i
Suppose k + 3*l = -2*l - 370, 5*l = 3*k + 1190. Let m = -358 - k. Is 153/5 != m?
True
Let s = 195 + -123. Let p be 1/(1 - s/16). Which is smaller: 3.4 or p?
p
Suppose 0 = -6*n - 4*n. Suppose 2*o - 16 = l - 5*l, n = 4*o - 8. Suppose 3 + 24 = -l*i. Which is smaller: -13 or i?
-13
Let v(q) = q**3 + 8*q**2 + 2*q - 32. Let n be v(-7). Suppose -11*r + n*t - 604 = -15*r, 0 = 4*t + 16. Is r >= 153?
True
Let s be -10*37/(-12)*(-32)/20. Let l = s + 50. Let g = -124 + 110. Which is smaller: l or g?
g
Let v = 6259 + -16360. Do v and 0 have different values?
True
Suppose 0 = z + z - 6*z + 8. Is 15/7 smaller than z?
False
Suppose -21 = -4*d + 3*k, -k - 29 - 11 = -5*d. Suppose d = -3*v - z - 0, -4*v - 4*z - 12 = 0. Is v <= -14/5?
True
Let u = 10173 + -9091. Are 1083 and u unequal?
True
Let p(a) = -12*a + 18. Let k be p(-8). Suppose 0*c = -3*c + k. Let t(j) = -9*j + 12. Let u be t(-3). Is c at most as big as u?
True
Let j(i) = i**2 + 11*i. Let u(d) = 2*d**3 - d - 9. Let s be u(0). Let f be j(s). Which is greater: 2 or f?
2
Let i(a) = a**2 - 16*a + 1. Suppose -9*k = 26*k - 210. Let y be i(k). Which is smaller: -57 or y?
y
Suppose 0 = 2*t - 4*n + 176, 20 + 396 = -6*t - 4*n. Which is smaller: -50 or t?
t
Let j = -41 - -45. Suppose 5*c = -j*f + 28, 0*c = 4*f - 5*c - 68. Suppose -2*d = -4*v - 12, -f = -2*v - 2*v - 4*d. Which is bigger: v or -2/37?
-2/37
Let r(x) = 2*x**3 - 6*x**2 - 4*x - 12. Let c be r(-4). Let f = c + 115. Which is smaller: f or -104?
f
Let b = -174 + 199. Suppose -5*f - 4*c - 2 = 0, 30*c + 19 = 2*f + b*c. Are f and 11/6 nonequal?
True
Suppose 15*o = 13*o - 24. Let t be ((-6)/(o/11))/(2/(-4)). Which is smaller: -16 or t?
-16
Let m = -294 + 2373. Which is bigger: m or 2080?
2080
Let i = 41.14 + -140.14. Which is smaller: i or 1?
i
Let h be (-17)/((-425)/60)*(-33)/16. Are -4 and h equal?
False
Let w(t) = 2*t + 2. Let r be w(-2). L