4*d for p.
2
Let v = 2 - -30. Let z be (232/v + -7)*(0 + 8). Solve 2*t = -2, j - 2*t + 1 = -z for j.
-5
Let o be 4 + (-1 + 7 - 2). Solve -o = b + 5*y + 5, -3*y - 1 = 4*b for b.
2
Let z(k) = -k - 5. Suppose 9 = -j + 3*b, 0*b + 3*b = 4*j + 27. Let c be z(j). Let m be (c/1)/((-5)/(-45)). Solve -4*g = 5*s - m - 11, g + 2*s = 8 for g.
0
Suppose 4*i - 6 = h, -3*i - 39 = 3*h - 66. Suppose -4*b - r - 1 = -5, r - 4 = 4*b. Suppose b = 3*d - 0*d - 15. Solve -21 = -q - 2*q + 3*f, d = i*q + 5*f for q.
5
Let y = -24 + 21. Let u = 5 - 9. Let i be u*y/((-12)/(-11)). Solve 2*j + 5*s + 0 = 25, -4*j + 3*s + i = 0 for j.
5
Let i be 5/(50/(-4)) - (-2)/5. Solve -g = 3*j + 13, i = g - 0 - 2 for j.
-5
Let u be (1 - 1)*(49/(-14) + 3). Solve u = -5*s + 2*a - 5 - 10, -2*s = 5*a + 6 for s.
-3
Suppose 0 = 2*k - 5*h - 3, -3*k + 39 = -3*h + 7*h. Suppose -8*f = -11*f + k. Solve -5*m = u + 12, f*m = 2*m - 2*u + 3 for m.
-3
Let r = 88 - 94. Let y(l) = -l**3 - 7*l**2 - 5*l + 7. Let v be y(r). Solve -5*u + 2*g + v = -20, 0 = u - 4*g - 15 for u.
3
Let a = 101 - 72. Let f = a - 28. Solve 9 = 2*x + 2*g + f, -5*g + 12 = 3*x for x.
4
Suppose 6*q - 1427 = -1403. Let r be (-3)/(-1)*(-1 - -5). Solve 5*l + 2*f = 3*f + 21, 2*l - q*f - r = 0 for l.
4
Let i(g) = 2*g**3 + 13*g**2 + 11*g + 30. Let s be i(-6). Solve 3*l + 0*l = s, 4*m + 20 = -l for m.
-5
Let h = 1477 + -1474. Solve h*v - 5*c + 20 = 0, -c - 3 = 4*v - 7 for v.
0
Let i = -12 + 66. Let o = i - 51. Suppose -3*m + 0*m = 0. Solve -5*b + o*d = -m*d, 0 = -3*b - 2*d + 19 for b.
3
Suppose 2 = 3*k - 2*v, -v - 2*v + 11 = -k. Solve l = k*s - 11, -14 = -5*l - 6*s + 3*s for l.
1
Let c(b) = b**3 + 6*b**2 - 7. Let w be c(-3). Let x = -15 + w. Solve -25 = j + x*o, -2*o - 25 = 4*j + 3*o for j.
0
Suppose 0*z + n - 48 = -5*z, 2*z - 3*n = 9. Let h = -141 + 144. Solve 0 = -3*p + z, 4*i + h*p - 1 = 12 for i.
1
Let k be 5*6/(4 - -2). Solve 4*m - 3*o - 7 = 2, 4*m + k*o = 17 for m.
3
Let s(c) = c**3 + c**2 - 4*c - 2. Let w be s(2). Let p be (0 - -4)/2 - w. Solve -3*a - 4*z = 16, p*a - 3*z - 12 = 3*a for a.
0
Let l be 12/(-3)*8/(-8). Suppose -4*a - 2*q + 53 = -23, l*a = q + 88. Suppose -a = -3*d - 3. Solve -i - 2*f - 16 + d = 0, f = i - 5 for i.
0
Suppose -2*v = 13*s - 12*s - 5, 0 = 2*s + v - 7. Solve 8 = 4*j - 15*y + 11*y, 0 = -s*j - y + 6 for j.
2
Let s(u) = 2*u**2 - 6*u + 7. Let n be s(4). Suppose 0 = 5*v - 2*p - n - 12, -5*v + 5*p = -15. Solve 5*t = 2*g + 23, 0 = -t - 2*g + v*g for t.
5
Let q = -109 + 109. Solve q = -u - z - 9, -4*u - 4*z - 41 = z for u.
-4
Let o = -159 - -159. Suppose 5*t = 4*w - o*t - 32, 20 = 5*t. Solve -g - 4*u = -w, -g + 4*u = -0*g + 19 for g.
-3
Let v = -1417 - -1421. Suppose 5*p - 1 = -d, 4*d - 5*d = p - 1. Let i = 1 - d. Solve -v = x - i, x = b - 5 for b.
1
Suppose 3*l - 7*l + 32 = 0. Suppose 36 = 5*t - 3*y, -6*y + l*y = -5*t + 51. Solve -5*j + 21 = 2*u - 6*u, -3*j - t = 3*u for j.
1
Suppose 318*d + 8 = 322*d. Solve -2*w + 5*a = 3*w - 10, -d*w - 3*a + 9 = 0 for w.
3
Suppose 2*k = -k. Let i(a) = 5*a + 36. Let o be i(-13). Let y = -29 - o. Solve y*w = -2*m - 3*w - 3, -2*m + 4*w + 4 = k for m.
0
Let f = 88 + -73. Let x be 51/f - ((-18)/10)/3. Solve 2*j = x*v - 4, 2*v - 2*j + 14 = 7*v for v.
2
Let b(w) = w**2 + 10*w + 11. Let t be b(-8). Let r be 7/((0 + -5)/t). Suppose -6*s = -r*s + 3. Solve 4*m - i = 3*i, -4*m = s*i - 7 for m.
1
Let v(x) = -17*x - 132. Let l be v(-9). Suppose -q - 4*q - 4*u + 4 = 0, 4*u = q - 20. Solve 5*d - 3*d = 5*f + l, -4*d + 12 = -q*f for d.
-2
Suppose 0 = 11*j + 3521 - 3576. Solve 3*q - 12 = -0*q, -14 = 3*v - j*q for v.
2
Let z(i) be the third derivative of i**4/12 - 7*i**3/6 + 34*i**2. Let b be z(6). Solve 2*o - 3*k + 12 = -o, -b*o - k = 20 for o.
-4
Suppose 0 = -5*y - 2*c + 20, 5*y - 3*c - c - 50 = 0. Suppose y*p = 55 + 17. Solve 5*l = -0*l + f + 28, 4*f = -p for l.
5
Let p(f) = 2*f**3 + f**2 - 4*f - 1. Let q be p(2). Solve l + q = 4*g - 2*g, 0 = 5*g - 4*l - 32 for g.
4
Suppose -3*j - y = 4*y - 29, j + 2*y = 11. Suppose 0 = -3*w + 4*s + 25, 25*w - s = 28*w - 5. Solve -w*t = j*a, 3*a + 2 = -t + a for t.
2
Let x be (-364)/(-63) + 6/27. Suppose 5*c - 2*c - 6 = 0, -4*t = -5*c - x. Solve 2*k = t*p - 2*k - 28, -5*k - 31 = -3*p for p.
2
Suppose 3*i + 84 = 5*t, -71*t + 66*t + 78 = -i. Solve 0 = 15*k - 13*k - 4*n + 6, 5*k + t = 2*n for k.
-3
Let h = -3 + 8. Suppose -t + 3*t - 42 = 0. Suppose -b - 6*g - 20 = -g, 5*g = -5*b. Solve b*r + t = -3*s, 0*s - h*r - 17 = s for s.
-2
Let n be (-6)/(-4)*(-6)/(-3). Suppose -5*o + 36 + 14 = 0. Let v(z) = z**3 - 10*z**2 + z - 1. Let t be v(o). Solve -6 = -n*i - 4*h, 5*h = -i - 2*i + t for i.
-2
Let o = -15 + 13. Let p = 1 - o. Let d be (20/(-12))/((-2)/6). Solve f = s + 1, -26 + p = f + d*s for f.
-3
Let j be (49/7 - -1) + -4. Solve -j*v = -0*v - i, 0 = v - 2*i + 7 for v.
1
Suppose -4*b = 5*o - 167, 2*b - 66 = 26*o - 28*o. Solve 4*g = 3*l - o, -4*g = -0*g + 20 for l.
5
Let x(h) = -h**3 - h. Let d(c) = c**2 - 11*c - 13. Let b be d(12). Let q be x(b). Solve 0 = 4*f - 2*m - 16, -q*f + 4*f - 3*m = 4 for f.
5
Suppose -4 = -58*i + 56*i. Solve -2*t - 2 = 3*m, -5*t + 0*m - 5 = i*m for t.
-1
Suppose 61 = -2*k + 65. Solve k*g + 15 = -3*y - 0*y, 0 = -y + 4*g - 5 for y.
-5
Suppose o - 22 = -5*y, -12 = -15*y + 12*y - o. Solve 0 = 2*k - 3*d - y, -4*d - 14 = -4*k - 2*d for k.
4
Suppose -4*i - u = -36 + 9, 0 = i + 5*u - 21. Solve -5*c = -3*r - i, -2*r = 2*c + 3*r + 10 for c.
0
Let x = 46 + -41. Let c(i) = i**3 - 6*i**2 + 5*i + 7. Let v be c(x). Solve -v - 6 = -w - 5*q, -3*w - 5*q = -9 for w.
-2
Suppose 3*t + 5*l - 62 = -18, 0 = 5*t - 5*l - 140. Suppose -5*h + 0 + t = d, 3*d = -2*h + 4. Solve 4*g - 30 = -0*p - 2*p, 0 = -3*p + h*g - 10 for p.
5
Let n = 347 - 336. Suppose h = 2*v - 5*v - 5, v = -h - 1. Let t be (-15)/(-4) - v/8. Solve c + s = 5*c + n, c - t = -2*s for c.
-2
Suppose 0*o + 3*p - 8 = -o, -5*p = o - 16. Let x be (-156)/(-9) - o/(-3). Let d = 16 - x. Solve -5*s = d, 3 = 3*a + 4*s - 0 for a.
1
Let n(b) = -b**3 + 5*b**2 - 5*b + 12. Let o be n(4). Let f be 560/128 + (-3)/o. Solve u = -5*z + 16, f*z - 3 + 7 = -5*u for u.
-4
Let y(a) = 4*a**2 - 3*a + 2. Let l be y(2). Let k(b) = b**2 + 2*b - 30. Let r be k(-7). Solve 0 = r*v + 20, n = -2*n - 3*v - l for n.
0
Let a(q) = -3*q**2 + 6*q + 5. Let f be a(0). Solve 4*o = -f*u + 37, 0*u - 4*u + 26 = 2*o for u.
5
Let j(z) = -z**2 - 15*z + 3. Let h(x) = -x - 10. Let k be h(5). Let v be j(k). Solve 0 = 4*n + 14 - 2, a + v*n + 4 = 0 for a.
5
Suppose 22*j - 6*j - 64 = 0. Solve i - v + 2 = 0, -j*v - 4 = -2*i - 6*v for i.
0
Let d = -149 + 211. Let a = d - 56. Suppose -5 = -4*p + 3. Solve 2*f + p*g = a*g, 5*f = -3*g for f.
0
Let r(g) = g**3 - 5*g**2 + g + 5. Let a be r(5). Let q = 161 + -157. Solve 4*w - a = 2*x, w = q*x + 2*w + 20 for x.
-5
Suppose -57 = 14*f - 99. Solve 0 = f*b - b - 4*o - 2, -8 = 2*b + o for b.
-3
Suppose 14 = 3367*m - 3366*m. Solve -2*k = -4*g + m, 6*g + 13 = 11*g - 4*k for g.
5
Suppose 2*b - 15 = -53. Let n = b - -20. Solve -4*i + 4*l + 12 = 0, 4*l + n = i + l for i.
4
Let f = -35 + 35. Solve 3*r + r - 5*v - 2 = 0, -3*r + 3*v + 3 = f for r.
3
Let i(x) = -x**3 + 3*x**2 - 3*x. Let p be i(2). Let z be 6 - (1 + p + 3). Solve 9*c + 5 = 4*c - z*q, -4*q + 45 = -5*c for c.
-5
Suppose y + 3*y = r - 23, -3*r - 2*y - 1 = 0. Suppose -r*b - b + 44 = 0. Solve 0 = -4*x + 5*x + 5*w - 19, -x + 5*w = b for x.
4
Suppose j - 20 = -j. Let k = j + -10. Let i = k + 4. Solve i*t - 4*x - 24 = 0, -18 = -4*t - 0*x - 2*x for t.
5
Let a = -90 - -92. Solve t - 5*g = 5*t, 0 = -2*t - 2*g + a for t.
5
Let d(z) = z. Let x be d(5). Suppose 0 = 7*y - 36*y + 116. Solve -x*k - 12 = -a, -5*a = -2*a + y*k + 21 for a.
-3
Let d = 4 + 1. Suppose 158 = 33*z - 7. Solve 2*i = -z*g + 31, -g - 4*g = d*i - 40 for g.
5
Let q be (-41 - 2 - -4)/(-1). Suppose 0 = 5*d + 14 - q. Suppose -d*f - 5*c + 250 = 0, -5*f + 3*c = 7*c - 245. Solve f = -4*t - 5*l, -3*l + 2*l - 25 = 4*t for t.
-5
Suppose -5*o = 4*z - 28, -10*o + 6*o - 28 = -z. Solve 0 = -3*v + 3*t - 7*t + 21, -v + 5*t = z for v.
3
Let w = 280 - 275. Solve 3*t + 1 = -2*u + 8, -5*t + 5*u - w = 0 for t.
1
Let t be 58/7 - 11/(-77)*-2. Solve 0*z + a - t = -2*z, 3*a = 3*z - 21 for z.
5
Suppose 7*w + 5*a = 4*w + 6, 4*a - 6 = -3*w. Suppose -w*o - 3*o = -15. Solve 5*x = -5*b, o*b = -2*x + 4 - 6 for b.
-2
Let q(j) = -6 - j + 5 - 1 + 3. L