-4*p + 3*x - 9 = 0, -7*p - z = -2*p + 3*x for p.
-3
Let w(z) = 5*z + 23. Let r be w(-4). Suppose 32 = r*n + 5*c, 4 + 4 = 5*n - 3*c. Solve 0 = n*o + 3*f + 6, o + 3*o + 5*f + 10 = 0 for o.
0
Suppose -3*f + 31*s - 27*s + 49 = 0, -2*f - 54 = 6*s. Let r = 14 - -6. Solve -o + r = 5*y, 3 = -5*o + f*y - 9 for o.
0
Let l = 15679 - 15675. Solve 2*i = 2*k + l, -4*i - k = k + 22 for i.
-3
Let h be (-19)/(-6) - (-3 + 114/36). Suppose -3*d - 393 = 5*m - 0*d, h*m + 5*d + 223 = 0. Let x = m + 84. Solve 3*c = -4*y - 28, x*c + 5 + 7 = 0 for y.
-4
Suppose -4023*c + 4026*c + 122 = v, c = 4*v - 565. Solve 147*t - 3*p = v*t, 0 = -t + 4*p for t.
0
Let z(o) = 9*o - 16. Suppose 21*a - 22 = 20. Let f be z(a). Solve -c = -2*c + f*u - 1, 3*u - 3 = 0 for c.
1
Let b be -1*(1 - -1)*-1. Let l(v) = v**2 + 11*v - 41. Let u be l(-15). Suppose 12*m = -u*m + 341. Solve b*z + m = -w, 0*w - 5*w + 15 = -4*z for z.
-5
Suppose -2*a - 3*a = -20. Let c = 27847 - 27844. Solve -18 = f + a*n, 2 = -f - c*n - 12 for f.
-2
Suppose -2*i + 9 + 15 = 2*s, 2*s - 2*i - 28 = 0. Suppose s*k = 3 + 23. Solve 5*u - 25 + 4 = k*a, 5*a - 35 = -5*u for u.
5
Suppose -46*w = -53*w. Suppose -4*h - 3*v + 10 = w, -v = -0*h - 4*h + 18. Solve 20 = -3*c - h*g, 2*c + 3*g = -2*g - 25 for c.
0
Let s = 250 - 67. Let x = 183 - s. Solve 0 = -2*i - 2*f + 4, -i - 5*f + x = 6 for i.
4
Suppose 0 = -28*j + 581 - 189. Solve -4*d = 20, j*k - 18*k - d - 1 = 0 for k.
1
Suppose 3*o - 13 - 128 = 0. Let h be (o/4)/(-2 - (-36)/16). Let n = 47 - h. Solve n = -4*z, -3*z = -0*r + 5*r for r.
0
Let k(o) = 3*o**2 + 6*o + 5. Let c be (-175)/150 + (-2)/(-12). Let i be k(c). Solve p = -3*f + 8, -3 = -i*f + 4*p + 21 for f.
4
Let m be (8/(-20))/(((-111)/(-30))/(-37)). Solve -m*b + 12 = -3*b - 4*q, 2*q + 20 = -3*b for b.
-4
Let r(l) = l**2 - 3*l - 4. Let x be r(4). Suppose -19772*v - 1280 = -20092*v. Solve x = a - 4, 0*s = 2*s + v*a - 8 for s.
-4
Let b(r) = -r**3 - 16*r**2 - 66*r - 6. Let f be b(-8). Suppose 0 = f*m - 23 - 27. Solve -6*w = -11*w - 4*o + m, 0 = -4*w - o + 15 for w.
5
Let n(y) = -y**3 + 6*y**2 - 48*y + 220. Let w be n(5). Let g = -7 - -9. Solve -g*p + w*c = 9, p - 4*c + 3 = -2*p for p.
3
Let g(p) = -p**3 + 8*p**2 + 21*p - 16. Let h be g(8). Let b = -147 + h. Solve -y + 1 = b*d, 3*d - 4*y + 4 = 5*d for d.
0
Suppose -27*k - 11*k + 570 = 0. Suppose 34*l + k = 37*l. Solve 3*n - 6 = -n - 3*i, 5*n + l*i = 5 for n.
3
Let q = 1045 - 1009. Solve -4*h + q = -4*z, 4*z - 20 = 8*z for h.
4
Suppose 13*h - 574 = -22*h - 6*h. Solve 5*l - 3*w = -h, 0*l + l = -3*w - 10 for l.
-4
Suppose 2*z - 7*z = -4*a + 83, 3*z + 93 = 4*a. Suppose -4*q = -a + 23. Solve -h + q = 0, -2*h - 11 = 4*g - h for g.
-3
Suppose 2*o + 0*o - 8 = 0. Let h = -158712 - -158717. Solve -4*x = o, -h*x = 4*j - 6*x + 3 for j.
-1
Let d = -113 + 122. Let j = d + -7. Let x(y) = 3*y**3 + y**2 - 6*y + 8. Let z be x(j). Solve -3*o - o + 25 = 5*r, -r + 5*o - z = 0 for r.
1
Let a = -152 + 158. Suppose -5*f + 26 = 3*g, 2*g + g - a = 0. Solve 6*u - u + 5*b - 35 = 0, f*b = 5*u + 10 for u.
2
Suppose -205*d - 30*d = 11*d - 492. Solve 4*m - 2*q - d + 18 = 0, 3*q - 14 = 4*m for m.
-5
Let s be (-120)/210*(-105)/20. Solve 3*q + 12 = -s*h, 0 = -5*q - h - 225 + 217 for q.
-1
Let w be -3 + 357/12 - 4/(-16). Let u = 31 - w. Let t be ((-5)/2 - 0)/(u/(-8)). Solve -4*a - 22 = -t*o, o - a - 7 = -o for o.
2
Suppose -y = -6*j - 4, 5*y = 3*j + 79 - 32. Solve 130*r + d = 129*r - 4, 0 = r + 4*d + y for r.
-2
Let v be (-10)/(4 - (-159)/(-36)). Suppose 6 = 3*i, -3*j + 4*i = -0*j + 8. Solve 4*d - 3*d + 5*u - v = j, -3*d - 4*u + 28 = 0 for d.
4
Suppose 5*v - 5*b = 0, -3*v - 171*b + 10 = -169*b. Solve u + 8 = 3*u - v*f, 4*u + 2*f = -14 for u.
-1
Suppose -3*p + 2*p - 5*a + 29 = 0, p - 5*a = 19. Let o = p - -22. Let j = 50 - o. Solve -2*m + 6 = -3*i + 2*m, j*i - 5*m + 8 = 0 for i.
-2
Let b(c) = 286 - 90 - 100 + 19*c**3 - 3*c**2 - 100 + 5*c. Let a be b(1). Solve 0 = -5*q + 3*w - 27, q + 8*w = 3*w + a for q.
-3
Suppose 2*z = -107*p + 108*p + 6, 4*p + 3*z = 31. Suppose 13*x - 142 = 79. Solve -3*f + 2*f + x = 3*j, -5*f = -p*j - 9 for j.
4
Suppose -241 = -2*t - 6*z + 5*z, -5*t + 4*z + 596 = 0. Suppose 0 = -12*i + 27*i - t. Solve -2*s + i + 10 = -3*q, 2*s + q - 2 = 0 for s.
3
Let a = 25007 + -24998. Solve -3*y = -7*y + 5*b + 12, 3*b = 3*y - a for y.
3
Let k be ((-238)/(-21))/(16/(-6) - -2). Let z = -13 - k. Suppose 0 = -2*p + 10 - z. Solve i - 13 = 6*i - 3*d, d = -2*i - p for i.
-2
Suppose -5*r - p + 48 = 0, 38*p - 16 = -4*r + 40*p. Solve -2*x = 3*v + r, -4*x = 82*v - 80*v for x.
2
Let b(o) = o**3 - 4*o**2 + 5*o - 1. Let f be b(4). Let j(h) = 212*h - 633. Let i be j(3). Solve 3*n + 0*c + c = 1, 4*c - f = i*n for n.
-1
Suppose 14 = 2*i - 5*x, -7186*i + 7189*i + x = 38. Let g be 6/15 + 58/5. Solve -4*d - b = -i, 0*b - g = 3*b for d.
4
Suppose 0 = -5*a + 3*q + 1420, -6*q = -9*q + 15. Let x = a - 251. Solve -5*d + x = -0*k - 4*k, k - 4*d + 20 = 0 for k.
-4
Suppose -1 = -9*t + 10*t. Let p(s) = -s**2 - 8*s - 5. Let x be p(t). Let m be (-3)/6 - (-18)/4. Solve -5*j + x*j + 4 = 2*f, -3*f + 6 = m*j for f.
2
Let p = -3277 + 3300. Solve -c + p = 5*g, 2*c + 2 + 0 = 2*g for c.
3
Let d(t) be the first derivative of -t**4/4 - 6*t**3 - 15*t**2/2 + 35*t + 16. Let y be d(-17). Solve 4*u + 5*j + 23 = 0, 5*u + y = 3*j - 0 for u.
-2
Let v(g) = 2*g**2 - 9*g + 18. Let c be v(3). Suppose b = -5, 4*m = -b + c + 6. Solve -s - 2*r + 1 = 0, 0*r + m*r = -4*s - 2 for s.
-3
Let j be 29 + (4 - 1 - 4). Suppose -6*v + j = -4*v. Suppose 10*l - 6 = v. Solve 2*x + 2*d + 6 = -2*x, l*d = -2*x for x.
-3
Suppose 28*b - 428 = -10*b - 69*b. Solve 7 = -2*l + 3*g, 10*l + b*g + 14 = 8*l for l.
-5
Let r be (0 - (-2 + -6)) + -1. Let i(q) = -q**3 - 18*q**2 - 18*q + 27. Let t be i(-17). Suppose 14 = -6*b + t. Solve -3*o = h - 7, -6 = -b*h - 4*o + r for h.
1
Suppose 47 - 131 = 3*i. Let q = i + 36. Solve 5*x = -5*a - 25, 4*x + a + 0*a = -q for x.
-1
Let d(z) = -17*z + 278. Let f be d(16). Solve -2*b = f, -44 = 4*h + 3*b - 19 for h.
-4
Let r be (48/112)/(1/14*2). Suppose -r*l - 2*n + 323 = 0, -l + 3*n = -0*n - 115. Suppose 130 = l*d - 104*d. Solve -3*p = 3*t - 0*p + 6, -d = -2*t + 4*p for t.
3
Let w(u) = -16*u + 5. Let c be w(0). Suppose c*f = f + 16. Solve 0*x - q = -2*x - 12, -x + f*q - 13 = 0 for x.
-5
Let h(o) = -o**3 + 14*o**2 + 14*o + 29. Let k be h(15). Let y(v) = -v**3 + 13*v**2 + 17*v - 41. Let j be y(k). Solve 2 = -3*g + z + j, 0 = -4*z - 20 for g.
-2
Let z be 14/(-4)*(15 + 2373/(-147)). Solve 0 = -4*b - 4*w - 32, b - 2*b + 17 = -z*w for b.
-3
Suppose 5*u - a = 4430, -2*u + 5*a + a = -1744. Solve -3*r - 875 + u = 0, 12 = -2*z + r for z.
-4
Suppose -n = -3*n, -4*m + 248 = -5*n. Suppose -67*i + 10 = -m*i. Solve -a + 17 = -3*y, y + i*a = -a + 11 for y.
-4
Let x = -77 + 79. Suppose -3*p - 87 + 81 = 0. Let v = 23 + p. Solve 0 = 4*f - 5*d + v, 0 = 3*f - 8*f + x*d - 22 for f.
-4
Let a be ((-1518)/187 - -8) + (-312)/(-51). Solve 7*m = a*m - 5*b + 22, 3*m - 22 = -4*b for m.
2
Let g be ((-10)/(-25) - (-7)/(-5))*76. Let b = -49 - g. Let h be 6/b + (-223)/(-9). Solve -4*f = 5*q, 3*f - 4*q = h + 6 for f.
5
Let g(c) = -c**3 + 6*c**2 - 2*c - 7. Let j be g(5). Let v = 22 - 20. Suppose 2 = v*n - 2. Solve n*w - j = -2*p + 4, -5*w + 23 = -2*p for p.
1
Suppose -783 = 2*z - 3*q, 0 = 2*q - 6*q - 12. Let g = z - -402. Solve 0 = 3*j + g, -4*f + 3*j = j - 24 for f.
5
Let o(d) = d - 8. Let j be o(6). Let u be (-1 + j)/((-21)/14). Solve 0 = q - v - 1, 0 = -u*q - 2*q + v - 8 for q.
-3
Suppose -10 = g + g - 4*g. Solve -5*d + g*f = -5, d - 22 + 3 = -5*f for d.
4
Let u be -2*((-69)/46 - 0). Solve 3*n = -5*f - 14, 6 + 6 = -3*n - u*f for n.
-3
Suppose -2*k + y = 14, -y - 4 = -8. Let b be ((-21)/(-35))/((1/(-1))/k). Solve 4*p + 16 = -4*t - 0*p, b*p - 8 = 2*t for t.
-4
Let y = -3502 + 3504. Solve -4*n - 4 = -2*u - y, -3*u + 3 = -2*n for u.
1
Suppose -5*x + 3*r + 1227 - 3970 = 0, 3*x - 2*r + 1646 = 0. Let b = x + 554. Solve j - 4*j - 4*s = -b, -8 = -4*j + 3*s for j.
2
Let p = -23 - -38. Let w be 1064/304*300/7. Suppose 0 = 9*x - p*x + w. Solve 0 = 2*v - 3*c - x, -4*v - 2*c = 4 - 14 for v.
5
Suppose 3*n = -d + 4, -3*n + 44 = -44*d + 49*d. Solve -2*l = 6*x - 5*x + d, -2 = l + 2*x for l.
-6
Suppose -4*x = -c - 22, -c - 6 = 5*x - 38. Suppose 7*f + x*f = 0. Solve 2*i + 5 = -j, f = -2*i - i for j.
-5
Let