. Solve 4*p = d + 8*p, 0 = y*d + 4*p for d.
0
Let g = -64 - -68. Solve 2*s + z = 8, s - g = 2*z - 4*z for s.
4
Let y = 36 - 32. Solve -4*h - y = 4*z, 3*z = h - 6*h - 13 for z.
4
Let b be (-27)/(-5) - (-4)/(-10). Let m = 0 + b. Let p(s) = s**3 - 4*s**2 - 5*s. Let r be p(m). Solve -5*o - 17 = -4*i, o + r*i = i - 3 for o.
-5
Suppose -m + 15 = 4*m. Let y be 2 + (-2)/(-6)*m. Solve -3*t + 17 = -4*j, 4*t - y*j = 6 + 12 for t.
3
Suppose -w - 1 = 4, 4*g + 4*w = -16. Let u = 1 + -4. Let x = g - u. Solve -12 = -x*a + r, -5 = a - 3*r + 3 for a.
4
Let y(r) = -r**3 + 16*r**2 + 5. Let h be y(16). Let c(q) = -4 + 1 + 2 + q**2. Let s be c(-2). Solve 4 = -2*m - s*x, h*m + x + 19 = -2*x for m.
-5
Let y = 33 + -15. Let x be y/12 + 1/2. Solve x*k + 6 = 0, 2*k - 2 = -2*f - 0*k for f.
4
Suppose 0 = v - 0 - 15. Let w(a) = a**3 - 6*a**2 + 5. Let s be w(6). Let t(y) = -y**2 + 7*y + 2. Let u be t(6). Solve 5*g - v = -5*c, -s*c + 8 + u = 4*g for c.
4
Let w = -33 + 35. Solve -4*c = 4*p, 6*p - 2*p = -5*c - w for c.
-2
Let z be (14/(-4))/((-4)/24). Solve -w = 5*q - 26, 2*w - w + 4*q = z for w.
1
Let v(q) = q**2 + 7*q - 7. Let l be v(-7). Let d = l - -8. Suppose -o + 5*o - 36 = 0. Solve d = -a - u - 3, o = -a + 4*u for a.
-5
Suppose 0*p = -2*p. Let a be p - (-5)/(5/(-2)). Let o be (-1 + -1 - a)/1. Solve -2*u = 3*r - o*r - 10, -r = 2*u - 6 for u.
2
Let l(d) = 2 + 3*d**2 + 2*d - 4*d - 3. Let r be l(-1). Solve r*o - 8 = 5*w, 3 - 7 = 2*w - 2*o for w.
0
Suppose 3*w = 8*w - 25. Solve -3*y = 4*l - 17, -l + 15 = 3*l + w*y for l.
5
Let a = -26 + 31. Solve 2*i + k + 5 = 0, a*i + 2*k + 7 + 6 = 0 for i.
-3
Let y(k) = k. Let u be 1*(-1)/1 - -3. Suppose -4*m = -4*w, -5*m = -w - u*w - 6. Let j be y(m). Solve 4*f = j*f - 4*g + 10, 0 = -4*g + 8 for f.
2
Suppose -3*n = -10 + 1. Let a = -2 + 1. Let q be (10/(-6))/(a/12). Solve 4*p = -5*r - q, 25 = n*r - 8*p + 3*p for r.
0
Suppose -40 = -4*t + 3*k, 2*k - 4 = k. Let g = t + -10. Solve 0 = b + 2*j + g + 4, 2*b = 2*j + 4 for b.
-1
Let y = 0 + 0. Solve o + 19 = 3*s - y*s, 0 = -5*o + s - 25 for o.
-4
Suppose -4*c = -7*c + 9. Suppose -4*l + 2*x + 106 = 0, c*l + 5*x - 125 = -2*l. Solve -5*a - 3*s + 1 = 0, a - 5*s = -9 + l for a.
2
Let i be 0 - (-1*3 + 0). Let b(n) = -n**2 - 8 + i*n - 2 - 14*n. Let j be b(-7). Solve -5*l - 16 - 8 = 4*f, -5*l + 2*f = j for l.
-4
Let d = 1 - -3. Suppose 0 = -d*o - 3 + 19. Suppose 0 = -o*w + 5*w - 8. Solve -w = -2*m - 2*m - g, -3*m = 3*g + 3 for m.
3
Suppose -v = -11*v + 100. Solve -5*y + 25 = 4*k, 3*k + 5*y - v = 2*k for k.
5
Suppose 25 + 10 = 5*u. Suppose -15 = -b + 3. Let i be 4/6*b/4. Solve -2*t = -i*g + 6, -g = -0*t + t - u for g.
4
Let y be 0 + 8/2 + 6 + -8. Solve 0*z + 5*p - 20 = 2*z, -16 = -y*z - 4*p for z.
0
Let x be 2/((-16)/(-7) - 2). Let m(t) = -t**2 + 8*t - 2. Let z be m(x). Solve z*g = d + 2*d - 5, 0 = -d - 2*g - 13 for d.
-5
Let a(b) = -2*b + 37. Let p be a(16). Solve -4*q - p*t - 4 = 0, 0 = 5*q - 3*q + 5*t + 12 for q.
4
Suppose 13 = o + 4*l, -5*o + 6 = -l - 17. Let a(u) = -u**2 + 3. Let d be a(0). Let c = -2 + 3. Solve 2*g - c = 3*s, o*s = s + d*g for s.
-3
Suppose -3*x = -3*d - 12, 0*x - 3*x + 2*d + 12 = 0. Let v be 5/(-20) - (-17)/x. Suppose -5*c + 40 - 15 = 0. Solve c*z - v = -3*k, 4*k = -2*z - z - 2 for k.
-2
Suppose -4*l - 27 = -47. Solve c = -l*w + 15, -2*w + c + 1 = w for w.
2
Let m(u) = u**2 + 4*u - 1. Let t be m(-5). Let v = 6 + t. Solve 0 = -2*i + 4*i + 4*g - v, -3*i - 10 = g for i.
-5
Let y = 20 + -17. Solve 23 = 2*h - y*u, u + 24 = h - 3*u for h.
4
Suppose 5*a = -5*i + 20 - 5, 10 = 3*a + 4*i. Let g = 7 - a. Solve -3*x + g*x = 5*b - 7, 2 = -b - 3*x for b.
1
Let c = -91 + 97. Solve 3*x + 4*i + 6 = 0, 3*i = c*i for x.
-2
Let c = 2 - 0. Let j = 2 - c. Suppose j = -10*u + 5*u. Solve -30 = -4*a - 5*p, 0 = -a + 4*p - u - 3 for a.
5
Let r = -5 + 10. Let w be (-36)/(-15) + 3/r. Solve 0 = s + 5, y - 15 = -w*y + 3*s for y.
0
Let g = -29 - -57. Let h be (-24)/(-14) - (-8)/g. Solve -o + 3 = m + m, 0 = -2*m + h for o.
1
Let n(w) = w**2 + 4. Let a be n(2). Let i(u) = -u**3 + 8*u**2 + 4. Let t be i(a). Solve 2*q = -2*q - t*b - 8, -3*q + 5*b = -10 for q.
0
Let u(v) = v**2 - v - 3. Let d be u(3). Suppose -4*f + 11 = -29. Solve -f = -3*i + 5*c, -5*i = -c - d*c - 8 for i.
0
Let y = 65 + -44. Solve 3*n - 2*r - 7 = 0, -2*n + y = 5*r - 9 for n.
5
Suppose 4*t = 20, q = 5*q + t - 65. Let o be (-4)/14 - 4/(-14). Suppose 3*l + o*l - q = 0. Solve 4*v - 2*i = 3*v, -14 = -v - l*i for v.
4
Suppose -1 = i - 3. Let h(j) = -j + 4. Let r be h(i). Solve r*v + 0*v - 4*b = 2, -5*b - 5 = -3*v for v.
5
Suppose x + 2*q = -0 - 3, -5*q = x + 12. Suppose -v = -x*v + 14. Solve j = 4*r + v, -5*r + 10 = 2*j + 3*j for r.
-1
Let r(o) = 2*o**3 + 3*o**2 + o. Let i be r(-2). Let f be 8/(-3)*9/i. Solve 2*p = -1 + 11, -q = f*p - 24 for q.
4
Let s = -5 + -4. Let v = s - -18. Suppose 5*b + v = -g - 6, -g + 3*b + 17 = 0. Solve -4*u = -z - z - 16, 5*z - 3*u = -g for z.
2
Suppose 5*k - 2*b = -7 + 2, 3*b - 15 = 0. Solve 3*d + 3 = -2*l, d + l = -l - k for d.
-1
Let x(h) = -6*h - 20. Let s be x(-4). Solve s*o + 2*m = -2, 5 = o + 5*m - 8 for o.
-2
Let f be 2/(-4)*(2 + -8). Let u be (2 - 6/f)*-1. Let v = 2 + u. Solve -3*m - v*t = -21, 0 = 5*t - 6*t + 3 for m.
5
Let a(r) = -r**2 + 8*r + 3. Let f be a(8). Solve 2*y = 5*x + 19 + 12, -2*x = -f*y + 19 for y.
3
Let t = 44 + -39. Solve v - 5 = -o + 1, 2*o + t*v = 27 for o.
1
Let n be (-3)/(-6)*(4 + 2). Suppose -5*d + 46 = n*l, d - 5*l + 1 = -1. Solve -q + 8 = -3*z, 3*z + q + 8 = -d for z.
-4
Suppose -3*c = -0*c - 15. Let m be 4/18 + (-18)/81. Solve -4*b - 1 - 3 = m, 0 = c*f - 4*b - 24 for f.
4
Let x be (-2055)/(-135) + 4/(-18). Solve -5*h - 4*d + 3 = x, 28 = -5*h + 4*d for h.
-4
Let u = 13 + -8. Suppose -u*h + 19 = -1. Solve 0 = -2*f + 1 - 3, -h*f + 2 = -3*y for y.
-2
Let i be 6 + -4 + (0 - 1). Suppose -3 - i = -2*z. Solve 3*o - 21 = -3*y, -y - 3*y - z*o + 18 = 0 for y.
2
Let x = -18 - -26. Solve k + 5*u + x = 0, 5*u + 11 = -5*k + 3*k for k.
-3
Let z be (-98)/(-28) - 3/2. Suppose 0 = -5*j - w - z*w + 6, 4*j + 10 = 5*w. Solve -5*r + 6 + 14 = -3*d, 4*d = j for r.
4
Suppose -4*h - 7*h + 55 = 0. Solve -16 = -2*c - h*d, 4*d - 2 - 16 = c for c.
-2
Suppose 9*w = 10*w. Suppose 2*p + w*p - 18 = -2*n, 5*n = 3*p - 19. Solve -2 = o - 0*o + t, -o = -2*t + p for o.
-4
Let h(u) = u**2 - 4*u - 5. Let g be h(5). Solve 4 = v - g, 4*f - v = -4 for f.
0
Suppose 7 = q + 3*l + 11, -q - 2*l = 1. Solve a + 0*v + q = -2*v, 5*a = v - 25 for a.
-5
Let x(m) = 46*m. Let a be x(1). Let s = a - 23. Solve v + 8*f - 3*f = s, 4*v - 17 = -5*f for v.
-2
Let t be (-1 - -1) + 0 - 3. Let g = -3 + t. Let u be -1 - (-5)/((-15)/g). Solve 5*d + u = 3*v, 15 = -5*v - 0 for d.
-2
Let f be (-1 + -1)*55/(-10). Solve 4*m - 2 = -p + f, -4*p + 8 = 5*m for p.
-3
Let d(z) = z**2 + 1. Let p(r) = 7*r**2 + 2*r + 4. Let m(o) = -5*d(o) + p(o). Let a be m(1). Let k = a + -1. Solve -h = 3*u - 8, 0*u - 24 = k*h - 4*u for h.
-4
Let l = -46 + 46. Solve -3*f + f + 14 = 4*y, l = -5*f + 3*y - 30 for f.
-3
Suppose -y + 5*y = -4. Let x be (4 + y)/((-2)/(-4)). Suppose 0*a = -2*a + x. Solve a*s = -2*h - 4, -h - 1 + 0 = 2*s for h.
-5
Suppose -y = -5*j - 3, 2*j + 0*j = 2*y - 6. Let b(n) = n**3 + n**2 - n + 5. Let i be b(j). Solve i*v - 4*u = 28, -2*u = -4*v + u + 22 for v.
4
Let p be (-2)/10 + 13/((-455)/(-112)). Solve 2*b = -c + 9, p*c + 19 = 4*c + 4*b for c.
-1
Suppose -3*l - 4 + 10 = 0. Solve -5*n - 1 = 2*g + 2, -5*g - 3*n = -l for g.
1
Suppose -4*a = -5*a. Let j(z) = z**2 + z + 4. Let r be j(0). Solve 21 = 5*i - 4*c, 4*i - r*c - 8 - 12 = a for i.
1
Let u be (-144)/(-30) - 7/(-35). Solve -5*p = 5*s - 5, 0 = u*s + 4*p - 4 for s.
0
Suppose 2*g = -2*g + 12. Let u(x) = -x**2 + 0*x + 8*x - g + 9 - 2. Let c be u(6). Solve 0 = -3*z - 4*d - 26, d + d + c = -3*z for z.
-2
Suppose -6*x - 2 = -5*x - 2*q, 4*q = 4. Suppose -4*j + 7 = 5*v + 3, -4*v + 5*j = 5. Solve l + 5*p + 4 + 0 = x, -4*p = v for l.
-4
Let l(w) = w. Let x be l(4). Let h = -2 + x. Suppose 11*f - 8*f - 6 = 0. Solve -y - f = -5*a + h*a, -y + 4*a = 2 for y.
-2
Let v(i) be the third derivative of -i**5/60 + 11*i**4/24 + 5*i**3/2 + i**2. Let r be v(12). Solve -x = -0*x + 2*s + 3, -12 = r*x + 3*s for x.
-5
Let p be 1 + 0 - (-25 - -3). Suppose -4*k - k + 5 = 0, 4*g - k = p. Let r = g - 1. Solve r*h + u - 18 = 0, -h + 4*h = 4*u + 