uppose m = 8*a - 7 - 17. Solve a*v - 6*j - 5 = -j, -5*j + 30 = 4*v for v.
5
Let k(y) = 7*y - 49. Let g be k(7). Solve -s - s + 2*x + 14 = g, -3*s - 4 = 2*x for s.
2
Let w = -52 - -57. Suppose 2*t - 2*k + 2 = -2, w*k - 25 = 0. Solve 4 + 8 = t*v - 3*z, -16 = 4*z for v.
0
Suppose j = 5*s - 6, -2*j - 9 = -5*s + 2*j. Solve -x - l - s = -2*l, -7 = x + 2*l for x.
-3
Suppose 129 = 16*x + 49. Solve x*j - 20 = -3*u - 2*u, 2*j = 3*u - 7 for u.
3
Let b = -48 + 69. Suppose -4*m = -m - b. Let v(o) = -o**3 + 7*o**2 + o + 3. Let p be v(m). Solve 5 = 4*c - h, 3*h = 4*c + 5*h + p for c.
0
Suppose 2*v = 4*v - 50. Suppose d = 6*d - v. Solve g = 5*g - 4*k + 4, 5 = g + d*k for g.
0
Let k = -5 + 27. Let w(v) = v**2 + 5*v + 2. Let r be w(-3). Let o be ((-12)/r)/1 - 1. Solve 3*d + k = -4*p, -d - 1 = o*p + 9 for p.
-4
Suppose 2*r + 78 = s + 85, -s = -5*r + 19. Let g be 1*(6 + 1/1). Suppose -g*q + 2*q = 0. Solve 4*n + b - r = 0, q = -2*n + 4*n - 5*b + 20 for n.
0
Suppose -5*z + 52 = -3*u, 2*u - 5*u = -3. Let g = z - 8. Suppose 4239 = 61*p + 4178. Solve -4*k - g = 1, 3*k - p = a for a.
-4
Let i = 13 - 10. Suppose -4*y - 20 = -0*a - 3*a, -i*a = 5*y + 25. Solve -3*p = 5*n - 9, -4*p + 12 = -a*p + 3*n for p.
3
Let d(r) = -r**3 + 11*r**2 + 3*r. Let u be d(11). Let y = -28 + u. Suppose -y*s + 17 = -48. Solve 0 = -3*f + p + p - s, -f - p - 1 = 0 for f.
-3
Let l = 32 - 56. Let m = 33 + l. Suppose 3*a = -0*a + m. Solve -a*r - 9 = -5*r - 3*i, -r + 7 = 4*i for r.
3
Suppose 14*l - 4 = 13*l. Let p be l - ((-1)/1 - -2). Let u be 3 + p + 4/(-4). Solve -u*o = -c + 28, -2*c + c = 5*o + 22 for c.
3
Let z = -36 + 38. Solve 6 = 3*d + 2*f, z*d + d = -f + 6 for d.
2
Suppose -3*o - 141 = 5*r, 5*o + 8 + 2 = 0. Let p be 2/6 + 63/81*51. Let q = p + r. Solve x + q = 2*x + 2*f, -5*f = -20 for x.
5
Let n(h) = -h**2 + 20*h + 98. Let w be n(24). Solve -w*v = -3*m + 8 - 1, 2*m - 5*v = -10 for m.
5
Let o = -284 + 284. Solve 0 = -5*l - 2*v, 2*l - 4*v = -o*l for l.
0
Suppose -3 = -2*y + 3. Suppose 20 = y*r + r. Suppose 0 = 5*z - 11 - 39. Solve -r*x + 3*k = -z, 0 = -5*k + 3*k for x.
2
Let v be 28/(-15) - 4/30. Let k be 4*v*((-2)/4 + 0). Solve 6*d - d = -k*x - 28, -x + 2*d = -6 for x.
-2
Suppose u + u = -2*j - 66, -5*j - 15 = 0. Let s be u - -11 - 8/2. Let i = -21 - s. Solve 0 = i*m - 5*z + 6, 3*m + z + 9 = -0*z for m.
-3
Let u = 0 + 6. Let s be (-3)/(-12)*2*u. Suppose -s*j + 5 = w - 0*j, -w + 4*j = 2. Solve -y + 3*y = f, w*y - 10 = -4*f for f.
2
Suppose 2 = m + r, -5*m - 3*r + 2 + 4 = 0. Solve -2*c = -2*b + c - 3, m = -5*b + 3*c - 3 for b.
0
Let h be (2/(-4))/(3/(-12)). Solve 3*i = h*w - 5 - 3, 2*i + 5*w = 1 for i.
-2
Let m(y) = 3*y**2 + 18*y - 19. Let a be m(-7). Solve 3*b + 3*r = 9, -a*r = 6*b - 5*b - 7 for b.
-1
Let u(x) = -18*x - 2. Let h be u(-2). Suppose -2*p + 22 = -b, -3*b - p - 25 = h. Let d = b - -37. Solve 4*y + n = -d, -y - 6*n + n + 10 = 0 for y.
-5
Let m be 2 + 2 + 1 + 0. Suppose -f - 4 = -k, 0*f + 29 = m*k + 4*f. Let u = -28 - -28. Solve -y + 1 = u, -21 + 4 = -k*x + 3*y for x.
4
Let l be (-1)/((-1)/(-4)*-1). Suppose 0 = -v - l*v + 15. Solve -v*f + k = 15, k = -3*f - 3*k for f.
-4
Let t be (-172)/(-20) + (-8)/(-20). Let w = t - 9. Suppose -7 = -5*d + 18. Solve -d*m = 2*h + 29, 2*h - 21 = -w*h + 5*m for h.
-2
Let m = 235 + -232. Solve -3*s - 15 = -5*x, -4*s - m = -0*s - x for s.
0
Let s be (4/3)/((-3)/(162/(-24))). Solve -10 = -s*f - 0*f + 2*o, -5*f - 2*o + 6 = 0 for f.
2
Let m = -45 + 50. Suppose m*p + 20 - 40 = 0. Solve 35 = -5*b + 2*w - p*w, -b - 15 = 2*w for b.
-5
Suppose -19*n = -24*n + 40. Solve -3*a + 22 = 5*u, 0 = -2*a - u + 2 + n for a.
4
Let r be 3 + 105/(-60) + 1/(-4). Solve -m + 3*f = 1, 2*f + 5 = -m - r for m.
-4
Let s be 11*1 - (148 - 157). Solve q - 2*h = 5*q + s, 3*h = q + 5 for q.
-5
Let d(u) = 6*u**2 + 66*u. Let q be d(-11). Solve 4*x + 4*y - 12 = 0, q*x + 7 = 4*x + 3*y for x.
-2
Let p = 259 + -245. Solve -3*m - 4*q = -21 - 3, 0 = -5*m + 2*q + p for m.
4
Let u = 1100 - 1100. Solve u = 5*f + b - 27, 4*f - 10 = 4*b + b for f.
5
Let o(w) = 2*w - 4. Let n be o(3). Suppose 15 = -n*a + 9. Let b(l) = -l**2 - 4*l + 1. Let d be b(a). Solve -4*q = 2*x + 6, x + 4*x = q - d for q.
-1
Let l be 2 - 3 - (0 - (-12)/(-4)). Let z = -180 + 182. Solve 4*q = 4, 5*k = z*q + l*q + 1 for k.
1
Let x = 7 + -38. Let t = x - -34. Solve -2*o + 14 = t*q + q, 0 = 4*q - 3*o - 9 for q.
3
Let v(p) = -p + 4. Let m be v(4). Suppose -3*k + 12 + 6 = m. Suppose -4*w + 14 + k = 0. Solve -2*l = -w*n - 28, -l - 6*n - 16 = -n for l.
4
Let c = -938 + 942. Solve 4*g - 5*t = 1, 4*g + c = g - t for g.
-1
Let l = 20 - 20. Let n be 1 + 3/(-3 - 0). Solve 0 = 4*z - l*z + 2*a - 4, n = -5*a + 20 for z.
-1
Let y be (-1938)/(-27) - (-8)/36. Let o be 6/(-16) - (-171)/y. Let j(v) = 8*v**2 + v - 4. Let i be j(-2). Solve -o*x = 5*l - 28, 5*x = -2*l + i + 2 for x.
4
Suppose 19*h - 21*h + 8 = 0. Suppose -h*o + 16 = -0*o + 4*j, -5*o + 4*j = -2. Solve 4*c - 12 + 5 = r, -o = -2*c for r.
-3
Let r(c) = -2*c - 3. Let h be 3*(-4)/(-36)*15. Suppose 4*g + 17 = h. Let n be r(g). Solve 0 = 4*x + 5*l + 25, -l - 2 = n for x.
0
Let d(c) = -c**2 - 26*c + 1. Let y be d(0). Solve -5*s - 20 = 0, y - 11 = j + 2*s for j.
-2
Let q = -58 + 58. Suppose -i + q*h = 2*h - 1, -5*h = 5. Solve -3*w - 5*r - 13 = 0, 8*r - 3*r = i*w - 7 for w.
-1
Let x(y) = 2*y**2 + 3*y. Let b be x(-2). Suppose s - 2*s - 5*q = 1, -b*q = 2. Solve -5 = 5*r, 3*k + 4*r + s = -0*k for k.
0
Suppose 6 = h + 2*h. Let f = -111 + 114. Solve -h*j + t - 7 = -0, t - f = 0 for j.
-2
Let y(j) = -2*j - 5. Let k be y(-3). Let o be (7 - (2 - 0))/k. Suppose 2*f - 36 = 3*n, 4*f - 52 = -n - 3*n. Solve 5*q - f = p, -4*q + 49 = -o*p + 16 for q.
2
Let p(d) = 10*d + 145. Let x be p(-14). Solve 2*l + 4*b = 20, 4*b - 12 = -x*l + 14 for l.
2
Let o = 1643 + -1639. Solve 2*k + o = 0, -5*f + 2 + 4 = 2*k for f.
2
Suppose 0 = -7*u + 4 - 18. Let m be 12/(-10)*5/u. Solve 0*j + j - 12 = -3*v, 12 = m*v - j for v.
4
Let q = 630 + -628. Solve -2*t - q*t = 4*u - 28, 2*u + 6 = 3*t for u.
3
Let y = -179 - -192. Solve 4*t - 3*t + y = -3*j, j - 4*t - 13 = 0 for j.
-3
Suppose -3 = 3*k - 45. Solve f - k = 4*n, f + 1 = n - 2*n for n.
-3
Suppose -2 = -7*f + 5*f. Let y = f + 11. Suppose -h - 4*x = -4*h + 14, y = 4*h - 2*x. Solve 5*s + 17 = -3*n, 5*s - 3*s = h*n - 10 for n.
1
Let v(x) be the third derivative of 13*x**4/12 - 4*x**3/3 - 3*x**2. Let t be v(1). Solve y + t = -3*m, -1 + 7 = 3*y - 3*m for y.
-3
Let k be 264/110*10/3. Solve f = -3*f - k, 3*f + 11 = -5*v for v.
-1
Suppose -3 = 2*y + 3. Let h(o) = 6*o**2 + 8*o + 7. Let t be h(y). Let g = -32 + t. Solve -4*m - m = -20, 0 = -g*s - 4*m + 1 for s.
-3
Let p = 77 - 71. Solve 28 = p*a - 3*a - 4*d, -2*a + 5*d = -28 for a.
4
Let j be (126/26 + 12/78)*1. Solve 3*o - 5*o = -z, j*z - 22 = -o for o.
2
Let y(i) = 2*i - 26. Let r be y(-8). Let u be 12/r - 16/(-7). Solve u*q = 2*l + 10, 2*l - 3*q + 13 = 2 for l.
-4
Let s be (1 + -7)*(-40)/12. Suppose -q + 5*q - s = 0. Solve -r + 2*i + 12 = 3, q*r + i - 23 = 0 for r.
5
Suppose -16*a = -21*a. Solve a = i + 4*n - 6*n - 4, -4*n = 12 for i.
-2
Let h(n) = -2*n - 56. Let u be h(-29). Suppose 8 - 12 = -2*z. Solve 0 = -3*q + q + z*v - 18, u = -2*q - 2*v for q.
-5
Let f(q) = -q**3 - 16*q**2 - 19*q - 58. Let m be f(-15). Solve 4*i = -3*a + 4*a - 2, -m*i = 4*a + 10 for i.
-1
Let l = -296 + 298. Solve -2*k - 1 + 3 = -4*q, -q - l*k + 7 = 0 for q.
1
Suppose 0 = -5*t + 27 - 7. Solve -t*u = 2*v + 10 - 2, 0 = u for v.
-4
Suppose -2 = 3*n - 14. Suppose -174 = -10*c + 26. Solve -n = -2*m - 2*m, 5*v - 5*m - c = 0 for v.
5
Let j be (-5 + 3)*(5 - 7). Solve 4*z = -3*m + 22, -j*z + 5 + 5 = -3*m for z.
4
Let l(d) be the first derivative of -3*d**2/2 + 22*d - 5. Let b be l(6). Solve a + 20 = 5*a - s, b*s - 10 = -2*a for a.
5
Suppose -5*h - 2*q = q - 25, -2*h = -5*q + 21. Suppose h*f + 7*c - 29 = 2*c, 4*f - 103 = 5*c. Solve 5*d + 25 = 5*m, 5*m = 4*d + f - 0 for d.
-3
Suppose 0 = -2*f + 3*f - 21. Suppose -v + 8*v = f. Solve r - 3 = -v*q, -r = -2*q - 6*r + 2 for q.
1
Let b be (14/(-21)*1)/((-8)/60). Solve -8*u + 4*u - 6 = -b*s, 0 = -u - 4*s - 12 for u.
-4
Let v(b) = -4*b**3 - 3*b**2 - b + 1. Suppose -5*u = 5*x - 10, -3 = -3*x - 2*u - 0*u. Let o be v(x). Solve -2*q + 7 = f, o*q + 9 = -4*f + 27 for f.
3
Let x(q) = 38*q - 73. Let z be x(2). Solve z*c - 14 = 5*c + 4*n,