 = -w**2 - 48*w + 99. Let s be n(-50). Let g be t(s). Which is greater: -210 or g?
g
Let z be 74/1 - (-26 - -30). Suppose -z*l = -75*l. Let u be (-185)/85 + l + 0 + 2. Are -1 and u non-equal?
True
Let x = 846.4 + 9.6. Let a = x - 457. Is a greater than 1?
True
Suppose -m = 5*k - 6 + 3, -2*m + 2*k - 6 = 0. Let z(w) = -4*w**2 + 23*w + 52. Let v be z(m). Is 2 at most v?
False
Let d be (4/(-6))/(194/66 - 3). Suppose d*u + 1324 = -1151. Let y be (32/(-620))/(3*10/u). Which is smaller: -1 or y?
-1
Let j(v) = -v**3 - 8*v**2 - 23*v - 111. Let n be j(-7). Is n > 28/235?
True
Suppose 5*f - 60 = 2*f. Let g be ((-16)/f)/((-1)/(-10)). Suppose -19*u + 352 - 632 = 21*u. Which is greater: g or u?
u
Suppose -2*b - 3987 = -5*k, -2*k = -46*b + 48*b - 1578. Is 790 at most k?
True
Let r be (-2 + 1 - (-3 + -4)) + (-28260)/4200. Which is smaller: r or -1?
-1
Let y = -159 + 293. Let s = 217 - y. Is s smaller than 1?
False
Let l = -65 - -452/7. Let d = 1168063/74701 + -1/6791. Let f = d - 721/44. Which is bigger: l or f?
l
Suppose 10*b + 38 = -9*b. Let h be b - -58*(-5)/(-160). Which is greater: h or 1?
1
Suppose -26*d = -55 - 58 - 43. Are d and 83/15 unequal?
True
Suppose 0 = 3*n + 2*o + 2694, -5*o = 62*n - 61*n + 898. Which is greater: n or -7185/8?
n
Suppose -5*t + o + 84 = 0, 3*t + 32*o - 40 = 30*o. Are t and -75 equal?
False
Suppose 5*c = -20, -10 - 3 = 3*w - 2*c. Let v be (w/(-588))/(2 - (-58)/(-32)). Which is greater: 1 or v?
1
Let d be -108*(-820)/(-6260) + 14. Is d equal to 1?
False
Let d = -99 - -47. Let x = d - -58. Suppose 3*f + 108 = -x*f. Which is smaller: -14 or f?
-14
Let w = -45 - -48. Let o be ((-7)/w)/((-17)/(-21)) + 3. Let g = 0.031 + -0.031. Which is smaller: g or o?
g
Let v be (205 - 190) + (-13 - 1). Is v bigger than 2/647?
True
Let n(b) = b**2 + 23*b + 124. Let z be n(-16). Suppose -8*q + z*q = 3*y - 144, q + 36 = -2*y. Is -27 at least as big as q?
True
Let f = -1.627 - -1.727. Which is bigger: f or -1/479?
f
Let s(k) = 3*k + 33. Let p be s(-11). Suppose -5*u - q + p*q + 256 = 0, 2*u - q - 108 = 0. Suppose 0 = -30*r + 34*r - u. Is 13 < r?
False
Let q = 13.5 - 12.5. Let h be 7/(71820/(-4149)) - 2/(-5). Is h not equal to q?
True
Suppose 157*r - 11*r = 84*r - 125240. Which is greater: r or -2019?
-2019
Let n(k) = -2*k**2 - k + 245. Let l be n(12). Let t(y) = -y**2 + 4*y + 13. Let f be t(6). Is l greater than or equal to f?
False
Let b be (8/10)/((-6)/190). Suppose 0 = 386981*s - 386963*s + 468. Is s > b?
False
Let n = 6353 - 5800. Is n <= 556?
True
Let a = 27520 + -27519. Is a != 3/8065?
True
Let b(w) = -3*w + 15. Let l(p) = 2*p - 15. Let q(n) = 4*b(n) + 5*l(n). Let d be q(9). Let f = d + 10. Is -24 <= f?
True
Let b be (-1)/(-194)*(-132)/(-1947). Which is greater: 1 or b?
1
Let h = -18 + 16. Let d be (8/(-6))/(h/(-3))*2. Let l(q) = 3*q**2 + 9*q + 3. Let t be l(d). Which is bigger: t or 17?
17
Suppose 215 = l + 3*h, -4*l - h + 285 + 564 = 0. Let q = l - 102. Suppose q = 3*d - 8*d. Is d less than -23?
False
Suppose -4*t + 12 = 0, 21 = x + 2*x + 4*t. Suppose 0 = 2*g + x*v + 17, -2*g = 4*v + 5 + 17. Which is smaller: -3 or g?
-3
Suppose -4*g - 63 = -5*d, -5*d + g - 17 = -74. Suppose d*c = -9*c - 20. Which is smaller: -26/11 or c?
-26/11
Suppose 6 = -4*h - 34. Let c(v) = -4*v - 14. Let k be c(h). Let o = -133849 - -133872. Which is bigger: k or o?
k
Let c(r) = -29*r - 160. Let u be c(15). Let t be (u/(-98))/17*(-2)/(-25). Is 1 at least as big as t?
True
Let f = 189 + -167. Let w = -21 + f. Is w greater than or equal to 1?
True
Let i = -23 + 55. Suppose -5*r - 2320 = -5*v, -3*r + 5 = -7. Suppose 34 - v = -14*p. Does p = i?
False
Let b(k) = 5*k**2 - 6 - 52*k + 2 + k**3 + 56*k + 4. Let z be (-39)/(-26)*16/(-6). Let m be b(z). Which is greater: m or 1/27?
1/27
Let n(g) = g**2 + 2*g + 2. Let u be n(0). Suppose -20 = -5*c - u*f - 3, 0 = c - 2*f - 13. Let s be ((40/(-36))/c)/((-2)/6). Which is smaller: 0.35 or s?
0.35
Let n = -14684 - -14181. Which is smaller: n or -487?
n
Let z(b) = -6*b - 60. Let f be z(12). Let v = 129 + f. Let r be v - 19*5/(-20). Which is smaller: 0.2 or r?
0.2
Let s = 128 - 110. Let o be (-5 - -12)/(2/s). Which is smaller: 62 or o?
62
Let s = -141 + 140.95. Let k = s + 4.05. Let y = 200 + -1205/6. Which is smaller: y or k?
y
Let l = -2608 - -1457871/559. Is 1 less than l?
False
Let m = -484 + 484. Let x = 192/11 - 15031/858. Is x at least as big as m?
False
Let p = 53 - 75. Let n = -22.1 - p. Let f = 50.11 + -50. Which is smaller: f or n?
n
Suppose 16*p - 12818 = 1694. Let j be (905/p - -2) + -3. Which is smaller: j or 0?
j
Let y(b) = -b**3 + 5*b**2 + 10*b - 168. Let x(q) = q**3 - 4*q**2 - 9*q + 168. Let k(w) = -3*x(w) - 2*y(w). Let v be k(0). Which is bigger: -166 or v?
-166
Let p be 16 + 1 + (75/(-25))/(10/10). Do 672/47 and p have the same value?
False
Suppose 0 = -161*t + 162*t - 597. Suppose -3*x + 5*j = 565, -5*j - t = 3*x - 2*j. Is -0.1 at least as big as x?
True
Let i = 8635 - 8634.945. Is -5.6 less than or equal to i?
True
Suppose -2*d - 570 = -4*z, -5*z + z = -0*z. Do d and -287 have the same value?
False
Suppose 2*h - 6065 = -3*j, 0 = -5*j - 5*h + 16151 - 6046. Which is smaller: j or 2026?
j
Let n be 2 + 0*(-7)/35. Suppose 8*o + n*o = 0. Which is greater: 23/17 or o?
23/17
Suppose -4*b + 4*s + 3 + 13 = 0, s + 4 = -b. Let r = -229366 + 1838269/8. Let h = r + -417. Which is smaller: h or b?
b
Let u = 448622 - 46652609/104. Let n = -315/8 + u. Is 1 < n?
False
Suppose -9 = -x + 2*b, -3*x - 5*b = x + 29. Let d = 4625/34 - 273/2. Are x and d equal?
False
Suppose 32*u - 9*u = -102*u - 2000. Let o = -42 + 27. Which is smaller: u or o?
u
Let n = -60 + 65. Suppose n*b - 9 = -4*u, -u - 3*u + 5 = b. Is -5/13 greater than or equal to b?
False
Let r be 172/(44/11) + (3 - -1). Let i = r - 896/19. Which is bigger: 9 or i?
9
Let h = -403 - -275. Let l = -128 - h. Which is smaller: l or 1?
l
Let q = -11080.81 - -11083. Which is greater: 0.3 or q?
q
Let x(f) be the second derivative of -f**5/20 + 5*f**4/6 - 17*f**3/6 - 29*f**2/2 + 2*f - 179. Let a be x(7). Let b = -5 - 1. Are a and b nonequal?
True
Suppose -2*f = -9 + 5, -f = 5*i - 2462. Let a = i - 140. Is 352 greater than a?
False
Let l = 16 - 17. Let k = -18843961217/7865016 - 5/154216. Let z = k - -2396. Which is smaller: l or z?
l
Suppose 178 + 312 - 10 = 24*c. Suppose -4*y = -n + 42, y + 3*y - 4*n = -36. Let u be 2/y - 152/(-352). Which is smaller: c or u?
u
Suppose o - 5 + 1 = -h, 2*o - 8 = -4*h. Let i be 176 - (0 + h) - (2 + -2). Suppose -i = -14*r + 6*r. Do r and 22 have the same value?
True
Let i(t) = 29*t - 33. Let n be i(3). Let y(l) = -l**3 - 12*l**2 - 11*l + 14. Let a be y(-11). Suppose -n = 4*g + a. Is -18 > g?
False
Suppose 4*l + 3*h + 11 - 8 = 0, -5*l - 2*h + 5 = 0. Suppose 0*d + 2*d + 2 = 0. Let i be -6 + l - (-3 + 0/d). Which is smaller: 2 or i?
i
Let y = 132 + -110. Let q be -3 + (-95)/(11/(y/(-56))). Which is greater: 0 or q?
q
Suppose 4*h = -210 + 78. Let a be (1 + 15)/(4/16). Suppose 0 = -2*w - a. Which is smaller: w or h?
h
Let c = 23 + -30. Let z be c/((-21)/(-2))*207/(-6). Let h = z + -19. Which is smaller: -1 or h?
-1
Let f be 3*3951/(-27)*-1. Which is smaller: f or 457?
f
Let h be (82/(-3))/(7/(-63)). Let n(z) = -z**3 + 12*z**2 - 20*z + 248. Let l be n(10). Is h greater than or equal to l?
False
Let m(j) = j**2 + 79*j - 286. Let z be m(-89). Which is smaller: z or 605?
z
Let f(j) = 3*j + 39. Suppose 55*o = 37*o - 54. Let v be f(o). Which is bigger: v or 3?
v
Let r(c) = c**3 - 5*c**2 - 5*c - 5. Let n be r(6). Let s be (n - 3)/(-8)*-2. Let w be 4/(-22)*14938/17654. Which is smaller: w or s?
s
Suppose 0 = -s - 18 + 21. Suppose 4*j + 12 = 0, 5*t + 3*j = -s + 34. Suppose -i + t = 3*a, 0 = 5*a - 5*i + 15 + 5. Which is bigger: a or 1/13?
a
Let g = 0.36 + -70.36. Let w = g - -116. Let q = 14.9 - 15. Which is greater: w or q?
w
Let a(w) = -w**2 + 22*w - 16. Let b be a(21). Suppose 3 = -3*y + 3*r + 21, 5*y - 2 = -2*r. Which is smaller: b or y?
y
Let b = 6/35 + -229/1540. Suppose r = -0*r + 2. Let i be r/(-4)*0/1. Which is smaller: b or i?
i
Suppose 439 = 34*s + 133. Suppose -3*c + 6 = 3*z - z, 0 = -c + 2*z - 6. Suppose 10*i - i + s = c. Which is bigger: i or -7/4?
i
Let v(f) = -f**2 + 8*f + 1. Let s be v(7). Let h be (-1)/(-4) - 10/s. Let r be ((-175)/(-21) - 7)/(2/(-3)).