 5 = 3*y, b*a - y = 2*a for a.
-5
Let o(q) = q**2 + 24*q + 143. Let l be o(-14). Solve 0 = 5*m + 3*h + l + 6, -m + 3*h = 9 for m.
-3
Let z(u) = 12*u - 13. Let d be z(3). Let k = d - 21. Solve 3*s = k*v - 14 - 3, 4*v - 4*s - 28 = 0 for v.
4
Let n be 142/639 + 212/18. Suppose 3*s - 23 + 8 = 0. Solve 5*m = 4*r + n, -2*m - 15 = -7*m + s*r for m.
0
Let x(k) = -23*k - 157. Let z be x(-8). Solve -5*f = 4*v + 31, -3*v = 3*f + z - 6 for f.
-3
Let j be 28/(-7) + 5 + 1 + 3. Suppose -j*i + 2 - 5 = o, -4*o + 48 = 5*i. Solve -4*n = 3*z - o, 24 = -4*z - 2*n + 6*n for z.
-1
Suppose -26*y = -35*y + 108. Solve -f = 2*g - 3, 2*f + g - 3*g = -y for f.
-3
Suppose 0 = n - 0*n - 4. Suppose -29 = n*k - 5. Let r(a) = a**2 + 6*a + 2. Let b be r(k). Solve 25 = 5*u + b*l - 3*l, 2*l = 0 for u.
5
Suppose 30 = 5*r - 0*r. Let k = 1 + 3. Suppose 0 = 35*z - 36*z + k. Solve -30 = 4*h - 2*x, z + r = 2*h + 4*x for h.
-5
Let t(v) = -v**2 - 10*v - 12. Let y be t(-8). Suppose 5 = y*q - 3. Let l be (q/5)/((-3)/(-30)). Solve 27 = -5*m + l*p + 3, -1 = -m - 5*p for m.
-4
Let j = -178 - -168. Let i be 5/(-10)*-5*(-8)/j. Solve -5*r = -2*n - 3 - 5, 0 = -i*r for n.
-4
Let y(z) = 20*z. Let r be y(3). Let n be (1 + 1 - 1)/((-56)/448). Let l be r/4*n/(-10). Solve s + 5*d - 27 = -3*s, 3*s - l = -d for s.
3
Let w = 9 + 9. Let p be (4/w)/((-5)/(-45)). Solve p*g - 6*g = 20, 0 = -4*o + 2*g - 6 for o.
-4
Let d be ((-5)/4)/(807/(-72) - -11). Solve -3*r = 5*w + 1, 4*r + w - 5 = d*r for r.
-2
Suppose -2*z = 5*d + 3*z - 20, 3*z = 2*d - 13. Solve 0 = d*b - b + 16, -7 = a + 3*b for a.
5
Let x(f) = f + 17. Let j be x(-12). Suppose 11 = -b + j. Let k(w) = -w - 4. Let r be k(b). Solve 0 = r*l + 4*n - 16, -5*l - 4*n - 5 = -15 for l.
-2
Let y be (-2 - 10)*68/(-8). Let s = y + -98. Solve 2*c + 2*p = 2, -7*c + 6 = -2*c + s*p for c.
2
Let x(y) = 3*y**2 + 10*y + 16. Let j be x(-3). Solve 0 = 5*q - 5*l + 25, -2*q = -7*q + 2*l - j for q.
-1
Let f be 1 + (4/(-2))/2. Let g be (11 - (-1 + 1)) + f. Let u(z) = 41*z + 3. Let a be u(0). Solve 2*w + 10 = -a*l + 1, -g = -2*w + l for w.
3
Let k = -330 + 334. Solve 3*z + k = 3*v + 10, 2*z = -4*v + 22 for z.
5
Let f = -36 - -41. Suppose -8 - 2 = -f*c. Solve -5*g - 1 = 24, 2*g + 2 = c*m for m.
-4
Suppose 2*r + r - 4*x - 16 = 0, r - 5*x - 9 = 0. Solve s - r*k + 4 = 24, 0 = -5*s + 2*k + 28 for s.
4
Let j be -1 + (-24)/(-4 - 0). Solve 3*t - j*t + u = 4, -3*u + 12 = -2*t for t.
0
Let x(n) = 140*n**3 - 4*n**2 - 72*n**3 - 69*n**3 - 9. Let t be x(-5). Solve 3*m - t = -v, 5*v + 9 = 2*m + 4*v for m.
5
Let u(l) = -l**2 - 7*l + 6. Let x be u(-6). Let g = 4 - x. Let o be -3 + (g + 4 - -11). Solve -o*d + 26 = -3*k, 5*k - 6 = -3*d - 1 for k.
-2
Suppose 3*u - 2*u - 2 = 4*r, -r = 2*u + 5. Let a = u + 7. Suppose 0 - 4 = -4*g + 4*o, a*g - 3*o = 13. Solve 18 = -2*k - 4*s, -5 = -5*k + s + g for k.
1
Let x = 18 - 13. Suppose -5*d - 20 = 0, f - 3*d - 3 = 19. Suppose 4*h = -h + f. Solve -h*a = 5*v + x, -4*v + 18 = -3*a - v for a.
-5
Let g(h) = -h**3 - 4*h**2 + 4. Let j be g(-4). Let x be 23/7 + j*(-4)/56. Solve -x*t + 6*r - r = -19, 6 = -3*r for t.
3
Let f be (-12)/(1/(-1)) + 3. Let b be 609/f - 4/(-10). Solve 0 = -5*o - 5*i + 5, 0 = 6*o - o - 4*i - b for o.
5
Let x be 204/16*32/12. Suppose x + 31 = 13*c. Solve 0 = 5*t - k + 2, c*k - 4*k = -4*t - 7 for t.
-1
Suppose -3*r = -2*w + 18, 0*w - w + 35 = 5*r. Suppose b + w = -2*b. Let p = b + 10. Solve -5*y = -p*n + 5, -6*y - 4*n = -3*y - 11 for y.
1
Let o be 4/2 + 6 + -5. Suppose o*g = -0*g + 39. Solve -2*q = 2*q + 2*u, 5*u + g = 3*q for q.
1
Let v = -1650 - -1650. Solve -5 = -j + 3*u - 12, v = -3*j + 3*u + 3 for j.
5
Let c(b) = 2*b**3 + 3*b - 9. Let a be c(2). Solve -3*z - 2 = 2*m + a, -5*m - 15 = 0 for z.
-3
Suppose 0 = 3*b + 5*w - 2, -69*w + 66*w - 22 = -4*b. Solve -7*y + 6*y = -4*u - 20, u - b = -2*y for y.
4
Suppose 0 = 2*i + u - 13, 0 = 5*i - u - 2*u - 16. Solve 0 = 5*m + 5, t - i = 3*t + 5*m for t.
0
Suppose -4*z - b + 6 + 5 = 0, 10 = -z + 4*b. Solve 0 = -4*w + 4*o + 12, z*o + 10 = 4*w - 3*o for w.
5
Suppose -2*o = -4*x - 18, 58 = o - 5*x + 43. Solve 4*u + 4*q + q + 2 = 0, u + o*q = 7 for u.
-3
Let z = 938 + -937. Solve c = 5*n - 5, -3 + z = -2*c + 4*n for c.
5
Suppose 4*s + 7 = 31. Let t be 7/(7/s) + -1. Let q(n) = -n**3 + 5*n**2 + 2*n - 6. Let f be q(t). Solve 4*o - z - 8 = 0, 2*o = -f*z - z - 18 for o.
1
Suppose 2*l = -3*h + 24, 2*l - 7*l + 46 = 4*h. Let y be 4/16 + (-31)/(-4). Solve -y = 4*x + 4*a + 16, -4*x + 5*a = l for x.
-4
Let y = 18 - 18. Solve 2*s - 3*l + 14 = s, -s - l - 2 = y for s.
-5
Let u(r) = 2*r**3 - 34*r**2 + 3*r - 45. Let d be u(17). Solve -4*x - d*n + 2*n + 28 = 0, 0 = 2*x + 5*n - 29 for x.
2
Let o be ((-147)/(-35))/(-7)*-5. Solve 9 = -o*k + d, 4*k - 3*k - 4*d + 3 = 0 for k.
-3
Let v be (-4)/(-6) - (-33)/(-9). Let y be ((-15)/(-2))/v*-8. Let q be (1/(-3))/(93/(-1395)). Solve 5*h - y = 5*r, -q*h + 15 = -4*r - 2 for r.
-3
Let t be (57/(-12) - -1)/((-21)/140). Suppose z + 2*k = 4*z - 50, -k = z - t. Solve -4*v + z = v - 3*c, -5*v = -5*c - 30 for v.
1
Let f = -44 - -52. Suppose -3*w - f = -32. Solve 0 = -2*a + 3*n - w, -2*a + 5*n - 16 = -0*n for a.
2
Let s(p) = -4*p + 150. Let g be s(37). Solve -4*m + 16 = k, 0 = k - 5*m + 3*m + g for k.
4
Let f(z) = z**2 - 21*z + 109. Let y be f(8). Suppose h - 180 = -2*h. Suppose y*s = 10*s - h. Solve 4*x = -0*i + i + 24, 0 = 3*i + s for x.
5
Let u = 221 + -218. Solve -5*j + 0*j - u*a - 13 = 0, -a = 5*j + 21 for j.
-5
Let b = 686 - 684. Solve 3*n + i = 13, 0*n - 4*i + 22 = b*n for n.
3
Let v(l) = 5 + 8 - 124*l + 123*l. Let d be v(9). Solve 4*r = -d*g - 28, -4*r - 5*g + 2 = 34 for r.
-3
Let q = -1250 + 1259. Let a(g) = 2*g**2 - 2. Let s be a(-2). Solve -3*l + 3*y - q = -s*l, y = 5*l - 27 for l.
5
Let m(r) = 24*r**2 + 1. Let z be m(1). Let b be 7 - (2/1)/1. Suppose -4*a - z = -b*y + 9, 3 = y + 3*a. Solve -2*v + 3*t + 3 = -y, 0 = 2*v - 5*t - 11 for v.
3
Let z(s) = -s**2 + 13*s + 2. Let a be z(13). Solve -d - 2*j = 11, 6 = 2*d + a*j - 5*j for d.
-3
Let y = 1196 + -1187. Solve -2*f - 4*p - y = -3*f, -5*p = f + 9 for f.
1
Suppose -4 = -s + 122. Let w = s - 122. Solve l = 3*l - 4*c + 12, w*l + 5*c = 28 for l.
2
Let p(r) = 6*r**2 - 2*r - 1. Let w be p(-2). Suppose 8*d - w = 13. Solve z + 4*k = 3*z + 22, -2*k - 7 = d*z for z.
-3
Suppose -3*u + 44 = -j, 3*u - 42 + 1 = 4*j. Suppose 0 = -4*m - 7 + u. Solve -3 = m*k + 4*c - 23, -5*c = -15 for k.
4
Suppose -20 = -0*z - 5*z. Suppose 0*d = 5*d - 10. Solve 3 = -4*u - 5*n, d*u - 5*n + 13 = z for u.
-2
Suppose -4*g + 4*z = -10 - 2, -g = 2*z - 6. Solve -5*c = 5*n, -c + 0*c = -g*n + 20 for n.
4
Let a = -17 - -14. Let o be (a/(-6))/((-2)/(-8)). Solve -5*d + 13 = m - 2*m, 8 = o*d + m for d.
3
Let h = -27 - -26. Let y be 4 - 3*((-2 - h) + 0). Solve q + y = 3*u - 4*u, u = -4 for q.
-3
Let z(o) = 16*o + 39. Let f be z(-8). Let i = f + 92. Solve 2 = 5*r + 2*k, k = i*k + 8 for r.
2
Suppose 20 = 5*x + 5*r, -9*x = -4*x - 4*r - 29. Solve l + 9 = -4*o, x*o = -2*l - 18 + 6 for o.
-2
Let u = -289 - -289. Solve u = 2*l + 4 - 12, l - 9 = 5*q for q.
-1
Suppose 3*u + 2*u = -p + 27, 2*p = -2*u + 14. Suppose -139*t + 126*t = -52. Solve -19 = 3*b - 4*b + t*k, u*b - k = 0 for b.
-1
Let g be (2/(-2) - 3) + 1 + 5. Solve -2*r + r - 2 = -g*n, -17 = -3*n - 2*r for n.
3
Suppose 0 = -7*k + 4*k + 9, -3*l + 18 = 3*k. Let v = l - -2. Let f be 2 + (-4)/8 - 6/4. Solve v*c - 5*w + 10 = f, -5*c - 4*w - 1 = -0 for c.
-1
Let d(c) = c**3 + 16*c**2 - 18*c - 15. Let n be d(-17). Suppose -n*l = -2*u, -l - 2*u + 16 = l. Solve 18 = -l*o + 4*j - 6, o = 3*j - 16 for o.
-1
Let n = 114 + -110. Suppose 0 = -2*b + 4, -5*b - 18 = -n*w - 0*b. Solve 5*j + 1 = -2*c, -2*c + 2*j = j + w for c.
-3
Let o(d) = 2*d**2 - 13*d - 7. Let f be o(7). Suppose 2*p = -f*y - 3*y + 16, -y + 5*p = 23. Solve 2*g - y*v + 4*v - 6 = 0, -2*g = -5*v - 13 for g.
4
Suppose -p - 3*p = -16. Suppose 12 = 2*c - 2*v, 2*v + p = 2*c + 4*v. Solve 2*m + 4*x = 0, -5*m - 5*x - 6 = c for m.
-4
Let o be (-11)/(-5) + 8/(-40). Solve 5*h + 4*b - 5 = 0, -o*b - 1 = h - 2*h for h.
1
Let v(f) be the second derivative of 0 - 1/6*f**3 + 13/2*f**2 + f. Let c be v(6). Solve 5*a + c = -4*j - 0*a, -2*j = a + 5 for j.
-3
Let l(n) = -n**2 + 12*n + 4. Let t be 2/13 + 308/26. Let m be l(t). Solve d + 7 - 2 = 3*j, -m*j + 3*d + 15 = 0 for j.
0
Let n be 6 - (-4 - -4)/1. So