 v*o = 4 for j.
-1
Let a(v) = -v**3 + 50*v**2 + 101*v + 161. Let d be a(52). Suppose -2*w - 3*x + 15 = -36, 0 = w + 4*x - 28. Solve p + 0*p + w = -d*r, -r - 10 = -5*p for p.
1
Suppose 0 = -3*x + 42*i - 46*i, 2*x + i = 0. Solve -3*w + x*w = -v + 5, -7 = v + w for v.
-4
Let z be (-1 - -4) + (-4)/(-2). Let u be (-12)/(-3) - 4/2. Suppose -2*j + u*l = 2*j - 10, -6 = -5*j - 4*l. Solve -2*q - z*n = -24, n - 2 = -j*q + 3*q for q.
2
Let c = -754 + 759. Solve -3*a + 5 = -c*x, -5*x - 6 + 1 = 4*a for a.
0
Suppose 5*g + 21 = d + g, d - 3*g - 19 = 0. Solve 5*x - u - 13 = 3*u, 0 = -3*x + 5*u + d for x.
1
Let y(b) = b - 1. Let q(z) = -8. Let s(m) = q(m) - y(m). Let o be s(-7). Solve 0 = -4*d + 3*w - o*w - 12, 2*w = 3*d + 8 for d.
0
Let o = 72 + 62. Let c = -129 + o. Solve -5*a - c = 2*i, i - 13 = -4*i - 4*a for i.
5
Suppose 4*r - 16 = -b, 5*b - 13 = r + 4. Solve 3*s - 6*s - b*x - 25 = 0, 3*s - 4*x - 7 = 0 for s.
-3
Suppose -u + 5 = -27. Solve 0*z - 3*z + 4*l - u = 0, 3*z + 2 = -2*l for z.
-4
Suppose -2*v + 75 + 15 = 0. Suppose -6*f = -3*f + v. Let g = f - -17. Solve -3*c = 5*h - 32, 2*c = -g*h + c + 12 for h.
4
Suppose 7*k = -3*k - 8*k. Solve -t + 5*j = k, 2*j - 2 = -0*j for t.
5
Let n(u) = -u**3 - u**2 + u + 1. Let h be n(-2). Suppose -32 = -4*d + 4*x, 0 = d + x - 2 - 8. Let c = 6 - 3. Solve 5*j + d = -4*f, c*j = -4*f + 4 - h for j.
-5
Let p be (-108)/(-30) + (-9)/15. Suppose 5*j - p - 7 = 0. Solve -5*s - 18 = -j*f, -2*s + f = 4*f + 11 for s.
-4
Suppose 5*r - 3 = 4*g, 3*r - 3*g = -r + 3. Solve 0*n - 2*k + 4 = 2*n, 2*n = r*k - 1 for n.
1
Let v(k) = -k**2 + 14*k - 2. Let n be v(14). Let y = 22 + n. Let d = y + -16. Solve -5*a + 14 = -d*f + 2, a + 12 = -4*f for a.
0
Let d = -18 - -21. Let i be (-78)/(-8) + 1/4. Let x(h) = h - 7. Let u be x(i). Solve -3*q + q + 8 = u*p, -p + 12 = d*q for p.
0
Suppose -4*v + 5*w + 4 = 0, v + v - 3*w = 0. Let x be 52/12 + 4/v. Solve -d - 2*c + 2 = d, -25 = -x*c for d.
-4
Let c = -21 - -25. Solve -c = k + r - 2, 3*k = -r + 2 for k.
2
Let u(c) = -c**2 + 9*c - 12. Let b be u(5). Solve 4*k + 8 = 0, -2*y - k = -0*y - b for y.
5
Let n be 13/(-13)*(26 - 1). Let a = -24 - n. Let p = a - -4. Solve 10*b = p*b - 2*o - 7, -4*o - 8 = 4*b for b.
-1
Let b(r) = -3 - 3*r - 2 + 9*r - r**2. Let f be b(5). Let s = 3 - f. Solve -i + 0*a = -s*a + 15, 0 = 3*i - 5*a + 29 for i.
-3
Let y be (-3 - 24/(-18))/(3/(-9)). Solve y*b + 4*g + 12 = 0, -5 = -3*g + 1 for b.
-4
Let b(u) = -u**3 + 19*u**2 + 19*u + 33. Suppose -6*k + 320 = 10*k. Let v be b(k). Solve 2*d - 5*p - v = 3*d, -2*d + 7 = -p for d.
2
Suppose -x + 1 + 3 = d, -4 = 3*x - 5*d. Suppose -p = 5*j + x, 6*j - 7*j - 4*p = 8. Solve 4*n + 3*q - 14 = j, 0*n - 5*n + 17 = 4*q for n.
5
Suppose -2*j + 9 = 11. Let m be 5 + (2 - (j + 3)). Suppose -44 = -m*x + x. Solve 5*v + x = 2*c, -4*c + 9 = v + 2*v for c.
3
Suppose -4 = -4*f - 2*a, -9 = -5*f + 2*a - 4. Solve 3*d = 4*l + d + 8, -l + f = d for l.
-1
Suppose 0 = -2*p + 10*p - 32. Solve -3*i - 28 = -5*i - p*n, -2*n = 4*i - 26 for i.
4
Let z(p) = 4*p - 24. Let q be z(3). Let d(n) = -n**3 - 12*n**2 + n + 16. Let b be d(q). Solve 0 = -b*g + 12, -13 = 4*m + 3*g - 2*g for m.
-4
Let t be -2*12/(-16) + (-2)/4. Solve 5*f - 4 = b - 2*b, 0 = -4*b - 3*f - t for b.
-1
Let a be (-66)/10 - -7 - 8/(-5). Solve 9 = 3*c, -9 = -p - 2*c - a for p.
1
Let s(y) = -7*y**2 + 108*y - 37. Let a be s(15). Solve -3*j - a = 2*d - 28, -4*j = d - 20 for j.
4
Suppose 4*p = 2*a + 26, -4*a - 34 = -3*p - 7. Solve -5*q + 13 = 4*t, 0 = p*q + 2*t - 12 + 3 for q.
1
Let w(a) = -3*a + 13. Let s be w(7). Let q = 12 + s. Solve -4*o + 6 = -3*f, q*o - f = -2*f - 2 for o.
0
Suppose 10*v - 16 = -5*i + 8*v, -i - v + 5 = 0. Solve -2*s = -0*s - i, 0 = 5*l - s + 11 for l.
-2
Let i = -34 - -65. Let h = i - 28. Let v(r) = r**3 - 2*r**2 + 4*r - 3. Let b be v(2). Solve -f - 2 = f - b*n, f = h*n - 1 for f.
-1
Let l be 80/44 + 4/22. Suppose -3*v + 25 = 5*f + l*v, -f = -4*v. Suppose 11*o + 2*h + 16 = 13*o, 0 = h + 3. Solve 3*g - 4 = -2*u + 4, -o*u + 13 = f*g for g.
2
Let l be (-9)/108 + 1/12. Solve l = 4*z - 16, 0*o + 4 = -3*o + 4*z for o.
4
Suppose 76 = -5*j + 326. Let c = j + -48. Solve -15 = -c*y - 5, -3*f - 5 = 2*y for f.
-5
Suppose 3*u - 18 = -3*b, -241*u = -239*u - 2*b - 16. Solve 3*a = 3*n - 9, -u*a - 9 = -3*n - 8*a for n.
3
Let g(w) = -w**3 - 6*w**2 - 8*w - 11. Let t = -36 - -31. Let i be g(t). Solve -x - x + i = n, 3*n = -5*x + 8 for x.
4
Suppose 7*c - 12 - 2 = 0. Solve 0 = -c*m - 5*s + s - 4, 8 = 5*m + 4*s for m.
4
Let u = -15 - -13. Let x be 9 + (-2 - -10)/u. Suppose -x*d - b + 5 = 0, -d + 2*d - 4*b - 22 = 0. Solve -d*y = -n + 1, -n - 3*y = y - 1 for n.
1
Let v(a) be the first derivative of a**3 - 5*a**2/2 - 6*a + 15. Let k be v(-1). Solve -k = -4*z - q, q + 0 = 5*z + 2 for z.
0
Let o be -7 - -12 - (0 - -1). Let n = 139 + -136. Solve -2*b - p + n*p + o = 0, 4*b = 5*p + 12 for b.
-2
Let r = -1744 - -1746. Solve -r*t + 0 = f - 5, -2*t - 4*f = -20 for t.
0
Let p be (-97 - -100)/((-3)/(-4)). Solve -f + 3 + 3 = p*z, -f - 4 = -z for z.
2
Let q be (-14)/49 + (2 - (-47)/(-7)). Suppose 44 = -5*f + a, -2*f - 5*a + 3*a - 20 = 0. Let h = q - f. Solve -4*m - 18 = l, 8*m = h*l + 4*m - 28 for l.
2
Let s(g) = g**2 - 3*g - 1. Let t be s(4). Let r be 8 + 15*16/(-40). Let u = 8 - 4. Solve -t*q + u*w = 2*w + 9, r*w - 6 = 0 for q.
-1
Suppose 0 = -2863*i + 2857*i. Let x = -8 + 11. Solve 4*a + i*z - x*z - 22 = 0, 0 = z + 2 for a.
4
Let n = -88 - -149. Let b = n + -41. Solve 5*d - 5*t = b, 3*d - 11 - 5 = 5*t for d.
2
Let m(a) = 10*a + 33. Let q be m(-3). Solve -21 + 0 = -3*x - q*c, 5*x - 15 = 5*c for x.
5
Let n = 484 + -479. Solve 22 = -3*v - n*c, -3*v + c = -0*v + 10 for v.
-4
Suppose -8*v - 44 = -13*v + 4*w, -5 = -v - 3*w. Let r = -7 + 12. Solve v*y = 3*y - t + 24, 3*t = -r*y + 22 for y.
5
Suppose 2*n = -0*n - 5*s + 25, n - 2*s = 8. Solve 5*x + 5*j - n = 0, -4*x = -5*j - 47 + 12 for x.
5
Let w(r) = 11*r + 1. Let q be w(1). Let t be (-172)/(-22) - q/(-66). Solve 0*l - 3*l - t = x, 3*x - 3 = 0 for l.
-3
Suppose -2*m - 4*i = 8, -i = -m - 4*m + 13. Let s be (720/(-60))/((-2)/4 - 1). Solve 5*a - m*z + 3 + s = 0, 5*a - 1 = -2*z for a.
-1
Let m(n) = n**2 - n - 4. Let d be m(3). Let t = 396 + -393. Solve -14 = y - d*g - t*g, 0 = 3*y + 5*g + 2 for y.
-4
Suppose -2*t + 8 = 0, -5*t + 8*t - 21 = -3*g. Solve 2 = 4*y - 5*m - g, -3*m - 15 = 0 for y.
-5
Let l(t) = -t**2 + 4*t. Let w be l(4). Suppose 2*c + i = 20, w = 4*c - 3*i - 2*i - 68. Let o = -1 + c. Solve -5*b - 40 = 3*k, -2*k = 2*b + 9 + o for b.
-5
Let r = 163 + -148. Suppose r*m - 10*m - 90 = 0. Solve 4*k - 3*u + 6*u - 3 = 0, -4*k = -2*u - m for k.
3
Let g = -806 - -841. Solve b = -2*y + 3*y - 1, 0 = 3*b + 5*y + g for b.
-5
Let b = -1590 + 1593. Solve 5*v - 1 = -4*l - 6, b*l - 25 = 2*v for l.
5
Suppose 5*v + 62 = -13. Let y = v - -21. Solve l = 3*h + y, -5*l + 4*h - 7 = -4 for l.
-3
Let d = 39 + -19. Let c = -18 + d. Let y = 0 + 0. Solve y = -5*m - 3*n - 3 - c, 13 = -m - 3*n for m.
2
Let j(n) = n - 10. Let z be j(12). Suppose -z*l - 10 - 4 = 0. Let d(p) = p**2 + 6*p - 4. Let a be d(l). Solve 0 = a*v - 4*s + 7 - 39, 0 = -3*s - 15 for v.
4
Let v(i) = 3*i**3 - 44*i**2 - 16*i + 15. Let s be v(15). Solve l - 4 = -s*p - 3*p, 4*p = 5*l - 1 for p.
1
Let p be ((-6)/4)/((-186)/12 - -14). Let z(g) = -g**2 + 2. Let t be z(0). Suppose -3*x + 10 = t*x. Solve 4*w - w = -a + p, -16 = 4*a + x*w for a.
-5
Let t(f) = -f**3 - 4*f**2 + 2*f - 10. Let w = -121 - -116. Let h be t(w). Solve 0 = -2*a + h*o, 3*a - o = -a + 18 for a.
5
Let v(y) = 5*y - 17. Let f be v(5). Suppose -7*p = -3*p - f. Solve 2*h = 2*r - p*h, 3 = 3*h for r.
2
Suppose 2*z = -3*z + 20. Let s be z/12 - (-13)/(-3). Let i be (s/(-6))/((-4)/(-18)). Solve 2*h - 11 = 2*a - 5*a, -4 = 5*h - i*a for h.
1
Let h be 8/(-52) - (6 + (-290)/26). Solve 2*u - h*a - 9 - 10 = 0, -3*u = 3*a + 24 for u.
-3
Suppose 83*d = 85*d - 6. Solve d*k - 24 = -3*c - 0*c, -12 = -5*k + 2*c for k.
4
Let v = 23 - 28. Let x be 0 - 1 - (v + 3)*2. Solve -3*p = 4*q - 29, -x*p = -2*q + 6 - 5 for p.
3
Suppose 2*z + t = 4, -z - 12 = z + 5*t. Let r(q) = q - 2. Let s be r(z). Solve s = -2*i, i = -h - 3*i - 7 for h.
-3
Let p = 27 + -31. Let s(c) = 4*c + 19. Let z be s(p). Solve z*f - u + 5 = 0, -f - 4*f + 1 = 3*u for f.
-1
Suppose 7*p - 12 = 4*p. Let i be -10*((-90)/(-25) - p). Solve -