 + 9 = -p, 2*g - l*g = 5*p - 13. Let f = p + -8. Which is smaller: f or -6?
f
Let l = 0.11 - -37.89. Let x = l - 35. Let z = -0.9 + 1. Which is bigger: z or x?
x
Let z(p) = 3*p - 1. Let o be z(4). Let m be 6*((-2)/3)/(40/(-30)). Let i be 8/24 + 29/m. Are i and o equal?
False
Let c be (18/(-10))/((-57)/475). Suppose 4*l + 3 = 63. Is c < l?
False
Let h = 321/13 - -6922/273. Let d = h + -154/3. Let r(p) = -p**2 + 88*p - 1649. Let k be r(61). Which is smaller: k or d?
k
Suppose 0 = -3*z + 5*z - 6. Let a be 4 - z*(-4)/(-3). Which is bigger: a or 8?
8
Let q = 29.6 - 41.7. Let r = -2.1 - q. Let n = r + -12. Is n greater than -2/7?
False
Let j = -0.045 - -31.045. Let s = j + -29. Is s less than -6?
False
Let o = -2236/3 + 22027/30. Which is smaller: o or -11?
o
Suppose 0 = -3*b + 27 + 66. Let h = b - 63/2. Which is smaller: 7 or h?
h
Let d = -0.9 - -1.3. Let c = d - -0.6. Let y = -0.54 - -0.34. Which is smaller: c or y?
y
Suppose z + 2*w = -7, -z + 16 = z - 2*w. Suppose 0 = z*k - 9 + 3. Suppose 4*d = k*d + 14. Is 0.1 <= d?
True
Let s be 2*5/4*6. Suppose -3*n = -0*n - 5*f - 83, -5*n - f + 101 = 0. Let x = n - s. Is x greater than or equal to 5?
True
Let j = 55 + -48.22. Let t = j - 0.78. Which is greater: t or 0?
t
Let s(w) = -w**2 - 4*w - 1. Let r be s(-2). Suppose -2*m - 1 = -r. Let c be (0/1 + -3)/(4/(-4)). Is c equal to m?
False
Let u = -0.05 - -0.05. Let x = 10 + u. Which is smaller: -1/3 or x?
-1/3
Suppose 2*p = -3*f + 35, p - 5*p = 4*f - 40. Suppose -41*c + 15*c = -468. Is c greater than f?
True
Let o be (-2)/4*(0 + 2). Let z = -510 + 14789/29. Is o greater than z?
False
Let d be (2/123)/(5*4/30). Let h = -36/205 - d. Which is smaller: h or 1?
h
Let v(y) = 12*y**3 + y**2 - y. Let m be v(1). Suppose 5*l = -3*q + 11, 3*q + m = 2*l - 5. Suppose 2*t - t - 1 = 0. Is t != l?
True
Let h = 3219/34 - 3/17. Let v = 94 - h. Which is greater: -7 or v?
v
Let a = -5 + 10. Suppose -17 = -5*j + 2*b + 21, 5*j = 3*b + 37. Suppose j*o - a*o = 75. Which is bigger: 24 or o?
o
Suppose -5*u - 20 = 0, -4*g + 572 = u - 5*u. Suppose 3*b - c + 128 = 0, g = -3*b - 2*c + 17. Let l be ((-36)/(-14))/(9/b). Which is greater: -11 or l?
-11
Let p(d) = 2*d**3 - 11*d**2 + 4*d - 14. Let n be p(6). Let b = -22 - n. Which is smaller: b or 1?
b
Suppose -63 = 122*a - 129*a. Which is bigger: 11/4 or a?
a
Suppose -2*a + 2*r + 10 = 0, 4*a + 0*r = -3*r + 6. Suppose -3*v + 30 = 7*v. Let g be (-10 - -9) + v/2 - -1. Is g != a?
True
Suppose u + 3*w = -124, 3*u + 364 = -3*w + 2*w. Let j = u + 125. Is j smaller than 3?
False
Let d = -292 - -98. Which is greater: -1 or d?
-1
Let j(x) = 3*x**3 - 5*x**2 + x - 2. Let r(c) = -c**3 + c**2 + c. Let a(o) = j(o) + 2*r(o). Let b be a(1). Let h be (b*(1 - -4))/1. Which is greater: h or 1/3?
1/3
Let x = -1563274 + 9246765133/5915. Let p = -111876/169 - -662. Let b = p + x. Which is bigger: b or -1?
b
Let n = 653 - 6527/10. Let f be (-1 - 0 - -2) + 0. Is n less than f?
True
Let p(s) = s**2 + 8*s + 2. Let g be p(0). Is 19/11 at most as big as g?
True
Let c = -779 + 1020. Which is greater: c or -1?
c
Let w = -7/48 - -31/48. Is -379 smaller than w?
True
Let p = -0.29 - -0.3. Let o = p + 0.09. Which is greater: o or 25?
25
Let l be 10/138*-3*-6. Is 2 less than or equal to l?
False
Let w = -0.2497 + -0.0303. Which is greater: -1/2 or w?
w
Let r = -5 - -9. Let q = r + -4.2. Let n = 1476/11 - 134. Which is smaller: n or q?
q
Let m = 1077 + -46309/43. Let w = 6 - 7. Is w greater than or equal to m?
False
Suppose -36*d = 111 - 3. Which is greater: -31/10 or d?
d
Let f(h) = -7*h + 64. Let k be f(10). Let o(s) be the second derivative of s**5/20 + 5*s**4/12 - s**3 + s**2 - 2*s. Let a be o(k). Which is smaller: 7 or a?
a
Let f be 55/(-20) + 3/(-12). Suppose 2*d = d. Let y be -1*(d + -3) + f. Which is bigger: y or 1/6?
1/6
Let a(i) = -2*i**3 - 97*i**2 - 53*i - 262. Let r be a(-48). Is -145/7 smaller than r?
False
Let t(g) = g**3 + 2*g**2 - 14*g + 5. Let m be t(-5). Are m and -1/2012 unequal?
True
Let n be 49 - -11 - 0/(-2). Suppose 3*p + q = 25, -2*q = -4*p + 2*q + n. Which is smaller: 12 or p?
p
Let t(s) = 2*s + 18. Let j(l) = -7*l - 53. Let a(g) = 3*j(g) + 8*t(g). Let y be a(-6). Let n be (-6)/y*(-50)/45. Is n > 0?
True
Suppose -17*r + 12 = -5. Let l be -1*2*18/(-32). Is l greater than or equal to r?
True
Let g = -0.9 + 4.1. Which is smaller: g or 5?
g
Suppose 4 = -b + 5. Let v be -1 + b + -2 - -1. Which is smaller: -4 or v?
-4
Let a(y) be the third derivative of y**5/60 + y**4/24 - 2*y**3/3 - 2*y**2. Let r be a(-3). Suppose 15*v - 8 = 17*v. Are r and v non-equal?
True
Let w be (12 - 2)/5 + 6. Let x(t) = t**3 - 8*t**2 + t - 11. Let d be x(w). Let z be -2*(-2)/(6/(-3)). Is d less than or equal to z?
True
Let u be -2 + 0 + (6 - 3). Let j be (29 - 27)*(-8)/(u + 0). Which is smaller: j or -0.4?
j
Let l = -27 - -53. Let m be (-2 - (-96)/52) + (-48)/l. Does -16/7 = m?
False
Let n = -0.4 - 0. Let t = -0.14 + 0.44. Let r = t + n. Which is smaller: -3/4 or r?
-3/4
Let g = -8042 - -23696/3. Let h = 141 - -4. Let a = g + h. Which is smaller: a or -1?
-1
Suppose -5*k = -2*t + 21, 0 = -5*k - 0*t - 5*t. Let h be ((-27)/6)/(k/4). Suppose 2*a + x - 4 = 6*x, -4*x - 20 = -4*a. Which is smaller: a or h?
h
Let g = 600 - 600. Which is smaller: g or 0.472?
g
Let o be 112/(-18) + 2 - 2/(-9). Let c be (-10)/o*((-3 - -1) + 4). Is c != 5?
False
Let m be (1 - 5 - -1)*1. Let t be m/(-3)*(0 + -1). Is t != 3/32?
True
Suppose 17*c - 23*c = -210. Is 38 smaller than c?
False
Let j be 110/90 + (-2)/9. Let q = -279 - -1125/4. Is q at most j?
False
Let v = -2/7 - -20/21. Let x be (-11)/2*24/110. Is v equal to x?
False
Suppose 35*b - 37*b + 68 = 0. Which is greater: b or 33?
b
Let r be (-2)/23*((-28)/(-436))/7. Is 1 bigger than r?
True
Let b be (15/2)/(-5) - 1884/8. Which is greater: b or -236?
-236
Let u be 303702/18 - 4/(-6). Let r be (-4 + u/4218)*4. Let d = 27403/14763 + r. Which is greater: d or 2?
2
Let h be (3/(-2))/(1 + -7). Let b(n) = -10*n - 235. Let g be b(-25). Which is smaller: h or g?
h
Let a = 863 + -862. Are -63 and a equal?
False
Let b = -56 - -80. Let w be 105/(-30)*b/(-7). Is w smaller than -1?
False
Suppose -2*w + 6 - 2 = 0, 2*w = 3*v - 17. Let z be (4/(-290))/(v/35). Is z bigger than 1?
False
Suppose -3*b + 3 = -0. Let l be ((-6)/9)/((-8)/(-6)). Let g = -5/6 - l. Is g smaller than b?
True
Let g = -61 + 109. Suppose 9*d = g + 33. Suppose 2 - 11 = -b. Are b and d equal?
True
Let v(g) = g**3 - 7*g**2 + 2*g + 3. Let z be v(6). Let c be 1688/z*(-6)/8. Let m = -61 + c. Which is smaller: -2 or m?
-2
Let d = 5 + -10. Let j = 4483.2 - 4483. Is j at least as big as d?
True
Let c = -276 + 275.998. Which is smaller: c or 6?
c
Suppose 2*f - 2*u + 8 + 14 = 0, 4*f + 5*u = -71. Let h be 0 + -4 - (-161)/f. Do -17 and h have the same value?
False
Let m = 5.83 + 34.27. Let v = 38 - m. Let g = 1.6 + v. Are g and -1/2 equal?
True
Let z = 900/7939 - -2/467. Suppose -2*i + 6*i - 20 = -2*w, 3*w - 2*i = 6. Suppose a = 5*a - 3*h + 13, -w*a - 5*h = -11. Which is bigger: a or z?
z
Let n = 254 + -98. Is 156 >= n?
True
Let h = -1 - -23. Let b = h - 20. Let k be (3/3 - b)/(-1). Are 2/17 and k non-equal?
True
Suppose 3*m - 4 = 26. Suppose -3*d + 3*r + 0*r = -30, -44 = -4*d + 2*r. Are m and d non-equal?
True
Let k(h) = -178*h**2 + h - 2. Let n be k(1). Is -181 equal to n?
False
Let x = 9 + -14. Let j be 50/(-15)*(-18)/(-15). Let z be -2 + (j - (0 + -1)). Do z and x have the same value?
True
Let h = 70/19 + -452/133. Is 3/37 smaller than h?
True
Suppose -20*f + 392 = -448. Which is bigger: f or 41?
f
Let r = 143 - 215. Let l = 71.96 + r. Do 1 and l have the same value?
False
Let i be -465*(-5)/285 - 8. Let j(r) = r**3 + 3*r**2 + 3*r + 1. Let w be j(-2). Which is bigger: i or w?
i
Suppose -2057 = -3*r + t, 1570 = 2*r - 5*t + 203. Is 686 at most r?
True
Let v be 21*(-3 + (-108)/(-28)). Let m be 33/9 + 4/v. Let j = m + -683/171. Are 0 and j nonequal?
True
Let x(l) = l**3 + 10*l**2 - 15*l + 9. Let w be x(-12). Let p = w - -99. Which is bigger: -15 or p?
p
Let k be (-2)/13 - 0 - (-14)/91. Is k less than or equal to -4/105?
False
Let x be 1584/3*9/12. Let d = x + -1971/5. Let f = 3 - 2. Is f >= d?
False
Let h(z) = -z**2 - 4*z + 8. Let j be h(-3). Suppose 5*f = 2*c + 50, 2*f + 15 - 49 = -2*c. Is j less than or equal to 