 = k*s + 3 for s.
-4
Let a be (-333)/63 + 4/14. Let x = 20 + a. Solve 4*c + x = -c for c.
-3
Let f(b) = b + 10 - 2*b - 1 + 2*b. Let i be f(-7). Solve -i + 17 = -5*a for a.
-3
Suppose 3*r + 100 = 7*r. Suppose v = 5*x - r, -x + 4*v + 13 + 11 = 0. Solve -3*a - a + x = 0 for a.
1
Suppose 12 + 12 = 6*d. Solve 0*z + 2*z + d = 0 for z.
-2
Let z(i) = -i**3 - i**2 + i. Let t be (-8)/3 + (-8)/(-12). Let v be z(t). Solve v*x + 5 = 3*x for x.
5
Let k(i) = 2*i + 11. Let q be k(-5). Suppose 3*m - q = y - 2, 5*y = m + 19. Solve 0 = 5*j - j + y for j.
-1
Let t(i) = -2*i. Let y = 3 + -5. Let u be t(y). Let b = -1 + u. Solve -2*f = b*f + 5 for f.
-1
Suppose 59 = -8*a + 259. Solve 3*o + a = -2*o for o.
-5
Let a = -6 + 4. Let b be (2 + -2)/(a/1). Solve b = c + 1 for c.
-1
Let x(q) = 4 - 3*q + 5*q**2 + 2 + q**3 - 2*q. Let i be x(-6). Suppose -3*j + 2 + i = 5*o, -2*j = -5*o - 18. Solve j*m + 9 = -7 for m.
-4
Let p(w) = -2*w - 4 + 1 + 1 + 4*w. Let q be p(6). Solve -2*u + 7*u = -q for u.
-2
Let q be 80/14 - ((-111)/21 + 5). Solve q = t - 3*t for t.
-3
Suppose -3*f = -10 + 52. Let i = 14 + f. Solve i = -5*v + 2*v for v.
0
Let i = 14 + -6. Suppose z + 0 - i = 0. Solve -y - y = -z for y.
4
Let t(h) = -h**2 - 8*h - 3. Let v be t(-7). Solve 7 = v*p - 5 for p.
3
Let a be ((-1)/(-3))/(3/18 - 0). Solve 5*h = a*h + 15 for h.
5
Let g = 5 - 1. Suppose -4*t = z + z - g, 2*t - 26 = -5*z. Suppose -3*c - 6 = 0, 2*a + c = -c + z. Solve a + 0 = l for l.
5
Suppose -5 = -5*g, 2*g - 46 + 4 = -2*z. Let b = z + -4. Solve 5*l - l - b = 0 for l.
4
Let s(w) = 6*w**3. Let i be s(1). Let d = 6 - i. Suppose -g = 4*g. Solve d = -g*a + a + 3 for a.
-3
Let f = -15 + 27. Let t be 2*(-9)/((-27)/6). Solve t*l = -f - 0 for l.
-3
Let t be (-4 + -1)*(0 - -3). Let l = -11 - t. Solve -l*g + g + 3 = 0 for g.
1
Let g = -32 + 28. Let p(h) = -h**2 - 5*h - 2. Let n be p(g). Solve -4 = -n*k + 4*k for k.
-2
Suppose 0 = -5*y + 2*z + 22, -3*z = -4*y - 8*z + 11. Suppose 0 = -y*r - 4*l + 4, 0 = -5*r - 2*l - 2*l + 8. Let s = 44 + -29. Solve a = r*a + s for a.
-5
Let x(k) = -k**2 - 6*k + 4. Let n = -8 - -2. Let c(z) = -2*z**2 - 12*z + 7. Let y(d) = n*c(d) + 11*x(d). Let w be y(-6). Solve 3*r = -w*r for r.
0
Let b(n) = n**3 - 2*n**2 - 4*n + 3. Let j be b(3). Suppose 3*m = 2*m + h + 19, -h - 4 = j. Suppose -m + 3 = -3*f. Solve -2 = f*y - 2*y for y.
-1
Let o be 1/(((-35)/(-75))/7). Solve -2*s = s + o for s.
-5
Suppose 0*o = -5*o + 10. Solve -o*y = y - 12 for y.
4
Suppose t + 12 = 4*t. Suppose 0 = 4*l - t. Solve -4*a + 7 = -l for a.
2
Suppose 8 = 5*k - 3*k. Let c = k - 4. Let l be (-14)/(-6) + 2/(-6). Solve c = 3*m + l*m for m.
0
Let k(y) = 0*y + 5 - 3*y + 2*y. Let x be k(6). Let p be 6 + 2 + x - -3. Solve 0 = -5*u + 3*u - p for u.
-5
Suppose -23 = -4*z + 5. Suppose -4*n + 1 = -z. Solve -n = -4*v + 5*v for v.
-2
Let i(r) = 2*r + 2*r - 3*r. Let w = 9 - 9. Let y be i(w). Solve d + 5 - 1 = y for d.
-4
Suppose -2 + 8 = 2*f. Suppose f*b = 4*b - 4. Solve -3 + b = -r for r.
-1
Let c(k) = k**2 + 2*k - 11. Let z be c(-5). Solve 15 = z*x - x for x.
5
Let i = -27 - -32. Solve -i*x + 4*x - 4 = 0 for x.
-4
Suppose 5*a - 2*a - 6 = 0. Solve -a*s + 15 = s for s.
5
Suppose -4*g + 3 + 41 = 0. Solve 5*o = g + 14 for o.
5
Let k(f) be the first derivative of 11*f**4/4 - f**3/3 - f**2/2 + 2*f - 4. Let w be k(1). Solve -9 = -4*l + w for l.
5
Let r = 0 - -3. Let u be -4*(-4)/(-16) + 1*3. Solve u*o = -o - r for o.
-1
Suppose 2*a + 0*a = -4. Let h = a + 6. Solve -4*p + 0*p = -h for p.
1
Suppose 0 = -14*x + 9*x + 20. Solve 8 + 0 = -x*d for d.
-2
Suppose 0 = 5*h - 17 - 3. Let y be (-32)/(-6)*45/(-10). Let j = 24 + y. Solve b = -j*b - h for b.
-4
Suppose -18 = -2*t - 2*g, 0 = t - 3*g + 8 - 1. Suppose m = -3 + 6. Let x be (13 - m) + 3 + -1. Solve t*v - v = x for v.
3
Let o(z) = z**2 + 8. Let s be o(0). Let y be s/6*(-3)/(-2). Solve j = -j + y for j.
1
Let i = 12 + -20. Let g be 9 - (-4)/(i/(-6)). Suppose -7*c + g*c - 15 = 0. Solve -x - 2 = c for x.
-5
Let z = 169 - 94. Let i be (z/6)/((-2)/(-4)). Solve 2*v = 7*v - i for v.
5
Let s = 12 - 12. Solve s = 5*k - 4 - 21 for k.
5
Suppose -22 = -2*i + 4*v, 0*v - 4*v = i - 11. Solve 0 = 5*w + 1 - i for w.
2
Let n = 63 + -61. Solve 1 = n*v + 11 for v.
-5
Suppose 4*x - 6 = 6. Solve 2*y + x - 1 = 0 for y.
-1
Let f(i) = 20*i**3 + 2*i**2 + i. Let b be f(2). Suppose 3*t - b = -2*t. Solve t - 9 = -5*n for n.
-5
Suppose 21*b = 18*b. Solve b = j - 4*j for j.
0
Let j = 6 - 11. Let v be (j - -6) + (1 - 0). Solve -4*r + 2 = -v for r.
1
Suppose 0*n + 4*n - 3*k - 79 = 0, 0 = -5*n - 3*k + 65. Suppose 2*s + 10 = 0, z = -5*s - n - 4. Solve -4*i - 11 = z for i.
-4
Let g(j) = 3*j**2 + 3*j. Suppose 5*a - c = -0*a - 11, 2*c = 4*a + 10. Let k be g(a). Suppose 2 = -3*m + 8. Solve m*o = 4*o - k for o.
3
Suppose -i + 9 = a, 5*i = -2*a + 15 - 3. Solve -a*k + 12*k - 1 = 0 for k.
1
Let q be (-1)/(-1 + 12/15). Suppose 0*r + 1 = -4*s - q*r, 3*s - 33 = 3*r. Let i = s + -1. Solve -i*g = -g + 20 for g.
-5
Let z(u) be the first derivative of u**4/4 - 11*u**3/3 + 5*u**2 + 4*u + 2. Let n be z(10). Let i = n - 2. Solve -i*g + g = -3 for g.
3
Let v(x) = -x**2. Let p(t) = 6*t**2 + 7*t + 9. Let g(m) = p(m) + 5*v(m). Let c(j) = -j**2 + 3. Let w be c(-3). Let f be g(w). Solve -9 = -f*b + 3 for b.
4
Let i be 2 - -5 - (-1)/1. Suppose 0 = 2*v - 22 + i. Let w = -22 + 25. Solve v*z = w*z - 4 for z.
-1
Let p = -11 + 16. Let u(f) = 2 + 0*f**3 + 3*f**3 + 2*f - 2*f**2 - 4*f**3. Let z be u(-3). Solve p + z = 2*r for r.
5
Suppose -5*b = 5 - 0. Let r(k) = -2*k**2 - k - 1. Let w be r(b). Let v be 2 - ((w - 0) + 2). Solve d - v*d + 2 = 0 for d.
2
Let z(k) be the third derivative of 7*k**5/60 - k**4/24 + k**2. Let g be z(1). Solve g*b = 2*b - 12 for b.
-3
Let i be 6*(1 - 3/9). Suppose -i*p = -3*h - 6, -6*h = 4*p - h + 10. Solve p = 2*w - 0*w + 8 for w.
-4
Let i be 38/(-9) - (-4)/18. Let p be ((-30)/25)/(i/10). Suppose -p*l = l. Solve -3*a - a = l for a.
0
Suppose 8*g = 6*g + 40. Solve 5*j + g + 5 = 0 for j.
-5
Suppose z + 5*n + 8 = 2*z, -49 = -4*z + 3*n. Solve 2*s + 3 = z for s.
5
Let w(z) = 4*z**3 - 2*z + 3*z - 3*z**3 - 9*z**2 - 4*z**2 + 2. Let h be w(13). Solve -5*c + h = -10 for c.
5
Suppose 3*i = -1 + 10. Suppose b - 3 = -2*w - 5, i*w = -5*b - 10. Let t be b + 2 - -3 - 1. Solve -a = t - 6 for a.
4
Let j = -26 - -26. Solve j = 2*t + 3 - 1 for t.
-1
Let a(b) = -3*b - 2. Let j be a(-2). Suppose -3*h + j = m - 11, -3*m + 3*h = 3. Solve -20 = f + m*f for f.
-5
Let m(s) = -s. Let t be m(-5). Let l = -1 + t. Solve l*o - 4 = 2*o for o.
2
Let z = -18 - -20. Let c(l) = l - 3. Let k be c(0). Let d = 4 + k. Solve z*t = d - 5 for t.
-2
Suppose k = 4*k. Suppose -5*s = -5 - k. Let f(n) = n**2 - 9*n + 17. Let c be f(7). Solve -x = -s - c for x.
4
Let d(k) = k**3 - 9*k**2 + 9*k - 8. Let l be d(8). Suppose l = -0*w + 4*w. Suppose -r + w = -1. Solve u + 4 = -r for u.
-5
Suppose -f + 2 + 0 = 0. Let s be f/(-7) - 48/(-21). Solve s = 5*d - 3 for d.
1
Let s(t) = t**2 + 5*t - 4. Let u be s(-6). Suppose -u*d + 3*r = 3*d - 16, 4*r = 5*d - 18. Suppose 8 = h - 3*w, -d*w + 3 = -h + 9. Solve -h = -c - 1 for c.
1
Suppose -3*w + 3*a = 3, 4*a - 6*a = w - 2. Suppose 4*g + 3*h - 1 = w, -2*g - g + 22 = -2*h. Solve g = d - 3*d for d.
-2
Let x(v) = 3*v - 3*v**2 - 2 + 2*v**2 + 1 - 4*v. Let w be x(-1). Let l = 2 - w. Solve l*s + 16 - 1 = 0 for s.
-5
Let r(z) = -z**3 + 6*z**2 + 1. Let i be r(6). Let t be (1 - (2 + i))/(-2). Let s be -3*t/1*-1. Solve -s*h - 3 = 12 for h.
-5
Let r be 4/(-8) - 17*1/(-2). Solve -r = 3*b + 4 for b.
-4
Let x be (24/7)/(10/35). Solve -3*z = x - 3 for z.
-3
Let g(p) = -2*p**3 - 2*p**2 + p - 1. Let h be g(-2). Suppose d + 5*w = 17, -d + 25 = 4*d + h*w. Suppose -d*u = 2*u. Solve 2*f = -u*f for f.
0
Let s(w) = 2*w**2 + 8*w - 34. Let k be s(3). Solve -3*v - 7 = k for v.
-5
Let r be ((-1)/(-2))/((-6)/(-36)). Solve r = -3*j - 9 for j.
-4
Suppose 3*l + 33 = 3*o, -6*o + 25 = -4*o - 3*l. Solve -2*q + 4*q - o = 0 for q.
4
Suppose 4*d = 2*q + 38, -3*d + 2*d = q - 17. Solve 0 = -a - 2*a + d for a.
4
Suppose 0 = 3*p - p + 2. Let o be 2 + p - (-3 - -2). Solve -m + 2*m - o = 0 for m.
2
Let f = 1 + 3. Suppose 0 = 5*o - 5*v - 35, -3*o - o - f*v = 4. Suppose -6*i = -o*i - 15. Solve 3*g - i = -2*g for g.
1
Let u(h) = h**2 + 9*h + 16. Let z be u(-7). Solve 3*c - z = 7 for c.
3
Let p = 12 + -