 - 5, -8 = -4*c + x*g for c.
3
Suppose 2*u - 6 = -0. Solve -4 = -4*f + 2*l, 0*l + u*l + 16 = -4*f for f.
-1
Let k(d) = -2*d - 9. Let g be k(-9). Let n = -5 + g. Let m = 0 + n. Solve 4*s + m*b + 28 = 0, -5*s - 4*b + 21 = 53 for s.
-4
Let l(n) = 5*n**2 + 4*n + 3. Let p be l(-3). Suppose z = -3 - 0, -w = z - 1. Suppose w*a - 20 = -0*a. Solve 6*j = a*t + 2*j - p, t = -j for t.
4
Suppose -2*u - 3*b = 18, -u - 2*b + 4 = 14. Suppose -6*w - 4 = -3*w - 5*g, 0 = -3*w + g - 20. Let v = u - w. Solve 0*m + m - d = -2, v*d = -5*m + 25 for m.
3
Let i(c) be the second derivative of c**4/4 + 11*c**3/6 + 7*c**2/2 + 10*c. Let m be i(-5). Solve -4*t - 24 = j, -3*t + 2*j = 5*j + m for t.
-5
Suppose 0 = -5*v + 15*v - 20. Solve 3*z - 1 = -2*l, z + 2 = v*l + 13 for z.
3
Suppose 4*a + 72 = 10*a. Let u = 15 - a. Solve -u*x - 13 = f - 4, 0 = -x - 2 for f.
-3
Suppose 0*w - 8 = 4*w. Let p = 6 + w. Suppose 4*u - p = 3*u. Solve -t = u*f + 8 - 1, 0 = -4*t - 12 for f.
-1
Let v be 0/(-2) + (-21 - -3)/(-6). Solve f + v*q + 5 = q, f + 3*q = -8 for f.
1
Suppose 7 = 2*h - v, 5*h = 2*h + v + 13. Let t be ((-3)/h)/1*-52. Solve g - i - t = 4*i, 5*i = -3*g - 22 for g.
1
Let h(u) = -4 + 7*u**2 + 5*u**2 - 8*u - 10*u**2. Let l be h(6). Solve 0 = -5*c - l, 3*r = -5*c - 13 - 10 for r.
-1
Suppose 0 = 2*c + 2*c - 8. Let m = 3 + c. Solve -5*p = -4*i - 11, -3*i + m = 17 for p.
-1
Let m be 9/((-9)/(-3))*2. Suppose 26 - m = 5*d. Solve 0 = 3*w + v + 11, -d*w - 14 = 2*v - v for w.
-3
Suppose -3*j + 15 = 0, j = 3*p - 6*p + 17. Suppose 0 = 3*k - 2 - 4. Suppose -3*a - 1 = k, -4*a - 4 = 4*x. Solve x = -2*l + 4*t + 2, -l + 5*t = -p*l - 8 for l.
-1
Suppose 0 = z - 0 + 19. Let d = 25 + z. Solve d*n = q + 2*n - 15, 5*q + n + 30 = 0 for q.
-5
Let b be 32/6 + 2/(-6). Suppose -u - 13 = -5*t, u = -0*t + 2*t - 7. Solve -5*c - 2 = t*j, 0 = -2*c - 2*j + b - 1 for c.
-2
Suppose 0 = -k + 2*k - 5, -3*k + 33 = 2*d. Suppose 5*l - d - 5 = -t, 2*l = 5*t - 16. Solve l*s - 6*s + 5*c + 30 = 0, c = -4*s + 18 for s.
5
Suppose 7 + 3 = 5*v. Suppose -4*i = 3*u - 33 - 16, 32 = v*i + 4*u. Solve 5*s + 18 = -4*w, 0 = -5*w - i for s.
-2
Let a(b) be the second derivative of -b**3/6 - b**2/2 - 8*b. Let q be a(-4). Solve m + q*y = -12 - 1, -24 = 4*m + 5*y for m.
-1
Let h = 67 - 38. Let i = h - 15. Suppose -12 = d - 5*d. Solve -k + 17 = -5*o, 2*k - d*o = -5*o - i for k.
-3
Let n be 10/2*3/3. Solve 2*y = 5*f + 6 + 8, -n*f - 32 = 4*y for f.
-4
Suppose -m + 2*m - 3*c + 15 = 0, 0 = 3*m + 4*c - 20. Solve 0 = -5*s - 15, 17 = -5*o - 4*s - m for o.
-1
Let i = -7 + 6. Let b = i - -1. Solve -n + 5 = 4*j, -2*j = -b*n - n - 1 for j.
1
Suppose -2*m = 4*j + 46, -20 = -0*m - 4*m. Let d(i) = i + 14. Let p be d(j). Solve 2*n + 0 = 5*f - 3, p = -3*f - 5*n + 8 for f.
1
Let z be 2 - -1 - 65/5. Let f be (6/(-5))/(z/(-25)). Let d be (-8)/f*(-15)/(-10). Solve -8 = d*w, -3*w + 4 + 15 = 5*a for a.
5
Suppose -3*w = w + 316. Let v = w + -128. Let q be ((-2)/(-3))/((-6)/v). Solve 0 = h + h + n + 1, 5*n + q = -h for h.
2
Let g be 4/6 + (-20)/(-6). Suppose -25 = -0*j - 5*j. Solve -j*w + 16 = -2*k, 3 - 13 = -g*w + 3*k for w.
4
Let d(w) = w**2 + 10*w - 6. Let j be d(-11). Suppose -23 = h + m, 2*h - 4*m + 8 = h. Let p be (-4)/(-6) + h/(-6). Solve -p*k = -12, 5*o + j = 2*k - 21 for o.
-4
Suppose 4 = 5*x - 6, -4*m + 3*x + 38 = 0. Solve -p = 3*r - 2*p, r + m = 4*p for r.
1
Let o = -12 - -17. Suppose 0*q = -o*q + 15. Solve -25 = -5*c - q*p, 2*c + 4*p + 0 = 10 for c.
5
Let h = 292 - 289. Suppose 0 = -k - k + 4. Solve k*s = -5*g - 31, 4*g + 24 = -h*s + g for s.
-3
Let w be (-4)/(-4) + 3 + 0. Solve -2*f + 6 = 2*n - w*n, 3*f - 9 = -5*n for f.
3
Suppose 5*b = b + 20. Solve 2*j - 2*u = -b*u + 8, -u - 1 = -3*j for j.
1
Suppose 2*i - 36 = -i. Let p(k) = 2*k**2 - 3*k + 2. Let t be p(2). Solve -j + i = h + 3*j, -2*j = t*h - 6 for h.
0
Let q(k) = -4*k**3 - k**2 + k + 1. Let w be q(2). Let c be 22/w - 10/(-6). Solve 4*s - 18 = -2*z - 4, -4*s = -3*z + c for z.
3
Let x = 14 + -8. Suppose -l + x - 4 = 0. Solve -l*q + 5*q + 8 = -2*a, 2*q + 4*a = 0 for q.
-4
Suppose r = 3*r - 4. Suppose -5*o + 2*m + r = -10, 5*o + 3*m = 7. Solve q + 0*f = -o*f - 4, -2*f = 2*q for q.
4
Let d(h) = -4*h + 8. Let t be d(4). Let y(c) = -c + 2. Let k be y(t). Solve 4*q + k = n, -n + 6 = -q + n for q.
-2
Let l(v) = 2*v**2 - 5. Let z be l(2). Solve 0 = -w - w - 2, 0 = -z*b + 4*w + 1 for b.
-1
Suppose 3*m - 3*u = -0 + 3, -3*u = -5*m + 15. Let d be -1*m/21*-7. Solve 5*f + 5*y - 17 = y, y + d = 5*f for f.
1
Let q(i) = -2*i + 32. Let s be q(13). Solve 3*d + s = g, -d = 2*d - 3*g for d.
-3
Suppose -2*n = -8*n + 138. Solve 16 = -3*g + 5*l - 3*l, -4*g - n = -3*l for g.
-2
Let l = 13 - 1. Suppose -10*z = -l*z + 10. Solve z*c = 2*m - 4*m - 20, 0 = 2*m for c.
-4
Let l = -2 - -5. Suppose 0 = 5*w + l*t - 63, 5*w - 2*t = 42 + 41. Let p = -9 - -13. Solve q = -4*q + 2*d + w, -35 = -p*q - 3*d for q.
5
Suppose 3*x = -15 + 30. Let j(r) = -r**2 - 6*r + 5. Let y be j(-6). Solve -y*d - 4*w - x = 0, -w = 5*d - 2*w - 20 for d.
3
Suppose -2*j + c + 4*c = -19, 5*j = -3*c + 1. Solve 9 = -5*i - j*h, 2*i - 7*i + 2*h - 21 = 0 for i.
-3
Suppose 0*v + 3*v = 0. Suppose k - 6 = -v*k. Solve -2*p = 5*x - k, -3*x - 2*p - 3 = -3*p for x.
0
Let v(r) = r + 3. Let p be v(3). Let o be (3/p)/(5/40). Let l be ((-2)/(-6) - 1)*-9. Solve i - 5 = o*m + l*i, 2*m - i - 1 = 0 for m.
0
Suppose 3*y + 10 = 4*y - 5*q, 2*y - 5*q = 15. Solve 3*l + 7 = -d, y*d + 5*l + 1 = -4 for d.
2
Let y(t) = 8*t**2 - 20*t - 6. Let z(f) = 3*f**2 - 7*f - 2. Let a(w) = -4*y(w) + 11*z(w). Let n be a(-2). Solve -5*k = 5*o + 10, n*k + 8 = 2*k - 2*o for k.
1
Let r(b) = 32*b + 34. Let m(c) = -c - 1. Let j(z) = 204*m(z) + 6*r(z). Let n be (-4)/6 - (-3)/(-9). Let d be j(n). Solve i - 2*w = 6*i + d, -4*w = i + 6 for i.
-2
Suppose 0 = b + 2*b. Solve x - 11 = -2*o, 4*x - 9 = -o - b*x for o.
5
Suppose 0 = -14*u + 17*u - 9. Solve -5*n + 3*q = -u*n - 9, 2*q = -6 for n.
0
Let t = -149 + 159. Solve 4*d = -3*r + 1 - 12, -5*d - 5*r = t for d.
-5
Let j = 83 + -81. Solve -2*v + g + 12 = 0, -j = 5*v + g - 18 for v.
4
Suppose 0 = d + 4*y - 0*y - 16, -5*d = y - 4. Solve d = w - 0*w - r - 1, 12 = 4*r for w.
4
Let k be (-2)/(-3)*(-18 - -24). Solve 5*v = -y + 3 - 0, 12 = 5*v + k*y for v.
0
Let g(x) = -4*x - 1. Let u be g(-1). Solve l - 10 = u*r, r + 2 = -l - 2*r for l.
4
Suppose -2*v - u - 3 = -4*v, -2*v - 3*u + 15 = 0. Solve 4*y - v*f = 2*f, 2*y + 5*f = 0 for y.
0
Suppose 5 = m - 3*q, -3*m - 39 = -8*m + q. Let s = -23 - -27. Solve 4*g + 4*a - m = 0, -a - 22 = -g - s*g for g.
4
Suppose -4*v = -5*i + v + 10, -v - 8 = -4*i. Let y(c) = 0 + c + 2 + i - 1. Let d be y(-3). Solve d = -w + k + 2, -4*k - 1 = w - 2*k for w.
1
Let j be (-2)/(-2)*(-7 - -7). Solve -2*l - 2*o + 18 = j, 8 = 4*l - 3*o - 0*o for l.
5
Suppose 2*j = -2*j + 20. Solve 0 = c + 3*u + 2, j*u = c + 9 + 1 for c.
-5
Let s(n) = n - 4. Let j(o) = -o**2 + o - 4. Let p(h) = -4*j(h) + 3*s(h). Let c be p(3). Solve 3*v = 5*y + c, 0 = -5*y - 2*v - 2*v - 9 for y.
-5
Let b = -386 - -386. Let j(u) = -u**2 + 7*u - 2. Let s be j(3). Solve -5*r - s = b, 6 + 2 = -2*y - 2*r for y.
-2
Suppose -3*u = 3*b - 48, 0 = -u - 2*u - b + 42. Solve 5*a + 3*s = u, 3*a + 0*a + s - 11 = 0 for a.
5
Suppose 4*x - 30 = -6. Let c be (0 - -9)*2/6. Suppose x = c*w - 6. Solve 0 = -2*q + w*k + 12, -q + 6 = -5*q + 2*k for q.
-4
Suppose -9*q + 25 = -2. Solve 0 = -2*m + q*p - 17, -23 = 2*m - 8*p + 3*p for m.
-4
Let y(r) = 2*r**2 - 8*r + 3. Let l be y(5). Let h = -8 + l. Let u = -13 - -15. Solve u*f - 20 = -z + 6*f, -z = -f - h for z.
0
Let r = 17 - 18. Let t be (-7 - -27)*r/(-2). Solve 4*c + 2*i + 14 = 0, -2*c - 4*i + 2*i - t = 0 for c.
-2
Suppose -3*o - o = 12. Let j(x) = -2*x - 2. Let p be j(o). Solve 5*m + p*z + 10 = -z, 4*z = -2*m - 4 for m.
-2
Suppose 4*a - 2*w + 20 = -a, 5*w + 43 = -3*a. Let b = 8 + a. Solve g - 1 = -5*k - 3, b*k + 8 = 2*g for k.
-1
Suppose -3*u = -0 - 3. Let p be u/((2/4)/1). Solve -p*s + 16 = -3*o, -5*o - 2*s - 14 = s for o.
-4
Let r(i) = -i**2 - 8*i - 7. Let y be r(-6). Solve -16 - 9 = -y*d - 4*x, -5 = -d - x for d.
5
Let g be 20/(-8)*(-36)/10. Let k be 97/g + 10/45. Solve 4*y = 3*y + 5*n - 5, 0 = 3*y - 2*n - k for y.
5
Suppose -5*x + 12 = x. Solve -5 = 3*a + l, x*l + 7 = a - 6*a for a.
-3
Suppose 17*n - 15*n = 60. Solve -s = 5*r - n, -4*s + 3*r = 2*r - 15 for s.
