 -2*w + w + 1, 3*q - 5*w + 5 = 0 for q.
0
Suppose 4*g = 4*v - 28, -4*g + 10 - 8 = 2*v. Solve -3*k + 25 = -8*k + v*q, 3*k + 3*q = 15 for k.
0
Suppose -8*f + 11*f - 9 = 0. Suppose j = -2 + f. Solve -j = -r + 2*t, 4*r - 2*t = -7*t + 17 for r.
3
Suppose -3*j + 5 + 2 = -d, j - 9 = -3*d. Solve 0 = j*y - 0*y - 3*n - 18, 3*y - n = 10 for y.
2
Suppose 0 = 3142*w - 3128*w - 42. Let v(k) = -k - 6. Let c be v(-4). Let u be 14*1 + c*1. Solve 3*j = 5*t - u, -4*j - 3*t - w = 13 for j.
-4
Let z(t) = -t**3 + 2*t**2 + 4*t - 3. Let q be z(-3). Suppose 0 = 3*d - 0 - q. Solve 0 = -5*o + o + n + 14, -n = 2*o - d for o.
4
Let m(q) = 0*q - 3*q + 2 - 4. Let o be m(-2). Suppose -2*n - 8 = 2, 0 = 5*g - 3*n - 20. Solve x - 14 = -3*y, -2*y + o*x - g = -3*y for y.
5
Let t be 2*(-5)/(-20)*10. Solve -4*p - 1 = 15, t*u - 29 = p for u.
5
Suppose 0 = -0*f - 4*f - 2*t + 22, 0 = 4*f + 5*t - 31. Suppose 0 = s - p - 1, f*s + 4*p = -0*p - 4. Solve -x = 2*o - 7, s = -5*x + o - 4 + 6 for x.
1
Let l be (-12)/(-5) + -2 + 52/20. Suppose -3*t = m - 7, 3*m = -0*t - 3*t - l. Solve 0 = t*w - 2*r + 1 - 3, 0 = 5*w + r - 13 for w.
2
Suppose 3*a - 10 = -w, -3*a = -3*w - 5*a - 5. Let h = 0 - w. Solve 0 = -g - 5, 0*g - g = h*c for c.
1
Let c(n) = n**2 + n + 1. Suppose 4*l + 2*u + 10 = -3*u, 2*u = 3*l - 4. Let h be c(l). Suppose -h = -4*g + 19. Solve -2*b - 8 - 2 = -g*x, -2*b = -3*x + 10 for b.
-5
Suppose -4*u + u + 6 = 0. Let v(q) = -30*q + 2405. Let y be v(80). Solve -y*t = 4*m - 1, u*t + 1 - 3 = 0 for m.
-1
Suppose 0 = 5*o + 5*d - 180, 0*d = -o - 4*d + 36. Let h be (-6)/o + (-2)/24*-2. Solve 5*s + p - 20 = h, -2*s + 5*p = -0 + 19 for s.
3
Suppose -5*a + 5*p - 5 + 35 = 0, 2*a - 16 = 3*p. Solve 2*x + a*g - 9 - 1 = 0, -17 = -x - 5*g for x.
2
Let m be (-14)/2 - (13 + -8 + -15). Solve 5*a + 2*v = 2*a + 2, 0 = -m*a + v - 10 for a.
-2
Let g(n) = -8*n**2 + n**3 + 4*n**2 - 6*n + 18 + 10*n**2 + n**2. Let y be g(-8). Solve 3*t = -5*u - 0*t + 8, 2*t = y*u for u.
1
Suppose 3*k - 22 = -4*u, -3*u - 29 = -5*k - 2*u. Suppose 5*x + 5*n - 3 = 7, 3*x - 6*n - 24 = 0. Solve -k*s + 45 = 5*t - s, x*s = 20 for t.
4
Let z(o) = o**3 - 3*o**2 - 14*o - 8. Let k be z(6). Solve -25 = -7*r + 2*r - 2*i, -2*i + k = 2*r for r.
3
Let l(q) = -3*q + 16. Let d be l(5). Let p be d + (-14)/18 - (-86)/18. Solve -p*k + 4*h - 9 = 0, k = -0*k - 4*h + 3 for k.
-1
Suppose 0 = -17*f - 19*f + 144. Solve -f*m + 6 = b - 7, -4*b + 2*m = -16 for b.
5
Let u be -2 - (1 + 16/(-2))/1. Let g = 5 + 1. Solve -g*c + 14 = -3*o - 2*c, u*o + 2*c = 20 for o.
2
Let y = -169 - -185. Solve -v + 5 = -3*b, -2*b + 6 = v + y for b.
-3
Let p(o) = -o - 18. Let q be p(2). Let u be q/5 + 2 - -4. Solve -w + 4*b - 10 = -3*w, -u*b = 4*w + 10 for w.
-5
Let s = -391 - -393. Solve 3*n - k = 18, -2*n = -k - s - 11 for n.
5
Let p(x) = -x + 27. Let c(y) = -14*y + 84. Let z be c(6). Let q be p(z). Solve -4*h = -3*u + q, h + 0 - 2 = -u for u.
5
Let l = 427 - 420. Solve -4*p + 1 + l = 3*q, p = 4*q + 21 for q.
-4
Suppose 3*r + 60 + 21 = 0. Let z be 3 + (r/(-3) - 4). Solve -4*o = z, 3*d = -0*d - 5*o - 13 for d.
-1
Suppose -3*t = -0 - 15. Suppose 2*n + 0*n = -n. Suppose s - 3 - 2 = -2*o, -3 = s. Solve j - t*d = -n*j - 24, 0 = -d + o for j.
-4
Let v = -4 + 9. Let z(a) = -a**3 + 5*a**2 + 13*a + 6. Let y be z(7). Let f be (y + -2)/(7 + -8). Solve b = v*t - 2*b - 10, -f*t = -b - 2 for t.
-1
Suppose -101 = 5*g - g + k, -g - 49 = 5*k. Let j = 26 + g. Solve -j*d = -6, 0*s - 5*d = 3*s - 30 for s.
5
Let v = 1305 + -1299. Solve 5*z - 3*q - 13 = 0, 0 = 4*z - 2*q - 6 - v for z.
5
Suppose 3 + 7 = 5*l. Suppose 5*c - 1 = 9. Suppose -15 = -2*p + 3*g + 2*g, -c*p = -4*g - 16. Solve -s = 4*d + 17, l*s - 5*d = s + p for s.
-5
Let h be 0*(9 - (-110)/(-11)). Let a(n) = -n**3 + 3*n**2 - 3*n + 3. Let r be a(2). Let f be (4 + r)*(h + 1). Solve -p + 5 = -f*z, -p + 3*p - 3*z - 10 = 0 for p.
5
Let b = 11 - 23. Let k = 18 + b. Let p be k + -2 + (1 - 3). Solve 4*w = -w - 2*s, p*s - 2 = -4*w for w.
-2
Suppose 0 = -3*x + 13 + 2. Suppose 3*l - 3 = -x*j + 13, 25 = 2*j - 5*l. Let i = -1 + 1. Solve -5*n - 5*a - j = -i*n, -2*a = 5*n + 5 for n.
-1
Let s(u) = 21*u + 68. Let z be s(-3). Solve 0*v = -4*j + 3*v + 5, -j + z*v - 20 = 0 for j.
5
Let b = 72 + -67. Solve -h = -b*t + 21, -2*t - h + 6 = h for t.
4
Suppose -2*u = 4*d - d - 17, -3*d + 31 = 4*u. Let h = -4 + u. Solve -30 = h*z + 3*s - 0, 0 = 3*z - 4*s - 5 for z.
-5
Suppose -5*a + a = -3*x + 14, 0 = x - 2*a - 6. Solve -3*l + l - s = -x, 0 = -3*s + 12 for l.
-1
Let x be (1 + (-1)/1)/2. Solve 3*k + x = 3*r - 15, r = 2 for k.
-3
Let t(q) = q + 9. Let z be t(-4). Let c = -2748 + 2759. Solve z*n = -2*p - 14, p + c = -2*n + 2*p for n.
-4
Suppose 3*z + 4*u + 4 = 9*u, 0 = 5*z - 4*u - 2. Solve 4*l - 1 + 9 = 4*x, 3*x - 8 = z*l for x.
4
Suppose 23 = i + 20. Solve -3*d = -3*x + 9, -2*d + x + i*x - 2 = 0 for d.
-5
Let g be (-2)/(-11) - (-114)/(-22). Let k = -1 - g. Suppose o + 6 = 4*o. Solve o*i - 5*h = 20, -5 = -2*i - k*h - 3 for i.
5
Suppose -3*a - 2*j = -24, -1 = 4*a + j - 28. Suppose -1 = c - a. Solve p + 1 + 3 = 4*u, 5*u + c*p - 30 = 0 for u.
2
Suppose -3*j = u - 5, u - 4 = -0*u - 2*j. Solve 0 = -t - 5*d - 17, 2*t = -u*d - 3 + 1 for t.
3
Let y = -866 + 868. Solve -3*i + y*i = -s + 5, -4*s + 20 = 0 for i.
0
Let i = -259 - -266. Solve -i = 3*x + 2*d, -2*x + 3*x = -5*d - 11 for x.
-1
Suppose -5*w - 4*i = -196, 36 = w + 3*i + i. Let r = -35 + w. Solve -27 = -r*u + 3*m, u - 11 - 12 = 5*m for u.
3
Suppose -6*c + 189 - 3 = 0. Let b = c - 26. Solve -b*u + 2 = -2*f - 3*u, f + 1 = -u for f.
-1
Suppose -2*z + 4 - 6 = l, -29 = -5*l + 3*z. Solve -20 = -4*q - 2*d, -3*d - 2*d = l*q - 32 for q.
3
Let v = -1 + 1. Suppose 3*w - w + r - 7 = v, 4*w = r + 11. Solve 0*q = -i - 5*q + 2, -w*i + 5*q = -6 for i.
2
Suppose -3*o + 8 = -i + 1, 1 = 2*i - o. Solve -5*z - i*p = 16, -2*z - 5*p + 1 = 20 for z.
-2
Let g be -25*(-4)/(-10)*6/(-10). Solve -3*d = 2*x - 10, -x - 1 = -d - g for d.
0
Let d(w) = -w**3 - 5*w**2 + 4. Let m be d(-5). Suppose 0 = m*j - 2*j - 14. Suppose 2*q - j*q = -25. Solve a - q*z - 14 = 0, 0 = 3*a + 4*z - 4 for a.
4
Let u(d) = -3*d + 0*d**2 + 6*d**3 + 3*d + 2*d**2 + 1 + 2*d. Let v be u(-1). Let c be (v + 6)*(0 + 5). Solve 2*l - x - 12 - 1 = 0, c*l - 22 = -x for l.
5
Let f(y) = -18 - 32 + 38 + 4*y. Let a be f(4). Solve 0 = 3*u + 4*m - 11, 2*m - 1 = a*u - u for u.
1
Let c = 0 - 0. Let l be c - (8/(-2) + -1). Solve 0*m + m = 3, l*k - 5*m = -40 for k.
-5
Let j(a) = -2*a - 2. Let m be -2 - (-3)/9*0. Let d be j(m). Let r be (-50)/(-14) + 68/(-119). Solve l + v = -0*v, -l + r = -d*v for l.
1
Let w(a) = -a**2 - 13*a - 13. Let v be w(-2). Solve 2*g + 4 + 6 = -4*n, -g - v = 3*n for n.
-4
Let t(w) = -w**2 + 2*w + 6. Let d be t(3). Suppose 2 = n - d*x, -2*x + 8 = n + x. Solve -10 = -n*a, 19 = -b + 5*a + 5 for b.
-4
Let v(o) = -o - 4. Let h be v(-4). Let j = h + 1. Let l(s) = s**3 - 11*s**2 - 13*s + 14. Let a be l(12). Solve 3*k = a*c + 6*k - 11, 5*c = 2*k - j for c.
1
Let o be (-6)/18*(-1 + -80). Let a = -22 + o. Solve 4*g = a*y - 23, 5*g + 4 = -5*y + 9 for g.
-2
Let r = -115 - -124. Suppose 2*k - 3*k = 3*y + r, -2*k + 4*y = -12. Solve g + k = 4*s - 1, 2*g - 6 = 0 for s.
1
Suppose 0 = -3*h + 5*v + 25, -5*h + 5*v + 25 = -0*h. Suppose -2*c + h*c = 0. Suppose c = 4*i - 21 + 5. Solve -n = g + n - 5, 0 = i*g - 3*n - 9 for g.
3
Let f be 4/6 - (256/(-12) - -2). Solve 0 = 4*q - 3*s - 7, 3*q + 2*s + f = -2*q for q.
-2
Let g(f) = f**2 - 15*f + 29. Let v = -11 + 24. Let d be g(v). Solve -4*z - 8 = 0, -d*z - 9 = 2*k + 1 for k.
-2
Let c(d) = -d**2 + 1. Let w(n) = -n**3 - 3*n + 1. Let t(i) = -6*c(i) - w(i). Let x be t(-5). Solve -14 = -4*l + x*m, -4*l + 18 = -2*m - 3*m for l.
2
Let g(t) = t**3 - 7*t**2 + 2. Suppose 4 = 2*z - 10. Let h be g(z). Solve 2*q - 15 = 5*o, 4*o + h*q + 4 - 10 = 0 for o.
-1
Let d = 15 + -21. Let m = -6 - d. Let o(i) = -i**2 - 38*i - 35. Let y be o(-37). Solve m = k, -y*r + 4 + 4 = 2*k for r.
4
Let m be 3/(-2) - ((-162)/12 - -1). Suppose 0 + 11 = m*p. Solve -4*g + 4 = -2*k, 5*g - 2 = 2*k + p for k.
-4
Let m(o) = o**2 + o + 3. Suppose 0 = 3*u - 7*u. Let j be m(u). Let i(x) = -x**2 - 7*x. Let h be i(-6). Solve 0 = -3*q - v - h - 1, -j = 3*q + 3*v for q.
-3
Let b(i) = -i**2 - 126*i - 41. Let c(w) = -25*w - 8. Let g(k) = 2*b(k) - 11*c(k). Let q be g(11). Solve -q = -5*m - 4*u, -2*m + 7 = 