 - (12/o + -4). Solve -5*m - 1 = 5*p + 19, -a*m - 15 = 0 for p.
-1
Suppose -8*m = -0*m - 32. Solve 0*k = -5*t - m*k, 2*t = 3*k for t.
0
Let p be 1 + (4/(-8) + 1)*-2. Let k(d) = -d**2 + 6*d - 2. Let n be k(4). Let g = 26 + -14. Solve -y + m = -n, -y - 3*y + m + g = p for y.
2
Let d(s) = 2*s + 14. Let f be d(-6). Let k be (3/(-9))/(1/(-6)). Solve 2*a + k*a - 3 = -3*q, -q - f*a + 1 = 0 for q.
1
Let k = -9 + 10. Let q = 9 - 4. Solve -j - 1 = c, -6*c - q*j - k = -5*c for c.
-1
Suppose 0*g + 3*g = 9. Let d = 76 + -52. Solve -3*t - 10 = -y + 2*t, 3*t = -g*y - d for y.
-5
Suppose -2 - 6 = -2*n. Solve -2*b + m - 7 = 0, -n*m - 1 = 3*b + 4 for b.
-3
Let z = -52 - -36. Let u be (12/z)/(2/(-8)). Let v = u - 3. Solve v = -r - 1, 2 - 6 = -2*h - 2*r for h.
3
Let m(g) = 7*g**3 + g. Let w = 4 - 3. Let a be (w - 2)*(-1)/1. Let l be m(a). Solve 2*p = -x + l, 5*x + 3*p + 0*p = 12 for x.
0
Let c = -3 - -3. Suppose -2*v + 4*b = -0*b - 28, v + b + 1 = c. Solve 3*g - 6*g + 29 = -v*y, -2*g - 5*y - 19 = 0 for g.
3
Suppose -t - 7*v + 3*v - 7 = 0, 5*t - 3*v + 104 = 0. Let o = t - -20. Solve 5*q + 0*d - o = -d, 0 = -4*q + 5*d + 24 for q.
1
Suppose 0 = -17*w + 24*w - 28. Solve -2*n = -4*q + 24 - 2, w*q - 17 = -3*n for n.
-1
Let a(s) = -s - 2. Let m be a(0). Let b = 5 + m. Solve -5*d + 0*r + 24 = -2*r, -b*r = 2*d - 2 for d.
4
Let u(v) = 5*v**2 + 7*v + 7. Let j be u(-1). Solve -9 = 4*i - m, 17 = -3*i - j*m - 7 for i.
-3
Let v(j) = j**2 - 4*j - 4. Let h be v(5). Suppose 0 = -0*l + 2*l. Suppose l = -0*g - 2*g + 20. Solve 5*y = 5*w - g, 0 = -2*w + 5*y + h for w.
3
Let a = -78 - -83. Solve 2*o = 2*p, 0*o + 2*o = a*p + 6 for o.
-2
Let b(y) = -y - 19. Let k be b(-24). Solve -3*m - 16 = -q, 5*m + k*q - 13 + 33 = 0 for m.
-5
Suppose 0*d - 6 = -3*d. Suppose 4*u + 2 = -2*j, d*u = 5*j - 3*j - 16. Let k be (u/(-4))/((-2)/(-8)). Solve -4*z = -3*x + 20, 3*x - k - 7 = -z for z.
-2
Let m(h) = h**2 + 3. Let x be m(0). Let j(l) = l + 9. Let q be j(-7). Suppose -3*v = -5*n - 5 + q, -2*n - v = -1. Solve n*w + 14 = -5*a + w, a - x*w = 0 for a.
-3
Let s(m) = m**3 + 19*m**2 + 16*m - 22. Let x be s(-18). Solve 4*q + 0*z + 2*z = 0, 0 = -3*q - 5*z + x for q.
-2
Let u be 4 - (22/(-18) - 4/(-18)). Solve -4*i = -8, 0 = -4*b + 2*b - u*i + 14 for b.
2
Let v(r) = -r**2 - 2*r + 6. Let h be v(0). Let g(i) = 2*i**2 - 10*i - 3. Let x be g(h). Solve -f - x = -3*a, -5*f = 4*a + 5 + 2 for a.
2
Let h = -6 - -9. Suppose -h*t + 9 + 0 = 0. Solve 4*v + 5*k = 32, 8*v - 3*v = t*k + 3 for v.
3
Let a = -146 - -150. Let k be ((-6)/15)/((-1)/5). Solve -2*n = -3*r + k, -2*r - a*n = -r - 10 for r.
2
Let i(l) = 2*l + 7. Let c be i(-3). Solve -p - c = -4*v - 2*p, 15 = 3*v - 4*p for v.
1
Suppose -4*f + f = -4*t - 17, 14 = 2*f - 4*t. Let j(h) = h**2 - 2*h - 1. Let i be j(-1). Solve 10 = 6*q - 4*q - i*p, -p + 15 = f*q for q.
5
Let s(n) = n**2 + 3*n - 8. Let u be s(-6). Suppose 3*g + 4*h = -7, -2*g - 4*h - u = -0*g. Solve 0 = -3*j - 15, 0*v + 4*j + 32 = -g*v for v.
-4
Suppose -3*d - 15 = -0*o + 3*o, 14 = -2*d + 2*o. Suppose 109*y = 112*y + 27. Let j be -1 + 2/(d/y). Solve -u - 4*x = 6 + j, -6 = -u + 3*x for u.
0
Suppose 14*q = 25*q. Solve q*o + 18 = -2*y + 5*o, 3*o - 6 = 0 for y.
-4
Let z(h) = -7*h**2 - 19*h - 13. Let k(v) = 3*v**2 + 9*v + 6. Let t(x) = -13*k(x) - 6*z(x). Let n be t(2). Solve 2*m - 4*p = -0*p + 6, -n = -2*m + p for m.
3
Suppose q = 5, -6*f + 2*f - 49 = -q. Let t = f - -8. Let s be 2/(-1) - (t + -1). Solve c - s*c - 7 = 3*l, 5*c = -3*l + 1 for c.
2
Let y = 1 + -1. Let c = 7 + 0. Suppose -3*u - 56 = -c*u. Solve -a + 10 = 2*n, y*a + u = a + 3*n for a.
2
Suppose -4*k - 4*a + 18 = -2*k, -k - 6 = -a. Let d = 3 + k. Suppose 0 = -4*p + 2*p. Solve -2*m + 4*z - 14 = p, 0 = 3*m - d*z - 3 + 12 for m.
-1
Let l = -5 - -33. Suppose 0*p = -3*p + k + 18, l = 5*p - k. Solve 3*j + 2*q + 33 = 8*j, -q = -p*j + 29 for j.
5
Let d(r) = -r**3 + 4*r**2 + 6*r - 2. Suppose 0 = 5*m - 14 - 11. Let u be d(m). Solve 14 = u*g + 4*s, -3*s = -5*g - 7*s + 18 for g.
2
Let h = 9 - 7. Suppose -h*b - 3*s = -1, -5*s = 5*b - 17 + 2. Suppose b = -2*d, -3*d = -2*t - 2*t + 24. Solve 0 = -q - t*x + 17 + 2, -2*x = -10 for q.
4
Suppose 3*b + 2 = 4*b. Solve -4*u + 2 = 2*r - 2*u, -b*u = r + 1 for r.
3
Let n(w) = 0 - 6 + 4*w + 2 + 1. Let c be n(4). Let i = 37 - c. Solve 4*l + 4*x + x - 3 = 0, -4*l - i = -4*x for l.
-3
Suppose 3*n - 6 = -3*t - 0*n, -2*n = 2. Suppose -u = -5*c - 29, 0 = t*u + 4*c - 1 + 9. Solve 1 = -2*p + 3*v + 4, 5*v + 3 = u*p for p.
-3
Let c = -96 + 101. Solve -j + c*a = -4, -4*j + 5*j - 4 = -3*a for j.
4
Let d(b) = -b**2 + 8*b + 5. Suppose -40 = -5*w - 2*h, 3*w + 2 = -4*h + 26. Let s be d(w). Let j = -1 + s. Solve -z - 16 = -4*q + 3*z, 0 = z + j for q.
0
Let l be (-5 - -2)/(1 - 2). Suppose -4*c + w + 29 = 0, 29 = 2*c - 5*w + 10. Suppose 3 = 5*j - c. Solve 4*k = j*m + 12, -l*k + 2*k + 12 = 4*m for k.
4
Suppose -17 = -5*v + 3. Suppose -2*f + v = 0, 2*o = -o + f + 73. Solve -o = 2*j - 5*n, -2*j + 6*j - 5*n = -25 for j.
0
Suppose -37*l + 35*l = -4. Solve 5*g - 20 = 4*k, 0*g + 10 = -2*k - l*g for k.
-5
Let x be (-4 + 3)/(2 - 1). Let i = 3 - x. Suppose -i*u - 10 = 2*y, 4*y - y - 12 = 3*u. Solve 3*r - 5*c = y, 2*r - c - 5 = -2*c for r.
2
Let n = 63 + -58. Suppose -3*m + 0 = 4*u + 1, 3*m = -9. Solve -3*v + u*s = -25, -2*v + 3*s - n*s = 0 for v.
5
Let g be (-32)/(-14) + 6/(-21). Suppose 0 = -g*m + m + 4. Solve 3*v + 0*v - 1 = -2*y, 0 = m*y - 2*v + 22 for y.
-4
Let q(s) = 5*s + 3. Let r be q(0). Solve 2 = r*f + 5, 0 = i - 5*f - 10 for i.
5
Suppose 8*p = 6*p. Suppose p = -5*r + 15. Solve -5*y + 3*c = 24, r*c = y - 0*c + 12 for y.
-3
Let s be ((-240)/25)/(2/10). Let g be 3/(-1) - s/6. Solve k + c = 2*k, g*k + 5*c + 10 = 0 for k.
-1
Let z(m) = -m**2 - 9*m - 8. Let d be z(-7). Let g be (-4)/(-6) - (-20)/d. Solve -8 = 4*b + l, -g*b + 8 = -l - 2*l for b.
-1
Let z(l) be the first derivative of l**2/2 - 5*l - 1. Let h be z(7). Let a be (-2)/3*(2 - 8). Solve a*o + 5 = 3*v, 2*v + h*o = 9 - 1 for v.
3
Suppose -3*m = -m - 5*z - 22, -5*m - 5*z - 15 = 0. Let g = 3 - m. Solve g*a - 3*a + 2*i - 15 = 0, i - 20 = 3*a for a.
-5
Let p be (-2 - (2 + -7))*-6. Let t = -11 - p. Suppose -4*n - 3*g + t = 0, 5*n - 4*g = -2*g + 3. Solve -4*z + 3*m + n = 0, -2*z + 2*m = 3*m - 3 for z.
1
Let p = 69 - 49. Solve h = 5*h - 3*m + 28, -2*h + 3*m = p for h.
-4
Let l be 9/((-1)/(-1)) - 0. Solve -i - l = 5*s - 0*i, 0 = -2*i + 2 for s.
-2
Let x = -26 + 47. Solve x = 5*t + 2*i, 2*t - i + 18 = 6*t for t.
5
Let r be (-55)/25 + 3 - (-86)/5. Solve 4*l + w - r = 0, -5*w + 4*w - 6 = -2*l for l.
4
Let q = 49 - 29. Suppose 2*v + 4 = 2*b - 8, 2*b = 4*v + q. Solve 0 = -b*l - 0*p + p + 2, 2*l = 2*p + 6 for l.
-1
Let d = -25 - -9. Let s = d - -31. Let q be (-4)/(-2) - (-1 - 0). Solve -4*k - q*f - s = 0, 2 + 8 = -3*k - 2*f for k.
0
Let c = 15 + -5. Let k be ((-24)/c)/((-2)/10). Let v be k/7 - 6/(-21). Solve 3 = -3*t - 4*a, 2*t = 5*t + v*a + 3 for t.
-1
Let w be (-1)/(2/(-3 + -3)). Let c = -4 + 6. Solve -a - 3*n - 5 = 0, w*a - n + 3 = c*n for a.
-2
Suppose -3*q + 7*q - p = 6, 0 = 5*q - 5*p. Solve 11 = a - 3*u, -q*a = u - 4*u - 7 for a.
-4
Let q = -38 + 52. Solve a = y - 2, q = -5*a + 2*a + 5*y for a.
2
Let y(z) = z**2 - 3*z - 7. Let x be y(5). Solve x*d + 9 = -o - 2*o, -3*d = 5*o + 11 for o.
-1
Suppose 0 = -8*o + 30 + 2. Solve 4*z + 18 = -2*q, 0*q = -4*z - o*q - 20 for z.
-4
Let n(u) = 3*u + 3. Let j be n(-1). Solve 3*l + q = -19, -4*l + 0*q - q - 24 = j for l.
-5
Let p(g) = g**2 - 18*g + 14. Let j be p(18). Solve 3*v - 19 = v - 5*b, 3*v = b - j for v.
-3
Let i(l) = 3*l**2 - 20*l - 2. Let r be i(7). Let f(u) = 10*u**2. Let h be f(1). Solve -h - 12 = 3*j + r*y, -y - 6 = -j for j.
1
Let n be (-279)/39 + 2/13. Let g = n - -7. Solve 0 = -2*t - 2*y + 6, g = -4*t - t - 4*y + 10 for t.
-2
Suppose 0 = 3*u - 0*u - 12. Let i be (4/5)/((-2)/(-10)). Solve -14 = -5*j + i*f, u*f = -j - j for j.
2
Suppose 2 = 3*m - m. Suppose -b + 16 = -m. Solve 2*c - f = 2*f + b, 5*c + f = 0 for c.
1
Let a(y) = y**2 + 2*y - 3. Let p(x) = -x**2 + 3*x + 5. Let r be p(5). Let s be a(r). Solve -3*i + 6*i = 9, 2*o + 2*i - s = 0 for o.
3
Suppose -4 = u - 8. Solve -3*s + 2*g + 2 = -u, 5*s = -g + 10 for s.
2
Let x(i) = 5*i + 2. Let p be x(-2). Let t be 6/10*(-40)/p. Let u be 29/4 + t/4. Solve -3 = 4*z - v - 7, 2*v = 4*z - u for z.
0
Let q(h) = 