 6 + 0 = 3*k, 5*k = -2*x - 14. Let c = 15 + x. Solve s - 13 = -c*u, 0 = -2*u + s + 4*s + 20 for u.
5
Suppose 12*l - 22 = 2. Solve 4*p - 3*s - 19 + 0 = 0, 3*p + l*s - 10 = 0 for p.
4
Suppose -8*n - 2 + 26 = 0. Solve -5*l - q = n*q - 2, 19 = -2*l + 5*q for l.
-2
Let z = 35 - 32. Solve 4 = 2*o - 2, 0 = z*q - 5*o for q.
5
Let r = 7 + -3. Solve -6 = -2*u, -r*v - 5*u = -0*v - 3 for v.
-3
Let k = -4 + 4. Suppose 0 = b - k*b - 4. Solve -b*d = 16, -d - 45 = -5*o + 4*d for o.
5
Suppose 2*d = -2*v + 18, 4*d + 0*v = 2*v + 12. Solve 0 = -2*f + 8, -4*f = 2*x - d*x - 19 for x.
-1
Let i(x) = 3 - 6 + 16*x + 1. Let o be i(4). Let p be (-2)/6 + o/6. Solve 3 = -3*s + 2*v - p, -3*v = s - 14 for s.
-1
Let p be (1 - -2) + (-1 - -2). Suppose -p*h = -7*h. Suppose h = j + 3 - 6. Solve 3*b + j*q + 5 + 10 = 0, -q - 4 = 0 for b.
-1
Let c be (-1)/(2/(-30)) - -1. Solve -5*i + 10 = 5*b, i = -0*b + 5*b - c for b.
3
Let j = 5 + 2. Suppose -g - 4 = -j. Solve 3*d - 21 = -2*c - 0*c, -3*c - 6 = -g*d for c.
3
Let k = 20 + -15. Solve 0 = t - 3, 2*z - k*t = -0*z - 19 for z.
-2
Let r = -2 - -4. Let b(l) = -2*l**2 + 2*l + 2. Let u be b(r). Let d be (-10)/((6/u)/3). Solve -5*c - 24 = g + 6, 4*c + d = 2*g for g.
-5
Suppose 4*c - 8 = -4*h, 0 = -5*h - 3*c + 8*c + 10. Let i = h + 3. Solve -2*f - 7 = f - i*m, -12 = 4*f - 4*m for f.
-4
Let o be ((-26)/8)/(-2*(-2)/(-16)). Solve 2*l + 3*g - 7 = l, -4*l + 3*g = -o for l.
4
Let n be 1*-1 + 4 - (-12 - -12). Solve -2*r - 8 = n*a, 3*r = a - 0*a - 12 for r.
-4
Let j(t) = 6*t - 27. Let r be j(5). Solve 2*q - 11 = -r*q + b, 5*b - 8 = 4*q for q.
3
Let j = 4 - 1. Solve -15 = j*z, -2*h + 3*h + 4*z = -15 for h.
5
Let s(n) = 2*n - 3. Let y be s(3). Solve 3*f = 3*m - 0*m + 21, -m = -y*f + 17 for f.
5
Suppose 2*u = 5*j - 15, u + 16 = -4*j - 3*u. Solve b = -r - 4*b - 8, -5*b + j = -2*r for r.
-3
Let p = -7 + -4. Let g = -11 - p. Suppose -2*k + 3*k - 10 = 0. Solve g*c + 4*c + 20 = 2*j, 4*c = -3*j - k for c.
-4
Suppose 1 = -4*w - 3*k, -3*w + 3*k + k = -18. Solve 4 = 3*j - 5*j + w*x, 2 = 2*x for j.
-1
Let o(i) = i**3 - 5*i - 4*i**2 + 2 - 4 + 0. Let g be o(-3). Let q = -33 - g. Solve u - 3*t = 2*u + 12, -u = 4*t + q for u.
3
Let t = -7 - -13. Suppose 3*n - t - 9 = 3*y, -2*y = n + 4. Solve 5*c + 14 = n*l, 7 = -c - 0*l - l for c.
-4
Suppose -f + 9 = 7. Solve 0*t - 2 = 5*p + 3*t, f*p - t = -3 for p.
-1
Suppose c - 4*c = c. Solve 7*m - 2*m + x - 19 = c, -4*m + 2*x = -4 for m.
3
Suppose -c = -5*c + 12. Let k be (6/(-9))/(2/(-6)). Solve c*l = -4*t, t - 9 = -k*t for l.
-4
Let o = -8 + 11. Solve -s = o, -13 = -d + s + 3*s for d.
1
Suppose -5*n + 5 = -0, 3*t = -2*n + 26. Let d(m) = -4*m**2 - m**2 + m - t*m + 6*m**2 + 6. Let c be d(7). Solve 3*x - c*p - 2 = -p, -x = -p for x.
-1
Let c(h) be the first derivative of h**2/2 + 2*h - 1. Let b be c(0). Solve -f - b*f - 7 = -5*a, -f = 4 for a.
-1
Suppose 5*y = c + c - 8, 0 = 5*c + y - 20. Solve -2*r + c*n = 12, 5*n = n + 12 for r.
0
Let s(g) = g**3 + 3*g**2 + 2*g + 1. Let m be s(-1). Let a be (-1 + (m - -5))*1. Solve 2*b = 5*d, -d + b = 2 - a for d.
-2
Let o(y) = 12*y. Let t be o(1). Let z be 2/6 + (-76)/12. Let l be 4/4 + -2 - z. Solve 4*s = -u - 25, -l*s + u - t = 8 for s.
-5
Suppose -4*j = -265 - 71. Suppose 5*w + 4 = j. Solve -4*v = 5*u - w, 0 = -3*u - 5*v - 3 + 23 for u.
0
Suppose 5*s + 1 = -9. Let r be 624/21 - s/7. Solve -c + 6*c - r = -5*v, 3*v - c = 6 for v.
3
Let q = -2 + 4. Solve 2*u + u = -3*l + 6, -q*u + 16 = -2*l for l.
-3
Suppose -3*b + 16 = 2*x, -6*x + 20 = 4*b - 4*x. Solve 2*v - 3*g = -g - 2, -b*v - 3*g - 32 = 0 for v.
-5
Suppose -4 = -j - 2. Solve -4*u - f = -0*f + j, 2*u - 8 = 4*f for u.
0
Let p = 26 - 17. Solve 0*l = -4*l + 5*x - 12, 0 = -3*l - 3*x - p for l.
-3
Let i = 80 - 77. Solve 2*y = -i*y - m + 24, -4*m - 4 = 0 for y.
5
Let z be (-3)/12 - 42/(-8). Let t = z + -2. Suppose n + 2*n = 4*b + t, -5*n - b = -28. Solve -n*y - 3*l = -30, 5*y - 4*l = -5 - 0 for y.
3
Let k(g) = -g**3 + g**2 - g + 1. Suppose 5 = 4*s - 5*r - 19, -3*s + 15 = -3*r. Let y be k(s). Solve y = -w + p, 0 = 4*w - 2*p - 3*p for w.
0
Suppose 5*r = -w - 5, 0*w - 4 = 4*r + 5*w. Let a be (39 - r)*(-2)/(-4). Let o(b) = 3*b**2 - 4. Let n be o(-2). Solve n = -4*m - s, 4*m + a + 12 = 5*s for m.
-3
Suppose -u - 3*u = -24. Let h = 10 - u. Solve -2*l + h*l + 15 = -3*p, 6 = 3*p - 5*l for p.
-3
Let n(j) = -4*j**3 + 2*j**2 + 2*j + 1. Suppose c + 2*c + 5*g - 12 = 0, 0 = 5*c - 5*g + 20. Let d be n(c). Solve -d*l + 5*x + 6 = -4, -x = 0 for l.
2
Let z(m) = m**2 - m - 1. Let t be z(-2). Suppose 4*g + j - 7 = g, 5*j - t = 0. Solve k - 4 = -3*w, -g*w - 14 = 3*k + k for k.
-5
Let c = 8 + -5. Let g be (-10)/(-15)*1*c. Solve -2 = -4*p + g*l, 0 = -3*p + 4*l - 1 for p.
1
Suppose 2*m = 4*m. Suppose b - 2 + 1 = m. Let j = b - -3. Solve -4*q + 2*t = 5*t - 3, -3*q - 3 = j*t for q.
3
Let w be (-24)/(-4) - 1*-1. Suppose -2*i = -0*i - 2. Let g be (15 + 0)/3 - i. Solve -3*f = -2*r + g, 5*r - w - 8 = 5*f for f.
2
Suppose -5*b = -3*x + 7*x - 13, -3*x + 5*b = -36. Let j = x - 5. Let t be ((-1)/j)/1*-10. Solve -2*s = 4*n - 0*n - 28, -t*s - 5 = -5*n for n.
5
Suppose -4*t + 5*n + 1 = -15, -t - 4*n = -4. Solve -3*k + 22 = -k + 4*u, t*k - 2*u - 14 = 0 for k.
5
Let r(o) = o**2 - 3*o - 1. Let j be r(-3). Suppose -4*s = -w - j, -4*w + 7 = 2*s - 15. Solve 22 = -3*t + 2*u + 2*u, 0 = s*t - 4*u + 26 for t.
-2
Suppose 0 = 8*k - 6*k + 5*p - 46, 4*k - 2*p = 44. Solve -5*q = -6*w + 2*w - k, 0 = -q + 5*w - 10 for q.
5
Let r(y) = 6*y**3 - y + 1. Let q be r(1). Let w(i) = 2*i - 9. Let o be w(q). Solve 10 = -3*t - 5*d, -7*t + o*t = -d - 2 for t.
0
Suppose 4*z = -0*z + 12. Solve -v - z*l = v - 13, 0 = v - 4*l + 10 for v.
2
Let r(n) = -n**3 - 13*n**2 + 14*n + 2. Let m be r(-14). Solve 0*v = -v - 2*i - m, -v - i = 0 for v.
2
Let v(q) = -q - 2. Let c(z) = -2*z - 5. Let h(a) = -3*c(a) + 7*v(a). Let x be h(-3). Solve -x*k = -0*k - 3*j + 22, 0 = -j + 2 for k.
-4
Suppose 5*d = -5*f - 10, -3*d - 15 = f - 5. Solve -f*t + 2*a - 6 = 0, -3*t - 4*a + 11 = -6*t for t.
-1
Let x(a) = -3*a + 14. Let f be x(0). Solve 2*w = -2*d + f, -w + 1 = -4*d + 4 for w.
5
Let o be (-195)/(-45) + 2/(-6). Solve 0 = 2*h + s - 2, 8*s - o*s - 5 = -5*h for h.
1
Let w be -3 - (-4 + 4 - 3). Let n = 3 + -2. Suppose 15 = 2*q + q. Solve -5*d + 5 = q*i, -3*d - 2*i + n - 3 = w for d.
-4
Let z = 11 - 9. Suppose 0 = -0*h - 4*h. Let w be (9/6 - 1)*6. Solve -z*p - 3*r + h = 4, 5*p = w*r + 32 for p.
4
Let r be 10/(-45) - (-606)/54. Solve -23 = y + 5*g, -y + 0*g - r = 2*g for y.
-3
Suppose 0 = -5*s + 21 + 4. Suppose -s*m - 7 = -27. Solve -5*q - m*h - 24 = -3*q, -3*q = -h + 1 for q.
-2
Suppose 4*r - 31 = -3*a, a - 2*r - 3*r + 15 = 0. Suppose -5*d + 22 = n, 4*d + a*n - 4 = 1. Solve -3 = -l, -2*l = d*q - 6 - 0 for q.
0
Let o(r) = -16*r**2 + 4*r + 4 + 39*r**2 + r**3 - 18*r**2. Let x be o(-4). Solve -8 = 5*g + x*f, -g + 7*f - 3*f = 16 for g.
-4
Let j(s) = -s + 6. Let y be j(10). Let d be -1*(y - 1/(-1)). Suppose -k + 7 = -v, k + 2*v = -4 + 2. Solve k*l + 4 = 0, t = l + d*l for t.
-4
Suppose -4*v = -8*v. Let f be -8*4*(-4)/8. Suppose v + f = 4*o. Solve 5*h = -4*m + m, -o*h + 7 = m for m.
-5
Let k(v) = v + 1 - 4 - 5*v + v. Let b be k(-2). Solve h + 11 = -3*g, -2*g + b*h = -13 + 2 for g.
-2
Let a be 4/(-14) - 176/(-28). Let g = a - 3. Solve -u + 5*o = -13, 9 = 6*u - g*u - 5*o for u.
-2
Let c(j) = -j**2 - 2*j + 6. Let k be c(-3). Solve -2*w = -w - 4*y + 17, k*w - 4*y + 11 = 0 for w.
3
Suppose o + 4*x = 12, -4*x + 0 + 4 = -o. Suppose -1 + 5 = 2*s. Solve -5*m + m = -5*r + 8, -o*m - s*r = 8 for m.
-2
Let k be -24*6/(-9)*1. Suppose 0 = 3*i + i - k. Solve -n - n = i*j + 6, -5*n + 29 = -j for j.
-4
Suppose -3*b + 4*d = -19, -2*b + d = -4*b - 2. Suppose 5*c - 4*y = 28, -2*c = 5*y + 1 + b. Solve g + 1 = -4*u, 3*u = -c*g + u - 4 for g.
-1
Let j = -6 - -2. Let g(r) = r**2 + 7*r + 5. Let b be g(j). Let f(t) = t**2 + 6*t - 7. Let n be f(b). Solve -4*q + 2*i - 18 = n, -4*i = -2*q - 9 - 9 for q.
-3
Suppose -7*t = -0*t - 21. Solve -o + 13 = 5*d + t*o, o + 3 = 0 for d.
5
Let a(f) = -f**3 + 4*f**2 + 2. Let n be a(4). Let z = 25 - 13. Solve 2*u - 3*k + 5 = -n*k, 0 = -5*u + 2*k - z for u.
-2
Let y = -12 + 8. Let x be (-17)/(-3) - y/12. Suppose -4*m - 6 = n - 2*m, m - x = -5*n. Solve -n*o + 5*h = -25, 6*h - 3*h + 15 = -3*o for o.
0
Let k be (3*1)/(-1 - -2). Suppose 0 = 4*