
Suppose 0 = -4*p + 9*p - q - 28, p = 4*q - 2. Solve 5 = -p*w + w for w.
-1
Suppose -27 = -4*j - 7. Let s(d) = d**2 + 0 + j + 0 - 13*d + 5*d. Let y be s(8). Solve o + 16 = y*o for o.
4
Let k be (-15)/(-2)*26/39. Suppose 0 = g - k + 1. Solve -t + g = -0 for t.
4
Let v(t) = -2*t**2. Let w be v(-2). Let q(y) = y**2 + 5*y - 9. Let h be q(w). Solve -4*o - h = -9*o for o.
3
Let b be 15/4 + (-3)/(-12). Let g = -4 + b. Let f be (-1 - -6)/((-1)/(-2)). Solve -f = 2*c - g*c for c.
-5
Let r = 24 - 18. Solve -5*v + 21 - r = 0 for v.
3
Let f be (7 - 5)/((-2)/(-6)). Solve 2*k - f = -2 for k.
2
Let w(p) = -p**2 + 13*p + 13. Let x be w(13). Solve 4 - x = 3*s for s.
-3
Suppose 97*n - 20 = 92*n. Solve 0 = -n*u + 4 + 8 for u.
3
Let l be (0 - 1)/(4/(-8)). Solve 5*i = l*i - 6 for i.
-2
Let p(t) = 0 - 2*t - 2 + 4*t. Let a be p(5). Solve 0 = a*j - 4*j + 16 for j.
-4
Let y(d) = -2*d - 1. Let b be y(-12). Let h = -8 + b. Solve -2*p + h = 3*p for p.
3
Suppose 19 = 3*m - 35. Let d(y) = -y**2 - 7*y - 10. Let k be d(-3). Solve 5*c = m + k for c.
4
Let z(w) = w**3 + w**2 + 1 - 7*w + 1 - 4*w**2 - 3*w**2. Suppose -3 = -2*v + 11. Let c be z(v). Solve c*m - 5*m + 12 = 0 for m.
4
Suppose 36 = -4*o + 56. Solve 0 = -o*p - 15 - 10 for p.
-5
Let c(z) = z**3 - 4*z**2 + 3*z + 2. Let o be ((-24)/20)/(2/(-5)). Let l be c(o). Let q = -1 + 1. Solve q = -0*k - l*k for k.
0
Let s(m) = -2*m - 7. Let q be s(-5). Let j(k) be the second derivative of -k**4/12 - k**3 + 3*k**2/2 + 4*k. Let o be j(-5). Solve o = v + q*v for v.
2
Suppose 5*h - 28 = -18. Solve 0 = 3*l - h*l - 1 for l.
1
Let m = -10 - -15. Let g = m + 15. Suppose 9*w = 6*w + 9. Solve a - g = -w*a for a.
5
Suppose 5*v + 3 = 3*h - 1, 3*h = v + 8. Suppose -5*j - 5*z + 14 = -16, -z = -5. Let o = v + j. Solve -y + o*y = 0 for y.
0
Let x = -7 + 11. Suppose -x*i = -0*i - 20. Suppose t = -1, -5*b = -3*b - t - 85. Solve 17 = -i*p + b for p.
5
Let i = -1 - -6. Let c be i + 0 + 0 + 3. Solve c*f = 3*f + 25 for f.
5
Suppose -5 = c - 11. Let k(w) = -w**2 + 6*w + 4. Let g be k(c). Suppose 1 + 7 = g*z. Solve q = -q - z for q.
-1
Let t be (-16)/28 - 160/(-35). Solve -i = -2*i - t for i.
-4
Suppose w = -3*w. Suppose 4*d + 4*t - 5 = -d, 5*d - t - 5 = 0. Let h = w + d. Solve q + h = 3 for q.
2
Suppose -53 = -5*u + 52. Let n be 10/(-4) - (-3)/6. Let x be (12/u)/(n/(-7)). Solve x*p - 3*p + 3 = 0 for p.
3
Let n(y) = -y + 14. Let g(a) = 3*a - 7. Let j be g(7). Let s be n(j). Let f = 1 + 5. Solve 0 = 2*l + f - s for l.
-3
Let o(f) = -f**2 - 4*f + 7. Let s be o(-5). Solve 0 = -3*q - 1 - s for q.
-1
Let k be 20/6 + (-8)/(-12). Let z(v) = v**2 + 9*v + 10. Let s be z(-7). Let y be s + 10 - k/2. Solve 0*p - y = -p for p.
4
Suppose 5*b - 4 = 6. Suppose 2 - 13 = -b*l + 5*a, 0 = -l - 5*a - 2. Suppose h - 8 = l. Solve h = 4*z - 9 for z.
5
Suppose b + 2*c = -0*b + 11, 5*b = 5*c - 5. Suppose 0*h = 5*f + 2*h - 3, -3*h - 6 = -b*f. Let q be f - 1 - (-1 - -1). Solve -2*v + 6 - 2 = q for v.
2
Let o(z) = -10 + z - z + 2*z. Let u be o(7). Suppose -u = -2*m + 4. Solve -i = m*i + 10 for i.
-2
Let n(h) = -h**2 - 7*h + 10. Let l be ((-16)/(-2))/(-4 - -3). Let b be n(l). Solve -z + b = 1 for z.
1
Suppose -4*s + 58 = -t, 5*s + 4*t - 28 = 55. Let w = 37 + s. Suppose -4*j + 44 = -3*c - 2*c, -c + w = 3*j. Solve 0 = 6*q - 2*q - j for q.
4
Let g be 3 + (-1 - (1 - 2)). Solve 5*c + 22 = -g for c.
-5
Suppose -5*v - 2*x = x - 26, 0 = -5*v - 2*x + 24. Let t(i) = i - 8. Let r be t(14). Let n = r - -6. Solve v*p = 4 + n for p.
4
Suppose 8*h = -2*r + 5*h, 2*r - 32 = 5*h. Solve -r = 13*b - 15*b for b.
3
Let j be (-2)/(-10) - (-48)/(-15). Suppose -q = -2*q - 1, -4*z = -q - 69. Let f be z*((-3)/j)/1. Solve -4*b = f - 5 for b.
-3
Let s = 15 - 15. Solve 3*h - 3 = -s*h for h.
1
Let h = 2 - 0. Let p be 18/8 + h/(-8). Suppose -16 = -5*t + t. Solve 0 = -t*i - 6 + p for i.
-1
Let h(w) = -2*w - 1. Let g be h(-6). Let r = g + -11. Solve -y = -r*y - 4 for y.
4
Suppose 5*t - 20 + 5 = 0. Suppose -t*f = 2*f - 5. Solve 0 = 2*u + 5 - f for u.
-2
Suppose -12 = 3*a - 7*a. Let h(l) = l. Let s be h(a). Suppose 0 = s*o - 22 - 8. Solve f + f = -o for f.
-5
Let j = -10 - -18. Solve j = -6*t + 2*t for t.
-2
Suppose 4*s - 4 = 5*x - 28, 0 = -x + 5*s + 9. Suppose -22 = x*l + 6. Let m be 4/(-14) + (-23)/l. Solve m*d + 20 = -d for d.
-5
Let u(a) = 11*a - 19. Let p be u(4). Solve 6*n = n - p for n.
-5
Let b = -3 + 0. Let x be -1 - -4 - b/3. Suppose -5*y + 4*y - 3 = 5*d, 0 = -y + 2*d + x. Solve -l - y*l = 0 for l.
0
Let b(i) = -3*i**3 - 5*i**2 - 3*i - 4. Let q be b(-2). Suppose -8*h = -4*h. Solve -u + q*u + 5 = h for u.
-1
Suppose 16 = 2*i + 2*v, -4*i = -0*v + 2*v - 22. Suppose 7 = i*l + 1. Suppose -l*m = -6*r + 3*r + 15, 25 = m + 5*r. Solve x = -m*x + 5 for x.
5
Let j be ((-20)/7)/(6/(-21)). Solve 2*p = 4*p + j for p.
-5
Let j be 3/(1*4/4). Solve -j*s = s for s.
0
Suppose 0 = -4*s + 36 - 8. Solve -23 = -4*m - s for m.
4
Let p(v) = 12*v - 4. Let h be p(3). Let k be h/14 - 4/14. Let b be (-4)/(-14) + (-2 - (-136)/14). Solve b = 4*x - k*x for x.
4
Suppose b = -2*l + l + 5, -b + 4*l + 5 = 0. Solve -b*y - 5 + 0 = 0 for y.
-1
Let u = 28 - 25. Solve 2*p = -p - u for p.
-1
Suppose -3*m + 7*m - 24 = 0. Suppose h = -2*h + m. Let b = 11 - 6. Solve 1 = -h*t - b for t.
-3
Let f = 5 + -5. Let s(d) be the second derivative of 5*d**3/6 - d**2 - 2*d. Let m be s(2). Solve -4*z + f*z = m for z.
-2
Let b be 0 - (-6 - 2/(-2)). Let n = -3 + b. Let d = 31 - 19. Solve -n*t - d = -2 for t.
-5
Suppose -5*w - r = -24, -4*w + 6*w + 2*r - 16 = 0. Let m be w*-1 - -1 - -5. Solve 5 - 1 = m*v for v.
2
Suppose -5*d - l + 22 = 0, -3*d + 5*l + 4 = 2. Solve d*a + 12 = -0*a for a.
-3
Suppose -3*g + 14 = -10. Solve g*k = 3*k + 20 for k.
4
Let h(o) be the second derivative of -o**3/6 + 5*o**2 - o. Let i be h(7). Solve -g = i*g - 20 for g.
5
Let y be 4/8*(13 - -3). Let m = -3 + y. Solve 4 + m = 3*i for i.
3
Suppose 0 = r - 5*j - 12, -4*j = -5*r + 2*r + 14. Suppose -r*y + 0*y = -6. Let t be (0 - -1)*(y + 1). Solve -t*f + f = -15 for f.
5
Let z(y) = -y + 2. Let j be z(2). Solve j*b = -b - 5 for b.
-5
Suppose -6 = -10*v + 7*v. Solve -v*i + 5 = -i for i.
5
Suppose 5*h - 35 = -5*v, 0 = v - 10*h + 5*h + 5. Suppose -v*p = -0*p. Solve 0 = -p*n + n - 4 for n.
4
Let l = 41 + -36. Solve -l*k - 12 - 13 = 0 for k.
-5
Let s be -3 + 3 + 0 + 0. Solve -2*d + 0*d - 6 = s for d.
-3
Let v be 26/10 + 12/30. Solve -8 + 2 = -v*q for q.
2
Let u(b) = b. Let f be u(2). Suppose -f*d + 6*d = -16, 11 = 5*c + d. Suppose 2*j + p - 13 = 0, -2*j - 2*j - 4*p = -28. Solve c*m - 3 = j*m for m.
-1
Suppose -r = -1, -4*r + 0 + 4 = a. Suppose -3*m - 2*s + 11 = 3, 4*m + 3*s - 11 = a. Suppose 5*y - 15 = m*o, 0 = 5*y + 3*o - 13 - 2. Solve y*u = u + 4 for u.
2
Let f(b) = -b**3 - 10*b**2 + 3. Let m be f(-10). Solve -m*u - 9 = -0*u for u.
-3
Suppose 0 = -f - 3*p + 8, -5*p - 12 - 8 = -5*f. Solve f*y - 3 - 2 = 0 for y.
1
Let z = 5 + -7. Let n = z - -12. Solve 0 = 4*x - 26 + n for x.
4
Suppose 0 = -2*t - 0 + 4. Let o(c) = 2*c**2 - 3*c + 3. Let q be o(t). Solve q = -b + 4 for b.
-1
Suppose 3*h = -h. Solve -u + 2 = -h for u.
2
Let s = -27 - -43. Let p = s + -11. Solve p - 1 = -a for a.
-4
Let u(a) = -a**3 - a**2 - 2. Let y be u(-2). Suppose -o + y = -g - 5*o, -4*g = -2*o - 10. Solve -g*c - 3*c = 25 for c.
-5
Let z(f) = f**2 + 2*f + 1. Let t be z(-5). Let r be 15/(-10)*t/(-3). Let w(b) = b**2 - 7*b - 4. Let x be w(r). Solve -x*u = -3 - 5 for u.
2
Let q(n) = -n**2 + 2*n + 5. Let j be q(4). Let g = -2 - j. Solve 2*h + 3 = g for h.
-1
Suppose -4*j - x = 3*x - 40, -2*j + 2*x = -12. Solve -v = v - j for v.
4
Suppose 3*c + 15 = -2*c. Let y(b) = 2*b**2 + 3*b - 3. Let g be y(c). Solve s = 3*s - g for s.
3
Let g = -1 + 4. Let t be 4/6 - (-10)/g. Solve -5*l - t = 11 for l.
-3
Let v(i) = -i**2 - 3*i - 3. Let q be v(-2). Suppose 4*x - 36 = -n, -n = 3*x - 22 - 5. Let p be 1/((q + 2)/x). Solve -s - p = 2*s for s.
-3
Let i(k) = -4*k - 41. Let g be i(-11). Solve c = -g*c for c.
0
Let f = 3 - -17. Solve -3*k + f = -7*k for k.
-5
Let a(k) = 3*k - 1. Let s(c) = -2*c + 1. Let r(z) = 5*a(z) + 6*s(z). Let j be r(1). Solve 0*n - j*n - 12 = 0 for n.
-3
Let m(x) = 2*x**2 - 44*x - 46. Let v be m(23). Solve v*a = -3*a - 3 for a.
-1
Let p be (2 - 24/9)*-6 + 2. Solve 19 + p = 5*q for q.
5
Suppose -7 = -k - 11. Let j(u) = u**3 + 5*u**2 + 2*u