2 for z.
-4
Let b = 6 - 16. Let r(f) = -f + 10. Let g be r(b). Suppose 5*z - g = k, 5*z + k - 22 = -2. Solve z*p = 2*p for p.
0
Let b be ((-3)/2)/(2/(-8)). Let y be (-4)/(-5) - (462/35)/(-6). Solve 3*m + y = b*m for m.
1
Let c = 37 - 34. Suppose 0*u = c*u + 4*i - 21, -u + 7 = -3*i. Solve -9 - u = 4*l for l.
-4
Let k be (-8)/3*(-1617)/(-44). Let p = k - -114. Solve -5*z + 9*z - p = 0 for z.
4
Let r be (28/(-16))/(16/(-448)). Solve -53 = -4*t - r for t.
1
Suppose -4*v - z - 525 = 0, 0 = -v - 3*z - 52 - 93. Let n = 132 + v. Solve 0*g - 10 = n*g for g.
-5
Let f be (1 + -1)/(-3 + 7). Let m(n) = -n**2 + n + 5. Let s be m(f). Solve -5*l - s = 5 for l.
-2
Let f = -1058 + 1060. Let o be (2 + 0)*1*2. Let n(x) = x**2 - 4*x + 4. Let c be n(o). Solve -f*a = -a + c for a.
-4
Suppose 6*o = -4*o + 370. Suppose -2*g - 5*d + o = 0, 5*d - 14 = g + 5. Solve -3*n - g = -5*n for n.
3
Let k(r) = -r**2 + 41*r + 137. Let t be k(-3). Solve -51 - t = -14*w for w.
4
Let o = -38 - -40. Suppose o*t + 4*t - 2*t = 0. Solve -4*w + 8 = -t for w.
2
Let i(p) = -p**3 + 4*p**2 + 3. Let u be i(4). Let s(g) = -3*g + 6. Let m be s(-6). Suppose -49*x - m = -52*x. Solve u*q - q = x for q.
4
Let l(u) = 2*u**3 - 10*u**2 - u - 13. Let h be l(6). Let q = h + -48. Solve -5*z + 10 + q = 0 for z.
3
Let r(s) = -6*s - 122. Let f be r(-21). Solve -f*q + 8 = -0*q for q.
2
Let w(r) = 3*r**2 + 11*r + 23. Let u be w(-4). Solve -3*h - u = -12 for h.
-5
Let o(u) = 5*u + 6. Let f(k) = k + 1. Let v(m) = 6*f(m) - o(m). Let q(g) = 3*g. Let l(h) = -6*q(h) + 17*v(h). Let d be l(-6). Solve 9 = 5*c - d for c.
3
Let m = 187 + -162. Suppose -6*w + w = 0. Solve w = l + 4*l + m for l.
-5
Let m = -6 + 10. Suppose 2*j = m*g - 6, 5*j + 3 = -4*g - 12. Solve g*x - x + 2 = 0 for x.
2
Let u(o) = -o + 9. Let c be u(9). Suppose 0*z + 3*z = c. Solve 1 = -q - z for q.
-1
Let y = 10 - 10. Suppose y = 2*d - 2*u - 48, -d - 8*u + 3*u = -42. Suppose -d = -3*t + t - 3*c, 4*t = -3*c + 39. Solve -2*w - 4 = -t*w for w.
1
Suppose -4*g = 3*k - k - 18, 10 = 4*k - 5*g. Let j be 3/(-3) + 3 + k + -3. Solve j*n + 32 = 12 for n.
-5
Let z = 16 + -20. Let b be (z - -6) + (-2)/1. Solve -4*j + 0*j - 20 = b for j.
-5
Let b(q) = -q**3 + 7*q**2 + 2*q - 3. Let y be (-294)/105*10/(-4). Let n be b(y). Solve -n = 5*t + 9 for t.
-4
Suppose -3*y + b = -123, -37 = -5*y + 3*b + 172. Suppose 3*k = k + y. Suppose 5 + 1 = d. Solve 0 = -d*u + u - k for u.
-4
Suppose -4*g - 16 = -3*l, 2*l + 2*l = -3*g + 13. Suppose 67 = l*s + 59. Solve 4*k + s = -6 for k.
-2
Suppose -3*o + 4*n + 104 = 0, -o - 13 + 36 = n. Let t = -24 + o. Solve 0 = -3*j - t - 11 for j.
-5
Let i(g) = 4*g + 6. Let z(r) = 2*r + 3. Suppose -5*t - 6 = -7*t. Let a(x) = t*i(x) - 5*z(x). Let o be a(2). Solve -o*d - 5 = -2*d for d.
-1
Suppose -5*g = 2*r - 37, -2*g - r = -5*r - 34. Solve g*a = 7*a - 10 for a.
-5
Let j(a) = 5*a**2 - 1. Let c be j(1). Let t be ((-100)/(-12) + 2/3)*1. Solve r - c*r = t for r.
-3
Let k(r) = 2*r**3 + 12*r**2 - 14*r + 1. Let j be k(-7). Solve -27*p = -26*p - j for p.
1
Let c(j) = -63*j**2 - 5*j + 5. Let n be c(1). Let i = 72 + n. Solve -3*d - i = -0*d for d.
-3
Let k = 10 - 7. Suppose 3*x + n - 7 = 0, 0 = k*x - 7*x + 4*n + 4. Suppose v - 4*v + 18 = 0. Solve -x*a = -v*a + 4 for a.
1
Let g(k) = -k**3 - 5*k**2 + 17*k + 160. Let z be g(-5). Solve -2*o + z = 13*o for o.
5
Suppose 0 = 7*c + 6 - 27. Solve 71*n + c = 72*n for n.
3
Suppose 2*z - 15 = x - 0*x, -4*z + 5*x + 39 = 0. Let u = 23 + -7. Suppose -7*o = -4*q - 2*o + 17, -o - u = -5*q. Solve -q*v = -6*v + z for v.
2
Let c = 23 + -8. Suppose 2*h - 3*j = -c, 20 = -h + 2*j + 2*j. Solve h = -3*n + n - 10 for n.
-5
Let w(p) be the third derivative of -p**5/60 - 5*p**4/24 + 2*p**3/3 + 5*p**2. Let q be w(-5). Let y = q - 4. Solve 0 = -h - y*h + 4 for h.
4
Suppose -2*s + 41 = 5*q, 6*q - 8 = 4*q - 5*s. Solve 5 = g + q for g.
-4
Suppose 2*i - 3*o = 5*i + 6, 2*i = -o - 1. Suppose 3*x - 13 = -2*h, -h - 5*x = -6*x + i. Solve -h*l - 2*l = 16 for l.
-4
Let i be ((-1)/7)/((-35)/735). Solve 0 = -20*u + i*u - 17 for u.
-1
Suppose 4*t = -t + 60. Suppose 0 = 3*z + z - t. Solve z*g = 2 + 1 for g.
1
Suppose -11*x = -92 - 18. Suppose -5*v + 1 = -4*c + 2, 4*c = 2*v + x. Solve d - 20 = -c*d for d.
4
Let i(g) = -g**2 + 8*g - 3. Let f be i(7). Let u(t) = -t**2 - 2*t + 3. Let b be u(3). Let h be (-101)/(-4) - (-3)/b. Solve -h = -o - f*o for o.
5
Let x(v) = -v + 7. Let c be x(7). Let w be ((-5)/(-5))/(c - -1). Suppose 4*j + 6 = 7*j. Solve h = w - j for h.
-1
Let m be (-9)/(-3) + 5 + -6. Solve 4*p = -14 + m for p.
-3
Let r(h) be the second derivative of -2*h**3/3 - h**2 + 2*h. Let s be r(-1). Solve 0 = s*k - 6 - 2 for k.
4
Suppose a - 188*o = -193*o + 5, 3*a = 3*o + 33. Suppose f = -3*t - 6, 4*f + 4*t + 8 = -f. Solve 5*h = -a - f for h.
-2
Suppose -3*a + 11*g - 6*g = -61, 2*a + 2*g - 30 = 0. Solve a - 28 = 11*b for b.
-1
Suppose 14*c = -6*c - 4*c. Solve c = -2*q - 14 + 6 for q.
-4
Suppose 3*i = -b + 13, 5*i - 5*b - 50 = -b. Suppose -5*m - 3*w + 26 = 0, -m + 4*m - 3*w - i = 0. Solve -5*l - m = 11 for l.
-3
Let j be 1*-4 + (-222)/(-37). Solve -24 = -j*y - 34 for y.
-5
Let h = 36 - 17. Suppose 4*x = 4*t - 9 - h, -t = 2*x - 19. Solve 4*p + 5 = -t for p.
-4
Let i(r) = 2*r**2 - 2*r - 2. Let p be i(2). Solve p*m + 5*m = -3*m for m.
0
Suppose 0*w - 5*w = 5*z - 35, 3*w = 3*z - 9. Let h be (-6 - -3)*(-8)/6. Let v = 1 + h. Solve -4*j - z = -v*j for j.
5
Suppose -15 = -5*q - 0*q. Let i(v) = 3*v + 6. Let w be 1 - (-2 - (-9 + 4)). Let b be i(w). Solve -n - q*n = b for n.
0
Suppose -f + 3 = -4*k, -7*f + 97 = -3*f + k. Solve f*o - 3*o = 0 for o.
0
Suppose -14 - 13 = -9*k. Solve -4*h - k = -h for h.
-1
Let n(d) = d**3 - 5*d**2 + 4*d + 1. Let p be n(4). Let z(h) = 3*h**2 - h. Let s be z(p). Suppose s*o = -0*o. Solve -5*f + 0*f + 25 = o for f.
5
Let d = 50 + -34. Suppose 2*o + d = 20. Let r = -3 - -5. Solve 0 = r*w + o*w for w.
0
Suppose -50*g + 49*g + 11 = 0. Let u = g - 11. Solve u*d - 15 = 3*d for d.
-5
Suppose 3*u = 2*u + 4. Suppose -5*l = u - 24. Let j = 0 + 2. Solve -l*t + j = -2 for t.
1
Suppose x - 2*t + 4 = 0, -2*x - t = -0*x + 13. Let g(v) = v**2 + 2*v - 8. Let k be g(x). Solve -a = -5*a - k for a.
-4
Suppose -40 = -5*r - l + 12, 3*r - 5*l = 20. Suppose 3*i - 3 = 3. Let y be i - 1 - (-10)/r. Solve 0 = -z + y - 3 for z.
-1
Let a be 3/(-2)*(160/15 - 12). Solve -a - 2 = 2*c for c.
-2
Let q = 1932 + -1914. Solve -24*x - 102 - q = 0 for x.
-5
Let n be 44/(-77) - (-36)/14. Solve h = -3 - n for h.
-5
Suppose -x + 3*i = -6, -3*x - 2*i + 0 = 4. Let z be (12/(-2))/(0 - 1). Solve x = -j - j + z for j.
3
Suppose -12 = 9*i - 5*i. Let q = 4 - i. Suppose 15 = q*x - 2*x. Solve 0 = x*d + d + 12 for d.
-3
Suppose -9*p - 3*j + 15 = -6*p, 0 = -5*j - 20. Solve -12*i + p*i = 0 for i.
0
Let h = -11 - -19. Let x = 5 - 4. Suppose -2*u = -2*b - 2, -7 - x = -5*u + 2*b. Solve -h = -2*v - u*v for v.
2
Let h(w) = w**2 - w + 25. Let a be h(0). Let x = a - 15. Let f(r) = -r**2 + 11*r - 10. Let m be f(x). Solve m*c = -c - 5 for c.
-5
Suppose 0 = p - 2*p - 2*r + 2, 0 = 3*p + 4*r - 8. Suppose p*a + 3*l = 47, -5*l - 3 + 44 = 2*a. Let x be 0/(1*(-2 - 0)). Solve -4*n = -x*n + a for n.
-2
Let b(j) = j**2 - 11*j + 12. Let h = -49 + 59. Let a be b(h). Solve 0 = 3*c - 2*c - a for c.
2
Let d(a) = -a**2 + a + 16. Let y be d(0). Suppose -2*r - 6 = 4*s, y = -4*r - 4. Let m = 24 + -20. Solve -m*o = -s - 7 for o.
2
Let i(f) be the first derivative of 2*f**3/3 - f**2 + 8*f + 21. Let j be i(4). Solve -4*c - 12 = -j for c.
5
Suppose 57*u = 319 + 1562. Solve -u*p + 19*p = 14 for p.
-1
Let v be 5899/(-347) - (-1 + -17). Let f be (1 - 1)/(2*-1). Solve f = h - 0*h + v for h.
-1
Let d(p) = p**2 - 3*p + 4. Let u be d(6). Let g = 22 - u. Solve g = -s - 2*s for s.
0
Let l(i) = -19*i + 5. Let p be l(0). Solve -10*q = -p*q - 10 for q.
2
Let k(m) = -m**2 - 7*m - 7. Let h be k(-6). Let p(z) = -2*z**2 + 7*z - 2. Let r be p(3). Let b = r - h. Solve -4*o - b = 2 for o.
-1
Suppose -2*y = p - 15, -9*p = -4*p - 25. Let d = -70 - -77. Let f = d - y. Solve -2*o = f + 2 for o.
-2
Suppose b = -1 + 5. Suppose -d - d - b*q = -42, -q + 30 = 2*d. Let k = d + -1. Solve -k = x - 5*x for x.
3
Let n(l) = l**2 - 13*l - 12. Let t be 2 + 0 - -9 - -3. Let f be n(t). Suppose -f*u = 3*u - 25. Solve u*y + 11 = 36 for y.
5
Let y(d) = 24*d - 7. Let 