9. Solve 18 = -4*c + j for c.
-3
Let v = 20 + -18. Solve 2*q - 16 = -v*q for q.
4
Let b = 88 + -83. Solve b = 3*i - 1 for i.
2
Let k be 0 - (3 - 2)*-12. Let p = 2 + -1. Let f be 4 - (0 + -1 + p). Solve 0*n = -f*n + k for n.
3
Let j(k) = k**2 + 4*k - 4. Let c be j(-6). Let g be (-4)/c*(-10)/1. Solve -s + g*s - 8 = 0 for s.
2
Let n be (-4)/18 + (-34)/(-153). Solve -4*s + 20 + n = 0 for s.
5
Let c be (5 - 2) + (-3)/3. Solve -3*q - c*q = -20 for q.
4
Let d be (32/(-24))/(1/(-3)). Let p = -2 + d. Solve p*u = u for u.
0
Let u(q) = -q**2 - q + 1. Let w(g) = 5*g**2 + 5*g - 5. Let y(k) = -11*u(k) - 2*w(k). Let l be y(-2). Solve 0*t = t - l for t.
1
Let h be 14/(-4)*(-20)/14. Solve 0 = -h*d - 3 - 2 for d.
-1
Let t(a) = 4*a - 2. Let c be t(2). Suppose -4 = s - c. Solve s*b + 2 = -0 for b.
-1
Let h = 12 + -21. Let b(r) = -r - 5. Let w be b(h). Solve 3*u - 4*u + w = 0 for u.
4
Suppose 0*o = 8*o - 88. Solve -4 - o = -5*x for x.
3
Let j(s) = 17*s**3 - 2*s**2 + s. Let p be j(1). Suppose -h = 3*h + 32. Let o = p + h. Solve -3*q + q = -o for q.
4
Suppose -4*v = 5*x, 4*x = -19 + 3. Suppose -v*u = -0*w + w - 19, 0 = u + 4*w. Suppose 2*c = u + 2. Solve c*o = -o - 8 for o.
-2
Let i(b) = b - 3. Let s(o) = o**3 + 6*o**2 + 2*o - 7. Let g be s(-5). Let q be i(g). Suppose 0 = 5*x + 10, -5*z - 2*x + 30 = 3*x. Solve -q*f = -z*f for f.
0
Let i be (-6)/(0 + 2/5). Let d be (-96)/i - 10/25. Solve 4*a = a - d for a.
-2
Let f be 4/10 - (-14)/(-35). Suppose f = 4*n + n. Let y be n + (0 - -1)*0. Solve y = 2*w + 3*w - 5 for w.
1
Let v be 2/(-3)*150/(-4). Solve 4*g = -g + v for g.
5
Let v(s) = 22*s. Let c be v(0). Let y be -2 - -2 - 3/(-1). Let p(r) = -2*r - 4. Let q be p(-6). Solve c = -y*f - 1 - q for f.
-3
Suppose -2*i = 2*i + 8. Let a be 0/(4 + 1*i). Let m be -2 + a - (-2)/1. Solve -4 = -m*p - 2*p for p.
2
Suppose -s + 33 - 10 = 4*w, -5*s = 3*w - 30. Let v = w + 2. Solve 3 - v = -g for g.
4
Suppose 0 = -s - q + 19, 5*q + 105 = -s + 6*s. Suppose -d - 10 = l + s, -3*l = 5*d + 90. Let y be (-4)/(-5)*l/(-4). Solve 3*r - r = y for r.
3
Let n(d) be the first derivative of -7*d - 1 + 1/2*d**2. Let s be n(7). Solve -5*c - 6 + 1 = s for c.
-1
Let o be (-16)/(-8) - -1*1. Solve 0 = 5*d - o*d for d.
0
Let u = 9 + -5. Suppose 19 = 2*b - 5. Let j be 8/b + (-92)/(-6). Solve 0 = u*i - 0*i + j for i.
-4
Suppose 2*t + t = 3. Let s = 1 - t. Let y be (-4)/(-6) - (-13)/3. Solve s*l + 5*l = -y for l.
-1
Suppose 2*v - 4*v - 5*i - 9 = 0, -6 = -5*v - 3*i. Solve v*x + 2*x - 25 = 0 for x.
5
Let d be (6/4)/(3/4). Solve -1 = u + d for u.
-3
Let o = -8 + 14. Suppose -1 = w - 4, -o = -k - 2*w. Solve k = 3*u - 4*u for u.
0
Suppose 39 + 61 = 10*t. Solve -7*n + 2*n - t = 0 for n.
-2
Suppose 0 = -5*f + f + 4. Solve 3*h + f + 2 = 0 for h.
-1
Let o = 6 - 1. Suppose 4*t - 5*t + 1 = 2*z, -2*t = -3*z - 30. Suppose 34 - t = o*s. Solve -s*k + 4 = -1 for k.
1
Let v(t) = 1 - t**2 + 6*t - 2 - t**2 + t**2. Let r be v(5). Solve -q = -0*q + r for q.
-4
Suppose b + 5 = 3. Let c = 1 - b. Solve -o = c*o for o.
0
Let o(p) = -p - 4. Let m be o(-4). Suppose -4*d + d = m. Let b = d + 2. Solve 0 = -3*a - b*a + 20 for a.
4
Let c(n) = -n**3 + n**2 + n + 3. Let q be c(0). Suppose -2*l + 2 = 3*i - 2*i, -4*i = 3*l - q. Solve i = 5*m + 8 + 7 for m.
-3
Let s be 0 + (4/(-4) - -3). Solve s*x + 3 = -3 for x.
-3
Let a(o) = -o**2 - 6*o + 9. Let m be (-1)/3 + (-60)/9. Let s be a(m). Suppose 3*z = -s*f + 1, -4 + 22 = 2*z - 3*f. Solve z*i = 1 + 8 for i.
3
Suppose -4*y - 14 = -4*i - 2, i - 7 = 5*y. Solve 0 = -0*n + i*n for n.
0
Let c be 1/4 - (-7)/4. Suppose 2*m - 6*m + 2*a + 10 = 0, m - 5*a = 25. Suppose 3*x - c*x = m. Solve x = -3*h - 3 + 18 for h.
5
Let d(b) = b**3 - 6*b**2 - 6*b - 2. Let o be d(7). Solve -24 = -o*q + 1 for q.
5
Let r(c) = -c**3 + 7*c**2 + c + 3. Let a be r(7). Suppose 0 = -4*y - 2 + a. Solve -2*i - y = 2 for i.
-2
Let o(d) = 2*d - 4. Let r be o(11). Let t = r - 11. Solve -1 - t = -4*x for x.
2
Let b = 20 + -16. Solve w - 9 = -b for w.
5
Let k(i) = 3*i**2 - 4*i - 4*i**2 + 9*i. Suppose -4 = -2*w + w. Let j be k(w). Solve -3*z - j = z for z.
-1
Let q be ((-16)/2)/2*2. Let z(i) = -i - 5. Let g be z(q). Suppose -g*w = -0*w. Solve 5*j + 5 = -w for j.
-1
Let w be (14/(-6) - -2)*-6. Solve -w*y + 4*y = -6 for y.
-3
Let q(h) = 2*h - 2. Let r be q(2). Suppose 0 - 24 = -3*f + 3*v, -4*f - 2*v = -r. Let o(n) = n - 1. Let t be o(f). Solve 25 = -3*g - t*g for g.
-5
Let w(n) = -n**3 - 3*n**2 + 2*n - 2. Let r be w(-3). Let t be (r/(-5))/(12/30). Solve -2*u = -t*u for u.
0
Let b(f) = 5*f**2 - 3*f - 8. Let s(y) = -4*y**2 + 4*y + 8. Let g(x) = -3*b(x) - 4*s(x). Let t be g(9). Let o = t + -4. Solve -2*p = p - o for p.
2
Suppose 0 = -0*h - h + 2. Suppose 0 = -5*q + 4*y + 33, -h*q + y + 17 = q. Solve 4 - 24 = q*p for p.
-4
Let y = 3 - 11. Let l be 10*-1*12/y. Solve 4*m = -m + l for m.
3
Let v be 0/(-2) + (-1 - -2). Suppose 2*w + 3*w - 15 = 0. Solve w*s - 2*s = v for s.
1
Suppose -5*r + 30 = 3*a + 2*a, 5*r - 5*a + 10 = 0. Let x be 0/(2 + 9/(-3)). Let q = x + 3. Solve -q*o - r*o = 5 for o.
-1
Suppose -16 + 8 = -2*n. Solve -8 = n*t - 0 for t.
-2
Let m = -13 + 20. Solve 1 = 4*i - m for i.
2
Let d be ((-60)/35)/(4/(-98)). Suppose d = -6*y + 8*y. Let c = 36 - y. Solve 5*r - c = -0*r for r.
3
Suppose -21*q + 23*q - 12 = 0. Solve 8 = q*w - 2*w for w.
2
Suppose 2*m = 19*m - 119. Let a(h) = 12*h**2 - h. Let d be a(-1). Suppose 4*r = d + m. Solve 0 = -r*w + 2*w for w.
0
Suppose 33 = 9*t + 15. Solve 6*o + t = 4*o for o.
-1
Suppose 7 + 15 = 2*i. Let f be (i + -6)*(-3)/(-5). Solve -6*z - f = -3*z for z.
-1
Suppose 0 = -3*h + 2*h + 16. Solve -5*a + h = -9 for a.
5
Suppose m - 2*m + 2 = 0. Suppose -5*x - 8 = -k, -3*k - 3*x - m + 8 = 0. Solve -k*b - b - 16 = 0 for b.
-4
Suppose o + 47 = 47. Solve -8 = -o*z - 2*z for z.
4
Let k = 63 + -55. Solve -4*u - 24 = -k for u.
-4
Suppose 5*j + 60 = 9*j. Let g = 1 - -1. Solve -g*s = s + j for s.
-5
Suppose -10 = -8*w + 3*w. Suppose 0*d - w = -d. Solve 0 = d*m - 1 - 1 for m.
1
Let u = 9 - -3. Let k = 2 + 5. Let d(i) = i**3 - 5*i**2 + 4*i + 3. Let g be d(4). Solve -k*c + u = -g*c for c.
3
Let x be 0*3/(0 + -3). Let g be 2 + x/(-1) - -1. Solve 0*v - g*v = 15 for v.
-5
Let r be 2 + (-4 - -3) + 0. Suppose -2*w + r + 7 = 0. Let a be 1/4 + 11/w. Solve i - 4 = -a for i.
1
Suppose -5*b - 8 = a, -b = -0*a - 5*a + 12. Suppose 0 = -m + a*m. Solve 2 = -2*n - m for n.
-1
Suppose -q + 6*q + 25 = 0, -4*k = 2*q - 2. Let a be 4/6*(2 - -1). Solve 5 = -a*r + k*r for r.
5
Let o be (-43)/(-3) - (-10)/(-30). Let a = -14 + o. Solve a = -5*r - 1 + 6 for r.
1
Suppose -5*o = 5*q - 30, 5*q - 11 - 17 = -4*o. Solve 0 = b - q*b + 15 for b.
5
Suppose 0 = -0*a + 2*a - 4. Let n = -1 + 3. Solve -n*q = a*q + 4 for q.
-1
Let m(l) = l**2 + 14*l - 15. Let a be m(-15). Let h = 15 + -11. Let u = 6 - h. Solve r + u*r - 15 = a for r.
5
Let t = 9 + -7. Suppose -3*b = t*b. Solve 0 = -k + 2 - b for k.
2
Suppose -6*n + 4*n = -10. Suppose n*u + 4*z = -2, -u + 2*u - 11 = 3*z. Solve -u = x - 0*x for x.
-2
Suppose 0*b - b = 0. Suppose 0 = -a + 1 - b. Solve 4*j = a - 5 for j.
-1
Suppose 0 = -5*c + 2*t + 3 + 6, -3*t = -2*c + 8. Solve -p - c = -6 for p.
5
Suppose 0 = -12*t + 9*t. Solve 0*r - 3*r - 3 = t for r.
-1
Let a(d) = -d**3 - 11*d**2 - d + 10. Let l be a(-11). Solve -5*g = -1 + l for g.
-4
Let o(h) = -h**3 - 8*h**2 - 10*h - 6. Let c be o(-7). Solve 4*s - c = s for s.
5
Suppose 6*o = 3*o + 12. Solve -h - 3 = -o*h for h.
1
Let a(x) = x**3 + 12. Let d be a(0). Suppose v - 5*j + 36 = d, 5*j = 25. Solve -4*n - 17 = -v for n.
-4
Let m(q) = q**3 + 4*q**2 + 2*q + 1. Suppose g + 2*f + 7 = 0, -3*g - 2*f - 14 = -1. Let k be m(g). Solve 8*t + 4 = k*t for t.
-1
Let f(c) = -c**2 + 5*c. Let p = 13 + -8. Let w be f(p). Suppose 6 = 38*d - 36*d. Solve -d*z = -w*z for z.
0
Suppose c = 4*c + 12, 4*t = 3*c + 20. Let r = 0 - -2. Let k be 4/t + -1 + r. Solve -k*d - 8 = -2 for d.
-2
Let p be 5/4 - (-7)/(-28) - -2. Solve 6 = 6*w - p*w for w.
2
Let k = 39 - 39. Solve 2*v = 2 - k for v.
1
Let h = 4 - 2. Suppose -h*b - 6 = 0, 0*t = t - 5*b - 18. Solve -i = -0*i + t for i.
-3
Let n be 3 - (-1 + 7)/3. Suppose -n = 4*q - 21. Suppose 0*y = -q*y + 30. Solve y*m - 2*m = -12 for m.
-3
Suppose 4*x - 32 = 5*j, 2*j + 2*j = 3*x - 25. Let w be -6*(-1)/x*8. Suppose 0 = 5*s, -k + 5*s = 3*k - w. Solve -4 = 4*t + k