 g*v - 3*a = -l - 6 for v.
2
Let x(c) = -c + 14. Let v be x(6). Let w be (0 + 0)/((-16)/v). Solve w = -6*j + 2*j - r - 16, r - 8 = 4*j for j.
-3
Suppose -4*z + 5*h = -10, 5*h = -5*z + 19 + 16. Suppose 0 = 4*j - 2*x - 4, 3*j - x = -0*j + z. Solve -7 = 2*w + s, -3*w - j*s = -0*w + 9 for w.
-4
Let f be ((-5)/15)/(1/(-6)). Let x = -16 - -12. Let j(m) = -m**3 - 4*m**2 - m - 2. Let z be j(x). Solve 0 = z*n + 5*u - 33, u = -n - f*u + 19 for n.
4
Let x(q) = 5*q - 45. Let m(z) = z - 1. Let r(n) = -m(n) + x(n). Let l be r(12). Solve 0 = 3*v - 4*a - 6, 3 = v + l*a + 1 for v.
2
Let a be (14/(-21))/((-1)/45). Let l = a + -23. Solve 0 = -b + 5*c - 19, 4*b - 23 = -3*c - l for b.
1
Suppose 0 = -2*v + 12 + 34. Solve 10 = -3*w + p, 3*p - 1 = -4*w - v for w.
-4
Let g(a) = a**2 + 21*a + 71. Let b be g(-17). Solve -4*p = b*k + 13, 2*p + 4 = p - k for p.
-1
Let v = 4661 - 4659. Suppose 3*g - a - 6 - 6 = 0, 5*a + 18 = g. Suppose -g*m = -2*t + 11, -m - 2 = -3*m. Solve -h = v*w - t, -9*h = w - 5*h for w.
4
Suppose -4*r - 6*m - 24 = -7*m, 4*r = -2*m - 24. Suppose 2*h + 0*h = 24. Let x be (9/(-6))/(r/h). Solve -4*z + 2*z - 1 = -o, 0 = 2*o + x*z - 16 for o.
5
Let m be (2 - 4)*-2 + 14. Let a(p) = p**3 + 6*p**2 + p - 12. Let j be a(-5). Solve -3*l + 5*n - 35 = -j*l, 4*n = -2*l + m for l.
5
Suppose -2*v + 198 = 194. Solve -3*b + v*z = -4*b, 4*b = 5*z for b.
0
Let f(t) = 2*t + 1. Let c be f(2). Suppose c*l - 8 = 72. Suppose 2*i + 2*i = l. Solve 0 = -u - 5, 0 = -i*s - 3*u - 11 for s.
1
Let k be (-16)/(-6)*-3*(-4)/8. Solve -k*g + 0*g = -l - 8, -l - 1 = 3*g for g.
1
Let b(n) = -n**3 - 18*n**2 - 18*n - 6. Let k be b(-17). Let i = 15 - k. Solve i*q = -3*z - 32, 4*z + 10 = -q - 11 for q.
-5
Let g = -3087 + 3089. Let x(w) be the second derivative of w**3/6 + 5*w**2/2 + w. Let t be x(-3). Solve 4*u + g*i + 12 = 0, 0 = -4*i + t*i + 8 for u.
-5
Suppose 0 = -5*o - 0*a + 4*a - 110, 0 = -o - 4*a - 46. Let s = -24 - o. Solve 0 = -i - s*h - 5 + 16, -4*h = 5*i - 37 for i.
5
Let c(t) = -t**3 - 15*t**2 + 19. Let m be c(-15). Let b = 21 - m. Solve b*i - 4*s = i + 11, -i + 2 = -s for i.
-1
Let n be (-3960)/(-450)*15/6. Suppose 0 = 2*p - 69 - 195. Suppose 5*g - p = g. Solve -3 = -5*w + 5*v - g, 4*w + n = 2*v for w.
-5
Let s(l) = l**2 + 9*l + 8. Let c be (-1 + 6/(-3))*8/3. Let d be s(c). Solve 3*f - 8 + d = -i, 2*f + 2*i - 4 = 0 for f.
3
Suppose -155 = 5*x - 30. Let l = 25 + x. Solve -5*n + 40 = 5*f, -3*f + 6 = -3*n - l*n for f.
5
Let u = -21 - -21. Suppose u = -7*w + w + 78. Solve 5*p + 18 = -b, 4*b + 5 - w = 0 for p.
-4
Let b be (-15)/30 - 3/2. Let w be (-9 - -1)*b/8. Solve -2*i + 4*u = w*i - 8, -3*u - 6 = -2*i for i.
0
Let k = -20 + 27. Suppose 2*h + k = 25. Solve h = -2*t - 3*o, 0*t + 5*o = t - 15 for t.
0
Let w = 409 - 406. Solve 4*l - 3*g - 12 = -g, 2*l - w*g - 6 = 0 for l.
3
Let p be (-24 + 0)*2/4. Let h be (p/(-14))/3*(8 - -6). Solve -4*o - 4 = -h*w, 11 = -5*o - 9 for w.
-3
Let h(y) = -12*y + 218. Let p be h(18). Solve 5*t = 2*m + p*m - 19, 3*t + 5 = -4*m for t.
-3
Suppose -2*l = 2*l. Suppose l = 2*h - 0*h. Let w be h + 3 + -2 + -1. Solve 40 = 3*b + 5*k, 15 = 3*k - w*k for b.
5
Suppose 15*i = 12*i + 15. Let v be (-462)/(-12) - (-2)/(-4). Suppose 25 + v = 3*m. Solve m = -2*g + 3*t, 22 + 3 = i*t for g.
-3
Suppose 8*l - 4*l = 0. Let q be (-1 + 7)/3 - l. Suppose 13 = q*w + 5. Solve 5*z - 3*f = 4*z + 9, w*z + 3 = -f for z.
0
Let i be (9/(-6))/((-3)/212). Suppose -8*o + 405 = -3*o. Suppose 3*u = -5*w - 3 + i, u - o = -4*w. Solve -4*b + w = -5*m, 5*m - 5 = -4*b + 3*b for b.
5
Let z = 3225 + -3219. Solve 5*a - 2 = 3*u - z, -u = 3*a - 6 for u.
3
Let d = -270 - -275. Solve 0 = -d*g + 4*y - 16, y - 4 = -4*g - 0*y for g.
0
Let f be (-56)/(-10) - (6/(-15) - 0). Solve 5*b = 2*a + 31, -5*a = -3*b - f + 36 for b.
5
Let m = -224 - -227. Solve 2*p - 3 = -m*a + 4, a + 1 = 0 for p.
5
Suppose g = 5*b - 4*g - 5, -4*g + 2 = -b. Solve -b*f - y - 4 = 0, 0 = 2*f - 5*f + 5*y + 7 for f.
-1
Suppose -2*r + 12 = f, -r = 4*f - 1 - 19. Solve -r = -k - 2*j, 0*j = -j + 2 for k.
0
Let z = -467 - -471. Solve -2*n = -5*x + 8, -8 = -3*x + x - z*n for x.
2
Let s be ((-4)/(-8) + 0)*6. Suppose 5*p - 58 - 76 = -k, 4*p = -4*k + 120. Let o = 28 - p. Solve -9 = -3*r - s*q, 4*r - 7*q = -o*q - 33 for r.
-2
Suppose 3*i - 10 = 5*r, -i - 5*r + 15 = i. Solve 5*j = i*l - 15, -4*j - 6 = -2*l + 4 for j.
-2
Let q be 10 + -5 + (0 - 1). Suppose 5*o = -q*o. Solve 4*n = o, -2*n - 2 = -2*r - 12 for r.
-5
Suppose 3*k + 6*m = 15, 0*k - 5*k + 5*m + 10 = 0. Solve 4*d = k*s + 28, d + 3*s - 5*s = 12 for d.
4
Let d(s) = -6*s - 2. Let q be d(-1). Suppose 0*f = q*f + 2*x - 14, -2*x = -6. Solve 0 = 4*z + 2*r - 14, f*z + 3*r - 23 + 6 = 0 for z.
1
Suppose a - 8 = -3*w, -5*a + 38 = 3*w + 10. Solve 3*s + 2*x + 6 = 0, 3*x - 5 = a*s + 8*x for s.
-4
Let y(k) = -24*k + 24. Let c be y(1). Solve 3*m + 2*g - 6*g - 2 = c, 0 = -3*m - 4*g + 10 for m.
2
Let k(c) = c - 7. Suppose 89 = 3*h + 17. Let s be (21/(-6))/(-7)*h. Let w be k(s). Solve x + l = 0, x - w*l + 2*l = 20 for x.
5
Let a = -30 - -46. Solve 3*p = 0, 0*n + 4*n + a = 5*p for n.
-4
Suppose 0 = 2*s - 9 + 9. Solve 3*a + 3*c = 0, 4*a = -s*a + 2*c + 6 for a.
1
Let o(x) = -x**3 + 11*x**2 - 14*x - 22. Let r be o(9). Suppose 0 = -3*a + r + 1. Solve -2*u - 4*v = 10, 0*v + 20 = a*u + v for u.
5
Suppose -47 = 2*d - v, v = -9*d + 4*d - 135. Let h = -23 - d. Solve -3*s = s + 3*r + 26, -h*r = s + 11 for s.
-5
Suppose 0 = -2*w + 11*w - 63. Let g(h) = -h**3 + 6*h**2 + 8*h - 2. Let r be g(w). Solve 5*y = r*m + 20, -2*m - 2*m = -3*y + 13 for m.
-1
Suppose -29 = -k - 4*b, -7 = -3*k + 5*b - b. Let h be (k + -11)/((-2)/17). Solve 0 = 4*n + 6 - 2, 3*u = -5*n - h for u.
-4
Let t = 312 - 308. Solve -t*o + 7*o = 2*b, b = o - 1 for o.
-2
Suppose 3*n - 4*t - t - 3 = 0, 5*n = 4*t + 5. Let x = 9 - n. Solve 5*s + 2 + 3 = 0, -2*b + x = -2*s for b.
3
Let n be 5 + (-3)/(-9)*0 + -5. Solve 3*p + 5*q + 22 = n, -p = -0*p - 4*q - 4 for p.
-4
Let a(q) = -2*q + 7. Let v be a(9). Suppose -30 = 4*p - l + 24, -43 = 3*p - 2*l. Let y = v - p. Solve -3*c = 2*m - 13, 0*c = 2*m + y*c - 8 for m.
-1
Suppose -4*f + 5*a - 6*a = -52, 5*f - 2*a = 78. Solve -5*d + f = 2*g, -2*g - 4*d + 8 + 4 = 0 for g.
2
Let t = 14 + -10. Suppose -5*r - 4 = -r + 5*k, r - 16 = 3*k. Suppose 0 = -0*g + r*g - 80. Solve -g = -t*l, j = 6*j - 2*l for j.
2
Suppose w - 9 = -0*w. Let l be (w/6)/((-6)/(-20)). Suppose -h - 51 = -4*u, 5*u - 3*h - 30 = 25. Solve -3*a + 2*c = -5, l*c = -3*a - 9 - u for a.
-1
Let l(n) = -n**2 + 18*n - 61. Let v be l(5). Solve -6*c + 4*u = -11*c - 20, -v*c + 4*u + 20 = 0 for c.
0
Let g(v) = 29*v - 434. Let j be g(15). Solve 5*o - j = -t + 6, -4*t - 2 = 5*o for t.
-3
Suppose 7*k - 6*k = o - 3, -4*o + 20 = 0. Solve 3*a + k*a = 10, -2*j - 12 = -2*a for j.
-4
Let b(k) = -2*k**2 - 13*k + 12. Let l be b(-10). Let i = l + 63. Solve -i*s - 2 = 5*g - s, 2*g + s - 1 = 0 for g.
2
Suppose -27 = -2*s + 37. Suppose -3*n - 5*n = -s. Solve 5*y = -2*j + 12, 4 = n*y + 4*j - 8 for y.
2
Suppose -17*s = 3 - 190. Solve 4*g - v + 3*v = -10, g = 4*v + s for g.
-1
Let j = 285 - 283. Solve -3*c = -5*y - 14, -j*c = 4 - 0 for y.
-4
Suppose 5*u - 36 = -4*i, -8*i = -u - 5*i - 8. Suppose 6*z - 76 = 26. Solve -3*k - 4 - 5 = u*w, 5*k = 4*w + z for k.
1
Let b(j) = -j**3 + 13*j**2 - 10*j - 18. Let n be b(12). Suppose -n*l = 2*l. Solve -4*c - c - 3*q - 15 = l, 2*c + 6 = 4*q for c.
-3
Let n(l) = -l**3 + 18*l**2 - 65*l - 23. Let p be n(13). Let y = -34 - -61. Let g = y + p. Solve -g*j = -2*h - 2 - 14, 3*h - 3*j = -9 for h.
2
Suppose -3*k = 16*l - 21*l - 10, -4*l = -3*k + 14. Solve 2*q - 1 = f, -2*f - k = q + f for q.
-1
Let j be (8/4)/(-14 + 15). Solve -3*n - n = j*o, 2*n + 2*o + 2 = 0 for n.
1
Let m = -1 - -25. Suppose 0 = -m*o + 21*o + 30. Solve 5*t + 2*b + o = -2, 5*b - 4 = -4*t for t.
-4
Suppose -5 = 7*u - 362. Let n = 61 - u. Solve -2*f + p = -p, f - 3*p - n = 0 for f.
-5
Let q = -26 - -48. Suppose -67 = k + y, 7*k + 207 = 4*k - y. Let h = k + 73. Solve -q = -2*g - 3*s, -3*g + 4*s + 2 = h for g.
5
Suppose 0 = 7*u - 113 + 92. Solve -3*n - 4*p - 7 = 0, 4 = -4*n - u*p - 10 for n.
-5
Let p(d) = -24*d - 333. Let h be p(-14). Solve 0 = i + 18 - 13, -19 = -k + h*i for k.
4
Let x(u) = -u**3 - 3*u**2 + 5*u + 8. Let j be x(-4). Solve 3*c + 5*m = -0*m - 17, j*c - 24 = 5*m for c.
1
Let x(l) be the second 