Let j be t(1). Solve -3*w + j*w = 3 for w.
3
Let i(n) = -n**2 + 9*n - 4. Let c be i(9). Let y(x) = -2*x - 5. Let f be y(c). Solve 2*j = -1 + f for j.
1
Suppose g = -3*g - 40. Let q be ((-32)/g)/(2/5). Solve -6*p = -2*p + q for p.
-2
Suppose -2 = 2*c - 5*l, 0*l + 20 = -4*c + 2*l. Let u = 7 + c. Solve 3*z - u = -7 for z.
-2
Let p = 43 - 35. Solve -3*z = -p - 1 for z.
3
Let u(j) = j**3 - 4*j**2 - 3*j - 7. Let x be u(5). Suppose 5*w = -4*m + 5, 0 = -3*w - 3*m - x + 6. Solve -w = -4*s - 21 for s.
-5
Suppose 4*l = 10 - 30. Let s = -5 - l. Solve i + 4 - 5 = s for i.
1
Suppose 4*n = f - 4, 0 = -0*f - f + 5*n + 5. Suppose f*v = -v. Let d(w) = -w**3 + 7*w**2 - 5*w + 9. Let a be d(6). Solve 0*z - 5*z - a = v for z.
-3
Suppose 14 = 5*q - 36. Let h = -52 - -55. Solve -h*w + 1 = q for w.
-3
Let j = -57 + 101. Let x(p) = -p**3 + 4*p**2 + 9*p - 4. Let g be x(6). Let l be 184/j - (-4)/g. Solve 7*w + 9 = l*w for w.
-3
Let d(a) = a**2 - 3*a - 2. Let h be d(5). Solve -h = w + w for w.
-4
Let z be 217/(-21) + (-2)/3. Let o = -5 - z. Solve -t = -o*t for t.
0
Let z(s) = s**2 - 13*s + 36. Let k be z(10). Solve 3*m = -12 + k for m.
-2
Suppose -4*s - 11 = -3*u - 0*u, -3*u + 3*s = -12. Solve 2*z - u = z for z.
5
Let q = -8 + 18. Let n = q - -10. Let f = 0 - -2. Solve 6*s = f*s - n for s.
-5
Let i(u) = u**2 - 15*u - 6. Let b be i(16). Solve -j = 4*j - b for j.
2
Let t = -4 + 6. Suppose 5*d = t*i - 12, 3*d + 0*d + 24 = -3*i. Let z = i - -6. Solve -4*k = -z*k for k.
0
Let q = 10 + -6. Suppose -q*n - 4 = 4*k, 4*n = 4*k - 0*n - 36. Solve 0 = 3*l + k - 1 for l.
-1
Let q = 16 - 7. Let n = q - -1. Solve 2*g + 3*g = -n for g.
-2
Let l(b) be the first derivative of -b**2/2 + 4*b - 2. Let p be l(3). Let u be 6/(-15) + 24/10. Solve u*c + p = c for c.
-1
Suppose t - 1 = -h, -h = t + 2*h + 3. Solve r + t = 4 for r.
1
Let r(q) = q**2 - 8*q + 10. Let n(u) = u**3 - u + 1. Let t be n(2). Suppose 3*k + t = 4*k. Let s be r(k). Solve 2*f + s = -5 for f.
-4
Let q = -13 - -17. Let x(h) = h**3 - 5*h**2 + h + 2. Let k be x(5). Suppose -2*i + k = -2*v - 3, -4*i - 2*v = -2. Solve i = q*b - 6 for b.
2
Suppose -2*w + 6 = 3*v + 1, -w = 4*v. Solve -w*r = -3*r for r.
0
Let p(b) = b + 1. Let s be p(7). Let u be 14/4 - 12/s. Solve -u*c = -3*c - 2 for c.
-2
Let h(f) = -f**3 + 9*f**2 - 5*f - 12. Let n be h(8). Solve -3*b = -6*b - n for b.
-4
Let c(d) = -6*d + 12. Let k(j) = 3*j - 6. Let u(s) = -6*c(s) - 13*k(s). Let t be u(8). Let r be ((-12)/t)/(2/30). Solve -4*w = -r - 2 for w.
3
Let n(j) = -j + 4. Let i be n(-2). Solve -i*r = -r + 5 for r.
-1
Suppose 0*i = -6*i + 18. Solve i*q + 3 = -6 for q.
-3
Let z = 10 + -7. Let p(t) = 4*t**2 - 25*t + 12. Let i(n) = n**2 - 6*n + 3. Let m(w) = -9*i(w) + 2*p(w). Let j be m(z). Solve j = 2*r - 4*r for r.
0
Let z be -2*1/2 + 17 + -4. Solve 3*j - 3 = z for j.
5
Let z = -1 + 2. Let j(u) = 25*u**3 - u**2 + 2*u - 1. Let l be j(z). Solve 3*y - l = -2*y for y.
5
Let a = 0 - -5. Suppose -a = -2*j + 3. Solve 0 = -j*t - 0*t + 16 for t.
4
Let b(x) = -x**3 - 5*x**2 - 5*x - 2. Let z be b(-4). Suppose l = 5*l + 4*l. Solve l*v - z*v + 6 = 0 for v.
3
Suppose 4*m = -0*m + 8. Suppose -m*q = -7*q. Suppose q = 2*h - 12 + 2. Solve -h = -5*c - 25 for c.
-4
Let m be 1/(-1)*(-5 + 5). Solve 4*o - 12 = -m for o.
3
Let f(a) = -2*a**2 - 2*a. Let n(x) = -x**2 - x. Let r(g) = -3*f(g) + 5*n(g). Let z be (-1)/(2 + (-6)/4). Let i be r(z). Solve -10 = -i*v - 2 for v.
4
Suppose -4*o - 13 = 3. Let z = o + 8. Let h(n) = -n**3 + 3*n**2 + 5*n - 4. Let k be h(z). Solve -5*t - 10 = -k*t for t.
-2
Let a(f) = -f - 5. Let v be a(-7). Suppose 3*n - 7 = v*n. Solve 0 = -2*u + n*u for u.
0
Let l(a) = -3*a**3 + a**2 + a. Let t be l(-1). Solve -1 - t = -p for p.
4
Suppose 5*t = 5*o + 35, -o + 2*t + 3*t - 27 = 0. Let k = o + 6. Solve -y + k = -0 for y.
4
Let a(h) = h**2 - 2*h + 4. Let g be a(4). Let t = 10 - 6. Suppose u - g = -t. Solve u = 5*o + 33 for o.
-5
Suppose 2*a + 24 = 5*a + 3*p, 5*a - 13 = 4*p. Solve -2*c + a = -c for c.
5
Suppose 4*n - 28 = -12. Let w = 8 - 4. Suppose -a - z + n = 0, 4 = w*a + z - 3*z. Solve 7*m + 25 = a*m for m.
-5
Suppose 2*p - p - 2 = 0. Suppose -a + 0*a - 4*x - 1 = 0, -5*x = 4*a - 7. Let y = a - p. Solve 2*m + 1 = -y for m.
-1
Let d = 13 - 13. Solve -2*w - 8 = -d*w for w.
-4
Let w be (-2 + (-40)/(-14))*7. Let h be w/(-27) - (-20)/9. Solve 3*a + h*a = -15 for a.
-3
Let f(w) = -w + 2. Let t be f(5). Suppose 0 = -4*y - q + 3*q - 10, -2*y = -5*q + 17. Let u = y - t. Solve -4*a = -u*a for a.
0
Let v = -3 + 3. Solve 0*a - 2*a - 10 = v for a.
-5
Suppose 6*j = 2*j + 12. Suppose 2*k - j = 13. Solve -k*h = -4*h - 12 for h.
3
Let w be 4 + (8/(-2) - -2). Solve 2*c - 12 + w = 0 for c.
5
Let b be 1/(-3) - 84/18. Let h be (-2)/b*(2 + 8). Solve 0 = h*z - z + 15 for z.
-5
Suppose a - 17 + 4 = 0. Let c = a - 9. Let r be (1 - 2)/((-1)/3). Solve q + r = c*q for q.
1
Suppose 0 = -5*j + 2 - 17, -2*f + 12 = -2*j. Solve -f*z = 1 - 13 for z.
4
Let f be (2 + -1)*-1*(5 + -8). Solve 3 - 15 = -f*s for s.
4
Let a(w) = -2 - 4 - 10*w + 8*w. Let x be a(-7). Solve -23 = 5*i - x for i.
-3
Let j be (-2)/(((-42)/9)/7). Solve -j*c = -0*c + 12 for c.
-4
Suppose 4*i - 6 = 10. Suppose -o - 3*r = -9, 4*o + 2*r = -3 + 9. Solve o = -v + i*v + 15 for v.
-5
Let b(d) = -d**2 + 10*d - 19. Let c be b(7). Solve 0 = -c*w + 6 for w.
3
Let o = 4 - 4. Suppose a + o = 3. Solve h = a + 2 for h.
5
Let s = 0 + 2. Let y = s + 0. Solve y = -5*r - 3 for r.
-1
Let s(z) = z**2 + 8*z + 8. Let k be s(-8). Let n = 12 - k. Suppose -y = n*y. Solve 4 = -y*m + 4*m for m.
1
Suppose -f - 3*y + 11 = 0, -2*y + 12 = 2*y. Solve 0 = f*n + 2*n for n.
0
Suppose -9 + 13 = m. Solve -8 = -m*k + 4 for k.
3
Let j = 2 - -4. Let g be 2/3 - (-14)/j. Let d be (-1)/(0 + (-3)/g). Solve -q - 1 = d for q.
-2
Let i(v) = v**3 + 5*v**2 + v. Let j be i(-4). Let n = 725 - 722. Solve n = 5*c - j for c.
3
Suppose 3*a - 18 = -j, 0 = 4*j - 3*j - 3. Let u(k) = k - 6. Let g be u(6). Solve g - 10 = -a*p for p.
2
Let c(n) = n**3 + 7*n**2 - 8*n + 3. Let p be c(-8). Solve -p = -4*r - 7 for r.
-1
Let b = 150 + -147. Solve 4*u + 5 = -b for u.
-2
Let p(r) = 2*r**2. Let x be p(1). Suppose 3*g + 2*w = 5*g + x, -5*w = -15. Solve -4*v = -g*v - 4 for v.
2
Suppose -13 = r - 18. Solve -k = -r*k + 12 for k.
3
Let z(q) = q**3 + 6*q**2 + 4*q - 1. Let f be z(-5). Let i(t) = t**3 + 8*t**2 + 5. Let y be i(-8). Solve 1 = -y*m + f*m for m.
-1
Let i(c) = c**3 - 5*c**2 + 5*c. Let p be i(4). Solve 0 = y - 0*y - p for y.
4
Let i(f) = f. Let l be i(5). Solve l = -5*x + 30 for x.
5
Let o = 1 - -1. Suppose -125 = 3*b - 125. Solve 0 = o*f - b*f + 8 for f.
-4
Let t(d) be the first derivative of d**3/3 - 3*d**2/2 - d + 2. Let y be t(-3). Solve -3 - y = -4*k for k.
5
Let l be (-35)/4 - (-6)/(-24). Let a be (-1)/3 - 3/l. Solve a = i + 2 - 1 for i.
-1
Suppose -2*w + 2 = p, 2*p = -5*w + 3 + 3. Solve -w*u + 3 = -u for u.
3
Let p be 2/2 - -1 - -18. Let n = -7 + 4. Let g be (0/(6/n))/(-1). Solve 6*c - c - p = g for c.
4
Suppose 44 - 8 = 2*y. Let l = y + -16. Solve 5 = -l*t + 13 for t.
4
Suppose 4*l = 2*s + 46, -4*l + 3*s = -0*l - 47. Suppose -7 = z - 24. Let i = z - l. Solve -2 + i = -f for f.
-4
Suppose 5*u = -5*x + 2 - 7, 4*x - 4*u - 4 = 0. Solve -3*z + x*z = 0 for z.
0
Let a = 7 - 8. Let s be (27/(-36))/(a/4). Solve -5 = s*o + 7 for o.
-4
Suppose -f - 2*f = 0. Suppose f = p - 5 + 3. Suppose -p*v + 11 = 3*z, -4*z + 4*v + 0*v = 12. Solve 5 + z = -2*a for a.
-3
Suppose 0*n = -5*y + n + 3, -5*n = -2*y - 8. Let t(s) = -s**3 + 7*s**2 - 8*s + 6. Let o be t(5). Solve -3*l + y = o for l.
-5
Suppose 0 = 4*q - 3 - 5. Let m be (-4)/q*18/(-12). Let j be (-2)/(2*-1) - -4. Solve -j*s + m*s = 4 for s.
-2
Let q be 3 - (-13 + 1 + -2). Let g = -5 + q. Solve 4*k = g + 4 for k.
4
Let v = 9 - 4. Suppose 0 = -5*d + 5*g + 20, 4*d + 2*g - v*g - 14 = 0. Suppose 12 - 2 = 4*q + d*c, 0 = q - c - 1. Solve -o - q*o + 6 = 0 for o.
2
Let b be -1*(-3 - 2) + -2. Solve 2*i - b = 1 for i.
2
Suppose -5*t + 46 = -2*t + 5*c, 0 = -c + 5. Let v = t - 4. Let r be 3 + ((-3)/v - 0). Solve r*p + 15 = -3*p for p.
-3
Let f(z) = z. Let d be (-1)/4 - (-90)/40. Let w be f(d). Solve 6 = w*u + u for u.
2
Let i = 0 + 3. Suppose -i*g + 2*p = 5*p - 15, 8 = 3*g - 4*p. Solve 0 = -g*f + 6*f for f.
0
Let k = 11 - 8. Let p(x) = x**3 - 3*x**2. Let v be p(k). Solve v = -4*w + 3*w