2*v + 2 + 4 = 2*c for v.
5
Let m(q) be the second derivative of -q**4/12 + q**3 - q**2/2 - 4*q. Let x be m(5). Solve -5*i = -4*g - 17, -x*g - 9 = -g for i.
1
Suppose -z = -4 - 8. Suppose -25 = -4*r - 1. Let b = r + z. Solve 3*c + 3*t = 15, b - 3 = 3*c + 2*t for c.
5
Let q = -40 - -49. Let g = q - 4. Suppose -2*x + 7*x - 11 = -4*z, 2*z - 4 = -2*x. Solve -2*u - g*m = -1, -x*m - 24 + 9 = -4*u for u.
3
Suppose 0 = p + 5*v - 46, -3*p = 4*v + v - 138. Let z = 7 + -4. Let g be z/1*p/3. Solve -3*q - 19 = 3*w - g, -2*q - 2 = -3*w for w.
4
Suppose t + 26 = 5*k, -5*t - 7 = -k - 3*t. Suppose 3*h - 4*l = 5*h - 4, -l = k*h - 19. Suppose u - h*u = -27. Solve u = 3*g, -3*g + 7 = -b + 3*b for b.
-1
Suppose 2*c + 32 + 25 = 5*q, c + 1 = 0. Let s = 10 + q. Let b(z) = 15*z**2 - z - 1. Let a be b(-1). Solve 5*v + s = -2*o, -3*v - a = -0*o + 2*o for v.
-3
Suppose 4*w - 14 = j, 0 = -5*w + j - 0*j + 18. Let n(z) = z**2 - 4*z + 2. Let f be n(w). Solve -4*u = -4*r + 8, 3*u = -0*r - f*r - 1 for u.
-1
Suppose 0*f + 4*f + b = 23, -2*b = f - 4. Let p be -5*(-1)/(10/6). Suppose -p*c + 0 = -f. Solve 5*h + 7 = d, -c*d - h = 3*h for d.
2
Let g = -1 - -3. Let i(l) = l + 15. Let q be i(-10). Solve 2*t + g*m = m, q*t + 3*m + 1 = 0 for t.
1
Let y = 21 - 37. Let d be y/24*(-34 - 2). Solve -5*n + 31 = -4*x, 2*n - 4*x - d + 2 = 0 for n.
3
Let o be 7 + -7 + 1/((-3)/(-12)). Solve 5*p + 3 = -2*n - 2*n, o*p + 5*n - 3 = 0 for p.
-3
Let h(l) = l**2 - 8*l + 4. Let y be h(7). Let t = y + 4. Solve -5*o - 3*a = 17, -3*o - a - 8 = -t for o.
-1
Let j(n) = -3*n - 8. Let w(q) = -16*q - 39. Let z(p) = -11*j(p) + 2*w(p). Let m be z(-6). Solve 5*g = 3*b - 2, 1 = m*b - 2*b - 3*g for b.
-1
Let q be (-2172)/14 - (-7)/49. Let v be (-8)/(-14) + q/(-35). Solve 4*f = 2*f - k, -v*k = -4*f for f.
0
Suppose -3*y - 32 = -5*y. Solve o - y = f - 4*o, 0 = -2*f + 3*o - 11 for f.
-1
Let u = -26 - -31. Solve 0 = g - k - 1, -g = -u*k + k - 16 for g.
-4
Suppose -15 = -2*a - a. Suppose -9 = -5*b + 3*k, -a - 8 = -5*b + k. Solve -b*v - q = -6, 2 + 4 = 3*v - 2*q for v.
2
Suppose -5 = -3*i + 1. Suppose -6 + 2 = d, -4 = i*n + 2*d. Suppose 8 = 3*v - 0*v + h, h = n. Solve 0*l + 3*l + 2*r - 8 = 0, -r = v for l.
4
Let o be (2 + -4)/((-2)/3). Let r = -4 + o. Let z = r - -4. Solve 4*y - 17 = -3*l, -4*l + 9 = 2*y - z*l for y.
5
Let c be (-1 + (-9)/(-15))*-5. Let x be (c/(-5))/((-5)/100). Solve x = i - 3*g - 0*g, -2*i = -g + 4 for i.
-4
Let d = -31 + 33. Solve -5*g - 5*w = -3*w - 24, -g + d = -w for g.
4
Suppose 0 = -y + 6 - 1. Let q be (-4)/(-8) + 7/2. Suppose s = -4*a + 60, q*a - 4*s - 45 = a. Solve 0 = -y*r - 3*z + a, 0*r + r - 3 = z for r.
3
Let b(i) = 3*i**2 - i - 1. Let l be b(-1). Solve 4*r + x = 4, l*r - 4*r + 14 = -3*x for r.
2
Let g = 18 - 10. Suppose 0 = -2*u - 0 + 8. Let f be (u/8)/((-1)/(-4)). Solve 2*t - 3*l + 0*l = g, 0 = 4*t + f*l for t.
1
Let r be 46/5 + 8/(-40). Suppose 0 = -12*m + r*m. Solve -4 = -k + 2*o, 2*o + m*o = -k for k.
2
Suppose 2*h = -5 - 1, -3*m = -5*h - 21. Solve 2*d - 2*l = -16, -m*d = 3*l - 4*l + 12 for d.
-4
Let z(i) be the second derivative of -5*i**3/6 - i**2 - 2*i. Let m be z(2). Let u = m - -17. Solve 4*n + u = 5*h + 6, -11 = -h - 2*n for h.
3
Suppose -2*v + m - 4 = 2*v, 5*v + 4*m - 16 = 0. Suppose v = -5*n + 3 + 17. Solve 3*a + i + 5 = 0, -n*a = 5*i + 5 - 2 for a.
-2
Let o = 0 - -2. Let v be 8 + -1 - 1*o. Suppose -40 = -5*q - v*r, -2*r - 1 = -7. Solve q*n = z - 8, z + 0*z = 3*n + 6 for z.
3
Suppose 3*w - 2*q - 16 = 97, -5*q - 125 = -3*w. Solve -5*h - w = -2*z, -h - 25 = -3*z - 5 for h.
-5
Let i = 0 + 1. Suppose n = -i + 6. Suppose 0*j - 120 = -n*j. Solve 5*d - 4*p = j, d - 5*p = 11 - 2 for d.
4
Let o = 14 + -6. Solve -3*u + o = 4*g, 5*u - 2*g - 3*g + 10 = 0 for u.
0
Let f = 111 + -101. Solve 5 = -5*z - f, -3*b = -3*z + 6 for b.
-5
Let w(y) = -y**2 - 11*y - 8. Let i be w(-9). Solve 3*p - 19 = 4*a - 4, 0 = 2*p - a - i for p.
5
Suppose -17*m + 14*m = -15. Solve 9 = -3*c + p, 3 + 0 = -c + m*p for c.
-3
Let v = 45 + -42. Solve 2*g - q = 1, -25 = -g + 6*g + v*q for g.
-2
Let c = 12 + -8. Suppose 0*t - 234 = -3*t. Suppose c*n - t = n. Solve -3*q + 9 = -r - q, -r - 5*q + n = 0 for r.
1
Let t(c) = c**3 + 7*c**2 - 8*c + 3. Let u be t(-8). Let j be 10/(-6) - (-5)/(-15). Let v = u - j. Solve -21 = 4*x - v*s, 5*x - 2 + 18 = -4*s for x.
-4
Let f be 14/(-21) - 35/(-3). Suppose 0 = -6*y + 2*y. Suppose y = -3*j + f - 2. Solve -4*x - 31 = -3*i, -2*i = j*i - 4*x - 41 for i.
5
Let p(o) = -o**3 + 7*o**2 + 3*o - 12. Let y be p(5). Suppose 0*k + 5*k = -4*x + y, 4*k - 40 = -3*x. Solve -4*g + x = 0, 0*l + 2*l - 3*g = -17 for l.
-4
Let h = -71 - -72. Solve s - 5*w - 8 = 0, -w = 1 + h for s.
-2
Suppose 44 - 2 = 2*o - a, 0 = -4*a. Let w(b) = -5*b - 7. Let h be w(-2). Solve -5*f + o = -k, h*k = k - 2*f + 18 for k.
4
Suppose -3*n - 2*v = -15 - 4, 0 = -3*n + 3*v + 39. Solve h = -3, h - n = -7*f + 3*f for f.
3
Suppose -3*z + z + 248 = 0. Suppose z = o + 3*o. Suppose 0 = 3*x + 5*s - o, x - 2*s + 1 = -7. Solve -5*m - d + 2*d + 21 = 0, x*m - 6 = d for m.
5
Suppose -1 = f - 3. Solve 2*a + 6 = 2*h + f, -4*h + 10 = -3*a for a.
2
Let f be 15 - 16/(8 + -4). Solve -5*t + 2*r - f = 0, t - 5 = 4*r - 0 for t.
-3
Suppose 2*w - n + 3*n = 4, 0 = 4*w - 5*n + 19. Let g be (6 - 6)/(3/w). Solve 4*b + 2*x - 2 = g, b = -2*b + 5*x + 8 for b.
1
Suppose 0 = -4*n - 3*q + 69, -3*n + 3*q + 51 = n. Let b = 15 + -11. Suppose -3*m = b*x - 14, 3*x + 9 = -m + 2*m. Solve -m = 5*z + c - 3*c, 3*z - n = -5*c for z.
0
Suppose -4*s + 2*i + 2*i + 8 = 0, 0 = s + 4*i - 17. Suppose v = 5*x + s, -x - 4*v = -12 - 8. Let d = 4 - x. Solve -d*y - 9 = 3*n - 7*y, -2*y = n for n.
-2
Suppose 0*v = 5*v - 40. Suppose 0*d + 2*d = v. Solve 0 = -5*r - 2*h - 8, d*r - h - 8 = h for r.
0
Suppose -3*r + 4 = -r. Suppose 5*w = 7 + 18. Suppose -u - 4 = -6. Solve 4*b + r = q, -b = -w*b + u*q for b.
-1
Suppose 4*k = k + 8*k. Solve -2*q = s - 6*s + 2, -q - 1 = k for s.
0
Let a = 5 - 2. Suppose -2*d + 7*d = -3*n + 44, -a*n + d = -20. Suppose -2*o + 6*o = n. Solve o*p = 2*h + 12, 0 = -2*p - 5*h - 2 + 7 for p.
5
Suppose x + 16 = -7. Let d = -9 - x. Solve -s = -5*t + d, 0 = -4*s - 5*t + 3*t - 12 for s.
-4
Suppose -5*l - 47 - 3 = -5*u, 4*l + 16 = 0. Let z(s) = 2*s. Let j be z(3). Suppose 5*c - 4 = j. Solve -2*a - h - 3 = 0, -5*a + 0*a + u = -c*h for a.
0
Let n = 11 + -9. Let s be 30/n + (1 - 1). Solve y = 2*v + 4, -2*v = -4*y + s + 1 for y.
4
Suppose 13*h + h - 42 = 0. Solve -5*p + 10 = -5*b, -b = h*p - 5 + 3 for b.
-1
Let l be (11 - 12)*-1*13. Solve -3*t - 23 = 4*x, x + 3*t + l = 2*x for x.
-2
Let o be (-8)/3*(-3)/2. Solve -4*c - o*v = -0*v, -3*c = 2*v + 3 for c.
-3
Let p(g) = g**2 - 2*g - 2. Let d be p(3). Let n be 70/4 + d/2. Solve -5*x = 4*s + n, -4*x - 4*s = -0*s + 16 for x.
-2
Let j(q) = -q + 1. Let m be j(-2). Solve -m*i = -2*f - 14, 0 = 3*i - f - 14 + 4 for i.
2
Let x = -30 - -15. Let z = -5 - x. Solve -2*t - 8 = -2*c, -2*t - z = -3*c - 0*t for c.
2
Suppose 15 = 4*l + 5*m - 22, -10 = -2*m. Suppose -2*z + 10 = 0, u + 2*z - 20 = -2*z. Suppose u = 3*r - 15. Solve -3*i + l = 2*t, -i - 24 = -4*i + r*t for i.
3
Let l(t) = -2*t - 2. Let m be l(-2). Let h be (m + (-14)/5)*5. Let v = h - -9. Solve -v*i = 20, 3*w + 2*i = 4*i + 11 for w.
1
Let i be -22*2/4*-1. Solve 4*h - 28 = -4*v, -i = -v - 2*h + 1 for v.
2
Let q be ((-16)/40)/((-1)/15). Solve -a = -q*a + 5*f + 20, 9 = a - 2*f for a.
-1
Let h be (-6 - -2)*18/(-4). Let m = 8 - h. Let j = -5 - m. Solve j*k + 20 = 5*t, -2*k = 2*t - 7 + 3 for k.
-1
Let z = 25 - 15. Suppose 0 = 4*i - 2*r + 4, -i + 4*i - z = -5*r. Solve i = 3*t + 2*b + 3*b + 13, 2*t + 4*b + 10 = 0 for t.
-1
Let n = -7 + 9. Suppose -3*w = 2*w - a - 80, -w = -n*a - 7. Solve -5*x - 35 = 5*j - 0*j, -j = 3*x + w for j.
-2
Suppose 5*q + q = 2*q. Solve q = g - 3*j + 9, 7 = -5*g - 4*j for g.
-3
Let i(v) = 3*v + 9. Let f be i(-3). Solve -4*s = -2*c + 18, s - 5*c = -f*s - 18 for s.
-3
Let h(a) = -7*a - 68. Let t be h(-10). Solve -2 = -4*p - n + t, n = -5*p + 6 for p.
2
Let o = 163 + -158. Solve -5*p + 17 = 2*j + 7, 4*p = -o*j - 9 for p.
4
Let t(x) = -x**3 - 8*x**2 - 5*x + 10. Let l be t(-7). Let g be (4 - 8)*2/l. Solve 0*r - 2 = g*a + 2*r, 5*a + r = 3 for a.
1
Let m(x) = x**2 + 3*x - 1. Suppose -2*b + b - 5 = v, -5*v - 17 = -3*b. Let f be m(v). Solve 10 = -5*i - k, 2*k + 2 = 2*i - f*i for i.