3)/5). Solve -z + w = -2*z for z.
-5
Let u be (-3)/5*(4 - 19). Let f = u - 7. Solve -f*g + 2 = -g for g.
2
Let l = -10 - -13. Suppose -4*w + 2 - 16 = 3*j, -j - w - l = 0. Solve 0 = -j*h + 3*h for h.
0
Let c be 4 + -1 - 0/2. Solve c*j = -1 - 2 for j.
-1
Let r be (-2 + 6/8)*-4. Let j be (-2)/4*(-3 + -3). Suppose -4*z + 3*t = -70, -j*z + 29 = t - 30. Solve z = r*n + 4 for n.
3
Suppose -j + 3 + 0 = 0. Suppose -j*d = 2*d. Solve d = y + 4*y for y.
0
Let b be 14/3 - (-6)/(-9). Suppose -4*h + 13 = -o, 2*h + 2*o + 0 = b. Let t(w) = -3*w**3 + w. Let x be t(-1). Solve -h*d - x = -4*d for d.
2
Suppose -2*s - 18 = -5*s. Solve -5*y = -s - 9 for y.
3
Let h be (-4)/((2 - 0)/(-2)). Suppose -h*x + 12 = -x. Let l = x - 2. Solve -l*k + 15 = k for k.
5
Let h be 6/27 - (-34)/9. Let j be 2*(-12 + h/2). Let t be (-122)/(-8) - (-5)/j. Solve 0 = -5*c + t for c.
3
Let n be -4 + 7 + (-5 - -7). Let q(z) = z. Let k be q(0). Solve -n*g - 19 - 1 = k for g.
-4
Let t = 151 - 147. Solve b = -t*b - 15 for b.
-3
Let o(v) be the first derivative of -v**3/3 - 7*v**2/2 - 7*v - 3. Let g be o(-5). Solve 3 = -0*x - g*x for x.
-1
Suppose m - 4 = -2*q + 3*q, -2*m = q - 2. Solve 0 = -4*f - m + 6 for f.
1
Suppose -l + 2*b = -0*b + 2, 2*l = -2*b + 2. Suppose 0*o - 4*o - 52 = l. Let u = -10 - o. Solve 12 = -5*m - u for m.
-3
Let g be ((-8)/3)/(3/9). Let c = 13 + g. Solve -c*a + 24 = -1 for a.
5
Let j = 23 + 1. Suppose b = 5*b + j. Let z be 2/(-6) - 8/b. Solve -5*q + 16 = z for q.
3
Suppose 0 = -5*p + 2*p + 9. Solve 0*r - p*r = 0 for r.
0
Let q = 0 + 3. Let u be 3/3 + (-9)/(-1). Suppose -q*k + u = -20. Solve y + y = -k for y.
-5
Suppose 4*z - 18 + 6 = 0. Suppose 0 = -z*y + y. Solve 2*u + 2*u = y for u.
0
Let g = -49 - -44. Let d(j) = -j + 4. Let b be d(-5). Let h = g + b. Solve -h*f + f = -9 for f.
3
Let b(r) = 5*r**3 - r**2 + r - 1. Let s be b(1). Solve s*z + 5 = -7 for z.
-3
Let x(g) = 4*g + 25. Let i be x(-6). Solve 3*r - i - 2 = 0 for r.
1
Let n be 6/(-15) - 17/(-5). Solve n + 12 = 5*y for y.
3
Let m be -5 - 104/(-20) - 24/(-5). Solve 4 = 3*b - m for b.
3
Suppose -7 = t - 10. Solve t = 5*v - 2*v for v.
1
Let a = 100 + -100. Solve a = 4*j - 3*j for j.
0
Let o(a) = -a**3 + 4*a + 5. Let j be o(-2). Solve j = 3*g - 8*g for g.
-1
Let h be 1*((-2 - -6) + 0). Suppose -4*c = -3*t + 9, -5*c + h*t - 12 = -0*t. Suppose c = -m + 3 - 1. Solve m*q - 6 = -0*q for q.
3
Let o(n) = -n**2 + 15*n + 16. Let q be o(16). Solve 5*g + 1 - 11 = q for g.
2
Let f = -11 - -11. Solve -3*c + 0*c = f for c.
0
Let g(f) = -f**3 + 13*f**2 - 2*f + 26. Let p be g(13). Solve p = 2*q + 2 - 0 for q.
-1
Suppose -2*t = -5*b + 2, 2*t + 3*b = 5*t - 6. Solve 0 = -t*y + 16 + 4 for y.
5
Let b be (1/(-3))/((-1)/12). Solve b = -3*d - 2 for d.
-2
Let m be (-214)/8 + 3/(-12). Let n be -2 + 1 - (1 + m). Let q = 1 + 3. Solve -g + n = q*g for g.
5
Let a(q) = 2*q + 20. Let s(j) = j**2 + 18*j + 22. Let v be s(-16). Let u be a(v). Solve 0 = 5*h - u*h + 20 for h.
-4
Let j(k) = k**3 - k**2 - k - 4. Let d be j(2). Let c = -3 + 2. Let q be (d + 11)*c/(-3). Solve q*a = a for a.
0
Suppose -5*g - g = -3*g. Solve g*s - 6 = 3*s for s.
-2
Let n(r) = -r**2 - 3*r + 4. Let a(v) = v**2 - 6*v + 1. Let z be a(5). Let x be n(z). Suppose 12 + x = 4*d. Solve -d*w - 15 = -0 for w.
-5
Let d(l) = l**3 + 8*l**2 + 6*l - 5. Let s be d(-7). Let f be 2*(9/s - 0). Let n = f + -7. Solve -n = -g - 0*g for g.
2
Let w = -10 - -20. Let m = -6 + w. Solve 0 = m*c + 19 - 7 for c.
-3
Let u be (-15)/(-6) - (-2)/4. Let a be (4/6)/((-2)/(-3)). Let b = 1 - a. Solve b*l = u*l for l.
0
Let i(t) = 25*t**3 - t**2 + 1. Let r be i(1). Suppose c - 2*m - 4 = 3, 4*m = -4*c + 4. Suppose 5 = c*l - r. Solve 6*p - l = p for p.
2
Suppose 3*q - 78 = 3. Suppose 4*m + 3*v + 3 = m, 3*v + q = 5*m. Let x be (5 - m)*(-3 + 4). Solve 5*p = x - 27 for p.
-5
Let p = -26 - -17. Let y = 9 + p. Solve y = 4*x - x for x.
0
Let y(o) = -o**2 + 10*o - 9. Let i be ((-2)/6)/(5/(-135)). Let q be y(i). Suppose -10 = 2*d - 4*a, -d + 4*a - 5 = 6. Solve q*b = b + d for b.
-1
Let i = 33 - 33. Suppose 9*b - 15 = 4*b. Solve i*s + s = -b for s.
-3
Suppose 2*d = 4*d - 4*z - 8, 13 = 4*d - 5*z. Solve d*m = -0*m + 10 for m.
5
Suppose 5*m + 5*a = 22 + 18, -a + 28 = 5*m. Solve -m*l - 3 = 2 for l.
-1
Suppose 2 + 0 = h. Let a = -1 + 1. Suppose 0*r - h*r = a. Solve r = 3*b - 3 for b.
1
Suppose 5*w + 9 = 34. Let b be -2*((-15)/(-6))/5. Let r = b - -3. Solve w*q + 3 = -r for q.
-1
Suppose 6*d - 12 = 2*d. Solve 2 = d*u - 4 for u.
2
Let b be -1 - (-1 - -1*2). Let k be (-38)/(-8) + b/(-8). Solve -k*v + 22 = -3 for v.
5
Let h(v) = -v**2 - 7*v + 3. Let t(b) = 2*b**2 + 14*b - 5. Let f(p) = 5*h(p) + 3*t(p). Let y be f(-7). Solve g - 6 + 5 = y for g.
1
Suppose 1 + 3 = m. Suppose 0 = 4*n - 68 + 8. Solve n = r + m*r for r.
3
Let d = -83 - -92. Solve -3*w - 3 = -d for w.
2
Let b be 0*5/(-3 + 13). Solve b = -2*s + 2 - 12 for s.
-5
Suppose -5*x + 25 = -2*q - 3*q, -5*q = x - 23. Solve 4*a - 4 = x for a.
3
Suppose -5*n = -n. Suppose 0*o - 8 = -2*o. Suppose -1 = o*z - 9. Solve 6 = -z*i - n*i for i.
-3
Let r be 0/(4/(-12)*3). Solve -2*a - a = r for a.
0
Let v = 42 + -27. Solve 0*o - v = -5*o for o.
3
Suppose 0 = -w + 5*w - 68. Suppose -5*v - 13 = w. Let i be 4/6 - (-4)/v. Solve o + 1 = -i*o for o.
-1
Let o = 7 + -5. Let u = 6 - o. Solve 2*k - 6 = u*k for k.
-3
Suppose 5 = -5*f, 0 = 4*g + f - 4*f + 9. Let w be 1*(3/g - -1). Let d(v) = v + 4. Let b be d(w). Solve b*p - 8 = 2*p for p.
4
Suppose -2*y - 2 = -y, -4*y = -5*m + 18. Suppose n - 12 = -m*n. Solve -n = -c + 3*c for c.
-2
Suppose i + 4*i = 0. Solve -2*b + 1 + 3 = i for b.
2
Suppose 1806 = 2*d - 3*q, 0 = d + 4*q - 154 - 760. Let r be d/42 + 8/(-14). Solve 5*h - r = 4 for h.
5
Suppose -5*m + 8 = -10*m + 2*k, 8 = -3*m + 2*k. Solve g + m = 5 for g.
5
Let j(t) = -t**3 + 5*t**2 + 8*t - 7. Let x be j(6). Let d = 9 - x. Solve -v - d*v = 15 for v.
-3
Let r = 67 + -62. Suppose 0*c + 5*c = 90. Solve c = -r*i - 7 for i.
-5
Let g be (-15)/(-2)*4/(-6). Let c = -1 - g. Solve -n + c = -3*n for n.
-2
Let s(w) = 2*w**2 - 7*w + 19. Let c be s(3). Solve 0 = -4*y - c for y.
-4
Let w(z) = z + 3. Let a be w(9). Let d = -22 - -26. Solve 0 = -b + d*b + a for b.
-4
Let j(c) = -3 - 1 + c - 3*c. Let b be j(-3). Solve b*l - l = -1 for l.
-1
Suppose -15 = -5*q, -5*b - q + 3*q = -24. Solve 8 = b*u - 2*u for u.
2
Let k(v) = 2*v**2 + 10*v + 8. Let b be k(-6). Solve -4*a - b = a for a.
-4
Let a = 21 - 19. Solve 3 - a = f for f.
1
Let o(c) = -c**3 + 6*c**2 - c + 7. Let l be o(6). Let y be (-46 - 2)/(-2) - l. Suppose -3*a - i = -y, -a + 7 = -4*a + 5*i. Solve -a*d = -4*d + 4 for d.
-2
Let l(r) = 7*r**2 + 3*r + 2. Let x be l(-1). Solve -d = -x*d - 20 for d.
-4
Let x(k) = -5*k - 5. Let g be x(-5). Suppose o - 3*c - 13 = -3*o, 2*c + 11 = 5*o. Suppose -a = -3*w + 3 + o, 3*a - 5*w = 0. Solve a*m + g = -0*m for m.
-4
Let b(a) = a**3 - 4*a**2 + a - 1. Let u be b(4). Solve u*i + 0*i = 9 for i.
3
Let x be (-30)/(-4)*16/6. Let p be ((-16)/10)/(10/(-50)). Solve x = 3*j - p*j for j.
-4
Suppose 3*z = 2*z - 6. Let f be 6*(z/4)/(-3). Solve f*l - 6 = 9 for l.
5
Let u be (1/2)/((-1)/(-8)). Solve 11 = -5*h - u for h.
-3
Suppose -2*o = -3*t - 10, 4*o + o + 4*t = 25. Suppose o = 2*u - 3. Solve u*i = i - 12 for i.
-4
Suppose 5*l - s = -2*s + 5, 0 = 3*s. Let w = 1 - l. Solve 0 = -5*a - w + 5 for a.
1
Let c = 69 - 66. Solve 5*k - 6 = c*k for k.
3
Let w = -9 + 16. Solve h + 2 = w for h.
5
Suppose 0 = -2*f + 6*f - 40. Let a = f + -6. Solve -x = -0 - a for x.
4
Suppose 6*s - s = 55. Suppose 3*c = 7 + 14. Let d = s - c. Solve -d = b - 9 for b.
5
Suppose -32 = -6*f + f + 3*d, 5*f = -2*d + 12. Solve f*a = 7 + 5 for a.
3
Let q(r) = 2*r - 11. Let w be q(7). Suppose 3*x = 5*h - 9 - 41, h + 2*x = -w. Solve -3 - h = -2*d for d.
5
Let n(s) = s**3 + 6*s**2 - 9*s - 9. Let u be n(-7). Suppose -u*w + 4*w + 3 = 0. Solve -3*m + w = 6 for m.
-1
Suppose -3*h - 26 + 2 = 0. Let v = -4 - h. Solve 5 = -r - v*r for r.
-1
Suppose 19*v - 12*v = 35. Solve 21 = v*u + 26 for u.
-1
Suppose 0 = -3*u - 4*g + 35, 0 = -9*g + 4*g + 25. Solve -8 = u*s + 12 for s.
-4
Suppose -3*x = 5*t + 3, -5*t + 3 = x - 4*x. Solve -4*j + 8 = -t*j for j.
2
Let j(c) = -c**2 + 6*c + 8. Let k be j(7). Let q(g) = -g**2 + 9*g - 12. Let h be q(7). Solve h*w + 1 = -k for w.
-1
Let h = -7 + 14. Suppose -2*o - 25 = -