j - 3. Solve 2*b + j = -0 for b.
-1
Let j = -41 + 28. Let k = 16 + j. Solve -k*c + 3 = 18 for c.
-5
Let p(i) = i**3 + 8*i**2 + 9*i + 9. Let s be p(-7). Let w = -1 - s. Let x be w/(2/(-6) + 1). Solve 0 = -y + x*y for y.
0
Let t be 6/(-15) - (-6)/15. Let g = -14 - -3. Let i = g - -11. Solve -5*x + i*x = t for x.
0
Let c be ((-2)/(-4))/(4/24). Let f be c/2*56/6. Solve 0 = -5*t - f - 6 for t.
-4
Suppose -3*f + 4*s + 28 = 3*s, f - 13 = 4*s. Let b(d) = d + 8. Suppose 7*k + 40 = 2*k. Let n be b(k). Solve n = -4*o + o - f for o.
-3
Let v = -32 + 32. Solve -4*m + 0*m + 12 = v for m.
3
Suppose -2*y = -3*y + 4. Solve i - y*i = -9 for i.
3
Let g = -7 - -7. Let x be g*-1*(-3)/(-6). Solve u + 4 = -x*u for u.
-4
Let k = -5 + 5. Let l be (-12)/(-16) + 2/8. Solve -h + l + 1 = k for h.
2
Suppose -3*w = i - 24, -3*w - i = -5*i - 39. Solve -6 = -7*v + w*v for v.
-3
Let h(m) = 2*m**2 - m - 2. Let i be h(2). Suppose -i*b + 0*b = 0. Let x = -5 - -6. Solve b = -2*t - x - 7 for t.
-4
Let q(j) = -2*j + 1. Let h(x) = -x**3 + 3*x**2 - x + 1. Let y be h(2). Suppose -5*u = 3*o - 22, o - 2*u = y*u - 26. Let m be q(o). Solve -3*g = 12 - m for g.
-3
Let d be (-1)/2 - (-11)/2. Let i be 6/(-2) + (-1 - -6). Suppose -5*w - 5*s - 5 = 0, -4*s - 15 = -5*w + s. Solve -d = -i*r + w for r.
3
Let x be (0 - 6)/((-2)/3). Suppose 3*o + 4 = 7. Suppose w = 4 - o. Solve 2*p + x - w = 0 for p.
-3
Suppose -4*g = -5*v - 10, 4*v = -0*v + g + 3. Let s be 178/9 - v/(-9). Suppose 3*x - s = -2*x. Solve r = -x*r - 25 for r.
-5
Suppose -7 = 4*w - 23. Suppose 8 = -q - 3*z, 4*q - 3*z = -7*z - 8. Let m = w - q. Solve -s - 4 = m*s for s.
-1
Let u(q) = q**3 + 6*q**2 + 6. Let g be u(-6). Solve w + g = 2 for w.
-4
Let w be (-3)/(-2) - (-17)/2. Solve w = 4*d - 2 for d.
3
Let g(x) = x + 1 - 4 + 2. Let t be g(-1). Let q be (t + 5)/(2 + -1). Solve 4*c = -q - 5 for c.
-2
Suppose -3*b + 1 = -2. Let s = 7 + -5. Suppose f - s*t = 4, t - b = -2. Solve 2*u - f = -0 for u.
1
Let n = -19 - -5. Let y = n + 17. Solve y*w + 2 + 4 = 0 for w.
-2
Let m = 30 + -28. Solve -m*v = 2*v - 20 for v.
5
Suppose 3*m - 8 = m. Suppose -d = -m*d. Solve -3*l + 2 + 7 = d for l.
3
Let a(r) = -r**2 + 10*r + 15. Let q be a(11). Solve 3 = -z + q for z.
1
Let b = 25 + -22. Solve -q - 2 - b = 0 for q.
-5
Let m = 67 + -55. Solve -z + m = 2*z for z.
4
Suppose 4*t = 3*t + 6. Let p be t/15 + 2/(-5). Suppose -5*o + 0*m - 3*m + 20 = p, o = 4*m + 4. Solve o*a - 3 = a for a.
1
Suppose 3*b = -3*a - 33, -4*b + 0*b - 2*a = 34. Let f be 3/(-9) - 20/b. Suppose 0*c - c + 2 = 0. Solve 0 = -f*z - c + 5 for z.
1
Suppose 14*i - 15*i + 8 = 0. Solve q = -3*q + i for q.
2
Suppose 3*h + 5*n = -0*h + 7, -4*h - 4*n = -12. Suppose h*u = u + 12. Solve -u = 2*t + 4 for t.
-4
Let l = -91 - -93. Solve 8 = 2*u - l for u.
5
Let v = 34 - 53. Let r = 33 + v. Solve -2*a = -4 + r for a.
-5
Suppose 4*t = 4*r - 0*r - 28, 4*t = -3*r + 14. Solve 2*g + 2 = -r for g.
-4
Suppose -8 = -4*j - 0*j. Solve 4*f + 4 = j*f for f.
-2
Suppose 4*g = 5*f + 4, -3*g - 1 = -2*f - 4. Solve 3*y = 7 - g for y.
2
Let l(c) = c**2 + c - 3. Let r be l(-3). Suppose k + 5*s + 20 = 3*k, -k + 12 = -r*s. Suppose -2 = 3*o - 4*o. Solve 8 = -o*h - k for h.
-4
Let k = 22 + -12. Suppose 0 = r - 3*r + k. Suppose 0*a - r*a = 0. Solve -h + 2 - 5 = a for h.
-3
Suppose -w = 3*w. Suppose 0*c + 2*c = 4, 5*c = b + 3. Suppose b = u + 1. Solve 0 = -w*g - 2*g - u for g.
-3
Let f = 34 + -20. Suppose -4 + f = 5*p. Solve p*h = -3*h + 25 for h.
5
Suppose 0 = 3*c - 173 + 134. Solve 4 - c = 3*x for x.
-3
Let z(x) = -x - 6. Let h be (-62)/10 + (-1)/(-5). Let u be z(h). Solve 3*r + 15 = -u*r for r.
-5
Suppose 3*p - 200 + 65 = 0. Suppose 0 = 2*f + 3*f - p. Solve -2*i + 1 = -f for i.
5
Let q(k) be the second derivative of k**4/6 - 5*k**3/3 + 9*k**2/2 - k. Let p be q(6). Let h be 4/(-14) - (-48)/p. Solve 2 = 2*s - h for s.
2
Let a be (12/10)/(6/15). Solve 8*r = a*r + 10 for r.
2
Let r(f) = f + 1. Let t be r(-11). Let c(x) = x + 15. Let h be c(t). Solve 5*y + 10 = -h for y.
-3
Let z(f) = -2*f**3 - 11*f**2 + 5*f - 5. Let r be z(-6). Solve -3*o - 2 - r = 0 for o.
-1
Suppose 0 = 2*y - 5*n + 6 - 0, -2*y - 4*n = -12. Suppose -y*v - 2*i + 1 = -3, 4*v + i = 23. Solve 0 = -v*d + 3*d for d.
0
Let s be -2*4/(-16)*(21 + 1). Solve -4*j - s - 1 = 0 for j.
-3
Let q(m) = -6*m - 11. Let t(d) = -25*d - 44. Let y(l) = 9*q(l) - 2*t(l). Let u be y(-9). Suppose -4*g + 3*g + 25 = -5*c, -g = -c - u. Solve -4*r + g = r for r.
5
Suppose 0 = r + 1, j - 3 = 3*r + 4. Solve 2*p - j*p - 4 = 0 for p.
-2
Let q be 18/4*(-10)/15. Let w be 3/(q*(-4)/60). Solve 0*g + w = -5*g for g.
-3
Suppose s + 3*f + 8 = 0, -3*s - 3*f = 2*s + 28. Let d be -3 - s/((-5)/(-12)). Solve -3*r = -d + 24 for r.
-5
Let n(z) = z - 9. Let u be n(-5). Let x be (-4)/10 + u/(-35). Let r be (2 + -3)*-4 + 0. Solve -20 = -x*t + r*t for t.
-5
Let w(t) = -1 - 2*t + t**2 - 3*t + 9*t - 2. Let k be w(-5). Solve -h = -2*h - k for h.
-2
Suppose 3*z = -4*d + 49, -18 = d - 2*d + 5*z. Solve -d = -3*u - 1 for u.
4
Let h(n) = -n**2 - 9*n + 1. Let p be h(-7). Suppose 5*u + 6 = j + 7, 0 = 5*u - 3*j + 7. Solve 4*l - u = p for l.
4
Suppose -2*z = 3*z - 55. Solve -3*m = -z - 1 for m.
4
Suppose -3*d + 2*d = -2. Solve 5*m - 4*m - d = 0 for m.
2
Suppose -i - 6 = -4*o, -4*o + 6 + 6 = -4*i. Let f = 5 + o. Solve 3*v + 9 = -f for v.
-5
Let z be (2 + -5)/((-2)/6). Solve 4*r + 7 = -z for r.
-4
Let k = -8 - -7. Let i = 2 - k. Suppose 4*l = i*c - 32, -12 = -c + l - 0*l. Solve 5*n - 1 = -c for n.
-3
Let a be ((-4)/14)/((-9)/63). Solve -4 = -a*r - 0 for r.
2
Let p = -5 - -6. Let n be 3/2 + p/2. Solve 0 = -5*l + n + 3 for l.
1
Let h be 1/(2*2/12). Suppose -5*t = -t. Let z(f) = f**3 + 6*f**2 + 3*f + 2. Let r be z(-5). Solve t = -y - h*y + r for y.
3
Suppose 0 = -2*a, 4*v - 5*v - 4*a = 0. Solve -3*b = 3 - v for b.
-1
Suppose 4*z - 24 = -2*z. Solve 0 = z*w + 4 - 0 for w.
-1
Let m(i) = -i + 14. Let z be m(10). Solve -j - z = -2 for j.
-2
Let c = -15 + 23. Suppose c = 5*d + 4*v, -d + 6 - 11 = 3*v. Suppose 1 = -2*o + 13. Solve -d*a + o = -2*a for a.
3
Let f = 16 - 7. Let q = 12 + 4. Let n = 20 - q. Solve 0 = -n*a + a - f for a.
-3
Suppose 0 = -5*p + l + 36, 2*l - 4 + 12 = 2*p. Let i = p - 3. Solve 0 = -i*t - 4 - 6 for t.
-2
Let o be 3 - (4 - (2 - 1)). Solve o*c - 1 = -c for c.
1
Suppose -2*d + 6*d + 24 = 0. Let x be ((-4)/d)/((-4)/(-6)). Let v(a) = -a + 1. Let z be v(x). Solve -f - 4 = -z*f for f.
-4
Let q = 19 + -10. Let v = -6 + q. Let g(l) = l**2 + l - 1. Let h be g(1). Solve -h = -v*k + 2 for k.
1
Let f = -21 - -25. Solve 0 = c - f*c + 3 for c.
1
Suppose 0 = g - 0*g - 4. Suppose g*z = -3*f + 21, -2*f + 17 = 3*z + 2. Suppose 0*v - z = -4*v - 3*d, -5*v - 4 = -4*d. Solve 3*c + 0*c = v for c.
0
Suppose 0 = 3*v - 6 - 3. Solve -v*n = -18 + 3 for n.
5
Let f(s) = -s - 9 - 2 + 3. Let b be f(-6). Let u be 3/6 + (-39)/b. Solve u = p + 4*p for p.
4
Suppose -2*n + 8*n = 0. Solve -2*i + 5*i = n for i.
0
Let f(i) = i - 2. Suppose 1 = 3*b - 2. Let j be 7 + (1 - b) + -1. Let m be f(j). Solve 0 = -0*l - m*l - 8 for l.
-2
Let g be 3 + -4 + (-4)/2. Let s(x) = -x**3 - 4*x**2 - 3*x. Let y be s(g). Solve y = v + v + 8 for v.
-4
Suppose 49 = -2*n - 7. Let k be n/35 - (-2)/(-10). Let m be ((-3)/k)/(6/4). Solve m*o - 3 = o for o.
3
Let v be 1*(13 + -1)/(-3). Let q = 0 + v. Let b be (-30)/(-9) - q/6. Solve -b*h - h - 20 = 0 for h.
-4
Suppose 7 = -3*t + 13. Solve 5*f - 3 = t*f for f.
1
Let q(w) = -w**2 + 4*w + 1. Suppose -2*d + 6*d - 12 = 0. Let x be q(d). Solve 0*f - x*f = 0 for f.
0
Let r(j) = j**2 - 3*j - 2. Let m be r(4). Solve -m = 4*p - 14 for p.
3
Let o(b) = -b**3 - 8*b**2 - b - 4. Let t(h) = 5*h - 13. Let z be t(10). Suppose 4*q = -5*w - 20, -4*w + 0*w + q = z. Let v be o(w). Solve -v*s = 20 - 0 for s.
-5
Let r be ((-30)/(-8))/((-2)/(-8)). Suppose -r = 6*j - 11*j. Suppose -4*b = s - 7 - 15, 0 = -s + 2. Solve j = -b*f - 7 for f.
-2
Suppose 5*r + 3*p - 6 - 30 = 0, 2*r - 16 = -2*p. Suppose -4*l = 3*n - r, -2*n = 8 - 4. Solve -l*m + m - 2 = 0 for m.
-1
Let p be -2*(-2)/(-8)*-6. Suppose -p*f + 2*m = f - 4, -m = 3*f - 8. Solve -h + f = -0*h for h.
2
Suppose -5*w - 37 = -4*l, -3 = 3*l + 4*w + 8. Let d be 35/l - 8/12. Suppose 0 = -2*m + 4*f - 10, -m = 2*f - d - 0. Solve -4*s + 5 + m = 0 for s.
2
Let t(a) = 2*a + 19. Let r(c) = -c**2 - 12*c - 8. Let n be r(-12). L