2*u - u + l*d - 6, 5*u - 18 = -3*d for u.
3
Let v = -23 + 29. Let w be ((-2)/5)/(v/(-60)). Solve -i = -3*p + 3, 2*i + 2*i = -w*p + 4 for p.
1
Let j(g) = g**2 - g + 6. Let t be j(0). Let z be (-2)/4 - (-77)/14. Let v(m) = -m**2 + m + 25. Let h be v(5). Solve -2*w = 3*i - 1 + t, -z*w = -h*i + 25 for w.
-4
Let v be 48/(-20)*5/2. Let i(g) = g**2 + 4*g - 10. Let t be i(v). Solve -5*w = 2*y - 2 - 1, 4*w = -t*y + 4 for y.
4
Suppose 0*g + 1 = 2*l - g, -2 = 5*l - 4*g. Solve -3*z = u + l, 4*u + 6 + 2 = z for z.
0
Let c(z) = -2*z**2 - 10*z - 9. Let x be c(-2). Solve 4*b - b + x = 5*i, -i = -5*b - 5 for b.
-1
Let t(v) = -145*v + 1308. Let i be t(9). Solve -r + 4*b + 25 = -4*r, -3*r - i*b - 21 = 0 for r.
-3
Let t be (16/(-3))/(4/(-9)). Solve 8 = 2*f, 2 = 3*d + 2*f - t for d.
2
Let q = -4 + 6. Suppose 4 = 4*h - q*h. Let g be (-8 + 8)/(-2 + 3). Solve 2*m = 5*m - 2*o - 6, g = h*o for m.
2
Suppose 0 = 13*y - 26. Solve -2*q - 6 + 17 = 5*u, 4*q - 14 = -y*u for q.
3
Suppose -26*u = -71 - 59. Solve -s + 3*n + 4 = 0, n - 4 = -u*s - 0*n for s.
1
Let j(c) = -c**2 - 7*c + 5. Let p be j(0). Solve 2 - 14 = 4*v - 2*d, 15 = -5*v - p*d for v.
-3
Let q(w) = 2*w - 5. Let m(t) = -1. Let i(u) = -4*m(u) + q(u). Let f be i(12). Let b = f - 19. Solve -b*g = -5*l - 0*l + 31, -4*l - 8 = 5*g for g.
-4
Suppose h - 6 = -3*i - 1, -12 = 3*h. Let b(r) = r**3 + 15*r**2 - 19*r - 20. Let m be b(-16). Solve 5*z - 5*a = -3*a - m, 0 = -i*z + 2*a - 20 for z.
-4
Let i(n) = -2*n + 20. Let g be i(10). Solve f - 5*m = 0, 8*f - 5*f + m = g for f.
0
Suppose q = 3*p - 6, -4*q = 6*p - p - 10. Suppose p*y - 7*y = 2*s - 54, 4*y = 3*s - 35. Solve 0*i - i - 11 = -3*a, -5*i = 3*a - s for i.
1
Let v = -14 + 30. Let h(f) = -3*f + 13. Let s be h(v). Let d = -33 - s. Solve 2*t + 16 = 4*w, 0*t - 4*w + 24 = d*t for t.
2
Let y be (-745)/(-4) - (-15)/20. Let l = y - 85. Suppose -3*x - l = -9*x. Solve -5*h + d + 3*d + x = 0, 4*h + 3*d - 26 = 0 for h.
5
Let m be (-286)/(-26) - (-1 + 0). Solve -m + 4 = g + d, -5*g - 2*d = 28 for g.
-4
Let d be (2 + -1 + 2)/((-6)/(-4)). Let z(s) = s**3 + 3*s**2 - 2. Let h be z(-2). Solve -3*p - h*f + d = 0, p + 0*p - 3*f - 19 = 0 for p.
4
Let p = 62 + -57. Suppose -3*v + 4*g + 4 = -p, 0 = 5*v - 2*g - 15. Solve 4*s + 32 = -5*z, -2*s - v*s - 19 = z for s.
-3
Let g(l) = -4*l**2 - 19*l - 4. Let w be g(-4). Solve j + w = -2*k + 4*j, 3*j = k + 4 for k.
-4
Let c be (-8)/(-18) + (-392)/(-252). Solve -1 - 3 = 4*k - h, 0 = c*k + 3*h + 2 for k.
-1
Let b = 329 + -327. Solve m + b = 0, 5 = p - 2*m - 0 for p.
1
Let x = 67 - 62. Solve -x*l = 5*r + 15, -5*l + 19 + 16 = -5*r for l.
2
Suppose -4*u - 28 = -11*u. Solve 2*k + 11 = k + u*h, -k + h = 5 for k.
-3
Suppose 0 = 4*p + 16, 42 = -5*n + 2*p - 20. Let l be 16/(-28) + (-50)/n. Solve -2*k + l*u = -k - 10, -3*k - 2*u - 25 = 0 for k.
-5
Let w(x) = 0*x**3 - 2*x - 28 + 4*x**2 + 16 + x**3 - x. Let b be w(-3). Solve 0 = 2*c - 4*g + 8, 4*c - 3*g - 17 = -b*g for c.
2
Let w = -18 - -25. Let o = w + -2. Solve -o*p - 34 + 14 = 0, -4*p = x + 13 for x.
3
Suppose -5*t = -48 - 237. Let l be 6/8*2 + t/6. Solve 9*o + l = 4*o - 2*x, -o - 4*x = -5 for o.
-3
Suppose -116 = -17*z - 48. Solve -2*f - 3*g - 15 = 2*g, z*g = -3*f - 5 for f.
5
Let q = -295 - -299. Solve y = -q, 0 = n - 0*n + 4*y + 19 for n.
-3
Let c(q) = -8*q - 20. Let j be c(-8). Suppose f - j = -3*f. Solve 6*a - 2*a + t = -f, 5*a - 3*t = -1 for a.
-2
Let n be (-8)/(-36) - (-789)/81*-3. Let z = n - -50. Solve 0 = 2*q - 2*l - 12, z = 5*q - l - l for q.
3
Let q(a) = -a**2 + 30*a + 33. Let l be q(31). Suppose -3 = 2*v + 4*t - 13, -5*v - 3*t = -25. Solve -w - w = v*z + 24, 0 = w + l for z.
-4
Let k(v) = -2*v - v**2 + 3*v**2 - 3*v**2 - 4*v + 13. Let i be k(-6). Suppose -3 = -4*o + i. Solve -o*d - 9 = 5*l - 4, -2 = -2*d + 2*l for d.
0
Let x(n) = n**2 - 9*n + 12. Let v be x(8). Let f be -4 + 1 + v - -4. Solve -3*k = f*o + 1, -2*k - 5*o = -6*k + 22 for k.
3
Let x(r) = r**3 + 6*r**2 - 4*r + 6. Let t be x(-7). Let j = t + 22. Let v = j - 5. Solve -6*f + 11 = -3*f - v*c, 4*c = 5*f - 19 for f.
3
Suppose -23 = 4*u - 4*t + 13, -21 = 5*u + 3*t. Let h be 0 + (-8)/u*-3. Let r = 9 + h. Solve -r*j = 4*v + 7, -4*j + 5*j - 5 = -4*v for j.
-3
Let w = 503 - 501. Solve -2*q - 2*j + j = 0, -w*j + 4 = 2*q for q.
-2
Suppose -39*d - 45 = -513. Solve 2*h - 2 = -2*w - 6, 3*h = 3*w - d for w.
1
Let l(j) = -j + 5. Let m be l(3). Suppose d + m + 0 = 4*g, 3*d + 6 = 5*g. Solve g = -3*h + 2*n + 15, 10 = 2*h + 4*n - 2*n for h.
5
Let w(o) = -o - 32. Let s be w(-37). Solve -5*x = -0*n + 5*n - s, 2*x + 5*n - 17 = 0 for x.
-4
Let y(c) = c**3 - 11*c**2 - 25*c - 8. Let b be y(13). Let z = 236 + -231. Solve -5*f = b, 2*o + 0*f - z*f - 13 = 0 for o.
4
Suppose -499*r = -491*r - 112. Solve -10*v + 13*v = 4*j + 17, -2*v + r = -4*j for j.
-2
Let o = -11 - -17. Suppose -i = -6*i + 3*i. Suppose 3*a + 4 = s + 3, 3*s - 3*a - 9 = i. Solve 2*c - c + s*y = 8, c = -3*y + o for c.
0
Suppose -3*v + 4 = -7*v. Let c = 2 + v. Let u be (0 + 2 + 2)/c. Solve 2*y + 12 = 3*m, -5*m + 6 = -u for y.
-3
Let a(v) be the second derivative of -v**3/6 - v. Let t be a(-3). Let k(l) = 16*l - 926. Let n be k(58). Solve -t*u - 2 = g - u, n*u = -6 for g.
4
Suppose n - 6*n + 13 = x, 3*x - 5 = 2*n. Solve 2*a + 6*m = x*m - 15, 5*a - 4*m + 3 = 0 for a.
-3
Let u(a) = 4*a**3 + 3*a**2 + 6*a - 8. Let d be u(1). Solve 29 = -d*k - 2*v, k - v = v - 1 for k.
-5
Let j be (-6)/(-4)*340/51. Let r be (-2)/((-8)/j)*10. Suppose -4*g = g - r. Solve -5*z = 4*y + 14, -y + g - 2 = -2*z for z.
-2
Suppose 29*j - 44 = 18*j. Solve -b = j*w + 2*b + 18, -2*b = 4 for w.
-3
Suppose -4*s - 3 = -5*s, s = 4*l - 73. Let f = 30 - 47. Let n = l + f. Solve 4*a - 24 = -n*g, 4 = a - 1 for g.
2
Let b be 119 - (0 + 6) - (-2)/(-2). Let p = -110 + b. Solve j = -p*j - 6, 5*j + 16 = 3*t for t.
2
Suppose 10*d + 6*d = 18*d. Solve d = 2*m - 0*f - 3*f + 11, 19 = 2*m + 3*f for m.
2
Let l(u) = -2*u**2 + 16*u - 6. Let d be l(7). Solve 0 = m - 2*b, 7 = 5*m + 5*b - d for m.
2
Let j be (2 - (-10)/1) + -3. Suppose j*l - 8*l = 4. Solve 0 = r - 2*r, -l = 2*a + 2*r for a.
-2
Let f(m) = -43*m + 434. Let g be f(10). Let s(v) = v**2 + 5*v - 3. Let t be s(-7). Solve -3*i = -3*o - 2*i - t, 0 = 5*o + g*i - 10 for o.
-2
Suppose -3*c = -a + 2 - 3, -a = -4*c + 3. Suppose -d + 7 = -3*r, -4*d - d + c*r = -22. Solve -5*n + v = 8, -3*n = -d*v + 13 + 2 for n.
-1
Suppose 0 = 4*h - 16, -3*h - 26 = -4*a + 22. Solve -5 = 5*f - 2*s, -3*f = s + a - 1 for f.
-3
Suppose 0 = c - 7 + 13. Let q be (0/4)/(4*c/(-8)). Solve -3*x - g + 13 = -q*g, -2*g = -3*x + 1 for x.
3
Suppose 2*f + 16 = 35*y - 30*y, -2*y - 3*f + 14 = 0. Solve y*o - 5*l - 25 = -o, -l - 7 = -3*o for o.
1
Suppose -181 - 154 = -5*t. Let w = -38 + t. Let n = w + -23. Solve n*m = 2*m + 4*r - 8, 0 = m - 2*r + 6 for m.
2
Suppose 8 + 8 = 4*o + 2*k, -3*o = 3*k - 12. Let m = -12 - -17. Suppose m*g + 8 = 23. Solve h + 5 = 2*v - 7, 0 = g*h - o*v + 28 for h.
-4
Suppose -x - 120 = -7*x. Solve 2*u - 12 = 7*v - 2*v, 2*v + 3*u + x = 0 for v.
-4
Let o be 5/10*12 + 2. Suppose o = 2*h + g, g + 4 = 2*h - 0*g. Let w = 32 - 17. Solve -3*t - w = 0, -7 - 16 = 2*j + h*t for j.
-4
Let c be -3 + 6 + (0 - -1). Suppose c*h = g + 2*g - 16, 0 = 3*g + 4*h + 16. Let k be (g + 3)/(9/15). Solve -n - k*y = -5*n - 7, -5*n = 2*y - 16 for n.
2
Suppose -6*x + x - 34 = z, 0 = -5*z + 3*x - 30. Let o = z + 12. Solve 5*i + 5*y = 0, -3*i + 4*y - 8 = o*y for i.
-2
Suppose 2*g + 6 = -g. Let k = 14 + g. Suppose 3*l = n - 1 + 11, -2*l - 2*n = -k. Solve -r + 9 = l*j - 9, 3*j - 14 = -r for r.
2
Let s be (-18)/(-4)*(-4)/(-6). Suppose -s*p + 16 = 2*z - 6*p, -4*z + 26 = -3*p. Solve 10 = z*b, h - 6 = -0*h - 4*b for h.
-2
Suppose 26*y = 23*y. Suppose y = 10*q - 0*q - 50. Solve 3*s - q*o + 32 = 0, 2*s - o + 0*o + 12 = 0 for s.
-4
Let p(z) = -z + 11. Suppose 3*r = -5*t + 42, 2*r - 34 = -4*t - 0*r. Suppose t*x - 30 = 4*x. Let c be p(x). Solve 2*l + 2*d = 0, 0 = -l - l - c*d + 3 for l.
-1
Suppose 8 = -10*k + 14*k. Let v = 25 + -38. Let s be (v/39)/(k/(-60)). Solve -j = -y + 4*j - s, -5*y - j + 28 = 0 for y.
5
Let m(p) = -12*p - 11. Let z be m(-3). Let a = -23 + z. Solve b = 0, -3*c - a = -4*c + 2*b for c.
2
Let q = -101 + 141. Let i = q - 35. Solve i*c = 4*f - 9, -7 + 15 = -4*c + 4*f for c.
-1
Suppose -22*w - 32 = -26*w. Solve 0 = g - 4, -w*d + 3*g = -6*d + 8 fo