Let o be g(2). Let k be (-9 + 8)/(96/o). Which is smaller: u or k?
k
Let j = -3757/16 + 235. Let z be 9/(-4)*11/44. Let l = z + j. Which is bigger: l or -1?
l
Let v = -802/5 - -374514/2335. Let p be (22/(-66))/((-2)/(-6)). Which is greater: v or p?
v
Suppose -3*i - 12 - 18 = 0. Let c(t) = 13*t**3 - 2*t**2 + t + 1. Let j be c(1). Let a be (-1 - (-2)/(-2)) + (7 - j). Is a at least i?
True
Let f(a) = 20*a**3 - 6*a**2 - 19*a + 86. Let j be f(6). Which is smaller: 4074 or j?
4074
Let j = -297.231 - -297. Let q = j - 12.169. Which is bigger: -0.1 or q?
-0.1
Suppose -3*n + 4*n = -36. Let k be 2*(-8)/48*107 - (-3)/(-9). Is k less than or equal to n?
True
Let l(q) = q + 2. Let a(g) = -5*g + 5. Let v(d) = -2*a(d) - 6*l(d). Let o be v(-8). Is o < -54?
False
Let o(c) = 3*c**3 - 16*c**2 - 35*c - 13. Let a(h) = -2*h**3 + 11*h**2 + 23*h + 9. Let i(l) = 8*a(l) + 5*o(l). Let x be i(10). Is x >= -104?
True
Let r be -17 + 8 + 7 + (-2 - (-912)/10). Is r smaller than 87?
False
Let d = 1163885/1236 + -2825/3. Let r = d - 25117/1236. Do r and -19 have different values?
True
Let v be 28/2*(-4)/(-14) - -2. Suppose -m + v = -2*h - 9, -5*m = 3*h - 88. Is 12 greater than or equal to m?
False
Let c = -2632/551 - -389108/80997. Let j = 0 + 1. Which is bigger: j or c?
j
Let f = -127 + 127.4. Which is smaller: f or 30?
f
Let p = 7.7 + -2.08. Let u = -0.62 + p. Which is greater: u or -0.2?
u
Let z be (-39 + 15)/(-1 - -2). Let c be 24/z*(-2)/802. Which is smaller: 1 or c?
c
Let o be (-2)/(-3) + 1268/(-1956). Let v be (309 + (-2 - 2))/(1143 + -2). Let b = v + o. Is -4 <= b?
True
Let w = 20280 + -20279.8. Is w greater than -0.0544?
True
Let w(i) = -7 - 8*i**2 - 6*i**2 - 11*i**2 + 24*i**2 + 2*i. Let p be w(0). Which is smaller: -23/4 or p?
p
Let t be (24/(-14))/((-8)/28). Suppose 3*n + 9 = -t, 5*m + 15 = -5*n. Let s be -1 + (-42)/(-9) + m/6. Is s at most as big as 66/13?
True
Let o be (621360/(-150))/((-6)/(-45)). Let n be (-6)/(-81) - o/486. Are n and 62 unequal?
True
Let h be (-2 + (-145556)/(-72780))/(3*(-2)/(-18)). Do 0 and h have the same value?
False
Let m be 10/4*(-37 - (-11451)/165). Let s be 165/2 - 3/6. Which is smaller: m or s?
m
Let f = 469.04 - 9.04. Let d = 484 - f. Which is smaller: 0.02 or d?
0.02
Suppose 50 = 2*f - 10. Let k(t) = -t**3 - 5*t**2 - t - 11. Let d be k(-5). Let x(u) = -u + 23. Let z be x(d). Which is smaller: f or z?
z
Let r be (1 - 2)*(-6)/1. Suppose -g - 5*a - r - 1 = 0, -2*g - 2*a = -10. Suppose 2*o - 20 = -4*y, -6*y = -9*y + 5*o + 28. Are y and g nonequal?
True
Let p(z) = 5*z**2 + 2*z - 1. Let t = -164 - -163. Let n be p(t). Which is greater: n or 5/2?
5/2
Let w(i) = -5*i**3 - i**2 + 5*i + 5. Let f be w(-1). Suppose -368 = -4*g + f*q, g = 3*g - 3*q - 186. Does g = 89?
False
Suppose -5*y + 1 + 13 = h, 3*y + 14 = 5*h. Let x(j) = j**3 + 6*j**2 - 8*j - 2. Let a be x(-7). Let d be 1 + 8/(-2) + a. Is y at most as big as d?
True
Let q(g) = -g + 16. Let z be q(12). Suppose y + z = -4*b - 8, -y + b = 2. Let k = 18 - 22. Is k > y?
False
Let k = -3002.3 + 2992.3. Is 56 < k?
False
Suppose 1 = -q, -3*q = -n + q + 4. Let m(y) be the first derivative of y**2/2 + 12*y + 8. Let x be m(-13). Are x and n nonequal?
True
Let d = -1662/7 - -67187/280. Let z be 14/24*((-18)/4)/(-1). Let j = d - z. Is 0 at most j?
False
Suppose 5*c + 9 = -3*a, 914 = 2*c - a + 911. Which is greater: c or -3/203?
c
Let v = 158.37 - 150.173. Let g = v + -0.197. Which is smaller: g or 3?
3
Let u = 20.059 - 0.059. Let a = -21 + u. Let m = 6.5 + -5.6. Which is bigger: a or m?
m
Suppose -1871 - 10242 = -65*q + 12262. Is -7 not equal to q?
True
Let u = -0.49 + 0.29. Let z = 4541 - 4691. Which is bigger: z or u?
u
Let y(c) be the second derivative of -c**4/12 - c**3/2 - 3*c**2/2 + 9*c. Let q be y(-4). Let a be q/(-10) - 4/(-20). Which is smaller: a or 1?
a
Let q = -9 + 51. Let l = q - 421/10. Let w = 1176441/11 + -106949. Which is smaller: l or w?
l
Let s be 9/(-2)*(-4)/(-6). Let b = -0.013 - 0.087. Let z = 7.1 + b. Is s equal to z?
False
Suppose 2*n = -6, -3*v - 5*n - 1094 = -5489. Is v smaller than 1469?
False
Let a = 65.7 + -70. Let v = -15.1 - -10.7. Let p = a - v. Is p equal to -3?
False
Let a be ((-51)/68)/((-2)/256). Suppose -7*f + a = -f. Are 20 and f equal?
False
Let b(h) = -13*h**2 + 27*h - 4. Let a be b(3). Let x = 81 + -118. Is x at least as big as a?
True
Suppose 3148 = 28*k + 2924. Which is greater: k or 151/16?
151/16
Let v(q) = 11*q**2 - 30*q - 307. Let f be v(6). Is f smaller than -88?
True
Suppose 0 = -3*w - i + 5, -2*i = 5*w + 3*i + 5. Suppose x - w*x = -2. Let d be (-129)/(-78) - (738/36 - 19). Is x at most as big as d?
False
Let n = 4.315 + -0.195. Let o = 3.9 - n. Let x = 0.12 + o. Is -36 at least x?
False
Let k(v) = 49*v + 206. Let r be k(-4). Let d = 1 + 8. Is d at most as big as r?
True
Let r be ((115/20)/23)/((-4)/(160/(-17))). Let q be 4 + 3 + -5 - 2. Is q >= r?
False
Let k = 13.359 + -6.359. Is 176.7 less than k?
False
Suppose 2*b - 237 = t, 0 = -5*t + 2*b - 157 - 1004. Let w be 1/(-6) + t/18. Suppose -2*r = -3*d - 31, -4*d = -5*r + 8*r + 47. Is d equal to w?
False
Let p be (0*1/(-10))/2. Which is smaller: 3/7822 or p?
p
Let q(b) = b**3 + 43*b**2 - 40*b + 1143. Let g be q(-45). Which is greater: g or -1110?
g
Suppose 0 = -4*g + 20, 3*g - 196 = -4*d - g. Suppose -15*m + d = -16. Are 12 and m nonequal?
True
Let k(u) = -u**2 - 32*u - 32. Let f be k(-1). Are 12/583 and f equal?
False
Let z(w) = 4*w - 19. Let b(v) = -4*v + 23. Let d(o) = -6*b(o) - 5*z(o). Let g be d(11). Is -48 bigger than g?
False
Let o be (-32)/10*16/(48/(-375)). Let v = -350 + o. Which is greater: v or 49?
v
Let x(s) = 7*s**3 - 7*s**2 - 13*s + 23. Let i(n) = -9*n**3 + 5*n**2 + 12*n - 22. Let u(r) = 3*i(r) + 4*x(r). Let w be u(14). Is w bigger than -1?
False
Let b be 13/((-104)/7256) + -4. Is -911 >= b?
True
Let r be (-60)/6 - ((-2210)/169 - -3). Which is smaller: r or 15/52?
r
Let l be 1 - 32 - (-4 + 0). Let x be -1*(12/(-54) + 3045/l). Let i = x + -89. Which is smaller: i or 21?
21
Let p = 2794767/413 - 6767. Which is smaller: 1 or p?
p
Suppose 24*x = 31*x + 7. Let s be 2/(-30)*-3*(-10)/90. Is s >= x?
True
Let c be -3*50/(-165) - (-4)/44. Is c greater than or equal to -3/5164?
True
Suppose -3*d - d + 56 = 0. Suppose f + l = 6*f + 5, 2*f + d = -2*l. Let j be (-2)/4 - 1/f. Which is smaller: j or -3/26?
-3/26
Let y = 63 + -49. Let p = y + 16. Let b = 31 - p. Which is smaller: b or -4?
-4
Let w = -1388 - -2775/2. Let l = 1 + -6. Let j = 14 + l. Do w and j have different values?
True
Let a = -107 + 110.9. Let i = -4.2 + a. Let r = 172 - 178. Which is smaller: i or r?
r
Let y be (-4)/(1*(-3)/(1 - -2)). Let u be 1/((-1)/(-88)) + y. Is u less than 92?
False
Let s(z) = -z**2 - z + 1. Let r be s(0). Suppose -r = -3*g + 2. Let b be (320/(-132))/(-20)*420/(-112). Is b bigger than g?
False
Let b = 14.012 + 0.988. Let h = b - 36.5. Which is bigger: 1/3 or h?
1/3
Suppose 7656 = -26*w + 38*w. Let t = 38921/61 - w. Which is smaller: 1 or t?
t
Let o = 141 + -195. Let y = 7 - 45. Let z = y - o. Which is bigger: 0.2 or z?
z
Suppose -4*d = -64 - 68. Let y be (d/(-44))/((-1)/(-528)). Let v be (-4)/(-18) - (-304)/y. Which is smaller: -1 or v?
-1
Let l be (-1)/(6/(-90))*(-3 + 0 + 5). Suppose 0 = -5*g - 30 + 415. Suppose 150 = 5*q + s, 4*q - g = q + 2*s. Is l greater than q?
True
Let s(u) = u + 64. Let d be s(-65). Is d not equal to -8/3611?
True
Let x = -1319.1 - -1285.1. Is 2/21 at most as big as x?
False
Let n be (-1)/2*(3 - 3). Suppose 4*x - x + 24 = n. Let u = -628.8 - -629. Which is bigger: x or u?
u
Let j = 1891 - 1890.7. Do -29 and j have the same value?
False
Let t = 8 - 15. Let u = t + 11. Let f = -319 - -318. Which is bigger: u or f?
u
Let f = 13.5 - -109.5. Let h = -111.9 + f. Let b = h + -11. Which is greater: b or -30?
b
Let t = -1/75166 + 115154315/225498. Let h = t + -200686/393. Which is greater: h or 0?
h
Let a be (6/56)/(7866/(-48716)). Let w = 1/322 - a. Let b(m) = m - 11. Let y be b(0). Which is smaller: w or y?
y
Let t(y) = -y**3 - 94*y**2 + 190*y - 192. Let u be t(-96). Which is smaller: -1/324 or u?
-1/324
Let l be ((-48)/(-304))/(34/40 - 1). Let d be -7*(108/(-28) - -3). Suppose -4*b = d + 2. Does l = b?
False
Suppose 5*k = -2*c - 435, 0*c - k + 221 = -c. Let l be (-72)/(-48)*c/(-6). Let d = -55 +