 -p*w for w.
-4
Suppose -2*c = -m - 2*m + 12, 2*m + 2*c = -2. Solve 1 + m = 3*w for w.
1
Suppose 5*x + 2*z - 115 = 0, -8*z - 43 = -3*x - 4*z. Let w be (x/(-2))/7*-2. Solve -4*i = -w*i for i.
0
Let t = 2 + 6. Suppose 0 = -3*a + 6, -2*b + t = -5*b + 4*a. Solve b = 4*p - 2 - 6 for p.
2
Suppose 2*v + 7 = -2*l + 19, v + 2*l = 7. Let s be ((-1)/(-3))/((-1)/(-6)). Solve s*a - 3 = v*a for a.
-1
Suppose 0 = 4*g + 2*h + 2*h - 4, h = 2*g - 8. Suppose 9 = g*z - 0. Solve -z*y - 4 = -1 for y.
-1
Let z(k) = -k - 6. Let u be z(-6). Solve -4*f = -u*f + 4 for f.
-1
Let v(p) = 5*p - 9. Let h(k) = -k + 1. Let g(w) = 4*h(w) + v(w). Let l be g(7). Suppose -3*z + 4 = -l. Solve -3*d = -z*d + 2 for d.
-2
Let b be 2/(-5) + (-102)/(-30). Suppose -2 = b*n + 4*c, -5*n + 0*c - 3*c = -4. Solve -2*x + 0 = n for x.
-1
Let x be 6/(-15) - (-44)/10. Let p(q) = q**2 + 3*q. Let v be p(-3). Suppose -8 = -x*c - v. Solve h = 3*h - c for h.
1
Suppose -4*t - 3*n - 29 = 33, -5*n - 10 = 0. Let s = t - -8. Let w = s + 6. Solve w = -2*b + 4*b for b.
0
Let g = 208 + -117. Let j be 3/6 - g/2. Let y be (-1)/4 - j/20. Solve -y*r + r - 5 = 0 for r.
-5
Suppose 0 = -r - 3 + 7. Suppose 11 = 3*w - r. Suppose 0 = -5*k + 5*z + 10, -w*z + 11 = 2*k - 21. Solve 0 = j + 2*j + k for j.
-2
Let k(z) = z**2 - 7*z + 9. Let r be k(6). Solve 3*f + 0 = r for f.
1
Let i(o) = -o - 1. Let l be i(-9). Suppose l*r - 5*r = 0. Solve r*q + q = 0 for q.
0
Let x(o) = -o**3 - 12*o**2 - 10*o + 16. Let v be x(-11). Suppose 5*a - 3*i = 3*a - 5, v*i + 17 = -3*a. Let g = 6 + a. Solve -g*k - 3 + 1 = 0 for k.
-1
Let y(s) = s**2 + 9*s + 8. Let p be y(-8). Solve -5*o + 19 - 44 = p for o.
-5
Suppose -2 = -0*g - g. Let d(x) = -1 - 1 + x + 0 + 4. Let q be d(-2). Solve q*p = -g*p for p.
0
Let s be (-3)/(-3 - -4 - 2). Suppose -4*z = 16, 0*z - 3*z - 21 = -s*c. Solve -c*q + 2*q = 5 for q.
-5
Suppose 2*h + k = 23, -3*h + 4*h + 5*k = -2. Suppose c - 4*m + 2 = -3*m, -2 = -4*c - m. Solve c = -5*n + 12 + h for n.
5
Let w be (-4)/(0 + 1 - 3). Let f = -5 + 19. Solve -w = 3*s - f for s.
4
Let g be (-2)/(2/3*-3). Solve 0 = -o - 0 - g for o.
-1
Let r = 30 - 23. Suppose -6*g = -r*g + 2. Solve -3*k = -2*k - g for k.
2
Let s be 4/(-2) + (6 - 2). Suppose 3*o - o = s. Solve -4*a + 3 = -o for a.
1
Suppose -4*p + 9 = -p. Suppose 0*h + p*h = 5*z - 19, -3*h + 11 = z. Let u be 9 + -2 - (h - 1). Solve -u*n - 5 = -n for n.
-1
Suppose 3*h + 2 - 8 = 0. Solve -3*c = -h*c + 2 for c.
-2
Let n(z) = 2*z**2 + 6*z - 8. Let q(t) = 3*t**2 + 12*t - 15. Let f(g) = -5*n(g) + 3*q(g). Let i be f(4). Solve i*m + m = 0 for m.
0
Suppose 0 = 2*d - 3 - 1. Let b = -2 - -6. Solve b*u - d*u + 10 = 0 for u.
-5
Suppose -14*d - 6 = -16*d. Suppose 6 = -d*t - 3*w, -2*t = 2*w + 2*w + 14. Solve -t*i + 2 = -1 for i.
1
Suppose 3*q + 14 = 5*q. Solve -5*b = -18 - q for b.
5
Suppose 0 = d - 3*d. Let u be (6/(-4))/(2/(-16)). Solve 5*f - 8 - u = d for f.
4
Suppose 0 = -5*q + 11 + 9. Solve 1 = 5*u - q for u.
1
Suppose -c = 2*c. Solve -4*f + f - 15 = c for f.
-5
Let n(v) = -v**3 - 3*v**2 + 5*v + 3. Let k be n(-4). Let m = k - -1. Let w be 3 + 21 + 1 + m. Solve 2*t = -3*t + w for t.
5
Let j(y) = y**3 - 4*y - y**3 + 5 + y**3 - 2 + 3*y**2. Let m be j(-4). Let q = -1 + 1. Solve m*l + q = 3 for l.
1
Let m be -3 + 0 + 2 + 1. Suppose m = -2*c + z + 7, 5*c = -4*z + 5*z + 16. Solve -c*l = l + 4 for l.
-1
Suppose 3*o + 2*m - 10 = 6*m, 0 = -2*o + 2*m + 6. Let a(u) = u**3 - 5*u**2 - 6*u + 3. Let k be a(6). Let y be (0/k)/(-1)*1. Solve f + o + 0 = y for f.
-2
Let c(r) = r**2 + 22*r - 15. Let h be c(-23). Solve h = -f + 3*f for f.
4
Suppose 2*n + 2*n - 6 = a, -a + 5*n = 9. Solve 7*w = 4*w - a for w.
-2
Suppose 4*r = 3*o - 60, 27 = 2*o + 4*r - 33. Suppose 3*t = 5*t + 8. Let h be t/(-14) + (-99)/(-21). Solve -h*w + 9 = o for w.
-3
Let p(f) = -3*f**3 + f + 1. Let v be p(-1). Suppose 55 = v*d + 2*d. Suppose -8*n + 3*n = -20. Solve n*s = -9 - d for s.
-5
Let q be 2 - (-2 - (-10 - -2)). Let l(p) be the first derivative of -p**4/4 - 4*p**3/3 - p**2/2 + 4*p - 1. Let c be l(q). Solve 0 = -2*m + c for m.
4
Let l be (-16)/12*3/2*-10. Solve -d = -6*d - l for d.
-4
Let k be (2/(-3))/(1/(-3)). Suppose 2*t + 8 = 4*t. Suppose -10 = t*n + k*d, -2*d - 5 = -n - d. Solve -j - 2 + 3 = n for j.
1
Let j(u) = 40*u**2 - u - 1. Let n be j(-1). Let t be n/(-12)*12/10. Let s = 6 + t. Solve -3*d = -s*d + 4 for d.
-4
Let s = 23 + -21. Solve s*z = 5*z for z.
0
Suppose t + 5*y + 18 = 2*t, 0 = -2*t - y - 19. Let w be 2*(1 + (-21)/6). Let p = w - t. Solve 2*i = i - p for i.
-2
Let n = 15 + -10. Solve 8 = n*o + 23 for o.
-3
Suppose 4*v = 8 + 12. Let a(l) = l**2 - 2*l - 3. Let s be a(4). Solve 0 = s*g - v - 0 for g.
1
Let p(y) be the first derivative of -y**3 + 1/2*y**2 + 2*y + 1 + 1/4*y**4. Let a be p(3). Solve a*q + 14 + 1 = 0 for q.
-3
Suppose 0 = 3*p - 2*l - 148, 3*l - 185 - 18 = -4*p. Suppose -x - p = -6*x. Suppose -3*y = -y + 4, -4*b = 3*y - x. Solve 0 = c + c - b for c.
2
Let f(u) = u**2 - 2*u - 15. Let h be f(7). Solve 0 = -6*g + 2*g + h for g.
5
Suppose o = -o + 6. Solve -d - 1 = -o for d.
2
Let a = -10 - -15. Let x(u) = -7*u. Let o be x(-3). Let f be 74/6 + 14/o. Solve a*g = f + 7 for g.
4
Suppose 5*s = -q + 31, s - 3*s + 34 = 4*q. Suppose -m = -0*m - q. Let a = -2 + m. Solve 0 = 4*o + a + 4 for o.
-2
Suppose 0 = 16*k - 11*k - 50. Solve -14*w = -k*w for w.
0
Let l = 0 + 3. Let h be -2 + (1 - -2) + 2. Solve l = h*w - 4*w for w.
-3
Suppose 6 = 9*b - 6*b. Solve t + b*t + 15 = 0 for t.
-5
Let p = 4 + 3. Let c = 1 + -3. Let d = p + c. Solve 4*l = -1 + d for l.
1
Let z(f) = -4 + 6*f - f - 2*f**2 + 3*f**2. Let w be z(-7). Suppose v - 2*u = -w, -v - 3*u = 2*v - 15. Solve v = -2*g + 9 - 3 for g.
3
Suppose 6*b - b - 10 = 0. Solve b*g - 3*g = 3 for g.
-3
Suppose 4*v - 62 = -a, 127 + 17 = 3*a - 2*v. Suppose 0*x = 5*x - a. Solve x = i - 3*i for i.
-5
Let h = -6 - 3. Let k = h + 9. Solve k = -g + 2 + 3 for g.
5
Suppose 4*m = -m + 30. Suppose 0 = 5*z - 4*r - 36, -8*z = -3*z - r - 24. Solve -m - 6 = z*k for k.
-3
Suppose -3*d + 24 = 5*d. Solve -d*w = -w + 4 for w.
-2
Let c(w) = -w**3 - 2*w - 1. Let f be c(-1). Suppose 2*r + 8 = t, f*t + 3*r = 5*t - 24. Solve 2*y - t = -0 for y.
4
Suppose 0 = 5*j - 2*m - 6, -j + 0*j - 8 = -5*m. Solve 5*y - j = 3*y for y.
1
Let v(i) = 2*i**2 - i - 8. Let n(r) = r**2 - 4. Let p(y) = 9*n(y) - 4*v(y). Let w be p(-5). Let o(s) = s - 1. Let d be o(w). Solve d = 3*f - 3 - 9 for f.
4
Suppose 3*j + 5*u + 67 = 0, 3*j + 76 = u + 21. Let c = j + 26. Solve -16 = c*d - 3*d for d.
-4
Let d(g) = -g**3 + 5*g**2 - 2*g + 6. Let k(z) = 3*z - 1. Let p be k(2). Let q be d(p). Let m = -1 - q. Solve 0 = -3*v + m + 3 for v.
2
Suppose -4*s = 17 - 77. Solve 3*m - s = 6*m for m.
-5
Let o = -21 - -10. Let q = o - -13. Let x be 2*1*2/4. Solve -q*d - 5 = x for d.
-3
Suppose 5*c = 2*c + 2*b + 14, -4*b - 8 = -c. Solve u + c = -0*u for u.
-4
Let y = 0 - -4. Solve -r + 0 - y = 0 for r.
-4
Let j be (1/(-3))/((-3)/18). Suppose -10 = -j*r - 2. Suppose -r*o = -11 - 5. Solve 2*k - o + 0 = 0 for k.
2
Let n(b) = -b**2 + 11*b + 2. Let a(l) be the third derivative of l**5/5 - l**4/12 + l**3/6 + 3*l**2. Let q be a(1). Let r be n(q). Solve r*g - 12 = 5*g for g.
-4
Suppose -k - 3*y + 3 = k, 3*k - y = 10. Let w(a) = a + 4 + 0*a**2 + a**2 + k*a. Let n be w(-4). Solve z - n = -z for z.
2
Suppose 0 = j + 1, 5*j = 6*m - 2*m - 5. Solve m = -4*k - 0*k for k.
0
Suppose -5*v = -b - 25 - 25, 2*b + 1 = -v. Let i(m) = m**2 - 8*m + 9. Let p be i(v). Solve 5*u - 3 = -p for u.
-3
Suppose 2*c = 2 + 6. Suppose c*a - 16 = -0*a. Let t be 2/(-8) + 9/a. Solve -17 = -t*k - 7 for k.
5
Let p(b) = -b - 1. Let k be p(8). Let m = k + 9. Let n = m - -3. Solve 6 = 3*q - n for q.
3
Let v(j) = -5*j**3 - 2*j**2 - 2*j - 1. Let s be v(-1). Suppose 0 = 2*p - 4*a - 6, -4*p - 3*a - 28 = -7. Let d be (p - -3)*(-1)/2. Solve s*z + z = d for z.
0
Suppose 2*u - 3*u - 1 = 0. Let t = 5 + u. Solve -s - t = 3*s for s.
-1
Suppose -2*f + f = 0. Suppose k - 3*k + 2 = f. Solve 3*v + 5 = -k for v.
-2
Let s be (-9 + 0)/(15/(-20)). Let u = s + -10. Solve -d - u = -4 for d.
2
Let z be (1/3)/(2/18). Let d = -1 + z. Let x be 33/9 + d/(-3). Solve 0 = -3*p + 6 - x for p.
1
Let a(u) = -u**2 + 8*u - 12. Suppose -4*h + 29 = 3*q - 0*q, -2*q = -4*h + 14. Let s be a(h). Solve 0 = s*t - 2*t - 3 for t.
3
Let h be 17/3 - 2/(-6).