- 4*b = 5*k + n for k.
-3
Let t(a) = -6*a**3 - a**2 - a - 1. Let v be (4/2)/((-6)/3). Let r be t(v). Solve -5*s - r*h = 18 - 3, -5*s + 4*h = -21 for s.
1
Let s(r) = 2*r + 7. Let w be s(-2). Solve 0 = -w*z + 3*j - 6, 3 = -2*j + 7 for z.
0
Let b(y) = 11*y**2 - 1. Let h be b(1). Let r(u) = -12*u + 2*u**2 + 7*u**2 - h*u**2 - 11. Let g be r(-11). Solve -20 = 4*j, -v + 5*v - j + 7 = g for v.
-3
Suppose -5*z = -6*z + 4. Solve 4*j - 6 = j - 2*g, z*j = -5*g + 8 for j.
2
Suppose i = -f + 1, -5*i = 4*f - 9*f + 5. Solve 3*p = i, 3*c - 2*p = -2*c - 20 for c.
-4
Let v(g) = -g**2 - 12*g + 17. Let u be v(-13). Solve 5*m + 3*q - 1 + 38 = 0, 0 = -u*m + 5*q for m.
-5
Suppose 4*m - 60 = 7*m. Let y be ((-48)/m)/(3/15). Suppose 0 = 2*f + 4, 12 = 5*q - 0*q + 4*f. Solve q*w = -0*c + 2*c + 16, -4*c = -3*w + y for c.
0
Suppose -2*r = 2*r - 40. Suppose a = -4*k - 4 + 15, -12 = -4*a. Let f(g) = -2*g - 1. Let m be f(-2). Solve k*q = -m*j + r - 22, 2*q = 4*j + 16 for j.
-4
Let a be (-4 - (-690)/35) + (-2)/(-7). Suppose 0*z - 1 = -z. Let s be (1 + a/2)*z. Solve 4 = 3*m + q - s, -8 = -2*q for m.
3
Suppose i = -i. Solve -2*g + 4*k + 20 = i, -3*k + 2*k = -4*g + 12 for g.
2
Suppose -42 + 12 = -2*d. Let b(t) = t**2 - 5*t + 3. Let h be b(5). Suppose -h*l = -2*l - 5. Solve 5*a = 5*c - d, 0*a - 4*a - 17 = -l*c for a.
2
Let v(b) = 4*b - 11. Let k be v(4). Solve 4*t + k*p = 30, 5*t + p - 27 = -0*t for t.
5
Let k be -10*(1 - (-3)/(-2)). Suppose 4*w - 6 = -3*a, w + 3*a + 5 = 2. Suppose 0 = -w*d + 2 + 4. Solve -2*l = d*f + l - 1, 0 = -k*f - 5*l + 10 for f.
5
Let d = 5 + 0. Suppose 4*c + d*h = -0*h + 43, -h = -4*c + 73. Solve 4*y - c = 5*z, -2*z - 3*z - 8 = -y for y.
3
Suppose -23 = -3*y - 2*t, 10*t + 11 = -y + 14*t. Let x be ((-11)/(-2))/(1/2). Solve y*o = -4*i - 16, -3*o = -0*i + i + x for i.
1
Let o = -5 + 9. Let b = o + -1. Suppose 3*p + 23 = b*d - 22, 0 = p + 4. Solve -4*q + d = h, -11 = -h - 3*q - 4 for h.
-5
Let d = 48 - 46. Solve -16 = 5*u - 6, 2*y - 4*u = d for y.
-3
Let y be 107/7 - 2/7. Let u be (-28)/(-35)*5/2. Suppose 0 = 5*z, f + 2*z + 0*z = u. Solve 0 = 5*q - y, -q = f*m + q - 2 for m.
-2
Let d be (3 - -1)/(2/2). Let g(o) = o**3 + 6*o**2 - 3*o - 2. Let k be g(-6). Suppose -k = -5*f + 4. Solve -d*w + 17 = -a, f*w = -4*a + 12 - 0 for a.
-1
Let m(z) be the first derivative of -z**4/4 - z**3 + 2*z**2 - 2. Let a be m(-4). Suppose a = p + 3*p. Solve -2*n + 2 = -f - 0*n, p = 5*f + n - 23 for f.
4
Suppose 21*p - 14*p = 161. Solve -p = -l - 2*l - 4*q, 2 = q for l.
5
Suppose -z + 5 = 1. Solve 3*a = -4*b + a, z*b - 12 = 4*a for b.
1
Let b(k) = -8*k**3 - k**2 - k - 1. Let j be b(-1). Solve -a + j = 3*a - 5*g, 0 = 4*g - 4 for a.
3
Suppose 0 = -2*h + 7*h. Suppose -y - 3*t = -5*y + 28, -5*y + 2*t + 28 = h. Solve -5*v - 32 = y*p, -5*v = -4*p - 4*v - 8 for p.
-3
Let k(a) = -a**2 - 7*a - 1. Suppose 12 = g - 3*g. Let d be k(g). Solve 5*l + d*y = 0, -4*l + 0*y = -y - 15 for l.
3
Suppose 4*c - c = 0. Let l = c + 2. Let b = -2 - -4. Solve n - b*o - l = 5, 2*n - 9 = 3*o for n.
-3
Let g(y) = -y + 4. Let k be g(-5). Let r = -3 + k. Suppose -2*j + r = -2. Solve -u = -w - 8, -4*u + j*w + 4 = -7*u for u.
4
Let p = -12 - -18. Solve -3*x = -q - 6*x - p, -q - 2 = -x for q.
-3
Suppose -4*i = 4*m + 7 + 5, -5*m - 23 = i. Solve -i*c = -3*d - 0*c + 5, 3*d + 2*c - 13 = 0 for d.
3
Suppose 2*g + 0 = 6. Suppose g*q + 6 = 5*q. Solve 0 = 3*p + q*w + 3 - 24, -2*p + 4*w = 4 for p.
4
Let z = -16 - -12. Let r be 0/(z/(-3 - -7)). Let l be 14/6 - (-6)/9. Solve r*x = -l*v + 3*x - 3, -v - 3*x = -11 for v.
2
Let t be (4/10)/((-7)/35). Let u be (0/t - 0)/2. Solve u = 5*w - 10, 4 = -2*n - w + 10 for n.
2
Let o = 11 - 6. Let r(h) = h**2 - 4*h + 3. Let q be r(5). Let m = q - o. Solve 2*l + m = 2*y + l, -l + 3 = 0 for y.
3
Suppose 2*s = -2*a + 5*a + 6, -4*a = 8. Solve -19 = 3*x + 4*i, 5*i + s*i = 2*x + 5 for x.
-5
Let p be 2 - -4 - (-4)/2. Solve 5*w + 3*j - 19 = p, 3*w - 13 = -j for w.
3
Let j be 1/(-2) + 44/8. Solve 0 = -o - 4*o + t - 14, j*o - 5*t = -10 for o.
-3
Suppose 2*b = -2*b - 32. Let w = b - -10. Solve 0*u + w*c + 2 = -u, c + 6 = 2*u for u.
2
Let c be -8*((-1)/(-2))/1. Let s = 9 + c. Solve 3*r - 2*r - s*l = 19, 0 = -2*r - l - 6 for r.
-1
Suppose 0*b = b + 18. Let c = -7 - b. Solve 0*v - 21 = -5*r + v, 0 = 3*r - v - c for r.
5
Let w be (-11 + 19)*(-2)/(-4). Suppose w*t - p = 19, 5*t + 2*p = 4*p + 20. Solve 2*u = -t, u - 5*u = -o + 16 for o.
4
Let v(d) = d**3 + 15*d**2 + 14*d. Let z be v(-14). Solve -2*t + 6 = 0, 2 = 2*s - z*s - 2*t for s.
4
Suppose 2*m + 3*i = 41, 3*i = -m + 2*i + 20. Let r = 24 - m. Solve 3*v = -4*s - 4, 0*s + 3*s + 3 = r*v for s.
-1
Let p be (0/(-3))/2 + -34. Let f be (-3)/(-9) - p/6. Solve -3*t - f = -4*q + 14, -q = t - 5 for q.
5
Let f = 73 + -68. Solve -4 + 18 = 3*u + z, 2*u + f*z - 5 = 0 for u.
5
Let s = 2 - -7. Let i(n) = -n**3 - 4*n**2 + n + 4. Let b be i(-4). Suppose -4*t + 4*y + 27 = 3, b = -4*t - y + 19. Solve 3*c - 7 - 6 = -t*w, w - s = c for c.
-4
Suppose 2*z + 70 = -3*z. Let s = -2 - z. Suppose 2*d + 3*d - 20 = 0. Solve d*l + j + 3*j + s = 0, l - j + 5 = 0 for l.
-4
Suppose -10 = f + 4*g, 5*f - 2*g = -5*g - 84. Let v be (-2)/(-5) + f/(-30). Solve 3*d = 3*k + 3, 3*d + v = -5*k + 6*d for k.
1
Let r be 2/(-2) + (0 - -6). Let i be 0/(-9) - (1 - -1). Let v be 19 + 3 + -2 - i. Solve 5*q + r*f + 12 = q, 4*f = 3*q - v for q.
2
Let g(k) = k - 4. Let j be g(6). Suppose 12 = 5*f - 9*f. Let s be (-3*2 - f)/(-1). Solve -2*q - q = j*h - 22, -3*h = s*q - 27 for h.
5
Let l be 7/((-21)/(-45)) + -3. Let q be (-20)/(-9) + l/(-54). Solve q*z - r = 13, -z + 17 = 3*z + r for z.
5
Let i(y) = y**2 + y - 4. Let f = 2 - 5. Let v be i(f). Solve -o - 3*c + v*c = -5, 0 = -o - 4*c + 20 for o.
0
Let w(q) = q**3 - 9*q**2 + 10*q - 10. Suppose -4*r + 32 = -0*r. Let n be w(r). Solve -1 = 4*z - b, 3*b - n - 7 = 2*z for z.
1
Let p be (36/48)/(1/40). Solve -5*c + l - 2*l + p = 0, 3*l - 5 = 2*c for c.
5
Suppose 2*o - 35 = -3*l, -4*l - 3*o = 3 - 51. Let j = 9 - 12. Let y = j + 6. Solve 0 = 2*z + 8, -5*p + y*z - l = -z for p.
-5
Let p(g) = g**3 + g**2 - g + 1. Let u be p(1). Solve s = 0, -u*s = 5*f - 7*s + 15 for f.
-3
Suppose 10 = -3*v + 5*x, -2*x + 14 = 4. Suppose -5*c = 3*u + 2*u - 65, 4*u - v*c - 52 = 0. Solve m + j = -3, -6*m - 5*j - u = -2*m for m.
-2
Suppose 0 = -t + 5*t - 20. Suppose -4*b + 24 = -4*n, -3*b - 3*n = -t*n - 15. Let x = 14 + -13. Solve -5*q - 9 = 5*o + x, -q = -b*o + 6 for o.
1
Let v be -1 + -3 + (13 - 6). Solve -2*u + 5*g - 16 = 2, -10 = 2*u - v*g for u.
1
Let u be (-27)/(-5) + (-16)/40. Let r = 5 + 0. Solve t - 10 = -u*a, -3*t = 4*a - r - 14 for a.
1
Let t be ((-4)/(-10))/((-12)/(-30)). Let l(g) = 2*g**2. Let z be l(t). Solve 0*p = -3*y + 2*p + 7, 0 = -5*y - z*p + 1 for y.
1
Suppose -v = p + p - 9, 2*p - v - 3 = 0. Suppose -p*f = -4*f. Solve -3*i - i - 11 = -3*x, f = -3*i + 5*x for i.
-5
Let f(r) = -r**3 + 3*r**2 + 2*r - 3. Let y be f(2). Suppose -23 + 133 = y*s. Solve 2*l - s = 4*h, l - 19 = -0*l + 4*h for l.
3
Let z = -20 - -23. Solve z = -2*d + t, 3*d - 7*d = 5*t + 13 for d.
-2
Suppose -4*m - 13 = -j + 4*j, -5*j = -5*m + 10. Suppose -3*o - 2*q + 17 = 0, 15 = 2*o + q + 4. Let i = j + o. Solve i*y + 2 = -2*t, 3*t + 8 + 13 = 3*y for y.
3
Let x(g) = g**2 + g + 2. Let v(n) be the first derivative of -n**2/2 + 5*n + 2. Let w be v(7). Let b be x(w). Solve b*t + 5*y - 11 = 8*t, 2*t + 10 = -2*y for t.
-4
Let z = 9 + -6. Let b = z - 1. Let j = 20 - 8. Solve -t - j = b*t, f - 22 = 5*t for f.
2
Let g(n) = -2*n - 3 - 4 + 0 + n. Let z be g(-10). Solve -3*c = -3*r - 3, -5 = -r - z*c + 6*c for r.
-4
Let m(r) = 3*r - 21. Let j be m(8). Suppose -2*h + 6*h = 0. Suppose -v + h = -3. Solve -12 = -3*f - j*c, 12 = -7*f + 3*f + v*c for f.
0
Let m = -6 - -10. Let g be 8/12*-3 - (-10 - -5). Suppose -3*p = -4*w + 2*w - 61, 0 = -p + w + 22. Solve g*q - p = 2*y, -y + m*q = -5*y - 4 for y.
-4
Suppose 0*r = -2*r + 5*j - 9, -4*r - 2*j = -18. Solve -3*x = -15, 2*l + r*x = -0*l + 25 for l.
5
Suppose 4*g - 5*p - 29 = 0, -2 = 2*p - 0. Solve j - g*j + 2*y = 10, 3*y = -5*j + 15 for j.
0
Let p(q) = -q - 17. Let w be p(-7). Let m = 2 + w. Let k be -1*((-3 - -6) + m). Solve 4*v = -0*b + 3*b - 27, -4*v = k*b - 13 for v.
-3
Let p(k) = -k**2 + 8*k - 2. Let u be p(7). Solve 2*b + 6 = u*x - 3*x, -5*x + 3 = -2*b for b.
-4
Let t(h) = 5*h**3 + 2*