-2
Suppose 3*x = -12, -5*u - 4*x - 12 = -3*u. Suppose 0 = -2*t - 2*v + 42, v + 3*v - 100 = -5*t. Solve -3*k + 4*l - t = 0, 3*l = -u*l + 20 for k.
0
Suppose 3*l - 22 + 7 = 0. Let i be -12*-1*(-3)/(-9). Solve 16 = 4*b - x, i*b - l*x = 2*b + 8 for b.
4
Suppose 0*a + 2*a - 8 = 0, 8 = 4*f - 3*a. Solve f*h - 3*z = 0, h + 18 + 10 = -5*z for h.
-3
Suppose -4*a + z - 28 = 5*z, 5*z + 10 = 0. Let l be ((-4)/a)/(6/300). Solve -2*h - 10 = h - s, 4*h + l = -4*s for h.
-5
Let q = 27 + -25. Solve 0*k - 5*y + 7 = 2*k, -2*k - 2 = q*y for k.
-4
Suppose 4*u - 18 + 2 = 0. Suppose 5*b - 2*j + j = 8, -3*b + j + u = 0. Solve 2*i + 4 = -2*m, m = -b*i - 7 - 0 for m.
3
Suppose -3*d - 2*f = -2*d - 14, 5*f - 41 = -4*d. Suppose d*z = 3*z + 2*u, -4*u + 4 = -z. Suppose z*i - 30 = -10. Solve 7*t = i*j + 3*t - 27, -3*t = 9 for j.
3
Suppose -9 - 19 = -f - 5*m, -2*f - 3*m = -21. Suppose s + 5 = 3*b - 0, -3*b = -5*s + 11. Solve -p = -z - 4, -b*z = p - 5*z - f for p.
5
Let z be 34/3 - 12/(-18). Suppose x = -10 - z. Let g = -7 - x. Solve 3*d - g = 0, 5*d + 0*d - 31 = -2*m for m.
3
Suppose o - 76 = -17. Let s = o - 26. Solve -4*q + q = 4*a - 14, 0 = -5*a + 4*q + s for a.
5
Suppose -4*f = -66 - 18. Solve 0 = -5*t + b + f + 7, -2*t = b - 7 for t.
5
Suppose -o - 21 + 10 = -2*d, 12 = -4*o. Solve -2*m - 5 + 30 = 3*z, d*m = 3*z + 5 for m.
5
Let w = 9 - 6. Solve -3*o = 0, 5*j + 10 = o - w*o for j.
-2
Let y(z) = 3*z - 3*z - z + 0*z. Let p be -3 - (3 - (2 - 0)). Let v be y(p). Solve 3*t - 5*m + 5 = -32, 4*m = -4*t + v for t.
-4
Suppose -2*r + 0*r = -8. Let c = -4 + r. Solve -21 = -t - 0*t + 5*n, 4*t - n - 8 = c for t.
1
Suppose -4*u - 37 = -5*y - 0*u, 3*y + 3*u - 6 = 0. Suppose -6*a = -y*a. Solve 5*c + 18 = -2*g + 4*g, -3*g - 5*c + 2 = a for g.
4
Suppose 17*a = 16*a + 2. Solve -2*q - d + a = 0, 4*q - 5*d + 3 = -21 for q.
-1
Suppose -a = -5*q - 3*a + 8, -2*a = q. Suppose 0 = -q*s + 24. Let n be s/7 - (-2)/7. Solve 3*d = 4*j - 4, 22 = -j - 3*d - n*d for j.
-2
Suppose -2*f + 2 = 6. Let v be 0*f/(-8)*-2. Solve -q + 3*k - 10 = v, 2*q + 5*k + 6 = -2*q for q.
-4
Suppose -3 = -4*p + 13. Suppose 0 = -2*k + 18 + p. Solve -4*h = 3*d - 2*d + 9, -d = 5*h + k for h.
-2
Let a(w) = 2*w**3 + w**2 + w - 1. Let v be a(1). Solve x - 4*x + v*b = -18, 2*b + 3 = -x for x.
3
Suppose -4*s = 3*u - 6 - 21, 26 = 4*s + 2*u. Let k = -1 + s. Suppose -d - 3 = -k. Solve 5*r + 2*w = -w + 25, d*w = r - 5 for r.
5
Suppose 20 = 3*d + d. Suppose 4*g - 12 = f, -f = 2*f - d*g + 15. Suppose 2*j - 1 = -c - j, c - 2*j - 6 = f. Solve 5*o + 16 = 4*u - 0, 4*o = -u + c for o.
0
Let l(u) = u**3 - 3*u**2 + 3. Let v be l(3). Suppose -g = 3*f - 6, -v*f + 9 = g + g. Solve -r + g*t = 6, -4*r - r - 2*t + 4 = 0 for r.
0
Let c = 5 + -2. Solve c*w - 2*x = -10, 0 = 4*w + w + x + 21 for w.
-4
Let w = 182 + 26. Suppose -4*x = r - 67, 0 = -5*r + 3*x + 12 + w. Let h = -29 + r. Solve -2*l + v = -12, 0 = 4*l - 2*v + 3*v - h for l.
5
Let r(q) = q**2 - 3*q - 3. Let c be 14/3 - (-2)/(-3). Let u be r(c). Let p be -2 + u + (-4)/(-1). Solve -2*g = -5*b - 27, p*b - 1 = -16 for g.
1
Suppose 5*u = w - 124, 43 - 14 = -u - 4*w. Let j = -12 - u. Solve 15 = -3*c, -p - 3*c - j = p for p.
1
Let x be 6 + 0 - (-7 + 9). Suppose -y = -x*y + 6. Solve -h + 2 = -y*w + 1, -3*h = -15 for w.
2
Suppose -3*i = -o - 31, 0*i + 4*o = 4*i - 52. Solve 4*y - 12 = 0, i = -5*u + 4*y - y for u.
0
Let n be ((-6)/5)/((-34)/85). Solve -5*q + 4 = n*z - 0, -3*z = 3*q for z.
-2
Let v be 2 - (-13 - 0) - 0. Suppose -2*h = -w - 8, 5*w + h + 12 = 4*h. Let y = w - -4. Solve 2*m - 12 = u, y*m - v = -3*u - 1 for u.
-2
Let r = 4 + 3. Solve -2*o + 6 = -2*n, -5 = 5*n - 2*o + r for n.
-2
Let y be 8/20 - (-56)/10. Let g = y - 6. Solve 3*z - z = 5*n - 33, g = -2*z - 8 for n.
5
Suppose -q - 4*b = 8, -q + 4*b = -6*q + 8. Solve -q*o - 23 = -d, -4*d + 21 = -2*d - 3*o for d.
3
Let d = 16 - 14. Solve -4*q + 23 = 5*c - q, d = 2*q for c.
4
Let l(s) = -s + 1. Let n be l(-4). Suppose 4*d = d + n*c + 32, d - 2*c - 12 = 0. Let h be 26/8 + (-1)/d. Solve h*w + 5*o + 5 = -2*w, 0 = -5*w + 2*o + 9 for w.
1
Let q(t) = 3*t + 47. Let j be q(-15). Solve j*v - m = 7, -5*m - 3 = 3*v + 6 for v.
2
Let f = 6 - -1. Suppose 3*q + 6 = -0. Let l be (q*1)/(1/(-2)). Solve g = z - 3*z - f, l = -g + z for g.
-5
Suppose -30 = -3*h + 9. Let c = -134 + 137. Solve -c*w = -15, 5*s - 3*w + h = 3 for s.
1
Let f be 23 - -2 - 5/5. Let h be (-2)/(-10) - f/(-5). Solve -2*u - 2*g + 23 - 9 = 0, 5*u - 5*g + h = 0 for u.
3
Let s = 8 + 2. Let v be 24/s + 2/(-5). Solve 3 = v*u - 5*f, -3*u - 3 = -2*u + 2*f for u.
-1
Let t = -24 - -29. Solve -5*n + 4*x + t = 0, 3*x - 8 = -5*n - 3 for n.
1
Let q(a) = -a**3 - 7*a**2 - 4*a - 3. Let y be q(-6). Let f = y + 21. Let d = f - 6. Solve k - 3*x - 3 = -3*k, d = -3*k + x + 6 for k.
3
Let u = 10 - 11. Let f be -1*(6*-1 - u). Solve f = z - 3*n, 2*n - 1 = -2*z - 15 for z.
-4
Let s(p) be the first derivative of p**2 - 2*p**3 - 9*p + 1 + 1/4*p**4. Let k be s(6). Solve -3*z + v - 15 = 3*v, v + 12 = -k*z for z.
-3
Let v be 8*(25/10 - 2). Solve -1 = -5*i + d - 12, 5*d = v*i + 13 for i.
-2
Let f(v) = -v - 4. Let j be -5 - (-4 - 2)/(-3). Let w be f(j). Solve -5*l - r = 17, w*r = 4*l - r + 4 for l.
-3
Let o be (-2)/(-4) + (-14)/(-4). Suppose -z + o = 3*p, -5*p + 4 = -3*z + 6*z. Let y = 8 - 5. Solve y*b + 7 = -5*r, p*r = -b - 2 - 0 for r.
1
Suppose 4*g - 2*a + 6 = -0*a, 3*g + 9 = 3*a. Suppose 11 = -4*k - 5*j - 2, 3*k + 5*j + 16 = g. Solve 4*z = d + 15, -3*d = -k*z + 1 + 8 for d.
1
Suppose -1 = -3*t - 16. Let x be (11 + t)*(-1)/(-3). Solve 2*a + 5*q - 18 = -2*a, -2 = x*a - 3*q for a.
2
Let d = -10 + 14. Suppose -k + d*k = 9. Solve 0 = 3*c - 3*a, k*c + a - 2 = 2 for c.
1
Let u = -2 - -6. Suppose -3*z + 2 = -u. Solve -4*h = -w - 20, -z*h - 6 = -3*w - 26 for h.
4
Let f = -7 - -9. Suppose -3*u - 28 = -0*l - 2*l, f*l + 5*u - 44 = 0. Solve 0 = 3*b + 15, z - 5*b - 7 = l for z.
-1
Let u(w) = w - 4. Suppose 0 = 3*l + l - 16. Let b be u(l). Suppose 4*h - 38 = 3*i + 2*i, b = -3*h - 2*i + 17. Solve 3*d = -q - 9, -5*d + 0*d + q - h = 0 for d.
-2
Suppose 68 + 108 = 4*q. Suppose -5*l - 2*g - 2*g + 32 = 0, -5*l = -2*g - q. Suppose 6*b - l = 2*b. Solve 4*s = -b*v - v + 1, 5*s + 22 = 4*v for s.
-2
Let n(p) = -p - 4. Let m be n(-6). Suppose 0*s + m*s - 6 = 0. Solve -3*d = d - i + 4, s*d - 4*i = 10 for d.
-2
Let m = 6 - 4. Suppose -m = s - 7. Solve 0 = -d - a + s, -3*a = -4*d + 10 + 10 for d.
5
Let g(i) = i**2 - 9*i - 5. Let j be g(10). Solve 0 = j*v + 5*x - 3*x + 21, 0 = 2*x + 6 for v.
-3
Let c(n) = -n**2 + 3*n - 2. Let h be c(2). Let t = -4 + 8. Let d = 6 - t. Solve d*k - 4*s = -9*s - 19, h = -5*s - 15 for k.
-2
Let k = -3 + 4. Let r be (-2 + -1 - -5)*k. Solve 3*c = -2*s + c - 16, 5*c + 19 = r*s for s.
-3
Let u = 83 + -83. Suppose 2*q = -2*q + 88. Solve b + q = -0*b + 4*y, 4*b + 2*y - 2 = u for b.
-2
Suppose -3*z + 0*z - 6 = 0. Let o be (-1)/(1*z/8). Suppose -o*c = -2*r + 4*r - 10, 4*r + c = 13. Solve l + 2 = -r*j, 3*l - 2*j + 20 = 3*j for l.
-5
Let w(f) be the third derivative of f**6/30 - f**5/60 + f**3/6 + f**2. Let x be w(1). Solve -2*l - 2*l - p - 13 = 0, -x*p = 4*l + 16 for l.
-3
Let w = 47 - 44. Let q = -6 - -10. Suppose -2*m = -q*m + 28. Solve -n - 3*o = 2, o + 4 - m = -w*n for n.
4
Let j be 0/((-12)/(-3)) - -4. Solve 0 = -3*c + 2*o - j*o + 2, 2*c - 3*o + 16 = 0 for c.
-2
Let f = -3 + 5. Suppose 5*o + f = 12. Solve 6*g - 6 = o*g - 2*r, 0 = -5*g - r + 9 for g.
2
Let h(i) = -2*i. Let j be h(-2). Suppose -4*r - j*v + 4 = 0, 3*r = 2*r + 5*v - 5. Suppose r = 4*p - 1 - 7. Solve -2*u - 7 = t, -5*t = u - p*u + 13 for u.
-2
Suppose -2*d = 2*b - 38, -13 = -d - 3*b + 8*b. Let a = d - 12. Solve -2*o + 3*p + 3 = 0, o + p = -2*p + a for o.
3
Suppose 0 = n - 15 - 25. Suppose 4*o = -o + n. Let g = o + -5. Solve 4*i - v + 3 - 15 = 0, i - g = 2*v for i.
3
Let m(q) = -q + 7. Let s be 40/(-7) + 2/(-7). Let c = s - -9. Let l be m(c). Solve -k + 8 = l*t + 4*k, -6 = -3*t + k for t.
2
Let u be (2 + 1)/1 - 1. Solve 5*v = 5*f + 15, u*f = 2 - 0 for v.
4
Suppose o + 6 = n, 2 - 17 = -4*n - 5*o. Solve 2*l = -5*p, l - 3*p + n + 6 = 0 for l.
-5
Let p(s) = s**2 - 7*s - 1. Let b be p(6). Let m = b - -12. Solve -m*o + 2*d + 30 = 7*d, 5*o - 9 = 2*d for o.
3
Suppose -17 = q - 1. Let s be ((-3)/2)/((-6)/q). Let h be s/3*(-1 + -2). Solve 2*i = b - 2*b - 2, -b + h = 0 for i.
-3
