 -5*z = -3*p - m + 7, z - 4 = -p. Solve -f + 0*f = z for f.
-5
Suppose 6 - 3 = n. Solve n*j + 15 = -2*j for j.
-3
Let t be -4 + 1 + (17 - -1). Solve 0 = u - 6*u + t for u.
3
Let r = -3 + 5. Suppose -4*b + n + 21 = 0, -3*b = 3*n - n - r. Suppose 5*i - 3*j = b, 6*i - 5*j = i. Solve -3*o + 8 = i for o.
2
Let v = 17 + -7. Solve -2 = 4*g - v for g.
2
Suppose u = -2*c - 3*c - 30, -2*c + 15 = -5*u. Let w be (-1 + u/3)*-3. Suppose 8 = 4*v, -2*n = -7*n + 2*v + 11. Solve n*f + 1 = -w for f.
-3
Suppose 5*w = -2*l + 14, -7 = -2*w + 2*l + 7. Let r be ((-2)/(-3))/(w/(-6)). Let b be (2 + -1)*(-1 - r). Solve 0*m - m + 1 = b for m.
1
Suppose -2*v - 2 = 2. Let w be 0*-2*v/(-8). Solve -u = -w*u - 3 for u.
3
Suppose -4*m = 4*y + 24, 2*y + 5*m = -2*y - 26. Let f = -4 - y. Solve -4*b + 4 - 20 = f for b.
-4
Let t be 1 - 3 - (-11 - -3). Suppose -a - 15 = 4*a. Let r = 5 + a. Solve 0 = r*l + t - 0 for l.
-3
Suppose -4*v + 960 = 5*r - v, v = -5*r + 970. Let p be (-1)/4 + r/(-20). Let k = p - -18. Solve -n - n = k for n.
-4
Let a(d) = -d**2 - 23*d - 39. Let u be a(-21). Solve 0 = r + u - 1 for r.
-2
Let j be 0/(-1 + 2 + -3). Solve -2*v + v = j for v.
0
Let a(v) = 4*v**2 + v + 1. Let t be a(-1). Let k be (2/t)/((-1)/(-4)). Suppose -4*i = -5*u - 20, i - 5 = -k*u - 0. Solve u = 2*c - c - 5 for c.
5
Let v(q) = -q**3 + 5*q**2 - 3*q + 3. Let d be v(4). Solve -3 = -2*j + d for j.
5
Let i(s) = -s - 4*s**3 + s**3 - 5*s**3. Let k be i(-1). Solve 0 = -3*o - 3 - k for o.
-4
Let c(x) = -x**3 - x**2 - 2*x + 1. Let t be c(-3). Let a = -1 + 1. Suppose a = 3*m - 5*b + 13, 0 = -m - m + 5*b - 17. Solve m*u - t = -u for u.
5
Let c = -16 - -19. Solve 20 = c*t + t for t.
5
Let f be ((-1)/3)/(4/(-24)). Suppose -f*i = -7*i + 20. Solve 0 = -4*c - i for c.
-1
Let r be ((-12)/4)/(6/4). Let a be (r/(-5))/((-9)/(-45)). Solve -a*f = 3*f for f.
0
Suppose -5*o - 2*r - 1 = 2, -2*o + 5*r - 7 = 0. Let y be (o/2)/(3/(-30)). Suppose y*q - q = 8. Solve -q*v - v = -15 for v.
5
Suppose 34*r - 30 = 31*r. Solve -r = 2*t - 0*t for t.
-5
Suppose 2*w + 19 - 39 = 0. Suppose 0*v + v - 2 = 0. Suppose 0 = l + 3, -2*a = v*l + 2*l + w. Solve a = -2*d - 9 for d.
-5
Let d be (-56)/(-35) - (-6)/(-10). Suppose -d + 11 = 5*r + 2*w, -15 = 4*r - 3*w. Solve r = -2*s - s for s.
0
Suppose 4*y = -u + 11, 15 = 5*y + 2*u + 2. Let v be 1 + (0 - -2)/(-2). Suppose 4*a = -y*o + 24 - 8, v = -o. Solve -a*p + 19 = 3 for p.
4
Let t(k) = -k**3 - 12*k**2 - 12*k - 5. Let b be t(-11). Solve 8*p = b*p for p.
0
Suppose -3*m = 5*g - 14, -3*m + g - 4*g = -12. Solve -m*c + 4*c - 5 = 0 for c.
5
Let b be 0/((-2)/(1/(-1))). Suppose b = -4*q + 7*q - 60. Solve s + q = 5*s for s.
5
Suppose 2*u - 6 = -s, 8*u - 3*u - 25 = -5*s. Let o be (-1 - u)/((-8)/12). Let k(j) = -2*j**3 - 2*j**2. Let h be k(-2). Solve -o*t + h = -4 for t.
4
Suppose -2*a = -5*b + 9 + 17, -2*a - 20 = -4*b. Solve -3*s = -s + b for s.
-3
Let q be 18 + -22 + 1*9*1. Solve -q*z = -0*z - 25 for z.
5
Let x be ((-2)/(-1))/((-1)/(-2)). Let r(j) = -j**2 + 9*j + 13. Let c be r(10). Suppose 3 = -c*u + 15. Solve u = x*n - 4 for n.
2
Suppose -4*z + 4*r - 12 = 0, -25 = -3*r - 2*r. Solve z*l - 20 = -3*l for l.
4
Let i(f) = -f**3 - 4*f**2 - 3*f - 6. Let p be i(-4). Solve -2*z = -0*z - p for z.
3
Suppose -2*k + 4*k = 6. Solve -2 - 1 = -k*h for h.
1
Let d = 6 + -4. Let f(q) = -q**2 + q - 2. Let u be f(d). Let b = -2 - u. Solve -b*c = -0 + 4 for c.
-2
Let u be (-22)/(-7) - (-1)/(-7). Solve 21 - 9 = -u*n for n.
-4
Let i = -9 - -9. Suppose i = 2*r - r. Suppose 4*c + 0*c - 20 = r. Solve -13 + 3 = -c*w for w.
2
Suppose -56 = -5*n - 16. Suppose 0 = -5*w - 2 - n, -5*w - 4 = 2*l. Suppose -s = l*s - 8. Solve d + 2 = s*d for d.
2
Let j be (0*(-1)/(-2))/(-2). Suppose 2*w - w = j. Suppose w = -5*g + 14 + 6. Solve -k + 0 = -g for k.
4
Let q(w) be the first derivative of -w**4/2 + w**3/3 + 5*w**2/2 + w + 9. Let d be q(-2). Solve 4*k = -d - 9 for k.
-5
Let a be 3/(-2)*(-50)/15. Suppose 5*i + 5 = 5*f, 0*f = 2*f + i - a. Let p be ((-12)/6)/((-2)/f). Solve 0 = -p*g + 7*g + 25 for g.
-5
Let g be 78/4*(-11)/(-33)*2. Solve -3*u = 1 - g for u.
4
Let q be (-26)/(-4) - (-4)/(-8). Let v be 32/14 + q/(-21). Suppose 5*n + 2*l = 26, 2*n - 28 = -v*n - 4*l. Solve -n*r + r + 9 = 0 for r.
3
Let q(r) = 6*r - 3. Suppose -1 = 5*p - 21. Let i be q(p). Solve i - 5 = 4*k for k.
4
Suppose 5*g = -2*a + 35, -5*g = a - 4*a - 10. Suppose p - 45 = -3*p - 5*h, 0 = p + a*h - 30. Solve 0 = -3*q + p*q + 8 for q.
-4
Suppose -43 = 5*m - 3. Let a = m + 8. Solve a = o - 5*o for o.
0
Suppose -2*c - 2*k + 48 = 3*k, -2*k - 62 = -5*c. Let u = -14 + c. Solve l = -u + 3 for l.
3
Suppose -5*q + 2 = -13. Suppose 4*o + 33 = -3*g, q*g - 1 = 2*o + 2. Let c be o/(-15) - 38/(-5). Solve -3*y = y - c for y.
2
Let t(q) be the third derivative of 7/6*q**3 - 1/120*q**6 - 2*q**2 + 1/3*q**4 + 0 - 1/10*q**5 + 0*q. Let c be t(-7). Solve -5*d + c*d = -5 for d.
1
Let x = -6 - -7. Suppose -p = -x, -o - 5*p = -9 - 3. Suppose 3 = -6*g + o*g. Solve -2*u - g = u for u.
-1
Let c = 16 - 7. Solve -11 = -5*q + c for q.
4
Suppose d - 3*d = -2. Let f be 1/d + (-48)/(-4). Solve -4*v + 5 = f for v.
-2
Let z = -2 + 3. Let o be 2 + -4 + 2 + z. Suppose 0 = -5*a + 3*a + 10. Solve 0 = -a*y + 9 + o for y.
2
Let s be (-3)/(-6) - (-21)/2. Let y = -7 + s. Solve 4*v - 2*v = -y for v.
-2
Let d = 15 + -11. Suppose -2*o - 5*t - 3 = -2*t, 0 = -d*o - t + 19. Solve -2*s = -o*s - 8 for s.
-2
Suppose -3*k + 2*b + 8 = 0, -2*b - 5 = -3. Solve 0 = -m - k*m for m.
0
Suppose -4 = -3*r - 5*i, -8*r + 6*r = -4*i - 10. Solve -r*s = -4*s - 3 for s.
-3
Suppose 5*l + 0*l - 15 = 0. Suppose l*s + 5*k = 13, 5*s + 3*k - 26 = -k. Suppose -h - 3*g = -2*g - s, 3*g = 9. Solve -m + 0*m = h for m.
-3
Suppose -3*f = 2*f - 10. Suppose 12 = f*t + t. Let p(k) = k - 4. Let g be p(7). Solve 1 = -g*z + t for z.
1
Let z be ((-22)/1)/(4 - 6). Let n = z - 4. Solve -2*x = -n + 1 for x.
3
Let y = 10 - 6. Suppose 5*j - 7 = -y*x, -4*x + 4 = -x + 4*j. Solve 3*d + x = -7 for d.
-5
Let x = -3 + 3. Suppose 6 = -x*b + 3*b. Solve -5*o = -b*o for o.
0
Suppose -5*k = 3 - 23. Let a(i) = 4 - 2*i + 0*i + 3*i. Let o be a(-4). Solve o*b + 4 = k*b for b.
1
Let q be ((-3)/(-6))/(4/24). Solve q*s + 4 = 7*s for s.
1
Let z = 74 + -45. Suppose -51 = -5*i + z. Solve 0 - i = 4*a for a.
-4
Let d(m) = -2*m**2 - 26*m + 4. Let w be d(-13). Solve 9 = w*p - 3 for p.
3
Let s(c) = -4*c - 1. Let u be s(-1). Solve u*m - 1 = -4 for m.
-1
Suppose -2*g + 0*u - 21 = 5*u, -g - u = 3. Suppose 2*j - 32 = -2*j. Let a be -12*-1*10/j. Solve g*v + 3*v = -a for v.
-3
Let r be (-1)/(-6) + (-47)/(-6). Let u be (-2)/r - 51/(-12). Suppose -u*g = -7*g. Solve -2*f + g*f + 6 = 0 for f.
3
Let l(q) = q**2 - 9*q + 20. Let t be l(9). Solve 0 = -3*u + 8*u + t for u.
-4
Let g be -8 + 21 - (-2 + -1). Let h(o) = -o**2 + 4*o + 15. Let s be h(6). Solve s*j = -j + g for j.
4
Let r(x) = -x**2 + 12*x + 15. Let a be r(13). Solve -a*g - 1 = 3 for g.
-2
Let m be -2*7*-1 - 2. Let z(q) = -2*q**3 + 12*q**2 - 2*q + 12. Let p be z(6). Solve -4*a + m = -p*a for a.
3
Suppose -18 = -2*g - 4*z - 0*z, 2*z = 4*g - 26. Suppose -g = 4*c - 43. Solve c = 4*v - 7 for v.
4
Suppose 30 = 5*q + q. Suppose 4*u = 20 - 0. Solve -20 = -u*t - q for t.
3
Suppose 5*x - 2*x = -15, -c - 2*x = 11. Suppose 3*p - 5 = 2*b, 0 = 2*b - p - 3*p + 2. Let d = c - b. Solve 3*u - u = d for u.
3
Let x = -4 - -5. Let w be (1/(-3))/(x/(-12)). Suppose 10 = -w*c + 9*c. Solve -15 = 5*f - c*f for f.
-5
Let s(p) = -2 + 7 + p**2 - 3 + 1 + 2*p. Let n be s(-2). Solve 0 = n*k + 9 - 3 for k.
-2
Let y = 47 + -44. Solve -3 - 6 = -y*q for q.
3
Let v(i) = -2*i - 28. Let k be v(-12). Let n = 1 + -3. Let d = n - k. Solve 3*l - 1 = d*l for l.
1
Let f be 1/(-2) + 18/(-4). Let v = f + 10. Let r be v/((-5)/(-2)) + -2. Solve r*y - 8 = 4*y for y.
-2
Let u = -16 - -19. Let i be (1 + -1)/(u + -4). Solve i = 3*k - 0 - 3 for k.
1
Suppose 7 = -5*v + 27. Suppose -v*o - o - 15 = 0. Let f = 1 - o. Solve 1 - f = u for u.
-3
Let r(q) = -2*q + 20. Let z be r(9). Solve 4*u = z*u for u.
0
Let c(l) = 2*l**2 - 15*l + 19. Let v be c(7). Solve 3*b + v = 7*b for b.
3
Suppose -5*b + 2 + 3 = 0. Suppose 3*r = -0*m + 2*m - 14, 2*r + 21 = 3*m. Suppose -b = -z + m. Solve 0 = 5*y - 2 - z for y.
2
Let k = -46 + 48. Solve 4 = k*w + 12 for w.
-4
Suppose 11*s = 6*s - 40. Let k = s - -11. Solve -k*b -