. Suppose -2*v + 2 = -4*p, -2*v - 4*p = -3*p - 7. Let k = c - v. Solve k*d - 3 = -d for d.
3
Let y be (-2)/6 - 12/(-9). Let d be ((-4)/10)/(y/(-15)). Let v = d - 4. Solve -u = v*u for u.
0
Suppose 2*t - 10 = 2*v, -3*v - 15 = -3*t + 4*t. Let u be (4 + -4)*(-2)/(-4). Suppose z + u - 2 = t. Solve a = 6 - z for a.
4
Let z = 1 - -4. Suppose -y = -3*l - 3, -2*y + z = -3*l - 1. Solve -q + 20 = y*q for q.
5
Let o = -13 + 22. Let b = o + -1. Solve 8 = 4*g - b for g.
4
Let b(n) = -n**3 + 10*n**2 - 16*n + 6. Let r be b(8). Solve r*w = 7*w - 1 for w.
1
Suppose 1 - 19 = -6*l. Solve -l*p + 3 = -2*p for p.
3
Let d(o) = o**2 - 3. Let p be d(-3). Suppose -q - 4*y = 4*q - 12, -q - p = -2*y. Solve s = 5 - q for s.
5
Suppose -4*j = -3*k + 6 + 9, j = 3*k - 15. Solve 3*r = k*r for r.
0
Suppose 4 = 3*d - 8. Let t = -1 - 3. Let c = d + t. Solve c = -2*n - 2*n for n.
0
Let m(w) = -w**2 + 4*w + 1. Let f be m(3). Let u = f + 0. Suppose -3*p = -u*p + 9. Solve -4*x + p = -3 for x.
3
Suppose 5*x = -0*x - 4*w + 2, -w + 4 = 3*x. Suppose -x*h = h. Solve j + j - 10 = h for j.
5
Let z = -5 + 6. Let d(w) = 5*w**2 + 11*w + 5. Let c be d(-2). Solve -c = 4*f + z for f.
-1
Let t(j) = -j**3 - j**2 - 2*j - 1. Let w be t(-1). Suppose m - w = 2. Let d(f) = -f**3 + 4*f**2 - f. Let p be d(2). Solve m = r + p for r.
-3
Let j(z) = 2*z**2 - 44*z - 34. Let n be j(23). Solve 2*o = -o + n for o.
4
Let m(s) = s**2 + 2*s + 1. Let y be m(-2). Solve -3 = 2*t + y for t.
-2
Let v = -8 + 3. Let j(u) = -u**2 - 10*u - 8. Let i(k) = -k**2 - 9*k - 7. Let z(h) = v*i(h) + 4*j(h). Let r be z(-5). Solve -28 = r*f - 13 for f.
-5
Let i be 3*(55/15 - 2). Solve -2*v + i = -3*v for v.
-5
Let u = 27 - 54. Let z be ((-6)/(-9))/((-6)/u). Suppose -z*s + s + 16 = 0. Solve -g - s = g for g.
-4
Let j = 29 - 21. Let o(b) = b**3 - 7*b**2 - 6*b - 11. Let f be o(j). Solve 6*g + f = g for g.
-1
Suppose 3*b + 2*d - 9 = 0, 0 = 3*b + 3*d - 5 - 4. Let m = b - 3. Solve -o - 1 = -m for o.
-1
Let q(x) = -x**3 - 7*x**2 - 6*x. Let y be q(-6). Suppose y = 2*n - 4*n + 14. Solve -n*o + 2*o = -15 for o.
3
Suppose 0 = -2*s - 0 + 6. Suppose s*o - y - 3 = 0, 5*o = y - 5*y - 12. Solve o = g - 6*g for g.
0
Let y = 10 + -22. Let h be (4/12)/((-2)/y). Solve h*s - s + 2 = 0 for s.
-2
Let y be (-1)/(((-3)/(-3))/6). Let l = y - -7. Solve d = 3 + l for d.
4
Suppose -m = -4*c + c + 133, 2*c - 3*m = 84. Let y be 2/(-6)*c/(-3). Suppose -2*r + 7 - 3 = 0. Solve -y*u - 12 = -r*u for u.
-4
Suppose 2*z - 3 - 7 = 0. Solve -v = -0 - z for v.
5
Suppose 3*s + 9 = 0, 5*s - s = -2*p + 28. Solve 0 = 7*q - 3*q - p for q.
5
Suppose 2*c + c - 48 = 0. Solve 4*o + 0*o + c = 0 for o.
-4
Let j(w) = -w**2 - 20*w + 25. Let n be j(-21). Let g be (-1 + 0)/1 - -11. Solve m = -n*m - g for m.
-2
Let k(g) = g**3 + 4*g**2 - g - 2. Let m(x) = 2*x**3 + 3*x + 0*x - 3*x**3 - 2. Let u be m(2). Let o be k(u). Solve 0 = t - o*t for t.
0
Let p = -17 + 8. Let s be (0 + -6)*6/(-4). Let l = s + p. Solve 8 = -l*r - 2*r for r.
-4
Let y(m) = -m**2 + 12*m + 2. Let p be y(5). Suppose 7*a + p = 4*s + 2*a, 0 = -3*s - 4*a - 11. Solve -s*l = -6*l for l.
0
Let v be (4 - 9)*2/(-2). Solve v*j = j - 8 for j.
-2
Let p(h) = -h**3 + 8*h**2 - 9*h + 8. Let n be p(7). Let u be (2/n)/(11/(-33)). Solve -u = 2*z - z for z.
-1
Let n = 149 + -89. Suppose -4*s = s - n. Solve 4*p = p - s for p.
-4
Let x(b) be the first derivative of -b**3/3 + 3*b**2 + 7*b - 1. Let p be x(6). Solve 4*u - 5 = p for u.
3
Let i(z) = z + 4. Let p be i(-4). Suppose p + 2 = m. Suppose -3*l + 4*b = -29, -b - m = -5*l + 18. Solve -4*d + l*d = -3 for d.
3
Suppose -3*y - 14 = -y + 4*a, -3*y + 34 = -5*a. Solve -u - y*u - 20 = 0 for u.
-5
Let n = 1 - -5. Solve -x = -n*x + 10 for x.
2
Let z = -65 + 65. Solve 2*v - 5*v - 3 = z for v.
-1
Let w(d) = -d**3 + d + 2. Suppose 0 = 5*u - u - 2*j - 10, -u = -5*j - 25. Let h be w(u). Solve 0 = -h*y - 3 + 9 for y.
3
Let x be (-14 - -15)/((-1)/(-26)). Let u = x + -19. Solve 3*k - 5 - u = 0 for k.
4
Let b(z) = -5*z + 3. Let v be b(2). Let o = -1 - v. Solve o = -2*t - 0 for t.
-3
Suppose 216 = 4*n + 132. Solve 1 - n = 5*r for r.
-4
Let y = -11 - -18. Let w = y - 3. Suppose -w*q + 30 - 4 = 2*j, j + 29 = 5*q. Solve i + q = 1 for i.
-5
Let m(t) be the second derivative of -t**3/3 - t**2/2 + 5*t. Let k = 6 + -8. Let n be m(k). Solve 0 = 2*r + n*r + 15 for r.
-3
Let l = -19 - -19. Solve l = -3*z - z + 12 for z.
3
Let p = 194 + -192. Solve 2*n = 6 + p for n.
4
Let a be 11 - (3/2 - (-1)/(-2)). Solve -7*q + a*q - 6 = 0 for q.
2
Suppose 10 = 2*n + b, 5*n - 6*n + 5 = -b. Suppose -2*k = -n*k + 3. Solve -k + 3 = -2*h for h.
-1
Suppose -4*n - 15 = -9*n. Solve -2*g + 15 = n*g for g.
3
Let p = 20 + -12. Solve p = 5*g - 2 for g.
2
Let v be (-7)/35 + (-102)/(-10). Solve -3*q - 5 - v = 0 for q.
-5
Let y = -7 + 11. Let n be y - (0 - (-3 - -1)). Let z = n + 0. Solve 2*k = 4*k - z for k.
1
Let n = -3 - -9. Let g = 1 - 1. Suppose -n*r + r = g. Solve r = 5*p + 8 + 7 for p.
-3
Suppose -3*n + 44 = 5*t, 3*n + 17 + 39 = 5*t. Solve 0*k + 2*k = -t for k.
-5
Suppose 0*l = 3*l - 3. Suppose 4 = 4*c - 4*b, l = 3*c + 5*b - 6*b. Solve 2*w + c*w + 2 = 0 for w.
-1
Let l be (0 - 0)/(8/4). Let w = l - -4. Suppose k + 1 + w = -2*a, -10 = -2*k + a. Solve -r - k = -0 for r.
-3
Let o = 7 + 3. Let d be (4/3 + -1)*6. Solve d*n = -0*n - o for n.
-5
Let f = -12 - -12. Solve -4*k - 10 - 6 = f for k.
-4
Suppose m - 6 = -l, -3*m + 21 = 7*l - 3*l. Suppose 3*b - 9 = l. Solve -2*a + 6 + b = 0 for a.
5
Let i = 31 + -26. Solve -i*t + 3*t + 6 = 0 for t.
3
Let r(t) = t**2 + 2*t + 1. Let n = 2 + -4. Let x be r(n). Let f = 0 - 0. Solve f = -2*d + 9 + x for d.
5
Let t = 2 + 1. Suppose 0 = -t*k + 7 + 5. Solve s - 9 = k*s for s.
-3
Let f(o) = -o**2 + 16*o - 8. Let i be f(12). Suppose -5*z + 3*z + i = -2*u, 3*z = -4*u + 60. Solve -4*s = s - z for s.
4
Let b be (-12)/102 - 36/(-17). Solve -t + b*t = -4 for t.
-4
Let r(p) be the second derivative of -p**5/20 + 4*p**4/3 - 5*p**3/2 - 4*p. Let w be r(15). Solve a + 2*a - 12 = w for a.
4
Let y(c) = 3*c**3 - 4*c**2 + 2*c. Suppose 2*i = 5*i - 18. Suppose i*j - 8 = 2*j. Let l be y(j). Solve 0*n = 3*n + l for n.
-4
Let b(n) = n**2 - 23*n - 45. Let t be b(25). Solve -t = 3*u + 1 for u.
-2
Suppose 0 = -5*v - 3 + 8. Let l = 0 + v. Suppose -5 = -2*d - l. Solve d*z = 3*z - 5 for z.
5
Let u = -16 + 8. Let n be (u/(-12))/(2/15). Suppose -3*y - 4*w = -n*y + 2, 0 = -5*y + w + 32. Solve -5*q + y + 3 = 0 for q.
2
Let j = 4 + 1. Let d(u) = u + 2. Let t be d(0). Suppose 0*p + t*p = 8. Solve 1 + p = -j*g for g.
-1
Let r(z) = 3*z**2 + 5*z - 7. Let a be r(-3). Let y(p) = 0 + 5*p + 0. Let x be y(1). Solve -x*k + 0*k = a for k.
-1
Let o = -2 - -10. Solve 5*w + o = -7 for w.
-3
Let k(l) = -l**2 + 4*l + 5. Let x be k(5). Suppose -5*s = -s. Suppose s = -5*m + 9 + 6. Solve 2*q + 7 - m = x for q.
-2
Let x be (-20)/2*4/(-8). Let g = x + -6. Let t be (g/3)/((-2)/12). Solve 5*j - t - 18 = 0 for j.
4
Suppose -4*m + m + 2*j = -23, 0 = -2*m + 5*j + 30. Solve m*r - 20 = 10*r for r.
-4
Let c be 3 + -1 + 3 - 1. Suppose -2*s + c = -s. Suppose 16 = 5*m + 4*y, 1 = -m - s*y - y. Solve 0*w - m = -2*w for w.
2
Suppose -3*x = 4*n - 25, -4*n - 4*x + 39 = 11. Solve -n*w = -2*w + 4 for w.
-2
Let y = -6 + 6. Suppose u + y - 3 = 0. Solve 0*v = u*v for v.
0
Suppose 0 = s + 3 - 4. Let r(m) = -3*m + s + 4*m + 0*m. Let w be r(5). Solve 4*o = -w + 2 for o.
-1
Let g(u) = u**2 - 8*u - 20. Let m be g(10). Solve m*y - 4*y + 16 = 0 for y.
4
Suppose 8*r - 3*r + 10 = 0. Let t be 1 + (-2 - r) + 2. Solve t*k - k = -2 for k.
-1
Let h = 56 - 51. Solve h*y = 15 + 5 for y.
4
Suppose -5*z - 12 = 8. Let x be z/(-10) + 18/5. Solve -2*t + 0*t + x = 0 for t.
2
Suppose 3*i + 5*z - 22 - 18 = 0, 5*z - 20 = i. Suppose -5 = -3*m + i*q, 2*q = -2*m + 19 - 5. Let f be 1 - ((-2)/(-2) - 0). Solve -5*k - m = -f*k for k.
-1
Let d(z) = -5*z + 1. Suppose 5*f + 4*i + 14 = -21, 2*f + 5*i = -14. Let q be d(f). Let r be 133/9 - (-8)/q. Solve -2*l - l = -r for l.
5
Let w(i) be the second derivative of -i**3/6 - i. Suppose 0 = -2*y - 10 - 2. Let b be w(y). Solve -q - b = -3 for q.
-3
Let a = 5 + -2. Let b = -1 + a. Suppose -b*q + 20 = 3*q. Solve 3*s - q*s + 5 = 0 for s.
5
Let v(t) = 2*t**2 + 8*t - 6. Let k be v(-5). Suppose 0 = 5*f - 4*n - 11 - k, -6 = -2*f - 5*n. Solve s = -f*s + 8 for s.
2
Let h(q) = q**2 - 4*q