8)/45. Is s > 0?
True
Let z(q) = q**3 - 5*q**2 + 8*q - 12. Let g be z(3). Let s(p) = p**3 + 7*p**2 + 10*p + 19. Let u be s(g). Let c be (-22)/(-6)*(-1 - 0). Which is greater: c or u?
c
Let z = 45/1628 - -1638909/76516. Which is bigger: z or 21?
z
Let j(y) = -5*y**3 - 56*y**2 - 12*y - 9. Let i be j(-11). Let k be 1038/(-9)*(-3)/i. Is k < 173?
False
Let z = -2.9 + 2.911. Let c = 7698.011 + -7705. Let a = c - z. Which is bigger: a or 3?
3
Let l be ((-304)/(-32))/((-1)/(-2)). Suppose 8*k - 61 = l. Suppose 6*z - k*z = 172. Is z at least -43?
True
Let x = -2 - -4. Let t = -2524 - -27776/11. Which is smaller: x or t?
t
Let x = -213 + 272. Suppose -9*u + 14*u - 305 = 0. Which is smaller: u or x?
x
Let h be -3*5/(1395/2). Suppose -4*m + 30 = 2*i + 42, -2*m = -2*i - 12. Which is greater: h or m?
m
Let f be (4/6)/((-12)/(-18))*6. Suppose 2 + f = -2*c. Let s = -9 + 8. Which is smaller: s or c?
c
Let p = 898 + -908. Let r be (10/4)/(2/(-4)). Let o be p - r - 1*-3. Are -8/13 and o nonequal?
True
Suppose 54*n - 53*n = -4*p - 75583, 0 = 2*n + 6. Is -18895 equal to p?
True
Let p = 276208/9 + -30776. Suppose -430 = 3*m + 2*m. Let d = p - m. Is -1 <= d?
True
Let p(i) = 5*i**2 + 112*i + 1129. Let t be p(-13). Are 526 and t nonequal?
True
Suppose -420*u = 152*u - 160*u + 31724. Suppose -2*v = -3*i - 247, 0 = 2*i + 5*v + 33 + 119. Let j = u - i. Which is greater: j or 6?
6
Let r = -13737649/1771 - -7757. Let m = r - 288667/5313. Are -54 and m equal?
False
Let a(b) = -b**3 - 4*b**2 - 30*b - 120. Let d be a(-4). Which is bigger: d or -1/2738?
d
Let v = 7 - 9. Let o = 23.14 - 19.14. Is o greater than or equal to v?
True
Let x be 13 - (14 - (-40)/1150). Is x greater than or equal to 0?
False
Let l be (-4)/18 + (-2)/(-3). Let p = l - 19/63. Let g = 584 + -594. Is g at most p?
True
Let o be (-56)/32*20/6 - -5. Let y = o + 10/3. Suppose 5*w - 15 = n, -n + 2 = 7. Which is bigger: y or w?
y
Let h = 152 + -155. Let z be ((-68)/h)/(3/(-18)). Is -135 bigger than z?
True
Suppose -8*c - 6*c = -1064. Let o = -48 + c. Are o and 28 nonequal?
False
Let t(o) = 152*o - 13300. Let y be t(90). Which is bigger: 382 or y?
382
Suppose 2*o - 2 = h - 2*o, 4*o = -h - 26. Let i be (-18)/h + 2 + -2. Let k(v) = -v**2 - 37*v - 268. Let z be k(-10). Is z greater than i?
True
Let j be (-497673)/242*(-4)/(-6). Which is smaller: j or -1372?
-1372
Let y(w) = 20*w**2 + 35*w - 20. Let t be y(-8). Is -2/7 smaller than t?
True
Let k = 14263 + -15124. Is k < -866?
False
Let n be -4 + -2 + 242/30 + -3. Which is smaller: 0 or n?
n
Let r = 1570 - -974. Which is smaller: 2543 or r?
2543
Suppose 0 = 73*y - 21*y + 52. Which is bigger: y or 4/1195?
4/1195
Let v(j) = -j**3 + 6*j**2 + 6*j + 3. Let f be v(7). Let t be ((-7 - f) + -6)*6. Let i = -95 - t. Is i at most -40?
True
Let u be (-1005)/(-3738) - 2/7. Let l be (-124)/(-32) + -4 - 6686/(-27056). Let o = u + l. Which is smaller: -1 or o?
-1
Let v be (-6)/(-8) - (-21)/(-28). Let g(n) = -n - 5. Let p be g(0). Let z = v + p. Is -11/3 smaller than z?
False
Suppose 3*h - 252 = -3*l, -149 = -3*l - h + 95. Suppose 0 = 2*v - 4*v + 4*u + 58, 4*u = -4*v + l. Suppose 17*m = v*m + 114. Which is bigger: -21 or m?
m
Let o = -488 - -232. Which is smaller: o or -257?
-257
Let g be (-2*15/24)/(11/2). Which is bigger: -1 or g?
g
Suppose 0*o + 3*t = 4*o - 1143, 0 = 3*o + 3*t - 831. Suppose -1006*d + 989*d + 4777 = 0. Which is bigger: o or d?
o
Let r(d) = -43*d**2 - 38*d + 179. Let h be r(5). Is -1087 at most as big as h?
True
Let s = 494.64 - 494. Let t = 8.44 + -8. Let h = s - t. Is 24 bigger than h?
True
Suppose -13302 = 6*o - 5*s, 3*o - 4*s + 2236 = 2*o. Are -2210 and o nonequal?
True
Let w(b) = -3*b + 9. Let n be w(6). Let v be n/5 - (0 + -1). Let z be 100/120 + (-5)/6. Is v > z?
False
Let k(f) = f**3 - 36*f**2 - 248*f - 24. Let v be k(-6). Suppose 0 = -0*i - 3*i - 153. Is i at most as big as v?
True
Let y(h) = -5*h - 21. Let l(w) = -8*w - 31. Let i(g) = -5*l(g) + 7*y(g). Let c be i(5). Let o be (-5)/c - 3/(-9). Which is smaller: o or 2/7?
o
Suppose -18*n = 2*l - 13*n - 827, 5*l - 2120 = 5*n. Which is smaller: 416 or l?
416
Let d(z) = z**2 - 7*z. Let l be d(8). Let n(h) = -h**3 + 7*h**2 + 11*h + 3. Let p be n(l). Suppose -5*t = -0*t - 5*j - 10, t + 4*j = p. Is 7 greater than t?
False
Let r be (-1 - -40)*-3*(-136)/(-561). Which is smaller: -28 or r?
r
Let i = 2003/4 + -496. Let x = 24 + -20. Which is smaller: i or x?
x
Let f = 40 - 39.88. Let w = 169 + -169. Is w != f?
True
Suppose 3*x - 2*j = -497, -j + 2*j + 322 = -2*x. Let c = -147 - x. Is c not equal to 16?
False
Let m(b) = b**3 + 10*b**2 + 9*b + 6. Let q(x) = 7*x - 12. Let s be q(0). Let v be -8 + ((-6)/s)/(1/(-2)). Let i be m(v). Do 17/3 and i have different values?
True
Let y = -5 + -2. Let v = -4909 + 4914. Let r be (v + y)/1 - -1. Is -2/13 not equal to r?
True
Let p = 59277/16 + -3681. Are 24 and p equal?
False
Let w be (-1775)/855*(-3)/(-5)*12/(-18). Which is greater: w or 0?
w
Let x = -514 - -503. Let b be 6 - (x - -1)*(-35)/70. Which is greater: 5/57 or b?
b
Let o be (130/74)/((-3)/1641). Let s = 961 + o. Let y = s + 64/185. Which is smaller: y or 1?
y
Let v be (-207)/(-18) - 3*3/(-18). Suppose -10 = -22*i + v. Let k = 139/170 + -2/17. Which is greater: k or i?
i
Suppose -2*p - 2*p + 40 = 0. Let o be (44/p)/(14/10). Let j = 5706 + -5702. Is j less than o?
False
Let k = 433 - 441. Let p(h) = -h**3 - 4*h**2 + 36*h - 15. Let c be p(k). Is c != -49?
True
Suppose -43 = 6*q - 31. Let k be (-1 - 18)/(8/(-24)) + q. Which is bigger: k or 56?
56
Let u = -395/3 + 133. Let j = -1 - -7. Let z = j - 4. Is z > u?
True
Let c be (1*4)/(47336/122)*(-1)/4. Is c > -0.08?
True
Suppose 15*i + 3417 = -2*i. Are i and -202 non-equal?
True
Let t(g) = g**2 + 11*g + 12. Let w be t(-9). Let d = -164 + 147.7. Let v = d - -16.2. Which is smaller: w or v?
w
Let r(z) = -2762*z - 58003. Let b be r(-21). Let o = 21/20 + -541/520. Is b at least o?
False
Let v(g) = -2*g - 4. Let m be v(-3). Let s be ((-3)/12)/(m/(-24)). Suppose c - s*a = 9, c = -5*a + 4 - 19. Is 1/6 equal to c?
False
Let m(n) = n**2 + 4*n + 4. Let s be m(-2). Suppose s = -6*k + 842 - 176. Is 111 greater than k?
False
Let p = 46.839 - -28.161. Let a = -1.1 - -1. Which is bigger: p or a?
p
Suppose 0 = -5*g + 3*s - 64, 0 = -4*g - 0*g + 2*s - 50. Let t = -436217619 - -1202651944349/2757. Let p = t - 4/919. Is g equal to p?
False
Suppose -12*r + 10*r = -8. Suppose l - r*l + 18 = 0. Which is smaller: l or 2?
2
Let r be (3 + -6 + 5)*(8 + (-1644)/204). Let o = 8 + -6. Is o less than or equal to r?
False
Let l = 104888/134050753 - 6/43117. Which is greater: 1 or l?
1
Let w be -1 + 8 - 5/((-25)/(-10)). Let j(r) = r**3 - 6*r**2 + 7*r - 3. Let h be j(w). Which is greater: h or 49/6?
49/6
Let o(g) = g**3 - 7*g**2 - 6*g + 3. Let s be o(4). Let b = -94 - s. Let d be (-4)/b*5/22. Which is smaller: -2 or d?
-2
Suppose 0 = 51*b - 41*b - 30. Suppose 0 = -l + 4 - 7, 0 = 3*a + 2*l + b. Let h = -107/396 + 8/33. Is a bigger than h?
True
Let m be 21692/(-159720) + (-16)/(-120). Is m less than or equal to 1?
True
Suppose 55*t - 34*t + 5976 = 27*t. Is t >= 995?
True
Suppose 0 = -i - 3*i - 5*w + 35, 4*w = 3*i - 3. Let m = i - -11. Suppose 2*n - 6*n = -m. Is n less than 4?
False
Let n(p) = 9*p - p + 1 - 28*p**2 + 18*p + 30*p**2. Let j be n(-13). Let o be 396/80 - j/(-4). Is 4 < o?
True
Let w(g) = -9*g**2 + 3*g - 1 - g**3 - 2 - 2*g. Let s be w(-9). Let c(q) = -4*q - 111. Let x be c(-25). Which is bigger: x or s?
x
Let f = -11/23610 - -4307999/10896015. Let i = 11/26 - f. Which is greater: -2 or i?
i
Let u = 54356573 + -110452559639/2032. Let y = u - -1/2032. Suppose 0 = -647*p + 676*p - 5*l + 13, 3*p + 4*l = -42. Is p greater than or equal to y?
False
Let i be (1 - 1)*(-19)/95. Let z be (1 - i)/(208/(-40) + 5). Is z equal to -22?
False
Suppose 10*j - 22*j = -120. Which is smaller: 289 or j?
j
Let w = -2.31 - -2.21. Let z be (-11)/(-2) - (42/(-4))/(-7). Let n be ((-4)/(-30))/((-40)/2)*z. Which is bigger: w or n?
n
Let a be (-1)/3 - (-120)/9. Suppose n = 2*z - 6, -n - 1 = -5*n + 3*z. Let o be ((-4)/8)/((-2)/n). Are o and a equal?
False
Suppose -35*u + 32*u - 24 = r, -42 = 3*u - 5*r. Let o be (-4)/(-14) + (1807/(-91) - -11). Is u smaller than o?
True
Let u be 1/(-2 - 33*1/(-16)). Suppose -10*j + 18*j - u = 0. Su