 -h - 4. Let z(f) = -7*f - 6. Let m(i) = 6*l(i) - z(i). Let a(r) = -r**3 - 12*r**2 + 8. Let w be a(-12). Let k be m(w). Which is smaller: k or -11?
-11
Let v(f) = 2*f - 8. Let z be v(4). Suppose -3*n - 24 = 4*g - n, z = -g + 3*n + 1. Let r be (-2)/10 - (g - (-1323)/(-140)). Which is bigger: r or 13?
r
Suppose -78*u - 88999 = 99*u - 537163. Which is bigger: u or 7597/3?
7597/3
Let n(c) = -3*c - 34. Let s be n(-11). Let o(j) = 22*j - 2. Let d be o(s). Let t = -12 - d. Is 11 bigger than t?
False
Let h = 0 - -1. Let o be (-68)/(-18) - (-42)/189. Let u be (-375)/(-92) + -4 + o/(-16). Is h bigger than u?
True
Let n = 830 + -818. Let d be ((-21)/(-154))/(n/18). Are d and -1 nonequal?
True
Suppose 0*m + 2*m = -78. Let p = 2302 + -2345. Which is greater: p or m?
m
Let z(a) = -413*a + 11372. Let u be z(20). Which is bigger: u or 3113?
3113
Let t = -1114.7 + 1112.71. Which is greater: -4/19 or t?
-4/19
Let f(t) = 2*t + 16. Let h be ((-18)/15)/(10/(-75)). Let r be f(h). Let q = r - 54. Which is smaller: -21 or q?
-21
Suppose 712 = 38*o - 34*o. Suppose -3*l = -172 + o. Is -2 at least l?
True
Let t = 168 + -136. Let i = t + -36. Which is smaller: -21/8 or i?
i
Let d = -3916 + 3922. Which is smaller: d or 160?
d
Let h = -464 - -674. Let l be -45*(-4 - (-852)/h). Are 0 and l equal?
False
Let s = -17 + 7. Let d be 1/3*6/s. Let b(r) = 9*r - 27. Let g be b(3). Which is smaller: d or g?
d
Let r be -6 + ((-10)/5 - -3) + -299. Let t = -303 - r. Do 2/167 and t have different values?
True
Let i be -50 + 50 + (1 + 2)/1. Let c be (-581)/280 + i - (-1)/(-8). Which is greater: c or 2?
2
Suppose -3*y + 3*b = 30, -2*y - b - 10 = y. Suppose -m = -13*t - 75, 50*m - 53*m + 2*t = -77. Let u be ((-8)/(-90))/(m/(-5) - y). Is u greater than -19?
True
Let u(n) = -n**3 - 5*n**2 - n + 1. Let j be u(-5). Let d(p) = p**2 - 4*p + 6. Let h be d(j). Suppose 112*x - 98*x - 266 = 0. Which is smaller: x or h?
h
Let c be 3672/(-1072) - -5 - 2. Which is greater: c or 1?
1
Let v = 116.843 + -123.54. Which is bigger: 2 or v?
2
Let b = -4610190809/585 + 7880671. Let p = 4/65 - b. Let o = -1 + -2. Which is greater: o or p?
p
Let i(z) = -4*z**2 - 7 - 8*z + z**2 + z**3 - 3*z**2. Let q be i(7). Let p = 4226.5 - 4225.5. Is q less than p?
True
Let g be (120/80)/(1 - 1905/(-12)). Suppose 0 = 4*n + 5*u - 5 + 19, 5*n - 2*u = -1. Which is bigger: g or n?
g
Let m = -0.0167 - 1.2453. Let v = 0.262 + m. Is -44 less than v?
True
Let d = -3478 + 3450. Does 42 = d?
False
Let v = -36507 + 401857/11. Is v > 24?
True
Suppose 0 = -3*l - 4*i - 31, -2*i - 3 = 5. Let o(m) = m**2 + 14*m + 47. Let s be o(l). Is 4 at most s?
False
Let q(y) = 1 - 1 + y**3 + 11*y**2 + 9 + y + 5. Let z be q(-11). Let l = -219 - -218. Which is bigger: l or z?
z
Suppose -5*h = -2*b - 72, -8*h = -3*b - 6*h - 86. Let c = -24 - b. Suppose -3*v + 7*u - 2*u = -20, -2*u - c = 0. Is 5 < v?
False
Let y be -5 + (4/(-4) - (-4 + -4 + 2)). Which is smaller: y or 2/14845?
y
Let a = 21219 - 15505. Which is smaller: a or 5718?
a
Let j = -4.665 - -5. Let k = j - 0.045. Let y = k - 0.49. Which is greater: -0.06 or y?
-0.06
Let n = 57 - 63. Let r be 1 - (8 + n) - 42/(-15). Suppose -1 = -5*f + y - 2*y, 0 = 2*y + 8. Is r equal to f?
False
Let q = -30289829137/1255620 - 30162097313640853/619648470. Let j = 48700266 + q. Let r = -1/252 - j. Which is bigger: r or -1?
r
Suppose -364*f = -5*i - 365*f - 30150, 0 = 4*i - 5*f + 24120. Is -6028 < i?
False
Let b = 78 + -116. Let f = 39 + b. Let u = f + -47. Which is smaller: -45 or u?
u
Suppose 0 = 9*r - 11*r + 12. Suppose 0 = 3*f - r - 6, -3*f = -4*a. Let u(g) = -5*g - 1. Let h be u(-1). Is h bigger than a?
True
Let r(y) be the second derivative of 0 - 2/3*y**3 + 5*y + 29/2*y**2. Let k be r(7). Which is smaller: k or -2/17?
-2/17
Suppose -17*o = 5*o - 3278. Let s = 9 - o. Which is greater: -139 or s?
-139
Let w = -28416 + 2756316/97. Is w less than 2?
True
Let x = -2.012 + 2. Let f = 10.502 + -20.49. Let q = x + f. Is q at most 4?
True
Let x = 29/40 - 9/8. Let m = -150 + 130. Let k be m/(-28) - (-10)/35. Which is smaller: x or k?
x
Suppose 264 = -8*y - 80*y. Let z(f) = -f**3 - 3*f**2 - 3*f. Let d be z(-2). Suppose 0 = 4*x - d*x + 2. Which is smaller: x or y?
y
Let j(b) = 39*b - 271. Let m be j(7). Let s be (-1508)/(-18) + m/9. Which is smaller: 85 or s?
s
Let m be 2/9 + (-237)/(-27). Let u(q) = 5*q**2 - 10*q + 24. Let k be u(3). Suppose -k = -5*b - m. Which is greater: b or 8?
8
Let x be ((-12)/(-21))/((-6)/(-3192)). Which is smaller: x or 302?
302
Let m = 204 + -204. Suppose m*c = 5*x - 2*c - 1048, -4*x - c = -841. Which is smaller: x or -0.2?
-0.2
Let i = 23 - 24. Let j = -287711/216 + 1332. Let o = 91/3672 + j. Which is smaller: i or o?
i
Let c be (-45)/30*(-1288)/(-6). Let i = 268 + c. Is -53 greater than i?
True
Suppose -h + 380 - 121 = 5*w, -4*w + 908 = 4*h. Are 221 and h nonequal?
True
Let a be (-20)/30 - 14/6. Let z be a/6*((-74)/22 - -3). Is z bigger than -1?
True
Let h(p) = p**3 - p - 3. Let m be h(0). Let z = 13/1883 - -3545/32011. Which is smaller: z or m?
m
Suppose 30*x - 66 = 28*x + 5*w, 5*x - 4*w - 148 = 0. Suppose 4*s + 4*j = -x, 0 = 2*s + j - 0*j + 12. Which is bigger: -6 or s?
s
Let s(i) be the first derivative of 4*i**2 - 6*i - 10. Let g be s(6). Let k = -41 + g. Is -2/23 greater than or equal to k?
False
Let n be 0/(-11) + -2 + 3/3. Let o(t) = 2*t**2 + t + 1. Let y be o(n). Suppose -4*f = 3*g - g, y*g = 4*f. Is -4/71 less than f?
True
Let k(m) = -3*m - 21. Let j be k(-4). Let b(w) = -83*w**2 - 6*w - 21. Let i be b(j). Let v be (8/i*3)/((-4)/10). Is v at most -1?
False
Let q = -13393 + 13392. Is q > 1/1200?
False
Let u = -74 - -88. Let f be (2/5)/(u/35*-3). Let m = 4.16 + -4.1. Which is bigger: f or m?
m
Let c(z) = z**3 + 2*z**2 + z. Let t be c(-1). Let j be 470/15 + (-2)/(-3) + t. Suppose -4*k - 2*m = -32, -3*k - 5*m + j = -k. Which is smaller: k or 3?
3
Let o be ((-331)/5)/((-18)/(-10) - 1). Let q = -82 - o. Let i be (-2 - -2) + 3 + -2. Which is smaller: i or q?
q
Let h(v) = -33*v - 15. Let i be 6/(-9)*(-9)/(-2). Let a be h(i). Let t be 2/(-8) - 203/a. Is t <= -4?
False
Let c = 9035 + -9035. Is c less than or equal to 2/3469?
True
Suppose 3*u = 3*d - 18, 0 = 45*u - 48*u - d + 2. Is u equal to 3/355?
False
Let l = -5824.27 + 5875. Let w = 1.27 + l. Let m = w - 57. Is 1 not equal to m?
True
Let s be (-500)/(-60) + -11 + 3. Is s equal to 419?
False
Let f = -2322 + 1685. Is -637 less than or equal to f?
True
Let b = 1.311 - 0.45. Let u = -3.51 + 3.571. Let g = b - u. Is -3 <= g?
True
Let p be 59427/14856 + (5 - (8 + 1)). Is -1 >= p?
False
Let a be 93/19 + 34/323. Let p be (-3 - -9)*10/15. Which is greater: a or p?
a
Let l be -1*(6/(-8))/((-10)/840). Let d be (-11 + -13)*2/l. Are 0 and d equal?
False
Let r = -84983/2427 - -851171225/10261356. Let o = r + -671/14. Which is bigger: 0 or o?
o
Let q = -37639 + 37632. Let c = 1275 + -6413/5. Which is bigger: c or q?
q
Let t(k) = -k - 2. Let c be t(-4). Suppose -c*p = -5*p. Let z = -250 - -4742/19. Is p greater than z?
True
Let k = 4 - 0. Let z = -4.561398 - 0.038602. Which is greater: k or z?
k
Let g be 1130/168*(-2 - (-63)/30). Let m be 2/(-12)*(-11)/(-4). Let j = g + m. Is 0 smaller than j?
True
Let b = 7/4707 - 61742/32021721. Are 0 and b equal?
False
Let t = 15273 + -15329. Is t smaller than 53?
True
Suppose 4*d - 2 = 14. Suppose 2*o = -g + 6*o - 3, d*o = 4. Is -2/123 less than g?
True
Let u be ((-315370)/183)/((-4)/(-6)). Is -2583 at most u?
False
Let n = 16.8 - 4.3. Let v = 43 + n. Let j = 56 - v. Is 3/7 equal to j?
False
Let m(t) = 1016*t**2 - 21*t - 42. Let g be m(-3). Is g bigger than 9165?
False
Suppose -668 - 88 = -7*w. Which is smaller: 1/9 or w?
1/9
Let i be 0/((-24)/(-8) - (0/(-2) - -7)). Let a = -16730/2977 - -73/13. Which is smaller: i or a?
a
Let m = -26754513/568 - -47103. Is m <= 0?
True
Let w = -9999 + 9997.09. Is w < -2?
False
Let w(h) = -8*h**2 + 2*h + 4. Let k be w(4). Suppose -8075 = 85*v + 6970. Let g = v - k. Is g bigger than -61?
False
Let i(j) be the first derivative of -3*j**2 - 81*j + 24. Let g be i(-29). Which is bigger: g or 92?
g
Suppose 30*g - 154 = 37*g. Let s be -7 + 6 - -4 - 8/g. Is 2 at most as big as s?
True
Let w(q) = q**3 - 3*q**2 + q - 2. Let y(g) = -7*g + 3. Suppose -2*c + 5 = 5. Let f be y(c). Let n be w(f). Whi