78*a**2 + 6*a + 1. Let o(g) = -7*s(g) - 5*y(g). Let l be o(1). Let m = 36 + l. Is 11 less than m?
False
Let p(i) = i**2 + 9*i - 8. Let a be p(-9). Let f be (a + 2)*20/(-15). Let u be f/12 + 2/(-1). Which is smaller: 0 or u?
u
Let k be ((-2)/(-6))/(3/(-261) - 0). Let i = -29 - k. Is i bigger than 1/77?
False
Suppose 0*n - 5*n + p - 56 = 0, 4*n + 3*p + 60 = 0. Which is bigger: -11 or n?
-11
Suppose 3*s + 2*d + 24 - 70 = 0, -3*s + 50 = 4*d. Which is smaller: -13 or s?
-13
Let a(g) = -g**3 - 19*g**2 + 20*g - 2. Let j be a(-20). Which is smaller: j or 13?
j
Let m = 54 - 53.9. Let b be 5/(-15) - 64/(-3). Is b bigger than m?
True
Let z be (-9)/(-5 + (-3 - -7)). Suppose -5*w - z = 4*w. Which is smaller: -2/7 or w?
w
Let y(r) = -r**2 + 5*r - 1. Let l be y(4). Let u = l + -5. Let n = -142/153 + 2/51. Which is bigger: n or u?
n
Let f(o) = -3*o**2 - 19*o + 42. Let t be f(-8). Which is smaller: t or -79?
-79
Let u be (2/5 - 0)*39200/(-72). Let c = -218 - u. Is 3/20 greater than c?
True
Let d(p) = p**3 - 24*p**2 + 21*p - 16. Let m be d(23). Let t = 62 + m. Is -8/9 at most as big as t?
True
Let v = 2/257 - -500/1799. Let k = 79 + -89. Let y = k - 1. Is v not equal to y?
True
Suppose -9*m + 58 = 22. Let l be (2/(-4))/(2/m). Is -10/7 greater than l?
False
Let y(s) = -s**3 - 2*s**2 + 54*s + 169. Let b be y(-4). Suppose 5*v - 3*w = 9 - 88, 0 = 2*v + 2*w + 38. Do v and b have different values?
True
Let y = -0.15 + -1.55. Let t = -1.57 - y. Let x be (0 + -1)*10/(-30). Does t = x?
False
Let o = 139 + -85. Suppose -4*y + 0*y - 4 = 0, y - 53 = -n. Is o <= n?
True
Suppose 0 = 4*x - 16, 25 - 69 = -2*i + x. Let t be (-32)/i*(-39)/(-2). Let d be (3/1)/(3/t). Which is smaller: -27 or d?
-27
Suppose -25 = 5*x, -n - 5*x - 3 = -4*x. Suppose -5*m + 130 = 8*m. Let a = n - m. Do -10 and a have the same value?
False
Let u be 0 - 1 - (-16 - -3). Let s = 14 - u. Suppose -5*v = -q - 30 + 9, -s*q = -4*v + 30. Which is smaller: q or -10?
q
Let s(p) = -10*p - 2. Let y be s(-2). Suppose y = -5*d + 11*d. Let t(m) = -2*m - 1. Let n be t(-1). Is n equal to d?
False
Let d = -6.5 - -0.5. Let c = -1083.9 - -1136. Let a = 52 - c. Does d = a?
False
Let w be 2254/(-12) + (-59)/354. Which is greater: -193 or w?
w
Let j = -13.2 + 16.9. Which is smaller: -2 or j?
-2
Let y = -25219/9 + 2805. Suppose -5*o - 4*n - 2 = 0, 3 - 9 = 2*n. Which is smaller: o or y?
o
Let p = 3.79 + -5.79. Let d = 15 + -27. Let w = d - -1. Which is smaller: w or p?
w
Let f = -653.8 + 723. Let s = f + -68. Let b be 2 - (1 + 10/8). Which is smaller: b or s?
b
Suppose 4*l - 3*v = -v + 1366, -v = -l + 339. Let f be 48*(-36)/l - -5. Is f at most as big as 0?
True
Let s(v) = -3*v + 34. Let o be s(16). Let a be o/(-14) - (-6)/1. Which is smaller: -2/11 or a?
-2/11
Let k be (-47)/11 + (62 - 61). Is -1/8 >= k?
True
Suppose -8 = -97*a + 95*a. Which is smaller: a or -259?
-259
Let z = 4370 - 48802/11. Which is greater: -66 or z?
-66
Let r(n) = n**3 + 2*n**2 + 3*n - 20. Let w(h) = -2*h**3 - 3*h**2 - 4*h + 21. Let y(l) = 3*r(l) + 2*w(l). Let j be y(0). Which is greater: -19 or j?
j
Let w = 5 - 2. Suppose -3*o + w = -0. Which is bigger: o or 3?
3
Let z be (4/24)/((-652)/(-8)). Let l = z + -1307/1467. Which is smaller: -2 or l?
-2
Let g(q) = -q + 6. Let a(s) = -s + 3. Let n be a(-3). Let p be g(n). Let c be (-2 - 4/18)/(-2). Is p smaller than c?
True
Let t = 1.312 - 3.112. Let z = 0.1 - 1.1. Which is smaller: t or z?
t
Suppose 0 = -5*c + 3*d - 45, 2*c - 5*d = -2*d - 18. Which is bigger: c or -8?
-8
Let m(p) = 3*p - 22. Let o be m(9). Suppose 4*y + o = 9*y. Is 2/7 smaller than y?
True
Let b be (-70)/(-22) + 20/(-110). Suppose b = -o - 2. Is -5 greater than o?
False
Let m = 1601.39 - 1592. Let y = m - 0.39. Is 1/4 < y?
True
Suppose -5*a + 1048 = -1847. Let z be a/(-96) - -2 - (5 - 9). Which is smaller: 0 or z?
z
Suppose -22*q + 5*q = 4*q. Which is greater: q or 1/65?
1/65
Let l = 0.87 - 2.87. Are l and 58 unequal?
True
Let r = 1.3 - 11.3. Let s = 25 + -24. Which is smaller: r or s?
r
Suppose -2*u = 3*t + u + 12, 0 = 3*u + 12. Let y = 274 + -275.3. Is y > t?
False
Suppose -329 + 153 = -2*u. Which is smaller: -1 or u?
-1
Let i = 474 - 495. Is -21 less than i?
False
Let l = 0.665 - -2.335. Which is smaller: l or -7?
-7
Let v be ((-2)/(-12))/(20 + (-928)/48). Let m = 6 + -27. Is v not equal to m?
True
Let d(t) = -t**3 - 7*t**2 + 5*t - 13. Let c be d(-8). Let a = c - 5. Is a >= 5?
True
Let a = 7 - 2. Let f be -1 + a + -2 + -2. Which is smaller: -1 or f?
-1
Let x be 3/12 - (0 - (-243)/12). Let q be (2/(-8))/(5/x). Which is smaller: 5/7 or q?
5/7
Let r = 1.6 + -1.4. Let i(u) = u**2 - 7*u + 8. Let q be i(6). Let l = q - -2. Which is smaller: r or l?
r
Let a be ((-6516)/(-21))/6 - (-8)/28. Is a bigger than 157/3?
False
Suppose -36*q = -30*q - 18. Is 21/11 bigger than q?
False
Let g = 801 + -1017. Is -0.3 at most g?
False
Let l = -70 + 193. Let h = l + -1109/9. Is 0 greater than or equal to h?
True
Let c be (136/6)/(1/(-3)). Is -69 >= c?
False
Let n be ((-4)/(-264))/(117/(-512)). Let l = n - -2/351. Let t = -52/231 + l. Which is smaller: t or 5?
t
Suppose -6*o - 2 = -8*o. Which is bigger: -7/27 or o?
o
Let x = 6 - 14. Let a be (2/2*6)/(42/(-28)). Which is bigger: x or a?
a
Let r = -4691/105 + 309/7. Let x = r - -26/15. Which is greater: 0 or x?
x
Let b = 0.4 - 0.3. Let j = -16388 + 16398. Which is greater: b or j?
j
Let f(m) = -m + 1. Let y be f(-9). Let x(r) = r**3 - 10*r**2 + 2*r + 5. Let a be x(y). Which is bigger: 26 or a?
26
Let l = -1.0073 + 0.0073. Which is smaller: 71 or l?
l
Let u be 27/(-279)*(2 - 2679). Let b = -259 + u. Let i = -3 + 4. Which is bigger: b or i?
i
Let l be ((-3)/(18/(-28)))/(30/(-45)). Let i be (195/26)/(l + 1). Is 1 < i?
False
Let y(a) = 9*a - 15. Let q be y(-13). Let v = 131 + q. Which is smaller: v or 3/23?
v
Suppose 3*y - 27 = -0*y. Suppose y*b + 31 = -41. Is -8 not equal to b?
False
Let r = 7802/27 - 289. Suppose 3*w = -2*w. Suppose w = -4*f - 1 - 3. Is r > f?
True
Let i(z) = z**2 - 4*z + 2. Let p be i(4). Suppose 56 = 5*m - 74. Suppose k = -4*h + p*k - m, -5*k = 3*h + 8. Which is bigger: -8 or h?
h
Let a(v) = -v**3 + 7*v**2 - 2*v + 10. Let o be a(7). Let j be ((-888)/(-178) - 1) + o. Which is greater: -1 or j?
j
Suppose 162 = -7*o + 715. Which is bigger: o or 552/7?
o
Let t = 2.33 + -2.8. Let s = t + 0.27. Let p = 0 + -2. Is p at least as big as s?
False
Let s = 9.1 - 76.1. Let v = s + 66. Which is smaller: 6/7 or v?
v
Let h be (-4)/(-8)*0/1. Suppose -3*p - 15 = -h*p. Let k(a) = -3*a + 3. Let g be k(3). Is p less than g?
False
Suppose -4*j - u + 9 = -16, 3*j - 22 = -4*u. Let h be ((-9)/j)/(1/((-4)/75)). Which is greater: h or 1?
1
Let i be (-1 + 62/14)*-7. Which is smaller: i or -26?
-26
Suppose -26*x + 22*x - 232 = 0. Is -59 at most x?
True
Let r = 0.219 + -0.347. Which is bigger: -2/7 or r?
r
Let m = 1 + 16. Let g = -12 + m. Suppose 0 = -8*k + 43 - 11. Which is smaller: g or k?
k
Suppose 4 = -3*v + 7. Suppose -a + v + 1 = 0. Let i be (-3)/21 + a/14. Are -6/7 and i unequal?
True
Let a = -47 - -47. Suppose a = -43*s + 40*s + 30. Which is smaller: s or 6?
6
Let m = -0.87 + 0.5. Let f = -0.57 - m. Is f <= 4?
True
Let x = -0.21 + -11.79. Let p = x + 22. Let g(d) = -d**2 - 3*d + 1. Let j be g(-3). Is j greater than p?
False
Suppose -c - 10 = -5*w + 4*c, -3*w + c - 4 = 0. Let k be 13/(-2) - (1 + w). Let d = 151 - 155. Do k and d have different values?
True
Let m(v) = -v**3 + 6*v**2 - 6*v + 5. Let d be m(5). Let l = 94.6 - 76.6. Is d != l?
True
Let i = 378899532528702576382159/74149465 - 5109942904223281. Let x = -6900/18701 + i. Let u = 2/305 + x. Which is greater: u or -1?
u
Suppose 25*c + 448 = 11*c. Which is bigger: 1 or c?
1
Let w be 8/(-12)*(0/(-2) - 18). Let f be (-2)/(-8) - 75/w - -2. Is f not equal to 0?
True
Let k(w) = w**2 - 2*w + 5. Let q be k(-3). Suppose 4*x - 5*i - 58 = 8, -4*i + q = 2*x. Let m be x/12 + (-2)/4. Is m > 1?
False
Let f = 28911/52 + -556. Let a be 9/15 - (-18)/(-30). Which is smaller: f or a?
f
Let f = -193/28 + 23/4. Let m(l) = -l**3 - 3*l**2 + 5*l + 3. Let z = 5 - 9. Let t be m(z). Which is smaller: t or f?
f
Let a be (-76112)/(-56) + (-2)/14. Let j = 9531/7 - a. Which is smaller: j or 4?
j
Let s = -171/118 - 3/59. Let x(g) = -4*g**2 + 11*g - 8. Let y be x(8). Let c be y/198 - (-2)/9. Whi