be l(-3). Suppose 2 = -3*c + z*c. Solve a*f - c = 3 for f.
2
Suppose 16 = 4*f - 0. Suppose -n + 2*n + 5*l - 3 = 0, f*n = 2*l + 12. Solve 2 = -o + n*o for o.
1
Let n = -22 + 24. Solve -2 = -f + n for f.
4
Suppose -5*d + 5*g + 100 = 0, 0 = -0*g - 3*g - 6. Let o = -8 + d. Let q = 10 + -5. Solve o*r = 5*r + q for r.
1
Suppose 0 = 2*x - 3*i - 54 + 3, 3*x - 48 = -5*i. Solve -4*g - x = -1 for g.
-5
Suppose -22 = 5*f + 8. Let t = f + 6. Solve t = l - 0*l - 3 for l.
3
Let b be (2/7)/(1/7). Let y = 7 - 4. Suppose 0 = -3*a + y*x + x + 15, 0 = 4*a + 3*x - 20. Solve -a*d + 17 = b for d.
3
Let s = -3 - -23. Let j(i) = i + 2. Let o be j(-2). Solve o = -4*r - 0*r - s for r.
-5
Suppose 5*g = g + 12. Solve 2*m + g = -7 for m.
-5
Let b(z) = z**2 + 21*z + 38. Let a be b(-19). Solve 2*s - s + 3 = a for s.
-3
Suppose 3*g = -2*g + 100. Suppose 0 = -2*l + l + d + 2, 2*l = -2*d + 8. Suppose 9 - 32 = -5*q + 2*s, 4*s = l*q - 11. Solve -5*x - g = q for x.
-5
Let b(t) = -4*t**2 - 3 + 4 - 2. Let j be b(-1). Let i(q) = -2*q - 6. Let n be i(j). Solve -n*a + 1 = -7 for a.
2
Let k(i) = -i + 4. Let a be k(2). Suppose 24 = -a*r + 5*r. Solve 5*g + r = g for g.
-2
Let v be 3*(-4)/(-12)*0. Solve v*m = -5*m - 20 for m.
-4
Let l be (-2 - (-20)/8)*0. Solve 3*r - 7*r = l for r.
0
Let f = -27 + 47. Solve f = 5*s - 0 for s.
4
Let p(t) = t**2 + 4*t - 7. Let g be p(-6). Suppose -4*m - 3*o = 7, -g*o - 12 = -m + 15. Solve 0 = i - m for i.
2
Suppose 0 = -u - 4*u + 15. Let x be u*2*4/12. Let p be (-1)/(1/(-4)) - x. Solve t + 4 = p*t for t.
4
Suppose -5*i + 4*u = -35, 14 = 2*i + 7*u - 4*u. Solve 3 = -i*k + 6*k for k.
-3
Suppose 0 = 4*g - 5*v + 31, -g + 3*g = -4*v + 4. Let o = g + 11. Let l(b) = -b**2 + 8*b + 3. Let h be l(o). Solve 2*m - 4 = -h for m.
-3
Suppose 42 - 18 = -2*q + 3*d, 4*q = -3*d - 66. Let r = q - -15. Solve -2*b + 7*b = r for b.
0
Let u(b) be the first derivative of -b**2/2 + 3*b + 3. Suppose -5*m + 16 = -4*d - 9, -20 = -4*d - 4*m. Let o be u(d). Solve -4*f = -o*f for f.
0
Suppose 0 = u + 1, 2*f + 4*u + 15 - 5 = 0. Suppose -3*w - 2*w + 15 = 0. Let q be 4*f/(-1*w). Solve -v + q = -5*v for v.
-1
Let r(s) = s. Let g(u) = u**2 - 9*u. Let z(m) = g(m) - r(m). Let q be z(10). Suppose q = t - 2*c, -3*t - c + 11 = 2*t. Solve 4 = -3*o - t for o.
-2
Let g be 2/(-9) - (-174)/54. Suppose k + h - 1 = 0, 2*k - 2*h = -5*h + 3. Solve -12 = -k*a - g*a for a.
4
Suppose -48 = -5*t - 13. Suppose 2*j = 2*l - t - 1, 0 = -2*l + j + 4. Suppose -3*c = -2*f - 10, 0 = 5*c - 2*f - 4 - 14. Solve l = c*n - 6 - 2 for n.
2
Let d(g) = g**3 + 5*g**2 + 2. Let u be d(-5). Let j = 3 + -6. Let z be 0*(j/(-2) - 1). Solve -u*y - 5 + 3 = z for y.
-1
Let w(p) = -6*p**2 - 4*p + 4. Let k(b) = 5*b**2 + 5*b - 5. Let y(z) = 7*k(z) + 6*w(z). Let l be y(9). Solve -13 = 5*n + l for n.
-4
Let b = -3 - -3. Suppose 4*j = x + 3*j - 8, 5*x - 3*j - 48 = b. Solve -4*z = x - 0 for z.
-3
Suppose -3*f - t + 47 = -17, -52 = -2*f - 3*t. Let v be ((-4)/6)/(f/150). Let i(c) = c**2 + 5*c + 6. Let x be i(v). Solve 0 = -x*m + m - 20 for m.
-4
Let r = 62 - 38. Let f be (1/(-2))/((-2)/r). Solve -f = 6*v - 3*v for v.
-2
Suppose 8 = -3*n + 20. Solve 0 = -k + 5*k - n for k.
1
Suppose 2*u - 24 = -2*w, -w - 28 = -3*w - 4*u. Suppose -5*s = -2 + 7, z - w = -3*s. Solve 0 = 3*l - 2 - z for l.
5
Let a be 1*5 - 0/(-9). Solve 0 = -a*n - 0 - 5 for n.
-1
Let n(d) = -d**3 + 7*d**2 - 7*d + 8. Let m be n(6). Let a be -4*1*(-1)/m. Solve -a*x + x - 3 = 0 for x.
-3
Let h be (-14)/(-6) - 9/27. Solve 0 = -o - 5 + h for o.
-3
Let m be 20/(-12)*(-2 - 1). Suppose r - m + 2 = 0. Solve -5*b - 6 = -r*b for b.
-3
Let g = 5 + -1. Suppose 0 = -5*x - 3*o - 13 - 2, -5*x + 5*o = 15. Let j be (-1)/x + 85/51. Solve 0 = g*f - j - 2 for f.
1
Let a = -1 + 5. Solve 1 + a = -5*z for z.
-1
Let l(r) = r**3 + r**2 - 4*r - 4. Let u be l(-2). Solve -n = -u*n for n.
0
Suppose -7*z + 6*z + 2 = 0. Solve z*m = -4 - 2 for m.
-3
Let q(n) = 6*n - n - n + 14 - 3*n. Let d be q(-10). Solve d*z + 10 = -z for z.
-2
Suppose 0 = -k + 9 - 1. Suppose 3*l = -l + k. Suppose 0 = -l*t + 18 + 2. Solve -4*p - t = 2 for p.
-3
Suppose 0 = -3*l - l + 16. Solve l = w + w for w.
2
Suppose -z + 2 = 1. Let h = z - 2. Let x = h - -4. Solve 0 = -0*l - x*l - 12 for l.
-4
Let v be 16*(6/2)/6. Solve 2*x - 4*x = -v for x.
4
Suppose 0 = 5*v + 25, -t - 4*t - 5*v = 95. Let y = t - -16. Solve 6*a - y*a = 4 for a.
1
Let y(c) = -3*c + 3*c + 2 + c**3 - 5*c**2. Let b be y(5). Solve -2*a - b = 4 for a.
-3
Let s be 20 + -2 + (0 - -2). Let a be (24/s)/(6/20). Solve 0 = 4*l - 0 + a for l.
-1
Suppose 2*a + z - 6 = 6*a, 3*a - 2*z + 7 = 0. Let t be -1*(4 + -2) - -1. Let m = t - a. Solve -4 = -x - m for x.
4
Let w = 71 + -69. Suppose -4*f + 8 = -4*t, -f + t + 5 = -t. Let m = w - f. Solve 1 = -2*q + m for q.
1
Suppose -14*r + 48 = -22. Solve -r*m = -10*m for m.
0
Let v(n) = -7*n + 6 - 1 - 4. Let w = -1 + -1. Let t be v(w). Solve -g + 4*g = t for g.
5
Suppose 1 = 3*j - 5. Let w(o) = -o**3 + 4*o**2 - 4*o + 2. Let x be w(j). Solve 0*i - 2 = x*i for i.
-1
Let c(d) = 4*d - 12. Let h be c(5). Suppose z - 2*t = -h, -6*t + 35 = 5*z - t. Solve 0 = -q - 2 - z for q.
-4
Let h = 1 + -1. Suppose -5*f + f + 20 = h. Solve -2*v - 3*v = f for v.
-1
Suppose 5 = 2*l - 5. Suppose -14 = -4*k + l*g + 4, -2*g = -3*k + 10. Suppose 3 = 4*p - 9. Solve k*y = y + p for y.
3
Suppose -n - 3 = 4*n + 2*k, n + 11 = -3*k. Let l be (-3 + n)*(0 + -1). Solve -o - l = -3*o for o.
1
Let j be (4 + 0)/((-6)/(-3)). Let z be 4/8 - (-37)/j. Solve 0 = 4*c + 3 - z for c.
4
Suppose 5*m = 2*m - 36. Let o = m - -15. Solve -c + o = 4 for c.
-1
Let v = -2 + 2. Let s = 0 - v. Let h be (-1)/(-4) + 55/20. Solve -h*b + b = s for b.
0
Suppose j = -2*h + 13, 5*j + h = -3*h + 47. Let y be 4 - (2 + (-3)/3). Suppose 7 = y*r - 2. Solve -j - 5 = -r*v for v.
4
Let l(b) = -b**2 + 5*b - 2. Let o = 5 - 2. Let v be l(o). Solve -3 + 7 = -v*u for u.
-1
Suppose k = -9*k + 100. Solve 0*h = 2*h - k for h.
5
Suppose 0 = -3*t + 5*t. Suppose t*o + 12 = 3*o. Suppose -4*u + 2*r + 3 = 1, -u + 23 = o*r. Solve -u*g - 11 - 1 = 0 for g.
-4
Suppose 0 = -4*g + 35 - 7. Solve 5 = -k + g for k.
2
Let l be 0*((-17)/(-26) - 12/78). Solve -a + 3 + 0 = l for a.
3
Let n = -26 + 32. Solve n*y - 2*y = 12 for y.
3
Let z be (-16)/120 - (-107)/15. Solve r + z - 3 = 0 for r.
-4
Let z = 0 - 0. Let g(x) = -x**3 + 4*x**2 + 10*x + 12. Let n be g(6). Solve n = -z*q - 3*q + 3 for q.
1
Suppose 0 = -2*r - m - 2, m + 2 - 3 = r. Let h be (r - 5)*1/(-1). Solve h*k + 3 = 3*k for k.
-1
Let j be (-28)/36 + (-2)/9. Let o(c) = c**3 + 4*c**2 + 4*c + 4. Let q be o(-3). Let m be 12*-1*j/q. Solve 4*y - m = 4 for y.
4
Suppose -2*j + j + 1 = 0. Let x = j - -4. Let l be 2/8 + 195/20. Solve 0 = s - x + l for s.
-5
Let o = -89 - -105. Solve -5*j - 1 = -o for j.
3
Suppose 4*o - 3*b + 4 = 0, -2*o - 2*o - 5*b + 28 = 0. Solve o*f + 2 = -2 for f.
-2
Suppose -4*a - 3*j = 2*j - 26, 4 = 2*j. Suppose 33 - 104 = -4*p - 3*s, a*s = 20. Solve -4*f - p - 2 = 0 for f.
-4
Suppose 2*d - 16 = -2*d, 4*d - 4 = u. Suppose u = 4*q - 0*q. Solve -q*i = -5*i - 6 for i.
-3
Suppose -m - 3*m + 40 = 0. Let u = m + -1. Let p = 13 - u. Solve -p*a - 12 = -0*a for a.
-3
Suppose 3*h = -2*n - 4 + 13, 2*h - 2*n - 6 = 0. Suppose -h*i - 2 = 1. Let b = 8 + i. Solve -5*w = -b - 3 for w.
2
Let j = -3 - -3. Suppose z + j*z = 0. Suppose g - 3*s = s + 12, -5*s - 18 = -2*g. Solve -g*d + 0*d = z for d.
0
Let k = -24 - -27. Suppose -3*p - j = -10, -2*j - 24 = -2*p - k*p. Solve -26 = -p*s - 6 for s.
5
Let v(c) = -3*c - 40. Let a be v(-16). Suppose 0 = g + 3, 13 + 5 = 3*d - 3*g. Solve 5*b = d*b + a for b.
4
Let k = 0 + 0. Suppose -8*d - 20 = -12*d. Solve k*f = d*f + 20 for f.
-4
Suppose m - 2*m - 28 = 0. Let s be (-6)/(-4)*m/(-21). Solve -6 + s = -2*u for u.
2
Suppose 0 = 4*k + j - 20 - 9, -4*k - 3*j + 23 = 0. Solve -r + k = -5*r for r.
-2
Suppose b = -4*t - 0*t + 18, -t + 4 = 0. Let n = 5 + -2. Solve -n*p + 2 = -b*p for p.
2
Suppose 8*j = -3*j + 44. Solve j*w = w - 12 for w.
-4
Let l = 2 + 109. Suppose -36 + l = 5*r. Solve -3*x + 0*x - r = 0 for x.
-5
Let t(p) = p**3 + 4*p**2 + 4*p + 3. Let a be t(-2). Suppose 0 = -2*k - 2*j + 46, -j + 41 - 133 = -4*k. Solve -a = 4*w - k for w.
5
Let g(s) = -s**2 + 8*s - 2. Suppose -2*b + 22 = b - f, 4*b - 20 = -f. Let o be g(b). Solve 0 = y + y - o for y.
5
Let i(l) = l**