9 + 9. Suppose i = -3*l - 2*p + 9, 0 = -5*l + 2*p - 4 + 3. Which is greater: l or 0?
l
Let n be (-20)/(-6) - (-4)/6. Is 6 > n?
True
Let b = 12 + 1. Which is bigger: 15 or b?
15
Let r = 5 - 11. Let m be ((-12)/4)/(r - -2). Which is smaller: m or 0.1?
0.1
Let w(a) = -449*a**3 + a**2. Let u be w(-1). Suppose -5*t = -170 + u. Let n = t + 502/9. Which is greater: 1 or n?
1
Let m = -6.3 + 5. Which is smaller: m or 0.4?
m
Let j = -13/2 + 6. Is 1/17 < j?
False
Let r = 22 - 16. Which is greater: r or 8?
8
Let c(v) be the second derivative of v**6/720 - v**5/40 - v**4/12 + 2*v. Let y(j) be the third derivative of c(j). Let a be y(4). Are 5 and a unequal?
True
Let c(s) = -3*s**2 - 12*s - 12. Let w(k) = k**2 + k + 1. Let h(j) = -c(j) - 2*w(j). Let g be h(-8). Let q = -7 - g. Which is bigger: q or -3?
q
Let z = 3/524 - -1449/21484. Is 1 > z?
True
Let k(f) = 2*f**2 - 11*f + 6. Let i be k(7). Suppose -m + 4*m - 4*b + 3 = 0, -5*b = 4*m - i. Let r be (m - 1) + (-8)/4. Which is smaller: -1/5 or r?
-1/5
Let j be (-89)/(-6) - 17/(-102). Which is bigger: j or -2?
j
Let q(y) = 2*y**3 + 2*y**2 - 1. Let r be q(1). Let g be r - (-4 - -1 - -1). Suppose -4*v = -0*v - 4, o + g = 5*v. Is 0 smaller than o?
False
Let b(p) = 4*p**2 - 8*p - 13. Let j(q) = -q**2 + 3*q + 4. Let u(h) = -2*b(h) - 7*j(h). Let d be u(-6). Which is smaller: 1/4 or d?
d
Suppose -4*o = 4*c - 8, 7 = 4*c + 4*o - o. Let s(d) = 16*d - 1. Let v be s(c). Let g be 10/v*9/2. Which is smaller: -0.1 or g?
-0.1
Suppose -23 = -a + w + 19, -2*w = 8. Are 38 and a unequal?
False
Let r = 2070/7 + -295. Is 1 greater than r?
True
Suppose 3*f - 4 = f. Suppose 5 = 3*y - 4. Are f and y equal?
False
Let o = 5/637 + -46556/7007. Let c = o - -72/11. Which is bigger: -1 or c?
c
Let w be 4/2*-1*(-5)/(-5). Let i(q) = -q**3 + 8*q**2 - 7*q + 6. Let y be i(7). Let h be (-3)/y - (-1)/(-2). Are h and w equal?
False
Suppose -3*q - 370 = 2*g, -g = -4*g - 6. Let j = -1584/13 - q. Is j equal to 1?
False
Let r = 178/287 + -2/41. Which is smaller: r or 1?
r
Let h = 6 + -10. Let t = 2 + h. Which is bigger: 0.3 or t?
0.3
Let p = 4.4 + 0.6. Which is greater: p or -2/3?
p
Let k(c) = -c**3 - 9*c**2 - c + 1. Let f be k(-9). Let h be 31/f + (-2 - 1). Which is smaller: h or -1?
-1
Suppose -q = 2*q - l - 11, 0 = -2*q + 3*l + 19. Suppose -y = -s - 4, -3*y - q*y = 5*s. Suppose 3*t - 4*w + 3 = -0*w, -4*t - 5*w = -27. Is t smaller than y?
False
Suppose -21 = -4*q - 5. Let u be q/(-12) + 1/1. Is u at most as big as 0?
False
Let x be 1/(-6) - (-35)/(-6). Let k = 8/19 + -94/133. Is k at least as big as x?
True
Let g(q) = -q + 9. Let z be g(8). Let d be ((-10)/(-2) - 2)/(-11). Are z and d nonequal?
True
Suppose -2*q + 3*y = 25 + 6, -1 = y. Which is bigger: q or 0.2?
0.2
Let k be 12/2 - (1 + -1). Let c be 0 + 11/((-44)/40). Let w = k + c. Is w smaller than -4?
False
Suppose -52*b + 4 = -56*b. Is b less than -2?
False
Let m be 250/7 - (-4)/14. Let n be 8/m - (-2)/(-9). Let w be (-3)/4 - (-17)/12. Are w and n non-equal?
True
Suppose 7*l = 6*l + 2. Are 3 and l nonequal?
True
Suppose -2*v - 18 = -2*w, 0*w - 27 = 5*v + 4*w. Is -8 <= v?
True
Let q be (80/(-50))/(2/(-5)). Is q at most 1?
False
Suppose -2*s + 48 = -4*s. Is s less than or equal to -24?
True
Let s = 0.164 + 2.836. Is s >= 2/7?
True
Let w = -5/6 + 1/2. Let k = 53 - 35. Suppose 0 = -4*n + f, -2*n = -4*f - f - k. Which is smaller: n or w?
n
Let t = 6 + -3. Suppose -t*x - 3 = -12. Suppose x*l = 3*o - 18, 5*o = 3*o - 5*l - 16. Is 2 < o?
False
Let k be 1*(28/(-180))/(-7). Let a = k - 17/90. Which is smaller: -1 or a?
-1
Let h = 80 + -126. Are -48 and h nonequal?
True
Let d = -3 + 4. Which is greater: d or 4/13?
d
Let y be 4/(-8) + 78/76. Let q = -166/171 + y. Which is smaller: 0 or q?
q
Let h = -53 - -50. Is -3 at least as big as h?
True
Let w(p) be the third derivative of p**4/24 + p**3/2 + p**2. Let d be w(-9). Let h be 2/d*(-18)/(-8). Which is smaller: h or 0.1?
h
Let k be 2 - 58*(-2 - -1). Suppose 5*a + k = 20. Let s be (a/(-12))/(11/(-3)). Is 1 < s?
False
Let b = 1.87 + 0.13. Let x = b + -1.9. Which is bigger: 1/6 or x?
1/6
Suppose 3*b + n + 2 = 5*b, 17 = 3*b - 5*n. Suppose 2*u + 0*u - 4*v + 10 = 0, u - 3*v + 7 = 0. Are u and b nonequal?
False
Let f be -1*3*6/9. Let s be ((-15)/(-9))/(f/66). Let p = 274/5 + s. Is p at least as big as -2?
True
Let a = 20/7 - 46/21. Are a and -0.6 unequal?
True
Let a be 266/(-1360) + 2/16. Let j = a - 189/935. Do 1 and j have different values?
True
Let p(f) = -f**2 + 2*f + 4. Let d be p(3). Let k be (2/(-35))/(d/5). Is k greater than -1?
True
Suppose z = 4*z - 9. Let h be 1 + (1 + -2)/z. Which is bigger: h or -3?
h
Suppose 5*v - 5*c - 25 = 0, -5*v + 2*c + 3 = -13. Let o(z) = 2 + z - 3 - 1. Let p be o(3). Is v less than p?
False
Let k(y) = 4*y + 3. Suppose 0 = 3*m + 3 + 3. Let c be k(m). Which is bigger: -6 or c?
c
Let u = -107.9 + 108. Is 1/3 >= u?
True
Let y = -276 - -4694/17. Let q = -3 - -3.1. Is y bigger than q?
True
Let a = -9.8 - -10. Are -1 and a equal?
False
Let z = 61 - 54. Which is smaller: 5 or z?
5
Let v = -0.7 - -0.5. Let t = -0.41 - 0.09. Is t smaller than v?
True
Let u be (-26)/35 - 15/(-25). Which is smaller: -1 or u?
-1
Suppose 4*n = 5*m + n - 22, 2 = -3*m - 2*n. Let d be (m + -3)/((-10)/(-16)). Is d < -3?
False
Let g be 40/(-42) + (-16)/(-56). Let q be (-10)/(-5) + 23*-1. Let s be -3 - 7/(q/10). Is g not equal to s?
True
Let j = 2/87 - -253/348. Let d = -7.98 + 8. Let o = 0.08 + d. Which is greater: o or j?
j
Let f(o) = o + 5. Let q be f(-3). Let x be q/16*(7 - 1). Let p = 0 + 1. Which is smaller: x or p?
x
Let m be (-10)/4 + (-3)/6. Which is smaller: -1 or m?
m
Let n = -50 + 44. Which is smaller: -2 or n?
n
Let n = -4 + 7. Suppose -n*q + 10 - 1 = -3*h, 5*h + 20 = 0. Is 1 bigger than q?
True
Let g = -13/2 - -9. Let a be (-1 + 3)/(2 + -1). Is g at least a?
True
Suppose 4*o - 25 = -25. Is o less than or equal to 2/67?
True
Suppose 3*u + 6 = 0, -3*u = -5*r - 4 + 25. Let p be -2 - (2 - -16)/(-3). Which is smaller: p or r?
r
Suppose -5*g - 2*l = -3*l - 14, 2*g + 5*l - 11 = 0. Suppose q = 4*q - g. Which is smaller: -1/4 or q?
-1/4
Suppose 4*g - 18 = -z - z, -g = -4. Let v = z + -2. Do -5 and v have the same value?
False
Let h be (19/(-1))/(4 - 5). Let s = h - 18. Is 4 greater than s?
True
Let s be 2/6*(-4)/(-8). Which is greater: -1 or s?
s
Let j = -5 + 1. Let a be j/6*(1 - 4). Let x be (-9)/2*(-150)/225. Which is smaller: x or a?
a
Let l = 109 - 109.3. Is l at least as big as -8?
True
Let f = 1.9 - -0.1. Let k = 1.7 - f. Is 1 less than k?
False
Let r(m) = -m**3 + 6*m**2 + m - 5. Let y be r(6). Let s be y + 0 - (-24)/(-15). Suppose -g + 10 = -6*g. Which is greater: g or s?
s
Let j = 23 + -13. Suppose -3*d = 7 + 2, 0 = l - 5*d - 24. Is l greater than or equal to j?
False
Let m = -6.8 + -1.2. Is 1/2 at most m?
False
Let y = -64 + -5. Let h = -3 - -7. Let x be (3/(-2))/(y/h). Which is smaller: 1 or x?
x
Let f be ((-1)/3)/(11/(-264)). Let w(s) = s**2 - 8*s + 3. Let q be w(f). Which is smaller: q or 2?
2
Let p(x) = 11*x + 1. Let z(y) = 17*y + 2. Let r(c) = 8*p(c) - 5*z(c). Let k be r(2). Is 2 at most as big as k?
True
Let i = 282273/440 + -5127/8. Let o = -2/165 - i. Suppose -3*y - 7 = -1, -2*h + y = 0. Which is bigger: h or o?
o
Suppose 0 = 2*g, -g = -c + 3*g + 20. Is 19 smaller than c?
True
Let c(v) = -v**3 + 5*v**2 + v - 7. Let k be c(5). Let y = -2 + k. Let h be (y/(-14))/(2/(-2)). Which is smaller: h or 1?
h
Let v(d) = -d**2 + 12*d - 37. Let h be v(5). Do h and -4 have the same value?
False
Let f(j) = j + 11. Let n be f(-10). Let l = 0.01 - 0.11. Is n != l?
True
Suppose 4*l = 6*l - 6. Let f(b) = -b + 17. Let o be f(15). Which is bigger: o or l?
l
Let b be -3 - 92/(-28) - (-44)/(-105). Which is smaller: b or -3?
-3
Let u be 190/8 - 2/(-8). Suppose -u = -4*k - 4. Let c = k - 4. Do -1/6 and c have the same value?
False
Let v = -4/15 + -2/105. Let r = -0.6 - -0.8. Is r greater than v?
True
Suppose -82 = 5*t - 4*i, 7*t + 2*i + 22 = 6*t. Is t >= -18?
True
Suppose -s + 8 = -3*y + 6*y, 5*s + 2*y - 14 = 0. Suppose 3*b + 3 = 2*r - 5, -6 = 4*b + s*r. Do b and -6 have different values?
True
Suppose -3*x = 2*r - x, 2*r - 5*x = 0. Let t be -2*(-1)/(-2)*-4. Suppose -15 = -l - t*y, l - 5*y = -21 - 9. Is l at most as big as r?
True
Let a = 1 - 2. Let t(p) = -p**3 - p**