 -u*b + 4*g for b.
-5
Let m = -5 + 9. Solve -3*x - k + 4 = -0, 0 = -5*x - k + m for x.
0
Let f(l) = -l**3 + 10*l**2 - 8*l - 9. Let p be f(9). Solve -4*h - 5*d + 2 = p, 0 = 5*h + 3*d - 2*d - 13 for h.
3
Suppose 0 = -b - 3*g - 2*g - 13, b = 4*g + 14. Suppose 0 = -x - 0*x + 4*s + 7, 7 = 3*x + b*s. Solve i + x*i + 12 = 2*o, 2*o - i + 3 = 0 for o.
-4
Let l be (3/(-3))/(2/(-4)). Suppose k + 9 = -l*c, 3*c + 4*k + 28 = 7. Let w = c - -7. Solve 5*h - 5*i = 0, -w*i = -5*h - 2 - 0 for h.
-2
Let o be 4 - (-2 + 0 + 2). Suppose v - 10 = -o*v. Suppose -3*q - 2*q + 15 = 0. Solve -3*f - v*i = -2, -3*f + 5*i = q*i - 22 for f.
4
Let k = -99 - -103. Solve -i - i + b + k = 0, -3*i - 2*b = -20 for i.
4
Let b = 3 + -2. Suppose -b = -3*i + 11. Solve 0*g - i*r - 23 = -g, -5*g = -4*r - 35 for g.
3
Let b(f) = f**2 + f - 20. Let z be b(0). Let j be (-7)/(-2)*z/(-35). Solve -5*o + 3*h = j, -o + 22 = 7*h - 2*h for o.
2
Suppose 5*j - 16 = -5*w + 9, -3*w = -4*j + 6. Let o be (-40)/(-6) - 9/(-27). Let f = 9 - o. Solve -j*b + 13 = 5*a, 3*b - 7 = -3*a + f for a.
2
Let y = 7 + 2. Suppose -3*j - 3 = -y. Let a be (1/j + -2)*-2. Solve 0 = -o - 4*o - a*t + 14, 5*t - 15 = 0 for o.
1
Suppose 0*d + 4*d - 48 = 0. Let y be (-1)/(((-14)/d)/7). Suppose -3*h = -h - y. Solve -2*z - 14 = -5*m, 2 = h*m + z + z for m.
2
Let o = 6 + -6. Suppose 3*d + 4*c = -3, 5*d - c = 19 - 1. Solve 2*f - 4 = -d*y - o, -f = 5*y - 16 for f.
-4
Let z be ((-8)/(-10))/(4/10). Suppose -p = k + 3, z*p - 2*k - 2*k = 24. Solve -4*w + 4*b = -22 - 6, -5*w - p*b = 0 for w.
2
Let w = -5 - -7. Let x be (6/4)/(1/w). Solve -6 = 3*b + 3*h, 5*b + 3 = 3*b - x*h for b.
-3
Let r = -13 + 18. Let i be (-2 + 12/r)*10. Suppose 0 = -f + 4*v + 4, 2*f + 2*v = 5 + 3. Solve 3*c - i*l = f*c + 2, l = -2*c + 3 for c.
2
Let z be 60/3*(-3)/(-2). Suppose 2*q + 4*n + 10 = 0, z = q - 6*n + n. Solve -31 = 2*o - 3*f - 6, 2*f = -o + q for o.
-5
Let i(h) = h**3 - 3*h**2 + 2*h - 3. Let v be i(3). Suppose -11 = -v*r + 1. Solve 4*u + r*f = -4, 2*f + 2 = -0*f for u.
0
Let u = 7 - 6. Solve 2 - u = 3*a - 2*t, -23 = a + 4*t for a.
-3
Let m(n) = n**3 + 3*n**2 - 4*n + 1. Let w be m(-3). Suppose -2*x = 4*p - 22, 0*p - p - 2*x + w = 0. Solve p*o + 3*t + 0 = 3, 0 = -2*t - 8 for o.
5
Let q(y) = -y**3 + y**2 - y + 5. Let p = 3 + -3. Let f be q(p). Suppose 5*h + 2*s + f = -1, -12 = h + 4*s. Solve h = j + 4*x - 20, -3*j - 2 = x - 18 for j.
4
Suppose 3*j - 64 = -b, 34 = -j + 3*j + 5*b. Suppose 92 = 4*q - 2*g, 3*q + j = 4*q - g. Solve 4*m + q = -4*n, 2*m - 1 = -n - 9 for n.
-4
Let n(a) = a - 10. Let y = -4 - -18. Let p be n(y). Solve 3*j - 7 = -4*l, l + 4*l - 1 = p*j for j.
1
Let k be (2 - 4)/6*0/(-4). Solve -2*x + 1 = 4*p - 7*x, -5*p + x - 4 = k for p.
-1
Suppose 13 = 3*i + 1. Let p(v) = v + 3. Let l be p(-3). Let h be ((-4)/3)/((-2)/9). Solve f - c + 12 = h*f, -f - i*c + 10 = l for f.
2
Let h be 5/5 + -3 - -13. Solve 2*b + 3*v = 22, -b + v = -3*v + h for b.
5
Suppose -5*q + 24 = q. Suppose -4*r + 0*i + 3*i + 32 = 0, 4*i = -4*r + q. Solve -r = -g, -7*g = -3*x - 3*g - 23 for x.
-1
Let w(y) = y**3 + 6*y**2 - 10*y - 20. Let c be w(-7). Solve 0 - 7 = -2*r - 3*h, 0 = -2*r - h + c for r.
-1
Suppose 2*w + 65 = l, 6*w + 4*l + 169 = w. Let k be (w/(-9))/(1/3). Let s = k + -1. Solve -5*d + 3*y = s + 7, 0 = -5*d + y - 9 for d.
-1
Suppose -17 = 4*b - 5. Let a = 5 + b. Solve 5*c - 20 = 0, 4*c = a*m + 5*c - 10 for m.
3
Suppose 0*y - 5*y - 80 = 0. Let q be 34/8 - (-4)/y. Solve 6 = -g - 5*d + q, -5*g - 10 = 4*d for g.
-2
Suppose -2*w = -5*w + 5*t - 10, -5 = -2*w + t. Solve -3*i + 26 = 5*r, 0 = -3*r + 5*r - w*i + 2 for r.
4
Let m be -6*((-2)/(-2) + 1). Let w = -7 - m. Suppose -5*v = w*d - 5, 4*v - 4*d = -3*d + 9. Solve 25 = -5*t, -5*r = -4*t - 42 + v for r.
4
Let j be 2 - 1 - -13 - 2. Let i(p) = -p**2 + 16*p - 8. Let a = 11 - -3. Let r be i(a). Solve 2*l + j = -3*s, s = -4*s + l - r for s.
-4
Suppose 3*u + 2*u - 31 = -2*s, s - 8 = -u. Suppose 7*i = 11 + 10. Solve i*v = u*g - 9, -3*v = 2*g - 4*g for g.
3
Suppose 0 = -y - 3*p + 19, 4*y + 1 - 111 = 5*p. Let a = 16 - y. Let v = -5 - a. Solve 0 = -5*b + 4*g + 21, -4*b - b = v*g + 11 for b.
1
Let f = 104 - 100. Solve -h + 2*h = -5*p + 14, -13 = -f*p + h for p.
3
Let b(w) = -3*w**2 + 15*w + 4. Let k be b(5). Suppose -6 = 5*i - 16. Solve -3*a = -q + 11, i*q = -2*a - k + 2 for q.
2
Suppose -5*z - 5*h - 1 = 14, -2*h = 10. Suppose z*b - 7 = -3. Let a(c) = -c**3 + 3*c**2 + 3. Let i be a(3). Solve -2*o + q = -2, 3*o - b*q - 2*q - i = 0 for o.
1
Let r = -6 - -7. Let y be 3/(r - 3/12). Suppose -3*b + 16 - y = 0. Solve 3 = s + 2*c, -b*s + 8 = -0*s + 4*c for s.
1
Let i(n) = n**3 + 7*n**2 - 2*n - 3. Let r be i(-7). Solve 0 = -3*p - y - r, -3*p - y - 2*y - 9 = 0 for p.
-4
Let o = 45 + -45. Let v be (-8)/(-3) + 4/(-6). Let u = v - o. Solve u*j - 5 = j - b, -b + 5 = 5*j for j.
0
Let h = -7 + 12. Suppose 4*k - h = -l, 2*k + 4*l - l = 15. Suppose 2*j + k + 7 = 3*d, 3*j + 13 = 5*d. Solve -3*b - 5*i = -16, -4 = b + b - j*i for b.
2
Suppose 0 = 5*l - r + 3*r - 17, -r = 2*l - 6. Solve -4*o = 0, 4*d + l = -2*o + 1 for d.
-1
Let w(l) = l**3 + 5*l**2 - 14*l + 4. Let g be w(-7). Solve 5*v + 16 - g = -4*q, 5*v - 5*q + 30 = 0 for v.
-4
Let o = 14 + -11. Solve -5*i - 29 = o*f - 0*f, -5*f - 11 = -i for i.
-4
Let u(x) be the first derivative of -x**3/3 + 3*x**2 - 3*x - 1. Let b be u(4). Solve -5*a - 15 = -0*a + 2*i, -6 = 2*a - b*i for a.
-3
Suppose -4*h - 5*q - 13 = 0, 2*h + 3*q = -q - 14. Solve -17 = -u - 4*u - h*b, u + b - 5 = 0 for u.
1
Let v = 14 + -13. Let x be ((-3)/(-1))/(v/6). Solve -4*r = -2*c + x, -2*r - 4*c + 6 + 0 = 0 for r.
-3
Suppose o + 10 = 6*o. Suppose 4 = -4*x + o*x. Let a be (-2)/12 + x/(-12). Solve -k + 5 = -4*y + 23, 2*y - 8 = a for k.
-2
Suppose -4*z = -2*z - 10. Suppose 4*q = 2*c + 64, 62 = -q + 6*q + 2*c. Let u be q - -4 - (-1 - 0). Solve -2*s - 4*d = 14, -z*d + 0*d = s + u for s.
1
Suppose 0*q + 4*y = 4*q - 36, -2*y + 10 = 0. Solve 2*v - 8 = 0, k = -k + v - q for k.
-5
Let x be 6/(-21) - 111/(-21). Let m(w) = w**3 - 3*w**2 + 2*w - 1. Let p be m(4). Solve j - y + 8 = 4*j, 0 = 2*j - x*y + p for j.
1
Let n be (-3)/(-1)*4/6. Solve -4*y + 2*k - 21 = k, -y - n*k = 3 for y.
-5
Let y = -3 - -8. Suppose -f + 2*f - y = 0. Solve -2*k - f*d + 24 = -k, -2*k - 3*d = -13 for k.
-1
Suppose 3*s + 65 = 2*g, 0 = 3*s - 5*g + 76 + 1. Let o = -14 - s. Solve 3*i - 9 = 4*a - 3, -2*i = -o*a - 4 for a.
0
Suppose 5*f = 11*f - 18. Solve -i + r - 1 = 0, 3*i - f*r = r - 3 for i.
-1
Suppose -2*k + 0*k + 16 = 0. Let g(r) = -k - r + 8. Let c be g(-1). Solve 8 = 3*p + 5*a, -4*p + a = -2*p - c for p.
1
Let d = -78 - -152. Let u be d/14 - 6/21. Solve -3*a - u*g = 20, a + 20 = -4*a + 5*g for a.
-5
Suppose 0*i = -i + 4. Solve 7*y - 4*y = -i*w - 35, -w = -y for w.
-5
Let b be 80/14 + (-2)/(-7). Let f be -2*(50/(-15) + 4/(-6)). Let z = f - b. Solve -3*t = 4*a - 16, -z*t + a = -4 - 3 for t.
4
Suppose 0 = 4*j - 0*j - 252. Let k be 364/18 - 14/j. Solve -k = 5*m - 5*z, z - 3 = 2*m + 1 for m.
0
Let b be 3 - (-10 - -2)/4. Suppose 2*c + 3 = b*c. Solve a + a = 2*o - 4, 0 = o - 2*a + c for o.
5
Let j be -1 - (-7)/((-21)/(-12)). Suppose 3*a = 5*a + c - 6, 3*a - 15 = -j*c. Solve 4*w = -k + 13, 4*w - a - 6 = 5*k for w.
3
Let h = 6 + -5. Suppose 5*i - 9 = h. Solve 2*s - i*y = 16, 3*y + 5 + 23 = 4*s for s.
4
Suppose x - 5*v - 9 = 2, 4*x + 5*v = -6. Suppose 4*w = -u + 8*w, 4*w - 12 = -2*u. Solve 4*a - n = -x, a - 2*a + u*n + 11 = 0 for a.
-1
Let u(h) = h**2 - 8*h + 6. Let m be u(6). Let q(o) = o**2 + 8*o + 9. Let f be q(m). Let t be 29/(-3*1/f). Solve -16 = 4*s, 2*s - s = -5*i - t for i.
-5
Suppose l - l = -2*l. Solve -4*d - 4 = -8, l = 2*y + d + 7 for y.
-4
Let r = 4 - 2. Let z(m) = 9*m**2 - 4*m + 2. Let b be z(r). Suppose -2*s + s + 5*v + b = 0, -3*s + 4*v + 57 = 0. Solve h + 1 = 4*o, 4*o + s = -3*h - 4 for h.
-5
Let j(w) = 2*w + 11. Let f(k) = -k - 10. Let s(n) = -3*f(n) - 2*j(n). Suppose -11 = -3*b + 7. Let a be s(b). Solve -t = -a*t + 2, 0 = 5*d + 3*t + 4 for d.
-2
Let t(v) = v**2 + 8*v + 4. Let r be t(-3). Let z = -6 - r. Let p = -24 - -37. Solve 0 = 3*x + z*k - p, -5*x = k + 4*k - 5 for x.
-4
Let j(w) = 6*w**2. Let k(n) = 5*n**2 + n + 1. Let a(q) = -4*j(q) + 5*k(q). Let h be a(-5). Solve -4*b + 2*b - v + 4 = 0, -b = -h*v - 13 for b.
3
Let w be ((-4)/1)/(-2 + 1). Let q(k) = 5*k**2 + 10*k 