 1 = -k - 3*o for k.
5
Suppose -12 = 2*n + 4*n. Let w be 6 + 2 - (-6)/n. Solve -5*i = 20, w*k = 3*k - 5*i - 16 for k.
2
Let r = -63 - -93. Suppose 5*b - p - r = 0, -b = 2*p - 5*p - 20. Solve -x = b*n + 20, -4*x - x + 45 = -4*n for n.
-5
Suppose -6*d + 2*d + 40 = p, -3*p + 3 = -d. Solve 3*j - 2*m + 4 = 5*j, 0 = -3*m - d for j.
5
Let g = 34 + -29. Suppose 0 = g*v - 10, -2*z - 2*z - v + 42 = 0. Solve -5*l + z = -5*a - 20, -3*l - 6 = 5*a for a.
-3
Let p = 7 - 5. Suppose -w = 4*l - 2, -p*w - 3*l + 1 + 13 = 0. Let z = w + 1. Solve 2*r = b - z, r + 3*b = -b + 17 for r.
-3
Let m(b) = -1. Let h(d) = -3*d - 18. Let o(r) = h(r) - 5*m(r). Let w be o(-6). Solve -w*k + 2 + 3 = 2*n, 4*k - 7 = -n for k.
3
Let h(i) = -i**2 + 5*i + 68. Let g be h(-6). Solve 2*s = 4*r - 20, -2*s - g*r = -5 + 1 for s.
-2
Let j be -13 + 17 + ((-20)/(-5) - -18). Solve 5*y + 5*b + j = 3*b, -8 = -y + 4*b for y.
-4
Let x be (2 + 0 - 0)/((-16)/(-208)). Suppose -4*c = 4*i + 8, -4*c + 2*c + 4*i + x = 0. Solve -2 = -2*v + 2*d, c*v + v - 5*d - 3 = 0 for v.
2
Suppose 0 = 13*z - 122 - 34. Let q be (-9)/(-12) - (3 - 195/z). Solve 4*v + 2*u + q = 0, 3*v - 3*u = -0 - 24 for v.
-5
Suppose -18 = -s - 10. Let g be 78/s + (-1)/(-4) - 1. Solve 0 = -k + 5*l + g + 6, -2*l - 6 = -5*k for k.
0
Let i(b) = b - 1. Let n be i(3). Solve 2*f = 3*m, -n*m - 2 = -5*f + 9 for f.
3
Let d(k) = k**2 + 3*k - 4. Let a be d(-4). Solve 4*s + 0*s = f - 17, -3*s + 5*f - 34 = a for s.
-3
Let x = 29 + -29. Suppose 5*o - 3 - 12 = x. Solve -2*p = -3*n + 7, 0*p = -5*n + o*p + 13 for n.
5
Suppose 0 = -5*a + 6*a + 5*g - 31, a - 3*g - 7 = 0. Solve -f - 8 = -3*j - 2*j, a = 4*j - 4*f for j.
1
Suppose 29*f - 34*f + 3*l = 0, -3*l = -15. Solve 4*s + 14 = q, 8 = -f*q - q for s.
-4
Let n = 325 - 323. Solve 20 = 4*y - 4*s, n*y - 5*s - 14 - 2 = 0 for y.
3
Suppose v - 28 = -25. Solve -4*u - 13 = 3*c, 5*c = v*u - 3 - 9 for c.
-3
Let l = 452 + -450. Solve l*r = 2*u - 10, -3*r + 3*u - u = 13 for r.
-3
Let g be 7 + -1*(-9)/(-3). Suppose -4*b = o, o + 0*b = g*b + 16. Suppose -3*l = -4*i - 2, -4*l - 4*i + 4 = -o*i. Solve 0 = -2*t - l*q + 4, -2*q - 3 = 3 for t.
5
Suppose 2*p - 30 = -p. Suppose -o = -4*m - p, -5*o - 5*m = -0*o - 50. Suppose 2*s - o - 10 = 0. Solve -2*l - 3*l = 5*g, -3*g = -2*l + s for g.
-2
Let o = 14 - 13. Let y be o/(2 - (-6)/(-4)). Suppose 0 = 3*f + y*f - 15. Solve -5*j + 7 = 2*c, 0*j + 5*c - 2 = f*j for j.
1
Let s = 664 - 660. Solve -3*a + 2*q + 3*q = 1, -s*q = -3*a - 2 for a.
-2
Let z = 5 - 3. Let n be (16/(-28))/(z/(-7)). Let l be 48/26 + n/13. Solve -4*o - 8 = 4*p, 5*p = 3*o - l - 0 for o.
-1
Let h(n) = -4*n**2 - 3*n + 12*n**2 + n**3 - 7*n + 0*n - 5. Let q be h(-9). Solve -2*s + 4*t = 3*s - 6, q*s + 3*t + 20 = 0 for s.
-2
Suppose 2*y - 2*z + 2 = 0, -18 = -5*y - z + 7. Solve 7*m + 14 = y*x + 5*m, -5*x = -3*m - 19 for x.
2
Let m = 223 + -223. Solve 0 = 2*c - 4*t, -2*c - t + 6*t = m for c.
0
Suppose 6 = 4*o + 2*i + 4, 3*o - 3 = -i. Solve o*p - 5*q + 20 = 4*p, -4 = -2*q for p.
5
Let t = -222 - -1. Let u be (-2)/(-5) + t/(-85). Solve -u*a - 5*m - 10 = -0*m, 5*m = 4*a - 45 for a.
5
Suppose 2*i - 3*v = -5, 4*i - 2*v + 0 - 2 = 0. Let d(u) = u**2 - 5*u - 1. Let z be d(7). Suppose 5*l = z*l - 64. Solve 5*c + l = i*j + 3, 0 = -j for c.
-1
Suppose 11 = -8*g + 51. Solve -g*i + 2*i = -p - 6, 11 = -2*p + 5*i for p.
-3
Suppose -5*i + 0*i + 145 = 0. Let m(d) = -i*d**2 - 3*d + 20*d**2 - d**3 + 10 - 4*d. Let v be m(-8). Solve -8 = 2*y + k, v*y - 4*y - 8 = 4*k for y.
-4
Let t be -8 - (-132 - -4)/8. Solve t*d = s + 3*d - 1, 4*d - 2 = -2*s for s.
1
Let f(i) = i**3 + 6*i**2 - 7*i + 4. Suppose 2*q - 4*q = 14. Let n be f(q). Suppose 92*k = 59*k + 99. Solve 5*r + 28 = 3*h, 2*r - n*r = k*h + 7 for r.
-5
Let x(k) = 3*k - 1. Let j be x(8). Solve 5*n - j = 4*i, 2 = 2*n + 2*i - 0*i for n.
3
Suppose 3*o - 9 = -4*d - 2*o, -2*d + o = -15. Solve -t - 2*s = 7, -2*t + 2*s + d = s for t.
1
Let t(f) = f**2 - f + 1. Let z(n) = 18*n - 7*n**2 - 3 + 1 - 4. Let b(m) = 6*t(m) + z(m). Let l be b(12). Solve -w = s + 3*s - 3, l = -4*s + 2*w + 6 for s.
1
Let d = 689 + -684. Solve d*b + 0*b - 15 = 0, -3*b = -3*c - 3 for c.
2
Suppose 0 = c - 215 + 211. Solve 2 - 10 = 4*v, c*v = -n - 8 for n.
0
Let u = 138 + -99. Let d = u - 33. Solve 3*x + 10 = 4*f, -2*f - d = 5*x + 2*f for x.
-2
Let b = 50 - 48. Suppose 3*h - 5 = 7. Let l be (-2 - 2)/(-3 - -1). Solve 0*n = -l*n + h*z - 6, -5*n - 3 = b*z for n.
-1
Suppose 12*z - 80 = 8*z. Let f(w) = w**3 + 9*w**2 + 10*w + 2. Let q be f(-7). Let k = q - z. Solve 2*t - x + 8 = 17, k = -2*x for t.
2
Suppose -23*a + 20*a = -9. Suppose 0 = a*b - 3 - 6. Solve 4*q = 3*r - b, 5*q + 1 = -0*r + r for q.
0
Suppose 0 = -23*g + 10*g + 13. Solve -3 = 5*a + 3*n - g, 0 = -a - 5*n - 18 for a.
2
Let f be (5 - 3)*1*(-9 - -10). Solve 2*j = 2*z + 8, -f*j + 4*z = 3*z - 9 for j.
5
Let k be (26 - 5)*(-24)/(-14). Suppose k = 6*p - 66. Solve 4*f = 3*d + p, -4*f + 3*f - 10 = 4*d for d.
-3
Suppose 0 = -y - 0*y + 5. Suppose -y*u = -u + 20. Let n be (2/u)/((-4)/40). Solve 4*v = -0*v + 2*x - 2, n*v - 2 = -2*x for v.
0
Let b(g) = -g**3 + 3*g**2 - 2*g. Let a be (-8)/28*1*-7. Let x be b(a). Solve 3*o - m = 8, x = -5*o + 3*m + 12 for o.
3
Suppose 0 = 7*u - 6*u + o, 4*u - 14 = 3*o. Solve d + 5 = -4*d, 0 = u*b - 5*d - 7 for b.
1
Let m = 268 - 263. Solve -5*a - 2*i - 8 = 0, 0*a + 3*i - m = a for a.
-2
Let t be (4 - 4/(-4)) + -5 + 32. Solve -5*m - 3*j + t = 0, -2*m + m - j = -8 for m.
4
Let c(w) = -w**3 + 5*w**2 + w + 8. Let m be c(0). Solve -13*o - 27 = 3*g - 10*o, -3*o = -4*g - m for g.
-5
Let w = -9690 + 9695. Let h(x) = -3*x. Let y(q) = 13*q + 1. Let k(z) = 9*h(z) + 2*y(z). Let b be k(-6). Solve w*s - 12 = -0*s + 3*j, 2*j = 2*s - b for s.
0
Let s(h) = h**3 + h + 75. Let p be s(0). Suppose -2*t + 45 + 5 = -j, -p = -3*t - 2*j. Let g = 39 + -36. Solve -t = 2*i + g*i, -i - 20 = 5*d for d.
-3
Let b(u) = -u - 13. Let v be b(-15). Solve 20 = -5*w, m - 3 = -v*w - 13 for m.
-2
Let q be ((-252)/(-119))/1 + (-2)/17. Solve r + q = -3*w, -3*r - 1 = -2*r + 2*w for r.
1
Suppose -4*k + 37 = z + 13, 5*z + 3*k = 35. Let y be z + 0 + 1 + -2. Solve -x + y*x = -4*t + 6, 0 = 2*x - 3*t + 15 for x.
-3
Let t = -114 + 118. Solve 30 = -5*m + 5*b, m + 0*b = -t*b + 14 for m.
-2
Let c(q) = -q**3 - 10*q**2 - 2*q - 22. Let s be c(-10). Let i be (-8)/s*6/8. Solve 0 = -x + i*w, -5*x = -w - 4*w for x.
0
Let r be (3 - 1)/4*514. Suppose 4*g - 345 = 5*j, -r = 5*j - 2*g + 78. Let k be (-400)/j - (-2)/(-13). Solve 0 = 4*p - 2*c + k, 5*p + 4 + 3 = 2*c for p.
-1
Let m(x) = 5*x + 95. Let z be m(-18). Solve 0 = z*o + 4*u - 6, 2*o + 3*o - u = -14 for o.
-2
Let q be ((-1)/4)/((-1)/8). Suppose 4*o = -o - 10, 0 = -q*h - o + 14. Solve -3*s = -4*s - 2*i - h, s + 3 = -i for s.
2
Suppose -3*q + 135 = 5*n - 0*q, -4*n + 106 = 2*q. Let y = 28 - n. Solve 5*j = 3*g + 7, 2*g + 3 = y*j + j for g.
-4
Suppose 0*o = -3*o + 12. Suppose -3*b = 3*v - 3, -b + 4*v - 16 + 2 = 0. Let d be (1/b)/((-12)/72). Solve -4*k = z - 24, o*z - d*k + 3 = z for z.
4
Let n(u) = u**2 + 6*u + 4. Let i be n(-6). Let r be 3/(-3) + 20/i. Let x be (9 - (-5)/(-1)) + -2. Solve -5*k - 22 = -3*d, -12 = x*d + r*k - 2*k for d.
-1
Let t(o) be the second derivative of o**3/3 + 7*o**2 - 30*o. Let x be t(-7). Solve 3*l - 2*u - 5 = x, 4*u = -2*l + 6*u + 4 for l.
1
Let k = -53 + 53. Solve -2*b + 2*g + 16 = 0, k*g + 3*g = -b - 12 for b.
3
Let m be 9/2 - (-11)/22. Let q(y) = -y + 10. Let i be q(m). Solve -18 = i*l - 3*d, 3*d = -2*l - l - 6 for l.
-3
Let t = 43 - 40. Suppose o = 2*o - 45. Let a be o/3*3/9. Solve -t*m - p + 16 = 3*p, -4*m = -a*p - 11 for m.
4
Let n be 8/(-10)*(-5)/2. Suppose 0 = s - 9*s - 48. Let r be 2 + 14/(-6) - 20/s. Solve 2*h + 3 = -r*g - 7, -4 = -n*g + 4*h for g.
-2
Let o = -396 + 396. Solve 2*y - r = 4*r - 2, 4*y - r + 4 = o for y.
-1
Let m(b) = -12*b - 8. Let x(s) = 12*s + 8. Let i(t) = -6*m(t) - 5*x(t). Let a be i(5). Solve -5*r - 5 = -5*j, -5*r - 4*j = a - 27 for r.
-5
Let w = -63 + 55. Let y be (-1)/(w/(-3) - 3). Solve l - 2*v = 9, -17 = -2*l + y*v - 4 for l.
-1
Let s = 30 + -10. Suppose 36*n - s = 31*n. Solve n = p + y - 1, -2*y + 8 = p for p.
2
Let l be 8/(-60)*-5*3. Suppose y = l*y - 4. Suppose -5 = -2*b + 3*v + 2*v, -5*v - 5 = y*b. Solve r + h - 5 = 0, -4*r - 5*h + 28 - 8 = b for r.
5
Suppose -3*u + 138 = 4*n, -2*u - 87 - 25 = -3*n. Let c = 