= c*b + 12 for b.
-3
Let b = -9 - -19. Let o be (6/5)/(3/b). Suppose -4 = -4*j, -3*j + 2*j = k - 1. Solve k = 4*p - o - 4 for p.
2
Let z be 1*6 - 1/1. Suppose 0 = 3*g - 9, g = 2*i - 2 + 1. Suppose -i*n - 15 = -5*x, z*x - x - 12 = -n. Solve n*h - 3*h - 9 = 0 for h.
-3
Let c(n) = 4*n - 8. Let h(v) = 13*v - 25. Let i(w) = 7*c(w) - 2*h(w). Let g be i(5). Let q = -1 - -1. Solve 16 = -g*j - q*j for j.
-4
Let y be ((-36)/(-16))/(2/16). Let g be (1/3)/(2/y). Solve 2*t - g = t for t.
3
Let i(v) = 3*v - 3. Let h be i(2). Solve h*f - 10 = -2*f for f.
2
Let z be ((-16)/12)/((-1)/(-3)). Let y be -26*(18/z)/3. Suppose -4*r + y = -r. Solve -r + 1 = -3*n for n.
4
Let c(i) = 3*i + 2. Let h be (-28)/5 - 2/5. Let u be c(h). Let r be ((-3)/(-4))/((-2)/u). Solve 5*k = -4 - r for k.
-2
Let f(o) = -o**2 - 7*o + 5. Let x = 6 - 11. Let k be f(x). Solve 4*v - k = -7 for v.
2
Suppose 5*i - 6*g - 27 = -5*g, 3*g - 9 = -3*i. Solve 0 = 2*b + 1 - i for b.
2
Let f be 24/(-16) + 3/2. Suppose f = -4*l + l. Solve l*i = 5*i - 5 for i.
1
Suppose 0 = -5*a - 2*n + 23, 6*a + 5*n - 29 = 3*a. Let z = a - 0. Solve 6 = -c + z for c.
-3
Let u be (-8)/(-28) + 46/(-14). Let w(q) = q**3 + 3*q**2 - q - 1. Let p be w(u). Solve 0 = p*y + 4 for y.
-2
Let j(g) = g**2 + 5*g - 2. Let m be j(-6). Suppose 0 = m*p - 4*n + 4, 3*p = 2*n. Suppose 0 = 3*x - z - 13, x + 0*z = -4*z. Solve -6*s - x = -p*s for s.
-1
Suppose 0 = -2*a + 3 - 7. Let h = a - -3. Solve -z = -h + 6 for z.
-5
Let o(w) = w**2 - 5*w + 3. Let h be o(3). Let r = h - -9. Solve -2*d + r*d = 4 for d.
1
Let i = 45 - 25. Solve -i = -3*s - s for s.
5
Let i(n) = -n**2 - 10*n + 1. Let r be i(-10). Solve 3*v + 8 + r = 0 for v.
-3
Suppose -z = 5*g, -3*g = -4*z - 2*g. Solve z = -2*n - n + 3 for n.
1
Let q be -4 - (0 - (-1 + 16)). Let k(l) = l**3 + 2*l**2 - 3*l - 1. Let j be k(-2). Solve -4*s - j = q for s.
-4
Suppose -3*n = -g + n - 14, -n = -4. Suppose 3*s = -g*s - 50. Let z = -6 - s. Solve -c = -3*c - z for c.
-2
Let r be 14/(-6) + (-10)/15. Let q be 1*(0 - (5 + -2)). Let g = q - r. Solve g = -3*y - 3 - 9 for y.
-4
Suppose -3*u - u + 4 = 5*g, -5 = -5*u + 4*g. Solve 3 = -2*y - u for y.
-2
Let b(k) = k**2 + k - 6. Let x be b(2). Solve -5*z + 3 - 23 = x for z.
-4
Let w be (-4)/(-18) - 2/9. Suppose w = -4*x + 13 + 11. Suppose 0*i = -i + 20. Solve -x*t + i = -t for t.
4
Suppose 0 = -2*s - 7 + 17. Suppose 2*r - s*l = 10, -3 - 5 = 4*l. Let g = 2 + r. Solve -u - u = g for u.
-1
Let u(l) = 3*l - 6. Let c be u(4). Let b(v) = -v + 9. Let z be b(c). Solve m - z*m + 10 = 0 for m.
5
Let m be (-2)/(-4)*(0 + 0). Suppose -2*d - d + 72 = m. Solve -d - 1 = -5*v for v.
5
Suppose 3*r - 6*a + a - 3 = 0, -3*r + 3 = 5*a. Let b be (r + (-13)/4)*4. Let w = b - -11. Solve w*g + 3*g = 0 for g.
0
Suppose 0 = 5*w - w + 16. Let g be (-2)/(1 + 6/w). Solve 0*c - g = c for c.
-4
Let f(h) = 4*h + 2. Let y(u) = 3*u + 1. Let w(x) = 4*f(x) - 5*y(x). Let z be w(3). Solve -2 = z*t - 4*t for t.
-1
Suppose -17 + 1 = -4*y. Solve -y*w = w for w.
0
Suppose 15 = -31*p + 34*p. Solve 5*f - 5 - p = 0 for f.
2
Let s be (-1)/(-2) - (-1)/2. Let i(f) = 44*f + 4. Let w be i(-3). Let d be w/(-20) + 4/(-10). Solve -p + d = s for p.
5
Suppose -4*a + 8*a - 12 = 0. Solve -2*y - a*y = 0 for y.
0
Suppose -7 = -4*r + 133. Solve -5*i = -r + 10 for i.
5
Suppose -2*h - 44 = -2*r + 2*h, 0 = -2*r + h + 29. Solve -2*x + r = 4 for x.
4
Let r = 5 - 5. Let b = r + 4. Suppose 2*p = -3*n + 20, 0*n = -n + b. Solve v + p*v = -10 for v.
-2
Let b(v) = -v**3 + 5*v**2 - 2*v + 2. Let s be b(4). Let n = s - 4. Solve -2*w = -0*w - n for w.
3
Let a = -195 - -199. Solve 6*x = 8*x - a for x.
2
Suppose 36 = 3*m + m. Solve -4*n - m = -1 for n.
-2
Let a be (0 + 3 + -1)*10. Let g be (-6)/9 - (-5)/3. Let t = 1 + g. Solve 6*y - a = t*y for y.
5
Suppose y = -0*y - 6. Let j be 2/1 + (0 - 8). Let l = j - y. Solve l*q + 3*q + 12 = 0 for q.
-4
Let r(a) = a**2 + 89*a + 1 - 102*a - 1. Let l be r(13). Solve l*f + 3*f + 6 = 0 for f.
-2
Let f = -2 - -8. Suppose 7*t = f*t + 2. Solve -t*g - 2 = 8 for g.
-5
Suppose -2*p = 5*h - 70, -4*p = 2*h + p - 49. Suppose 0 = -2*b - b + h. Suppose 0 = 4*t - w - 27, -b*w - 21 - 9 = -3*t. Solve 0 = 2*a + a - t for a.
2
Let p(q) = 3*q - 33. Let t be p(11). Solve 5*d - 2 - 8 = t for d.
2
Let y(c) = -c**3 + 4*c**2 + 13*c + 6. Let v be y(6). Solve v = b - 4*b for b.
-4
Let x(q) = -q - 13. Let p be x(-10). Let l = 5 + p. Solve l = -5*u + 7 for u.
1
Suppose 8*m - 45 = 3*m. Let t(b) = b**3 - 10*b**2 + 9*b + 3. Let f be t(m). Suppose -3*y - 3*a = 9, 3*y - 2*y - 2*a - 6 = 0. Solve 0 = -f*r - y*r - 6 for r.
-2
Suppose 0 = o - 2. Let n be 0 + 1 - (-1 + -2). Solve n = o*d - d for d.
4
Let z = -15 + 19. Solve 2*n - 2 = z*n for n.
-1
Suppose -2*t = -0*t. Suppose 5*y = y + 20. Let l = y - t. Solve -7 = -l*z + 3 for z.
2
Let o = 8 + -2. Let d be 2/o*90/5. Solve -3*h - d = -6*h for h.
2
Let f = 1 - -4. Let o = f - 5. Suppose -m + 12 = -o*m. Solve -2*y - 4 = -m for y.
4
Let h(f) = 14*f**2 + 35*f + 17. Let o(x) = -5*x**2 - 12*x - 6. Let l(z) = 4*h(z) + 11*o(z). Suppose 3*v - 4*v = 8. Let w be l(v). Solve w*y + 8 = 2 for y.
-3
Let z be ((-28)/(-6) - 3)*3. Suppose 0 = z*n - 3*n - 10. Solve -1 = -2*x + n for x.
3
Suppose 17*g + 4 - 106 = 0. Solve 3 = l + g for l.
-3
Let g be (-3 + -1)*6/(-4). Let o(t) = t + g - 6. Let r be o(4). Solve 0 = 8*l - r*l - 16 for l.
4
Suppose 2*z - 3 = 1. Let r be (-2)/3 + (-238)/(-42). Solve r*j + 9 = z*j for j.
-3
Let m(l) = l**3 - 6*l**2 - 5*l - 14. Let s be m(7). Solve s = 4*u - 17 + 1 for u.
4
Suppose -m = -5*m. Let g = 2 + m. Solve -20 = 2*v + g*v for v.
-5
Suppose -3*p = -6*p + 6. Suppose u = -u - 4*o + 44, -p*o + 66 = 3*u. Suppose -2*b = 5*l - 41, 0 = 2*b + 3*l - 9 - u. Solve r = 3*r - b for r.
4
Let t = 20 + -16. Solve t*f - f = -12 for f.
-4
Let z = -8 + 13. Suppose z*c + 6 = 3*c. Let k be (c - 1)*25/(-20). Solve -1 + k = -a for a.
-4
Let g be (-3)/(-2) - 22/4. Let j = 14 + g. Solve -10 - j = 5*p for p.
-4
Let r = 1 - -4. Suppose -r*w = -w - 80. Suppose 4*l - 22 = -n, -2*l = 4*n + n - w. Solve -n*q - q = 0 for q.
0
Suppose -3*n + 14 = b, -5*b + 32 = 4*n - b. Solve n*d = 5*d for d.
0
Let g(s) = 3*s + 1. Let c be g(-1). Let b be 14/6 + c/6. Solve 0 = t - 0 - b for t.
2
Let o(w) = -w**2 + 6*w + 5. Let l be o(6). Solve -4*v - l = -5*v for v.
5
Let r(a) = a + 7. Let g be r(-3). Solve -w - w = g for w.
-2
Suppose k - 2*k + 2 = 0. Suppose 0 = -i + 4 - k. Let o(r) = r**3 + 6*r**2 + 5*r. Let f be o(-5). Solve 2*d = -f + i for d.
1
Suppose 3*k = -0*k - 15. Let p(u) be the second derivative of -u**4/12 - 2*u**3/3 + 3*u**2 - u. Let j be p(k). Solve 0 = 3*w - j - 2 for w.
1
Let o(y) = -y**2 - 4*y - 3. Let q be o(-2). Let r(z) = -2*z + 0 + 9*z**2 + q + z. Let t be r(1). Solve w + t = 4*w for w.
3
Let v(x) = 2*x**2 + 7*x + 4. Let s be v(-4). Let r be s/(-8)*(0 - 5). Solve 0 = -r*f + 8 + 2 for f.
2
Suppose -2*j + 7*j = 30. Solve 1 = -5*n + j for n.
1
Suppose -3*p + 40 = 5*p. Suppose -n + 2*k + 4 = n, 0 = -4*n - 2*k + 26. Solve n*g + p = 20 for g.
3
Let t(o) = o**3 + 7*o**2 + 6*o + 2. Let l be t(-6). Suppose -y + l*y - 1 = 0. Let i = 2 - y. Solve 5*k - 6*k - i = 0 for k.
-1
Suppose -k + 4*g - g = -5, 7 = 3*k - g. Suppose -2*p + 6 = -k. Solve d + 15 = p*d for d.
5
Let b be 4/(-14) + 16/7. Suppose -h = -2*h + 3, -4*h = b*n - 10. Let k = 1 + n. Solve -d + k = -3 for d.
3
Let q(c) = -5*c - 12. Let y be q(-3). Solve u - 4*u = -y for u.
1
Let a = 18 + -11. Let q(d) = d - 6. Let j be q(a). Solve 2 = n - j for n.
3
Suppose 5*l + 16 = -4*v, 0*v = -4*v - 16. Solve -c = -l*c for c.
0
Suppose 3*h + 2*x - 6 = x, -3 = -5*h - 4*x. Suppose -3*c = -8*c, 5 = a + h*c. Suppose -5*k = -5*r + 5, a*r + 0*r + 3 = -3*k. Solve r = 2*n - 5*n for n.
0
Let w be 38/14 - (-4)/14. Solve v - w = -5 for v.
-2
Let l(z) = -2*z - 6. Let f be l(-4). Suppose 0 = h + f*h - 12. Solve 0*s - h = 4*s for s.
-1
Let p(z) = -5*z**3 - 12*z**2 - 12*z - 5. Let u(t) = 14*t**3 + 35*t**2 + 35*t + 15. Let v(x) = -11*p(x) - 4*u(x). Let r be v(-7). Solve i + 0 + r = 0 for i.
-2
Let k(s) = 16*s**2 - 1. Let y be k(-1). Let v = -9 + 12. Solve -3 = v*c - y for c.
4
Let d(v) = -2 - v**3 - 8*v**2 + 0 + v**2 - 7*v. Let i be d(-6). Solve -i = 6*t - 4*t for t.
-2
Let l = 39 + -4. Suppose 5*p + 3*x - 28 = 12, -4*p - 3*x + l = 0. Solve r + 1 = p for r.
4
Suppose 3*q + f - 6