 = -w. Which is bigger: l or y?
y
Suppose r + 27 = -3*f, -37*r + 32*r - 2*f = 18. Let a(l) = -l**3 - 5*l**2 + 6*l - 1. Let s be a(-6). Let q be -2*s/(-59 + 0). Which is smaller: r or q?
q
Suppose 8 = 5*o + 3*f, -o + 2 = -4*o + 5*f. Is -1/7648 smaller than o?
True
Suppose -3*g - 17 = -5*t, 0 = 2*g - t + 359 - 357. Let k be (-72)/28*21/(-75). Are k and g non-equal?
True
Suppose 2*w - d = 0, 0 = 3*w + 5*d - 4*d - 5. Suppose 13*c = -2*c - 2200 - 410. Let j be c/(-310) - (w - (-6)/(-10)). Which is greater: 0 or j?
j
Let q be 0/(-30) + 17*(-2 - -3). Suppose 3*y - q = w - 3, -3*w - 17 = -4*y. Is w less than or equal to 2/135?
False
Let u be 13168/340 + 18/(-10)*(-132)/(-198). Which is greater: u or 39?
39
Let a = 90 + -204. Let o = a - -114.01. Is 8 at least as big as o?
True
Let v = -4102/45 + 824/9. Is v <= 11/115?
False
Suppose -n + 21 = 2*j, -284*n - 5*j = -279*n - 90. Let m(p) = -p**2 + 6*p - 3. Let l be m(4). Suppose -l*h + 12 = -53. Which is smaller: n or h?
h
Suppose 2*q + 3*a + 18 = 5*a, 3*q - 2*a = -26. Let f be 2/(q/7) - (-9)/(-36). Is -13/6 at least f?
False
Let m be 8/(-6)*3/(-2). Let s be (-1)/(-4) + m/8. Let n(b) = -98*b - 2069. Let c be n(-21). Are c and s equal?
False
Let p be (-65 - -67)*(0 + 8). Suppose -3*d = 5*m - 17, -p*m - 13 = -13*m - 4*d. Which is smaller: 2.69 or m?
m
Let i = -1033 - -526. Let j = i + 506.8. Which is greater: j or -202?
j
Let l(m) = m**3 + 8*m**2 + 7*m + 5. Let c be l(-7). Suppose 0 = c*x - g - 21, 4*x + 0*g = -5*g + 11. Suppose -43 = x*j + 1. Is j > -10?
False
Let y be (-3 - -1)/(51/27 + -2). Let h be (17*(-2)/6)/(2/y). Let o be (-1)/h*(23 + -17). Which is bigger: 1 or o?
1
Let z be (-2 + -2)*(2 + (-66)/8). Let k = -38 - -43. Suppose b = -k*m + 129, -m - b - 4 + 29 = 0. Do z and m have the same value?
False
Suppose -105*b + 13769 = -2506. Let t be ((-231)/(-2))/((-9)/(-12)). Which is bigger: b or t?
b
Let c = -5173/186264 - -17/1592. Suppose -5*w - 13 = 3*q + 7, -w + 5*q = -24. Which is smaller: c or w?
w
Suppose -4*n = 4*h - 20, h + 4*n + 3 = 5*n. Suppose 0 = 4*w - 29 - 103. Let x be (-2151)/w - 10/(-55). Is h bigger than x?
True
Let n = 15 - 20. Let y be (-8)/70*n - (-220)/7. Is 33 equal to y?
False
Let n be 2 + 15/(-2)*(-1359)/27. Let g = 381 - n. Which is greater: 3 or g?
3
Suppose 2*a - 7*l + 4*l = 6, -2*a = 2*l + 4. Let f(q) = q**2 + 8*q - 37. Let y be f(a). Is -37 at most as big as y?
True
Suppose -z = 8*z - 45. Suppose -4*p - 4 = 3*l - 34, -5*l - 55 = -z*p. Which is bigger: 48/5 or p?
48/5
Let a be 20/(-240) - 5974/24. Is a >= -249?
True
Let x = 3.6 - 4. Let f = 621.14 + -616. Let s = f + -5.21. Which is bigger: s or x?
s
Let n = -6759 + 6743. Is n less than -27?
False
Let c be 27/190710*(42/(-9) - -5). Is 0 < c?
True
Suppose -14*b - 49 - 119 = 0. Let m be (-1)/(6/b) + (-2)/28. Which is bigger: m or 1?
m
Let n(t) = t**2 - 5*t + 6. Let z be n(6). Suppose -76*k - o = -72*k - 9, -9 = k + 4*o. Suppose 0 = -4*l - 0*l + z, 0 = -k*u + 2*l + 6. Is u equal to 5?
False
Let z be 1*-1*2/14. Suppose 20*w - 25*w + 20 = 0. Suppose 2*d - 5*d - w*d = 0. Are d and z unequal?
True
Let p = 786 - 449. Suppose -3*j + 210 = 2*b, -2*j + 7*j - b = p. Is j at most 68?
True
Suppose 2*f + 3*d + 13 = 0, -4*f - 31 = 2*d + 3*d. Let m = 156 - 154. Suppose 0 = -2*w + 8, -18*l + m*w = -17*l + 5. Which is bigger: l or f?
l
Let r = 46 + -31. Suppose 10*z + 1390 = 1400. Suppose 7*c + r = z. Which is greater: -4 or c?
c
Let b = 5077 + -131927/26. Which is smaller: 2 or b?
2
Let v = -2137 - -4157. Which is smaller: 2017 or v?
2017
Let r(a) = 5*a - 5. Suppose 0 = -3*g - t + 2, 5*g - 4 = 3*g - 2*t. Let s be r(g). Let p be (-36)/(-468)*1/s. Which is greater: 0 or p?
0
Suppose -5 = 8*i - 3*i. Suppose 3*t + 179 + 61 = 0. Let b = -80 - t. Which is greater: b or i?
b
Let k = -839 + 840. Is k < 8/13?
False
Let x be (-1)/(4/16) - -35. Suppose -x*b = -34*b - 6. Let r be (-26)/2 - (0 + b). Which is bigger: -80/7 or r?
r
Let f be (1 - 70/(-16))/((-241)/10604). Which is greater: f or -237?
f
Let p = 58462 - 58457. Let i = -5 + 7.5. Let o = i + -3. Which is smaller: o or p?
o
Suppose n = 2*i + 15, -12 = -4*i + 8*i. Let q(t) = -t**3 + 12*t**2 - 28*t + 11. Let o be q(n). Which is greater: o or 26/23?
o
Suppose 150*t = 206*t + 168. Is -0.0134 bigger than t?
True
Let h be 221/(-17) - (-11 - 2). Are h and 3/835 nonequal?
True
Let x(f) = f**3 - 3*f**2 + 5*f - 4. Let b be x(2). Let a(m) = -m + 110*m**2 - b*m**3 + 1 - 62*m**2 + m. Let t be a(24). Which is smaller: t or -1/11?
-1/11
Let u = 12339 - 11892. Is u > 7620/17?
False
Let y(z) be the first derivative of -5*z**2 - z - 5. Let l be y(-5). Let o = -75 - -123. Which is smaller: l or o?
o
Suppose 2461 = -6*z - 2525. Let o = 867 + z. Is 1 smaller than o?
True
Let d(h) = -27*h + 533. Let z be d(9). Is z at least 290?
True
Suppose -4*j = -11*a + 6*a - 1701, 2*j - 813 = -5*a. Which is bigger: -1/5 or j?
j
Suppose 0 = -d - a + 91, -7*d = -6*d + 3*a - 97. Which is greater: 93 or d?
93
Let f(x) = x**3 + 6*x**2 - 7*x - 17. Let s(c) = -2*c**3 - 12*c**2 + 14*c + 28. Let h(z) = -5*f(z) - 3*s(z). Let y = -4 + -3. Let o be h(y). Is o at most -2/25?
False
Let k = -6155 + 6152. Is k greater than or equal to 0.199?
False
Let n(x) = x**2 + 6*x - 3. Let o be n(7). Let q be -60*(-176)/84*(-49)/(-70). Is q bigger than o?
False
Let z be (-24)/(-4) + 22 - (2 + 25). Let v be 10*1*(-4)/(-18). Which is bigger: z or v?
v
Let u = -514 + 729. Let g = 212 - u. Which is greater: g or 3?
3
Suppose 15*c - 517 = 368. Let v = 62 - c. Suppose -5*n = -n + 12. Which is smaller: n or v?
n
Let x = 1/4778 + -1196/7167. Is -53 at least as big as x?
False
Let w be (78/8)/(675/(-900)). Let x = -54005/2 + 26490. Let z = x + 500. Is w less than z?
True
Suppose 80 = 4*v + 76, 4*m - 22 = -2*v. Let o be (m + -11)/(-6)*-6. Let f be (6/(-7))/(2/16). Which is smaller: f or o?
f
Let v be (-4)/88*(-1360)/(-20). Is -3 greater than v?
True
Let f = -26123 + 26114. Is f less than 1545?
True
Let t = -2296711/181 - -12689. Let b(u) = -u**3 - 5*u**2 - 3*u + 4. Let c be b(-4). Is c at least t?
True
Suppose -3 = -3*q, q = -2*h - q + 2. Let k = 46013 - 90139465/1959. Let u = k - -11696/56811. Which is smaller: h or u?
h
Let u be 1193/(-2907) - 18/(-81). Let o = u - -2/171. Let f be -1 + 0*2/4. Which is bigger: f or o?
o
Let w = -1849114/6983537 + -354/7649. Let p = 187/7 - 46549/1743. Let r = p + w. Which is greater: r or 1?
1
Suppose 0 = -0*t - 2*t. Let x = -10 - t. Suppose -9*l - 27 = -6*l. Is l bigger than x?
True
Let s = 55925 - 673952173/12051. Which is greater: s or -1?
s
Let p(k) = k**3 + 7*k**2 + 8*k + 9. Let y be p(-6). Let q be -20 - (-12)/8*(-2)/y. Let v = -10 - q. Is v bigger than 11?
False
Suppose 0 = 4*c + 3*u + 185, -5*c - 296 = -2*u - 36. Let a = -53 - c. Let g be (-3)/(96/(-20))*a/6. Which is greater: -1 or g?
g
Let h = -242 + 238. Let b be (-2 + 65/(-10))/(2/h). Is 2/11 >= b?
False
Let i = 56803 - 156151445/2749. Which is greater: 1 or i?
1
Let s = -23 + 17. Let f be (8/(-6))/((-80)/60) + -6. Which is bigger: s or f?
f
Let t be 1 - 3 - (-112)/58. Let f = 322.3 + -310.3. Does t = f?
False
Let c = -20539/3 + 328627/48. Suppose 6 + 2 = -4*u. Let v be 3/u*(-4)/(-6). Which is bigger: c or v?
c
Suppose 2200 = 37*u + 13*u. Which is smaller: 15 or u?
15
Let j = -2/1087 + 18487/4348. Let n = 1833 + -1828. Is j at least as big as n?
False
Suppose 0 = -2*n + 2*w + 1854, 4*w - 1900 = -3*n + 867. Which is smaller: n or 919?
919
Let q(u) = -5*u + 73. Let t(v) = 9*v - 145. Let j(n) = -5*q(n) - 3*t(n). Let d be j(25). Suppose -4*a + d = 0, 18 = -w - 0*w + 4*a. Which is smaller: -33 or w?
-33
Suppose -56*j + 147110 - 13718 = 0. Which is greater: j or 2380?
j
Let u be (-48)/12*(-670)/20 + 6. Are 259 and u non-equal?
True
Suppose 185*f = 39*f - 5110. Is -326/9 equal to f?
False
Suppose 3*w = w + 4*t + 26, 1 = -3*w - 2*t. Let s be ((-93)/(-1922))/(w/(-4)). Is s at least 2?
False
Let m = -27 - -45. Let p(d) = 16*d**2 + d. Suppose 18 = 6*r + 12*r. Let w be p(r). Is m greater than w?
True
Let h(j) = -21*j + 3507. Let w be h(51). Is 2433 at most as big as w?
True
Let l(b) = b**3 - 37*b**2 + 186*b + 2. Let m be l(31). Is -5/99 at most m?
True
Let a = 130951/90 - 14113/9. Which is smaller: -112 or a?
a
Let d be (3 - 4)*4/(-4). Suppose 0*g - 5 = f + 2*g, 0 = -2*f + 4*g + 3