 = 0, 4*p + h = 2*p for p.
1
Let b(g) = 2*g**2 + 4*g + 6. Let p be b(-3). Suppose k - 9 = 5*x, -5*k - 5*x - 31 + 106 = 0. Solve -4*w = -2*w - 2*f + k, 4*f - p = 0 for w.
-4
Let d be (-4)/10 - 561/(-15). Let m(x) = x**2 + 8*x + 11. Let z be m(-7). Solve -z*g = 5*h + d, h - g = -2*h - 12 for h.
-5
Let b(v) = -v**3 + 5*v**2 + 3*v - 12. Let c be b(5). Let l be ((-4)/6)/(6/9). Let g = 3 - l. Solve q = -g*i - 25, q - c*q = 5*i + 35 for q.
-5
Suppose -3*p - 28 = -4*p. Let l(n) = -2*n - 1. Let g be l(-3). Solve -3*q = g*z - p, 5*q + 6*z = z + 30 for q.
1
Let v = 15 - 6. Solve -3*g - k = -9, 3*g - 3*k + 2*k = v for g.
3
Let g = 16 - 12. Solve 2*l - b + 10 = -0*l, -8 = g*l + b for l.
-3
Let w(z) = -4*z**2 + 2*z**2 - 4*z + 3*z**2. Suppose -5*v = 2*t + 5 + 5, -3*t + 3*v = -27. Let j be w(t). Solve j*d = a + 20, -a - a = 3*d - 12 for a.
0
Let d be 52/9 + (-4)/(-18). Solve 4*v + 0*j - 32 = 3*j, d = -2*v - 4*j for v.
5
Suppose 0 = -4*y + 3*z + 28, -4*y + 3*y = 4*z + 12. Solve 5*h = 4*q + 10, y*h + 1 = q + h for q.
-5
Let i(z) = -z**2 + 9*z - 18. Let g be i(6). Solve 5*h = -25, g = 3*r + 2*r - 5*h for r.
-5
Suppose 2*l - 4*l = -j - 4, 0 = -3*j - l + 16. Solve -4*h - 12 = -4*y, -j*y - 1 = 3*h + 1 for y.
1
Suppose 5*y + 0*y = 35. Suppose y = r - 6. Solve 5*p = 4*a + 2, -3*a - r = 5*p - 3*p for a.
-3
Let h(i) = i + 8. Let s be h(-9). Let t = 0 + s. Let o = 3 - t. Solve -a - 5 = y, o*a + 0*y + 5 = y for a.
-2
Suppose 12 = -2*i + 5*i. Let k = -8 + 23. Suppose 0*w - k = -3*w. Solve w*f - 26 - 1 = 3*u, 4 = -i*f - 4*u for f.
3
Let f be (-8)/(-5) + 3/(-5). Let t be ((-3 - -2) + f)/(-2). Solve t = -5*y - 3*g - 20, 4*g = 5*y - 4 - 11 for y.
-1
Let l = -5 - -7. Solve 4*v - 3*z - 9 = 0, -3*v + l = -5*z - 2 for v.
3
Suppose 4*n = 14 - 2. Suppose k = -5, -n*s + 1 = 3*k + 10. Solve -4*f + 2*o = 33 - 9, -s*f = -5*o + 20 for f.
-5
Suppose 5*t = m + 13, -5*m = -2*t - t - 1. Suppose 0 = -4*u + d + 10, m*u - d = -0*d + 6. Solve -u*z - k + 5 = 0, -2*z = 3*k + k - 8 for z.
2
Let i(a) = -2*a**2 + 13*a + 11. Let t be i(7). Solve -t*m = -2*q + 8, -4*m + 6 = 3*q - 6 for q.
4
Let m(l) = -l**3 + 6*l**2 + 2*l - 6. Let q be m(6). Let k(x) = 2*x - 8. Let n be k(q). Solve -n*p - 8 + 1 = -y, -4*y - 3*p = -9 for y.
3
Suppose 4*f - 8 - 4 = 0. Suppose -18 = -o + 4*v, 0*v + 10 = -f*o - 4*v. Solve 5*m = l + 22, 3*m = o*l + m + 12 for l.
-2
Let k = 134 + -189. Let f be 1/(k/(-18) - 3). Solve 0*p - 24 = 5*p - y, 3*p + f = -3*y for p.
-5
Let i = -32 + 54. Suppose -f + i = f. Let d = f + -6. Solve -d*c - 1 = -5*q - 16, -c + 5 = -2*q for c.
1
Suppose -p = 4*s - 6, -2*p + 2*s + 29 = 7. Let h = -8 + p. Solve -g + 6 = -h*c - 5*g, 5*g = -5*c - 10 for c.
-1
Suppose 0 = 2*o - 4*o + 50. Suppose 3*w = 3*u + 2 + 25, -w + o = -5*u. Solve -w*k = 3*h + 25, -k = -5*k - 4*h - 28 for k.
-2
Let s be (-12)/(-8) - (-39)/6. Let a be -8*(0 - (-6)/(-8)). Solve 3*r - s = c - 1, -2*r + a = -c for r.
1
Suppose 3*x = -x + 16. Suppose 0*n - 3 = -n. Solve n*z - k = 6, -5*z + x*k + 4 - 1 = 0 for z.
3
Let x = 0 - -4. Suppose t + k = 2*t - 6, -x*t + 3*k = -21. Solve -2*v - t*g = 13, -v + 4*v + 13 = 2*g for v.
-5
Suppose -u = u + 6. Let v = 3 + u. Solve 3*c = -v*c - 3*y + 18, -4 = -4*y for c.
5
Let l = 29 + -16. Solve -h - 2*w = l, 5*h - w + 22 - 1 = 0 for h.
-5
Let q(t) = t**2 - 6*t - 5. Suppose 16 + 11 = 3*o + 2*s, 0 = -3*o + 5*s + 6. Let p be q(o). Solve 0 = -2*g + 5*f + 25, p*g + 5*f + 25 = 6*g for g.
0
Suppose v + 2*u = 1, v + 19 = 4*u + 2. Let g be (v/(-3))/5*9. Solve 5*x = -a + 22, -7*a = g*x - 2*a for x.
5
Let b be (-4)/8*52/(-2). Solve -o = d - 7, 2*o - d = 6*o - b for o.
2
Suppose 4*k - 21 = -5. Solve -s - s - 2 = -2*c, -k*c - 4*s = -36 for c.
5
Let j(m) = -m**2 - 6*m - 8. Let n be j(-4). Solve 5*o = 4*y + 8, 5*y + o = -n*y - 10 for y.
-2
Suppose 3*b + 3*w = 21, 3*w = -2*b + 9 + 6. Suppose v + 2*v = b. Solve v*c + 3 - 14 = r, -5*c = 4*r + 5 for r.
-5
Let j = -4 - -8. Let u = 15 - 10. Suppose 0 = -s + 38 - 13. Solve 15 + u = -j*p + 4*v, 5*p = -2*v - s for p.
-5
Let n = -154 + 160. Solve d + 2*u = 5, -u + 7 = n*d - d for d.
1
Let k(t) = 2*t**2 - 3*t - 4. Let f be k(3). Solve -5*m - 3*i = -5*i - 8, f*i = -4*m + 13 for m.
2
Let y(v) = -v - 4. Let l be y(-7). Solve -l*d - 2*n - 11 - 10 = 0, 5*n + 20 = -d for d.
-5
Suppose -3*b + 6*b - 15 = 0. Let s be b/((-15)/(-33)) - -1. Solve 0 = -4*t - 2*i + 22, -i + s = 3*i for t.
4
Let z(k) = 12*k**2 - 2*k - 1. Let l be z(-1). Solve -4*o + 7 = -l, 3*o - 12 = b for b.
3
Suppose 43 + 8 = 3*k. Suppose 0 = -5*t + 102 - k. Solve -g + t = 3*x, g + 3*x + 8 = 5*g for g.
5
Let k = -6 + 11. Let l(x) = -6*x + 17. Let i(a) = 7*a - 18. Let h(w) = 5*i(w) + 6*l(w). Let b be h(9). Solve -n + 2*o = 2*n + k, n - b*o = -11 for n.
1
Suppose 3*f = -2*f + 45. Solve -5*m - 10 = 4*a, 2*a + a = -3*m - f for m.
2
Let h be (-2)/(-3) + 4/3. Solve -5*w - 2 = j, -h = 2*j - w + 2 for j.
-2
Suppose 2 = -c + 1. Let g = c + 3. Solve 23 = -5*r - f, 0 = -r - 2*f + g - 3 for r.
-5
Let x be ((-10)/30)/((-2)/18). Solve -8 = 2*o + 3*n, -3*n - 3 = x for o.
-1
Let t be 6/(-9) + 84/18. Solve 2*m - 6 = k + 4, -t*m + 20 = 3*k for k.
0
Let n(k) = -k**3 - 6*k**2 - 6*k + 7. Let s be (10/8)/(1/(-4)). Let p be n(s). Let b be (-1)/((35/10)/(-7)). Solve -2*i - i + 12 = -h, b*h + p = 3*i for h.
0
Let x be -3 + 8 + 0/(-2). Suppose -x*j = -4*g + 27, -j - 2*j = -5*g + 24. Let o = 0 - j. Solve 3*l + o = n, -l = -5*n + l + 2 for n.
0
Let x(q) = q + 14. Let m be x(-11). Suppose m*r + 2*r = 10. Solve 6*d - 4*d - 2*i + 6 = 0, 4*i - 4 = r*d for d.
-4
Let s be (-3)/(-9) + (-16)/(-6). Let c(j) = 40*j**3 - j**2 + j. Let b be c(1). Let p be (32/b)/(2/10). Solve g + v + 13 = p, -g = s*v + 19 for g.
-4
Let m(s) = -s**2 - 5*s - 1. Let y = 12 + -16. Let o be m(y). Solve -3*k - 5 = o*g + k, -5*g + 11 = -3*k for g.
1
Let a(y) = y**2 + 25*y + 50. Let w be a(-23). Suppose -4*l + 1 = -7. Solve m + l*r = -1, -r - 10 = w*r for m.
3
Let a = 108 + -105. Solve -4*b + 8 = -2*b - a*r, -2*b - 8 = r for b.
-2
Let m(i) = -i**3 + 9*i**2 - 9*i + 11. Let t be m(8). Solve -4*u + 0*w - w - 16 = 0, 0 = t*u + 3*w + 3 for u.
-5
Suppose 5*d + 3 + 8 = r, 5*d + 29 = 4*r. Suppose -j + 5*t - 13 = 0, j + j = 5*t - r. Suppose -4*c + j*c = 75. Solve 4*y - c = 2*y - 5*l, 0 = 3*l - 9 for y.
5
Let g be (8 - 8) + 0 + 3. Suppose 4*i + 0 = g*h + 43, -5*h - 5 = 0. Solve 5*v - 9*t + i = -4*t, 4*v = -4*t + 16 for v.
1
Let l = -128 + 131. Solve -4*i = 0, k + l*k = -i + 8 for k.
2
Let z = 15 + -18. Let a(n) = n + 7. Let q be a(0). Let c = q + z. Solve 0 = w - 0*o + c*o + 3, 4*w = 5*o + 9 for w.
1
Let r(o) = o**2 - 8*o + 6. Let s be r(8). Let w = s + -5. Solve 21 = 3*c - 3*j, c = j - 2*j + w for c.
4
Suppose -2*u - u = -15. Solve -2*w - u*z + 5 = 2, 3*w - 15 = 3*z for w.
4
Suppose h + 0*s = s + 1, h - 5*s = -11. Suppose -10 = -x + 3*q, 0*x = 5*x + 3*q + h. Solve 3*t - 3 = 2*i - x, -4*t + 4*i = 0 for t.
2
Let x(f) = -f + 5*f - 2 - f**2 + 4*f. Let z be x(7). Let l = 31 - 26. Solve 5*d = -z*m - 0*d - 15, 3*m - l*d - 7 = 0 for m.
-1
Suppose 4*a = 4*o - 8, 3*o - 2*a - 8 + 2 = 0. Solve 3*d = 3*v + 21, -v - o*d = -7*d + 15 for v.
-5
Let g = -117 + 121. Solve -1 = 3*i - y, 0 = g*i + 2*y + 3*y - 5 for i.
0
Let n(t) = t**3 + 34*t**2 + 33*t + 4. Let m be n(-33). Solve 2*z - f = 2 + 3, m*f = -5*z + 45 for z.
5
Let g(m) = m**3 - 4*m**2 - 6*m + 5. Let x be g(5). Suppose 3*n + 3*s = -x*s + 24, -4*s = 0. Let y be n/(-2)*(-1 - 0). Solve y*u = r + 3, 2*u = r - u + 2 for r.
1
Let n(o) be the third derivative of o**5/15 + o**4/24 - o**3/6 - 3*o**2. Let y be n(1). Solve u + 3 = 3*g + 1, -2*u + g = y for u.
-2
Let p = 12 - 7. Suppose p*u - 2*u = -1020. Let n be (-2)/(-7) - u/35. Solve 4*a - m = -n, -5*m - 2 + 8 = 2*a for a.
-2
Suppose -u + 2*h + 11 = -2, 5*u = 3*h + 30. Solve l + 17 = 4*f, -u*l - 12 + 5 = -f for l.
-1
Let l = 11 - 4. Let f(u) = -u**3 + 7*u**2 + u - 2. Let k be f(l). Solve 4*r + 5*d = -2, 2*r - 2*d = k*r - 2 for r.
2
Let n = -3 + 7. Suppose -3*m + 4*m - n = 0. Solve -l - 2 = -5*o + l, 0 = -m*o - l + 12 for o.
2
Let f = 0 + 3. Suppose -2*m - 2*v - f + 13 = 0, -2*v = 5*m - 22. Solve 3 = w - m*y, 4*y = 5*w - y for w.
-1
Let s = 54 - 50. Solve 5*c = -8 - 12, -2*c = 4*x - s for x.
3
Suppose 2*v = 3*l - 9, 2*v + 3 = 4*l - 5. Let y be (-12)/(-2) - 24/6. Let f be -3*1*y/v. Solve t + 3 = -5*g, -4*g + g = t + 