uppose l - 35 = -5*s, -s - 2*l + 6 = s. Which is greater: s or -10?
s
Suppose -6*d - 154 = -8*d. Let c = -846/11 + d. Is 0 greater than c?
False
Suppose 3*b + 4*p - 179 = 0, 3*p = -0*b + 3*b - 165. Is 60 smaller than b?
False
Let x = -60 - -105. Suppose -4*p + x = -3*b, 4*b + 5 = 5*p - 52. Let w = p - 10. Is -1 less than w?
False
Suppose -4*w + 2*c + 86 = 0, -4*w + 92 = -0*w - 4*c. Suppose 2*o - 14 = -5*y - 37, -5*o - 5*y - w = 0. Which is smaller: o or -1/8?
-1/8
Let z be (0 - 0)/(-12 - -15). Suppose 0 = -6*b - z*b. Which is greater: b or -2/9?
b
Let k be 1/(3 + -2)*-33. Let j = k - -34. Let y be ((12/(-9))/4)/3. Which is bigger: j or y?
j
Suppose 0 = -79*n + 75*n + 12. Which is smaller: 11 or n?
n
Suppose 3*p = -p + 5*u - 11, -p - 14 = -5*u. Let q(w) = 4*w**2 - 1. Let j be q(p). Suppose -j*z - 4 = -z. Is -3 bigger than z?
False
Let k(s) = 10*s - 3*s**3 - 3*s**2 + s**2 - 9*s + 4*s**3. Let x be k(1). Is x less than 0?
False
Let p be (-3 - (-26)/10) + (-292)/20. Let m be 17/p + -2 + (-10)/(-6). Which is bigger: m or -2?
m
Let l = 57 + -47. Let f be 0 + (-278)/l - 34/170. Is f < -86/3?
False
Let z be (56/(-126))/(2/(-9)). Suppose 3*p = -5*q + 13, 3*p + 3*q - 7 = 8. Let m be (-2 - -3)*(p - 2). Is z bigger than m?
False
Let v be (1/(-6))/(1/(-4)). Let q be (-61)/(-488) + 1/(-8). Are v and q unequal?
True
Suppose 2*n + 2*n + d + 68 = 0, 2*n + d + 34 = 0. Let i be (32/6)/(30/(-135)). Let a = i - n. Does -7 = a?
True
Let k = -19 + 19. Let a be -3 + (-4)/340*-253. Which is bigger: k or a?
k
Let h(y) = y**3 + 24*y**2 + 2*y + 53. Let d be h(-24). Let o be d/(-7)*4/10. Is 0.04 bigger than o?
True
Suppose 0 = 6*q - 3*q - 3. Let d = -824/14685 + -2/445. Which is greater: d or q?
q
Suppose 6*t - 4*t = -4. Let y be 2/(-1)*t/(-6). Let m = 0.1206 - -0.9794. Is y <= m?
True
Let r = 1089 + -1078.3. Is 0.3 greater than or equal to r?
False
Suppose 3*q - 6 = -2*u + 2*q, 3*u - 11 = -2*q. Let b = -148478 + 1630097/11. Let n = -287 - b. Which is smaller: n or u?
n
Let a = -228 - -229. Let z = 8 - 5. Suppose -4*w = -w - z. Is w smaller than a?
False
Let m = 677/6 + -113. Is m != -16?
True
Let a(v) = v**2 - 3*v + 4. Let z be a(3). Let x be (z/(-6))/(12/(-90)). Suppose x*t - 2*t + 6 = y, -3*y + 3*t = -12. Which is bigger: 1 or y?
y
Let t(s) = -6*s - 175. Let m be t(-29). Which is smaller: -8/135 or m?
m
Let k be (-1)/(-5) + (-18)/(-10). Let q = -159 - -161. Suppose -6*r = -q*r. Which is smaller: k or r?
r
Let h = 19 + -18. Which is smaller: h or -1/399?
-1/399
Let h be 125/((-15)/(-5) - 4). Let v = h + 1624/13. Let p = -1 - 0. Which is bigger: v or p?
v
Let d = -17 + 16. Let n be (-10)/(-35) + 129/63. Let g = 19/9 - n. Which is greater: d or g?
g
Let y(b) = -2*b**3 - 17*b**2 + 31*b - 17. Let f be y(-10). Does f = -37?
False
Let i(q) = -q + 4. Let b be i(0). Suppose 0 = -3*p + b*g + g - 17, 3*p + 3*g - 15 = 0. Let y = -0.023 - 4.977. Is y <= p?
True
Let c = -2077/12 - -22339/129. Let z = -2811/3268 - c. Is -2 > z?
False
Let j = 169 + -239. Let s = j + 425/6. Which is smaller: s or 2?
s
Suppose -2 = 2*i - 0. Let x = 195 - 390. Let p be (i - 189/x)/(-1). Which is greater: p or 0?
p
Let t = -53 + 74. Suppose -4*n + t = -n. Suppose -g = 2 - n. Is 5 bigger than g?
False
Let j = -39/212 - 13251/4028. Which is smaller: -2 or j?
j
Suppose 4 = u, 4 = -f - 2*u + 4*u. Suppose -2*w + 28 = 5*k - w, f*k - 29 = -3*w. Suppose o = -2*d + 7, 2*o - 4*o = -2*d + 10. Which is smaller: k or d?
d
Suppose -33 - 11 = -11*m. Let o(b) = -b**3 + 4*b**2 - 4*b + 4. Let d be o(3). Let r be (d/2)/(6/m). Which is smaller: r or -1?
-1
Let p = 0.3308 - 0.1508. Are -12 and p nonequal?
True
Let v be ((-306)/54)/(1/36). Is -203 equal to v?
False
Let d = 87 - 79. Let c = d - -10. Which is smaller: c or 19?
c
Suppose -1373 + 5273 = 25*k. Which is bigger: k or 159?
159
Let o be ((-5)/(-10) - 2)/(-6). Let l(q) = -q**2 + 2*q + 2. Let v be l(5). Which is bigger: v or o?
o
Suppose 5*v - 1 = -3*p, p + 4*v = -p + 4. Let n = 16 - p. Suppose 5*u = q - 20, 88 - 67 = q - 4*u. Which is bigger: q or n?
q
Let a = -25.5 + 32.5. Which is bigger: 1 or a?
a
Let b be (15*2/2)/(-8). Suppose 3*l - 4*l = -5*w + 20, -16 = -5*l - 4*w. Suppose l = 2*q + 2 + 4. Which is smaller: q or b?
q
Let q be 1/(-13) + 347029/4490759. Is q not equal to 1?
True
Let k be (-8)/(-88)*(4 - -8). Does k = 1?
False
Let c = -9.39 - -9.19. Let o = 27232 - 3812443/140. Let m = o - 1/70. Which is smaller: m or c?
c
Let t = -2715956968/715 - -3798542. Let n = -2/143 - t. Let a be ((-4)/6)/(4/6). Is n smaller than a?
False
Let f = 116 + -115. Which is smaller: f or -1.9?
-1.9
Let g = 101 - 100.9. Suppose -31 = 2*p - 11. Let b = -9 - p. Which is bigger: b or g?
b
Suppose 4*f - 458 = -2. Is 114 at most f?
True
Suppose 310*y = 307*y - 12, 4*q + 5*y + 8 = 0. Let f = 4 + -2. Which is bigger: f or q?
q
Let d(a) = 8*a. Let n be d(-3). Let m = n + 24. Suppose 37*b - 39*b + 20 = m. Which is smaller: b or -1?
-1
Let q = -8.4 - -14.3. Let x = -6.13 + q. Let o = 2.77 - x. Is o less than or equal to 6?
True
Let c(x) = x + 1 + 3*x**3 - 5*x**2 + x**2 + x**2 - 4*x**3. Let l be c(-2). Suppose -5 = o - 3. Which is smaller: o or l?
l
Let d(q) = -q + 16. Let r(l) = 2*l - 31. Let w(c) = -11*d(c) - 6*r(c). Let o be w(10). Suppose o*h + h = 1. Is h >= -2?
True
Suppose -47*d - 7 = 40. Which is smaller: 49 or d?
d
Suppose 0 = 2*n - 0*a - 5*a - 27, -3*a - 19 = -4*n. Let u be n/(-1 + (2 - 2)). Is -2/141 smaller than u?
False
Let f be (-2)/16 - (-228)/32. Let u = f + -11. Do -9 and u have the same value?
False
Let n = 234776 + -149552344/637. Let q be (-78)/98 + (-2)/(-2). Let b = q + n. Which is greater: 1 or b?
1
Let h = -24.08 - -24. Let z = 1.92 - h. Is z <= 1?
False
Let i be (-10)/(-35) - 3/(-42)*-4. Let m = -41804/555 + -2/185. Let a = 76 + m. Which is greater: i or a?
a
Suppose -17*x = -11*x - 324. Let o = 58 - x. Is -2/7 smaller than o?
True
Let t = 660 + -1027. Which is bigger: 2/5 or t?
2/5
Let h(c) be the second derivative of -7*c**3/6 + 5*c**2/2 + c. Let g be h(-1). Which is bigger: g or 11?
g
Suppose 2*l + 5 = -55. Let v be l/56 + 2/7. Let i be -2 + (16/9 - 0). Which is smaller: i or v?
v
Let i(y) be the first derivative of -5*y**3/3 + 8. Let z be i(-2). Let g = z + 19. Which is smaller: 0.2 or g?
g
Let h = 714 + -712. Which is smaller: 28/15 or h?
28/15
Let q = 3566903/542 - 6581. Which is greater: q or 0?
q
Let l be 6/(-2) + 9/1. Let s(v) = -v**3 + 4*v**2 + 9*v + 17. Let z be s(l). Which is smaller: -18/11 or z?
-18/11
Let n(p) = p**3 + p**2 + p - 2. Let r be n(0). Let i be 1/(-3) + 13/3. Let a be (-3)/(18/i)*2. Which is bigger: r or a?
a
Let c = 13 + 18. Let m = 7583 - 7581. Which is greater: c or m?
c
Let p be 2 + -8 - (-13 - -1 - -6). Which is greater: 9/77 or p?
9/77
Let n(u) be the second derivative of -u**4/12 + u**3 + 5*u**2/2 + 16*u. Let k be n(6). Which is smaller: k or 27/5?
k
Let h = 34 + -18. Let u = h - 6. Is u at least as big as 10?
True
Let g = -3.1 + -6.8. Let x = 10 + g. Let z(p) = p + 1. Let a be z(-2). Is a less than x?
True
Let d be 138/184*1*(-5 - 1). Let z(a) = -a**3 + 5*a**2 - 2*a + 4. Let l be z(4). Let q = l + -17. Which is greater: d or q?
d
Let f = 10 + -10. Suppose 4*y - 3*w = 110, 0 = 5*w - f + 10. Let b be (-1)/(-2) - y/(-12). Which is bigger: b or 2?
b
Suppose 5*v = 2*s - 3*s + 25, -2*s = -3*v + 2. Suppose 2*x + 3*x - t = -53, -31 = v*x + 3*t. Let u = -228/23 - x. Does 0 = u?
False
Let t(y) = -y**2 - 44*y + 246. Let q be t(-49). Is 19/21 bigger than q?
False
Let u = 531 - 520. Are u and -36 equal?
False
Let m = 223 + -963. Is 0.1 > m?
True
Let f be 1*(0 - (-153 - -2)). Let p = -401175/7 + 57160. Let n = p + f. Which is smaller: -0.01 or n?
-0.01
Suppose 4*w - w = 9. Suppose -p + 2*s + 2 = 0, 4*p + 5*s = 9 + 25. Which is smaller: w or p?
w
Let u be 2/(-7) - (-135)/7. Suppose -5*d = -3*d. Suppose -l - 4*x = -0*x + u, -3*l + 3*x - 27 = d. Is l < -10?
True
Suppose 3*i = 5*x + 114, 3*x + 2*i = -48 - 9. Are x and 4 non-equal?
True
Let v = -12 - -13. Let x = v + 2. Suppose 3*d = b + 5, -b + 4*b - 3*d - x = 0. Which is smaller: 3 or b?
3
Let y(c) = -4*c - 6. Let l be y(-4). Let p be 4/l - (-4)/(-5). Let j(g) = -g**3 + g**2 + 4*g - 3. Let f be j(3). Which is smaller: f or p?
f
Suppose 89 = -5*o + 3*u, -4*o + 3*u + 25 = -5*o. Let y = o - -97/5. Is 