 -5*z for z.
0
Let u = -1483 - -1486. Solve -3 = -5*i + 2*i - u*m, 3*i - 4*m + 18 = 0 for i.
-2
Suppose 1 = -r - 2*c, 0*c + 4*c = -5*r + 13. Suppose -31 = x - 2*x - r*k, 4*x + 4*k - 60 = 0. Solve t + x = -4*l, 0*l + 4*t = 3*l + 13 for l.
-3
Let u(k) = 0 - k + 2*k + 1. Let p(r) = -r - 3. Let g be p(-3). Let w be u(g). Solve -2*o - 22 = 5*j, o + w = 3*j + 12 for o.
-1
Let o(p) = p**3 + 7*p**2 + 9*p. Let m be o(-6). Let j = -16 - m. Solve -2*b = u - 7, j*u + u + 3*b - 15 = 0 for u.
3
Suppose -8 = -5*v + 2. Let d(r) = 2*r - 2. Let t be d(v). Solve -2*w - 5*o + 10 = 3*w, w + t = o for w.
0
Let o = -23 + 35. Let m = 4 + -2. Suppose 5*r + 895*u = 896*u + 153, 0 = -4*r + 3*u + 107. Solve -r = -4*i + 4*k, -m*i + i = 4*k + o for i.
4
Let h be 544/68 - (0 + 8). Solve 5*l - 4*i - 15 + 0 = h, 2*i = l - 9 for l.
-1
Let b = -44 + 40. Let p be (b - -4)*4/8. Let j(q) = q - 4. Let v be j(4). Solve p*l - 5*w = -2*l - 33, 2*l + 5*w - 17 = v for l.
-4
Let x be 192 + (-3 - -1) + 0. Let l be ((-16)/(-40))/((-1)/x). Let m = 111 + l. Solve -5*q - 5*g = -m, -g + 2*g = 2*q - 5 for q.
4
Let j(v) = 3*v**2 - 3. Let k be j(-2). Solve 3*t - 3 = 4*g, -g + 6*g - 2*t = -k for g.
-3
Let s be 2/(1*-2) - -2. Let h = -941 + 941. Solve 4*u + v = -h*v + s, v + 4 = u for u.
1
Let y be -3*(-2)/(-3)*-1. Suppose -6 = -t - y*t. Solve -5*m - 25 = -3*f, -3*m + t*f - 8 = 7 for m.
-5
Suppose 2*x = 3*x. Suppose -4*g - 5*l + 79 = x, l = 4*l + 15. Let u = -16 + g. Solve -2*a + 4 = -2*w, 0 = 3*w - 0*w + a + u for w.
-3
Let w = 382 + -379. Let t be 9/7 - 16/56. Let c = t - 1. Solve -w*v + 19 = 4*g, v + 2*v - 15 = c for g.
1
Suppose 957 = 9*g + 2*g. Let m = 91 - g. Solve 3*c = -m*l + 3*l, c - 1 = 0 for l.
-3
Suppose -4 = k + 2*y, 5 = -2*k + 2*y + 21. Solve 5*x = c - 5, -19 = -x - k*c - 41 for x.
-2
Let b(q) be the third derivative of q**6/120 - q**5/12 + q**3/2 - 5*q**2. Let d be b(5). Solve -a + 3*a = 10, 4*m - d*a = -31 for m.
-4
Suppose -27 = -2*m - 35, -3*w + 4*m + 25 = 0. Solve -2*s = -3*k - 19, 4*s - 26 = 5*k - w*k for s.
5
Let h be (12/(-10))/(23/5 - 5). Solve 0 = -0*l + l + 3*m + 11, h*m = -15 for l.
4
Suppose -3*x = 10*x - 52. Suppose 2*v + 10 - 32 = 0. Suppose -3*d + 2*d - v = -x*a, -4*a + 41 = 5*d. Solve d = t - 2*n, -4*t + 0*t + 3*n = -10 for t.
1
Let o(m) = -m + 13. Let s be 52/10*10/4. Let h be o(s). Let t be (h - 5)*(-3)/15. Solve 4*u = -5*l + 6, -4*u - l + 13 + t = 0 for u.
4
Let n = 8 + -6. Let w be (-70)/4*(-780)/273. Suppose -44*x - 24 = -w*x. Solve 4*c + 20 = n*z, -7 = -x*c - 23 for z.
2
Let u = -18 - -27. Let z be u/(-27) - 13/(-3). Solve 4*c + v + 2 = -z, 0 = c + v for c.
-2
Let d be (24/(-10))/((-114)/190). Solve 0 = -5*q + 3*q - 2*f, 0 = 3*q - d*f + 14 for q.
-2
Let z be 10 - ((-140)/(-10) + -6). Solve 0*a - 5*d - 1 = -4*a, 2*d = 4*a + z for a.
-1
Let m(v) = -v**3 + 12*v**2 + 17*v - 49. Let o be m(13). Solve 0 = -0*u + o*u - 9, -4*j - 17 = -3*u for j.
-2
Let g = -265 + 269. Solve 0*b + 3*b + 15 = 0, 3*l + b = g for l.
3
Suppose 17*h + 16 = 21*h. Suppose -5*c + 10 = 5*v, -3*v = 4*c - 6 - h. Let g be (-132)/(-15) + 2/10. Solve 5*p = -2*m + 2*p - g, 7 = c*m + p for m.
3
Let m = -4 + 7. Let d(j) = -2*j - 13. Let g be d(-9). Suppose -m*y = -4*s - 68, -23 = -5*y + 2*y - g*s. Solve -4*t = -x + y, -7*x = -2*x - 20 for t.
-3
Let a = 8 + -7. Let b(i) = -i**2 - a - i + 7*i - 5 + 2. Let u be b(3). Solve 5*n + 6 = 4*m - 0*n, 5*n = -u*m + 30 for m.
4
Let i be -6*5/(1 - (1 - -3)). Solve -2*q = -6*a + a - i, 2*a = -4*q - 4 for a.
-2
Suppose -5*y = 6 - 16. Suppose 0 = 3*t + y - 23. Solve x + 4*p = -t, -20 = 4*x + 2*p - 6 for x.
-3
Let d = -74 - -78. Suppose i + 0 = y - 2, d*y - i - 8 = 0. Solve -2*t - 8 = y*o - 0, 0 = 3*t + 12 for o.
0
Let o(q) = -q + 10. Let b = -24 - -30. Let p be o(b). Suppose g - 6*g = 0. Solve g = 5*s + n - p*n, -3*n = -2*s for s.
0
Let k(a) = 53*a - 195. Let l be k(4). Let m = 6 - 4. Solve m*b - 8 = -2, -j = -5*b + l for j.
-2
Let z(q) = 2*q**2 + q - 15. Let j be z(3). Solve 0 = 3*i - 3*p + j, 3*i - 2*p = -0 - 3 for i.
1
Let i(g) = -g**2 - 10*g - 17. Let z be i(-7). Solve 5*b - z*f = -33, 2*b - 3*f + 2*f = -12 for b.
-5
Let t = -50 + 45. Let v be t/2*(3 - 5). Suppose -s + 5*k + 17 = 0, 0 = -2*s - 2*k - 2. Solve -4*q - v*i + s = -23, 3*q - 18 = -3*i for q.
5
Suppose -35*a + 33*a + s = -12, 5*a + 4*s - 17 = 0. Solve 0 = b + 4*u - 24, -11 + 36 = a*u for b.
4
Let f(y) = y**3 - 8*y**2 + 2*y - 12. Let b be (-2)/13 + (-530)/(-65). Let p be f(b). Let m = 7 - p. Solve 0 = 4*u - m*o - 1, -4*u + o + 0 = 5 for u.
-2
Suppose -54 = 3*u - 6*u. Suppose 5*r - u = -r. Solve -3*a + f = -6, -r*a + 2 = -2*a + f for a.
2
Suppose 4*k + 4 = 5*y, 3 = 2*y + 3*k - 6*k. Solve 0 = -3*x - y*x - 4*q + 25, 5 = 3*x - q for x.
3
Let m(r) = -r**3 + 13*r**2 + 47*r + 20. Let l be m(16). Solve s = o + 5, -s - l*o - 27 = -7 for s.
0
Let s(k) = -74*k**3 + 3*k**2 + k - 2*k + k**2 - 6*k**2. Let t be s(-1). Suppose -12 = -y + 4*y, t = 5*p - 2*y. Solve -3*o = 5*r + p, 3*r - 1 + 20 = o for r.
-5
Suppose -80 = 23*w - 172. Solve 4*p = -3*f + 6*f + w, 0 = 5*p - 5*f - 5 for p.
1
Let z = 974 + -967. Solve 5*n - 10 = -4*o, -4*n - 5*o + 31 = -z*n for n.
-2
Let l(x) = 2*x**2 + 42*x - 64. Let m be l(-23). Solve -3*y - y + 14 = -2*z, z - m = -5*y for y.
5
Let z be 12/54 - 16/(-9). Let m(c) = 3*c**3 - 2*c**2 + 2*c + 1. Let y be m(z). Solve y = -5*w - 4*o, o + 19 = -3*w + 5*o for w.
-5
Suppose 5*u - 5 - 1 = -2*x, u + 6 = 2*x. Solve 0 = -3*m - m + x*t + 15, -5*t - 2 = m for m.
3
Let m be 1/(-11) - (-777)/77. Solve 0 = 3*s + 5*z, -4*z = s + z + m for s.
5
Let v be (-88)/(-28) - 2/14. Let g be v + -2 + (-4 - -5). Suppose 14 = 4*r - g. Solve -16 = -4*u - r*w, 5 = -0*w + w for u.
-1
Let k be ((-11)/(-4) + -2)*(-284)/(-71). Solve -4*j + 4 = 0, -k*q + 2 = -3*j + 5 for q.
0
Let f = -151 + 155. Solve 0 = -2*a + 4*a + j + 8, 0 = 5*a + f*j + 17 for a.
-5
Let z(c) = 2*c**2 + 8*c - 93. Let h be z(-10). Solve -14 = 2*t - 4*r, -t + h = 5*r - 1 for t.
3
Let j = -24 - -42. Let z be 4/(5 + j/(-3) + 3). Solve z*d + 3*m = 0, -3*d = -2*d + 4*m + 5 for d.
3
Let b = -82 + 0. Let r = b + 84. Solve 5 = -r*j + 4*j - y, -4*j = y + 5 for j.
0
Suppose d + 4*n - 18 = 2, -4*d + 63 = -n. Solve -3*r - 5*u + 26 = 0, 4*u + d = -2*r + 9*u for r.
2
Suppose s + 21 = 5*g, -46*g = -44*g + 5*s - 3. Solve -g*r = -q + 10, -r + 5*q = 6*q for r.
-2
Let f be (14 - 16)/(-1 + 0). Solve -3 = -2*a + 1, f*l + 5*a = 0 for l.
-5
Suppose c + 44 = 12*c. Solve 5*r - 5*h - 15 = 0, 2*r - c = 2*h + h for r.
5
Let b = -317 + 336. Solve -u - 3 = -0, -w - b = 5*u for w.
-4
Let i be 2/(1 - (-7)/(-21)). Solve 0 = 5*f - 3*c + 22 + i, 4*f = 2*c - 18 for f.
-2
Suppose 2*n + 5*u + 14 = 0, -3*n - 2*n - 5*u - 5 = 0. Solve 1 = -n*v - x + 4, -1 = -v + 5*x for v.
1
Suppose -33 = 3*y - 3. Let k be y/(-2)*(-8)/(-10). Suppose -3*n = -k*n - 2*r - 3, -5*r = -n + 18. Solve 0 = -4*w - n*o + 11, -o = o - 10 for w.
-1
Let p(o) = -3*o - 33. Let c be p(-11). Suppose c = -7*g + 35 + 91. Solve -4*z - 3*k = g, -3*k + 4 = 10 for z.
-3
Suppose 15 = 5*w, -2*o - 2*w = -4*o + 46. Suppose -x - o = x. Let k = x - -15. Solve -4*p = 3*l + 18, -l + 2 + 2 = -k*p for l.
-2
Let p(y) = 5*y**2 - 3*y. Let t be p(1). Solve -3*c = q + 5, 10 = c + c - t*q for c.
0
Let m be 102/85*(10 + 0). Suppose -9*s + m*s = 0. Suppose s = -4*c - c + 15. Solve 5*l + 5 = c*b, 0 = 4*b - l - l + 12 for b.
-5
Suppose -r + 15 = -3*k + 44, r = 2*k - 20. Suppose 2*n - 53 = -3*n - 2*l, 2*n - 5*l = 27. Let z = n - k. Solve z*c + 8 = 2*u, -4*c + 4*u - 11 = 5*u for c.
-3
Let a(f) = f**3 - 3*f**2 - 4*f - 4. Let t be 108/26 + 6/(-39). Let k be a(t). Let z be (-2*2)/(k/14). Solve -4*p = 5*w - 2*p + z, 2*p = 2*w for w.
-2
Suppose 18*x = 22*x - 4. Suppose t = 4*i - 3*t, 0 = -2*i + 3*t - 3. Solve 3*k + 2*l = 4*l + x, i*l = -6 for k.
-1
Suppose -4*i + 36 = 20. Suppose -i*c - 3*q + 27 = 0, -4 + 29 = 5*c + 2*q. Solve j = -2*u + c, -5*j = -u - 0*u - 4 for j.
1
Let s = 745 + -739. Solve t = 5*x + 15, -2*t = -4*x - s - 0 for x.
-4
Suppose 0 = 5*m - 8*m. Suppose m = -y + 2*y - 4. Suppose -y*t = 3*i - 61, 5*t - 2*i + 4*i = 71. Solve 4*v + 0*r + 19 = -3*r, -4*v - t = -3*r for v.
-4
Suppose 0 = 2*m + 3 - 9. Solve m*r + 5*x - 2 = -13, 4*r + 13 = -5*x for r.
-2
Let f = 27 + -19. Suppose -20*j = -f*j. Solve j = -l + 5*h - 7, -5*l + l + h = -10 for l.
3
Suppose 0 = -2*