k + z*k + 25 for k.
3
Let p(o) = o**3 + 4*o**2 - 4*o + 8. Let w be p(-5). Let x be (3/2)/(2/(-4)). Let f = x + 8. Solve 0 = v + v + 4*c - 10, f*v - w = c for v.
1
Suppose 2*c = 5 - 1. Suppose 0 = 5*b - 4*h - 6, 6*b = 5*b + 4*h - 2. Suppose n - 6 = -c, 4*n + 18 = b*v. Solve 0 = 4*u - 5*j - v, 0 = -2*j - 0*j - 10 for u.
-2
Let r(x) = -x**2 - 5*x + 3. Let d be r(-5). Solve 0 = 3*f + 5*l, 2*f = -d*f - 5*l for f.
0
Let u = -27 - -27. Solve u = -3*x + 2*x + 4, -2*x = -2*b - 16 for b.
-4
Suppose 0 = 2*b + 2*b + 12, -2*b = -3*w + 12. Solve w*y = -5*t + 6, t + t = -2*y for t.
2
Let o(q) = q**2 + 5*q + 2. Let x be o(-5). Let b(l) = -2*l**x - 3 - 10*l**3 + 4*l**2 + 2. Let n be b(-1). Solve 0 = y + 3*c - 6*c, -5*c + n = 2*y for y.
3
Let l(h) = h**3 + 14*h**2 + 12*h - 8. Let z be l(-13). Solve f + 2 = -2*w, -w + z = -6*w - 3*f for w.
-1
Let q(b) = 4*b + 2. Let j(g) = 1. Let w(s) = -4*j(s) - q(s). Let l be w(-5). Let n be 4/(-14) + 18/l. Solve -4*k + 3*h - n = -2*k, 4*k = 3*h - 5 for k.
-2
Let f = 43 - 24. Let n = 8 + 0. Solve 0 = 5*i + 3*g - 28 + n, -4*i = 3*g - f for i.
1
Let p be ((-16)/(-4))/(-4)*-5. Suppose -3*z - 15 = 0, t + z = 2*z + 5. Suppose -2*q + 4 = -t. Solve -q*h = g + p, 0 = 4*h - g + 18 - 5 for h.
-3
Let d = 2 + -4. Let g be 20/(-30)*9/d. Solve 4 = g*r + 3*u - 2*u, 4*r + 2*u = 2 for r.
3
Suppose -5*y = -t - t + 6, 0 = 5*y. Solve t*a = 2*a + q - 5, -3*q + 3 = 3*a for a.
-2
Let g = 18 + -16. Solve 2*s + r + g = s, s = 5*r + 28 for s.
3
Let q(z) = z**2 + z. Let u be q(0). Suppose -2*y = -u*y - 4. Let w be 2/6*y*15. Solve w*h + 15 = 5*h + 5*i, 2*h = -3*i - 6 for h.
-3
Let h = -47 + 87. Solve 0 = -5*u - 0*u + 5*g - h, -3*u = g + 4 for u.
-3
Suppose -d = 4*d - 20. Solve d*t = t + 2*z - 2, -5*z = -5 for t.
0
Suppose 3*x + 5*c - 8 = 0, 7*x + 4*c = 6*x - 9. Let b = 16 - x. Solve -4*a + a + 3*w = 9, -3 = -b*a - 4*w for a.
-1
Let q(u) = 2*u**2 + u + 2. Let h be q(-1). Solve 2*j - h = -2*w + 1, -3*j = -5*w - 6 for w.
0
Suppose -5*c - t + 55 = 0, 5*c = 2*t + t + 55. Let p = c + -6. Solve -p*u + 1 = -w, -2*w = -5*u - 0*u - 3 for w.
4
Let f = 20 - 18. Solve 4*y = f*s - 8, -5*s + 4 = -3*s - 2*y for s.
0
Let r be (-5)/(2/1 + -3). Let b be 4/6*(r + -2). Solve 0 = c + 1, -c + 3 = b*d + 4 for d.
0
Let r = 3 + -3. Suppose r = c + c - 6. Suppose 0 = c*i - 2*i. Solve i = 3*x - 2*m - 21, 2*x + 2*m = -0 + 4 for x.
5
Suppose -27*r + 24*r - 2 = s, -2*s - 4 = -5*r. Solve r = -5*o + 4*y - 8, -3*o = -4*y + 11 - 3 for o.
0
Suppose -2*a = -1 - 5. Solve -u + 3*g - 9 = 0, -u + 2*g = g + a for u.
0
Suppose 3*u = 5 + 1. Suppose -a - 14 = -4*d + u*a, 2 = 2*d + a. Let g = d - -1. Solve 2 = g*l + 2*y, -3 = -2*y - 13 for l.
4
Suppose v + v = 10. Suppose 0 = -3*c - f + 19, -2*f + v = -3. Suppose 3*z - 5*r = 60, 5*r = -2*z - 11 + 26. Solve -c*g + 4*y - z = 3*y, -4*g + 4 = -4*y for g.
-4
Let n(q) be the third derivative of -q**4/24 + 8*q**3/3 - 2*q**2. Let u be n(12). Solve 4*a = u, -5*a = d - 0*d - 3 for d.
-2
Let r be (-101)/9 + (-4)/(-18). Let t = r + 15. Let v = -5 - -10. Solve 0*c + t*c - 2*f = 14, 0 = -v*c + 3*f + 20 for c.
1
Let x(y) be the second derivative of -1/6*y**3 + 0 + 2*y - 1/12*y**4 + 0*y**2. Let s be x(0). Solve 2*l + c + 4 = -0*l, -2*l - 2*c = s for l.
-4
Suppose -143 + 107 = -4*n. Solve -c + 2*t + n = 23, 2*c + 3 = -t for c.
-4
Let v(t) = 15*t - 5. Let k(y) = -7*y + 3. Let p(h) = -13*k(h) - 6*v(h). Let g be p(12). Solve -g = b, b = 4*d - b - 14 for d.
2
Let r = -86 - -87. Solve 8 = -q + 5*k, 4*q - 5*k + 3 - r = 0 for q.
2
Let n(r) = r**2 + 11*r + 4. Let a be n(-7). Let p = a + 45. Let u(y) = y**3 + 9*y**2 - 2*y + 11. Let t be u(-9). Solve j + 4*f = -f - p, -5*f - t = -j for j.
4
Suppose 11 = 4*g + l, -5*g + 3*l = 1 - 19. Let x be 17/(2/6*g). Suppose 0 = 2*y + 10, 0 = 2*c - 2*y - 11 - x. Solve 0 = d - m - 0*m + c, 3*d + 2 = -2*m for d.
-4
Let m be 4/(-26) + 306/(-39). Let s = -8 - m. Solve -l - 24 = 4*u, 11 = -s*l + l - 3*u for l.
-4
Suppose 83 = 3*q - 5*v, 165 = 6*q - q - 3*v. Suppose -a + q = -4*a. Let z be -1 - 1/(3/a). Solve 2*n = n + 2*w + 9, 5*n + z*w - 6 = 0 for n.
3
Let r(a) = 4. Let w(z) = 2 - z - 3 + 2. Let u(v) = -r(v) - 2*w(v). Let b be u(5). Solve b = 3*y - n, 3*y = 6*y + 5*n - 16 for y.
2
Let n(d) = d - 1. Let h be n(2). Suppose h = f - 2. Suppose 0 = -4*z - 3*j + 2*j + 9, -3*z + 3 = -f*j. Solve 2*y = 4*v - 10, -z*y + 1 = 2*y - v for y.
1
Let t be (-3 - (-7)/2)*4. Suppose -2*u + t = -4. Solve -4*j + 19 = -0*n - u*n, 3*j - 8 = -4*n for j.
4
Suppose 4*u - 3*r = r - 136, 3*u + 4*r + 88 = 0. Let x be u/(-20) - 4/(-10). Suppose 45 - 9 = 3*o. Solve 4*b - x*v - 4 = o, 0 = -5*v for b.
4
Suppose -o + 2*u + 13 = 2*o, -u - 2 = 0. Let h = o + -2. Solve -4 = -3*x + q, -2*x + q + h = 2*q for x.
1
Let w(n) = -n**2 - 10*n - 2. Let u be w(-7). Suppose 0 = -5*o - 0*o - 2*p + 33, 0 = -3*o - p + u. Solve -2*r + o*r + 2*c - 9 = 0, -3*r + 12 = c for r.
5
Let v be ((-7)/3)/(2/(-12)). Solve 3*n - c = 4 - 5, 3*n = 4*c + v for n.
-2
Suppose 8 = y + 4*q, y + 0*q = 5*q + 8. Let t = -5 + y. Solve -2*u - 2 + 1 = -t*f, 0 = 2*f + 5*u + 12 for f.
-1
Let t = -35 - -38. Solve 2*x + 5*o = -11, -o + 3 = t*x + 13 for x.
-3
Let v(t) = t**2 - 3*t - 1. Let z be v(3). Let s be (z - 6/4)*-2. Let q be ((-2)/(-4))/((-2)/(-32)). Solve -3*p + f - 2*f - q = 0, -12 = s*p + 2*f for p.
-4
Suppose -3*a = -26*a + 253. Solve a = -5*q + h, -q - 7 - 8 = 3*h for q.
-3
Suppose i + 8 = 3*i, 5*i - 18 = x. Suppose -17 = l + 5*c, 0*l + x*l - 2 = -c. Solve -5*m - l*h = 16, 2*m + 4*h + h = 5 for m.
-5
Let i be 4/10 - (-84)/15. Let t(s) be the second derivative of -s**5/20 - s**4/6 - s**3/3 + s**2/2 + 3*s. Let c be t(-2). Solve -c*b - g = 0, g - i*g = 0 for b.
0
Let r be (5 + 5)*1/2. Solve -7 = -2*t - 4*h + 3, t + r*h - 20 = 0 for t.
-5
Let b = -52 - -71. Solve -z + 5*k = -b, 5*k + 21 = 6 for z.
4
Let b = 3 - -10. Let g be (3 - 6) + (b - 3). Solve -3*d = 2*o + g, 3*o - 4*o = 2 for d.
-1
Let h(j) = j - 16. Let w be h(16). Solve -2*p - 3*f - 8 = w, 2*f - 2 = 4*p + f for p.
-1
Let k(p) be the second derivative of -p**3/6 + 5*p**2 + 3*p. Let d be k(8). Solve d*s - s = -3*u - 9, 0 = -2*u + 3*s - 6 for u.
-3
Let l(g) = g**2 - 7*g + 0*g - 1 + 4. Let x be l(7). Let y = x + -2. Solve 4*k + 5*o = y, 0 = 4*k - o + 5 - 0 for k.
-1
Suppose -2*u = 5*m - 5*u + 23, m = u - 5. Let o be (-2)/4 + (-82)/m. Let x = 17 + -12. Solve -5*y + 5*q - o = 0, 13 = -3*y + x*q - 7 for y.
0
Let w = -2 + 4. Let d be -1 + 4 - (0 - 1). Solve -w*b + 4 = d*m, 3*m = 2*b - b + 8 for b.
-2
Let v = 32 - 20. Suppose d - v = -2*d. Solve -t - 12 = k - 3*t, -k - 2*t = -d for k.
-4
Suppose 2*w - 5*w = -18. Suppose 5*a + 2 = -5*m - 13, -5*a - 3*m - 5 = 0. Let t be (-57)/(-12) + 2/8. Solve t*f + 27 = -5*g + a, 0 = 3*g + w for f.
-3
Let f = 20 + -18. Solve -c - 2*c = 4*q + 10, -5*q + f*c = 24 for q.
-4
Let p be (0 + 1)/(11/22). Let f = 1 + p. Solve 0 = -4*y + 2*b - 10, 2*y - 4*b - f = -23 for y.
0
Let n be 1*-2 - 24 - 1. Let q be n/(-5) + 4/(-10). Solve -m = 4*k + 23, -3*m = -8*m + 4*k + q for m.
-3
Let o = 0 - -2. Suppose -5*f = -o*y + 13 + 2, -4*f - 12 = 3*y. Let w = f - -8. Solve 0 = 2*v + 8, 2*j + w*v - 6 = -32 for j.
-3
Let z = 5 - 1. Suppose 0 = y, z*y + 1 - 7 = -2*o. Suppose 2*f = u - 21, 4*f = o*u - 2*u - 19. Solve 3*k + 3 = -4*n + u, 0 = -4*k for n.
5
Let o = 2 - 2. Solve o = -5*w + 3*h - 16, -3*h = -3*w + 2 - 8 for w.
-5
Suppose c + 5*k + 4 = -4, 3*k = c - 24. Let j be (-1)/(1 + c/(-9)). Suppose -9 = -j*p + 6. Solve -2 - p = -5*b - 4*s, -3*b - 5*s = 1 for b.
3
Suppose 18 = 5*o + 8. Solve w + 2*w = -j - 1, 0 = -5*j + o*w - 5 for j.
-1
Let f be (1/(-2))/((-3)/(-24)). Let m = 6 + f. Let i be (2/7)/(3/126*6). Solve 2*z + 2*z - 4 = h, -i = -m*z - 4*h for z.
1
Let s(w) = -w**2 - 10*w - 7. Let a be s(-7). Let z = 10 - a. Let c = 4 - z. Solve -v + t = -c, 0*v - v = t - 2 for v.
5
Suppose -14*z = -11*z - 12. Solve 0 = 4*k - 5*v - z - 14, -k - 2 = 2*v for k.
2
Let n be (-12 + -3)/((-3)/8). Suppose 2*f = -2*f + n. Solve -f = 2*o, 0 = -w - o + 4*o + 14 for w.
-1
Let a be (0/1)/(-3 - -5). Let h = 2 + a. Solve -h*x + 16 = 5*y, 0*y + 3*y - 8 = -2*x for x.
-2
Let k be (-4)/10 + (-154)/(-10). Let w = 2 - 2. Suppose w = 4*o - 8 - 4. Solve o*v - z = -v + 21, 3*z = -k for v.
4
Let u(q) = 2*q**2 - 7*q - 2. Let n be u(5). Solve -s - 19 = -5*m, -n = -3*s - 2*s - 2*m for s