 22, 2*j - 4*i = k for j.
5
Suppose 9 + 0 = r - 3*o, 3*r + 5*o - 13 = 0. Let j = -5 + r. Solve -4*n - 16 = 0, -3*w - 3*n - j = 2 for w.
3
Suppose 15 = -5*b - 0*b, 0 = 3*u + 2*b + 6. Suppose u*x - 8 = -x. Solve 4*k - 6 = -3*z + 3, z + 3*k = x for z.
-1
Let b(s) = s**3 - 3*s**2 + 3*s + 3. Let d be b(3). Let x = -6 + d. Solve x*f - 3*f = -j - 14, 0 = 5*f - j + 18 for f.
-4
Let f(k) = -k + 9. Suppose -20 - 16 = -4*c. Let z be f(c). Let g be (-2)/(2 + (-5)/2). Solve z*r = 2*u + g*r - 2, 2 = -u - r for u.
-5
Let q(p) = p + 7. Let x be q(-6). Suppose 0*w = -w + x. Let c be 38/8 + w/4. Solve 4*l + c*o - 2 = 0, -o = 2*l + 3*o - 4 for l.
-2
Suppose 3*j + 26 = 4*j. Let w be j/(-3) + 2/(-6). Let m = -6 - w. Solve -m*b - 17 = -i - 4*i, 0 = -5*i + 2*b + 18 for i.
4
Let m(v) = v**2 + 2*v + 11. Let t be m(-4). Solve -3*b = -3*g - b + 7, b - t = -3*g for g.
5
Let o be (6*(-5)/70)/((-2)/14). Solve o*q = -3*t + q + 4, 3*t - 5 = -q for t.
2
Suppose 645 + 213 = 3*u. Let c be u/39*(-6)/(-4). Solve -2*o = -2*p - 2, -p + 6*p - c = o for p.
3
Let z = 56 - 53. Solve -z*i = p + 10 - 2, 2*i + 2*p + 12 = 0 for i.
-1
Let q(a) = 2*a**3 + 10*a**2 - 14*a - 9. Let t be q(-6). Solve 0 = -3*r, 0 = -t*x - 6*r + 2*r + 9 for x.
3
Suppose -c + 3 - 1 = 0. Suppose 30*u = 27*u + 6. Suppose g = -2*w + 1, u*g + 0*w - 20 = 2*w. Solve -12 = -3*y + 2*q, y + g = -q - c*q for y.
2
Let o be (22/(-3))/((14/21)/(-2)). Solve -5*h - g + o = 0, -2*h - g + 12 = h for h.
5
Let f be (8/(-10))/((-10)/(-25)). Let k be (f + 0)/((-8)/12). Solve 3*q + 3*o + 3 = 0, 0 = -k*q - o + 6*o - 19 for q.
-3
Let r(w) = -w**3 + 5*w**2 + 8*w - 8. Suppose y - 6 = -0. Let v be r(y). Solve 4*o - 36 = -v*m, -o + m + 29 = 6*m for o.
4
Let z be ((-14)/4)/(3/12). Let x = z + 20. Solve 0 = 4*h - 5*j - x, h - 2*j - 3 = -0*j for h.
-1
Let y(g) = -g**3 + g**2 + 6. Let o be y(0). Let x be 2*(2 + 2)/1. Solve -4*l + x = 3*q, -o = -l + 3*q + 11 for l.
5
Suppose -60 = 4*m - 148. Solve 3*r - 4*b = 11, 2*b = 4*r + 4*b - m for r.
5
Let n be (-2)/(-6) - 4/(-6). Let u be 3/((n - -1)/2). Let b be (8 - u)*(1 + 0). Solve -4*c + 10 = -5*m - 0*m, b*m = c - 10 for m.
-2
Let c(k) = -2*k - 8. Let u be c(-4). Solve u*j - 4*n + 7 = j, 5*n = 15 for j.
-5
Suppose 14 = 4*v - 0*v + 2*h, -3*h = -4*v + 9. Let c = 11 + -8. Suppose 0 = 3*z - 41 - 28. Solve 0 = n + c*n + v*p - z, -p = -1 for n.
5
Let t = 11 - 7. Let w(q) = 2*q + 4. Let g be w(4). Suppose g = -p + 4*p. Solve 0*c = 2*k + t*c, 4*k - p = -4*c for k.
2
Suppose -3*h = -4*h + 24. Suppose 4*p + 0*m = 2*m + h, 5*p - 3*m = 32. Solve -2*d - 20 = -7*u + p*u, 0 = -4*u - 3*d + 4 for u.
4
Let p(h) = 3*h + 12. Let y(a) = -a - 4. Let k(m) = -2*p(m) - 7*y(m). Let c be k(0). Solve -4*w - i + 11 = -c, -2*w + i = -15 for w.
5
Suppose -4 = -5*a + 4*m, 3*a + 2*m + 3 = 23. Solve 11 = -4*s - 5*b - 24, -12 = a*b for s.
-5
Let m = 6 - -18. Suppose -4*o + o + m = 0. Solve 5*f + 6 + 3 = n, 2*n - 5*f - o = 0 for n.
-1
Suppose -8 = 2*d + 4*m, -m + 12 = 4*d - 0*m. Solve i - 5*p - 26 = 0, i + 24 = 5*i - d*p for i.
1
Suppose -k = -w + 6, 4*k - 1 = -w - 0*k. Let z = 14 + -9. Solve 5*b = b - 12, -z*c = -w*b for c.
-3
Let u be ((-1)/(-3) + 12/4)*3. Let j be (-4)/6 + (-94)/(-6). Solve -j = -4*c + 5*q, -5*q + 15 = 4*c - u for c.
5
Suppose 3*h - 2*i - 77 = 0, 0 = 4*h + 5*i - 58 - 60. Solve -3*a - h = -4*r, 0*r = -5*a - r - 22 for a.
-5
Let j(v) = -v**3 + 4*v**2 + 7*v - 4. Let x be j(5). Suppose x*g = 2*g + 16. Let q = 15 + -12. Solve -g*t - 20 = q*m, -2*t - t - 15 = 5*m for t.
-5
Let f be (9/6)/(-6 + (-52)/(-8)). Solve m + 2 = -r - m, 5*r - f*m + 23 = 0 for r.
-4
Suppose -18 = -4*s + s. Solve -2*z + 4*f = 12, -3*z - f + 4*f - s = 0 for z.
2
Suppose 2*a - 7 = 1. Let q be 5 - -2 - (a - 1). Solve -3 = y - 4*g, 2*g - 7 = q*y - 23 for y.
5
Let i be (4/4)/(2/36). Solve 16 = 4*q + 4*s, 4*q - 5 = 3*s + i for q.
5
Let c = 25 + -22. Solve -3*t - d - c*d = 1, 4*t - 9 = 5*d for t.
1
Let o be -1 - 2 - (-1 + -47). Suppose 0 = 5*g + 5*k - o, -3*k + 4 = -g - 3. Solve -3 = 4*b + g*h + 14, 2*b + h = -7 for b.
-3
Let q = 1 + -1. Let i be 34 - (6/(-21))/((-3)/21). Suppose q = 5*l - i - 3. Solve -3*v - 2*g = -11, 5*g + l = v - 8 for v.
5
Let t = -5 - -10. Suppose -x = 3 - t. Solve -h + 5*h = 4*r + 16, 5*r = -x*h - 13 for h.
1
Let p(n) = -n - 3. Let w be p(-6). Suppose -2*a - 12 = 5*h, 6*a = w*a + 5*h + 32. Solve b - 13 - 11 = -a*z, -17 = -3*b - z for b.
4
Suppose 5*k + 107 = 4*l - l, 5*k = -l + 9. Suppose 3 = -m - 2. Let n(r) = -r**2 - 5*r + 4. Let y be n(m). Solve -3*c + 2*o - 13 = 0, l = -3*c - 2*c - y*o for c.
-5
Let g = 26 - 16. Suppose -17 = -5*s - 4*x, 3*x + 11 = s - 0*x. Solve -5*p - g = -0*p, -21 = -s*n - 2*p for n.
5
Let z = 14 - 14. Suppose z = i - 12 - 11. Solve 0 = 5*x - 3*s - i + 1, s = 5*x - 24 for x.
5
Suppose -4*h = 3 - 19. Solve 3*o - 8 = h*v, v - 3*o = -8 - 3 for v.
1
Suppose 6*t + 33 = f + 2*t, t + 5 = 0. Solve -2*k + 2*d + f = d, 5*k + 5*d - 10 = 0 for k.
5
Suppose 5*f = 3*v - 2 - 5, 5*v - 37 = 2*f. Solve -5*h - d + 21 = 0, -4*h + h = -3*d - v for h.
4
Let f = 15 - -7. Solve 5*i = 3*n + f, 2*i - 3*i + 6 = -n for n.
-4
Let b = 15 - 11. Solve b*j + 3 = 4*t - 9, -5*j - 19 = -t for t.
-1
Let w = -61 - -61. Solve -v - 3*l = -w*l - 2, 2*v - 12 = 2*l for v.
5
Let s be (-3)/6 - (-18)/4. Suppose -39 = -s*x + x. Solve -4*k - 2*i = 8, -5*k + 0*k - x = 4*i for k.
-1
Suppose -b + x = -3, 0 = 2*b - 3*b - 5*x - 3. Suppose -4*p - 8 = -i, 5*i - 2*p - 40 = -0*p. Let y = i - 5. Solve 2*m + 2 = 5*r, b*m + 4*r = 1 - y for m.
-1
Let z = 120 - 118. Solve z*o = -5*v + 21, 2*o + 6 = 5*v - o for v.
3
Let w = 2 - -2. Suppose -2*x + w*j + 14 = 0, 3*j + 10 - 1 = x. Solve 4*l + 10 = -2*u, -5*l = -0*l + x*u + 10 for l.
-5
Let x(v) = v**3 - v**2 - 5*v + 3. Let i be x(3). Suppose -3*w = u + 5, 2*u - 14 = -0*w + 2*w. Let j = i + w. Solve 3*a = -j, -a = 2*s + a - 8 for s.
5
Let o(n) = -n**3 + 5*n**2 + 2*n - 10. Let c be o(5). Solve -4*b + k = 6 - 17, c = 4*b - 5*k - 7 for b.
3
Let b = 6 + 15. Let x be ((-6)/2 - -1) + b. Let d = -10 + x. Solve -4*p + d*p + 2*o = 12, -4*p + 5*o + 36 = 0 for p.
4
Let n(a) = -a - 4. Let u be n(-7). Suppose -u*m + 39 = 3*g + 2*g, -2*m - 12 = -3*g. Solve f - 11 = 3*j, -4*j = 3*f - g*j + 2 for f.
-4
Suppose -4*i - l - 16 = 0, 3*i - 5*l = -0*i - 35. Let g = 10 + i. Suppose 4 = g*a - 3*a. Solve -3*b - p - 10 = 0, a*b = -2*b + 2*p for b.
-2
Let r = -7 - 1. Let s be (-4)/r*(-2 - -2). Solve -n - 2*a = -a - 7, 5*n + 2*a - 29 = s for n.
5
Let c = -20 + 21. Let t(p) = 3*p**3 - p**2 - p + 1. Let a be t(c). Solve u = -4*q - 20, -u + 3*q + 25 = -a*q for u.
0
Suppose -2*l + 4*l = 0. Solve -5*w + 0*w - 15 = -5*a, -a - w - 3 = l for a.
0
Suppose l = 3 - 1. Let x = l + 2. Suppose x*f + 1 - 21 = 0. Solve 4*m + 3*w + 0*w - 5 = 0, 4*m - 45 = f*w for m.
5
Suppose 0*n = -n. Solve n = d - 4*p + 14, -5*p + 15 + 4 = -2*d for d.
-2
Suppose a + 3*r - 30 = 0, 2*r - 31 = -4*a + 3*a. Solve w = 0, 0 = -5*y + 5*w + 8 - a for y.
-5
Let o(d) = 6*d**2 + 3*d - 2. Let b be o(1). Solve 0 = 5*w + 2*i - 3*i + b, -9 = 3*w + i for w.
-2
Let r be (-1 - -2)/((-3)/(-6)). Suppose r*h - 170 = -5*c + h, 0 = -c + 3*h + 50. Solve -4*a - 6*k = -k + c, -4*k = 4*a + 32 for a.
-5
Let p = 3 - 4. Let k be 0/p - (-2 - 1). Let o be ((-6)/8)/(6/(-24)). Solve 0*h + o*l = -3*h + 6, 0 = -k*h - 5*l + 8 for h.
1
Let v(i) = -i**2 + 8*i - 4. Let s be v(5). Let q = 3 + -3. Solve q = 3*r + 2*n + s, r = 5*n - 2*n + 11 for r.
-1
Let f = 17 - 10. Solve 4*q + 3*v = 0, 0 = -3*q + f*q + 2*v for q.
0
Suppose 0 = -3*z - 356 + 146. Let t be (-2)/3 - z/6. Let m = -7 + t. Solve 19 = 3*o - m*o + 4*h, 21 = -4*o + 5*h for o.
1
Let u(y) = y**2 + 7*y + 2. Suppose -2*r = -r - 24. Let s = 17 - r. Let w be u(s). Solve -b + 0 + 2 = 5*v, -8 = -w*v - 4*b for v.
0
Let r(f) = -f**3 - f**2 - 2*f + 2. Let v be r(-2). Let u = 12 - v. Solve 5*b = -m + 10, 4*m - 5*b - u = -12 for m.
0
Let y(x) = -x**2 - 7*x - 7. Let c be y(-5). Let t be (10/(-2) - 0) + 10. Solve p = -t*b + c, 2*p + 1 = 3*b - 6 for b.
1
Suppose r + 9 - 11 = 0. Solve 2*n = r*u - 10, -2*u + 5*n + 8 + 5 = 0 for u.
4
Let x = 4 - 2. Suppose -x*l + 10 - 2 = 0. Solve -3*p + 2*h + 2*h = -31, 4*h = l*p - 36 for p.
5
Let k(d) = -d**2 + 8*d - 7. Let v be k(5). Let i(a) = -a**3 + 7*a**3 - 2*a**2 - 1 + 2*a + 0. Let l be i(1). Solve -l*z + 23 = -3*t, 2*t - v + 2 = -2*z for z.