-1) + 3. Suppose -z + l*z = 10. Solve -z*r + 0*r = 8 for r.
-4
Suppose 0 = -4*h + 158 - 2. Let t = h - 16. Solve -t = -5*w - 8 for w.
3
Suppose 4*l + 117 - 47 = 5*n, -4*n - 2*l = -82. Let f = -28 + n. Let j be (-4)/f - 10/25. Solve j*w - 3 = w for w.
-3
Let t be (-5)/(-15)*3*8. Solve -t = -3*i + 1 for i.
3
Suppose 0 = 3*b - 15 + 3. Solve 3*g - 13 = -b for g.
3
Suppose -b = -1 - 0. Solve -4 = -5*z + b for z.
1
Suppose 9*l = -3*l + 144. Solve 0 = -9*v + 3*v + l for v.
2
Let m = -3 - -5. Let g be (3/m)/((-6)/(-8)). Solve -4 = -g*k + 3*k for k.
-4
Let m = 6 - 3. Suppose 6 - m = g. Solve -g*l - l - 12 = 0 for l.
-3
Let z be (24/(-9) - -2)*-9. Let f(w) = -w. Let i(a) = -7*a + 9. Let p(h) = 5*f(h) - i(h). Let v be p(z). Solve 0 = -d - v*d - 12 for d.
-3
Let o = -53 + 57. Solve 0 = 2*x - o*x - 4 for x.
-2
Let i = -56 - -38. Let c be 8/(-36) - 148/i. Solve -5*s - c = -3*s for s.
-4
Let y(v) = -v**2 - 2*v**2 + 8*v**2. Let d be y(-1). Solve 0*c + c = d for c.
5
Let c(f) = -f**2 - 4*f + 4. Let j be c(-4). Solve -j*h - 1 = -5*h for h.
1
Let c be (-40)/(-25) + 5/((-50)/(-4)). Solve c*o - 5 = -1 for o.
2
Suppose 5*a - 2*i = 27, -2*a + 5*a = 4*i + 19. Solve -13*w = -12*w - a for w.
5
Let q = 9 - 5. Solve q*p - 14 = 2 for p.
4
Suppose -6*w + 11*w - 10 = 0. Solve -3*i - w = -i for i.
-1
Suppose -2*q = 3*q - 10. Let n be (2/q - 2) + 6. Solve n*f = f + 8 for f.
2
Let k(s) = -1 - 2*s**2 + 5*s + 4*s - 6*s + 3*s**2. Let m be k(-4). Suppose -o - 4 + 5 = 0. Solve 0 = m*w + o + 2 for w.
-1
Suppose 2*l = -2*l - 24. Let k be 9/(-3) - (l + 1). Solve 4*b = k*b for b.
0
Let d be ((-2)/(-2) + 3/(-3))/1. Solve x = -d - 1 for x.
-1
Let k = 4 - -14. Let s be k/15*10/6. Solve 0 = -s*v + 10 - 2 for v.
4
Let i = 3 - 3. Let h be (i - (1 - -1)) + 2. Solve h*v + v = 1 for v.
1
Let w = 27 + -12. Solve 2*r - w = 5*r for r.
-5
Let w(s) = 4*s - 1. Let b be w(1). Let k(l) = -4*l - 4 + 7*l + 0*l. Let r be k(b). Solve r*g - 1 = 4 for g.
1
Let k = 22 + -22. Suppose 4*i + k*i = 0. Solve i = -4*d + 7 - 27 for d.
-5
Let r(v) = v**2 - v + 3. Let f be r(3). Let w(o) = -o + 6. Let a be w(f). Let t be 2 + (a - -6) + -2. Solve t*i - 20 = -i for i.
5
Let u = -9 - -12. Suppose 13 = z + u*a + 1, 4*z = 4*a + 48. Solve 3*i - 6*i + z = 0 for i.
4
Suppose 8*a = 11*a - 6. Suppose -5*c = -a*c - 12. Suppose 2*t - 11 = t. Solve -c - t = 3*w for w.
-5
Let m be 4/(-3)*252/(-24). Let s = -11 + m. Solve 6 + 6 = -s*n for n.
-4
Let n(o) = -o**3 + 7*o**2 - 5*o + 4. Let v be n(6). Let u(k) = k**2 - k - 3. Let q be u(4). Let t = -5 + q. Solve 0 = x + t*x + v for x.
-2
Let t(r) = r + 7. Let m be t(-5). Suppose 0 = -2*c + 8, 4*c - 1 = -m*y + 23. Suppose 4*j - 2*q - 12 = 0, y*j + 1 = -2*q + 21. Solve -12 + 4 = j*k for k.
-2
Let m(o) = -o**2 - 6*o - 4. Let n be m(-3). Suppose -5 = -5*y + n*q, 1 = -0*q - q. Solve y*z = 5*z - 5 for z.
1
Let x(t) = -3*t - 5. Let b be x(-7). Suppose -2*m - 15 = -3*p + 2*m, 4*p = 4*m + b. Solve 0 = q + p + 1 for q.
-2
Suppose -3*y + 9 = -6. Suppose -2*m + 20 = y*a - 6, 5*m - 4*a = -1. Solve -m*z + 25 = 2*z for z.
5
Suppose 3*g - 4 = g. Suppose 3*u - 12 = 0, -7*f + 3*f + 88 = g*u. Suppose h = -4*h + f. Solve 0 = h*d + 2 + 18 for d.
-5
Suppose -l - 66 - 3 = -4*s, -2*s + 4*l + 24 = 0. Let w = -11 + s. Solve -6 = -w*z + 4*z for z.
2
Suppose 11 = 3*b - 10. Let n be 7/(-2)*(-4)/b. Solve 0 = -n*f + 5*f for f.
0
Suppose 0 = w - j - 2 - 20, j + 5 = 0. Solve 3 = -5*x - w for x.
-4
Suppose 10 + 17 = 3*m. Let h be m/18 + 18/4. Suppose 25 = h*s, 30 = 5*u - 3*s + 6*s. Solve 4*y - 5 = u for y.
2
Let s = 12 + -10. Solve s*a - 8 = -2 for a.
3
Let j(u) = u + 5. Let k be j(-5). Suppose -2*l - l + 60 = 0. Let d be (9/(-5))/((-4)/l). Solve k = 2*o + o - d for o.
3
Suppose 7*b = 4*i + 3*b - 8, 4 = -2*i - 2*b. Suppose 13*z - 10*z = 9. Let l be z - (-4 + 3 + i). Solve -c = -2*c + l for c.
4
Suppose 2*y - 6*y + 16 = 0. Let n be ((-2)/4)/(y/(-8)). Solve n + 7 = 4*x for x.
2
Suppose -n + 2 = x - 0, 0 = 2*x + 4. Solve r - 6 = n*r for r.
-2
Suppose 4 = m + 1. Let n be 0/2 + (5 - 3). Solve m*d = -n*d - 15 for d.
-3
Suppose 5*s - 44 = -3*x + 42, -5*s - x + 82 = 0. Let l = 18 - s. Solve l*n + 5 = -5 for n.
-5
Suppose -3*h + 10 = 1. Suppose -3*g + h = -3. Suppose 5*a - 15 = 0, 0 = -4*x + x + g*a - 6. Solve 5 = -x*k - k for k.
-5
Let s be (-6)/9 + (-34)/(-6) - 0. Solve 1 - s = 4*d for d.
-1
Let b be ((-25)/(-10))/((-2)/(-4)). Let h(m) = -m**3 + 5*m**2 + m + 5. Let i be h(b). Suppose d = -4*d + i. Solve -d*a = -3 + 1 for a.
1
Let t = 10 + -6. Suppose -t*l + 22 = 6. Suppose 50 = 3*x - 1. Solve -1 + x = l*h for h.
4
Suppose 3*m + 0*m = 30. Suppose -a - 4*a = -m. Solve t = a*t - 1 for t.
1
Let d = -10 - -3. Let w = d + 12. Let j(l) = -l**2 + 2*l + 4. Let c be j(3). Solve -c = -w*p + 4*p for p.
1
Let c = -10 - -5. Let v = c + 12. Solve 3*m - 5 - v = 0 for m.
4
Suppose c - 33 = -31. Solve 1 = -x + c for x.
1
Suppose 12 = -n - 3*h, -5*n + h + 35 = -3*h. Solve -8 = -5*c + n*c for c.
4
Let z(o) = o**2 - 3*o + 7. Let q be z(0). Solve 0 = 4*h + q + 9 for h.
-4
Suppose -5*z + 30 = 5*y, -4*z + 6*z - 8 = -y. Solve -2*f = -y*f - 6 for f.
-3
Let d = -18 + 18. Solve 5*y = -d*y - 20 for y.
-4
Let q be (12/(-5))/(-3)*5. Let u = 3 - q. Let t = 3 + u. Solve t*z - 3*z = -3 for z.
3
Suppose 0*k + 2*k = 6. Suppose 0 = 2*n - k*r + 1 - 16, -24 = -3*n + 5*r. Let c be (-40)/(-3) + (-1)/n. Solve -5*g - 2 = c for g.
-3
Suppose 0 = f + 6*y - 3*y + 1, 7 = -2*f - 5*y. Let v be (f/10)/(4/(-10)). Solve -4*w = v - 0 for w.
-1
Let g be (-28)/3*6/(-4). Let y be 4/g - (-2)/(-7). Let i = 23 - 20. Solve y = -c + i*c + 6 for c.
-3
Let p = -2 - -5. Suppose 3*m - 4 = -2*n - m, -3*m + 6 = p*n. Solve -5*t - 3 = -n*t for t.
-1
Suppose -5*t - 4*o = -16, 2*t - 5*o - 3 = 10. Solve q + t*q = 10 for q.
2
Let u be (-65)/(-55) + (-4)/22. Solve -h - u = -6 for h.
5
Suppose 2*t - t = 21. Suppose 0 = 2*f - 13 - 15. Let r = f - 9. Solve r*k - t = 4 for k.
5
Let s = -51 - -53. Solve 4*n + 8 = s*n for n.
-4
Suppose 0 = -0*v - 4*v - 36. Let u = -28 + 40. Let c = u + v. Solve 0 = -c*i + 3 + 6 for i.
3
Let q(o) = o + 7. Let p(a) = a + 6. Let i(s) = 6*p(s) - 5*q(s). Let x be i(1). Solve -z = 5 - x for z.
-3
Suppose 7*g = 10*g - 9. Let i = g + 5. Let c(p) = -p**3 + 5*p**2 + 2*p - 6. Let s be c(5). Solve j - s = -i for j.
-4
Let v(f) = f**2 + 4*f - 1. Suppose 0 = -2*i - i. Suppose i = 4*t - 6 + 34. Let k be v(t). Solve -2*o = 2*o + k for o.
-5
Suppose 0 = -2*t - 2*j, 7*t = 4*t - 2*j + 2. Solve -t*f + 5 = -f for f.
5
Let i be (-6)/(-4)*80/30. Suppose 5*o = -3*p + 3, 4*o + 0*p + 2*p - i = 0. Solve y + 0*y + o = 0 for y.
-3
Let g be 5/((-4)/16*-4). Solve 2*i - g = i for i.
5
Suppose 4*v - 5*g = 25, v - 4*g - 6 = 3. Let a(s) = s + 3. Let f be a(-4). Let w be 1/f + 22 - 1. Solve r - w = v*r for r.
-5
Let b be (-22)/(-4) + 1/(-2). Solve -4*t = b + 11 for t.
-4
Let k(j) = 2*j**3 - j - 1. Let q be k(-1). Let i be (q - 3/(-6))*2. Let h be 7 - -2*i/3. Solve -h*y + 1 = -4 for y.
1
Let f(r) be the second derivative of r**4/6 + 2*r**3/3 + 3*r. Let g be f(-3). Suppose 0*u + 10 = 5*u. Solve -4*c + g = -u for c.
2
Suppose 0*x = x + x. Solve x = -n + 2*n for n.
0
Let o be (-1 - 1) + 3 - -2. Let p(t) = -t**2 + 6*t - 7. Let n be p(o). Let v = 1 + -1. Solve -n*a - a = v for a.
0
Let o(z) be the third derivative of z**5/60 - z**4/12 + z**3/2 + 6*z**2. Let q be o(3). Solve 4*n - 6 = q for n.
3
Suppose 4*c + m = -0*c - 12, -5*m = -5*c - 40. Let f = 4 + c. Let u be f*(-2 - -1 - -2). Solve u*n - n + 4 = 0 for n.
4
Let x(l) = -4*l**2 - l + 5. Let v(i) = -7*i**2 - 2*i + 9. Let f(d) = 3*v(d) - 5*x(d). Let g be f(-2). Solve 3 = 3*t - g for t.
1
Suppose t - 5 = 2*t. Let v be (-99)/t + 2/10. Solve 2*g = -2*g + v for g.
5
Suppose -5*b + 2*b + 9 = 0. Suppose -b*m = 26 - 107. Let r = m + -8. Solve -3*c - r = -7 for c.
-4
Suppose c - 4*z = 8, 4*c + z + 9 = 6*c. Let y be 46/12 + (-4)/(-24). Solve -y*w + 12 = -c for w.
4
Let d(r) = 11*r**2 - r + 5. Let f(o) = -10*o**2 + o - 4. Let j(u) = -4*d(u) - 5*f(u). Let p be j(1). Solve p*w = -0*w for w.
0
Suppose -4*t + 3 + 9 = 0. Let z be (10/t + -3)*12. Solve -z*u = -0*u + 16 for u.
-4
Let a be (5/(-1))/((-10)/30). Suppose -r - 3 + 4 = 2*d, -4*d = -r - 5. Let y = 5 + r. Solve -y*z - a = 1 for z.
-4
Suppose 0 = -4*w + 8 + 8. Solve 4*a + 0 = -w for a.
-1
Let u(f) = 3*f**3 + 4*f - 2. 