*j - 14, -4*f = f + 2*j - 46. Suppose q*c = -c + f. Solve -4*a = 3*t - c, 5*a - 3*a + 2 = -5*t for t.
-2
Let s(m) = -m**3 - 7*m**2 - m - 5. Let a be s(-7). Suppose a*d + q = 12, -d - q + 0*q = -7. Let l = 3 + d. Solve 5*b = -t + 25, 2*b = -0*b + l for t.
5
Suppose 5*v + 0*v - 20 = 0. Suppose 2*p - 5*p + 71 = 4*z, -2*p + 34 = -v*z. Let i = p + -20. Solve -3 = 3*c + 3*b - 4*b, c = b - i for c.
-1
Let r be 14/4 + 2/4. Let o be 152/(-140)*-5 - 4/(-7). Suppose 0 = 4*c - 2*l - 6, 2*c + l - o = -1. Solve k = -2*i, 4*k = -c*i + k + r for i.
-1
Suppose 0 = -11*a - 3*a + 28. Suppose 0 = -k + 6 - 5. Let r be k - (0/(-3) - 21). Solve -3*j + 5*g = r, 3*j + 6 = a*j + g for j.
-4
Let u(r) = -7*r**2 - 13*r + 4. Let d(o) = 13*o**2 + 25*o - 9. Let p(l) = 4*d(l) + 7*u(l). Let q be p(1). Solve -5*v = -2*z - 4 + 3, -4 = q*v for z.
-3
Let w = 530 + -528. Solve -w*z - 7 = f, -z + 0 + 1 = -f for z.
-2
Suppose 2977*b + 18 = 2986*b. Solve -4*v + 4 = -p, b*v - 2 + 0 = -p for p.
0
Let z = 14 + -1. Let x(r) = r**3 + 2*r**2 - 21*r + 30. Let f be x(2). Solve f*v + 3*a + z = 0, -2*v = -2*a - 0 - 4 for v.
-1
Suppose 10*r - 9*r = -73*r. Solve a + 3 = -u, 3*a + r = -5*u - 7 for u.
1
Suppose -7*z - 3 = -8*z. Suppose z = v + 1. Solve 2*d = 4, 6 = 3*p - d + v for p.
2
Suppose 199 = 16*x + 55. Solve 3*d = -4*w - x, 0 = 5*d - 2*w - 3*w + 15 for d.
-3
Suppose 24 = -4*t + 36. Solve -g = t*m - 12, 3 = 3*m + 3*g + g for m.
5
Let n be 2 - ((-2)/1 - 0). Let m be n/1 - (-16)/(-8). Let v = 15 + -11. Solve -v*q = 5*k - q + 1, m*k + 10 = 2*q for k.
-2
Let u(j) = -j**2 + j - 1. Let w(o) = -5*o**2 + 34*o - 7. Let g(l) = -u(l) + w(l). Let z be g(8). Solve -t - z*h = -12 + 1, -h = -5*t for t.
1
Let c(m) = -3*m + 10. Let g(y) = -3*y + 9. Let j(w) = 4*c(w) - 5*g(w). Let l be j(5). Suppose 3*k - 3 = 12. Solve -5*r = 2*p - 21 - 0, 4*r - l = -k*p for p.
-2
Let v = -96 - -131. Suppose 6*s - v = -s. Solve z - 14 + s = 2*g, -g + 3*z - 12 = 0 for g.
-3
Let g(z) = 0*z - 40 + z + 46. Let k be g(-4). Solve 5*r + 18 = n, 6*r - k*r - 2*n + 18 = 0 for r.
-3
Let b(q) = 8*q - 1. Suppose 0 = 2*k + 3*g - 20, -4*k + 2 = -3*g - 2. Let v be b(k). Suppose 7 = -4*t + v. Solve 6 = 2*a + c - 0*c, -t = 3*c for a.
4
Let v(k) = 4*k**2 - 15*k - 4. Let f(h) = 8*h + 28. Let n be f(-3). Let a be v(n). Solve a = -4*l + 2*w - 0*w - 4, l + 1 = 2*w for l.
-1
Let q = -764 - -767. Solve 0 = -4*i - q*v + 16, -3*v + 9 = -6*i + 3*i for i.
1
Let l = 29 + -24. Suppose 8 - l = k. Let c be (k + 11/(-3))*-6. Solve -2*b + t + 1 - c = 0, -4*t - 20 = 0 for b.
-4
Suppose -20 = -3*o - 2*p, -2*o - 5*p + 9 = 3. Solve 3*d - y - 6 = o*d, d + 3*y + 4 = 0 for d.
-1
Suppose -6 = -194*u + 192*u. Solve u*o + q = -q - 20, -12 = 5*o - 2*q for o.
-4
Let o(g) be the first derivative of -g**4/4 + 5*g**3/3 - 3*g**2 + 8*g - 13. Let w be o(4). Solve u + 3*p + 4 + 10 = w, 3*u = -2*p - 7 for u.
1
Suppose 0 = -4*o + 5*v + 49, -v + 3 = -2*o - 4*v. Let x be (o/(-4))/((-3)/4). Solve 0 = 3*f + x*r - 13, 0 = f + 5*r + 1 - 14 for f.
3
Suppose 2*g - 5*y + 2 = 0, 2*g - 7 + 1 = y. Suppose -24 = -g*b + 2*x, -b = -5*x - 10 - 14. Solve a + 2*m = 4, -15 + 4 = -b*a - 3*m for a.
2
Suppose 0 = 3*r + 5*x + 13 + 191, x = 5*r + 312. Let w = r + 65. Solve 3*u - w*v + 17 = -0*u, 5*u + 24 = -v for u.
-5
Let u be (-7)/(-126)*30 - (-15)/(-9). Solve 4 = 4*z - 2*m, 2*z - 4*z + 2*m + 6 = u for z.
-1
Let j = -78 + 80. Let y = -5 - -9. Suppose -5 = -2*d + 3. Solve 0 = 2*l + j*w + 3*w - 10, d*w + 20 = y*l for l.
5
Let r be 9 - (5 - -11) - -23. Solve -r = -4*x, 4*t + 3 + 25 = 3*x for t.
-4
Let d be (8/(-10))/(((-15)/(-3))/(-75)). Let k(h) = h + 18. Let a be k(0). Solve -2*i + d = -4*m, 2*i + a = -m - m for i.
-4
Suppose 18*u + 602 = 61*u. Solve 5*s + 3 = -r - 18, r = 2*s + u for r.
4
Suppose -2*v = 4*c - 22, 0*c - 4 = -c. Suppose 0 = -0*f - f - 5*s - 25, 15 = 2*f - v*s. Solve f*a - 9 = q - 2*a, -a + 8 = -4*q for q.
-1
Suppose -4*h + 8 = -f, 4 + 6 = -2*h + 4*f. Solve -4*u = -h*v + 2, v + 3 = 5*u - 0*u for v.
2
Suppose 0 = 4*q + 2*u - 14, -3*q - 3*u = -2*u - 8. Let d(o) = -o - 8. Let z be d(-7). Let x be 5 + (2 + -4 - z). Solve m - 9 = 5*s, -8 = x*s - m - q for s.
-2
Let m(j) = -j + 19. Let o be m(13). Suppose 0 = a - y, -o*y + 12 = 2*a - 2*y. Solve -2 = a*t, -2 = f + 2*t + 1 for f.
-1
Suppose 13*f + 25 = 90. Solve 3*w - 4*t = 11, -f*w + 2*t = t - 7 for w.
1
Suppose -576 - 349 = 5*a. Let d be (-2)/(-3) + a/(-15). Solve -3*s - y + d = -0*s, 2*s = y + 7 for s.
4
Let v(n) = -n + 1. Let s be v(-2). Suppose 4 = -2*m + 7*m + 2*f, -6 = s*m - 3*f. Suppose m = 2*x - 1 - 5. Solve 5*l + 4*k + 19 + 21 = 0, x*k = 3*l - 3 for l.
-4
Let v = -12 + 11. Let o be -5*(v - 0/1). Suppose 4*s = o*s. Solve -2*c = s, -t - c = -5*t for t.
0
Let k(j) = j + 2. Let t(g) = 8*g + 5. Let p(o) = 5*k(o) - t(o). Let f be p(1). Solve 0 = f*y + 4*l + 18, -5*l + 3*l = 6 for y.
-3
Suppose 6*o = -0*o - 318. Let a = o - -55. Solve 3*j = -4*y + 23, -a*j = -j - 1 for y.
5
Let z = -470 - -473. Solve -b - 11 = z*n, 3*b + 0*b - 2*n = -11 for b.
-5
Let f be 1/((-18)/(-4)) - (-8239)/(-99). Let j = f + 97. Solve 2*r = -4*y + 10, -3*y - y + 2*r + j = 0 for y.
3
Let o be 208/(-78)*42/(-8). Solve 4*i - 24 = -d + 4*d, -2*d - o = -2*i for i.
3
Let m be (-3)/(-4 + 7)*-4. Solve m*n = -d - d, d = 4*n for d.
0
Let m(f) = -11*f - 2. Let g be m(-1). Let q = -4 + g. Solve -3*p = -6*p - 3*x - 9, 2*x = q*p - 20 for p.
2
Let b(c) = -5*c**3 + 64*c**2 + 10*c + 42. Let d be b(13). Solve -p - 12 = -2*s - 3*p, -2*s + d*p + 2 = 0 for s.
4
Let t(f) = 3*f - 3. Let y be t(-2). Let j be y - -7 - (-1 - 7). Suppose -3*g - 5*p = -34, g = j*g - 2*p - 5. Solve 2*n - z = -2*n - 3, g*n + 31 = -5*z for n.
-2
Let p be (-9 + -2)*2*-1. Suppose -3*d - 10 + p = 0. Suppose 3*c + 2*w = 19, -14 = 3*c - d*w - 3. Solve -a = -g - 5, a - c*a + 9 = -g for a.
4
Let p(j) = 18*j**3 - 1. Suppose 0*a - o = -2*a + 7, 0 = 4*a + 5*o + 21. Let l be p(a). Let i = 10 + -7. Solve -2*f = -i*x + l - 5, 0 = -2*x - f + 8 for x.
4
Let q(f) = -20*f + 70. Let c be q(3). Solve 4*u + 2*v = -14, 3*u + 2*u + c = -5*v for u.
-5
Let u(b) = b**2 - 2*b - 1. Let d be u(5). Suppose -6*n + d = 2. Suppose 4*i = -0*i - 4*q + 8, 0 = -5*q - 15. Solve -5*r - 10 = i*m, r + 6 = -n*r - 4*m for r.
-2
Suppose -p = -2*p - 1. Let b(h) = -2*h - 2. Let a be b(p). Solve a = -5*v - 5*n + 30, 4*n + 0*n - 15 = 5*v for v.
1
Suppose -5*q - 21 = -3*c, 3*q - 7*q - 10 = c. Suppose 4*f - 1 = -w, -3*f + c + 0 = w. Solve -5*t + 5 = w*a, 2*a - 4*t + 13 = -t for a.
-2
Let r(h) = 15 - 3*h**2 + 2*h**2 - 2*h - 6 - 2*h. Let u be r(-5). Solve 4*v + 0*n = -2*n + 22, u*n = 20 for v.
3
Suppose -4*p - 2*w = -10, -5*p - 31*w + 5 = -26*w. Solve -4*l = -p*t + 8, -4*t + 10 = 3*l + 2 for t.
2
Suppose 2*h - 2 = 2*i, i + 30 = 31. Solve -2*a - 25 = -3*z - 2*z, 0 = h*a + 3*z + 1 for a.
-5
Let z = 0 + 9. Let d = -7 + z. Suppose -5*r = -3*h + 15, -r = -4*h + d*h + 10. Solve -3*u - 13 = -c - 4*c, 5*c - 15 = h*u for u.
-1
Let c(m) = -6*m - 45. Let y be c(-8). Solve -y*x + 2*n + 19 = 0, 0 = -n + 4*n + 15 for x.
3
Let x = -12 + 21. Suppose -x + 3 = -3*a. Let j = 355 + -352. Solve -j*c + a*c - 4 = -4*f, -3*c + 6 = -3*f for c.
4
Suppose -l = y, 2*l - 9 = 4*y + 15. Solve -t = l*a + 18, -2*a - 4*t - t = 0 for a.
-5
Let w(s) = s**2 + 13*s + 4. Let c be w(-13). Solve 2*x - 8 = -0*f + 2*f, -c*x - f = -11 for x.
3
Let u be (-11)/22 + 14/4. Suppose 2*w - 20 = -u*w. Solve 0 = -4*x - h, -3*x + 2*h = -w*x for x.
0
Let j(z) = z**2 - 27*z + 128. Let l be j(21). Solve -v - l = -a, -4*v + 8 = -a + 1 for a.
5
Suppose 0 = 25*b - 20*b - 15. Solve 0 = -4*g + 4*s - 3*s - 1, 2*g + b*s = 17 for g.
1
Let z = -965 - -975. Solve 5*p - z = 0, 5*p = 3*w + p - 4 for w.
4
Let h = 32 - 54. Let w = h - -25. Solve 0 = -c - 3*n - 6, w*n + 30 - 12 = 3*c for c.
3
Let s = -153 - -153. Suppose -2*j + 9 = -3. Solve 0 = -3*v - j, 5*v + 2 = 2*f - s*f for f.
-4
Let f be 5*(-1 + 32/20). Let h(z) = 9*z - 13. Let v be h(f). Solve 0 = -4*s + 3*l + 11, -4*s + v + 21 = 5*l for s.
5
Let q be -4 - (-24)/4 - -1. Suppose -11 = -q*y + 1. Solve 0 = -2*i + 6, y*r - 6 = i + 7 for r.
4
Suppose 72 = 3*o - 2*i, 0 = -5*o - i - 0*i + 107. Let t(l) = 7*l - 2*l**2 - 5 - o*l + 2. Let j be t(-7). Solve z - 2 = -j, 4*z = 2*q for q.
-4
Suppose w - 3*m + 11 = 27, -3*m = -4*w + 28. Let k be -4 - (-17 + 63/7). Solve k*x - 4 = 3*y, -w*x 