*p + 4 for c.
2
Let y(n) = 2*n**2 - n - 1. Let u be y(-1). Suppose 5*w + 4 = 3*w. Let r(x) = -2*x - 1. Let l be r(w). Solve -u*i = -s - l, 4*i - 2*i = -5*s + 9 for s.
1
Let k = -9 + 26. Solve -4*a - k = 5*p - 54, 5*a - 5*p + 10 = 0 for a.
3
Let l(q) = -3*q - 17. Let a be l(-16). Solve 3*i = 2*b - 20, 0 = -4*i + 5*b - 5 - a for i.
-4
Suppose 0 = v + 3*m - 5, 0*v = 5*v + 5*m - 15. Suppose 0*r + 5*n = r - 5, -2*n = -3*r + 15. Solve 4*l + 5*g - 2 = -9, l - v*g = -r for l.
-3
Suppose -3*j - 5*v - 20 = -8*j, 2*j - 4*v - 10 = 0. Suppose n = j*n - 24. Suppose -3*b = -3 - n. Solve -7 = 3*x + b*f, -f - 4 = -2*x - 0*f for x.
1
Let h = -18 + 22. Let b be (0 + (-1)/3)*-21. Solve h*p - b = 2*p + 3*i, -4*i + 14 = 2*p for p.
5
Suppose 3*v - 22 = 5. Solve 0*a + a = -2*l + v, 1 = a for l.
4
Suppose 0*o + 5 = o - d, 2*d = 3*o - 10. Let s(v) = -v**2 + 1. Let c be s(o). Let t = -1 - -4. Solve -2*l - n = c, -t*l + 2*n = -0*l - 16 for l.
2
Let x(r) = -3*r - 2. Suppose -2*a + 18 = -4*f, -2*f - a = -7 + 6. Let h be x(f). Solve h*l = 4*g + 12, -5*g - 5 - 4 = -3*l for l.
3
Suppose g - 13 = -4. Solve z - g = 4*z, 0 = 3*d + 5*z + 6 for d.
3
Suppose 4*f = -0*f + n + 12, 3*n + 8 = 5*f. Suppose y + y = f. Solve 4*j - 7 = 3*j + 4*m, 6 = -y*m for j.
-5
Suppose 7*g + 60 = 11*g. Solve 0 = -o + 3*o + 5*a + 11, 0 = 5*a + g for o.
2
Let s(a) = a + 9. Let t be s(-7). Solve -5*m = j + t, 4*m + 5 + 2 = j for m.
-1
Let b(w) = w**3 + 2*w**2 - 7*w - 3. Let t be b(-3). Let f be (20/(-6))/(4/(-6)). Solve -f*c - 4*x + t = 0, c + c + x = 6 for c.
5
Suppose v - 1 = 3. Solve o - 3 = 5*b, -v = 2*o + 4*b + 4 for o.
-2
Let a be 5/(-35) - 60/(-28). Solve h + 12 = 2*g, 4 = 2*g + a*g + 3*h for g.
4
Suppose -w = -4*w + 6. Let k be (-8)/((-32)/24*3). Solve 2*q = 2*j + 2, -w*q - 3*j = -k*j - 14 for q.
5
Let c(s) = -2*s - 4. Let n be c(-3). Solve -n*j = -3*r + 7 - 2, 2*j + 7 = r for j.
-4
Let a(u) = -2*u - 11. Let b(n) = -n**3 + 2*n**2 + n - 1. Let y be b(3). Let h be a(y). Solve h*d = -15, -f - 3*f - 32 = 4*d for f.
-3
Suppose m = -2*l + 2, -m = l - 6*m + 10. Suppose l*n + 42 = 2*n. Let r = n + -5. Solve 0 = x + j + 10, -5*x - r - 14 = j for x.
-5
Let h be (-7)/((-196)/8)*7. Suppose -2*q = -6*r + 3*r + 4, 3*r = -h*q + 20. Solve -r*w - 5 = 5*s, 3*w - 15 - 25 = 5*s for w.
5
Suppose -4*j + 2 = -2*d, 0 = 4*d + 3*j - 5*j + 10. Let a(l) = 2*l**2 + 4*l - 1. Let t be a(d). Solve 5*q + 21 = x, -q - 3*q = t*x + 11 for q.
-4
Let j be (-7 - -4)*10/(-6). Suppose -b = -4*t + 4 - 2, -j*t + 4*b + 8 = 0. Solve 4*f - 3*h - 6 - 9 = t, 3*h + 15 = 3*f for f.
0
Let w(d) = -4*d - 2. Let i be w(-1). Solve -5*n + c - 5*c + 10 = 0, 0 = i*n + 3*c - 4 for n.
2
Let s be 114/10 + (-12)/30. Suppose s = 5*m + 3*z, -z = -m - 2 + 1. Suppose 6 - m = v. Solve v*b - 4*r + 20 = 0, -4*b + 2*r - 3*r = 16 for b.
-4
Suppose 0 = -9*z + 4*z + 15. Suppose -z*b = 2*b. Suppose 2*y = 9 + 1. Solve 0*q - 19 = -3*q - 2*p, b = y*q - 4*p - 17 for q.
5
Let b be 1 - (1 - 1 - 1). Let v(k) = k**2 - 3*k + 2. Let q be v(b). Solve 4*s + x - 36 = 5*x, 4*s - x - 21 = q for s.
4
Suppose 3*c - 3 - 12 = -3*y, -2*y = -4. Let q be ((-12)/(-18))/((-2)/36). Let b be (-4)/q + (-5)/(-3). Solve 5*d - 15 = b*h, -3*h - 4 - 5 = -c*d for h.
0
Let d = -16 - -19. Suppose -2*n = 0, d*a - n - 72 = 4*n. Solve a = 5*m + 2*l + 7, -5*m - l + 16 = 0 for m.
3
Suppose -4*s + 16 = 2*k, 3*s = -0*k - k + 10. Let q = k + -5. Let d be (-1 + q)*(-3)/2. Solve 2*z = -5*t + 2*t + 3, -5*t = 4*z - d for t.
3
Suppose 5*i + x - 13 = 0, 0*x - 7 = -5*i - 4*x. Solve -4*g - i*p - 31 = 0, -2*g - 5*p - 14 - 19 = 0 for g.
-4
Let c(x) = x**3 - 7*x**2 - 7*x - 3. Let h = 1 + 1. Let g(w) = 4*w. Let t be g(h). Let u be c(t). Solve 4*d + 2*y - 4 = 0, -4*y + 2 = u*d - 3 for d.
1
Let n = 26 - 23. Solve -q = -m + 1, m - n*m - 5*q = 12 for m.
-1
Suppose -3*s - 6*x - 1 = -x, -5*s - x + 13 = 0. Solve 5*l - 2*t + 10 = 0, -s*l + 2*l - t + 5 = 0 for l.
0
Let h = -74 - -74. Solve 3*w - 40 = -5*g, 0 = 3*w - h*w + 2*g - 25 for w.
5
Let f = 11 + -6. Suppose 0*r + 15 = f*r. Solve -5*o = c - 0*c + 12, -o = -r*c + 12 for c.
3
Suppose -5*n = -0*n - 25. Let c = n + 4. Let t be c/12*(-4)/(-1). Solve -q + 5*j - 9 = t*j, -4*q - 3*j + 19 = 0 for q.
1
Let h be (-776)/(-48) + 1/(-6). Solve -5*v + 3*w = 23, 5*v + w = -3*w - h for v.
-4
Suppose -4*x = -5*x + 2*z + 5, 5*x + 5*z = -5. Solve p = -3*m - 9, x = m - p - 0 for m.
-2
Let z = 143 - 140. Solve -28 = -3*n - 4*d, -2 - 18 = -z*n - 2*d for n.
4
Suppose -2*b - 3*b + l = -10, 4*l - 2 = -b. Solve -v = z + b*v - 6, z - v + 2 = 0 for z.
0
Suppose -3*z + 8 = 17. Let d be (-6)/z + -2 - -7. Solve -3*k + 3 = 3*f, 2*k = -3*f + d*f - 16 for f.
3
Suppose -4*t - 15 + 27 = 0. Solve o + 0*o - 4 = 0, 35 = -t*a + 5*o for a.
-5
Let h(l) = -l**2 - l + 3. Let i be h(0). Let g be i + 2/4*-2. Solve -s + v - 5*v = 9, s + g*v = -3 for s.
3
Let a = 12 + -8. Suppose -z = -4*p - 2 + a, -2*p + 22 = 3*z. Solve s + z = -s - 4*o, -3*o - 11 = -5*s for s.
1
Suppose j - 45 = -8*j. Solve 10 = -v + 3*z + 1, 3*z = -j*v + 9 for v.
0
Let q(f) = 13*f**2 - 3*f + 2. Let m be q(1). Solve 2 = -4*l - 2*c - 0, 4*c = m for l.
-2
Suppose 0 = 4*g - 21 + 5. Solve -2*m - 15 = g*y - 7*m, 3*y = 4*m - 12 for y.
0
Suppose 3*y = -0*y + 12. Let i be (1 + 1)*18/4. Let k(w) = -w**2 + 11*w + 1. Let p be k(i). Solve 3*u - p = -x, 11 = -0*u - u + y*x for u.
5
Suppose 6*a - a - 5*d + 5 = 0, 5*d = 2*a - 4. Let j be 1/a - 14/(-6). Suppose 0 = -j*l + l + 9. Solve 2*p = 3*s - 13, 4*p - s = p - l for p.
-2
Let s = 7 + -10. Let t be (-7)/(-2) + s/6. Suppose 0 = l - 3*l + 10. Solve v + 5 = m, 4*v - t = -l*m - 14 for v.
-4
Suppose -m + 4*w + 13 = 0, -4*w - 9 = 4*m - m. Solve -3*k + 0*k - r - 8 = 0, -r + m = 0 for k.
-3
Let o be -6*(5/(-2) - -2). Let d = -66 + 70. Solve 0 = -4*f + 4*i + 1 + o, 4*f = -d*i + 28 for f.
4
Let c be -37 + 36 + (1 - (0 + -2)). Solve -c*l + 5 = 3*l - 4*s, 26 = -2*l - 4*s for l.
-3
Let n = -4 - -9. Solve n*l - 4 = -4*m + 2, l = -3*m + 10 for m.
4
Let i be (-45)/(-6)*(-36)/(-15). Let j = i - 13. Suppose 6*p - p = 4*m - 25, 3*m - p = 5. Solve j*l - x = -m*l - 2, 0 = 2*l + x + 5 for l.
-1
Let h(i) be the third derivative of 7*i**5/60 + i**3/6 - 2*i**2. Let t be h(-1). Let k be (1 + 0)/(1/3). Solve v - k*o - t = 5, 3*v - 11 = 2*o for v.
1
Suppose -2*q + 44 = -0*q. Let k be 2/((-2)/(-3)) - 1. Let s = 1 + k. Solve 0 = -j + 5*w - 21, -s*w = 3*j - w - q for j.
4
Let l(m) = m**3 + 2*m**2 - 2*m - 2. Let p = 17 - 12. Let z = p - 7. Let h be l(z). Solve 4 = 4*o + 4*s - 4, 5*o - s = -h for o.
0
Suppose 0 = 3*f - 5 - 91. Solve -4*k + y = 11 + 6, -4*k + 4*y - f = 0 for k.
-3
Let d(k) = 3*k**2 - 4*k + 3. Let l be d(2). Suppose 0 = 4*b + 4*z - 8, 3*b + l = 3*z + 25. Solve 0 = 3*y - b*x + 1, 3*x = -4*y + 2*x - 14 for y.
-3
Let d(h) = -h**2 - 4*h - 1. Let r be d(-3). Suppose 2*l + 4 = -v - 2*l, 3*v + 5*l = r. Let u = 28 + -28. Solve -5*p + 4*y + 6 = 9, u = p - v*y - 9 for p.
-3
Let z(f) = f**3 - 8*f**2 + 8*f - 2. Let i be z(7). Let g(a) = -a + 5. Let t be g(i). Solve -5*p + n = 1 - t, p - 2*n - 7 = 0 for p.
-1
Let p(s) = 3*s - 1. Let g be p(-3). Let r be (g/(-4))/(3/6). Let a be -1 + (-2)/2 + r. Solve 0 = j - 5*j, -a*j = -5*f for f.
0
Let y = 17 - 4. Let h = 16 - 6. Let g = h + 13. Solve 2*f + 2*f - g = u, -4*u + y = 5*f for u.
-3
Let d be -2 - -3*(4 + 0). Suppose -5*f + d*f - c = 8, 0 = -3*c + 6. Solve 3*p + 4*y - 23 = 0, 2*y + f = 5*p + 7 for p.
1
Suppose -u - 6 = -p, 0 = p + 4*p + 10. Let i(y) = -y**2 - 9*y + 1. Let c be i(u). Suppose -c = -5*z + 6. Solve -2*a = 2*w + 10, -3*a - 25 = 2*w + z*w for w.
-5
Let a(w) = 5 - 4 + 3*w + 2*w - w**2. Let g be a(5). Let r be ((0/(-3))/g)/(-1). Solve -t + 1 = 5*j - r*t, -5*j + 3 = 3*t for j.
0
Suppose -42 = -4*p + 18. Let m(v) = v**3 - 14*v**2 - 15*v + 7. Let y be m(p). Solve -3*t + 6 = c, 2*c + 2*t + 3 - y = 0 for c.
0
Let z be 10/6*(-144)/(-40). Solve u = -3*a + z, -a + 1 = -0*a for u.
3
Suppose 0 = 3*m + 3*x - 21, -2*x + 3 = 5*m - 5*x. Let k be (-20)/(-3) - 2/m. Solve 0*t + 4*f = 5*t + k, -t + 5*f = -3 for t.
-2
Let g(j) = -j + 5. Let i be g(0). Suppose -2*m = -i*o - 35, -o + 4*o + 29 = 2*m. Solve 3*a = -n + m, -5*n + 4 - 30 = -4*a for a.
4
Suppose 2*n - w = -0*w - 3, -5*w + 23 = -2*n. Let z be -2*(0 + n) - 1. Let r = 0 - z. Solve 0 = -r*y + 3*k - 18, -k = -4*y - 3*k for y.
-2
Suppose 2*a + 135 = 4*j +