ose -p + r = 2*p. Solve c - p*i = -3, -2*i + 20 = -4*c + 8 for c.
-3
Let k = -17 - -37. Let j be ((-2)/5)/(3/(-15)). Suppose -j*p = -4*x + k, 4*x - p - 18 = -0*x. Solve 2*s = -2*s + 20, -2*s = -x*l - 6 for l.
1
Suppose 29 = 3*f + x, -15 = -5*x + 2*x. Solve -2*s + z = 12, 5*s + 2*z + z = -f for s.
-4
Suppose 0 = -2*o + 38 + 132. Suppose -5*c - 2*i = -o, -4*c - i + 68 = 4*i. Suppose -5*h + 9 + 41 = 0. Solve y + 2 = -4*r + c, 2*r + 4*y = -h for r.
5
Suppose 0*t + 2*u = 3*t - 67, -4*u = -3*t + 59. Let s = 1 + -3. Let j = 5 + s. Solve 5*m + 11 = p, 0 = -j*m - 7*p + 3*p - t for m.
-3
Let b = 5 + -5. Suppose 0*m - 2*m + 8 = 0. Let g = 14 + -11. Solve a - m*a + 4*k = -24, b = -g*k - 9 for a.
4
Suppose -4*h - 81 + 97 = 0. Solve h*v + 41 - 13 = -5*d, 0 = d - 2*v for d.
-4
Suppose 3*f - 1 = q, 0 = -5*q - 2*f + 7*f + 5. Solve 4*s + 1 = h - 1, 5*h = q*s - 8 for h.
-2
Let l be 3*2/6 - 0. Let u be (l - 3) + 4 + -3. Let z = 4 + u. Solve -z*f + 4*b - 1 = -2*f, 5 = -5*f - 5*b for f.
-1
Let d = -37 - -44. Solve 3*h - 12 = 3*v, -3*h - 2 = -3*v + d*v for h.
2
Suppose 0 = -5*l + 5*q - 15, -4*l + q = -1 - 2. Suppose 0 = -o + v - 2, 5 = -o - l*v + 4*v. Let c = o + 1. Solve w + 4*m + 4 = 2*m, -c*m - 8 = 3*w for w.
-2
Let v = 5 + -5. Solve -4*h = 2*l + l - 16, l - 4 = v for h.
1
Let u(a) = -a**3 - 7*a**2 - 6*a. Let d be u(-6). Solve -4*x + 5*x = -2*k - 4, -x - 2 = d for k.
-1
Let o(l) = -l**2 + 7*l + 4. Let k be o(7). Suppose 0 = 4*b + 8, 5*a + 6*b = k*b + 11. Solve -9 = a*m - 4*s, -5*m + s = -s + 15 for m.
-3
Let l be (6/4)/((-2)/(-4)). Let d be 5/(-3)*18/(-5). Suppose -3*r + l = -d. Solve 0 = 5*f + 2*p - 6, 2*f = -p + 6 - r for f.
0
Suppose 10 = -5*b - 25. Let r = -4 - b. Solve -q + 0*q = 4*f + 3, r*f = -6 for q.
5
Suppose -p - 20 = p. Let w(m) = m**3 + 9*m**2 - 9*m + 12. Let f be w(p). Solve f*g = 5*v + g - 22, -2*v + g + 10 = 0 for v.
4
Suppose 0 = 2*o - 11 + 3. Suppose -o*l + 10 = l. Let q = 5 + -2. Solve -6 = 4*i - l*n, q = -6*i + i + n for i.
0
Let w(b) = -b**3 + 6*b**2 - 5*b + 7. Let s be w(5). Let f = -1 + s. Solve -2*k + f = -3*o, -4*k - 2*o = k + 4 for k.
0
Suppose -11*q + 16 = -7*q. Solve k + 3 = 2, 24 = q*o - 4*k for o.
5
Let l be 1/4 + 4/(-16). Let s = 5 + l. Let n(q) = -2*q - 1. Let o be n(-3). Solve -s*d + o = 5*b, b - 3 = -5*d + 2 for d.
1
Suppose -2*w + 13 = -w. Suppose 1 - 11 = -2*v. Suppose v*j = w + 12. Solve 2*r + 2*q = -2*r - 14, -3*r - j*q - 7 = 0 for r.
-4
Suppose -3*k = 4*v + v + 13, 2*v + 10 = 0. Suppose -3*w = -k*x - 89, -2*w + 27 = 2*x - 9. Solve -j + d - 1 = 0, 3*j + 2*d - w = -1 for j.
4
Let l = 27 - 23. Suppose 5*z = 2*z + r + l, r = 2. Solve 6 = -z*i, 0*i - 4*i - 12 = 5*w for w.
0
Let t be ((-5)/2)/(-5)*-2. Let w be (3/2)/(t/(-2)). Let h(r) = 2*r**2 - 20*r - 22. Let x be h(11). Solve -n - 21 = w*n + o, x = -5*o - 25 for n.
-4
Suppose -3*x - 4*c + 7 = 0, c = -x - 2*c - 1. Solve -2*r + 5*o + 15 = 3*r, x*o = 10 for r.
5
Let c(r) = r + 12. Let a be c(-9). Solve 8 = 2*m, 7*g - a*g + 2*m = 24 for g.
4
Suppose n = 2*q - 3, -4*n = -5*n + 3. Solve 0 = q*l + v + 2*v - 21, -22 = -4*l - v for l.
5
Suppose -3*c + 71 = -0*c - 5*i, 0 = 4*c - 2*i - 76. Solve -j - f = 4*f - c, 3*j + 4*f = 7 for j.
-3
Let w(g) = 5*g**2 - 2*g - 1. Let v be w(2). Let m = v + -8. Solve -c + 2*y = -m, -y - 25 = 4*y for c.
-3
Suppose -3*t = -5*q + 445, -3*q - 2*t = t - 291. Suppose -2*r + q = 2*r - 4*f, 0 = -r - 2*f + 26. Solve 2*n - o + 3 - 7 = 0, -n + r = 5*o for n.
4
Let d = 12 - 12. Let k be (-1 - d)*(-4 + 0). Solve 0 = k*p - 3*t + 1, -t = p + 4*t + 29 for p.
-4
Suppose -2*k + 1 = o, -5*o + 7 = 5*k - 3. Solve 0 = -4*a + 4*v - 0*v - 8, o = 2*a + 5*v for a.
-1
Let u be (12 - 9) + (-1 - -2). Suppose u = -r + 7. Suppose -3*g = -13 - 2. Solve 3*o + 5*m = -6, r*o - g*m = 7*o + 8 for o.
-2
Let s be 3 - 6*(-4)/(-8). Suppose -n + 0*n = s. Solve -3*z - 3*v = 18, n = -3*z - 4*v - 10 - 12 for z.
-2
Suppose 5*s + 3*o - 49 = 2*o, -2*s + o + 21 = 0. Let r(g) = -g**2 + 6*g - 5. Let i be r(5). Solve 5*b - 3*m = -14, 2*b = -i*b - 4*m + s for b.
-1
Suppose 8 = 68*w - 66*w. Solve 4*n - 23 = -w*y + 5, 0 = 3*n + 5*y - 29 for n.
3
Let v(o) = -5*o - 15. Let m be v(-6). Solve -4*i - 2*t - 7 = -1, 0 = 5*i - 5*t + m for i.
-2
Suppose 5*a - 20 = 0, 0 = p + a - 4 - 2. Solve p*m = 7*m - 3*f + 10, 0 = 2*m - 3*f - 5 for m.
-5
Let n = 19 + 0. Let u = n - 4. Let r be ((-2)/((-6)/u))/1. Solve z + q + q = 0, -2*z = r*q for z.
0
Let d = 28 + -14. Solve -31 = o + o - 5*j, 0 = -3*o + j - d for o.
-3
Let l = 22 - 21. Solve 2*i - 4*k = -8, -l = 2*i - 2*k + 5 for i.
-2
Let p(k) be the first derivative of 5*k**4/4 + 1. Let o be p(1). Solve 3*u + 4*q - 14 = 0, -o*u = -0*q + 4*q - 10 for u.
-2
Let w(j) = j**2 - 4*j - 12. Let k be w(6). Solve -27 = -5*a - 2*h, k*h + 4 = 4*h for a.
5
Suppose -3*k = -5*x + 38, 4 + 0 = k. Let p be (-2)/(-3)*(1 + 5). Solve -3*z + 5*b = 2*z + x, -5*z - p*b + 26 = 0 for z.
2
Let j = -2 + 24. Solve -5 = 2*k + 3*b - j, -12 = -4*b for k.
4
Suppose -3*r - 22 = 2*c, -3*r + 3*c + 18 = -5*r. Let h = r + 8. Solve -3*s + l + 0*l = -13, h*s + 3*l = -6 for s.
3
Let y = 70 - 70. Suppose 0*q = 2*q - 10. Solve q*n = -0*o + 2*o, y = -5*n + 10 for o.
5
Let z = 2 - 0. Suppose -3*y + 2*y + z = 0. Suppose j = -y*r + 15, -j = -3*r - 0*r. Solve 5*s + 3*a = -7 + 2, 3*s + 3*a = -j for s.
2
Let a(z) = -z**3 + 12*z**2 - 11*z + 3. Let k be a(11). Solve k*l = -4*u - u - 4, 0 = 3*u + 3*l for u.
-2
Suppose -q - j - 22 = -3*j, -q - 2*j = 6. Let h be (1 - q) + (-1)/(-1). Solve 4*c + 10 + h = -5*i, 0 = 4*c + 16 for i.
-2
Suppose -5*l - 10 = -45. Let f = l - 5. Solve 2*a + 4 = f*w, 5*w - w - 6 = 3*a for a.
-2
Let f = 24 + -16. Solve -5*x = 2*r + f, -r = 3*x - 2*r + 7 for x.
-2
Let z = -2 + 6. Let m be (-4)/(-14) + 3 + 515/35. Suppose -j - 2*j + 15 = 0. Solve 4*f + j*t = 2 + z, -3*f + 3*t = -m for f.
4
Let o = 17 + -12. Solve -25 = 5*p - o*j, p + j - 5 = -3*j for p.
-3
Let h = -15 + 10. Let w be h/((-5)/2) + -2. Let f = -7 + 11. Solve -2*b - 2*s - 12 = w, f*b + 0*s = 5*s - 6 for b.
-4
Let n(d) = d**2 - 7*d + 15. Let b be n(5). Let k(f) = -f + 10. Let h be k(5). Solve -u - 2*t = -13, -b*u + 9 = t - h*t for u.
5
Suppose -4*n + 26 = 2*m, 3*n + m = 7 + 11. Let t(j) = -34*j**3 - 2*j**2 + 1. Let d be t(-1). Solve -2*w + d = n*v, v - 4*w = -2*v - 1 for v.
5
Let l be (-2)/(-2)*(-4 - 0). Suppose -2*k - 52 + 10 = 0. Let s = l - k. Solve -2*m = -4*d + 22, 4*m + 4*d = m + s for m.
-1
Let k = -2 - -3. Let x be k + 1*3/(-3). Let i be (x/(-5))/(1 - -1). Solve i = l, -3*u - 16 = u + l for u.
-4
Suppose 4*t - 2*d = -8, 0 = -5*t - 2*d + 4*d - 11. Let k be (-3 - 0)/t - -3. Solve -5*c - b + 7 = 0, 5 - 17 = k*b for c.
2
Suppose 15*j + 20 = 20*j. Suppose 5*c = 3*o - j + 2, -8 = -3*o + 2*c. Let r be (-2 - (-6)/5)*-5. Solve r*n + 0*w = o*w, 0 = 3*n - 4*w - 2 for n.
-2
Suppose k + 2*k + 3*y - 30 = 0, -4*k = -5*y - 22. Let u be (-4)/6 - k/(-12). Solve 0 = 2*p - 2, -5*j - 4*p + u*p = 6 for j.
-2
Let k be 4 + -1 - 6/(-2). Solve -k*b = -2*b + 2*l + 4, -3*b + 4*l = -8 for b.
0
Let z(f) = 2*f**2 - 2*f**2 + 4*f**2 - f**2 + f. Let d = -1 + 0. Let g be z(d). Solve y = -g*j - 0*j + 2, -4*y = -4*j - 8 for j.
0
Let a = -13 + 15. Solve -5*y = -a*v - y + 26, 3*y = 2*v - 21 for v.
3
Let v be -116*1*(-3)/(-4). Let n be 1*(-3)/(9/v). Suppose n - 6 = q. Solve 0 = -f - 5*z, 3*f - q = 3*z - 5 for f.
5
Let c(f) = f**3 - f + 5. Let r be c(0). Let p = -5 + 5. Solve -b = r*y + 16, 4*b + 2*y = -p*y + 8 for b.
4
Let q(k) = -10*k**3 - 2*k**2 + k. Let f be q(1). Let g = f + 15. Suppose 3*z + 0 = 3. Solve 4*u - g*m - 2 = 2, -z = -3*u + m for u.
0
Suppose -16*d - 12 = -20*d. Solve 4*n = 5*m + 22, -4*m + 0 + 1 = d*n for n.
3
Suppose 0 = 5*a - 70 - 10. Let r be ((-5)/2)/(6/(-12)). Solve -4*c = z + 4 - a, r*c - 40 = 5*z for z.
-4
Suppose 4*m = -0 + 16. Solve -5*r - 24 = -w, 2*w + m*r + 3 = -5 for w.
4
Let l = 40 - 36. Solve 5*p = 2*p - 4*k, 0 = -4*p + l*k for p.
0
Suppose -13 + 1 = -3*y. Suppose -k - 39 = -3*j - y*k, 2 = k. Let u = 16 + -11. Solve 4*m + j = -m - 2*r, 2*m + r = -u for m.
-1
Suppose -2 = -i + 1. Solve -o = -l - 4 - i, 2*o = 5*l + 29 for o.
2
Suppose f + 5 - 4 = 0. Let a = f - -3. Solve -4*w - a*o = 24, -5*o - 12 = -2*o for w.
-4
Let q be (-5)/((-2)/(2 - 0)). Let m be 3/12*2*10. Suppose 1 = 5*y + 5*k + 6, -m = 5*k. Solve 3*u - 17 = -q*v - y*u, 0 = 4*v + u - 8 f