Solve 3*v - 12 = r*k, 0*k + 11 = -3*k + v for k.
-3
Suppose 0*b - 34 = -b. Let m = b + -17. Solve -3*i - m = 2*c, 2*c + 2*i + 6 = -6 for c.
-1
Let d be 0 + 20/6 + 6/(-18). Let c = 2 - -1. Solve -2*i + 7 = 5*a - 10, d*a = c*i + 27 for i.
-4
Let q = 91 - 88. Solve 5*v - 3*m = -2*m - 15, -5 = 5*v - q*m for v.
-4
Let g(n) = n**2 - 5*n - 4. Let u be g(6). Suppose 0 = u*b + 3*y, -4*y + 55 = -5*b + 9. Let v = -4 - b. Solve 2*h + 8 = v*s, 0 - 2 = 3*s + 4*h for s.
2
Suppose -s - 3*u = -13, 0 = -5*s + 4*u + u + 25. Let c = s - 13. Let j(y) = y**2 + 7*y + 9. Let x be j(c). Solve -4 = 2*n - 3*h - h, 3*n - x*h + 6 = 0 for n.
-2
Let r(s) = -s**3 + 4*s**2 - 9. Let i be r(3). Solve 4*j - 5*b + 12 = i, 0 = -b - 4*b for j.
-3
Suppose 5*n + 21 = 6. Let c = n - -6. Let l = -8 + 13. Solve -l*r - c*y = 34, 0*y - 4 = 2*r - 2*y for r.
-5
Let v(p) = 4*p + 2*p - 2*p - p. Let g be v(1). Let h be (0 + 5)/(1 - 0). Solve 4*s - 5 = h*c - s, -3*c - g = -4*s for c.
-1
Let u be 4/6*9/6. Let i = u + 4. Solve -5*r - 44 = 3*h - 19, 2*r + i*h = -29 for r.
-2
Suppose h = -h. Suppose 0 = -h*y - y + 5. Let d(u) = u**2 - 2*u - 1. Let z be d(-2). Solve -p - 5 = 2*t, -t = -y*p + p + z for p.
1
Let p(r) = -5*r**2 - r + 8. Let a(q) = -4*q**2 - q + 7. Let z(m) = -4*a(m) + 3*p(m). Let v be z(-4). Solve -2*x + 0*k + 15 = -5*k, 0 = 2*x + 2*k - v for x.
5
Let q(v) = v**2 + 11*v - 3. Let g be q(-11). Let h = 5 + g. Solve 4*s = -2*x + h + 6, -4*x = 5*s - 7 for s.
3
Suppose -5*p + 2*h = -19, 4*p = 5*h - 3*h + 14. Suppose -p*a + 13 = -2. Let v be (2/a)/(3/9). Solve v*b + 12 = 2*t - 0*b, -2*b - 6 = 0 for t.
3
Let n = 33 - 18. Let b be n - 3*(-1)/(-3). Suppose s - 4 - b = 0. Solve 4*i = -j - s, -5*j + 4*i + 3 = -3 for j.
-2
Let o = -7 + 10. Let x = 64 - 40. Solve 2 = -u + o, 0 = -4*j - 4*u + x for j.
5
Suppose 0*j - 2 = -2*z - 3*j, 0 = 2*z + 4*j - 2. Let x = z - -4. Solve -24 = -x*o + g, 4 = -o - 4*g - 8 for o.
4
Let f be 7/2 + (-2)/4. Solve -5*k - f*n - 33 = -8, 0 = -k - 2*n - 12 for k.
-2
Let s(g) = 4*g + 4. Let k be s(4). Solve 4*j = 3*r - 35, 5*r + 0*r - k = -j for r.
5
Let q(c) = c**3 + 5*c**2 - 5*c + 15. Let o be q(-6). Solve -4*z + 12 = -4*u, 3*z - z - 5*u = o for z.
2
Let o be 1/(-3)*(1 + -7). Solve g = -4*s - 5 - 7, o*s + 4*g = -6 for s.
-3
Suppose -4*z = -4 - 4. Let c be 0/(-1) + z/(-2). Let k be 5/3 + c/(-3). Solve -2*v + 10 = 3*h + k, 0 = 5*h + v - 18 for h.
4
Let o be 16/(-6) + 2/(-6). Let f(d) be the third derivative of d**6/120 + d**5/12 + d**4/8 + d**2. Let u be f(o). Solve 5*q = 3*q + 4*n, 3*q - u = -3*n for q.
2
Let b(r) = r**3 + 0*r - 2*r**2 + 5*r**2 - r - r**2. Suppose 0 = h + 1 + 1. Let c be b(h). Solve 3*v + 1 = a, c*v = -3*v + 2*a for v.
-2
Let c = 5 + 22. Let z = 7 + 10. Solve -4*i + c = x + i, -x + z = 3*i for x.
2
Suppose -3*x = -4*j + 22, 4*x + 2*j - 4 = 2*x. Let r be (x + (-3)/(-2))*-18. Solve 3*a = 2*i - 15 + 2, 4*i + r = -a for i.
-1
Suppose a = 6*a + 195. Let j be 250/(-12) - 1/6. Let n be (-1 + a/j)*14. Solve -3*i = -n, 3*i - 10 - 4 = -2*g for g.
1
Let t be (-23)/(-4) - (-6)/(-8). Suppose 7 - 49 = -3*m. Solve t*b = 4*z - 21, 5*z + m = z - 2*b for z.
-1
Let j be 0/(-2) + 26 - 1. Suppose -3*q = -k + 17, -2*k - q = -3*q - 14. Suppose 4*z - 20 + 0 = 0. Solve 2*g + 0 = k*o + 2, z*g + j = -o for o.
-5
Let a(i) = i + 6. Let f be a(-6). Let o be -2*10/(-4) + f. Suppose -10*u - 24 = -12*u. Solve -2 + u = o*x, -5*x + 10 = -g for g.
0
Suppose -5*t = -34 + 9. Let m(c) = c**3 - 7*c**2 + 3*c + 2. Let h be m(7). Let x = h - 22. Solve t*r + x = 3*o, 5*o - 14 = -r - 3 for r.
1
Let x = -11 + 16. Let u(q) = q**2 - 5*q + 5. Let c be u(x). Solve 0 = -2*h + c*n - 2, -2*n - 2*n = 0 for h.
-1
Suppose 3*w - 19 = -b, 2*b + 2*b + 5*w - 41 = 0. Solve 2*d - 21 = -2*l + 5*d, b*d + 26 = 2*l for l.
3
Let l(r) = -r**3 - 5*r**2 - 6*r - 6. Let v be l(-4). Solve a = 5*t + 12, v*a - 4 = -0*a for t.
-2
Suppose 3*z = -5*p + 15, -3*p - 4*z + 33 = 13. Suppose -2*f - s = -4 - 1, -16 = -f + 4*s. Solve 2*n - g + 2 = p, -5*n = -g - f*g for n.
-2
Suppose -5*a - z = 3*z - 19, 5*a - 11 = 4*z. Solve -2*h = 3*h + a*p, 2*p = 0 for h.
0
Let b be (0/1)/(-1 + -1). Let g = -2 + b. Let u be 0/(g/(0 + -2)). Solve u = -2*p + 8*z - 3*z + 20, p = -5*z - 5 for p.
5
Let o(v) = v**2 + 7*v + 5. Let u be o(-7). Let j(d) = d - 1. Let l be j(u). Solve 0 = -2*y - 0*f - 4*f + 6, -16 = -l*f for y.
-5
Let m = -4 - -6. Suppose -m*v + v + 3 = 0. Suppose 0 = -5*n + v*t + 14 - 1, -4*t - 9 = -5*n. Solve -q - 10 = -n*u + q, 41 = 4*u + 5*q for u.
4
Let x be 96/40 - 3/(-5). Solve -3*b = 5*l - 18, 0 = 5*b + x*l - 7 - 7 for b.
1
Suppose 0 = h - 2*r, -h + 3*r = h. Suppose 4*y - 5*d - 18 = 0, y + d = -h*y. Solve -2*s - y*s + 4*b = -20, 0 = -b for s.
5
Let a = 11 - 4. Suppose -20 = 3*b - 8*b. Let u = a - b. Solve u*t - 7*t + 3*o = 10, 4*t = 4*o - 8 for t.
-4
Let t be 2 - -14 - (-4)/(-4). Suppose 0 = -3*w - 2*w + t. Solve -w*y + 3*n + 12 = 0, -2*y - n + 9 = 1 for y.
4
Suppose -5*x - k = -30, -5*k + k + 25 = x. Suppose -7 - x = -3*h, 2*d - 6 = h. Solve -d*i = 5*u + 20, 4*u + 12 = -i + 2 for u.
-2
Let m = -1 + 4. Suppose 11 = -5*h + 41. Let p = h - 4. Solve 5*g + 22 = m*v, -2*g + p*v - 15 = -3 for g.
-2
Let h(p) = 11*p**2 - 4*p**2 + 16*p - 15*p. Let u be h(-1). Solve j + 5 = 0, j - 33 = 2*r + u*j for r.
-4
Suppose n - g + 1 = 3, -g - 10 = -5*n. Suppose n*a - 1 = 3. Solve -2*w + 3 + 1 = a*x, 2*w - 13 = x for w.
5
Suppose 0 = 3*v + 4*s - 2, v - 5*s + 7 = -5. Let q = 1 - v. Let h(z) = 9*z + 4. Let r be h(q). Solve -d - 2*d = 3*i - 24, -2*d - 5*i = -r for d.
3
Let k(s) = -s**2 - 3*s - 4. Let f be k(-3). Let x be f/((-7)/3 + 1). Solve -x*l + m = l + 7, 24 = -3*l - 3*m for l.
-3
Let a(y) = -y**3 - 3*y**2 - y + 2. Let c be a(-3). Solve -4*p = 4*f - 24, p + 3 = -3*p + c*f for p.
3
Suppose -3*i + 2 = -4. Solve -5*s - 3*c = 6, -i*s = -s - 3*c - 6 for s.
0
Let p = -13 - -14. Solve i - p = o + 1, 2*o - 4*i = -8 for o.
0
Let m(i) = i. Let h(d) = d**2 + 4*d. Let r(s) = h(s) - 3*m(s). Let l be r(1). Solve b - 2*b = 2*q + 9, -5*q - l*b = 22 for q.
-4
Let s(b) = b**3 + 5*b**2 - 8*b - 9. Let k be s(-6). Suppose 0 = 2*l - 3*l + k. Solve d + l*f - 5 = -3*d, 0 = -4*d + f - 7 for d.
-1
Let t(d) = d**3 - 3*d**2 + 3*d - 2. Let g be t(2). Suppose g = 3*z - 11 - 1. Solve f - 2*r = z*f + 5, 3*f + 4*r = -7 for f.
-1
Suppose -w = -2*z + 4, -2*w - 8 = 2*z + 2*z. Suppose z = -4*f + 2 + 6. Suppose -f*h + 8 = -0*h. Solve h*y + 2*j = 28, -2*y + 3 = y - 3*j for y.
5
Suppose 3*u = 12 - 3. Let d = u + -3. Solve -3*n - 28 = -4*t, d*n - 12 = -t + 2*n for t.
4
Let m be 5 + 1 - (1 + 0). Suppose -10 = -m*o + 15. Suppose o*y + 0*y - 20 = 0. Solve 0 = -4*v + 4*a, -y*v - 15 = -2*v - 5*a for v.
5
Suppose -4*m = -2*k + 4, -k - 4 = -5*m + 3. Let t be 1*3 - (-5 + k). Solve 3*c = 2*a - 9, a + 5*c = -t*a - 2 for a.
3
Let k(o) = -o - 3. Let i be (-1 + 3 + -2)/2. Suppose g = -i*g - 5. Let a be k(g). Solve -a*p + 21 = d + 3*p, 3*p - 12 = 0 for d.
1
Suppose -4*q - 11 = -35. Suppose 2*p = 12 + q. Suppose 0 = -4*v + 5*o + 3, 3*v + 0*v = 2*o + 4. Solve -y = a - 6*a - p, v = -2*y for a.
-2
Let g = -2 + -1. Let r be (-6 - g - -2) + 3. Solve -4*n - 2*k = 18, -n + r*k + 6 = -2*n for n.
-4
Let r(g) = -g**3 + 3*g**2 + g - 2. Let y be r(3). Solve h - y - 1 = -3*k, 0 = -2*k - h for k.
2
Suppose 2*x + 5 = 11. Let o = -2 - -2. Suppose 5 + 3 = 2*u. Solve 16 = 4*l, x*c + u*l + o = 10 for c.
-2
Let r = 4 + -2. Let l(h) = h**2. Let n be l(r). Suppose -4*p + 20 = 4*c, -n - 1 = -p + 3*c. Solve -p*u - m = -7, 0 = -u + 4*m + 6 + 8 for u.
2
Let i = -4 - -8. Suppose k + i*k = 0. Solve -v = -0*v + l - 3, k = -5*v + l + 27 for v.
5
Suppose 4*c = -0*j - j + 17, 0 = -5*j + 25. Solve 2*f - 5 = -5*g, -5*f + 18 = c*g - 4 for f.
5
Let i be (5/(-3))/(1/(-6)). Let w be ((-4)/i)/((-4)/40). Solve -w*k + 4 = 3*b, -8*b + 3*b + 4*k - 36 = 0 for b.
-4
Let b(y) = y**2 - y - 2. Let s be b(2). Solve 6 = -2*v - d, s = -2*v - 3*d + 4 - 2 for v.
-5
Suppose 0 = 6*q - 2*q - 56. Let z be q/(-21) - 34/(-6). Solve 0*p = -4*g + z*p + 18, -10 = -g + 4*p for g.
2
Suppose 0 = 2*r + 3*d - 33, r + 2*r + 3*d = 54. Solve 4*y - 15 = o, 5*y = o - 2*o + r for y.
4
Suppose -4*v + 6 = -2*k, -3*v + 1 = -11. Solve -k*g = 5*l - 15, -2*g = 1 - 9 for l.
-1
Let x = 121 - 117. Solve 0 = 5*i + 3*v + v + 10, 8 = -x*i - 2*v for i.
-2
Let t be (-3)/(-1) - (-1)/(-1). Let u = 