4*o + 12, o = -t + p*t + 17 for t.
-4
Let r = 36 + -43. Let t(w) = -w**2 - 10*w - 21. Let j be t(r). Solve -2*i - 2*f + 4 = j, 0 = 3*i - 6*f + 2*f - 27 for i.
5
Let i = 76 + -40. Let w = -33 + i. Solve 18 = -2*p - 3*r, p = w*p + r + 10 for p.
-3
Suppose -2*b = 5*d - 80, 2*d - 4*b - 24 = 32. Suppose 0 = -i - 3*y - 7, 46*y = 3*i + 51*y + 5. Solve 3*k - 7*f + 3*f = -d, 3*k - 9 = -i*f for k.
-2
Suppose -2*d - 15 = -21. Suppose f = 3*j - d, -5*f + 21 = 2*j + j. Let h be (-8)/(-6) - (-10)/15. Solve 3*k = 3, -3*g - h*k = -j*g for g.
-2
Let y(s) be the second derivative of -s**3/6 + s**2/2 - 2*s. Let a be y(1). Let w = -22 - -26. Solve 2*k + 5*o - 9 = a, w*o - 27 = 5*k - 0*o for k.
-3
Let l(a) be the second derivative of -a**3/6 - 7*a**2/2 + 2*a. Let g = 151 - 160. Let x be l(g). Solve 2*z = -3*w - 10, 0 = 4*z - 0*z + x*w + 12 for z.
-2
Let w be ((-14)/49*-7)/(-3 + 4). Solve -2*z - 24 = 5*q + w, 5*q = 4*z - 8 for z.
-3
Let t = -390 - -390. Solve 4*p + 19 + t = -g, -g - 4 = p for p.
-5
Let m be 20/(-5) + -6 - -5. Let k(q) = q**2 - 3*q - 5. Let u be k(4). Let c = u - m. Solve 9*z = c*z - f + 1, 3*z = -2*f - 5 for z.
1
Let j(k) be the third derivative of -k**6/120 - k**5/15 + 7*k**4/24 + 2*k**3 + 3*k**2. Let q be j(-5). Solve 4*p + 0*p + 4 = -q*v, 0 = 5*v - 2*p - 14 for v.
2
Let d(v) = v**2 + 8*v + 5. Let k be d(-5). Let u be k - -4 - (-3)/1. Let s = u + 6. Solve 3*j - s = 3*c + 6, -2*j = 2*c - 14 for c.
2
Let b be (-1)/2*(-19 + 9). Let w(c) = c**3 - 6*c**2 + 8*c - 11. Let r be w(b). Solve l + 1 = -r*q, 19 = -4*l - 4*q + 3*q for l.
-5
Let t = -239 - -242. Solve 4*y - 31 = w + 2*w, 3*y = -3*w - t for w.
-5
Let m be (-28)/7 - (-66)/(-2). Let p = 41 + m. Solve -p*a + 12 = 4*q, -2*q - 6*a + 11 = -3*a for q.
-2
Let q be -1 - (7 + -27 - (0 - 1)). Let s be (-36)/(-42)*42/9. Solve -s*t + 18 = -m + 6, -5*t + 2*m = -q for t.
2
Let r(a) be the second derivative of a**4/12 + a**3/2 - 14*a**2 - 5*a. Let b be r(-7). Solve b = d + 2*q, -8*q + 4*q = d + 2 for d.
2
Suppose -30 = 7*g - 22*g. Solve 0 = c + c - g, v = c + 1 for v.
2
Let a = -34 - -40. Suppose -2*v - a = u, 2*u = -u - 4*v - 10. Solve -2*q - u*t = -2, -t + 4 = -2*q - 9 for q.
-4
Suppose k = -3*q + 30, -3*k = 6*q - q - 50. Suppose -12*h = -q*h. Solve -2*u - 8 = -2*x - 2, -u + 2 = h for x.
5
Suppose 0 = -4*f - 9 + 117. Suppose 6 = f*m - 24*m. Solve 2*g - 4*s - 2 = 0, -3*g = 5*s - 1 - m for g.
1
Suppose -6*v = -99 + 93. Solve -5*i - 4*b = -5, -5*i + b + 31 - v = 0 for i.
5
Let m(k) = 13*k + 71 + 7*k**2 - k**3 - 52 + 6*k**2. Let t be m(14). Solve 4*d = -4*y - 4, 2*y + 5*d = -0*d - t for y.
0
Let q = -166 + 190. Solve q = -4*p - 4*g, -p + 9 = -4*g - 0 for p.
-3
Let a(n) = -2*n**3 + n**2. Let t be a(-1). Solve 6*h - t*h = 4*i - 1, 37 = 5*h + 3*i for h.
5
Let u = -28 - -62. Let s = u + -30. Solve s*r + z = 5, r - 3*z = -r - 15 for r.
0
Suppose -u = -6*u + 25. Suppose 0 = 2*r - 5*m + 7, 0 = -u*r + 5*m - 3*m + 14. Suppose -2*g + r*g = 0. Solve 0 = 4*t - 8, -2*o + 2*t + 3 - 13 = g for o.
-3
Suppose 8*u - 25 - 7 = 0. Solve -5*j = -y + 21, -8 = -2*y + u*j + 10 for y.
1
Suppose 2*d = b - 5, d - 5*b - 20 = -0*d. Let c = -2 - d. Solve -c*q + 2*f + 23 = 0, -2*q + 3*f = -26 + 4 for q.
5
Suppose -78 = -7*y - 64. Solve -k + 13*u + 11 = 11*u, y*k - 19 = 3*u for k.
5
Let h be (-4)/7*(-2*5 - -3). Suppose -5*l = -4*p - 15 - 26, -l - 11 = h*p. Solve q = -4*u - 17, -l*u + q + 3*q - 37 = 0 for u.
-5
Suppose -9*p + 374 = 356. Solve -p*a - 8 = -4*y, -5*a = 2*y - y - 13 for a.
2
Suppose 0 = -2*a + 3*a - 3. Let p be (0 - -4) + 5 + a + -10. Solve 5*m - 4*u = -17, -4*m - 7 = -3*m - p*u for m.
-1
Let v = 392 - 373. Solve -2*g + 5 = -3*q - 0, 5*q + 2*g + v = 0 for q.
-3
Let q be -1*3 - 96/((-48)/3). Solve 0 = 4*w - q*w + 3*p - 20, -4*w = p - 25 for w.
5
Let o(c) = 0 + 2 + c + 3 - 8. Let l be o(3). Suppose l = -t - t. Solve z + 10 = -t*z + 5*j, 5*j + 15 = -4*z for z.
-5
Let i be (-12*(-3)/42)/((-15)/(-70)). Solve d - 20 = -5*f, -3*f + d + 40 = -i*d for f.
5
Let n be ((-6)/(-1))/((-2)/(-1)). Suppose 2*t + n = 13. Solve -3*k + 2*m = 3, -m = t*k + 3*m + 27 for k.
-3
Suppose -3*i + 152 = -i. Let y be 4/14 + ((-600)/7)/6. Let c be (-4)/y - i/(-28). Solve r - 14 = -c*s, -2*r + 2*s + 25 = 7*s for r.
5
Suppose 4*m = -2*o + 22, 5*o - 23*m + 26*m = 34. Solve 4*w - 20 = 2*u - u, -o*u = 2*w + 12 for u.
-4
Suppose 0 = 4*x + w + 24, -2*w + 7*w + 24 = -4*x. Let z be 8/(-10)*15/x. Let s(a) = -a + 9. Let j be s(6). Solve 2*o - 4 = 3*r - 13, 6 = z*r + j*o for r.
3
Suppose 4*f + 130 = 4*u + 6*f, f = -3*u + 100. Let s = -26 + u. Solve -4*k + 10 = k - 2*g, -k + s = g for k.
4
Suppose -f = -4*f + 9. Solve -4*v + 0*o = 2*o - 22, -5*o + f = -3*v for v.
4
Let j be 12444/1428 + (-4)/(-14). Solve -4*r = n - j, 3*r - 4 = -2*n + 9 for n.
5
Let p be (4/(-6))/(((-48)/27)/8). Suppose 0 = -i + 3*m + m - 14, 2*m = -p*i + 14. Solve -j + 16 = d + 4*j, 0 = 2*d + i*j for d.
-4
Let w(l) = -5*l**3 - l - 1. Let n be w(-1). Let r be 0 - n*(-5)/5. Solve -3*y - 5*u = -34, -y - r*u + 40 = 4*y for y.
3
Let y(l) = -l + 6. Let d be y(3). Let a(p) = -p**3 + 3*p**2 + 3*p. Let n be a(-2). Solve -j = -4*j - c + 18, 0 = -j - d*c + n for j.
5
Let w be 39/15 + (-12)/(-30). Suppose -3*p + c + 9 = 0, -w = -0*p - 3*p + 3*c. Let y(i) = -4*i. Let m be y(-1). Solve p = 2*b + 2*o, -o = o + m for b.
4
Let g = 92 + -62. Let b = g + -27. Solve -4*f + 2*v - 8 = -2, 5*f + b*v + 35 = 0 for f.
-4
Let u(p) = p - 1. Let w be u(4). Suppose 5*z - m + 9 - 41 = 0, 3*m = -5*z + 24. Suppose z*k - 4*k - 10 = 0. Solve -w*j - 3 = 5*t, k*j - t = -0 + 23 for j.
4
Let v be 9*((-22)/3 - -4). Let h be (-20)/(v/(-6)) - -9. Solve q - 4*a + 24 = -q, q - h*a = -24 for q.
-4
Let j = -303 + 307. Solve -j*z + 3*h - 35 + 3 = 0, -3*h = 3*z + 3 for z.
-5
Suppose 40 = 7*a + 3*a. Suppose a*g + 5*k - 10 = 0, 0*k = -3*g - k + 13. Solve 0 = -4*h - 4*f + 32, 4*h - 8*f + 3*f = g for h.
5
Suppose 2*y = 3*c - 27, -5*y - 7 = -0*c - 2*c. Suppose -2*a - c = -3*g, -6*a - 12 = -4*g - 2*a. Solve 0 = -q - 2*z + 1, -g*z + z + 6 = -2*q for q.
-1
Let v(m) = -m**2 + 20*m - 14. Let f be v(14). Let n(b) = b**2 + 3 - 69*b + f*b - 1. Let h be n(-3). Solve 2*r - d = d - 18, 4*r + h = -3*d for r.
-5
Suppose 0 = 64*t - 70*t + 24. Solve l = -t*n + 5, n - 4 = -3*l - 0*n for l.
1
Let l(o) = -o**3 + 17*o**2 - 16*o - 5. Let b be l(16). Let r(h) = -6*h - 8. Let j be r(b). Let i = 5 + -1. Solve i*c - 7 = -t, -j = t + 4*t + c for t.
-5
Suppose -4*z + 7*z - 6 = 0. Let v(h) = h - 5. Let k be v(8). Solve -i + z*i = k*n - 20, -5*i - 40 = -3*n for i.
-5
Suppose -2*m = -5*t + 55, -2*t + 0*m = 4*m + 2. Let v(g) = g**3 - 9*g**2 + 5*g - 14. Let a be v(t). Solve -3*o + a = 4*j, 3*j + o - 22 = -o for j.
4
Let f = 147 - 144. Solve -f*j = y - 5*y - 15, -3*j = 2*y - 15 for y.
0
Let n(f) = -20*f + 6. Let k be n(3). Let b be (-18)/k*3*5. Suppose b = -2*l + 9. Solve -4*y + 21 = x + l*x, -9 = -5*y + 2*x for y.
3
Let y(w) = -w**3 + 13*w**2 - 36*w + 4. Let u be y(9). Solve -5*f + 4*l = 6, -5*l + 16 = -u*f + 4 for f.
2
Let k(h) = -h**2 + 7*h + 1. Let w be k(6). Suppose -d - 2 = -w. Solve b + 2*p = 8, 2*p - d = 4*b + 13 for b.
-2
Let t(y) = 6 - y**3 + 0*y**3 + 2*y + 0*y**3 + 2*y. Let i be t(-2). Solve i*u = -3*s + u + 13, -19 = s - 3*u for s.
-4
Let t be (-78)/(-14) - 6 - (-62)/14. Solve -9 = t*b + u + 6, -2*b + 5*u - 13 = 0 for b.
-4
Let i(n) = -n**3 - 12*n**2 - 35*n + 2. Let p be i(-5). Solve 4*k - 4*a = -0*a - 4, -3*a = -2*k + p for k.
-5
Let h(w) = 22*w - 173. Let z be h(8). Let n be (-4)/6 + (-4)/(-6). Let u be 1 + (n - 0 - -1). Solve z*q - u = d, -4*q = -8*d + 3*d + 12 for q.
2
Let t(s) = s**3 + 15*s**2 + s + 19. Let u be t(-15). Suppose m + m - 34 = -4*r, 66 = 2*m - u*r. Solve -5*y - 4*i - m = -0*y, 6 = -y - i for y.
-1
Let q be 0 - 22/44*(1 - 47). Solve -7*t + 9*t = 5*d + q, 5*d + 22 = 3*t for d.
-5
Let b = -11 - -13. Let a(z) = -z**3 + 7*z**2 - 3*z + 1. Let q be a(b). Solve -3*l + 12 = -2*u + 1, 0 = l + 4*u + q for l.
1
Let s be (6/4)/((-24)/224). Let a = -14 - s. Solve a = z + z - 4*q + 10, 0 = z + 5*q - 2 for z.
-3
Suppose -7*x + 19*x = 240. Solve 0 = 6*p - 2*p + 2*i + x, -4*p - 10 = -3*i for p.
-4
Suppose -s = -2*c + 6, 0 = -4*c - 5*s + 48 - 8. Solve -5*b - 18 = 2*y, 0*y - c*y = 20 for b.
-2
Let r(s) = s**3 - 6*s**2 + 4*s - 22. Let a be r(6). Solve a*i - 3*c = -11, i + 2*i - 