- 4*y - 6 = 0. Solve -3*x + y = -4*d - d, x = 4*d + 9 for d.
-3
Suppose -4*q - 18 = -2*a, -a - 27 = -5*a + 5*q. Solve 5*j + 24 = -k, a*j + 2*j = 5*k for k.
-4
Let x be 2*4/(16/10). Let d(u) = -u**2 + 6*u - 5. Let h be d(x). Let i(w) = w**3 + w**2 - w. Let q be i(h). Solve -f = 2*b - 10, 0 = -3*b - f + 15 - q for b.
5
Let d(l) = -l**2 + 7*l - 4. Suppose -q = -2*b + 24, 2*b = -3*b + 5*q + 65. Let v = -5 + b. Let k be d(v). Solve 2*r - u + 6 = 0, 3 = -k*r + r - 3*u for r.
-3
Let s(a) = 2*a - 8. Let b be s(8). Let t = b - 7. Solve 2*w = 0, -w = 2*k - 3*k - t for k.
-1
Let h = 4 + 2. Let u be (h/4)/((-2)/(-12)). Suppose -4*t = -u + 1. Solve -13 = -2*j + 3*d, 0 = -d + t - 7 for j.
-1
Suppose 5*x = -5*f + 7 + 53, x - 2*f = 3. Let q(b) = b**3 - 8*b**2 - 6*b - 12. Let a be q(x). Solve -3*p + 5*t + 4 = -9, -a = -5*p + 5*t for p.
1
Let x = -6 - -8. Suppose -3*o = x*o - 25. Suppose 194*u - 199*u = -55. Solve -4*f = -5*q - o, -2*q = -0*f + f - u for f.
5
Let c = -13 - -18. Suppose 3*j = 4*j. Suppose j = c*h - h - 12. Solve -2 = 2*a - 0*q + 5*q, 2 = -2*a - h*q for a.
-1
Let s = 0 + 2. Let i be 2*(5/2 - 1). Let d be 1/i - (-1)/(-3). Solve -s*v = y + 3, 6 = -v - 5*y - d*y for v.
-1
Suppose i - l - 15 = 0, 2*i - l - 3*l = 24. Suppose 125 = 5*d + 3*u, -2*u = 5*d - 4*d - i. Solve 3*a + a - d = -4*k, 0 = 5*a - 3*k + 5 for a.
2
Let m(f) = -f - 1. Let g(l) = -l**2 + l - 1. Let c be g(0). Let z be m(c). Solve 2*u - 4*u = z, -5*u + 4 = h for h.
4
Let g be (3/3)/((-2)/54). Let i be 6/g - (-86)/(-18). Let l = -2 - i. Solve -a + 14 = a - 5*x, l*x + 3 = 3*a for a.
-3
Let f(g) be the first derivative of -g**4/4 - 2*g**3/3 - g**2 - 2*g - 2. Let q be f(-2). Solve -3*x + 4*s = q*x + 12, -5*s - 10 = 0 for x.
-4
Suppose 8*x - 11*x = -6. Suppose 3*v + 4*o + 14 = 43, 3*v = -x*o + 19. Solve -4*y + v*i + 16 = 40, -4*i = -3*y - 25 for y.
-3
Let h(c) = 1 + 3 - c + 0 + 0 + c**2. Let v be h(3). Suppose d = 5*j + 3*d - v, -4*j - 25 = -5*d. Solve j = k - 2, -4*w - 2*k + 19 = w for w.
3
Let m(n) = n**3 - 7*n**2 + 6*n. Let r be m(6). Suppose b - 3*j - 12 = r, -3*j - 3 = -2*j. Solve 10 = -w + 3*g, 0 = -b*w + 2*g - 3*g for w.
-1
Suppose 0 = -5*p - 20, -12 = -3*s + 3*p - 0. Solve 0 = -3*o + 5*t - 11, o + 3*o - 4*t + 4 = s for o.
3
Let w = 11 - 7. Solve 8*r - 3*r = 4*s + 21, -5*r = w*s - 29 for s.
1
Let i(s) = -5*s + 44. Let j be i(8). Solve -20 = -j*k, -3*q + 3*k - 10 = 5 for q.
0
Suppose 5*u - k + 42 = 0, 3*k - 5 = u + 9. Let z be (6/4)/((-4)/u). Solve z = 4*h - 4*b - 5, -5*h = 2*b - 10 for h.
2
Let t be (-4)/(-18)*-3*-3. Solve 2*y = -4*d - 12, -4*y + t*y + d + 8 = 0 for y.
2
Let k(s) = 2*s + 9. Let w be k(-4). Let v be (6/(-15))/(w/(-5)). Solve -v*c = 4*y - 2, 5*y = -2*c - c + 1 for c.
-3
Let p = -7 - 11. Let v be 220/18 - (-4)/p. Suppose -v = -0*l - 3*l. Solve t = -4*t - 4*j - 26, 0 = 4*t - j + l for t.
-2
Suppose 3*p + 3 = 4*p. Suppose 6 = p*r - r. Let j be 17/5 + 14/(-35). Solve -4*g + j*t = -2*t + 37, 12 = g + r*t for g.
-3
Suppose -t + 7 = i, 0 = -3*t + 1 + 5. Suppose 0 = 4*u + u - h - 51, 3*h + 53 = i*u. Solve 3*q = -5*z - 1 + u, -4*q + 12 = -z for q.
3
Let d = 1 - -9. Suppose -3*m - 5*t - 3 - 77 = 0, 5*m = -t - 126. Let l be (20/m)/((-4)/d). Solve 0 = -3*s - 2*j - 16, 0*s + 3*s - l*j - 4 = 0 for s.
-2
Let m = -6 + 8. Solve m*t = 5*t - 3, 3 = 3*b + 3*t for b.
0
Let q(j) = -11*j. Let t be q(-2). Let o = -6 + t. Solve 2*c + o = -5*f, 4*f - c = 2*c + 1 for f.
-2
Let t = 1 - -2. Suppose v - 3 = -t*v + 3*s, -2*s = 5*v - 21. Solve -4*f + 2*q = 4, -4*f + 6 = f + v*q for f.
0
Suppose -y + 30 = -4*y. Let b = -6 - y. Suppose 2 = -2*u - 4*a, -4*u - 2 = -3*a - 20. Solve -m = -b*s - s + 7, u = -m + s for m.
-2
Suppose -92 = -0*a - 4*a. Solve 5*g + 4*u = 9, -3*g = -2*u - 0 - a for g.
5
Let u = -2 - 4. Let c be (u/3 + 1)*-1. Let b be (-6)/3 - (-10 + c). Solve b*j = -k + 4*j - 3, 0 = 5*k - 4*j + 15 for k.
-3
Let p(h) = -h - 7. Let v be ((-180)/(-50))/(4/(-10)). Let r be p(v). Solve 2*b + 24 = -2*b - r*u, b - 5*u = 16 for b.
-4
Suppose 45 = -5*r - 5. Let b be r*1/(10/(-4)). Solve -b*l - 3 = -5*m, 2*l - 9 = -l for m.
3
Let t = -1 - -1. Suppose -3 - 25 = 2*a. Let m = -9 - a. Solve m*v = -2*j + 6*j + 40, -v + 4*j + 24 = t for v.
4
Let k be 2/8 + (-177)/(-12). Suppose -u + 4 = 3, 0 = -5*j - 5*u + k. Let h(c) = 10*c - 1. Let o be h(1). Solve o = -3*z + t, z - 5 = j*t + t for z.
-4
Suppose -3*z - 9 = -7*z + h, 2*h = -3*z + 15. Let u(p) = p**2 + 9*p + 3. Let w be u(-9). Solve 4*a + 7 = f, a - 4*a + w*f - z = 0 for a.
-2
Suppose 2*v + 8 = -4*l, -4*v - 4*l - 8 = v. Let j be -3*(0 + -2) - v. Suppose -j = -x - 0*n - n, -4*x + 19 = -n. Solve 2*z = q + 4, x*q = 3*z - 1 - 12 for q.
-2
Suppose 0 = 5*l + 4*r - 3*r + 13, 5*l + 2*r = -11. Let w(i) = -i**2 - 7*i - 4. Let v be w(l). Solve -3*t + v = -t - 2*u, 0 = 2*t - 4*u - 10 for t.
3
Suppose 2*u - 2 - 8 = 0. Let a = 36 - 26. Suppose -6 = -g + a. Solve -5*h - 13 = t, 3*h = t + u - g for h.
-3
Let z = 168 + -168. Solve z*t - 25 = 5*t, 2*c + 1 = t for c.
-3
Let x = 14 - -5. Let q = 22 - x. Solve d = -4*w + q, d + 7 = 2*w - 4*d for w.
1
Suppose 3*r = -2*r + 35. Let j(c) = -4*c**2 + 10*c - r + 3*c**2 - 2*c. Let l be j(7). Solve 2*d - 18 = 5*x + d, l = -x - d for x.
-3
Let j = -21 - -24. Solve -2 = t, 0 = -j*m + t - 7 - 0 for m.
-3
Let o = 3 - 2. Let h be 10*o/2*2. Suppose 4*v = -y + 8, 5*v - h = 4*y + y. Solve -3*k = -v*w - 11, -3*k + 13 = -5*w + 4*w for w.
2
Let i(l) = l**2 - 2*l + 1. Let s be i(1). Solve 2*j = -s*w - w - 8, 3*j + 14 = -2*w for w.
-4
Let z be ((-8)/10)/((-5)/25). Suppose 39 - z = h. Solve -h = -5*k - 5*q, -q - q = k - 10 for k.
4
Let x be ((-1)/(-3))/(4/36). Solve 2*i = n - 2*n - 7, 2*n = -x*i - 13 for n.
-5
Let b(q) = q + 10. Let c be b(-4). Suppose 4*y = 4*l - 1 - 15, -l - 8 = 5*y. Solve 2 = p - n + 1, l*n = 3*p - c for p.
4
Suppose i - 23 = -3*h, 0 = i + h + 4*h - 29. Solve -3*l - 2 = 2*d, -5*d + 2 = 4*l + i for l.
2
Let x(m) = m**2 - 2*m - 4. Let d be x(4). Solve -3*j = -2*a - 0*a - 2, d*a + 4 = -2*j for j.
0
Let b = 63 - 58. Solve -i - b*w + 20 = 0, 5*i - 7*i = w - 13 for i.
5
Let z(m) = 5*m - 1. Let k be z(1). Solve -2*s - 24 = -k*c, -3*s + 9 = 6*c - 3*c for c.
5
Suppose 12 = 8*h - 4*h. Solve 4*j = 4*c, 5*j - h*j + 3*c - 10 = 0 for j.
2
Suppose 1 = -4*w - d + 6, 5 = -4*w + d. Solve w = -2*v - s + 5, -v - 5*s - 19 = -2*v for v.
4
Suppose i = 5*w - 0*i - 20, -3*w = -i - 14. Let r(o) = 2*o**2 - 2*o - 1. Let x be r(2). Suppose x*q = -q. Solve -w*s + d + 5 = q, 3*d = 4*s + 8*d + 25 for s.
0
Suppose 0*q = 5*q - q. Solve 4*f - s = 0, q = 2*f - 5*f + 4*s for f.
0
Suppose 0 = -r - 3*j - 12, 0*j = 2*r + j + 24. Let l = r + 22. Solve 0 = 5*v + f + l + 10, 2*f + 7 = v for v.
-3
Let v(k) = 5*k - 9*k - 2*k + 7*k - 7. Let a be v(7). Solve 4*f + 3*s + 2 = 0, a*f + 3*s - 8 = f for f.
-2
Let t = 53 + -50. Solve q + i - 15 = -t*i, -4*q = 5*i - 27 for q.
3
Let j = -17 - -22. Solve -4*n + 7 = n - 4*f, n - 2*f = j for n.
-1
Let o(d) = 2*d - 17 - 4*d + 10. Let p be o(-5). Solve 3*h - 10 = -4*z, p*z - 5 = -3*h + 4*z for h.
2
Suppose -10 = -2*w + 2. Let f be ((-8)/w)/((-1)/3). Suppose 0 = 3*m + 2*d - 4, f*d = 3 - 19. Solve 14 = -5*b + 2*s + 3, -m*s = -12 for b.
-1
Let w be 2 - (0 + 0 + 3). Let t = 3 + w. Solve -3*g = -4*g + t*u + 3, -2*g - 8 = 3*u for g.
-1
Let r(j) = -j**2 - 8*j - 2. Let v be r(-7). Solve -v = h - 3*z, -3*z + 24 = 3*h + z for h.
4
Let n(y) = -5*y - 3. Let a be n(-3). Let r(c) = -c**2 - c**3 - 2*c - c + 3 - 3*c**2. Let f be r(-3). Solve -x + 4*z - a = 0, 4*x + z = f - 0 for x.
0
Suppose 5*z = 2*m + 4*z - 100, -4*z = 0. Solve 3*q - 10 = -o + 2*o, 5*o - m = -5*q for q.
5
Suppose 0*j + 2*j = 18. Let u = j - 2. Suppose -5*c + 10 = -3*d, -2*c - 2*d + 4*d + 4 = 0. Solve 0 = 4*g - 3*y + u, c*g + 3*y - y = 0 for g.
-1
Let c be 5 + 2 + (-2 - 1) + 1. Solve 4*p - c*g - 2 = 7, g = -5 for p.
-4
Let h(m) = m**3 - 7*m**2 - 7*m - 8. Let z be h(8). Solve -2*q + z*q - i = 1, -2 = -5*q - 4*i for q.
-2
Suppose -117 = -5*b - 4*p, -2*p - 133 = -5*b + 2*p. Suppose 0 = 2*z + 3*z - b. Solve -5*d = -z*q + 20, 4*d + 0*d + 16 = 0 for q.
0
Let g be (6/8 - 1)*-12. Solve 3 = 5*h + r + 1, g*h + 3*r = -6 for h.
1
Let u = 1 + -7. Let r be (-80)/u + 6/9. Let v be 48/28 + 4/r. Solve -3*g - 4*z = v*g - 15, 2*g + 2*z = 6 for g.
3
Let l(n) = n + 6. Let v be l(2). Solve 3*j - 4*z - 6 = -3*z