= -5*r + 2*k + 5 for r.
-1
Let d(k) = k**3 + 2*k**2 - 6*k - 7. Let q be d(-3). Suppose q*a + 2 = 6. Solve -a*g = 5*x - 9, -5*x - 4*g = g for x.
3
Let n be -2 + 0 - (1 - 20). Let d = -15 + n. Solve 10*h = 5*h - d*s, -4*s = 4*h for h.
0
Suppose 4*a = a. Let b be 1*(2 + a/3). Solve -4*f - 3*v + 10 = 0, 2*v = v + b for f.
1
Suppose 3*r - 1 = -s, 4*s + 0*s = -2*r + 34. Solve -1 = 5*m - 2*c, -3*c - s = -m - 6*c for m.
1
Suppose -2 = -w + 7. Solve 5*b + 4*d + 16 + w = 0, 0 = -4*b + d + 1 for b.
-1
Suppose -5*p + 40 = -5*m, m - 1 + 4 = 0. Solve -2*b + 10 = -p*a - 4, 2*b = -3*a - 18 for a.
-4
Let p be 4 - ((-2)/1 + 1). Solve -6*o + o - 4*v = -8, 0 = p*v + 15 for o.
4
Suppose -t + 13 = -z - 5*t, z + 3*t + 9 = 0. Suppose 4*d - 2 = -z*w + 1, -4*d + 5*w + 27 = 0. Solve -3*m - d*p = 0, 24 = 2*m - 6*p + 2*p for m.
4
Suppose 3*i - 13 = 20. Solve u + 2*j - 6 = -u, -2*u + 3*j = -i for u.
4
Let h(n) be the second derivative of n**4/12 + 11*n**3/6 - 5*n**2 - 3*n. Let v be h(-12). Solve 5*q - 2*y - v = 3*q, -3*y - 6 = 0 for q.
-1
Let w(a) = -a**3 + 12*a**2 + 13*a + 3. Let q be w(13). Suppose -q = 4*f + 3*y, 6*y = -2*f + y - 5. Solve -5*n = 5*p - 10, -p - 3*n = -2 - f for p.
2
Let k = -2 - 8. Let j be 12/10*(-25)/k. Solve -h = -2*z - 9, 7*z + 16 = j*z for h.
1
Let l = -48 - -51. Solve 3*d - 30 = 8*d + l*f, -4*d - f = 17 for d.
-3
Suppose -5*r = -5, -4*r + 1 = k - 7*r. Solve k*n + 0*n + 2*q = -18, -n + q = -3 for n.
-2
Let u(b) = -5*b + 6. Let f be u(3). Let j = f + 41. Solve h = 4*g + 7, 3*g + j = -3*h + 8 for g.
-3
Let t(l) = -l**2 + 4. Let z be t(-3). Let j = -5 - z. Solve 5*d - 6 = 4*k, j = 4*d + k - 9 for d.
2
Let z be 2/(-4)*-4*1. Let o(l) = -3*l**2 - 7 + 2 - l + l**3 - l. Let x be o(4). Solve c - x*v = z + 6, -v - 2 = 0 for c.
2
Let r(c) = c**2 - 2*c. Let k be r(3). Solve k*a = 5*m - m - 19, 18 = -2*a + 4*m for a.
-1
Suppose -3*a + 5*a = 8. Solve -3*m + 8 = a*c + 31, 2*m - 8 = 2*c for c.
-5
Let u = 2 - 2. Let a = u + 5. Solve -3*w - 3*d + 0 = -3, a*d - 1 = -w for w.
1
Suppose -v + 11 = -0*v - 2*w, -4*v - 6 = 2*w. Solve -3*u + 2*p = 3*p + v, 0 = u + 3*p + 3 for u.
0
Let i(k) be the first derivative of k**4/4 - 3*k**3 + 4*k**2 + 5*k + 2. Let g be i(8). Solve 3*b - 14 = g*a, 6*b = a + b + 16 for a.
-1
Let l(n) = n**3 + n**2 + n + 1. Let t be l(0). Suppose -4*y - y = -65. Let h be y*t - (-2 + 3). Solve c - 5*v + 2*v + 8 = 0, v = 5*c + h for c.
-2
Let y = -10 + 45. Suppose 5*j = y + 40. Solve -20 = -5*f - 5*u, 0 = 5*f - 3*f - 5*u - j for f.
5
Suppose 0*l = 5*l. Suppose -5*a + 12 = -4*t, -3*a + 15 = -7*a - 5*t. Suppose -5*y = 5*i + 25, 4*i + a*y + 5 = -y. Solve r = -c - i*r - 2, l = -5*r for c.
-2
Let c(l) = l - 5. Let u be c(3). Let z(f) = f**2 + f + 2. Let g be z(u). Solve g*b + 2*x - 16 = 0, 4*b - x + 6*x = 16 for b.
4
Let v(d) = 6*d. Let f be v(1). Let h be (3 - 7/2)*f. Let r be (-2)/h + (-16)/(-3). Solve -r*a = -8*a - 2*z + 20, -2*a + 4*z = 10 for a.
5
Let a(r) = r**2 - 5*r + 2. Let o be a(7). Let k = 2 + 1. Solve 4*v + z - 2*z = 15, -4*z + o = k*v for v.
4
Let v(f) = f - 2. Let n be 1/(-2) - (-21)/6. Let y be v(n). Let b = -151 - -154. Solve 5*i - h = -b + y, 4 = 4*i + 2*h for i.
0
Let x = -8 + 10. Suppose 0*p + 4*z = p - 7, 0 = p + z - 2. Let a = 152 + -138. Solve p*v = x*t + 19, 0*t - 4*t - a = 2*v for t.
-5
Suppose 0 = 11*n - 12*n + 4. Solve 0 = 2*o - 5*z - 4 + 26, n*o = z - 8 for o.
-1
Suppose u - 2*u = 0. Suppose z + 3 = 0, u = 2*m - 4*m - 4*z - 4. Solve -2*b = h - 7, 0 = -m*b + 3*h + h + 8 for b.
3
Let j(m) = m**3 - 7*m**2 + 5*m + 8. Let h be j(6). Solve h*t + t + 5*y - 23 = 0, 3*y = -5*t + 17 for t.
1
Let j(s) = 2*s**3 + 2*s**2 - 3*s + 1. Let u be j(1). Solve 21 = 4*o + 3*v, 3*o + u*v - 28 + 13 = 0 for o.
3
Suppose -4*x + 202 = x - j, 5*j + 210 = 5*x. Solve 5*o = -5*t - 0*t - x, -4*o - 24 = 2*t for o.
-4
Suppose -3*t - t = 72. Let g = -3 + 1. Let r be (g/6)/(2/t). Solve -9 = -5*u + 2*u - r*q, -q = -2*u + 3 for u.
2
Let z(j) = -2*j**2 - 18*j + 2. Let y be z(-9). Solve c + w - 11 = 3*c, -18 = 3*c - y*w for c.
-4
Suppose 2*f + 0*t + 4*t = -20, 15 = -f - 3*t. Solve -5*o - 2*b + 6 = f, 5*o + b - 12 = 2*b for o.
2
Suppose -w - w + 10 = 0. Let o(h) = -h**2 + 5*h + 1. Let n be o(w). Solve 2*j - 4*j = y - n, 3*y + 3*j - 3 = 0 for y.
1
Let o = 10 - 5. Solve 5*q = -3*c - 11, -4*c + 23 = -3*c - o*q for c.
3
Suppose -3*v + 4*r + 19 - 1 = 0, 2*v - 16 = 4*r. Solve 2*a + 11 = 3*h, -2*h - 3*h + v*a = -17 for h.
3
Let s(h) = -h + 16. Let d be s(13). Solve -5*i + 2*y + 3*y = -5, -d*y + 7 = 2*i for i.
2
Suppose 3*m = 4*v - 0*m - 27, 5*m + 19 = -2*v. Suppose v*u = 7 - 1. Solve -h - d = -0*d - 2, -h + 2 = -u*d for h.
2
Let m(u) = -u**2 - 7*u + 2. Let r be m(-7). Suppose 19 + 5 = 3*o. Let d be 2/o - (-2)/(-8). Solve p + 22 = -2*a + 5*p, r*a - 2*p + 14 = d for a.
-3
Let u = 29 - 40. Let b = u + 18. Let f = b + -5. Solve -3*c + 0*c - f*z = 1, -3*c + 3*z + 9 = 0 for c.
1
Let o = -4 - -7. Suppose -24 = -3*s + 3*g, 0 = -2*s - 5*g + o*g + 12. Solve 4*w - l - 20 = 0, -18 - s = -5*w - 2*l for w.
5
Suppose -3*z - 4*b + 3*b - 28 = 0, 0 = 2*z + 5*b + 10. Let t = -6 - z. Solve 2*x = -3*x + o - 17, t*x + 25 = -3*o for x.
-4
Let w = -2 - 6. Let g = w - -12. Solve -2*k - 12 = -g*i, 4*k + 5*i + 14 - 55 = 0 for k.
4
Let k be (-8 + 9)/(2/6). Solve 4*w = 2*z - 14, -3*w + k*z - 5*z = 14 for w.
-4
Suppose -4*x = -16 - 44. Solve g + 2*w + 1 = 4, 4*w - x = g for g.
-3
Suppose 3*h = 7*h. Let u be 6*(h - (-4)/8). Solve 2*n = -5*c + 8, -n + 4*c - 12 = u*n for n.
-1
Suppose -2*i + 5*h = -1 - 3, -5*i = 3*h - 10. Suppose 2*a - 4*a = -i. Solve 3*o + 15 = k, 2*o + 7 = -a for k.
3
Suppose -5*s + 3 = m + 37, 4*m = -s - 22. Let p = s - -9. Let h be 15/6*2*1. Solve -3*q - 2 + 11 = b, -p*b + h*q - 29 = 0 for b.
-3
Suppose -14 - 50 = -4*i. Let h = -6 - -10. Solve 6*y - 2*v + h = y, -2*y - i = 4*v for y.
-2
Let m be (-18)/(-6) + (-1 - -18). Let k = m + -13. Solve -3*o - 3*c - 4 - 5 = 0, -c - k = 5*o for o.
-1
Let r(u) = -u**2 + 6*u + 3. Let m be r(6). Suppose m*o - 4 + 1 = 0. Let b(p) = 3*p + 1. Let s be b(o). Solve -26 + 11 = -4*z + 5*n, 2*z - s*n - 12 = 0 for z.
0
Let n be (-3)/2 - (-52)/8. Solve 3*t = -3*u + 12, 5*u - 15 = t - n*t for t.
5
Let n(a) = a**3 - 2*a**2 - 4*a. Let s be n(3). Let m be 4 - (2 - s/(-1)). Suppose m - 38 = -3*d. Solve 3*g = -f - d, -4*g = -f + 3*f + 14 for g.
-4
Let r(c) = -c + 8. Suppose 4*z = -3*u + 6*u + 24, 12 = 2*z - 2*u. Let x be r(z). Solve -w + 3*w - 2*q + 2 = 0, 0 = -4*w - x*q - 22 for w.
-4
Let y be ((-6)/(-9))/((-6)/(-54)). Suppose -f + 4*f - y = 0. Suppose 0*h = -4*h + 12. Solve 5*p + 22 = n, 2*n - h*p - 20 = -f*n for n.
2
Let w be ((-4)/(-4))/((-7)/(-28)). Solve -2 = 2*b - 12, -3*k = w*b - 35 for k.
5
Let t(o) = o + 10. Let w be t(-5). Solve -2*v + y = -2*y - 10, 0 = v + 5*y - w for v.
5
Let b(a) = -8*a + 1. Let s be b(-2). Let u = -8 + s. Solve 3*j - 2*j = -5*x, 2*j + u = -x for x.
1
Let y be 6/2 + -16 + 16. Solve 2*v - 5*l + 5 = 0, -y*v - 22 = v + 2*l for v.
-5
Suppose 4*i = -4*g + 16, -4*i - 2*g + 17 = 3*g. Let w(d) = d**3 - d**2 + d + 2. Let v be w(0). Solve v*m + 2*s + i*s = 8, -3*m = -s - 12 for m.
4
Let s(g) = -g**2 + 19*g - 12. Let l be s(18). Suppose -2*q - l*c + 2*c = -14, 0 = q - c - 4. Solve -2*d - q*y - 7 = 0, 0 = -5*d - y + 4*y - 2 for d.
-1
Let o be (2 - 0) + 7*-1. Let d = 9 + o. Solve -4*w + d*l + 8 = 0, 2*l = -3*w + 1 + 10 for w.
3
Let v = 38 - 34. Solve -4 = -4*p - 4*i, p - v*i = -2*p + 24 for p.
4
Let r be -1*(0 + 0 + -1). Suppose 2*j = -0*j + 20. Let d be ((-30)/(-25))/(2/j). Solve -d = 3*b - c, -5 = 2*b + 2*c - r for b.
-2
Let s = 27 - 15. Solve 2*k - 24 = 5*d, -s = -2*k + 2*d - 0*d for k.
2
Let f = 1 + -2. Suppose -3*c + 13 = 2*z - 0*z, -5*c - 4*z = -25. Let u = f + c. Solve 1 = -y, r + u*y = 4*y for r.
-4
Let h(q) = -q**3 - 12*q**2 - 10*q + 7. Let i be h(-11). Let p(a) = a**2 - 4*a - 4. Let b be p(i). Solve -b = -4*g + 3*o - o, -3*o + 13 = 5*g for g.
5
Suppose -2*n + 16 + 14 = 0. Solve 0*v + 35 = -5*i + 2*v, n = i + 4*v for i.
-5
Suppose 4*m - 7 - 5 = 0. Suppose c = m*y + 5*c - 14, -c = -3*y + 4. Solve 0*o + 5*f = -y*o - 22, -o - 2*f = 9 for o.
-1
Let t(h) = -3 - 3*h**3 + 10*h**2 + 2*h**3 + 0 - 2. Let x be t(10). Let k = x + 9. Solve a - 6*a - 4*w = 16, -k*a + 4*w = 20 for a.
-4
Suppose 10*c - 17 = 33. Solve 13 = c*o + 28, 2*o = 2*d - 2 for d.
-2