- 4 = -p for d.
-2
Let i(c) be the second derivative of c**4/12 + 4*c**3/3 - 10*c**2 - 14*c. Let q be i(-10). Suppose q*k = -k + 12. Solve -3*l - k = 3 for l.
-5
Suppose -5*c + 2 + 13 = -3*b, b - 2*c + 6 = 0. Let h be 20/15*(-3)/(-2). Suppose -14 = -h*x + 3*y, 0*y - 4*y - 16 = b. Solve -2 = -q - x for q.
1
Suppose 5*y = -3*d + 20, 4*d - 5*d + 4 = y. Suppose 3*b = -4*s - 4, 0 = -y*s - 4 - 0. Solve b = v - 1 - 1 for v.
2
Suppose 0 = 3*p - 6*l + 3*l + 3, 0 = -3*p - l - 15. Let r be 2/p + 14/4. Let k = 1 - 1. Solve k = -v + r for v.
3
Let r(q) = 2*q + 16. Let t be r(-8). Suppose -4*z + t*z + 4 = -3*c, -c - 3*z = -3. Solve 3*w + 2*w + 20 = c for w.
-4
Suppose -15*i = -5*i - 20. Solve 3*z = -i*z + 25 for z.
5
Let c(d) = d**2 - d - 18. Let h be c(6). Let l = h - 8. Suppose -r = -l*r + 6. Solve 0 = 2*q - q - r for q.
2
Let v = 290 + -276. Solve 16*s = v*s - 4 for s.
-2
Let q = -89 + 89. Suppose -i = 4*i - q*i. Solve -4*f = -i - 12 for f.
3
Suppose 3*c = -4*w + 20, 0 = -2*w + 15 - 5. Solve 5*z - 12 - 13 = c for z.
5
Suppose 0 = -11*c + 174 - 119. Solve 11 = c*b - 14 for b.
5
Suppose -5*f + f = 5*a + 8, 4*f = -4*a - 4. Let u(k) = 3*k - 3*k - k + 8. Let s be u(f). Solve -s + 1 = -o for o.
4
Let a = -49 - -82. Let g = a + -33. Solve 1 = -i - g for i.
-1
Let t(r) = r**3 - 8*r**2 - 6*r + 22. Let i be t(9). Let c be (-78)/(-21) + 14/i. Solve 0 = -c*z - 5 - 3 for z.
-2
Suppose 6*c = 312 + 198. Suppose -4*u = -c + 25. Solve t - 4*t + u = 0 for t.
5
Let i = 128 - 74. Suppose -5*l + 76 + i = 0. Let r = 37 - l. Solve 2*g + 3 = r for g.
4
Let j(d) = -d**3 + 2*d**2 + 2*d + 1. Suppose 4 = -2*o + 4. Let h be j(o). Solve -4 = 3*g - h for g.
-1
Let d be (-6)/(-4) - 24/(-16). Suppose -2*a - d*a = -5. Let z be 6/24 - a/4. Solve l = -z*l for l.
0
Suppose -a = -12*a + 22. Suppose f + 5*y - 18 = -3, 0 = -a*f - 5*y + 20. Solve 0*x - 5*x = -f for x.
1
Let f be 190/30 - 4/(-6). Suppose -f*r = -2*r - 80. Solve -k - r = 3*k for k.
-4
Let n(c) = c - 3. Let p be n(5). Let t(x) = -x**3 + 8*x**p + 0*x**3 + 1 - 5 - 6*x. Let z be t(7). Solve -4 = -z*q + 4*q for q.
-4
Let t = 472 - 467. Let y = -4 + 9. Suppose r - t = y. Solve 0*l - 5*l = r for l.
-2
Suppose 0 = -4*g, -r = r - 3*g. Suppose k + n - 10 = r, -k + 3*k + 4*n - 14 = 0. Suppose -a + k = 5*w - 8, -w + 7 = 3*a. Solve 0 = -l + a - 6 for l.
-5
Let t(n) = n**3 - n**2 + 3. Let y = 28 - 28. Let p be t(y). Solve 1 - p = -b for b.
2
Let x be -4 - 56/8*-1. Solve -11*i - 14 = x*i for i.
-1
Let w be (-9)/(-5)*(20/6 - 0). Solve 9*j - w*j = -9 for j.
-3
Let r = -49 + 53. Let q(f) = -2*f**2 + 10*f - 6. Let l be q(r). Let p(m) = -m**3 - m**2 - m + 13. Let v be p(0). Solve v = 3*b - l for b.
5
Let k(s) = s**2 - 6*s + 10. Let d be k(5). Suppose -d*c - 6 = 4*a, -2*c - 3*c = 3*a + 2. Solve 9 = -5*q + c*q for q.
-3
Let y(g) = -24*g + 75. Let q be y(3). Solve q = -2*f - 3 for f.
-3
Suppose 2*b - 9 = -s, -s - 3*b = -4 - 9. Let t = 4 - s. Solve 0*g - t*g = 0 for g.
0
Let a(v) = -v**3 - 4*v**2 - 11*v + 5. Let s be a(-3). Solve 30*y = s*y for y.
0
Suppose 3*o - 5*k = o + 15, -2 = -o - 3*k. Suppose -o = m + 2*a - 1, 0 = -a - 3. Solve -z = -2*z - m for z.
-2
Suppose 0 = -4*t - k - 0*k - 21, t + 4*k - 6 = 0. Let z be 20/(-6) - (-4)/t. Let r be (-12)/16 + (-27)/z. Solve 0 = -h + r*h - 10 for h.
2
Suppose -5*h = 17*b - 15*b - 191, -b + 133 = -5*h. Solve 106*t - b*t = 10 for t.
-5
Suppose 12*r - 209 = -7*r. Suppose -4*m - 5 = r, -22 = -2*j + 3*m. Solve -8 + 33 = -j*l for l.
-5
Let b(i) = 6*i + 30. Let a(u) = -u - 6. Let h(j) = -22*a(j) - 4*b(j). Let g be h(6). Solve -5*c + 2 - 7 = g for c.
-1
Suppose -3*r - 4*x = -29, -x - 4 = -3. Solve 6*d - r*d = 15 for d.
-3
Let s be (0 + (-4)/6)/((-8)/(-228)). Let r = s - -19. Solve 3*y + r = -6 for y.
-2
Let p(c) = -c**3 - 6*c**2 - 8*c - 7. Let v be p(-5). Suppose v*q + q = 108. Solve 3*r - q = -0 for r.
4
Let s(z) = z**3 - z**2 - 2*z + 3. Let n be s(2). Let b = 17 + -2. Suppose 4*a + b = 8*a + 3*x, -3*a - 5*x = -25. Solve n*d + 3 = -a for d.
-1
Let m(j) = -8*j + 1. Let d be m(-1). Let l(z) = -z**2 + 10*z - 5. Let v be l(d). Solve -v*p + 7 = -5 for p.
3
Let s be (4 - -5) + (-9)/1. Solve 4*a - 11 + 19 = s for a.
-2
Let d be (4/(-2))/(-2)*(1 + 9). Solve d*w - 64 = 26*w for w.
-4
Suppose -39*c + 13 = -143. Solve -c*f = 57 - 53 for f.
-1
Let m(b) = b**2 + 13*b. Let p be m(-13). Solve -3*r - r - 20 = p for r.
-5
Let n = 25 - 28. Let p be 16/n*(-15)/20. Solve p*g = 5 - 1 for g.
1
Let z = 73 + -65. Let y = z + -4. Solve y*t + 0*t = 0 for t.
0
Let i(w) be the second derivative of w**3/6 + 5*w**2 + w. Let p be 22/(-5) + -2 + (-14)/(-10). Let o be i(p). Solve -4 - 1 = -o*j for j.
1
Suppose 2*v - 51 = -3*d, 2*v - 68 = -5*d + d. Suppose -6*h + h = 5*c - 20, 2*c - 8 = 4*h. Solve h = -13*l + d*l + 4 for l.
-1
Let h(s) = s**3 - 2*s. Let f be h(2). Suppose -33 + 13 = -f*u. Let m(c) = -c - 3. Let z be m(-6). Solve -z*a + 2*a = u for a.
-5
Let q = -25 - -28. Suppose 7 = 4*f + q*c, 5*c + 23 = 2*f - 0*c. Solve u = f*u for u.
0
Let h = 25 - 17. Suppose 6 = -5*s + h*s. Solve 0 = o - s*o for o.
0
Suppose 586 = -5*f - 4*c + 127, 0 = 4*f - 2*c + 388. Let l be 1/5 + f/(-25). Solve l*p + 6 = p for p.
-2
Suppose 5*g - 2*j = 352, 0 = 2*j + 5 - 3. Suppose -13*f = f - g. Solve 2*w = 7*w + f for w.
-1
Let n(c) = c**3 + 14*c**2 - 3*c - 34. Let l be n(-14). Solve z - 6 + l = 0 for z.
-2
Let p = 125 - 44. Let y = p - 81. Solve y = -f + 5*f for f.
0
Let l be 8 - 17/((-85)/(-30)). Solve l*k = -k - 15 for k.
-5
Let a(s) = s**3 - 8*s**2 + 10*s + 20. Let x = 13 - 7. Let n be a(x). Solve n = l + l for l.
4
Let k = -8 - -1. Let g = -4 - k. Let x be 6/9 + 4/g. Solve -x*v = 3*v for v.
0
Let f = -1 + 2. Suppose 2*c - 2*x = 3*c - 30, 2*c = -3*x + 55. Suppose 0 = -5*p + 4*q + 35, 5*q + c = q. Solve -f - 2 = -p*m for m.
1
Let r(a) = 28*a + 1180. Let s be r(-42). Solve 0 = -s*x + 3*x + 7*x for x.
0
Let v = 10 + -20. Let n(l) = l**3 + 11*l**2 + 10*l. Let p be n(v). Solve p = 5*o + 14 + 1 for o.
-3
Let y = 43 - 11. Suppose 0 = 4*i - 4*o - y, 0 = i - 4*o + 9 - 29. Solve -5*l + i = 29 for l.
-5
Let d be 4 + -4 + 3 + -3. Suppose 3*u - 6 = -d*u. Solve u*o + 3 - 1 = 0 for o.
-1
Let y = 202 + -195. Solve 5*b = y*b + 2 for b.
-1
Let v(h) be the third derivative of h**6/120 + 2*h**5/15 - 11*h**4/24 - 8*h**3/3 + 5*h**2. Let a be v(-9). Solve -a*d = -0*d - 10 for d.
5
Let x be (5/10)/((-4)/(-240) + 0). Solve -x*r + 32*r + 2 = 0 for r.
-1
Suppose m + m = -5*i + 25, -2*i + 1 = -m. Suppose 0*c = 2*b - 4*c, 16 = -4*c. Let o = -8 - b. Solve m = 5*y - o for y.
1
Suppose -r = 4*r. Let z be (-6 - (1 + -8))/(1/3). Suppose 5*k - 13 = t, t + 2*k + 3*k - 17 = 0. Solve r = -z*a + t*a for a.
0
Let p = -551 + 561. Solve p + 18 = 7*r for r.
4
Let v = 13 - 53. Let q = v - -46. Solve -5*k - q = 14 for k.
-4
Let m(d) = -d - 3. Let u be m(0). Let b = 3 - u. Suppose b*n = 3*n. Solve -9 = 3*x - n*x for x.
-3
Let t be (-4 + 6)/(2/(-4)*-1). Solve 25 = 9*f - t*f for f.
5
Let r(b) = 4*b**2 - 7*b + 6 + b**3 - 3*b**2 - 1 + 6*b**2. Let s be r(-8). Let i be (4 - 4)/(-4 - s). Solve 5*l - 5 = -i*l for l.
1
Let o be 18 - 407/22 - (-14)/4. Let m be (1 - 7)*10/(-4). Solve m = 3*a + o for a.
4
Let c(g) be the first derivative of -3*g**2 + 59*g - 7. Let i be c(9). Solve 4*x - i = -13 for x.
-2
Let a be (-114)/152*80/(-6). Solve a*f - 1 = 9 for f.
1
Let t be (-6)/4 - (-3)/(-18)*-9. Solve t = 2*u - 7*u + 10 for u.
2
Let k = -171 + 176. Suppose -5*v = 16 - 41. Let o(a) = 2*a - 11. Let h be o(8). Solve -h = v*n + k for n.
-2
Let o(q) = -q**3 + 7*q**2 - 5*q - 4. Let a be o(6). Suppose -h = -r + 5*r + a, -5*r - 34 = -h. Suppose -6*l - 10*l = 5762 - 5794. Solve 4*p - h + l = 0 for p.
3
Let z = 33 - 31. Solve z*h + 3*h = -15 for h.
-3
Let t be 3 + (0 - (1 + 1)). Let v be -3 + t + (4 - 1). Solve -v = a - 0 for a.
-1
Let g(i) = i**2 + 1. Let q = 0 - -2. Suppose 5*z - q = 3*s + z, 3*z = 5*s + 7. Let f be g(s). Solve 2 = -f*v + 7 for v.
1
Suppose -54*d = -50*d - 8. Solve d*v = 7 - 17 for v.
-5
Let c be 55/66 - (-122)/12. Solve -14 + c = -k for k.
3
Suppose m + 0*m - 2*f = -6, 0 = -3*f + 12. Suppose -y - y - m = -4*b, b + y = 2. Let t be (-2 - b) + (-15)/(-5). Solve t + 1 = s for s.
1
Let o be 267/9 - 12/18. Solve -o*k - 2 = -27*k for k.
-1
Suppose 2*a + 20 = 4*k, -4*k + 8 + 12 = -5*a. Solve -5 + a = p for p.
-5
Suppose o 