5 = -s, r + 3*s = -l - 8 for r.
-4
Let z(q) = q**3 - 12*q**2 - 13*q + 3. Let p be z(13). Solve 2*f = -6, 4*x - f = -p*f - 10 for x.
-1
Let z be 6*(-1 - -3) + -3. Suppose -3*g + 22 = -4*t, 4*t = -z*g + 4*g - 6. Solve -3*n + h = -2, g*h = -3*n + h + 10 for n.
2
Let c = -1 - -6. Let v = -11 + 16. Suppose 6*z = z + 2*k + 11, v*k - 25 = -5*z. Solve 0 = -z*f, -3*f = -w + c*w for w.
0
Let o(i) = i**3 + 14*i**2 + 11*i + 9. Let w be (5/((-15)/(-39)))/(-1). Let g be o(w). Solve -x - 4*x - g = 3*d, -d - 25 = 5*x for d.
-5
Let a be (-126)/(-12) + (-6)/(-4). Suppose 2*o = 0, -4*p + a = 6*o - 4*o. Solve 0 = p*t - c - 1, 4*c - 3 = -2*t + 7 for t.
1
Suppose 4*x = 3*x - 2. Let k(f) = -f. Let y be k(x). Solve -s = 5*o - 19, 0 = y*s - 6 - 2 for o.
3
Suppose -5*n + y - 3*y + 25 = 0, -2 = n - y. Solve -n*m - 5*h = -8 - 4, 4*m - 2*h + 10 = 0 for m.
-1
Let i(k) be the second derivative of k**4/12 + 5*k**3/3 + 2*k**2 - 2*k. Let r be i(-10). Solve u + 2*j = -r*u + 26, -4*j = -12 for u.
4
Let b be (4 - -3)*2/7. Solve y - 5*y = -b*d + 14, -5*y = 10 for d.
3
Suppose 0 = -0*z - 3*z + 36. Suppose 3*d - 9 = 4*d. Let t = d + z. Solve -2*y + 3*y - 19 = 3*g, -7 = -g - t*y for g.
-5
Let b be (2 - -2)*(-2)/(-4). Suppose -x = -6*x + 5. Suppose 2*i + 3*g - 47 = -2*i, x = b*i - 3*g. Solve i = -v - 2*y, -5*v + 3*y + 15 = -10 for v.
2
Let z(i) = -i**3 - 4*i**2 + i + 9. Let q be z(-4). Solve -3*w - 11 = -4*b - b, 0 = w - q*b + 7 for w.
-2
Let f = 15 + -38. Let z = 25 + f. Solve 4*y = -0*y + l + 9, 2*l = -z*y - 8 for y.
1
Suppose -8 + 0 = -4*x. Solve 0 = -4*j - 2*p + 4*p + x, -33 = 4*j + 5*p for j.
-2
Let q = -3 - -7. Suppose 2*r = q*r. Suppose 0 = -r*c + 4*c - 24. Solve g + 2*t = -8, 9*t - c = 4*g + 4*t for g.
-4
Let u be ((10 - 1)/3)/3*4. Solve u*l = -5*q + 25, -2*q - 4 = 5*l - 14 for l.
0
Let x be 17 - (-1 - -1 - -3). Let u be -2 + -1 + (1 - -18). Suppose 5*n = u + x. Solve -5*d = -5*w, -w + n = -4*d - 6 for d.
-4
Suppose -t = 4*t - 10. Suppose 4 = 4*h - 5*k + k, t*h = -5*k + 16. Solve -3*o + 4*r - 1 = 0, 4*o - 3*r - h = o for o.
5
Suppose -10 = 2*v + 3*v, 0 = 2*b + 2*v - 4. Let a(c) = c**2 - 4*c + 2. Let l be a(4). Suppose 3*d - 6 = 3. Solve -d*i = -5*w + 2*i, 2*i - b = -l*w for w.
1
Let f be 5 - (2*-1 - 0). Suppose c - f = -5*j, j - c - 3*c - 14 = 0. Solve -j*u = -y - 2, y - 5 - 7 = -5*u for u.
2
Suppose 88 = 2*k - 0*k. Suppose -20 = -4*u + k. Solve -2*p - u = 4*m - 6*p, 4*m = -3*p + 5 for m.
-1
Let q be (2 - (-3 + 3)) + 0. Suppose -4*y + 3*p + 31 = 0, 2*y + q*p + 6 = y. Solve -5*u + 12 = 4*c, -1 - 2 = -c - y*u for c.
3
Let q(k) = -6*k + 4 + k + k**2 - 1. Let r be q(4). Let m = r + 3. Solve -3*h - 7 = m*y, -2*h = 3*y - h + 14 for y.
-5
Suppose 4*u + 0*u - 16 = 0. Suppose -4*h - h + 15 = 0. Solve u*m + 2 - 1 = h*y, 3*y - m + 11 = 0 for y.
-5
Suppose -21 = -3*p + 2*z, 7 = 3*p + 4*z - 14. Let l be 4/(-14) - (-23)/p. Let g be (16/(-6) + l)*12. Solve -3*h - 5*c - 7 = -4*h, g*h + 5*c + 22 = 0 for h.
-3
Suppose -26 + 6 = -5*m. Solve 3 + 6 = 3*z + 5*d, -5*z - m*d = -2 for z.
-2
Suppose 3*q = -q + 20. Let u(l) = -l**3 - 5*l**2 - l - 3. Let v be u(-5). Solve -v*f + 7 = 3*j + 2*j, f - 11 = -q*j for f.
-4
Suppose -w - 7*s + 3*s = -15, 0 = 5*w - 4*s - 3. Let k be 2*1 - (1 + -1). Suppose -h - k*h + 12 = 0. Solve w*v + 5 + h = d, -3*d = v + 3 for v.
-3
Let o(t) = -t - 1. Let k be o(-3). Solve -k*v + 2*s + 6 = 0, v + 4*s - 16 = -3 for v.
5
Let g = -90 + 94. Solve g*b - 8 = -0*t + 4*t, t = -4*b - 12 for b.
-2
Let l(i) = -3*i + 16. Let r be l(4). Solve -d - 3*d - 12 = r*h, 0 = 4*h + 3*d + 10 for h.
-1
Let g(x) = 6*x - 4. Let s(w) = 7*w - 3. Let v(j) = -6*g(j) + 5*s(j). Let l be v(7). Let i be 32/6 - l/(-3). Solve y + i = -0*f - 2*f, 0 = 5*y for f.
-3
Let r(t) = -t**2 - 4*t - 3. Let a be r(-3). Let m be (-6)/12 + (-14)/(-4). Solve a = p - 1, -m*u + p + 12 = -2*p for u.
5
Let a(b) = -b + 11. Let m be a(8). Let z be ((-7)/(-2) - m)*10. Solve z = -4*t - x, 8*x - 4*x + 20 = 3*t for t.
0
Suppose -y - 2*y = -6. Suppose -4 = -2*g + y. Solve 0 = 3*w - 4*v + 13 + g, -w + 2*v = 8 for w.
0
Let w(d) = 4*d + 29. Let n be w(-6). Solve -2*t = -2*s + 2*t + 12, -s - n*t - 22 = 0 for s.
-2
Suppose 0 = 3*q - 7*q. Solve q = 3*i + 3*g - 15, -i - 17 = -2*i - 4*g for i.
1
Suppose 0 = -3*d + 5*v + 21, 0 + 3 = 3*d + v. Let m be 1 + 22 + (2 - d). Let t = -2 - -2. Solve b - 2*w + 11 = 2*b, t = -4*b - w + m for b.
5
Suppose -5 - 13 = -3*b + 3*a, 15 = 2*b + a. Let g = b + 2. Solve -5*z - 8 = i + g, 2*i - 22 = 4*z for i.
3
Let w = -13 + 18. Solve 2*g - 3*g - 20 = w*j, 0 = -j + g + 2 for j.
-3
Let d = 11 - 16. Let c be (-5 + 2)*d/(-3). Let z = c - -10. Solve -3*o + 2*g + z = 0, 4*o - 14 = -g - 0*g for o.
3
Let t(h) = h**3 - 14*h**2 + h - 12. Let f be t(14). Solve f*q - 3*i - 8 = 0, -4*q - 5*i = -6*q + 12 for q.
1
Let q(s) = s. Let v be q(0). Solve -1 = -n - x + 4*x, v = -5*n - 2*x - 12 for n.
-2
Let c(k) = -6 + 2*k**3 + 5 - k**3 + 3*k**2 - k. Let h be c(-3). Solve 3*m - 6*l = -l + 13, -h*l = 3*m + 1 for m.
1
Let l = -4 - -7. Suppose c - 3*j = 2, -j - 1 = -l*c + 5. Solve 3*v - c = t, 0*v + 4 = v - t for v.
-1
Suppose -18*j + 22*j = 16. Suppose -4*z + 18 = 2*g, 15 = -2*z - 3*z + 5*g. Solve j*b + t + t - 14 = 0, 2*b - z*t - 16 = 0 for b.
5
Let u(i) = i + 7. Let y be u(-9). Let a be 3*2*y/(-6). Let z = -1 - -2. Solve 4 = 5*s - 2*q - z, a*s - 3*q = 13 for s.
-1
Suppose -3 - 7 = -5*n. Let x = n - 0. Solve -4*h + 2*w = -12, -3 - 7 = -3*h + x*w for h.
2
Suppose -2*y = 7*y - 27. Let w(j) = j - 3. Let k be w(3). Solve 0 = -l - k*l + 1, -v + y = 3*l for v.
0
Let u be (6/4)/((-3)/(-8)). Suppose z - 60 = -4*z. Solve -q - 4 = -p, u*q + 2*p + z = 2*q for q.
-5
Suppose 3*c + 3*k - 3 = 0, -4*c - 3 = -0*c - 3*k. Solve -5*v = 2*o - 0 + 2, 5*o - 4*v - 28 = c for o.
4
Let s be (-2 - 1)*(-3)/1. Suppose 5*n + 32 = 2. Let j = n + s. Solve -j*g = -12, 3*g = 5*f + 2 - 15 for f.
5
Let d = 25 + -21. Solve 3*b = -d*h - 29, -4*h = -0*b - 5*b + 5 for h.
-5
Suppose -5*u + 28 = -u. Let i be ((-4)/14)/(u/(-49)). Solve 3*t = -5*a + 2*t - 20, i*a + 8 = -4*t for a.
-4
Suppose -2*o = 3*o. Let z = o + 5. Let p = -3 + z. Solve 5*g = 20, 2*x - x = -p*g + 10 for x.
2
Let f be (-5)/25 - 49/5. Let r be (-1 - 4/(-8))*f. Solve -6*b + 5*y = -r*b - 19, -24 = -3*b + 4*y for b.
4
Suppose -i = -5*i + 8. Suppose i*x + 1 = 5*n, x + 2 - 3 = 2*n. Solve -q = 3*q + 4*g - 4, -5*q + x = 3*g for q.
2
Suppose -2*r + 7 = -r. Solve 5*c = 4*q + 37, q - 2*c = -4*c + r for q.
-3
Suppose 5*m - 1 = -5*d + 29, -18 = -2*m - 4*d. Solve 32 = -8*w + m*w + 3*j, 5*j - 20 = 0 for w.
-4
Let o = -25 - -29. Solve 18 = 3*k + c + 2*c, 4*k - o*c + 8 = 0 for k.
2
Let z be (-5)/(-1 + (4 - 2)). Let b = z - -9. Let f be 4/22 + 6/(-33). Solve b*l - 8 = 0, -5*l = 5*j - f*l - 15 for j.
1
Suppose 2*u = u. Let m = 1 + u. Solve 0 = -4*p - 5*s + m - 22, p = 3*s - 1 for p.
-4
Let o be (15/(-12))/((-1)/(-16)). Let b = -9 - o. Suppose -27 + 6 = -5*j - 3*g, -j - 4*g = -b. Solve -3*q + 3*r = r, -5*r = -j*q + 9 for q.
-2
Suppose 12 = 7*r - 3*r. Solve 18 = -r*b + 5*b - 2*g, -17 = 2*b + 5*g for b.
4
Let d = 12 + 16. Suppose -d = -w - 5*q, -w + 0 + 8 = q. Solve 4*a + 15 = m, -a + w*m = -3 + 15 for a.
-3
Let g be -1*(-4 - 1) - 2. Suppose u + 2*z - 11 = z, 3*z - 17 = -u. Solve -g*m + 15 = -u*m, -3*n - 3*m = 0 for n.
3
Let y(l) = l - 2 - 5*l + 5*l. Let a be y(5). Suppose -a*r + 6 = 3*x - r, 0 = 2*r + 6. Solve -x*o + 16 = -4*c, 0*c + 5*o = c for c.
-5
Let d(q) = -q**2 - 6*q - 1. Let u be d(-7). Let h = -7 - u. Solve 3*l = 4*z + h, -4*l + 1 = z + 25 for z.
-4
Let t(q) be the second derivative of q**4/12 - 3*q**3/2 + 5*q**2 - 2*q. Let x be t(8). Solve -4*c + 4*l - 33 = 3, x*l = -3*c - 2 for c.
-4
Let c = 70 + -67. Solve -c*q = -2*u - u, 3*u = -3*q - 6 for q.
-1
Suppose 5*i + 0*n - 9 = 2*n, -i + 15 = 4*n. Let t(g) = -1 - i*g + 3*g**2 - g**2 + 4*g - 2. Let d be t(-3). Solve z = -4*j - 24 + 3, 3*j = -d for z.
-5
Let v(l) be the second derivative of 0*l**2 + 1/6*l**3 + 1/4*l**4 + 0 + 1/20*l**5 - 3*l. Let g be v(-2). Solve o + g*n - 1 = 3*n, 2*o + 4*n + 22 = 0 for o.
-3
Let j(x) = x**2 - 2*x + 3. Let l be j(2). Suppose 5*g = 2*z + 29, 0 = 4*g + 4*z - 45 + 5. Suppose 4*q - g*q = -12. Solve 3*d + 5 = -q, -l*d = 2*m + 3 for m.
3
Suppose -8*a + 5*a = 0. Solve a*g + 4*g + 11 = 5*y, -4*g = 5*y - 19 for y.
3
Let y be 2*((-20)/16)/((-5)/6). So