0. Suppose -11*s + 7*s - 8 = r. Which is greater: w or s?
w
Suppose 2*z - 4 - 6 = 0. Suppose 0 = 4*d + 4*n - 44, 3*n - z*n - 20 = -5*d. Let i(l) = -l**3 + 129*l**2 + 129*l + 138. Let v be i(130). Is d greater than v?
False
Suppose 0 = 5*g + 5, -34*o = -35*o + 4*g + 4. Let j be 4 + (-1 - 0) - -1. Suppose 2 + 6 = -j*d. Is d greater than or equal to o?
False
Let t be 6/(-57) + (-160)/(-76). Let n be t/(13/(-52) - 62/(-232)). Do 115 and n have different values?
True
Let h(o) = o**2 + 1. Let p be h(0). Suppose -p + 2 = -n. Let m be (2*45/(-1026))/(-15)*(-3)/(-1). Which is smaller: n or m?
n
Suppose 5102*p = 5088*p. Is p != -10/2231?
True
Let n(z) = z**3 + z**2 - z + 3. Let h be n(0). Let t(w) = -2*w - 4*w**3 + h*w**3 + w**2 + 6 + w + 6*w**2. Let d be t(7). Is 2/7 at least as big as d?
True
Let x = -1.2634 + 0.2634. Is 9/478 bigger than x?
True
Let c = -3 - -7. Suppose -617*p + 616*p - x + 8 = 0, 2*p + 12 = 5*x. Is c bigger than p?
False
Let t be 0*(-2 - 5/(-3)). Suppose t = 37*z - 32*z + 660. Is -132 at least z?
True
Let f be 86595592/143749020 + 18/(-30). Let m = -5/5197 + f. Which is bigger: 0 or m?
m
Let u = -29529 + 29529. Is u <= 14/219?
True
Suppose 0 = -10*q + 5*q - 2*p + 46, q = -5*p. Suppose 2*i = -3*i - q. Let g(o) = 7*o**2 - 3*o + 1. Let j be g(i). Which is greater: 36 or j?
36
Let w = 9 + -26. Let b be 24*7/420*(-20)/(-24). Which is smaller: b or w?
w
Let s = 627 - 1861/3. Let a = 30068 + -30060. Is s less than or equal to a?
True
Suppose -13*b - 273 = -1144. Is 69 at most b?
False
Suppose 52 = -90*b - 34*b - 196. Is b at most 269/6?
True
Let b(l) = -20*l**2 + 62*l - 5. Let c be b(3). Is -32591 smaller than c?
True
Suppose -20 = 5*o, -3*k - 2*o - 38 = -183. Suppose 8*h = -88 - 992. Let p = -86 - h. Is p at most k?
True
Let m(l) = -11*l**3 + l + 4. Let i be m(-2). Suppose 11*n - 10*n - 106 = 3*o, -i = -n - 5*o. Do n and 100 have the same value?
True
Let b be (5 + 3 + 1596/(-200))*(-8)/(-36). Let x = -4 - -4. Does x = b?
False
Let p = 26.43 - 1.73. Let z = p + 3.2. Let g = z + -28. Which is smaller: -2 or g?
-2
Let p be (-3)/(((-18)/(-345))/((-4)/5)). Let u = 41 - p. Let b be -1*(3 - 4)*(-35)/u. Do b and 8 have the same value?
False
Let i = -200485/27921 - -295/41. Which is bigger: 0 or i?
i
Let x = -0.039 + 23.039. Let s = x - 14. Let r = s + 0. Which is bigger: 0.3 or r?
r
Suppose 13*g = -3*g + 192. Suppose -5*v - 23 = -3*y, 4*y + 2*v = 5*v + 16. Suppose 2*t = 6*t + 4*q + g, -5*t = -3*q - y. Which is greater: -2/33 or t?
-2/33
Let r be (-10 - (-252)/24) + (-6)/4. Is r at least as big as -2/2987?
False
Let n = 181 - 169. Let c be 13/((-52)/762)*(-2)/n. Which is smaller: c or 31?
31
Let o(d) = 153*d**3 + 2*d**2 - 20*d + 19. Let z be o(1). Let y be -5 + (6867/z)/9. Are y and 0 equal?
False
Let q = 547 + -388. Let g = -151 + q. Which is smaller: 2 or g?
2
Suppose -88*m = -35*m - 29*m + 72. Which is greater: m or 116?
116
Let q = 25 - 37. Suppose 21 = 3*x - 2*o, -3*o - 29 = -5*x + x. Suppose x = -r + 6. Which is smaller: q or r?
q
Let b = 818 - 814. Suppose 5*f + 66 - 374 = -4*h, b*h = -12. Is 60 > f?
False
Let m = -11199/849184 - -7/544. Which is greater: m or 0?
0
Suppose -7*y = -13*y + 306. Let r = y - 33. Suppose 23*h = r*h - 195. Is -38 >= h?
True
Let x = -5/8316 + -10688827/8316. Which is greater: x or -1285?
-1285
Let u(q) = -2*q**3 + 85*q**2 - 125*q + 82. Let s be u(41). Which is smaller: s or 3/3994?
s
Let w = 3047.9 + -3048. Are 9/5 and w nonequal?
True
Let m = -215 + 211. Let p be ((-16)/3)/m*381/10. Is p at most as big as 50?
False
Suppose 20049*n = 20037*n. Which is greater: n or -44/91?
n
Let j = 12 - 11. Let t be (15/60)/((-4130)/(-80)). Which is smaller: t or j?
t
Let x = 82.9 + -83. Let f = 57.95 + 0.05. Which is smaller: f or x?
x
Let b = -66/695 + 66711/636620. Is b < 1?
True
Let q be -28 - (-67 - (-1 - 38)). Suppose 3*i = -0*i - 3750. Let t = i + 181248/145. Which is smaller: t or q?
t
Let w(s) = s**2 + 10*s + 56. Let h be w(28). Is h bigger than 1118?
True
Suppose -2068*u + 2062*u - 6732 = 0. Which is bigger: u or -1121?
-1121
Let l = 4072 - 36646/9. Which is smaller: l or 146?
l
Let v = 1/54 + -64/1755. Which is bigger: v or 1?
1
Suppose 4*b = 3*d - 71, 2*d - d = -b + 19. Let h = 452 - 448. Suppose -3*a - 6*c = -4*c - 47, -3*a + h*c = -77. Are a and d nonequal?
True
Let g = 5093.35 - 5094. Which is smaller: 1.2 or g?
g
Suppose 0 = -265*j + 235*j + 25740. Which is smaller: 859 or j?
j
Suppose -33*f + 34*f = 9. Suppose 2*r = 4*j - 256, -8*j - 46 = -f*j - 4*r. Let d = j + -48. Which is smaller: d or 10?
10
Suppose 0 = 2*b - 24 + 8. Suppose -4*f = -4*a - 28, -3*f + b = -a - f. Which is smaller: -48/7 or a?
-48/7
Suppose 289*d + 210 = 274*d. Let p(y) be the first derivative of -y**3/3 + 4*y - 1. Let s be p(-4). Which is smaller: d or s?
d
Suppose b - 4*l = 217, -3*l + 166 + 51 = b. Which is smaller: 214 or b?
214
Let q = 186.2 + -355.3. Let m = 169 + q. Is 0 > m?
True
Let v be 3*1*(-8)/12. Let z(u) = 13*u - 16*u - 9*u - 11. Let m be z(v). Do 12 and m have the same value?
False
Let u = -888.67 - -884. Let y = u + 5.07. Which is smaller: -48 or y?
-48
Let p = -4418.1 + 4418. Is p smaller than -12?
False
Let l = -55/9 + 652/117. Let g = 16 - 3. Let o = g + -13. Is o not equal to l?
True
Let g(o) = -4*o**2 - 105*o + 263. Let f be g(-30). Which is smaller: -182 or f?
f
Let m be 30/36 + (3 + -8 - -4). Let l = 0.8 + 5.2. Let j = 14 - l. Do m and j have different values?
True
Suppose 0 = 5*s - 5*a + 2*a - 62, -3*s - 4*a + 43 = 0. Suppose 2 = -6*q + 5*q. Let t be (2 - (-5)/q)*-22. Is t bigger than s?
False
Let s be 2745/(-18)*(-196)/35. Let n = -847 + s. Do 13 and n have the same value?
False
Let d = 3.072 + -5.072. Is 0.37 > d?
True
Let w be 2298583/574696 - (-8)/(-2). Let j = -309834185/1023533576 + w. Let q = j - -15/52. Are 0 and q equal?
False
Let d = -55727 + 16328047/293. Which is bigger: 0 or d?
d
Suppose 0 = 6*t - 13*t + 14. Let m be (t/(-2) + 3 - -6)*1. Let h = 8 + -1. Which is greater: m or h?
m
Let l = 5536.4 - 5536.66797. Is l equal to 0.1?
False
Let q = -0.223 + -18.777. Let c = -58 - q. Which is smaller: 2/5 or c?
c
Suppose 0 = 18*s - 5116 + 5278. Is s < -61/7?
True
Let z be ((-2)/(32/(-12)))/(1554/(-112)). Let i = 113/245 - 3/49. Is z less than i?
True
Suppose 0 = -6*w - 9*w. Suppose -13*d - 7*d + 20 = w. Let r be (-34)/78 - 2/(-3). Which is smaller: r or d?
r
Let w = -284 + 295. Suppose -s - 53 = o, -13*o + 3*s - 131 = -w*o. Is o less than -58?
False
Let x be (-2 + (-110)/(-56))/(195/(-10) - -17). Is 1 at most x?
False
Let p be 1620 - 1788 - 11*(-3 + 2). Let b = 58 - 214. Is p greater than b?
False
Let u(z) = 185*z - 740. Let l be u(4). Is -3/226 at most l?
True
Suppose 16*a - 68 = 12*a. Suppose 1 = -2*k - 2*s + 17, 5*k - 22 = s. Let t = 10 + k. Is t greater than a?
False
Let o = 16 + 51. Let y = o - 28. Let n = y - 39.1. Which is bigger: n or -52?
n
Let r be (-3*4/3)/((-13)/3328). Which is bigger: 1023 or r?
r
Let t(q) = -2*q - 8. Let c(l) = l + 4. Let k(j) = -7*c(j) - 3*t(j). Let u be k(-7). Let f be (-22)/(-3)*12/52. Which is smaller: u or f?
f
Let r = 1 + 182. Is 916/5 greater than r?
True
Let g = 1534 + -735. Let b be g/(-255) - 8/(-6). Let a = 2 - 4. Do a and b have the same value?
False
Let m = 184/39 - 9589/156. Suppose 3*n = 2*k + 106, -k = -0*n - 3*n + 47. Let r = k - m. Which is smaller: r or 1?
r
Let q = -138.3403 + 138.3. Let n = -1/328 + -653/984. Do q and n have the same value?
False
Let j = -3/101 - -58/5353. Let u be 4/12*9 - -4. Suppose 3*n + u = 10. Is n bigger than j?
True
Let v be ((-4)/(-6))/(42/1953). Suppose 32*c + 96 = v*c. Let o be 8/c - 0/1. Does 2/17 = o?
False
Let d = -92 + 84.35. Let a = -1.25 + d. Let j = a - 4.1. Which is greater: 0 or j?
0
Suppose 7*k = 2*g + 3*k - 12, 4 = -k. Let r be (g + 2 + 1)*(-17 + 5). Suppose 4*u + 31 = w - 4*w, 0 = -w - 3*u - 2. Is r < w?
False
Let u = -9869 + 9894. Is -1/881 less than or equal to u?
True
Suppose -v = 37*a - 32*a + 11, -5*a = 10. Which is greater: v or 13?
13
Let s(r) = r**3 + 26*r**2 + 130*r - 56. Let h be s(-19). Is 1/1717 at most h?
True
Suppose -4*f = -5*v + 4436, -3*f = 4*v - 8*v + 3549. Suppose 13*i - 10*i - v = 0. Which is greater: 297 or i?
297
Suppose -290 = 2*y - 7*y. Suppose -4*n - f = f - y, n = 2*f + 2. Suppose 4*s + 11*k - 7