*d + 3*k + 12. Solve -a - 2*v = -3*v + 1, d = t*a - v for a.
3
Suppose 2*m + m = 0. Suppose m*f - f = -5. Let x be (-6)/f*(-5)/2. Solve q + 4*d = x*d - 2, -7 = 5*q + 4*d for q.
1
Let g = 335 - 333. Solve -g = 3*m + x - 6*x, 2*x - 3 = -m for m.
1
Let y(j) = -j**3 + 4*j**2 - 10*j + 77. Let s be y(5). Solve -2*k + 2*m = 3*k + s, 0 = 2*k - 5*m + 5 for k.
0
Let s be 9/45 - (-28)/10. Let p = 9 + 15. Solve 0 = 4*l - s*g + 19, -5*l + 4*g - p = -0*l for l.
-4
Let o be 20/(-190) + (-177)/(-57). Suppose -4*n + 4*a = -12, -4*n - 12 - 6 = 2*a. Let u = n - -19. Solve 5*j = 2*z - 7*z + 30, 2*z + o*j = u for z.
1
Let c = -209 - -220. Solve g - 5*n - 22 = -g, 3*g - 2*n - c = 0 for g.
1
Let q(u) = -u**3 - 7*u**2 - 8*u - 6. Let z be q(-6). Suppose 5*a - 5*r + z = 1, 0 = 3*a - 2*r. Solve -3*d - 22 = a*g, -2*d = g - 1 + 14 for d.
-4
Let a be (6/(-7))/(7/(-98)). Suppose 4*l + g - 3*g - 16 = 0, -a = 3*g. Let v = 24 + -22. Solve l*x - v*d = 10, 3*d = 7*x - 3*x - 15 for x.
0
Suppose 0 = 2*z - 5*z - 84. Let h = -28 + z. Let f = h - -81. Solve 0 = 5*i - 5*v + f, -5*i - 4*v + 8 = -3*i for i.
-2
Suppose 2*d = -3*k - 12, -4*d = -2*k - 5 - 3. Suppose 5*g + 0*p = p + 25, d = -3*g + p + 17. Let s = 18 - 6. Solve 5*x + 3*y - s = 0, -y + g*y = 3*x + 12 for x.
0
Suppose 4*t - 34 = 3*n, 18 = -2*n + t + 2. Let q = -6 - n. Suppose q = r - 4*m - 7, -5*r + 23 = -4*r + 4*m. Solve 4*u = -p - r, -p + 27 = -5*u - 5*p for u.
-3
Let q(v) = v - 12. Let i be q(9). Let m be 1 - (-3 - i) - (5 + -6). Solve 0 + 10 = -2*t, 13 = -m*a - 3*t for a.
1
Let f be (-90)/(-25) + (-4)/(-10). Suppose 9 = f*b - 39. Solve -y = -5*y + i + b, 2*i + 12 = 5*y for y.
4
Suppose -3*u = 2*u + w - 55, 0 = u - 2*w - 11. Suppose 5*r - u = 4. Solve 0 = -3*z - 4*a - 4, -4*z + z - r*a - 3 = 0 for z.
0
Let u = -12 - -15. Suppose -5*l + 28 = -7. Suppose -c = 3 - l. Solve 5*a + 4*v + 19 = 0, c*a + 6 = -u*v - 9 for a.
-3
Suppose -779 + 664 = -5*v. Solve -u - v = -6*o + o, -5*u = 4*o - 30 for u.
2
Let a = -76 + 47. Let p = a + 34. Solve 5*q + l = 4*l - 1, -4*l + 3 = -p*q for q.
1
Let l(h) = -11*h + 2. Let q(c) = 6*c - 1. Let o(a) = 3*l(a) + 5*q(a). Let y be o(-1). Let b = y + 8. Solve 4*r = r + b, -8 = 4*k - 3*r for k.
1
Let g be -6 + 24 - (1 + 11). Solve -i - g = -3, -7 = b + i for b.
-4
Suppose -1766 = 16*g - 1814. Solve -6 = -2*j + g*d + 1, 3*j + 5*d + 18 = 0 for j.
-1
Suppose 6 = 9*n - 3. Let i be (-2*n)/(52/(-8) - -6). Solve -2*b = -i*o + 4, 0*b - o = -4*b - 15 for b.
-4
Let n be (-26)/5*(-5)/2. Suppose -29 = -2*i + n. Solve i - 57 = 4*j + 4*u, j - 16 = 4*u for j.
-4
Suppose -2*l - 3*f = -4*l - 75, 3*l + 70 = -4*f. Let k = l + 57. Solve -4*i = -5*c - k, 4*i - 2*i + 2*c = 0 for i.
3
Suppose 3*b + 0*b = 9. Suppose 2*v = -b*v + 5*l + 20, v + 5*l - 10 = 0. Solve -15 = -v*y - 0, -3*s + y = 0 for s.
1
Let h = 163 + -158. Solve 2 + h = 2*s - 3*x, -4*s - 5*x = -3 for s.
2
Let a(l) = -8*l**3 + 2*l**2 + 5*l + 4. Let p be a(-1). Suppose -13*f + p*f = -20. Solve 4 = -2*h, f*h - 3 = -5*q + 7 for q.
4
Let m be (-15)/(-4) + 3/(-4). Solve -3*o - 10 = -5*k - m, -k = -3*o + 1 for o.
1
Suppose -2*s = -2 - 6. Solve -3*f = -5*f, -s*t - 8 = -4*f for t.
-2
Let i(f) = 9*f + 6. Let s be i(-7). Let y = 66 + s. Solve 4*p - y = -3*b, p = 3*p + 3*b - 9 for p.
0
Let q be -10 - -15 - 2/4*0. Let h(l) = l**3 + 4*l**2 - 4. Let r be h(-3). Solve -q*z = 2*j + j + 11, r*j = -4*z - 1 for z.
-4
Suppose 0 = -z - 5*l + 2*l - 9, 0 = -3*z - 3*l - 3. Solve -3*u + z*x + 3 = 0, 0 = -6*x + x - 5 for u.
0
Let p = 63 - 58. Suppose 4*g + p*g = 5*g. Let d = 12 + -5. Solve g = -4*x + h - 6*h + d, -5*h = -3*x - 21 for x.
-2
Let n(u) = 2*u - 1. Let x be n(3). Suppose 3*w + x = -3*r - 4, -2*r + 3 = -w. Solve t + 3*a = 20, -2*t + r*a - 15 = -5*a for t.
5
Let b be (-1*3)/(24/(-16)). Let x(m) = 6 + 3*m**3 + m**b + m - 5 - 4*m**3. Let y be x(-1). Solve 2*c + y*o = -c - 1, -2*c = -2*o - 16 for c.
3
Suppose 3*s - 16 = -5*s. Suppose 0 = 2*g - 3*o - 6, 0*g = s*g + 5*o - 6. Solve 2*z = 2*y, -2*z = g*y - 2*y - 3 for y.
1
Let m(n) = n. Let p(t) = t**2 - 5*t. Let b(k) = 5*m(k) - p(k). Let d be b(10). Solve 5*l + 4*f - 7 = 0, d = -l - 3*f + 2*f + 1 for l.
3
Let g = 59 + -21. Suppose -r = o - g, -5*o + 3*r + 34 = -132. Solve 12 + 7 = -3*d + 2*w, 5*d + o = 4*w for d.
-3
Suppose -4*d - 2*g + 0*g - 342 = 0, 93 = -d + g. Let s = d + 93. Solve -3*v - 5*i = -10, -2*v - s*i + 5 = 2*v for v.
-5
Let u = 233 + -229. Solve -a - 13 = -l + 6*l, 0 = 4*l + u*a + 20 for l.
-2
Let v(i) = 7*i + 25. Let h be v(-4). Let m be 1*0/h + 3. Let n = 46 - 25. Solve m*c = 3*d + n, -4*d - 4 = 3*c + c for c.
3
Let z(o) = o**3 - 6*o + 7. Let k be z(2). Solve 4*u + 3*v = 5, 3*u + k*v - 1 = 2 for u.
2
Suppose -3*u - 2*n - 21 = 0, -5*u - 2*n - 35 - 4 = 0. Let l(z) = -3*z - 22. Let t be l(u). Solve 0*c + 12 = -4*h - 4*c, 0 = h - c + t for h.
-4
Suppose m + 4*r = -4, 7*m - 33 = 4*m - 3*r. Suppose 13*p - m = 9*p. Solve -5*k + 2 = -2*z - 3*k, -p*z - 16 = -k for z.
-5
Let s(b) = -b**3 + 5*b**2 + 8*b - 5. Let h(z) = z**2 - 9*z + 14. Let v be h(8). Let j be s(v). Let m = j + -2. Solve -n - 18 = 4*r, -2*n - 27 = m*r - 3 for n.
-2
Suppose -6*i - 17 - 1 = 0. Let p be ((-6)/7)/(i/378). Suppose 3*x + p = 4*c - 0*x, 0 = -2*c - 5*x + 80. Solve -o - 5*r + 2 = -27, c = 5*o + 2*r for o.
4
Suppose -5*a - k + 13 = 0, -2*a = -4*k - 0 + 8. Let j(b) = -2*b**2 + 7*b - 3. Let n be j(a). Solve -f - 8 = n*l, -4 + 0 = 5*f - 3*l for f.
-2
Suppose 2*n + 3 = -4*g - 49, 5*g = n + 61. Let a = n + 26. Let j = a - -13. Solve -15 = 3*f, 8 = j*i - 4*f - 24 for i.
4
Let a = -1530 - -1538. Solve -3*n = 2*j + a + 1, 0 = j - 3 for n.
-5
Let r(c) = -31*c + 622. Let y be r(20). Solve -y*t + 0 = 3*a - 2, -5*a - 4 = -4*t for a.
0
Let w be 1/(8/(-12))*(-150)/(-9). Let n be 5/w*-5*3. Let v(q) = -6*q - 4. Let b be v(-5). Solve -k + 5*y = 4*y + n, 3*k + 4*y - b = 0 for k.
2
Let z(x) = -22*x - 21. Let d be z(-1). Solve -3*m - 5*f = -6*m + d, -4*m = -3*f - 5 for m.
2
Let v(h) = h**3 + 7*h**2 - h - 23. Let d be v(-7). Let k = 14 + 7. Let j = k + d. Solve -1 = s + 2*z, -5*s - 3*z - j = -4*z for s.
-1
Suppose -4*s - 10 = -2*n, 0 = -4*n + 16*s - 20*s + 20. Solve -3*k = -h - 7, n*k = 4*h - 2*h + 12 for k.
2
Suppose -14*d + 7*d = 14. Let n be 2/4 - 11/d. Solve -10 = -c + 4*c + 4*b, 0 = c - b - n for c.
2
Let x(l) be the third derivative of l**6/120 - l**5/12 + l**4/3 - l**3/2 + 5*l**2. Let g be x(3). Solve 5*v - 3 = 5*r - 18, g = -v - 5*r for v.
-3
Let f be (-984)/(-15) + (-14)/(-35). Let n be (-6)/(-8) - f/(-8). Let b(w) = w**3 - w**2 - 1. Let u be b(2). Solve -i - 12 = -4*s, -n*i = -4*i + s - u for i.
0
Let u = 37 + -35. Solve -4*f = u*v - 3*v + 14, 4*f + 4 = -4*v for f.
-3
Let g be (22 - 12) + (-24)/3. Solve -2*d - 5 = 2*w + 3, 0 = -g*w - 5*d - 20 for w.
0
Let q be 3/(32/10 - 3). Suppose 3*f - q = -j, 21 = 3*j + 2*f + f. Suppose i - 4*m - 6 = 0, 5*i + j*m - 2*m = 9. Solve 3*t = -0 + 3, -4*n - 2*t = i for n.
-1
Let i be 1 + (-2 - -3) + 6. Let z = i - 8. Suppose z = 4*x - 3*x. Solve 3*o = 2*f, 3*f + x*o + 3*o = -15 for f.
-3
Let a = 21 + 0. Let x = a - 13. Let n = 14 - x. Solve 0 = 5*w - 3*w + 4, 0 = -4*t + w + n for t.
1
Let v(o) = -o + 12. Let i be v(5). Suppose 2*u + i*t - 4*t = 7, -5*t + 10 = 3*u. Solve 0 = u*c - 20, 4*c - 15 = 5*m + 6 for m.
-1
Suppose -2*u + 7*u - 3*m - 43 = 0, 0 = 4*u - 2*m - 36. Solve 2*z + 3*f = -7, 2*z - 5*f - u - 6 = 0 for z.
1
Let z be (-1 - -61)*(-13)/(-39). Solve 0 = -5*a + 2*i + z, 3*a = -2*i + 1 + 11 for a.
4
Let g = -238 + 241. Solve 0 = -q + g*q, -4*b = -4*q + 16 for b.
-4
Suppose 0 = 7*j - 2*j + 5. Let z be (4 - 3)/j*-4. Suppose -5*k = 0, 2*l - z*k + 3*k - 6 = 0. Solve 0 = 2*h - 6, -4*h = l*o - 6*o for o.
4
Let y(d) = -3*d - 50. Let u be y(-18). Solve -u = w, 0 = 4*k - w + 5*w + 8 for k.
2
Let g(a) = a - 1. Let u be g(5). Suppose -5*i + r + 13 = -2*r, u*i - 36 = -4*r. Solve 4*c - 15 + 35 = -4*v, 2*c - i*v = 18 for c.
-1
Suppose -80 = 264*z - 284*z. Solve -5*t + 1 = -4*f + 15, z*f - 4 = 0 for t.
-2
Suppose -j = -4*o + o - 34, 4 = -2*j. Let z be o/(-8)*(-12)/(-9). Solve 0 = n - z*p + 1 - 4, 2*p - 2 = -4*n for n.
1
Suppose 0 = -2*v - 258 + 266. Let n be (-4)/1 + 5 + 5. Solve -n*k - 2*b + 17 = -3*k, -2*k + 6 = -v*b for k.
5
Let f = -1206 + 1211. Solve x = -5*u + 16, u - x = -u + f for u.
3
Let k = 29 - 31. Let j be 3/2*(k - (-50)/15). Solve 