= 0 for p.
-4
Let y(r) = -r**3 + 2*r**2 + 2*r - 4. Let i be y(3). Let v be (3 - i)/(-2)*-1. Let t(f) = -4*f - 16. Let z be t(-10). Solve 5*p - z = -9, -v*d - 30 = -5*p for d.
-3
Suppose -4*x + 51 + 17 = 0. Suppose -5*r = -5*b + 10, x = b - 4*r + 6*r. Suppose 13 + b = 5*l, -2*m = 4*l - 26. Solve 4*z - 5 = 3*o, 3*o + m*z - 11 = 2*o for o.
1
Suppose -12*b - 194 = -302. Solve 8*m - b*m = -2*w + 2, m - w = 1 for m.
4
Let a = 157 + -147. Solve -r + 2 = -2*u + 3, 0 = -u + 4*r - a for u.
2
Let c = 481 - 475. Solve s - 3 = -i, s - i + c - 1 = 0 for s.
-1
Let o = 33 - 23. Solve -18 = 9*a - o*a + 4*j, -a - j - 2 = 0 for a.
2
Suppose -663 + 667 = 2*c. Solve 5*z = -5*w - 15, -c*z - 9 = 2*w + w for w.
-3
Let o be 26/39 + 4/(-6). Suppose -5*r + 2*h = -35, -5*r + o*h + 5 = 4*h. Solve 2*p + r*c + 15 = -0*c, -c = 5*p + 3 for p.
0
Let u = 25 + -21. Suppose u*d - 5*l = -3*l + 6, 0 = -4*d + l + 3. Solve d = -s - 3*s - 4, 2*s = -k + 2 for k.
4
Suppose -22*x + 20*x = -8. Suppose j + x*j = 0. Solve j = -i - 4*t + 8, -4*i - 4*t = -i for i.
-4
Let t(c) = -c + 17. Let n be t(12). Let i(x) = -x**3 + 7*x**2 - 9*x - 5. Let a be i(n). Solve -f + q = a, 5*f - 4*q - 5 = -2 for f.
3
Let j = -12 + 4. Let i be 4/(-32) + 39/j. Let q = i - -10. Solve 5*x - q*p = -25, -2*x + 0*p - 4 = p for x.
-3
Let f = 8 - 3. Suppose f*a = 2*a. Let t = -61 + 64. Solve 4*y + 4 + a = -t*q, 2*q = -2*y for q.
4
Let i be 7/28 - (-110)/8. Let g(z) = -18*z - 1. Let h be g(-1). Let y = h - i. Solve 5*k + a + 5 = -3*a, -3*k = y*a + 3 for k.
-1
Let k = -78 + 81. Solve -k*v + 0 = -p - 5, 2*p - 3*v = -7 for p.
-2
Let z(v) = v - 4. Let o be z(8). Let i be o*((-2)/(-4) - 0). Let m be i/(-10) + 22/10. Solve -9 = -2*p + 3*n, -n + 2 = m*p - 3 for p.
3
Suppose -30 + 2 = -4*s. Let n(d) = -5*d - 4. Let i(m) = 9*m + 9. Let v(a) = 6*i(a) + 11*n(a). Let x be v(s). Solve -x = -2*l + 3*t - 4, 0 = -4*l + 4*t for l.
1
Let f(d) = -d**3 - d**2 - 3*d - 1. Let h be f(-1). Suppose -h*x - 15 = 5*k, -2*x + 3*k + 5 = 4*k. Solve 0 = 2*v - 4, 5*v - 25 = x*z + 5 for z.
-4
Let j = -516 - -518. Solve -2*v + 6 = -4*f, -j*v - 8 = f + 1 for v.
-3
Suppose -3*w + 0*w + 3*h + 66 = 0, 0 = 3*w - h - 58. Let r be ((-12)/9)/((-8)/w). Solve -2*o = 4*i, r*o - 4*i = o + 8 for o.
2
Let o(p) = p**2 - 13*p - 18. Let i be o(-2). Solve -2*a = -3*b - i, b - 3*a + 0 + 4 = 0 for b.
-4
Let d be (-72)/5 + (-28)/(-70). Let x = -12 - d. Solve -2*n + 3*g = -11, 7 = -g + x for n.
-2
Suppose 6*m - 40 = 5*m. Let u = m + -34. Solve -6*p + 4*p + 4*z - u = 0, 4*p - 2*z = 6 for p.
3
Suppose -5*c = 2*j + 57, 0 = -2*c - 2*c + 2*j - 42. Let f = c - -15. Suppose 0 = f*r - 0*r - 8. Solve r*p = 3*p + 2, 3*k = 5*p + 13 for k.
1
Suppose d - 11*d + 60 = 0. Suppose 0 = -d*p + p + 30. Solve 6 = 5*z + 3*i - p*i, 0 = 4*z - i - 2 for z.
0
Let t(n) = n**3 - 5*n**2 + 3*n + 6. Let v(j) = 3*j**2 - 5*j + 2. Let g be v(2). Let d be t(g). Solve -4*l - 24 = -4, d*s - 13 = l for s.
4
Let s(n) = -3*n + 2. Let z be s(5). Let k = z - -15. Solve -i - 2 = -2*q - k*q, -2*q + 4*i = 6 for q.
1
Suppose 9*q - 35 = 19. Suppose -24 = -q*v - 0. Solve -s + 11 = t - 3*s, v*t = 4*s + 32 for t.
5
Let g(p) = -4*p - 65. Let a be g(-17). Solve -a*n = -4*o + 4, 5*n - 2*n = -o + 16 for o.
4
Let m = 119 - 111. Let a = -6 - -11. Suppose -a*f + f = -m. Solve 2*n + 2*n - 17 = -3*z, -5*n + f*z + 4 = 0 for n.
2
Suppose -38 = -3*p - 14. Suppose -9*j = -6*j. Let t be 2/(-6)*-1*(-18 + 21). Solve 0 = k - 2*m - t, -5*m - p + j = 3*k for k.
-1
Suppose -3*z = 18 - 30. Solve 2*j + 0 - 14 = z*l, -5*l - j = 21 for l.
-4
Let r(v) = -4*v + 79. Let o be r(19). Solve -o*f = -3*m + 9, 2*f + 4 = -4*m - 2*f for m.
1
Let a be -6 - ((-27)/(-6) + -6)*4. Solve -4*s + a*s + 8 = -3*l, 5*s = 5*l + 5 for l.
4
Suppose 4*x + 47 = r - 25, 3*x - 5*r = -54. Let n(c) = c**2 + 22*c + 75. Let s be n(x). Solve 2*v + 6 = -5*z, 0 = -z + s*z + v + 3 for z.
0
Let m = 407 + -395. Solve 8 = v + 5*h - m, -4*v - 3*h - 5 = 0 for v.
-5
Suppose 4 + 68 = 8*i. Suppose 2*y - 28 = -4*s, 5*s + 0 - i = 4*y. Solve r = 4*t - 9, t - 26 + 0 = s*r for t.
1
Let k(a) = 2*a**2 - 21*a + 58. Let f be k(5). Solve -5 = -v - 4*v, 2*j = 3*v + f for j.
3
Let d = -70 + 79. Let b = -14 + 28. Let m = b - 6. Solve 2 - d = 3*i + f, 4*f - m = -3*i for i.
-4
Suppose c - 2*i = -4*c + 9, -c - 9 = -4*i. Suppose -12 = -2*q - 5*z, z + 1 = c. Let g be q*(-3)/(-3 + 2). Solve -2*o + 12 = 3*a, g*a + a = 8 for o.
3
Let v(b) = b**2 + 4*b - 10. Suppose -2*j - 2 = f, 4*j + 0 - 2 = f. Let w be (9/(-18))/(f/(-24)). Let h be v(w). Solve 4*d + x + h = -7, -15 = 5*d + 2*x for d.
-1
Let d(k) = -k**3 - 8*k**2 - 10*k - 15. Let y be d(-6). Let p = y + 52. Solve -3*s - 1 - 15 = 4*h, -5*h - 5*s = p for h.
-1
Suppose -l - 81 = d, -2*l - 22 = 5*d + 155. Let v = 80 + l. Solve 2*c + 14 = -3*z, 0 = 4*z + v*c - 3*c + 12 for z.
-2
Let x = 24 + -8. Let u = x - 3. Solve h - 7 - u = 4*v, -3*v = -h + 15 for v.
-5
Let o(t) = t - 5. Let l be o(5). Let q(f) = -f**3 - 35*f**2 + 34*f - 72. Let u be q(-36). Solve 15 = -4*x - l*i + i, u = -x + 2*i - 2 for x.
-4
Let c be 170/(-50) - (-2)/5. Let h be 72/(-4)*(-2)/c. Let f be (h/21)/(2/(-14)). Solve 16 = -4*o + t, f*o - 2*t = 3*t - 32 for o.
-3
Suppose -4*h - 4*n = 56, -3*h - n + 4 = 44. Let k(q) = q + 14. Let b be k(h). Suppose 2*m + b - 11 = 0. Solve -m*s - 3 = 4*g - 1, 6 = 3*s for g.
-3
Let s(r) = 17*r + 70. Let n be s(-4). Solve -n*c + x = 5, 3*c - 2*x - 10 = -4*x for c.
0
Let a(d) = d**2 + 5*d - 30. Let u be a(-9). Solve 3*v + 2*t - u = 5*v, 4*v = -3*t + 9 for v.
0
Let d = -38 - -40. Let f = d - 0. Solve -12 = -3*k, -f*k + 6*k - 19 = 3*i for i.
-1
Let r = 656 - 631. Solve 4*p - r = -d - 37, -4*d + p - 14 = 0 for d.
-4
Let m = -34 - -37. Let u be (m/((-9)/6))/(-1). Solve 4*f - 2*n + 2 = u*f, 4*f = -5*n + 14 for f.
1
Suppose 0 = 17*r - 9*r - 288. Let o = 38 - r. Solve 3*m + m + k = 0, m - o*k = 9 for m.
1
Suppose -3*v = v - 16. Let n be (-3)/(v + 23/(-5)). Suppose -f = -4*f + 9. Solve -f*d - 2*d - n*o + 20 = 0, -5*d - 3*o = -10 for d.
-1
Let m = 20 + -16. Solve m*z + 20 = v, 4*z - 5*v - 7 = -27 for z.
-5
Let k(b) = -b**3 - 8*b**2 - 7*b + 3. Let r be k(-7). Let a = 5 - r. Solve -a - 1 = -3*g + 3*s, 5*g - 2*s = 17 for g.
5
Let g be (0 + 1)/(4/(-148)). Let h = 39 + g. Solve 2*n = 4*l - 2, -3*n = h*n - 25 for l.
3
Let o = -1014 + 1034. Solve 4*t + t = -3*h - 19, -o = 4*t for h.
2
Let v be (-132)/(-16) + 1/(-4). Let i(d) = -d - 6. Suppose -4*o - 18 = -o. Let m be i(o). Solve -4*a - 12 = 4*t, -3*t + v*t - 5*a + 5 = m for t.
-2
Let l be (-4 + -1)*(-3 + (-45)/(-25)). Suppose l*w - 18*w = -24. Solve -c - 5 = w*b, -3*c - 7 = 5*b + 3 for c.
5
Let w(s) = s**2 - 2*s + 2. Let f = 6 + -3. Let z be w(f). Solve z*y + r - 2 = 13, 12 = 4*y + 4*r for y.
3
Let t(r) = r**2 + 4*r - 4. Let g be t(-6). Suppose z + g = 13. Let a = 12 - 7. Solve a*h + 5 = -5*q, -z*h = -0*q + q - 15 for h.
4
Suppose -294*z - 35 = -301*z. Solve 5*a = 5*c - z, -3*a - 4 = -2*c - 2*a for c.
3
Let w(u) = u**2 + u**2 + 11*u + u**3 + 3 - 5 + 5*u**2. Let h be w(-4). Solve 0 = 4*b - 12, b - 3*b = -h*r for r.
3
Let s be 9/(-21) - (-4)/((-112)/(-1132)). Suppose u + 2*y - 15 = 0, -7*y + s = 3*u - 2*y. Solve -10 = -u*q, 4*r + q - 10 = 8 for r.
4
Let y = -26 + 44. Suppose 4*u + 3*f = 72, 0 = -u - 2*f + 3*f + y. Suppose 6*i = 3*i + u. Solve -i*v + v = -2*c + 1, v = 4*c + 7 for c.
-2
Suppose 12 = 8*l - 4. Suppose 2*o - 23 = -5*t, 0 = -l*t + 2*o - 4 + 2. Solve -t*c = 2*x - 0*x - 1, -x = -2 for c.
-1
Let s = 258 + -253. Solve -3*f - f = s*m - 2, -f = -3*m + 8 for f.
-2
Suppose -25*n - 20*n = -135. Let d = -2 - -4. Solve d*b + 1 = n*j + 6*b, j - 4*b = 11 for j.
3
Let r(h) = 2*h**2 + 4*h + 4. Let x be r(-2). Solve -x*d - 3 = 5*b, 2*d - 12 = -3*b + 5*b for b.
-3
Let m be (-6)/9 + (-80)/6. Let s be m/63 + 34/(-9). Let a be 0/(1 + (s - -2)). Solve -5*r + h - 10 - 1 = a, 3*h - 5 = r for r.
-2
Let l be (39/(-52))/(3/(-16)) + -4. Solve -4*h + 2*m = l, -5*h = -0*h + m + 14 for h.
-2
Let n = 1638 + -1634. Solve 5 = -5*p + n*q - 2*q, -4*q + 5 = -5*p for p.
-1
Let g(o) = -2*o**3 + 7*o**2 + o + 2. Let n be g(4). Let c be 10/(3*n/(-15)). Solve -5 = 2*s + 3*m, 5*s - m + 9 = -c*m for s.
-1
Let i = -397 + 399. Suppose 3*w + 4*t = -19, 4*w + 4*t - 1 = -21. Let o(f) = -3*f. Let r be o(w). Solve -1 = -2*d - i*n + r, 0 = 5*d - 4*n + 26 for d.
-2
Let c(r) = -