5 = 0. Let i(x) = x**3 - 13*x**2 + 17*x + 3. Let m be i(12). Let h be (-21)/m + 70/12. Is q at least as big as h?
False
Suppose 5*z = a + 82, 2*z = -3*a + 6*a + 25. Suppose -5*o + 8 = -3*x + 2*x, -60 = 3*x + 3*o. Let d = z + x. Which is smaller: d or -28?
-28
Let w be (-136)/(-170) + (-96)/20. Are 6 and w unequal?
True
Let k = 222/11 + -18. Let f(w) = -5*w - 33 + w**3 - 5*w**2 + 2 - 5*w**2 - 3*w. Let d be f(11). Which is bigger: k or d?
k
Let p = -10809/1138 - 1/569. Let l be -4 + ((-2)/(-6) - 356/60). Let a = p - l. Do -1 and a have different values?
True
Let b(o) = o**2 + o + 2. Let a be b(5). Suppose 0 = 33*f - 35*f + 6. Suppose 22 + a = f*q. Is 16 > q?
False
Let w(k) be the third derivative of -k**6/120 + k**5/10 + 5*k**3/6 - 23*k**2. Let v be w(6). Suppose 126 = v*r + 2*r. Is r bigger than 1?
True
Let f = -839/4 + 1838/9. Is -5 at least as big as f?
True
Let z be 6/(-4) + 1029/434 + -1. Suppose b + 299 = -5*t + 110, 2*b + 5*t = -363. Let c = -175 - b. Do z and c have different values?
True
Suppose -5*o - 48 = -2*f - 7, -4*f - 3*o + 17 = 0. Suppose 3*u = 2*a - f + 10, 5*a + 5 = 3*u. Let w be (-2)/120 - 2/8. Which is bigger: w or a?
w
Let z(o) be the second derivative of o**3/3 - 77*o**2/2 - 4*o + 1. Let j be z(36). Is j <= -57/10?
False
Let y = 30337033/10829 + -36419/13. Is -1 at least as big as y?
False
Let f = -174 + 92. Let m = 12167 - 12248.71. Let j = m - f. Which is greater: 0 or j?
j
Let z(h) = -629*h - 3028. Let c be z(-5). Let p(o) = 3*o**2 + 2*o - 4. Let m be p(6). Which is greater: c or m?
c
Let p(y) = -2*y**2 + 2*y - 304. Let m be p(20). Is m >= -1071?
True
Let i be (-2)/((-19530)/(-1148) - 17). Is -2134/13 at most as big as i?
True
Let o(g) = 2*g**2 + 37*g + 166. Let r be o(-11). Which is bigger: 3/58 or r?
r
Let s be 87/(-31)*((-59)/(-2478))/((-1)/(-14)). Which is greater: -1 or s?
s
Let q = 1645 - 1644. Let g = -3408036329/13103800 + 1/524152. Let d = g + 260. Which is smaller: d or q?
d
Let t = -0.0195 + -39.9805. Is 2/7 <= t?
False
Let b(q) = -3*q**2 - 3*q + 0*q**2 + 2*q**2 + 27 + 0*q**2. Suppose -55 + 160 = -15*m. Let y be b(m). Is y at most as big as 2/27?
True
Let i be 2*(-1)/(-2) + 1. Let f(b) be the second derivative of 2*b**3/3 - 7*b**2/2 - 27*b + 2. Let j be f(i). Which is bigger: j or 1/31?
j
Suppose -2*a = -2*r + 6, 3*r - 7 = 2*a + 3. Let c = -3 + 8. Let q = 7 - c. Which is bigger: a or q?
q
Let t = 7041 - 91378/13. Let l = t + -12. Let b = -6 - -4. Is l at least b?
True
Let k = 113.4 - -657.6. Let n = 881 - k. Which is bigger: n or -1/4?
n
Suppose -5*w + 2*w = 3*a - 324, 0 = 4*w. Suppose a = -4*m - 9*n + 5*n, -5*n - 35 = m. Let u = 23 - 47. Which is smaller: m or u?
m
Let o be ((-36)/14)/((-3)/14). Let f(q) = 2*q**2 + q + 11. Let i be f(-1). Is o > i?
False
Let m = 2.0517 - 2.1517. Is -175/19 >= m?
False
Let a(r) = 18*r - 1. Let v be a(1). Let c(s) = 18*s**2 - 73*s + 74. Let k be c(1). Is k greater than or equal to v?
True
Let g(x) = -x**2 - 17*x - 92. Let l be g(-8). Let d(a) = -11*a + 9. Let q be d(6). Let y be (1/(-3))/((-1)/q). Which is smaller: y or l?
l
Let t be (-5)/150*(-10045)/(-196). Which is bigger: -2 or t?
t
Let l = 128163 + -10894187/85. Which is bigger: -5 or l?
l
Let p(q) = q - 5. Let y be p(7). Suppose -y*i - s = 69, -5*i - 135 = -5*s - 0*s. Let c be ((-7)/(-2))/(4/i). Is -28 < c?
False
Suppose 0 = 5*a + 50*z - 47*z + 393, z = a + 77. Which is smaller: 32/7 or a?
a
Let k be 258/(-408) - ((-30)/51)/(-5). Let p = -37.914 + 38. Which is bigger: k or p?
p
Suppose 9*k + 144 = -3*k. Let q(w) = -6*w - 32. Let v be q(k). Suppose -12*o + v = -4*o. Which is greater: o or 7?
7
Let c be (2/(16/(-108)))/((-2)/4). Let r be (-484)/18 - ((-75)/c - -3). Let s = -6082/225 - r. Does s = 0.2?
False
Let b(t) = -85*t + 220. Let o be b(-10). Is 1070 less than or equal to o?
True
Let u = -33 - -32.975. Let c = u - -3.025. Is c < -16?
False
Let z(l) = 2*l - 151. Let w be z(-8). Is -164 >= w?
True
Let a(b) = 4669*b**3 - 5*b**2 - 3*b + 1. Let n be a(-1). Which is smaller: -4668 or n?
n
Let s = 2369/2046 + -25/22. Let n be (-6)/(-27) - (-11)/(-9). Is s less than or equal to n?
False
Let j = 13948 - 139361/10. Are j and 13 equal?
False
Let d = -35 - -27. Let t be (1*(-22)/d)/(6/24). Let q = t + -12. Are 4/9 and q equal?
False
Let b(t) = -5*t - 130. Let d be b(-26). Suppose 8 = 4*n + 4*f - 6*f, -n - 4*f - 16 = d. Is n <= -2/59?
False
Suppose 586 + 1256 = -3*y. Let r = y - -7954/13. Which is smaller: -1 or r?
r
Let h be (-1)/((-20)/(-165)*18/168). Let p = 7 - 6. Is h smaller than p?
True
Suppose 30 = -5*o, 4*o + 11 = q + 2*o. Which is smaller: q or 1/1176?
q
Let c = 1009 + -116039/115. Is 0 > c?
True
Let y = 11710/483 + -286/483. Is y less than 23?
False
Let z = -15/931 - -51/133. Let a = 5 + -4. Do z and a have different values?
True
Suppose -2667 = -278*r + 285*r. Let x = 394 + r. Which is greater: 23 or x?
23
Let d = 2493 + -62322/25. Which is smaller: d or -30?
-30
Let r be 0/(4/(36/(-99))). Is r at least as big as 3/515?
False
Let s(i) = 12*i + 26. Let r be s(-2). Let d be (-7541)/273 - (-4)/6. Let k = d - -193/7. Does k = r?
False
Let q = 0.17 - 41.17. Let j = -87 - q. Let w = j + 62. Which is bigger: -2/5 or w?
w
Let d(q) = -4*q**2 - 522*q - 2675. Let i be d(-5). Which is greater: i or -7?
-7
Suppose -3*t = -t + 46. Suppose 1140 - 482 = -5*s + 533. Which is smaller: t or s?
s
Let z(k) = 53*k + 20. Let q be z(-6). Let j = q - -892/3. Which is greater: j or -5/3?
j
Let n = 529.68 - 524. Let s = -5.573 + n. Which is smaller: s or -1/2?
-1/2
Suppose 3*x = 6*x + 6. Let c = x - 22. Let f be -23 - c - (-26)/(-16). Which is smaller: 0 or f?
f
Let h = -2603 + 2602.7923. Let s = h + -0.0923. Suppose 8 = 2*w - 4*t, -w + 0*t = 2*t. Which is smaller: w or s?
s
Let z = -0.198 + -43.802. Let n = -47.8 - z. Is -5 greater than n?
False
Suppose 84 = -8*o + 116. Suppose -4*g = 2*v + 2*v - 1032, o*v - 3*g = 1046. Which is smaller: 261 or v?
v
Suppose -4*w + 353 = 4377. Is -5037/5 equal to w?
False
Let h be (2*(-1)/(-3))/(-3). Let p = -38/23 + 308/437. Let x = 215/247 + p. Is h bigger than x?
False
Let y = -1306.6 - -2595.6. Which is greater: y or -2?
y
Let h = -91 - -91. Suppose 0 = 3*b + 7 - 10. Let o be -3*(0 - b/9). Is o at most h?
False
Let c = -718045/19193 - -1/19193. Which is greater: c or -38?
c
Let s = 27237 + -19425. Suppose -32*a = -a - s. Is a equal to 252?
True
Suppose 0 = 5*h - 3*h - 2. Let k(t) = -5*t**2 - 2*t - 15. Let q be k(3). Let z = -257/4 - q. Which is greater: z or h?
z
Suppose -19*z + 80 = -129. Let n be 68/(-6)*(-7 - z/(-2)). Which is greater: 12 or n?
n
Let h be 9/(2/4*(-3 + 5)). Suppose h*j - 18 = -0. Let u be (j - 55/14 - -2)*-6. Are u and 1 nonequal?
True
Let a be (356/(-10))/(-44 - (-1413236)/32120). Is a less than 25989?
True
Let y = -33 + 29. Let k be (-2)/y + (-63)/(-14) + -5. Suppose k = 7*i - 10*i - 3. Which is smaller: 1/5 or i?
i
Let j = 1.696 + -1.696. Are j and -71/30 unequal?
True
Let g be 1*(3 + (3 - 18)) + -22. Suppose 3*r = -36 - 69. Which is smaller: g or r?
r
Let v = -4514 - -3042. Which is bigger: v or -2?
-2
Let p(w) = -2*w**2 - 22*w - 73. Let y be p(-8). Suppose 0*k + 2*k = 4. Let n be (-46)/(-4)*-1*k. Are n and y non-equal?
True
Suppose 4*a = 0, j - a = -3*j - 48. Let t be 5/200*(-3830)/8. Let b = j - t. Is b != -1?
True
Let s = -46032 - -136535/3. Which is smaller: s or -521?
-521
Let p = -6 - 39. Let z be (-170)/p*156/196. Let l = z + 16/49. Which is bigger: 2 or l?
l
Let j(o) = -o**3 + 12*o**2 + 32*o - 166. Let n be j(11). Is 311 <= n?
False
Let h be (2/(-377))/((-1)/2). Let q be (5/(-25) - 27/(-60))*(-4 - -8). Which is smaller: h or q?
h
Suppose 2955 = 2*r - 3*r + 2954. Which is greater: r or 1/5421?
1/5421
Suppose 0 = 4*n + 5*n - 1215. Let s = n - 122. Which is smaller: s or 53/4?
s
Let o = -4330 - -4331.9. Is o smaller than -11?
False
Let h = 20.5 - 14.2. Let u = -5.3 + h. Is u != 140?
True
Suppose -2*y + 2*p + 4 = 0, 5*p + 2 = -3. Let q = 220012291 - 115506528647/525. Let s = 1012/7 + q. Which is smaller: s or y?
s
Let h be 4 - (-101)/(-30) - 2/4. Suppose 32*x + 253 = -47*x + 68*x. Which is smaller: x or h?
x
Let g be 9 - 314 - (4 + 2)/(-2). Let n = g - -330. Are 29 and n equal?
False
Suppose y = -5*n - 24, -55*y = -50*y + 4*n + 15. Are 4/3305 and y nonequal?
True
Suppose 7*b = 