 = -r**3 - 5*r**2 - r - 4. Let o be p(-5). Let q(i) = 7*i + 3. Suppose 0 = 3*k - 4*s + 2, 4*k = -s - 2*s - 11. Let v be q(k). Which is smaller: o or v?
v
Let c be ((-15)/(-6))/(10/8). Let w be (-4 - -7)*1 + c. Let t be (3/((-3)/10))/(-2). Is w equal to t?
True
Let f = -0.8 + 0.9. Let b = 0 + -0.1. Let t = f + b. Is -5 at least as big as t?
False
Let p(h) = 2*h**2 + 13*h + 8. Let k be p(-6). Suppose 68 = 4*s + 12. Let i be 2*(-1)/s*-4. Is k less than i?
False
Let b(s) = s - 2. Let i be b(4). Let m = -119354 + 956533/8. Let h = -212 + m. Are h and i non-equal?
True
Let a be 143/(-22) + 4315/510. Is 3 at least a?
True
Let g be 34/(-7) - (-10)/(-70). Let s = g - -5. Let z be 3/(-9) - (-34)/120. Which is smaller: z or s?
z
Let b be 2/(-4) - (378/(-4))/3. Let a be b/((-3)/3 + -4). Is -5 smaller than a?
False
Let g be ((-9)/6)/((-27)/18). Is 5/67 at least g?
False
Let g be 0/2 - 2/8. Is 12/91 >= g?
True
Let z = 87110404/2493 + -34942. Let j = -311629/4986 - z. Let c = j + 311/5. Which is greater: 1 or c?
1
Let c = 16.016 + -0.016. Let y = c + -19. Which is smaller: y or -2/11?
y
Suppose -5*o - 27 = -17. Let z be (-239)/(-5) + o/(-10). Suppose -2*q = q + z. Is q > -16?
False
Let l(z) = -z - 1. Let q be l(-3). Let b = 5/3016 + -82231/27144. Let r = b - -34/9. Which is bigger: q or r?
q
Let i = -2 - 6. Let l = 8 + i. Suppose r - 2*b - 5 = l, 4 + 9 = -r - 4*b. Do r and -1 have different values?
False
Let o be 2 - (-254)/6*-7. Let x = o + 287. Which is bigger: -8 or x?
x
Suppose 0 = 4*s + 20, -589 = -3*t + 5*t - 3*s. Let k = t + 6645/22. Which is greater: -1 or k?
k
Let x(r) = -7*r**2 - 35*r + 2. Let u be x(-5). Which is smaller: u or 16/17?
16/17
Let o be (-11 + 10)/(2/14). Suppose 0 = 207*w - 203*w + 24. Is w greater than o?
True
Let a = 177 + -188.1. Let h = a - 5.9. Is h greater than or equal to -1?
False
Suppose -4*f - 172 = -4*w, f = 4*w - 17 - 26. Let z = f + 44. Which is bigger: z or 3/7?
z
Let g be 8/3 - -3*6/(-9). Which is smaller: 1 or g?
g
Let y = 532/23 - 4037/92. Is -20 > y?
True
Let s(h) = 2*h + 1. Let w be s(-4). Let q = w + 13. Suppose -8 = -4*j - u, 5*j - 3*u + 1 = -q. Which is bigger: -2/9 or j?
j
Let d(a) = -a**3 - 17*a**2 + 34*a - 78. Let s be d(-19). Which is smaller: s or -17/27?
s
Let c(s) = -s**3 - 13*s - 3*s + 8*s**2 - 5 - 24*s**2. Let z be c(-15). Which is smaller: 9 or z?
9
Let z(v) = 4*v**3 - 11*v**2 - 3*v + 8. Let i(f) = f**3 - f**2. Let c(o) = -3*i(o) + z(o). Let h be c(8). Which is greater: h or -15?
-15
Let n = -5001 - -4998. Suppose 5*c + 70 = -2*b, 6*b + c = 3*b - 118. Let o = b + 149/4. Which is smaller: n or o?
n
Let t be (-3332)/38178 - 4/(-54). Is 0 at least t?
True
Suppose 10 = 2*f + 4*h - 2*h, h - 11 = -3*f. Let x be (f/2)/((-2)/(-4)). Let l(y) = -y**3 + 4*y**2 - 2*y + 1. Let q be l(3). Which is smaller: x or q?
x
Let l = 51 + -53.16. Let b = -0.16 - l. Is 2 smaller than b?
False
Let p = -32279/2844006 + 16/1353. Is 1 less than p?
False
Suppose 13*d = -7*d + 100. Suppose 96 = d*w + t, -3*t + 8 = -w + 24. Suppose -m + 93 = 5*k, -8*k + 4*m = -4*k - 60. Is k at most as big as w?
True
Let z be (5 - -3)/(12 + -10). Is -11 > z?
False
Let l = -717 - -619. Is -99 not equal to l?
True
Let u = 141 + -231. Let o be (2/12 - 183/u) + -1. Which is smaller: o or 2?
o
Let w be ((-34)/51)/(140/(-4014)). Let b = w - 97/5. Let y be 8/30*15/6. Which is smaller: y or b?
b
Let q = 500.1 + -500. Are q and -11.3 unequal?
True
Let a = -7/15 + 43/60. Let q = 907/65 - 69/5. Do q and a have the same value?
False
Let y = 0.41 - 0.459. Let h = 6385 + -6384. Which is smaller: h or y?
y
Let h(a) = -2*a + 11. Let n be h(3). Let g(i) = -i**2 + 7*i - 10. Let r be g(n). Is r bigger than -1/2?
True
Let a be 160/340 - 3*(-2)/(-15). Which is bigger: a or -1?
a
Let v = 0.445 - -0.045. Let f = v - 20.49. Which is bigger: f or 0.1?
0.1
Suppose p = 1, n + 0*p = -p + 11. Suppose 0 = 103*x - 41*x - 744. Which is smaller: n or x?
n
Let c = 899 - 438. Is 461 greater than c?
False
Let l(f) = -5*f**3 - f**2 - 2*f - 1. Let h be l(-1). Suppose 126 = -h*p - 569. Let x = p + 421/3. Is 2 at least as big as x?
True
Suppose -5*l + 4*s + 8 = -1, l - 1 = s. Suppose -5*q = 2*m + 47, -4*m + m + l*q = 108. Do m and -33 have the same value?
False
Let r = -871720/163 - -5348. Which is smaller: r or 1?
r
Let y = -48.2 - -64. Let h = -4.2 - y. Let n = h - -20.1. Do n and -17 have the same value?
False
Let s be 99/2 - (-2 + (-32)/(-12)). Is 49 greater than s?
True
Let f(l) = 2*l + 22. Let t be f(-11). Let z be (-3)/((-9628)/(-3218) + -3). Let g = -371 + z. Which is smaller: t or g?
t
Suppose 0*u = -3*u - 6, -w - 3*u = -79. Do w and 78 have the same value?
False
Let g = -0.311 + 3.331. Which is bigger: 0.1 or g?
g
Let l(k) = 19*k**2 - 3*k - 2. Let s be l(-1). Let r = -14 + s. Let x(a) = 3*a - 6. Let w be x(4). Is r greater than w?
False
Let o(b) = 5*b - 7. Let q be o(-4). Let p = q - -21. Let d be (p/(-24))/(1/(-4)). Which is smaller: -1/8 or d?
d
Let w(s) = -s - 18. Let d be w(-15). Let c be -4 - (-10)/((-3)/d). Suppose 8*f = c*f + 2. Are f and 1/2 unequal?
True
Let q = 40/81 + -4/81. Is 11 equal to q?
False
Suppose 2*x + 2*x = 40. Suppose -5*a = -7*a - x. Is -2 at most as big as a?
False
Suppose -3*c + 15 = 0, q + 3*c - 9 = 5. Which is bigger: q or -3?
q
Let o(r) = r**3 - 9*r**2 + 3*r - 6. Let g be o(10). Let d = g + -1735/14. Let k = -1.5 + 1.5. Is k greater than or equal to d?
False
Suppose -37*c - 416 = -35*c. Which is greater: c or 2/7?
2/7
Suppose 22*y - 27*y = -20. Suppose 4 = -y*k - 0. Is -4 at most as big as k?
True
Suppose 0 = 9*i + 784 + 341. Do i and -125 have different values?
False
Let y be (2 + -1)/(-126 + 125). Which is greater: y or 3/457?
3/457
Let j = 1875 - 1413. Is 462 less than j?
False
Let o(r) = -r - 19. Let y be o(-10). Let d = 0 - -36. Suppose 2*w + 3*g + 20 = -2*w, -5*w - g - d = 0. Which is greater: y or w?
w
Suppose 1699 - 1619 = 5*q. Let x = -7 - -20. Is x > q?
False
Let u(d) = d**2 - 5*d + 4. Let g be u(4). Let h = 31 - 17. Suppose -3*o - h = 5*c, 5*c - 4*o + 12 = -16. Is g < c?
False
Let g = -35.9 + 34.9. Which is smaller: g or 189?
g
Let d(p) = -p**2 + 2*p - 2. Let m be d(1). Suppose 3*l + 6 = -3*b, 4*b + 10 + 0 = -5*l. Which is bigger: l or m?
m
Suppose 11 = 3*c + d, -4*c - 2*d - 3*d + 11 = 0. Suppose -r + c*b = -0*b + 8, -3*r - b - 24 = 0. Which is greater: r or -11?
r
Let b = -327 - -326. Let g = 6.36 - -0.14. Is g greater than b?
True
Let b be (3*451/(-132))/((-3)/(-4)). Which is bigger: b or -14?
b
Suppose -20*k - 1076 - 784 = 0. Which is greater: k or -92?
-92
Let d = -542/9 - -60. Suppose 14 = y + 3*y - s, -2*y = -4*s. Is y != d?
True
Let o = -13765/33 + 417. Let g be ((-1 + -1)*1)/(-2). Which is smaller: o or g?
o
Let f = 2388 - 2417. Suppose 5 = -4*p - 3*j, -2*p - j + 8 = -3*j. Is p at most as big as f?
False
Let s(h) = 3*h**2 + h. Let d be s(2). Which is smaller: 9 or d?
9
Let i be (-36)/(-24)*8/210. Let g be ((-4)/(-8))/(2/(-4)). Let j be g - 1 - (7 - 10). Which is smaller: i or j?
i
Suppose -3*i + 2 = 4*p + 2*i, 2*p = 2*i - 8. Suppose 5*x = 2*z + 1, -5*z + z = 5*x + 17. Let j be -4 - x - -2 - p. Which is smaller: 2/35 or j?
2/35
Let m be -1*((-7870)/(-7840) + -1). Which is bigger: -1 or m?
m
Let t = 3 + -4. Is 6/29 > t?
True
Let r be ((-6)/44)/(6/8). Let d = -2.0007 + 1.9707. Which is smaller: d or r?
r
Suppose j = 5*j - 5*t + 147, 0 = -2*j - 3*t - 101. Let x = j - 0. Is x at most -42?
True
Suppose 3*b - m - 13 = 4*m, -5*m = -5*b + 15. Do b and 10/31 have the same value?
False
Let o = 5 - 7. Let s be (-117)/(-15) + o/(-10). Let t(j) = -j**3 - 14*j**2 - 5*j - 62. Let d be t(-14). Do s and d have the same value?
True
Let m(o) = o**2 - 4*o + 4. Suppose 2*t + 10 = 7*t. Let x be m(t). Which is smaller: x or 2/69?
x
Suppose -45 = -4*z + y, -5*y - 12 = -5*z + 33. Let g = -24 + 31. Suppose 0 = -q + g + 6. Is q <= z?
False
Suppose -z = 3*z + 4. Suppose 0 = -5*g + 4*g - 2*m - 2, -3*g + m + 22 = 0. Let j be (12/g)/(2 - 16). Which is smaller: z or j?
z
Let m(l) = -91*l + 36. Let i be m(0). Which is greater: 40 or i?
40
Let m = -13.9 - -1.9. Let w = m - -15. Let q = w + -3.3. Is -0.3 less than or equal to q?
True
Suppose 0 = n + 5*w - 0*w + 6, 4*w = n - 12. Let y be n + (-54)/14 + (-1941)/63. Is -32 < y?
True
Let p be 6/(-36) + 2/(-132). Let k