 + 2*z - 24, -z - i*n + 13 = 0. Solve 5*x - z = 2*x for x.
3
Let w be (-4)/6 + 44/(-6). Let x = w - -13. Solve x*z = 2*z + 15 for z.
5
Let b be (-11)/(-1) - (2 + 0). Suppose 0 = 5*x + 5*l - 2 - 3, -4*x + b = -l. Solve 0*v - x*v + 6 = 0 for v.
3
Let d(p) = -p**3 - 6*p**2 + 8*p + 7. Let r be d(-7). Suppose r*q + 40 = 5*w + 5*q, 4*q = -12. Let g = w + -6. Solve -g*l = -10*l + 5 for l.
1
Suppose 0 = 5*c - 4*d - 35, 4*d - 35 = -4*c - c. Suppose 2*j - j = 5, i - 2*j - 3 = 0. Suppose c = 5*h - i. Solve h*r + 12 = r for r.
-4
Let p = -1 + 1. Solve p = -a - a + 10 for a.
5
Suppose 0 = -5*p - o + 7, -3*p + 21 = -0*p - 5*o. Solve -p*c = c + 12 for c.
-4
Let o(z) = -z**2 + 8*z - 1. Let t be o(7). Suppose -18 = -y - t. Solve -w - y = -4*w for w.
4
Suppose -4*t = t - 15. Solve 0 = -t*w + 5*w + 2 for w.
-1
Let s = 27 + -5. Let a = 22 - s. Solve a = 4*o - 6*o for o.
0
Suppose -q = 4*q. Solve q = 3*v + v + 20 for v.
-5
Let p be 42/15 - (-3)/15. Solve p = 2*h + 13 for h.
-5
Suppose 2*s = -5*r + 40, -4*s + 13 + 7 = 0. Let x = 10 - r. Suppose -x*h + 4*k - 2*k + 18 = 0, 2*k = -2. Solve h*b + b = 20 for b.
4
Let h = 5 - 1. Let t = 9 - 6. Let m be t/(-2)*(-2)/3. Solve m + h = -s for s.
-5
Suppose -7 - 8 = i. Let a = -10 - i. Solve -a*h + 5 = 25 for h.
-4
Let a(o) = -4*o + 8. Let k be a(0). Solve -7*x = -3*x - k for x.
2
Let b = -9 + 24. Suppose -4*l - l = -b. Solve i - l = -2 for i.
1
Let x be -5 + (-70)/(-9) + 4/18. Solve 3*j + 9 = -x for j.
-4
Suppose -4*m = -2*m - 6. Suppose -3*k + 8 = -0*k - 5*o, -4*k - m*o = -1. Solve 7 = 2*b + k for b.
3
Let i(o) = 2*o - 2. Let u be i(1). Let q(y) = -y**2 + 6*y - 4. Let w be q(4). Solve u = -3*f + w - 13 for f.
-3
Let k = 7 - 6. Let r = k + 13. Suppose -o + 4*g + r = 0, 0*o - 5*g = -4*o + 23. Solve -2*w = o + 6 for w.
-4
Suppose -2*n = 5*l - 10, -10*n + 6*n + 20 = l. Solve 0*p - n = p for p.
-5
Let t be 1 - 1*(-1)/1. Let r be t - (-5 + 2 - -3). Solve -r*x + 14 = 6 for x.
4
Let k = -16 + 28. Let r be (4/1)/(4/(-6)). Let x be ((-70)/21)/(4/r). Solve -o = -x*o - k for o.
-3
Suppose 4*q - 10 - 10 = 0. Let o be (-9)/(-2) - q/10. Let b = o - 1. Solve 2*x - b = -x for x.
1
Let d = 1 + -1. Solve -5*c = -d - 15 for c.
3
Suppose 0 = -2*g - p + 5*p - 14, 3*g - 3*p = -6. Let b(q) be the first derivative of -q**3/3 - 11*q**2/2 - 14*q - 12. Let m be b(-6). Solve w + m = -g*w for w.
-4
Let g(m) = m**2 - 10*m + 13. Let n be g(10). Solve -2*y - 3 + n = 0 for y.
5
Let n = 10 + -9. Solve 0 = -5*z - n - 4 for z.
-1
Let q = -9 + 13. Suppose -u - 12 = -q*u. Solve 4*z + 12 = -u for z.
-4
Suppose -5*z + 10 = -2*k - 3*k, -z = 5*k - 14. Let f = 0 - -2. Solve 0 = k*n - 0*n - f for n.
1
Let a(t) = t**3 - 9*t**2 + 6. Suppose -4*q + 32 = -4. Let u be a(q). Let i(x) = x**3 - 6*x**2 + 4. Let w be i(u). Solve -l = w*l + 20 for l.
-4
Suppose -2*v = 6, -2*r - r - 3*v = 6. Solve -4*m + r = -3*m for m.
1
Let k be (-10 + 12)/(0 + 1). Let s(t) be the third derivative of t**4/24 - t**3/3 - t**2. Let q be s(k). Solve -5*y + 8 - 3 = q for y.
1
Let a = -4 - -1. Let d = -1 - a. Let m be 1 + d/2*1. Solve 0*u = -m*u + 2 for u.
1
Let m be 552/90 + (-6)/45. Solve 0 = -3*g + m - 3 for g.
1
Let i be (0 - -3*2)/3. Let v be 3 + 3*(i + -3). Solve 2*k + 10 + v = 0 for k.
-5
Suppose h = -1 + 4. Solve h*q = q - 4 for q.
-2
Let g = 1 + -1. Suppose 2*p + 2*q - 12 = -g*p, -2*p - 16 = -5*q. Solve -1 = -z + p*z for z.
-1
Suppose 2*r - 13 = 3. Suppose -3*m + r = -2*m. Let o(v) = -2*v + 2. Let l be o(-2). Solve 0 = 2*c - l*c - m for c.
-2
Suppose 4*o = 7*o + 27. Let m = -4 - o. Solve m*h = h for h.
0
Let y(h) = -h - 10. Let b be y(-13). Solve 1 = -b*r - 2 for r.
-1
Suppose -4*z + 132 = 3*i, -2*z + 5*z + 57 = i. Suppose 2*m + i = 4*x, -15 - 31 = -3*x + 4*m. Solve p + x = 6*p for p.
2
Let v(b) = 3 - 6*b + 0*b**3 - 11*b**2 + 5*b - b**3. Let h be v(-11). Solve h = -3*z + 5 for z.
-3
Let z(w) = -5*w + 9. Let g(b) = 2*b - 3. Let y(c) = -8*g(c) - 3*z(c). Let j be y(-6). Solve -d + 10 = -j*d for d.
-5
Let v be 15/(-25) - 26/(-10). Solve v + 0 = 2*m for m.
1
Let g be 2/9 - (-32)/18. Let z = -1 + g. Let k be -2*5*z/(-2). Solve -2*s = -k*s for s.
0
Let a(d) = -3*d - 7. Let x be (3 - 2)/(1/(-5)). Let v be a(x). Solve -2*o = 2*o - v for o.
2
Let v be 7/3 - 2/(-3). Solve 0 = v*z - 6*z + 3 for z.
1
Suppose -6 = -0*o - 3*o. Suppose o*j = j. Solve -1 = -u - j for u.
1
Suppose 2*w = 4*h - 4, 4*w - h - 4 = 9. Suppose -19 = -3*n - 4. Suppose 2*k = -a - 1, -a = n*k + a + 2. Solve v = -k*v + w for v.
4
Let v be (-2)/8 + 1/4. Suppose v = -5*b + 112 - 12. Suppose 0*t = 5*t - b. Solve t*d + 4 = 3*d for d.
-4
Suppose p - 69 = -4*p + y, 2*y = -8. Suppose -2*c + 8 = 0, -4*n + 15 = 3*c - p. Solve -n*r + 3 - 7 = 0 for r.
-1
Let a(y) = -2*y + 2. Let r be a(5). Let w(u) = u**2 + 7*u - 1. Let l be w(r). Solve 2*x = -l + 1 for x.
-3
Suppose -25 = r - 2*r. Suppose 2*v + 4*c = -2, 0*v + 5*c + r = 2*v. Solve -v*h - 3 = -8 for h.
1
Let f(m) = -5*m + 12. Let a be f(7). Let g = -20 - a. Solve -g*s - s - 8 = 0 for s.
-2
Suppose -2*b + 0*b = -6. Suppose -22 = -3*p - 5*n + n, 2*p - 4*n = -12. Let h be (2 - p)/(-3 - -5). Solve -b*q + h*q = 9 for q.
-3
Let y(h) = -2*h - 10. Suppose -5*m - 4*u = 60, -2*m = -5*m - 2*u - 34. Let s be y(m). Let b be (-4)/(-14) + s/(-21). Solve -5*j + 3*j = b for j.
0
Let v(a) = 8*a + 1. Let q be v(1). Solve -q = -2*l + 5*l for l.
-3
Suppose -11*c + 0 = -0. Let t(r) = -r - 1. Let p be t(-2). Let z(l) = 4*l - 1. Let w be z(p). Solve -w*k + 3 + 3 = c for k.
2
Let d be (-6)/(-8)*(-40)/(-15). Solve 0 = -d*w + 7*w + 5 for w.
-1
Let a = -37 + 40. Solve 1 = a*t + 7 for t.
-2
Let k(f) = 5*f**2 - 3*f**2 - f**2 + 15 + 9*f + 2*f. Let z be k(-11). Solve -6*b + 3*b - z = 0 for b.
-5
Suppose 0*r + r - 96 = 0. Suppose -r = -4*t + j, t - 19 = 3*j + 16. Solve 0 = -5*q - t + 8 for q.
-3
Suppose j + 10*g - 5*g = -24, 0 = 5*j + 5*g + 20. Suppose 0 = t - 7 - 2. Solve 5*h - t - j = 0 for h.
2
Suppose 2*q = 7 - 1. Suppose 2 + 4 = 3*a. Suppose 2*l + a*o + 3 - 1 = 0, -3*l + 3*o + 3 = 0. Solve l*x = q*x for x.
0
Suppose -27 = n - 31. Solve 0 = c - n*c - 12 for c.
-4
Let j = -2 - -2. Suppose j = 3*r + 2*r. Suppose 5*l = -5*h - 5, 0*l - 3*h - 13 = -2*l. Solve v + l = -r*v for v.
-2
Suppose 3*c + 2*i - 9 = -0*i, 5*c = -3*i + 16. Let w = 0 + c. Solve w*r - r = 4 for r.
1
Suppose 2*a + 0*a = -42. Let r = -15 - a. Solve -g - r = 2*g for g.
-2
Let j be (0 - -4)/((-9)/(-36)). Solve j = 4*i - 4 for i.
5
Let f(z) = 6*z**2 - 2*z + 1. Let i be f(1). Suppose 4 = 3*b - k, -k = i - 1. Suppose -9 = -3*g - d, -2*d = 2*g - b*g - 2. Solve g*a + 3 = 3*a for a.
-3
Let a be ((-2)/(-6))/(-1)*-6. Suppose -2*t + 12 = 2*q, q - 18 = -3*q + a*t. Solve -15 = -5*r - q for r.
2
Let x(r) = -r**2 - 11*r + 8. Let z be x(-7). Suppose -19 = -5*u + z. Let v be 6/18 + u/3. Solve -16 = -0*t - v*t for t.
4
Suppose 3*g + 7 = 43. Solve g = -0*n - 3*n for n.
-4
Let q(c) be the third derivative of c**4/12 - 5*c**3/6 + 2*c**2. Let l be (6*-1)/((-2)/2). Let i be q(l). Solve 4*o + i = -5 for o.
-3
Let h be 5 + 5/(5/7). Solve -y = -5*y - h for y.
-3
Suppose 9*n - 4*n - 2*a = 2, 4*n - 2*a = 0. Suppose -9 = -o - 3*x, n*o + 6 = 4*x - 2*x. Let l be (18/10 + -2)*-5. Solve o = -u - l + 3 for u.
2
Suppose 2*u = 3*j + 4, -2*j + 24 = 5*u - 5. Solve -j*c + 5 = -7*c for c.
-1
Let i be (-5)/(-1)*2 + 1. Suppose 5*k + i = -4, 5*k = u - 31. Let w be u/(-24) + 2/3. Solve -4*r + w*r = -20 for r.
5
Let q(v) = -v**2 + 7*v + 8. Let b be q(7). Let y = 16 - b. Let a = 12 - y. Solve -3*g = -a*g - 2 for g.
-2
Suppose -4*r + 9 = -39. Let k be 16/6 + (-8)/r. Solve -2*o + k = -o for o.
2
Let a be (-6 + 7)*(-1 - -2). Solve -t = -a + 2 for t.
-1
Let h(i) = i**2 - i + 5. Let t be h(0). Let d = 12 + -2. Suppose -a = -5*a + 12. Solve -t*b = -a*b - d for b.
5
Let v(x) = -x**3 - x**2 + x + 5. Let g be v(0). Solve g*w = 13 - 3 for w.
2
Let a = 13 - 7. Solve -y + a = y for y.
3
Let z = 10 - 9. Let r(l) = l + 8. Let t be r(0). Suppose t*f = 3*f. Solve -x + 2*x - z = f for x.
1
Let n be 8/(-3)*(-6)/4. Suppose 5 = n*g - 7. Solve -2*q = g*q + 10 for q.
-2
Let z = 25 - 20. Solve -3*s - z = -2*s for s.
-5
Let t = 38 + -34. Solve 4*i + 0 - t = 0 for i.
1
Let u(y) = y - 1. Let h be u(1). Let t be (0 - 15)/((-3)/4). Suppose 4*c + 4*b - t = h, c = 2*b - b + 5. Solve -c*s = -3*s + 8 for s.
-4
Let q = -22 - -25. Suppos