-3*u + a + 3*a + 13 = 0 for u.
3
Let b(t) = t**3 - 8*t - 4. Let d be b(-2). Let z = 25 - 5. Let g = -13 + 21. Solve z = -5*o - 5*k, 2*o + g + d = 2*k for o.
-5
Suppose 0 = 4*f - 4*l, -4*f + 4*l = -f - 3. Let y = 2 - f. Solve 2*s = -4, 0 = y*o - 5*s + 11 - 1 for o.
-4
Let u(b) = 5*b - 14. Let z be u(4). Solve -4*f = -16, 0 = -v - 0*v + f - z for v.
-2
Let v = 232 + -227. Solve 5*k = v*s + 17 - 52, 4*s - 20 = 2*k for k.
-4
Suppose -7 = -3*g + 4*i, i - 2*i = -2*g + 8. Solve 0 = -4*d + k - 21, g*d = -k - 2*k - 5 for d.
-4
Let g be (-266)/(-8) + 18/24. Suppose 4 = -2*r + g. Solve 3*z + h = 5*h + 15, 2*h = 3*z - r for z.
5
Suppose -4*r = -0*r - 5*r. Solve -4*l + 11 = -5*t, t - 3*l + l + 1 = r for t.
-3
Let x(u) = -2*u**2 + 1. Let c be x(-1). Let z be (-4 - (-1)/c)/(-1). Suppose z*h + 0 - 25 = 0. Solve -h*k + j + 29 = 0, 4*j - 9 = -3*k - 2*k for k.
5
Let y(o) be the second derivative of -o**4/12 + 7*o**3/6 - 2*o**2 + 3*o. Let h be y(5). Let l = h + -3. Solve -2*c - 9 = -3*j, c = -l*j - 0*c for j.
1
Let v be 54/(-135) + (-244)/(-10). Solve -4*o = 4*w + v, -2*w = w + 4*o + 23 for w.
-1
Let t(r) = -2*r**3 - 2*r**2 + 2*r. Let q = 0 + -2. Let w be t(q). Solve 0 = -5*z + 3*d + 31, 0 = 2*z + 3*d - w*d - 12 for z.
5
Let g be (-58)/12 - 5/30. Let d = g + 12. Solve -5*n + 2 = 3*l, 0 = 3*n - d*n - 4*l for n.
1
Let r(k) = 2*k - 3. Let x be r(3). Let a = 80 - 78. Solve j + x*q - 3 = 3, 4*j = -q + a for j.
0
Let b be (6/(-5))/((-4)/10). Suppose 9*a + 4*a = 52. Solve 0 = a*p - 2*j + 1 + 19, b*p = j - 13 for p.
-3
Let k = 11 - 9. Suppose 4*j + 6 = -4*m + 22, m - k*j - 4 = 0. Solve 0 = -5*w, -2 - m = -2*o + 3*w for o.
3
Let z be (-4)/10 + (-336)/(-15) + -2. Solve 2*g + 12 = -5*d, -2*g = 2*g - d - z for g.
4
Suppose -4*o + 5 = -15. Suppose 0 = -4*s - o + 21. Solve 0 = s*y + 5*j - 35, y + 4*j - 5*j = 2 for y.
5
Let h be 0*(2 + 2 - 3). Suppose h = 3*i + 2*w - 0*w - 19, 3*i - 5*w = -16. Let p be (-2)/(-7) - (-19)/7. Solve p*j - 2*j + 5*a = i, -a - 9 = -3*j for j.
3
Suppose -16 = 4*z, -2*z = h + 4 - 0. Suppose h*q + i = -4*i + 68, -4*q - i = -52. Solve b - 4*n = -4*b - q, 8 = -4*n for b.
-4
Let o(k) = 3*k - 20. Let l be o(8). Solve a - 5*m + 9 = 0, -2*a + 5*m = -l*a - 3 for a.
-4
Let r = -3 - -6. Let m be (-2)/(-12) + 15/18. Solve 3*j = -4*t + m + 2, -j + r*t = -1 for j.
1
Let u = 1 + 2. Let q = -9 - -5. Let b be 3/(1/(q/(-6))). Solve -4*w + 3*w - 6 = b*y, -u*y - 20 = -4*w for y.
-4
Let h(j) = -j**2 + 3*j + 4. Suppose 4*f - 6 = f. Suppose 3*i + 9 = 2*z, i - 4 = -f*z - i. Let q be h(z). Solve -r - q*l - 10 = 7, -l - 8 = r for r.
-5
Let u be 2/(-4)*(-12 + 4). Solve w - 2*w = -p - 2, 5*w = -p + u for w.
1
Suppose 0 = 18*x - 21*x + 6. Solve -4*f + n = -0*n - 6, 0 = -x*f - 5*n - 8 for f.
1
Let o = 4 + 2. Solve -3*c + 2*p = 4, -c + 4*p + o = -6 for c.
-4
Let j = -155 + 159. Solve g + 4*f + 2 = -0*g, 2*g = -j*f - 4 for g.
-2
Let p(j) be the second derivative of -j**3/6 + 4*j**2 - 4*j. Let u be p(4). Solve -3*i - 5 - 3 = 5*d, -3*d - u = i for i.
-1
Let q(o) = -o**3 - 9*o**2 + o + 11. Let f be q(-9). Suppose f*n - n - 2 = 0. Solve 3*y - 5*w + 20 = 0, y = -3*w + 14 - n for y.
0
Let t(k) = k**3 - 8*k**2 + 7*k + 2. Let v be t(7). Let c be (5/(-15))/(v/(-102)). Solve -5*h = -2*i - i + c, -5*h - 1 = i for h.
-1
Let i be (-36)/4*4/(-6). Let s be (-3)/i + (-9)/(-2). Solve 3*l = 4*v + 8, -2*v - s = -0*v - 4*l for v.
-2
Let p be ((-5)/10)/(2/(-4)). Let l be p + -3*2/(-3). Solve 13 = y - 4*u, -3*y - 3*u - 3 - l = 0 for y.
1
Let n be 1 - (-3 - -2)*1. Suppose -n = 5*f - 32. Solve -2*d = 3*w + 10, -f = 2*d - 2*w + 4*w for d.
1
Let d(x) = x**3 + 7*x**2 + 8*x - 7. Let a be d(-5). Solve 4*p + 4*n = -4, 3*p - 4*n - a = 1 for p.
0
Let h(j) = j**3 + 9*j**2 - 11*j - 12. Let u be h(-10). Let d be 1/4 - u/(-8). Solve n - 5 = -r + 2, -3*r + 3*n + 9 = d for r.
5
Suppose 3 = q - 3. Solve 12 = -2*c + 4*m, -q = -c - 5*m + 2 for c.
-2
Suppose k - 3*k + 64 = 0. Let h(f) = -7*f - 7. Let u be h(-4). Let v be k/14 + (-6)/u. Solve -b + l = 0, 0*b = -b - v*l - 12 for b.
-4
Let z(m) = m**2 + 1. Let v be z(-2). Suppose -4*l + f + 2 = -l, -5*l = -v*f. Solve 2*c + 5*b + 16 = l, -c + 3*b = 2 for c.
-5
Suppose 2*m + 5*o + 9 = 0, 0 = -5*m + 4*o - 2*o + 21. Solve -5*x + 5*b - 9 = 6, -5*x + m*b - 9 = 0 for x.
0
Let t be (-4)/(-3 + 1 + 0). Let d = 26 + t. Let s be (-1 - -2)/(2/d). Solve -5*l + 26 = 5*p - l, 3*p + 2*l = s for p.
2
Let c be (-4)/10 - 21/(-15). Let q = -3 + 5. Suppose 0 = -5*n + q + 23. Solve 5*k - 4 - c = n*l, 0 = -3*k - 2*l + 8 for k.
2
Let b(l) = -4*l + 4*l - l - l**2. Let s be b(-1). Suppose -4*r + 3*k - 1 = 0, s*k - k = -3. Solve -13 = -3*h - r*t, 4*h - 29 = -4*t - 5 for h.
1
Let t(w) = w - 10. Let h be t(4). Let x be (h/(-4))/1*2. Solve x*q + 0*q - 12 = -3*z, 0 = -2*q + 6 for z.
1
Let s be (-14 - -12)*(1 - -1). Let k = 8 + s. Solve 5*m + k*c + 2 - 1 = 0, -2*m + 4*c + 22 = 0 for m.
3
Suppose 42 = 3*t - 3. Let g be 8/(-10)*t/(-1). Let b = g - 6. Solve 0 = -3*c - 2*u + 9, 2*c = b*c - 4*u - 12 for c.
3
Suppose 2*g - 3*n - 28 = -0*g, 68 = 3*g + 2*n. Solve 0 = -3*y + 6, -5*h + y - g - 2 = 0 for h.
-4
Let h = 37 + -36. Solve -4*f - m = -7*f + h, 3 = -2*f - 3*m for f.
0
Suppose 11*q - 3*q = 24. Solve 3*s = 2*h - 7, -q = -3*s + h - 5 for s.
1
Let a be 2/(-8) - 3/(-12). Solve a*m = -5*m + 5*h, 0 = 2*m + 2*h - 8 for m.
2
Let t(a) = a**3 - 2*a**2 + 2*a - 2. Suppose -3*y = -5*y + 4. Let p be t(y). Solve 3*q + 0*j - p*j = -12, -3*q = 3*j - 3 for q.
-2
Let j(u) = u**3 + u**2 + u - 1. Let d be j(1). Suppose -2 = -d*b + 6. Suppose 5*m - 1 = t + 20, -4*t - b = -4*m. Solve t*v - 4 - 15 = -i, 4*v - 20 = 0 for i.
-1
Let k be (-1 + 7)/((-3)/(-2)). Solve -2*j = -k*x + 2, 1 = -0*x + x for j.
1
Let l be 34/3*6/4. Solve -3*y + l = c - 6*c, 5*c - 15 = -5*y for c.
-1
Let t = -1 + 3. Let p be (-124)/(-30) + t/(-15). Solve 0 = -g - 1, -p = v + 3*g - g for v.
-2
Suppose o = 4*o. Suppose o = -2*g - 5*p - 6, -2 = 2*g - 2*p - 10. Let i be 1/((2*1)/6). Solve r + m + 5 = 0, -1 = g*r - 4*m - i for r.
-3
Let c be (-1 - (-1 + 1))*0. Suppose 2*l + 2 - 8 = c. Let y = -6 - -10. Solve 0 = l*j + y*t + 7, 6*t = j + 2*t - 19 for j.
3
Let p(n) = 6*n - 32. Let g be p(10). Solve 5*w - 9 + g = k, 4 = -w for k.
-1
Suppose 0 = -6*m + 3*m. Suppose m = -3*p + 5*c + 39, -p + 2*c = -3*p + 10. Solve 0 = -4*v + p, 4*v + 0*v - 6 = 2*i for i.
1
Let k be 1 - (-1)/2*6. Solve 0*n + 2*n - k*p = -8, -4*p = -5*n - 2 for n.
2
Suppose -c + 2*n + 10 = 0, 0 = -5*n + n. Solve -u = -2*j, c - 1 = 4*u + j for u.
2
Let m be (0 + -1)*(-14 - -10). Suppose -4*l + 32 = -5*n, -4*n - 17 = -3*l - 2*n. Let f = l + 0. Solve -3*o = -3*a - m*o - 13, 3*o = -f*a - 15 for a.
-4
Let h be 14/2 + (0 - 5). Solve 0 = d + h, 3*w - 5*d - 7 = 3 for w.
0
Suppose -5*m - 3*j = -3*m + 11, 3 = -m - j. Solve -4*n = m*y - 6, -4*n = y + 2*y - 3 for y.
-3
Suppose 5*c - 12 = -6*j + 2*j, -4*c + 22 = -3*j. Suppose -c*m - 6 + 18 = 0, 3*i - 3 = 3*m. Solve 3*h = b + 7*h, 4*b = -i*h for b.
0
Let g be -52*(-3)/48 + (-2)/8. Solve 0 = -5*f - 2*v - 30, g*f + 6*v = v - 37 for f.
-4
Let g(p) = p**3 + 17*p**2 - 18*p + 4. Let t be g(-18). Solve 5*b + 2*f = -0*b + 31, 27 = 3*b + t*f for b.
5
Let a(b) = -b + 1. Let y be a(-4). Solve 0 = y*k - h - 4, 4 = -k + 3*k + 2*h for k.
1
Suppose 0 = 16*w - 14*w - 8. Suppose 5*r - 5 = 4*r. Let f = r + -2. Solve 0 = w*x - 3*u + 17 + f, -3*x = u + 2 for x.
-2
Let u(r) be the third derivative of -r**6/120 + r**5/10 - r**4/24 + 4*r**3/3 - 2*r**2. Let m be u(6). Solve 0 = -5*n - 5*w + 5, -3*n + 5 + m = -w for n.
2
Suppose 4*y - 5 = -y. Suppose -2*d + 3 = 4*h + y, 8 = 2*d - 2*h. Solve 3*t + 2*c = 2*t - 7, d*t + 5*c = -19 for t.
-3
Suppose -5*l - 15 = 0, 0 = -4*d + 3*l + l + 12. Solve 4*q = -m - d*m + 12, m + 4 = 0 for q.
4
Suppose 0 = t + j + 1, -t + 6*t + 2*j - 10 = 0. Let s(c) = -c + 10. Let v be s(8). Solve 5*g - t*u = -33, -3 = -v*g - 2*u - 9 for g.
-5
Suppose 0 = -3*h, 3*p - p = -5*h + 10. Solve -p*s - 2*m - 3*m - 20 = 0, -3*m - 16 = 4*s for s.
-4
Let p(o) = o**2 + 4*o - 2. Let b be p(-6). Let x = b + 9. Solve 0*y = 2*y - 2*r + 4, -4*r - x = 5*y for y.
-3
Suppose -3*o - 3*f = -f, -5*o = -4*f - 22. Solve 0*b - 4*h - 2 = 3*b, 0 = -4*b - 5*h - o for b.
2
Let g = 7 + 13. Solve k = -5*p + g, -2*p = 2*p - 5*k - 45 for p.
5
Let v be 21 + (2 - 0)*-1. Solve -5*y - 3*f + 7 = 0, -2*f = 3*y - 6