27 - 25. Let w(k) = -18*k**3 + 17*k**3 + 0 - 8 - 16*k - 15*k**q. Let m be w(-14). Which is bigger: m or 21?
21
Let p = -1523 + 1750.8. Let c = p - 228. Is c < 39?
True
Let j = -95902 + 96410.97. Let l = j + -509. Which is smaller: l or -0.1?
-0.1
Suppose -6213 - 23562 = -25*u. Suppose 0*g - 3*g = u. Is -397 >= g?
True
Let y be 3/7 - 24/56. Suppose y = 18*z + 14 + 220. Is z less than -6?
True
Suppose -4*r - 3*d = -2096 + 287, 0 = 4*r + d - 1803. Let q = -954 + r. Does q = 0?
False
Suppose 2*p - 66 = -16. Suppose 34*w - p*w + 324 = 0. Which is bigger: -35 or w?
-35
Let q be (-92)/(2*-1) + 2. Suppose 25*v - 24*v + 102 = 2*u, -v = 4*u - 192. Let c = q - u. Which is greater: 3/7 or c?
3/7
Let r(f) = -2*f**3 + 58*f**2 - 51*f - 38. Let u be r(28). Is u greater than 100?
True
Let l = 0.164 - 22.164. Which is smaller: -100 or l?
-100
Suppose 14*l - 1260 = -4*l. Let a = l - 85. Is a at most as big as -12?
True
Let v be (((-30)/4)/((-22)/(-132)))/(4/(-108)). Are v and 1214 non-equal?
True
Let r = 8603 + -8613. Let u(b) = b + 2. Let f be u(-5). Let k be (-6)/f + (-13 - -1). Is k <= r?
True
Let h(d) = 149 + 0*d**2 - 9*d**2 + 8*d**2 - d + 7 - 13*d. Let u be h(12). Which is smaller: u or -157?
-157
Let r be (-2 + (-12740)/(-16))/((-2)/8). Let n be (-52)/(-39) + 4200/r. Which is greater: n or -1?
n
Let s be (40/(-25) - (-4)/10)*-10. Suppose -3*g + 6 = -4*f - 22, -4*f + 4*g - 32 = 0. Let w(o) = o**2 - 4. Let i be w(f). Are i and s unequal?
False
Let u(s) = -10*s + 14. Let l be u(-8). Let q = l - 164. Let m = q + 352/5. Which is smaller: m or 5?
m
Let g be (5782/14)/((-1)/1). Is g > -408?
False
Let u be (127 + 5)/(-6) - 3. Let i be (-10)/u + (-4562)/(-20). Which is bigger: 229 or i?
229
Let l = -200 + 202.4. Let c = -2.5 + l. Let a = 24 - 14. Which is greater: c or a?
a
Let r be (-4182)/(-16) + -19 + 1639/88. Are 1308/5 and r unequal?
True
Let h = 513 - 3582/7. Let k be 3*-1 + 7 + 4/2. Suppose k*w + 9 = 15*w. Which is smaller: w or h?
w
Suppose -7 = -4*c + 13, 1754 = 4*f + 2*c. Let o(h) = -189*h + 59. Let g be o(-2). Which is greater: f or g?
g
Let f be (-3 + 7)*1/2. Let p be f/((-2)/(-3)) + 86. Which is smaller: p or 90?
p
Let p = 3217 + -3216. Which is bigger: 36/119 or p?
p
Let n = 215 + -472. Let u = n - -130. Which is bigger: -128 or u?
u
Suppose -123 = -15*n - 78. Suppose -n*u + 145 = 442. Which is smaller: u or -98?
u
Let t(o) = -3*o - 10. Let b(w) = w. Let s(v) = -2*b(v) + t(v). Let c be s(-2). Suppose c = -4*d + 6*d - 4. Which is bigger: d or 1?
d
Suppose t - 4*t = l - 41, 2*l - 12 = -t. Let k(x) = 124*x**2 - 16*x + 26. Let h be k(2). Let m be (-18)/21*h/(-30). Is m >= t?
True
Let w be 162/21 + (-14)/(-49). Let y = w - 58. Let c be 18/(-18) + y/(-38). Which is bigger: -1 or c?
c
Let p(a) = -a - 13. Let c be p(-18). Suppose -c*x - 53 - 137 = 0. Which is smaller: -37 or x?
x
Let t(n) = 67*n + 1181. Let b be t(-44). Which is bigger: b or -1769?
b
Let j = -5.49 + 4.39. Let c = j - -1.1. Suppose 0 = -0*k - 2*k - 22. Which is greater: c or k?
c
Let x be (-4 - 1)*(-22275)/(-1375). Which is greater: 0 or x?
0
Let n = 3451 - 3695. Which is bigger: 1 or n?
1
Let h be (-96)/(-72)*6/2. Suppose -h*u + 110 - 102 = 0. Which is greater: u or 94?
94
Suppose f = 5*u - 165, 433*u - 395 = 2*f + 436*u. Let z be (-1 - -1) + 191*-1. Which is greater: f or z?
f
Let x = -52354929 - -4607314359/88. Let s = x + -916. Which is greater: 1 or s?
1
Let y(f) = -f**2 - 55*f + 912. Let u be y(13). Is 44 < u?
False
Suppose -4*t - 365 = -5*x - 335, -2*t + 12 = 2*x. Which is greater: t or -1/542?
t
Let y be ((-13)/(-2))/(11/(-10) - 168/(-105)). Is y smaller than 11?
False
Suppose -4*v - 32 = 2*p, -3*v = -9002*p + 9000*p + 10. Suppose 4*g + 4*w + 12 = -0*g, 0 = g - 3*w + 19. Is g at most p?
True
Let p(h) = h - 1. Let t be p(13). Let f be 772/(-3) + 4/t. Let k be (-512)/f + 4/(-6)*3. Which is smaller: k or 1?
k
Let u = -67 + 34. Let y be (-1 - (-60)/24)*186/(-9). Which is greater: u or y?
y
Let t be (36/11)/18 - (-2)/(-11). Which is bigger: t or 1/1794?
1/1794
Suppose 1411 - 25097 = -13*f. Does f = 1822?
True
Let t(c) = -c**3 + 14*c**2 - 25*c + 14. Let w be t(12). Let r(a) = 10*a - 20. Let s be r(w). Which is smaller: 1/388 or s?
s
Let j = -50 + 45. Let p(i) = -i**2 - 6*i. Let n be p(j). Suppose 424 - 119 = -n*t. Which is bigger: -60 or t?
-60
Let l be -7 - (-238)/(35/(-5)). Suppose 126 = -0*n + 7*n. Let a be 2/(-3) + (-762)/n. Is l at least a?
True
Let n be (-4 + 0 - (-296)/72)*75/(-10). Suppose 3*a - 1 = 2*a. Let u = a - 3. Which is smaller: n or u?
u
Suppose -3*l + 4*l = 2*q - 16, 2*q + 2*l = 10. Suppose 37 = q*r + 65. Which is greater: -31/8 or r?
-31/8
Let m = -3828 + 3819.105. Which is smaller: -2 or m?
m
Let q be (-469620)/(-112) + 69/(-1932). Do 4193 and q have the same value?
True
Let a(j) = -j**3 - 19*j**2 + j - 40. Suppose -4*i - 3*i = 133. Let s be a(i). Which is greater: s or -62?
s
Let o = -1062 - -682. Let d = -386 - o. Suppose 0 = a - 5*a - 28. Is a at least as big as d?
False
Let w be 200940/336 - ((-27)/(-21) + -1). Let d = -618 + w. Is -19 greater than d?
True
Suppose -4*j = 4*f + 4, 5*f - 2*j - 6 = 24. Let z be (18*24/180)/(9/45). Which is greater: z or f?
z
Suppose -2 = 2*j, 3*p = -0*j - 4*j - 955. Is -315 smaller than p?
False
Let y = 4 + -1. Suppose 146*v + 87 = 149*v. Let r = -23 + v. Is y at least as big as r?
False
Let t = -0.28 - -0.56. Let i be (30/70)/(3/2). Which is smaller: i or t?
t
Let w = 0.021 + 38.979. Let n = 27 - w. Let k = n + 11. Is -2 at most as big as k?
True
Suppose -27*r = 13419 - 13392. Do r and -13/1189 have different values?
True
Let z(q) = q + 4. Let d be z(0). Suppose -5 = -d*f - f. Suppose 0 = -14*i + 15*i - f. Which is smaller: i or 4?
i
Let l be 1275/((1 + -3)/(4/(-3))). Let p be 55/(-8)*(-5660)/l. Let r = -185/4 + p. Which is bigger: r or 1?
1
Suppose 3*m - 4*m = 5, 27 = o - m. Let h = o + -36. Is h at least as big as -16?
True
Let g = 70 + 14256. Is 14327 <= g?
False
Suppose 2*l - 5*v = -180, 0*l - v = -4*l - 396. Let h = l - -399/4. Is h <= -2/11?
True
Let o be 51/(-9) - (6/12)/(4/(-48)). Is 65/102 less than or equal to o?
False
Let q = -10 + 2. Let p = -107.4 - -118. Let s = 10.5 - p. Is s != q?
True
Suppose 3*x - 11 = 5*f, f = -7*x + 2*x - 19. Let s(b) = 55*b - 4. Let u be s(1). Let v be u/(-12) + -6 + 5. Is f less than or equal to v?
False
Let g = -9311 - -11278. Which is bigger: 1968 or g?
1968
Let q = -219 - -168. Let n = 1.8 - -34.2. Let a = n + q. Is a bigger than 0?
False
Let t(m) = -13*m - 35. Let v(u) = 12*u + 35. Let f(c) = 2*t(c) + 3*v(c). Let l be f(-5). Let q be (2 - 23/(-7)) + l/(-5). Is 7 greater than q?
False
Let f = 804 - 2889. Which is smaller: f or -2086?
-2086
Let p = -67222/7 - -9603. Is p greater than -367.2?
True
Let s = 0.158 - -1.292. Let c = 25.55 + s. Is c at most 1/2?
False
Suppose -5*n + 511*z = 513*z + 6503, -6*n - 7788 = 5*z. Are n and -5215/4 non-equal?
True
Let w = -9.14 - 161.76. Let m = w + 171. Which is bigger: 2/35 or m?
m
Let m = -234 - -316. Let r = -183 - -183.1. Is r bigger than m?
False
Let p be 3 + 6 + -7 + (-71)/32. Let w(a) = 2*a**2 + 103*a + 423. Let y be w(-47). Which is smaller: y or p?
p
Let c be (3/(-492))/((-13)/52). Let i = -29/2173 - c. Is i < -1?
False
Let z(n) = n**3 + 48*n**2 + 6*n + 751. Let u be z(-50). Which is smaller: -4550 or u?
-4550
Let r be (32/(-61))/(10/(-112)) - (105 - 99). Which is smaller: 0 or r?
r
Let c be 2/(-9) + (-4)/(-18). Let k be (292/40*1)/(2/(-16)). Let p = -4974/85 - k. Which is smaller: p or c?
p
Let z be (714/408)/(1/4). Suppose -b + 2 = -0*b. Suppose z - b = 5*p. Which is smaller: -2/143 or p?
-2/143
Suppose -5*u - 18 = -11*u. Suppose -4*r + 27 = u*x, 5*x - 2*r - 85 = -14. Suppose -9*o + 8*o = -x. Which is bigger: 14 or o?
14
Suppose 5*a + 135 = 4*i, 5*a - 23 = 3*i - 158. Which is smaller: a or -6?
a
Let b = -692/15 - -33899/735. Let v = -1997 + 1998. Which is smaller: b or v?
b
Let s = 10638 + -1297839/122. Suppose -3*a = 6, -8*u + 2 = -4*u - 3*a. Which is smaller: u or s?
u
Let q = 154/65 + -101577/42835. Which is smaller: -1 or q?
-1
Let o be (-6)/4*258/27. Let c(f) = f**3 + 4*f**2 - 12*f - 62. Suppose k + 32 = -7*k. Let m be c(k). Which is bigger: m or o?
m
Let r(z) = 3*z - 66. Let v be r(24). Suppose v*j = -257 + 221. Is -16/3 at least j?
True