-3*b + 9 = -u - 0*u for u.
3
Let k(u) = u**2 - 4*u - 5. Let b be k(5). Solve -2*l = 4, -3*l + b = 5*n - 14 for n.
4
Suppose 3*m + 2*m = 3*n - 4, 4*n = 4*m. Let p be (124/10)/(n/(-5)). Solve 6*x + 3*a = x - p, 2*a - 11 = 3*x for x.
-5
Let w(b) = b + 24. Let o be w(-24). Solve 0 = 5*k - 5*c, -3*k + o*c - 3*c = -30 for k.
5
Suppose -4*u = -h + 4 + 1, -3*u + 2 = 5*h. Let z be (35/14)/(u/(-2)). Solve 0 = -4*a + 5*r - 13 - 17, 5*a + 35 = z*r for a.
-5
Let v = 30 + -5. Solve -7*i + 35 = -2*i - 2*w, v = 3*i - 2*w for i.
5
Suppose -15 + 45 = 6*g. Solve -t + 5 = g*a, -5*t + 3*a - 42 = -11 for t.
-5
Let r be 1/(1 + 0) + 3. Solve r*z = f, 3*f - 16 = 7*f for z.
-1
Let h = 1 - -11. Solve g - 2*g = -5*f + 16, -3*f + h = 0 for g.
4
Let d(m) be the first derivative of -m**3/3 - 13*m**2/2 + 8*m - 3. Let n be d(-13). Solve -3*p = -5*p - 2*l, n = -2*p - 4*l for p.
4
Suppose -11*w + 10 = -12. Solve -v - 1 = -a - w, v - 4*a = 13 for v.
-3
Suppose -2*k = -3*k + 5*l - 6, -4*k = 4*l - 24. Let q be 18/k - (-6)/(-4). Solve 4*j = -q*c + 1, -4*j = -j + 4*c + 1 for j.
1
Let p(w) = -2*w**2 + 2. Let g be p(1). Solve -4*n + 5*n - 3*a + 11 = g, 2*a - 14 = 2*n for n.
-5
Let n = 2 + 6. Let w = 11 - n. Solve l + 24 = -3*u + 4*l, 5*l = w*u + 32 for u.
-4
Let c(b) = b**2 + 3*b. Let m be c(-3). Let n = m - -3. Suppose 20 = j + 3*j. Solve 0 = -3*d - v + 5*v - 1, -n*d = j*v - 8 for d.
1
Suppose -5*x - 36 - 59 = 0. Let y = x + 36. Suppose 11 = 2*j - 45. Solve -2*c - 1 - y = -4*o, -4*o + 4*c = -j for o.
2
Let o(r) = -5*r**3 + 4*r**3 + 2*r**3 + 6*r**2 - 7*r + 3. Let z be o(-7). Solve -z*q + 20 = q + 4*g, -2*q + 13 = 5*g for q.
4
Let g be 3*1/(-3)*-2. Solve -5*i + 2*i + b - 8 = 0, -g*b - 2 = 0 for i.
-3
Let l = -96 + 101. Solve -3*z = -l*c + 2, -2*z = 4*c - 1 - 5 for c.
1
Suppose 0 = 4*u + 4. Let q be u/1*(1 - 12). Let m = -21 + 36. Solve -s = -2*t - t - q, 0 = 3*t - 3*s + m for t.
-3
Let x(h) = h**2 + h - 8. Let z be 0/(0/2 + 1). Let p be x(z). Let m = 11 + p. Solve -m*c - 4*y = 2, -2*c - 3*y - 2 = -1 for c.
-2
Let k = -4 + 6. Solve 4*f - 17 = 3*j, 8 + 9 = 3*f + k*j for f.
5
Let v(n) = 10*n - 55. Let p(o) = -o + 6. Let l(t) = -55*p(t) - 6*v(t). Let m be l(-1). Solve 3*i - 2 - 3 = 2*a, 1 = m*a - 3*i for a.
2
Suppose -5*z - 18 = -2*a, 2*a = -0*a - 3*z + 2. Solve 4 = -4*u - a*r, -3*u - 2*r + 6*r - 3 = 0 for u.
-1
Let m be (-2)/(-2)*-2 + 5. Suppose m*t - 4*i - 2 + 0 = 0, 7 = 4*t - i. Suppose -a - t*a = -18. Solve 3*y + 3*z + 12 = a*y, z = -3*y for y.
1
Let z(v) = 6*v**2 - 1. Let r be z(-1). Let c(i) = 3*i**3 + i**2 - 2*i. Let t be c(2). Let y be 129/27 + 4/18. Solve 2*n + m = -2*n - t, -y*m = r*n + 45 for n.
-5
Let i be (4*-2)/(-2)*1. Suppose 2*l - i = -0*l. Solve -q + 12 = 5*s, -21 = l*q + 2*q - 3*s for q.
-3
Let l be -5*(-2 - (-12)/15). Let f(t) = -7*t + t + 3 - t - l - 7*t**2 - t**3. Let n be f(-6). Solve h + 3*h + v + 6 = 0, n*h + 3*v = 0 for h.
-2
Let n = 132 + -58. Suppose -c - n = -3*c. Suppose -2*z + 15 = z, 5*z = -4*m + c. Solve -f + 17 = -m*b, 0*f + 5*b = -4*f for f.
5
Suppose -f + 46 = -3*k, -5*f = 3*k + 35 + 5. Let h = -11 - k. Solve -3*a + 3 + 8 = -h*m, 2*m - 4*a + 8 = 0 for m.
-2
Suppose -4*o = o + 25. Let r be (o/(-2) - 3)*-12. Suppose -g + r*g = 10. Solve 5*n + v + 2*v + 2 = 0, 0 = -g*n - v for n.
2
Let u be 44/16 + (-9)/12. Solve -3*w + 14 = -3*l + 5, -4*w = -u*l - 12 for w.
3
Let n = -7 + 17. Suppose -2*q + n = 4*o, -5*q = 34 - 9. Let d be (-4)/(-10) + 33/o. Solve 0 = -3*m + 4*m + 4*h - d, 1 = h for m.
3
Let b be (0 - 0) + 2 + -2. Let q = 1 - b. Suppose i - 7 = -q. Solve c - 14 = 2*a - i*a, -4*c = 8 for a.
4
Suppose -3*h + 6 = -5*z + 20, 0 = 5*h - 2*z - 2. Solve -2*g = -0*g + h*w - 8, 2*g = -4*w + 10 for g.
3
Let k = -4 - -19. Suppose -5*n - k = -3*v - 3*n, -4*n = 4*v. Let t(c) = -5*c - 1. Let u be t(-1). Solve -4*x - 9 = v*q, 2*q - u*q = -5*x + 6 for q.
-3
Suppose 3 = -0*v + v. Suppose -4 = r - b - 1, -4*b + 14 = -v*r. Solve -r*j + 5 = -3, -3*d + 3*j = 9 for d.
1
Let j(o) = o**3 + o**2 - o - 2. Let r be j(4). Let v = -65 + 114. Suppose -3*k + v = -r. Solve 4*a - 20 = 0, -2*h + 6*h + 5*a = k for h.
4
Suppose 11*u - 2 = 10*u. Solve -5*k - 38 = 5*x + u, -3*x = -3*k for k.
-4
Let o be ((-3)/2)/(6/(-20)). Suppose 0 = -l - 0*l + o. Solve -3*z + 0*v = -2*v + 6, l*z = -5*v - 10 for z.
-2
Let b be (28/6)/((-3)/(-18)). Let k = b - 8. Solve -j + 5*j + k = -2*n, 3*n - 5*j - 3 = 0 for n.
-4
Let m be (-10)/(-6)*(-27 - -30). Solve 6*r - 3*r + 8 = -m*l, -3*r + l = 2 for r.
-1
Suppose 4*b = -2*d, 2*d - 15 = b + 5. Let y(o) = -o**2 + 7*o + 8. Let a be y(d). Solve 2*r = t, -2*r = -2*t - a*t for t.
0
Let q be 20/(-6)*(-12)/8. Suppose c + 0*c - q = 0. Suppose i + 3*i + 33 = 5*l, -2*l - 4*i = -30. Solve 2*b + l = -c*p, 3*p + 2*p + 5 = 0 for b.
-2
Suppose 5*t - 47 = 4*c, 0 = 4*t - 9*t + c + 53. Let u = t + 1. Solve 8 = 5*q - k, -5*k + 0*k = q - u for q.
2
Suppose 2*a + 2*a - 16 = 0. Solve -4*p = 4*b, -3*p - a*b - 1 = 2 for p.
3
Suppose -7*y + 3*y + 16 = 0. Let l(q) = q**2 + 3*q + 3. Let t be l(-4). Let w = t - y. Solve -w*a + 4*s = -16, -3*a - 5*s + 15 = 2*a for a.
4
Let j(k) = -2*k + 4. Let v be j(-3). Let s be 5/(2/2) - 0. Solve -n - v = -3*p, -s*p + 4*n + 19 = -0*n for p.
3
Suppose c - 5*i + 9 = -2*c, 3*c - 2*i = 0. Suppose 0*a = c*m - a - 25, 67 = 5*m + 2*a. Let r = 16 - 14. Solve h + 0*h = 3*v + m, -2*h + r*v + 10 = 0 for h.
1
Suppose 0 = 3*o + 30 - 189. Suppose -5*z - 2*g = -37, 0*g - o = -5*z + 2*g. Solve -2*m = n - z, 8*n - 3*n = -3*m + 24 for n.
3
Let n(q) = -q**3 + 10*q**2 - 11*q + 20. Let t be n(9). Solve -t*x + 2*m + 2 = 0, -2*x - 2*m = -4 - 2 for x.
2
Let s(c) = -c**2 - 9*c + 10. Let h be s(-7). Suppose 0 = b + 5*m - 1, -b = -4*b + m + 3. Let g be (2 - b)/(2/4). Solve 3*w = -3*y - 3, y - g*w - h = 2*w for y.
4
Let y = 33 - -11. Let z = y + -8. Suppose 5*w = w + z. Solve -5*r + 10 = 5*h, -h - w = 2*h for r.
5
Let p(q) = -2*q - 21. Let a be p(-12). Solve 19 = 2*j + a*z, -3*j - 4*z + 31 = z for j.
2
Suppose -3*i = -5*h + 13, -3*i + 0*h = -h + 17. Let c = -1 - i. Solve c*y = 0, -s - 3*s = 5*y - 12 for s.
3
Let a = -8 - -4. Let y = 1 - a. Solve 10 = 4*p + 2*l, -y*p - 8 - 2 = -5*l for p.
1
Let t(k) = -9 - 3*k + 6*k + 3 - 4*k. Let o be t(-8). Let r(s) = s - 3. Let l be r(6). Solve -3*u + 4 = -5*v + 17, -o*v = l*u - 22 for u.
4
Let d(g) = -g + 14. Let f(t) = t**2 - 5*t + 12. Let h be f(5). Let n be d(h). Solve -n*k - 10 = -7*k, -k - 6 = 2*x for x.
-4
Let o be (-4)/(-8)*(-4 + 0). Let v be (-3 + 2 - 0)*o. Solve 2 = -4*h - 5*s - 5, -v*h - 2 = 2*s for h.
2
Suppose 4*n + 4*j - 3*j + 6 = 0, -2*j = n + 5. Let t be 3 + 2*n + 1. Suppose -8*z - 183 = -215. Solve -3*x + 5*b - 17 = -x, -28 = -t*x - z*b for x.
4
Let l(d) = 5*d**2 - 31*d - 14. Let a(w) = w**2 - 6*w - 3. Let u(c) = -11*a(c) + 2*l(c). Let n be u(5). Solve n = -2*y + s + 13, -2*y + s + 2*s = -19 for y.
5
Let y = 11 - 5. Let g be (-30)/(-9) + 10/15. Solve -2*q - 18 = g*v, 4*q - 3*q = -v - y for v.
-3
Let a be 2 + (-7)/((-7)/8). Suppose g + a = 3*g. Solve d = g*i - 6, -3*d + 2*i - 2 = 3 for d.
-1
Let y = -9 + 14. Solve 0*a + y*d - 30 = -4*a, 0 = 5*d - 10 for a.
5
Let n = -4 + 9. Suppose k - n*s - 15 + 0 = 0, 0 = -s. Solve -k = 3*h + q, 3 = -3*h + 5*q - 2*q for h.
-4
Let g = 17 + -14. Solve -3*s - 14 = g*p + 4, 2*p = 5*s - 5 for p.
-5
Let r(t) = -t**2 + 21*t + 50. Let n be r(23). Solve -n*q = -3*o + 9 + 23, -2*q + 6 = 4*o for q.
-5
Let o = 72 - 68. Solve -o*r = 3*z - 14, -r = r + 3*z - 10 for r.
2
Let h = 17 + -10. Suppose 0 = 2*t + 5*v - 23, -4*v + h + 9 = t. Solve -f = -5*j - 16 - t, -4*f - 16 = 4*j for j.
-4
Let w(g) = g**3 + 5*g**2. Let j be 18/(-15)*5/2. Let s be ((-1)/j)/(5/(-75)). Let z be w(s). Solve 5*l = 5*x - 35, 3*x - 2*l + l - 11 = z for x.
2
Let y(q) = q - 1. Let f be y(-2). Let x = -5 - f. Let u be (-12)/x - (1 + 1). Solve u*a = -3*s - 0*a - 29, 4*a = -s - 23 for s.
-3
Let h be -2 - 27/(-1 - 2). Let z(x) = -x**3 + 8*x**2 - x - 7. Let u be z(h). Solve -3*j = -4*k + u, -20 = 3*j + k - 2*k for j.
-5
Let z(w) = -w**2 + 11*w - 12. Let h be z(9). Suppose -4*f = 4*r, h = -f - 4*r - 0. Let b be 4/2*(-1 + f). Solve 0 = 2*y + b, 7*p - 3*p = -y + 3 for p.
1
Let x = 40 - 29. Let s = x - 8. Suppose -s*q + 4*q = 7. Solve 4*c + q = -3*b + 21, 21 = -3*b + 3*c for b.
-2
Let t be -2 + 0 + 2 - 8. Suppose z - 3*f + 28 = 0, -51 = 2*z - 0*f - 5*