 = 4 for p.
-4
Let m = -31 + 27. Let y be 5/(-3) - m/6. Let v be (14/(-63))/(y/9). Solve v*n = -5*o - 16, n + 1 = 2*o + 2 for n.
-3
Let b = -8 - -12. Solve s = 2*o - 4*o + 8, -b*s - o + 4 = 0 for s.
0
Suppose k + 2 = 0, -k + 0*k = 2*x + 4. Let y(c) = -c + 2. Let l be y(x). Solve 5*r + 30 = 3*m, 0*m - l*m = 2*r - 9 for m.
5
Let k(c) be the first derivative of c**3/3 - 4*c**2 - 6*c + 5. Let h be k(9). Let i be 0*h/(-24)*-4. Solve -g = -x - 4 + 9, g + 1 = i for x.
4
Let i be (1 - 1)/(8 + -7 - -2). Let f = 7 - 5. Let k = f - i. Solve 4*h = 3*u + 22, 10 + 2 = -k*u + 2*h for u.
-2
Suppose -4*k - 4*o + 3*o + 195 = 0, -3*k + 160 = -2*o. Suppose 17*i = 7*i + k. Solve -6*u = 3*w - 2*u + 19, i*w = 4*u + 11 for w.
-1
Let j = 349 - 347. Let g be (-4)/(-6)*(-36)/(-8). Solve 4*p = -4*r + r - 10, -j*r = -p + g for r.
-2
Let q be (-2)/(-10) + 14/5. Suppose q*b = -2*p + 34, 0 = -5*b + p - 2*p + 66. Let j be b*((-2)/4 + 2). Solve j = -4*z - 5*i, 0*i = -z - 2*i - 6 for z.
-4
Suppose 0 = -76*d + 75*d + 10. Solve 2*m + 8 = 4*p, d = 5*p + m - 0*m for p.
2
Let r(s) = -s**3 + 24*s**2 - 45*s + 26. Let o be r(22). Suppose -73*u = -77*u + o. Solve -5*f + 6*a + u = 2*a, 0 = -2*a - 8 for f.
-3
Let v(i) = i - 1. Let l be v(20). Let b be (-18 + l)*(1 - -11). Solve 3*m = 3*d + b, -3*m + 5*d + 27 = 9 for m.
1
Suppose 0 = 3*y + 4 - 10. Suppose 0 = q + 2, 52*n + 2*q = 48*n + 72. Solve -3*r - n = 5*b + 7, -3*r + 2*b = -y for r.
-2
Let f be (-60)/(-16) - (-3)/12. Suppose 3*q = -y + f, -y - 2*q + 1 + 3 = 0. Let d = 5 + -5. Solve -r + d + 14 = -5*i, 4*i = -3*r + y for i.
-2
Let o = 8 + -4. Let f(b) = 3*b - 3. Let s be f(o). Let l = -7 + s. Solve j - 7 = l*j + 3*n, -n - 3 = 0 for j.
2
Suppose 4*m - 8*m = -5*m. Suppose -c - 2*c - 4*c = m. Solve c = -3*t + t + 2, 12 = -5*n - 3*t for n.
-3
Suppose -16 - 7 = i - 5*g, -4*g = -20. Let d(z) = z**2 - 5*z - 2*z**i + 0*z. Let m be d(-5). Solve 2 - 5 = 2*y + n, m = 2*y + 3*n - 7 for y.
-4
Let q be -4*(60/8 - -2). Let t = q + 77. Let g be t/2 - 6/(-4). Solve 2*b + 2*w + 0 = -8, 0 = -5*b - 4*w - g for b.
-5
Let n = -149 + 163. Solve -11 = 5*m + n, -2*m = -4*v + 22 for v.
3
Let h(t) = t**2 + 9*t + 21. Let a be h(-5). Let u be (1 - (0 - 2)) + a. Solve d + i - 2*i = -2, 0 = -4*d - u*i for d.
-1
Let k(m) = 80*m**2 + 0 + 4*m - 42*m**2 - 37*m**2 + 1. Let g be k(0). Let a = 8 + -5. Solve a*l - 14 = 5*n, -n + g = 2*l + 9 for l.
-2
Suppose -4*l - 9 = -29, 2*l + 130 = -4*a. Let b be ((-4)/7)/(2/a). Solve -3*t = -5*c - b, 0*c - 2*c = 5*t - 27 for c.
1
Let r = 38 - 20. Suppose -g = -3*g - r. Let p(m) = m**3 + 8*m**2 - 10*m - 6. Let s be p(g). Solve -a - 2*a + 3*t = s, 0 = 4*a - 2*t for a.
1
Let i = -4 + 6. Let h be 4 + (-19)/(-4) + 4/16. Suppose -i*m = m - h. Solve 4*u = -5*p + 24, u - 7*p + m = -6*p for u.
1
Let y = -32 - -37. Suppose -2*n = 3*f - 11, 5*n + 7 = 4*f - 0*n. Suppose f*r - 11 - 1 = 0. Solve -m - r*w - 13 = 0, -m + 23 = -0*m - y*w for m.
3
Let g be (-158)/(-869) - (1 - (-128)/(-22)). Solve -g*m + 8 = 4*a, a = -3*m + 6 - 4 for m.
0
Let x(n) = n - 9. Let d(q) = 5*q - 35. Let u be 8 - 7 - 1*-3. Let i(h) = u*d(h) - 18*x(h). Let r be i(-10). Solve -b + p = 2*p + 7, 0 = -r*b - p - 9 for b.
-2
Let l = -15 + 15. Let u be (l + -1)*(5 - 8). Suppose -o - 4*o - x + 21 = 0, 2*o = 4*x + 26. Solve w - u = 3*w + n, 5*n = -o for w.
-1
Let o(f) = f**3 - f**2 + f + 5. Let g(h) = h**2. Let d be g(2). Let a be 2/(-8) + 1/d. Let b be o(a). Solve 21 = 3*q - b*s - 3, -9 = q + 4*s for q.
3
Let x(p) = -p**3 + 10*p**2 - 19*p + 11. Suppose -5*j = -4*t + 53, j = 2*t - 12 - 7. Let o be x(t). Solve 5*y = -5*h + 5, y = 2*h + 3*h + o for h.
-4
Suppose d + 12 = 2*s, -2*s - 6 = -4*s - 2*d. Suppose 3*l + l = -a + 106, -2*l = -3*a - 46. Let r = 51 + -37. Solve -3*q = -5*n - r, -6 = 5*q - s*n - l for q.
3
Let o = -51 - -51. Solve -8 = -3*z + m - o*m, 4*z + 3*m = 28 for z.
4
Let w be (-5)/5 + 2*1. Let h(v) = -1. Let d(b) = b**2 + b - 8. Let j(g) = w*d(g) - 4*h(g). Let k be j(2). Solve -2*o + 2*x = 6, 5*x - 23 = 3*o - k*o for o.
2
Suppose -17 = -5*q - 57. Let r(v) = -2*v + 4. Let l be r(q). Solve 0*s - s + 4*k = l, -2*s - k + 5 = 0 for s.
0
Suppose 0 = -5*t + 10*t - 15. Let b be 50/((0 - -5) + -3). Solve x - h - t*h + 15 = 0, 5*h = b for x.
5
Let f be (2 - -17) + (20 - 31). Solve -4*u - r - f = 0, 2*r + 6 = -7*u + 9*u for u.
-1
Let z be (36/(-54))/((-6)/45). Solve 0 = l - 4*h - 20, -l - z*h = 2*l + 25 for l.
0
Let m(t) = t**2 - 2*t + 11. Let s be m(6). Let r = 38 - s. Solve n - 2 = -5*d, 4*d - 1 = -r*n + 5 for d.
0
Let n be (-4)/14 - 522/(-63). Let o = n - 3. Solve 2*q = 3*k - 12, -o*q + 5*k - 17 = 3 for q.
0
Let y be (29 - 25) + (-5 - -1). Solve -2*v = -v - 3*l - 2, y = 2*l for v.
2
Suppose -41 + 73 = 2*c - 2*h, 0 = 4*c + 2*h - 82. Solve f + t = 4*f + 17, 0 = 3*f - 2*t + c for f.
-5
Let c = 392 + -390. Solve -x - 2*x + 13 = c*h, 5*x + 10 = 3*h for x.
1
Let f = -143 - -50. Let d = 98 + f. Solve 4*n = 4, -3*n = d*t - 6*n + 8 for t.
-1
Suppose 30*j = 26*j. Solve 2*w + g = -10, -g + j*g = 5*w + 22 for w.
-4
Suppose -2 + 23 = 4*m - r, 5*r = -25. Solve -4*c = -3*g + 23, g = 2*g + m*c + 3 for g.
5
Let n be 5*4/(-3)*6/(-20). Solve 11 = -t + 2*y, -2*t + 0 = y + n for t.
-3
Let p = -2571 - -2601. Let u be (0 + 0 + -5)*-1. Let i be (-1)/(2/(-2 + -8)). Solve -5*s = -5*g + i + u, 5*g + 3*s = -p for g.
-3
Suppose 42*r = 43*r - 5. Solve -i - 4*o = 13 + r, o = -2*i - 1 for i.
2
Suppose 3*r = 4*u + 12, 5*r = -0*u + 5*u + 15. Let g(n) = -3 - 4 - 5*n + 8*n + 2*n**2 + 3. Let w be g(u). Solve 14 + 10 = x + w*f, 5*x = -f for x.
-1
Let n(v) = -12*v - 10. Let g be n(-1). Solve 0 = 4*b + 2*w - g, 15 = 5*w - 0 for b.
-1
Let g = 3 + -1. Let z(y) = -y**3 + 10*y**2 + 12*y + 5. Let u be z(11). Let v be 92/u - (0 - (-1)/(-4)). Solve 0 = -b - 3*r - v, 0 = g*r - 0 + 2 for b.
-3
Suppose 0 = 4*k - 14*k + 120. Let q(t) = -t - 1. Let d be q(-6). Solve -3*j - 2*j + x - 24 = 0, 2*x + k = -d*j for j.
-4
Let i be (-6)/(-9) + 4/(-6). Suppose -2*h + 3*h - 19 = i. Solve 4*y - 2*r + 49 - h = 0, -2*y - 5*r + 15 = 0 for y.
-5
Let p = -114 - -123. Solve i - 5*i = -j - 10, 5*i = 3*j + p for j.
2
Suppose 5*t + 112 = -2*p, 2*t = -3*p - 38 + 2. Let g = t - -17. Let d(l) = l + 9. Let f be d(g). Solve m + 4 = -3*m + n, 2 = -f*m - 2*n for m.
-1
Let q = 46 + -43. Solve 6 = q*l + 4*y, l + 11 = -0*l + 3*y for l.
-2
Let y be ((-560)/3)/8*30/(-35). Solve 0 = 5*t + 3*s - s - 10, t = 4*s - y for t.
0
Suppose 44 = 8*v + 12. Solve 4*j - r + 3 = -2*r, v*j = -3*r + 7 for j.
-2
Suppose -4*g - 3*a = -45 + 39, 0 = 5*g - 3*a - 21. Solve g = w + y, -5*w + y = -0*y + 3 for w.
0
Let u(k) = -3*k**2 + 20*k + 8. Let v be u(7). Suppose 5*x + v = 11. Solve 0 = 3*a + a + b + 11, 4*b = -x*a + 12 for a.
-4
Let c be -2*(3 - 15/6). Let p be 20 - c/(3/(-6)). Suppose 3*q - p - 54 = 0. Solve -l - 3*l = -20, -4*w = 4*l - q for w.
1
Suppose -2*t - 3*t + 15 = 0. Let m(v) = 5*v**2 - 38*v - 7. Let o be m(8). Solve -2*n - t*h - 2 = 0, -1 = 2*n + 5*h + o for n.
5
Let a = -4 + 12. Suppose 0 = -4*c + 4*l + a, 9*l - 14 = c + 4*l. Let s = -1 + c. Solve 6 = s*o - 4*g - 2, -8 = 2*o + 4*g for o.
0
Let h = -216 + 220. Solve h*o - 37 = -5*k, -4*o - 4 + 16 = 0 for k.
5
Let d = -184 + 184. Solve -2*w + 6 = -4*s, d*w + 2*w - 2*s - 8 = 0 for w.
5
Let a = 70 + -58. Suppose 0 = -c + a - 9. Solve -4*d = -16, c*d - d - 5 = 3*m for m.
1
Suppose -6 = 4*r - 30. Let d be ((1 - -2)/3)/(-1) - 64. Let h = 68 + d. Solve -j = -r*j - 5, 4*j - 8 = -h*p for p.
4
Let s(t) = 11*t**2 + 4*t + 3. Let v be s(-1). Suppose -4*x - x + v = 0. Solve 0 = 3*b - 2*h + 7, -x*h + 3*h + 16 = -5*b for b.
-3
Let h(u) = u**2 + 27*u + 154. Let r be h(-19). Solve 4*k - 2*k - 6 = 0, 4*k - 16 = -r*j for j.
2
Let b(a) = -31*a + 7. Let r be b(2). Let z = 58 + r. Solve 3*p = z*o + 3, -3*o = -5*o - 4*p + 22 for o.
3
Let y(h) = -h**2 - 4*h + 1. Suppose 3*k + 6 = -5*s, 4*k + 4*s = -12 + 4. Let r be y(k). Solve -2*z + 15 = 5*t, 3 = r*t - 3*z - 12 for t.
3
Suppose -2*w - 2*w = -22*w. Solve 5*j + 6 = -5*t + 2*j, w = 3*j + 6 for t.
0
Suppose 3*b + 5*g = 28, 2*g = -3*b + 3 + 10. Suppose 0 = -3*a + 5 + b. Solve -4 = i, -a*n + 4*i + 12 = -0 for n.
-2
Suppose -2*z = 4, -4*j = -3*j + 4*z + 3. Suppose 3*k - 1 - 14 = 0. Solve 4*d - 2 + 6 = 2*c, -j*d - 5*c = k for d.
-1
Suppose 0 = 2*s + d - 0 - 6, 3*s = -3*d + 12. Solve -2*w - 2*w + 12 = 