-w = 3*z - 17 for z.
5
Suppose 10*d - 7*d = 12. Suppose -15 = -5*z + 3*l, z + z + 4*l = -20. Solve -2*c = -z + d for c.
-2
Suppose 3*j = -2*j. Solve -8 = -2*s - j for s.
4
Let o be (-57)/(-12) - (-4 - (-60)/16). Suppose s = -s + 3*m + 16, 5*s + 3*m - 19 = 0. Suppose -r - 12 = -s*r. Solve o*q = -7 - r for q.
-2
Let r = -105 - -108. Solve r*u = 2*u for u.
0
Let b = 37 + -30. Solve 0 = -5*t - b - 13 for t.
-4
Let y(p) be the first derivative of -p**2/2 + 2*p + 1. Let i be y(0). Suppose -d + i*d = 2. Solve -d*v = -v for v.
0
Let h be ((-1)/2)/((-4)/(-56)). Let p(i) = i**3 + 7*i**2 - i - 3. Let a be p(h). Suppose a*j - 81 = -f, 2*f - 18 = -3*j + 44. Solve 3*d + 2*d + j = 0 for d.
-4
Suppose -3*q = q - 12. Suppose 0 = b - q - 5. Suppose -11 - 34 = -3*t. Solve b*r - t = 3*r for r.
3
Suppose 0 = d - 2 - 3. Let w = 14 - d. Solve 2*g = -1 - w for g.
-5
Suppose 6*g = 2*g + 4*q - 4, 2*q - 2 = -5*g. Let o be g/(-2 - 2/(-2)). Suppose 2*n + o = 12. Solve -4*u - 22 = -n for u.
-4
Let z be -10*(-3)/12*2. Let t be 39/9 + (-1)/3. Solve -z*d + d - t = 0 for d.
-1
Let f = -8 - -10. Let u(h) = -2*h**2 + 4*h - 2. Let i be u(f). Let a be 12/(-6) - 2*i. Solve 3*v = a*v for v.
0
Suppose -c = 2*c - 18. Let j be 44/(-10) - c/(-15). Let s = -2 - j. Solve -9 = -s*i - i for i.
3
Suppose 4*n + m = -45, 2*n - 3*n + 5*m - 6 = 0. Let z be 0 - (2 + -3 + n). Solve -4*q = -7*q + z for q.
4
Suppose -9 = 4*z + 3*h, 9*h + 9 = -3*z + 6*h. Solve -2*c + 5*c = z for c.
0
Let s = 7 - 5. Let t(z) = -s - 3*z**2 - 6*z - 3 + 2*z**2. Let a be t(-4). Solve 0 = -a*j + 6*j + 3 for j.
-1
Let h(i) = 3*i + 5. Let s be h(0). Solve -4 + 14 = s*q for q.
2
Let f be 1/(-6) + (-87)/18. Let s be (1 - 4)*(-14)/(-6). Let l = f - s. Solve l*r + r - 9 = 0 for r.
3
Let q = 18 + -15. Solve -4*n = -q*n - 1 for n.
1
Let n be 6 - -6*4/(-8). Let u = 0 - -2. Let v be 0/((-3)/(-1) - u). Solve n*a + 9 = -v for a.
-3
Let f(s) = s. Let b be f(6). Let g be 1/(((-6)/2)/9). Let j = b + g. Solve -j*t = t for t.
0
Let b(s) = s**2 + 3*s + 3. Let w be b(-2). Let i = 11 + w. Let f = 0 + 2. Solve f*y = -y + i for y.
4
Let v = 1 + -1. Suppose 16 = -v*x + 4*x. Solve 0 = 2*g - g + x for g.
-4
Let g be 2/(-3)*12/8. Let w be 29 - g/(-3 + 2). Suppose 3*k = -5*d + 42, 0 = -2*d + 2*k - 6*k + w. Solve -4*o + 6 = -d*o for o.
-3
Suppose p = -2*j - 5, 5 = -2*p - 5*j - 10. Let n = p - -1. Solve z = 4*z + n for z.
-2
Suppose 0 = 5*u - 25, 2*p + 5*u + 10 = 43. Solve -3 - 1 = -p*v for v.
1
Let w = -62 - -38. Let b(p) = -4*p - 14. Let m be b(-4). Let d be (-21)/m*w/14. Solve -3*n = d - 3 for n.
-5
Suppose 0 = -5*h + 4*h + 5. Solve -3*l + 1 + h = 0 for l.
2
Let u = 9 + -6. Solve -i + u = -0 for i.
3
Let y = 28 + -16. Let t be (y/(-15))/(12/(-30)). Solve -3 = -3*m + t*m for m.
3
Let k(c) = c**2 - 10*c - 9. Suppose -3*s = 5*g - 70, 9 = 4*g - s - 30. Let r be k(g). Solve r*a + 6 = 4*a for a.
3
Suppose 0 = -l - 3*l. Suppose w - 6*w + 10 = 0. Solve w*h = -l*h for h.
0
Let m = 16 + -14. Solve -4 = m*j + 6 for j.
-5
Let o(s) = s + 1. Suppose 0 = -4*l + 5*z - 9, 2*l - 21 = 4*l + 3*z. Let t be o(l). Let h be ((-6)/t)/((-6)/(-20)). Solve h*g + g = 0 for g.
0
Let m be 2 - (-3 + 21/6)*-8. Solve 4*k + 18 - m = 0 for k.
-3
Let x(o) = o**2 + 3*o + 2. Suppose -6*j - 10 = -j. Let d be x(j). Solve 5 + d = 5*b for b.
1
Suppose -c - 71 = -5*s, s - 15 = c - 0. Solve 0 = 4*h + s - 2 for h.
-3
Suppose k + 3*b + 15 = -2*b, 2*b = -8. Let x = k - 3. Solve x*o - o = 1 for o.
1
Suppose 5*g = -5*g. Solve g = h + 1 for h.
-1
Suppose 6*m - m - 25 = 0. Solve -m = t - 0 for t.
-5
Suppose -3*m - 6 = 3*v, 0 = -2*v - m + 3*m + 4. Suppose -2*t = r + 9, r = -v*r + t. Let i = r + 5. Solve -20 = 6*f - i*f for f.
-5
Let x(r) = 2*r + 3. Let t be x(0). Solve -q - 2 = -t for q.
1
Let s be 1*-1*-1*10. Let n = -5 - -35. Solve -s = 4*b - n for b.
5
Let c(h) = -1. Let l(u) = u**2 + u + 13. Let v(a) = -3*c(a) + l(a). Let s be v(0). Solve q + 3*q + s = 0 for q.
-4
Let g(z) = -14*z - 3. Let m be g(-2). Suppose 2*j = -l + m - 10, -5*j = -5*l + 15. Solve 2*d + 3 = -l for d.
-5
Let u = 57 + -84. Let b be (-2 - u/3) + -3. Solve y = -b*y for y.
0
Let t = 16 + -12. Suppose -t*v - 17 = -5*v. Solve v + 3 = -5*m for m.
-4
Let i(u) be the first derivative of -u**2/2 + 5*u - 2. Let s be i(0). Suppose -s*z + 3 = -17. Solve g - 15 = -z*g for g.
3
Let w be 2/(-6) - 3/(-9). Suppose w = -4*u + 6*u - 24. Solve 5*r - r = u for r.
3
Suppose -3*l + 3*u - 15 = 0, 3*u - 12 - 3 = 2*l. Solve l = 4*c + 7 - 3 for c.
-1
Let m be 3 + (-1 - 1)/2. Let h(s) = -s. Let g(o) = -3*o. Let r(q) = -2*g(q) + 10*h(q). Let b be r(-1). Solve -b = -m*v + 2 for v.
3
Let r = 9 + -2. Let o = r + -2. Suppose -3*d = 2*w - 1, 3*d = -4*w + o*w + 13. Solve -d*z + 0*z = 0 for z.
0
Let z be 5/(-30) - (-19)/6. Suppose v = -u + 3, 6*v + z = v + u. Solve v + 2 = -l for l.
-2
Suppose -5 - 6 = -2*v - f, 12 = -v + 3*f. Solve 1 = 2*l - v for l.
2
Let a = 3 - 2. Suppose -j = -4 + a. Suppose -5*q + 14 = g - j*g, 4*g - 8 = q. Solve 5*p + q = -6 for p.
-2
Let o(b) = 2*b + 43. Let f be o(-19). Solve -g = -0*g + f for g.
-5
Let t be (-7)/(-2) - (6 - (-91)/(-14)). Solve 4*j - t = -0 for j.
1
Suppose -3*t = -0*t - 27. Let f be (1 - (2 + -1))/2. Solve 4*h - t - 11 = f for h.
5
Let j = -16 - -18. Suppose 0*h - 18 = -j*h. Solve 2*z - 5*z = h for z.
-3
Let d(p) = -p**2 - 18*p. Let n be d(-18). Solve n = 4*x + 8 for x.
-2
Suppose 6*z - 24 = 3*z - 3*o, -z + 16 = 3*o. Solve -z*u + 5 - 1 = 0 for u.
1
Suppose -2*x + 4*s = -24, -3*x + 92 = 2*x - 2*s. Let r be (-8)/(-3) + 7/21. Let w = r + 1. Solve 0*p + x = w*p for p.
5
Let l be (3/(-6))/(5/(-40)). Solve -2*p - 10 = -l*p for p.
5
Suppose 0 = 4*y + l - 14, 0 = y - 3*l - l + 5. Suppose -y + 23 = 5*j. Solve -j*h - h = 5 for h.
-1
Let y(z) be the third derivative of -z**5/60 - z**4/6 - z**3/2 + 2*z**2. Let b be y(-3). Solve 5 = -b*w - w for w.
-5
Let i = 105 + -102. Solve i*a = -a + 16 for a.
4
Let o(h) = h**2 - 9*h - 7. Let s be o(10). Solve -9 = -2*p - s for p.
3
Suppose 3*l - 2*l = -c + 7, -4*l = -20. Suppose 4*o + 20 = c*o. Let t be o/25 + 34/10. Solve 2*u - t = u for u.
3
Let k(q) = -q**2 + 7*q - 4. Let p be k(6). Suppose 0 = 5*r - 25 + 5. Solve -r = -i - p for i.
2
Suppose -4*o = -r + 12, o = 4*r + 2 - 20. Let d = o + 6. Solve d = -0*q - q for q.
-4
Let d be 10/5*(1 - -1). Solve -p + 1 = -d for p.
5
Let h(d) = -d - 2. Let l be h(-6). Suppose l*f = f. Solve f = -2*p + 6*p for p.
0
Let n(y) = 2*y - 5. Let s be n(10). Solve s + 5 = 5*b for b.
4
Suppose 0 = 4*b - 22 + 6. Suppose -b*i = i. Let q = i + 1. Solve 0*a = -a - q for a.
-1
Suppose 8 = -v - 0*v + 5*z, z = 2. Solve v*x = x for x.
0
Let y(b) = -b**3 + 4*b**2 + 5*b + 5. Let x be y(5). Suppose 0 = x*i + 2*j, 4*j + 16 = 4*i - 6*i. Let f(m) = 2*m + 1. Let v be f(i). Solve -v*z + 4 = 14 for z.
-2
Let i = -16 + 23. Solve 0 = 5*z - 3 - i for z.
2
Suppose -3*d - 4 = 20. Let c = 11 + d. Solve 4 = c*o + o for o.
1
Let f be 10/(-15) - 454/(-6). Let q be 5*(-5)/(f/(-12)). Suppose -3 = -3*o, q*b + 0*o = -o + 25. Solve 3*w + b = w for w.
-3
Suppose -2 = 2*t - 6. Solve 0 = t*f - 0*f - 2 for f.
1
Suppose -5*d + 45 = -5*l, -3*d + 5*l + 11 + 18 = 0. Suppose -3*j = n - 77, -n - 3 + d = 0. Suppose 5*h + 4 = j. Solve 0 = -5*a - 11 - h for a.
-3
Let h(j) = j**2 + j - 2. Let x be h(3). Let o = x - 6. Solve 0 = -4*f + 3*f + o for f.
4
Suppose -5*g + 9 = -11. Suppose -2*h = -h - g. Solve 0*j = h*j + 20 for j.
-5
Suppose 3*n - 41 = 19. Let q be ((-24)/15)/((-8)/n). Solve -q*d + d = -12 for d.
4
Let f = 0 + 0. Suppose 3*z = 12, -5*v + 3*z - z + 7 = f. Solve 5 = -v*y + 4*y for y.
5
Suppose -5*b = -4*v - 12, 0 = 4*b - 0*b - 3*v - 10. Suppose 3*q = -3*a + b + 14, 4*q + a = 18. Solve -q = -t - 0*t for t.
4
Let x(n) = n**2 - 5*n. Let a be x(7). Let o be -1 - (8/(-4))/2. Solve o = -5*k - a - 11 for k.
-5
Suppose 3*n - 18 = -0*n. Solve 3*f + n + 9 = 0 for f.
-5
Let q(d) = d**3 + 18*d**2 + 7*d + 10. Let b(f) = 2*f**3 + 35*f**2 + 15*f + 20. Let t(v) = -6*b(v) + 11*q(v). Let h be t(-11). Solve p + h = 4*p for p.
4
Let l be ((-40)/25)/(4/(-10)). Solve -3*t + l + 5 = 0 for t.
3
Let o be 0*((-15)/(-9))/5. Suppose 5*n + 3*d + 6 = o, -4*n + 1 = 2*d + 5. Solve 4*c + 3 + 13 = n for c.
-4
Let n = -8 - -6. Let c be 3 + (8/n - -3). Solve -c*l = -6*l - 8 for l.
-2
Suppose -4*s - 7 = -3*s. Let t(c) = -c - 6. Let 