*w = -10 for w.
-2
Let l = -7 + 20. Let v = l + -8. Suppose 5*h + 0*h = 20. Solve 1 - v = h*f for f.
-1
Let p(i) = -i - 3. Let k(h) = -1. Let b(l) = -2*k(l) + p(l). Let j be b(-4). Solve j + 2 = -v for v.
-5
Let m be 10*5/(1 + 4). Solve m + 5 = -3*h for h.
-5
Let k(x) = x - 3. Let y(c) = -c + 4. Let t(s) = -3*k(s) - 2*y(s). Suppose 2*h - 18 = 2*b, -5*h + 32 - 12 = 0. Let n be t(b). Solve -10 = g - n*g for g.
2
Suppose 4*n - n - 12 = 0. Let y be (3/n)/((-2)/(-16)). Let i be 11 + 3*(-4)/y. Solve 3 = -3*o + i for o.
2
Suppose 20 + 10 = 5*t. Let n(k) = k**3 - 2*k + 2 - 5*k**2 - 3*k + 0*k**3. Let y be n(t). Solve 4*g = -0*g + y for g.
2
Let v be ((-33)/(-4))/3 + 5/20. Solve 0 = -0*z - v*z for z.
0
Let j = 13 - 11. Solve j = -v - 0*v for v.
-2
Let x be 1/2*(-2 - -2). Suppose 5*a - 4 = 16. Suppose x*b = -s + b + 2, 2*s - a*b - 4 = 0. Solve -s*k - k = 0 for k.
0
Suppose s = -5*z + 22, -3*z + 5*z - 4 = 0. Solve 2*j = 5*j - s for j.
4
Let r = 1 + -16. Let m be (9/r)/(3/(-105)). Solve 5*z - 4 - m = 0 for z.
5
Let v(i) = -i + 6. Let c be v(3). Suppose 0*t + t - c = 0. Suppose 4*d + 30 = 5*r + 8*d, 16 = -2*r + 4*d. Solve -4 = -t*f + r for f.
2
Let t be (-38)/(-6) + 8/(-6). Solve 5*r = 10 - t for r.
1
Let c(l) be the first derivative of -l**3/3 - 3*l**2 + 4*l + 4. Let t be c(-6). Solve -7 = -t*k + 13 for k.
5
Let z(o) = 2*o**2 - 3*o - 4. Let c be z(5). Suppose 2*t = -3 - 5, 0 = 5*i - 4*t - c. Suppose -3*h + 36 = -0*h. Solve -f - i*f = -h for f.
3
Let a = -26 + 41. Suppose -10*r + a = -5*r. Solve 20 = -t - r*t for t.
-5
Suppose 4*r - 5*a - 66 = 0, -5*r = 6*a - a - 105. Solve r = 5*i - 1 for i.
4
Let l = -4 - -4. Let z be (-80)/(-70)*(-14)/(-4). Solve t + 1 - z = l for t.
3
Suppose v - 7 = -5. Solve -4*r + v = 10 for r.
-2
Let i(p) = 3*p**2 - p. Let u be i(-1). Solve -u*w = 3 + 1 for w.
-1
Suppose -3*w + w - 5*t = -20, 0 = w - 2*t - 1. Suppose 9 = -w*u + 34. Solve -u*f + 10*f = 0 for f.
0
Let o = -21 + 26. Let r(p) = -3*p**3 + p**2 + 2*p + 1. Let i be r(-1). Solve i*m - o*m = 0 for m.
0
Suppose 5*d + i + 5 = 2*d, d = -3*i + 1. Let n be (-1 + 1 + -1)*d. Solve 3 = -n*h + 11 for h.
4
Let x(m) = -m**2 + 2*m + 4. Let y be x(3). Solve -y = -k - 3 for k.
-2
Let b be -5 + (-6)/(1 + -2). Let g be -6*1/(6/(-16)). Solve 0 = 5*d - g + b for d.
3
Let p = -3 + 25. Let r = -15 + p. Suppose -r*c + 2*c = -50. Solve -5*s + 5 = -c*s for s.
-1
Suppose 0 = 2*k, -20 = -w - 8*k + 3*k. Solve 2*v + 3*v - w = 0 for v.
4
Let m(k) = -k**2 - 8*k - 9. Let o be m(-6). Suppose -o*y + 20 = 8. Solve y*z = 5 - 17 for z.
-3
Let j = -6 + 16. Solve -j = 5*a - 5 for a.
-1
Suppose 7 = m + 2. Let y = m + -2. Solve y*i + 2 = -1 for i.
-1
Let u = 50 - 25. Let v(p) = p**2 + 6*p + 4. Let q be v(-6). Let o = q + -4. Solve -5*i + u = -o*i for i.
5
Let y = -10 + 11. Solve -2*h = y - 5 for h.
2
Suppose 0 = 5*v + 4 - 19. Let f(l) = l - 1. Let z be f(v). Let r be -1 - ((-2 - 1) + 2). Solve 4 + r = -z*i for i.
-2
Suppose -w + 6*w - 45 = 0. Solve -2*f + w = f for f.
3
Let k = 25 - 25. Solve x = -k*x - 1 for x.
-1
Let k(r) = r**3 + r**2 - r + 2. Let t be k(0). Suppose 4*q - 3*b = q + 12, 2*b - 24 = -2*q. Solve 5*n = -q - t for n.
-2
Let b(k) = -k**3 - 11*k**2 - 15*k - 10. Let i be b(-10). Let l be (-10)/(-2)*8/i. Solve -2*d - 5 + l = 0 for d.
-2
Let p = -88 - -91. Solve 2*t = p*t + 1 for t.
-1
Let t be -1 + -4 + 3 - -4. Solve -t*r + 8 = -0 for r.
4
Let k = 9 - 24. Let h = k + 18. Solve 0 = h*i + 6 for i.
-2
Suppose -5*j + 25 = 0, 0*j - 59 = -4*d + j. Suppose -3*k + 0*k - 27 = -3*h, -4*k - d = h. Solve -5*t + 4 = -h*t for t.
4
Let o be (5/(5/(-6)))/(-1). Solve -3*g - 9 = -o*g for g.
3
Let d = 0 - -1. Let y = d - 1. Suppose y*l = l - 2. Solve -l*t + 3 = -1 for t.
2
Suppose w + 74 - 79 = 0. Solve -w*q - 7 = -22 for q.
3
Let n(y) = 5*y**2 + y + 1. Suppose 0 = 4*v - 4*c + 20, 2*v + 0*c + 5*c - 18 = 0. Let o be n(v). Solve 2*u = o + 3 for u.
4
Let o = -108 - -108. Solve o*p = 5*p + 25 for p.
-5
Let s be (-33)/(-6) - (10/(-4) - -3). Solve 3*q - s*q = 0 for q.
0
Let d be (-32)/24*(-3)/2. Solve d*q + q - 12 = 0 for q.
4
Let q be 0 - 2 - -2 - -3. Suppose -3*s + 29 = 5*m, -q*s + s - 10 = -4*m. Solve 4*b + s = 3*b for b.
-3
Suppose 0 = -4*g - 0*g - 4. Let d be -1 + 4 + g + 2. Suppose -2*i + 14 = d. Solve 0 = i*r - 6*r for r.
0
Let l = -70 - -73. Solve 2*b = l*b for b.
0
Let r(a) = a**3 + 10*a**2 + 7*a - 2. Let c be r(-9). Suppose -2*b + c - 4 = 0. Solve 0*t + b = -3*t for t.
-2
Let k be ((-10)/(-4))/(4/8). Suppose -2*w = -k*b - 21, w + 4*b = 3*b. Solve -w*y + 6 = -6*y for y.
-2
Suppose 12*q + 3*q = 30. Solve -1 + 5 = q*d for d.
2
Let z be ((-4)/(-8))/(2/176). Let q = z - 28. Solve 3*t = -t + q for t.
4
Let o be (-1 + 7)/((-6)/8). Let x = -6 - o. Solve 0*a + a + x = 0 for a.
-2
Let r be -3*8/18*-3. Suppose -t + r = t. Solve t*k - 12 + 4 = 0 for k.
4
Let u(j) = -j**2 - 7*j - 8. Let h be u(-6). Let w be (-5)/(1/h*2). Solve 2*d + w = 3 for d.
-1
Let v(k) = -k**3 + 7*k**2 - 6*k. Let t be v(6). Solve -3*b = -t*b for b.
0
Let d(v) = v + 18. Let b be d(-14). Solve -b*w + 6 - 2 = 0 for w.
1
Let d be (0 - 3/(-1))/1. Solve 4*x = d*x for x.
0
Let t(c) = -c**3 + 5*c**2 - c + 6. Let h be t(5). Let v be (-9)/(-2) + (-3)/2. Let g be (-1 - -2)/h*v. Solve g*u + 11 - 2 = 0 for u.
-3
Suppose 0 = -2*b - 0*b. Let i = b - -5. Solve -i = -q - 4*q for q.
1
Let x(s) = -s + 76. Let n be x(0). Suppose -a = -3*o - 0*a + n, -5*o = -5*a - 130. Solve t + o = 6*t for t.
5
Let y(p) = p**3 - 6*p**2 - p + 4. Let m be y(6). Let o = 2 - m. Solve 0 = i + i + o for i.
-2
Let a = -20 - -23. Solve -4*p + 7*p = a for p.
1
Let q be ((-6)/8)/((-1)/(-4)). Let o(t) = t**3 + 8*t**2 + t + 5. Let y be o(-8). Let w = q - y. Solve w = 3*f - 2*f for f.
0
Suppose 67*o + 12 = 70*o. Solve -3*n = o - 7 for n.
1
Suppose 0 + 12 = 3*j. Suppose -15 = -j*u - u. Suppose r - u = -0*r. Solve 0*p = -r*p - 15 for p.
-5
Let w = 12 + -10. Suppose 5*a + 3*s + 120 = 0, 0*a - 48 = 2*a - s. Let v = a - -36. Solve -w*q = -6*q + v for q.
3
Let o(g) = -2*g + 2. Let l be o(10). Let p = l - -21. Solve 2*v - 3 = p for v.
3
Let i = 37 - 34. Solve i - 2 = z for z.
1
Let l be 0*((-1)/1 - -2). Suppose -3*k = 5*o - 25, -5*o + 20 = -l*o + 2*k. Solve -p - p = o for p.
-1
Suppose -4*a = -4*c - 3*a + 20, -a = 3*c - 22. Let g(s) = -2*s - s**2 - 3*s - 4*s**2 - 6 + s**3 + 0. Let d be g(c). Solve -4 = -d*p + 2*p for p.
-2
Suppose -5*d + 25 = 5*j, -7*d + 5 = -2*d + j. Let m be 2 + d + (-3 - -3). Solve r = -3 - m for r.
-5
Let w be (-1 - -4)/(-9)*-9. Suppose -k - w*u + 7*u = -4, -u = -4*k + 16. Suppose -2*g = 2*g. Solve -3*o - 7 + k = g for o.
-1
Let q(j) = -j**3 - 3*j**2 - 2*j - 7. Let p be q(-4). Solve 4*u = 3 + p for u.
5
Let f be 19/5 + (-4)/(-20). Let v be (-2 - -6)*10/f. Let n be 2/(-2) + (v - 0). Solve 2*p - n = -3 for p.
3
Let i = 80 + -79. Solve 2*m - i = m for m.
1
Let y = -30 - -43. Let u(k) = -k**2 + 14*k - 11. Let z be u(y). Solve p = z + 1 for p.
3
Suppose 5*s - 9 = 2*p, 3*p = -2*p + 15. Solve l = -s*l - 4 for l.
-1
Let t be (2 - (1 + -1)) + 31 + -29. Solve y = t*y for y.
0
Let i = 25 - 25. Solve -2*l + 4*l = i for l.
0
Suppose -5*z + 36 - 1 = 0. Solve -z*n + 5*n - 2 = 0 for n.
-1
Suppose -18 = -3*y + 6. Let s(h) = -h**3 + 11*h**2 - 10*h + 5. Let v be s(10). Solve -v*g + 3*g = y for g.
-4
Let t(b) = b**2 - 5*b - 9. Let o be t(7). Solve 2*f + 1 = -o for f.
-3
Let m be (-2)/(-3) + 122/6. Suppose -5*i + c + m = -c, -2*i + c + 8 = 0. Suppose 6 = i*r + 6*u - 3*u, -r + u = 2. Solve -2 = j - r for j.
-2
Let o(f) = -f**2 + 8*f. Let m be o(7). Solve m = -3*n - 5 for n.
-4
Let g be (-1)/1*(-7 + -10). Suppose 0 = 3*m - 5*j + 30 - 8, -2*m - 3*j = -g. Suppose 2*r + 6 = f + 26, 46 = 4*r + f. Solve -4*p + m + r = 0 for p.
3
Let a(r) = r + 2. Let u be a(2). Let h(t) = -t**3 - 7*t**2 + 2*t + 15. Let n be h(-7). Solve -u - n = -j for j.
5
Let g(a) = a - 3. Let k be g(6). Solve -4*b = -k*b for b.
0
Let m(h) = 2*h**3 - 2*h**2 - 2*h + 3. Let j be m(1). Solve 2 = f - j for f.
3
Suppose -3*a = -2*a. Let j(r) = -r - 4 + a + 0. Let k be j(-7). Solve -k*z = -z for z.
0
Let y(c) = -c**2 - 2*c + 1. Let o be y(-2). Suppose -o - 3 = -2*a. Solve -2*n - 20 = a*n for n.
-5
Suppose 8 = -2*w + 4*w. Suppose -g - 10 = 4*g + 3*n, w*n + 19 = -g. Let c be 3/(-6)*(1 + -1). Solve c = 3*r + 16 - g for r.
-5
Let g = 95 + -46. Suppose -j - 4