-3*c - 1 = -0*u - 2*u, a*c = -3*u - 5 for u.
-1
Let c(b) be the first derivative of 1 - 2*b - 1/2*b**2. Let k be c(-5). Solve 7 = v - 3*t - 5, -2*t = -k*v + 15 for v.
3
Let x = 43 - 21. Let k be 22/4 + (-11)/x. Solve -d + k*q - 5 = -0, 0 = -4*q + 4 for d.
0
Let i be (2 - 2)*(-6)/12. Solve i*v = 5*v - 2*x - 10, 3*v - 2*x - 10 = 0 for v.
0
Let x be (-15)/6*(-6)/3. Let a be (-2)/(x/((-100)/8)). Solve -4*q = a*y + 20 + 1, -2*y = -2*q + 12 for y.
-5
Let u = -3 - -9. Let i be u/21 + 178/14. Solve 3*h = -2*s - 5, 5*h + 0*s + i = -s for h.
-3
Let p = 9 - 5. Suppose -4*s - 15 = -9*s. Solve g - 15 = p*g - 5*v, s*g - 9 = -3*v for g.
0
Let g be (-13)/(-4) - (-2)/(-8). Solve 5*s + 5*j - 8 = 32, 11 = 4*s - g*j for s.
5
Let k be (-1)/3*(-10 - -1). Let j = 12 - 10. Suppose -j*f = k*f - 10. Solve 2 + 0 = f*o + 2*v, -27 = 5*o - 3*v for o.
-3
Let z = 18 - 13. Solve 2*b - 35 = -5*w, z = -b + w + w for b.
5
Let h(p) = p**2 - 16*p + 2. Let n be h(16). Solve -5*i + n*d + 0*d + 23 = 0, 0 = 3*d + 12 for i.
3
Let w be -4*-1*4/16. Solve 4*i - 2*i = -r + w, 4*i + 10 = 2*r for i.
-1
Suppose -2*p = 5*r - 10 + 1, 3*p - 2 = 4*r. Solve 0 = o - m - 2*m - 18, 2*o - r = -m for o.
3
Suppose -v = v - 2. Let x be (-1)/((-2)/(-12)*-2). Solve x - v = -4*a - 3*s, -4*a + 3*s = 14 for a.
-2
Suppose 0 = 4*f - 4*k - k - 17, -2*f + 1 = 5*k. Solve 0 = f*n - 0*o - o - 6, 0 = 2*o for n.
2
Let z be 176/10 + (-6)/(-15). Let c be (-2)/5 - (-3)/(-5). Let b = c + 4. Solve 3*h - 4*i = 21, 0*i = 3*h - b*i - z for h.
3
Let j = 13 + -2. Let g(x) be the first derivative of x**2/2 + 4*x + 2. Let c be g(0). Solve -5*o + j = -c*d, -o = d - 0*d + 5 for d.
-4
Let p(k) = -k + 12. Let l be p(7). Solve -2*m - 25 = -5*b, b - 13 = m - l for m.
-5
Let p(a) be the second derivative of a**4/12 - 5*a**3/6 + 2*a**2 + 3*a. Let d be p(4). Solve d = v - s + 3*s + 8, -3*s - 13 = v for v.
2
Suppose 10 = 7*x - 2*x. Solve 2*q + x*q - 17 = 3*u, q - 14 = 4*u for u.
-3
Let k(g) = 3*g**2 - g + 5. Let y be k(0). Solve 0 = 2*h - u + y - 0, 4*h - 4*u + 12 = 0 for h.
-2
Let d = -20 + 22. Solve 3*m - h - 13 = -2*h, m = d*h - 5 for m.
3
Let y(i) = i**2 - 3*i + 2. Let z be y(4). Let l = -30 - -19. Let u = l - -18. Solve 22 = q - z*q - 3*g, -q = -2*g + u for q.
-5
Let n be (12/(4*-1))/(-1). Solve q + 3*r - 6 = 0, 12 = 6*q - q - n*r for q.
3
Let y = -32 - -56. Suppose 5 = -5*n + 25. Solve -y = -0*c + c + 5*q, -3*q + n = -4*c for c.
-4
Let f(h) = -h - 3. Let g be (-47)/9 + (-10)/(-45). Let z be f(g). Let w be (-1 + 4)*2/3. Solve w*n = 4*q + 10, 2*n + 8 = -z*n + q for n.
-3
Let c(z) = -z**2 + 8*z + 11. Let w be c(7). Solve -2*j + 2*y = -w, -2*j - 2*j - 4 = 4*y for j.
4
Suppose 4*x - 3*x = 2. Suppose 2*z - 6 = -2*l, -2*z = -3*z + x*l. Let f be ((-2)/6)/((-4)/24). Solve -9 = -o + f*g, 5*o = 6*o + z*g + 3 for o.
3
Let f = 24 - 24. Solve f = c - g + 5, -c = 4*g - 10 for c.
-2
Let q = -3 - -7. Let r be (-90)/(-21) - 2/7. Suppose 2*m - 4 = i - 2*m, -r*m + 4 = i. Solve -5*o + o - 28 = 3*c, i = -2*o + q*c + 8 for o.
-4
Let n = -96 + 117. Solve -16 = -2*a - 2*j, j = -2*a - 9 + n for a.
4
Suppose 2 = -3*r - 3*j + 8, 4*r + 5*j - 8 = 0. Solve -2*u = -r*g + 10, -2*g - 5 = 5*u - 4*u for u.
-5
Let i be -6*3/6 + 10. Suppose -n + 3*x = i*x - 19, 2*n = -3*x + 33. Solve -5*b - 3*s + s = n, -3*b - 13 = 2*s for b.
-1
Suppose 0 = 4*v - 0*v - 8. Suppose b = v*b - 3. Solve -2*k = 3*n - b, 6 + 6 = -3*n + 3*k for n.
-1
Let o be (-1 + 0 + 0)/((-39)/195). Solve 0 = y - 2*y + o, -p + 5*y - 20 = 0 for p.
5
Suppose -s + 12 = 7. Solve s*a - 32 = -4*u, 0 = -5*a + 4*u - 1 + 9 for a.
4
Suppose -1 - 11 = 4*t - 4*y, 7 = -4*t + 3*y. Solve -4*x - 2*f + 4 = 0, 2*f - 18 = t*x - 2*f for x.
-1
Suppose -2 = -2*x + x. Solve k + 2 = -j + 8, -x*j + 4 = 0 for k.
4
Let o(z) = 2*z**2 - 2*z + 1. Let i = -5 + -3. Let g = i - -12. Let n be o(g). Solve 0 = -5*f + n, 6*f = 5*r + 2*f for r.
4
Suppose 0*a - 2 = a - 5*d, 6 = a + 3*d. Suppose a*w + 5*n + 7 = 19, -4*w = 3*n - 16. Solve w*m - 2 = -2*t - 0, 0 = -2*m + 6 for t.
-5
Suppose 2*s = -z + 3*s + 1, z = 2*s + 2. Solve -3*b + 3*q + 3 = 0, 3*q - 17 = -2*b - z*q for b.
4
Suppose -6*t = -2*t. Suppose -l = -3*r - 14, t*l - 40 = -4*l + 4*r. Solve -3*o + l*m = 3*m - 16, -2 = -4*o - 3*m for o.
2
Suppose -42 = 4*x + 4*t - 114, 5*t - 74 = -4*x. Let d = x + -16. Solve -s - 2 = -d*u + 3*u, 0 = 2*u for s.
-2
Suppose 0 = -2*x + 5*x - 3*i - 9, -11 = -3*x + i. Solve 3*u + 32 = 2*a - 7*a, -x*a = u + 20 for u.
-4
Let l(w) = 3 - 14*w - 3. Let x be l(1). Let a be (-4)/x - 10/35. Solve a = -t - 3, 4*t - 9 = -4*o - 21 for o.
0
Let h be 30/6 - 6*(-6)/9. Solve 2*a + 5*m = -0*a + h, -4*m + 6 = 2*a for a.
-3
Let d = 63 + -63. Let a(g) = 3*g - 1. Let m be a(2). Solve -5*j + d*j + 5*o = -35, 4*o + 33 = m*j for j.
5
Suppose v + 24 - 30 = 0. Solve v*l - l = -4*c - 6, -2*l - 2 = 2*c for c.
1
Let u(w) = 6 - 8*w + 5*w**2 - 9 - 6 + w**3. Let r be u(-6). Solve 3*i = -5*x - 17 - 12, -2*i + 6 = -r*x for i.
-3
Let s be (18/(-30))/((-1)/20). Solve -17 = -j + 4*k, -5*j + s = -j - 2*k for j.
1
Suppose 5*d - 17 = 3*s, -36 + 9 = 3*s - 3*d. Let t be 7/s + 2/4. Let z be 5 + t + (-2)/2. Solve -4*b = 5*q - 3, -z*b + 2*b - 1 = 5*q for b.
2
Let y(b) = b**3 + 2*b - 1. Let a be y(1). Suppose 2*z + a = 4*z. Solve 8 = 4*t, -2*t + 3 = -2*m + z for m.
1
Let p = -5 - -23. Let b = p + -16. Solve b*z + 0*z = 4*i - 22, 2 = -2*z for i.
5
Let z = 6 - -12. Let w be 1/1 - z*-1. Let q = 45 - w. Solve 4*b + 5*y = -q, -4*b + 3*y - 10 = -0*b for b.
-4
Let w be 6/8 + 2/8. Let a be (w - 5)/(-2 - -1). Solve 4*f - 4*z + a = 2*f, 2*f + 4*z - 4 = 0 for f.
0
Suppose 3*q + q = 8. Let m be -3 - (-1 + (-3 - 3)). Let d be 3 + (1 - m/(-2)). Solve -d*c + 2 = -q*o - c, 4*c = -o + 12 for o.
4
Suppose 4*b + v = -55, -23 + 6 = b - 3*v. Let n = -14 - b. Solve 2*m - 8 = -3*y + 3, n = m + 2*y - 7 for m.
1
Let b(l) = 4*l**3 - 2*l**2 + 3*l - 2. Let s be b(1). Let k be 10/(-5) - 2*-3. Solve -4*g + 2*z - 7 = -z, -s*g + k*z = 0 for g.
-4
Suppose -l - s = -2*s - 5, 3 = l - 2*s. Suppose 0 = -5*q + 2 + 18. Let a = l - q. Solve b + 2 = a, 5*v + 6 = b for v.
-1
Let m(v) = -v + 20. Let g be m(16). Solve 4 = -u + b - 2, 10 = -g*u - 3*b for u.
-4
Let l be (-21)/(-4) - 2/8. Suppose f + 2*f = 4*w - 477, 2*f + 5*w + 318 = 0. Let o be (-2)/(-5) - f/15. Solve -a + 5*a + l*k = o, 2*k = -5*a + 1 for a.
-1
Suppose 0 = -5*a - 10, 2*v + 2*a = 3*v - 14. Let f be (-4)/v + 110/25. Solve -f = 2*y, -2 = -4*h + 3*y - 2*y for h.
0
Let b(n) = 3*n + 23. Let t be b(0). Solve -5*c + 0*c - 3*u = -t, 0 = c - 2*u - 2 for c.
4
Let r be ((-16)/4)/(6/(-3)). Suppose 2*p + 15 = 5*y, -2*y - p = r*p - 6. Solve -y*v = -3, -w - w - 2*v - 2 = 0 for w.
-2
Suppose 0 = 3*p - 5*a + 6, 0*p + 3 = -4*p + 5*a. Solve 2*f = -2*y - p*y + 9, 4*f - 2*y = -18 for f.
-3
Let h be (3 + -3 - -2) + 4. Suppose -2*x + h*x = 20. Let v be (-1)/(-4) - (-19)/4. Solve -2*p - p + 9 = -x*g, -v*g - 7 = -4*p for p.
-2
Let g(u) = -u**3 - 8*u**2 - 11*u + 6. Let o be g(-6). Solve -t + 5*h - 23 = o, -2*t - 3*t + h = -5 for t.
2
Let g = 27 + -22. Solve 2*m = -i - 3, 7 - 19 = g*m + i for m.
-3
Suppose 0 = -c - c + 32. Suppose 4*j + c - 40 = 0. Suppose -2*t - 5*g = -31, j*t = 2*t + 4*g - 8. Solve -5*h + 17 = t*l, -5*l - 2*h = 2*h - 24 for l.
4
Suppose -2 + 4 = 5*q - 4*y, -4*y = 5*q - 18. Suppose -2*k - 4*u + 16 = 2*k, 0 = 4*u - 12. Suppose -k = -q*b + 7. Solve -2*p - 9 = 3*a, 5*p + 1 - 36 = b*a for p.
3
Let f = 24 + -20. Solve f*v - 4 = -2*m, -v + 3*m - 11 = -2*v for v.
-1
Suppose 0 = a + 1 - 5. Let u = 1 + a. Solve f = 3*n + 7, -2*f - f + 5*n + u = 0 for f.
-5
Suppose p = 6*p - 10. Solve 2*y + o = -0*o + 5, 2*y + p*o - 2 = 0 for y.
4
Let h = -5 + 10. Suppose -h*j + 25 = -5*b, 3*j - 5*b - 22 = -5. Solve 2*y + 4*f = j*y - 6, -4*y = 4*f + 12 for y.
-1
Suppose 4*q - 1 = i - q, -4*i + 2*q = -14. Let o be 3 + (i - 1) + -3. Solve 10 = -z + o*f, -3*z - 3*f - f = 4 for z.
-4
Let n(s) = -s**3 - 5*s**2 - s - 7. Let f be n(-5). Let r = 25 - 24. Let h be (((-12)/1)/f)/r. Solve 5*d - h = 3*d, x - 2*d = -9 for x.
-3
Suppose 64 = 12*n + 4*n. Let y = 3 + 1. Solve 3*s - 26 = -n*o + s, y*s = -o + 17 for o.
5
Let p be 1*(2 + 3 + -1). Solve p*c = -3*x - 14, 5*c + 16 = -5*x + 2*c for x.
-2
Suppose 4 = 2*a - 8. Suppose -3*h + 9 = a. Solve 2*y + 6 = 4*i, -3*i + 3 + h = -y for i.
1
Suppose p - 10 = -3*a, 6*a - 2*p = 2*a + 30. S