 5*d, s*t + 4*d - d = 5 for t.
2
Suppose -2*x + 4*g + 30 = 0, -2*g = 5*x - 6 - 9. Suppose -24 = -x*f - f. Solve 4*w - 5*j = 9, 0 = -5*j - f - 1 for w.
1
Suppose 5*s = -a - 49, -4*s = -2*a - s - 33. Let q be 18/8*a/(-18). Let j(f) = -f**2 + 11*f + 2. Let o be j(11). Solve 2*v = q*m - o, 5*v - 9 - 3 = -m for v.
2
Suppose z + 3 = -2*o + 18, 5*z + 2*o = 35. Let b(m) = m**2 + 5*m - 4. Let d be b(-6). Solve -z*j + d*g + g - 35 = 0, j = -2*g + 6 for j.
-4
Let a be (4/12)/((-3)/(-36)). Let c be 4/(a*-2)*0. Suppose -2*x = -c*x - 6. Solve w - 2*w - 3*o - 10 = 0, 0 = 3*w + x*o for w.
5
Let j be (-28)/70 - (-117)/5. Suppose -3 = 10*l - 11*l. Solve 0 = a + 4, -l*f = a + a + j for f.
-5
Let u be ((45/(-5))/3)/((-18)/24). Solve f + 4*k = -3, 4 = 2*f - u*k - 2 for f.
1
Let c = 4 + -4. Let a = 23 - 28. Let q be 3/a - (3 + (-43)/5). Solve c = q*t - 5*o + 15, -2 = -0*t - 2*t - 2*o for t.
-1
Suppose 0 = -f + 2*q - 2, 3*f + 0*q - 15 = -q. Solve f = 4*h, -n + h = -6*n + 1 for n.
0
Suppose -8*k + 3*k - 280 = 0. Let u be 10/4*k/(-70). Solve -m - u*l = -3*m + 8, -3*m = 3*l - 6 for m.
3
Let j = -16 + 20. Suppose 0 = -i + 4 - 0. Let x be (i/6)/(5/15). Solve -2*d = -n - n, j*n = x*d + 6 for d.
3
Let t(x) = -59*x - 647. Let h be t(-11). Solve 0 = -3*n - 2*y + h, -10 = -y + 6*y for n.
2
Suppose 4 = 5*d - 61. Let z(c) be the first derivative of c**3 - 3*c**2/2 - c + 1. Let i be z(-2). Solve -4*b + d = 3*s, -5*b + 0*s - 4*s = -i for b.
1
Suppose 11*z - 14 = 41. Solve -5*r - 7*c = -2*c + z, -3*c - 9 = 0 for r.
2
Let g(f) = -f + 3. Let o be g(-6). Suppose -4*c + o + 3 = 0. Solve -3*l - 4*k - 31 = 0, 8 = -4*l + c*k - 0*k for l.
-5
Let t = -29 + 44. Let x be (-9)/t*10/(-2). Let f = 2 + x. Solve 0 = -2*a - f*u + 22, -a - 4*u = -0*u - 17 for a.
1
Let p = 112 + -107. Solve -3*f = 3*c - p - 4, 2*c - 14 = 2*f for c.
5
Let u(i) = i**2 - 3. Let b be u(3). Suppose 0 = -2*k + b + 2. Suppose 27 = 3*t - 3*n, -2*t + 2*n + 21 = -n. Solve -k*r + 29 = -3*o + t*o, 5*o = 3*r for r.
5
Suppose 5*q - 3*q - 10 = 0. Let o be (-4)/(-1)*q/(4 + 6). Solve -3*j + b + 5 = -2*j, -5*j - o*b + 18 = 0 for j.
4
Let m(r) = -3*r**2 - 53*r - 117. Let x be m(-15). Let q be 7/(-3) + (-1)/(-3). Let t be 158/8 - q/8. Solve 4 = g - 0*j - x*j, t = 5*g + 5*j for g.
4
Let x be (1 + 3)*(-10)/(-4). Let i(c) = -c**2 + 13*c - 25. Let s be i(x). Solve -4*b - 25 = -5*b + 4*q, 0 = -q - s for b.
5
Let c be 3/((84/40)/(-7)). Let i(u) = 4*u + 0*u + 11 + 1 - 3*u. Let n be i(c). Solve -2*j + t - 13 = 0, 0*j + n*j + 4*t - 12 = 0 for j.
-4
Suppose -140 = -5*j + 5*t, 5*t - 1 = -j - 3. Let l(y) = y + 13 - 3*y + j - 9. Let i be l(12). Solve -4*r - i*n + 30 = 7, -3*n - 22 = -5*r for r.
5
Suppose 103*x - 15 = 105*x - 5*h, -x - 5*h = -15. Solve -5*q + 24 = 2*t, x = -3*t + 2*t - 4*q + 18 for t.
2
Let l = 7 - 3. Suppose l*v - n - 115 = 0, -2*v - 2*v + 119 = 3*n. Let t = -26 + v. Solve 3*w = f + 4*f + 23, 0 = t*w - 4*f - 19 for w.
1
Suppose -4 = -31*j + 30*j. Solve 5*x - x + i + 11 = 0, 5*x - j*i - 2 = 0 for x.
-2
Let o be 7*6/21 + 1. Solve -12 = o*j, -k + 2*j + 24 = -3*j for k.
4
Let w = -745 - -750. Solve 2*m - 5*t = -17, 9*t - w*t - 14 = 2*m for m.
-1
Let z(y) = -y**2 - 10*y - 23. Let x be z(-5). Solve -3*n = -3*r + 21, -x*n = -5*r + 29 - 9 for r.
2
Suppose 4*d = -t + 13, -4*t = 2*d + t - 11. Solve 0 = -2*q + d*v + 5, 5*v + 2 = 2*q - 1 for q.
4
Let q(m) = -2*m**2 + 5*m + 2. Let r be q(0). Solve -2*g + 1 + 7 = 5*z, 0 = r*z - g + 4 for z.
0
Let o be 4 - (-2)/8*4*22. Solve 4*v = 2*k + 10, -v + 6*v + 2*k - o = 0 for v.
4
Let f be (-78)/(-9) - 2/3. Let p = f - 8. Suppose 0 = -p*q - q + 9. Solve b - q = 4*w, 4*w = 3*b - 8 - 11 for w.
-1
Let n(f) = f**2 + 13*f + 33. Suppose 5*h = r - 13, -50 + 12 = 4*r - 2*h. Let d be n(r). Solve -2*t + 12 = -2*o, -4*o + o = -4*t + d for o.
-3
Let l be (-4)/14 + (-90)/(-21). Let h(d) = -d**2 + 7*d - 5. Let q be (-36)/(-6) + (3 - 7). Let v be h(q). Solve 20 = -v*s, -2 - 10 = l*c + 4*s for c.
1
Suppose 5*j + 5*z - 15 = 10, 2*z = j + 4. Suppose 0 = -j*x - 3*x + 40. Suppose -q = 2*s + x, q - 30 = -4*q + 4*s. Solve -3*v - 2*p - 2 = 6, -q*v - 5 = p for v.
-2
Suppose 2*n + 5 = 29. Suppose 13*d + 18 = n*d. Let f = d + 19. Solve 2*y - 5*a = -19, y - 2 = -a - f for y.
-2
Let q(w) = 5*w - 11. Let b be q(4). Suppose -b*k + 4*k = -10. Solve -k*t = -0*v + 5*v + 29, 5*v = 2*t - 21 for t.
-2
Let q(j) = 15*j + 4. Let z be q(7). Suppose z*c - 12 = 107*c. Solve 2 - c = 2*o - 4*m, -3*m + 14 = 4*o for o.
2
Let y be -3*(-4)/12 - -21. Suppose -3*d = -4*a - y, -2*d + 4*a + 8 = -0*d. Let x = d + -11. Solve -18 = -g - x*g - 2*v, 5*v - 23 = g for g.
2
Let j = -5 + 8. Let c = -77 + 68. Let o = j - c. Solve -2*b - 4*l = 4 - o, -2*b = 5*l - 8 for b.
4
Suppose 0 = 3*u + 4*s - 13, 3*u + 0*s - 6 = 3*s. Solve 0 = -p - 5*k - 8, -u*k - 3 = -p + 5 for p.
2
Suppose 2*g = 3*u + 36, -u = 2*g + 3*u - 22. Solve 0 = 5*j + o - g, o + 9 = 5*j - 16 for j.
4
Let o be 10/(6/3)*1. Suppose o = y - 0. Let h(r) = -r**3 + 6*r**2 - 4*r. Let q be h(y). Solve 0 = l - 4*n + 5*n - 5, -l - q = -n for l.
0
Suppose -43*n + 44*n - 5 = 0. Solve -2*k + 0*k - 14 = 4*m, -n*k - m + 1 = 0 for k.
1
Suppose -2*z - 8 - 4 = 0. Let b be (-610)/(-15) - 8/z. Suppose -b = -3*i + i - 2*m, -5*m = -5*i + 135. Solve t = -h, -4*h - h = -t - i for h.
4
Suppose w - 2*w = -5*s + 104, 2*s - 2*w - 48 = 0. Suppose 0 = 8*v - 4*v - s. Solve -5*z - v*t + 30 = 0, z - 2*t = 6*z - 18 for z.
2
Let v be (60/(-48))/((-10)/4)*6. Suppose v*q - 47 + 11 = 0. Solve -2*g = 3*c + 8, -2*g + q = -5*g + 5*c for g.
-4
Suppose 0 = -9*b + 13 + 5. Solve -3*k - b*k = r + 10, 0 = 5*r for k.
-2
Let r = -1 - -14. Let f(m) = 6*m - 128. Let z be f(22). Let t be (1/2)/((-6)/(-36)). Solve -3*b - t*y + 0 = -3, y - r = -z*b for b.
4
Let h(x) = 3*x**2 - 2*x + 1. Let t be h(1). Suppose 4*g = 20, -g + 1 + 4 = -t*c. Suppose -11 = -3*s + 7. Solve -s*y = -y + 5*o - 5, c = -5*y + 2*o - 9 for y.
-1
Let u = -7 + 161. Let j = u + -145. Solve 0 = 5*t + z - 3*z + j, 7 = t + 4*z for t.
-1
Let d be 9/(-1 - -1 - -1). Let k = -7 + d. Let h be (k - 1) + 2 + 1. Solve 4*b = 3*v + 5, h*b - 5*v = 9 + 2 for b.
-1
Let d = -8 + 12. Suppose 0 = d*t + 39 + 25. Let r(s) = -s - 14. Let c be r(t). Solve -3*u + 27 = b + c*u, 5*b - 2*u = 0 for b.
2
Suppose -5*w = 3*w + 24. Let f be 45/6*w/((-30)/8). Solve -4*j + 5*y = -12, -j + y = -f + 3 for j.
3
Let k(z) = z**2 + 4*z - 3. Let h be k(-5). Let y(j) = 18*j - 3. Let s be y(5). Suppose 4*w - w = s. Solve 5*q = m - w, -h*q = -4*m - 8 + 34 for m.
4
Let n(y) = -3*y + 3*y - y + 4 + 5*y. Let c be n(-2). Let f be c/(-14) - 4/14. Solve -3*v + 2*p - 13 = -6*v, f = -v - 4*p + 21 for v.
1
Suppose -31 = -7*c - 3. Solve 0*q + 29 = c*f + 5*q, q = 5 for f.
1
Let t be 8/4 + -10 + 11. Solve -4*y + t*k = 4, y + 4*k + 20 = -0*k for y.
-4
Let t = 27 + -29. Let q be (-4 - 0)/(t + 1). Solve -3*o = 0, 0 = 5*j + 3*o - 1 - q for j.
1
Suppose -55*o + 24 = -51*o. Suppose o*u = 10*u. Suppose -2*f + 8 = -0*f. Solve 0 = 4*a + 2*l - 28, u = l + f*l - 20 for a.
5
Suppose 2*r - 12 = 4*l, 2*r = 8*l - 7*l + 6. Solve v + 5*t = r*v - 18, -v = -2*t - 9 for v.
3
Let f be (12/7)/(76/(-266)) + 14. Solve 5*u - f = -3*x - 2, 4*x + 18 = 2*u for u.
3
Suppose -17*c + 16*c = -2. Suppose t + 2*v - c = 0, 0 = -11*t + 8*t + 4*v + 36. Solve 0 = -2*s - 2*u, 3*u = t + 7 for s.
-5
Let f(r) = -r**3 - 7*r**2 - 13*r - 3. Let p be f(-3). Solve 2*s + 5*u - 1 = -0*s, p = 2*s - 5*u + 9 for s.
-2
Let l(d) be the second derivative of d**3/2 - 6*d**2 + 11*d. Let k be l(5). Solve -o + c + 7 = 2*c, -k*o = -4*c for o.
4
Let v(c) = c - 4. Let t(g) = -3*g + 7. Let r(z) = 2*t(z) + 5*v(z). Let y be r(-6). Solve y = -k - 4, 5*f - 11 = 2*k + 22 for f.
5
Let m be (13 + 8/(-4))*1. Let p = m - 38. Let o be (4/6)/((-9)/p). Solve 2*u - 2*i - 11 = -i, -o*i = 2 for u.
5
Let b = -1 - -4. Let g be b/((6/(-4))/((-63)/7)). Solve 4*f - 3*f + 5*p + 19 = 0, -4*p - g = -2*f for f.
1
Let t(u) = 4*u + 37. Let r be t(-10). Let j = -12 - 0. Let d = r - j. Solve y = -m - d, 0 = -2*y - 3*y - m - 25 for y.
-4
Suppose 4*y + 8 = 8*y. Suppose -y*d = -d - 5. Suppose 4*i + 116 = d*v, 5*v + 0*i - 2*i = 108. Solve -x = -z + 4, 2*x + 3*x - v = -5*z for x.
0
Let c(x) = 2*x + 21. Let r be c(-8). Let u = 4 - -3. Suppose 9 = -3*h, -2*h - 7 - u = -4*q. Solve 2*d + r = j, 5*j + 0*d - q*d = -15 for j.
-5
Suppose -2*p 