 Solve 17 - 5 = -z*i for i.
-4
Let i be 1*(3 + -3) - -4. Solve -i - 4 = -2*a for a.
4
Let i be ((-25)/20)/((-2)/8). Suppose 0 = -2*h + 4*h + r - 2, 4*h = i*r + 32. Solve z - 2*z = -h for z.
3
Suppose p - 4*p + 15 = 0. Solve p*b = b for b.
0
Let g = -42 - -44. Solve 0*p + g*p - 10 = 0 for p.
5
Let a be -3 + -1 - -1 - -1. Let l be (-2)/5 - a/5. Solve l = 4*m + 3 + 1 for m.
-1
Let x be 15/(2/(-4) + 2). Let k(l) = -l**2 + 4*l + 2. Let j be k(-4). Let a be (j/(-35))/(2/14). Solve 0 = a*b - b - x for b.
2
Suppose 2*c + 10 = 4*g, -5*c - 3*g + 19 = -2*g. Solve 3*d = -0*d - c for d.
-1
Let u(g) = -8*g - 2. Let p be u(-1). Solve 0*w - 3*w = -p for w.
2
Let b be (37 - 39)*(-3)/2. Solve -3*i + 3 = -b for i.
2
Let y(h) be the first derivative of h**2 - 4*h - 1. Let j be y(4). Solve -2*b = -0*b + j for b.
-2
Let v(o) = 2*o - 26. Let w be v(14). Solve 0 = -3*f - w*f - 10 for f.
-2
Suppose 2*d - 3*j = 2*j + 26, 2 = -j. Suppose -4*p - d = -5*p. Solve p = -4*c - 0*c for c.
-2
Let b be 156/30 - 4/(-5). Solve 14 = -4*r + b for r.
-2
Let j(x) = x - 9. Suppose 2*l - 2 = -0. Let a be ((-18)/(-8))/(l/4). Let v be j(a). Solve v = 3*o - o for o.
0
Let k(x) = -x**3 + x - 2. Let h be k(-2). Solve 0 = -5*g + g + h for g.
1
Let h(o) = -o**2 - 11*o. Let p be h(-7). Suppose 2*u - j + 13 = -0*u, 0 = 2*u - 4*j + p. Let c(y) = y**2 + 5*y + 6. Let g be c(u). Solve g*l = l for l.
0
Let a be 1/2 - 37/2. Let c = 11 + a. Let q be (-16)/c - (-8)/(-28). Solve -q + 4 = k for k.
2
Let y(v) = -6*v - 12. Let a be y(-2). Solve a*d = -d - 1 for d.
-1
Let m be 4/1*(-74)/8. Let z = -26 - m. Solve -4*y = z + 9 for y.
-5
Let g be (-3)/6 + (-282)/(-4). Let x be 2/(-14) - (-220)/g. Solve x*w = 6*w - 12 for w.
4
Let j = -12 + 20. Let k be (-2 - -7)*(-1)/(-1). Let l = j - k. Solve n + 6 = l*n for n.
3
Let h = -15 - -20. Suppose -3 - 3 = h*d - 3*m, 0 = 4*d - 2*m + 4. Suppose 0 = -u + 4. Solve c = -d*c + u for c.
4
Suppose -23 = 5*w - 2*i - 58, -4*w = 2*i - 10. Solve -3*z = w + 10 for z.
-5
Let k = 4 - -1. Suppose -k*c + 0*c = 4*s - 9, -2 = -2*c. Let j = s - 1. Solve 0 = 4*n - j*n - 8 for n.
2
Let r = -4 - -6. Let k = r + 0. Let d be (8/12)/(k/9). Solve d*m = -m + 8 for m.
2
Suppose 0 = 5*j - 0*j. Let i be (-24)/(-10)*(-20)/6. Let z(h) = h + 10. Let g be z(i). Solve j*u + g*u = 0 for u.
0
Let p(k) = k**2 + 17*k - 14. Let c be p(-11). Let o be c/(-36) - 4/18. Suppose 23 = 3*a - 5*v, o*v = 3*a - 8 - 12. Solve a*z - 20 = z for z.
4
Let w be (-14)/(-4) + 4/8. Solve -4*g - w = -2*g for g.
-2
Let n(a) = -a**3 - 3*a**2 - 2*a + 1. Let m be n(-3). Solve 2 = -3*r - m for r.
-3
Let p = 30 - 28. Solve p*y = -2*y - 8 for y.
-2
Let v = 10 + -6. Solve 0 = -u - v*u + 20 for u.
4
Let a be 4/(-14) - 32/(-14). Let i = a - 3. Let b be (1 + i)/(1 - 2). Solve -r + 4*r = b for r.
0
Let l be 12/16 + (-21)/(-4). Solve v - l = -v for v.
3
Let r be ((-4)/(-8))/((-2)/(-28)). Suppose 35 = 5*q + 5*a, 4*q - 15 = -2*a + r. Solve -q*m + 5 = -3*m for m.
5
Let t be 15*((-12)/9)/4. Let d = t - -10. Solve 0 = d*y + 8 + 2 for y.
-2
Let c = 37 + -31. Solve -10 = 4*x + c for x.
-4
Let c be (-2 - -3)/((-1)/(-3)). Suppose 0 = 4*h + c*l + 7, 2*l + 7 = -3. Solve 4*y + h = -2 for y.
-1
Let a(s) = s + 10. Let v be a(-8). Suppose v*i + 2*j = 3*j, -j = -4*i. Solve i*b + 2*b = -4 for b.
-2
Suppose -3*n + 5*n - 18 = 0. Solve 5*m - 2*m = n for m.
3
Let n(f) = 2*f**2 + 2*f. Let m be 12/(-9)*(-3)/(-2). Let d be n(m). Solve 0 = -k + d*k + 9 for k.
-3
Suppose 0 = v - 6*v. Suppose -f - 3*u = -2, 5*f + 3*u = -v*u + 10. Solve 0*o + f = o for o.
2
Let g(c) = -c**2 - 8*c + 7. Let a be g(-8). Let x(k) = 3 - 5*k + a*k - k. Let l be x(0). Solve -8 + l = m for m.
-5
Let r be ((-2)/(-2))/(1/6). Let z = r - 3. Solve 3*w - z = -0*w for w.
1
Let i = 0 - -3. Solve -u + 1 = i for u.
-2
Let a be ((-1)/(-2))/(3/(-6)). Let x = a - -3. Let h(i) = 2*i**3 - 2*i**2 + 3*i - 2. Let b be h(x). Solve c - b = -2*c for c.
4
Let p = 6 + 5. Solve 0 = 4*l - p - 5 for l.
4
Suppose -4*c + 5*t + 71 = -52, 5*c - 5*t = 150. Let v = c - 18. Suppose 2*h - 3*k - 25 = -2*h, 2*k - v = -h. Solve 3*d = h + 2 for d.
3
Suppose 7*c - 7 = 14. Solve 6 = c*j - 0*j for j.
2
Let r(b) be the first derivative of -b**3/3 - 4*b**2 - b + 1. Let d be r(-7). Solve 2*x + d = 14 for x.
4
Let j = 24 + -18. Solve -4 = -c - j for c.
-2
Suppose 0 = -2*n + 2*m + 80, m - 155 = -3*n - 3*m. Suppose n + 75 = 3*f. Suppose 0 = 7*o - 3*o - f. Solve -b - o = b for b.
-5
Let a be 0/(-2) - (-8 - -9). Let q = a + 4. Let m be (4/1 - q)*2. Solve -b = -0*b + m for b.
-2
Suppose u - 3*j + 7 = 0, -1 = -u - 2*j + 12. Let h = 6 - u. Suppose -c - 4*l + 6 = -0*l, h = -c + 3*l. Solve -c*a + 5 = -a for a.
5
Suppose 3*x - 3*h + 0*h - 12 = 0, 0 = 3*x + 2*h - 7. Suppose 3*y - 12 = 0, 4*y - 23 = t - 7. Suppose 5*j - 22 = q, -q = -t - x. Solve -j*z = -0*z for z.
0
Suppose 0 = -5*m - 3*a - 29, -2*m = -3*a - 1 - 0. Let w(p) = -2*p + 2. Let r be w(m). Suppose 4*i - 4*j = 32, i - 3 = 5*j + 13. Solve r = 4*q - i for q.
4
Let a be (7/(-3))/((-7)/21). Solve 2*c + a - 3 = 0 for c.
-2
Suppose r - 12 + 0 = -4*l, -r = -5*l + 6. Suppose 0*z + 3*z - 5*q + r = 0, 4*z - 6 = q. Solve -3*i - 14 = -z for i.
-4
Let h be (9/(-6))/(8/(-16)). Solve h - 1 = -v for v.
-2
Suppose 0 = -q + 5*q + 32. Let b = -5 - q. Suppose -4*v - 4 = z - 3, z = -b*v. Solve z*p = -2*p for p.
0
Let u(h) be the third derivative of -h**5/60 - h**4/6 - h**3/6 + 2*h**2. Let o be u(-5). Let j be (o/(-5))/(2/25). Solve -j = 3*k - 6*k for k.
5
Let g(m) = m**2 + 2*m + 7. Let o(l) = -l + 1. Let h(u) = g(u) - 4*o(u). Let y be h(-6). Solve 0*t = -y*t + 3 for t.
1
Let w(t) = 13*t**3 + t - 2. Let n be w(1). Solve 2*b = 5*b + n for b.
-4
Let g(m) be the second derivative of -5*m**3/6 - m**2/2 - 3*m. Let i be g(-1). Solve 0*f - 2*f + i = 0 for f.
2
Let q = -11 + 13. Solve 4 - 2 = q*n for n.
1
Let m = -1 - -3. Let h be -6 + 11 + (7 - 3) + -2. Solve m*z + h = -3 for z.
-5
Let h = 55 + -39. Suppose 7*n = -212 + 30. Let k = n - -32. Solve -k + h = 5*l for l.
2
Suppose 5 = -4*y + 13. Solve -y*t = -0 - 2 for t.
1
Let w = 2 + 4. Let t be ((-4)/3)/((-2)/w). Suppose -3*y + 0*y = -9. Solve -t*n + 3*n + y = 0 for n.
3
Let d be (-10)/(-4) + 9/6. Solve 1 + 3 = -d*n for n.
-1
Let u(d) = -3*d - 12. Let s be u(-4). Solve 0 = -x - 3 - s for x.
-3
Suppose -5*f = 5*j - 30, 5*j - 3*f - 10 = j. Solve 0 = -0*m - j*m - 16 for m.
-4
Let t(r) = -r + 12. Let v be t(11). Let l be 1 + -1 + v + 9. Solve 2*i + l = -0 for i.
-5
Let q(p) = -p**3 + 5*p**2 + 8*p - 6. Let l be q(6). Let j(c) = l - c + c - 1 - c. Let y be j(5). Solve y = -s - 0*s - 2 for s.
-2
Let g = 10 - 6. Suppose f = 4*f. Solve l + 3*l + g = f for l.
-1
Suppose 26*f - 90 = 17*f. Solve 2*k + f = -0*k for k.
-5
Let d(o) = o**3 + o**2 - o + 10. Let p(k) = -k**2 + k + 2. Let h be p(2). Let n be d(h). Solve n = 3*v - 5 for v.
5
Suppose 2*g = -4*n + 22, -2*n - 3*n = -2*g - 50. Solve 2*z + n = -0 for z.
-4
Let g = 5 - 1. Let m be (-8)/(-5) + g/10. Let s(k) = -k**2 + 7*k + 9. Let j be s(6). Solve -j = -3*p - m*p for p.
3
Suppose -6*y = -2*y - 36. Solve y = 4*r - r for r.
3
Let l be (-5)/1*230/(-25). Suppose l = -5*r - 44. Let w be 4/r - 60/(-27). Solve -13 = -5*t + w for t.
3
Let o = -4 - -8. Suppose 2*y - w + 2 = w, 5*y - 22 = -o*w. Suppose -y*c + 17 = 5*a - c, 0 = a - c - 1. Solve 1 + a = -l for l.
-4
Suppose 0 = -j + 4, 5*c - 33 = 5*j + 47. Let v = -4 + 7. Solve -v*k - c = k for k.
-5
Let o = -12 - -3. Let q(y) be the first derivative of -y**4/4 - 3*y**3 + 5*y - 1. Let l be q(o). Solve l = -2*b + 1 for b.
-2
Suppose 2*v + 6 = -u, -2*u + 0*u = v - 3. Let x(f) = -f**3 - 5*f**2 + f + 7. Let d be x(-5). Solve -u*s = -d*s for s.
0
Suppose 3 = -3*j - 5*a - 11, 0 = -2*j - a. Solve 0 = j*h - h for h.
0
Suppose 3*n - 23 - 32 = 5*i, 3*n + 4*i - 37 = 0. Suppose -3*k = -2*y + 6*y + 5, 5*k - 5*y = n. Let h be -1*(k - 0)*0. Solve 0 = -3*f - h*f for f.
0
Suppose -3*q + 6 = -2*q. Let r = -3 + 4. Let x be q*r + -1 + -1. Solve -2*c + x = -3*c for c.
-4
Let r = -19 + 19. Let d be (r - -10) + -2 + -2. Solve 4*q - d = 6 for q.
3
Let u be 3 + -1 + (-2 - -2). Suppose -4*t = -2*t - 3*r - 27, 2*t + 2*r - u = 0. Suppose -w = -t*w. Solve h = -w*h for h.
0
Let j be (-2)/6 + (-5)/3. Let t = j + 4. Suppose -t*r - 25 = -7*r. Solve r*d + 2 + 8 = 0 for d.
-2
Let z(r) = -r**3 + 3*r**2 + r + 3. Let i b