n*v + q + 14 for v.
4
Suppose x = -5*x + 24. Suppose -4*d = -1 - 15, v + x*d = 16. Solve 4*r = 12, 4*s + v*r + 11 = r for s.
-2
Let l = 59 - -15. Suppose 4*w = -x - 17, 5*x = -4*w - l - 27. Let g be ((-4)/6)/(7/x). Solve -4*b - 33 = 5*s, 0*s + 2*b = -g*s - 14 for s.
-5
Let y(v) = 3*v**2 + 16*v + 10. Let s be (12 - -3)*(-1)/3 + 0. Let m be y(s). Solve 0 = 5*f + 2*h + 18, 4*f = 5*h + 17 - m for f.
-2
Suppose -6*x + x + 20 = 0. Suppose 2*k = x + 2. Suppose 4*j - 17 - 3 = 0. Solve k*o + 0 - 27 = 3*b, -j*o + 40 = -4*b for b.
-5
Let s = 21 + -15. Let r(v) = 2 + 6 + v - 12 + 2. Let o be r(s). Solve o*i - 2*i + 13 = 5*u, -2*i - 4*u = -14 for i.
1
Let q(w) = 15*w**3 - 5*w + 3. Let i be q(2). Let j = -109 + i. Solve g = -3*c + 2, -7 - 3 = 3*c + j*g for c.
2
Let b(g) = 8*g**3 - 2*g**2 - g. Let p be b(-1). Let v be (-15)/p - (-4)/12. Let d be -4*(-4)/((-80)/(-15)). Solve -5*s = -k + 5*k - v, -d*s - k = -4 for s.
2
Suppose 3*s + 5*x = 69, 18 = s + 4*x - 12. Suppose 0 = 4*y + 5*d - 31, 2*y - 5 - s = -5*d. Solve -5*k - 4*u + 13 = 0, -3*k - u = y*u for k.
5
Suppose 22 = -5*s + 6*s. Suppose -s = -4*b + 62. Let n(i) = -2*i - 7. Let g be n(-5). Solve -4*u = 2*x + 3*x + g, 5*x = 2*u - b for x.
-3
Let h = -159 + 168. Solve -5*m = -9*f + 4*f - 15, -m - 2*f = -h for m.
5
Let f(b) = -b**2 - 3*b + 4. Suppose -2*t - 3*s + 2*s = 34, -4*t - s - 68 = 0. Let g = t - -14. Let v be f(g). Solve 21 + 8 = 5*o + 4*h, o = -v*h + 9 for o.
5
Suppose -2*u - 4*i = 2 + 2, -3*i = 2*u + 3. Let c be 2 + -1 + (-8)/(-4). Let b = u + c. Solve 4*s - 12 = -2*h, 3*h + 0*h - b*s = 0 for h.
2
Let w = -467 - -472. Solve -z - w = -5*f, -5*f - 2*z + z = -15 for f.
2
Let g = 2227 - 2222. Solve 2*u = f - 2, -g*f + 13*u - 9*u = -16 for f.
4
Suppose 0 = 4*b + 3 - 11, -4*u + 5*b + 110 = 0. Suppose 0*k - u = -3*k. Let q = -2 + 7. Solve 5*y = k, -h + q - 16 = -3*y for h.
-5
Let r(p) = p**2 + 21*p + 22. Let c be r(-1). Solve -4*h - 22 = -0*f - c*f, -4*f + 24 = -3*h for f.
3
Let i(r) = -r - 3. Let u be i(0). Let p(g) = -g**2 - 3*g + 3. Let z be p(-4). Let t = z - u. Solve 2*o = -t*o + 3*v + 19, o = -5*v - 24 for o.
1
Let x(m) = m**3 + 5*m**2 - 5*m + 7. Let q be 1*((-9 - -2) + 1). Let d be x(q). Let a be 0/(d - (0 - -2)). Solve 0 = 5*w - 4*k + 45, a = 3*k - 8 - 7 for w.
-5
Let v = 2 - 3. Let s = 3 - v. Suppose -s*a + a = 0. Solve -4*c - l = 2*l - 10, a = 3*c + 3*l - 9 for c.
1
Let c(q) = -5*q + 21. Let z = -87 - -90. Let u be c(z). Solve 2*b + u = 2*w, 3*b - 11 = -0*b - 2*w for b.
1
Suppose -2*b + 11 = -q, b + 2*q = -8 + 1. Suppose -2*w + 3 = -b. Suppose w*g = 7*g - 20. Solve 0*k + 4*k - 3*s = 0, 3*k + g*s + 29 = 0 for k.
-3
Let n(y) = -y**3 + 6*y**2 - 6*y + 7. Let l be n(5). Suppose -4*w - l*w = -24. Solve -i - 3*x = 3*i + 14, w = -2*x for i.
-2
Let y = 432 - 432. Suppose 2 = -m, 12 = 5*w - m - 5. Suppose -w = -2*s + 7. Solve 3*n + 35 = 5*z, s*z - 30 = 2*n - y*n for z.
4
Let g be 4 - (0/(3 - 5))/2. Suppose 0 = g*t + 8, -z - 2*t + 2 = -t. Solve 3*d - 6 = -4*u, 0*u - 2*d + z = -5*u for u.
0
Suppose 906*h = 894*h + 36. Solve -4 = l - 4*b, -2*l - 3*b = -0 - h for l.
0
Suppose -w + 13*w - 228 = 0. Solve -3*b - 2*b + 25 = -4*x, 3*x = 4*b - w for x.
-5
Let h(l) = -l**3 - 3*l**2 + 2*l + 10. Let y be h(-3). Solve -4*c - 5 - 9 = 2*n, -3*n - 1 = -y*c for c.
-2
Let f be 0 + 4/22 - 40/(-22). Solve 4*g = -r + 16, 3*r - f - 2 = -g for r.
0
Let n(u) = -3*u - 44. Let v be n(-21). Suppose 4 = 20*b - v*b. Solve 3*g - b*o - 18 = 0, 2*g = 5*o - 0*o + 19 for g.
2
Let a(j) = -2*j - 35. Let z(p) = 2*p + 36. Let v(x) = 4*a(x) + 5*z(x). Let i be v(-19). Solve i = 2*y, 0*l + 3*y = -4*l - 9 for l.
-3
Let z(b) = -b**2 + b + 2. Let s be z(0). Let m(x) = 21*x + 5. Let f be m(-3). Let v = f - -62. Solve -v = y - l - 0*l, 10 = -4*y - s*l for y.
-3
Let h = -867 - -869. Solve 1 = h*o + 5*s, -s + 13 = 3*o - 5*s for o.
3
Let j(b) = -16*b + 5. Let z be j(-2). Let x = -32 + z. Suppose -2*w + 8 = -2, 2*n + 2*w = 18. Solve -3 - 9 = 2*p + n*i, 45 = 5*p - x*i for p.
4
Suppose j = -t + 5, 3*j - 8 = 5*j - 4*t. Solve 8*w + 3*y - 11 = 3*w, 6 = -j*y for w.
4
Let n(f) = -12*f + 137. Let o be n(11). Solve 5*z + o*i = 30, 5*z - 25 = -i + 1 for z.
5
Let n(i) = -i**3 - 2*i**2 + 3*i + 2. Let y be n(-3). Suppose 3*f - 73 = -4*k, 4*f - y*f + 40 = 2*k. Solve 0 = -0*c + 3*c + 4*d + k, d = -5*c - 9 for c.
-1
Let v(z) = -z + 7. Let h be 4/8 - (-27)/6. Let n be v(h). Solve -n*c + 3*r - 16 = 5, 4*r - 35 = 5*c for c.
-3
Let w(m) = m + 55. Let p be w(-33). Solve -o = 4*n + p, -n - 2*n + 2*o - 11 = 0 for n.
-5
Suppose 0 = -5*a + 4*f - f, -2*a = 3*f - 21. Let h be (33/12)/(5/20). Let l = h + -9. Solve 0 = -5*p + a*j + 2 + 12, l*j + 8 = 3*p for p.
4
Suppose 3*h = 2*q - 14, -2*q - h + 4 = h. Solve q*i + x + 4 = 0, -i - 3 = 2*i + 2*x for i.
-1
Let c(z) = z**2 + 24*z + 11. Let a be c(-24). Let i(s) = s**3 - 11*s**2 + 8. Let b be i(a). Solve -2*w = -x - 8, 0 = 2*w - 4*x - b for w.
4
Suppose 748*m - 768*m = -60. Solve 28 = -5*j - m*a, j - 15 = 3*j + 5*a for j.
-5
Let p = -295 - -301. Solve 4*m = 2*j - p, -2*m + 4*m - 17 = 5*j for j.
-5
Suppose 4*u + 2*c - 70 = 0, 2*u = c + 42 - 13. Solve -5*y = 0, 1 = 3*g + 2*y + u for g.
-5
Let c(w) = -w + 1. Let m(k) = -8*k + 23. Let b(v) = -4*c(v) + m(v). Let q be b(4). Solve -3*j - i = 10, 3*i + i - 35 = q*j for j.
-5
Let p = -256 - -260. Solve -s = p*u + 15, 2*u + 30 = 3*s - u for s.
5
Let b be (-48)/(-10)*(0 + -5). Let j be b/(-10) + (-8)/20. Solve -j*d = r + 5, 5*d + 5*r + 13 = -12 for d.
0
Suppose -6*u + 4 + 2 = 0. Suppose u = -y - b, -4*b = y - 4*y + 4. Solve 3*o = -3*r - 15, -r + y*r = 5*o + 21 for o.
-4
Suppose -a - 4*a = c - 26, 4*c - 3*a - 35 = 0. Solve -4*o = 2*t - 24, -3*t + 2 = -3*o + c for t.
2
Let m = 553 + -551. Solve 5*q = 4*h - 9, q + m = 4*q + 5*h for q.
-1
Let y = -565 - -573. Solve -5*x - y = -2*l - 0, 4*x + 2*l = -10 for x.
-2
Let q(g) = g - 1. Let j be q(6). Suppose 4*y = -y + 30. Suppose y + 2 = 4*v. Solve l - 5*l + 8 = m, -v*m - j = l for l.
3
Suppose -t = 2*j + 67, -4*j - j + t = 171. Let f = j + 38. Suppose 5*c = -5*y + 4*y - 12, -21 = -f*y + 3*c. Solve -y*x + 21 = -4*r - 4, 5*x + r - 11 = 0 for x.
3
Suppose 24 = -8*r + 184. Solve 3*d = 4*c + r, 0*c + c + 2 = 0 for d.
4
Suppose -8 = -40*l + 72. Solve 6*d - l*a + 22 = d, -4*d - 4*a - 12 = 0 for d.
-4
Let v be 1 - 2/(5 + -3). Solve -5*f - 2*c - c = -13, v = -3*f - c + 7 for f.
2
Let g be 2 - ((-9)/(-27) + (-62)/6). Let m(x) = -x + 12. Let p be m(g). Solve t - 4*o + p + 1 = 0, -5*t - 5*o = -20 for t.
3
Let t(y) = -y**2 - 6*y. Let j be t(-5). Suppose -g + 3*z = -52, 0*z - 69 = -2*g - z. Solve -4*u + j*l = -g, 0 = u + 2*l - 2 + 9 for u.
3
Suppose -37 = -6*r + 539. Suppose 5*v - 25 = -t + 24, -5*v - r = -4*t. Suppose 0 = 2*o - 3*s - 30, o = s + 4*s + t. Solve 6*w - 3*w = o, -3*p + 18 = 3*w for p.
3
Let i(q) = -2*q**3 - 12*q**2 - 8*q - 45. Let k be i(-6). Let x(f) = f**2 - f - 2. Let m be x(-2). Solve k*j = -4*n + 22, n + m*j = -2*n + 20 for n.
4
Let d = -2 - -7. Let x be 0/(-2) + 10/d. Let t = 231 - 231. Solve t*f - f - x*c - 10 = 0, 4*f - 4*c - 8 = 0 for f.
-2
Let k be (0/(56/(-7)))/(3 - 2). Solve -3*g - h + 13 = 0, k = 5*g - 0*h + 3*h - 23 for g.
4
Let x = 27 - 23. Let j be (x/3)/((-12)/(-27)). Solve -4*d + 2 = 2*n - 3*d, 0 = -5*n - j*d + 7 for n.
-1
Let z(d) = 2*d**2 + 4*d - 12. Let m be z(-4). Solve -m = 2*a + p, -a - p = 1 - 0 for a.
-3
Suppose 0 = -5*v + 2*s + 166, 0*s - 5*s - 15 = 0. Suppose 0*c = -8*c + v. Solve -l - c = -g, 3*g - 4 = l - 0*l for l.
-4
Let j be (-4)/(-2*1)*4. Let s(z) = 2*z**3 + 7*z**2 - 3*z - 16. Let m be s(-3). Suppose -j - m = -5*d. Solve -d = c - 5*p + 10, -5*c - 5*p = 0 for c.
-2
Let f = -8 - -8. Let y(c) = -4*c**2 - 13 + c**3 + 6*c + 0*c**2 + 16 - 3*c**2. Let n be y(6). Solve -5*t + 0*t + 3 = -g, f = g - 4*t + n for g.
-3
Let i be 5*(3 + (4 - 3)). Let a be 6/9 - i/(-15). Solve -a*x - 2*w + 3 = 1, -4*w = 5*x for x.
-4
Let x = -1796 + 1803. Solve 0 = h - 2*d - 3, 3*d = 11*h - 7*h - x for h.
1
Let m(a) = -a**2 - 38*a + 1. Let w be m(-38). Let s be 0/(((-4)/2)/(-1)). Suppose u - 2 = h - s*u, h + u - 8 = 0. Solve z + w = 2, -h*d + z = -5 for d.
2
Suppose 0 = 7*n - 9*n + 6. Solve 3*h + 20 = 2*i, -3*h = i - n + 11 for h.
-4
Let c(o) = 20*o**2 + o + 1. Suppose -2 = 5*m + 3. Let g be c(m). Let x = -15 + g. Solve -x*q = -5*s, q = -2*s + s for q.