-2, 2 = -3*p - a*m for p.
-2
Let p(z) = -2*z**3 + 13*z**2 - 5*z + 13. Let y be p(6). Let k = y + -7. Solve 4*o - 4*m + k = 0, -2*m - 13 = 5*o - 5*m for o.
-2
Let y(q) = -q + 15. Let u be y(13). Solve 6*p + 20 = 2*p - 3*v, -3*v + 10 = -u*p for p.
-5
Suppose -11*x + 103 - 81 = 0. Solve g + 10 = 3*g + 3*k, x*g = 2*k for g.
2
Let w(l) = -l. Let m be w(-5). Let z = 17 + -15. Solve p - m*p = -u - 11, -2*u - 4 = -z*p for p.
3
Let s be (5 - (-147)/(-28)) + 810/8. Let n = 104 - s. Solve -2*o + n*d = 19, 2*d - 6*d = -3*o - 26 for o.
-2
Let l be (3/(-2) + 2)*0. Suppose l*r + r = 2. Suppose -3*o + 5 = -28. Solve -r*g + 4*g = -2*s + 6, 0 = -3*g - 2*s + o for g.
5
Let z be -67 - -66 - -7*1. Let x be (-4)/((-4)/(-6)*-3). Let j(k) = 2*k - 2. Let n be j(x). Solve -3*o = -n*o + 3*t - 2, 3*o + 4*t - z = 0 for o.
2
Suppose 14 = 3*h + 8. Solve h*l = 3*k - 13, -l + 6*l = -5*k + 5 for k.
3
Let b = 27 + -27. Let h(c) = 5*c**2 + b*c**2 + 0 - c + 0. Let o be h(1). Solve 5*s + 3*l - 11 = o*l, -7 = -s - l for s.
3
Let v(g) = g**3 - 5*g**2 + 5*g - 8. Let q be v(5). Suppose 5*c - 158 = d, -4*c = -2*d - q - 107. Solve -2*p - 8 = -2*s, 5*p = -3*s - c + 12 for s.
0
Suppose 19 + 37 = 8*d. Solve -4*b = 4*h + 16, -5*b + d - 23 = h for h.
-1
Suppose -6*g = -5*g - 108. Let v = g + -104. Solve -5*d - 3 = -8, 0 = v*n - 4*d for n.
1
Suppose 51 - 81 = -10*i. Solve h = i*q - 8, 2 = 3*q - 3*h - 4 for q.
3
Let o(z) = z**3 - 8*z**2 - 9*z - 7. Let r be o(9). Let x be (-84)/(-10) + (98/35)/r. Solve -3*c - x = 4*y - 3*y, 4*y = -4*c for c.
-4
Let o = 1420 + -1401. Solve 2*r + o = 5*l, -7*l = 2*r - 11*l + 14 for r.
3
Suppose 4*t - 26 = 5*h, -4*h + 6 = -2. Suppose -t = w - 4*w. Suppose 0 = o + 3, -2*k + w*o = 2*o - 13. Solve -16 = 4*c, -22 + 1 = k*g + 4*c for g.
-1
Let t be 3/(((-1)/(-2))/(42/18)). Solve -t*w = -19*w + 5*o + 20, 2*o = 4*w - 16 for w.
4
Let w = 146 - 143. Solve -n + 10 = -5*d, 3*d + w*n + 6 = -2*n for d.
-2
Let u(c) = c**3 - 12*c**2 + 14*c - 21. Let r be u(11). Suppose -3*q - 16 = 20. Let h = q + r. Solve -b - 1 = 3*d, h*d - 4*d + 8 = -b for d.
1
Let w = -26 + 34. Let a = 0 + 0. Suppose -3*d - d + w = a. Solve -2*n - d = -2*r, -5*n + 4*r + 4 - 10 = 0 for n.
-2
Let p be (-39 + 1)/(3/(-3)*-1). Let w = 41 + p. Solve -2*n - 22 = 6*j - j, 2*n = w*j + 10 for n.
-1
Suppose 3*p = j + 16, -5*j + 0*j = 3*p + 8. Let u(w) = -w**2 - w + 8. Let b be u(0). Let k = 11 - b. Solve -5*x - k = -5*a - 13, -3*x - 29 = p*a for x.
-3
Suppose 3*f + 4 - 10 = 0. Suppose -2*m + 4 + f = 0. Solve 3*g - 4*g + m*z = 3, -4*z = -5*g - 4 for g.
0
Let j be (26 - 24) + -1 + 2 + 6. Solve 5*w - 3*n - 4 = 0, -5*w - n + 1 - j = 0 for w.
-1
Suppose 2*p + 4 = 4*d - 4, d = 3*p - 3. Suppose 26 = 6*s + p. Solve -6*y - 25 = -5*l - 2*y, 0 = -l - s*y - 19 for l.
1
Let x be 0 + (-12)/22 - (-1248)/352. Let v be 1/(-2*(-1)/12). Let m(b) = b**2 - 5*b - 1. Let d be m(v). Solve x*q = 2*q + d, -5*c + 2*q = 0 for c.
2
Suppose 5*z = -5*s + 120, -4*z + 5*s + 115 - 10 = 0. Let k = z - 22. Solve -b = -t, -2*t - k*t - 18 = 4*b for t.
-2
Let g(u) = 5*u - 2. Let h be g(4). Suppose -2*n + 7 = 1. Let v = -1668 - -1690. Solve 3*k - z - 2*z = -h, 0 = -n*k + 4*z - v for k.
-2
Let k(d) = -98*d - 193. Let c be k(-2). Solve -c*s + 6*s = 4*i - 14, 3*s = i + 1 for s.
2
Suppose m + 0 + 12 = 3*u, 0 = -4*u + 3*m + 11. Solve -u*d + 2*x - 22 = 0, 3*x = 4*x - 1 for d.
-4
Let u = -2009 + 2028. Solve 4*a = -3*n - u, 0 = 5*a - 8*n + 12*n + 24 for a.
-4
Let f(n) = -2*n**2 - 5*n - 6. Let g be f(-4). Let c = 48 + g. Solve 0 = -5*p + 3*u - c, -2*p + u - 4*u = -9 for p.
-3
Let g = -81 + 113. Let o = g + -19. Let y = o - 8. Solve -5*c + 3*c + y*x - 33 = 0, -x - 15 = 5*c for c.
-4
Suppose -9*s = -s - 248. Suppose 0 = -3*l + s + 5. Solve 5*x = b - 3 - l, 5*x = -4*b - 15 for b.
0
Let i be (-1)/(-6) - 88/(-48). Let a be (-2 + 3)*3/(-1 + i). Solve 14 = 3*w - t, 3 + a = 2*w + t for w.
4
Suppose 5*z = 4*f + 23, 0*f + 1 = z - 2*f. Let c(i) = 3*i - 4 + i**2 + 4 - z. Let x be c(-5). Solve -w = -r - x*w, -3*r = -4*w for r.
0
Suppose 7*q - 5 - 16 = 0. Suppose -1 = -v, 5*r + q*v = -0*r + 23. Solve 7*c - 3*c + 4*k = -12, 4*c - 12 = r*k for c.
0
Suppose 5 = 3*n + 2*n, 1 = 2*p - 3*n. Suppose -4*j + p*j = 2*z, -4*z - 2*j = 0. Let f be (-1)/(2/(-10)*1). Solve -3*i - 4 = 4*q, -5*q - 5 = f*i - z for i.
0
Let g(h) = h**2 + 2*h - 17. Let p be g(-9). Let i = -41 + p. Solve -5 = 2*l - r, 0 = i*l - 0*r - 2*r + 11 for l.
-1
Suppose 0 = -13*x + 149 - 58. Solve -3*f = 6 - 3, -2*o + x = -f for o.
3
Let d = -1 - 3. Let l = d - -8. Solve 0 = 2*p - t - 2*t - 8, 0 = -2*p - l*t - 6 for p.
1
Suppose -4*f + 154 = 4*h - 2*h, 0 = 2*f - 3*h - 57. Let g be (-4 - (0 + -4)) + f. Solve 6*t + 5*l = 2*t + g, -5*l = 2*t - 28 for t.
4
Let g = -14 - -17. Let h(p) = -p - 8 + p + g*p + p**2 + 0*p. Let i be h(-6). Solve 5*s = v - i, -2*s - 4 = -2 for v.
5
Suppose -q - 2*o = -6, 4*q = -6*o + 4*o + 12. Solve 0 = t + 5, s + q*t + 13 = 0 for s.
-3
Suppose 8*b = 12*b - 12. Suppose b*d = -4*w + 15, -d + 4 - 6 = -w. Solve 4 = -q + r - 1, 5*q + w*r - 15 = 0 for q.
0
Suppose 2*y = -4*d + 8, -4*y + 8 + 4 = 4*d. Let g be d + (36/10)/((-21)/(-70)). Solve 2 = -2*z - 4*l, 3*z - g + 4 = -2*l for z.
5
Let y be -5*(2 + 13/(-5)). Let b = y - 0. Suppose -a - 24 = -5*c, -4*a = b + 13. Solve -3*d = -4*j + 7, c - 1 = -2*d + j for d.
-1
Let f be 0 + 1 + 64/64. Solve -9*h + 10*h - 1 = 4*m, 2*m + f = 2*h for h.
1
Let s = 3 + 2. Suppose -4*o - s*o = 0. Solve 2*u = -10, o = -2*r - 3*u - 9 - 4 for r.
1
Let x be 513/133 - 2/(-14). Solve 5*t = 3*q + 31, 11 = 5*q + 5*t - x for q.
-2
Suppose 10*b - 72 - 78 = 0. Solve -v - 7 = 2*w - 3, 0 = -5*w - b for v.
2
Let c = -21 + 22. Solve -3*k - 3*d + 9 = 0, k + 0 = 3*d - c for k.
2
Let i be (2 - 1)/(4/60). Suppose -i*k + 15 = -10*k. Solve w + k*a - 23 = -2*a, -5*w = -5*a + 5 for w.
3
Suppose 7*z = -1 + 190. Let k = -18 + z. Solve 3*p + 3*v = 3, 2*v - 6*v + k = 5*p for p.
5
Suppose d + 3*k = -34, 3*k = d - 3*d - 59. Let i = 79 - 121. Let h = d - i. Solve -4*u - h = -5*b, -2*b + 4*u + 0 + 2 = 0 for b.
5
Let i(n) = -2*n + 14. Let z be i(0). Let m = 10 + -5. Solve -3*u + 0 = 4*x - z, 33 = -4*u + m*x for u.
-2
Let g = 14 + -10. Suppose 3*v + 4*z = -0*z, -z = -g*v. Suppose v = w + 4*y - 3*y + 1, 3*w - 2 = 2*y. Solve w*u = 4*u + 4*c - 16, 0 = -5*u - 4*c + 19 for u.
3
Suppose 108 = -5*t + 32*t. Solve -5 = 5*q + t*z + 9, -2 = 2*z for q.
-2
Suppose -5 = 4*z + 47. Let s = z + 16. Solve 0 = -s*n + 3*o + 12, -2*n + 5*o - 4*o + 8 = 0 for n.
4
Let f = -61 + 38. Let d = 25 + f. Let l be (2/(-5))/((-1)/5). Solve l*n - 3*q = 6*n - 20, 8 = d*q for n.
2
Suppose -14*r = 34*r. Let l be (-1 - 0)/((-1)/3). Solve r = l*n - 3*w - 2*w - 34, -2*n - 5*w = 19 for n.
3
Let t = 44 + 39. Suppose 5*s = -28 + t. Let q = 1 - 1. Solve -3*l - b = 2*l + s, -5*b + 20 = q for l.
-3
Let c(u) = -2*u**2 + 7*u + 9. Let h be c(7). Let f = -58 - h. Let s be (-30)/(-135) - 104/f. Solve -2*n - 4 = -q, 4*q + s = -4*n - 2 for q.
0
Let r(b) = b**2 + 8*b + 18. Let q be r(-3). Suppose 3*g + g - 16 = 0. Solve g*l + q*d - 1 = 0, -3 = l + 2*d - 2 for l.
1
Let n(r) = -r**2 + 8*r - 12. Let c be (-10)/3*21/(-14). Let w be n(c). Solve -12 = -2*v - 2*v + 4*o, -2*v + 5*o = -w for v.
4
Let u be (252/70)/(1/5). Let w be ((-10)/30)/((-2)/u). Solve -w*v = -5*y + 3, 5*v + 3 = 5*y + 8 for v.
4
Let j be (-187)/(-55) + 6/10. Suppose u - j*u - 3 = -3*o, 2*u - 13 = -o. Solve 17 = -t - o*a, -3*t - a - 6 = 3 for t.
-2
Let p = 119 + -117. Suppose -4*h - h = -p*h. Solve -b = 5*q - 14 - 3, h = -2*b + 4*q - 22 for b.
-3
Let o(h) = h - 3. Let g(n) = 3*n - 5. Let s(t) = 2*g(t) - 5*o(t). Let u be s(0). Let w be 2 + u/3*3. Solve -3*j + m = w, -4*m - 2 + 3 = -3*j for j.
-3
Suppose 5*v = 2*v + 3*i - 87, -v + 5*i = 9. Let z = -12 - v. Solve -5*j + 40 = 4*n, j - z = -2*n - 2*j for n.
5
Let v(n) = n**2 - 9*n - 7. Let j be v(8). Let g = -13 - j. Suppose g*b - 4 = -0*b. Solve 3*p + 10 = -4*l, 5*l = b*p + 9 - 33 for p.
2
Let b be (-112)/(-504) + (-32)/(-18). Solve 19 = x + 4*r, b*r - r - 9 = 4*x for x.
-1
Let g = -37 + 40. Suppose 5*m - 2 = -g*d - 3, 4*m = 3*d + 10. Let f = 2 + d. Solve 3*o + 2*h + 22 = f, -3*o - 2*o - 25 = h for o.
-4
Let l(j) = -6*j - 32. Let k be l(-6). Suppose 16 = 2*v + 4*p, 0 - 14 = -v - k*p. Solve -v*t - 2*u - 8 = 0, u - 3*u - 10 = 4*t for t.
-1
Let u = -146 - -21. 