 p + x, -2*m + 5*p = -27. Solve -m = 3*a - 0*a for a.
-2
Let j be (-6)/(-10) - 102/(-30). Suppose 0*v = j*v - n - 231, -2*n - 172 = -3*v. Let d be v/6 - 4/6. Solve -2*b + d = b for b.
3
Suppose 0 = -4*h + 4*f - 4, -5*h + 13 = f. Let r = h - -2. Suppose -7*s = -3*s - 40. Solve 0 = -r*q + s + 2 for q.
3
Suppose -l - 3*i - 6 = 0, -3*i - 8 + 2 = -4*l. Solve 5*s + 0 - 5 = l for s.
1
Let k(r) = -r**2 + 17*r - 15. Let b be k(12). Suppose b = 4*f + f. Solve -4*j + 25 = -f*j for j.
-5
Suppose -3*j + 2 = -2*j. Suppose 0 = j*c + f + 4*f - 26, -4*c + 28 = 4*f. Solve 2*r + c = r for r.
-3
Suppose -3 = -o + 1. Solve -d = d + o for d.
-2
Let w be -4*((-21)/(-6) - 3). Let t = w - -2. Let v be (2 + -1)/1 + 2. Solve -v*u + 8 - 2 = t for u.
2
Suppose 65 = 4*i + 1. Solve y + 3*y - i = 0 for y.
4
Suppose 4*o - o = 6. Suppose 3*t + 4*d = -d + 10, -2*t + o*d = 4. Let j = 33 - 13. Solve -5*a = -t*a - j for a.
4
Let g be -6*1/(-3)*1. Suppose -25 = -7*y - 4. Solve 0 = -y*s - g - 1 for s.
-1
Suppose 0 = -u + 12 - 3. Suppose 7*c = 2*c + 5, -3*p + u = -3*c. Let t be 16*(3 - (-27)/(-12)). Solve 0 = -p*k - t for k.
-3
Suppose b + 32 + 4 = t, 61 = t + 4*b. Suppose 3*x - c - 6 - t = 0, 4 = -2*c. Solve -4*a = -a - x for a.
5
Suppose -5*a = 4*h - 16, -8 = h - 3*h. Solve 4*s + s - 5 = a for s.
1
Let f(a) = -a - 7. Let i be f(-6). Let y be (-1 + (0 - i))/2. Suppose y = 4*j - 4 - 12. Solve -27 + 7 = j*m for m.
-5
Suppose 2*s + 4 = -2*z, s = 4*s + 6. Let c be (8/14)/(12/42). Solve z = v - c*v - 2 for v.
-2
Let c be 2/11 - (-2)/(-11). Suppose c = -5*w + 62 - 22. Suppose -4*z + 2*z + w = 0. Solve -p - 2 + z = 0 for p.
2
Let b(z) = -2*z + 7 - z**3 + z + 4 + 9*z**2. Let t be 54/(-4)*(-6)/9. Let x be b(t). Solve -3 = x*l - 1 for l.
-1
Let c(r) = -r**2 - 2 + 2*r**2 - 3*r + 2*r. Let n be c(2). Let o be n + (7 - (5 - 2)). Solve 1 = -o*y + 17 for y.
4
Let t(v) = -v + 10. Let i be t(5). Let a(u) = -u**3 + 5*u**2 - u + 5. Let d be a(i). Suppose -2 = -2*y + 6. Solve -y*w - w - 25 = d for w.
-5
Let n = 57 + -54. Solve 0 = -q - n*q + 8 for q.
2
Let i be 0 - 0 - (-6 + 6). Solve i = -3*x - x - 12 for x.
-3
Suppose -209*k + 213*k - 24 = 0. Solve -16 = -10*t + k*t for t.
4
Let m(u) = u**2 + 5*u + 2. Let n(s) = 2*s**3 + 3*s**2 + 2*s + 3. Let b be n(-2). Let d be m(b). Solve d*k = -0 + 4 for k.
2
Let x be (-3)/(-2 - (-14)/4). Let r be ((-27)/(-18))/((-1)/x). Solve -j + 8 = -r*j for j.
-4
Suppose 4*u - 13 = -1. Suppose -3*d + 2*h - 3 = -1, 5*h = -u*d + 26. Solve -m + d = -2 for m.
4
Suppose -4 = -2*f + 2. Solve f = -2*z - 7 for z.
-5
Let y be (-2 + 1)*(-5 - -3). Solve y*o = 10 - 0 for o.
5
Let o(q) be the third derivative of q**2 + 0*q - 1/60*q**5 - 1/4*q**4 - 2/3*q**3 + 0. Let j be o(-5). Solve -j + 3 = z for z.
2
Suppose 4*l + 4*k + 8 = 0, 0*l = -l + 5*k + 22. Solve l*t - 3 = -1 for t.
1
Let y be (-1)/2 + 3/6. Suppose 0 = -3*c + 24 + 27. Suppose -5*u + 3 = -c. Solve u*i = -y + 8 for i.
2
Let f be (7 - 1) + 0/2. Suppose n + 75 = f*n. Solve -2*j + n = -5*j for j.
-5
Suppose 5*n + 41 = -m, 0*n + 11 = -n - 3*m. Let i = n - -4. Let w = 0 - i. Solve -4*k = w - 0 for k.
-1
Suppose 0*w + 18 = w. Suppose -3*x + 0*x = -4*f + w, -24 = 4*x + 3*f. Let u(z) = z**2 + 6*z + 3. Let h be u(x). Solve 2*v + h - 5 = 0 for v.
1
Let d = 15 - 18. Let p(w) be the second derivative of -w**5/20 - w**4/4 - w**3/6 - w. Let f be p(d). Solve f*u - 15 = 6*u for u.
-5
Let h(t) = 6*t - 74. Let y be h(13). Solve 2*a = y - 0 for a.
2
Let o(q) = -q**3 + 2*q**2 - q + 2. Let c be o(2). Suppose -8 = -4*p, -3*t + 3*p = -c - 6. Solve 0 = -t*v - v - 25 for v.
-5
Let d = 12 + 13. Solve 0 = 3*w + 2*w + d for w.
-5
Let p = -6 + 11. Suppose r = p*i - 0*r + 7, 0 = 3*i + r + 9. Let a be 6 + (i + 3 - 4). Solve -a*j = -4 - 5 for j.
3
Suppose 21*m = 26*m - 5. Solve 0 = -5*o + m - 6 for o.
-1
Suppose 8*f + 504 = 5*f. Let q be 4/(-18) - f/27. Solve -26 + q = -5*w for w.
4
Let q = -12 - -17. Suppose 0*v = -v + q. Solve y - v = -1 for y.
4
Let d(w) = w**3 - 2*w**2 - 6*w - 3. Let n be d(4). Suppose 5*t + 70 = 5*x, -n*x + 49 = 4*t - 3. Solve -2 = -5*k - x for k.
-2
Let n(t) = 4*t**2 + t - 6. Let g(o) = 3*o**2 + 2*o - 5. Let q(x) = -3*g(x) + 2*n(x). Let i be q(-4). Suppose -j - i*j = -16. Solve -1 - 7 = j*z for z.
-2
Let s = 0 + 5. Suppose 15 = 4*d + d. Suppose 0 = -d*y - 2*y. Solve q + s = -y*q for q.
-5
Let n(c) = -c**3 - 12*c**2 - 12*c - 8. Let j be n(-11). Let s(m) = m - 3. Let l be s(j). Solve l*i = i for i.
0
Let s = 69 + -67. Solve s*q = -3 - 5 for q.
-4
Suppose 2*b + 8 = 6*b. Let r(h) = -7*h - 1. Let g be r(-2). Suppose 1 = -5*j + 2*j - 2*o, 2*o = -4*j + 2. Solve j*n = b + g for n.
5
Suppose -31 = -2*p - 1. Solve h + 2*h + p = 0 for h.
-5
Let h(y) = -3*y - 4. Let d be h(-3). Suppose 0 = -s - 0*s. Suppose s*u = -u. Solve d*m = -25 - u for m.
-5
Let k(n) = -n + 12. Let u be k(7). Solve 9 = -u*a - 16 for a.
-5
Suppose -5*w + 0*w = -10. Let f be 23 + 0 - (w + 1). Solve -g - f = 3*g for g.
-5
Let w be 3/(-2 - 2/(-4)). Let h = w + 3. Solve -h - 5 = -3*u for u.
2
Suppose 5*r + 28 = -2*d, 0*d - 3*r = 3*d + 33. Let x be (3/d)/((-3)/225). Solve -j = 4*j + x for j.
-5
Let f(q) = 3*q + 2. Let n be f(2). Solve 2*l = 2 - n for l.
-3
Suppose 0 = -5*b + 86 + 39. Let z be (30/b)/(4/10). Solve -z*q = -5*q - 4 for q.
-2
Let y = 76 - 60. Solve -4 = -5*s + y for s.
4
Suppose 0*h - d = 4*h - 6, -4*d = -h + 10. Solve u + 4 = h*u for u.
4
Let m(n) be the third derivative of n**5/60 + n**3/6 - n**2. Let w be m(2). Let s(d) = -10*d + 1. Let c be s(-2). Solve -c = w*k + 4 for k.
-5
Suppose -1 = -4*h - 1. Solve h = k + k for k.
0
Suppose -20 = -3*r - 2*r. Suppose 2*l = r*p + p - 7, 4*l - 4*p + 20 = 0. Let g be 4/(-2) - (l - -2). Solve 0 = 5*q + 3 + g for q.
-1
Let a be 3/(-4)*(0 - 80/12). Solve -4 + 14 = -a*j for j.
-2
Let u = 3 - 3. Suppose -3*n + u*n - 9 = 0, 2*k + 5*n + 5 = 0. Solve -k*x - 23 = 2 for x.
-5
Let a be 6/(-2)*15/(-9). Solve 5 = -a*f + 10 for f.
1
Suppose 3*z - 8 = g, -4*g + 3*g = -z + 4. Suppose -a = -z*a. Solve 4 + a = 2*t for t.
2
Let f = 8 + -6. Suppose f*s - 8 = -4*o + 4, -2*o - 3*s + 2 = 0. Solve o*q = 6*q for q.
0
Let v = 35 - 35. Solve v = w - 6*w - 10 for w.
-2
Suppose o = -l + 12, -o - 12 = -l - 0. Let m = 7 - l. Let b(n) = -n**2 - 5*n. Let p be b(m). Solve -5*f + 3*f - 10 = p for f.
-5
Suppose -30 = 4*t - 70. Solve -5 - t = -3*m for m.
5
Let s be (18/(-21))/((-2)/(-14)). Let n(j) = -j**2 - 8*j - 9. Let f be n(s). Solve 2*z = -f*z + 10 for z.
2
Let u(z) = -2*z - 10. Let o be u(-5). Let s(f) = -3*f - 3. Let r be s(-6). Suppose -5*v = -0*v - r. Solve v*h - h + 8 = o for h.
-4
Suppose 0 = -5*j - 5*q + 20, -2*q = -3*j + 3*q - 20. Solve -5*o + 10*o + 5 = j for o.
-1
Let h = -5 + 8. Suppose 7*x - 12 = 3*x, h*l = -x + 15. Suppose -10*v = v - 220. Solve l*p = -p - v for p.
-4
Suppose 0 = -2*m + m + 32. Let a be (m/10)/((-2)/(-5)). Suppose 2*n + a = 3*o, -5*o - 2*n + 26 = n. Solve 2*i + 2*i = -o for i.
-1
Let y be 0 + 0 + (0 - -4). Solve y*j = -2 - 6 for j.
-2
Let s(h) = -h - 10. Suppose -4*c = -5*c - 12. Let q be s(c). Solve -8 + 4 = -q*j for j.
2
Let b = 26 + -17. Solve b*t - 4*t = -10 for t.
-2
Let p be (-162)/(-21) + 4/14. Let v be (p/6)/((-2)/(-3)). Let s(t) = -t**2 - 2*t. Let b be s(-1). Solve v*q + b = -3 for q.
-2
Let q be 40/6*(-5 - -8). Suppose -4*i = -2*t + 40, -3*i + q = 4*t + i. Solve 0 = 3*p - 5*p - t for p.
-5
Let w = -9 + 2. Let p(u) = u**3 + 6*u**2 - 9*u - 8. Let j be p(w). Let d be j/21 - 33/(-7). Solve o = -0*o + d for o.
5
Let i = 39 + -19. Let d be (-6)/(-8) - 15/i. Solve d*s - 10 = 2*s for s.
-5
Let l = 20 - 18. Solve 5*n = 23 + l for n.
5
Let w(n) = 2 + n + 0 + 5. Let p be w(-5). Solve -p*j + 2 = -j for j.
2
Let m = -53 + 57. Suppose 0 = 5*n - 0*n - 15. Solve -1 = -m*x + n*x for x.
1
Suppose 3*j = -3*b + 6, 0*j = 4*b - 2*j - 32. Solve b*i = 4*i - 10 for i.
-5
Suppose 4*u + 25 = 5*s - 20, 3*s - 27 = 5*u. Solve 0 = -0*b + 3*b - s for b.
3
Let f = 16 + -13. Solve 1 - f = 2*k for k.
-1
Let s = 27 + -27. Solve 0 = -f + 2 - s for f.
2
Let k(q) = -q**2 + 5*q - 6. Let s be k(4). Let a(f) = -f - 2. Let w be a(s). Solve -2 = m - w for m.
-2
Let v(u) = -u**3 + 3*u**2 + u. Let p be v(3). Solve -x - 8 = p*x for x.
-2
Let r(t) = 2*t - 3. Let i be r(3). Suppose -5*f - 3 = -d, i + 6 = 3*d. Solve f*a = -a for a.
0
Let p = -3 - -18. Suppose -p = 2*c - 