k + 3*n + 4, -j*k + 2*n = -14 for k.
4
Let z = 1893 + -1889. Solve c = -z*r, c - 2*c + 4*r + 8 = 0 for c.
4
Let g = 1014 + -1013. Solve -4*v = 2*f - g + 5, f - 1 = v for v.
-1
Let t be -16 + 22 + -4 + -2. Let u = 1 + 3. Let c = t + u. Solve 0 - c = 4*h + 2*p, 0 = 2*h + 2*p + 2 for h.
-1
Let m(s) = -s**3 - 12*s**2 + 8*s + 98. Let u be m(-12). Solve -5*a = -4*l + l - 8, u*a = -2*l + 16 for a.
4
Let x be ((-49)/147)/(1/(-9)). Solve -6*y + 11 = -4*c - 3*y, -2*y + 9 = -x*c for c.
-5
Let r be 7 + -1 + (-6 - -8). Let z = -5 + r. Solve -z*m = 3*q + 15, 2*m + 2*q = 3*q + 2 for m.
-1
Let v be (-4 - -4) + (4 - (-1 + 1)). Suppose l + v*q - 4 = 14, -2*l + 3*q - 8 = 0. Solve -4*m + 12 = 0, -5*w + l*m = -0*m + 26 for w.
-4
Suppose -2*l = 6, r + r - 5*l = 31. Solve 2*u - 4 = 2*f, 5*f + 2 = -5*u - r for u.
0
Let f = -11 - -16. Let d be 4/f - 18/(-15). Suppose -4*z + z - 5 = -y, 0 = -d*y + z + 5. Solve m = -2*x - 5, 0 = -3*m - m - y*x - 2 for m.
1
Let g be -5 - 5/((-10)/18). Let o be g/(2 + (-3 - -3)). Solve -5*n + 4*u = -o*n - 12, 2*n + u = 8 for n.
4
Let k = -1705 + 1713. Solve 2*q + k = -f, -6*q - 25 = 5*f - q for f.
-2
Suppose 2*m - 54 + 64 = 3*g, 4*g - 4*m - 16 = 0. Solve -k + 0*b = -b + 2, 5*b - 16 = g*k for k.
2
Suppose 0 = -g + 2*g - 4*j + 5, 4*g + 3*j = 56. Let p be -7*(1 + g/(-7)). Suppose -p*r = -0*r. Solve -2*l + l - 3*v = 11, 3*v + 12 = r for l.
1
Let c be ((-42)/(-35))/(6/45). Solve 5*r + c = w + 3, -4 = 2*r for w.
-4
Suppose -4*a - 4*y = -4, -y - 3*y + 6 = 3*a. Let g = -48 + 73. Let c be (-1)/a*(g + 7). Solve -7*q + 3*q + 2*n + c = 0, 1 = -q - 2*n for q.
3
Let i(x) = x**3 - 17*x**2 + 40*x + 30. Let t be i(14). Solve -q + 3 = 4*m + t, -m = -q + 1 for q.
1
Let v(g) = 2*g + 1. Let r be v(3). Let b(k) = -k + 9. Let q be b(r). Solve -2*f + 2*y = q*f - 14, 5*f = 5*y + 20 for f.
3
Suppose -88 = -26*s + 18*s. Solve -m = -5*r - s, -5*r = -2*m - 0*m + 7 for m.
-4
Let n = -452 + 455. Solve 0*y - 8 = -n*w - 5*y, 0 = 5*w + 5*y for w.
-4
Suppose 58 = 12*l + 10. Solve 4*c - 21 = -i - c, 4*i + l = 2*c for i.
1
Let b(q) = -q**3 + 3*q**2 + 6*q - 5. Let k be b(4). Suppose 3*c = 5*v - 12, -k*c - 13 = -1. Solve v = -4*r + u + 3 - 7, -4*u - 3 = 3*r for r.
-1
Let w(y) be the second derivative of 5*y**3/6 + 5*y**2/2 - 7*y. Let k be w(0). Solve k*m = i - 24, -2*m + i - 12 = -0*i for m.
-4
Let b be 22/55 + (2 - (-12)/20). Solve -b*p = y - 5, 3*p - 2*y = 5*p + 2 for p.
3
Let j(l) = -2 - 12*l**2 - 2 + 11*l**2 - 12*l. Let k be j(-9). Suppose 0 = 8*n + 7 - k. Solve t = 4*a - 14, -5*a - 2*t + 7 = n*t for a.
3
Let i be 1 + (2 - 0) + -1. Let g(w) = 12*w**2 - 10 + 4*w**3 + i*w**3 - 5*w**3 - 2*w. Let u be g(-12). Solve 4*t - 11 = 5*f + 17, t - 3*f - u = 0 for t.
2
Let u(w) = 3*w - 1. Let v be u(-1). Let q be (v - -8) + 0/2. Suppose q*f - 8 = -0. Solve -2*g - f*i - 13 = g, 5*i = -10 for g.
-3
Let f(c) = -13*c**3 + 6*c**2 - c + 12*c**3 - 3*c**2. Let h be f(2). Solve 4*y - h*j - 16 = 0, 2*y + 5*j + 16 = 4*y for y.
3
Let f = 1 + -1. Suppose -2*t + 12 = g, -3*t - g = -4*t + 3. Suppose -2*c + 13 - t = f. Solve 5*o = c*s - 4, -s - 1 = 4*o - 2*s for o.
0
Suppose 13*n - 12*n - 14 = 0. Solve -3*u = -6, 5*j - 1 = 4*u - n for j.
-1
Let v be 42/9*48/56. Solve 5*r - 2 = r + h, -2*h - v = -5*r for r.
0
Suppose -4*t = 3 - 19. Suppose 3*o = t*o - 14. Solve -o = 5*s + 4*p, 2*p - 1 = -4*s - 11 for s.
-2
Suppose 5*m - 3*z = 15 + 6, -4*z = 4*m - 4. Suppose 0 = 5*t - 3*y + 6 - 43, 10 = t + 2*y. Suppose t*d - 17 = -1. Solve m*h + g + d = 0, -3*g = -h - h - 5 for h.
-1
Suppose 0 = 4*a - 40 - 24. Let y = a + -11. Let x(h) = h + 7. Let l be x(-5). Solve y*n + 28 = -4*i, -4*n - 6 - l = -4*i for i.
-2
Suppose 2 = -o + 5*f, f = 2*f - 1. Suppose -2 = -o*d + 7. Suppose 0 - 3 = -d*v. Solve -r = k + v, 3*r + 5*k + 11 = r for r.
2
Let w be ((-6)/(-12))/((-3)/(-6)). Let c be (-5 + 4)*(-1 + w). Solve 4*l + c*l = 3*a - 1, -5*a + 5*l - 5 = 0 for a.
-5
Let q(c) = c - 7. Let m be q(12). Solve 0 = -3*n + 9, 5*w - m*n = -0*n - 5 for w.
2
Let q = -100 + 147. Suppose 5*n + 4*g = 84, 3*n - 5*g = q + 33. Solve -4*o - n = 2*x, -10 = -2*x - 0*x + 2*o for x.
0
Let q(j) = -j**3 + 5*j**2 + 3*j. Let f be q(6). Let c be -3*(-3)/f*-62. Suppose 7*k = c + 46. Solve -3*r = w + 5, -2*w + 4*r + k = w for w.
1
Let x(j) = j**2 - 9*j + 22. Let i be x(4). Let b be 5*-1*(-595)/175. Solve 3*z - b = f, 2*f = -2*z + i + 4 for f.
-2
Suppose 4*t - 2*r - 3*r = -32, -4 = -r. Let v = t - -8. Solve -k + 2*j + 1 = 6, v*k = -3*j - 25 for k.
-5
Let z be (4 + 5 + 6)/1. Solve -3*a = z, -2*a = 3*g - 0 - 2 for g.
4
Suppose -8*f = -6*f + 36. Let h = f + 21. Let z = 5 - h. Solve z*s + s = -6, -y - 5 = 2*s for y.
-1
Let y be -3 + ((-122)/(-10) - 17/85). Solve 5*c - 2*m + 27 = -0*m, -m - y = 2*c for c.
-5
Suppose 5*q = 3*q - 6, q - 22 = -5*g. Suppose g*d = 3*w - 15, -2*d + w - 2*w = 17. Let a = d - -10. Solve 3*f + 9 = -3*v, f = 5*v - 1 + a for f.
-2
Let y(t) = t**2 + 1. Let v = -11 + 10. Let l be y(v). Suppose -5*b + 2*w + 12 = -4*b, -b = 5*w + 16. Solve 15 = 3*j + 2*p, b*p = -l*j + 8*p + 10 for j.
5
Let i = 2 + 0. Suppose i*t + 3 = 7. Suppose 0 = c - 4*m + 16, m = -t*c - 3*m + 28. Solve -2*k + o + 19 = -c*o, 5*o + 11 = -2*k for k.
2
Let o(p) = p**3 - 2*p**2 - 18*p + 48. Let n be o(3). Solve 0 = 3*d - 2*j + 1, -4*d + 0*d + n*j = 0 for d.
-3
Let u = 9 + -8. Let l be 6/((-2)/4 + u). Solve 4*q = -2*w - 12, w - 2*q + l = -7*q for w.
-2
Suppose -8 - 22 = -2*m. Let b = m + -12. Suppose 0*a - 15 = -b*a. Solve u + 5*v - 5 = 0, -5*v - a = -2*u + u for u.
5
Suppose 6*p - 92 = 2*p + 4*a, 118 = 5*p - 2*a. Suppose 0*l = 4*l - p. Let b = -6 + l. Solve 0*f + f - 3*d + 18 = b, 0 = -4*f - d - 7 for f.
-3
Suppose -17*p + 10*p + 14 = 0. Solve -5*y - 4 + p = 2*k, 5*y - 2 = 2*k for y.
0
Let w(o) = -34*o + 141. Let n be w(4). Solve -3*x - a + 0*a = -11, -n*a = 4*x - 11 for x.
4
Let v = 35 - 15. Let a = 31191 + -31188. Solve 3*d - 5*u + v = 0, -a*u - u - 1 = d for d.
-5
Let h be 1/(-2)*8 + 7. Solve 21 = -3*o - f + 6*f, h*o - 4*f = -18 for o.
-2
Let w be (-1)/6 + (-4)/(-24). Suppose -h - 3*u + 28 = w, 2*h - h + 5*u - 36 = 0. Let q = 18 - h. Solve 0 = -q*c + 3*x - 17, x = 3*c - c + 7 for c.
-1
Let s be -2 - -36 - (-1)/3*-3. Suppose -5*v - s = -58. Solve -5*t = -3*t - v*n + 1, 5*t = -2*n - 17 for t.
-3
Let u = 256 - 253. Solve -s + l + 2*l + 16 = 0, -u*l = -3*s + 24 for s.
4
Suppose -3 = -5*t - 3*z, -t - z = -3*z + 2. Suppose -10 = -4*c - 4*j + 10, -3*c - j + 13 = t. Solve -5*w + 4*y - 12 = 0, 14 = -c*w + 4*y + 6 for w.
-4
Let z be (4 - 1) + 13 + -11. Let c(k) = -k**3 + 4*k**2 + 7*k - 6. Let v be c(z). Solve 0*j + 11 = -v*j - 3*f, -5*f = -j + 3 for j.
-2
Suppose -12 = -b - 2*b - 3*u, -20 = -5*u. Suppose -4*h + 5*y = 2*y - 35, -h - y = b. Solve 3*r = 2*f + 2*f - 2, -4*f = h*r - 18 for f.
2
Let q be (2 - -1)/3*2. Let y be 3 - ((-6)/3)/q. Solve y = -4*a - 5*s + 19, 2*a + s = 9 for a.
5
Suppose 5*u - 43 = -6*b - 24, -4*b + 2*u + 50 = 0. Let w(c) = -2*c - 7. Let o be w(-5). Solve 8 = o*h + 4*q, -4*h + b = -h + 3*q for h.
4
Let d = -84 + 60. Let l be 1/(4/d*-3). Solve 2*g = -3*z + 10, -z + l*g - 2 - 8 = 0 for z.
0
Suppose 15*b = 10*b - 75. Let d be (b/12)/((15/(-24))/5). Solve -4 - 1 = -2*i + s, -2*s = -2*i + d for i.
0
Let q = -75 + 45. Let y = q - -33. Suppose y*n - 5*n + 2*h = -4, 2*n + 4*h = 10. Solve 4*v - n*l - 16 = -0*l, 0 = -2*l for v.
4
Let p(g) = 5*g**2 + 16*g + 3. Let f be p(-3). Solve f = 3*t, 2*t + 8 = -4*b - 2*t for b.
-2
Suppose 246*h - 240*h - 48 = 0. Solve -3*b = -2*u - 13, -h*u + 3*u = 4*b + 21 for b.
1
Suppose -6*q = -11*q + 240. Suppose -5*w + q = -2. Solve -3*r = 5*m - r + 35, -2*r - w = 0 for m.
-5
Suppose -3*s = -84 - 51. Suppose -10*f + f = -s. Solve -2*j + f*w = 23, j - 11 = -3*w + 5 for j.
1
Let n(l) = l + 1. Let j(s) = -s**2 - s + 9. Let y(a) = j(a) - 5*n(a). Let t be y(-6). Solve 3*d = 19 - t, 4*k - 3*d + 7 = 0 for k.
2
Let i(v) = v**2 - 7*v - 70. Let o be i(-6). Solve -3*l = 3*u - 27, 3*u - o = -u + 3*l for u.
5
Let u(x) = 28*x - 277. Let t be u(10). Solve 0 = -t*i - s - 2, 5*i - 3*s + 8 = 0 for i.
-1
Let b(v) = 2*v**2 + 5*v + 4. Let g(r) = -3*r + 19. Let f be g(7). Let p be b(f). Solve -5 = -m, 2*m = p*a - 0*m for a.
5
Suppose -4*o - 3 + 19 = 0. Let g be ((-5)/o)/(5/(-80)). Solve s - 2*s - g = 4*k, -5*s - 20 = 4*k for s.
0
Suppose 5*y = -5*s + 25, 3*s - 11*y 