2 + (-6)/(-12). Solve -q*w = -2*w - 20 for w.
5
Suppose -6*f + 36 = -2*f. Let n be -3 - f/(-6)*2. Let a = 0 - n. Solve a = 2*i - 2 + 8 for i.
-3
Let p = 64 + -53. Solve 5*u = p - 36 for u.
-5
Let r be (0 - 1) + -4 + 2 + 6. Solve -s - r*s = 8 for s.
-2
Suppose -3*j + g + 4 = 0, 0 = -3*g - 0*g + 15. Suppose -j*z + 10 = -8. Solve z*i = i - 5 for i.
-1
Suppose -2*j + 3 = -11. Let o(n) = n**3 - 6*n**2 - 6*n + 9. Let p be o(j). Let a = 6 + -1. Solve -f = -a*f + p for f.
4
Let d(s) = -s - 9. Let j be d(-14). Suppose -33 = j*z - 113. Solve 5*o + 1 - z = 0 for o.
3
Let l be 28/6*(-21)/14. Let j = 9 + l. Solve i - j = 3*i for i.
-1
Suppose 0 = -5*i + 4*c + 69, 2*c - 37 - 13 = -4*i. Suppose -17*v = -i*v. Let r(k) = -k**3 - 2*k**2 - 3*k - 1. Let d be r(-2). Solve v*b + d*b = -20 for b.
-4
Let l(j) = 6*j + 36. Let b be l(-6). Let x = 13 - 8. Suppose x*p - 20 = p. Solve b*c + c = -p for c.
-5
Let b(j) = 4*j - 16. Let k be b(4). Solve k = -f - f - 6 for f.
-3
Let y = -18 - -22. Solve -b + y = b for b.
2
Let z = -8 - -8. Suppose -k = -15 - 26. Suppose z = 5*a - k - 59. Solve 2*s + 2*s + a = 0 for s.
-5
Let a(d) = -d**2 - 2*d + 12. Let z be a(-4). Solve -l = z*l for l.
0
Let n(a) = a**3 + 5*a**2. Let c be n(-4). Solve -3*w - w - c = 0 for w.
-4
Suppose -s = -6*s + 50. Let p = s - -5. Solve j + 2*j = -p for j.
-5
Suppose -6*s + s = -25. Solve -20 = -s*i + i for i.
5
Let r(i) = -i**3 + 3*i**2 + i - 3. Let y be r(3). Let p(b) = b**3 + b**2 + 4. Let d be p(0). Solve y*q + 12 = d*q for q.
3
Let i = -6 + 11. Suppose 8 = v + 3*l, 0 = v - 0*v + i*l - 10. Let w(p) = p. Let o be w(v). Solve o = n - 0 for n.
5
Suppose 27 = 6*m - m + 4*r, 5*m = 2*r + 9. Let b = -1 - -14. Solve b + 2 = -m*w for w.
-5
Suppose 53 = 7*q - 2*q + 3*l, -5*q = -5*l - 45. Let z(h) = h - 1. Let y be z(q). Let n = y + -7. Solve 1 - 5 = n*r for r.
-2
Let l(c) = -c**3 + 3*c**2 + 5*c. Let n be l(4). Solve -3*d - n = -2*d for d.
-4
Suppose 5*k = -20 + 50. Let h = -3 + k. Solve 2*v + 5 = h*v for v.
5
Let g(p) = p + 7. Let y be g(-3). Let o be y/(-6)*6/(-4). Suppose 2*z + 2*u + 1 = -z, -2*z = -4*u - 10. Solve h + o = -z for h.
-2
Let t be (-2)/(-2)*2 - 0. Solve 12 = -t*f + 5*f for f.
4
Let w(v) = 4*v - 80. Let j be w(21). Solve -6*l = -j*l for l.
0
Let u = 13 - 8. Solve 0 = -2*a + u*a for a.
0
Let b(y) = 3*y - 11. Let a be b(3). Let u = 48 - 80. Let c be (u/20)/(a/5). Solve 0*o = c*o - 16 for o.
4
Suppose 5 = -5*n, 0*n + 26 = -f - 2*n. Let t = 26 + f. Solve i = t*i for i.
0
Let s(m) = -28*m - 1. Let a be s(-1). Let g be (-2)/(-4) + a/6. Suppose -w - 43 = -g*b, 5*b + 3*w - 23 = b. Solve r = -r - b for r.
-4
Suppose 0*g + 4 = 2*g. Suppose 4*b + 8 = 0, f + 3*b + 7 = -g*b. Solve 9 = f*t - 0*t for t.
3
Let n = 25 + -20. Suppose s = -1 + 4. Solve s + n = -2*c for c.
-4
Suppose p + 2*p = 24. Let v = 3 - 5. Let j be v + 4 + p/2. Solve j = 5*a + 26 for a.
-4
Let v be 3*(-4)/8*-2. Solve 0 - v = d for d.
-3
Suppose -4*m + 16 = -4*g, 0 = 2*m + 3*m + g - 8. Suppose -4*b - 6 = -42. Let f be (b/(-6))/(2/(-4)). Solve -f*o = -m*o for o.
0
Let w(o) = o**3 + 5*o**2 + 4*o + 5. Let a be w(-4). Suppose -4*r - a = 7. Let z be 4 + (-6 - r - -2). Solve -z*f + 8 = -f for f.
4
Suppose -2*g = -2*v - 52, g + 3*g + 4*v - 112 = 0. Solve -5*t - 7 = -g for t.
4
Suppose -3*b + 3 = n + 10, 0 = -5*n - b + 21. Solve -n = -5*i - 20 for i.
-3
Let b = 13 - 9. Suppose -x + 10 = 4*a, -b*x + a = -0*a + 11. Let u = 5 + x. Solve 7*f = u*f + 20 for f.
5
Let g(s) = -s**2 + 12*s - 9. Let m be g(11). Let o = m + 1. Solve -o*i - i = 0 for i.
0
Suppose -3*f + 4*v - 9 + 8 = 0, 2*f - 5*v + 3 = 0. Solve f = -2*p + 7 for p.
3
Let l = 332 + -236. Let r be l/15 - 6/15. Solve -5*k - r = -2*k for k.
-2
Let i be ((-28)/(-10))/(1/5). Suppose -4*m - 5*o = -6, 0*m - 4*m - o + i = 0. Let c = 4 - 4. Solve c = 2*z - 0*z + m for z.
-2
Let x be (-2)/(-12)*3*-8. Let f be 145/45 - x/(-18). Solve 0 = -0*v - f*v - 15 for v.
-5
Let a be (1/(-2))/((-5)/40). Suppose 0*m - 3*y + 3 = 3*m, a*m - 2*y - 16 = 0. Solve w - 8 = -m for w.
5
Let h(s) = -9*s - 6*s**2 + 7*s**2 - 2*s. Let u be h(11). Solve 4*q + u = 20 for q.
5
Let c be (-8)/36 + 14/(-18). Let s = c - -6. Suppose 14 = -3*d + s*d - 4*k, -3*k - 28 = -4*d. Solve 2*j - 3 = -d for j.
-2
Suppose -r = 29 - 31. Solve r*h + 5 = -3 for h.
-4
Suppose 2*d - o = 2*o + 14, 3*o + 10 = d. Suppose d*a - 51 = 3*i, -4*i + 4*a - 55 = 3*a. Let n = i + 33. Solve w = -3*w - n for w.
-5
Let g = 24 - 34. Let s be (12/20)/((-2)/g). Solve -9 - 3 = s*r for r.
-4
Suppose 5*j - 34 = -4. Suppose -2*x = -4*f - 12, f + 2*x + 24 = -4*f. Let l = f + j. Solve 6 = -l*v - 2 for v.
-4
Let k be (9/(-12))/((-2)/8). Let m = -4 + 8. Suppose m*y - 5*y = -a + 2, 19 = -2*y + 5*a. Solve y = -6*j + k*j for j.
-1
Suppose -1 = -6*d + 29. Solve 0 = 5*k - d for k.
1
Let r(p) = -4*p - 8. Let f be r(-2). Solve 3*j + 3 = -f*j for j.
-1
Let f(n) = -n**2. Let r be f(0). Solve r = -0*b - 4*b for b.
0
Let u = 6 + -7. Let a be (-8 + -10)*1*u. Suppose 5*i + 3 = a. Solve 0 = q - i*q + 2 for q.
1
Let b(r) = 2*r**3 - r**2 + 3*r - 4. Let i be b(2). Suppose i = -z + 8*z. Solve 0 = z*u - 0*u for u.
0
Suppose u + 2 = -1. Let c(y) = -y**2 - 3*y + 7. Let r be c(u). Solve 0 = 2*v + r - 1 for v.
-3
Suppose 5*h - y - 8 = 0, -3*h + 12 = -y - 2*y. Let z = h - -2. Solve z*r - 5*r = -6 for r.
3
Let x(w) = 3*w**2 - 1. Let f be x(1). Suppose -3*b + 16 = 5*j, 0*j - f*j - b = -6. Suppose -j*u = -47 + 7. Solve u = 5*z - 0 for z.
4
Let g(r) be the first derivative of r**4/4 + 5*r**3/3 - r**2/2 - r + 3. Let c be g(-5). Solve -5*n + c = -1 for n.
1
Let j(l) = l**3 + 3*l**2 + 3*l + 2. Let y be j(-2). Suppose y = 4*p + p. Solve p = 2*v - 0*v - 6 for v.
3
Let z = 37 + -17. Suppose -3*f = -2*v + 7, 3*f = 6*v - 5*v - 2. Suppose 3*b - 4*g - 40 = 0, 3*b - 24 = v*g + z. Solve 0 = -4*a - 0*a - b for a.
-2
Let h = 9 - 5. Suppose 2*o = -5*n - 0*o + 8, n + h = o. Solve n = -0*k + 2*k + 2 for k.
-1
Let a(k) = -4*k - 6. Let c be a(-2). Solve 4*h - 2 - c = 0 for h.
1
Let u(o) = -o**3 - 8*o**2 - 8*o - 5. Let v be u(-7). Let d be (-1)/(v + (-10)/4). Solve p - d*p = 5 for p.
-5
Suppose 0 = 4*i - 2*m - 4, -5*i = m - 6*m. Solve y = -i*y - 15 for y.
-5
Let m be ((-84)/(-112))/((-1)/(-4)). Solve -5*j + m - 8 = 0 for j.
-1
Suppose -3*z = 4*d - 0*z - 18, 2*d = -5*z + 16. Suppose 3*j - v + d*v = 15, -v - 10 = -2*j. Solve 0 = 4*t - 5*t - j for t.
-5
Suppose 3*u + 13 = -y, 0*u - 25 = -5*y + 3*u. Suppose 0 = -4*l + 2 + 14. Solve -3*r = -l*r + y for r.
2
Suppose -k + 0 = 1. Let t be (-3)/3 - 7*k. Solve t = -3*u + 3 for u.
-1
Let u be 0 + 2/7 - 3450/(-175). Solve -4*x = -0*x + u for x.
-5
Let o(s) = -2*s**3 - 10*s**2 + 5. Let r be o(-5). Solve -7 - 3 = -r*h for h.
2
Let b(x) = -x**3 + 3*x**2 + x - 1. Let l be b(-1). Solve -l*n = -n + 4 for n.
-4
Let v(w) = -5*w**3 - w**2 + 7*w + 16. Let o(n) = -4*n**3 + 6*n + 15. Let b(a) = 6*o(a) - 5*v(a). Let i be b(-5). Solve 0 = -i*f + 1 + 4 for f.
1
Let q = 4 + -12. Let v = -3 - q. Solve -k + 0 = v for k.
-5
Let n be (-1)/3 + 20/(-3). Let a = n - -14. Solve 0 = 2*i - a*i for i.
0
Let s be 6/(-9) - (-51)/9. Suppose -3*a + s*a - 6 = 0. Suppose -a*j = -8*j + 25. Solve j*g + 16 = -4 for g.
-4
Let z = 19 + -14. Suppose 0 = -d + z*b - 13, -b - 3*b + 10 = -d. Suppose f + 3*j = -f + 12, -4*j + 24 = 4*f. Solve -y - d*y = f for y.
-2
Let k be 0*(2 - 1)*-1. Suppose -3*n = 4*m + 14, 3*n = -2*m + m + 1. Suppose -5*a + 19 = -1. Solve k = -n*c - a - 0 for c.
-2
Let d(q) = -q**2 + 15*q - 25. Let i be d(5). Solve -7*n + 12*n = -i for n.
-5
Let d be (-4)/(-10) - 38/(-5). Suppose -y - d = -3*y. Solve b = -y*b for b.
0
Let x(o) = -2*o**3 + 4*o**2 + 4*o + 2. Let i be x(-2). Suppose 0 = 4*g - i + 2. Solve 20 = -g*a + a for a.
-4
Suppose -5*h = -5*c - 66 + 6, 0 = -2*c - 4*h - 12. Let a be (c/2)/(1 + 0). Let i = a + 5. Solve i = -3*g - 1 - 2 for g.
-1
Let p(y) = -y**2 - 5*y + 7. Let d be p(-7). Let i = 10 + d. Suppose 3*m = -6, 0 = -i*h - 4*m + 7 - 0. Solve -h*u = -u + 8 for u.
-2
Let h(d) be the first derivative of d**4/4 - d**3/3 - 5*d**2/2 - 3*d - 4. Let k be 4 + (1 - 3) - -2. Let a be h(k). Solve 0 = 3*x + 10 - a for x.
5
Suppose 0*a - 4*a = -3*b + 5, -13 = -4*b - a. Suppose b*n = n + 4*f - 2, 5*n - 3*f - 9 = 0. Solve 1 = n*u - 2 for u.
1
Let i = 58 + -54. Solve 0 = -i*a - 10 - 2 for a.
-3
Let k = -6 + 1. Let p = 