x - 15 = 0, 4*r + g = -x - s*x for r.
-5
Suppose -21 = -7*h + 3*h + 3*k, -12 = -3*h + k. Suppose 0 = 3*y - 6 - h. Let p = y + 1. Solve 0 = -r - p*g, 0*r - 9 = -2*r + g for r.
4
Let r(v) be the second derivative of v**3/2 - 5*v**2 - 20*v. Let z be r(5). Solve -5 = -5*u + 3*l, 3*l + z = 4*u - 2 for u.
-2
Let z(v) = v**3 + 6*v**2 + 3*v + 5. Let b be z(-5). Let j(l) = -2*l + 33. Let c be j(b). Solve -10 = c*x - x + 2*u, -4*u = -4*x - 20 for x.
-5
Let z(a) = -3*a + 52. Let s be z(15). Suppose 3*d = -2*u - s, 5*d - 11 = u - 40. Solve q - 8 = 2*l + 3*q, 3*l = 5*q - u for l.
-3
Let r = -12 + 15. Let j be 2 + (r/(-3) - -3). Let k be 16/(-6)*(-6)/j. Solve -1 = -4*p + 3*d - 0*d, -5 = -p - k*d for p.
1
Let h(k) = -k**2 + 4*k + 4. Let x be h(8). Let g = 27 + x. Let t be (g + 6)*(2 - 1). Solve 2*i = 2*d - 4, t*d - 8 = 4*i + 2*d for i.
-2
Let c be (1 + 3 - -2) + -2. Suppose -c*i - 17 = -25. Solve -5*h = -t - 15, -4*t - 10 = 4*h + i for t.
-5
Suppose r = 5*f - 17, 0*r + r - 4*f = -14. Let k(d) = -d**3 + 3*d + 1. Let p be k(r). Solve 0*l = -3*l + p*w - 21, -2*l = 3*w - 11 for l.
-2
Let y(c) = -2*c + 42. Let j be y(13). Let t(f) = 2*f**3 - 33*f**2 + 16*f + 5. Let z be t(j). Solve z*u = 5*a - 10, 4*u + u + 2*a + 3 = 0 for u.
-1
Let b be 5 + -6 + 3 - -1. Let x be (-20)/(-6) - (-22)/33 - 4. Solve x = 2*w + b*w - 2*t + 5, -w - t - 1 = 0 for w.
-1
Suppose 3*y + 5*q - 25 = 0, 6*y - y + 10 = 2*q. Solve -3*t + y*h + 9 = 3*h, 0 = -2*t - 4*h + 10 for t.
1
Let r = -72 - -77. Suppose -4*c = -t - 14, 5*c - r*t = -t + 12. Solve 1 = 2*g - c*g + p, p + 1 = g for g.
-2
Suppose -1 = f, 3*f + 114 = -5*r - f. Let q be (-84)/r - 22/(-121). Solve 0 = i - a + 2, 3*a + 10 = -q*i - i for i.
-2
Let v = -14 + 19. Suppose -t + 25 = 4*a, v*t + 3*a - 4*a - 20 = 0. Solve t*s = -0*g - 2*g + 14, 0 = s - 4*g + 6 for s.
2
Let v be (8/5)/((-2)/40). Let k be 3/12 + 8/v. Solve 2*w = a - k*a - 9, -w - 4 = 0 for a.
1
Suppose 35*z - 91 = 49. Let t(u) = -u**3 + 4*u**2 - u - 3. Let b be t(3). Let s be 4/b + 4/6. Solve -2*l = z*y + 8, -l + s*y + 18 = 6 for l.
4
Let z(g) = -g**3 - 8*g**2 + 6*g - 21. Let r = 2 - 11. Let m be z(r). Suppose -c = -4*h + 57, -3*h - 2*c + 30 = -10. Solve -h = 3*d + k, 4*d - 4*k + m = k for d.
-4
Suppose 3*r + 0*b = 2*b - 31, -2*r = 4*b + 10. Let a(x) = x**3 + 10*x**2 + 3*x - 37. Let y be a(r). Solve -5*l + y = 3*q - q, -2*l = -2*q - 18 for q.
-4
Let a be (9 - 1) + (-9)/((-45)/(-20)). Suppose -36 = -3*q + 2*s, -q - 7 = a*s - 33. Solve -4*y + t = 11, 0 = -3*y + 2*y - 2*t - q for y.
-4
Let n(b) = -b - 2*b**3 + 2*b**3 - 2*b**2 + 2*b**3 - 1 - b**3. Let j be n(3). Solve -o - 4 = -j*g, -3*g - o + 1 = -3*o for g.
1
Let s be (-4)/14 + 4294/(-14). Let k = 528 + s. Suppose -5*p + k = 41. Solve -4*w = -0*q + 5*q + p, 0 = 3*w - 3*q for w.
-4
Let j(n) = 17*n + 10. Let v be j(-4). Let u = -53 - v. Solve -u*s - 8 = -3*a, 4 + 2 = a - 5*s for a.
1
Let s = 8 + -5. Let d = -21 + 23. Suppose 2*o - 23 = -o + 4*m, d*m + 4 = 0. Solve -2*a - 3*a + 5*p = -o, -s*a = p + 1 for a.
0
Suppose 3*g = f + 17, -5*f - 122 = 3*g - 1. Let u = f + 27. Solve -2 = 2*x - 0*s - 5*s, -u*s = 0 for x.
-1
Let y(i) = 3*i**2 - 7*i + 5. Let u be y(2). Let v(s) = 3*s**2 - 2*s + s**3 + 4 - 5*s + 7*s. Let n be v(-3). Solve 5 = a + u*r - 3, -n*a - 36 = -5*r for a.
-4
Let r be (-6)/((-9)/(-6) - 3). Suppose -r*f + 21 = 1. Solve 0*p = -3*p + 2*n + 1, 2*n + 9 = -f*p for p.
-1
Suppose 0 = 11*o + 102 - 146. Solve 15 = -3*a + 3*z, o*a + 4*z - 3*z = -10 for a.
-3
Let t be 66/10 - (-6)/(-10). Let b be 0/(2 + 2) + t. Let a be (-3)/(-1) - (b - 5). Solve p + 3*c - 16 = 0, 0 = a*p - c - 1 - 3 for p.
4
Let y be (36/6)/(-12) + (-7)/(-2). Solve 0*v - y*v = 3*s + 15, -s + v - 3 = 0 for s.
-4
Let c(v) = -v**2 + 7*v - 8. Let y be c(6). Let f be y/(2 - 3) - -2. Suppose -1 = -f*j + 19. Solve -3*k = -j*w - 5 - 8, w - 3*k + 5 = 0 for w.
-2
Let k(o) = o**3 - 12*o**2 + 20*o + 3. Let v be k(10). Solve 0 = -v*g + 4*d - 22, 3*d = g + d + 10 for g.
-2
Let p be (-9)/(-27) - (-2)/(-9)*-3. Solve 2*m + 2*l = p + 13, m = -2*l + 9 for m.
5
Let m be ((-58)/10 + 5)*5. Let t be -8*((-1)/m - (-8)/(-16)). Solve -g - t = -3*g, 3*w - 5*g = 7 for w.
4
Let t be 5/((-5)/2)*-1. Let p be 6*(t/(-7) - (-26)/42). Solve 2*y - p*j = y - 8, -6 = -3*j for y.
-4
Let j be 4/2 + -1 + 2. Suppose -j*y = -y. Suppose -u + 3 = -y*u. Solve -3*p - 4*r = -u, 35 = -0*p + 4*p - 5*r for p.
5
Let b = 407 + -402. Solve -5*a = -m, -3*a + b*a + 4*m + 22 = 0 for a.
-1
Let a = 44 + -31. Suppose -4*p + 2*p + 14 = 4*j, -p + a = -j. Solve 2*u = 5*f - p, 4*u = 3*u - 3*f for u.
-3
Suppose -s + 84 - 74 = 2*f, 8 = f + 2*s. Solve -f*n + 0*u = -3*u + 31, -2*n - 28 = -4*u for n.
-4
Suppose -9*a = -5*a + 5*a. Solve n + a*n - 3 = -3*h, 4*n = -5*h + 12 for h.
0
Suppose 3 = -2*y - 23. Let r = y - -13. Suppose -1 - 8 = 3*i, -2*o - 5*i = -11. Solve 0 = -2*f + 5*j - 3, r = -4*f - 0*j + 3*j - o for f.
-4
Let p be (-446)/(-18) - (-1)/((-18)/(-4)). Solve 5*k - z + 21 = 0, 3*z = -5*k + 8*z - p for k.
-4
Let p = 95 - 82. Suppose 0 = -4*n + t - 3*t + 2, 0 = 5*n - t - p. Suppose 2*c = -0*c + 12. Solve -n*x - c*h = -h - 7, -4*h + 8 = x for x.
-4
Let f = 20 + -14. Let n be -8 + 3/f*-4. Let z = -7 - n. Solve -4*k = -3*j + 12, -2*j = -3*k + z*j - 9 for k.
-3
Let x(i) = -18*i - 177. Let h be x(-10). Solve -l = -h*s - 13 + 2, -s + l = 1 for s.
-5
Let t(l) = -3*l**3 + 2*l**2 + l. Let w be ((-14)/(-21))/(1/3). Let i be ((-4)/(-8))/((-1)/w). Let u be t(i). Solve -4 = -u*y + 5*a, 1 = -0*y + y + 5*a for y.
1
Let q be 10/8*(-3 - (-3 - -4)). Let h be 4/(-10) + (36/q)/(-3). Suppose 0 = 4*c - 12 - 0. Solve -a = h*f - 5, -3*f - c = -15 for a.
-3
Let q be ((-6)/(-5))/((-3)/(-40)). Suppose -2*b + 14 = -q. Suppose -5*y + 9 = 2*j, 2*y = 5*j + 7 - b. Solve -3*k = j*z - 4*z, -4*z = -5*k for z.
0
Let h(l) = -2*l + 16 - 27 + 16 + 4*l. Let w be h(0). Suppose -k - 2*k = 0. Solve 3*p + w*z + 7 - 25 = k, 14 = -p + 5*z for p.
1
Let b be 144/14 + (-4)/14. Suppose -18 = p + 4*n, b*p + 5*n = 5*p - 45. Let v be 6/36 + (-29)/p. Solve v*q + 9 = -3*j, q - j = -0 - 5 for q.
-3
Let a(c) be the third derivative of -c**5/60 - c**4/3 + 2*c**3 - 8*c**2. Let t be a(-9). Solve -3*r - 24 = t*x, -r = 3*x + r + 20 for x.
-4
Suppose -4*s - 6 = t, -2*t - 3*s + 2 = -1. Suppose -20 = 4*c - 52. Let b = c - t. Solve b*x + 4*h = -3*x + 1, -5*h - 8 = -3*x for x.
1
Suppose -8*r + 12 = 4*r. Let x be (-1 + r/(-3))/(8/(-12)). Solve -4*a + a - 1 = x*y, 0 = -5*y - 4*a + 1 for y.
1
Let t be 1/(-1)*(-215 + -3)/(-2). Let h = -106 - t. Solve -q + 1 = -0*g - 3*g, h*g - 4*q = 5 for g.
-1
Suppose -4*a = 3*q - 25, -2*q - 26 = -4*a - 4*q. Solve 3*v = -2*g + 1, 0 = 5*g - 2*v - 0*v + a for g.
-1
Suppose 9*p - 191 + 11 = 0. Suppose 5*u = u + p. Solve 0 = -2*m + 3*c + 9, 0 = -4*m - m + 4*c + u for m.
-3
Suppose 22*w + 20 = 24*w. Solve 2*a + 5*c = 5*a - 18, 2*c = 4*a - w for a.
1
Let t(k) = 5 + 3*k**2 - 4*k**2 + 4*k - 10*k. Suppose 0 = -n - 3 - 3. Let w be t(n). Solve 4 = -b + 5*d + 23, b + d = -w for b.
-1
Suppose 65*j - 395 = -14*j. Solve j*s + 0 = -2*m + 5, -5*m + 3 = 3*s for s.
1
Let y(h) = -h**2 - 11*h + 10. Let n be y(-11). Let r = n + -8. Solve -3*z = 4*i + 16, 2*i - r = 2*z + 4 for z.
-4
Let i be (-20)/(-12) - -7*(-16)/168. Solve -i = 5*p + 4*f + 2, -3*p = -3*f - 9 for p.
1
Suppose 0 = -4*b - 11*b + 225. Solve l + 3 = t, b = -5*l + 2*t - 4*t for l.
-3
Let b = -8 + 15. Let q(t) = -t**3 + t**2 + 3*t + 4. Let d be q(3). Let y = d + b. Solve m = -2*j - 6, y*m + 3 - 1 = j for m.
-2
Let f be 2/4 + 21*(-4)/(-56). Solve 10 = -o + 3*a, 12*o - 7*o = -f*a + 1 for o.
-1
Suppose -2*o - 3*f + 36 = o, 0 = 4*o - 3*f - 13. Let m(p) = -p**3 - 30*p**2 - 28*p + 31. Let a be m(-29). Solve -3*i - 12 = -5*g, a*g + 5*i - o = 4*i for g.
3
Let z(s) = s - 8. Let f(b) = 1. Let w(o) = 6*f(o) + z(o). Let t be w(2). Solve t = -3*m - 3, 5*p - m + 3*m = 18 for p.
4
Let r(p) = -p**2 - 10*p - 14. Let a be r(-8). Solve 3 - 2 = 3*t - a*d, -d + 1 = 0 for t.
1
Let a(u) = 9*u - 123. Let b be a(14). Solve -4*w = -5*r - 25, 13 - b = -2*r for w.
0
Let w(o) = -o**3 - 5*o**2 + 4*o - 10. Let l be w(-6). Solve 4*i + 12 = -4*k, -4*i - l*k = -6*k + 12 for i.
-3
Let s(m) = 2*m**2 + 13*m + 9. Let b be s(-6). Solve b*c - 5*w = -3*w - 3, -6 = -3*c + 5*w for c.
-3
Suppose 0 = 6*l - 16*l + 180. Solve 4*a - l = -2*i, -3*i = -4*i + 3 for a.
3
