p.
-3
Let m = -6 - -10. Let p be (-46)/(-14) + 4/(-14). Solve -4*c - 16 = -2*d, p*d = -d + m*c + 24 for d.
4
Suppose 0 = -5*m + 153 - 13. Suppose 0*h + 4*h = m. Let s = -3 + h. Solve -u + k - s = 0, 3*u + 5*k + 22 = 2 for u.
-5
Let b be (-10)/(-2) + 0/1. Suppose -1 = 2*t + b. Let n = 26 + t. Solve 0*g - g + 4*z = -n, -z = -4*g + 17 for g.
3
Let v(b) = 12*b + 4. Let h be v(5). Suppose -46 = -5*t + h. Solve -o = 5*i - 15, 2*i - i = -4*o + t for i.
2
Suppose -5*a + 5*y = -10, -3*y = -8*y - 10. Solve -5*z + 3*n - 25 = 0, a = 2*z + 2*z - 3*n + 20 for z.
-5
Let h(p) be the third derivative of p**6/120 + p**4/24 + 8*p**3/3 - p**2. Let u be h(0). Solve 4*i - g + u = 0, 5 = 5*g - 15 for i.
-3
Let c be ((-4)/6)/(-5 - (-438)/90). Solve 3*p + c*h = 5, 0*h - 1 = -5*p - h for p.
0
Let l(y) = -y**3 + 8*y**2 - 9*y - 2. Let h be l(5). Suppose -d + 6*d = -2*i + h, -16 = -2*i - 2*d. Solve 5*x - 30 = 5*t, -1 + i = -2*t - x for t.
-3
Let a be 2/3 - 21/(-9). Let l be 0 + 1/(a + -2). Let w = 1 - l. Solve 5*f - b - 9 = w, 2*f + b - 3 = f for f.
2
Let k be 1*4*(-3)/(-6). Suppose c - 3*x + 2 = 0, -4*c + 5*x = -k*c + 2. Solve -5*l = -3*h + 21 + c, -2*l - 10 = -2*h for h.
0
Let l = 21 - 16. Solve 13 = -4*p + m, l*p + m = -2*m - 29 for p.
-4
Let d be 143/(-2) - 4/8. Let h be ((-9)/(-4))/((-27)/d). Solve 2*r - 4*v = v - h, 3 = -r - 5*v for r.
-3
Suppose 3*v - 2 = -2*f, 4*v - f - 13 = 8. Solve v*p = p - 5*l - 1, -p = -2*l + 4 for p.
-2
Let j(c) = -2*c**3 - c**2 - c. Let h be j(-1). Let w be (1 - (-1 + h)) + 0. Solve -5*u - 3*y - 31 = -7*y, w = -4*y + 16 for u.
-3
Suppose -4*v + 3*i = -16, 2*v = 5*v + 3*i - 12. Suppose 2*x = v*x + 2. Let j = x + 6. Solve 0*g - 2*g + 20 = 4*f, -j*g + f = 5 for g.
0
Suppose 3*g + 1 = 4*g + f, -g + 1 = -5*f. Let w be (g/3)/((-1)/(-12)). Solve 12 = w*q - 4*l, -q = -4*l - 3 - 0 for q.
3
Let n = 12 + -10. Solve -2*b - 3*h - 5 - n = 0, -7 = 5*b + 4*h for b.
1
Let u(n) = -n**2 + 2*n + 5. Let y be u(0). Solve 5*q - 5*k = -15, -y*q + 4*k - 14 = -3*q for q.
1
Suppose 0 = -3*s - 5*n + 37, -2*n + 54 = 4*s - 0*n. Suppose 2*c + 19 = -5*a, 2*c + s = -0*c - 4*a. Let x = c + 2. Solve y = -x*g - 12, -g + 4*g = -6 for y.
-2
Suppose 0 = 12*q - 7*q - w - 14, -16 = -4*q - 4*w. Solve 0 + 3 = 3*r - q*c, -2*r + c + 6 = 0 for r.
5
Let i be (-10 - -6)*(-3)/4. Suppose 0 = -5*q + i + 7. Solve 0*u - q*u + 11 = x, -4*x - 5*u + 35 = 0 for x.
5
Let h = -155 + 77. Let t = -38 - h. Suppose 2*i = -3*i + t. Solve -4*r = -4*q - 12 - i, r = -q - 5 for q.
-5
Suppose -3*x = -2*x - 1. Suppose -i + x = -1. Solve -i*y = -0 + 8, 0 = -4*s + y + 16 for s.
3
Let q(j) = -j**2 - 4. Let x be q(0). Let m = 6 + x. Solve -3 = -3*p + 4*p - y, m*y = 4 for p.
-1
Suppose -m = 4*m + 20. Let f be m/(-14) - 10/35. Solve -2*n - 3*n = 3*i - 3, -4*n + 3*i + 24 = f for n.
3
Suppose 0 = -0*l + 2*l. Let c(z) = -8*z. Let g be c(-3). Solve l = -x - b, -4 = -3*x + 4*b + g for x.
4
Suppose 5*n = -5*j + 30, 0 = 2*j + 3*n - 13 + 1. Solve -2*x + 2*g - j = 0, -10 = -5*x - 4*g + 20 for x.
2
Let p = -22 - -65. Suppose -p = 5*k + 22. Let y be -3 - (-3 + 1) - k. Solve 0 = 2*v + 3*q - 19, -3 = 3*v - 2*q - y for v.
5
Suppose -5*r - 2*s + 30 = 0, 5*s - 41 = 4*r - 8*r. Solve 0 = -2*v + 2*f + f + 15, -r*v + f + 5 = 0 for v.
0
Let v be 3 + (-2 - (-1 + -1)). Let z be ((-1)/v)/((-1)/9). Suppose 0 = -4*r - 2*n + 18, 0 = r - 4*n - 2 - 7. Solve z*x + 8 = -7, 4*x = r*o for o.
-4
Suppose 0 = -3*h + 4*i + 4, i = -2*h - 0*h - 1. Solve h = -2*r + 5*j - 24, 0*r + r = -4*j + 14 for r.
-2
Let m = 0 + 3. Let p = m - -1. Let b = -181 + 185. Solve -2*l + 3*r - b = 0, -l - p*r = -5*l for l.
4
Let v be (-1)/4 - 202/(-8). Suppose 2*q = -3*m + v, 0 + 20 = 4*q. Suppose 1 = g - 2. Solve g*k = -m*n + 34, 4*n - 8 = 4*k - 0 for k.
3
Suppose 0 = 4*z + 13 - 65. Let w = 15 - 13. Solve -5*c + w*k + z = 0, 5*k + 37 - 12 = 5*c for c.
1
Suppose 4*v + 4 = -12. Let d(q) = -q**3 - 5*q**2 - 4*q + 3. Let o be d(v). Solve -8 = 2*z + 5*a + 8, 21 = -5*z - o*a for z.
-3
Let v be 25/20*4 - 4. Solve 2*w + 3*w + 3*y = 14, -2*y = -5*w - v for w.
1
Suppose m + 4*w = 1 - 19, w = 2*m. Let d(q) = 0*q - 3*q + 2*q**2 + 6*q. Let z be d(m). Solve -2*a + h = -z*h - 4, -3*h + 11 = a for a.
5
Suppose y - 14 = -0*y. Solve 3*i - 3 = 3*d, -2*d + 2*i = -3*i + y for d.
3
Let s(g) = 4*g**3 - 4*g**2 + 5*g - 5. Let t be s(2). Let d = t + -11. Solve v = -3*x + d, 5 = 5*v - 5*x - 5 for v.
4
Suppose 0 = -5*h + 2*h + 5*q - 28, 5*h + 60 = -5*q. Let i = h - -11. Solve 3*f = -3*t - i*t, -4*t + 45 = -5*f for t.
5
Suppose q = -p + 5, -5*q + 21 = -2*q + 5*p. Solve 3*n + 4 = 6*n + 5*l, 0 = 5*n - q*l - 17 for n.
3
Suppose -3*y = -2 - 7. Suppose 34 = y*k + 13. Let g(w) = w**2 - 2*w - 3. Let t be g(4). Solve 2*m = -h + 4, -m - t*h + k = -4 for m.
1
Suppose -3*m = 42 - 6. Let b be 53/2 + m/(-8). Solve 3*t + j - 4 = 3*j, -4*j = 3*t - b for t.
4
Let y be (-4)/((-12)/(-33)) + -1. Let t = 17 + y. Suppose 24 = 4*l - 4*f, -l - 3*l = t*f - 6. Solve -2*h + 7*h = 10, -l*j = h + 14 for j.
-4
Let o be 5/2*12/15. Let p = 33 - 28. Solve p*f = -2*n + 6*n - 7, -o*n - 2*f = 10 for n.
-2
Let a(p) = -4*p + 44. Let s be a(4). Solve 3*n + s = -3*d + 7*d, -2*n = -d + 12 for d.
4
Suppose 0*i - 148 = -4*h + 4*i, -5*h - i + 161 = 0. Suppose -2*b + 6 = y, -y + 3*y - 3*b - h = 0. Solve 4*p = -f + 5*f + 32, -5*p + y = 2*f for p.
4
Let r = -4 - -7. Suppose r*v = 16 - 4. Solve 4*d + v*l - 32 = 0, -5*d - 12 = -6*d - 2*l for d.
4
Let k be 23/5 + 6/15. Let y(m) = m**3 - 2*m**2 + 2*m. Let d be y(2). Suppose 4*i + 8 + d = 0, a = k*i + 18. Solve 5*r + 4*g = 2, -2*g - a*g = 4*r - 7 for r.
-2
Suppose 0 = d + 3*d, -5*d = -5*m. Suppose b + 3 = 7. Suppose m = b*s - s - 6. Solve o + 6 = r + s, 5*o - r = -12 for o.
-2
Let q = 17 + -15. Suppose -q*s = s - 33. Solve -4*r + 20 = -2*f, -r + 4*f = -s - 8 for r.
3
Let v(p) = -20*p - 2. Let m(z) = -z**2 - 5*z - 1. Let u be m(-2). Let x be v(u). Let l be x/(-36) - (-2)/12. Solve -j - 28 = 5*c + l*j, c = -2*j - 8 for c.
-4
Let x(a) = -4*a - 24. Let n be x(-7). Solve 3*z + 3 = 0, 0 = -n*m - 4*z + 4 - 0 for m.
2
Let y = 118 + -115. Solve -y*k + 2*r - 5 = 2, 3*r = 15 for k.
1
Let r be ((-1)/2)/((-2)/(-12)). Let p be (1 - 2)*3/1. Let g be (p/3 + r)*-1. Solve 30 = 2*t + 5*c, c = -g*t + 2*c + 16 for t.
5
Let i = 55 + -53. Solve -i*h = 4*x - 14 - 2, 0 = 3*x + 5*h - 19 for x.
3
Let h be (-2)/8 - 42/(-8). Solve 0 = 4*r - 2*d - 24, -h*d - 10 = -5*r + 30 for r.
4
Let l be ((-6)/(-18))/((-1)/(-15)). Solve 0 = -l*n + 5*a - 15, -n = -4*n - 4*a + 5 for n.
-1
Suppose 0*n - n + 7 = 0. Let x be 19/n - (-6)/21. Solve 6 = k + 4*s, -x*s + s = 2*k for k.
-2
Let u be 76*(2 + -4) + -2. Let c = u - -288. Suppose 2*i - c = -2*i - 5*v, 2*i - 56 = 3*v. Solve 4*f = -3*t, -3*f = -4*t + 6 - i for t.
-4
Suppose 5*o = x + 15, -2*x - 13 = -2*o + 1. Suppose 2*i - 4*i = 4*y, 0 = 4*i - o*y. Solve n + 4*w + 23 = i, 2*n = 3*w + 2 + 7 for n.
-3
Suppose 2*o - 19 - 13 = 5*j, 22 = 3*o - j. Let b be (1/4)/(o/48). Solve -19 = -2*n + 5*d, 4 + 0 = 2*n - b*d for n.
-3
Suppose 0 = 3*m + 2*m - 20. Solve -m*y + 21 = 5, 5*t - 4*y + 21 = 0 for t.
-1
Let g = 0 - -5. Suppose -g*c = -c - 20. Solve -5*x - 20 = -c*o, -x - 4*o + 24 = 3*x for x.
1
Let o(i) = -i**2 + 7*i - 5. Let s be o(6). Solve -z - 3*p + 13 = 0, s + 19 = 2*z + 4*p for z.
4
Suppose 4*f + 0 - 2 = 3*n, 0 = -2*n + 3*f - 1. Let s = n + 4. Solve -5*c - 2*d = s, -2*c + d = -4*d + 24 for c.
-2
Let o(v) = -3*v - 7 + 2*v + 3. Let i be o(-4). Let m be 2 - -1*(0 - 0). Solve 2*p = -4, i = 4*d - 7*p + m*p - 22 for d.
3
Suppose -30*k = -33*k + 6. Solve 0 = 3*n - k*n + 5*h + 5, -5*n = 4*h + 4 for n.
0
Let r(f) = -f**3 + 16*f**2 - 13*f - 27. Let c be r(15). Solve -j + 2*i - 3 = i, 0 = -c*j - 2*i - 4 for j.
-2
Let u(b) = b**3 - 5*b**2 - 2*b + 6. Let g be u(5). Let t be (-11 - -6)*g/10. Let r be t/((-2)/(-1)) - -2. Solve 9 = -3*f + 5*l, -3*l = f - 7*l + r for f.
-3
Let h(x) = -x + 2. Let q be h(0). Let s = q + -1. Suppose s - 7 = a + 4*k, 4*a - 6 = -k. Solve 2 = -4*f - a*t, -3*t + 7 = f - t for f.
-3
Suppose -2*r - 9 = 3*w, r - 3 = w + 4*r. Let u be 6/(-9) - 2/w. Solve u = -4*h + 4, 6*h - h - 10 = -5*d for d.
1
Suppose 0 = -s - 2*b - 6, 3*b + 7 = 3*s - 20. Let h(p) = -p**2 - 11*p + 14. Let w be h(-12). Solve w*g - 2*f + 12 = 0, -g - 27 = s*g - 2*f for g.
-5
Let u(f) = 7*f**3 + 2*f**2 - 1. Let d be u(1). Let