+ 4*l for y.
0
Let k(o) = 2*o - 6. Let x be k(6). Let n be x/21 - 19/(-7). Suppose -p = -3*i - n, -4*p + i = -5*p + 7. Solve -2*f - 2*t + p = 0, -2*f - 4*t + 16 = 3*f for f.
4
Suppose i - 3*h = -4, -3*i + 5*i - 10 = -3*h. Solve -c + i = -m - 6, 4*m = -4*c for c.
4
Let t = 4 - -1. Let a = -13 + 20. Suppose -16 = -2*j + a*c - 3*c, -2*j = -2*c - 10. Solve 0 = -t*d - j*k + 4, -4*d - 3 = 4*k + 1 for d.
2
Let d be -1 + 3 + 0 - 0. Let p = -4 - -7. Suppose p*u = 4*u - 2. Solve u*i + 0*i = 0, b - 3*i = d for b.
2
Let g = 24 - 18. Let r = g - 4. Solve 4*v + 5*y = -9, 0 = -2*v - r*v - y + 11 for v.
4
Suppose 4*a = 2*c - 4, -3*a = -8*a - 3*c + 17. Solve 4*l = 3*f + a, -l - 4*f - 3 = 11 for l.
-2
Let j(i) = i**3 + 13*i**2 + 12*i + 3. Let v be j(-12). Solve 3*b - 2*t = -6, v*b + 1 = -5*t - 5 for b.
-2
Let c be (-2)/((-30)/56 + (-4)/(-16)). Solve -4*u = -u + 3, c = 2*o + u for o.
4
Let o = 11 + -8. Suppose -7*n + 2*n - 2*b = -63, o*b - 49 = -4*n. Solve 3*g = -y - n, -g - y - 3 = 2 for g.
-4
Let z(a) = -a**2 - 4*a + 4. Let q = -5 - -1. Let w be z(q). Let g(s) = -s**2 - 3*s + 1. Let r be g(-2). Solve -l - r*u = -5*l - 11, -w*u = -4 for l.
-2
Let d = 25 - 22. Solve -6 = 3*u - 3*c, 4*u - d*u + 4*c = -7 for u.
-3
Let l(a) = -a**2 + 4*a. Let o be l(3). Suppose 2*x - o = -x. Suppose -3*r - x = -3*d - 34, 3*d = -3*r + 57. Solve -p + 4*p - 3 = 0, -2*u + r = 5*p for u.
5
Let l = 21 - 85. Let k = -53 - 41. Let a = l - k. Solve 0 = 3*h - 2*h + 5, 4*h + a = -5*n for n.
-2
Suppose l = 4*n - 18, 3*l - 16 = -4*n + 2*n. Solve -l*q - 5*g = -2*g + 8, -2*g + 16 = -4*q for q.
-4
Let h be (4/(-3))/((-5)/15). Let m = h + -7. Let p be (-2 - m)*(-2 + 2). Solve -1 = w + 2*y, -w - w + 4*y - 2 = p for w.
-1
Let l be (-6)/(-4) - 4/(-8). Let o(v) = v + 8. Let t be o(0). Let n be (-16)/(-7) + t/(-28). Solve -6 = 2*g - x, -3*g + n*g - l*x = -7 for g.
-1
Suppose 3*i - 18 = i. Let g(r) = -7 - 6*r + 7*r + 0. Let v be g(10). Solve -i = v*s - 5*x, 0*x = 4*s + 5*x - 23 for s.
2
Let w be 4*(-9)/48*-4. Suppose -6*u - 15 = -u + 5*g, 5 = -5*u - w*g. Solve -10 = 5*x + 4*t + t, -u*x = 5*t - 2 for x.
-4
Let j = 81 + -81. Solve 8*o - 3*o + 2*h - 14 = j, o = -2*h + 6 for o.
2
Suppose 9 = 2*c - l, -2*c - 5*l - 20 = 1. Let a be 1 + c/(-4)*2. Suppose -2*o = -a - 6. Solve 5*y + 3*j + 16 = -0*j, 0 = j - o for y.
-5
Let h = 11 - 6. Let m(z) = 14 + 2 - h + z. Let q be m(-5). Solve 0 = -3*f + q*f + 3, 2 = -s - f for s.
-1
Suppose -u + 12 = 3*u. Solve -t - u*g = 2*g + 3, -g + 9 = 5*t for t.
2
Suppose 3*u = -2*u - 10. Let z be 1 + 1 + u + 3. Solve -2*b + 13 = j + 4, j = z*b - 16 for j.
-1
Suppose 0 = -c + 2*c - 3, 0 = -4*t + 5*c + 1. Solve v + 4*i = 6*v - t, 0 = 4*v + 2*i - 24 for v.
4
Let w(l) = l - 6. Let t be w(6). Suppose t = -5*h + 5 + 5. Suppose -c = 0, 0 = 2*m - m - 3*c - h. Solve m = -o + 3*b, -2*b - b - 2 = -2*o for o.
4
Suppose -94 = -5*o + 11. Let j = 21 - o. Solve 13 = 2*x - 5*t - 8, j = 2*x + 2*t for x.
3
Let y be 9*((-26)/(-6) - 3). Solve 0*w - y = -4*w - 2*u, w + 5*u = 12 for w.
2
Let z be (-44)/(-7) + (-4)/14. Suppose 7*f = z*f - 1. Let g = f - -5. Solve -2*w + 4*l = -0*w, -12 = g*w + 4*l for w.
-2
Let j = 7 - 4. Suppose j = 3*m - 3*q, -q + 3*q = 4. Let u be ((-3)/2)/(2/(-4)). Solve u*t = 2*k - 6 - 3, -2*t = -m*k + 6 for k.
0
Let d(w) = -3*w + 3. Let x be d(-3). Suppose x = 5*r + 2. Solve 5*a - 2*v - 6 = 0, r*a - 4*v + 10 = 3*a for a.
2
Let f(b) be the first derivative of -b**3/3 + 2*b**2 + 4*b - 3. Let j be f(4). Let k = -3 + 23. Solve -4*g + 0*g = 4*t - 16, j*t + k = 5*g for g.
4
Let a = 8 - 14. Let m = -4 - a. Solve m*k + o = 0, -2*o + 0 + 8 = 0 for k.
-2
Suppose 4*m - 9 = 7. Let a = -14 - -19. Solve 4*n - a*u + 4 = 1, 5*n - m*u = -6 for n.
-2
Let z(j) = -j**2 + 3*j + 4. Let r(s) = s + 1. Let q(o) = r(o) + z(o). Let x be q(5). Solve -2*l = -x*u + 5*u - 33, 0 = 5*l - u - 15 for l.
4
Suppose 6 = 2*k + k. Suppose -g - 1 = -2*g. Let n be (g - (-2)/1)*1. Solve -r - 3 = -0*o - n*o, 0 = 4*o - k*r - 4 for o.
1
Let h be (-2)/(5/((-50)/4)). Suppose -2*d + 1 = -h. Let w be 11/d - (-6)/(-9). Solve w*n - 2*n = 2*z + 7, 0 = n - 5 for z.
-1
Let w = 234 + -150. Let j be w/16 - (-4)/(-16). Solve 3*l = -9, -j*y + l = -6 - 12 for y.
3
Let t = -1 - -4. Let j = -6 - -17. Let s be (0*(-1)/2)/(-2). Solve s = -0*u - 3*u + 2*x - j, -9 = t*u - 3*x for u.
-5
Suppose -2*u + 5*m = -6*u + 18, 3*m - 2 = 2*u. Let b = 4 + 0. Let c be (-1)/b + 1032/32. Solve 4*l + 4*j = -c, -5*j - 1 = -u*l + 4 for l.
-5
Let y be (-16)/9 + (-4)/18. Let n be y/((-4)/14)*11. Suppose 28 = 5*c - n. Solve r = -x + 7, -3*x = 5*r - c - 4 for r.
2
Suppose -2*t = 3*t - 25. Suppose 3*p - 11 = 5*u, -7*u + 5 = 4*p - 4*u. Solve 12 = t*y - 0*l + l, 0 = -p*y + 4*l + 18 for y.
3
Suppose -3 - 21 = -q. Solve -3*x = -6*x + 5*n - q, 4*x = -n - 9 for x.
-3
Let f be (-4)/(-10) - (-24)/15. Solve -5*d - 20 = k, -f*d - 2*k = k + 21 for d.
-3
Let r be 11/4 - 6/(-24). Let g(m) = m - 1. Let p be g(r). Solve 4*z = -5*u + 15, -p*z + 3*z = -2*u + 3 for u.
-1
Let i(z) = z + 11. Let b = -22 + 13. Let h be i(b). Solve 3*a = -3*f, 3*a - h*f = 8*a + 3 for a.
-1
Let f(j) = 3*j + 16. Let d be f(-4). Solve 0*a = -4*a - 4*h - 24, 0 = d*a - 3*h + 17 for a.
-5
Suppose 10 = -p + 3. Let t = 10 + p. Solve 4*d = -d + 2*f + 11, -4*f = t*d - 17 for d.
3
Suppose 0 = 2*y + 3*i - 1, 0*y + 2*i = -y - 1. Let k be 0*((-10)/4)/y. Suppose -5*x = -k*x. Solve 4*d - 8 = -4*s, x = 4*s - 3*s - 5 for d.
-3
Suppose 3*f = -3*y + 102, -3*y - 33 = -f - 5*y. Let l be 189/f - 2/5. Solve 0*u - k + 13 = 5*u, k = l*u - 17 for u.
3
Let k = 22 + -19. Solve -2*x - k*f - f = 20, 0 = 4*x - 4*f - 8 for x.
-2
Let f = -14 + 22. Suppose 7*c = f*c - 2. Solve -16 = -c*i + 4*q, 5*i + 2 = 3*i - 5*q for i.
4
Suppose -4*v + 2 + 14 = 0. Solve -4*f + 6*f - 3*z = -6, 8 = 3*f + v*z for f.
0
Suppose -60 = -5*w + 65. Solve -4*r + 3 = -2*b - w, 0 = 5*b - 2*r + 30 for b.
-4
Suppose 0 = -0*c + c - 2. Solve z - 7 = -4*t, t - c*t + 4 = z for t.
1
Let y(p) = -4*p - 4. Let o be y(-2). Solve -5*l + 0 - 10 = 5*x, -o = -4*l + 2*x for l.
0
Suppose -3*j - 9 = -x + 10, -2*x + 5*j + 33 = 0. Solve w - 5*w = 4, x*w = -o - 7 for o.
-3
Let i(b) = 2*b - 2. Let f be i(2). Solve -12 = 5*z + l, 0*z - z - f*l = -3 for z.
-3
Suppose j + 0*j = -g + 4, 0 = 2*g - 4. Solve 0 = 3*a + 5*m - 5, m - j*m = 5*a - 1 for a.
0
Let u = 13 - 11. Solve u = -3*x + 2*y + 15, 5*x - 5 = -5*y for x.
3
Let w = -3 + 7. Solve 2*z - z - 2*k + 6 = 0, w*z = 5*k - 15 for z.
0
Let o(h) = h**2 + 2*h - 9. Let m be o(-5). Suppose -l + 4*l = m. Solve 10 = -5*j, 4*n - n - 4*j - l = 0 for n.
-2
Let z = 9 - 6. Let s = z + 1. Solve 2*c - 4*d = s, -4*d - 3 - 1 = 2*c for c.
0
Let k(x) = x + 5. Let z be k(0). Let b = -9 + 11. Solve 4*w - b = -5*l, -3*l = -l + z*w - 11 for l.
-2
Suppose -9 = -3*d - 3. Solve -d*b - 3*b - 8 = -4*x, -3*b - 5*x - 27 = 0 for b.
-4
Suppose -3*m + 4 = -2*m. Solve 0 = -m*d + n + 4*n - 11, 5 = -d - n for d.
-4
Let c(x) = 4*x**2 + 6*x + 1. Let v be c(-3). Solve -3*s - v = 2*o - 3, 4 = -2*s for o.
-5
Suppose 0 = -f - 2*w - 0*w + 13, 0 = -f - 3*w + 17. Let m = -2 + f. Solve 4*a + m*s = a, 0 = 3*s - 6 for a.
-2
Suppose 0 = 3*o + 5*z - 22, 0 = 4*o - 2*z - z - 10. Solve o*c - 18 = 5*s + 3, 0 = -s - 3*c + 11 for s.
-1
Let s = 1 - -2. Suppose h + z = 0, -2*h = -h + 5*z + 4. Let x = h + 2. Solve -x*c - s = 3*d, -d - 3*d - 5*c - 7 = 0 for d.
2
Suppose 3*u = 2*b + 4, 4*b + 5*u - 7 - 7 = 0. Suppose 5 = h + b. Solve -3*g = -4*g + 5*f + 18, 3*g + 22 = -h*f for g.
-2
Let s be 3*(-2)/(-3) + 9. Suppose 0 = -3*o + 3*q + 21, o - 3*o = -q - s. Solve -1 = 3*f - 0*f - o*n, 3*n = 5*f - 2 for f.
1
Let x = -9 + 12. Suppose 3*a + 5*p = 0, 3 = -5*p - 12. Solve -4*f + x = -a*b, 4*f + 2*b + 4 = 14 for f.
2
Suppose 0 = -3*h - 0*h. Let z = -3 - -5. Let p = z + h. Solve -i - 7 = -2*g + 2, p*i + 4*g + 2 = 0 for i.
-5
Suppose 2*z = z + 3. Suppose -4*g + q = z*q - 66, -5*g = -5*q - 45. Solve -12 = 3*l, g = -2*v - l - l for v.
-3
Suppose 2*a + 4*f - 20 = -0*f, 4*f + 52 = 4*a. Let m be a/(-28) - 34/(-14). Solve 0*w = 4*i + 3*w - 26, 29 = 5*i + m*w for i.
5
Let y(v) = -2*v**2 - 22*v. Let g be y(-11). Solve -5*l - 2*z - 10 = -0, g = 3*l - 4*z - 20 for l.
0
Suppose 8 = 2*a + 2*a. Solve a*q - 6 = -2*p, -q = -p - p + 3 for p.
2
Let a be 132/8 + (-2)/4. Let x = -13 + a. Solve 0 = 4*m - 3*n - 8, -m = -5*m - x*n - 