*k - 11 for f.
1
Suppose 4*b + b = -35. Let z = b - -10. Let m be ((-2)/(-3))/(-2)*-15. Solve 4*i = -m*c, -z*c = -0*c for i.
0
Let o(t) = -t**3 - 6*t**2. Let h be o(-6). Let v = 4 - h. Solve f = 4*f + 5*g - v, -1 = f + 4*g for f.
3
Let n(k) = -k**2 + 3*k + 8. Let m be n(4). Solve -5*h = -2*b - 2*b + 4, m*h - 2*b = -2 for h.
0
Suppose -3*b + 18 = 3*n, 0*n + 5*b + 19 = 2*n. Let p = 15 + n. Solve 0*q + 15 = q + 5*l, -3*l = -2*q - p for q.
-5
Suppose r + 6 = 4*s, 3*s - 4 = r - 0*r. Solve 2*w + s*t = t, -w - 3 = 2*t for w.
1
Let b = 1 + -1. Suppose b*l + 5*c = 3*l - 23, -2*l + 5*c + 22 = 0. Suppose m - 3 = -l. Solve 5*t - 15 - 12 = -m*y, -2*t = -5*y - 5 for y.
1
Let d = 6 - -6. Solve d = 5*q + 3*k - 0*k, -k = -4 for q.
0
Let c = -4 + 3. Let u = -74 - -60. Let q be u/(-3) + c/(-3). Solve -2*i = -5*p - q, -i - p + 7 - 1 = 0 for i.
5
Suppose -5 - 8 = -2*c - 3*z, -4*c + z + 5 = 0. Solve -c*q - 24 = -6*y + 2*y, -5*q - 8 = 3*y for y.
4
Let r be (-4)/(-3)*(-7 + (17 - 7)). Solve 2*t = 3*t - 3*l - 7, r*l = -2*t - 6 for t.
1
Let a(u) = 5*u**2 - 3*u. Let c be a(2). Let w = 6 - c. Let s = 12 + w. Solve 5*k + 0*k = s*y + 23, 4*k - 16 = 2*y for y.
-2
Suppose -3 + 5 = i. Solve -2*f + f - i*u = 10, f - u = 2 for f.
-2
Let d = -7 - -9. Suppose 41 = 3*i + d. Suppose 0 = 4*s - 0*b + b - i, -7 = -4*s - 3*b. Solve -2*m = 4 - 6, 8 = -4*o - s*m for o.
-3
Suppose -2*p + p + 11 = 0. Solve 0 + 1 = h, 5*h - p = -2*k for k.
3
Suppose -16 = -5*y + 24. Let l = y - 8. Solve 7*w - 7 = 3*w - 3*t, w + 2*t - 3 = l for w.
1
Suppose -2*z - 2*z = 0. Suppose z = 2*g + 2*g. Solve 6 = -3*m, 0 = -3*h - 3*m - g + 9 for h.
5
Suppose 3*j + 45 = 5*l, 4*l - j = -0*l + 36. Solve -2*w - 12 = w + 4*h, 2*w + 3*h + l = 0 for w.
0
Let f(v) = v**3 + 7*v**2 + 5*v - 3. Let p = -12 + 6. Let o be f(p). Solve 5 = o*b - 5*r, -3*b = r - 1 - 16 for b.
5
Let l(j) = -j**2 + 5*j + 10. Let z be l(6). Solve -3 = 3*p, z*p + 6 = 4*f - 14 for f.
4
Let c = 23 - 20. Let a be (-24)/(-10) - 6/15. Suppose m - 29 = -5*p, c*m - 9 = -p + a*m. Solve x + p*j = 4, 5*j + 11 - 3 = 2*x for x.
4
Let m(i) = i**2 + i - 4. Let v be m(-3). Solve 5*n + 12 = 2*u, n + 3*u = -1 + v for n.
-2
Suppose 2*z - 6 - 4 = 0. Let b = -3 + z. Solve 3*a + 21 = b*p, -3*p - 9 = 5*a + 7 for p.
3
Suppose 124 = 4*f + 5*d, 5*f - d + 4*d = 168. Suppose 0 = -5*l + 8*l - f. Solve -5*k = -2*x - 2*x + l, -20 = 5*k for x.
-2
Let f be (2 + -3)/((-2)/8). Solve 2*h - 2*l + 2 = 4*h, -h + 4*l - f = 0 for h.
0
Suppose -l = -3*a + 1 + 7, -4*l - 2 = 3*a. Suppose 3*f - r = 14, 4*f - 11 = a*r + 11. Suppose 4*w + w - 20 = 0. Solve f*z + 16 = w*i, -5 = -2*i + z + 3 for i.
4
Let c = 7 + -4. Suppose -c*m = 2*m - 15. Solve -w - 2 = m*w + 5*z, -2*z - 5 = 3*w for w.
-3
Suppose 0 = -3*w + 64 + 56. Solve -2*s - 5*o = -3*o + 2, 0 = 4*s - 5*o + w for s.
-5
Suppose -2 - 7 = -3*j. Let g(h) = -h**3 - 6*h**2 - 4*h + 6. Let x be g(-5). Solve -j*i = o - 0*o + 7, -x = i - o for i.
-2
Let k be (5/(-2) - -3)*12. Let s be 6/(-2) - k/(-1). Solve -2*q = -i - s, 0 = 4*i + 11 + 9 for q.
-1
Let a = 21 + -19. Solve -c = 5*y + 23, c + a*y - 17 = 5*y for c.
2
Let o = 5 - 0. Suppose o*y - 26 + 11 = 0. Suppose -2*l - 8 = 2*k - 6*k, 9 = y*l + k. Solve -4*v = -2*a + l, -4*a - a = -5 for v.
0
Suppose -4*w - 13 = 5*o - 3*w, -4*w + 2 = 2*o. Let u be ((-4)/o)/(2/18). Solve -u = 4*c - t + 5, 3 = 4*c + 3*t for c.
-3
Suppose 5*i - 3 = 2. Suppose 2*u = -i + 5. Let h = u + 3. Solve -4*g = -5*m + g, 4*m + g + h = 0 for m.
-1
Suppose x = 3*s + 90, -5*x + 150 = -3*s - 2*s. Let h be ((-1)/(-3))/((-5)/s). Solve -6*g = -4*o - h*g - 28, 0 = 5*o + 2*g + 14 for o.
-4
Suppose 0 = 4*g - 8 - 0. Suppose -g*d = d. Solve 5*b + 8*x - 3*x - 5 = d, 2*x = -b for b.
2
Let m(u) = u**2 + u - 2. Let h be m(1). Solve 3 + h = 5*k + 2*c, 5*k = -5*c for k.
1
Suppose 5*x - 197 = -27. Let u be (2 - x/2)*-1. Solve -3*c - 3*a + u = -c, -3*c + 4*a = 20 for c.
0
Suppose 0 = 3*d + 8 - 20. Solve -x + 3*h - 19 = 0, -d*x = -0*x - 2*h + 26 for x.
-4
Let w = -4 + 6. Solve -4*l - 14 = 2*z, 0 = -2*l - l - w*z - 11 for l.
-3
Let n = 79 + -79. Solve n = 3*j + 9, -4*q - 34 = q + 3*j for q.
-5
Let w(c) = c**2 - 7*c + 9. Let f be w(7). Solve f = 3*d + 4*z, 5 = -2*d + 2*z - 3 for d.
-1
Let x(m) = -m**3 + 5*m**2 + 8*m - 9. Let u be x(6). Suppose 4*z = u*z + 5. Solve -t - 4*a - 8 = 0, -4*a + 5 = -z*t + 37 for t.
4
Let w(j) = -j - 8. Let g be w(-8). Solve g*r = 4*r + 4*l - 20, -16 = -5*r + 4*l for r.
4
Suppose -2*a + 10 = m, -4*a + 4*m - 4 = -0. Solve -2*j + 2*i = -7*j - 16, 2*i = a*j for j.
-2
Let x be 7 + (-20)/(-4) + -2. Suppose 4*v + 2 - x = 0. Solve 2*d + 5*z = 6*d - 12, 3*d = -v*z - 14 for d.
-2
Suppose -v + 2 = -w, 2*v + 35 = 5*w + 6*v. Suppose s = 6*s + w*b - 38, -2*b = 3*s - 22. Solve -2*x = 3*x + 4*d - s, 0 = -5*x - 2*d for x.
-2
Let b be (-3)/(-1*(-6)/(-44)). Let t be (-4)/22 - (-180)/b. Let o be 34/8 + (-2)/t. Solve o*c = c - 3*d + 12, c - d = 0 for c.
2
Let j be (-1)/(10/(-8) - -1). Suppose 4 = 2*m - j. Solve -5*o - 13 = -0*o - a, 0 = -m*o - 5*a + 7 for o.
-2
Let u(w) = -4 - 3 - 3*w + 3. Let v be u(-3). Solve z + 0*z - v*i - 20 = 0, 5*z = 2*i + 8 for z.
0
Suppose -5*i - 4*r - 26 = 0, 5*i - 3*r = -5*r - 28. Let c be (2/i)/((-2)/6). Solve -2*j - j = 5*w - 13, 0 = -3*w + 5*j + c for w.
2
Suppose -s + t = -4*s + 452, t + 1 = 0. Suppose s - 21 = 5*y. Suppose 2*l = -0 + y. Solve -j = 5*a - 6 - 15, -3*j - 5*a = -l for j.
-4
Let d be (2/(-3))/(6/(-99)). Let w be 212/44 + 2/d. Solve 0 = 3*t - 3*r - 27, 4*t + w*r = 2*t - 17 for t.
4
Suppose -53 = -5*y + 2*x, -2*x + 17 = 3*y - 18. Solve 0 = -3*a + 2*q + y, -2*a + 3*q + 13 = -a for a.
1
Suppose -4*w + 19 = 3. Suppose -5*b + 3*r + 73 = 0, w*r = -4*b + r + 80. Let a be 2/(-8) - b/(-4). Solve 0 = t - 0*t - 4*n + 17, a*n = -2*t + 26 for t.
3
Let a(h) = -2*h - 7. Let o be a(-8). Suppose p - 13 + o = 0. Solve 4*w - 4*n + 0 = 4, 0 = p*w + 3*n + 10 for w.
-1
Let s(n) = -2*n - 1. Let w be s(-8). Solve k - 4*x = -2*k + w, 5*x + 10 = -5*k for k.
1
Let z = -20 + 21. Solve 3 = 3*m, -4*x - m + 0 + z = 0 for x.
0
Let r(u) = u**2 - 6*u + 4. Let n be r(5). Let j be (2 - n)*6/9. Solve -v = -0*v - j*z + 10, -5*v - 17 = z for v.
-4
Let a(r) = 4*r**2 - 2*r. Let d be a(2). Suppose -2*c - c + d = 0. Let k be 6/2 + (-6)/2. Solve -2 = -m - 3*b - k, -2 = -2*m - c*b for m.
-1
Let f(x) = -x**2 + 3*x + 6. Let b be f(5). Let s be (-10)/(-4) + b/8. Solve s*v + 18 = 4*k, -2*v + v + 5*k - 21 = 0 for v.
-1
Let g(h) = h**2 - 7*h - 2. Let o be g(8). Suppose -3*c - 4*x = -9, 4*c + o - 18 = 5*x. Solve 2*b = 2*j + 20, 2*j - 7 - c = -4*b for j.
-5
Let u = 11 - 8. Solve -w = -3*o - 0 - 13, u = -w - o for w.
1
Suppose 2*v + 4*o - 6 + 4 = 0, -5*o = 3*v - 5. Solve -n + 5*z = n - 11, v*z + 7 = 4*n for n.
-2
Let c(q) = 1 - q**2 - q**3 - 3*q + 2*q**2 + 3*q**2. Let b be c(2). Solve -f - p + 4 = 0, -b*f + 3*p + 2*p = -20 for f.
5
Suppose 0 = -2*x + 5*x. Suppose x*d = 5*d - 10. Solve -6*s + 2*s = d*k - 16, k - 16 = -4*s for k.
0
Suppose -2*j + 4*j - 8 = 0. Let m be ((-1)/(-2))/(3/6). Suppose -7 = -j*h + m. Solve 17 = 3*g - 2*u + u, 0 = 5*g - h*u - 30 for g.
4
Let z(b) = -b**2 - 4*b + 7. Let y be z(-5). Suppose c - y*c + 3 = 0. Let k = 5 + -3. Solve 5*r = c*p - 0*r - 6, p - 2*r - k = 0 for p.
2
Let v = 40 + -38. Solve 23 = -4*j - 2*m + 5, -12 = v*j + 4*m for j.
-4
Suppose 0*o + o = 8. Solve 4*t = 4*x - 2*x - o, 0 = 3*x - 2*t - 12 for x.
4
Let h(j) = j**2 + 14*j - 12. Let d be h(-15). Solve 0 = m + d*m - 2*o - 2, 2*o = -m - 12 for m.
-2
Let g be -2 - (2 - 3 - 1). Solve -4*z + 18 = 2*p, g = 5*z - 0*p + 2*p - 20 for z.
2
Let d(o) = 3*o**2 + 2*o - 3. Let i be d(2). Let z = -8 + i. Let y = z + -2. Solve 5*m = -4*v + 10, -y = -4*v - 2*m + 1 for v.
0
Suppose r - 8 = -6. Suppose 0 = 3*y + r*y. Solve 0 = -4*t + 5*z - 2, 2 = z - y*z for t.
2
Let v = 16 - 19. Let p(i) = i**3 + 3*i**2 + i + 5. Let b be p(v). Solve -4*u = b*o + 2, 4 = -5*u - 4*o - 6 for u.
2
Let h(s) = s**3 - 7*s**2 + 3. Let l be h(7). Suppose -l = 2*a - 5. Solve -2*u = 3 - a, 5 = -2*x - u for x.
-2
Let c(a) = -2*a - 2. Let m be c(-2). Let s(d) = 5*d**2 - 2*d + 1. Let r be s(1). Solve n - 3*b = m*n + 1, -r*n - b + 18 = 0 for n.
5
Let h = 28 + -8. Solve -z = z - 10, 5*k = -2*z + h for k.
2
Let n(l) = -l + 17 + 9*l**2 + 3 - l**3 - 8. Let m be n(9). Solve -m*t + 2 = -7, -t = -4*u - 23 for u.
-5
Let k = -6 