 6 = 0, -3*a + c = -5*r + j for a.
0
Let c(o) = -o**2 - 7*o + 13. Suppose 4*r = 3*v - 41, 4*v - 31 = 4*r + 13. Let s be c(r). Solve 0 = -2*k, 4*p - p + 15 = -s*k for p.
-5
Suppose x - 5 = 1. Let v be (-13)/(-2) + (-3)/x. Suppose -f - 3*r = -v, -2*f - 4*r + 13 = f. Solve f*y = 5*q + 21, -1 = 4*q + 3*y + 5 for q.
-3
Let w = -28 - -32. Solve 29 - 5 = 2*o + w*r, 0 = r - 4 for o.
4
Let q = -12 + 7. Let c be ((-20)/6)/q*6. Solve 5*g - c*a + 1 = 0, a - 4 = -0*g + 5*g for g.
-1
Suppose 0*k = -5*k. Let v(p) = p + 4. Let u be v(k). Solve u*x + x + 20 = 0, 3*r + x + 16 = 0 for r.
-4
Let m be 33/(-5) + 6/(-15). Let w = -9 + 6. Let h = w - m. Solve -h*f = -4*q + q - 5, -2*q - 6 = 0 for f.
-1
Suppose -3*f + 53 = 4*z - 157, 0 = 3*z + 9. Suppose 3*p - f = 5*u, -5*p + 98 + 50 = 4*u. Solve 4*w + 4*h + p = 0, 4*h = -w + 5*h + 1 for w.
-3
Suppose 2*s - 3*h = 21, 25 = -0*h - 5*h. Suppose 4*o = -4, 0 = -d + s*o + 1 + 6. Solve -4*p + 6*p + d*q + 18 = 0, 2*q = -5*p - 5 for p.
1
Let g = 0 + 3. Suppose 2 = -k + g*k. Let t = k - -1. Solve 5*r + 2 = -t*v - 4, 3*r = 0 for v.
-3
Let s = 19 + -30. Let g be (2 + s)*(-2)/(-3). Let h be ((-16)/g)/((-4)/(-6)). Solve -y - 2*k = -2, -h*k - 3 + 7 = -4*y for y.
0
Let q be (-4)/(-2 - (-4)/3). Let c = 8 - q. Solve -c*j + 3*d - 3 = 3, 0 = -3*j - 2*d - 9 for j.
-3
Let u(b) = -b + 9. Let f be u(6). Let v be (-1)/(1/(-2)*-2). Let j be v/(2*f/(-18)). Solve 3*w = 0, 2*w - 5 = -2*s + j*s for s.
-5
Suppose 19 = 4*a - 309. Let d = a - 48. Solve -5*s - 31 = 3*j - j, 0 = -3*j - 5*s - d for j.
-3
Let l = 18 - 13. Suppose 2*s = -3*c + 8, -2*c = -5*s + 5 + 15. Solve -2*o + l*o - 24 = s*a, 4*a + 4 = -2*o for a.
-3
Suppose -2*u - 8 = -22. Suppose -2*s = -u - 33. Let f be (-5)/s + (-1)/(-4). Solve 5*b + r + 10 = f, -3*r + 14 = -1 for b.
-3
Let c = 135 + -133. Solve 2*m + 4*i = 2*i - 6, -3*m = -c*i + 14 for m.
-4
Let f(r) = r + 28. Let v be f(-24). Let i = 6 - -10. Solve 3*x - 8 - 21 = -5*p, p + v*x - i = 0 for p.
4
Let z(g) = -5*g - 22. Let u be z(-5). Solve 15 = -5*q - u*d - 2, -4*d = -2*q + 14 for q.
-1
Let o(d) = d**3 + 3*d**2 + d - 1. Let a be o(-2). Solve -4*h = 5*k - 7, -h - h = k + a for k.
3
Let h = -2 - -4. Let p = 3 - h. Solve -4*z + 3*l = -p, -5*l = z + 4*z + 25 for z.
-2
Let q(s) = 19*s**3 - 18*s**3 + 4*s**2 - 1 - 7*s - 4. Let o be q(-5). Solve -2*c - 20 = -o*t - 5*c, 0 = 2*t + 4*c - 22 for t.
1
Let j be 2 + 16/4 + -3. Solve 3 = -2*g - j*o, 6*g - g + 4*o - 3 = 0 for g.
3
Let n = 8 + -6. Let z be (-34)/(n/(-1 - 0)). Let f be (-299)/(-52) + 1/((-4)/3). Solve 0 = -5*b - q - z, f*b + 16 + 7 = q for b.
-4
Suppose 2*j = 2*t + 10, -6*j + j - 2*t - 10 = 0. Suppose j = -4*w + 2*u + 42, -u - 48 = -3*w - 19. Solve -6*k + 2*k + 4 = -3*z, -z = -3*k + w for z.
4
Let h be 1/((-4)/(-21)) + 7/(-28). Solve 2*v + 2*v = h*d + 17, -4*d - 16 = -4*v for d.
-1
Let w be ((-4)/(-6))/(1/6). Suppose 3*o + 22 = 5*a, 0 = 3*a + 4*o - 3*o - 2. Suppose -2*c + 66 = c. Solve -a*d + 2 = 7*z - 3*z, -2*d - c = -w*z for d.
-5
Let k(n) = -n + 2. Let d be k(4). Suppose -5*o + 4*u + 1 + 25 = 0, 4*u = -2*o + 16. Let s = o + d. Solve 3*g + s = 5*f - 7, 0 = -2*f - g + 11 for f.
4
Let n(u) = -2*u + 0 - 5 - 1. Let r be n(-5). Solve -3*i + 25 = 2*v, -v + r + 6 = i for v.
5
Let u(f) = f - 3. Let v be u(3). Let i be (1 + v)/(2/4). Suppose -i*h - 2 = -18. Solve 4*c - h = z + 3*c, -z = -5*c + 24 for z.
-4
Let c be ((-5)/(-1) - -1) + -2. Solve 5*j + 5 = -c*k - k, 3*k = 12 for j.
-5
Suppose 0*s + 2*s + 10 = 0. Let n(u) = u**2 + 5*u. Let j be n(s). Suppose j = -4*k - 2 + 14. Solve -9 = 3*z + k*g, -z - g = -3*z - 3 for z.
-2
Let y be (0 - (1 + -2))*2. Suppose -2*b + 30 = 2*p + p, b = -y*p + 16. Suppose -5 - 11 = -2*j. Solve 0 = 5*w - 5*t - 7 - j, -5*w = -4*t - b for w.
0
Let q = 2 - 1. Let p be (19/2)/(q/2). Solve 0 = 2*y + v - 3, -p = -0*y - y + 3*v for y.
4
Suppose -5*p + 8*p - 12 = 0. Suppose -4*s - 5*t + 4 = -s, -p*s = t - 11. Solve -s*n + 2 = 4*r + 6, 4*r - 5*n = -36 for r.
-4
Let m be (-3)/2*260/(-78). Solve 4*j = -10*z + 5*z + 6, 10 = m*z for j.
-1
Suppose -3*i - 4*m = 1, -4*m - 12 = -m. Solve -2*b = 2, -i*a - b + 11 = -a for a.
3
Let r be 9/4 + (-4)/16. Let a(f) = -2*f**3 - 2*f**3 + 5*f**3 + r - 2*f**2. Let b be a(2). Solve -3*p + 18 = -3*z, -6 = -4*p - 4*z + b for p.
4
Suppose -s = -0*s. Let n be s + 37 + -1 - 2. Solve i - u + 5 = 0, -4*u = 3*i - n + 14 for i.
0
Let h be 2 - -1*(6 - 3). Suppose 0 = 3*j - h*j. Suppose -2*r + 7*r - 25 = j. Solve 0 = 3*k + 15, -r*s + k + 10 = -0*k for s.
1
Let d(z) be the third derivative of z**5/20 + z**4/12 + z**3/6 + 3*z**2. Let h be d(2). Solve -3*f = -v + h, 4*f + 34 = 4*v - 2 for f.
-4
Let l = 23 - -1. Suppose 20 = -u + 2*d, 3*u + d + 2*d = -l. Let j = -7 - u. Solve n = 5*x - 5 - j, n + 3*x = 14 for n.
5
Let v(z) = 4*z + 5. Let l be v(-5). Let n = -9 - l. Let t(j) = 2*j - 2. Let o be t(n). Solve 6*y - 3*y - o = 2*a, -15 = -4*y + 3*a for y.
0
Let s be 1*3/(-6)*-10. Suppose 12 = s*v + 2. Suppose -4*d = -30 + 2. Solve 3*i - d*w + 12 = -v*w, 3*w = -5*i + 14 for i.
1
Let d be -3*(-2)/3*-1. Let i(r) = -7*r + 1. Let v be i(d). Suppose -4*c = -v - 21. Solve x - c - 1 = 3*f, -4*f - 16 = -2*x for f.
-2
Suppose -5*v - 4*j + 16 = 0, v - 4 = -3*v - j. Solve -4*n - 2*d + 6 = v, 4*n - 24 = -0*n + 4*d for n.
3
Let t be 3 - 3 - (-4 - -1). Solve -t*f - 40 = 4*w + f, 2*w = -f - 15 for w.
-5
Suppose -5*a = -3*b + 2, -4*b + 0*a - 4*a + 24 = 0. Suppose -b*w = -2*w. Solve i + w*p = 4*p - 19, 2*p - 11 = -i for i.
1
Let b be 1*4/(-2) + -1. Let q be (b - -1)/(4/(-10)). Let v(h) = -5*h + 2. Let c be v(-3). Solve 3*y + c = 5*m, -m + 4*y = -22 + q for m.
1
Let p = 39 + -36. Solve -2*z - p - 1 = -f, 0 = -5*z - f - 24 for z.
-4
Let r be (-16)/(-5) + (-20)/100. Solve k - 11 = -r*j, k + 3 = 2*j - 1 for k.
2
Suppose -4*y + 16 = -2*k, -5*k + 2 = -y - 3. Let v = 90 - 49. Suppose 11 = 4*h - v. Solve -5*l = g, l = k*g - h + 2 for l.
-1
Let a = 6 - 6. Suppose a*b - 1 = -2*y - b, -4 = 2*y - 4*b. Solve y = 2*k + 2*k - n + 4, -2*k + 2*n = 8 for k.
0
Suppose 9 = 4*j + x, -3*x = -0*x + 9. Suppose 3 + j = 3*z. Suppose -3*w + 2*w - 4*o = 3, -o + 3 = w. Solve -w*b + 2 = -2*a + 19, 0 = z*b + 2*a + 18 for b.
-5
Let d be (-12)/(3 + -1)*(-3)/6. Solve -u = 2*t + 3, -t - 2*u - 6 = -d*u for t.
-3
Let n(v) = -v + 4. Let m be n(0). Suppose 3*a = -0*a + 27. Solve -5*l = -4*j + 11, 4*l + j - m*j = -a for l.
-3
Suppose 12 = 18*t - 14*t. Let q(m) = m**2 + 4*m + 4. Let x be q(-4). Solve x*c + 26 = 2*h, -c + t*h = -3*c + 7 for c.
-4
Suppose 2*w = 5*f + 41, 2*f - f - 19 = -3*w. Solve -4*x - t + 2 = 2*t, w = -2*x + 3*t for x.
-1
Suppose 0 = -23*s + 17*s + 30. Solve s*j - 2*c = -18, j + 4*c - 4 = 10 for j.
-2
Suppose -2*d = 2*v + 2*d, -26 = -5*v + 3*d. Let n = v - 0. Solve 4*x = o - 4, -3*o + x = 3 - n for o.
0
Let h be (-2)/(-6) + (-40)/(-15). Suppose 2*r = -5*a + 2, 4*r - 4*a + h*a - 26 = 0. Let m be (3/(-2))/(r/(-8)). Solve c + 15 = m*w, 3*c + 37 = 4*w + 2 for w.
5
Let q(f) = -4*f - 6. Let s(a) = -1. Let r(w) = -q(w) + 5*s(w). Let k be r(1). Let n = 0 + 0. Solve 0 = -4*d - 3*y + 3, n = -5*d - 4*y - 2 + k for d.
3
Suppose 0*p - 3 = -p. Solve 3*d - 27 = p*u, d + 3*u = -u - 16 for d.
4
Let p(f) be the third derivative of f**5/60 - 5*f**4/24 + 2*f**3/3 + 6*f**2. Let a be p(5). Solve -3*c = q - 8, a*q + 2 = -2 for c.
3
Let f be (-27)/((-6)/2)*-5. Let k be (75/f)/((-1)/9). Solve 5*n = 2*y, 8*n - 3*n = -y - k for y.
-5
Suppose -4*x + 10 = -2*x. Solve x*v - v = -5*w + 4, 0 = -3*v - 12 for w.
4
Let k be (0 - -2 - -1)*1. Suppose k*q = 5*j + 6, -2*q + 2*j + 4 = -0*q. Suppose 0 = -u + 3*u. Solve u = s - z - 1, -3*z = 2*s - 0 - q for s.
1
Let t = 17 - 12. Suppose -3*u + 2 = -u, -9 = -m - t*u. Solve 0*h + 4*h - 2*o = m, 4*h = -4*o + 4 for h.
1
Suppose 2*b = -2*b + 60. Suppose -b = -0*n + 3*n, -5*n = -2*q + 35. Suppose 2*v + 50 = 4*t, t + 3*v + 0 = -q. Solve 2*x + t = 4*y, 20 = -x + 4*x + y for x.
5
Suppose -7 + 24 = 5*b + 2*v, 2*b = -4*v - 6. Solve -13 = 3*u + a, -3*u - u - b*a = 10 for u.
-5
Let q(v) = -v**3 + 9*v**2 - 7*v - 1. Let p be q(8). Solve 3*k + p = 2*b, -k + 1 - 2 = -2*b for b.
-1
Let m be 1*3 - (-2)/(-2). Suppose 3 = m*c - 9. Let x = 7 - c. Solve 1 = -j + s - x, 3*j + 10 = 5*s for j.
0
Suppose 3*f = 4*w - 2*w + 13, -4*w = 3*f - 1. Suppose 0 = -23*c + 36*c - 117. Solve -5*g + 4 = -f*p - 5, -c = -3*p - g for