 f = -28, -5*f = 2*y - l for y.
4
Let g be -2 + (2 - 2) + 18. Let x = -10 + g. Let v(p) = p - 1. Let w be v(x). Solve 3*n = 2*h + 3, 0 = -4*h - h + w*n for h.
3
Suppose 2*d - 2 = 4. Let x = 0 + d. Solve v + 4*z - 4 = 2*z, x*v - 12 = -5*z for v.
4
Suppose 6 = 2*a - 0. Solve 0 = -s - 4*p + a*p - 4, 3*s + 6 = -p for s.
-1
Suppose d = 5 - 4. Let z be 46/4 + d/2. Suppose 4*v = -4 + z. Solve -2 = -2*k + 4*j, 0 = 2*k - v*j + 4*j + 16 for k.
-5
Let f be (-77)/(-63) - 2/9. Let i be (1 + 0)/(f + 0). Let k be 1 + i - (1 - 1). Solve d + 5*n = 2, -3*n + 11 = -k*d + 2*n for d.
-3
Let x = 3 - -2. Let j = x - 8. Let h be -4*-13*j/(-12). Solve -5*r - h = -3*v - 0, -r = 2*v + 13 for r.
-5
Suppose 2*g = -3*g + 10. Solve 0*r + 2*r + 6 = -g*p, 5*r = -3*p - 5 for r.
2
Let t = -10 + 13. Let j(m) = 5*m**2 + 3*m + 0 - m**3 + 1 - 3*m**2. Let q be j(t). Solve -3*d + 2*v = -3 - q, 0 = v + 5 for d.
-2
Let y(m) = m**2 - 4*m. Let c be y(4). Suppose 0 = -c*q - 3*q + 6. Solve -5*t = -w - q*t + 17, 0 = 2*w + 2*t + 6 for w.
2
Suppose 2*m + 3*t + 7 = 0, -2*m - 3*m = 3*t - 5. Let n = 2 + 6. Solve x - 5 = l + 4*x, m*x = -5*l + n for l.
4
Suppose 432 + 264 = -4*g. Let j be 6/9 - g/9. Solve -v - j = 4*a, 5*v + 4 = 4*v for a.
-4
Let c(l) = 8*l**3 + 4*l**2 - 4*l + 3. Let q be c(2). Suppose -6*a + q = -3*a. Solve -5*n + a = -5*i - 0*n, -5*n = -5 for i.
-4
Suppose -4*q = -0*q - 5*x - 18, -3*x = q - 13. Solve v - p + q = 0, 3*v + 2*p - 6 = v for v.
-2
Let x be -1*(-3 - -5) + 5. Solve i = -4*f + 16, -x*i = -3*f + 2*f - 9 for f.
3
Suppose 0*i = -i + 3. Let n = 10 - -4. Suppose 5*j - 6 = n. Solve b + 3*x + 18 = 6, -i*b + 3 = -j*x for b.
-3
Let v = 134 + -129. Solve 4*i - 3 = 2*t + v, i - 3*t + 3 = 0 for i.
3
Suppose 12 = -3*m + 5*m. Suppose m + 2 = 2*s. Solve -v + n + 2 = 0, 5*v - 13 = -0*v + s*n for v.
5
Suppose -3*c - d + 6 = 0, 4*c - 8 = -3*d - 0*d. Suppose -12 + c = -2*a. Suppose 3*b = -b + 28. Solve 5*q = -a*v - 35, 3*q - 22 = v + b*q for v.
-2
Suppose 4*h + 16 = 7*m - 3*m, -2*m + 5*h + 11 = 0. Let d = 41 - 32. Solve 4*v = 3*r + 9, -v - d = m*r + 4*v for r.
-3
Let u be (-2)/((-5)/(-50)*-4). Solve 4*p + 2*d - 2 = -0*p, 5 = u*d for p.
0
Suppose 5*m + 70 = 5*q, -m = -4*q - 0 + 47. Let z = q + -7. Let n = -31 + 33. Solve -n*l - 2*l - r = -2, z*l = r + 6 for l.
1
Let f(o) = o**3 - 4*o**2 - 4*o - 2. Let y be f(5). Suppose 2*s + 0*d + d = 6, 2*s - y*d = -2. Solve -3*m + 5 = -3*g - 4, -m = s*g + 3 for g.
-2
Suppose 5*w - 132 = -12. Solve 0*y + 8 = -4*m + 2*y, -w = m + 5*y for m.
-4
Let f = 101 - 96. Let l be 1 - (0 - 2) - 0. Suppose 0 = n - 1 - 3. Solve -l*q - 4*w = -27, -n*q + q = -f*w for q.
5
Let c = -6 + 14. Let z = c + -3. Suppose -k + 2*v + 14 = 0, 10*v = -k + z*v. Solve -2*q - 3*l = 23 - 5, -4*l - k = -2*q for q.
-3
Suppose 3*p = 12 - 0. Solve d = -0*f + p*f + 2, f - 5*d = -10 for f.
0
Let y(i) = 6*i**2 - 33*i + 2. Let h be y(6). Solve -3*q = 3*g - 4*g - 15, h = -4*g + 2*q for g.
-3
Let h be (-4)/(-22) - 689/(-143). Solve 4*w + 29 = -x + 4*x, h*w + 16 = -3*x for x.
3
Suppose 5 = g + 3*f, 4*g - 3*f = 2 + 3. Suppose -4*x + 6 = -g*x. Solve 31 = -5*p + 6*w - 3*w, -3*p - 21 = -x*w for p.
-5
Let y = 2 + 2. Let o be 1/(-4) + 21/y. Let a be o/(-10) + 2/4. Solve 3*j - 5*z = 13, j + a*z = -2*z - 14 for j.
-4
Let p(w) = w - 19. Let b be p(24). Solve s = 4*n - 1, -s - b*n = -0*n + 10 for s.
-5
Let l(y) = y**3 + 4*y**2 - 4*y - 10. Let i be l(-4). Suppose 8*k = 5*k + i. Solve 0 = 3*c + 12, b + 2 = -c - k for b.
0
Let v be (-10)/(-4) - 2/(-4). Suppose 0 = 6*a - v*a. Solve a = -5*y + h - 12, y - 4*h = -6*h - 9 for y.
-3
Suppose 6 = -0*z + z. Let k = 15 - z. Solve 2*b = 5*r + k, 2*r + b = -15 + 6 for r.
-3
Let o = -104 + 115. Solve 11 - 1 = 4*j + r, 0 = -j + 4*r + o for j.
3
Let n(s) = s**2 - 18*s + 21. Let z be n(17). Suppose -4*i + 4*j - 5*j = -58, 0 = -i + z*j + 23. Solve -5*w = -3*v - 0*w - 25, -4*v - 3*w = -i for v.
0
Suppose 0 = -10*o + 5*o - 4*a + 20, -2*o + 8 = 5*a. Solve -5*c + 44 = -j + 14, 0 = -4*c - o*j for c.
5
Let d be 5*8/20 - (0 + -1). Solve -4*x = -d*i + 7, 3*i + 2 - 1 = 2*x for x.
-4
Suppose 4*z = 3*v + 26, -3*v + 2 = 8. Solve 0 = -4*j - 2*s - 24, -j + z*j = 4*s for j.
-4
Let p = -18 - -12. Let i(t) be the first derivative of -t**4/4 - 2*t**3 + 2*t - 7. Let c be i(p). Solve 0 = -2*h - 4*m + 14, c*m = 4*h - 2*m + 32 for h.
-3
Let y = -13 - -15. Solve 3*x + 0*f + 17 = -5*f, y*x - 4*f - 18 = 0 for x.
1
Suppose -3*q + 2*w + 7 = 0, w + 1 = 4*q - 10. Let b = 17 - 7. Solve 3*s + 5 = -5*h - b, q*s + 9 = -3*h for s.
0
Let k = -61 - -126. Suppose -5*b = 2*x - k, 5*x = -2*b + 2*x + 15. Solve -3*o + 9 = f, 4*f + 5*o - b = f for f.
0
Let u(a) = -2*a - 15. Let f(d) = -d - 8. Let o(r) = -7*f(r) + 4*u(r). Let i be o(-7). Solve 15 = -i*m - 0*m, 7 = h - m for h.
2
Suppose -30 = 20*h - 110. Solve 20 = -h*b, -f + b - 5 = 3*b for f.
5
Let r(i) = -i**2 - 6*i - 2. Let q be r(-4). Let b = 10 - q. Solve 4*p + 0 + b = -2*d, 4*p = 4*d + 20 for d.
-4
Let z be (-40)/(-18) - (-2)/(-9). Suppose x = z*q - x - 16, q - 24 = 5*x. Solve -32 = -q*g + 4*o, 0 = 5*o - 0*o + 25 for g.
3
Suppose 4*g - 4 = -0*g. Solve 5*n = 4*v + 1, -3*n + g = -2*v - 0*v for v.
1
Suppose 6*q = 5*q. Let t = 5 + -3. Let r(k) = 5*k - 3. Let s be r(t). Solve 2*n - s = 3*w, 2*n - 6 + 2 = q for w.
-1
Suppose 0 = 3*m - 7 - 11. Let d(q) = -q**3 + 6*q**2 - 2*q + 4. Let c be d(m). Let b = 13 + c. Solve -p = b*a, a + 3*a + 11 = -3*p for p.
-5
Let u(w) = w**2 + 2 - 1 - 7*w + 3*w. Let d be u(4). Suppose 0 = -4*s + 11 + d. Solve 0 = -4*p - s*v + 2, 7 + 1 = 5*p + v for p.
2
Let k(n) = -n**3 + 16*n**2 - 14*n - 12. Let j be k(15). Solve -p + 12 = -0*x - j*x, x = -2*p - 4 for p.
0
Suppose -6*i + 3*i = 0. Let l be 9/2*(-16)/(-12). Solve -s + 5*p + 11 = i, p - l = 3*p for s.
-4
Let t be 0*(0/2 + (-1)/(-2)). Solve -3*g + 2*g = f, t = g - 3*f - 20 for g.
5
Suppose -4*k + 3*b = -143, 0*k - k - b + 27 = 0. Solve -4*g - 4*r - k = r, -20 = 5*r for g.
-3
Let n be 6/(-4)*(-40)/15. Solve 0 = -4*w + w + n*r + 15, -4*r = 0 for w.
5
Let x(c) = 1. Let o(n) = n - 2. Let q(m) = -o(m) + 5*x(m). Let g be q(6). Solve -3*v = j - 2*j - g, 4*j - 4 = 4*v for v.
1
Suppose -7*b + 3*b + 56 = 0. Suppose -2*m + b = -3*x, -2*m - 8 = -6*m - 4*x. Solve 5*r + m*u - 21 = 0, -4*r + 0*u = u - 8 for r.
1
Suppose 3*v + 5*m = -34, -5 = -3*v + 4*m + 6. Let y = 0 - 1. Let i be 1*(y + (-6)/v). Solve 3*s + 4*l - i = 6, 12 = 3*l for s.
-3
Let n(x) = 2*x**3 + x**2 + 2. Let y be n(2). Solve 3*j = 3*q + y - 4, 15 = -5*q for j.
3
Let y be (5/4)/(1/4). Let t be 1/3 - 4/(-6). Let a = t + 1. Solve -2*s + 2*u = -u + a, 4*u - y = 5*s for s.
-1
Let r = -5 - -9. Let n(u) = -u**2 + 14*u - 10. Let q be (2 - 4)/((-4)/26). Let p be n(q). Solve -p*y = -r*j - 17, -2*y + 4 = -j + 1 for y.
-1
Suppose 5 + 5 = 5*u. Solve 3*x + 4 = -u, -5*i + 4*x + 28 = 0 for i.
4
Suppose -5*t = -3*u + 5, 14 = 3*t - t + 2*u. Solve -2*l - 4*g = -16, t*g + 0*g - 8 = 2*l for l.
0
Suppose -4*d + 2 - 18 = 0. Let w be ((-18)/12)/(3/d). Suppose 26 = 4*n - 3*h, -n + 5*h + 25 = w*n. Solve 5*b = 4*x + 22, n*b - 2 - 2 = -2*x for b.
2
Let a = 71 - 68. Solve -4*o = -3*h + 4 - 12, 2*h - 5*o + a = 0 for h.
-4
Let p = -12 + 16. Solve 3*b + p*f - 5 = 0, -2*f + 9 = -1 for b.
-5
Suppose -2*q + 16 = -3*f - f, 4*f + 16 = 0. Solve 4*s - 4*j - 4 = 0, -s + 5*j = -1 - q for s.
1
Let i be (60/(-24))/((-1)/2). Solve -i*d + 4*z = -20, 25 = d + d - 5*z for d.
0
Suppose -8*j = -10*j + 10. Suppose 8 + 17 = j*i. Solve -4*t = 5*v - 19, -i*v = t + 4*t - 20 for v.
3
Let b(v) = v - 1. Let a be b(-8). Let z be a/45 + 52/10. Solve 21 = -5*w + 3*r, 0*w + 5*w = z*r - 25 for w.
-3
Suppose 0*y + 3*y = 9. Suppose -13 = 2*v - 3*k, 4*k = y*v - 7*v + 4. Let c(g) = 2*g**2 + 2*g. Let h be c(v). Solve -4*r + 3*s = -25, -3*s + 7 - h = 3*r for r.
4
Suppose -2 - 5 = y. Suppose -5*s = -3*i + 6*i + 7, s - 9 = 2*i. Let c be 1*(0 + y)*i. Solve -3*m + 5*a = 13, -2*m - 4*a = -0*m - c for m.
4
Let u(w) = -w**3 - 7*w**2 - 5*w + 8. Let l be u(-6). Solve 3*c + l*c + 4*p - 21 = 0, -p + 4 = c for c.
5
Let w = -2 - -23. Solve 2*l + 5*m - w = 0, -4*l - l = -4*m + 30 for l.
-2
Let d(k) = -k**2 - 6*k + 4. Let p be d(-4). Suppose 10 = 5*v + 5*a, -4*v + 0*a + p = 3*a. Let q be -2 - (3 - v/1). Solve 4*w + 9 + q = o, 4*o = 5*w + 7 for o.
-2
Let s = 3 + 1. Let j(h) = h + 2. Let a be j(s). Suppose 6*q - a = 4*q