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