5*l + 10, 4*z - 3*l = -l + x for z.
5
Let d be -6*(-3)/6 + -2. Let t be 2*2*d/2. Suppose -t*q = q. Solve -5*r + 4*a + 1 = q, -14 + 7 = -2*r - 5*a for r.
1
Let g be 9/3 - 0/(-2). Suppose -2*j = -0*j + g*p + 15, -p - 3 = 0. Let d = j - -6. Solve 0 = 3*i + o + 11, 0 = -d*i + 4*o - 11 - 5 for i.
-4
Suppose -8 + 12 = 4*r. Solve -r = w + 5*b + 1, -5*w = 4*b + 10 for w.
-2
Suppose -4*u = -5*u + 2. Suppose -4*x = y - 4, 0 = -2*x - x - 2*y + 3. Suppose -3*i + 5 = -x. Solve u*w = h - 1, -i*h + 0 = w + 3 for h.
-1
Let t(k) = 2*k**3 + 10*k**2 + k + 9. Let o be t(-5). Solve 0 = -2*h + 2*i - 10, 2*h + i = -o*i + 25 for h.
0
Suppose -3*n + 20 = -2*n. Let l be (-18)/(-4)*16/12. Suppose -c - n = -l*c. Solve -5*d + c*x = 26, -3*d + 5*x = 19 + 7 for d.
-2
Let g(r) = -r. Let v(x) = x**3 - 3*x**2. Let f be v(3). Let m be g(f). Solve -o = -4*p - m*o + 11, -4*o = 5*p - 19 for p.
3
Let s = 17 - 11. Suppose 0 - s = -3*j. Solve 3*i = 3*k - 6, j*i = -4*k + 2 - 0 for k.
1
Let p = -26 - -30. Solve 7 = x + p*s, -x + 4*x = 2*s + 7 for x.
3
Suppose 3*v = -2*v - 3*j + 1, 5*v + 5*j = -5. Suppose -d + 4*f - 1 = 0, -d - 1 = -2*d + v*f. Solve -4*c + 2 = -3*p, c - 2 = 3*p + d for c.
-1
Let t(l) = -2*l + 2. Let a be t(2). Let i be (-1 - -2) + a - -25. Let s = 6 - 4. Solve -z = s*z - 3*k - i, 2*k + 8 = 0 for z.
4
Let z be (-30)/(-8) + (-2)/(-8). Suppose z*f - 6 = f. Solve -3*x = -2*v + 11 - 3, -x - f*v = 0 for x.
-2
Let m(j) = -j**3 - 6*j**2 - 7*j - 5. Let d be m(-5). Solve -k + 6 = -d*s + 2*s, -s = -5*k - 12 for s.
-3
Let u be 26 + (-2)/(-2 - -1). Let j = 193 - 188. Solve -j*v - k = -29, -2*v + 6*v = -2*k + u for v.
5
Let k = 2 - 2. Let q(t) = t - 9. Let g be q(9). Suppose -2*a + 4*u = 14, g = -3*a + 2*u - 1 - 0. Solve k*b = -b + a*c + 14, -20 = -b + 5*c for b.
5
Let n(q) = q**2 + 2*q + 3. Suppose -3*m = -4*a + 2, m = -m + 2*a - 2. Let p be n(m). Solve -3*w = -3*y + 3, -2*w = -p*y - y - 4 for y.
-3
Let d = 54 - 29. Suppose 0*o = -4*o - 40. Let q be o/(-3)*3/2. Solve r = q*y - 3*y + 11, 4*y + d = 5*r for y.
-5
Let b(s) = 4*s - 27. Let g be b(9). Solve -3*t + 0 - 6 = r, 3*t - g = 4*r for t.
-1
Suppose -21 = -5*m + 2*g - 4*g, 9 = 5*m - 2*g. Suppose -80 = -4*s + y, 0 = -7*s + 2*s + m*y + 100. Solve -5*d + z = -6, 2*d + 4*z - s = -0*d for d.
2
Let l be (-174)/(-7) - (-1)/7. Solve -3*f - 8 = q + 4, 0 = 2*f - 5*q + l for f.
-5
Let g(h) = -h - 7. Let b be g(-7). Suppose -3*o + i + 10 = 0, -5*o = -b*o - i - 14. Solve -5*t = -3*d - 9, -7*d + 5*t = -o*d + 15 for d.
-3
Let k(q) = -q - 6. Let b(i) = -4*i - 18. Let s(n) = -2*b(n) + 7*k(n). Let u be s(7). Solve 4*h - 5*p = -31, -3*h - u = -2*h + p for h.
-4
Let z = 5 + -4. Suppose 2*r = -z + 9. Suppose -l + 25 = r*l. Solve -5*a - 13 = 2*d, 5*a - l*d + 8 = -12 for a.
-3
Suppose -2*t - t = -6. Let r(f) = -t*f - 5 + 4 + 5. Let b be r(-3). Solve 4*a - p + b = 2*a, 3*a = -4*p - 15 for a.
-5
Let y be (-4)/10 - 27/(-5). Suppose -o + 9*o = 0. Let x = y - o. Solve 26 = -2*u - x*n, -4*n - 1 = u + 18 for u.
-3
Let h = 10 + -6. Suppose 0 = h*s - 2*s - 4. Solve -l = 5*w - 20, l - 6*l - s*w = -8 for l.
0
Suppose -8 = 4*t, 0 = -2*u - 2*u - t + 50. Suppose -5*y - 3 = -u. Suppose 2*h - 14 = 10. Solve -3*x + 16 = -2*k, -y*k = -4*x + h + 6 for x.
2
Let t = 31 + -27. Solve -5*s = p + 7, p + 2*p - 1 = -t*s for p.
3
Suppose 2*x - 73 = 2*w - 3*w, 5*w + 220 = 5*x. Suppose 0 = -2*r + x - 5. Solve 0 = -4*b - 12, 2*f + 4 = -5*b - r for f.
-3
Suppose -m + 19 = 3*z, -5*m + 2*z = -0*m - 27. Solve 3*i - 3*g + m = -2*i, 3 = -4*i + 5*g for i.
-2
Suppose -j = -o - 6, 2*j - 19 = 3*o - 4. Let v(m) = 3*m**2 - 1. Let f be v(-1). Solve 5*y - 2 - j = -f*u, 5*y + 25 = 4*u for y.
-1
Let m(f) = 3*f**2 + 11*f - 11. Let t be m(1). Solve -2*l = -4*a - 24, -5*l + t*a + 36 = -a for l.
4
Let t be ((-7)/(-14))/((-2)/(-20)). Solve 4*g = v, -2*g + 3*g - t*v = 0 for g.
0
Suppose x - 145 = -3*x - 5*d, -5*d - 95 = -4*x. Suppose b = -4*b + x. Solve -3*h = -i - b, 0*i + h + 2 = -i for i.
-3
Suppose 15*u - 13*u = 6. Solve -3*w - c + 5*c = -13, u*c + 11 = w for w.
-1
Let z(v) = v**3 - 2*v**2 + v + 2. Let j be z(2). Solve 3*a + 5 = 4*n, -5*a = -1 - j for n.
2
Suppose 4*w = -w + 15. Suppose w*f + 5 = -2*f. Let g be f*(-3 + 3/(-3)). Solve 2*p = x + g*p, -x + 14 = -5*p for x.
4
Let k(m) = -15*m - 4. Let g(t) = -t - 1. Let u(v) = 3*g(v) - k(v). Let i be u(2). Solve 3*p = 5*f + 1, -f + 6*f + i = -5*p for p.
-3
Suppose -3*n - 13 = -4*n - 4*z, 2*n = 3*z + 4. Suppose -n*j = -j. Let a = 0 - j. Solve -4*v + 9*v + 3*l + 17 = a, 3*l = -12 for v.
-1
Suppose -m + 3*h = -2*m - 12, -h - 11 = -2*m. Suppose -f = -4*z - m - 17, -3*z = -5*f + 32. Let o = z + 8. Solve -j - o = 2*u, -j + 7 = j - u for j.
2
Let t be 1/(-2)*(-1 - 5). Suppose n = t + 9. Solve -3*a - 3*g + n = -7*g, -4*a + 2*g = -16 for a.
4
Let o be (-1 - -3)/2*20. Let l = -12 + o. Suppose j + j - 4*w - 28 = 0, -2*w = 4*j - 36. Solve 5*k = -5*h + j, -3*h - l = 2*k - 6*k for h.
0
Let h = 113 + -111. Solve -18 = 4*r + h, 5*c - 4*r = 20 for c.
0
Let f(g) = 3*g**2 + 6*g + 6. Let l be f(-1). Solve 5*i + 0 - 4 = 4*x, 0 = -3*x - l for i.
0
Suppose 2*s + 2*z = 2, 4*s - 5*z + 3*z + 2 = 0. Solve 2*c + s + 20 = -4*o, -o + 3*c + 2 = 0 for o.
-4
Suppose -5*a - 10 = -5*y, a - 3 = -y + 3. Let k = 0 - 0. Solve -j + k + 7 = 5*q, j - y*q = -11 for j.
-3
Suppose -4*r - 12 = -28. Suppose -3*p - v - 4*v = -14, 0 = r*p + 5*v - 22. Solve 18 = -3*t - 5*f - 2, 4*t = -2*f - p for t.
0
Suppose -40 - 10 = -5*u. Solve 0 = 4*m + 5*i - 19, -2*m + 4*i = u - 0 for m.
1
Let w(g) = -g**2 - 6*g - 3. Let y be w(-7). Let x be y*2*1/(-4). Let d(q) = 4*q - 1. Let t be d(1). Solve -t*h = 15, x*b - 4*h + 5*h + 30 = 0 for b.
-5
Let b = -84 + 89. Solve -f + b*q + 16 = 2*f, -3*f - 2*q = -2 for f.
2
Let g(i) = -i + 11. Let t be g(7). Suppose h - r = 19, -22 = -4*h - 3*r + 26. Let n be 38/10 + 3/h. Solve 4 = 3*l + 4*z, 0*z - t*z = -5*l - n for l.
0
Let n = -6 + 8. Let x = -21 + 21. Suppose q - 7 + n = x. Solve -2*o + 2 = z + o, -q = 5*o for z.
5
Let c(b) = 6*b**3 - b**2 + b. Let u be c(1). Solve 0 = 2*q - 10, -2*m + u = -3*m + q for m.
-1
Let v(g) = -g**2 - 15*g + 3. Let k be v(-15). Solve 0 = 4*c + q - 8, 3*q - 5 - 1 = -k*c for c.
2
Let j(p) = -p**3 + 4*p**2 + 5*p + 2. Let x be j(5). Let l(a) = 4*a**2 - x*a**2 - 1 + 0 - 2*a. Let k be l(-1). Solve 11 = 2*d + z, -5*d - k*z + 17 = -3*d for d.
4
Suppose -5*y + c + 23 = 0, -4*y + 5 = -4*c - 7. Let n(g) = -5*g - 15. Let t be n(-4). Suppose -4 - 5 = -3*d. Solve t*m - 2*m + d*b + 12 = 0, -2*m - b = y for m.
-1
Let h = -13 - -16. Suppose -2*d = -4*m + h*m + 1, 3*m - 3*d - 6 = 0. Solve 0 = -f - 3*k + 11, -f - 5*k + m + 16 = 0 for f.
-1
Let c be -7 - (-3)/((-9)/(-3)). Let z be -5 - -2 - -2 - c. Solve h - 11 = -z*s, h + 0*s + s = 3 for h.
1
Let s be (1*-2)/((-28)/42). Suppose -4*j = -s*j - 3. Solve -j*q + 7 = 4*y - 2*y, 7 = 4*q + 5*y for q.
3
Let w = 6 + -3. Let c(u) = u**2 + 1. Let d be c(1). Let v be (1/3)/((-1)/(-18)). Solve -5*f - 3 = -2*z, -z - w*f = d*z + v for z.
-1
Suppose -2*c - 4*l + 12 = 0, -c + 0*l + 12 = -l. Suppose 18 = 4*d - 2*n, d + 4*n + 11 = 4*d. Solve -3*b = 5*g + 4, -4*g - g - c = d*b for b.
-3
Let j be -3 - 69/((-9)/3). Let q be j/6 - 9/27. Solve 13 = q*f + 4*z - 4, 0 = 4*f + 4*z - 16 for f.
-1
Let k(g) = -g**2 + 8*g - 2. Suppose 3*w - 3 - 18 = 0. Let q be k(w). Solve y = -q*r + 15, -2*r - r = -12 for y.
-5
Let i = 5 + 0. Suppose -2*g + 33 = 5*s, g - i*s + 29 = 2*g. Suppose g = n - 2*n + 4*x, 3*n = 3*x + 6. Solve r - 5*t = -0 + 4, -4*t = r - n for r.
4
Let k = -4 - -15. Suppose -3*b + 16 = b. Solve -8 = b*a + 2*l, 5*a + 6*l + k = 3*l for a.
-1
Let p be ((-6)/(-3))/(2/5). Suppose 8 = 16*a - 14*a. Solve 3 = o - a*o + 5*u, -5*o + 5 = -p*u for o.
4
Let w be (-4)/(-22) + 1004/44. Suppose 5*v + 8 = w. Solve -v*d = 3*f + 6, -3*f = d - 2*d - 10 for d.
-4
Let y = 8 + -4. Solve -y*f + 3*q + 2 = 17, 2*q = 2*f + 10 for f.
0
Let k(x) = 2*x**3 - x**2 - 2*x + 3. Let s be k(2). Suppose 0*z - 55 = -5*g + 2*z, -g + s = 5*z. Solve -4*b - 16 = 4*r, -2 + g = -4*b + 3*r for b.
-3
Suppose 2*q = -q. Solve -5*u = w - q*w - 6, -u - 4*w = 14 for u.
2
Let p be ((-54)/81)/((-2)/15). Solve -40 = -p*q - 3*t - 2*t, t - 16 = -3*q for q.
4
Let m = -3 - -6. Let w = -6 + 8. Suppose 2 = -w*s - h - 4*h, -3*h + 6 = 3*s. Solve 5 = -s*g - m*n, 4*g - 5*n = 2*g - 9 for g.
-2
Let x(t) = 