m for w.
-3
Let k(h) = -44*h**2 - 270*h - 20. Let t be k(-6). Solve -t*p + 48 = -4*p for p.
4
Suppose -12*g + 0*g = 0. Solve -4*s + g*s = -6*s for s.
0
Let x(l) = 3*l**2 - 1. Let s be x(1). Suppose -4*i + 14 = -s. Let t(j) = 3*j + 3. Let d be t(i). Solve -d = 5*f - 0*f for f.
-3
Suppose -f - 7*f + 56 = 0. Solve -47 = -f*h - 40 for h.
1
Let n be 6/(-12)*(2 - 8). Let s be (-2 + n)*-1*-6. Suppose -s*a = -a - 25. Solve t = a*t + 20 for t.
-5
Suppose 75 = 2*i + 115. Let y be i/8*(0 + -4 + 2). Solve 18 = y*c - 2 for c.
4
Let o = -44 + 46. Suppose -p - 5*l = 12, o*p = 2*l + 7 + 5. Solve -p*k + 5 = -4 for k.
3
Let l(f) = 5*f - 70. Let r be 11 + 11/((-22)/(-8)). Let d be l(r). Solve -4*z = -1 + d for z.
-1
Let f = 19 - 1. Suppose -7*m + 11*m - f = 2*n, 0 = -3*m - 3*n. Solve -1 = 2*q - m for q.
1
Suppose 0*t + 9 = 5*u + 4*t, -1 = -u - t. Suppose -4*g + 36 = -u*d, -d + 50 - 5 = 5*g. Let k = -7 + g. Solve -2*z = k*z for z.
0
Let w be ((-5)/(-40))/((-3)/(-24)). Solve -4 = r - w for r.
-3
Let l = 538 + -522. Solve 12*g - 16*g = l for g.
-4
Suppose 5*h - 20 = h. Suppose -5*i + 5*j + 30 = 0, -80 + 101 = 4*i - 5*j. Solve h*c + 1 = -i for c.
-2
Let v(z) = 2*z - 2. Let g be v(3). Solve -p - g*p - 25 = 0 for p.
-5
Let l be (2/4)/((-2)/(-4)). Suppose 0 = -2*k - 4*w - 1 - 3, -3*k - l = w. Solve k*x = x - 3 for x.
3
Let v(m) = m**3 + 11*m**2 + 4*m + 61. Let z be v(-11). Solve 10*k + 14 = z*k for k.
2
Let c(v) = -3*v**3 + v**3 + 3*v**3 + v - v**2 + 9*v**2 + 8. Let h be c(-8). Suppose 3*m - t = t + 40, 2*m - 30 = 2*t. Solve h = -3*w + m + 2 for w.
4
Let n(y) be the second derivative of -5*y**3/3 + 30*y**2 + 34*y. Let k be n(4). Solve -7*v = -3*v + k for v.
-5
Let k(x) be the third derivative of x**5/60 - x**4/12 - 2*x**3/3 - 11*x**2. Let a be k(-2). Solve 3*n = -a - 8 for n.
-4
Let b be ((-2)/(-6))/((-1)/(-93)). Suppose -2*l + 6*m + b = 3*m, 5*m = -3*l + 75. Solve -3*y - l = -5 for y.
-5
Let m be (-1)/(-3 + 4)*-25. Suppose 10*p - 3*p = 0. Solve 5*y - m = -p*y for y.
5
Let t be 19/10 - (-40)/400. Solve t*l = 2*l + 8*l for l.
0
Let s(z) = -z - 9. Let t(v) = v. Let q(i) = 2*s(i) + 4*t(i). Let k(w) = 5*w + 2. Let c be k(2). Let j be q(c). Solve -3*x = -5*x + j for x.
3
Suppose 4*k = -0*k - 3*v - 39, -15 = 2*k + 3*v. Let f be (5/2)/((-3)/18). Let q = k - f. Solve -q = -y - 0 for y.
3
Let n(b) = -b**2 + 13*b - 6. Let x be n(12). Let a be (-4)/18 + x/27. Let v be (a + -3 + 4)*1. Solve 3 = g - v for g.
4
Let u = 27 + -23. Suppose -y - 4*f - 8 = 0, -2*f = 2*y + y + u. Solve l - 2 = -y for l.
2
Suppose -24 = -y - 3*x, -3*y - 21*x = -23*x - 105. Solve 0 = 30*i - y*i for i.
0
Suppose -15*x - 16*x - 20*x = 0. Solve x = -11*p + 5 + 17 for p.
2
Suppose -108 = -27*c + 27. Solve c*x - 10 = -5 for x.
1
Let k(c) = c**3 - 5*c**2 + 5*c. Let w be k(4). Let y be 2 + (w - (3 - 0)). Suppose 6 = y*s - 3*u, -5*s = -2*u + 7*u - 10. Solve -m = -3*m + s for m.
1
Let b(k) = k**3 + 15*k**2 - 4*k. Let v be b(0). Let j(a) = -3*a + 5. Let m be j(-5). Solve -r - 3*r - m = v for r.
-5
Suppose 0 = -q - 0*q. Suppose 8*h - 6 = 5*h. Let x(v) = 2*v - 16. Let s be x(11). Solve q*f - h*f = s for f.
-3
Let q(z) be the second derivative of z**5/20 + 5*z**4/12 - z**3/6 + z**2/2 + 62*z. Let w(y) = -y**2 + 4. Let s be w(-3). Let a be q(s). Solve a = -b - b for b.
-3
Let n be 74/14 - (-2)/(-7). Let q(y) = -2*y - 14. Let v(h) = -h**2 + h - 1. Let t be v(-2). Let m be q(t). Solve m = n*z - 0*z for z.
0
Suppose -2*h + 4*h = 2. Suppose -5*m + 12 = -3*m. Suppose r - m*r + 15 = 0. Solve -z = -r - h for z.
4
Suppose u + 18 = 5*p, 2*p + 4*u = p + 12. Suppose 189*j - p = 188*j. Solve -3*x = x - j for x.
1
Suppose 2 = -8*v + 10. Let f be 0/(-2 + -2) + 2/v. Solve 6 = -f*d - 2 for d.
-4
Let b = 853 + -845. Solve b*g + 8*g + 16 = 0 for g.
-1
Suppose 2*h = 2*b - 2, 0 = -b + 1. Solve -3*g + 7 - 19 = h for g.
-4
Let h(m) = -2*m + 3. Let g(z) = -z + 2. Let x(l) = 3*g(l) - 2*h(l). Let w = -15 + 22. Let y be x(w). Solve -3*r + 5 = -y for r.
4
Suppose 25 - 25 = 5*c. Suppose -7*u + u + 30 = c. Solve -u*m = -0*m for m.
0
Suppose -u + 1040 = 3*u. Suppose 0 = -p - p - u. Let h be p/(-14) + 6/(-21). Solve h = 2*x + 1 for x.
4
Let m(h) = -h**2 + 10*h + 24. Let q be m(11). Let r = q - 10. Solve 0 = -r*p + 7 - 4 for p.
1
Let j be 7 + (-8)/12 + (-24)/18. Let v(l) = 2*l**2 - 11*l + 20. Let n be v(j). Solve -b - 4*b = -n for b.
3
Let w = -169 - -183. Solve -w*y - 20 = -18*y for y.
5
Let k be (-2 + 35/21)*(1 - 1). Suppose -17*w + 3*w + 112 = k. Solve -3*x = -7*x + w for x.
2
Let s(u) = 3*u**2 + 1. Let v be s(-1). Suppose -4 = v*a - 20. Suppose a*y - 2*l = 8, 2*l = 3*y - 4*y + 12. Solve b + y = -b for b.
-2
Let z be (0 - (-16)/20)*5. Suppose -6*p = -z*p - 24. Let a = -10 + p. Solve -3*s - 1 = -a*s for s.
-1
Let l = 134 + -136. Let m(h) = 4 - 2*h - h**2 + 2*h. Let k be m(l). Solve 0*q - 2*q - 10 = k for q.
-5
Let w = -136 + 157. Solve 0 = -8*f + 15*f + w for f.
-3
Suppose 4*d + 1 = 3*j + 52, 2*d = -5*j + 19. Let k be (7/((-315)/10))/((-2)/18). Suppose -5*m = 3*t + 3, -t - m + k = 1. Solve -t*g = -8*g + d for g.
3
Suppose -8 = -x - z + 1, 8 = -2*z. Solve x = 3*n + 7 for n.
2
Let n(p) = 2*p**2 + 2. Let g be n(3). Let x(l) = -l**2 - 29*l + 33. Let t be x(-30). Solve b = -t*b - g for b.
-5
Let p = 311 + -298. Solve p*u - 4 = 17*u for u.
-1
Let o = -460 + 469. Solve -o*u = -10 + 37 for u.
-3
Suppose 5*w - 59 = 5*k - 3*k, 0 = -w + 5*k - 2. Let h be (w + -1)/2*(-6)/(-12). Solve -1 = -h*o + 8 for o.
3
Let u = -18 - -29. Let n = -3 + u. Solve -n = -p - p for p.
4
Let g(p) = -92*p - 547. Let z be g(-6). Solve o - z = -9 for o.
-4
Let k(w) = -w**2 - 2*w - 10. Let n(l) = -2*l**2 - 3*l - 21. Let j(s) = -7*k(s) + 3*n(s). Let b be j(-4). Solve b*m = -m for m.
0
Let p = -699 + 700. Solve -6*g = 19 - p for g.
-3
Suppose 0 = 27*v + 3 - 84. Solve v*i - 10 = 2 for i.
4
Suppose 9*c + 90 = 4*c. Let z be 7 - (5 - (-25 + 5)). Let v = c - z. Solve v*u = -u + 2 for u.
2
Suppose 0 = 2*h + 34 - 38. Suppose -4*g - 2*y = -14, -h*y = -5*g - 6*y + 19. Solve -4*r - 3 = -g*r for r.
-3
Let r = 1326 - 1223. Solve -8*x - 111 = -r for x.
-1
Let j be 15/1 + 3 + -2. Let u(h) be the third derivative of -h**4/24 + 23*h**3/6 + 26*h**2. Let w be u(j). Solve w*g = 2*g for g.
0
Let z be 3*(50/(-12))/((-2)/4). Solve -4*s + 9*s - z = 0 for s.
5
Let w be (41/(-82))/(1/(-10)). Solve 0 = -w*b - 11*b + 48 for b.
3
Suppose -k + 5*o = 7, k + 7*o - 7 = 5*o. Let p = k - -4. Let d = 9 - p. Solve a - d = 2*a for a.
-2
Let u = 1015 + -1013. Solve -y + 4*y = u*y for y.
0
Let j be 15/9*(-18)/(-10). Suppose 4*k = -2*x + 10, j*k - 6*x + 3*x - 12 = 0. Solve -k + 7 = 4*h for h.
1
Let b(c) = -c**3 - 15*c**2 - 51*c - 3. Let a be b(-10). Solve 0 = -a*q - 5*q for q.
0
Suppose -18*k + 137 = -97. Solve 3*u + 1 = k for u.
4
Let c = -20 + 23. Suppose c*m = -63 + 69. Solve 0 = 3*n - m*n for n.
0
Let z be 3 + (9/(-3))/3. Let q(b) = 18 + 4*b + b**3 + 2*b - 10*b**z - 10 + 3*b. Let v be q(9). Solve -v = 3*s - 7*s for s.
2
Suppose -d + 4*d = -27. Let y = d + 13. Let q be (1 - y) + 2 - -11. Solve -3*p + q - 4 = 0 for p.
2
Let t = 2191 + -2161. Solve 0 = 4*r + 11*r - t for r.
2
Let b = -446 + 454. Solve -b*x - 19 + 19 = 0 for x.
0
Suppose 20*i = 73 - 13. Solve 0 = 3*k + 6 - i for k.
-1
Let o(t) = t**3 + 5*t**2 - 14*t - 33. Let v be o(-6). Let r(n) = n**2 + 5*n - 3. Let z be r(-3). Let s = z + v. Solve 5*f - s - 9 = 0 for f.
3
Let o be (-4 - -3)/2*0. Suppose s - 4*s + v + 3 = o, 0 = s + v + 3. Solve -3*w - w + 20 = s for w.
5
Suppose -5*r = -15, 0*r + 130 = -5*p + 5*r. Let f = -20 - p. Suppose a = -0*a. Solve a = s + f*s for s.
0
Let q(g) = -13*g + 1. Let u be q(-2). Let d(m) = -m**2 + 26*m + 39. Let w be d(u). Solve 0 + w = -4*t for t.
-3
Let y = -86 - -100. Let s(l) = l**2 - 14*l. Let h be s(y). Solve h = -0*t - 5*t + 25 for t.
5
Let r(f) = -105*f**3 + 5*f - 4. Let y be r(1). Let n = y - -104. Solve n = 3*s - 6*s - 12 for s.
-4
Suppose -4*x + 13 = -3*x. Suppose m + 4*g + x = 0, m = 4*g - 14 + 33. Solve -3 = m*y - 9 for y.
2
Suppose 2*r - r + 4 = -t, -r = -5*t - 8. Let n be ((-6)/4)/(r/4). Solve -18 + 6 = n*a for a.
-4
Let t(y) = y**2 - 4. Let q be t(-4). Let j be 3/(-9)*q*-1. Suppose 3*r - r = 0. Solve r = -j*n + 12 for n.
3
Suppose 2 = n + 3*l + 13, -l = -4*n + 21. Solve -n*u + 3 = -5*u for u.
-3
Suppose -3 + 5 = w. Suppos