j = -l*s + 3*j - 9 for s.
-1
Suppose 0 = -3*g + 5*g. Suppose g = -3*v - 2*v. Suppose -t + v*t - 4*q = -25, 4*q - 15 = t. Solve -5*f = 10, -3*c + 1 = -t*f + 3 for c.
-4
Suppose 36 = 2*o - 6. Let t = -16 + o. Solve -c - x = 3*c + 9, -t*x + 9 = 2*c for c.
-3
Suppose 6 + 14 = 2*q + 4*z, 5 = 5*q + z. Solve q = x - 0*h - 2*h, -2*h + 6 = 2*x for x.
2
Suppose -3*z = -2*z - 6. Let j(b) = b - 2. Let y be j(z). Solve 0*a + 5*a + n = -24, -3*a + y*n + 4 = 0 for a.
-4
Suppose 0*x + 2 = x. Solve 10 = x*n, 4*y - 2*n = -7*n + 33 for y.
2
Let f be 4/(-6)*12/(-2) - 0. Solve 4*n - f*o + 2 = -9*o, 3*n - o - 8 = 0 for n.
2
Let z be 6 + (6 - (-6)/(-6)). Solve 0 = 2*i + q - 1, -4*i - z - 22 = -5*q for i.
-2
Let t be 1387/285 - (-2)/15. Solve -f + 5*f = 2*n + 30, -3*f = 2*n - t for f.
5
Suppose -5*c + 5 = -6*r + 2*r, 2*c - 2 = -3*r. Let j be (c - 1)/(6 - 4). Solve j = -3*o - 1 + 4, 0 = -3*y - 4*o - 11 for y.
-5
Let d be (3 + 0)/(6/70). Solve -5*n = -4*x, -x = -4*x - 5*n + d for x.
5
Suppose -7*o = 3*l - 9*o - 25, -o - 20 = -3*l. Solve 4*u + 2 = -3*y + 4, 2*y = u + l for u.
-1
Let c = -19 - -23. Solve -c*v = 5*u + 32, -u + 4*v + 8 = -0*u for u.
-4
Let f = 9 + -6. Suppose -6*c = -29 + 11. Let r be 3/((-1)/(2/(-3))). Solve -w - c*s = -8, -16 = -r*w - 3*s - f for w.
5
Let k(z) = -z**2 + 5*z + 2. Let b be k(5). Solve 0 = b*g + 5*a + 31, 10*g - a + 10 = 5*g for g.
-3
Suppose -110 - 19 = -3*x. Suppose -5*d + x = 18. Solve -8*r + 3*r - 5 = d*f, -2*f + 8 = -3*r for f.
1
Suppose 2*k + 2 = 3*z, -k - 6*z = -11*z + 15. Solve 0 = k*y + 5*t, -3*y + t - 23 + 3 = 0 for y.
-5
Let r be (-3 - 0) + 7 + -4. Solve 2*b - o = 2*o - 1, b - 2*o = r for b.
-2
Let y = -4 + 10. Let d be (-1 - 0 - 2)*-1. Solve y*w - 2*j - 7 = d*w, 5*j - 10 = 2*w for w.
5
Suppose 2*u = 4*h - 158, -108 - 13 = -3*h - u. Suppose -4*a - h = -9*a. Solve -2*d = 4*j - 0*d - 4, 5*j - 4*d + a = 0 for j.
0
Let q = -8 + 13. Let i = -2 + q. Solve 0*d + d - n + 6 = 0, -i*d - n - 10 = 0 for d.
-4
Let l(y) = 2*y**2 + 3*y + 4. Let d be l(-4). Let i(m) = 2*m**2 - 1 + 5*m - 3*m**2 + 0. Let q be i(4). Solve q*t = 5*z + d, -7*t - 5*z = -3*t + 3 for t.
3
Let i(u) = u + 2. Let q be i(2). Let r(m) = m**3 - 3*m**2 - 4*m + 5. Let l be r(q). Solve -l*j - 2*a - 5 = 0, -3*j - 1 + 9 = -a for j.
1
Let j = 1 + 10. Solve -j = 2*y + 3*l, -4*l + 0*l = 3*y + 15 for y.
-1
Let w be 10/15 + (-4)/(-12). Solve 4*c + 4 = z - w, 2*z - c + 4 = 0 for z.
-3
Let p(h) = -3*h**2 - h - 1. Let g be p(-1). Let v be (-3 - -4) + g - -4. Solve -y = -v*l - 7, 3*l = y - 0*y - 12 for y.
-3
Let a(b) = -2*b - 10. Let u = 3 - 13. Let d be a(u). Suppose 0 = y + 5*k - 15, 6 = -3*y - 4*k + 40. Solve y*c - 5*c + 20 = o, -d = 4*o - 2*c for o.
-5
Let m be 3 - (-3 + 5)*-1. Solve 0 = -g + z + 5, m*z - 2*z - 5 = -2*g for g.
4
Let f = -4 + 8. Let p = 4 + 1. Suppose 0 = -5*h - 4*r + 32, -6 = -3*h - 3*r + p*r. Solve h*m + f*c = 0, -1 = m - 2*c + 2 for m.
-1
Suppose -29 = 5*j + 1. Let d = 6 + j. Solve 3*b + n - 2 = -d*n, 3*b + 2 = n for b.
0
Suppose -3*u - 12 = -f + u, 5*u - 19 = -3*f. Suppose -3*d = -t - 17, 29 = -5*t + 4*d - 12. Let g = f + t. Solve -g*b = 5*x + 5, 4 = -3*b - 2*x - 2*x for b.
0
Let j = -11 + 5. Let u = -1 - j. Solve 7 = -l + 5*m, m = -u*l + 14 + 3 for l.
3
Let r be -2 - (1 - 2) - 5. Let u = 11 + r. Let l = u - 5. Solve 3*h + t + 14 = l, 3*t = -5*h + 1 - 31 for h.
-3
Let k(t) = -t**2 - 8*t - 4. Let j be k(-7). Suppose -j*u + 20 = u + 5*q, -5*u + 16 = 4*q. Let z = -2 - -8. Solve 3*r - 3*i = z, -3*r = -i - u*i for r.
-1
Let d(k) be the second derivative of -k**4/12 - 17*k**3/6 - 4*k**2 - 7*k. Let n be d(-16). Solve 2*w + n = 0, -3*w - 16 - 21 = -5*s for s.
5
Let r be ((-10)/(-6))/((-1)/(-6)). Let h = -5 + r. Solve 2*n - 7*n = 0, 1 = -d + h*n for d.
-1
Let i(k) = -38*k**3 + 3*k - 3*k - 18*k**2 + 20 + k + 37*k**3. Let w be i(-18). Solve p = 4*d - 2*p + 3, 2*p - 4 = w*d for d.
3
Let d(i) = -i**2 + 13*i - 19. Let g be d(11). Let a be 2 + (-44)/(-3)*3. Suppose u - 3 + 9 = j, -4*u = 3*j - a. Solve -n - 10 = 2*m, 0*m + g*n = 2*m + j for m.
-5
Let q(r) = r**2 - 13*r + 15. Let w(u) = u**3 + 4*u**2 - u. Let c be w(-3). Let n be q(c). Solve 9 = -3*z, 3*k - 5*z - n = -0*k for k.
-4
Let f(y) = y + 2. Let w be 2/(-9) - (-224)/36. Suppose 0 = v - 4*q + 13, -3*q + 6 = -w. Let h be f(v). Solve -4*z + 15 = -h*a, -4*a + z = -0*z + 12 for a.
-3
Suppose -12*y + 3*y = -18. Solve -2*l + g + 8 = -l, -l + y*g = -12 for l.
4
Suppose -t = 5*s + 8, -s - 4*s = -t + 12. Solve 4 = -2*g + t*y, -4*y + 0*y = -2*g for g.
-4
Let z(o) = o**3 + 13*o**2 + 13*o + 5. Let k be z(-12). Suppose -3*j = -0*j + 72. Let r = k - j. Solve -g = p + p - 9, -4*p - 3*g = -r for p.
5
Let l(y) be the second derivative of y**3/6 + 3*y**2/2 + 2*y. Let n be l(-3). Solve -5*u = -3*u + 4*f, n = -f for u.
0
Suppose o - 2*d - 5 = 0, 3 = 2*o - 3*d - 7. Solve -o*u + 5*s + 30 = 0, -7*u = -4*u + s - 14 for u.
5
Let i be (-4)/6 - 17/(-3). Suppose -i*j - 10 = -10*j. Let x = 12 + -2. Solve 0 = -3*g - 2*p + x, 0*g + j*g - 3 = -5*p for g.
4
Suppose 0*p + p + 5*y = 23, -4*p - 2*y + 74 = 0. Solve p = -a + 4*u, 0*a - 4*a - 4*u + 8 = 0 for a.
-2
Suppose 24 = 6*f + 2*f. Solve -5*h = -2*a - 22, 2*h - f*a + 13 = 6*h for h.
4
Suppose -4*m = y - 137, 6*y = -3*m + 3*y + 114. Suppose n = 5*j - 23, j - m = -4*j - 4*n. Solve 5*w + 2 = 3*f + 11, -2*f - 6 = j*w for w.
0
Let y = 8 - 4. Solve j + 5 = -y*f + 1, j = -f - 1 for f.
-1
Let m(b) = 4*b - 10. Let o be m(7). Suppose 3*h = 2*d + 2*d + o, -5*h + d = -47. Solve 0 = 5*w + u + h, -2*u = -0*w - 2*w - 16 for w.
-3
Let h(i) = -i**2 - 4*i - 2. Let x(f) = f**3 + f - 2. Let m be x(0). Let u be h(m). Let k = -2 + u. Solve 4 = y - g, -3*y + 2*g + 2*g + 14 = k for y.
2
Let s(w) = 2*w + 8. Let i be s(-4). Solve f - 5 = 0, -3*r + f + 0 + 1 = i for r.
2
Let n(u) = -3 - 2 + 4 - 2 + 2*u. Let z be n(5). Let d(b) = b - 4. Let g be d(z). Solve -3*s + 4*p = 24, 2*s + g*p - 13 = 3*s for s.
-4
Suppose -4*x = -3*c - 7 - 26, -2*x + 3 = 3*c. Suppose -2*g + x*p = p - 6, 0 = 4*g - 5*p - 12. Solve -r + 13 = 3*r + g*f, r + 14 = 5*f for r.
1
Let y be (2 - 3) + (-1 - -6). Let w = 6 - 0. Solve -y = 3*v - 4*c, w = -2*v + 2*c - c for v.
-4
Let s = 13 + -3. Solve c = -5*n - 2*c - s, -5*c + 10 = -5*n for n.
-2
Let q = -1 - -7. Suppose q*p - 10 = p. Suppose p*k = k. Solve 4*d = d + 4*w - 28, 2*d - 4*w + 24 = k for d.
-4
Let r = -14 - -14. Solve y + 3*j = 0, -3*y - 3*j = -r*j for y.
0
Suppose 0*o = -o + 25. Suppose -2*d + 7*d = o. Solve d*h = -5*b + 10, h + b + 1 = -h for h.
-3
Let f(g) be the first derivative of g**3/3 - 3*g**2/2 + 2*g + 2. Let y be f(3). Solve -2*w = 10, -y*i = i - 4*w - 20 for i.
0
Let j = 16 - 16. Suppose -5*w = -j*w - 15. Solve -3*o - 26 = 4*u, u - w*u = 3*o + 16 for u.
-5
Let p = 1 - 7. Let c = 5 - p. Solve 5*n = k - c, 0 = 2*n + k + 2*k + 1 for n.
-2
Suppose -2*l + 16 = -4*k, -5*l - 22*k = -19*k - 1. Solve 0*g + 2*b + 10 = -l*g, 4*g + 11 = -b for g.
-2
Let j(i) = -i**3 + 3*i**2 + 11*i - 3. Let m be j(5). Solve -4*t = -3*g + 10, -3*t - 10 = g - m*g for g.
-2
Suppose 0 = 2*k - z - 9, -k + 17 = -0*k - 3*z. Solve 5 = -4*m + 3*m + k*l, 3*m - 3*l + 12 = 0 for m.
-3
Suppose 3*d - 4*b = 6, -d = -0*b - 4*b - 10. Let c be (6/8)/(d/(-16)). Let p be (-2)/c*-3 - -1. Solve -2*x = -4*n - 8, p*n - 12 + 0 = 5*x for n.
-4
Let h be (-7)/((-21)/(-6)) + 7. Suppose -4*u + h = -11. Solve v = -a + 6, 0 = -2*a + 3*v + 1 - u for a.
3
Suppose 18 = 6*i - 0*i. Solve 0 = -2*v + k, i*k - 5*k = -v - 3 for v.
1
Suppose q + 2*q = 4*y - 14, 4*q + 17 = 5*y. Solve 4*g = -4, 3*a + q = 2*g - 8 for a.
-4
Suppose 3*u + 130 = 145. Solve 0 = u*w - 4*v + 9, -3*v + 5 = 2 for w.
-1
Let x be ((-1 - 2) + 2)/((-2)/8). Solve 5*i = x*z - 1, -6*i + 2*i = -4*z for z.
-1
Let o be (-17)/(-3) - (4 + (-39)/9). Solve u - 2 = z - 0*z, z = -3*u - o for z.
-3
Suppose 4*v + 18 = d, -3*d + 9 + 0 = -3*v. Let h = d + 0. Let z be 6/3*1 + h. Solve -5*k = -3*y + 10, -4*y + 8 + 12 = z for k.
1
Suppose -8*y + 7*y + 5 = 0. Solve 15 = -4*d + h, 0 = -4*d - 0*h + 5*h + y for d.
-5
Let n be (-48)/(-9) - (-1)/(-3). Let r = n - 3. Solve -2*q - 3*d + 8 = 0, -q = -2*q - r*d + 6 for q.
-2
Suppose 3*l = 7*l. Suppose 4*w - 11 + 3 = l. Solve -w*m + b = 5*b + 6, -2*b + 15 = -5*m for m.
-3
Suppose -5*i + 8 + 2 = 0. Let s = 0 + i. Solve -s*c = 1 + 3, 0 = -4*x - c - 18 for x.
-4
Suppose 4*s = -2 +