f(c) = c**2 - 5*c + 7. Let y be f(4). Suppose -y*d - o*d = 0. Solve 5*i + 25 = -0*i + 3*w, d = -2*w + 10 for i.
-2
Let f(r) = -r**3 - 14*r**2 - 2*r - 20. Let h be f(-14). Let m = 13 - h. Suppose m*j - 4 = 6. Solve -6*t + t = j*g + 25, 3*g + 25 = -5*t for t.
-5
Suppose -4*w = -s + 24, 4*s = -s. Let x(i) = -i**2 - 11*i - 26. Let o be x(w). Suppose m - o = 2. Solve t = -0*q + q + m, -18 = -t + 5*q for t.
3
Let r = -16102 - -16117. Solve 5*b + y = r, 0 = -13*b + 16*b + 4*y - 9 for b.
3
Let a(h) = h**3 - 4*h**2 + 3*h - 85. Let m be a(6). Solve u + p = 4*p - 2, -m*p = -3*u - 6 for u.
-2
Let v = 191 - 194. Let a be 0*(v + 48/18). Solve x + 6 = -w, -2*x + a*x + 5*w + 9 = 0 for x.
-3
Let j(p) = 38 + 34 - 4*p - 67 + p**2 + p**3. Let z be j(0). Solve 3*x + z*k + 12 = 0, -2*x + 6*x + 2*k + 16 = 0 for x.
-4
Let w be 1/(-4)*(-13)/(52/16). Let b = w + 26. Suppose -m + 4*h = -15, m - b = -3*m + 5*h. Solve 0 = -m*d + 3*c, -4*d + d - 5*c = -16 for d.
2
Let k be (-2)/(3 - (2 - 0)). Let s be (-10)/15 + k/6. Let c be (1 - 1)/(-1 + (2 - s)). Solve 0 = -w + 2*d + d + 7, c = -4*w - 4*d - 20 for w.
-2
Let i = -101 - -98. Let n be i*(-10)/12*(-24)/(-30). Solve 4*z - n*c + c = 18, -3*z + 3*c = -18 for z.
4
Let m = -1 - -12. Suppose 9 = 5*f + 3*g, 2*g = 3*f - m - 2. Suppose 4*o - 8*o + 20 = 0. Solve -8 = 2*q + 3*z - 0, -o*q + 1 = -f*z for q.
-1
Suppose 0 = -33*r + 25*r + 104. Suppose 2*s + r = 13. Let q = -32 - -58. Solve 4*p + 2*d + s*d + q = 0, 2*p - 12 = 4*d for p.
-4
Suppose -1 = -2*f + 5. Suppose 0 = i - 2*i + f. Let n be (-9)/(-21) - (153/(-7))/(9/6). Solve -t - i*k = -n, k = -5*t - 0*k + 5 for t.
0
Let w = 4 - 0. Suppose o + 6 = -0*o - 2*k, 5*k + 13 = -3*o. Solve b = o, -2*u + 0 - w = b for u.
-4
Suppose -1283 = -121*v - 194. Let d(h) = -h**3 + 4*h**2 - 2*h + 2. Let f be d(3). Solve 3*n + 5 = -2*p + p, 0 = p + f*n + v for p.
1
Suppose 8*m - 5*m = -2*l + 203, -3*l = -12. Solve -7 = 3*o + q, m*o = 64*o + q + 3 for o.
-1
Let c(v) = v**3 + 20*v**2 - 16*v - 40. Let g be c(-20). Let q = g - 275. Solve -2*x = 2*r, -4*r + r - 2*x = -q for r.
5
Let c be ((-1)/(-2) + 7 + -8)*-262. Let n = c + -129. Solve r = 6*r + 3*x - 3, -11 = -r + n*x for r.
3
Let s = -2599 - -2599. Solve 10 = -5*a - h, -3*a + 3*h = -s*a - 12 for a.
-1
Suppose -3*f = h - 2*f - 174, -4*h = -f - 701. Suppose -45*v + h = -40*v. Suppose 0*s + v = 5*s. Solve -5*a + 3*d = s, -5*a = d + 4*d + 15 for a.
-2
Suppose 4 = 2*z - 0*z. Let c(r) = 4*r + 45. Let g be c(-8). Let o = 4456 + -4452. Solve -o*p = -z*f - f - 23, -3*f - p = g for f.
-5
Suppose 8*m - 4772 = -4756. Solve w - m*c + 9 = 0, 0 = w - 4*w + 4*c - 21 for w.
-3
Let b = 785 + -791. Let w(x) = x**3 + 6*x**2 + 21*x + 127. Let p be w(b). Suppose -3 = -k + 3. Solve 2 = 4*u + k, 0 = 3*n + 5*u - p for n.
2
Let f(j) = 16*j**2 - 22*j + 66. Let m be f(4). Let i = m + -230. Solve 5*g + 0*o - 6 = -4*o, -5*o = i*g - 12 for g.
-2
Suppose -163*z - 33 + 347 = -12. Solve 0 = 5*k - 5*h + 2*h + 2, 0 = -z*k + h for k.
2
Let r(p) be the second derivative of -p**4/12 + 7*p**3/6 + 39*p**2 + 140*p. Let l be r(-6). Solve l*v = b + 3*v - 11, 0 = -4*v + 12 for b.
2
Let c(s) = s**3 + 29*s**2 + 3*s + 90. Let a be -5*1732/300 + (-4)/30. Let g be c(a). Suppose 4*b - 15 - 5 = 0. Solve i - 16 = -g*i, 0 = -b*j - i - 1 for j.
-1
Let l(k) = 20*k + 87. Let a be l(-5). Let c(t) = -7*t - 91. Let v be c(a). Solve v = 4*q + 10 + 2, -11 = n + 5*q for n.
4
Let h = 4883 + -4880. Solve -23 - 5 = -4*u + 4*y, -2*y + 6 = h*u for u.
4
Suppose -46*c + 132 = -374. Solve -d - 2*p = c, 2*d - 5 = 14*p - 9*p for d.
-5
Let k = -123 + 126. Suppose 5 + k = -2*u - 2*m, -u = -3*m - 12. Solve 3*c + z + 0*z - 1 = u, 4*c + 3*z = 8 for c.
-1
Let q be ((-5)/2)/(570/(-912)). Solve 3 = -5*a + 3*v, 0 = q*a - 4*v - 3 + 7 for a.
0
Let x be (-60)/(-10) + (-4)/1. Suppose 5*m - 25 = 2*l, -10 = -x*m + l - 4*l. Let j = -1638 + 1663. Solve -i = 5*o - j, 0*i = -4*o - m*i + 41 for o.
4
Suppose 3*g = f - 21, 2*f + 0*f + g = 0. Solve -b - 38*x - 22 = -43*x, 4*b = -f*x + 4 for b.
-2
Let v(i) = 8*i + 68. Let j be v(-9). Let t be 5/(-50)*j*40. Solve 2*g + 5*u - 2*u = 0, -2*g - t = -5*u for g.
-3
Let y(i) = -i**2 + 13*i - 20. Let r be y(4). Suppose l + d + 35 = 37, 4*d + 10 = 5*l. Solve t + 4*o - r = -3*t, -t + l*o + 7 = 0 for t.
5
Suppose 6 + 5 = -f. Let a(d) be the first derivative of d**2/2 + 15*d - 703. Let i be a(f). Solve i*t = -x + 3 + 6, -5*t + 21 = -2*x for x.
-3
Let f be (273/637)/(9/672). Solve 3*u = 3*y, -4*u + 11*u = -y - f for y.
-4
Suppose 3*j + 20 = 5*j - 5*h, 0 = -2*j - 3*h + 4. Let u(m) = -m**2 - 21*m - 100. Let i be u(-8). Solve -26 = -3*f - j*y, -i*f = f + 4*y - 26 for f.
2
Let g(u) = 3*u**3 - u**2 - 3*u + 3. Suppose -9 + 0 = -9*t. Let j be g(t). Solve -5 = -5*q + k + 5, -j*q + 3*k + 4 = 0 for q.
2
Let o(u) = u**3 - 21*u**2 - 25*u + 69. Let v be o(22). Let n = 12 - -3. Solve 4*h = 4*b, -5*b + 5 = -v*h + n for h.
-5
Let j be ((-32)/(-5))/((-66)/165). Let t be -5*24/j - 3/(-6). Solve 0 = -i - 3 + t, -5*g - i = 0 for g.
-1
Suppose w - i - 3*i = -8, -3*i + 91 = -5*w. Suppose -3*r - 4*x + 17 = -71, -3*x + 36 = r. Let c = w + r. Solve c*b - 4 = 5*b, -v + 15 = -4*b for v.
-1
Suppose -34*g + 44 + 58 = 0. Solve 0 = n + 5, -23*i - g*n = -27*i + 35 for i.
5
Let l(a) = -7*a - 25. Let t be l(-9). Suppose 48 = 2*v + t. Solve 0 = -v*n - 3*m - 1, 0*n - 2*n - 2*m = 2 for n.
1
Suppose -4*u - 12 = 0, -11 = -4*j - u + 2*u. Suppose j*x - 1 - 1 = -q, 5*q - 4*x = 80. Solve 4*d - 4 = -2*v - 16, q = 5*v - 4*d for v.
0
Suppose 1 = 3*p - 4*m, 1 = -2*p - m + 9. Suppose i = 2*i + x - p, i - 4*x + 2 = 0. Let h = -7 + 16. Solve -4*t - s = -h*t + 10, s - 11 = -i*t for t.
3
Let h be 14 - ((4 - -5) + 1). Solve 2*b = p - 1, -2 = -b + 2*p - h*p for b.
0
Suppose x - 7*z + 5*z = 6, -4*x = -4*z - 16. Let t be (18/12)/((-1)/(-2)). Solve 0*w - 3*w - 23 = x*r, t*w = 5*r + 5 for r.
-4
Let j be 1 - (-3 + -3) - 4. Let s(b) = 19*b - 22*b**2 + 23 + 9*b**3 - 8*b**j + b. Let c be s(21). Solve -c*r = -2*p, 2*p - 5 = 5*r + 1 for p.
-2
Suppose -32*g - 741 = -13*g. Let l be (3 - 5)/(26/g). Solve z + 4*j + 29 = -2*z, l*z + 19 = -2*j for z.
-3
Let t = -28 - -51. Let d(u) = -u + 55. Let b be d(t). Solve 2*m - 3*g + 20 = 0, 8*g = 3*m + 3*g + b for m.
-4
Let t be (-186)/6*-1 - -1. Suppose t = -15*j + 19*j. Let g be ((-4)/j + 3)*2. Solve 10 + 12 = v - 5*x, -3*v + g*x + 16 = 0 for v.
-3
Let a = -20245 - -20248. Solve -7 = s + a*v + 4, -4*s = v for s.
1
Let c = 14295 + -14224. Solve -3*q - i - c + 62 = 0, -3*i = -3*q - 9 for q.
-3
Let d(g) = -237*g**3 - g**2 - 2*g - 1. Let z be d(-1). Suppose -z = -3*a - 39. Suppose -81 + a = -3*k. Solve 0 = -k*x + x - 4*i, 0 = x + 3*i + 6 for x.
3
Let v(j) = -3*j**3 - 75*j**2 + 36*j + 915. Let a be v(-25). Solve 5*u - 7 = -k - a, -6 = 3*u for k.
2
Suppose -2*y = 3 - 7. Suppose -69 = 37*k + 116. Let g be k - -9 - -5 - -9. Solve -4*d = 2*a + g, -a - y*a = -3*d for d.
-3
Let r(s) = 47*s + 205. Let g be r(-15). Let w = 504 + g. Solve -9 = 2*p - y, w*p - y - 1 = -14 for p.
-2
Let w(i) = -191*i - 764. Let u be w(-4). Solve 3*k + u*z - 11 = z, -k + 5*z = 15 for k.
5
Let g = -347 - -369. Suppose 29*v = -g*v. Solve v = 3*h + 3*z + 24, -5*z - 20 = 0 for h.
-4
Let y be (-1)/((-2)/(-3))*(32 + -36). Let k(g) = -12*g**2 + 74*g - 9. Let b be k(y). Solve -15 = -2*h + 3*t, b*h = -t - t + 3 for h.
3
Let n(x) = 2*x**2 + 20*x - 5. Let c be n(-13). Let g = -71 + c. Solve 3*u = 5*a - g, 0*u + 2*a = 2*u for u.
1
Suppose 3*t = -2*o + 8, -6*o + 8 = t - 8*o. Solve 2*k = -3*q + 2, 3*q = -q - 3*k + t for q.
-2
Let b(l) be the first derivative of l**3/3 + 3*l**2/2 - 14*l - 62. Let v be b(3). Solve s + 10 = -2*c, -2*s - c + 1 = -v*c for s.
-4
Let r = 5555 - 5553. Solve 2*m = -r, -5*h + 3*m - 1 = 21 for h.
-5
Suppose -10 = 5*y + 4*v, -2*y - 379*v - 1 = -378*v. Solve 0 = -y*i - 2*x - 12, 117*i = 118*i - 5*x for i.
-5
Let c be (-4 + -1 - 4) + (5 - 14) + 33. Solve -15*i + 13*i + u + c = 0, -i = 3*u + 10 for i.
5
Let l(h) be the first derivative of h**3/3 - 6*h + 4. Let b be l(0). Let w be (-3)/4*-2 - b/4. Solve 5*u - 1 = u + f, -3*f = -w*u + 3 for u.
0
Let i = -59 + 131. Let d = i - -21. Suppose -2*c + d = c. Solve 0 = 3*p + 2*w - 19, 2*p + 3*w - c = -3*p for p.
5
Let p = -107 + 46. Let t = p + 69. Let b be (-30)/(-7) + t/(-28). Solve -b*q + 18 = -2, 4*q - 25 = -f for f.