2)/2). Solve -3*z + p = -3 for z.
2
Suppose -3*y - 23 = -4*m - 6*y, -y + 13 = 2*m. Suppose -17 = 2*c + 7. Let r(q) = q**3 + 12*q**2 - 3*q - 13. Let k be r(c). Solve -3*a = m - k for a.
5
Suppose -37 = -5*i + 5*h + 8, 2*i - 33 = 5*h. Solve -i - 4 = 4*y for y.
-2
Let l(s) be the first derivative of 0*s - 2 - 1/2*s**2 + 17/4*s**4 + 0*s**3. Let n be l(1). Solve -5*i - n + 1 = 0 for i.
-3
Let g be (-1 + -1)/((-12)/18). Suppose x - 8 = 4*p - x, -g*x = p - 12. Suppose -4*u + 10*t = 5*t - 11, u - 2*t - 2 = p. Solve -u*y - 24 = -8 for y.
-4
Suppose 4*u - 31 = 3*r, -u - 5*r = -6*u + 45. Suppose -d + 10 = u*d. Suppose 0 = w + w. Solve w = x - d*x + 1 for x.
1
Let a(b) = b**3 - 6*b**2 + 2*b - 6. Let v be a(6). Suppose 0*x = -x + v. Solve 0 = -5*k + 9 + x for k.
3
Let p(a) be the first derivative of a**2 - 3*a + 1. Let d be p(3). Solve 5 = -d*b - 2*b for b.
-1
Let m be (0 + 30)*(-4)/(-3). Suppose -5*v + 3*v + m = 0. Suppose -f = 3*f - v. Solve f = -3*c + 2*c for c.
-5
Let y(m) = -7*m**2 - 1. Let t be y(1). Let o(i) = -i - 3. Let q be o(t). Suppose 0 = -0*w - 3*w. Solve -q*l + w*l = -15 for l.
3
Suppose s - c - 13 = -3*c, 5*c = s + 15. Let l(g) = -g + 9. Let z be l(5). Suppose -2*u - 8 + 1 = -3*a, -s = -3*a + z*u. Solve 0*k = -a*k for k.
0
Let z(y) = -y - 3. Let h be (5/10)/(1/(-10)). Let v be z(h). Suppose -v = -j + 8. Solve -j = -f + 3*f for f.
-5
Let y = -8 + 10. Let u(a) = 3*a**2 + a + 1. Let l be u(-1). Let v = l - 1. Solve y*i - 8 = -v*i for i.
2
Let f = 3 - 3. Suppose f = a - 4*d + 26, -4*d - 15 = d. Let n = -18 - a. Solve 0*p = 5*p + n for p.
-4
Suppose h - 3*x - 9 = 0, -5*h + 7*x + 12 = 3*x. Let k(s) = s + 3. Let d be k(h). Solve 8 - d = o for o.
5
Let c(r) = 4*r**2 + 3*r. Let a be c(-5). Suppose j + 4*o - 28 = -2*j, o = 5*j - a. Let n = j + -8. Solve 3*s = n*s + 20 for s.
-4
Let o be (-135)/7 - 16/(-56). Let b = -16 - o. Solve b*a = -a for a.
0
Let s(y) = y**2 - y + 3. Let w be s(3). Suppose 5*v - 23 = 2*l, -2*v + l + w = -0*l. Let t = 5 - v. Solve -2*h - 3*h + 10 = t for h.
2
Let l = -11 - -11. Solve l = w - 1 - 1 for w.
2
Let p(q) = 2*q**3 + 7*q**2 - 2*q - 12. Let l be p(-3). Solve 0 = -l*w + 5*w for w.
0
Let b be (18/30)/((-1)/(-10)). Let v(t) = t - 4. Let s be v(b). Solve -s*m = -0*m - 6 for m.
3
Let t be 3 + -1 - (2 - 4). Suppose 0 = r - c, t*c = r + 2*r. Suppose y + 2 = 4*v + 17, 0 = -3*y - 3*v. Solve r = -j + 2 - y for j.
-1
Let c(y) = -y**2 + 2. Let j be c(-2). Let i = j - -4. Let g be (-2 - -3)*(i + 1). Solve g*x + 8 = x for x.
-4
Let z be (3/6)/1*(9 + -3). Suppose 4*f - 4*w - 5 - 7 = 0, -4*f = 2*w - 6. Let g be f/3 - (-3)/9. Solve z = 2*r + g for r.
1
Let z be (12/(-10))/(2/(-20)). Let y = -50 - -54. Solve -4 = -y*h + z for h.
4
Suppose 3*i = -3*z - 9, -9 = i + 5*z + 6. Let v(q) = -2 - 2 - q + 5. Let w be v(i). Solve -3*p + 5 = -w for p.
2
Let a(j) = 2*j**3 + j**2 - 1. Let s be a(1). Solve -2 = -s*p - 0 for p.
1
Suppose -4 = -4*y - 4*k, -4*y - 19 = -5*y + 5*k. Suppose 42 = y*s - s. Let u = -5 + s. Solve -u = 2*w + w for w.
-3
Let g = 9 - 7. Let m(o) = o**2 - 7*o + 2. Let d be m(7). Suppose g*z = -d*z + 12. Solve z*n = n - 8 for n.
-4
Suppose 0 = -4*s - 28 + 4. Let y be 13 + -1*(-3 - s). Solve 5*r = 10*r + y for r.
-2
Let g be 4 - 12/(-9)*-3. Solve 2*v + v - 3 = g for v.
1
Suppose -v + 20 = 3*v. Let a = -1 + v. Suppose -n = -a*k - 6 - 12, 2*k + 4 = -2*n. Solve -3*p + n = -p for p.
1
Let m(a) = -a**3 - 5*a**2 - 6*a - 5. Let q be m(-4). Solve q*y + 2 - 11 = 0 for y.
3
Suppose -3*i + 4 = -2. Let a be 14*(0 - (-4)/(-8)). Let z(k) = k**3 + 9*k**2 + 12*k - 4. Let h be z(a). Solve 4*v + h = -i for v.
-3
Suppose 0 = -4*h + 9*h. Solve h = -o + 5*o for o.
0
Suppose 0 = 3*o + y + y + 17, 3*o = -4*y - 19. Let b be (-1)/o - (-1)/(-5). Solve b = 3*p + 2*p - 10 for p.
2
Let a(y) = 7*y**2 + 10*y - 1. Let u be a(-2). Let w be 1 + (2/1 - -2). Suppose -5 = o - 5*s, -2*s = -w*o + 3*s - 5. Solve o = 2*z + u + 3 for z.
-5
Let m(z) = z**3 - z**2 - z + 4. Let c be m(0). Suppose -27 = -c*k + 21. Suppose -4*v + 5*u = -0*u - 13, -4*u = -4*v + k. Solve 0 = -2*s + v for s.
1
Let i = -26 + 29. Suppose m = -i*m + 12. Solve -w + 0 = -m for w.
3
Suppose 3*w - 4 = g, 10*w = 8*w + 4*g - 14. Solve w*r = -0 - 3 for r.
-1
Let u be -3 + 3 - 11/1. Let k = u + 16. Solve -k*z - 15 = -0*z for z.
-3
Let y(u) = 5*u**2 - u - 4. Let q(o) = -o**2 + o. Let f(p) = -4*q(p) - y(p). Let n be f(-3). Solve 0*z = -n*z - 12 for z.
-3
Let x = 23 - 11. Let p = x + -12. Suppose 2*w = -0*w + 4. Solve p*o - w*o = 0 for o.
0
Let l = 160 - 156. Suppose -5 = 4*j - 2*a + 1, -3*j - 5 = -2*a. Let x be -3*(0 + 1)*j. Solve -z + l*z = -x for z.
-1
Let p = 37 - 28. Solve -p - 7 = -4*v for v.
4
Let i = 18 + -13. Suppose 19 = i*u + 4*l - 5, u - 2*l = 2. Solve u*h = -h - 25 for h.
-5
Let g be (-45)/9 + (-2 - 0). Let d = 11 + g. Solve d*f = 3*f - 1 for f.
-1
Let u(f) = 2 - 2*f - 5*f**3 + 5*f**3 + f**3. Let w be u(2). Solve 0 = v + v - w for v.
3
Let y = 21 - 37. Let p = y - -10. Let m(j) = -j - 3. Let f be m(p). Solve 1 = -4*g + f*g for g.
-1
Let p(x) = x**3 - 5*x**2 - x + 2. Let b be p(5). Let i be b/6*(1 - 7). Solve i*s + 6 = 5*s for s.
3
Let q = -108 + 112. Solve 0 = -25*r + 21*r + q for r.
1
Let i = -77 - -60. Suppose 3*s + 59 = -2*q, 30 = -2*q - 2*s - 26. Let u = i - q. Solve u = -d - d for d.
-4
Suppose -2*u = -11 + 3. Solve u = y + 3*y for y.
1
Let x be ((-16)/72)/(2/(-18)). Solve 0 = l + x*l + 15 for l.
-5
Let p = 12 + -9. Suppose p*w - 28 = -7. Suppose c - 1 = 3*z, z - 5 - 4 = -2*c. Solve -c*j + 12 = -w*j for j.
-4
Suppose 5*s - 25 = g - 0*g, -3*s = 3*g + 3. Suppose s*k = -k + 35. Suppose 0 = 4*l - 0*l, m = -l + k. Solve m = 3*z + 1 for z.
2
Suppose 0*r = 6*r. Solve -5*c - 1 - 4 = r for c.
-1
Let y = 41 + -37. Solve -9 = -y*k - 1 for k.
2
Let q(d) = -d**2 + 14*d - 13. Let s be q(11). Solve 0 = 4*h - 8*h - s for h.
-5
Suppose 0 = j + 3*j - 780. Suppose 6*o = 3*o + j. Let p = o - 46. Solve 1 = 5*x - p for x.
4
Let b be 0 + 4 - 2/(-2). Solve b*x = 3*x for x.
0
Suppose 0*h - a = 4*h - 4, -2*h = -2*a - 12. Suppose 16 = 5*w + o, 5*w + 0 = -3*o + 8. Suppose 3*q - q - 6 = w*f, 0 = -q + f + 3. Solve h*l - 9 = -q for l.
3
Suppose 0 = -2*r + 1 - 5. Let o(y) = y - 1. Let n be o(1). Let v = n - r. Solve -i + v*i = 5 for i.
5
Let o(y) = 2*y**2 - 18*y + 4. Let g be o(9). Suppose d - 5*d + 64 = 0. Suppose 4 - d = -g*q. Solve 0 = v + q + 2 for v.
-5
Let z(h) = 5*h**3 - 1. Let s(t) = t**3 - 5*t**2 + 3*t. Let o be s(4). Let a = o + 5. Let u be z(a). Solve -u = -5*n + 11 for n.
3
Let r = -17 - -19. Solve 3*j + r = 2*j for j.
-2
Let r be ((-10)/(-3))/(4 + 30/(-9)). Solve 2*i = r - 1 for i.
2
Suppose -3*a - 4*h + 18 = 0, -a + 11 = 2*h + 3. Solve -a = 2*y - 6 for y.
2
Let c = 9 + -3. Suppose 4*p = 2*p + c. Solve p*r = -5 - 4 for r.
-3
Let m be 10 + (-3)/((-3)/(-1)). Let z = -5 + m. Suppose z = 2*x + 2. Solve 3 = a - x for a.
4
Suppose 0*s + 2*v = -5*s - 13, v = 1. Let a be s/(((-18)/(-4))/(-3)). Solve -a*b = -b + 4 for b.
-4
Suppose 2*h + i = 5, 3*h + 12 = 4*i - 8. Suppose 0 = -3*b + 6, -5*b + h = -4*c - 2. Solve -10 = -c*o + 4*o for o.
-5
Suppose -l = -4*o + 43, 32 = o + 5*l - l. Suppose 0 = -3*q + o + 3, -z - 13 = -3*q. Solve 3*d = -z*d + 20 for d.
4
Suppose 4*u - 1 = 71. Suppose -4*c - 5*a + u = -1, 3*c = a. Let n(b) = b - 1. Let j be n(c). Solve j*x = 2*x for x.
0
Let m(j) = j**3 - 6*j**2 - 7*j + 2. Let r be m(7). Solve 4*f + 4 = r*f for f.
-2
Let o be -3 - (-2 - 0)*3. Solve z + 2 = o*z for z.
1
Let r(t) = t**3 - 4*t**2 + 5*t - 3. Let h(j) = j + 3. Let x be h(0). Let k be r(x). Let p = -1544 + 1546. Solve -p*i = -5*i - k for i.
-1
Let z(x) = x**2 - 6. Let p(h) = -h**2 + h + 1. Let f(b) = -3*p(b) - z(b). Let t = -4 + 6. Let l be f(t). Solve -4*a - l = a for a.
-1
Let n be (2 - 4)/((-2)/28). Suppose -4*c - 100 = 7*f - 2*f, 0 = -5*f - 3*c - 100. Let u be (-4)/f - n/(-10). Solve -o - u*o - 4 = 0 for o.
-1
Let w be 1/(-2) - (-50)/20. Suppose -2*g - 41 = -7*g - 4*f, w*g + 3*f = 22. Solve 0 = 3*k - g - 4 for k.
3
Let x be 2/(-10) - 4/(-20). Suppose h + 6 = 3*g, -3*g + x*g - 6 = -5*h. Solve 0 = -y - 5 + h for y.
-2
Let b be ((-6)/(-4))/((-4)/(-8)). Suppose -2*t - 18 = -3*s, -2*s - s = 3*t - b. Suppose c = 2*c - s*r - 6, -2*r - 2 = 0. Solve -1 = -c*u + 3 for u.
2
Let l = 7 + -2. Suppose 0 = -w - 4*w - n + 15, -l*w - 2*n = -10.