= -4*p, 2*p - 4*i = 16 for p.
4
Suppose -4*h = 3*c - 18 - 23, 4*c = h + 23. Solve 2*f - 12 = 2*k, 2*k - c*k = 4*f + 12 for f.
2
Let m = -9 - -16. Suppose -x = -0*x - m. Let h = x + -3. Solve -h*r + 2*o + 8 = 0, -r + 5*o - 28 = -3*r for r.
4
Suppose -5*a + 3*f = -29, 6*a = 3*a + 3*f + 21. Let l be (-9 + -1)*a/(-8). Suppose 2*u + 1 - 5 = 0. Solve -2*q + l*c = 2*q - 4, 0 = -2*q - u*c + 2 for q.
1
Suppose 2*m - 8 - 6 = 0. Suppose 0*j = -4*a - 3*j + 11, -a = 4*j + m. Solve -2*u = -w - 3 + 1, -5*w = -a*u for w.
2
Let j(m) = -m - 5. Let h be j(-6). Let u = h + 2. Let x be 0/8 + (-4)/(-2). Solve -x*v = -5*r - 18, u*r + 9 = 3*v - 0*r for v.
-1
Let r(u) = -u**2 + 8*u - 8. Let t be 8/12 + 16/3. Let i be r(t). Solve 2*p = -y + 5, 2*p + i*y + 2 = 10 for p.
2
Let u be 2*(6/4)/1. Suppose 7 = 2*z - 11. Suppose z*n - 4*n = 0. Solve -5*r = 3*k, -2*k - u*r + 1 = -n*k for k.
5
Let g = 0 + 1. Let v = 1 + g. Suppose -2*j = 2*p - 7 - 21, 5*p = -15. Solve -r + 0 = -v*w - 6, 5*w + j = 3*r for r.
4
Suppose -2*z - 6*p + 2*p = -14, 5*z = -4*p + 35. Suppose -3*m + 12 = s, -3 = -5*m + z*m - 3*s. Solve -5*n = -7*a + 4*a - 21, -m*a = 3*n - 3 for a.
-2
Let x(a) = -2*a**2 - 10*a. Let q = 11 + -18. Let v be x(q). Let t = -18 - v. Solve -5*k - t = -5*f, -2*f + 5*k = k - 4 for f.
2
Let k(a) = a**3 + 2*a**2 - 3*a - 1. Let m be k(-2). Solve -2*q - p + 3*p = 12, -m*q = 2*p + 16 for q.
-4
Suppose -6*l + 16 = 2*l. Solve -3*i = -l*f + 7, 3 = f - 0*f - i for f.
2
Let o(t) be the second derivative of t**4/12 - t**3 + t**2 + t. Suppose 21 = 3*m + 3. Let u be o(m). Solve -5*f = -5*r + 35, f + u = -3 for r.
2
Let g(x) = -x**2 + 5*x + 3. Let p be g(6). Let d be p/(3/(-9)*3). Solve -t - 12 + 0 = 4*v, -3*v = d*t + 9 for t.
0
Let p(o) = 7*o**2 + 3*o + 2. Let a be p(-1). Suppose a*k = 3*k. Solve 6*x + 35 = 5*b + x, -5*b - x + 5 = k for b.
2
Let h(m) = -m**3 + 3*m**2 - 1. Let u be (-10)/(-4) - (-5)/(-10). Let v be h(u). Solve -2*q + 6 = -3*q - v*t, 0 = -3*q - 2*t - 11 for q.
-3
Suppose 4*r - 6*r + 720 = 0. Suppose -n + r = 4*n. Let a = n - 47. Solve 5*p + 0*h = 3*h - a, p + 4*h = 18 for p.
-2
Let r = 10 + -7. Suppose -i - 1 = 2, 0 = -j - 2*i - r. Suppose 29 = j*x - 31. Solve -5*h + x = 4*s, 7 = 5*h + 3*s - 8 for h.
0
Let f = -71 - -85. Solve 5*s = 2*k + 5, 3*s - f - 10 = -3*k for k.
5
Suppose -5 = -4*a + 15. Solve -a*y = -5*w + 10, 0 = -4*y + w + 4*w - 5 for y.
-5
Let d = 7 + -4. Suppose 4*b + 1 = -3*f - 7, 0 = -5*f + 2*b + 4. Let m = 1 + f. Solve u = -m, -5*g + 6*u = d*u - 28 for g.
5
Suppose 200 = 2*m + 3*m. Suppose -4*s + m = -3*s. Solve -h = -4*t - 6*h + s, -5*t + 4*h + 9 = 0 for t.
5
Let g(p) = p**2 - 22*p + 62. Let b be g(19). Solve -b*y + 2*n - 4 = 0, -3*y - 4*n + 8 = -8*y for y.
0
Let v be (8/12)/(1 + (-8)/12). Solve -4*m = -f + 5*f - 4, -v*f + 22 = -3*m for f.
5
Let b(p) = -4*p - 3*p**2 + 42 + 4*p**2 - 41. Let k be b(5). Solve -3*v + 4 = k*h - 2*h, -h = v for v.
-4
Let g(a) = a**3 + 3*a**2 + a - 2. Let f = -16 - -14. Let i be g(f). Solve -5*p + z - 15 = -i*p, 0 = 5*p + 3*z + 35 for p.
-4
Suppose 0*z = -4*z + 8. Solve 0*o - o = 2*t - 13, -t + 11 = z*o for t.
5
Suppose -9 = -5*g + 11. Solve -5*b + 4*s + 15 = -g*b, -2*b = -4*s - 14 for b.
-1
Let r(k) = -2 - 4*k**2 + k - 4*k**3 + 5*k**3 - 2*k**3 + 2*k**3. Let x be r(4). Let i = 0 + x. Solve -4 = 5*m + 2*w, i*w + 1 + 3 = 5*m for m.
0
Suppose 0 = 3*d - 0*d + 15. Let n be 2/d - 12/(-5). Solve -n*f - 10 = -k - 3*k, -5*k + 2 = f for f.
-3
Suppose -2*l + 39 = 11. Solve 3*m + l = 5*m + 4*i, 5*m + 4*i - 5 = 0 for m.
-3
Let v be (9/36)/((-2)/(-88)). Suppose -b = 3*n + 9, 3*n + v - 2 = 3*b. Solve b = -5*k + 2*h + h + 26, -3*k + 18 = -3*h for k.
4
Suppose 3*s + 15 = 8*s. Let h = 8 + 21. Solve h = -2*g + s*p - 8*p, -3*g + p - 1 = 0 for g.
-2
Let i = 8 - 8. Suppose -j = -i*j - 3. Solve m - 9 = -3*g - j*m, -3*g - 5*m + 12 = 0 for g.
-1
Suppose 44*k = 41*k + 6. Solve w = -k*l - 0*l + 6, 0 = -3*w - 2*l + 14 for w.
4
Suppose -6*a - 6 = -5*a - 2*i, -i + 9 = a. Solve -2*o = -l + a, -o + 0*o + 4 = l for l.
4
Let q be (4/7)/((-18)/(-63)). Solve 4*x - 12 = -q*j, -3*j = 4*x - 5*j - 20 for x.
4
Let q be (-3 - -4)*(-22 - -1). Let t be (-7)/q - (-7)/(-3). Let h be ((-2)/t + -2)*-2. Solve 5*b = -h*k + 5, 0 = -0*b + 2*b + 4*k - 18 for b.
-1
Let i(s) = s**3 - 8*s**2 - 9*s. Let z be i(9). Let d be z/(-3 - (3 - 5)). Solve -5 = r + 3*f, -r + 3*r + 2*f - 2 = d for r.
4
Suppose -3*p + 6 = -6. Suppose -3*u + 3 = -j - p*u, 4*u + 28 = 4*j. Solve 0 = -5*g + 5*q - 5, q + 7 = -g + j for g.
-3
Suppose -4*z = 2*q - 2, -q + 4*q - 9 = -3*z. Suppose 2*d = -2*l + 22, 21 - 1 = 4*l. Solve -j + 5*c = -2*j + d, -q*j + c = 22 for j.
-4
Suppose -4*h - 68 = -4*g - 6*h, -26 = -2*g - 3*h. Solve -5*x = 2*n + g, -x = x + 2*n + 10 for x.
-3
Let a(o) = o**3 - 14*o**2 + 3*o - 42. Let d be a(14). Solve -3*i + 3*m - 2*m + 12 = d, 4*i = -4*m for i.
3
Let m be (-2)/(-8) - (-19)/4. Suppose u - 3*u = 110. Let h = u + 84. Solve m*c = 5*l - l - 21, -4*l - h = 5*c for c.
-5
Let t(z) = z**3 + 5*z**2 - 2*z - 6. Let b be t(-4). Let a = b + -14. Solve 2*s - 2*l = -0*l + 10, 2*l = -a*s - 10 for s.
0
Suppose 0 = g + 3 - 2. Let r be 58*-1 - (-2)/g. Let h be (1/2)/((-2)/r). Solve -5*z - 5*k = h, 2*k + 0 + 2 = -z for z.
-4
Suppose r + 2 = -3. Let h = 10 + r. Suppose -j = -3*c + h, -j - 10 = -3*c + j. Solve -3*p - 5*a - 5 + 0 = 0, c = -4*p + 3*a - 26 for p.
-5
Suppose 0 = -l - l + 6. Solve -3*y - 15 = l*j, y + 2*j - 2 = -11 for y.
-1
Suppose -6*n + 18 + 0 = 0. Solve 3*v = n*m, 0 = -2*m + 6*m - v + 6 for m.
-2
Suppose -2*a = -4, -16 = -3*c - 0*a - 2*a. Solve 2*u + c*d = -2*u, -4*u + 10 = -d for u.
2
Let g(k) = -k**3 - k**2 - k + 3. Let y be g(0). Suppose 3*z - 9 = -y. Solve -6 + 18 = -z*i + 2*m, -5*i = -m + 10 for i.
-1
Let j(v) = -v - 7. Let u be j(-7). Suppose -9 = -3*x + 3. Let p(k) = -k**2 + 5*k - 2. Let q be p(x). Solve q*m + 3*a = -7 - u, -3*m = 4*a + 11 for m.
-5
Let z(b) = -2*b + 7. Let u be z(5). Let h be (u/(6/4))/2. Let x be (-1 - 1) + (h - -7). Solve 2*y - 10 = x*i + 14, i = -y for i.
-4
Let n = 46 - 51. Let q(m) = -m - 16. Let t be q(-7). Let g = n - t. Solve 20 = -4*x, -8*b + x + 1 = -g*b for b.
-1
Suppose -3*m + 1 = -8. Solve m*c - 3*s = -15, -3*c - s = c for c.
-1
Suppose l - 13 = -4*x - 0*l, -5*l = -25. Solve 4*y - x*s = -24, 4*s - 7 = 2*y + 17 for y.
-4
Suppose 0 = -6*n + 2*n + 20. Suppose n*z + 13 = -2*q - 4, -2*z = -2*q + 18. Solve -3*h + q*r = 2 + 3, r + 16 = -5*h for h.
-3
Suppose -3*l = -x - 0*l + 12, 2*l = -5*x - 8. Solve 13 = -x*h - 2*h + o, 3*h - 2*o + 21 = 0 for h.
-5
Let d(z) = 7*z**3 - 1 - 6*z**3 - z - 1. Suppose -2*x - 11 = 5*t, -2*x + 4*t + 6 = -5*x. Let b be d(x). Solve n + h + 6 = -4*h, -2*h - b = 2*n for n.
-1
Let j be (7/(7/2))/(-2). Let i be j + (-5)/((-10)/4). Solve -4*y = q - y + i, -q + 3*y + 5 = 0 for q.
2
Let a be 114/27 + 6/(-27). Solve -10 = a*r + 3*t - t, -5*r = -5*t + 35 for r.
-4
Let q = 19 - 14. Suppose 0*p + 4*p = -3*g + 20, -q*p - 6 = -4*g. Solve 0 = 5*b + 3*x - 2, 2*b + 4*x + 6 = g for b.
1
Suppose 6*j - 5 = 7. Solve -3*n - 9 = j*v, -3*n + 2*v = -2*v - 9 for n.
-1
Let z = -7 - -9. Suppose z*g = -4*g. Solve -8 = i - 2*i - 3*u, -5*i + 5*u = g for i.
2
Suppose 6*j - 3*c = 2*j + 22, 3*j + 4*c - 4 = 0. Suppose 5 = 2*p + 1. Suppose t + 8 = 4*o, p*o + 4 = t + j*o. Solve 3*y - 17 = 4*m, 2*y - y + m - 1 = t for y.
3
Let q be 0/(-2*1/2 - -2). Solve -4 = c - 0, -2*t - 2*c - 14 = q for t.
-3
Let x = 33 + -13. Suppose 2 = y, 4*y - x = -4*q - 0*y. Solve 4*t + 20 = n, q*n - 32 = -0*n + 5*t for n.
4
Let t = -15 + 19. Solve 5*z = -n - n - 5, 3*z + t*n = -3 for z.
-1
Let x be (-158)/(-6) + (-4)/12. Let n be ((-3)/6 - -1)*x. Solve 2*k - n = 3*b + 2, 10 = -2*b + 3*k for b.
-5
Let z(l) = l**3 + 5*l**2 - 5*l - 5. Let f be z(-5). Let w = -5 - -10. Solve -f = k - w*k - v, 0 = -3*k + 3*v + 15 for k.
5
Suppose -27 = -3*k - 4*x, 2*k + 3*x + 0 = 18. Solve -2*c - k = 3*t - 0*t, 0 = 3*t + 3 for c.
-3
Suppose 0 = -l + 3. Suppose l = -3*k - 0. Let m(y) = 3*y**2 + 2*y + 1. Let q be m(k). Solve -4 = 3*h + 2, 0 = 3*n + q*h + 16 for n.
-4
Let k(d) = -2*d. Let x be k(-1). Suppose j + x = 12. Let g(s) = s**2 - 5*s - 3. Let b be g(6). Solve 0 = -v - 3, 4*p - j = -b*v - 3 for p.
4
Let n be (2 - (-3)/1)/1. Let d be (6/n)/(3/10). Solve -d*l + 4*p + 1 = -11, p = 3*l - 3 for l.
0
Suppose -4*z - 56 = k, -2*k =