 u be d(z). Let x be 6/(-21) + (-74)/(-14). Solve -u = -x*y - 15 for y.
-2
Suppose 0 = 5*t - t - 4. Suppose -2*l - 3*u = -t, -1 = l - 0*u + 2*u. Solve -b + 0 - l = 0 for b.
-5
Let t be 2/9 + 44/(-36). Let y = 6 + t. Suppose 2*k - 20 = -2*k - w, -k = 4*w - y. Solve 5*f - k = -0*f for f.
1
Let x(f) = -f**2 - 9*f - 12. Let a be x(-6). Let c = a + -3. Solve -6*n + 9 = -c*n for n.
3
Let t(v) = v**3 + 8*v**2 + 2*v + 18. Let b be t(-8). Solve -3*k - b*k = -15 for k.
3
Suppose 4*r + 14 = 26. Solve -r*w - 1 = -10 for w.
3
Suppose v = -v + 6. Solve 0 = w - v*w - 10 for w.
-5
Suppose -4*c = -h + 30, -2*h - c + 15 = -0*h. Suppose 0 + 6 = 2*w. Solve -h = l - w*l for l.
5
Let d be (-16)/(-6) + (-2)/(-6). Solve -d*a = -0*a - 6 for a.
2
Suppose 0 - 10 = -p. Solve -2*a + 0*a = p for a.
-5
Suppose 2 + 9 = 3*d + r, 2*d + 6 = -4*r. Solve 0 = d*i - 42 + 17 for i.
5
Let h = 6 - 21. Let v = h - -35. Solve -5*n = -n + v for n.
-5
Suppose 2*o = -o + 15. Solve o*j = 8*j + 3 for j.
-1
Let h be -15*(4 + -5) - 3. Suppose 2*k + 4*c - 12 = -0*k, 2*k - 4*c = h. Solve y = k*y + 20 for y.
-4
Let x = 39 + -22. Solve -x = 3*j - 2 for j.
-5
Suppose 3*f + 39 = 3*j, -17 = -j + 4*f - 2*f. Solve 3*g - j = -0*g for g.
3
Let k = -17 - -25. Let u = k - 5. Suppose -4*x = -f + 3 - 5, x + u*f = 7. Solve -15 - x = 4*r for r.
-4
Let a be 15/(-6)*(-18)/15. Solve -a*u - 2*u + 25 = 0 for u.
5
Let n be ((-2)/(-6))/((-1 + 2)/6). Solve 2*m - 12 = -n*m for m.
3
Let t = 9 + -5. Suppose 5*h - 28 = -p - t, 4*p + 3*h - 28 = 0. Solve -y - p*y + 20 = 0 for y.
4
Let l(m) = -3*m**2 + 6*m + m**3 + 3 - m**2 - 3*m. Let p be l(3). Solve p*r + 0*r = 0 for r.
0
Suppose 0 = m + s + 4 - 2, 0 = m - 4*s - 8. Solve -5*x - 21 + 1 = m for x.
-4
Let f = -66 - -66. Let j be 3*(-3)/(-18)*0. Solve f = -j*z + 5*z + 20 for z.
-4
Suppose 4*m + 2*m = 0. Solve m*z + z = -3 for z.
-3
Let s(q) = -4*q - 2 + 4*q + q. Let z be s(4). Solve 3*i = -z*i for i.
0
Let y = 1 - -1. Let t = 7 - y. Solve r = -0*r - t for r.
-5
Let l(v) = -v**3 + 6*v**2 + v + 7. Let j(f) = f**2 + f + 1. Let q(h) = 3*j(h) - l(h). Let r be q(3). Suppose a = r*a - 2. Solve y + a*y = 0 for y.
0
Let m be (9*1)/((-15)/(-10)). Let f be 2 + 2/m*0. Let r(y) = 5*y**2 + 2*y + 2. Let s be r(-2). Solve 0 = 4*x + f + s for x.
-5
Suppose 6*f - 106 - 14 = 0. Solve -3*c = -7*c + f for c.
5
Suppose 4 = -3*b + 4*j - 3, -4*b = 5*j - 32. Let g be ((4 + 3)/(-21))/(2/(-12)). Suppose 9*w + 5*k = 4*w + 105, -w = -4*k - 16. Solve b*q = -g*q - w for q.
-4
Let s = -6 + 13. Suppose -5*i + s = -8. Solve -6 = -g + i*g for g.
-3
Let u(m) = 5*m**2 - m + 2. Let w be u(-2). Suppose 0*v - 4*v = -w. Solve -2*r + 0*r = v for r.
-3
Suppose 2*h - 3*h + 4 = 0. Solve -2*t = -0 + h for t.
-2
Suppose -2*b + 13 = -5*x, -16 = -2*b - 3*b - 4*x. Let v be 60/(-25) - b/(-10). Let y be v/(-8) + (-35)/(-20). Solve -y*t = 2*t for t.
0
Let t be 25/9 - (-2 - (-48)/27). Solve -2*k + 1 = -t*k for k.
-1
Let z(p) = p**3 + 5*p**2 - 4*p + 4. Let x be z(-6). Let k be (-5)/10*(x - 0). Solve 0*f = -f + k for f.
4
Let x = -52 + 53. Solve -1 = -2*k + x for k.
1
Suppose n + 4*n - 35 = -5*g, -4*n + 3 = -g. Solve -4*k - k = -g for k.
1
Let j be 2 + (-1 - -4)/3. Suppose j*n + 4 = 4*n. Solve -m = n*m - 15 for m.
3
Let l(n) = n**3 - 3*n**2 - 2*n - 2. Let w be l(4). Solve -2 = 4*q + w for q.
-2
Suppose 0 = 5*f - v - 59, -3 = -f - v - v. Let p be f + 2/(-1) + -1. Solve 0 = -t - t + p for t.
4
Suppose 2*p - 111 = -p. Let g be 29 - 7/((-21)/12). Suppose 3*b - g = -5*v, -2*b - 10 = 5*v - p. Solve 2*j = b*j + 20 for j.
-5
Suppose 14*h - 8*h = 0. Solve -4*u + 2*u - 2 = h for u.
-1
Suppose -s = 3*s - 8. Suppose 3*r + 14 = 4*a, -s*a - 6 = 4*r + r. Let b = a + 1. Solve y = -b*y - 12 for y.
-3
Suppose 4*f + 4*m - 28 = 0, -2*f + 4 = -f - 2*m. Solve -b = -f*b + 5 for b.
1
Suppose 5*c = 24 + 251. Suppose -b + 0*b = -c. Let s = b + -29. Solve 6 = -4*z + s for z.
5
Suppose 19 = 4*q + 3. Suppose q = 5*j - 16. Solve -3*i - 1 = -j*i for i.
1
Let s(w) = -w + 16. Let f be s(14). Solve 4*y + f = -10 for y.
-3
Let t = -20 - -20. Solve t = -2*a - 2 + 4 for a.
1
Let n(z) be the first derivative of z**4/4 + 4*z**3/3 + 1. Let s be (12/(-9))/(1/9*3). Let q be n(s). Solve q*t = 2*t - 2 for t.
1
Let h(l) = -l**2 - 7*l - 2. Let v be h(-5). Let t = -6 + v. Let c be (-1)/(-2) + t/(-4). Solve c + 4 = n for n.
4
Let x = 52 + -52. Solve x = 3*m - m + 10 for m.
-5
Suppose -2*a = -3*a - 5*s - 16, -4*a = -5*s - 36. Let y(u) = -4*u - 1. Let t be y(-1). Suppose -4*w - 17 = 2*h - 7, 0 = -t*w - 15. Solve h = a*n + 1 for n.
1
Suppose 52 = 5*s + 7. Solve -s = h + 2*h for h.
-3
Suppose 20 = 6*q - 16. Solve -3*n - q = 6 for n.
-4
Let g be 6/(15/(20/4)). Let f be -1 - (-2 - (-2)/2). Suppose 2*c + c - 5*y - 29 = f, 0 = -g*y - 8. Solve -3 = 2*o + c for o.
-3
Let h = 6 + -4. Suppose 2*o + j = 2*j + 6, -2*j = -h*o + 4. Suppose f + 4*r - 1 = -7, 0 = o*f + 2*r - 4. Solve -5*z - 3 = -f*z for z.
-1
Let v(d) = d**2 - 6*d + 2. Let q be v(5). Let z = q - -7. Solve z*x + 25 = 5 for x.
-5
Let k(c) = 0*c**2 - c**3 - 3*c**2 - 6*c + 3*c - 5*c**2. Let m be k(-8). Solve 9 - m = -3*f for f.
5
Let n = 0 + 1. Suppose -4*p + n = -7. Solve 0 = -4*g + p*g - 4 for g.
-2
Suppose k - 9 = -3. Solve -k = -2*q - q for q.
2
Let u be (3 + (-7)/2)*-38. Let r = -19 + u. Solve r = 2*v + v for v.
0
Let i be 4 - -1*(-2 - -3). Solve 2*v = i*v + 9 for v.
-3
Let t be (11 - 5)*1/(-3). Let d = 4 + t. Suppose -d*g - 4 = -3*g. Solve -7 = -g*u - 19 for u.
-3
Let x be ((-4)/(-5))/(4/30). Suppose -2*m = -0*m + x. Let l = 1 - m. Solve -13 = -l*f - 1 for f.
3
Let t be (16/(-10))/(6/(-75)). Suppose 2*a = -0*a - t. Let p = a - -15. Solve 3 = p*n - 7 for n.
2
Let d(s) = -s + 26. Let l be d(0). Let q = 40 - l. Solve 3*b - 1 - q = 0 for b.
5
Let v = -67 + 70. Solve -v*l + 3 + 6 = 0 for l.
3
Let a(o) = o**3 + 9*o**2 - 9*o + 12. Let n be a(-10). Solve n*q - 10 = -3*q for q.
2
Let r(c) = -4*c + 18. Let w be r(4). Solve 4*a = w*a for a.
0
Suppose 0 = i - 0 - 7. Suppose -4*k + i*k = 24. Suppose t - 4*t = -3*n, -k = -t - n. Solve -t*r - 9 = 3 for r.
-3
Suppose -4*q + q = 5*v - 25, -3*v = 3*q - 15. Suppose -2*m = -m - v. Solve -3*r + m = 17 for r.
-4
Let y(x) = -2*x + 22. Let j be y(7). Suppose -2*n = -0 - j. Solve -h - n = -5 for h.
1
Suppose -m = 2 - 35. Suppose 5*d - 2*n = m, 9 = 2*d - 5*n - 21. Let y be d - (-2)/3*-3. Solve 6*g + 3 = y*g for g.
-1
Suppose 0 = -2*v + 5*v + 3. Let a = -1 - v. Let z = 4 - 2. Solve z = -f - a for f.
-2
Let m(a) = a**2 - a - 4. Let v be m(3). Suppose 0*q + q + 4 = -v*d, 0 = -d + 5*q + 20. Let i = 8 + -3. Solve i = -z - d*z for z.
-5
Let y(i) = i**2 - 8*i + 4. Let g be y(6). Let o = 2 - 5. Let u be g/(o - (-1 + 0)). Solve -u*m + 15 = -m for m.
5
Let n = -6 + 10. Let j = n - 6. Let v = 12 + j. Solve 0 = -i + 6*i + v for i.
-2
Suppose -5*d - 5 = 0, 5*v + 3*d - d = -37. Let o = v + 12. Solve -o*p = -p - 4 for p.
1
Suppose -3*p = -0*p - 12. Suppose -2*k = 2*k - 36. Solve k*s = p*s for s.
0
Let k(j) = 2*j - 4. Suppose -2*a - 2*a = -2*q - 44, 3*a - q = 31. Let z = a + -5. Let s be k(z). Solve -s = 4*m + 8 for m.
-3
Let z be 3/6*-3*-2. Suppose -7*d = -z*d. Solve d = 3*r - 2*r + 3 for r.
-3
Let i(q) = 7*q**2 - q. Let l be i(1). Let h be 0 + (-1)/(-2) + (-9)/(-2). Solve -l = 2*x - h*x for x.
2
Let h(a) = 2*a - 6. Let f(w) = -w. Let c(y) = f(y) + h(y). Let o be c(7). Suppose 2*i - 5 = o. Solve -i*d + 6 = -3 for d.
3
Let v be (1/4)/((-3)/(-60)). Suppose -3*i + v = -10. Solve -i*q + 3 = -7 for q.
2
Let b(a) = -a**3 + 6*a**2 + a - 8. Let s be b(6). Let u = -4 - s. Let w = 2 + u. Solve 2*i + 4 = -w*i for i.
-2
Let o(j) = j + 9. Let k be o(-9). Let b(u) = u**3 + u**2 + 9. Let i be b(k). Let z(n) = -n - 2. Let v be z(-5). Solve v*s - 6 = i for s.
5
Let v(y) = y**2 + 10*y + 3. Suppose -2*c + d - 20 = 0, -2*d + 0 - 59 = 5*c. Let h be v(c). Let k = h + -10. Solve -12 = k*t - 4 for t.
-2
Let w be 0 + (-6)/(-2 + 1). Let a be (-1)/3 + (-57)/(-9). Solve 4*h - w = a*h for h.
-3
Suppose 18 = 4*x - x. Let u = -3 + x. Let k = 9 - u. Solve f = 4*f - k for f.
2
Let d be ((2 - 3) + 3)*2. Suppose -4*o - 114 = -0*h - 3*h, -d*h = -8. Let z = o - -38. Solve 14 = 5*q - z for q.
5
Suppose o + 6 = 2*o. Let a be (-3 + o + -3)/(-1). Solve a = 5*t - 2*t - 15 for t.
5
Let x be (2/(-5))/(1/20). Let k = x + 14. Solve 3*n = k - 0 for n.
2
Suppo