 = 4*n - c + 12 for n.
-4
Let k be 1/3 + 40/15. Solve -2*y - 5 = -k*r + 3, -2*r = -5*y + 2 for r.
4
Let b be (-30)/(-7) + 6/(-21). Suppose f - 5*d = 7, 0*d + 4*d = -2*f. Suppose -2*x - f*x + 28 = 0. Solve -4*w + 0*w - x = -z, -2*w = -b*z for w.
-2
Let f be 1 - -1 - 60/5. Let o = 13 + f. Suppose 10 = 5*v - 0*v. Solve 7*n = o*n - 3*g + 18, n + 1 = v*g for n.
3
Let n(d) = d**3 + d + 2. Let a be n(0). Solve 2*g = -j, -5*g - a = 4*j + 4 for g.
2
Suppose -5 = -7*w + 9. Solve 5*y = 2*z, 2*y + w*z + 9 = z for y.
-2
Let t be (-2 - -1) + 2/2. Let m(v) = -v**2 + v + 13. Let z be m(0). Let k = 13 + -10. Solve 5*o = l - z, o - 3*l - k + 0 = t for o.
-3
Let p be (-2 + 0)/((-4)/26). Let w = p - -16. Let x(r) = 18*r + 1. Let a be x(1). Solve g = 4*g + 5*n - w, -5*g = n - a for g.
3
Let a be -16 + 12 - (-6 - 0). Solve 5*b - 2*n = a*n - 13, b + 11 = 5*n for b.
-1
Let m = -217 - -217. Solve m = -s + 4*s + 4*o + 11, -2*o = -2 for s.
-5
Let l be -5 + (1 - (-18)/3). Solve 0 = -2*d - 0*d - 5*a - 4, 0 = -2*d - 4*a - l for d.
3
Suppose 3*v - 8*v = -3*x - 23, -4*x - 20 = -4*v. Solve -4*y + 8 = -z - 0*y, -5*z + v*y = 8 for z.
0
Let z = 5 + -1. Solve -4*i - 4 = -h, -h + 4*i + z = h for h.
0
Let x = -44 + 47. Solve -2*b = -2*h + 8, 3*b + 2 = -x*h - b for h.
2
Suppose 4*r + 13 = -3. Let g(u) = 2*u + 2. Let n be g(-10). Let p be r/n + (-68)/(-18). Solve 3*f + 0*f = -p*j - 1, 0 = -2*f - j + 6 for f.
5
Let b be 1/(-3)*(-4 - 11). Let c be -2 - b/(1/(-1)). Let j(k) = 2*k - 4. Let r be j(c). Solve -4*h - 3*x + 29 = 0, -2*h - x - r = -3*h for h.
5
Let y(t) = -3*t + 4 + 4*t + 2*t**2 + 3*t. Let x be y(-2). Solve 4*m = 2*d + 2, x*d - 4*m = -d + 13 for d.
5
Let f = 14 + -12. Solve -4*h - 3*j + 2 = f*j, -5*j - 19 = -3*h for h.
3
Suppose 0 = 4*p - 51 - 25. Let i = p + -9. Suppose 30 = 5*a - i. Solve -2*r = 4*q + 14, -4*r - a = -0*r + 4*q for r.
3
Let d be (-6)/6*((-1 - 3) + 1). Suppose 0 = -3*t + 52 - 7. Solve d*i + t = -3*f + 6*f, 5*i = -2*f - 11 for f.
2
Let s be (-1157)/(-78) - (-2)/12. Solve 0 = -i - 3*b - 9, i - b = 2*b + s for i.
3
Suppose -2*n = -4 - 2. Solve -5*r - a + 6*a = 5, -n*r - 4*a = -18 for r.
2
Let o = 7 + -3. Let m = -7 - -12. Solve o*a = 0, 2*c - 20 = -3*c + m*a for c.
4
Let w(h) = -h**3 + 4*h**2 - 3*h. Let r be w(3). Solve 4*l - 8 = -2*c - r*c, -4*c = 3*l - 1 for l.
3
Let x(b) = -b + 1. Let m(v) = -v**2 - 6*v. Let q(n) = -m(n) + 3*x(n). Let z be q(-3). Solve z*s = -p + 11, -5 = -9*s + 4*s - 5*p for s.
5
Suppose 5*v + 12 = -38. Let b be (-8)/(-10)*v/(-4). Suppose d = -b*d + 45. Solve 2*u - 5*r = 17 - 2, 0 = -4*u + r - d for u.
-5
Let r(s) = s**2 - 8*s + 6. Let l be r(5). Let x = l - -19. Let y(m) = -m + 12. Let b be y(x). Solve -3*h - 4*i - 12 = 0, -h - b - 2 = -2*i for h.
-4
Let z = -11 + 13. Suppose -z*y = -y. Solve 5*q - 5*x = 25, y*x = -q + 3*x + 13 for q.
1
Let t(g) = g**2 + 4*g. Let p be t(-4). Suppose -4*d = k - 18 - 15, d - 5*k - 24 = p. Solve 0*u + 2 = 5*v + u, 3*v + 4*u = -d for v.
1
Let i(k) = k**3 + 8*k**2 - 9*k + 10. Let s be 1 + -8 - (2 + 0). Let f be i(s). Solve -l - 7*t + 2*t = f, 3*l - 5*t - 30 = 0 for l.
5
Let b be (-2 + 0)*(-12)/6. Suppose -t + 8 + 2 = l, 5*l = b*t + 95. Suppose -l = 4*j - 35. Solve h - 15 = j*k, 2*k - 4*h + 10 = 7*k for k.
-2
Let t(o) = -o**2 - 7*o - 2. Let s be t(-6). Suppose -f - 22 = -4*x, 0*x + x - s*f = 13. Solve 4*u - 3*j - 11 = 0, j = 6*j + x for u.
2
Let x = -567 + 803. Suppose 4*b + x = 8*b. Suppose 4*n = -0*o - 5*o + b, n + o = 15. Solve 3*d + 4*p - 4 = -n, -5*p = -d - 4 for d.
-4
Let j be 1/(-3*2/(-12)). Solve -4*u + 4 = -3*i, -3*u = 4*i - 5 + j for u.
1
Let f = -2 + 5. Let t be 2 + (30/2 - f). Suppose 3*a - 7 = t. Solve 4*u - 3 = a*u, -u = 3*s - 8 for s.
3
Let r(m) = -3*m**3 - 8*m**2 + 3. Let x(h) = -16*h**3 - 40*h**2 + 15. Let s(b) = 11*r(b) - 2*x(b). Let q be s(-8). Solve -4*f + 1 + q = 0, f = 4*z + 1 for z.
0
Suppose -h - 2*h + 9 = 0. Suppose 8 = -0*m + 2*m, 0 = -4*v + h*m - 12. Solve 4*c + j = 22, -2*c + v*c + 5*j = 0 for c.
5
Let m(p) = p**2 + 7*p - 13. Let k be m(-10). Let q = k - 12. Solve -2*f - 3*y = -9, -3*f + f = q*y - 19 for f.
-3
Suppose -2*y - 12 = u, -u + 32 = -4*u - 4*y. Let c(k) = k**3 + 9*k**2 + 9*k + 12. Let t be c(u). Let n = -7 - -11. Solve r - 2 = -o, t*r - 3*o - n = -3 for r.
1
Let i(v) = -2*v + 3. Let m be i(4). Let r be (-4)/(-12) - m/3. Let b be -4 + 2 - 0 - -4. Solve 5*g = 2*c - 3 - 2, -r*g - c - b = 0 for g.
-1
Suppose 2*f + 4*c = 22, f - c + 6*c = 20. Solve 0 = 3*m + 4*o + 14, f*o + 33 = 4*m - 0*o for m.
2
Suppose -v - 5*n - 16 - 2 = 0, -n = 4. Solve 0 = 2*r - v*j - 12, 0 = -4*r + 3*j + 9 + 11 for r.
2
Suppose 2*z + 5*h = 5, 4*z + h - 2*h = -45. Let m = z + 16. Let c = 14 + -10. Solve 5*p = -15, m = t - 3*t - c*p for t.
3
Let g be 2/((-2)/(-4*3)). Solve 3*r - 3*n - 3 = -g, 2*r - 9 = -3*n for r.
0
Suppose 2*a + 5*d = -a + 20, -16 = -4*d. Solve -3*o + o = -10, a = -2*f - 2*o + 14 for f.
2
Let v be (20/(-7))/(8/(-28)). Let d be (-6)/v - 99/(-15). Let c = -3 + d. Solve 0 = 5*s + 4*g + 22, 3*g + c = -3*s + 4*g for s.
-2
Let d be ((-2)/(-6))/((-6)/(-54)). Let m = 0 + d. Solve 4*f + m*y = 8, -f + y + 2*y = -17 for f.
5
Let t = -4 - -6. Let l(k) = 0*k**3 - 3 - 5*k + k**3 + 2*k**t + 0*k. Let i be l(-3). Solve 3*p - i*m = 0, 2*p = -2*p + m + 15 for p.
5
Let d(c) = -c + 1. Let k be d(-14). Solve -j = 3*y + 18, 0 = -4*y - k - 5 for j.
-3
Let a = 29 + -25. Solve 4*j = 4*u - 12, -a*j - 5 = 2*u + 1 for j.
-2
Suppose -2*l + 4*w + 22 = 0, 3*l + 7*w + 11 = 2*w. Suppose -4*u + l*u = -5. Solve 0*z - c = u*z - 8, -3*z - 4*c - 2 = 0 for z.
2
Suppose 4*u + 4*n = -8, 2*u - n + 2 = -2*n. Let f be u/(3*(-6)/(-9)). Suppose -5*c + 12 = -c. Solve 3*j + c = f, -3*d + 2*d - j + 1 = 0 for d.
2
Let w(n) = n**2 - 4*n - 2. Let a be w(5). Solve -4*v - a*y - 26 = 0, -1 = 2*y + 3 for v.
-5
Let i = 14 + -10. Solve -r + y + 0*y = 0, -i*r + 5*y = 2 for r.
2
Suppose 3*a - 37 = -13. Solve -4*r + 11 = t, -4*t - a = 4*r - r for t.
-5
Let p be (-6)/(-15) + 126/10. Solve -3*r = 2*r + n - p, 4*r - 23 = -5*n for r.
2
Let l be 1/4 + ((-6)/(-8))/(-3). Let i = 4 - 3. Let p be 2/3*(23 + i). Solve -c + 5*q + p = 0, l = -4*q - q - 20 for c.
-4
Let u be (-9)/(-11) + 4/22. Solve 4*v - 2*i = -5 + u, 2*v + 12 = -4*i for v.
-2
Let y be 40/8*(0 + 1). Solve 0*f - 2*f - 8 = -3*u, y*u - 3*f = 13 for u.
2
Let n(m) = 14 - 2 + 35*m - 34*m. Let i be n(-12). Solve 0 = -3*b - u + 6 + 5, i = -4*b - 4*u + 28 for b.
2
Let b = 74 - 74. Solve 4*w - 14 = -0*w - 2*j, -5*w - 3*j + 19 = b for w.
2
Let j be 70/2 + 5 + -4. Suppose x - 53 = 5*c, 3*x = 5*c + 83 + j. Solve t = 5*t - 5*h - x, 3*t - 31 = 5*h for t.
2
Suppose 5 = 10*j - 5*j. Let z be j/((-2)/(-20)*2). Solve i + 2*g = -2*g + 20, z*i + g - 5 = 0 for i.
0
Let h be -10*(15/(-6) + 2). Let l = -5 + h. Let d be 3 + (5 - (2 + l)). Solve j - 4*m = 4*j - 10, -j - 4*m + d = 0 for j.
2
Let o be (-14)/(-1)*(-24)/(-14). Solve 7*r - o = -4*j + 4*r, -4*r = -j - 13 for j.
3
Let j be (0/2)/(-1) - 0. Let y = -8 - -16. Solve q - y = -b - 2*q, j = -3*q + 9 for b.
-1
Let s be 6*2 - 3*10/15. Solve 4*x - 2*r + s = 0, 2*r - 4 = 2 for x.
-1
Let p be 210/27 + (-4)/(-18). Let c = -7 + p. Solve 4*w + 3*m = 2*w + c, 5*w + 3*m = 7 for w.
2
Let u = 0 - -5. Let x = u - 1. Suppose i - x + 0 = 0. Solve -5*l = 3*y - 2*y, i*l - 16 = -4*y for y.
5
Let a be ((-9)/(-6)*-2)/((-3)/2). Solve 3*q - 29 = 8*q - 3*p, -2*q + a*p = 14 for q.
-4
Suppose 2*y = -8 - 0. Let w(l) = l**2 + l - 8. Let h be w(y). Let o(u) = u**2 - u - 2. Let j be o(3). Solve -3*x = -s + 5, -h*x + j*s - 2*s = 4 for x.
-3
Let x(o) = 8*o - 31. Let f be x(5). Solve f = -3*b, 0 = -2*w - b - 4*b - 9 for w.
3
Suppose 2*i + 0 = 3*l + 9, 2*i = -l - 3. Let s = l - -6. Let b be (10/(-8) + 0)*-4. Solve b*y + 8 = 3*d, s*y = d - 5 - 3 for d.
-4
Suppose -1 = -4*n + 3. Let r be n*2/1 + -3. Let d = r - -6. Solve -3*c + 24 = -d*l, 2*l - 2*c = l - 9 for l.
-3
Let t = 27 - 17. Solve -5*j = -2*o + t, -10 = -j + 6*j + 4*o for j.
-2
Let l = -6 - -8. Let g be (-4)/10*(l + -7). Solve 0 = 4*s + 16, 6*k + s = g*k + 4 for k.
2
Let r be -1 + ((-3)/5)/(6/(-30)). Solve r*s - 5*s = -q - 8, -16 = -4*s + 4*q for s.
2
Suppose 4*f - 8*f = -28. Suppose -4*q = -f - 1. Solve -q*g + 4*m + 14 = 0, 2 = -8*g + 4*g - 2*m for g.
1
Suppose -2*j = -3 - 7. Suppose -j*f + 20 = 0, 0*n - 5*f = 3*n - 38. Solve -8 = 2*q + 2*o, 5