-5). Solve -a = -x*a - 5 for a.
5
Let t be (6/18)/(1/(-9)). Let c = -5 - -12. Let r = t + c. Solve 28 = r*b + 8 for b.
5
Let j be 29/(-2) - (-9)/18. Let p be (-7)/49 + (-30)/j. Solve -u - p + 1 = 0 for u.
-1
Let c(r) = -r + 3*r - 7 - 5. Let v be c(10). Solve -3*s + v = s for s.
2
Let b(l) = -l**2 + 9*l + 3. Let x be b(9). Suppose 11 = 2*d + x. Solve -3 = d*w + 9 for w.
-3
Let p(a) = a + 13. Let g be p(-9). Suppose f = 6 + g. Solve 3*z + 2*z = f for z.
2
Let d = -6 - -10. Let o(f) = f**3 - 8*f**2 + 10*f - 6. Suppose 0 = -4*j + 13 + 15. Let z be o(j). Solve d*k + z = -k for k.
-3
Suppose -y - 6*y + 21 = 0. Solve 12 = y*t - 6*t for t.
-4
Let r(i) be the first derivative of -3*i**2 - 2*i + 11. Let w be r(-2). Solve 5*j = 3*j + w for j.
5
Let q(r) = 2*r - 2. Let h be q(4). Suppose 3*j - h = j. Solve -6*f = -j*f for f.
0
Suppose 0 = -5*i + 6*i. Suppose 3*a + 2*f - 100 = i, -3*f + 2 = 5. Solve 5*o = -a + 9 for o.
-5
Suppose 6*w = 7 + 5. Solve -w*m = 2*m - 8 for m.
2
Suppose 5*z = 3*j - 35, -4*z + 10 = -2*z. Let k(c) = -c + 17. Let w be k(12). Suppose -5*i = d - 17, -5*i + 2 + 23 = w*d. Solve -g = i*g + j for g.
-5
Suppose 5*d - 20 = -p, 3*p - 3*d + 5 + 7 = 0. Solve -u + p*u - 1 = 0 for u.
-1
Let k(l) = 15*l. Let v be k(1). Let n be (-6)/15 + 64/10. Let c(a) = -a**3 + 6*a**2 + 2*a - 2. Let r be c(n). Solve r*y = 5*y - v for y.
-3
Let c = -11 + 29. Let h be -1 - (-2 - (-2)/2). Let r be 2/(h + 0 + 1). Solve -4*o = -r + c for o.
-4
Let j(x) = -x**2 + 8*x + 4. Let y be j(8). Let w be 40*(y/(-8))/(-1). Solve f = -3*f + w for f.
5
Suppose 5*h - 4*n = -0*h + 12, 0 = -4*h + 2*n + 6. Solve -w = -h + 2 for w.
-2
Suppose 3*k = 3 + 9. Solve k*s - s = -9 for s.
-3
Let s = -110 + 113. Solve -5*m - 17 = s for m.
-4
Suppose -3*u = -2*u. Solve 4*r - r = u for r.
0
Let r be 2/(-3) + 23/3. Suppose -r*o + 4*o + 6 = 0. Solve o*v = -1 - 5 for v.
-3
Let p be -3 + 8 + -4 + 7. Let t be 1/((4/2)/4). Solve t*a = -p + 4 for a.
-2
Let r be 27/6 + (-2)/4. Let d = -5 + 2. Let j(m) = -3*m + 3. Let f be j(d). Solve f = -7*c + r*c for c.
-4
Let t(g) = 4*g + 1. Let a be t(1). Suppose 0 = a*r - 12 - 13. Suppose 20 = -4*h + 5*d, -16 = -3*h + d - r*d. Solve -y + 4 = -h*y for y.
4
Suppose 3*i - u - 11 = 1, 0 = -5*i + u + 18. Let c(b) = -b + 8. Let l be c(6). Solve -5 - i = l*d for d.
-4
Suppose -g - 5*a + a + 6 = 0, 0 = 5*a - 5. Let w(c) = -c**3 - 7*c**2 - c - 4. Let r be (-4)/2 + (-5)/1. Let x be w(r). Solve -x = v - g*v for v.
3
Let t(s) = 3*s**2 - 14*s**3 - s**3 + 1 - 10*s**2 + 6*s**2. Let z be ((-1)/(-2))/(2/(-4)). Let m be t(z). Solve -h - m = 4*h for h.
-3
Let k = -12 - -16. Solve 0 = -h - 2 + k for h.
2
Let z(b) = 7*b**3 + b**2. Let f be z(1). Suppose 5*a = -f + 18. Solve t = -a*t + 12 for t.
4
Let i = 40 + -35. Solve 8 = -i*o - 7 for o.
-3
Let g(x) = x + 8. Let h be g(-7). Let a = h - -2. Solve j = a*j - 4 for j.
2
Let u = -31 + 33. Solve -u*o - 15 = o for o.
-5
Suppose -5*g - j + 6*j + 125 = 0, 3*j + 15 = 0. Suppose -4*n + 2*o + g = -26, -28 = -4*n - 4*o. Let d = 14 - n. Solve 0 = -d*b + b - 3 for b.
-1
Let u(h) = -9*h**3 - h. Let q be u(-1). Let w be (1/2)/(1/q). Solve -w*p - 21 = 4 for p.
-5
Suppose 0 = 3*z - 4*n + 12, -5*z + 0*z - n + 3 = 0. Solve z*l = -4*l for l.
0
Let o = 0 - -2. Suppose -2*j = 2*u - 7*u + 22, 2*j = -5*u + 18. Solve h - o*h + u = 0 for h.
4
Let o = 74 + -51. Let b = o + -13. Solve i + i = b for i.
5
Let s = -55 - -58. Solve 5*w + s = -2 for w.
-1
Suppose -j - 1 = 4. Let a(o) = 9*o**3 - o**2 - o + 1. Let u be a(1). Let n = u + j. Solve -n*i + 20 = 2*i for i.
4
Let y(q) = q**2 + 7*q + 6. Suppose -4*j = 5*s - j + 26, 3 = j. Let f be y(s). Solve -3*t + f*t = 0 for t.
0
Let m(z) = -11*z**2 + 36*z - 33. Let r(h) = 7*h**2 - 24*h + 22. Let x(s) = -5*m(s) - 8*r(s). Let u be x(11). Solve 0*g - 5*g - 10 = u for g.
-2
Let q = 163 + -162. Solve -a + 2*a = q for a.
1
Suppose 11 = -h + 3*w - 0*w, -4*w = -4*h - 12. Solve -13 + h = 3*s for s.
-4
Suppose 0 = -5*m + 30. Solve -m*p - 5 = -p for p.
-1
Suppose 0 = 5*r + 4*l, 2*l + 3*l + 9 = -4*r. Let y = 74 - 72. Solve y = g + r for g.
-2
Suppose -40 = -5*g - 15. Let z(o) = -15*o. Let b be z(-1). Let j(q) = -q**3 + 16*q**2 - 16*q + 19. Let a be j(b). Solve a*t + 4 = g*t for t.
4
Let s(z) = z**3 + 5*z**2 + z + 8. Let c be s(-4). Solve 3*w = 7*w - c for w.
5
Let t = 0 + -1. Let d be (-1)/t + (-2 - -3). Let r be d + (0 + 1 - 2). Solve -o - r = -5 for o.
4
Suppose -3*l = 6*l - 27. Solve l*u = -0*u + 15 for u.
5
Suppose -l - 2*t = -3*t + 1, 3*l + 3*t = 15. Solve -l*w + 3*w - 5 = 0 for w.
5
Let g(c) = 5*c - 5. Let m be g(4). Solve 6*z - m = z for z.
3
Let v(l) = -l**3 - l**2 + l + 8. Let x be v(0). Suppose x = 4*w - 2*w. Solve z = -w*z + 25 for z.
5
Let a(p) = p**2 + 2*p + 1. Let v be a(-4). Let d = v + -5. Suppose 0 = 6*n - 3*n - 15. Solve d*m + 11 = -n for m.
-4
Let y = 6 - 5. Let f be (y/1)/(2/12). Suppose 3*n - n = f. Solve 4*j + 9 = -n for j.
-3
Let j(h) = -h**2 + 12*h - 12. Let t be j(10). Solve t = 2*q - 2 for q.
5
Suppose 0 = 4*m - 0 + 44. Let q(u) = -u**2 - 12*u - 8. Let v be q(m). Solve 4 = -v*p - 8 for p.
-4
Suppose -4*f + 3*a - 104 + 18 = 0, -5*f + a = 102. Let i be (-208)/f + 6/10. Solve 4*s + 1 + i = 0 for s.
-3
Suppose -2 - 6 = -4*c. Suppose -4*b + 4*j + 19 = -j, -2*j = -c. Solve r = b*r for r.
0
Suppose -4*v = -0*t - 5*t, -3*v = 2*t. Solve 2*h + h - 9 = v for h.
3
Let h be 3/5 - (-135)/25. Solve -5*b = -1 + h for b.
-1
Let w(x) = x**3 - 8*x**2 - 9*x + 2. Let u be w(9). Let r be 23 - (u + 0/(-2)). Solve 3*h - 6 + r = 0 for h.
-5
Suppose -5*z = 4*w + 2 + 8, 25 = -5*w. Solve -12 + 2 = z*i for i.
-5
Suppose 4*v - d = -3*d + 10, 25 = -v + 5*d. Solve v*j + 15 = -5*j for j.
-3
Suppose 0 = 3*z + z, 0 = -3*k + 4*z + 39. Let n = 18 - k. Solve -3*c = -n*c + 8 for c.
4
Let g(h) = h**3 - 9*h**2 + h - 9. Let b be g(9). Solve -4*u + 10 - 2 = b for u.
2
Let d(w) = -2*w**2 - w**3 + 10 + 5*w**2 + 7*w + w + 5*w**2. Let l be d(9). Solve -l = 2*k + 3 for k.
-2
Suppose 3*a + 3 = 15. Solve 3*l - a*l = -4 for l.
4
Let u be 3/6*-2*-1. Suppose u = n, -5*x - 2*n = 2 + 6. Let m be (-3)/(-1) + (0 - x). Solve -m*r = -4 - 6 for r.
2
Let q be 1*-5*(20 - 21). Let f = -5 - -10. Solve -q - f = 2*c for c.
-5
Suppose 3*b = 2*b. Let t be (b + (0 - 0))/(-1). Suppose 0 = -70*p - 5*p + 225. Solve t = -u - p + 6 for u.
3
Suppose -3*n = -0 - 3. Let p(z) = -12*z**3 + 2*z**2 - 8*z**3 + z**3 - n. Let y be p(-1). Solve 0 = -5*f + y - 0 for f.
4
Let r(w) = w - 3. Let i be r(3). Let m = 3 + i. Solve 3 = -m*n - 0 for n.
-1
Let x(o) = 2*o - 10. Let z be x(8). Suppose 2*p - z = -p. Solve q - 5 = p*q for q.
-5
Let u be 3*1 - (-12 + -1). Suppose -3*w + u = w. Suppose -12 = -w*x + x. Solve 6*z = x*z - 2 for z.
-1
Let y = 0 + 3. Solve y*r = 5*r for r.
0
Let m be 2*(0 - (-3 - -5)). Let f = 9 + m. Solve f*s = -3 - 2 for s.
-1
Let q(r) = -r + 18. Let d be q(15). Suppose 2 = o - d. Solve 2*m = -o - 3 for m.
-4
Let n be 0*4/(-12) + 0. Solve n = -g - 4*g for g.
0
Suppose 5 + 7 = 3*f. Suppose -2*p - 5*a + 0 = 1, -f*p + 13 = -5*a. Solve -p*n - 4 - 6 = 0 for n.
-5
Let p = 4 + -6. Let c(n) = 26*n + 3*n**2 - 26*n. Let z be c(p). Solve -2*j - z = -2 for j.
-5
Suppose 2*v - 6 = -3*g, 8 = v + 3*g - 4*g. Let y = 3 - 2. Let r be 5 + (0 - (2 - y)). Solve 5*l - r = v for l.
2
Suppose 12 = -3*v, -3*o + 3 = -4*v - 13. Solve -m - 5 + 2 = o for m.
-3
Suppose 6 = b + w - 3*w, -2*w - 14 = -5*b. Solve -7*t - 5 = -b*t for t.
-1
Let k = -9 - -7. Let y(u) = -u**2 - 2*u + 2. Let r be y(k). Solve 4 = r*j - 4*j for j.
-2
Suppose 3*v - 5*z - 37 = 0, -3*v - 2*v + 45 = -5*z. Solve -b + 0*b = -v for b.
4
Let c = 7 + -2. Suppose 4*i - 20 = -2*p, -c*p = 4*i - 0*p - 20. Solve 4*t = -i + 13 for t.
2
Let y(j) = -j**3 - 7*j**2 - 7*j - 4. Let q be y(-6). Solve 0 - q = 2*x for x.
-1
Let l be 2/4 - (-1)/(-2). Let m(f) = f**3 + 0 + 3*f**2 + 5*f - 5*f**2 - 4. Let j be m(3). Solve -j = -4*o - l*o for o.
5
Suppose -3*k = 5*n - 7*k - 15, 0 = -2*n + 4*k + 6. Let i(q) = q. Let z be i(n). Let j = 0 + z. Solve -j + 1 = -2*m for m.
1
Suppose -4*z + 10*z = 12. Solve -z*r + 5*r + 6 = 0 for r.
-2
Suppose -5*h + 3*p = -84, -2*h - p = -24 - 3. Solve -3*j = 2*j + h for j.
-3
Suppose -h + 6 + 31 = 5*k, k + 1 = 4*h. Let f = 8 - 12. Let s = f + k. Solve 0 = -s*q - 0 + 9 for q.
3
Let l be ((-4)/2 - 1)*(-5)/15. Solve 2 = 3*a - l for 