= -5*a + 3*a + 16, 4 = y*a + 4*h for a.
4
Let d(i) be the first derivative of -i**2 - 8*i + 2. Let p be d(-6). Suppose 3*s - 5 = p, h = -3*s + 42. Solve -4*a - 5*v = h - 2, 0 = -3*a + v - 9 for a.
-4
Let p = -77 + 87. Solve -5*f + p = -5*z - 20, 4*f = -3*z + 17 for f.
5
Let g be (8/3)/(4/6). Solve 0 = v + 4*w + 6 + 7, -g*v - w = 7 for v.
-1
Let w = 25 - 25. Solve 0 = 3*s - 7*s + 3*t + 5, -4*s - 4*t + 40 = w for s.
5
Let i = 2 + 2. Suppose -9 - 1 = -2*r - 4*k, r - i*k = 5. Solve -r*l - 3*h - 9 + 23 = 0, 0 = 4*l + 5*h - 6 for l.
4
Suppose 0 = 2*g + g - 6. Suppose -g*b + 10 = 3*b. Solve 3*i = 3, -v = -b*i - 1 + 4 for v.
-1
Let p(t) = t**3 + 4*t**2 - 5*t + 1. Let r be p(-5). Let b = r + -1. Suppose -4*q = -4*g, 0*g + 4*q - 24 = -2*g. Solve g*v = -b*v - s, -5*v = -s for v.
0
Let t(o) = o - 8. Let r be t(8). Suppose r = -g + 3*g + 66. Let w be g/(-15) + (-2)/10. Solve -w*s + 13 = b, -2*s - 3*s + 30 = 2*b for b.
5
Suppose 4*r - 1315 = -267. Let o = 367 - r. Let u = o + -75. Solve 2*f - 18 = 2*k + 2*k, -5*f + u = -5*k for k.
-3
Let c(x) = -x**3 - 3*x**2 - x + 5. Let u be c(-4). Let a = -18 + u. Let v = -8 - -11. Solve -5*w + 30 + a = v*f, -3*w = -4*f + 1 for f.
4
Suppose u + 36 = 10*u. Solve t - 1 = -0*t - 2*q, -7 = 5*t + u*q for t.
-3
Suppose -q - 5 + 4 = 0. Let o be (1 + q)/(-3) + 5. Solve -o*v + 4 = -11, -3*d + v = -3 for d.
2
Let c = -21 + 29. Let t = c - 4. Solve 3*w - 29 = -t*k - 12, 3*w = -3 for k.
5
Let v(a) = a**3 - a**2 + a + 1. Let r be v(0). Solve 0 = h + r, -5*l + 4*h = -0*h + 1 for l.
-1
Let s = 2 - 8. Let b be (-9)/2 - 3/s. Let t = 6 + b. Solve 5*m - m = -r - 15, -t*r - 21 = 5*m for m.
-3
Suppose 3*p - 9 = -3*t, 5*t + 0*t = -4*p + 11. Suppose -p*r = -r. Solve -z - 4*y - 25 = r, 4*y = -y - 25 for z.
-5
Suppose 3 + 5 = 4*b. Let y(a) = -a - 2. Let k be -5 - (2 - 0 - 2). Let c be y(k). Solve 0*z = 3*o + z - 4, c = -b*o + 5*z for o.
1
Let z = 2 + 4. Suppose -32 = 2*h + 4*p, -4*h = -p + 25 - z. Let l(s) = -s - 6. Let a be l(h). Solve -k - 2*x - 4 = a, 5*x + 8 = -7 for k.
2
Let p(x) = x**3. Let f(d) = 4*d**3 - 4*d**2 - d - 4. Let i(l) = -f(l) + 5*p(l). Let a be i(-4). Solve 2*h + a*h = 5*g + 10, -20 = -4*h + 2*g for h.
5
Let a(j) = -j - 2. Let g be a(-5). Suppose 4*r = g*z + 25, r = 4*r + 4*z. Suppose r*x - 6 = 10. Solve -x*w - 7 = -3*u, w = 4*u + 2*w - 3 for u.
1
Suppose 2*b = -b. Suppose b = s - 2*s + 15. Let t = s + 2. Solve 0 = h + x, 4*h = 3*x - t - 11 for h.
-4
Suppose 3 = -h + 7. Let b be 3/(-1 - 0) - -23. Solve -b = -h*f, 4*z + z + 25 = 4*f for z.
-1
Let h(x) = 17*x**3 - x**2 + x. Let d be (1/(-2))/(1/(-10)). Suppose -d = -0*g - 5*g. Let t be h(g). Solve -8*o + t = -3*o + y, -4*o = 4*y - 20 for o.
3
Let y(i) = -i - 8. Suppose -12*v = -14*v - 26. Let w be y(v). Solve -4*z - 13 = -w*x, 0*z - 6 = -2*z for x.
5
Let q = -202 - -205. Solve -4*r - 4*m = -43 + 11, 19 = 2*r + q*m for r.
5
Let d = -5 - -8. Let y(h) = h**2 - 2*h + 2. Let j be y(2). Suppose -i = c - 11, c - 38 + 16 = -2*i. Solve -q - 5 = 2*q - j*p, 0 = q - d*p + i for q.
1
Let f = 9 + -7. Solve o - 4*v + 3*v = -2, -f*o + 4*v = 8 for o.
0
Let s be (-3 + 0)/(2/(-10)). Let i(o) = o + 2. Let u be i(3). Suppose 5*x = 5*f - 8 - 17, -4*x = f. Solve -f*v = -0*v - 2*y + 6, -s = -u*v - 5*y for v.
0
Suppose -3*f + 7*f - 40 = 2*d, 2*d - 68 = -5*f. Solve 0*o = -o + 3*l + f, -2*o - 3*l = 3 for o.
3
Suppose -f = 3*o - 0*o - 8, 3*f - 17 = -2*o. Solve f*u = -5*m + 25, -4*m + 9 - 1 = u for u.
4
Let l = -20 - -24. Let x be (0 - 0)*(-2)/4. Solve -3*r + 4 = 19, -l*z - r - 9 = x for z.
-1
Let f(n) = 5*n. Let d be f(3). Let p be 24/5 - (-3)/d. Solve g = 3*w - 7, g - p = -3*w - 0*w for w.
2
Suppose 4*o - 16 = 4*k - 2*k, 7 = -4*k + 3*o. Solve -3*t = -k*d - 2, 5*d + 21 = 1 for t.
-2
Suppose 0 = -4*y + 33 - 13. Suppose 0*s = -y*d + 3*s + 25, 4*d + s = 20. Suppose -3*h = -d*h + 8. Solve -5*z + 4*o - 20 = -h*z, -o - 12 = 4*z for z.
-4
Suppose 2*h = 12 + 62. Let k = h + -11. Solve t - k = -4*r - t, -2*t = -5*r + 19 for r.
5
Let w = -30 + -10. Let n be (w/(-30))/((-2)/(-6)). Solve 0 = -4*g, t - 3 = -5*g + n*g for t.
3
Suppose -3*q + 25 = -35. Solve f - 3 = -l - l, -3*f + 5*l = -q for f.
5
Let j = -2 + 5. Suppose j*n = 5*n - 10. Solve 5*z - 5*o = -n, -4*z - 5*o + 0*o = -14 for z.
1
Let z be (-7)/(70/25)*-2. Solve 16 = 3*b - r, 4*b + 2 + 2 = -z*r for b.
4
Let w(m) = m - 1. Let p be w(3). Suppose 2*g - p = 6. Solve l = 3*t + 4, -20 = -g*l - 3*t - 4 for l.
4
Let f(p) = 2*p**2 + 2*p - 2. Let z(s) = 2*s**2 + 3*s - 2. Let c(k) = 4*f(k) - 3*z(k). Let h be c(-2). Solve -5*y + 0 = -3*x + h, 0 = x + 4*y + 20 for x.
-4
Suppose 0 = 2*y + 2*y + 4*h - 52, -4*y + 27 = -h. Suppose 3*n - 2*x - 7 = 0, 0 = -n - 2*x - x + 6. Solve n*g = -2*r + 20, g = -r - 0*r + y for r.
4
Let n = -37 - -37. Solve -3*a + 2*f - 4*f + 1 = n, -3*a - 3*f = 0 for a.
1
Suppose -t + 2*t = -4*x + 14, -5*t - 10 = 0. Let h be 2 - 3*(-2)/(-3). Solve 0*n = 5*r - 5*n, h = 5*r + x*n for r.
0
Suppose -3*t = -8 - 7. Solve -t*m + 2 = -3*j + 8, -4*m = -4*j for j.
-3
Let g = 1 + 2. Solve 0 = -g*c + y - 20, 5*y = 8 + 17 for c.
-5
Let d(g) = g**2 + 3*g - 6. Let a be d(-5). Solve -2*m + m - 5*j = -11, a*m = 4*j - 4 for m.
1
Let a = 62 + 3. Let d be 39/a + (-2)/(-5). Solve 5*y - 20 = -5*m, -m = -2*y - 2*y + d for y.
1
Let w(x) = -x**3 + 3*x**2 + 3. Let l be w(3). Solve -2*j - 2*c + 16 = 3*c, -j + 9 = l*c for j.
3
Let k(m) = m + 1 - 2*m**2 - 2*m**2 - 4 + m**3. Suppose -8*u + 7 = -25. Let j be k(u). Solve 0 = -2*d + x + j, -2*d - x + 4*x = 9 for d.
3
Let z(c) = c - 12. Let n be z(11). Let w = n + 3. Suppose -56 = -2*v + w*p - 18, 7 = v + 3*p. Solve 0*u - 4*r = -2*u + v, -u = 4*r + 16 for u.
0
Let u(o) = -2*o**2 + 6*o + 3. Let m be u(3). Solve y = 2*c + 10, m*y + 18 - 4 = -5*c for y.
2
Suppose 5*k - 10 = -0*k. Solve -b = -4*m - 21, -k*b - b = 5*m + 22 for b.
1
Let f(g) = -5*g**2 + 46*g - 30. Let x(t) = -t**2 + 9*t - 6. Let u(o) = -2*f(o) + 11*x(o). Let y be u(5). Solve 5*v = -25, -q - y*v - 16 = -0*q for q.
4
Suppose -4 = -2*f - 2. Solve -2*c - 13 = y, 3*c - 4*y - 7 - f = 0 for c.
-4
Let z(l) = l**2 - 23*l - 19. Let n be z(24). Solve -15 = -n*p - d, 25 = -0*p + 5*p - d for p.
4
Let c be (-4)/(-10) - (-13)/5. Suppose -5*x = -32 + 7. Suppose p = m + 4, x*p - 2 - 9 = -4*m. Solve -2*d = 2*y + 10, -c*d + 2*y + p + 7 = 0 for d.
0
Let n(c) = c**2 - 11*c + 13. Let s be n(10). Solve 1 = -5*v + 2*l - 2, 1 = -s*v + l for v.
1
Suppose -3*j + 10*j - 14 = 0. Suppose 5*z + h = 13 + 1, -3*z + h + j = 0. Let r = -2 - -5. Solve -3*g = r*n + z*g - 35, -g = 2*n - 14 for n.
5
Let a = -21 - -12. Suppose d - 5*n + 80 = 0, -5*d + n - 284 = 5*n. Let r be d/a*3/2. Solve -1 = -3*j + o - r, -j - 3*o = 3 for j.
-3
Let j = -7 - -11. Solve -3*y = -j*z + 12, -5*y + z - 12 = -3*z for y.
0
Let z = 9 - 7. Solve -2 = -2*i + z*w, 0*i + 3*w = 2*i - 5 for i.
-2
Let q(d) = -3 + 0*d + 2 + d - 4. Let z be q(5). Solve 0 = -2*h + 3*m - 7*m, z = m + 1 for h.
2
Let j = -1 - 8. Let o be (-1 + 1*j)/(-2). Solve -11 = -x - 2*k, -o*x - 3*k + 8*k + 10 = 0 for x.
5
Suppose -3 = g - 23. Suppose -h = -5*h + g. Solve -x = h*y - 2*y - 18, 0 = 4*x + 3*y - 27 for x.
3
Suppose -14 = -4*i + 3*m, 3*i - 1 - 8 = 3*m. Solve -2*q - b = 6, 0 = -b + i*b + 8 for q.
-2
Let x(k) = -k**3 + 10*k**2 - 7*k - 12. Let h be x(9). Suppose -2*u - 2 = -h. Solve 0 = 5*t - 2*t - u*o - 1, -3*t + 4*o - 7 = 0 for t.
3
Suppose 4*r - 5 = -5*x - r, -x - 11 = 4*r. Suppose 2*p + 1 - 9 = -2*i, -3*i = -6. Solve -p*s - x = k, k + 6 = 5*s + 22 for k.
1
Let y be (10/2)/(3 + -2). Solve 1 = -4*u - 3*n - 5, u - n + y = 0 for u.
-3
Suppose -t + 3*t + 4*k - 28 = 0, 3*t - 39 = -3*k. Solve -4*v = -t, -3*y + 4*v - 15 = -2*y for y.
-3
Let r be (-1 + 0)/(4/(-12)). Solve -2*q - 4*x = 10, -4*x = q - r*q - 10 for q.
-5
Let o(t) be the first derivative of t**4/2 - t**3 + t**2 + 2*t + 1. Let z be o(2). Solve 0 = i + 3*f + z, f - 6 = 5*i + 12 for i.
-4
Let i = 20 - 16. Solve -g = d + g - 4, d - i*g = -2 for d.
2
Let r = 1 + 1. Suppose 0 = 2*y + r*c - c - 25, -5*y - 5*c = -75. Suppose 31 = 3*a + y. Solve 2*v - 1 = -4*i + i, i - a = v for v.
-4
Suppose l = 3 + 2. Suppose 4*h + 8 = -3*g + g, 0 = -l*g + 5*h + 10. Solve 2*z - 3*b - 2 = g, 4*z - 3*b + 3 = -5 for z.
-5
Let q be (-1)/(-4) + 15/4. Suppose -10 = -q*y - y. Solve 3*w = n - 2 + 18, -5*w + 27 = -y*n for w.
5
Let k be 0 - 3 - 