 27. Let u be v(-4). Let n be (-4)/((-36)/u) - -2. Are g and n unequal?
True
Let q = -255 + 219. Let b be 5 + q/48 + 86/(-24). Which is greater: b or -53?
b
Let k(n) = 27*n - 821. Let j be k(30). Let d(s) = -s**3 + 7*s**2 - 6*s. Let z be d(6). Do j and z have different values?
True
Let g be (182/273)/(4/(-30)). Which is greater: g or -42?
g
Let l = 1 - 2. Let q = l + 2. Let m = 3650 - 3665. Is m not equal to q?
True
Let v be ((-303)/(-4) + 0)*(64 + 4508/(-69)). Which is smaller: v or -117?
-117
Suppose 57*k + 8432 = 119*k. Is 674/5 at least as big as k?
False
Suppose 264 + 1170 = -2*u - 5*o, 4*o = -4*u - 2880. Let p = 673 + u. Which is smaller: -301/6 or p?
-301/6
Let x be (6/(-4))/(-40 + 5665376/141632). Which is greater: -2209 or x?
-2209
Let t = 1662 - 1659. Are t and -467 equal?
False
Let t = -17 - -15. Let s = -25 + t. Let l be (-315)/s - (-2)/(-3). Is 23/2 less than l?
False
Let p(d) = -25*d - 1. Let f be 1/(-3) + (-68)/(-51). Let u be p(f). Which is smaller: 0.2 or u?
u
Let s be (9/(-306639))/(6/18). Is s <= 0?
True
Let k be 19 - (-456)/96*-116. Is -513 at most as big as k?
False
Let h = 3.551 - -0.149. Let v = -0.21 + -2.49. Let p = h + v. Which is greater: p or -0.08?
p
Let a(z) = 9*z + 222. Let i be a(-26). Let v be i/54 + 296/36. Which is greater: v or 24?
24
Let j(k) be the first derivative of k**4/4 + 23*k**3/6 + 7*k**2 + 43*k + 45. Let y(t) be the first derivative of j(t). Let p be y(-7). Which is bigger: p or 65?
65
Let i = 0.091 - 0.006. Let f = i - 0.063. Let p = f - 0.022. Which is smaller: p or -22?
-22
Let r(z) be the second derivative of -z**4/6 - 6*z**2 + 26*z. Let y(f) = 5*f**2 - f + 36. Let j(w) = -8*r(w) - 3*y(w). Let x be j(-7). Does 17 = x?
False
Let z = 21472 + -21481. Which is greater: z or -231?
z
Let f = -235 + 73. Let q = -88 - f. Let i = q + -76. Is i at least 1?
False
Let j be 44033/44 - 4/(-16). Is 7005/7 >= j?
False
Let o(u) = -2*u + 7. Let h be o(-5). Suppose 0 = 5*p + 5*x - 3*x - 28, -2*p + h = -5*x. Suppose 5*b - 3*w = 393 - 376, 0 = 4*b - 4*w - 4. Are b and p unequal?
True
Let p be ((-5)/455*-7)/(5/2100*2). Which is bigger: 20 or p?
20
Suppose 4*i - i + 566 = 5*m, -2*i = 5*m - 581. Suppose 14*n = m + 2335. Is 176 equal to n?
False
Suppose -185 = -v - 3. Suppose 5*d + 79 = -2*k - 112, 2*k + 2*d + v = 0. Which is greater: k or -89?
k
Let t be 0*(-1)/(-2) + -1. Let g be 1 - (13/416)/(202/(-68) + 3). Is g less than t?
False
Let a = 6.238 + -5.238. Which is bigger: a or 1295?
1295
Let c = -9125 + 9147. Which is smaller: 36 or c?
c
Let q = 5905 + -5843. Is q less than or equal to 41?
False
Let p be (-10)/(-183)*-3*18/(-15). Let i = p + -719/244. Which is smaller: -2/3 or i?
i
Let p = -926 - -730. Let n = 39.1 + -41.1. Are n and p equal?
False
Suppose 5*h - 330 = 35. Let q = h - 71. Suppose -4*s - 94 = -5*f - s, -q*s - 91 = -5*f. Is 15 bigger than f?
False
Let x = 22941 - 23015. Is x at least 17?
False
Let w = -2234.353 - -10.353. Which is smaller: w or 0.1?
w
Suppose 31515 - 7899 = -164*h. Let c(a) = -2*a**3 - a - 1. Let q be c(-5). Let s = h + q. Is s less than 110?
False
Suppose -g - 20581 = 4*p + 3*p, 3*p = -g - 8821. Is p <= -2940?
True
Suppose 10 = -4*y + 6. Let a be (y/2)/((-29)/(-348)). Does a = 3/2?
False
Let z(k) = 29*k + 324. Let l be z(-11). Let g be ((-12)/(-5))/((-21)/35 + l). Which is bigger: g or -2/7?
g
Suppose -41*n + 99 = -4*l - 36*n, 4*n = -5*l - 175. Which is greater: l or -32?
l
Let v be 108348/120 + 7/70. Let n be 8/(-20) + v/(-5). Which is bigger: 0.1 or n?
0.1
Let p = 3550 - 3520. Is p at least 26?
True
Let o = -7230 - -7242. Which is smaller: 382/35 or o?
382/35
Suppose 2*f = -4*h - 6000, 4*h - 4*f + 3005 = -3007. Which is greater: -1500 or h?
-1500
Let p = -0.0487 + 2.0487. Which is greater: 3.6 or p?
3.6
Let l = 17.025 - 32.025. Which is smaller: l or 112?
l
Let y = 13212 + -26001. Which is smaller: -12790 or y?
-12790
Let g = -890.376 - -880.4. Is 0.1 at least g?
True
Suppose -5*w - 7 + 25 = -4*f, -12 = -w + 5*f. Suppose 3*c - w*z = 1, -5*z = -5*c - 4*z + 11. Let g be -3*(-6)/63 - c/(-14). Is 1/20 >= g?
False
Let z be ((-20)/25)/(2/10). Let i(o) = -2*o**2 - 5*o - 13. Let x(s) = s - 1. Let y(t) = i(t) - 5*x(t). Let m be y(z). Which is smaller: 2 or m?
m
Suppose -4*u + 7 = 5*o - 0*o, -3*o + 3*u = -15. Let x be (3/(-6) + o)*2. Suppose p - x = 6*p. Is -18/11 less than or equal to p?
True
Let x(r) = r**2 - 6*r - 7. Let t be x(7). Suppose t = -d - 3, 2*d - 2 = -h - 6. Let m be h/7 - (-109)/(-259). Which is greater: m or 0?
0
Let b(d) be the third derivative of d**6/120 - 7*d**5/60 - 7*d**4/8 + d**3/6 - 2*d**2 + 22. Let y be b(9). Which is bigger: -20 or y?
-20
Let h be 9/(-28 + 10) - (-2998)/4. Which is bigger: 2991/4 or h?
h
Suppose -74*l - 20 - 4 = 50. Which is smaller: l or -9/2512?
l
Suppose -11*i = 149 - 1590. Suppose -i*c = -132*c. Let b be 36/14*(-1)/(-2). Which is greater: b or c?
b
Let y be 2*(-9)/(-54)*0. Let s be ((2647 + 1)/(-4))/513. Let k = s - -32/27. Which is smaller: y or k?
k
Let a = 1.69 - 21.49. Let j = -19.7 - a. Which is smaller: j or 170?
j
Let j = 0.05149 + 11.94851. Does j = -38?
False
Suppose 11*x = 7*x + 128. Suppose 4*f - x = 2*i - 0*i, 4*i + 15 = f. Suppose -f*r + 22 = -8*r. Which is smaller: -23 or r?
-23
Let q be (0 - 2) + (-1584)/(-286). Suppose 4*z + 3*s - 15 = 0, 13 = 5*z + 2*s - 4*s. Which is smaller: z or q?
z
Let g = -2.53 + -42.47. Let u = 70 + g. Is u at least as big as 1?
True
Let u = -409 + 408.9344. Let t = u - -0.0426. Does t = -3?
False
Let n = 1011/2 + -2021/4. Is n bigger than 7543?
False
Let f = 74.5 + -74.3. Which is smaller: f or -3000?
-3000
Suppose 0 = -12*c - 4*c - 1184. Let d = 77 + c. Suppose 17*w - d = 14*w. Which is bigger: 8/17 or w?
w
Suppose 44 = -i + 8. Let f be 9/(-12)*32/i. Let a be 22 - 11 - (-156)/(-14). Which is smaller: a or f?
a
Suppose 16*x - 56*x - 62000 = 0. Is x greater than or equal to -1550?
True
Suppose 4*t + t - l = 19, -l - 16 = -4*t. Suppose -3*i - k + 1 = 0, -i - t*i - k = 0. Let g be (1/i - -2)*(10 + -9). Is 1/31 greater than g?
False
Let n = 245.0429 + -0.0429. Let p = n - 251. Which is smaller: p or 3/4?
p
Let y be (3 + -1 - (6 - 2)) + -75. Let j be -3 + 6 + 1 + 3. Let a be 0 + (-541)/j + (-2)/(-7). Do y and a have the same value?
True
Let b(x) = -350*x**3 + 7*x**2 + 3*x - 9. Let y be b(-3). Let t be 1929/y + 2 + (-22)/10. Is 1 not equal to t?
True
Suppose 5*j - 5*o - 814 - 51 = 0, 4*o - 716 = -4*j. Is 139 at most j?
True
Let s be (2*-36)/(3 - 2). Let c be 28/6 + (-24)/s. Suppose -4*r = -c*r - 1. Is r bigger than 2/45?
False
Let y = -4496 - -4603. Which is smaller: y or 123?
y
Let r be 1/(14/16 - 1). Let g be -2*(4 - (-286)/(-71)). Let n = g + -178/639. Is r bigger than n?
False
Suppose 15*i - 19*i = 36. Let k(x) = -x**2 - 13*x - 14. Let q be k(i). Suppose y = -u - 3*y - 29, -2*u + y - q = 0. Which is smaller: -14 or u?
-14
Let t = -858 - -610. Let o = t - -247.9. Which is bigger: 99 or o?
99
Let i(g) = 13*g - 207. Let b(o) = -13*o + 209. Let r(u) = 5*b(u) + 6*i(u). Let p be r(15). Is -5/9 > p?
True
Let b be 1/6 + (-3940)/24 + 0. Which is greater: 3 or b?
3
Let s be -176 + 184 + -2 + (-702)/74. Is -3 smaller than s?
False
Let s(v) be the first derivative of 3*v**4/4 - v**2 + v + 13. Let u be s(1). Let g be (-22 - -25)/(0 - (-447)/u). Is g less than -1?
False
Let j = 201 + -236. Let c be (77/(-40) - -2)/((-98)/j). Is 0 less than or equal to c?
True
Let n = 2209.8 - 2210. Let z = -0.0357 - 203.9643. Which is smaller: z or n?
z
Let z = 15151/15 - 3839/3. Is -271 at least z?
False
Let x be 4/(40/(-1835))*-2. Let i = 290 - x. Is -75 at most i?
False
Let d = 60 - 245. Let n = 184.98 + d. Which is greater: -0.04 or n?
n
Let n be 2/10*(-42 + 42). Is -14/159 at least as big as n?
False
Let a = 1/145 - 11752/1015. Which is greater: -12 or a?
a
Let d = -6789 + 130251/19. Which is bigger: 66 or d?
d
Let a be (5/10 - (-6)/4) + (-7)/(-7). Which is bigger: -46.8 or a?
a
Let g = 7/281 + 17689/562. Suppose -2*p - 3 = 121. Let v be (p/(-3))/(2/3). Which is smaller: g or v?
v
Suppose -5*w = t - 51, 4*w - 34 = -4*t + 10. Let l(b) = 7*b - 79. Let j be l(w). Does -8 = j?
False
Suppose 98*m = -440 - 50. Suppose x + 2*w = -3 - 0, w = -3. Let l = -4 - x. Is l at least as big as m?
False
Let v(r) = 2*r + 45. Let l be v(-20). Supp