n, -5 = 3*w + n. Solve w*f - 15 = -5*f for f.
3
Let i(g) = g**3 - 4*g**2 + g - 6. Suppose -5*w + 5 = -4*w. Let r be i(w). Suppose 4*x + r = u - 12, 0 = 5*u - 3*x - 112. Solve -3*d = d + u for d.
-5
Let w(r) = -r**3 + 9*r**2 - 9*r + 13. Let o be w(8). Solve 0 = o*b - b - 20 for b.
5
Let a = 66 - 56. Solve 4*z - 10 = a for z.
5
Suppose -2*k + 3*k = 12. Let a be 44/k - (-1)/3. Let d be 3 + 2/a*2. Solve -d*b = -b for b.
0
Let n be 2*(-2)/(-4) + 1. Suppose 20*g - 43 - 17 = 0. Solve -n - 4 = g*b for b.
-2
Let d be ((-1 - -2)*(-2 - -15))/1. Solve -12 - d = -5*r for r.
5
Let w be 1 - 1*4/4. Suppose 0 = -4*g - w*g + 8. Solve u + g = -3 for u.
-5
Let m = 11 - 11. Solve m = -4*h - 1 - 3 for h.
-1
Let l(r) = -r**3 - 5*r**2 + 8*r + 13. Let u be l(-6). Solve -2*n - 7 = -u for n.
-3
Let j = 7 - 2. Let t = 8 - 5. Let b(x) = x - 13. Let g be b(15). Solve g*k + t*k = j for k.
1
Suppose -2*t = -5*t + 6. Solve t*h + 0*h = 0 for h.
0
Suppose -28*a + 27 = -19*a. Solve a*t + 12 = -0*t for t.
-4
Let u = -38 - -45. Solve -3*q + 16 = -u*q for q.
-4
Let k(o) = o**3 + 6*o**2. Let b be k(-5). Suppose -4*v = v - b. Suppose 4*d = -5*x + 20, 3*x = 7*x + v*d - 25. Solve x = -2*h + 3*h - 1 for h.
1
Let k(x) = -x**3 + 6*x**2 - x + 8. Let z be 28/5 + 2/5. Let q be k(z). Solve q*h + 0 = 6 for h.
3
Let s be 3*4/(-12) - -1. Solve s*w + 8 = -4*w for w.
-2
Suppose -3*z + 5*z - 28 = -4*l, 0 = -z - 5*l + 26. Suppose -z = 5*o - 31. Solve 7*n = 2*n + o for n.
1
Let g = 0 - -2. Let p(j) = -g*j - 4*j - 5 + 5*j. Let v be p(-10). Solve c - v*c = 12 for c.
-3
Suppose 3*t - 4*t = -15. Let q be 80/t*(-6)/(-4). Suppose q = 3*j - 1. Solve j*g = 7*g - 4 for g.
1
Let y(i) = 2*i**2 - 3*i. Let l be y(2). Let f be (10/(-4))/((-4)/24). Let w = -9 + f. Solve -2 = l*u + w for u.
-4
Let q = 158 - 150. Solve 0 = -0*o - 2*o + q for o.
4
Let w(s) = 6*s - 1 + s - s. Let k(m) = m**3 - m**2 + 1. Let j be k(1). Let f be w(j). Solve 3*r = f*r + 2 for r.
-1
Let v = -3 - -3. Let a = v - 0. Suppose 0 = -g - a + 2. Solve -12 = -g*i - 2 for i.
5
Let v(o) = -2*o - 9. Let b(d) = 3*d + 10. Let l(i) = 4*b(i) + 5*v(i). Let r be l(5). Suppose -k + 4*a = 15, 2*a - 5 - 2 = k. Solve -r*c = k + 4 for c.
-1
Let d be (-196)/6 + (-4)/(-6). Let c = -17 - d. Solve 0 = b - 4*b - c for b.
-5
Let x be 1/(-3)*9*-1. Let g(w) = w**2 + 7*w + 12. Let i be g(-5). Solve i*y - 4 = x*y for y.
-4
Let n = -2 + 2. Suppose 6*j - 4*j - 6 = n. Suppose 1 + 1 = -5*z + j*b, -3*b + 14 = z. Solve -2*v - 6 = z for v.
-4
Suppose 6*t - 25 = t. Suppose -t*y - 3 = -38. Solve 5*v + y + 8 = 0 for v.
-3
Suppose -5*z = 20, -x + 3 - 13 = 3*z. Suppose 5*t - x - 3 = 0. Solve p = -t + 6 for p.
5
Suppose -m + 6 = 2. Let q be (-1 - 3) + 3 + m. Solve q*r + 2 - 11 = 0 for r.
3
Suppose -11*t + 7*t = -8. Let j(g) = g**3 - 8*g**2 + 6*g + 9. Let y be 7 - 0*1/2. Let h be j(y). Solve 0*n + t*n - h = 0 for n.
1
Let t(u) = -u**2 - u + 9. Suppose -4*p - g - 3 = 0, 3*p = -2*p - 5*g - 15. Let l = p - 0. Let b be t(l). Solve 0 = -n - 2*n + b for n.
3
Let l be (-11 - 1)*(-2)/8. Solve 4 = -l*r + 1 for r.
-1
Let f be (-12)/15 - 88/(-10). Let r be (4 - 1) + 4/(-2). Suppose -r + f = u. Solve -u*i - 20 = -3*i for i.
-5
Let o be 31 - ((-3 - -11) + -4). Let q = o - 22. Solve -17 + q = 3*s for s.
-4
Suppose -5*m - 9 = -29. Suppose 0 = -m*l + 6*l + 2. Let a be (l + 0)*(-6 + 4). Solve -i + a*i + 4 = 0 for i.
-4
Let b(m) = m**2 + 2*m - 4. Let r be b(-4). Suppose -4*g = -4, -5*y + 27 = r*g + 8. Solve y = 4*d - 13 for d.
4
Suppose 8*t + 59 = 5*k + 6*t, 3*k + 2*t - 29 = 0. Solve -2*d = k - 5 for d.
-3
Let c = -2 - -3. Solve 1 = -b - c for b.
-2
Let x(m) = m - 3. Let w = -17 - -25. Let q be x(w). Solve -g = -q*g + 12 for g.
3
Suppose -7*b - 18 = -13*b. Solve 9 + 6 = b*f for f.
5
Suppose 0 = 3*g + g - 40. Let n = 10 - 4. Suppose -n = 2*y, -5*y - 19 = -r - 2. Solve g = 7*v - r*v for v.
2
Let l(a) = -2*a**2 - 13*a - 1. Let r be l(-6). Solve -n + r = 1 for n.
4
Suppose -16 = -3*h + 44. Solve -d = 4*d - h for d.
4
Let u = 22 - 6. Let b be ((-3)/3)/(-1)*3. Let a be 19/4 - b/(-12). Solve -a*j - u = -6 for j.
-2
Let w be (1/(-4))/(2/(-8)). Suppose -5*g - w = -16. Solve 0 = o - g - 0 for o.
3
Let q be (-2)/6 - (-40)/12. Solve 0*n - n - q = 0 for n.
-3
Suppose 2*i + 4*s - 20 = -0*i, -3*i - 4*s + 24 = 0. Let b = -2 + i. Solve 2*t + b = -6 for t.
-4
Suppose 9 = 3*o - 0. Suppose 5*m - o*m = 10. Suppose m*b - 1 = 29. Solve b*x + 10 = x for x.
-2
Let n = 72 - 40. Let q be (-1)/(-3) - n/(-12). Solve q*d = d for d.
0
Suppose z = -b - 3, 3*z - 5*z = 3*b + 8. Let w = -3 + 2. Let l = z - w. Solve -h = -l*h + 5 for h.
-5
Suppose 0 = -0*p - 3*p. Solve -4*i - 20 = -p*i for i.
-5
Let y = 19 - 18. Solve y = -g + 2 for g.
1
Let m be 2 + -3 - 2/1. Let t be m/(2 + -2 - 1). Solve t*g = -2*g for g.
0
Let u = 22 + -20. Solve -2 + 0 = -u*c for c.
1
Let v = 26 - 24. Let l be 9/15*(-5)/(-1). Solve 5*r = -l - v for r.
-1
Suppose -p + 0 + 3 = 0. Solve p*b + 12 = -b for b.
-3
Let l(u) = u**3 + 10*u**2 - u + 5. Let x be l(-10). Let d be 5/x + (-3)/9. Solve d*y + 3*y + 12 = 0 for y.
-4
Suppose 12 = 3*c + 4*k, -2*k + 6 = -0*c - c. Suppose 4*q - 2*f = 16 - 0, 5*f = c. Solve 0 = -0*y - q*y for y.
0
Let u(g) = 3*g**2 - 2*g - 2. Let b be u(2). Let d(j) = -j + 10. Let y be d(b). Solve -y*p = -2*p - 2 for p.
1
Suppose 0 = 5*f - f - 20, -5*f = -5*j. Suppose 4*p + 4*i - 53 = -13, -2*p + 3*i + j = 0. Solve -p*g = -3*g for g.
0
Let r be (-8)/10*(-70)/28. Solve 2*s + r = s for s.
-2
Suppose 10*b = 9*b. Suppose -3*r + 4 = -5. Suppose 0 = -r*n + 5 + 19. Solve b = 2*m - 0*m + n for m.
-4
Let x be ((-4)/(-6))/(2/6). Let r = -1 + 5. Suppose -l = -x*l - r*i - 16, -4*l - i - 4 = 0. Solve -1 = -l*n - n for n.
1
Let a(d) = d**3 - 6*d**2 + 3*d + 7. Let s be a(5). Let w = -1 - s. Suppose -7*f = -w*f. Solve -c + 2 + 2 = f for c.
4
Let t = -129 + 129. Solve 6 = -2*c - t*c for c.
-3
Let t be ((0/1)/(-4))/2. Let u(i) = 3*i - 4. Let c be u(2). Solve t = c*o - o - 1 for o.
1
Let l = -25 + 28. Solve -3 = -0*m + l*m for m.
-1
Let o = 11 - 7. Let r = -5 - -12. Solve -r*c = -o*c - 15 for c.
5
Let d be (3/(-2))/(4/(-8)). Suppose 12 = d*p - 4*m, -p + 0*m - 2*m = 6. Solve p = -2*i + 9 - 1 for i.
4
Let g = -181 + 183. Solve -3 = -5*l + g for l.
1
Let h be 0 + 9/3 - -7. Let q be (12/h)/((-12)/(-80)). Solve 0 = -q*z + 3*z for z.
0
Suppose -9*r = -4*r - 20. Solve r = -0*l - l for l.
-4
Suppose 4*j = 6*j - 2*g - 8, 2*j = -2*g + 8. Suppose -j*z - 2 = 5*i - 38, -2*i - z + 12 = 0. Solve i = 6*s - 4*s for s.
2
Let l be 4 + 1 - (0 + 0). Suppose -4*t + 4*n = 3*n - 363, -l = -5*n. Suppose 41 + 5 = 2*v + u, -3*v + 4*u = -t. Solve -j = 4*j - v for j.
5
Suppose 5*p - r + 32 = 0, -2*p + 2*r = -3*r + 22. Let k = p + 8. Solve 0 = -0*a + k*a for a.
0
Suppose -3*z + 6*z = 0. Solve -15 = -3*u - z*u for u.
5
Suppose 2*a - 15 = -a. Suppose -z - y - y + 2 = 0, 22 = a*z - 2*y. Solve -k = -0*k - z for k.
4
Let t(q) = -q - 7. Let k be t(-7). Suppose -5*z - 6 = -4*v, z + z - v = 0. Let j be 2 + (10 - (-4)/(-2)). Solve -3*x - z*x + j = k for x.
2
Let f = 9 - 6. Let s = 27 - 15. Solve -f*p + 0*p = -s for p.
4
Suppose 5*w - 12 = 2*w. Solve f + 3 = w*f for f.
1
Let o(g) be the second derivative of -1/3*g**3 + 0 - 2*g - 2*g**2. Let m be o(-8). Solve -k + m = 2*k for k.
4
Let x be ((-4)/(-5))/(18/45). Solve x*h - 2 = -0 for h.
1
Let f = -7 - -7. Let j(v) = -v**2 + 5*v - 4. Let z = 6 - 2. Let n be j(z). Solve f*u - 5*u = n for u.
0
Suppose 5*c - 16 = -o - 3*o, 16 = 4*o - 3*c. Solve 0 = -3*l + 5 + o for l.
3
Let g = 17 + -13. Let u = g + -2. Solve -8 = u*c - 2 for c.
-3
Let r(t) = 4*t - 16. Let q be r(5). Solve 10 = -q*x + 22 for x.
3
Suppose -2*i = 2*i - 24. Suppose -i*d + d + 25 = 0. Solve -d*w = -3 - 2 for w.
1
Suppose 3*o + 0*o - 95 = z, o = -z + 33. Suppose 0 = u - 5*u + o. Solve p - u = -p for p.
4
Suppose 0 = 5*p - 2*p - 6. Solve -p = b - 6 for b.
4
Let i(h) = h**3 + 7*h**2 + 4*h - 9. Let p be i(-6). Let k(m) = -m. Let g be k(-4). Solve 3*z - g*z = p for z.
-3
Suppose 0 = -v - 2*q - 2, v + 0*v - 5*q = 5. Solve 4*u + 16 + v = 0 for u.
-4
Let q be 22/6 + (-16)/(-48). Solve -q = -o - 0 for o.
4
Suppose -16*z + 15 = -19*z. Let d be (-2 - z - -3) + -2. Solve -o = -d*o for o.
0
Suppose 4*x = -5*n + 94, 0 = 2*x - n - 0*n - 40. Solve -3*g - 6 = -x for g.
5
Suppose 0 = -4*z - 0*z + 40. Suppose -4*x = i - 