5*p for p.
2
Suppose 14*k = 17*k - 24. Solve w = 2*l - 8, -l - 5*w = l - k for l.
4
Suppose -4*u = 3*y - 0*u + 12, -3 = -3*y + u. Suppose -35*x + 29*x = 0. Solve -3*c + 8 = -2*v, 2*v + y*c - c = x for v.
2
Let i(o) = o**3 + 7. Let k be i(0). Suppose 0 = 5*s - 1076 + 1071, 5*h = s + 9. Solve 4*d = -2*v + 10, h*d - k = 3*v + 18 for v.
-5
Let u(i) = -i**2 - i + 16. Suppose 0 = -9*y + 4*y. Let k be u(y). Let s = k - 11. Solve -s*b - 2*z - 3 + 28 = 0, 2*z + 25 = 5*b for b.
5
Let d be 3*-1 + (1 - -5). Solve 2*h + 20 = d*i + 2*i, i - 4 = -3*h for i.
4
Let l(u) = -21*u - 144. Let t be l(-7). Solve 40 = t*q - 5*w, -w - 3 = 2 for q.
5
Let z = -510 - -513. Solve 5*s = m + 6 + 1, 0 = -3*s + z*m + 9 for s.
1
Let q be 4/(-3 + 0 - -5). Suppose 2*r + 3*s = 4, -r - r - 4*s + q = 0. Let x = -11 + 13. Solve 0*z - 8 = -z - x*l, -l - r = 5*z for z.
-2
Suppose -5*i + 2*i + 15 = 0. Let n = -22 + 23. Suppose -i*b + 14 = -n. Solve -b*t = -l + 10, 6*t - 4*t = -10 for l.
-5
Let k(y) be the second derivative of 10*y + 1/12*y**4 + 11/6*y**3 + 0 - 11/2*y**2. Let u be k(-13). Solve 0*n + c - 4 = -n, -5*c + u = 0 for n.
1
Let v(j) = 2*j**3 - j**2 - 3*j + 5. Let c be v(1). Solve 4*u + 3*s = -32, 6*u = 4*u - c*s - 22 for u.
-5
Suppose p - 7 = -3*c, p - 4*c + 3*c = 19. Suppose 2*v + 2 = 4*m - 10, -3*m + 9 = 0. Solve -4*x + p = -4, v = -5*o + 4*x - 10 for o.
2
Suppose -486*j + 12 = -482*j. Solve -j*u + 4 = -4*z + 10, -4*z + u + 2 = 0 for z.
0
Let f(q) = 0 + q - 2 + 4*q - 3*q. Let o be f(1). Solve -w + 4*u + 9 = o, -w + 6*w + 12 = u for w.
-3
Let q be (3 - 20/8)/((-5)/(-170)). Suppose 23*m - q*m - 18 = 0. Solve -l = 4*r - m, 0*l + 3*l = -2*r - 1 for r.
1
Let i(c) = 4*c**2 - 18*c - 5. Let s be i(5). Suppose -5*u - 4*v = s, -3*v = 2*u + u + 6. Solve 5*t + h = 26, -2*t + 2*h + 5 = -u*h for t.
5
Suppose 95 = -5*a - 3*h - 19, -5*a - 102 = -h. Let f = -8 + 15. Let b be (-4)/(-3) + f/a. Solve -r - 10 = -3*i, r + i = -3*r - b for r.
-1
Let q = -26 - -28. Suppose -5*s + 42 = q. Solve 2*b = -3*z + 11 + s, b + 4*z = 17 for b.
5
Suppose -i = -3*i + 4*h - 14, 3*h = 2*i + 9. Solve 19 = n - 4*c + 4, i*n + 4*c = -3 for n.
3
Let j = 18 - 16. Let r be -1 - 0 - ((-13)/1 - j). Solve 0 = a + 3*o - r, -5*a = -0*o + 3*o - 34 for a.
5
Let k be (-18)/18*4*-1. Let u be k/(66/(-9) + 4 - -4). Solve -2*j + 14 = -3*z - 2*z, -4*z - u = j for j.
2
Let c = -29 + 16. Let z = 18 + c. Solve -3*f - z*m - 3 = -m, 5*m = 4*f - 27 for f.
3
Let b = 11 + 7. Suppose f = 3*f + 4*x + 6, -f + b = -5*x. Solve 2*s = f*s - 4*v + 9, 2*s + 8 = -2*v for s.
-5
Suppose 2*k = -2*k - 36. Let l be (-20)/6*k/5. Suppose 0 = 5*p - 19 - l. Solve 3*z - 3 = -0*a + 4*a, 5*z - 5 = p*a for z.
1
Let m be 9/(-6)*(-8)/6. Suppose 0 = -a + 6*a + 15. Let c be (2 - 3) + (0 - a). Solve j + 5 = c*i + m*j, -2*i + 2 = 4*j for i.
3
Suppose -12 = -4*w - 2*w. Suppose 35 = y + a - w*a, -y + 50 = 4*a. Solve 5*o - 3*j = -y - 2, 5*o - 4*j = -45 for o.
-5
Let f(d) = -d + 2. Let g be f(2). Suppose -r + g*r = -15. Solve 0 = -4*i + 2*c - 3*c - r, -3*i + c - 13 = 0 for i.
-4
Let f be (-2)/4*(-1 + -1). Suppose -3*v = -f - 5, 0 = j - 4*v + 8. Let k = 856 - 852. Solve k*r - p = -3, 2*p + j*p = -r - 12 for r.
-2
Suppose 2*y + 21 - 33 = 0. Solve -y*o + 3*f - 6 = -5*o, 0 = -2*f + 4 for o.
0
Suppose 0 = -25*r + 21*r + 212. Suppose -r - 37 = -6*z. Suppose -3*d + 2*d = -5. Solve i + 4 + 4 = -d*p, 0 = -5*i - z for p.
-1
Suppose -4*c = 4*w - c + 35, -5*c = 25. Let x be 0 + (0 - 1)*w. Solve -7*f = -3*f - 3*s + 8, 2*s = -x*f + 13 for f.
1
Suppose 0 = -4*u - 3*d + 1, -u + 5 + 4 = -d. Let a be 18/10 + 1/5. Solve -u*m - a - 1 = t, -4*m = 0 for t.
-3
Suppose 20*q = 33 + 67. Solve -27 = q*p + 2*k - 8, 5*p - k = -28 for p.
-5
Suppose 4*o + 4*y - 11 - 17 = 0, 18 = 4*o + 2*y. Let v(q) = -9 + q**2 - 1 + 0*q**o - 1. Let x be v(-4). Solve 18 = 5*m + 4*l, -3*m - 12 = -4*m - x*l for m.
2
Let l be (-36)/(-27) - (-55)/15. Solve -3*y + l = -3*h - 7, 5*h = -3*y - 12 for h.
-3
Suppose -3*i = -5*q - 18, -2*q - 7 = 3*i + 17. Let z be (-8)/3*q/4. Solve -20 = -4*a - z*k - k, -5*a = -4*k + 16 for a.
0
Suppose -2*w - 3 + 11 = 0. Suppose -w*j - 132 + 372 = 0. Let l be (-24)/j + 54/10. Solve l*o + 5 = -9*v + 4*v, -2*o = 5*v - 4 for o.
-3
Suppose -35 = -5*n - 10. Let o = 2297 + -2283. Let c = -38 - -53. Solve n*b + c = 5*h, -3*h + o = -5*b + 3 for h.
2
Let l = -109 + 112. Solve 5*t - 5*i = 40, 2*i - 29 = -l*t + 6*i for t.
3
Let f(w) = -7*w - 6. Let a be f(2). Let s = a - -6. Let d = s - -32. Solve 3*h + d = l, h - 3*l + 14 = -0 for h.
-5
Let j = -70 + 72. Suppose 15 = -5*o, -j*h - 5*o - 35 = -7*h. Solve 3*r = h*n, 2*r + 2*n = -0*r - 14 for r.
-4
Let w(a) = -32*a - 221. Let u be w(-7). Solve 2*r - 11*l + 3 = -8*l, 3*l - u = -r for r.
0
Let i be (-6)/14 - ((-4720)/70)/8. Let z(w) = 5*w - 5. Let s be z(3). Solve n = -3*v + 8, 4*n - s = -2*v + i*n for v.
3
Let r be (-9)/(-45) - 72/(-15). Solve -r*n + 3*t + t = 31, -4*n - 5*t + 8 = 0 for n.
-3
Let b(x) = -x**2 + 30*x - 117. Let i be b(5). Solve -4*s + i + 0 = -2*f, 0 = -3*s for f.
-4
Let t(f) = 8*f - 81. Let h be t(17). Let x = 57 - h. Solve 3*w - 4*k = 32, -2*k = -x*w - 3*k + 3 for w.
4
Let q(b) be the third derivative of b**5/60 - b**4/4 + 5*b**3/6 - 2*b**2. Let x be q(5). Let t = 11 - 2. Solve t = j - 4*u, 3 = -u - x*u for j.
-3
Suppose -8*k - 28 = -9*k. Let u be k/13 + -2 - 111/(-39). Solve u*h = 4*b + 5, 5*h - h + 14 = -5*b for h.
-1
Suppose 4*j + 5 = -15. Let r be j/(-4) - 2/8. Solve 3*q = -i - r, 4*i - q + 3*q + 14 = 0 for i.
-4
Let x(r) = -r**3 - 4*r**2 - 2*r + 5. Suppose 6*q + 53 - 35 = 0. Let z be x(q). Solve -5*w - 3 = z*v - 0, -w - 3*v + 2 = 0 for w.
-1
Let f(n) = 15 + 12*n**2 + 0*n**3 - 6*n**3 + 7*n**3 + 12*n. Let d be f(-11). Solve 3*p - 4*x = 7 + 19, 0 = 5*p - d*x - 30 for p.
2
Suppose a - 4*l = 8, 0 = 15*a - 20*a + 5*l + 55. Let o = -1 - -1. Let p be (-2)/6 + 20/6. Solve p*c + 3*d - a = -o*d, 0 = -2*c + d - 4 for c.
0
Let s be 11/33 - 22/(-6). Solve v - 5 = 0, 0*k + s*v - 4 = -4*k for k.
-4
Let t be 98*(-3 - 27/(-6)). Suppose -3*z = 0, 5*z - t = -5*y - 52. Solve -3*f - 3*n = -5*f - 9, -5*f + 4*n - y = 0 for f.
-3
Suppose -w - 6 = -m, 0*m - 4*m - w + 19 = 0. Suppose -4*p - 4 = 3*j, -22 = -p - 3*j + 8*j. Solve 5*u = -2*h - 17, -p*u - h = -m*h + 26 for u.
-5
Suppose -3*i - 12 = -6*i. Let d(a) = -a + 4. Let y be d(i). Solve -3*b - 10 = -2*c, -4*b + 3*c = -y*b + 13 for b.
-4
Let s = 46 - 46. Solve i - 3*h = -2*h, s = h + 2 for i.
-2
Let j(c) = c**3 - 7*c**2 - 18*c + 2. Let v be j(9). Let r be ((-11)/v + 5)*(-1 - -1). Solve 8 = -3*y - r*k - 2*k, -4*k = 4*y + 8 for y.
-4
Suppose 5*j - 935 = 5*v, -103 = -j + 3*v + 94. Suppose 5*s = -77 + j. Let p = -18 + s. Solve t + 2*t - k = 7, 0 = -p*t + 5*k - 13 for t.
4
Let a = 126 + -123. Solve 2*w + 13 = a*w + 3*r, -1 = 3*w + r for w.
-2
Let j(y) be the first derivative of -y**2/2 - 10*y - 3. Let a be j(-10). Let w be 7 - (2 + 0 - a). Solve 4*l - 13 = h + 11, 5*h = -5*l + w for l.
5
Let m(p) = 2*p**3 - 4*p**2 - 2. Let q be m(3). Suppose 0*z - z + 3*k + q = 0, -k = z - 24. Solve -4*y + 1 = 5*d - 12, 2*d - 4*y = z for d.
5
Let q(o) = 11*o + 203. Let s be q(-18). Solve -3*v + 4*v - 16 = -3*c, 3*c = s*v - 8 for v.
4
Let u be 3 + (-1)/(-2 + 3). Let y be (1 + u)*4/3. Solve -y*d + 0*z - 3*z + 25 = 0, 2*z = 6 for d.
4
Suppose -2*o + 9 = 3*m, -17*o = -18*o. Solve c + 2*u - 2 = -3*c, -m*c + 21 = -5*u for c.
2
Let b be (3 - -5)*2 + -2. Suppose x - 1 = 2*f - 0, b = 3*x + 5*f. Let o(r) = r**2 + r + 3. Let w be o(0). Solve 3 = 5*h - 4*j, -w*h - h = x*j - 21 for h.
3
Let m = -618 - -620. Solve -4*g - 3 = -7*g - 3*w, 5*w = m*g + 5 for g.
0
Let q = -188 - -192. Let l(t) = t**3 + t**2 + t + 1. Let k be l(-1). Solve 0 = 5*o - g + 4, -2*o + k*g = g - q for o.
0
Suppose 0*y + 2*y = -2, b - 5*y - 26 = 0. Let r = 22 + -14. Suppose r*g - 4*g = 12. Solve -17 = -2*z + g*k + 2*k, b = z - 5*k for z.
-4
Suppose -3*g + 82 = g - 2*j, g - 13 = 3*j. Solve 2*f + 4*o - g = 0, o - 7 = 3*f - 3*o for f.
3
Suppose 2*r = 2*y - 66, r - 61 = -2*y + 20. Let b = y - 35. Solve -2*k - 3*k = 5*o, -b*k - 2*o = 0 for k.
0
Suppose 13 = 2*u - 0*u + 5*l, 22 = 5*u + 2*l. Suppose -107 = -u*f + 73. Let x be (-8 + f)*1/1. Solve 10 = 5*r - t - 19, 0 = 5*r - 3*t - x for r.
5
Let u(b) = -b**2 - 12*b - 11. Let w be u(-11). Suppose -5*a + w*o - 5 = o, -4*a + 3*o = -15.