
-4
Suppose 5*z = 4*z - 12. Let d = -8 - z. Solve -3 = 5*g - 4*i + 2, -d*g + 4*i = 8 for g.
3
Let y(h) = -h**2 - 4*h + 1. Let k be y(-3). Suppose -9 = -3*m + 3*l, 5*m = -l + k*l + 11. Suppose m + 11 = 3*w. Solve -2*a + 4*t = 2*a - w, -1 = -a - 3*t for a.
1
Let t = 9 + 31. Let o(j) be the second derivative of j**4/4 - j**3/6 - j**2/2 + j. Let u be o(-1). Solve 5*z + u*g = t, 7*z = 3*z - g + 25 for z.
5
Suppose -3*i - i - 8 = 0. Let u(d) = d**3 + 3*d**2 + d + 2. Let t be u(i). Solve 20 = 7*g - 3*g, 0 = -5*p + t*g - 30 for p.
-2
Suppose 4*o - 4 = -0*o. Suppose 14 = p - o. Suppose 3*d = 3*g - 0*d - 57, -17 = -g + 3*d. Solve -5*u - x + g = 0, -4*x + x = -p for u.
3
Let g(o) = 6*o - 9. Let l be g(2). Solve -3*j - x - 2 = 0, 7 = -l*j - 4*x + 2*x for j.
1
Suppose -4*a + 0*a + 48 = 0. Suppose 0 = y - 6*y. Let z = 0 - y. Solve 4*m - 5*j = -40, z*j - 3*j = -a for m.
-5
Let l = 8 - 8. Solve 6 = -4*w + 2*k, -w + k - 4 = -l*k for w.
1
Let g = 8 - 5. Suppose -5*z = -2*o - 33, -2*z = -g*z + 4*o + 21. Suppose 2*c + 48 = z*c. Solve -c = -2*k + 4*f, 2*k + 1 = 2*f + 9 for k.
0
Suppose -i - i + 8 = 0. Let r be (0 - 4)/(i/(-14)). Suppose -5*v = -r - 6. Solve 10 = v*f - 4*a + 3*a, 2*a = f - 6 for f.
2
Let c(h) = 7 + 2*h - 8 - 4*h - 8. Suppose 3*o + 13 = -5. Let x be c(o). Solve 2*r + 10 = 0, -2*f + x*r = -7 - 16 for f.
4
Let r = -1 + 9. Suppose 4*o - 5 = -o - 4*u, -4*u - 40 = -4*o. Suppose r*v - 42 = o*v. Solve 0 = t + s + 7, 2*t + 3*s + v = -2 for t.
-5
Suppose 3*p - 1 = -a + 5, -4*p = 4*a. Solve p*f - 16 = -5*l, -4*l - f + 7 = -10 for l.
5
Let z be 2/(-2) - (5 - 8). Solve -5*y - 34 = -2*y - 5*r, -5*r = z*y - 19 for y.
-3
Suppose 7*l = 20 - 6. Solve 4*r - l*f = -28, -6*r + 2*r - 36 = -4*f for r.
-5
Let r be 2/(-5) + 36/15. Suppose -4*l = -3*l - r*u + 5, 0 = 3*l - u. Solve -1 = -2*b - 2*c + 1, l = b + 2*c for b.
1
Let o(n) = -5*n. Let j be o(-2). Let f = -7 + j. Suppose f*h = 8*h. Solve -3*v - 8 = -r, -4*r = -h*v + 5*v + 19 for r.
-1
Suppose f - 9 = -2*f. Solve 4*h = y - 7, -h - 4*h + f*y = 0 for h.
-3
Let j = -6 - -25. Let v = j - 17. Solve -5*p - 8 = 2*b + 15, v*b + 8 = -2*p for b.
1
Let f(r) = -r**3 - 6*r**2 - 6*r - 1. Let k be f(-5). Suppose -k = j - 8. Let z = -81 - -85. Solve z*a = j*l - 11 - 9, 4*a - 2*l + 16 = 0 for a.
-3
Suppose 6*z - z - 2 = -i, -2 = -i + 5*z. Suppose 0 = -i*d - d - 6. Let c be 0*(d/(-4))/(-1). Solve -w + 20 = -4*v, -5*w + c + 32 = -3*v for v.
-4
Let x(s) be the first derivative of -s**2/2 - s - 2. Let h be x(-6). Let v be ((-2)/5)/((-9)/45). Solve -v*t - 10 = -3*b, h*b - 4*b = 3*t + 1 for b.
4
Suppose -97 = -4*a - 17. Solve -3*h = -2*c + 12, a = 4*c - 2*c - 5*h for c.
0
Let j = 17 - 13. Suppose -3 + 1 = -3*s + 2*f, -4*f - j = 0. Solve 2*k + 15 = 5*a - 10, 5*k + 5*a + 10 = s for k.
-5
Let b be 3/(-4) + (-19)/(-4). Suppose -2*m + 4*m - 10 = 0. Solve 0 = -m*h - 5*c - b + 29, -10 = -2*h + 4*c for h.
5
Let z be 12/4 + -3 - -8. Let y be -1*1 + 32/z. Solve y*h + 1 - 3 = m, 4*m - 4*h = -8 for m.
-2
Let r = -59 + 62. Solve g = 4*z - r*z + 1, 5 = 3*z - g for z.
3
Let d(z) = z + 3. Let r be d(-3). Suppose 4*c - c + 3*t = 30, -5 = -3*c + 2*t. Let m be c*(r - 6/(-15)). Solve 0 = -5*p - k - 16, -m*p - 20 = k - 4*k for p.
-4
Suppose 11*i - 13*i + 4 = 0. Solve m + 7*r - i = 4*r, -2*r + 3 = m for m.
5
Suppose 4*u + 0*r + 2*r = 6, -4*u + 5 = 3*r. Let q(m) = -8 + 4*m - m**u + 5 + 2*m**2. Let c be q(-5). Solve 0 = c*v + 2*p + 16 - 0, 12 = -4*p for v.
-5
Let d(v) = -8*v + 0*v**2 - 9*v**2 + 8*v**2 - 8. Let f be d(-6). Solve f*o - 4*h = 0, 4*o + 4*h + 65 = 25 for o.
-5
Let r(t) = -2*t**2 + 8*t**2 + 4 + 6 - 2 + 6*t - t**3. Let p be r(7). Suppose 0 = 2*g, 4*c + p = 2*g + 17. Solve -b - 8 = -2*j, -3*b + j + c*j - 21 = 0 for b.
-2
Let p = 8 - 8. Suppose 2 = q - p*q. Solve -4*m = 16, -3*v - q*m - 16 = -m for v.
-4
Let t = 14 - 5. Suppose 3*q - 20 = -5*g, t = -5*g - 2*q + 29. Solve x + 4 = -x + 4*h, -g*h + 4 = 0 for x.
0
Let z(c) = -c**3 + 4*c**2 - 3*c + 1. Let t be z(2). Solve -2*d = t*r + 2, 0 = -3*d - r - 2*r - 3 for d.
-1
Let z = 6 - -7. Let x = z + -7. Solve -2*f = 0, 0 = -3*s - 4*f - f + x for s.
2
Let j = 15 + -15. Suppose -4 = -j*q + 2*q, 4*x = -3*q + 2. Solve x*b - b - 2*h = -9, 2*b = 2*h - 10 for b.
-1
Suppose -2*h + 7*h = 0. Suppose h = 4*a - 5*j - 36, 4*a - 3*a + 3*j + 8 = 0. Solve o = -t - 10, a*o + 0*t = t - 15 for o.
-5
Let b be (-3 + 2)/(-2)*10. Suppose -2*s = -b*s + 30. Suppose -8*g - 8 = -s*g. Solve -3*h - 4*w = 23, -16 = -g*h + 3*w - 5 for h.
-1
Let o(l) = -3*l + 1. Let t be o(-2). Suppose -4*f + t*f - 9 = 0. Let n(h) = -h - 2. Let w be n(-4). Solve -19 = 2*b - p - w*p, -9 = -f*p for b.
-5
Let s(z) = -z - 4. Let g be s(-9). Suppose 5*r + 0*r = -t + 20, 4*r = -g*t + 16. Suppose o - 4 - 12 = t. Solve -x - 3*x - o = 0, 2*x = -4*u - 16 for u.
-2
Let p(s) = -s**3 + 10*s**2 - s + 13. Let x be p(10). Suppose 0 = f + 4*a + 16, -2*f - 3*f = x*a + 12. Solve f = -4*y - 4*u - 20, 5*u + 0 = 3*y - 1 for y.
-3
Let y(m) = m**2 - 11*m + 14. Let t be y(8). Suppose -3*p = -2*p - 3*o + 16, 0 = -2*o. Let f = t - p. Solve -i - 2*s = -f, 3*i + 4*s - 16 + 2 = 0 for i.
2
Let z = -91 - -97. Let j be ((-2)/(-1))/(6/(-27)). Let w be (2/z)/((-1)/j). Solve w*r - 9 = -2*m + m, 3 = -3*r - 5*m for r.
4
Let v = 17 + -12. Suppose -v = -2*c + 5. Solve 4*w + 10 = w + p, -c*p + 24 = -2*w for w.
-2
Let t = 4 + 9. Suppose y = 5*s - 11, -5*s + 4*y + t = y. Solve 5*x - 19 = -3*i, -7 = -4*x + i - s for x.
2
Let w(g) = -9*g + 8. Let b be w(-6). Suppose 3*q = -2*l + b, 6*q - 4*l - 96 = q. Suppose x + 4*x - q = 0. Solve 3*v + 4 = -d, 3*d + 0*d = -x*v - 12 for v.
0
Let s(w) = w**3 + 5*w**2 + 3*w + 4. Let r be s(-5). Let m = -4 - r. Solve -2*j + 3*k = -m*j - 16, j + 3*k = 4 for j.
-5
Suppose 4*j = -q + 5, -4*j + 3*j + 2*q - 10 = 0. Solve -4*s + 4*z = j, -2*z - 2 = -z for s.
-2
Suppose -r + 5*d = -6*r + 60, 0 = -r - 3*d + 22. Suppose 3*o = -z + r, 5*z - 6*o + o - 15 = 0. Solve -2*v = -z - 6, 4*k + 3*v - 3 = 0 for k.
-3
Let f be (150/20)/((-6)/8). Let v be 2/(4/f)*-1. Solve 3*d - 4*k - v = 0, 4*k + 4 = d + 5*k for d.
3
Let b(i) = -i**2 + 10*i + 14. Let r be b(11). Suppose -r*y + 2*n + 3 = -n, -5*y = 3*n - 29. Solve f + y*d + 13 = 0, -3*f + 2*d = -d - 21 for f.
3
Let q(h) be the first derivative of -h**4/4 + h**3 + 2*h**2 - 1. Let l be q(3). Solve -4*b + 4 = 0, 2*b + b = -3*j - l for j.
-5
Let l(n) = 3*n**2 + 3*n - 4. Let i be (-1)/((-1)/(-6)*2). Let k be l(i). Solve 0 = y + 5*v + 19, 5*y - k = 5*v + 11 for y.
1
Let k(i) = -i**2 - 4*i + 10. Let o be k(-5). Suppose 0 = -5*c, -c = b - 3 + 1. Solve 4*v = b*y + 8, -v - o*y - 4 = 5 for v.
1
Suppose -20 = -3*v - v. Let n = 8 + -4. Suppose n*c = j - 8, -94 - 21 = -v*j - 5*c. Solve -4*p + 45 = -5*g, g - j = -0*p - 5*p for p.
5
Let n be (4/(-6))/((-1)/6). Let p be n*((-9)/(-3))/3. Solve h - 4 = -3*c + 2*h, 4*h = -p for c.
1
Suppose 0 = -2*v - b + 6*b + 25, b + 5 = -4*v. Let i be 5*1 + v/(-4). Solve -2*z = 0, -3*n + z - i*z = -12 for n.
4
Let d = 106 - 103. Solve -3*m = -2*h - 3 - 4, 22 = d*h + 2*m for h.
4
Suppose -5*r = -2*q - 16, 2*r - q = 3*q. Suppose r*u = 5*u. Solve -4*z - 2*o - o = 17, -3*o - 9 = u for z.
-2
Let d(q) = q - 6. Let a be d(7). Let h be (0/(-3) + 4)/1. Let s be 167/h + a/4. Solve n = -y - 1, -3*y = -5*n - 15 + s for y.
-4
Let s = -17 + 22. Solve 3*j - s*c = 8 + 11, -j = -4*c - 18 for j.
-2
Suppose 20 = 4*b - 3*v, 3*b + 4*v + 8 = -b. Solve -3*k + 4 = b*f - 3, 5*f = 3*k - 14 for f.
-1
Let h = 12 + -16. Let n be (1 - h) + 0/8. Suppose 2*d - 6 = -2*v, 2*v = 6*d - 2*d - 12. Solve -d = -b + o, -3*b = -2*o + n*o + 9 for b.
0
Let b = 4 + -1. Suppose -m + 2*m = b. Solve 2*p + m*a = 17, 2*p + 0*a = -a + 7 for p.
1
Let c be 5/5*(1 + 1). Solve i = 5*d + 20, -i - 2*i = -c*d - 8 for d.
-4
Let n(c) = c**2 - 13*c - 11. Let l be n(14). Solve -i + 0*i + 2*z + 8 = 0, -l*z = -5*i + 19 for i.
2
Let c(h) = -h + 4. Let n be c(-3). Let k = 40 - 37. Suppose 0 = 5*q + 3*v - 12, q - 2 - 4 = 3*v. Solve q*l + 27 = 3*x, -2*l + 6 = -k*x + n*x for l.
-5
Let b = 9 - 7. Let o(q) = 3*q + q - 8*q - b + 3*q. Let f be o(-3). Solve -l + 2 - f = -g, -l = -2*g + 1 for l.
3
Let l(x) = -6*x + 0*x - 13 - 4*x**2 + 5*x**2. Let a be l(9). Solve -3*d + 8*d - 26 = m, -a = 4*m - 2*d for m.
-1
Let x(i) = i**3 + 6*i**2 + 4. Let t be x(-6). Solve -2*q + 3*a = a - 12, -t*q - 5*a = -6 fo