 - 2*z - 168 + 13, -2*q + 318 = -2*z. Suppose -q = 3*c - 103. Which is greater: -4 or c?
-4
Suppose -54 = -2*k + 4*i, -i - 2 = -3*k + 54. Let l be 6/1272*(k + -1). Is -0.3 equal to l?
False
Suppose 0 = 143*p - 137*p - 12. Let i be p*(-3)/4 - 403/62. Is 6 at most i?
False
Let s(v) = v**3 - 6*v**2 - 11*v - 7. Let f be s(8). Let r = 182 - 94. Suppose -3*m - m = 2*k - r, 4*k = 5*m + 111. Is f at least k?
False
Suppose 0 = 3*m + 6, -2*m - m = -4*p + 22. Suppose 3*y + 2*y - 25 = 0. Suppose -16 = -y*k + 9. Which is bigger: p or k?
k
Let i = 31 + -37.9. Let j = -28.4 - -21.4. Let o = i - j. Which is greater: -0.09 or o?
o
Let p(d) be the second derivative of -d**5/20 + 3*d**4/2 + 41*d**3/6 - 13*d**2/2 - 21*d. Let h be p(20). Which is smaller: h or 2?
2
Let y = 4.16 - -0.84. Let k = -52 + 38. Is y equal to k?
False
Let m = -0.28 + -1.12. Let w = m - -66.4. Let n = -64.2 + w. Is -2/7 less than or equal to n?
True
Let t be (48/20 - 2) + (-2748)/(-5). Let k be 5*11/(t/604). Is 61 greater than k?
True
Let q = -1182 + 1181. Let l = -137575/72137 + 645/358. Let r = l - 3/62. Which is smaller: q or r?
q
Suppose 730*h = 680*h + 50. Let q be (1 + -20)*6/(-3). Do q and h have different values?
True
Let j(y) = -y**3 + 25*y**2 - 60*y + 28. Let d be j(24). Let n = 57435 + -339607/6. Let w = d + n. Is w < -2?
True
Suppose 11*f + 64 = 23*f - 8*f. Suppose 0 = 4*u + x - 147, 0*u = -2*u + 2*x + 86. Is u at most f?
False
Suppose -3*u + 5*c = 1031, 5*u - 3*c + 1200 = -545. Let l be u/170 + -2 - -4. Is -1 greater than or equal to l?
False
Let g(l) = -l**3 + 24*l**2 - 43*l + 1. Let x be g(22). Let f(h) = -h**2 + 26*h + 32. Let q be f(x). Is q bigger than 101?
False
Let o = 42 + 6. Let q be -20*((-6264)/145)/18. Is q bigger than o?
False
Let x = 315 - 953/3. Let b = -33.218 - -0.018. Let q = -33 - b. Which is smaller: q or x?
x
Let v = -4.133 - -114.133. Which is bigger: v or -1/2?
v
Let a = -951317/3530 + -9/1765. Is 1/4 bigger than a?
True
Let w = -4737.55 - -4883. Let v = w - 144. Which is bigger: v or 0.1?
v
Let h be (1580/6)/(895/1074). Which is bigger: h or 314?
h
Let x = -51.101 - -0.101. Let g = -73 - x. Let c = g + 24. Is c at most as big as 1?
False
Suppose 6*w - 41 = 7. Let h be (((-5)/(20/w))/(-2))/(-53). Which is greater: 1 or h?
1
Let i = -1565.5 + 212.5. Which is greater: i or 2/5?
2/5
Let o be (-43 + -1)*18*(-10)/30. Let z = 292 - o. Let f be (1 + 0)*1 + 26. Which is smaller: z or f?
f
Let c = -3.1291 + 41.1231. Let g = c - 38. Does 0 = g?
False
Suppose -5*h = 2*l + 60, -3*h = -3*l - 5*h - 90. Let i be (-148)/(4/5*l/(-12)). Which is bigger: i or 3?
3
Let o = 104/45 + -28/9. Let u(z) = -168 - 14*z**2 + 28*z**2 + 6*z**2 + 29*z - z**3. Let k be u(21). Which is bigger: o or k?
k
Let z be (0 - 3) + 15 + (-1808)/152. Let m = -950/401 + -73358/38095. Let l = m - z. Are l and -5 nonequal?
True
Suppose 2*u - 3*m - 1 = 35, -u = 3*m - 9. Suppose 13*j - 16 = 36. Suppose j*i + d + 2*d = u, -4*i = -3*d + 15. Do i and 1 have different values?
True
Let d be -1 - -1 - (-2 - 92). Let x = 86 - d. Which is smaller: -3 or x?
x
Suppose 47*r = 40*r - 617820. Let k be (-5)/2*48/r. Is 0 smaller than k?
True
Suppose -63 + 75 = 3*a. Suppose -5*o = -4*o - 4, a*r + 172 = -3*o. Which is greater: -45 or r?
-45
Let r = 8446 - 8127. Is 6 smaller than r?
True
Let a = -0.7044 + 0.7034. Which is greater: 17 or a?
17
Suppose -4*z + 6*z + 60 = 0. Let k be 1/((-3)/z*-2). Let c be 2 + -8*k/(-10). Is c <= -3?
False
Let l be (-2452)/(-28) - -4 - (-3)/7. Let y = l + -90. Suppose -y*r + 4*t - 20 = 0, r - 3*t = -2*r - 24. Is r > -9/5?
False
Let u(l) = -3*l**3 - 7*l**2 - 14*l + 3. Let m be u(-4). Let p = m - 143. Let h be 2 - 1/((-1)/(-4)). Is h != p?
True
Let g = 299 + -309. Let v be 0/(-4) + -1 + g/(-5). Is 32/13 at least as big as v?
True
Let b be ((-33)/(-84) - 24/168) + (-215)/132. Is b at least as big as -2?
True
Let w be (-24 - -21) + 227 + -2. Let u be w/(-9)*3/(-2). Which is greater: u or -0.05?
u
Let k be (4/(-5))/((-7536)/(-90) - 7). Let a = k + -2456/206029. Do a and 0 have the same value?
False
Let y be (-159)/(-106) + (-4210)/2812. Suppose -d + 4*d + 2*d = 0. Is y < d?
False
Let j = 13231 - 18803. Which is smaller: j or -5573?
-5573
Let d(p) = -5*p - 103. Let m be d(-23). Suppose m*s + 13 = -35. Suppose -5*k + 7 = -2*q - 4, 3*k = 5*q - 1. Which is smaller: s or q?
s
Let q be ((-4)/6)/(1/(-3)*176/(-1672)). Suppose 86 = -3*d + 20. Which is greater: d or q?
q
Let v = -420 + 356. Let h = v + 21. Which is bigger: 3/2 or h?
3/2
Let k = 195.87 + -99.37. Which is smaller: -1/6 or k?
-1/6
Let v be ((-90)/(-21))/(260/980). Let y = v - 1009/52. Which is greater: -3 or y?
-3
Let k(n) be the second derivative of -4*n**3/3 + 8*n**2 + 2*n + 135. Let o be k(8). Is -45 at most o?
False
Let w be (1 + 8/7)*(14 - 11). Suppose 0*p = -p + 7. Let y = p - w. Which is smaller: y or 0?
0
Suppose 2*s - 14 + 186 = 0. Let b = -86 - s. Is 75 not equal to b?
True
Let d = -52.58 - -0.58. Let b = d + 52.056. Let t = 0.006 - b. Is -1/5 less than t?
True
Let x(y) = y**2 - 7*y - 40. Let r be x(-4). Suppose r*t - 4 = -2*a - 12, 5*t + 10 = a. Which is greater: a or -42?
a
Let b = -3.01 - -0.01. Suppose -4*q - 4*y - 392 = 0, 3*q - 38*y = -36*y - 309. Are q and b equal?
False
Let s = 0.28 + 29.72. Let c = 94 - 63.7. Let d = s - c. Which is greater: 4 or d?
4
Let v(m) = m**3 + 12*m**2 + m + 17. Let r be v(-12). Suppose -2*i + 4*q = 12, i - 4*i - 5*q - 51 = 0. Let z = -1 - i. Is z >= r?
True
Suppose -32*p = -25*p - 32*p + 4825. Is 193 at least as big as p?
True
Let q = -12186 - -4106697/337. Which is greater: q or 1?
1
Suppose -2608 = 22*q + 3992. Let r be (-4)/(-30) + (8/2)/q. Let t(g) = -g**3 - 7*g**2 - 6*g. Let m be t(-6). Which is bigger: r or m?
r
Let d = -3262 + 583900/179. Which is smaller: -9 or d?
-9
Suppose 0*h = -2*l - 5*h - 408, -5*l = -4*h + 954. Let i be ((-7)/((-210)/12))/(l/30). Which is smaller: 0 or i?
i
Suppose -3*p = -5*c - 4*p - 452, -p - 2 = 0. Suppose -1075*b - 4272 = -1027*b. Do c and b have different values?
True
Let a be ((-38790)/(-875))/9 - 5. Let n = 34721/1400 - a. Is n < 24?
False
Suppose 8*p + 1154 = -1022. Let v = p - -273. Is v less than or equal to 5/51?
False
Let g = 3550 + -3549.9. Which is smaller: 2499 or g?
g
Suppose -3*l = -4*r - 0*l - 369, -3*l - 375 = 4*r. Let t(m) = -2*m**2 - 76*m - 95. Let n be t(0). Are r and n non-equal?
True
Let w(v) = 3*v**3 - 37*v**2 + 50*v - 13. Let l be w(11). Which is greater: 0.19 or l?
l
Let g be (2515/(-198) - 8/((-6)/6)) + 5. Which is bigger: -1 or g?
g
Let k = -14053 - -13738. Which is bigger: k or -4112/13?
k
Let i be ((-156)/(-24) + 3)/(-2*1/100). Are i and -3329/7 equal?
False
Let k = 66/329 - -58691/4277. Let u = -14 + k. Let c(t) = t - 4. Let y be c(4). Which is bigger: u or y?
y
Suppose -o + 3 = f, 6*f + 9 = -8*o + 9*f. Which is smaller: 1237 or o?
o
Suppose 6*n = 5*l + 11*n + 10, -2*n = -4*l - 2. Which is greater: l or 2/4441?
2/4441
Let x = -435 + 449. Suppose x - 6 = 2*s, -2*s + 8 = -4*w. Which is greater: -9/8 or w?
w
Let y be 1 + 0 + -3 + (-698)/7. Let u = 106 + y. Suppose 5*b = -9 + 29. Which is smaller: b or u?
b
Let z = -359/470 - -3/47. Suppose -8*p = f - 3981, 4*f + 1417 = 5*p - 1085. Let h = -499 + p. Which is smaller: z or h?
h
Suppose -3*p + 832 = 13*p. Let t be p/39 + -1 + 100/(-318). Does 0 = t?
False
Let q = -2190744/647 - -3386. Suppose -7*y + 51*y - 7*y = -37. Is q smaller than y?
False
Let q = -47.71 - 2.29. Let w = q - -41. Is w bigger than 1/2?
False
Let h = -2.019 - -1.019. Which is smaller: 2282 or h?
h
Let l be 189/(-1008) - (-110)/32. Suppose 4*z - 4*b - 7 = 5, 0 = -3*z - 4*b + 9. Is z greater than l?
False
Let p = 5.605 - 1.705. Let v be -2*1/(-6)*0. Let d be (0/(v - 2))/(-2). Are p and d equal?
False
Let c(p) = -p**2 - 34*p + 14. Suppose 0 = 26*w + 17*w + 1505. Let j be c(w). Is j <= -59/3?
True
Let l be (280 + -14)*(-2)/(-2). Let i = l - -329. Are 595 and i nonequal?
False
Suppose 5*c - 9851 = 22*p - 26*p, -12284 = -5*p - 2*c. Is 2454 greater than p?
False
Suppose -5*q + 4*u = -1503 - 1282, 0 = q + 2*u - 543. Let h = 105620/191 - q. Is 1 less than or equal to h?
False
Let z be 6/(-4) + 8 - 7. Suppose 9*n + 54 = 6*n. Let g be 3 + 86/n + 2. Is z less than g?
True
Let d = 36 + -134. Let v(f) = 13*f - 102. Let o be v(8). Is