 - 10 for w.
-2
Suppose -2*w + 8 = -46. Solve -4*m - w = -11 for m.
-4
Let k(z) = -3*z**3 - z**2 + z + 1. Let r be k(-1). Suppose 4*c + 3*l = 30, 5*c - 3*l + l = 26. Suppose r*j = 5*j - c. Solve -j*d = -3*d - 5 for d.
-5
Let i be 3/(-12) + (-70)/8. Let h = i - -34. Solve -5*w - h = -0*w for w.
-5
Suppose -5*j + 5*p + 60 = 0, -5*j - 4*p + 64 = -2*j. Solve 3*h = -h - j for h.
-4
Let r = 0 + 4. Suppose -7*a + r*a = 0. Let i be a - (0 + -1*3). Solve -7 = -2*h + i for h.
5
Let z = 9 - 6. Suppose 0 = -0*a - 3*a + y + z, 0 = -4*y. Solve 0 = 5*c - a + 16 for c.
-3
Let h(n) = 7*n**2 - n. Let a be h(1). Let r(b) = -b + 4. Let z be r(-4). Let g be ((-6)/(-4) - 2)*-8. Solve -z = a*x - g*x for x.
-4
Suppose 0 = -0*g - 5*g + d - 2, -d + 2 = 0. Solve 3*u + g*u = 0 for u.
0
Suppose 0 = j + 3*j - 8, -10 = -4*b + 5*j. Suppose -4*p + 3 = q, 5*p - 1 = -4*q - 11. Let h = 9 + q. Solve 3*t = b*t - h for t.
2
Let m be 1 - ((-9)/(-3) + -13). Let u = m + -7. Let c be 2*(2/u - 0). Solve -c = y - 0 for y.
-1
Let q = -7 + 11. Suppose q*b = 3*b. Solve 3*k - 7 - 8 = b for k.
5
Let f(i) = 8*i - 34. Let s be f(5). Solve 6*t = 3*t + s for t.
2
Let i(b) be the first derivative of -b**4/4 - 3*b**3 - b**2/2 - 9*b + 1. Suppose -17 = 5*w + 28. Let m be i(w). Solve -2*j + 10 = -m*j for j.
5
Let z be (-2)/3 - 98/(-21). Suppose u - 4*c - 22 = 4, 2*u - 4 = -z*c. Let x(o) = o - 8. Let q be x(u). Solve 4*k - q*k = -4 for k.
-2
Suppose -4*i = -8*i. Solve j + 5 = -i*j for j.
-5
Suppose 8 = -5*i - 12. Let z = -3 - i. Solve -1 = n + z for n.
-2
Suppose -2*u - 4*p - 10 = 3*u, -5*u = p + 10. Let q(z) = -z**3 - 3*z**2 - 3*z. Let c be q(u). Solve -c*v - 16 = 2*v for v.
-4
Suppose -7*y = -6*y - 2. Let n be -6 - -12 - 1*y. Solve n*r - 6 = -18 for r.
-3
Let b(r) = r**2 + 10*r - 2. Let q be b(-10). Let o = q + 3. Solve x + o = -0*x for x.
-1
Let f(q) = -2*q**3 - 4*q**2 - 2*q. Let s be f(-2). Solve 0 = -s*x + 5*x for x.
0
Suppose 0 = -5*f - 2*d + 28, -11 = -f + 4*d + d. Solve -3 = -w - f for w.
-3
Let v(l) = -l**3 - 6*l**2 - 2*l - 2. Let i be v(-6). Let j = i - 6. Solve j*p - 3 = p for p.
1
Let x(m) = m**3 + 5*m**2 + 5*m + 4. Let r be x(-4). Suppose 0 = -5*y - p - r*p + 14, 0 = -2*p + 8. Solve 1 = -h - y for h.
-3
Suppose -3*z + 30 = 3*v, -z + v = -3*z + 18. Solve z = -3*n + 2 for n.
-2
Suppose 6*l - 2*l - 5*s = -6, 2*l - 5*s = -8. Suppose 2*a + l = 5. Solve a*f = -0 - 10 for f.
-5
Let l(s) = 2*s - 1. Let t be l(4). Let h(u) = u - 6. Let i be h(t). Solve -4*f - i = 7 for f.
-2
Suppose 2*a = -1 + 7. Solve 2*q - a*q = -3 for q.
3
Suppose -3*w - 54 = -4*d, -2*d + 2*w = -w - 24. Solve d = -3*y - 0 for y.
-5
Let q = 7 + 5. Let b(w) = w - 17. Let v(z) = z - 18. Let s(t) = -4*b(t) + 3*v(t). Let f be s(10). Solve f*m = m + q for m.
4
Suppose -3*i - 11 = -17. Solve -i*b - 4 = -14 for b.
5
Let n(g) = g - 7. Let h be n(0). Let x(f) = -f - 6. Let m be x(h). Suppose m + 2 = y. Solve -y*v + 6 = -5*v for v.
-3
Let f(h) = 5*h**2 + 3*h - 5. Let a be f(2). Let w = a - 16. Solve -z + 2*z - w = 0 for z.
5
Suppose 0*p = 3*r + p - 14, 5*r - 2*p - 16 = 0. Let x(b) = b**2 - 2*b - 8. Let g be x(r). Solve q + g*q = 1 for q.
1
Let m(v) = v**2 - 7*v - 9. Let w be m(8). Let t be -1 - 3/(3/w). Solve t = -u - 4*u - 10 for u.
-2
Let n(g) = 19*g**3 + 2*g - 1. Let r be n(1). Solve -5*y + y - r = 0 for y.
-5
Suppose k + 0*o = -2*o + 1, 33 = 3*k - 4*o. Let i(g) = g**2 - 7. Let s be i(-5). Let j be (3/(-3))/((-1)/s). Solve -k - j = -5*f for f.
5
Let m(f) = -f**3 + 7*f**2 - 3*f - 4. Let i be m(6). Suppose 4 - i = -2*v. Solve 10 = -v*s - 0 for s.
-2
Suppose -19 + 119 = 5*x + 5*k, -2*k = 4. Let s be x/1 + -2 + 5. Solve 2*w + 3*w - s = 0 for w.
5
Suppose -3*b + 6 = z + 3*z, 2*z - 5*b - 16 = 0. Solve -z*o = -7*o + 4 for o.
1
Let o(l) = -l**2 + 5*l - 3. Let v be o(3). Let g(d) = -v*d**2 + 8 + 8*d + 3*d**2 - d**2 - 4. Let f be g(8). Solve z + z = -f for z.
-2
Let r be 1*0*1/2. Let k(t) = t**2 - 7*t + 19. Let y be k(6). Suppose r = -d + q + y - 4, -31 = -4*d - q. Solve 0*a + d = -4*a for a.
-2
Let k be (1 - 16)*(-5 - -4). Solve k = -3*i - 0 for i.
-5
Suppose z = 4 - 0, 4*a + 4*z = -20. Let q = 6 + a. Let k be (q - -4)*3 + 18. Solve k = 4*s + 1 for s.
5
Suppose 2*v + 5*f = 4*v + 7, v - 5*f + 11 = 0. Let m(q) = -q**3 + 6*q**2 - 3*q - 5. Let u be m(v). Solve 0 = -b - 4*b + u for b.
3
Suppose -4*y + 5*y - 21 = 0. Let v = y + -14. Solve -5 = 4*g + v for g.
-3
Let y = 40 - 32. Solve y - 17 = 3*w for w.
-3
Let z be 2 + 3/(-1) - 0. Let r(u) = -6*u**3 + u. Let y be r(z). Suppose -4*g + 54 = 2*q, 59 - 183 = -y*q + g. Solve 0 = -5*t + 10 - q for t.
-3
Suppose 10*c = 21 + 29. Solve -7*s + c*s + 8 = 0 for s.
4
Let u = 109 - 91. Solve 2*f - 8 = -u for f.
-5
Let x be ((-1)/4)/(4/16). Let c = x + 1. Solve 4*o + 4 = -c for o.
-1
Let g(k) = -k**2 - 4*k + 7. Let x be 46/(-10) - 16/40. Let t be g(x). Solve t*r = 7*r + 25 for r.
-5
Let z(o) = o**3 + 2*o**2 - 4*o - 3. Let g be z(-3). Solve g = 2*k - 6*k - 4 for k.
-1
Let s = 1 + 3. Suppose -3*l + 4*j + 4 = l, j = s*l - 16. Solve 1 = l*m + 16 for m.
-3
Suppose -3*n - 3*u - 6 = 2*n, 0 = 5*u + 10. Suppose 5 = -0*z + z. Let p = 0 + 0. Solve -z*g + p*g = n for g.
0
Let d be ((-12)/20)/((-2)/10). Suppose 0 = -2*v + d*v. Suppose v + 4 = q. Solve k - 3 = q*k for k.
-1
Let z(b) = -b**3 + 10*b**2 - 11*b + 22. Let v be z(9). Solve 0 = -v*x - 15 + 3 for x.
-3
Let p = 5 - -3. Let v = -5 + p. Solve -z = v*z for z.
0
Let a(b) = 16*b**3 + 29*b**2 + 40*b + 34. Let u(i) = 3*i**3 + 6*i**2 + 8*i + 7. Let y(q) = -2*a(q) + 11*u(q). Let c be y(-7). Solve 0*f - c*f = 0 for f.
0
Let v = -4 - -4. Suppose 0 = -5*h - 5*m + 170, v*h = h - 2*m - 37. Let c be h/10*4/7. Solve 0 = -0*a - a - c for a.
-2
Let v(x) be the first derivative of x**3/3 + 5*x**2/2 - 4*x + 7. Let u be v(3). Solve -7*j + 2*j = -u for j.
4
Let c = -4 + 7. Let d be ((-2)/c - -1)*6. Solve 0 = d*p - 2 + 8 for p.
-3
Suppose -v - 2 = 6. Let u be (4/(-6))/(v/24). Solve u*f = -f + 15 for f.
5
Let n be (-1)/((3 + -2)/(-1)). Let v(f) = -f**3 - 3*f**2 - 2*f + 3. Let m be v(-3). Solve 0 = 2*h + m - n for h.
-4
Suppose t - 3*t = 3*t. Solve m - 2 + 6 = t for m.
-4
Suppose 0 = 3*c + u - 1, 4*c + 4*u = 2*c + 4. Solve c = -6*x + 3*x for x.
0
Let a be (2 + 9/(-6))*0. Suppose -10 = -5*c - a*c. Solve c*n - n + 5 = 0 for n.
-5
Suppose j + 8 = 38. Suppose -z + 6 = 5*s, 7*s = 2*z + 3*s + j. Let i be -1 - (z/3 - 1). Solve i + 6 = -3*n for n.
-3
Suppose 2*w = -4*d + 30, w + 25 = 3*w + 3*d. Solve w*r - 26 = -6 for r.
4
Let t be (-4)/((-5)/(-50)*-8). Solve -t*a = -1 + 6 for a.
-1
Let a = -3 - -8. Suppose 5*t - 3*f - 1 = a, -2*f - 4 = 0. Solve 0 = -h - t*h - 5 for h.
-5
Suppose 161 - 173 = -4*y. Solve y*j - 20 = -j for j.
5
Let n be (-1)/3 - (-4)/(-6). Let h be (n - 1)*15/(-6). Solve -h*q + 0*q = -20 for q.
4
Let b = 31 + -28. Solve 2*a = b*a - 1 for a.
1
Let k = 41 + -36. Suppose -w + 2*t + 14 = 0, 4*w + t + 0 = 20. Suppose u - w = -2*u. Solve -j - k = -u*j for j.
5
Suppose 0 = -4*m - 1 + 5. Let f be m/2*(26 + 2). Let y be 35/f - (-1)/2. Solve 0 = -y*j - j + 4 for j.
1
Let p(y) = -y + 25. Let q be p(22). Solve -2*i = -q*i for i.
0
Suppose 3*u - y = 18, 5*u - u - 5*y = 24. Suppose -k + 3*n - 23 = 0, 2*k = u*k - 3*n + 74. Let o = k + 29. Solve -4*b + b = o for b.
-4
Suppose 13 = -m + 5*s, 4*m + s - 5*s + 4 = 0. Solve -m*z - 2 = -4 for z.
1
Let b(z) = z + 13. Let f = -5 - -5. Let r be b(f). Suppose 5*g - r = 3*n - 3, n - 5*g + 20 = 0. Solve -n*m = -4*m - 4 for m.
4
Let a = 0 - -2. Solve 7*q = 8*q - a for q.
2
Let m = -73 - -101. Solve 5*h - m = -8 for h.
4
Suppose -5 - 1 = -3*b. Suppose b - 77 = -3*s. Solve -5*l + 0*l = -s for l.
5
Let q = -15 - -51. Suppose -4*o + 24 = v, q = 4*v + 4*o - 0*o. Solve v*z + 4 = 5*z for z.
4
Let z(f) = -f**2 + 18*f - 32. Let m be z(16). Solve 8*g - 4*g + 4 = m for g.
-1
Suppose -k = -4*k + 4*c + 2, -5*c + 5 = 0. Solve k*z + 6 = -z for z.
-2
Let d be (-1 - -3)*4/8. Suppose d - 3 = -2*o. Solve -5 = 2*l - o for l.
-2
Let x = -52 + 57. Solve x*g + 0*g = 0 for g.
0
Let b = -2 + 1. Let g be (b + 1)/(12/(-6)). Solve g*z + 3 = z for z.
3
Suppose -5*w + 73 + 27 = 0. Suppose 0 = 5*y - 0*y - w. Solve y*v = 3*v for v.
0
Let o be ((-2)/(-6))/((-3)/(-27)). Suppose 3*a = -5*u + 16, 5*u + a = 5 + 7. Suppose y - 7 = -2*z, -u = 5*z - 0*z - 4*y. Solve 1 + z = o*i for i.
1
Let q = -11 - -