 Suppose j = 3*i + w*j - 3, 4 = -2*j. Solve -c - 16 = i*c for c.
-4
Suppose 0 = -3*s - l - 3*l + 16, l - 13 = -3*s. Solve -5*r + s = -16 for r.
4
Suppose 3*p - 12 = 3*x - 3, -16 = -4*x. Solve -p = 5*q + 13 for q.
-4
Let c be ((-69)/(-2))/3*-2. Let v = c + 38. Suppose -3*d = -5*o - 0*o - v, 25 = 4*o + 5*d. Solve o = p - 2 for p.
2
Let x(v) be the second derivative of v**3/6 + 4*v**2 + v. Let n be x(-7). Solve 2*b - n = b for b.
1
Let b = 19 + -19. Suppose -g + b + 3 = 0. Let d = -1 - -4. Solve 0 = g*c - 12 + d for c.
3
Let t be (-30)/4*(-9)/(-27)*-2. Solve -t*x = -2*x + 12 for x.
-4
Suppose r + 32 = 5*r. Let s = -4 + 6. Let a = 6 - 3. Solve a*u = -s + r for u.
2
Suppose -3*f - f = -96. Let i = f + -13. Solve 3*p + 4 = -i for p.
-5
Let n be -1*(4 - 3) - (-1 + 0). Solve t = -n - 3 for t.
-3
Let p(z) = z**3 - 6*z**2 - 9*z + 17. Let a be p(7). Solve -a*h + 0 = 3 for h.
-1
Let p(u) = -u**2 - 9*u - 10. Let r be p(-7). Suppose -r*x + 1 = -11. Solve -s = -x*s for s.
0
Suppose -3*t = -5*i - 3, -2*i + 6 = -t + 2*i. Suppose 3*r = n - 6*n - t, 0 = -r - 4*n - 9. Let o be (-1)/(-1) - r - -15. Solve 3 = -2*a + o for a.
5
Let x(v) = v + 12. Let h be x(-9). Let l(m) = 11*m**3 - 2*m**2 + 1. Let o be l(1). Suppose 4 = -3*g + o. Solve g = -5*c - h for c.
-1
Let b = 128 - 123. Solve b*l = -0*l + 5 for l.
1
Let s be ((-6)/(-30))/((-1)/(-15)). Solve 0 = -s*i + i + 2 for i.
1
Suppose 0 = 2*x + 2*x + 4*j + 4, 5*x + 1 = -4*j. Let i = 3 + x. Solve -3*l - i = -15 for l.
3
Suppose k - 2*f = -8, 5*k - f - 3 - 2 = 0. Suppose -d - k*p = 6, 3*d - 2*p + 4 = -d. Let u be (0*(-1)/(-3))/d. Solve -5*m + 3*m - 8 = u for m.
-4
Suppose -54 - 61 = -5*j. Solve -15 = -4*d - j for d.
-2
Let w(p) = 8*p. Let s be w(1). Suppose -4*g = s*o - 3*o + 8, 2*o + 6 = -3*g. Solve -a = -o*a for a.
0
Let x be -1 + 0/2 - -1. Suppose 3*u = 3*a - 3, -3*u + a = 4*a + 21. Let q be u/2 - (-17 + 0). Solve -q = 3*s - x*s for s.
-5
Let v = 18 - 36. Let g = v + 34. Suppose -4*t + 0*t + g = 0. Solve 2*d = -2*d - t for d.
-1
Let a be 0 - 0 - (-1 - 1). Solve f = -a*f for f.
0
Let i be (1 - 2)*(8 + -15). Solve 3 = 2*w + i for w.
-2
Let i(a) = -a**3 + 5*a**2 + 9*a - 10. Let t be i(6). Solve 0 = 2*o - 2 + t for o.
-3
Let p = 9 + -3. Let x be ((-64)/12)/((-4)/p). Solve -2*z + 0*z = x for z.
-4
Let j be (2/6*0)/1. Let z be (-38)/(-8) + (-4)/(-16). Solve j = z*b - 3*b - 2 for b.
1
Suppose 3*u = -4*k + 13, -3*k + 0*k + 10 = 2*u. Let m be (-2 + (1 - 1))/u. Let c = 38 - 26. Solve 0 = -m*d - d - c for d.
-4
Let x = -3 - -7. Solve -1 + 13 = x*w for w.
3
Suppose 3*z + 11 + 12 = 5*w, 2*z - 29 = -3*w. Let f = w + -5. Solve -5*b = -f*b + 6 for b.
-2
Let z(i) = i**2 + 4*i - 4. Let l be z(-5). Suppose y - l = 1. Solve m = -m + y for m.
1
Suppose 0 = -r - 2*x + 4, -3*x - 2*x = -5*r - 25. Let g be (-1 - -3) + r + 3. Solve 7 = 4*n + g for n.
1
Let h = 1 - -5. Suppose -h = -3*m + m. Let v = m - 3. Solve -2 + v = x for x.
-2
Suppose -2*h - h = -3*z - 15, 2*h - 5*z = 16. Let o = 72 + -70. Solve -o*j - h = -j for j.
-3
Suppose -2*s = 3*j - 11, 2*j + 11 = 4*j + 5*s. Solve 2*v = 1 + j for v.
2
Let l(x) = -x**3 - 13*x**2 - 11*x + 15. Let g be l(-12). Let c(p) = 10*p**3 - p**2. Let i be c(1). Solve 0*v + i = g*v for v.
3
Let j = -8 + 2. Let z(h) = -h**2 - 9*h - 3. Let m be z(j). Let o be 35/m - (-4)/6. Solve -9 = 3*r - o for r.
-2
Suppose -6*j = -3*j - 9. Suppose 7*o = 17*o - 170. Solve -o = j*s - 2 for s.
-5
Let b(l) = -3*l + 22. Let k be b(6). Solve 0 = -4*x - 24 + k for x.
-5
Let s be (-2)/(-1) - (11 - -1). Let x = 15 + s. Suppose 0 = -x*k, 2*z = -3*z - 2*k + 10. Solve -z*p + 1 = 5 for p.
-2
Suppose 5*h - 24 = -4. Solve -9 = h*v - v for v.
-3
Suppose 1 = -3*m + 13. Suppose 2*u + m - 6 = 0. Suppose 16 = 3*b + u. Solve -2*l = -b*l for l.
0
Let g be (2 - 0) + 1 + -1. Let m(v) = -v - 3. Let l be m(-3). Let p = g - l. Solve 4*w - 2 = p*w for w.
1
Suppose 16 - 6 = 3*y - 2*k, -3*y + 5*k + 25 = 0. Solve -3*m + 8 + 4 = y for m.
4
Let m be ((-14)/(-6) + -3)*(-2 - 7). Solve -h - 25 = -m*h for h.
5
Let o = -20 + 23. Solve -o*q - 6 = -0*q for q.
-2
Let w = -15 + 30. Suppose -5*t = -85 - w. Suppose 3*s - 15 = -3. Solve -s*b - 8 = -t for b.
3
Suppose 0 = -h - 5*i + 29, i - 23 = -2*h - 2*i. Suppose -u + h = -0. Solve -u*z + 8*z = 20 for z.
5
Suppose 0 = -o - 5*k - 4 + 6, 0 = 5*k + 5. Solve -4*q - o = 9 for q.
-4
Let b = 4 - 4. Let f(k) = -k + 4. Let i be f(b). Let v be -2 + i + -1 + 2. Solve -2*g = v*g for g.
0
Let a be -4*(-4 + 15/12). Let d = 18 - a. Solve -d*b + 2*b - 15 = 0 for b.
-3
Let o = -1 + 1. Let q(z) = -z - 1. Let h be q(5). Let t be 9*(4/h + 1). Solve -t*b = -o + 6 for b.
-2
Suppose 3*r - 5 = -p + 2, 4*r - p = 14. Suppose 2*c - 17 = -7. Suppose j + 4*d = r*j, 4*j + c*d - 26 = 0. Solve 7 = -j*n - 5 for n.
-3
Let t(z) = -z**2 - 4*z + 1. Let u be t(-3). Suppose 0 = -5*x + 3*n - 15, x + u*n = -2*x + 20. Solve x = i - 1 for i.
1
Let j be (-3)/3 + 13*-1. Let d = j + 8. Let a = d + 8. Solve -a*x - 2 = -3*x for x.
2
Suppose 0 = -16*a + 18*a - 6. Solve j = -a + 5 for j.
2
Let n(w) = -5*w - 107. Let a be n(-22). Let o be ((-10)/8)/(2/(-8)). Solve o*k = -a - 12 for k.
-3
Let i(r) = -r**3 + 2*r**2 + 2. Let s be i(2). Suppose -h + 4 + 2 = -q, 0 = h + s*q + 6. Solve h - 17 = 5*z for z.
-3
Suppose -5*d = -26 + 1. Let p = 21 - 17. Solve -q + d = p for q.
1
Suppose 2*w - 3*w = 0. Suppose w*q = -4*q + 12. Let y be (3/9*5)/((-2)/(-6)). Solve y*x = q + 22 for x.
5
Let b = 27 - 25. Suppose 2*w + 9 = 3*l, 2*w - 4*l + 21 = 7. Solve w*c - 10 = -b*c for c.
2
Suppose -5*k + 6*k = -5. Let d(i) = i**2 + 4*i - 5. Let z be d(k). Solve -b = -z*b + 1 for b.
-1
Suppose -c + 1 = -3. Suppose 0 = 5*m - 5, 2*m = 3*p - 0*m - 7. Let h = -1 - -1. Solve h = -p*t + 2 + c for t.
2
Let j(k) = 8 - 9*k - k**2 + 2*k**2 + 2*k. Let c be j(6). Suppose 3*b = c + 10. Solve b*l - 3*l - 4 = 0 for l.
4
Let y be (3/(-2))/((-1)/(-2)). Let a be y/1 + 3*2. Solve a*m + 1 = 10 for m.
3
Let k(u) be the first derivative of -u**4/4 + 14*u**3/3 + 3*u - 2. Let x be k(14). Suppose -s = -g, 0*s - 20 = -s - x*g. Solve 2*f = -1 + s for f.
2
Let r be 1 - 2 - -3 - -14. Suppose -2*i - r = -2*w, -2*w - 8 = -3*w + 3*i. Solve 4*a + w = 6*a for a.
4
Let n(k) = -k. Let d be n(-2). Solve -z = -2*z + d for z.
2
Suppose 0 = 4*g, g - 30 = -a - 2*g. Suppose -4*m - 4*l + 32 = 0, -4*m - l + a = 7. Solve -m*x - 2 = 3 for x.
-1
Let l(p) = -p**3 - 5*p**2 - 4*p. Let k be l(-4). Let r be 2/(k + (2 - 1)). Suppose -5*c = 4*f - 60, -f + r*f = -3*c + 29. Solve 12 + c = 4*o for o.
5
Suppose -2*p - 3 = p, -4*p + 66 = 5*d. Suppose d = 4*b - 14. Solve -2*a + b*a + 25 = 0 for a.
-5
Let w be 3/((-4)/(-37 + -3)). Let t = -29 + w. Solve 0*o + t = -o for o.
-1
Let r(q) = 3*q - 33. Let f be r(11). Solve f = -3*t + 5 - 17 for t.
-4
Suppose 2*l + 3*p = 4 - 20, -4*p = l + 13. Let x(c) = -2*c - 7. Let a be x(l). Suppose -r + 3*h = -4 - 7, 3*h = 5*r - 43. Solve a*q = -q - r for q.
-2
Suppose 3 = -3*n + 36. Suppose -4*t - i = -n, -13 = -2*t - 0*i + i. Suppose -5*w = 5*b - 4*b - 15, t*w = 0. Solve -2*x + 5*x - b = 0 for x.
5
Suppose 5 = -j - c + 4, -5*j + 2*c + 9 = 0. Solve -b - 2 = j for b.
-3
Suppose -15 = -3*z - 3*u, 5*u - 16 - 7 = -4*z. Suppose 17 = 3*i + z. Let g = 9 - i. Solve -7 = g*m + 5 for m.
-3
Suppose 4*a = -o - o + 12, -3*a = 5*o - 51. Let s = o + -12. Solve w + s = 4 for w.
4
Let i(z) = 4*z + 2. Suppose -w - 2 = -0. Let o = 0 - w. Let g be i(o). Solve 0*n + 2*n = g for n.
5
Let d = 46 + -18. Solve d = -5*v + 8 for v.
-4
Suppose 0 = -5*x + 2*x + 6. Solve 1 = x*v - 1 for v.
1
Let i be 1 + 0 + -2 + 3. Suppose 0 = 4*x + i*v - 14, 0 = 4*x - 0*v - 4*v + 4. Suppose -y - x*y = 0. Solve y*d + 20 = 5*d for d.
4
Let h(x) = -x**3 + 8*x**2 - 4*x - 5. Let d = 6 - 2. Let n be h(d). Let v be (-4)/(-18) - n/(-9). Solve -2 = -v*c - 22 for c.
-4
Let q be ((-184)/(-32))/(2/(-8)). Let u = -19 - q. Solve -2*g = u - 0 for g.
-2
Let l(w) be the second derivative of -w**5/20 + 5*w**4/12 + 7*w**3/6 - 4*w. Let f be l(6). Solve f*h - h = 0 for h.
0
Let p = -3 + 7. Suppose -f = -2*f + p. Suppose -4*z = -5*s + z + 25, -6 = 3*s + f*z. Solve -8 = -s*j + 2 for j.
5
Let z be (0 + -3)*44/(-11). Solve t - z = -3*t for t.
3
Suppose 0 = 5*w - 20, 4*m - 5*m = -2*w - 4. Suppose 0*t - 4*t = 0. Suppose t*v + v = 5. Solve 13 = -v*a - m for a.
-5
Suppose 0 = -s - 2*s + 3. Let