t q(l) = -l**3 + 13*l**2 - 14*l - 1. Let i be q(8). Let o = i - 261. Which is smaller: o or -53?
o
Let d = 13 - 11. Let f(m) = m**2 - 9*m - 25. Let b be f(11). Let o be b - d/(4/10). Is o < -6?
True
Let q(y) = -46*y - 20. Let f(i) = 4*i + 28. Let d be f(-5). Let r be q(d). Is r greater than or equal to -387?
False
Let b = 16709 + -16722. Which is smaller: -115 or b?
-115
Let g be ((-12)/(-34))/(-3) + (-72)/(-34). Suppose -2*f + r - 2 = -29, 2*f - 42 = -g*r. Suppose 4*q = 8*q - 64. Is q at least as big as f?
True
Let y(q) = -12*q**2 - 62*q - 11. Let u be y(-5). Let n be -21 + 19 - (-2)/u. Which is greater: n or 1?
1
Let h = 277 - -112. Let p = h + -425. Are 2 and p non-equal?
True
Let q = 387/16 + -11239/464. Which is smaller: q or -3/4?
-3/4
Suppose 4*v - 3*v = 3, 4*i - v = -91. Let b = 609 - 793. Let m = b + 550/3. Is i > m?
False
Let t be (-6)/(-27) - (-485)/45. Suppose q - t = -10. Is q less than 3/44?
False
Suppose 4*u - 175 = 5*b, 0 = -96*u + 91*u - 4*b + 188. Is u < 24?
False
Suppose -2*k = -2, -56 = h + 2*h - 5*k. Let u(w) = -w**3 - 5*w**2 + 18*w + 11. Suppose -53*l + 51*l = 14. Let p be u(l). Is p <= h?
True
Let w = 4272 + -72632/17. Suppose 8*s = 3*s. Let l = s - 0. Which is smaller: l or w?
w
Suppose -27*y + 16 = z - 23*y, -3*y + 81 = -5*z. Which is smaller: z or 3?
z
Suppose 0 = -2*v + 2*u - 720, -372 = v + 6*u - 4*u. Let w = 14192/39 + v. Suppose -3*i + 4*i = -y + 2, 4*y + i = -1. Which is bigger: w or y?
w
Let s(k) = -k**3 + 4*k**2 + 11*k + 3. Let m be s(6). Let h be ((-1535)/(-550) - 5/(-25)) + m. Which is smaller: 1 or h?
h
Let c = -110.492 - 0.508. Let x = -127 - c. Which is smaller: x or -6?
x
Let l = 613 + -497. Let p = l + -117. Do p and 177 have the same value?
False
Let y = 8935 - 9706. Which is greater: -0.3 or y?
-0.3
Suppose r + 2*q = 49, -5*r + 4*r + 2*q = -33. Let o(l) = -3*l**2 + 3*l + 131. Let v be o(6). Is v at most as big as r?
True
Let h = -0.0569 + 305.0569. Let r = -306 + h. Is r <= -1.38?
False
Let d = 6.198 + -6.098. Which is greater: 5001 or d?
5001
Suppose 56*t = -6800 - 760. Which is smaller: 5 or t?
t
Let d be (-2)/3 - (-1958)/957. Let l = d - 4236/2987. Is l > 0?
False
Let r be 2*1/(-4)*(-12 + 12). Suppose r = -3*b, 2*o + 3*b = -0*o. Let p be 7/28 - (-301)/(-1172). Does p = o?
False
Let k be (1 + (-54)/4)/((-50)/(-123 - 177)). Let n(j) = -j**2 - 1. Let h be n(0). Is k at most as big as h?
True
Let n = -0.5 - -0.58. Let h = 1.91294 + 0.08706. Which is smaller: n or h?
n
Let g be 1/3 + (-2788)/(-6). Suppose 5*z = -3*q + 2311, -z - 3*q - 241 + 696 = 0. Which is smaller: z or g?
z
Suppose j = -3*h + 5, 5*h + 30 = 2*j + 31. Which is smaller: 12/97 or h?
12/97
Let a = 2544/7 + -58484/161. Let p be (3/6)/(2/4). Is p greater than or equal to a?
True
Let f = -4948 + 4966. Which is greater: -24 or f?
f
Let a(p) = 12*p**2 - 28*p**2 - 25 - 8*p + 17*p**2. Let n be a(-4). Is 2 smaller than n?
True
Let n be (-6)/78 + 75*1920/1853748. Which is bigger: -1 or n?
n
Suppose -g - 1460 = 4*u, -10*u = -15*u - 5*g - 1840. Let a = -369 - u. Which is bigger: a or -17?
a
Suppose -4*f + m = 9206, 116*f - 121*f = -3*m + 11511. Are f and -2302 equal?
False
Let h(v) = 2*v**2 - 11*v - 2. Let c be h(6). Suppose -l + c*b - b - 8 = 0, 3*b + 4 = 4*l. Suppose -l*i - 2 = u, 5*u + 16 + 18 = 4*i. Is -1 at least as big as u?
True
Let z be 19316/(-720) + 3 + (-8)/36. Let n = 24 + z. Which is smaller: n or -0.3?
-0.3
Let y be -1 + -718 + (4 - (-9 + (-13 - -27))). Which is smaller: y or -714?
y
Suppose 3*d + 185 = -d + 209. Let f = 13 + -7. Is f at most d?
True
Suppose 2*j + 15 = 107. Let q = 37/253 + -174619/3795. Let i = j + q. Is i less than or equal to 1?
True
Let q be 7833/3 - 40/(-8). Let a be 16/(-28) - q/28. Which is smaller: -93 or a?
a
Let l be -6 + (6 - 0) + -303. Let g = 1529/5 + l. Which is bigger: g or -1/4?
g
Suppose 0 = -3*j + 4*n - 143, -j + 3*n - 138 = 2*j. Let t be 7/42*(j/7 - -2). Is -1 at most t?
True
Suppose 3*y - 16575 = 5*t + 92512, 3*y = -t - 21803. Is -21815 greater than t?
False
Suppose 10 = 9*p - 7*p. Let j = -45 - -42. Let v = j - -8. Is p less than or equal to v?
True
Suppose 2*i + 4*d = 346, d + 1177 = 5*i + 323. Is 173 at most i?
False
Let s(u) = -u**3 + 11*u**2 - 3*u + 79. Suppose -4*i = i + 4*t - 55, -i - 4*t + 11 = 0. Let j be s(i). Which is greater: j or 47?
47
Let p = -45109/1116 - -364/9. Which is smaller: 0 or p?
0
Suppose 90*s - 1089 = -999. Which is smaller: s or 116/97?
s
Let w = 0.38 + -0.9. Let d = w + -27.48. Let q = d + 27. Which is greater: -7/5 or q?
q
Let q(v) = -v**2 - 16*v - 46. Let i be q(-12). Let u(z) = -12*z**2 - 14*z + 25. Let m be u(i). Are m and -48 unequal?
True
Let g be ((-80)/(-180))/(2 - 1) + (-1)/9. Which is smaller: g or 5315?
g
Let c = 6 + -4. Let l = -0.002 - 1.278. Let n = l - -1.31. Which is smaller: c or n?
n
Suppose -154 = -2*m - 158. Let u = 87477/37 - 2364. Let x = -270/259 - u. Which is greater: x or m?
x
Let t = 2232 - 2231.9. Is t not equal to 0.1151?
True
Let w = -5140 + 5136. Let j(s) = s**3 - 3*s**2 - 4*s - 4. Let x be j(4). Let p be (2 - -2)*3/x. Which is smaller: p or w?
w
Let c(j) = -2*j**2 + 2*j + 1. Let f be c(-1). Let q = f - -7. Suppose 4*y - 4*p + 2*p + 12 = 0, -q*y + 4 = 2*p. Is -1 bigger than y?
False
Let x = -287 - -860/3. Let n = 0.56 - 69.56. Which is smaller: x or n?
n
Let z = -318/5 + 351/5. Is 4 at most z?
True
Suppose -574*y + 78186 = -1072*y. Suppose -5*j + 983 = -4*m + 351, -2*j - 790 = 5*m. Which is greater: m or y?
y
Let d = 3.8604 + -3.7604. Is d bigger than 0.16147?
False
Let m(w) = -5*w**2 + 61*w - 19. Let k be m(12). Let y(x) be the third derivative of 3*x**4/8 + 49*x**3/6 + x**2. Let a be y(k). Is a less than -13?
True
Let j = 9639989/439 - 21959. Which is smaller: 0 or j?
j
Let l = -4707 - -4659.6. Which is smaller: l or 11?
l
Let d be (2/2)/((-315)/55615). Let w = d + 177. Suppose -1 = -2*n - 3. Is w bigger than n?
True
Let y = 45766 + -366999/8. Is -109 at least as big as y?
False
Let d = 4371 - 2248. Is 0 < d?
True
Let s(i) = -184*i**2 - 2*i - 2. Let d be s(-1). Let o = d + 186. Are o and 13/6 unequal?
True
Let q = -5/8 + -47/8. Let s(k) = -2*k + 3. Let f be s(3). Let v = f - 5. Is q not equal to v?
True
Let s(g) = -5*g**2 - g - 12. Let o be s(3). Let d = o - -50. Let n be (0 + (-1 - -46))/((-15)/d). Which is bigger: n or 29?
n
Suppose 0 = 3*b + 4*u - 224, -210 = -2*b - b + 3*u. Suppose -8 = 8*s + b. Let z(x) = 3*x + 51. Let h be z(s). Which is smaller: h or 19?
19
Let c = -2654/7 - -39808/105. Let k = 190 + -190. Which is bigger: k or c?
k
Let m(k) = 33*k - 386. Let w be m(12). Suppose 77 - 67 = w*s. Which is smaller: -2/1635 or s?
-2/1635
Let p be (-2 - -5) + (-44 - -43). Suppose 5*z = 2*l + 16, -p*z + 0 - 11 = 5*l. Which is smaller: -23/12 or l?
l
Let r = 91 - 635/7. Let l = 240032 - 240049. Is r at least l?
True
Suppose j + 2*y = 682 - 40, 0 = -2*j - 2*y + 1292. Let p = -651 + j. Is 2/3155 at least p?
True
Let s = 19343/1107720 - 16/765. Which is smaller: -1 or s?
-1
Let m be (-25)/30*6/(-4) + -5 + 4. Which is smaller: 176.3 or m?
m
Let i = -2.9 - -3. Let q(g) = g**2 + 24*g - 142. Let t be q(5). Suppose 4*m = -3*v + 17, -t*m = 2*v - 4*v. Is v bigger than i?
True
Let i = 11468/3 - 4249. Which is smaller: i or -425?
i
Let h = 26 - 63. Let l = h + 101. Let q be (-68)/l*-4 - 4. Is 1 >= q?
True
Let r be ((-12)/1)/(210/280) + -4. Let o(h) = -h**3 - 7*h**2 - 4*h - 7. Let f be o(-6). Which is bigger: r or f?
f
Let k(v) = -8*v - 82. Let t = 44 - 51. Let p be k(t). Which is smaller: p or 0?
p
Let u(g) = -g**2 + 13*g - 43. Let z be u(7). Let k = -6985/1212 - -4/303. Let b = 169/28 + k. Which is smaller: z or b?
z
Let q = -14 + 65. Let s be (-8)/82*(q - 39). Which is smaller: s or -2?
-2
Let l = 1744 - 1735. Is -145 smaller than l?
True
Let a = -3540.91463 - 0.08537. Let s = -3590.06 - a. Let b = 49 + s. Is -2 at most b?
True
Let d = -0.23 + -0.39. Let m = d - -0.82. Let j = -7 - -8.4. Are m and j equal?
False
Let s = -1646/1053 + 2/81. Suppose 2*k + l = -9, -4*k - 59 = -3*l - 16. Let j be k + 1 + 2 + 2. Is j != s?
True
Suppose -115*c - 1560 = -39*c - 46*c. Which is bigger: c or -54?
c
Suppose -887*s + 883*s - 4212 = 0. Which is smaller: s or -3158/3?
s
Let i = 25 - 27. Let m = i + 1.9. Let g = -135 + 134.9. Is g less than or equal to m?
True
L