 z*a = 4*a. Solve 0 = -4*t - a + 16 for t.
4
Let g be (-1)/(-2)*4 - 2. Let k be -1 - -1 - g/(-1). Solve k = -4*r + r + 6 for r.
2
Let a(j) = 2*j**2 + 16*j. Let d be a(-8). Solve -5*x - 20 - 5 = d for x.
-5
Suppose o - d = 0, 3*d = -4*o + 6*o. Suppose 0 = -3*s - 2*v + 13, 0 = 2*s + 3*s + 3*v - 21. Solve -s*p + 3 = -o for p.
1
Suppose -5*o + 1 + 9 = 0. Solve 5 = -j + o for j.
-3
Suppose -3*b = 3, -2 = -3*a - 8*b + 4*b. Suppose a*p = -4*t - p + 15, -4*p = 5*t - 19. Solve -2*d - 5 = -t for d.
-1
Suppose 0 = 4*g, 2*i = -2*g + 3 + 3. Suppose 2*w + i = 9. Solve -w*n - n = 16 for n.
-4
Suppose 9 = -5*j + 34. Suppose 2*v + 2*v = 0. Solve v*o = -o - j for o.
-5
Let h = 24 - 18. Solve 3*d + h = 3 for d.
-1
Suppose 2 = -3*t + 4*t. Suppose 14 = -0*f + 2*f - t*v, -9 = 3*v. Solve -2*c = -f*c for c.
0
Let f(v) = 21*v**3 - 2*v + 1. Let q be f(1). Solve 2*z - 7*z - q = 0 for z.
-4
Suppose i + 47 = 3*r, 2*r - 4*i - 77 + 29 = 0. Suppose 0*t + 5*t - 20 = 0. Solve 6 = t*p + r for p.
-2
Let w(x) be the first derivative of 2*x**3/3 - 4*x**2 - 3*x + 2. Let l be w(8). Suppose q - 8 - 23 = -2*t, 0 = -4*t - q + l. Solve 2*g = -g - t for g.
-5
Let s(m) = -m - 15. Let q be s(-15). Let k(y) = -y**2 + 9*y - 10. Let t be k(7). Solve -3*n - n + t = q for n.
1
Let k = 8 + 1. Let w be (2 + 1)/(k/6). Solve 0 = w*c - 7 + 3 for c.
2
Let m = -11 - -11. Suppose -50 = -3*j - 2*o, -5*o - 59 = -7*j + 3*j. Let n = j + -11. Solve n*s - s + 20 = m for s.
-5
Let n = 13 + -5. Solve -2*s + n = 2*s for s.
2
Let d(y) = y**3 + 6*y**2 + 5*y + 3. Let i be d(-5). Solve -i*q = -5*q - 4 for q.
-2
Suppose 6*w - 30 = w. Let y be -2*1/(3/w). Let i be (-108)/(-16) + (-1)/y. Solve -3*h - 2 - i = 0 for h.
-3
Suppose -3*g - 5*s = -14, 2*g = 4*g - 4*s - 24. Let t = -4 + g. Solve -l + 6 = -t*l for l.
-2
Suppose 0 = -0*h + h - 2*t, -33 = -3*h - 5*t. Let s = 7 - h. Suppose 4*a - 5*k = -16, 0 = 5*a + 2*k - 4*k + 3. Solve 2*x + s = -a for x.
-1
Suppose 4*v + 19 - 7 = -g, 0 = 5*v + 20. Solve g*s = -0*s - 12 for s.
-3
Let b be 38/10 - 5/(-25). Suppose z - b = -3*z. Suppose -g = -3 + z. Solve g - 3 = -y for y.
1
Let r = -8 + 10. Solve 6*y = r*y - 12 for y.
-3
Suppose -26 = -2*v + 5*y, -v = v - 2*y - 14. Suppose -3 = -3*b + r, r - 10 = b - v*r. Solve b*j = -2*j for j.
0
Suppose 0 = -8*y + 4*y + 12. Let i(o) = o - 4. Let u be i(5). Let j = 1 - u. Solve 4*k - y*k = j for k.
0
Let r be (-2)/(((-2)/8)/1). Suppose 2*l = -2*l + 2*v + r, 4*v = -l + 11. Solve l*d = -0*d for d.
0
Let f = -23 - -43. Let a be (-3)/(3 + f/(-6)). Let z = -13 - -19. Solve -3*p + a + z = 0 for p.
5
Let p(c) = c**2 - 5*c + 4. Suppose -2*b + 4*b = 6. Let n be p(b). Let k = 7 - n. Solve k = -3*y - 0 for y.
-3
Suppose -6*i - 5 = -i + 5*y, -i - 9 = 3*y. Let o = i + -2. Solve -4*s = -7 - o for s.
2
Suppose 0 = -3*l + 2*l - 5. Let t be l/(2/(-8) - 0). Solve 4*g = -g + t for g.
4
Let h(o) = 2*o - 5 - 1 - o. Suppose 3*z = -4 + 28. Let d be h(z). Solve -d = -p - p for p.
1
Suppose 3*l - 25 = -2*l. Suppose -4*j = -19 - l. Solve -4*k + k = j for k.
-2
Let c(j) = -10*j - 4. Let d be c(-1). Solve x - d*x - 10 = 0 for x.
-2
Let j = 11 + -9. Let m = j - 0. Suppose -m*v = 2*y - 3 - 5, 4 = -y. Solve -v*f = -3*f for f.
0
Let v(d) be the first derivative of d**2/2 - 3*d - 2. Let p be v(5). Suppose 4 + 8 = p*j. Solve -j = 5*x - 1 for x.
-1
Let s be 5/2*(-24)/(-15). Suppose 12 = s*g - g. Suppose 5*y + n - 13 = 0, 23 - 3 = g*y + 4*n. Solve 3*p + y*p = -5 for p.
-1
Let o(l) = -l**3 + 6*l**2 + l. Let s be o(6). Let q be s/(-3) - (-2 + 0). Solve -j + 2*j - 2 = q for j.
2
Let v = 34 - 32. Solve 0 = i - 0*i + v for i.
-2
Let t be (-2 + 2 - -10)*40. Let b be (-4)/6 + t/24. Suppose 4*v + p - 11 = 11, 4*v + 4*p - b = 0. Solve -2*g = g + v for g.
-2
Suppose -3*c - 3*x + 48 = -4*x, 0 = -5*x + 15. Let q = -10 + c. Suppose 15 + 3 = 9*d. Solve d = -y + q for y.
5
Let f be (-95)/(-15) + 2/(-6). Let r = f - 2. Solve -2*o = -r*o for o.
0
Let f(t) = 11*t**2 - t. Let k be f(1). Let c be (1/(-2))/(2/(-16)). Solve 2*x - c*x - k = 0 for x.
-5
Let w = -15 + 7. Let p = -3 - w. Solve p*c + 4 = 9 for c.
1
Let i = -2 + 4. Suppose -5*y + 14 + 1 = 0, v + 4 = i*y. Solve v*l = -1 - 7 for l.
-4
Let h(w) = -w + 7. Let k be h(6). Suppose 0 = -a - 3 + 6. Let o = a + k. Solve -5*y + 2 = -o*y for y.
2
Suppose -5*w - 5*x - 4 + 19 = 0, 3*w + 3 = x. Suppose w*y - 75 = -3*y. Suppose 5*b + 0*b = y. Solve 2*j - 7*j = -b for j.
1
Let r(y) = y - 5. Let d be r(7). Let v be 3/d*(-1 + 3). Let q be 2/5*(-2 - -12). Solve 0 = -7*h + v*h - q for h.
-1
Let d = 3 + 0. Solve -d*p = -8*p for p.
0
Let p = -4 + 6. Suppose 0 = i - p - 1. Suppose i*y = -0*y + 9. Solve 11 + 1 = y*d for d.
4
Suppose -q = 5, 4*p - 3*q = -0*q + 3. Let w = p - -7. Solve w*v + v = -25 for v.
-5
Let i(h) = -h + 4. Let q be i(2). Let l = -5 + 7. Let g = 2 + l. Solve q*d - g - 4 = 0 for d.
4
Suppose -w = 4*z - 20, -3*z = 6*w - 4*w - 15. Suppose -2*p + 6 = 0, -3*p - 91 = -z*j - 0*p. Let t be 2/3 - 10/15. Solve 7*v - 2*v + j = t for v.
-4
Let k = 3 + 3. Let u be 1/(0 - 2/(-6)). Solve -u = 3*r + k for r.
-3
Suppose -2 = k - 8. Solve -k*w + 2*w + 8 = 0 for w.
2
Let h be -1 + (-1 - -4 - 1). Solve 5 + h = 3*l for l.
2
Let g(m) = -2*m + 6. Let s be g(0). Solve -19 - s = -5*d for d.
5
Let q(h) = -4*h - 9. Let m(x) = 11*x + 27. Let r(w) = -6*m(w) - 17*q(w). Let k be r(6). Suppose -16 = -k*f - 3*z + 8, -4*f = -4*z. Solve -f*j = j + 20 for j.
-4
Let p = -3 + 5. Let r be 84/6*1/p. Solve 3 - r = -4*u for u.
1
Let j = -2 + 5. Let m(b) = -3*b - 3. Let d be m(-2). Solve j*p = d + 6 for p.
3
Let k(b) = -7*b. Let i be k(0). Let m(l) = -l**3 - 4*l**2 - 3*l + 4. Let d be m(-3). Solve i = -d*f + f + 15 for f.
5
Let q(j) = 6*j**2 + 3*j + 2. Let c be q(-1). Solve -2*g = 3 - c for g.
1
Suppose 7*c + 30 = 2*c. Let z be (-4)/c*45/10. Solve z = 4*k - 13 for k.
4
Let s be (0 - 1)/1 + 9. Suppose -3*r + 5*u + 11 = 0, -4*u + 2*u = -3*r + s. Solve -q = -3*q - r for q.
-1
Let v be (-6 + 9)/((-1)/(-2)). Let f = v - -5. Let c(o) = o**2 - 10*o - 3. Let x be c(f). Solve -l - l = x for l.
-4
Suppose -3*h = 2*h + 50. Let o = 16 + h. Let i be 1/o - (-69)/18. Solve 0 = -4*d - i for d.
-1
Suppose -5*u + 2*k = 2, 6*k = 5*u + 12*k - 6. Let o be 2/5 + (-8)/(-5). Solve o*m - 3*m = u for m.
0
Suppose 0 = 3*z - 15 - 9. Suppose -5*p + p + z = 0. Suppose -5*r + 0*o + 14 = o, 2 = -p*o. Solve -r*h + 4 = h for h.
1
Suppose -3*z + 18 + 21 = 0. Suppose 5*o - 1 = x, -z = -2*x - 8*o + 3*o. Solve 0 = 4*j - 3*j - x for j.
4
Let o(d) = -d**2 + 5*d - 3. Let p be o(2). Solve 5*x = p*x for x.
0
Suppose -3*b + 30 = -0*b. Suppose y + b = 2*y. Suppose 4*d = -c + 15, 4*c + 0*c = -2*d - y. Solve -d*h - 5 = 5 for h.
-2
Let n be 2 + (-2 - -1)*0. Let h(c) = n + 0 + 2*c - 5. Let q be h(5). Solve q*b - 15 = 4*b for b.
5
Let y(o) = 20*o - 4. Let t be y(-2). Let i be t/(-7) + (-8)/28. Let c = 2 + 1. Solve c*m + i = -0*m for m.
-2
Suppose 0 = 6*r - 5*r - 7. Solve -r*m - 12 = -4*m for m.
-4
Let p(a) = a**2 + 9*a + 11. Let y be p(-13). Let u be 963/y + (-4)/14. Solve 5*q - u = -0*q for q.
3
Let r = 28 - 28. Solve -3*n + 6 = -r for n.
2
Suppose 4*b = 10 + 18. Suppose -4*m + b*m = 0. Solve -5*t + m = -5 for t.
1
Let p(c) = c**3 - 8*c**2 + 9*c - 9. Let x = -3 + 10. Let w be p(x). Solve -5*o + w = -0 for o.
1
Let f(l) = l**2 + 3*l - 3 + 5 + l**2. Let d be f(-2). Solve p = d*p + 6 for p.
-2
Suppose -k = -f + k + 3, -5*f + 3*k + 8 = 0. Let g(i) = 5*i**3 + 2*i - 1. Let u be g(f). Suppose -3*r = -5*c + 1 + 5, -2*r - u = -4*c. Solve -3*m = r + 3 for m.
-2
Let m be 9 + -1 + 4 + -6. Suppose 3*t - m = -0*t. Let p = 1 + 2. Solve -p = t*g - g for g.
-3
Let r(l) = l**2 - 1. Let v be r(0). Let k be v*(6 + (0 - 2)). Let c(b) = b + 4. Let n be c(k). Solve 0 = -n*m + 4*m for m.
0
Let l = 8 + -4. Let c(b) = b + 1. Let r be c(l). Solve -t = -r*t + 16 for t.
4
Let c be -15*((-42)/18 - (-1 + -1)). Solve c*r - 4 = r for r.
1
Let n = 56 - 51. Suppose 3 = z - 5. Suppose -4*f + z = -0*y - 3*y, -2*f = 4*y - 26. Solve f*m = -0*m - n for m.
-1
Suppose f = -f. Solve 0 = 2*z - f + 8 for z.
-4
Suppose a + 5*t - 28 = 0, -2*a + 2*t - 5*t + 21 = 0. Suppose 30 = 3*o + 2*d, 4*o - d - 51 = -0*d. Suppose 0*m + 2*m = o. Solve -3*n = a + m for n.
-3
Suppose -4*f + 3*f = 1. Let a = f + 7. Let z be -1 + -1 - (-4 - a). Solve 4*b + z = -0*b for b.
-2
Let p = -1 - -5. Sol