b be c(2). Let t = 6 - 4. Solve -2*u + b + t = 4*a, -z = 4*u - 4*a for u.
-5
Suppose -4*t - 3*q = 28, 4*q + 20 = 4*t - 5*t. Let z = 7 + t. Suppose 0 = -a + 5 + 3. Solve -17 = -5*r + h, -z*h = -r + h - a for r.
4
Let c(u) be the second derivative of 0*u**3 + 0 + 1/6*u**4 + u + 1/5*u**5 - 1/2*u**2. Let d be c(1). Solve 23 = -d*a + 2*k, 0*k + 3*k = 2*a + 18 for a.
-3
Let i(o) = -o + 13. Let u be i(10). Let f = u - 0. Solve 4*d - 5 = n, 2 = -n - f for d.
0
Let c = 171 + -168. Solve 3*p - 4*p - c = 4*i, 0 = -4*i for p.
-3
Let w(r) = 5*r + 1. Let q be (-9)/(-6)*26/3. Suppose -c + 5*g - 4 = 10, -2*c + 5*g = q. Let x be w(c). Solve -3*v + x = -2*f - 3*f, -3*f = -3*v for v.
-3
Suppose -2*t - 4*m = -5*m - 5, 2*t = 2*m + 10. Suppose 5*p - 20 = -t*p. Solve -14 = 2*a - p*s + 6*s, -5*a - 2*s = 29 for a.
-5
Let l(v) = -v + 14. Let g(q) = q**3 + 8*q**2 + 7*q + 10. Let k be g(-7). Let n be l(k). Solve 0 = n*h - 0*h - 16, -h + 5 = z for z.
1
Let j(t) = -t + 4. Let h be j(2). Suppose h*i + 12 = 6*i. Solve i*o + 9 = 4*a + 1, a - 2*o = -3 for a.
5
Let q(c) = c**2 + 6*c + 5. Let w be q(-5). Let z be 1 + 1 + 1 + w. Let m be (-111)/(-6) + (-3)/6. Solve -v + 2*v = 2*k - z, 0 = -2*v - 4*k + m for v.
3
Suppose 4*q - 8*q + 4*t = -140, 3*t = -9. Suppose -3*u + q = -u. Let i = 45 - u. Solve -2*o + i = -5*g, 5*o = -g + 4 + 1 for g.
-5
Suppose 0*k = -3*k - 12. Let s be 7 + k + 4/2. Suppose -9 - 6 = -s*m. Solve -10 = -l + m*l, 15 = 3*x - 3*l for x.
0
Let p be -2*(-1)/(-2 - 0). Let u be p - (-1 + (2 - 2)). Solve 5*h = -n, -5*n + 0*h - h + 24 = u for n.
5
Let b be (140/168)/((-2)/(-12)). Solve -d - 5*t = -10*t + 16, -4*d + b*t = 19 for d.
-1
Let s(o) = o**2 + 24*o - 23. Let z be s(-25). Solve 2*r - 12 = z*f, -2*f - f = -5*r + 24 for f.
-3
Suppose 0 = -2*o - 8 + 12. Solve 5*v + 0*u + 29 = -4*u, v + o = 3*u for v.
-5
Suppose -4*z - 16 = 4*y, -3*y - 2*z - 10 + 2 = 0. Solve 4*c - 5 = 3*n - 15, c + 5*n + 14 = y for c.
-4
Suppose t - 7 = -4. Solve 4*i + 2*k + 10 = t*k, -2*i + 4*k = -2 for i.
-3
Let y be (12 - 11)/(2/8). Suppose -2*f = y*k + 3 - 11, 12 = 5*k + 2*f. Solve -2*j - 4*w - 2 = 0, 5*j + k*w - w - 9 = 0 for j.
3
Suppose 0 = -3*f + s + 2*s + 9, 3*f - 5*s - 9 = 0. Suppose -3*m = f*n + 6, -2*n + 21 = -4*m + m. Solve -3*u + 6 = 3*q, 3*q - 5*u = -n - 7 for q.
0
Let i be (-2)/4 + 5/2. Let q(l) = l**3 - l**2 - 2*l + 3. Let s be q(2). Solve z - s - 5 = -5*b, -10 = -4*b - i*z for b.
1
Suppose -4*y = -0*y - 12. Let f(o) = -o**2 + 14*o + 17. Let s be f(15). Solve -5*k = -y*w - 22, -2*w - s*w + 29 = 5*k for k.
5
Suppose 0 = -4*o - 0*f - 3*f - 85, 2*f + 63 = -3*o. Let x = o + 20. Solve h + 0 = -3*a - x, -5*h - a - 19 = 0 for h.
-4
Let o(v) = 2*v + 8. Let g be o(-4). Solve -4*j + 12 = -4*a - g*j, -5*a + j + 1 = 0 for a.
1
Let a be (-4 - (0 + -1)*14)/2. Solve -3*r + 3 = -3*p - 6, 18 = -2*p + a*r for p.
1
Suppose 0 = -2*u + u - 4, 2*q - 2*u = 8. Solve 5*y = 3*w + 10, y + 3*w = -q*w + 20 for y.
5
Suppose -4*u + 48 + 20 = 0. Solve g = 3*s + 10, -3*s - u = 5*g + 5 for s.
-4
Let y(d) = d - 2. Let k be y(2). Suppose -4*o = -k*o - 96. Suppose 4*a + z - o = 2*z, -3*z - 7 = a. Solve 2*f - 12 - 14 = 4*g, 0 = -3*f - 5*g - a for f.
5
Let g be (0/((-20)/(-5)))/(-1). Solve g = 4*l - 2*u - 8, 5*u + 15 + 5 = -4*l for l.
0
Suppose x = -3*x + 16. Suppose -d + 3 = -0. Suppose 11 = d*r - x. Solve o = -5*m - 9, -4 - 1 = r*m for o.
-4
Let w(r) = r - 4. Let o be (2/3)/((-3)/(-18)). Let c be w(o). Solve 3*i + 19 = 2*b, c = -5*b - 3*i - 6 + 1 for b.
2
Let x(f) = f**3 - f**2 + 1. Let q = 5 - 3. Let h be x(q). Solve -a - 11 = -5*s, 0 = h*a - 2*s - 3*s + 15 for a.
-1
Let a be 1*3/6*0. Let h be 5 - 0 - (0 + a). Let t(d) = d**3 - 12*d**2 + 11*d + 4. Let x be t(11). Solve -4*f - x*k - 4 = 0, 0 = -h*f - 0*k - 4*k for f.
4
Suppose 0*g - g = 2, 4*z - 2 = 3*g. Let w = 5 + z. Solve -4*u = -2*x + 6*x, u + w = 0 for x.
4
Let u(t) = t**2 + 2*t. Let d be u(-3). Let h = 7 - 3. Suppose -b + d*b = h. Solve m - q + 4 = -2*q, 0 = -m - b*q - 4 for m.
-4
Suppose 70 = -2*j - 16. Let h = j - -60. Let c be -1*1 + 1 + 3. Solve 0 = 3*o + 2*y - h, -c*o - 5*y = -4*o - 17 for o.
3
Suppose 65 = 13*q + 26. Let l be (-33)/(-4) - (-1)/(-4). Suppose 2*i - i - l = 0. Solve k = -k + i, 4*o = -q*k for o.
-3
Suppose -5*t + 5*x = -135, 2*t + 2*t - 81 = -5*x. Suppose 3*s - t = 27. Solve 0 = -3*n + 4*i + s, 3*n + 23 = -2*i - 2*i for n.
-1
Let w be 4 + 0*5/(-10). Solve -w*k + 3 = j, -5*j = -3*k - 0*k + 31 for j.
-5
Suppose 0 = 21*d - 16*d - 25. Solve 4 + 4 = 2*l - d*n, 2*l - 8 = -4*n for l.
4
Suppose 18 = 2*g - 0. Solve -4*w - 17 = 5*x + g, -2*w - 3*x - 14 = 0 for w.
-4
Let n be (-1 + -1)*65/(-10). Let g(h) = -h**3 + 14*h**2 - 13*h + 3. Let p be g(n). Solve 0 = o + 1, p*k + 3*o = 5*o - 4 for k.
-2
Suppose -6 = 3*c + a - 2, 0 = -2*a - 2. Let s be c + (1 - 3 - -4). Solve 5*b + 3*n = -18, -3*b + 5*n = -b + s for b.
-3
Let d = -41 + 20. Let c = d - -23. Solve -4*i + 2*p = -3*p + 33, -3*i - 16 = -c*p for i.
-2
Suppose 3*z - 14 = 5*b, -10 = -4*z - 4*b + 2*b. Suppose -2*m - z*s + 28 = -34, -2*s = -2*m + 72. Solve -3*k - 3 = -4*l, 4 = 3*k + 5*l + m for k.
-5
Let j = 15 + -13. Solve 2*k - 2*r = -6, 5*k - 2*r = j - 11 for k.
-1
Suppose 5*a = 3*m + 23 - 4, -3*a - 3*m + 21 = 0. Solve 18 = 2*x + a*i, -2*x - i + 10 = -0*i for x.
4
Let x(f) = 2*f + 1. Let c be x(1). Solve 4*j = -t - c, -5*j = -4*t - 6 - 6 for t.
-3
Let f be 3*(2/8 + 31/(-12)). Suppose -v - 11 = -1. Let x = f - v. Solve 0 = -x*d, 0 = -i - 0*d - d for i.
0
Let t = -2 + 3. Let i = t + 1. Let o be 3*(-1 + i)*3. Solve -14 = z - 4*u, 4*u = u + o for z.
-2
Suppose -t - 6 = -3*t. Suppose -4*x + 44 = -12. Solve -6*f + t*f + 3*c - 18 = 0, c = 5*f + x for f.
-2
Let p = -54 + 79. Suppose -6*v + p = -v. Solve h - 2*h - 4 = -b, -2*b = -v*h - 8 for h.
0
Let m(t) be the first derivative of -t**3/3 - 4*t**2 - 12*t + 4. Let p be m(-5). Solve 3*j + 5*w - p = 0, 2*j - 9 = 3*w - 26 for j.
-4
Let k = -18 + 21. Solve 4*v + 18 = 2*b, k*b - v - 11 = v for b.
1
Suppose 4*s + s + 4*k = 8, -2*s + 10 = 5*k. Suppose 3*x + 0 = 6. Solve s = 2*l - 7*l + x*i + 20, -l + 3*i = -17 for l.
2
Let j be (-4)/(-3)*(-3 + 6). Let l be (0 + 2 - j)*-1. Suppose 19 + 5 = l*h. Solve -3*y - h = 5*t, -3*t - t = 3*y + 12 for y.
-4
Let h be ((-12)/(-2))/(-2)*-1. Suppose 4*n - 6*n + 5 = -5*c, -h*n - 3*c = 3. Solve -4*a + 4 = -n*a + 4*g, a = 3*g + 1 for a.
1
Suppose -10 - 14 = -2*i. Let a(s) = -2*s**2 - 2*s - 3. Let r be a(4). Let l be r/(-9) - (-2)/9. Solve l*j = -y - i, y = 2*y - 5*j - 8 for y.
-2
Let v(s) = s**3 - 7*s**2. Suppose x - 10 = -3. Let g be v(x). Solve g*y + 5*l + 16 = -2*y, 3*y + 7 = l for y.
-3
Suppose -i = v - 2, v + 16 = -i + 6*i. Solve 6 = 3*q + i*n, 4*n - 7 = -q - 2 for q.
1
Suppose 5*v = 3*i - 24, v = -v + 3*i - 15. Let s(x) = -3*x - 4. Let p be s(v). Let r = p - 2. Solve w + 4*w = l + r, -9 = -w - 4*l for w.
1
Let j(a) = a**2 + 5*a + 6. Let t be j(-4). Let o = -1 - -6. Solve d + 4 - o = 0, 0 = t*q + 2*d - 2 for q.
0
Suppose -x + 4*b = 16, -5*b = -4*x - 2*b - 25. Let q = x - -12. Solve -21 + 5 = 4*f + 4*o, 5*f - 2*o = q for f.
0
Suppose 0*h + h = 7. Suppose -9 = -2*k + h. Solve 2*v - 16 = -5*y, y + 5*v - 10 = k*v for y.
4
Suppose 12 + 8 = 5*j. Solve -s + 20 = -j*w + 3*s, 2*w + 3*s - 10 = 0 for w.
-1
Let h = -16 - -20. Suppose 0 = 2*k - h - 0. Solve 0 = -3*r - 0*m + k*m + 7, -2*r = m for r.
1
Let k be (-13)/(-5) + (-4)/(-10). Solve -3*w + 11 = 4*g, -3 = k*w - 6 for g.
2
Let j be 5 + -1*6/(-3). Suppose -2*n = p + j, -4*n - 12 = -5*p + 23. Let y = p + -3. Solve -2*l + 25 = -y*l - 5*u, -4*l + 5 = -u for l.
0
Suppose -3*f - 31 = -2*l, 6*l - l = -2*f + 30. Solve 2*q - l*y = -3*y - 1, -5*y = 5 for q.
-3
Let q = 5 - 3. Let j be (1/1)/(1/(-1)). Let w = 1 - j. Solve q*o + 1 = 2*t - 1, 0 = o + 2*t - w for o.
0
Let x be 1 + (0 + -3)*28/(-42). Solve -5 = x*o - 2*n, 2*o - 6 = -4*n - 4 for o.
-1
Let n = -11 + 8. Let t be (-1)/((3/5)/n). Suppose 12 = -3*j - j, 2*w - 21 = t*j. Solve 3*m = 4*s - 1 - 2, w*m + 3 = -4*s for s.
0
Let y = -56 + 35. Let o = 6 - y. Suppose -5*j + 4*j = -o. Solve -2*a = 2*w + w + 17, -3*a = 5*w + j for a.
-4
Suppose -8*y = -11*y. Let r(q) = q**2 + 4. Let j be r(y). Solve 5*s + g = 30, -4*g = -j*s - 0*g for s.
5
Let i(h) = -6*h**3 - 2*h**2 - 2*h. Let y be i(-1). Let g be 3*2 + (4 - y). Solve 0 = -j + g*t, 3*j - 12 + 3 = 3*t fo