 + 21 for p.
-5
Let u = -1136 - -1138. Solve -31*s + 33*s - u*k - 2 = 0, -4*k = 4*s - 4 for s.
1
Let q(p) = 20*p + 274. Let u be q(-13). Solve -3*i + 2*i + 4*s - 18 = 0, i = 3*s - u for i.
-2
Suppose 0 = 62*q - 23*q - 117. Solve 3*b + 4*y - 11 = 0, 3*b = -2*b - q*y for b.
-3
Let y = -37 + 47. Suppose v + 4*v - y = 0. Solve -i - 18 = -5*d, -3*d - v*i + 19 - 3 = 0 for d.
4
Let k be 1/5 - 462/10. Let y = -46 - k. Solve y = 2*b - 3*n + 14, b + 4*n - 6 = -2 for b.
-4
Let y(m) = -2*m + 1. Let b(x) = 2*x**2 + 13*x + 5. Let w(u) = b(u) + 2*y(u). Let i be w(-4). Solve 5*k = i*j + 8, 5*j + 2*k = -1 - 2 for j.
-1
Let k(j) = -2*j - 6. Let i be k(-4). Suppose -55 = -15*u + 35. Solve 2*g + u = 0, -p + g + i*g = -12 for p.
3
Let z(u) = -u**2 + 5*u. Let b be z(3). Let m(n) = 24*n**2 + 47*n + 2. Let l be m(-2). Solve -3*w - 5 = -f, 3 = b*w - w + l*f for w.
-1
Suppose 0 = 2*k - 20*w + 22*w + 2, -k = 3*w + 11. Solve -2*j = -0*j - k, -3*u + 2*j + 11 = 0 for u.
5
Let x(i) = -i**2 - 5*i - 63. Let b be x(0). Let o be (18/b)/((-2)/14). Let n be 1 + -2 + (-1 - -4). Solve -z + o = z - n*p, -5*z + 23 = 4*p for z.
3
Let j = -229 - -239. Solve s = -s - 3*m + j, 4*s - 4 = 2*m for s.
2
Suppose -100*z = -7*z - 456 - 195. Let u = -54 - -85. Solve -3*s + 5*f = u, -s + 4*f - 3*f - z = 0 for s.
-2
Let k be -3 + (-16 + 24)*(-1 + 2). Solve -2*n - k*p - 14 = -0*n, -3*n = -3*p - 21 for n.
3
Let h(o) = -o**3 + o. Let a be h(-2). Solve a = 2*v, -n - 8*v = -3*v - 14 for n.
-1
Suppose -9*s = 11*s - 5940. Let r be (-4)/18 + 11/(s/6). Solve -8 = 3*j - 2*y, r = -2*j + y - 1 - 4 for j.
-2
Let a be 38/14 + -6 + (-220)/(-35). Solve f = -a*b + 11, f = -2*f + b + 13 for f.
5
Suppose 0 = -5*t - 5*c + 10, 2*t = 3*c + c + 4. Solve -3*y + 4 = 2*z - y, -2*y - t = 5*z for z.
-2
Let a(o) = 5*o - 4*o + 6*o**2 + 11*o**2 - 4 + 5. Let i be a(-1). Suppose 6*r - 9 = 5*r. Solve i = 3*h - 4*x - r, 4*h - 3*x = 23 for h.
2
Suppose -2*z + 3*z - 4 = 0. Let g = 125 + -110. Suppose g*c - 20*c + 25 = 0. Solve c*d + 2*w = -z, -d - 6 = -3*d + 3*w for d.
0
Suppose 4*k = j + j - 36, 0 = -2*j - k + 56. Solve -4*m = -3*o - j, o + 2*o + m + 1 = 0 for o.
-2
Suppose -224 = -147*i + 133*i. Solve -2*q - 18 = -2*p, -3*q + 2*p = 39 - i for q.
-5
Let k = 12 - 7. Suppose -g - 3 = 4*d - 25, -20 = -k*g - 2*d. Solve 0 = -3*n + 2*n + y - 2, g*y = 3*n + 1 for n.
3
Suppose d + 5 = 5*f, -2*d + f = -0*d - 17. Let z be (15/d)/((-2)/(-4)). Solve g + 3 = 3*n, z*g + n + 15 = -2*g for g.
-3
Let f = -460 + 464. Solve -5*m - 11 = 3*o - 3, 3*m = -f*o - 7 for o.
-1
Suppose -219*n = -223*n. Solve q + 2*m = 5, n = -5*q + 2*m + 2*m - 45 for q.
-5
Let x be (1/(-2))/((-2)/(-36)). Suppose -9*q + 95 = -31. Let h be (x + 14)*q/10. Solve 3*f = -h*t + 3*t - 10, -5*f + 2*t = -18 for f.
2
Let h(p) = -p**3 + 6*p**2 - 4*p - 5. Let q be h(5). Let o(l) = 1 + q + l + 2. Let d be o(0). Solve -2*c = -5*z + 23, d*z + 4*c + 4 = -3 for z.
3
Let z(a) = 2*a + 8. Let n = -5 + -3. Let o be z(n). Let h = o + 10. Solve 3*b - h = r, 0 = -4*r - 4*b + 15 + 9 for r.
4
Suppose -k - 2 = -6. Let o be 6 + ((-8)/(-2) - k). Solve o*y - y - 26 = -4*b, 0 = 5*y - 10 for b.
4
Suppose 397*d - 36 = 385*d. Solve -3*u - 4*n - 17 = 0, d*n + 6 = -u - 3 for u.
-3
Let r(y) = -y**3 + 7*y**2 + 4. Let b be r(7). Suppose -3*d - b*s = -21, 15 = 4*s + 3. Suppose 7*k - 2 = -2. Solve -5*t + d*g - 8 = -k*t, -t + g - 2 = 0 for t.
-1
Let j = 290 - 283. Suppose 4*l = 3*m - 0*m + 17, 11 = 3*l - 4*m. Solve 5*w = -l*h + 15, -h = -j*w + 2*w - 9 for w.
-1
Suppose z = -x - 8 - 1, x = -3*z - 3. Let k = -10 - x. Solve k*d + 24 = -4*j, 3*j - 4*j + 12 = -4*d for j.
-4
Let h(w) = w**3 - 8*w**2 + 13*w - 2. Let j be h(6). Solve 0 = -n - j*i + 12, 5*n - 3*i + 15 = 2*i for n.
0
Let v(t) = t**2 - 2*t + 4. Let u be v(-4). Let q = u - 20. Suppose 2*y = -k + 10, -5*k + 25 = 14*y - 9*y. Solve -5*a - y*r + 28 = q, -4*r = -a + 9 for a.
5
Let i(o) be the third derivative of o**4/12 - 11*o**2 - 2. Let l = -1 - -3. Let h be i(l). Solve 7 = -s + 2*p, -h*p = s + p - 21 for s.
1
Suppose -4*g - 8 = v + 10, 0 = -5*v + 2*g + 20. Suppose v*s = 3*s + n + 1, -4*n = 5*s. Solve s*y - 5 = 3*k, 2*y - 2 = k + k for y.
2
Suppose 0 = -2*m - 5*h - 20, -4*h + 16 = -4*m - 8*h. Solve b - 4*u - 1 = m, -2*b = -u + 2 - 4 for b.
1
Let u be (3/(-9))/(2/(-6)). Let q be u/(-5) - (-64)/20. Solve -i + 14 = q*c, -20 = -3*i - i - 3*c for i.
2
Let y(g) = -10 + 4*g + 0 + 4 + 5. Let f be y(1). Solve -2*w = -f*w - 5*u - 5, -2*w + 6 = 2*u for w.
5
Let g(d) = -d**2 - 6*d + 6. Let k be g(-6). Let m be -2 - k/(3/(-1)). Suppose y = -3*z + 10, y - 3*y + 4*z = m. Solve 4*s + 1 + 4 = a, -y*s = 8 for a.
-3
Let f = 350 + -346. Solve -4*z + i - 4*i - 35 = 0, -f*z = -3*i + 5 for z.
-5
Suppose 16*h - 15*h + 1 = 0, c + 2 = -5*h. Solve -5*s + 14 = 2*d, 3*s - 7*d = -c*d + 24 for s.
4
Suppose -g = 4*r - 0*r - 83, -4*g + 372 = -4*r. Let l = g + -91. Solve 5*p = -4*i + 5, i - 15 + l = -4*p for p.
5
Let a be -3*(1 - 0)*-1. Suppose -a*z + 8*z + 10 = 0. Let n be (1 + z/(-8))*4. Solve -4*j + 24 = -n*s, -5*j - 20 = 4*s - 9 for j.
1
Suppose -4 = 4*o - s, -1 = -2*o + s - 3. Let t be -2 - (3 - 4)/o*-2. Solve 0*w - 2 = -3*w + x, -2*w + 4*x - 2 = t for w.
1
Suppose 0 = -9*v + 14*v - 45. Let o be (-32 + v)/(-2 + 1). Solve -u - 4*u = g - 9, o = 3*u + 5*g for u.
1
Suppose 5*f = 3*w + 47, 8*w - 24 = -4*f + 7*w. Solve 3*d + 2*m + 9 = 0, f*m = -d + 6*m - 4 for d.
-1
Let x be 3/(-9) + (-147)/(-9). Suppose -4*f - 20 = -2*s, 0 = -2*s + f + 2*f + x. Let p = -14 - -17. Solve -p*w + 5*j - 6 = 2*j, 0 = -4*w + 2*j - s for w.
1
Let u = -1794 + 1805. Solve -2*j + u*h = 13*h - 2, 21 = 3*j - 3*h for j.
4
Let x(w) = w**3 - 5*w**2 - 2*w + 12. Suppose s - 5 = -5*p + 23, -p = 4*s - 17. Let f be x(p). Solve v + 2*v = u - 9, f*u + 9 = -3*v for u.
0
Let l be ((-2)/(-7))/((-4)/(-28)). Suppose -2*p + 10 = -30. Suppose -y = -4*z + p, y + 10 = l*z - 2*y. Solve -h = -5*m - 10, -4*m - z*h - 8 = -3*h for m.
-2
Suppose 5*n = -3*n + 16. Let x = -187 - -192. Solve 5*o - x*u = -25, u - 6 = -n*u for o.
-3
Suppose 2*i + 28 = 4*i. Suppose -u + i = u. Solve -5*g + 2*d - u - 13 = 0, 5*d = g + 4 for g.
-4
Let v be (-20)/5 - 81/(-9). Solve 0*a + a = 2*p + 5, -5 = -5*a + v*p for a.
-3
Suppose -4 = 2*t - 18. Let i(z) = z**3 - 5*z**2 - 13*z - 2. Let f be i(t). Solve f*q = -5*c + 2*q + 30, 0 = -c - 2*q + 13 for c.
3
Let z(o) = o - 2*o + 1 - 2*o + 2*o. Let c be z(-3). Solve -5*l = -4*v + 2*v - 20, -5*v - c = -l for l.
4
Suppose 3*v = v + h + 42, 0 = -5*v - 2*h + 87. Let z(j) = j**2 - 22*j + 63. Let g be z(v). Solve -3*k + g = -4*k + d, 0 = 3*k - d + 14 for k.
-4
Let u(c) = 5*c**2 - 2*c + 1. Let i be u(2). Let r = i + -12. Solve -5*q + 29 = n, -5*n - 3 = r*q - 48 for q.
5
Let u(l) = -l**2 - 8*l - 2. Let h = 4 - 10. Let r be u(h). Suppose t - 2*j = -4*t + 35, r = -2*j. Solve -5*m = -g + 19, t*g - 5*m - 23 - 12 = 0 for g.
4
Let c = -206 + 211. Solve -b - c*t = -13 - 4, 4*t = 12 for b.
2
Suppose 0 = 2*t + 2*t - 8, 2*h + 4*t = 8. Solve 5*i - 5*l - 5 = h, 4*i - 3*l = 2*i for i.
3
Let d = -60 - -58. Let w(a) = -a**3 - 3*a**2 - a + 4. Let o be w(d). Solve 3*h - 3 = -3*m, 2*h + o*h + 6 = -2*m for h.
-4
Let u = -5 - -7. Let q(p) = 4*p + 4. Let k be q(0). Let t = 5 - -1. Solve -y + 5 = t, k*c + 2*y + u = 0 for c.
0
Suppose -7*a + 5*a + 138 = 0. Let p = a + -46. Solve -8*x - p = -4*x - 3*q, -x + 3*q = 8 for x.
-5
Let p be ((-1)/(-3))/(2/6). Let d be -5*1/(-1)*p. Suppose 21 = 8*k - 3. Solve d*l + 19 = 3*r, -5*l + r = -k*r + 22 for l.
-2
Suppose 4*w + 2 + 50 = 0. Let d = -78 + 95. Let j = d + w. Solve 5*q + j*x = 3 - 26, 0 = 4*q + x + 14 for q.
-3
Suppose -4*l - d - 18 = -62, 0 = -2*d. Suppose -2*j = -39 + l. Let f be -14 + j - (0 - 0). Solve u = w - f*u, -u = 1 for w.
-1
Suppose -3*b - 10 = s - 29, 2*b + s - 14 = 0. Solve -x + 0*x - 3*n = b, 3*x = -5*n - 3 for x.
4
Let l = -48 + 46. Let k(n) = -n**3 - n**2 + 2*n. Let q be k(l). Solve q = -5*j + 3*j + m + 6, 12 = 4*j + 5*m for j.
3
Let f = -31 - -37. Suppose 4*d + 2*c = -4 - f, -3*d + 5 = -c. Solve d = -v - 2*w + 2, -4*w + 10 = -v for v.
-2
Let f(a) = -a**2 - 7*a + 5. Let n be f(-3). Solve -2*w + b = 2*w - n, 0 = 2*w + 4*b - 22 for w.
5
Let r(j) = 5*j**3 + 3*j - 6. Let s be r(2). Suppose -23*n - s = -28*n. Solve -3*a - 2*u = -3, -4*u + 17 = 3*a - n*a for a.
-1
Suppose 0 = -g - i - 1, -3*i = 3*g - 8*i 