+ 2*j + 85 = q, j + 1 = -b + 18. Solve 0 = -4*l + 2*y + 14, l + b = -x*l - 4*y for l.
1
Let n(o) = -o**3 - o**2 + 14. Let j be n(0). Solve 2*u - 2*y = -j, y = 5*u + 4*y + 3 for u.
-3
Suppose 0 = -v + 2 + 1, -2*v - 3 = -3*r. Suppose -1 + 25 = r*u. Solve 0 = w, 2*a + w + u = 4*w for a.
-4
Suppose 3*n - 4 = 5*l - 0, -5*n + 10 = -5*l. Let k = l - 0. Solve b = 2, -o - k = b - 0 for o.
-3
Let u = 111 - 32. Suppose -5*f + s = -172, 2*s + s - u = -2*f. Solve -2*d = d - 4*l - f, -4*d + 3*l + 35 = 0 for d.
5
Suppose -5*u + 4*y + 71 = 0, -u + 3*y + 31 = -2*y. Solve -2*w - 2*w = -m, 4*m - 5*w = -u for m.
-4
Let i(d) = -2*d - 6. Let n be i(-5). Suppose 8 = 2*l, a - l + 0 = -n. Suppose 14 - 2 = -v - 5*r, a = -v - 3*r - 2. Solve 3 + v = 4*g, 0 = -5*q + 2*g - 18 for q.
-2
Let a(t) = -t**2 - 12*t + 4. Let w be a(-12). Solve 2*s - 8 = w*o, s - 2*s = o + 5 for o.
-3
Let x(s) = s**2 + 9*s + 2. Let d be x(-9). Solve 7*i = 4*i + 2*c + 4, 2*c = d*i for i.
4
Let x be 27/6 - 1/(-2). Suppose -4*m = x*a - 9 - 28, 5*m - 3*a - 37 = 0. Let p = 59 + -56. Solve q - l - p = 0, m*l + 27 = -q + 3*l for q.
-2
Suppose -3 = 2*a - 5*a. Let s = 1 + 1. Let i = a + s. Solve 0 = u - 4*z - 15 + 5, 3*u - i*z - 3 = 0 for u.
-2
Suppose 2*z + 2*x = 5*z - 99, x - 33 = -z. Let w = -18 + z. Solve 0*t = -3*t - 3*d + w, 4*t - 4*d = 12 for t.
4
Let u(y) = -25 + 50 - 4*y**2 - y**3 - 3*y - 22. Let p be u(-3). Solve -1 - p = -2*k + 3*a, -2*a = 5*k - 10 for k.
2
Suppose 8 = -4*d, 0 = -3*j - 3*d + 6*d + 12. Let p be (6/9)/(j/15). Suppose 3*f - p*n = -13, n + n + 6 = 4*f. Solve q + 23 = f*i, 3 = 3*q - 4*q for i.
5
Let p = -166 + 283. Let v = 68 - p. Let o be v/(-14)*(-8)/(-14). Solve -2*i = 8, -o*q + 0*i - 4*i = 6 for q.
5
Suppose 10 = -q + 3*q. Suppose -p + 5 + 3 = -5*n, n - 8 = q*p. Let t = 1 - n. Solve t = -a, 0 = -3*f + f + 5*a + 13 for f.
-1
Suppose 4 = -h + 2*y, 0 = -h - h + y + 1. Solve 4*w - 3*z - 20 = 0, h*w - 10 + 2 = z for w.
2
Let t be (-8)/36 - 2/(-9). Suppose -3*p + p + 4 = t. Let g = p - 0. Solve -g = 2*k + 3*k - b, -2*k + 6 = 3*b for k.
0
Let o = 36 - 21. Suppose -4*c + o = c. Solve -2*i = -r + c*r - 12, -2*r + 16 = 3*i for r.
2
Let s be (-8)/(-12) + 43/3. Suppose x - 1 = 3. Suppose -h - s = -x*h. Solve l + 3*m = -14, 3*l - m + h*m = -22 for l.
-2
Suppose 10*k = 5*k. Suppose p - 15 = -k*p. Suppose -5*l - x = -p, -3*x = -l - l + 6. Solve -4*f - 2*a = 5 + l, -f - 2*a = -1 for f.
-3
Suppose -6*d = -2*d - 32. Solve 2*p + 16 = 4*q, -q - 3*p + d = q for q.
4
Let s be 3 + 3*3/9. Suppose 0 = 3*y + 15, -2*d - d - y = -s. Solve -5*q - 5*p = 25, 2*q + 8 + 2 = -d*p for q.
-5
Let c(p) = -p**3 + 9*p**2 - 10*p + 16. Let d be c(8). Solve d = 4*z + z + x, -2*z - x = 0 for z.
0
Let i = 11 + -5. Suppose t - i*t + 25 = 0. Suppose 13 - 3 = t*y. Solve 0 = -y*l - 3*x + 5 + 4, 5*x = -2*l + 11 for l.
3
Let m = -1417 - -2348. Let c be m/(-42) + 1/6. Let r = c - -32. Solve l - 5 = h, 0*l - 2*l = -h - r for l.
5
Suppose 3*h = -10 - 2. Let n be (-18)/h*(-16)/(-24). Solve -4*b + 3 = -p - n, 2*p + 2*b = 8 for p.
2
Let s(i) = i**3 - 11*i**2 + 11*i - 9. Suppose -9 = -4*n - 1, h - 16 = -3*n. Let m be s(h). Solve 22 = -5*q - 2*j, 0 = -0*q - q + 3*j - m for q.
-4
Let a = 53 - 49. Solve -4*j + 4*k - 6*k - 14 = 0, j - a*k = -8 for j.
-4
Suppose h - 4 = 7*z - 2*z, -4*h + 4*z + 16 = 0. Suppose 29 = h*c + 9. Suppose 0*j + c*j = 20. Solve -5*f = 3*b + 3, 5*b + 5 = -f + j*f for f.
0
Let l = -12 + 16. Suppose -l = -n + 2. Solve -d + 4 = 0, u = -4*d + 15 + n for u.
5
Suppose 3*v = s + 13, -3*v = 5*s - 21 - 4. Solve 2*i + 3 = -4*a + 21, 22 = 2*i + v*a for i.
1
Let t(a) = 5*a**2. Let y be t(1). Suppose -2 = y*b + j + 17, -2*b - j = 10. Let r be 1 - b/((-6)/(-8)). Solve 5*d = 4*k + k - r, 2*d = -8 for k.
-3
Let h(t) = t - 2. Let g be h(5). Suppose g*m = 3*q + 9, 4*m = -4*q - 3 + 23. Solve -2*b - 8 = -3*y - m, y - b = 0 for y.
4
Let t be -6 - 0*1/3. Let l(m) = m**3 + 5*m**2 - 7*m - 2. Let y be l(t). Solve -3*a + 3*g - 2*g = 2, y = 4*a + 2*g for a.
0
Suppose 5*g + q - 11 = -0*g, q + 7 = 4*g. Solve 3*t + g = 4*p + 6, 5*t = 3*p + 3 for t.
0
Let r = -2 + 12. Let o be 10/(((-40)/(-12))/(-5)). Let k be 14/4 + o/10. Solve 2*z + k = q, z - r = -z - 2*q for z.
1
Let g = -29 + 47. Suppose 20*i = g*i + 6. Suppose -2 = 4*z - 22. Solve 0 = -v - i*o - 18, 2*o = z*v - 2*o - 5 for v.
-3
Let k be 2/(-6)*(2 + 7). Let c be 2*(-1 + 3) - k. Solve -y + 7 = -6*q + 2*q, 3*y + c = -2*q for q.
-2
Let s(w) = -7*w - 2. Let o be s(-1). Solve f + 3*f = o*i - 28, -3*i + 14 = -f for f.
-2
Let a = 40 + -13. Solve -2*y = -3*k - 5*y - a, 4*k + 2*y = -28 for k.
-5
Let d = -49 + 69. Solve 0 = h - 3*h + 8, 4*h = -r + d for r.
4
Let n be -2 - -4*2 - (2 - 1). Solve -2*z = 3*i - 17, -4*z = -n*z + 4*i - 19 for z.
1
Let j(z) = z + 7. Let s be j(-5). Let b be (-3)/(-3) - (3 + -5). Solve b*q = 4*p + 2 + 1, 6 = -4*q + s*p for q.
-3
Let u = 29 + -24. Solve u*d + 40 = -4*y, -y + d - 4 = -3 for y.
-5
Let s be (9 + -3 - 2)*2. Suppose 2*k - 2*t = 4, k = -s*t + 3*t + 20. Solve 3*g - d = d - 10, -k*g - 16 = -3*d for g.
-2
Suppose 0*x = -5*p + 2*x + 36, -5*p - x + 42 = 0. Solve g + 23 - p = 5*m, 4*m = g + 13 for g.
-5
Let g(r) = 2*r - 11. Let h be g(8). Suppose q + 7 = 2*p + 1, h*p - 37 = -3*q. Solve -p*o = 4*z + 8, -5*o = 4*z + z + 10 for o.
0
Suppose 4*x - 99 - 93 = 0. Suppose -5*a = -52 - x. Solve -4*m = -4*i + 3*i + 9, 0 = 4*i - a for m.
-1
Let d = 24 - 14. Suppose -5*z = -0*z - 4*g + 15, -d = 5*z - 3*g. Let r = 1 - z. Solve -p - 3*l + l = 9, r = l + 3 for p.
-3
Suppose -5 = -2*p + 5*p + 5*m, -4*p = 4*m - 4. Suppose -q = 3, -2*o + 2 - p = q. Suppose -6*c = -c. Solve y + 1 = -o*y + g, c = -2*g for y.
-1
Let h = -16 + 23. Suppose a - h - 1 = 0. Solve 4*y - 15 = 3*v, -5*y + 2*v = a - 18 for y.
0
Let b = -5 - -3. Let c = b + 7. Solve 0*g + w + 3 = -5*g, -10 = -c*w for g.
-1
Let f = -20 + 22. Solve -4*h = 2*m - f, m - 5*h - 2 = -1 for m.
1
Suppose -h - 8 = -0*h. Let x = -3 - h. Solve 0 = 2*b + 3*l - 11, -x*b - l + 10 = 3*l for b.
-2
Let l = -42 + 44. Solve -5*z - 3*n + 10 = 0, z + 0*n + l*n = 2 for z.
2
Let q = -6 + -3. Let y(v) = v + 12. Let p be y(q). Solve -3*g = -4*x + 10, p*g + 8 = 2*x - 0*x for g.
-2
Let v = -2 - -11. Let c = v - 5. Let z be (-1)/5 - (-80)/25. Solve z*u + 4*r = -1, c*u - 11 = u - r for u.
5
Let v = 70 - 55. Solve -20 = -2*y - 4*c, -2*y + 0*c = 3*c - v for y.
0
Let b = -28 - -49. Suppose b = 4*a + 5. Solve 2*z + 5 = n, 3*n - z - a*z - 15 = 0 for n.
5
Suppose 2 = 2*c - 2. Solve -j - 7 = -3*a - 1, -2*a - c*j + 12 = 0 for a.
3
Suppose -2*l = q + 2, -q + 4*l = -9 - 7. Solve -4*z = q*s + 12, 2*s - 4*z + z - 14 = 0 for s.
1
Let d(f) = 2*f - 1. Let z be d(2). Suppose -u + 37 = -5*b, 185 = 5*u + 2*b + b. Let k = u + -22. Solve 2*v - 24 = 4*t, -z*v + t + k = 2*v for v.
2
Let r(z) = 2*z - 13. Let p be r(7). Solve 4*s - 4*y = p + 3, -5*s - y - 7 = 0 for s.
-1
Suppose -12 = -4*r + 12. Suppose -3*h - 2*q - 2 = 0, r = 3*h - 2*q - 8. Solve 2*y + 6*d + 33 = d, 3*y - h*d + 2 = 0 for y.
-4
Suppose 0*p + 2*p - 4 = 0. Solve 4 + 4 = 2*z, w + p*z - 9 = 0 for w.
1
Let l be -8*((-3)/2 + 1). Solve -2*g + 4 = -4*k, 1 = -2*g - l*k - 3 for g.
0
Let v = 10 + -7. Suppose -y + 20 = v*y. Solve -27 = -4*p - 5*q, 12 = y*p - 3*q + 2*q for p.
3
Let f be 1/2 - 2*(-28)/16. Solve -5*x + 9 = -2*o - 1, 16 = f*x for o.
5
Suppose 5*g - 12 = 2*g. Suppose 0 = 4*u, 0 = -5*k - 2*u - u. Suppose 24 = -0*v + 3*v. Solve k = -n - s - v, 0 = 3*n + 2*n - g*s + 13 for n.
-5
Let p(a) = -2*a + 5. Let y be p(4). Let c be (-2)/(1*y/6). Solve -5*i - 1 = c*u, u = -3*i - 4*u + 2 for i.
-1
Suppose -g - 4*v = 11, -6*g = -2*g + 5*v. Solve g*c - 7 = 2*c - i, -3*c + 3*i + 27 = 0 for c.
4
Let x be (-52)/(-91) - (-76)/14. Solve -r - 5*d + 20 = 0, -x*d = -3*r - 2*d - 16 for r.
0
Let x be 19/(-57) + (-14)/(-6). Solve 2*q = -x*o, 2*q - q + 6 = o for q.
-3
Let h(u) = 2*u. Let j be h(-2). Let v be j/6 + (-34)/(-6). Solve 3*d + 3 = 5*m, 0*d - v*d - 5 = -4*m for m.
0
Let j = 19 + 32. Suppose 11 - j = -5*f. Solve 3*r = f - 2, -2*r + 16 = -4*x for x.
-3
Let x(i) = 15*i**3 - 2*i**2 + i. Let c be x(1). Let r = c + -12. Solve 3*n + 14 = -4*p, -r*p = -3*n - 1 - 1 for p.
-2
Let o = -47 + 50. Solve -3*n + o = -4*u, -2*n = -4*n - u + 13 for n.
5
Let u(c) = -5*c + 3. Let m(t) = 5*t - 2. Let p(v) = -5*m(v) - 4*u(v). Let q be p(-1). Solve -b + 2 = 