
Let p(k) = -2 - 13*k + 4 + 12 + 11*k**2 + k**3. Let j = 7 - 19. Let v be p(j). Solve 0 = 2*a + 4*n + 2, 5*a + v = a + 3*n for a.
-5
Let d(a) = a**2 - 7*a - 39. Let s be d(-4). Solve 1 = -3*c + r - s, 0 = 4*c + 3*r - 5 for c.
-1
Suppose w - 8 = b, -2*w = 5*b - 26 - 11. Solve -3*l + 2*x + 3 = -4, -4*l + x = -w for l.
3
Let n(g) = -103*g + 932. Let r be n(9). Solve -a - 5 = -o, 3*o = r*o - 2 for a.
-4
Let x be 3*-3*4/(-24)*2. Solve -3*f = -15, x*r - 4*f = r - 30 for r.
-5
Let j(t) = t**2 - 5*t + 4. Suppose -4*f + 4 = 0, -2*z + 21 = 3*z - 4*f. Let a be j(z). Solve 4*d = d + a*c + 31, 16 = 4*d + c for d.
5
Suppose 1 - 5 = -2*h. Suppose h*m = -2*f + 32, -m = 5*f + 2 - 6. Solve 0 = 5*x + 2*j - m, -2*x + 7 = x - j for x.
3
Let l = 120 + -64. Suppose 2*v + 2*v + f = l, -v - f = -14. Solve -5*t - 3 = -3*n, -2*t = -n - 4*n - v for n.
-4
Suppose 3*i + 11 = 2. Let a = 3 - i. Suppose s - a = -s. Solve -y + 24 = 3*k - 4*y, -s*k - 2*y = -4 for k.
4
Suppose -3*w + r + 6 = 0, 2*w - 3*r - 7 = -3. Let t be 111/12*8/w. Let h be ((-15)/10 + 4)*2. Solve 5*o + h = 3*u + 2*u, -5*u + t = 3*o for o.
4
Suppose -3*u - 33 = -24, 2*u + 4 = -v. Solve 3*k + 10 + 3 = -y, -23 = 5*k + v*y for k.
-3
Let j(z) = -z**3 + 18*z**2 + 4. Let k be j(18). Solve -5*m = 3*p - p - 8, k*m - 16 = -4*p for m.
0
Let q = -496 - -501. Solve 13 = -q*f + 2*r, -4*f + 4*r - 11 = 9 for f.
-1
Suppose 22*a = 15*a + 70. Suppose 5*u - 2 = -3*v + 2, 6 = 2*u - v. Suppose -u*i + 4 = -0*i. Solve -c - 6 = -i*y - 0, 4*c = y - a for c.
-2
Suppose 0 = 7*l + 638 - 666. Solve 5*y = 4*b + 3 - 39, -l*y - 8 = 2*b for y.
-4
Suppose r - 7 + 4 = a, -2*a - 4*r + 24 = 0. Solve 5*z - 20 = 5*q, -a*q + z - 23 = -4*z for q.
1
Let t be (-1 - (-6)/10)/(162/(-11745)). Solve -4*r = -r + 4*m - 1, 5*r = m - t for r.
-5
Let p(o) = 5*o - 5. Let t = -157 - -159. Let n be p(t). Solve -2*w = n*c - w - 17, 0 = -5*c - 5*w + 25 for c.
3
Let n be 15/(-90) + 399/18. Solve 5*t = -7*j + 11*j - n, 4*t - 4 = -4*j for j.
3
Suppose -2*q - 3*q - 4*s = 0, -4*q = -5*s - 41. Solve -4*d - 7 = -a - 2*d, -q*a + d = -7 for a.
1
Let b(w) = -w**2 + 12*w - 25. Let v be b(7). Solve 0 = -4*l - 5*q + 2 - 20, v = -l - 4*q for l.
-2
Let l = 376 + -371. Solve -4*k - 12 = 0, -31 = -l*i + 25*k - 23*k for i.
5
Suppose -8*o + 380 = 44. Let i = -40 + o. Solve -4*r = -3*z + i, -3 = -2*z + z - r for z.
2
Let n(p) = -4*p**2 + 16*p + 4. Let s be n(4). Solve -4*g + u + 19 = 0, 3*g + s*u + 32 = 8*g for g.
4
Suppose b + 15 + 6 = 0. Let l be 8/28 - (-6)/b. Suppose -2*p = 2*v - 10 - l, -p + 11 = 3*v. Solve -2*c - 11 = v*k, 5*k - 11 = 4*c - 0*c for k.
-1
Suppose 0*a - 5*x - 15 = 2*a, -2 = 2*x. Let p be (3 + -6 - a)/(-2)*-2. Solve 10 = 5*y - 3*o, 13 = -y - 2*o + p for y.
-1
Let v(s) be the third derivative of s**4/24 + s**3/3 - 14*s**2. Let k be v(0). Solve 5*b + 16 = -w, 0*b + k*w + 11 = -3*b for b.
-3
Suppose 3*h + 3 = -5*v, 5*v + 5*h = -1 + 6. Let m be v/(2*((-7)/(-2) - 4)). Solve 2*d = m*k - 14, -4*d + 2*d = -4*k + 16 for k.
2
Suppose -56*v = -47*v - 18. Solve -k + 4*c = 10, -c + v*c = 3 for k.
2
Let a = -3 - 33. Let m = 40 + a. Solve -m*w = 5*y - 10, y - 2 = -3*w + 7*w for y.
2
Let h be (4 - 6) + 1 + 4. Let i(x) = 4*x + 1. Let l be i(h). Solve 4*j + 35 = 2*r + l, 2*j + 14 = 2*r for r.
3
Suppose 0 = 7*z - 400 + 386. Solve -z*o + 2*s = 10, 0 = 5*o - 4*s - 3 + 23 for o.
0
Let l(t) be the first derivative of -3*t**2/2 - 10*t - 1. Let s be l(-7). Let z be s/2*2 + 2. Solve 4*w + w = -g - z, 4*g - w = 11 for g.
2
Let r be 3 + -4 + 1 - -3. Suppose -2*i + d + 6 = 0, -4*i = r*d - 0*d - 2. Suppose i*t = 5*t - 2*z, -5*z = -15. Solve -c - 1 = 3*y + t, -3*y - 5*c = 15 for y.
0
Let z = -3 - -2. Let k(a) = 14*a + 6. Let r(g) = -72*g - 32. Let n(b) = -11*k(b) - 2*r(b). Let p be n(z). Solve 5*q - 3*o = 4, 3*q - p = -0*q - o for q.
2
Let n(j) = -9*j + 191. Let t be n(21). Solve -4*u = t*f + 12, 6*f - 4*u - 24 = 2*f for f.
2
Suppose -5*k + 9*c - 8*c = -5, 3*k = 4*c - 14. Solve 2*i + 2*i + 5*f - 17 = 0, 2 = 4*i + k*f for i.
-2
Suppose 3*x + 2 = -2*h + 21, 2*x - 42 = -4*h. Suppose 2*y = -t + h + 8, 0 = -t + 5. Solve -2*w + 2*d - 4 = 0, -w - 8 = y*d - 2*d for w.
-3
Let c = 33 + -30. Let q be 0 - c - (-11 + -4). Suppose -q = -r - 5*r. Solve -5*z = g - 10, 0*g + r*z - 4 = 2*g for g.
0
Suppose -4*o = j - 49, 7*o - 9*o + 20 = -4*j. Solve -4*k = 0, 3*w - 6*k = -9*k - o for w.
-4
Suppose 0*d = -c - 2*d - 1, 0 = 2*c - d - 13. Solve -a - 4*a = -4*y + 27, 0 = c*y - a - 18 for y.
3
Let g(l) = -2*l - 2. Let n be g(-3). Let v be 1/4 - ((-294)/(-24) + -16). Solve -n*t = -2*t, -5*t + 20 = -v*y for y.
-5
Let p be (-20)/(-32)*4 - (-1)/2. Solve -4*u + x - p*x - 22 = 0, u + 5*x + 10 = 0 for u.
-5
Suppose 4*v = -l + 134, 2*v - l + 5*l - 74 = 0. Let h be (1 + -1 + 2)/(22/v). Solve -4*b = 4*c + 24, -h*b - 2*c - 24 = 3*c for b.
-3
Suppose 3*l + 17 = 50. Let v = l + -13. Let p be 6/(-4 - v) - -3. Solve 5*k + 4*r - 6 = p, -r = k + 4*r - 18 for k.
-2
Let k(i) = -38*i - 185. Let s be k(-5). Solve -4*u - o = 12, -2*u + s*o - 3 = -u for u.
-3
Suppose 4*z + 1 - 17 = 0. Suppose z*h - 32 = -4*h. Solve 4*r + 3*g = -25, 5*r - h*g + 8 = -0*r for r.
-4
Let p(k) = 11*k**2 + k - 2. Let j be p(-1). Solve 0 = 4*a - 2*z + j + 2, -3*z - 5 = -a for a.
-4
Suppose -4*f = -3*y + 38 - 9, -3*y + 5*f + 34 = 0. Solve 4*c = -y*j - 29, -5*c = 6*j - 9*j + 16 for j.
-3
Let c(z) = -z**2 + 54. Let v be c(7). Solve 2*k + v*b + 23 = 0, b = 2*k - 0*b - 7 for k.
1
Let y(f) be the first derivative of f**2/2 - 9*f + 6. Let z be y(16). Solve w + 2*r - 3 = z, -2*r + 10 = 2*w for w.
0
Suppose 5 + 5 = 2*w. Suppose w*g = 4*s + 40, -g - 2 = 4*s + 14. Let d = -4 + g. Solve d*r + f = r + 2, 2 = f for r.
0
Suppose -25 = -0*l - 5*l - 5*j, 3*l = 2*j. Suppose -3*g - l = -14. Suppose -23 = -g*i + x, 3*i - x = x + 21. Solve -9 = -u + 3*m, -i*u = 5*m + 5 + 10 for u.
0
Let k = -36 + 29. Let g(w) = w**3 + 8*w**2 + 5*w - 11. Let i be g(k). Solve -5*n - 2*y + 14 = 0, -5*y - 3 + 7 = -i*n for n.
2
Suppose m - 1 = -4*w, -2*w - 2 = -m - 1. Suppose -r - 2*y + w*y = -10, -3*y = -r + 25. Solve 2*h + 5*k - 8 = 0, 4 = 5*h - k - r for h.
4
Let c be (-68)/153 - ((-98)/18 + 3). Solve -5*a + k - 19 = 0, 5*a + 16 = c*k - 7 for a.
-3
Let f(d) = -d**2 + d - 2. Let p be f(3). Let x be p/2*-1*2/4. Solve -y - 3*y - 24 = 4*t, -4*y = -x*t for y.
-2
Suppose 0*y - 3*y = 5*b + 44, -b - 4*y = 19. Let a(v) = -v - 7. Let s be a(b). Solve s*u - 2 = 4*c - 2*u, 3*c = 4*u + 6 for c.
-2
Suppose -h + 20 = -0*h. Let m be (-13)/4 + 27/12 + -2. Let u be (80/7)/4 + m/(-21). Solve z + 2*f + h = -u*f, -25 = 5*f for z.
5
Suppose 80 = -14*z + 18*z. Solve -2*b + z = 5*l, 20 = -2*b + l + 4*l for b.
0
Let t = 23 - 17. Let s be t/8*(4 - (-5 + 5)). Solve 0 = -5*n + 2*b - 1, -s*n + b + 7 = -4*b for n.
-1
Let j = -191 + 198. Solve -3*s + x = -6*s - j, 2*s + 3*x + 14 = 0 for s.
-1
Let t(l) = l**3 + 3*l**2 - 5*l - 1. Let v be t(-4). Let s = -774 + 779. Solve s*g + v*d - 1 = 0, 4*g + d - 2 = 3 for g.
2
Suppose -3*s - 3*r = r + 20, -15 = -4*s + 3*r. Suppose 3*o + 3*o - 138 = s. Let q = 35 - o. Solve 3*c - 15 = 3*z, -q = c - 4*c for z.
-1
Suppose 5*x - 30 = 3*z, -z = 2*x - 5*z - 26. Let j be (-5)/2*48/(-30). Suppose 3 - 51 = -j*t. Solve -x*d + 1 = -5, -4*m + t = 4*d for m.
1
Let w(t) = 5*t + 79. Let r(m) = m**3 + 8*m**2 + 3*m + 9. Let j be r(-8). Let b be w(j). Solve 3*g + 2*q + 2 + 0 = 0, -5*g + b*q - 40 = 0 for g.
-4
Let u = -162 + 167. Solve u*h - 2 = -2*s, 0*s + h = 5*s + 22 for s.
-4
Let q = 1415 - 1401. Solve 10 = -4*w + 2*w - 2*f, -4*f - q = -2*w for w.
-1
Suppose -t + 4*d = 20, 4*t + d + 25 = 6*d. Solve -9 = 2*x - t*x - w, 27 = -x + 5*w for x.
-2
Let z be ((-9)/(-108)*6)/((-2)/(-20)). Solve 0 = z*d + 3*u - 24, -4*d + 12 = d - u for d.
3
Let y(q) = -q**3 - 7*q**2 - 8*q + 12. Let o be y(-5). Solve -l = -3*m - m + 18, -o*l = 4 for m.
4
Suppose -2 = -4*a + 2*h, 6 = -4*h - 6. Let f be (0 - 4/(-5))*(a - -6). Solve 2*b + 6 = -f*m - 0, m + 5*b = 21 for m.
-4
Let d = 239 + -216. Solve -5*q - 2*c - c = -d, 2*q - 4 = 4*c for q.
4
Let f(o) = 83*o + 6. Let g be f(1). Let b = g + -80. Solve 2*a + b = 3*r, -2*a = r + 2*a - 17 for r.
5
Let t = -67 - -70. Solve -11 = t*w - 5*j, w + 3*j = -2 + 17 for w.
3
Suppose 0 = 48*u + 151 - 823. Solve 0*f - 4*f = 2*r + u, -5 = f - r for f.
-4
Suppose 5*x - 133 = -3*i, -5*x + 0*i = i - 131. Let 