 y - 15 = -2*y. Let w(d) = d - y - 2*d + 3. Let u be w(-4). Solve 3 = -5*j - u for j.
-1
Let u be (2/5)/((-3)/(-15)). Let j be 0 - (-1 + 1 - 2). Suppose 0 = -4*m, -j*k - u*k + 4*m = -8. Solve 13 = k*d + 3 for d.
5
Suppose -8*u + 9*u - 3*t + 4 = 0, 4*u = -5*t + 18. Let g be 2/(-1)*(-3 + 2). Solve -g*m = u*m for m.
0
Let w(g) = g**3 + g**2 - 1. Let y(v) = v**3 + 7*v**2 + 4*v - 10. Let m(j) = 2*w(j) - y(j). Let x be m(6). Solve 4*h + x = -h for h.
-4
Let r = 20 + -15. Suppose r + 0 = l. Solve -u + 16 = -l*u for u.
-4
Let r be 80/(-14) + (-2)/7. Let c be 0/r*(-2)/6. Solve 12 + c = 4*s for s.
3
Suppose -k = -4*b - 6 + 14, -2*k + 5*b - 4 = 0. Let s = k + -7. Solve -4*a - 3 - s = 0 for a.
-1
Suppose 0*k - 3*k + 18 = 0. Suppose 0 = -4*h - h. Solve l - k*l - 15 = h for l.
-3
Suppose 0 = u - 2*h - 7, -7*u + 4 = -3*u + 4*h. Suppose -8 = -7*r + u*r. Solve n - 3 + r = 0 for n.
1
Let b = 29 + -29. Solve 3*z + 12 = -b*z for z.
-4
Let a be (-2)/(-11) + 52/(-44). Let y = 2 + a. Solve -s = -y - 2 for s.
3
Let s(a) = -a**2 + 5*a. Let q be s(5). Let v be (-5 + 5)/(q + 2). Suppose -4*z + 0*c = c - 18, 2*z - c = 12. Solve -z*y + 4*y - 2 = v for y.
-2
Let q(f) = -f + 8. Let u be q(4). Let v be (-6)/(-15) - (-4)/(-10). Let n be 16 - (v + 4 - 3). Solve -u*b - 35 = -n for b.
-5
Let k(b) = 5*b - 22. Let m be k(5). Let a be 3/(3/(-2)) + 7. Suppose -4*d + 3*q = 2*q, 4*d + a*q = 0. Solve -m*r + 6 + 9 = d for r.
5
Suppose 0 = -3*u + 9 + 6. Solve 0 = -u*s + 8 + 2 for s.
2
Suppose 1 = -3*u - 4*y, -3*y = 5*u - 2*y - 4. Solve u = -2*f + 7 for f.
3
Suppose 0 = d + d. Let z be 6 + d - (-1 - -2). Solve z*t - 2*t = 3 for t.
1
Let r be (21/(-4))/((-2)/8). Let q = 29 - r. Suppose 2*i + 8 = -2*c, 4*i + c = 3*c + q. Solve 0 = -i*y + 5*y + 15 for y.
-3
Let q(x) = x - 4. Let m be q(7). Suppose -m*k = -2*k - 23. Let l = k - -7. Solve 0 = -5*h - l + 5 for h.
-5
Suppose 5*u = u + 24. Let j be (u/(-15))/((-2)/10). Let h be 4*2 + -2 + 6. Solve -5*b - h = -j*b for b.
-4
Suppose -3*d + 1 = -8. Solve 7*r = d*r + 4 for r.
1
Let o(x) = 2*x**2 - 3*x. Let u be o(2). Solve w = -u*w + 6 for w.
2
Let i = 30 - 18. Solve 0*u + i = -3*u for u.
-4
Suppose -5 = 5*h, g - 5*g - 3*h + 17 = 0. Let z = g - 6. Let x be 1 + (1 - 1) + z. Solve x*d - 1 = -d for d.
1
Suppose -8 = d - 10. Suppose 7 = d*l - 5. Solve 2*j = -0*j + l for j.
3
Let a = -175 - -181. Solve 0 = -a*f - 5 - 1 for f.
-1
Let i(h) = 6*h**2 + h. Let b be i(-1). Suppose b*w + 20 = 0, -3*x + 2*x = -w - 4. Solve m - 5 + 0 = x for m.
5
Suppose d - 3*d = -2*k - 8, -5*k - 11 = -2*d. Suppose -11 = -y - 2*c, -d*c - 16 = -4*y - y. Solve u = -4*u + y for u.
1
Let d(i) be the first derivative of 3*i**2/2 - 12*i + 9. Let r be d(5). Let n be 4/(-10) - 44/(-10). Solve -p = -n + r for p.
1
Let i = 14 + -9. Suppose -i*q + 12 = 3*m, -q - q + 5*m = 20. Suppose -4*a + q*g - 10 = -2*g, -10 = -4*a - 2*g. Solve a - 2 = -2*r for r.
1
Let w(l) = -l + 2. Let c be w(-2). Suppose 2*u = f - 0 + 15, c*f + 20 = 0. Suppose u*h + 17 - 47 = 0. Solve o = 4*o - h for o.
2
Suppose 2*c + 3 = -5*i, -15 = -4*c - 0*i - 3*i. Solve -b + c = 2*b for b.
2
Suppose 5*i - 4*i - w - 3 = 0, -12 = 5*i + 4*w. Solve -2*u - 2 + i = 0 for u.
-1
Let p be 2 + (-2 - -2 - -3). Let d be p + 1/(-1) - 2. Suppose d = b - 0*b. Solve -b*t - 4 = -0 for t.
-2
Suppose -4*w + 3 = -9. Suppose -w*a = -x + 5, -a + 4*a = -4*x + 5. Solve 10 = -x*u - 0*u for u.
-5
Let g be (-3)/(((-4)/(-6))/(-2)). Suppose 0 = 3*j - g. Solve j*b = -0*b for b.
0
Suppose 2*x - 4*n = -14, n - 7 - 2 = -5*x. Let u(w) = -3 - w + 4*w**3 + 3. Let k be u(x). Solve -d + 2 = -k for d.
5
Let i = 9 - 9. Let c = 0 - -1. Let l(u) = 11*u**3 - 2*u + 1. Let x be l(c). Solve x + i = -2*p for p.
-5
Suppose 0 = -2*n - 3*n. Suppose 6*c + 0 - 18 = 0. Solve 2*t + c*t + 20 = n for t.
-4
Let t(l) = l + 13. Suppose 4*j = x + 17, 25 = 2*j + 3*j. Suppose 2*y = 5*a - 13, -x*y - 2*a = -4*y - 7. Let c be t(y). Solve c = 3*o + o for o.
1
Let a(p) = -p**2 + 5*p. Let c be a(4). Suppose 4*k + u - 16 = 0, 2*u = -0*k - c*k + 20. Solve k*f - 1 = -10 for f.
-3
Suppose 4*o - 4 - 12 = 0. Suppose o = -3*w + 6*w + 5*a, a - 2 = -w. Solve 0 = m + w for m.
-3
Let g(r) = -r**3 - 2*r**2 + r - 3. Suppose 16 = -5*h + 1. Let f be g(h). Solve u = f - 7 for u.
-4
Let o(w) = -w**3 - 6*w**2 + 4. Let h = -17 + 11. Let n be o(h). Solve -b = -n*b - 6 for b.
-2
Suppose -2*v + 14 = -0*v. Let z(y) = y**3 + 15*y**2 + 25*y - 11. Let n be z(-13). Solve n*f + v = -3 for f.
-5
Suppose -60*q = -63*q + 30. Solve -7*h + 6 = -q*h for h.
-2
Let i be -5 + 6 - 4*-6. Solve h - i = 6*h for h.
-5
Let y be (28/1)/2 + 1. Suppose 0 = -5*d + 3*h + 15, -5*d = -4*h - 0*h - y. Suppose 2*w - 3 = d. Solve 0 = w*f + 8 + 4 for f.
-4
Let u(d) = d**3 + 14*d**2 - 15*d + 2. Let i be u(-15). Solve -6 = -i*n + 4 for n.
5
Suppose -b + 3*o - 14 = 0, -6*b + b - 4*o = -25. Let l(q) = q**2 + 12*q + 7. Let n be l(-12). Suppose -n = -3*d - 1. Solve b = -s + d*s for s.
1
Suppose 0 = 5*g - 5*z, -5*z = 4*g - 6*z - 9. Solve -g*o = -3 - 3 for o.
2
Let v be 2 + (-12)/16*-4. Solve -2*z = -z - v for z.
5
Suppose -2*s + s = -1. Let a = 7 + s. Solve -l = l + a for l.
-4
Let g = 11 + -6. Suppose g*k = 4*k. Solve i + 3*i + 4 = k for i.
-1
Let h be (2 + (-3)/3)*-7. Let z be 2/h - 60/(-14). Solve -s = -z*s for s.
0
Let v be (3 - 15)/2 - 0. Let k = v + 11. Solve 2*t - 1 = -k for t.
-2
Let s be -15*3/(-6 + -3). Let y = -12 - -18. Suppose l - y = -s. Solve l + 1 = -2*x for x.
-1
Let s be (11 - 9) + 1 + 0. Suppose 12 = a + x + s, 2*x - 8 = 0. Solve -3*b - 2 = -a*b for b.
1
Let z be 20/(-15)*(-6)/4. Let c be (z + -2 - 0)*1. Solve c = b - 2 - 0 for b.
2
Suppose 0 = -3*l - 4*p + 70, 5*l - 42 = 3*l - 5*p. Suppose -5*y - l = -101. Solve 4*g + 1 = -y for g.
-4
Let t = -8 + 16. Suppose t - 4 = 2*g. Solve -14 = -4*m - g for m.
3
Let y = -2 + 5. Suppose 0 = n - 0*n - 4*i - 8, n = 3*i + 5. Let z be (-2 - n - 2)/(-2). Solve -y*d + z*d - 15 = 0 for d.
-5
Suppose 2*j + 8 = 6*j. Solve -j*t - 1 = -11 for t.
5
Let g be -4*(-3)/6 - 1. Suppose 5*s - 2*m = 12 + 11, s + 5*m = 10. Suppose -15 = -0*q - s*q. Solve 2*b - q = -g for b.
1
Let y(m) = -m + 15. Let d(n) = 2*n - 31. Let u(h) = -6*d(h) - 13*y(h). Let q be u(12). Solve 3 = -q*t - 0 for t.
-1
Let g = 21 - 16. Solve g = 4*u - 3 for u.
2
Let y = -104 - -104. Solve -9*b + 6*b - 15 = y for b.
-5
Let p(w) = -21*w - 2. Let a be p(-1). Let s be -4*(-1)/(4/6). Let l(f) = -f**2 + 7*f - 1. Let u be l(s). Solve u*d - 1 = a for d.
4
Let a(f) = -2*f + 3. Let l be a(0). Solve 0 = -h - l + 2 for h.
-1
Let j(m) = m**2 + 2*m + 1. Let p be (-2)/(1 + (-1)/2). Let f be j(p). Solve f = 5*u - 11 for u.
4
Suppose t - 5*t + 16 = w, 3*w + 2*t = 8. Solve w = -3*s + 1 + 2 for s.
1
Let a = -28 - -33. Solve 0 = a*k + 7 + 3 for k.
-2
Let b(n) = 3*n - 16. Let u be b(8). Solve -3*z + u*z - 15 = 0 for z.
3
Let x be (-3 - -1) + (0 - -17). Let w be -1*(-6)/3 - 2. Suppose 12 = -w*z + 2*z. Solve -p + x = -z*p for p.
-3
Suppose -4*f = -m - 18, 3*m - 2*m = 3*f - 14. Suppose 4*l - 19 = 5*a, -l - f*l = -4*a - 35. Solve 9 = -5*o - l for o.
-4
Let m(v) = -v**3 - 6*v**2 + v + 8. Let a(c) = -c**2 + 2*c - 3. Let i be a(3). Let p be m(i). Solve 6 = -p*n - n for n.
-2
Let t(m) = -m**3 + 4*m**2 - 3*m + 3. Let d be t(3). Let k be 2/6 - d/9. Solve k = -5*w + 3 - 8 for w.
-1
Let l(m) = m**2 - m + 1. Let y(s) = -5*s**2 + 1. Let t(x) = -3*l(x) - y(x). Suppose 2*f + f + 9 = 0. Let h be t(f). Solve -a = h - 3 for a.
-2
Suppose 3*p - 157 + 25 = 0. Let r = -30 + p. Solve r - 6 = 2*i for i.
4
Let l = 31 - 22. Let b = 5 - l. Let h be (4/b)/(1/(-2)). Solve -1 = z + h for z.
-3
Let r(b) = b + 4. Let m(i) = 3*i + 13. Let y(d) = 4*m(d) - 11*r(d). Let w be y(7). Solve 2*q = -3*q + w for q.
3
Let h(y) = -2*y. Let o be h(-1). Suppose 0 = -2*d + 3*d - o. Suppose -d*g + 0 = 4*b - 2, 5*g = 3*b + 31. Solve q - g*q = 0 for q.
0
Let m be (-50)/2*6/(-10). Suppose -j - m = -4*j. Suppose -50 - 25 = -j*o. Solve -4*f = f + o for f.
-3
Let r = 3 + -2. Let u be 8/4 + 2*r. Solve u*m = -0*m + 8 for m.
2
Let l(o) = -o**3 + 4*o**2 + 3*o - 12. Let p be l(4). Solve -3*m = -p*m - 3 for m.
1
Let v = -2 + 4. Suppose v*w - 10 = -3*w. Suppose 0*k = -4*i - w*k, -k = 0. Solve i = -q + 2 for q.
2
Let d be -11 + 2 + -2 + 0. Let i = d - -16. Suppose 11 + 14 = i*t. Solve v - t*v = 0 for v.
0
Let x(k) = -k**2 - 3