 - 0*d - c, v = -5*c for d.
-1
Let p be (-9)/(-15) + (294/35)/1. Solve 2*r - 2*d = -0*d + 2, -d + p = r for r.
5
Let p(g) = -6*g - 213. Let m be p(-36). Solve m*v + v = 2*h - 12, 4*v - 5*h + 24 = 0 for v.
-1
Suppose 2 = -2*m + m. Let s = -7 - -3. Let a = m - s. Solve 2*q = 2*u + u + 5, -a*u = -2*q + 4 for q.
1
Let g(d) be the first derivative of d**2/2 + 27*d - 32. Let f be g(-23). Solve -3*n + 4 = f*z + 2*n, 4*z - 5*n - 4 = 0 for z.
1
Let a be 6/(-15) + 2/5. Solve 2*b = -3*b - 4*o + 18, -2*b + 3*o - 2 = a for b.
2
Let f be ((-14)/(-35))/((-1)/(-10)). Suppose -4 = f*k + 4. Let p be (k - 2)/(3/(-6)). Solve -3*v + 7*v = 4*d + p, -5*d = 3*v + 10 for d.
-2
Suppose 5 = 2*i + 1. Suppose 2*s = 4*s + i*g - 4, -5*g = -2*s + 11. Solve 7*p - 2*p + s = -v, -p - 3 = v for p.
0
Let f be 8 + (7 - (2 + 8)). Solve -5*n = -k - 18, f*k + 3*n = 2*k for k.
-3
Suppose -7*w = -2*w + 45. Suppose -2*p = -10 - 8. Let n = p + w. Solve 0*o + 5*o = 3*j + 19, -o - 4*j + 13 = n for o.
5
Let o(l) = l**2 - 12*l + 11. Let b be o(11). Suppose b = -3*k - 5 + 17. Suppose -k*v - 16 = -44. Solve -5 = t - 2*y, -2*y - v = -3*t - 2*t for t.
3
Let j be (-110)/(-7) + (36/(-14))/(-9). Solve 5*m + j = -4*u, -u - 3*m - 16 = -5*u for u.
1
Suppose 42 = -17*t + 38*t. Solve t*l - 4*l + 4 = 3*d, 5*d = -3*l + 7 for d.
2
Let x = 239 + -235. Solve -3*h - 3 = -4*j, -4*h + 0*h - x = 4*j for j.
0
Suppose 10 = -2*j + 4*j, 3*r + 69 = -3*j. Let i be 1 + 1 - r/7. Let s be i/(-9) - 2/(-3). Solve s = 3*g + 2*k - 0 - 7, 14 = 4*g - 2*k for g.
3
Let y(h) = 7*h**2 + 13*h + 1. Let l be y(-3). Solve -b - 3*a - 10 = -0*a, b - 4*a = l for b.
5
Let p = 195 - 183. Solve 4*h - p = 0, 0*h - 3 = -5*x - h for x.
0
Suppose -4*d + 177 = 5*q - 36, 0 = 2*d - 2*q - 120. Let s be (-4)/30 - (-24)/135*d. Solve -4*x = 5*n - s, -3*x - 4*n + 7 = -0 for x.
5
Suppose 0*o - 2*o = -10. Let i(q) = q**2 + 15*q + 2. Let x be i(-15). Solve -x*t = 5*w - o, -4*w = 4*t + t + 13 for t.
-5
Let d = -5 - -8. Suppose -d*u - 9 = 0, 3*p - u = -0*u + 18. Solve 11 = 3*l + 4*m, 0 = -4*l + 2*l - p*m + 12 for l.
1
Suppose 3*c - 2 = 91. Let a = 35 - c. Suppose -a*j + 8*j = 16. Solve 0 = -i + 5*v + 23, 3*v = j*i - 0*i - 7 for i.
-2
Suppose -4*o = -4*w + 44, 2*o - 30 - 8 = -2*w. Solve -4*g = -5*b - 2*g, -g = 5*b - w for b.
2
Let x(f) = f**2 - 4*f + 6. Let y be x(2). Solve 19 = -5*q - r, 5*q - y*r = -21 - 1 for q.
-4
Let i be (6/4)/((-5)/((-160)/12)). Suppose -i*v = 16*v. Solve 3*g + 4*t - 23 = v, -22 = -2*g - 3*t - t for g.
1
Let a(m) = m**3 + 14*m**2 - m - 11. Let s be 28*(2/(-8))/((-6)/(-12)). Let j be a(s). Solve 3*l + 2*l - 4 = -n, 12 = j*n + 2*l for n.
4
Let r(j) = -2. Let c(t) = -t - 2. Let o(v) = 2*c(v) + r(v). Let p be o(-4). Solve 2*n - 6*n = -b + 15, p*n + 2*b = -10 for n.
-4
Let l(j) = 4*j + 2*j**2 - 3*j**2 + 5*j + 8 + 11*j. Let p be l(20). Solve 2*n = p, 2*n - 5 = 2*w - w for w.
3
Suppose 255 = 9*c - 672. Suppose -5*n - 3 + c = 5*s, -5*n - 2*s + 97 = 0. Solve -n = 4*p - 3*x, -2*p - x - 27 = -6*x for p.
-1
Let m be (5/(-4))/((-1)/4). Let d be (16 + -15)/(2/(-8)). Let b be 3/(-3 + -3)*d. Solve -b*o = -z + 3*o, 4*z + m*o = 0 for z.
0
Let n be (-7 + 5)/(1/(-1)). Solve -v - w - n = 0, -2*w + 0*w = 3*v + 9 for v.
-5
Let p be (-6)/(15/(-12) - (-9)/(-36)). Solve 0 = 2*l, -3*q + 3*l = 1 - p for q.
1
Let a be (1 + (2 - 2))*10. Let f = 133 + -117. Suppose 2*d - f = -3*j, 10 = j - d + 4*d. Solve 0 = -3*u - k + 9, -j*k = -2*u + u - a for u.
2
Let y be (1 - 1)*((-66)/(-18) + -4). Let k = 0 - y. Solve 3*d = k, 4*a - 12 + 4 = -3*d for a.
2
Let g(r) = 2*r - 52. Let b be g(23). Let a be (-8)/(-4 + 6)*b/8. Solve 3*h = a*w + w - 19, 5*h + 25 = 0 for w.
1
Let b = 5 + 0. Let f be (-4)/b - 133/(-35). Suppose 0*j = j - f. Solve -p - 1 = -4*x, 10 + 1 = 4*x - j*p for x.
-1
Let u(h) = -26*h**2. Let s be u(1). Let l = 24 + s. Let y be (25/l)/((-2)/4). Solve 6*i - i = 4*d - 24, 5*d = 5*i + y for d.
1
Let f(x) = 2*x - 2*x + 4*x - 2*x. Let z be f(9). Let c = z - 15. Solve c*r = -2*u + 8, 3*r = -2*r - 2*u + 8 for r.
0
Suppose 4*u = -2*c + 196, 0 = 3*c - 11*u + 9*u - 334. Let b = c + -75. Solve -2*n - b = 5*j, 2*n - j + 3 = -0*j for n.
-4
Let i = -533 - -537. Solve -5*d = 3*z + 3, -i*z - 5*d - 3 = -4 for z.
4
Suppose 129*c - 132*c + 9 = 0. Suppose 2*u - 3*u - 4*k - c = 0, 0 = -2*u - 3*k + 4. Solve -u*x - 15 = -5*t, -t + 2*t = 2*x + 5 for x.
-2
Let p(i) = -2*i**2 + 3*i + 4. Let w be p(3). Let k = -3 - w. Let z be 15485/326*2/5. Solve k*a + 7 - z = -x, x = 5*a - 16 for x.
4
Let r(d) = 2*d**2 - d - 3. Let a be r(3). Suppose a = 3*f - 5*j, 3*f + 3*j - 4 = 2*f. Let k be 180/35 - f/28. Solve -3*p = -5*v, k*v = -p + 2*v - 14 for p.
-5
Suppose 2*i - 3*i - 4 = -5*t, -2*t = -2*i. Suppose -13 = -3*c - i. Solve -4*v = -3*h - 11, -c*h - 18 = 2 for v.
-1
Suppose -y - t - 4*t = -25, 3*t = -y + 17. Solve 0*h + 5*m = -y*h, 0 = -h + 3*m - 8 for h.
-2
Let h(q) = -2*q**3 - q**2 - 2*q. Let x be h(-1). Suppose 6 = 4*a - x*a. Suppose 0 = -3*s - 2*w + a, 0*s + 2 = s - w. Solve m = r - 2*m, s*r - 3*m = 0 for r.
0
Suppose 0 = -123*v + 32*v + 182. Solve -v = -5*g - 2*t, 4 = 5*g - g + 4*t for g.
0
Let r(b) = 19*b + 4. Let l be r(0). Solve 2*z - z = -1, -l*z = 5*x + 19 for x.
-3
Suppose -4*z = 2*z - 18. Solve 5*w + 0*r + r = 19, 16 = z*w - 4*r for w.
4
Let r = -7 - -14. Suppose r*d = d. Solve a + 7 = -0*a - k, a - 5*k - 23 = d for a.
-2
Let z(s) = -3*s - 1. Let o be z(-5). Let x = o + -12. Solve x*h - 15 = -3*g + 2, 30 = 5*g + 5*h for g.
5
Let s(j) = -2*j + 21. Let q be s(10). Let v = q + 5. Solve -3*n = -v*n - 12, -i = 5*n + 23 for i.
-3
Let q(n) = -3*n - 23. Let a(i) = -3*i - 25. Let y(b) = -6*a(b) + 5*q(b). Let c be y(-5). Solve -l = -4*s - 6*l - c, -2*l = -4*s - 20 for s.
-5
Let l(j) = -j + 14. Let w be l(7). Let i = w - 2. Suppose -7*v + 3*v = 3*y + i, 2*y + 5*v = -15. Solve y*m - 5*q = 0, -2*q - 6 = 2*m - 2 for m.
-1
Suppose 4*o - 3*b - 48 = 0, -o - 5*b = -b - 12. Solve -12 = 4*w + 2*a, 3*w - 5*a + o = -8*a for w.
-2
Let i(t) = 2*t**2 - 22*t - 22. Let v be i(12). Solve -5*z + 3*x = 7 - v, 0 = -4*z + 5*x - 17 for z.
2
Let y(j) = -j**2 + 19*j + 24. Let h be y(18). Let q = h + -40. Solve 8*u = 3*u + q*o - 19, 4*o - 8 = 0 for u.
-3
Let h = -2 - -9. Suppose -24 = -n - h*n. Suppose -4*c - n*b = 2*b - 43, -3*c - 2*b = -27. Solve -2*i = -3*v - c, i + 2 = v + 3 for i.
-4
Suppose -2*s + 18 = -4*h, -3*h - 18 + 0 = 3*s. Let t(z) = -2*z**2 - 3 + 4*z**2 + z + 4. Let a be t(s). Solve 2*x = -7*m + a*m - 11, 0 = -5*m + 2*x + 1 for m.
-1
Suppose 0 = 2*b + 5*o - 1, 4*o - 8 + 6 = -2*b. Solve 4*v - 2 = -5*g, -g + 0*g - b*v = -7 for g.
-2
Suppose 0 = 5*t - 6*t + 11. Suppose 12*b - t*b - 4 = 0. Solve -i + b*h = -0*h - 2, 4*i + 4*h = 8 for i.
2
Suppose 16*o + 30 = 22*o. Solve 4*k - l + 0 = o, -4*l = 20 for k.
0
Let g(u) = 3*u - 39. Let p be ((-63)/6)/((-9)/12). Let o be g(p). Solve 0 = -o*f - 5*b - 7, 1 = 3*f + b - 0*b for f.
1
Let f be (4/6)/((-4)/30). Let w be (15/f + 5)/1. Solve -3*z = -w*x - 13 + 2, -x - 4*z = 0 for x.
-4
Suppose -4*m = 2*u + 10, -9 - 7 = 5*u + m. Let s be 3 - 31/u - 4/12. Solve 2*r + 3*n - s = 0, -4*n + 2 + 18 = 4*r for r.
2
Suppose -25 + 22 = -m - 3*s, 2*m = -2*s + 6. Solve m*f = 3*w, -2*w = 6 - 0 for f.
-3
Let x be 54/15 + (-392)/245. Solve 0 = j - q - 4, -5 = x*q - 3 for j.
3
Let f = -48 + 52. Suppose -2*j + 4*q + 24 = -0*j, -f*q = -3*j + 28. Solve -5*d - 32 = -4*h - 10, -j*h = 5*d - 2 for d.
-2
Let t = 4 + 16. Let h be 10/(-6) + 56/12. Let r(l) = -8*l - 2. Let o be r(-2). Solve o + 23 = h*u + 5*q, t = 4*q for u.
4
Let s = -70 - -73. Suppose s*q = 4*q - 3*q. Suppose 4*c - 3 = 13. Solve -5*g - 5*t - 10 = 0, c*g + 0*t - 4*t + 32 = q for g.
-5
Suppose l = -5*w + 49 - 5, 2*w = -l + 20. Let d = 37 - 27. Suppose w = 6*n - d. Solve -x + 2*x + 4 = 2*y, -5*x + n*y + 1 = 0 for x.
2
Suppose 20*o = 9*o + 66. Solve 4*w = y + 13, -2*y - o = 2*w - 0*y for w.
2
Let z(c) = c**2 - 7*c - 35. Let u be z(11). Suppose 8 = u*y - 10. Solve 6 = y*k, 5*k - 13 = 3*a - 2*a for a.
2
Let w = -703 - -707. Solve 22 = -4*u + 3*m - 5*m, -m = w*u + 19 for u.
-4
Suppose -80*m - 44 + 364 = 0. Solve -2*t + h = 3, -5*t + m*h = -0*t + 6 for t.
-2
Suppose -5 = z, -z + 2 = 4*c + 19. Let f be (-4)/c*3/1. Solve 0*l = 5*l - 2*q + 28, f*l - 2*q + 24 = 0 for l.
-4
Let n = 22 - 14. Let j = -3722 + 3724. Solve s = -4*i - n, 0 = -3*s + j*i + 