ve 5*w - m + 22 = 0 for w.
3
Let z(r) = 2*r - 48. Let h be z(32). Suppose 2*i + p = -p + h, 8 = 4*p. Solve 0 = -q - 2*q + i for q.
2
Let x(i) = 2*i - 16. Let z be x(10). Suppose -z*l - 5 = -13. Solve -l*r = 2*r + 12 for r.
-3
Suppose 2*v - 4 = -0. Let a = 2293 - 2293. Solve a = -s + v*s for s.
0
Suppose 0 = 3*s - 5*x - 49, 3*s - s - 1 = -3*x. Suppose -s = -2*v - 2*v. Solve -4 = -v*b + b for b.
4
Suppose 10 = -5*o + 70. Let w(h) = 3*h + 8. Let s be w(0). Suppose -j = -z - 4 + s, -3*z = j - o. Solve 3*u + 0 + 15 = j for u.
-5
Let b = 11 + 8. Let n = -35 + b. Let i = n - -21. Solve 0*u + u = -i for u.
-5
Let f = -429 - -432. Solve q - 12 = -f*q for q.
3
Let x be 1/((-3)/(-6))*(15 - 12). Let j(f) = f**2 - 6*f + 3. Suppose -y - 28 = -4*d, -4*d = -7*d + 4*y + 34. Let w be j(d). Solve 0 = w*c - 3 - x for c.
3
Let s = -5 + 10. Suppose 3*u - 2*i = 9, -3*u + 4*i + s - 2 = 0. Solve 8 = -3*b + u*b for b.
4
Suppose 0 = 3*x + j - 3, -x = -6*x - j + 7. Suppose t - x = 1. Solve t*z + 2 + 4 = 0 for z.
-2
Let x(s) = s**2 - 11*s - 8. Let f be x(12). Solve -16 = -6*c - f for c.
2
Let t be (50/10 - 1*2) + -1. Solve -4 = -t*y - 8 for y.
-2
Let f(v) = -v + 4. Let j be f(4). Let t be 3*(-6)/(-117) + (-152)/(-26). Let p(s) = 4*s**2 - 3*s + 5. Let l be p(2). Solve -t*w + w + l = j for w.
3
Suppose -84 = -8*o - 4. Solve -5*u = -7*u - o for u.
-5
Suppose -r - 4*t - 11 = 0, 11*t + 8 = 7*t. Let z be 4 + (2/r)/(4/6). Solve -5*o - z = -28 for o.
5
Suppose -685 + 763 = 6*l. Solve -12*u - 47 = l for u.
-5
Suppose b + 67 - 69 = 0. Suppose p - 2*p = -4. Solve -b*u + u = -p for u.
4
Let l be -4 + 276/42 + 3/7. Let y(n) = -n**3 - 6*n**2 - n - 6. Let t be y(-6). Suppose t*d + 15 = 3*d. Solve -d*k - 2 = -l*k for k.
-1
Let q(i) = -i**2 + 9*i - 3. Let h = 7 + -2. Let c be q(h). Let w be (-2)/(-6) + c/3. Solve -2*k + w*k = -8 for k.
-2
Suppose -u = -4*n - 27, 5*u = 4*n + n + 150. Let k = u + -27. Solve k*z = z for z.
0
Let t be (9/6)/((-3)/4) - -4. Solve 15 = t*n - 5*n for n.
-5
Suppose 5*g - 6 = 4. Suppose -4*l + 10 = g*h - 6, 4*h - 16 = 0. Let c be l/14 - 170/(-35). Solve c*w = 11 + 4 for w.
3
Suppose -c = -7*c. Let k = c - 22. Let o = k + 26. Solve o*p - 16 = -0 for p.
4
Suppose -6*c + 20 = -4*c. Solve -c = -4*i + 10 for i.
5
Let l(a) be the second derivative of 1/2*a**2 - 1/6*a**3 + 2*a + 0. Let j be l(-3). Solve j*w - 2 = 14 for w.
4
Let q(b) = -12*b**2 + 97*b - 1. Let o be q(8). Solve -o*f = -5*f - 10 for f.
5
Suppose 2*x - 4*l + 8 = 0, l - 1 = x - 2. Let b(n) = -n**3 - 5 + 2*n + 6*n**2 + x*n - 1 + 0. Let i be b(7). Solve -q = -1 - i for q.
2
Let b(v) = -v**2 - 2*v + 2. Let p be b(-2). Let n be 9/6 - 69/(-6). Let q = n - 8. Solve q*u = p*u for u.
0
Let y(w) = -w**2 + 27*w + 590. Let x be y(-14). Solve -x*l - 3*l = 38 for l.
-2
Let j(s) = -s + 1. Let z be j(-2). Suppose z*k = k + 4. Solve k*m + 25 = -3*m for m.
-5
Suppose -4*q = -2*s - 4, 5*q + 3*s + s - 18 = 0. Solve q*k + 5*k = 14 for k.
2
Let b be 80/(-30)*(-6)/4. Suppose 5*y + 130 = -b*x - 122, 5*y = -3*x - 249. Let h be (160/y)/((-2)/3). Solve -4 = h*p - 6*p for p.
4
Suppose a - 6 + 24 = 5*t, -22 = -5*t - a. Solve -25 = -t*h - 9 for h.
4
Suppose 0 = -16*t + 24*t - 24. Solve -t = -y - 8 for y.
-5
Suppose c = -y + 84, 3*y - 5*c - 22 = 222. Let v = y + -63. Solve 0 = 8*h - 3*h + v for h.
-4
Let a(d) = -11*d - 58*d**2 + 6 + 10 + 57*d**2. Let p be a(-12). Solve 0 = -0*g - 2*g - p for g.
-2
Suppose -5*r = -4*d - 119, 54 + 10 = -2*d + 4*r. Let g = 28 + d. Solve 4 = -j + g for j.
-2
Suppose -131 + 67 = -2*x. Solve 5*h - x = 13*h for h.
-4
Let j(x) = x**3 + 8*x**2 - 5*x - 17. Let l be j(-8). Solve l = 6*c + 5 for c.
3
Let m = -168 - -171. Solve 10*h + m = 9*h for h.
-3
Let y = -683 - -687. Solve y*u = -3*u + 5*u for u.
0
Suppose -3*m - 5 = -248. Let h = m + -79. Solve -h*d = -0 - 8 for d.
4
Let c = -23 - 53. Let t = c - -81. Solve -5*o + 10 = -t for o.
3
Let p be -2*2*(-3)/4. Suppose -5*q + 12 = 3*m - p*q, q = 3*m - 12. Suppose -5*h + 2*v = -8, h - 2*h = m*v + 16. Solve -t - 3 - 1 = h for t.
-4
Let q be (-1515)/(-105) - 15 - 106/(-14). Solve q*w - 31 = -38 for w.
-1
Suppose 0*q = 3*q. Suppose 111 = -4*k - 3*s, 5*k - 3*s + 7*s + 138 = q. Let g be k/40 + 38/8. Solve -g*u = -11 - 1 for u.
3
Let u(b) = -63*b**3 + 2*b**2 - 6*b - 8. Let n be u(-1). Solve -48*s + n*s = -75 for s.
-5
Suppose -3*x = -13 + 1, 0 = -3*w - x + 25. Suppose 4*r = w*r. Solve 3*l + 2*l = r for l.
0
Let s(r) = r**3 + 8*r**2 + 3*r - 24. Let y be ((-60)/9 + 2)*3/2. Let x be s(y). Solve d = -d + x for d.
2
Let p(q) = -34*q**3 - 7*q - 7. Let y be p(-1). Solve 14*f + y - 90 = 0 for f.
4
Let p(u) = -u + 7. Let a be p(5). Suppose -2*n + 26 = -a*j, -n - 4*j + 23 = -0. Let c be 2/n - (-28)/(-210). Solve 0*v + 4*v = c for v.
0
Let b(t) = -6*t + 30. Let r be b(5). Solve g + 66 - 64 = r for g.
-2
Let n be 2873/(-52) + (-2)/(-8). Let y be -1 + (-24)/(-5) - 11/n. Solve 0 = -5*g - y - 1 for g.
-1
Suppose -s + 26 = s. Suppose 0 = s*d - 16*d. Solve z + z + 8 = d for z.
-4
Let t(q) = -q**3 + 3*q**2 + 7*q - 6. Suppose 2*c + 0 = 4. Suppose 2*z = -5*f - 3*z + 20, -8 = -2*f + c*z. Let l be t(f). Solve s + l = 3*s for s.
3
Let h be (-720)/(-32) + ((-6)/(-4) - 1). Solve -h*x + 22*x + 3 = 0 for x.
3
Suppose -3*q + 6 = -q. Suppose -2*r + 12 - q = j, 4*r + j = 17. Let m be -1 - (r/4)/(-1). Solve 0 = -2*s - m*s + 2 for s.
1
Let r(u) be the first derivative of u**3/3 - 5*u**2 - 22*u - 30. Let f be r(12). Solve -y = -3 - f for y.
5
Suppose -24 = -7*z - 3. Suppose z*i + 2*o = 23, -3*i - 5*o + 40 = i. Solve 2*q - 3 + i = 0 for q.
-1
Let h = 78 - 66. Suppose h = -3*g + 5*g. Solve 26 - g = 4*v for v.
5
Suppose -4*a + 2*c + 20 = 0, 3*c = a + 7*c + 13. Let w be a - 12/4*3. Let d = 11 + w. Solve d*m - m = 0 for m.
0
Suppose 20*n - 103 = 17. Solve 5 - 35 = n*z for z.
-5
Let g(u) = 2*u**3 + 13*u**2 + 15*u + 5. Let n be g(-4). Solve -y = n*y - 130 for y.
5
Suppose -48 = 203*r - 215*r. Solve 10*c = r*c - 30 for c.
-5
Let s = 8 - 6. Let a be -1 - (1/1 - s). Suppose a = 4*f - 2*f - 2. Solve -2*x = -x - f for x.
1
Suppose -9*h + 530 = 386. Solve 8 = -h*u + 8*u for u.
-1
Let d(c) = -11*c + c + 6*c**2 - 7*c**2 - 1. Let h be d(-7). Solve h = -9*x + 4*x for x.
-4
Let p be (4 - 1) + -9 + 8. Let r be p/(-2) + 2/((-2)/(-1)). Solve -4*i + r*i = -20 for i.
5
Let o(z) = 3*z**3 - 2*z**2 - z. Let u be o(3). Suppose u = -0*s + 12*s. Let g(h) = -h - 1. Let m be g(-4). Solve m*a = -2*a - s for a.
-1
Suppose p = 4*p - 15. Suppose x - p - 5 = 0. Let d be x/6 - (-6)/18. Solve -7*o + 20 = -d*o for o.
4
Let k = -137 - -57. Let s = k + 96. Solve -s = 4*w - 0*w for w.
-4
Let z = 8 - -22. Suppose 3*i = -3*i + z. Solve -l + 16 = -i*l for l.
-4
Let j be 0/(10/10 + -5). Solve 0 = -15*p - j*p - 15 for p.
-1
Let o(d) = -d**2 - d - 3. Let w be o(-6). Let a = w - -36. Solve 0 = a*q - 10 + 4 for q.
2
Let o be ((-28)/13 - 4/(-26)) + 4. Suppose -3*l + o*d = d - 6, l = 2*d - 3. Solve -n = -0*n + l for n.
-3
Suppose 0 = -9*g + 89 + 19. Solve 0*r - 4*r - g = 0 for r.
-3
Suppose 0 = -2*m - 30 + 20. Suppose 0 = 4*g - 3*g. Let v = g - m. Solve 0 = v*t - 0*t for t.
0
Let t(m) = m + 2. Let l be t(-2). Let o = l - -5. Solve -o*c = -2*c for c.
0
Let z be 4/(-6)*(-14 + 3 + -4). Solve 9*n = z*n - 4 for n.
4
Let g be (-496)/(-372) - 430/(-6). Solve 11*a - g = -29 for a.
4
Let t(i) = -i - 7. Suppose -2*m - 2*y = -12, 5*y - 20 = m - 8. Suppose -2*b - 2 = 0, -m*a - 28 = 5*b - 2. Let n be t(a). Solve -g + 0 + 3 = n for g.
3
Let l(g) = 30*g - 120. Let t be l(4). Solve 0*k + 0*k + k = t for k.
0
Suppose -3*z + z + 4*t - 84 = 0, -128 = 3*z - 5*t. Let h = -44 - z. Let g(k) = k**3 + 6*k**2 - k - 3. Let p be g(-6). Solve h*c + 1 = -p for c.
-2
Let j(p) = p + 1. Suppose 4*l = l - 21. Let n be j(l). Let g(k) = -2*k - 9. Let d be g(n). Solve -f - d + 1 = 0 for f.
-2
Let k = -193 - -193. Suppose f + 16 = 3*p, -5*p - 3*f = -2*f - 24. Solve -5*m + k*m = p for m.
-1
Let x(g) = 5*g**3 - 1. Let s be x(1). Suppose s*n - 2*f = 48, -6*n - f + 41 = -3*n. Suppose 4*y = -1 + n. Solve y*w = -w - 12 for w.
-3
Suppose -y + 15 = -5*b + 2*y, 0 = -b + 3*y - 15. Suppose 3*a - 5*x + 14 = 0, x + x - 8 = b. Solve 8 = a*t - 2 for t.
5
Suppose n = -6 + 31. Suppose -g = 4*g - n. Let q = -8 + 10. Solve -1 = -q*b - g for b.
-2
Let w = 257 - 255. Solve -w = 3*u + 10 for u.
-4
Let s(t) = 4*t +