e -8 + (1 - 6/n). Let y(v) = -v - 12. Let t be y(a). Which is greater: t or -2?
-2
Let j = 62.995 - 63. Let p = 13.995 - j. Is p at least as big as -1?
True
Let j be 12/5 - (-6)/(-15). Suppose 0 = -j*y + 5*y + 45. Let x be (-2)/20 + 6/y. Which is bigger: x or -2?
x
Suppose 0 = 7*z - 2*z + 5, 5*z + 121 = -4*t. Which is bigger: t or -2/3?
-2/3
Suppose 29*l + 286 = 16*l. Is l greater than or equal to -20?
False
Let v(t) = t**2 + 5*t + 9. Let a be v(-4). Suppose 0 = 3*x + 2*y + 4, -a*x + 2*y = -2*y - 8. Which is bigger: x or -1/3?
x
Suppose -1668 = 17*k + 916. Let z = k - -3495/23. Is -1 >= z?
False
Let u be (-8)/(-750)*40/16. Is u less than or equal to -1?
False
Let b be (-352)/(-56) + (-4)/14. Let m be (b/(-12))/((-4)/6). Let r be (0/(-3) - 0)/(-3). Is r <= m?
True
Let m = -1941 - -1162. Is -1/3 <= m?
False
Let b be (-2 + -5 + 0)*2/20. Which is smaller: 0 or b?
b
Let k be 0/(-3) + (1 - 633/639). Which is smaller: 0 or k?
0
Let d = -53 + 18. Let x = d - -34. Let g = 1.9 + -2. Do x and g have the same value?
False
Let m = 722.8 - 654. Let b = m - 69. Do 48 and b have different values?
True
Let n be (-2)/((-3)/(-4) + (-381)/(-12)). Which is bigger: -4 or n?
n
Suppose 2*k + 168 = 8*k. Let x = k - 21. Which is greater: x or 6?
x
Let q = 51 + -51. Suppose q = -4*o + 12*o + 40. Which is smaller: o or 2/9?
o
Let y be (-12)/(-6)*107 + -8. Is 206 at least y?
True
Let v = 503.1 - 510. Which is greater: 4/7 or v?
4/7
Let g = -8.9 + 9. Let k = -2.1 - -2.06. Which is smaller: k or g?
k
Let q be -1 - 1136*5/(-5665). Are -1 and q nonequal?
True
Let s = -1 - 6. Let q = -9 + s. Let i = 15 + q. Is 1/11 != i?
True
Let y be (-148)/(-20) - 16/2. Let c be 14/21*(-1 - 2). Is y < c?
False
Let j(x) = x**2 - 11*x + 14. Let r be j(9). Let s be (-28 + 2)*3/(-6). Suppose -s*q + 4 = -11*q. Which is smaller: r or q?
r
Let r be (44/1287)/(-39*4/18). Which is bigger: 0 or r?
0
Let r = -2/1533 + -1445/67452. Let t = -3/44 + r. Is 1 > t?
True
Let x = -4430/11 - -403. Which is smaller: 0 or x?
0
Let z be (-2)/((-4)/(-78))*22/3. Is -286 at most as big as z?
True
Let b(z) = -z**2 + 5*z + 2. Let j be b(4). Suppose -4*h + j = 2*m, -5*h - 2*m + 3 = -4. Let v = h - 4. Which is smaller: 0 or v?
v
Let l = 270 + -811/3. Which is smaller: 2/447 or l?
l
Suppose 2*s + 0 + 2 = 0. Let f be -1 - 10/(s + -1). Suppose -2*w + 2 + 14 = 4*j, -12 = -3*j - 2*w. Is j bigger than f?
False
Let u be (1/((-5)/2))/(21/15). Does u = 2/163?
False
Let d be (-1 - (-1)/7)*-7. Let f be (0 - d/21)*-14. Are f and 0 unequal?
True
Let t = -5 + 8. Suppose -6*k - 18 = -t*k. Let u be 8/k*(-6)/4. Which is greater: u or 3?
3
Suppose -3 = m + 2*m. Let o(l) = 3*l**3 - 4*l**2 - 5*l + 6. Let a be o(2). Which is greater: m or a?
a
Let k = 683092699/456 - 12003795/8. Let p = 2464 + k. Which is smaller: p or 0?
p
Let t be (-4)/(-394)*639/48. Let h = 6/667 - -152/131399. Let q = t - h. Is q > 1?
False
Let p be -3 - -2 - 15/(-5). Let q be 10/4 - (0 + p). Is -12 >= q?
False
Suppose -7*r + 0*r = -r. Does -22/35 = r?
False
Let s(m) = -7*m + 6. Let z(x) = 2*x. Let k(o) = s(o) + z(o). Let a be k(-2). Which is smaller: -1/5 or a?
-1/5
Suppose 20 = -2*j + 4*z, -2*j = 3*z - 4*z + 8. Which is bigger: j or -38/49?
-38/49
Let v = -662 - -680. Is 4 greater than or equal to v?
False
Let m(r) = 3*r**2. Let x be m(-1). Suppose -x*o = 2*c + 209, 4*c + 42 = 3*o - 367. Let a = -720/7 - c. Do 1 and a have the same value?
False
Let t be -17 - -10 - (1 + -5). Let l = 2 + -8. Let x be 110/(-39) + l/(-39). Is x less than or equal to t?
False
Let i = -201 - -196. Let y(z) be the third derivative of -z**6/120 + z**5/12 + 5*z**4/24 + 5*z**3/6 - 2*z**2. Let c be y(6). Is c bigger than i?
True
Let b(q) = -q - 2. Let j be b(-7). Let y be (j + -11)*(-8)/3. Is 17 != y?
True
Suppose 31*b = 1863 + 462. Which is smaller: 78 or b?
b
Let w(p) = p**3 + 4*p**2 - 5*p + 2. Let z be w(-5). Let h = 3 + -6. Let i = h + 6. Which is bigger: z or i?
i
Let n(v) = 24*v**2 + v - 1. Let x be n(-2). Let p be -2 + (-2157)/24 - 1. Let d = p + x. Which is smaller: 0 or d?
0
Let k(q) = q + 13. Suppose 12 = 3*x + 33. Let l be k(x). Which is greater: l or -2?
l
Let v = 17.5 - -131.5. Which is smaller: 1/2 or v?
1/2
Let m = -20.24 - -7.94. Do m and 1 have different values?
True
Let y be (-86)/8*(258/(-42) + 5). Is 11 at most y?
True
Let a(u) = u**2 - 25*u + 41. Suppose x + 5*r - 14 = 0, 5*r = -5*x + 84 + 26. Let w be a(x). Which is smaller: 19 or w?
w
Let s be ((-1)/(-25))/((-11)/1573*-11). Is 1 equal to s?
False
Let u(s) = -9*s**2 - 2. Let q be u(1). Let p be (q/(-2))/((-6)/(-12)). Do p and 11 have the same value?
True
Suppose -1 = 3*b + 11, -18 = 2*x + 5*b. Let s = -1304/345 + 58/15. Which is greater: x or s?
x
Let x = -646/12851 - -4/181. Which is bigger: x or 4?
4
Let m = 173/134 - 29/134. Does 1 = m?
False
Let n = 160 - 159.33. Let u = -0.13 - n. Let s = -0.7 - u. Is -2/11 <= s?
True
Let g be -32*1 + 4/(-6). Let d = g + 33. Which is greater: 0 or d?
d
Let r be 0 - 27 - (-1)/(-1). Let c = r - -26. Is c >= -6?
True
Suppose -2 = 2*q, -5*t = -t - 2*q + 170. Is -45 smaller than t?
True
Suppose -5*b + 2*z = -2*z - 25, 4*z = 0. Suppose -3*a + 0*a = -2*k - 3, 0 = -4*k - 2*a - 14. Let o = k - b. Which is bigger: o or -9?
o
Let q(b) = b**2 + 10*b - 10. Let r be q(-11). Suppose 10*m - 19 = r. Let d = -30/7 - -34/7. Which is bigger: m or d?
m
Suppose 2*t - 185 + 183 = 0. Let u(d) = 2*d**2 + 2 - 8*d - d**2 - 11 - 2*d**2. Let c be u(-7). Is t smaller than c?
False
Suppose 5*w - 25 = 10*w. Let p = w - 1. Suppose 0 = 5*q - 4*s + 10, 0 = -q + 3*s - 4*s - 11. Do q and p have different values?
False
Let j = -177 + 194.1. Let z = -11 + j. Let w = z + -6. Which is smaller: 0 or w?
0
Let u be (36/(-42))/(4/(-14)). Suppose 3*p = t + 5, -2*p + u + 12 = t. Is t at least as big as 8?
False
Let d = -2 - -4. Let i = -12 + 18. Let b be (-2)/(10/i + 3). Which is smaller: b or d?
b
Let f(d) be the second derivative of -d**4/12 + d**2/2 - 9*d. Let k be f(-3). Let n be 44/(-6)*2/k. Does n = 2?
False
Let x = -0.378 - 171.622. Let g = -91 - x. Which is bigger: 0.1 or g?
g
Let n be (-8)/(-28) - 23/7. Let i be 38/10 + n/(-15). Let d be (4/6)/(i/(-6)). Which is greater: d or -2/27?
-2/27
Suppose 0 = 5*g + 18 + 2. Let l be g/(-10) - 21/140. Is 1/23 equal to l?
False
Let i = -93 + 76. Which is smaller: i or -224/13?
-224/13
Let a = -10.52 - 57.38. Let c = 68 + a. Which is smaller: c or 52?
c
Let v = -20 - -17. Is -0.02 less than or equal to v?
False
Let q = 34 - 67/2. Let p = -9 - -24. Is p < q?
False
Let c = -0.02 - 0.08. Let u = 1.11 + -1. Which is bigger: c or u?
u
Let o(p) = -p**3 + 9*p**2 - 7*p - 9. Let x be o(6). Which is bigger: 60 or x?
60
Let o = -36 - 24. Let n = o + 51. Which is bigger: n or -19/2?
n
Suppose 0 = -43*h + 48*h - 310. Which is bigger: 247/4 or h?
h
Let c = 40 + -5. Let x = 7 - c. Let b = 24 + x. Is b bigger than 0.2?
False
Let w be ((-36)/224)/(6/(-4)). Let m = w + 11/28. Let g = 2 + 6. Is m smaller than g?
True
Let n be 476/(-44) + 8/(-44). Let w be (-3 - -11)*(-3)/2. Which is bigger: w or n?
n
Let w = 0.02 + -0.42. Let o = 0.6 - w. Let t = 0 + -1. Which is greater: t or o?
o
Let g = -89.902 + 90. Are g and 2/5 unequal?
True
Let l(g) = 2*g + 26. Let o be l(-12). Is o greater than or equal to -94?
True
Let b(t) = t + 8. Let l be b(-6). Let p be (-2)/(-4*l/4). Suppose -v + p = -0. Which is bigger: 4 or v?
4
Let n = 1009 - 1017. Which is smaller: n or 1.3?
n
Let j(q) be the third derivative of q**5/20 + q**4/24 - q**3/2 + 11*q**2. Let t be j(3). Is 28 at least t?
True
Let t be 20/(400/(-36))*-260. Which is greater: t or 467?
t
Suppose -5*b = -2*u + u - 16, -25 = -5*b. Suppose -177 - 84 = u*f. Is -28 bigger than f?
True
Let t = 730/297 + -59/27. Let d = -0.01 - 1.99. Which is bigger: d or t?
t
Let w = 2.9 - 16.9. Let b = w - -15. Which is greater: -1 or b?
b
Let z be -3 + 0 + 8 - -57. Let t = z + -63. Is 2/303 smaller than t?
False
Let y(n) = -25*n + 12. Let i be y(3). Is i > -64?
True
Let r = 114 + -190. Let b = r - -76.4. Is b less than or equal to -7?
False
Let q be (-280)/126 + 1/3. Let x = -20/9 - q. Is x less than or equal to -0.4?
False
Let y = 0.0475 - -3.9525. Is -26 less than y?
True
Suppose -c = 2*c + 18. Let j(n) = -2*n**2 - 2*n. Let u = 10 + -12. Let l be j(u). Which is greater: c or 