. Solve -2*c - 3*r = c + 27, 0 = -c - 3*r - k for c.
-4
Let m be 4/14 - (-12)/7. Suppose -1 = r - m. Solve n - 2 + r = -3*w, -14 = 5*n - 4*w for n.
-2
Let c(n) = n**2 + 2*n - 12. Let g be c(3). Solve 9 = z + 3*i, 18 = -2*z + g*i - 0*i for z.
-3
Let q(k) = -8*k**3 + k**2 - 1. Let f be q(-1). Suppose -9*a + f*a = -3. Solve -p = p - a*z + 10, p + 3*z - 4 = 0 for p.
-2
Let z(g) be the first derivative of -3*g**4/4 + g**3/3 + g**2 + g + 1. Let l be z(-1). Solve 8*q - l*q = -5*f - 15, -3*q - 5*f - 11 = 0 for q.
-2
Suppose 2*o + 0*o - 9 = -3*b, 0 = 4*b - 3*o - 12. Solve -4 = -2*a + b*a + j, 5 = -a - 2*j for a.
-3
Suppose -20 = -4*v + 7*v - 5*g, 12 = -4*v + 3*g. Solve v = 2*s - n + 8, -5*s - 20 = -0*n + n for s.
-4
Suppose 2*k + 3*m - 29 = 0, k - 2*m = 2*m - 13. Let v = -4 + k. Suppose 4*h + 4 = 2*a + 18, 3*h = -3*a - v. Solve -h*l = 4*c, -l - 10 = 4*c - 4*l for c.
-1
Let m be ((-21)/(-49))/((-2)/(-14)). Solve 0*h - 3*c + 7 = -h, -m*h = 4*c - 5 for h.
-1
Suppose -3*b = -4*c + 47, 80 = 5*c + 3*b + 1. Let q = c + -10. Solve -3*z = 3, 2*z = q*o + 5*z - 1 for o.
1
Suppose 4*x - 18 = -2*d, 5*x - 2*d = -0*d + 9. Solve -5*k - x*o + 12 = -0*o, 0 = -3*k - o + 8 for k.
3
Let a be ((-10)/(-5))/((-4)/(-8)). Solve a*c - 2*v + 11 = 1, 2 = -3*c - 4*v for c.
-2
Let f(t) = t**3 - 7*t**2 + 9*t + 8. Let u be f(5). Solve j + 7 = 2*h, 16 = 3*h + j + u*j for h.
4
Let z(x) = -5*x + 2. Let y be z(2). Let q = -8 - y. Solve -3*r - 5*b = 11, 4*r - 5*b = -q*r - 3 for r.
-2
Let h be 3/9 + 5/3. Suppose 0 = -o + 2, 5*b = h*b + 2*o + 11. Solve -2*p = v - 3, -v = -0*v + b*p - 15 for v.
-5
Let i be (8/(-14))/((-4)/14). Suppose 4*o = -3*y - 3, -2*o - 2 = 2*y + i. Solve o*c - 3 = 0, -5*c + 11 = -3*z - 3 for z.
-3
Let s = 37 + -27. Solve 5*n = -a + 6*a + s, -3*a = n + 18 for a.
-5
Let i = 3 - -1. Let a(z) = -z + 3. Let r be a(i). Let k = r + 5. Solve -q + 3*h = -3*q + 7, 0 = -k*q - 2*h + 10 for q.
2
Suppose -w = 2*r, -2*w + 2*r - r = -5. Solve -4*p - w*g = -10, 4*g = -p + 2*g + 1 for p.
3
Let x(m) = -m**2 - 8*m - 4. Let w be x(-7). Let c = -4 - -4. Suppose -3*d = -2*d + 5*z + 25, c = -w*d + 2*z + 10. Solve d = 4*a - 4*g + 12, 4*g + 0*g = 0 for a.
-3
Let u = -10 - -16. Suppose r + 15 = u*r. Solve 0 = 5*b + r*l - 22, 4*b - 3*b + 3*l = 2 for b.
5
Let z = -4 + 7. Let c be (z/(-3) + 6)*1. Solve 3*m + 17 = -j - 1, c*m - j = -22 for m.
-5
Let n(u) = -5*u + 3. Let x be n(2). Let p(r) = r + 5. Let s be p(x). Let k be 4/s*68/(-8). Solve 4*j = 5*y + 27, -5*j = -4*y - k - 10 for j.
3
Let r = 128 + -124. Solve u + u - 2*p = -14, 0 = 2*u + 3*p + r for u.
-5
Let y be 9/4*(-80)/(-6). Suppose 0 = 4*b - 20 - 8. Suppose -c = -24 + b. Solve 5*i = q - 3 - c, -i - 5*q - y = 0 for i.
-5
Let n be (-3 - 8/(-6))*3. Let p(r) = r**3 + 7*r**2 + 5*r + 4. Let m be p(-6). Let y = m + n. Solve 0 = g + y, 4*k = 6*k + 4*g + 16 for k.
2
Let x be ((-4)/(-6))/((84/54)/7). Solve 2*f + 3 + x = w, 3*f = 4*w - 4 for f.
-4
Let m(t) = t - 1. Let p be m(4). Let i = -56 - -101. Suppose 18*c + i = 23*c. Solve -3*n + u - 29 + c = 0, 0 = -p*n + 4*u - 35 for n.
-5
Let z be (18 - 1) + -6 + 4. Let q be ((-18)/z)/(8/(-20)). Solve -2*b + g - q*g - 4 = 0, -3*b = g + 4 for b.
-1
Suppose 5*k - 36 = 4. Solve -5*n = 4*x - 2*x + k, 16 = -n - 4*x for n.
0
Let l(b) = b - 6. Let d be l(5). Let q = 1 - d. Solve -14 = -s + 3*c, -3*c = -5*s - q*c for s.
-1
Let r(b) be the first derivative of b**4 - 1. Let y be r(1). Suppose -2 - 6 = 4*c, y*k - 82 = -5*c. Solve p + 17 = -3*l, -5*p - 3*l = k + 2 for p.
-2
Let b be (-2)/3*(-9)/2. Solve 2*d - 10 = -2*t, -3*d - 3 = -b*t - 0*t for t.
3
Let o be 16/7 - 12/42. Solve 0 = -o*i + 5*j, i + j - 3 - 4 = 0 for i.
5
Suppose 63 = 2*r - 7. Let x be 119/r - (-2)/(-5). Solve 4*z + z + x*i = -13, 4*z + 4 = 4*i for z.
-2
Let j(m) be the third derivative of -m**4/8 - m**3/3 + 3*m**2. Let s be j(-2). Let r be (-1)/(2*(-1)/4). Solve -1 = d - 2*c, -r*c + 4*c - 16 = s*d for d.
-5
Let l be 0/(-2) - (-10)/1. Suppose 4*z + 4*v = 20, 2*v = -0 + l. Let f = 3 - z. Solve m + r + 2 = -1, 5*m + f*r = -11 for m.
-1
Let v = -2 - -6. Suppose 4*w - 8 = -5*f, 5*w = w - v*f + 8. Let l be (-5)/w*(-8)/10. Solve -2*y + 4*t - 10 = 0, 0 = 4*y + l*t + t - 2 for y.
-1
Let l(j) = -j**3 - 7*j**2 - 6*j + 3. Let k be (2/(-4))/((-1)/(-6)). Let p be (-3)/9 + 17/k. Let o be l(p). Solve -3*c + 9 = o*s - 6*c, -4*s - 4*c = 4 for s.
1
Suppose 0 = t - 5. Solve 0 = -3*v + 4*s - 5, -v - 4 = 2*v - t*s for v.
-3
Let c(b) = -b**2 - 7*b - 5. Let j be c(-6). Let l = j - 0. Solve -4*u + l = 3*z - 0, 5*z = 5*u + 25 for z.
3
Let q = 14 + -2. Let n be 2/11 + (-155)/(-55). Let c(b) = b**3 + 4*b**2 - 4. Let y be c(-3). Solve -3*r + 2*r + 16 = n*j, y*j - q = 2*r for j.
4
Suppose 0*o + 2*n + 22 = 4*o, -3*n = -5*o + 30. Let k = 162 + -256. Let s be (-2)/(-7) - k/14. Solve 3*f - 27 = 3*q, 3*f - s*q - 31 = -o*q for f.
5
Let j(a) = -a**2 - 1. Let u be j(2). Let t(c) = -2*c. Let n be t(u). Suppose 3*p - p - n = 0. Solve 0*y - 3*y - 16 = q, 0 = -p*y - 2*q - 27 for y.
-5
Let v be (2 + -7)*(-4)/(-10). Let k be 2 + -4*(-4)/8. Let h = v + k. Solve -2*i - h*x = 8, i - 11 = -0*i + 4*x for i.
-1
Let o(w) = -w + 3. Let j be o(10). Let h = j - -9. Solve h*z = 2*u - 8, -u - 2 = -3*z + 4*z for u.
1
Let i be 1*(-16)/4 + 3. Let x be i/((6/(-3))/6). Solve 5*t + x = a + a, -5*t = -5 for a.
4
Suppose 0 = d + d - 4. Solve 0 = d*x - 2*f - 4, 2*f = -x + f + 4 for x.
3
Suppose -3*f = -4*f. Solve 3*n - 3 = 2*r, -r + 5*n = -f*n + 12 for r.
3
Suppose -5*p = -7*p + 10. Solve -5*s - 16 = 3*v - 2, -4*s - p*v = 19 for s.
-1
Let g(x) = 3*x**3 + 6*x**2 + 3*x + 6. Let q be g(-2). Suppose -3*m + 4 = m + b, 6 = m - b. Let h = -1 + 3. Solve h*l + 4*w - 2 = q, -3*l - 16 = -l - m*w for l.
-5
Suppose -6*x - 7*x = -39. Solve 4*a + 8 = a - 4*q, -x*a + q + 17 = 0 for a.
4
Let j(t) = t**3 - 2*t + 1. Let i be j(2). Suppose -5*b - 4*a + 65 = a, 44 = 4*b + 2*a. Solve 0*l = 4*l + 5*u + 27, -2*l = -i*u - b for l.
-3
Suppose 3*a - 8 = 7. Suppose 15 = a*p - 0. Solve -4*b - x = -3*b + 7, -p*x = -2*b + 1 for b.
-4
Let w be 4/10 - (-115)/25. Suppose 2 + 3 = w*j. Let h be (-2 + 1)/1 - -16. Solve 3*p - 5*x + h = 2*p, -p - 3*x = -j for p.
-5
Let o be (2 + -1)*(-3)/(-3). Suppose j + 4 - o = 0. Let m be (3/j)/((-3)/6). Solve 5 = s - m*w - 2*w, -2*s - 12 = 3*w for s.
-3
Let w(y) = -y**3 + 10*y**2 + 12*y - 8. Let q be w(11). Suppose 0 = m - 0 - q. Solve -4*r - 10 = 3*f - f, 4*f - m*r = 13 for f.
1
Let m(b) = -b**3 + b. Let o be m(1). Suppose 0 = 4*p + 5*g - 25, -4*g - 22 = -o*p - p. Let n = 15 - p. Solve 17 = n*v - 3*r, -4*v + 9 = -5*r - 15 for v.
1
Let i(g) = -g - 1. Let c be i(-4). Solve 3*p = 3*l - 6*l - 24, -2*p - 19 = c*l for l.
-3
Let o be (-3 - 0) + 7 + 0. Solve 0 = x + 5*a - 13, -o*x + 5*a + 2 + 0 = 0 for x.
3
Suppose -2 = -2*y + 2. Suppose 28 = -2*o - 5*o. Let r(k) = k**3 + 5*k**2 + 2*k - 4. Let p be r(o). Solve y*n = p*j - 10, 6*n - 4*n + 2*j - 2 = 0 for n.
-1
Let a be 4/(1*(1 + 0)). Solve -x - 2*x = 4*i - 16, -i + a = 0 for x.
0
Suppose 0 = 3*d + 12 + 6. Let q be d/(-27) + (-284)/(-18). Let n be (-2)/(-6) - 70/(-15). Solve -2*y = -n*y - 2*w + 13, -q = -4*y - 4*w for y.
5
Let j be 6/(-9) + (-62)/(-3). Let h be 6/1*1/2. Suppose 0 = -h*f + 3 + 12. Solve f*p - 4 = -2*z - 14, 4*z - p = -j for z.
-5
Suppose 0 = 2*r - 0*r - 18. Suppose -4*i = -r*i + 20. Solve q + 6 = -i*g, -3*q + 2 = 2*g - 0*q for g.
-2
Suppose -4*g + c - 6*c + 11 = 0, 3*g - 16 = 4*c. Let k be (-2)/g*4*7. Let i be 4/14 + (-24)/k. Solve i*f = -3*n - 16, 0 = 2*f - 4*n - 2 + 4 for f.
-5
Let i be 53*-2*2/(-4). Let t = i + -32. Solve 5*x = -25, -4*x - t - 4 = -c for c.
5
Let o be 0*(1 - 3/6). Suppose g + o*g = 0, 4*g = 3*m + 6. Let d be m/(-4)*(6 - 4). Solve 5 = -5*y + 3*n - 6*n, 0 = y + n - d for y.
-4
Suppose 7*r - 6 = 4*r. Let j be 64/10 + 6/(-15). Solve -15 = -r*y - j*o + 3*o, y + o = 6 for y.
3
Let t be (-1)/(-2)*4*1. Suppose -7*g + 9*g = 0. Solve -5*v + 3*z = -10, g = 4*v - t*v + 5*z + 27 for v.
-1
Let z(s) = s**2 + 2*s - 2. Let q be z(-3). Let y = q + -1. Solve y*i = -4*i + n + 13, 4*i - 5*n = 17 for i.
3
Let n be 8/12*(0 + -9). Let t = -3 - n. Solve 0 - t = -z + 2*w, -4*w = -4 for z.
5
Suppose -4*o + q + 1 = -16, -5*o + 3*q = -30. Solve 2*t - 5*k + 17 = 0, 2*k = -0*t - o*t + 3 for t.
-1
Let g = 3 + -5. Let d(f) = -6*f + 2. Let x be d(g). Solve y + y = -5*i + x