 = -t - x, t = 4*g + 11 for g.
-3
Suppose 0 = -10*a - a + 33. Solve 8 = 4*o + 24, -22 = -5*c + a*o for c.
2
Let d be 4/(-14) + (-23)/(-7). Let y be 0/(-1 + -2) - -1. Suppose 0 = -4*i + 19 + y. Solve -d*x - x = -q + 24, -i*x = 4*q + 9 for q.
4
Let v = 26 - 18. Solve 0 = t + 3*p + 12, p + v = -p for t.
0
Suppose 5*g = s - 17, -2*g = 1 + 3. Solve 2*x - 5*i + s = 0, 3*x - 1 = i - 5 for x.
-1
Suppose -30 = -2*f + 4*s, 3*f + 3*s = 2*f - 5. Solve 0 = -3*u - 9, u - 10 = 5*c + f for c.
-4
Let u be (1/2)/(2/12). Let d = u - -3. Let a be (6 - 12)*(-2)/d. Solve 8 = a*x + 4*h + 22, 0 = -5*h - 10 for x.
-3
Suppose a - 16 = -4*l, 3*a - 12 = -0*a. Solve k + k + 4*c = -6, -3*k - l*c - 6 = 0 for k.
-1
Let k = -1 + 7. Let b be k/(-5 + 2) - -5. Solve 0*q + 19 = -b*q + 5*f, -22 = -q - 4*f for q.
2
Let i = -20 + 40. Suppose 4*n - 4 = i. Let b be 0*-1*3/n. Solve -2*a - k + 5 = b, 1 = -k + 6 for a.
0
Let m = 0 + 4. Let v(r) be the second derivative of -r**5/20 + r**4/4 + 2*r**3/3 + 2*r**2 - r. Let k be v(m). Solve -k*n = 3*g + 2, 3*g - 10 = n - g for n.
-2
Let w(v) = 4 - 4*v**2 + v**3 + 6 - 5*v - 8. Let n be w(5). Suppose -n*x + 16 = -0. Solve 3*j + 14 = j + 2*t, -j = 2*t - x for j.
-2
Let g = -20 + 32. Suppose 24 = 4*u - 3*r, -6 = -3*u - 2*r + g. Suppose 4*z + 6 = u*z. Solve x + 0 = z*h - 2, -2*x - 4*h = -16 for x.
4
Suppose 6*v = 5 + 13. Solve -2*m - 4*k + 0*k = -4, v*k - 1 = -2*m for m.
-4
Let v be (-2)/(-2) - (2 + -6). Suppose -2*c = -3*t + c - 21, 6 = -3*c. Let m = t - -14. Solve -7*b - m*o + 10 = -2*b, 2*b + v*o - 10 = 0 for b.
0
Let j = -11 - -13. Solve -2*c - s + 10 = -0*s, -j*s - 25 = -5*c for c.
5
Let s = 6 + -1. Let r = 8 - -7. Solve 3*i - 3*m + r = 6*i, 20 = 4*i - s*m for i.
5
Let o be (-3)/3*(1 + -3). Let n be 1*(o + 5) - -2. Solve -2*g = -3*y + 2*g + n, -5*g = 5*y + 20 for y.
-1
Let o(g) = -2*g - 22. Let b be o(-16). Solve 5*v - 2 = -2*x, -v + 2*x + 0*x = -b for v.
2
Suppose -3*d + 9 = -2*d. Let k = -13 + d. Let i = 1 - k. Solve -1 = -3*q + 5*c, -4*c + i = q - 1 for q.
2
Let z be (2 - (-1 - -3))/2. Suppose 2*q + 2 = z, 2*x - 7 = -0*q - q. Solve -2*v + 3*t + 9 = 0, 2*t = 3*v - x + 3 for v.
-3
Let r = 14 - 12. Solve -3*z + 7 = -w + 14, -z - r = 0 for w.
1
Let s = -18 - -18. Solve a + 0*a + 3*k = 0, s = a + 5*k for a.
0
Suppose -m - j - 5 + 1 = 0, -8 = 3*m + 5*j. Let h = m - -9. Suppose -5 = 25*w - 5. Solve -2*a + 3*u + 17 = w, h*a - 2*a - 4*u = 16 for a.
4
Let y(z) = 21*z**3 - 2*z**2 + 2*z. Let x be y(1). Solve 0 = 5*r - l - x, 3*r - l = 5 + 6 for r.
5
Suppose 0*m + 30 = -2*m. Let g be (-132)/(-15)*m/(-6). Solve 0 = 2*h - 5*k + 5 - g, -4*k - 13 = -h for h.
1
Suppose 0*t + 5 = t. Solve -4*i - 7*f + 2*f + 2 = 0, 21 = t*i - 3*f for i.
3
Let q = -8 - -12. Let w(x) = x**2 - 2*x - 5. Let a be w(q). Solve -a*i + 2*i - 4*y = 17, 4*i + 13 = -5*y for i.
3
Let h = 0 - -3. Let t(g) be the second derivative of g**3/3 - 7*g**2/2 - 2*g. Let x be t(5). Solve 3*r - y = 6 - 3, -3*r = x*y - h for r.
1
Suppose -4*o + 8*o = 0. Suppose -85 = -5*v + 5*n - 25, o = -3*v + 2*n + 33. Solve -3*p = v, 2*d = -d + 2*p for d.
-2
Let n(d) = -d**2 - 13*d + 5. Let o be n(-13). Solve -2*k = w - 5*w - 18, -o*k = -15 for w.
-3
Suppose 0 = v - 3*o - 15, -5*v - 4*o + 25 = -9*o. Let p(g) = g - 2. Let h be p(2). Suppose h = k - 11 - 1. Solve -4*r - 2*i - k = 0, 6*i - i - 20 = v for r.
-5
Let s(x) = -x - 2. Let c = 14 - 20. Let r be s(c). Solve -2*w - 6 = -2*m, w - r*m + 7 = -2 for w.
-1
Let b be 54/10 - (-2)/(-5). Let f = b - -20. Solve 2 = -4*h - 3*g - 6, -h + 5*g - f = 0 for h.
-5
Let o(z) = z**2 - z - 36. Let m be o(0). Let a = m - -15. Let v be 2/7 + (-225)/a. Solve -19 = 5*i - 3*x, -4*i + x - v = -0 for i.
-2
Let o(j) = -4*j - 1. Let i = -18 - -15. Let k be o(i). Suppose 0 = c - 2*c - 2*d, 0 = 3*c - d - 14. Solve -c*n + k = v - 5, n - 9 = v for n.
5
Let d = 95 - 82. Suppose 0 = -4*h + 4*c + 80, -2*h + c = h - 58. Solve 2*y + 0*y + h = 3*s, s - 4*y - d = 0 for s.
5
Suppose d + m = -1, -d - 7 + 30 = -5*m. Let s = -2 + 4. Solve -2*x - 4 = s*x - p, -d*p = x + 1 for x.
-1
Let t(s) = -s**2 + s + 3. Let o be ((-12)/(-42))/(1/14). Suppose o*v - g - 4 = g, -4*v = 5*g + 10. Let k be t(v). Solve 2*j = 3*i + 9, -i = -k*j + 2 + 8 for i.
-1
Suppose 5*k - 16 = -1. Suppose -4*v = -4*s - 5 - 19, -k*v = 5*s + 14. Solve 0 = 4*j - v*j - 2*a - 8, -5*a - 20 = 5*j for j.
0
Let h = 5 - 8. Let q be (h - 1)*(-2 + 0). Suppose 3*z + 10 = q*z. Solve 0 = p - u + 1, 2*p - z = -2*u - 4 for p.
-1
Let o = 15 - 11. Solve 0*l + 14 = -5*s + l, -3*s = -o*l + 22 for s.
-2
Suppose -5*w + 4 = -11. Solve -3*t = -2*p + w, t = -3*p - 2*p + 16 for p.
3
Suppose -4*p + p = -18. Solve -4 = w - m, -2*w - 3*m - 11 = -p*m for w.
-1
Let r = -39 + 64. Suppose 4*j = r - 9. Solve m = 4*b + b - 18, -18 = -j*b - m for b.
4
Suppose -7*u = -20*u + 52. Solve -u*f - 4 = -2*d - 2, 4 = 2*d - 2*f for d.
3
Let c(i) = -i**2 - 6*i - 4. Let o be c(-6). Let l be (o/3)/((-1)/(-3)). Let v(j) = -j**2 - 5*j. Let m be v(l). Solve d = 4*q - 4 + 1, 2*d - 3*q - m = 0 for d.
5
Let s(k) = k**3 - 6*k**2 - 6*k - 3. Let d be s(7). Solve 13 = -0*m + m - d*h, 10 = -2*m - h for m.
-3
Suppose -7*q + 1 = -27. Solve -5*f = -q*n + 2*n - 10, -2*f + 8 = 0 for n.
5
Let d(h) = h**2 + 2*h + 1. Let k be d(-1). Let i = 1 - -6. Solve -3*p - i = 4*g - k*g, -2*g - 2 = 2*p for g.
-4
Let y(n) = n**3 - 3*n**2 - 3*n - 3. Let r be 10/15*(-1 + 7). Let f be y(r). Solve -2*l = g - f, -3*l + 4 + 4 = -5*g for g.
-1
Let t = -5 - -8. Suppose -t*u + 14 = -61. Solve 2*o + 5*j + u - 5 = 0, -3*j = -5*o - 19 for o.
-5
Let o(r) = 4 + 9*r - 5*r + 0 - r**2. Let l be o(6). Let n = -6 - l. Solve -q - q - n*p + 2 = 0, -4*q = 2*p for q.
-1
Let j be 4*2/6*-3. Let k be (-4)/(-4)*(1 - j). Solve -k*z = -10, -4*h - 2*z = -4*z + 12 for h.
-2
Let z = -11 + 21. Suppose z = f + 6. Solve 23 = 2*y + 3*x, 2*x + 14 = y + f*x for y.
4
Suppose 5*y + 51 - 6 = 0. Suppose -i = -3*q - 17 - 17, q + 5*i = -22. Let x be q*((-6)/y - 1). Solve -z = -u + z + 1, -5*u + x*z = -11 for u.
3
Suppose -3*c = 14 - 26. Solve 3 = -2*v + c*d - 19, -5*v + d = 28 for v.
-5
Suppose -g + 3*g = 16. Let x be (g/6)/((-6)/(-9)). Solve -4*c - v = -c + x, -c - 4*v - 8 = 0 for c.
0
Let s(v) be the first derivative of v**4/4 + 7*v**3/3 + 2*v**2 - 3*v - 2. Let r be s(-6). Let c = 5 + -3. Solve 4*o = 3*o - 4*i - r, c*o - 5*i + 5 = 0 for o.
-5
Let x(w) = -3*w + 1 + 0 + 1. Suppose 0 = 2*s + 4. Let f be x(s). Solve -f*b + 6 = -4*b - 2*d, 5*b - 24 = -3*d for b.
3
Suppose -3*n - n + 16 = 0. Let s = n + 0. Solve 3 = -2*g + 3*x + 14, -g = s*x for g.
4
Suppose 2*r = 4*m + 18, -r + m = -0*m - 9. Solve 3*q - 2*y = -y - 7, r = -5*q + 3*y for q.
-3
Suppose 5*m = 3*m + 10, -3*l + 3*m + 39 = 0. Let s(p) = -p. Let h be s(-3). Let c = -1 - -16. Solve 4*y + u = -h + l, 0 = 5*u - c for y.
3
Let y(k) = -k**2 + 7*k + 3. Let t be y(4). Suppose -p - 4*q = -t, q - 5*q = 2*p - 30. Let f be (-2)/(-10) + 42/p. Solve f*x + v + 4 = 15, v + 29 = 5*x for x.
5
Let a = 0 + 6. Let k be (2/a)/((-13)/(-156)). Solve -p - 5*g = -4, -k*p - 2*g = -2*p for p.
-1
Suppose -5 = -2*s - 2*a + 9, -5*s = a - 27. Solve 0*i - 5*i - 35 = s*o, 2*i - 2*o = -6 for i.
-5
Suppose -11 = -4*i - 3. Suppose 32 = -i*w + 6*w. Suppose -3*z = -w - 7. Solve -z*d - 3 - 1 = 4*x, 4 = x for d.
-4
Suppose m + 0*m = 3. Solve 6*d + m = 2*d - y, 5*y = 4*d + 9 for d.
-1
Suppose -38 = -4*r + 38. Suppose -3*t = -3*h - 14 - r, -3*t = -h - 35. Solve 4*g + t = -4*s, -2*g + 3*g = 2*s - 9 for s.
2
Suppose -23 = -3*o + 2*h, 0 = 4*o - o + 2*h - 19. Suppose 4*v + o = 19. Solve v = -3*k - k + q, 4*k = 2*q - 6 for k.
0
Suppose 5*i - 4*i = 0. Solve 0 = -5*d - 20, -2*q + 5*d + 14 = -i for q.
-3
Suppose 0 = 3*z - 2 - 4. Solve 5*i = z*g + 11 + 14, -4*i = -20 for g.
0
Suppose 10 - 4 = -2*p, -5*p + 13 = 4*y. Let z = y - 5. Suppose 3*x = -4*u + 6 + 20, -16 = 2*x - 4*u. Solve -z*i + 3*j - 3 = 0, 4*i = x*i + 2*j for i.
3
Suppose -5 = -3*t - 5*s, -4*t = -3*t - 5*s + 5. Solve 4*u + 12 = 0, 5*r - 3*u - 9 = -t for r.
0
Let a = 128 + -106. Solve 2*p + 3*h + a = 0, 2*h = 3*p - 2*h - 1 for p.
-5
Suppose 4*z - 7 = 93. Let a(t) = 19*t + 24. Let l be a(-1). Suppose 3*d = -2*d. Solve n - 25 = 4*v, -l*v + d*v = z for n.
5
Let t(o) = o**2 - 2*o - 3. Let q be t(4). Suppose -5 = -2*i + h + 3, 0 = -q*i - 2*h + 20. Solve r = -i*d + 10, r - 4*r - 2*d + 10 = 0 for r.