17 = 27. Solve -2*u - 2 = -z*c, -5*c + 2 = 5*u - 23 for c.
3
Let l(x) be the second derivative of -x**4/12 + 4*x**3/3 - 4*x**2 - 3*x. Let i be l(6). Solve -4*r + 11 = 2*b + r, -4 = -i*b - 4*r for b.
-2
Suppose -13*v - 45 = -18*v. Let p be (-6)/(-27) + 43/v. Solve -x + 3*a - p = 2, -x - 4*a = -21 for x.
5
Suppose 1 = 5*p - 9. Suppose 0*b - 10 = -4*b - p*j, -3*b + j = -15. Suppose -2*s - 9 = -2*q + s, -b*s + 11 = 5*q. Solve 5*n = -2*a + q*a, n = 2*a for a.
0
Let r be (-2)/7 + (-48)/(-21). Solve -7*u - 30 = 3*q - r*u, 5*q = u - 22 for q.
-5
Suppose 16 = 5*q - 34. Let h be (6/q)/((-9)/(-45)). Solve -11 = 5*b - 3*k, 3*b = k - 4*k + h for b.
-1
Let l(o) = -o**3 + 5*o**2 + 3*o + 6. Let y be l(6). Let g = -7 - y. Let b = 22 + -16. Solve -5*a + b = -k, k - 3*a = g*k - 22 for k.
4
Suppose 9 - 1 = 2*l. Solve 0*r = 3*i - l*r + 5, i - 5 = -2*r for i.
1
Suppose -4*c - 7 = -23. Solve 3*h + 3 = 0, 7*p - 5*p + 2*h + c = 0 for p.
-1
Let g(u) = -4*u - 14. Let q be g(-6). Solve -4*h + q = -2*d, -2*h + d = 2*d - 15 for h.
5
Let s(m) = 3*m - 4. Let f(b) = b + 3. Let l be f(5). Let t be s(l). Solve 4*c - t = 3*v, -c + 2 = 4*v + 16 for v.
-4
Suppose 0 = -0*r - 5*r + 20. Let g = -4 + 5. Suppose 3*x = 2*l - g, x = -l - x + r. Solve -z - 17 = -4*q + 4*z, z = -l*q + 5 for q.
3
Let r(o) = o - 4. Let n be r(6). Let d be 1 - n - (-154)/2. Suppose 4 = 4*p - d. Solve k = -2*j - 11, j + 5*k + p = -2*j for j.
-5
Let b = 43 - 40. Solve 4*h + 2 = 2*h - b*x, -3*x + 2 = h for h.
-4
Let s(v) = v + 10. Let x be s(-8). Solve 5*b - 3*f = -12, b + x*f - 12 = -f for b.
0
Let b = 7 - 2. Solve -b*x - 2*q - 5 = 8, q + 8 = -3*x for x.
-3
Let s be (-6)/9 - (-22)/6. Let l(j) = -j + 3. Let b be l(0). Suppose -b*o + 10 + 35 = 0. Solve -z + 1 = -u + 6, s*z + o = 0 for u.
0
Let o be (7/(-4))/((-2)/8). Suppose 2*n + 3*n + 2*p = 13, -2*p + o = -n. Let r = -1 + n. Solve -5*j = -2*y + 23, r = 2*j + 4 + 2 for y.
4
Let b = -8 - -13. Suppose 2*w + 6*v - v - 18 = 0, 45 = 5*w + 2*v. Let j be -3*(-3)/(w/5). Solve -4*l + 3*l = -j*n - 15, -b*n - 15 = 0 for l.
0
Let m be -1 + (1 - 2/(-1)). Solve 0 = 2*b + m*z + 10, b - 25 = -0*b + 5*z for b.
0
Let p(z) = -z**2 - z + 10. Let t be p(0). Solve -t = -2*o + 2*a, 4*o - 2*a + 5*a = -15 for o.
0
Let k be (-2)/(-8) + 94/8. Suppose -14 = 2*q + v, q + 5*v + 1 = -6. Let x = k + q. Solve -m + 6 = m + 2*n, -x*m = 2*n for m.
-2
Let b be -2 + (-1 - (-1 + 1)). Let y = 7 + b. Solve 2*z + 3*w + 1 = 0, -5*z + y*w + 11 = 2 for z.
1
Suppose b + 25 = 6*b. Solve m = 2*u + 2*m + 4, 7 = -b*u - m for u.
-1
Let t(i) = -i**3 - 8*i**2 - 8*i - 3. Let w be t(-7). Let a = 0 + w. Solve 0*h = -a*h + 3*n - 26, -2*h - 5*n = 0 for h.
-5
Let w(z) = -z + 11. Let x be w(6). Solve -7 = 2*d + 2*p + 11, 29 = -x*d - p for d.
-5
Let x be 23*(-3)/9*-3. Solve 0 = 2*c - 5*z - x, -8*c - 2*z + 14 = -3*c for c.
4
Let a be 3*-2*(-2)/(-4). Let h(s) = -s**2 + 11. Let f be h(3). Let l = f - a. Solve l*u = -3*d + u - 19, -3*d + 3*u = 12 for d.
-5
Suppose 0 = -q - 49 + 53. Solve 5 = -5*w - m, -q*w = -m + 2*m + 4 for w.
-1
Let y(d) = d**3 - d**2 + 3*d - 3. Let j be y(2). Let g = -26 + 29. Suppose -3*i + g = -9. Solve -4*u = 3*f - 2*u - j, 0 = 2*f - i*u - 10 for f.
3
Suppose 5*m = 17 - 7. Let k be 6*(-3)/((-18)/4). Let d = 6 - k. Solve -6 = -j - d*l, -j - l + 13 = m*j for j.
4
Let i be -2 + 4 + (-1)/(-1). Suppose 0*u = -3*y - 3*u + 15, i*u + 6 = 4*y. Solve -5*f + 10 = 5*j, -y*f - 11 = -3*j + 7 for j.
4
Let b(r) = -r**3 + 7*r**2 - 6*r + 3. Let o be b(6). Suppose -o*v - 6 = 3*j, -j = 3*v + v + 8. Solve 3*w + 13 = -4*z, -2*w + 5*z + 0*z + 22 = j for w.
1
Suppose 0 = -w + 4*w. Suppose 2*l + 2*n = -8, 0 = 3*l - w*l - 3*n - 12. Let j be 11 - (2 + 2 + -2). Solve -4*z = -l*f + f - 2, -5*f = z + j for z.
1
Suppose -h - t + 0*t = 1, -2*h = -2*t - 18. Solve -3*s - 7 = -2*k, 7 = -h*s + 5*k - 0*k for s.
-3
Suppose 0 = -5*a + a - 4*i + 12, -5 = 5*i. Solve -2*l - 4*z + 19 = 3, -a*l = -4*z + 4 for l.
2
Suppose 0*v + 21 = 3*v. Let z(j) = -j**3 + 8*j**2 - 7*j + 10. Let c be z(v). Suppose 3*k + 2*k = c. Solve 9 = -o + 5*t - 2, 4*t = k*o + 4 for o.
4
Let c = 0 + 4. Suppose -2*j + 3*j = 3*z + 47, -47 = -j - 3*z. Suppose -4*v + j = 4*d - 7*d, 5*d = -v - 17. Solve -3*q + v*q = -c*u + 2, 3*q + 3 = -u for u.
3
Suppose -17 - 35 = -5*m + 2*q, -48 = -3*m - 3*q. Solve m = -4*p, -w - 4*p = -5*w + 12 for w.
0
Suppose 2*v + 0*v - 4 = 0. Solve 0 = -4*a + a - v*w + 7, -7 = -2*a + w for a.
3
Let w(b) = 3*b - 16. Let h be w(12). Let l = h + -16. Solve l*n + n + 25 = -2*j, -3*j - 3 = -4*n for n.
-3
Let g be ((-16)/12)/(2/(-3)). Let s = -3 - -3. Suppose s = z - 3. Solve -z*q + q - 19 = -3*y, -4*y - 2*q = -g for y.
3
Suppose 15 = 14*b - 9*b. Solve 3*p + b = 3*h, 0 = 6*h - 2*h + 12 for p.
-4
Suppose 10 = 2*k - 0*k. Let t be 1/(1/(3*10)). Suppose d = -4*q + 4*d + t, k*q - d = 43. Solve -5*r + q = p, r = 4*r - 3*p + 9 for r.
1
Let h = -68 + 72. Solve 0*b - 5*b - h*q = 15, 4*b = 5*q - 12 for b.
-3
Let a be 230/18 + (-6)/(-27). Suppose 0 = -p - 3*b - a, 3*p + 4*b - 8*b = 26. Solve 0 = -p*d + d + 5*t - 3, d + t + 3 = 0 for d.
-3
Suppose n = 2*n + 1, 3*i - n - 16 = 0. Solve 0 = 3*t - 5*a + 11, -a + i = -t + a for t.
3
Suppose -2*m = 4 - 10. Solve 4*s - 3*t = m*s - 3, -2*s = 2*t + 6 for s.
-3
Let k be 155/9 - 18/81. Suppose -4*p = -k - 55. Solve 2*j + p = 2*v, 2*j + 1 - 3 = -3*v for j.
-5
Let p = 21 - 19. Solve -2*i = -2*r + p, 0 = -3*r + 3 - 0 for i.
0
Let z be (-4)/(-6) + 17/(-3). Let q be 0/(-1 - (z + 3)). Solve 4*w + q = -4*r + 12, -2*r = w - 4 for w.
2
Let o(t) = -t**2 - t + 49. Let u be o(0). Suppose 6 = -4*w - 10, w + u = 3*m. Let i be -5*(27/m)/(-3). Solve 0 = i*s - 2*c - c + 18, -s - 5*c + 12 = 0 for s.
-3
Let g = 20 - 12. Suppose -g = -y - 3*y. Solve p + 3 = q, y*q - 2 = -0*q + p for q.
-1
Let t(s) = s - 10. Let d be t(-6). Let a = 18 + d. Solve -a*k - 3*c - 7 = 0, -k = 2*k - 3*c - 12 for k.
1
Suppose -2*n + 14 = -0*n. Suppose 0 = c - n*c. Suppose 3*x = -0*x. Solve f - 5*w + 26 = c, x*w + 28 = -3*f + 5*w for f.
-1
Suppose j = -5*l + 21, 2*l = -5*j - 3*l + 45. Suppose -4 = -4*p + 12. Let c = 2 - -4. Solve 5*v + 14 = 5*w - c, p*v = -w - j for w.
2
Let t = -45 - -49. Solve 0 = 3*o - 2*w - 22, o + 9 = -t*w - 7 for o.
4
Let n be 2*(7 + (-8)/2). Solve 0 = -o - 3*r + 12, -24 = 3*o + 3*r - n*r for o.
-3
Let c(x) be the second derivative of -x**4/12 + 4*x**3/3 - 4*x**2 + 3*x. Let g be c(6). Solve -3*u - g*q = q - 30, -4*q = -12 for u.
5
Suppose 0 = 2*y + 2*b - 16, 5*b + 11 = 3*y - 13. Suppose 0 = 2*a - o - 6, -10 = -0*o - 5*o. Let c = a + 0. Solve -l = -c*l - 4*z + 32, 4*z = 3*l + y for l.
4
Let j(g) = -g + 11. Let h be 18/45 - 38/(-5). Let o be j(h). Solve -o*c - 10 = m, -15 = -0*c + 4*c + m for c.
-5
Let s = -3 + 3. Solve -n - q = 2 - 5, s = -5*q + 20 for n.
-1
Suppose 4*r + z = 10, 2*r = -r + 3*z. Let g(d) = 1 - 1 + 3 - r - 6*d. Let y be g(-1). Solve y*b = 5*h + 2*b - 25, 5*h + 11 = -4*b for h.
1
Suppose 4*t - 6*t = 3*x - 8, 0 = 4*t - 5*x - 16. Let j(s) = 2*s + 4*s - 2 + 0 - 3*s. Let o be j(5). Solve -2*a = t*z - a - 11, a = 4*z - o for z.
3
Let l(t) = t**2 - 6*t + 9. Let a be l(2). Solve -5*w - 8 = -3*k, -5 = -w - 5*k - a for w.
-1
Suppose 3*u + 12 = 0, -5*u = b + 2*b + 11. Solve b*r = k - 1, -r + 0*r + 3*k - 3 = 0 for r.
0
Suppose 2*x + x = w - 2, -w = x - 2. Suppose k + k - 6 = x. Solve -5 = i - u, 2 + k = -4*i - u for i.
-2
Let a be ((-2)/3)/(1/(-9)). Suppose 0 = -3*j + a*j. Suppose -3*z + 4*r + 1 + 6 = j, -25 = -3*z - 5*r. Solve -2*p - z*b - 7 = 0, p - 5*p - b + 13 = 0 for p.
4
Let d = 11 + -4. Let o = d + -5. Let k = 141 - 129. Solve -5*b - k = -3*c - 4, -o*b + 5*c - 7 = 0 for b.
-1
Let u be (-3)/12 + (-15)/4. Let r be u/(-18) - (-43)/9. Let f = r + -3. Solve -4*s = -3*d - 15, -d - 2*d + 3 = f*s for s.
3
Suppose 4*u + 0*u = k - 42, 5*k - 165 = 5*u. Suppose 0 = j + 4*j - k. Solve -7 = 3*m + d, 3*m = -3*d + j*d - 27 for m.
-4
Let v be ((-3)/(-2))/((-15)/1240). Let q be 2/(-10) + v/(-20). Suppose 3*w = w + q. Solve -4*t - 1 = w*a, -21 = 3*t - 6*t + 5*a for t.
2
Let m = -25 + 29. Solve 0 = -3*y + m*d + 29, -3*y + 3*d + 8 + 16 = 0 for y.
3
Let j(y) = y**3 - 6*y**2 + 7*y - 7. Let x be j(5). Let s be (280/60)/((-2)/(-3)). Suppose s*v = x*v. Solve -3*m + 2*d = -v*m - 5, 4*m + 12 = -2*d for m.
-1
Suppose i + 0 = 4. Let h = 12 - 9. Let b = -1 + h. Solve b*s - 