u + l + l + n = 0, 3*u - 4*l - 7 = 0 for u.
1
Let m(a) = 2*a + 2. Let j be m(-1). Solve j*q + q - t = -4, 3*q - 4*t = -17 for q.
1
Suppose 0 = -7*a - a + 48. Suppose 0*w - 4*w = -16. Suppose -a = -w*u + 10. Solve -20 = v - 5*z, 0*z - z = u*v - 25 for v.
5
Suppose -5*t + 21 = 2*r, -2*t = -6*r + 3*r - 16. Suppose t*v - 20 + 0 = 0. Solve v*u - 10 = -5*s, -2*s = -3*u - s + 17 for u.
5
Let g(s) = s**2 - 2*s + 3. Let b be g(2). Solve -3*v - 9 = 2*u + b, 1 = u - 2*v for u.
-3
Let a be (-1 - -2 - -1) + 4. Suppose a = k + 3. Solve k*n + 2 = o, 4*n - 3*o + 6 = 2*n for n.
0
Let o be (-10)/5 + (-48)/(-2). Suppose -4*d = 6 - o. Solve d*z - 8 = 0, 0*w - 3*z - 9 = 5*w for w.
-3
Let q(g) = g + 9. Let l be q(-7). Solve -l*f + 14 = -2*r, r = -r + f - 10 for r.
-3
Suppose 4*r - 2*d - 67 - 21 = 0, -5*d = -5*r + 115. Let a = -16 + r. Solve a*v - 5*y = -25, -3*y - 4 + 23 = -5*v for v.
-2
Suppose 4*z - 10 = -z. Suppose -z*d + 5*d = 3. Solve 4*w + 4 = 0, 0*q - q = -w + d for q.
-2
Let w = -42 - -47. Solve w = f, -f + 1 + 1 = -3*n for n.
1
Let w = -24 - -29. Solve -w*g + 9 = -i - 2*i, i = 4*g - 3 for g.
0
Suppose z - 8 = -3*z. Solve -z*h = 5*s + 29, -s + 24 = -2*h - 5*s for h.
-2
Suppose 0 = -i - 3*t + 4 + 12, 4*i - 34 = 3*t. Suppose 2 = -j + 8. Solve -3*f = -2*v - i, -j = -f - f + v for f.
2
Let f(z) = z**3 - 5*z**2 - z + 7. Let b be f(5). Solve 0*n - b*n - 2*s = 14, -4*n + 3*s = 0 for n.
-3
Let w(j) = -6*j + 22. Let v be w(3). Let s(o) = -2*o. Let n be s(2). Let m be 1*(0 - (n - -1)). Solve m*t = 12, -v*x - 5*t = x - 35 for x.
3
Let g = -14 + 16. Solve 5*s + 27 = -b, -g*s + 15 = -3*s - 5*b for s.
-5
Suppose 3*w = -x + 19, -2*x + 2*w = -4 + 6. Solve -d + 10 = x*d, -d = 5*j + 8 for j.
-2
Let g = -28 + 14. Let d(y) = -y**2 + 6*y - 2. Let t be d(6). Let m = t - g. Solve -4*r + 4*p = -m, -4*r + p = -4*p - 11 for r.
4
Suppose -4*d + 12 = -0. Let s(z) = 1 + z + 1 - 2*z**2 + 5*z**2 - z**3. Let i be s(d). Solve -19 = -2*y - i*f, -7*y = -2*y - 3*f - 1 for y.
2
Let b be (0 - 0) + 3/1. Let l = b - 1. Let p be (-16)/(-6) + 17/51. Solve p*v - 9 = -5*f + 7, 0 = v - l*f + 2 for v.
2
Let n be (-7)/(-2) + 5/10. Solve 0 = 4*i - 3*w - 11, w = -i + 2*w + n for i.
-1
Suppose 26 = -3*k - 2*l - 0*l, -3*k = 3*l + 21. Let q be ((-8)/6)/(k/18). Solve 4*f = -q*d - 6, d = -0*d - 1 for f.
-1
Let i = 30 - 28. Solve 0*a - i*v - 12 = 2*a, -6 = -a + 2*v for a.
-2
Suppose 0 = -7*y + 3*y + 16. Solve y*n + 12 = 4*t + 40, 4*t + n + 18 = 0 for t.
-5
Suppose 2*g + 2*q = 5*g + 1, -4*g - 24 = 3*q. Let z = 0 + g. Let r = 3 - z. Solve -r = 3*p + 3*y + 9, 0 = 2*y for p.
-5
Let t be (-5 - 0)/((-3)/(-15)). Let p = -13 - t. Solve -3*j = 2*j - w + 16, 0 = 2*j - 5*w - p for j.
-4
Let z be -1*(-69)/21 - 8/28. Solve 2*f - 17 = -3*i, 16 = 4*i + z*f - 2*f for i.
3
Let b = -2 - -3. Let f = b + 2. Suppose 0 = 5*c - 4*d - 16, -2*c + 5*d + f = -0*d. Solve 2*s + c = 4*j - 16, 2*j + 2*s - 4 = 0 for j.
4
Suppose -s = -5*x + 3*s + 83, 2*x = s + 32. Let a = 58 - 55. Let i(u) = u**2 - 4*u - 7. Let j be i(6). Solve 4*q - a*r - 13 = 8, -j*r = x for q.
3
Let i(q) = -q**2 - 18*q - 35. Let y be i(-14). Solve -h = -5*n + 12, h + 3*n - y = -3*h for h.
3
Suppose 0 = -0*y + 2*y - 154. Let u = y - 49. Suppose -5*i + 142 = -c - 0*c, -4*c - 8 = 0. Solve w - u = 5*a - 4, 0 = 2*a - 5*w + i for a.
-4
Suppose 35 = 2*g - 17. Suppose 3*b - b = g. Solve -2*i + 31 = -5*z, -5*i + i = 5*z + b for z.
-5
Suppose 0 = -5*t - x + 20, 4*t + 5*x = -0*x - 5. Let h = 45 - t. Solve 0 = -j + 2*a + 2*a + 16, 5*j + h = -4*a for j.
-4
Let h(y) = 8*y - 12. Let u be h(2). Solve -u*t = -2*r - 2*t - 18, 5*r + 21 = -t for r.
-5
Suppose 16*v = 19*v. Let c be (1 - v)*(5 + -5). Solve 4*d - 4 = 2*b, c = b + 4*d + 1 + 1 for b.
-2
Let c(n) = n - 4. Let h be c(10). Suppose u + h = 3*u. Solve 3*z = u*b, 2*b - 8 = z - b for z.
4
Let a(t) = t**3 + 16*t**2 + 15*t. Suppose d - 90 = 7*d. Let v be a(d). Solve v = -4*x + 4*b - 40, -2*x + 4*b - 45 = 3*x for x.
-5
Suppose 0 = 4*q - 2*d - 14, 5*d + 4 + 1 = 0. Suppose v = -q + 5. Suppose 5*x + 3 = -i, 2*i + 32 = 3*i - v*x. Solve 3*s - 4*s + i = -4*l, -5*s = -l - 15 for s.
2
Let k = -3 + 6. Suppose 0 = 3*s + 5*o, -16 = -3*s - 2*s - k*o. Solve 15 = -5*d + s*x, x = -x + 10 for d.
2
Let y(t) = -t + 7. Suppose -w = 1 + 5. Let z be (4/w)/((-2)/15). Let u be y(z). Solve u*l - 7 = 2*g - 19, -3*g + 14 = l for l.
-1
Let r = 11 + -7. Let x = 4 + 1. Suppose -1 = x*a + 4*p, -5*a + 4 = -5*p - 31. Solve 7*s + 12 = -a*k + r*s, 2*k + 15 = 5*s for k.
-5
Let q = -4 - -2. Let s = q + 3. Let d(t) = t**3 + 2*t**2 - 4*t + 2. Let c be d(0). Solve -5 = 2*x + 5*v, c*x - s = -2*x + v for x.
0
Suppose 5 = 2*k + 1. Suppose -42 - 18 = -k*g. Suppose 4*n - r + 9 = 30, 2*r + g = 5*n. Solve 0 = i + h, -n*i - 5*h + 2 + 3 = 0 for i.
-5
Let v(z) = z**2 + 5*z + 7. Let i be v(-6). Suppose 3*s = 2 + i. Solve s*w = -2*q - 2*q - 16, -3*q - 2*w - 5 = 0 for q.
1
Let y = -289 - -291. Let i(r) = -4*r**3 - 2*r**2 - r. Let d be i(-1). Solve -2*k - y = 2*t - d*k, -t - 1 = -4*k for t.
-1
Let r be 8/6 - (-25)/15. Solve -r*i + 5 = -4*h - 0*i, h = i - 1 for h.
-2
Let f = 12 - 8. Let m = -30 - -44. Solve 6*k - 16 = 2*k + 2*v, 3*v = f*k - m for k.
5
Let b = -3 - -6. Suppose -s + 34 = -b*s. Let q be 2/((-19)/s - 1). Solve x = 2*y + 5, 3*x + q + 4 = -3*y for x.
-3
Suppose 6 = 2*c + c. Suppose 0 = -t + 4 + c. Solve -4*z - g = 3, z - g = g + t for z.
0
Let z(r) = -r**2 + 2*r - 1. Let h be z(1). Let c = h + 0. Solve -3*q - 3*w - 2 - 1 = 0, q - w - 7 = c for q.
3
Let q = -22 + 24. Solve -13 = p + 2*y + q*y, -y - 2 = -p for p.
-1
Suppose 2*u = -u. Suppose 0 = -u*s + 3*s - 9. Let w(z) = z**3 - 17*z**2 + 2. Let o be w(17). Solve 4*l = 2*h + 6, -2*l + 7*l + s*h = o for l.
1
Suppose -4*q + 1 = -n, -4*n - 14 = 5*q - 115. Let g = 23 - n. Suppose 4*o - 16 = 0, -5*b = -b - 4*o. Solve 13 = g*t - 3, b*h + 8 = 2*t for h.
0
Suppose -t = 3, 3*k - 21 = 3*t - 0. Solve -k*d + 11 - 40 = 5*r, 0 = -3*r - 5*d - 20 for r.
-5
Let q(s) = s + 1. Let h be q(0). Let v be (-265)/(-85) - (-2)/(-17). Solve -c = 5*m - 6, -h = -v*c - 4*m + 6 for c.
1
Let a(u) = -2 + 1 + 3*u**2 + 0. Suppose 0 = 4*z - 4*y - 20, z - y = 3*z + 2. Let l be a(z). Solve -3*s + w = 1 + 3, -l*s - 2*w - 16 = 0 for s.
-3
Suppose 5*g + 4 = 34. Let v(q) = q**2 + 2*q. Let d be v(-2). Solve d = 3*c - 5*c + g, 2 = 4*l - 2*c for l.
2
Let w(z) be the first derivative of z**2 + 3. Let y be w(3). Solve -5*b + 4*p = 1, 0*b - b = 5*p + y for b.
-1
Let v(m) = m**2 - 5*m - 2. Let g be v(6). Let j be (1 - g)*(2 + -3). Solve 0 = j*d + 3*n - 0*n - 3, -2*n = -d + 10 for d.
4
Suppose -1 = -z, 2*z + z - 3 = 4*m. Solve -2*k + m*k = 2*p, 2*p = 4 for k.
-2
Let r(k) = k**3 + 2*k**2 - 4*k - 1. Let z be r(-3). Suppose 3*o - 3 = -3*y, -3*o + y + 8 = -15. Solve -h - z*w + 4 = 0, 2*w + o = 3*h + 2 for h.
2
Suppose -l = l - 6. Let w be (-2*l/(-2))/1. Solve s + w*u + 5 = 0, -4*s - 2*u - 11 = u for s.
-2
Let x(t) = 9*t + 7. Let b(c) = 4*c + 4. Let h(q) = -7*b(q) + 3*x(q). Let g be h(-11). Solve -j - 6 = -5*s + g*s, 2*j + 2*s = 0 for j.
-3
Let g be (-1)/(-2) - (-81)/18. Suppose -3*w + 10 = -g. Solve 3*c - 3*t - 30 = 0, -w*c - 4*t + 1 = -4 for c.
5
Suppose 0 = 20*r - 16*r - 12. Solve 4*v = r*m - 30 + 7, -m + 13 = -4*v for m.
5
Let o(j) = j**2 - 4*j + 3. Let d be o(4). Suppose -3 = -d*z + 6. Solve 7*m + 3*k - 24 = 4*m, 2*m - z*k = 1 for m.
5
Let w be (0/2)/(0 + -1). Let p(o) = o**2 + 3*o - 4. Let z be p(3). Solve -3*l - 5*t + z = w, -3*l + 0*l + 10 = t for l.
3
Let j(q) = -q - 5. Let d be j(-8). Solve -4*v + 4*z + 8 = 0, d*v - 4*z = z + 10 for v.
0
Let o = -4 - -7. Suppose 0*k = 3*w + 4*k - 16, -o*k + 12 = w. Suppose j + 0*j = 3*q, -3*q + 3 = 0. Solve 4*y - j*x = -18, -2 = -x - w for y.
-3
Let o = 3 - 0. Solve 4*z + o*r - 12 = 4*r, -16 = -5*z + r for z.
4
Let j = -5 - -7. Suppose -j*f = -3*f + 2. Let i be 2/(-4) + 14/4. Solve i*n - f*x + 25 = 0, 4*x = n - x + 30 for n.
-5
Let i be 4/10 - (-91)/35. Solve 0 = -g + 5*c - 16, i*c = 7*c - 12 for g.
-1
Suppose -4*i = -i + 3*s - 27, 0 = -i + 5*s + 15. Suppose 0 = -2*y + i + 4. Solve p - 5 = 4*x, 0 = -2*x - p - y for x.
-2
Let n(f) = 3*f**2 + 3*f - 3. Let z be n(2). Solve -z = -b + 5*v, 4*v + 26 = -b - b for b.
-5
Let q be (-8)/10*(-1 + -4 + 0). Solve -2*c = -q*y + 3*c + 3, 2*y + 3*c = -15 for y.
-3
Suppose -c + 2*f = 0, -2*f = 2*c - 4*f. Sol