12 for p.
3
Let d(k) be the third derivative of k**5/60 - k**3/3 + 7*k**2. Let g be d(2). Solve -g*s - s - 12 = 0 for s.
-4
Let w be (-4)/(-18) - (-43)/9. Let t be ((-20)/16)/(5/(-20)). Solve 0 = -w*z + t for z.
1
Suppose 0 = -43*w + 36*w + 63. Solve 34 - w = 5*o for o.
5
Suppose 2*y = -0*y + 8. Let k = 6 - 1. Let i = -3 + k. Solve 6 = -i*n - y for n.
-5
Suppose -4*v = 4*q - 20, -4*q - 5 = -2*v + 5. Solve -v*l + 2 = -3 for l.
1
Let i(h) = -27*h - 7. Let p be i(-1). Solve 5*t = t + p for t.
5
Suppose -4*j + 1 = 3*f + 3, -5*f - 38 = -2*j. Let n be (6 + f)*(-1)/(-3). Solve n = -o - o - 6 for o.
-3
Let p(m) = -m**3 - 10*m**2 - 9*m + 3. Let r be p(-9). Suppose 2*j = -3*q + 10, 14 = r*q - 4*j + 2*j. Let w = -106 - -106. Solve -z + 0 + q = w for z.
4
Let z(d) = -3 + d**3 - 156*d**2 - 5*d - d + 159*d**2. Suppose 3*l - m = -8, -3*l - 12 = m + 4. Let b be z(l). Solve 0*p + b = -p for p.
-5
Suppose 2*a = -7 + 3, -k = 5*a. Suppose -3 = -3*v, 0*v = o - 2*v - k. Solve b + 2*b + o = 0 for b.
-4
Let i be 13/(-1 - 3/(-2)). Suppose 0 = -4*q + 12, -5*f + 117 = -0*q - q. Let r = i - f. Solve 0*t = r*t for t.
0
Let w = 14 + -9. Let b be (0/w)/(5 + -2). Solve b = 4*x + 10 + 6 for x.
-4
Let k be 428/18 - 32/(-144). Let f = 32 - k. Suppose 0*v + f*v = 0. Solve -2*x + 1 - 3 = v for x.
-1
Let s = -62 + 56. Let v(i) = -i**3 - 7*i**2 - 7*i - 2. Let w be v(s). Solve -3 = w*l - 11 for l.
2
Let n be 8/12*(0 - (-1 - 2)). Let p be (n/8)/(6/72). Solve -p*s - s - 8 = 0 for s.
-2
Suppose 0 = -0*m + 4*m. Let a(i) = -6*i + 45. Suppose 0*y = -5*l + 3*y + 35, -4*l + 2*y + 28 = 0. Let k be a(l). Solve -k*g - 2*g - 5 = m for g.
-1
Let k(q) = -q + 9. Let z be k(-7). Suppose 0 = 4*o + c + z, -8 = -0*o + 2*o + 5*c. Let h = 6 + o. Solve 0*w - 8 = -h*w for w.
4
Let h(d) = -4*d - 123. Let u be h(-31). Solve -3*m = 8 + u for m.
-3
Suppose 3*l = 34 - 28. Suppose 2*b + 18 = 3*p, 0 = -6*p + l*p + 3*b + 24. Suppose -15 = -w + 5*c, -4*w + 2*c = -c - 43. Solve -p*u + u - w = 0 for u.
-2
Suppose 3*q + 2*o - 3*o = 116, 5*q - 196 = o. Let d = 40 - q. Solve -3*b + d = 6 for b.
-2
Suppose -13*y - 2 = -93. Solve 15*q = y*q - 8 for q.
-1
Suppose 4 = 2*j - 0. Suppose w - 19 = -2*t, 3*w - 30 + 13 = -2*t. Solve 0 = j*a - 2 + t for a.
-4
Suppose -3*m + 111 = -24. Suppose m = -3*q + 60. Solve -q - 5 = -5*x for x.
2
Let j = -41 + 46. Suppose -o - 3 = -5*o + v, -o - 23 = -j*v. Solve -3*c = o*c + 5 for c.
-1
Let w = -469 + 476. Solve -w - 13 = 5*x for x.
-4
Let p = -14 + 14. Suppose p = 5*z - 14 - 1. Suppose 4*v - 15 = -5*d, 4*d + z*v = -6 + 18. Solve 0 = d*g - 2*g + 2 for g.
-2
Suppose a + i - 7 = 0, -2*a = 2*a - i - 28. Solve 5*b = 27 - a for b.
4
Let t(v) = -49*v**3 - v**2. Let n be t(1). Let i be n/15 - 2/(-6). Let q be (-1)/3 + i/(-9). Solve 3*g + q*g = 3 for g.
1
Let g be 0 + (0 - -2*1). Suppose -5*i = -g*i - 6. Suppose 0 = 54*a - 390 - 258. Solve -i*w = -6*w + a for w.
3
Let i(y) = 3*y**3 + 2*y**2 + y - 2. Let n be i(1). Suppose 3*f - 12 = f - 4*b, n = 2*b. Solve -1 = -a + f for a.
3
Let t be 2/(-5) + 666/90. Solve 0 = -3*c + t*c - 20 for c.
5
Let i be 1/((-8)/(-15) + 6/(-18)). Let b(l) = 2*l + 3. Let r(s) = s + 3. Let a be r(0). Let z be b(a). Solve -i*j = z - 29 for j.
4
Let g be (3 + (-3)/(4 + -1))*-2. Let q be ((-2)/4)/(1/g). Solve k + q*k = 0 for k.
0
Let r(b) = -2*b**2 + 9*b - 9. Let i be r(5). Let o be (-6)/(-4)*i/(-3). Suppose 2*n = o + 5. Solve n*v = v - 10 for v.
-2
Let o = 73 - 69. Suppose 3*x = x - q + 9, -o*x = -3*q - 33. Solve -5*u + 7*u = x for u.
3
Let d = -391 - -394. Solve 0 = h - d*h + 2 for h.
1
Suppose -7*r + 2*r = -4*t - 9, 0 = -3*t + 2*r + 2. Solve -t*k = 5*k + 27 for k.
-3
Let x be (-2 - (-80)/12)*-3. Let h = x - -15. Solve -3 = -v - h for v.
2
Let r be (-2)/5*(-30)/2. Let y be ((-3)/(-2))/((-21)/98) - -9. Solve -y*c - c = r for c.
-2
Let s = 3150 + -3148. Suppose -39 = -5*c + 2*c. Suppose -2*r - 3 = -c. Solve -r*j - s = 18 for j.
-4
Suppose 0 = 6*t - 8*t. Suppose -4*v - 5*b = -3, -5 - 8 = -5*v + 3*b. Solve t = v*x - 5*x - 3 for x.
-1
Let m = 84 - 66. Solve 4*t - 30 = -m for t.
3
Let d = -5 - -11. Suppose 0 = -s - 3 + d. Solve s + 6 = 3*n for n.
3
Let u be 42/56*(3 - -5). Solve 0 = -3*f - 12 + u for f.
-2
Let q = -4 - -9. Suppose 2*r = 8, -4*r + 16 = -q*m + m. Let x be 0 - (m - (4 + -4)). Solve x*z = z + 2 for z.
-2
Let l = -32 + 67. Suppose -l = -3*n - 2*n. Solve -5*y + n = 32 for y.
-5
Let i(g) = -g**2 + 17*g - 19. Let a be i(13). Let h = 35 - a. Solve 0 = -s - h*s + 15 for s.
5
Suppose -198 - 6 = -17*p. Solve -2 = p*k - 2 for k.
0
Suppose -o = 3*o - 20. Let u be o/(-40) - 17/(-8). Solve 0 = -u*g - 2 + 8 for g.
3
Suppose 18*k - 14*k - 24 = 0. Solve -3*d = k*d - 36 for d.
4
Let u = 18 - 16. Suppose -3*b + 36 = 5*i, 2*b + u*b + 5*i = 53. Let p be b + 1 + (-4 - -2). Solve -4*l = -p + 4 for l.
3
Let h(w) be the third derivative of w**5/60 + 7*w**4/24 + 2*w**3/3 - 5*w**2. Let k be h(-6). Let o be 14 + 2*1/k. Solve o = -5*u - 2 for u.
-3
Let n be (-50)/(-4) + (-3)/6. Suppose -2*c = -0*c - n. Solve -c*q - 20 = -2*q for q.
-5
Suppose -85*i = -80*i - 125. Solve -15*p - 12*p + i*p = 0 for p.
0
Let q(a) = 9*a**3 - 3*a + 2. Let p be q(1). Suppose 2*c = 2*l, -5*c + 3*l - p*l = -30. Solve t - c*t - 4 = 0 for t.
-2
Suppose -20 = 5*w - 6*w. Suppose 2 = w*l - 18*l. Solve -4 = -c - l for c.
3
Let j = -51 + 53. Suppose 0 = 2*x - 0*x - 20. Suppose 4*h - 2*w - x = 0, -j*h - 35 = -6*h - 3*w. Solve 0 = u - h + 3 for u.
2
Suppose 34*l = 86*l. Solve l = 6*u - 1 - 23 for u.
4
Suppose 0 = 14725*g - 14721*g - 32. Solve -g = 29*r + 21 for r.
-1
Suppose 4*m = -3*j - 60 - 112, -5*m + j = 215. Let z = 43 + m. Solve -s = -4 - z for s.
4
Let q(n) = -n**2 + 7*n - 9. Let g be q(4). Let l be 0*(3/g)/(-1). Let x = 4 + l. Solve 0 = -i - 2 + x for i.
2
Let t be -18 + (3 - 7) + 6. Let q be 19 + t - (-1 - -1). Solve -5 = g - q for g.
-2
Suppose 0 = -5*t - 2*j + 25, -4*t + 1 = -3*j + 4. Let i be t/6 + ((-6)/4)/(-1). Solve -7*v + 20 = -i*v for v.
4
Let d = 7 + -26. Let o(b) = b**3 + 18*b**2 - 20*b - 16. Let c be o(d). Solve c = -2*z + 5*z for z.
1
Suppose -3*a + 6 = -9. Solve a*p + 23 = 3 for p.
-4
Let k be 2/(-1 - 0) + 2. Suppose 3*a - 21 = -0*a. Suppose 2*w - w - a = 0. Solve k = l - 2 + w for l.
-5
Suppose -4*n = -5*g - 7, -3*n + 4*g + 4 = -1. Solve -n*x + 4 = 7 for x.
-1
Suppose -5*f + 5*t = -10, 5*f - 14 + 2 = 3*t. Suppose -3*u + 12 = -f*l, 5*l - 2*l - 18 = -2*u. Solve 1 - u = -5*w for w.
1
Let x be (-1)/9 + (-110)/(-18). Solve x = 4*z - 10 for z.
4
Let w = 1611 - 1514. Solve -z + 94 = w for z.
-3
Suppose 6*l + 16 - 16 = 0. Suppose l*p = 5*p + p. Solve p*n + 6 = -2*n for n.
-3
Let k = -2 + -5. Let x(b) = -b**3 - 8*b**2 - 8*b - 7. Let g be x(k). Solve g = -3*y - 6 for y.
-2
Let n = -29 - -41. Solve 3*s = n - 3 for s.
3
Suppose 0 = 3*g - 2*g - 11. Suppose 0*y - 36 = 4*y. Let m = g + y. Solve -j - m = -1 for j.
-1
Let z = 263 + -254. Solve -20 = -z*n + 4*n for n.
4
Suppose -19 = -3*g - 1. Let i(n) = 16*n - n**2 + 3*n + 19 - g*n. Let c be i(14). Solve -3 = c*y - 23 for y.
4
Suppose -13*c - 496 = -574. Solve c*s + 7*s = 9*s for s.
0
Suppose -8*a = 13*a - 126. Solve a*c - 9*c = 12 for c.
-4
Suppose a - 20 = -5*z - 2, 3*a - 4*z = -22. Let i be (-22)/(-6) + a/3. Solve 0 = -i*j + 2*j + 1 for j.
1
Let w = -4 - -7. Let a be (-2)/(-3) - 5/(-15). Let j be (20/12)/(a/3). Solve w*k = j*k for k.
0
Let r = -18 + 24. Suppose t = -1 + r. Solve -t*f = -3 - 2 for f.
1
Suppose 0*t - t + 41 = 5*a, -39 = -5*a + t. Suppose x - 42 = -30. Let w = x - a. Solve 3 = -w*u - 5 for u.
-2
Let o(h) = -h - 13. Let y be o(-6). Let s = 2 + y. Let v be 11 + 1 + s + 3. Solve t + v = -t for t.
-5
Let a(y) = 3*y**2 + 3*y + 2. Let x be a(-2). Solve -4*m + 2*m = -x for m.
4
Let r be (7 - 5)/((-4)/(-6)). Solve -8 = -r*l + 7 for l.
5
Suppose 19*n = -4*l + 18*n + 29, 25 = 5*n. Solve 10 = -l*x - 4*x for x.
-1
Let q = 25 - 24. Let i be (q - 1)/(4/(-2)). Solve -7*o + 2*o - 10 = i for o.
-2
Suppose 4 - 2 = v. Let f(c) = 0*c**2 + 1 - 3*c**2 + 1 + c**3 + c. Let t be f(v). Solve m + t + 3 = 0 for m.
-3
Let x = -903 + 933. Solve 27*g = x*g for g.
0
Suppose -4*s = m + m - 54, 76 = 3*m + 5*s. Suppose 12*n = m*n. Solve n = 3*z - 8*z + 25 for z.
5
Suppose -3*d - 10 = -5*u, 23 = 2*d - u + 25. Solve d*a - 10*a = -3*a for a.
0
Let o be ((-9)/6)/(-2*(-3)/(-12)). Suppose -4*n