w.
-3
Let r(y) = -4*y + 1. Let c be r(-1). Suppose -9 = -h + f, -2*h = -3*h + c*f + 9. Let t(s) = -s**2 + 8*s + 12. Let a be t(h). Solve -a*l = -0*l for l.
0
Suppose -2*r + 18 = -i, 0 = 5*r + 4*i - 13 - 6. Solve -8 - r = 3*z for z.
-5
Let o(h) be the first derivative of -h**2/2 + 8*h - 2. Suppose -2*u = -9 - 3. Let i be o(u). Solve -i*t = -3 + 5 for t.
-1
Suppose 0 = -2*d + 3*d. Solve d = w - 4*w for w.
0
Let a(o) = 2*o - o**2 + 3 - 4*o - 4*o. Let i be a(-6). Suppose 0 = 2*t + 3*m - 8, 0*m - m + i = t. Solve 3*y + 7 = t for y.
-2
Let q be (-2*1)/2 - -13. Suppose 2*l = -8, q = -0*v + v - 3*l. Solve 2*i - 6*i = v for i.
0
Let d(k) be the third derivative of k**6/120 + k**5/10 + k**4/24 + k**3 - 2*k**2. Let r be d(-6). Suppose r = 2*o - 53 + 15. Solve 1 = 5*m - o for m.
4
Let d(h) = h**3 - 9*h**2 + 12*h - 12. Let p be d(8). Suppose 5*q - p = 10. Solve -4*i = 10 + q for i.
-4
Suppose 2*j - 4*j = i - 8, -j + 1 = 0. Suppose -12 = -3*d + i. Solve -d = 3*t + 9 for t.
-5
Let z be (-2 - 4)*2/(-4). Suppose z*s = 2*l - l + 15, -l = 5*s - 25. Solve l = -5*u - 9 - 11 for u.
-4
Suppose 7 = -2*t - 93. Let s be (t/(-35))/(2/14). Solve n = -4*n - s for n.
-2
Let x(v) = -v**2 - 8*v - 8. Let h be x(-6). Let l(u) = 2*u - 24. Let s be l(16). Solve -s = q - h for q.
-4
Let l = 20 + -14. Let d be (-172)/l - (-4)/6. Let n be (-48)/d - (-2)/7. Solve n*i - 12 = -i for i.
4
Let y(v) = -v**3 - 6*v**2 + v + 8. Let o be y(-6). Let l = o + 0. Solve 4*r - 2 = l for r.
1
Let v be 10/15 + 13/3. Solve 0*p - v*p = 0 for p.
0
Let w = -169 - -172. Solve -7*q + 6*q = w for q.
-3
Suppose x - 38 = -2*x - 2*f, f = -2*x + 24. Solve -x = 2*v + 3*v for v.
-2
Let c = -12 + 12. Solve c = 4*n - 0 + 8 for n.
-2
Let g be (-4)/4 + 2 - -1. Let v(o) = o + 3. Suppose 7 = n - 3*r + 16, -5*n + r = 3. Let f be v(n). Solve -f = g*y - 5 for y.
1
Let l(i) = i**2 - 13*i - 10. Let v be l(14). Solve 1 = -v*a + 9 for a.
2
Let v(m) = m + 5. Suppose z + 5*j - 3 = -3*z, 21 = -2*z + 5*j. Let l be v(z). Solve -o - 9 = l*o for o.
-3
Suppose p = -5 - 0, -2*u + 4*p + 24 = 0. Suppose 0 = -2*b - u - 6. Let l be (b/(-3))/(2/3). Solve -l*y - 2*y - 8 = 0 for y.
-2
Let l(j) = -5*j + 1. Let u be l(2). Let f = 18 + u. Solve -4*y + f*y = 20 for y.
4
Let r be (-18)/(-45) - (-166)/10. Suppose 3*t - 2*f = 14, 6*f - 3*f - r = -5*t. Solve 0 = t*z - 5*z + 4 for z.
4
Let h be (12/21)/(2/7). Let t(s) = s**3 + 3*s**2 - 2. Let z be t(-3). Let q = -2 - z. Solve -h*c + 4 + q = 0 for c.
2
Suppose -4*d - 4*o + 5 = o, -3 = d - 3*o. Let l be (-6 + 1)*1*-1. Solve d = l*p + 12 - 32 for p.
4
Suppose 8 = 3*p + p. Let d(l) = -l**3 - 2*l**2 + 1. Let v be d(-1). Let u be v/(-2*3/(-6)). Solve 2*t = -u*t - p for t.
-1
Suppose -v = -3*r - 5*v - 14, 14 = 2*r - 2*v. Solve -1 = b - r for b.
1
Suppose 1 = v + 4*o + 3, 0 = 3*v - 2*o - 50. Suppose 0 = -2*p + l + 6, -4*p + 2*l = p - v. Solve 0 = -2*g - 0*g + p for g.
1
Let q(w) = -2*w - 33. Let r be q(-21). Solve -2*o + r + 1 = 0 for o.
5
Let o = -5 + 8. Suppose o*u = u. Suppose u = 4*k - 0 - 8. Solve g = -g - k for g.
-1
Let m = 111 + -111. Solve 3*u - u + 4 = m for u.
-2
Let c(u) = u**3 - 13*u**2 + 11*u + 15. Let q be c(12). Let t be 0 + q - (3 - 4). Solve -5 = t*i + 3 for i.
-2
Let x(g) = 3*g**2 + 9*g + 12 - 2*g**2 - 2. Suppose -4*i = -2*i + 16. Let v be x(i). Solve -k - 3 = v*k for k.
-1
Suppose 5*l - l = 40. Let b be 1 + 5 - (-7)/(-4 - 3). Let r = l - b. Solve -4*k = k - r for k.
1
Let r be 3 - 7 - 9/(-1). Solve -29 = -r*n - 4 for n.
5
Suppose 5*q - 40 = 4*s + 49, 5*s = 2*q - 22. Let c be q/(-14)*8/6. Let a be -1*c/(-4)*0. Solve a = -2*n + 1 - 3 for n.
-1
Let x be ((-6)/3 - -1)*-2. Suppose -5*j - 3*f = -29, 4*j + x = 3*f + 9. Suppose 2 - 5 = -j*a - 3*p, a - 3*p = 12. Solve -a*v + 5 = 2 for v.
1
Let q(r) = -r**2 - 7*r - 6. Let t be q(-6). Suppose t = 3*z - 5*z. Solve z*w = 3*w + 9 for w.
-3
Let v be (-5 - (-2)/(-2))/(-2). Suppose -12 = -v*x + 2*i, 0*i - 4 = -5*x - 2*i. Solve -j = x*j + 12 for j.
-4
Let b = -1 - -9. Let j(f) be the first derivative of -4*f**2 - 4*f - 1. Let z be j(-3). Solve z = -3*i + b for i.
-4
Let q = -6 - -18. Solve 2*u - 6*u = -q for u.
3
Suppose -5*u = -5*u - 12*u. Solve u*g = 3*g + 12 for g.
-4
Let h = -2 + 8. Let g be 34/8 - h/24. Solve -g*f - 10 = 6 for f.
-4
Suppose 4*k = d - 3*d + 24, 3*d + 5*k = 40. Let x = d - 13. Solve 2*t = -3 - x for t.
-5
Let c = 31 - 26. Solve -c*p = -0*p - 15 for p.
3
Suppose 191 = 15*v - 79. Solve -4*a - 2 + v = 0 for a.
4
Let h be (-56)/(-6) + (-1)/3. Let u be h/27 - 10/(-6). Solve 0 = 5*y - 3*y - u for y.
1
Suppose 0 = m - 2*m + 5. Suppose 0 = -0*d + m*d - 35. Solve d = 3*b + 19 for b.
-4
Let a(z) = z**3 + 7*z**2 + 6*z + 2. Let r be a(-6). Let i = r + 1. Solve i*h - 4 = -1 for h.
1
Let w(b) = -5*b**2 - 1. Let q be 6/9*(-6)/4. Let v be w(q). Let x(c) = c + 9. Let f be x(v). Solve -2*d + f*d = -3 for d.
-3
Let b(w) = -w**3 + 2*w**2 + 3*w + 1. Suppose -4*s - s - 50 = 0. Let m be 2/s - (-64)/20. Let u be b(m). Solve u = 5*f - 14 for f.
3
Let m be 6*(5/2 - 2). Suppose -s + m = -0. Let y(b) = -b**3 + 4*b**2 + 2*b - 6. Let w be y(4). Solve -s + 1 = -w*u for u.
1
Let k = 20 - -70. Let a be 24/32 - k/(-8). Suppose 0 = 4*m + a, 2*b - 5*m = -2*m + 49. Solve -4*j + 9*j + b = 0 for j.
-4
Suppose 2*x - 69 = 21. Let v = -31 + x. Solve -4*f = -v - 2 for f.
4
Let c(m) = m**3 - 5*m**2 + 5*m + 2. Let n be c(4). Solve -q + 4*q = n for q.
2
Let n = 2 - 5. Let a be 3*(40/n)/(-5). Solve -4*f = -2*f - a for f.
4
Let x(q) = q - 4. Let p be x(6). Suppose 3*v - 5*s = v + 14, s + p = 0. Solve 2*o + v*o + 16 = 0 for o.
-4
Let o(n) = -2*n**2 + 2*n**3 - 5*n**2 - 4*n**3 + 3*n**3 - 7*n - 6. Let j(b) = b**2 + 2*b - 7. Let s be j(-5). Let f be o(s). Solve f*k = 3*k + 3 for k.
-3
Suppose r = 5*o + 7, -3*o = -r - 2*o - 5. Let q = r + 16. Suppose 0 = 3*v - 43 + 7. Solve 0 = -5*m + v + q for m.
4
Suppose 5*n = 5*c - 25, -8*c + 5 = 4*n - 7*c. Solve -4*p + p - 9 = n for p.
-3
Let h(w) = w**3 + 4*w**2 + 3*w + 2. Let z be h(-3). Let f(n) = -n**3 + 7*n**2 - 4*n - 12. Let i be f(6). Solve z*s - 4*s + 2 = i for s.
1
Let j(k) = -2*k + 2. Let b be j(-2). Solve 0 = 5*q - b*q + 3 for q.
3
Let a = -12 + 13. Let n(q) = -2*q + 10*q - q**2 - 3 - q. Let o be n(6). Solve -2*x = a + o for x.
-2
Suppose -18*r = -22*r + 12. Solve -i = r*i for i.
0
Let x be 7 + 0/(-1) + 1. Solve -j = 3*j + x for j.
-2
Let j(s) = -2*s**3 - 2*s**2 + s + 3. Let a be j(-2). Solve 4*c - a*c = 0 for c.
0
Let c be 1/4*2*6. Let p be c/(-3*(-3)/18). Suppose -f - 5*h = p, -5*h = -4*f + 35 - 9. Solve 2*s - 4*s + f = 0 for s.
2
Let b(j) = 2*j**2 + 9*j. Let i(u) = -u**2 + 2*u + 2. Let y be i(-2). Let n be b(y). Suppose -p - 5 = -z - 4, -2*p - 3*z + n = 0. Solve -13 = -4*h + p for h.
4
Let w(f) = -f**2 + 7*f - 6. Let m = 2 - -3. Let b be w(m). Solve b*p - 20 = -p for p.
4
Let z be (-2)/(18/10 - 2). Let d be z/(-15)*3/(-2). Solve 3 = j + d for j.
2
Suppose 0 = -2*n - 2 - 4. Suppose 5 + 1 = -2*i + w, 5*i - 5*w + 5 = 0. Let h = n - i. Solve 4 = -2*b - h for b.
-3
Let k be -1*((-4)/2 + -2). Let h be (0 - 0)/(k/2). Solve 4*n + 16 = -h*n for n.
-4
Let r be 4/(2 + -1 - 2). Let p(y) = -2*y - 4. Let l be p(r). Solve -l*w = -8*w for w.
0
Suppose 0*i - 4 = -5*m - i, 0 = 3*m - i + 4. Suppose -b + 1610 = 1608. Solve b*u = -m*u + 10 for u.
5
Let i(x) = 2*x**2 - 2*x + 3. Suppose 2 = -v - 2. Let z be (-1)/v + (-60)/(-16). Let w be i(z). Solve -5*u = -w + 2 for u.
5
Let j = -39 - -40. Solve -4*b = 3 + j for b.
-1
Suppose -3*z = -5*w - 10, 3*z + 4 = -2*w + z. Let j = 1 - w. Solve j*s = 1 - 13 for s.
-4
Suppose 3*m = 5*h, -14 = -2*h - h - m. Solve 2*y = h*y + 4 for y.
-4
Let u = -2 - 4. Let i = 10 + u. Solve -i = -4*k + 5*k for k.
-4
Let p be 0*(-3 + 2 + 0). Suppose p = 3*f - 5*q, -f + 2*f = -2*q. Solve f*o - 2*o = -10 for o.
5
Suppose 4*b + a = 3*a + 16, 4*b = -2*a. Solve 0 = -0*w - b*w for w.
0
Suppose 0 = 5*y - 0*y. Let l = -25 + 13. Let x = 15 + l. Solve x*m + 0*m = y for m.
0
Let o(t) = 0 + 2 - t - 3 + 7. Let w be o(-3). Solve w = -2*q - 1 for q.
-5
Let o be (-6)/4*18/(1 + -4). Solve 2*n = -o - 1 for n.
-5
Suppose 0 = 2*p - d - 5 - 5, -5*d = -4*p + 14. Solve 0 = x + x + p for x.
-3
Suppose -4*u + 9*u = -5*m + 35, 2*m = 5*u - 21. Solve -m + 6 = -s for s.
-4
Let i be -1 - 1 - (3 - 6). Let t(u) = 9*u - 5. Let a(f) = -f + 1. Let c(s) = 6*a(s) + t(s)