 - 4*b = 4*j - 4, 5*b + 3 = -j. Solve 0 = 2*l - 2 - j for l.
2
Let x(r) = -2*r**2 + 8*r + 3. Let d(o) = -3*o**2 + 16*o + 7. Let q(f) = -3*d(f) + 5*x(f). Let t be q(-7). Solve c = t + 4 for c.
5
Suppose 10 = 2*h + 2*t, -t + 0*t = -2*h + 4. Suppose -4*x + h + 5 = 0. Suppose 0 = x*v - v. Solve v = 2*d + 2*d + 20 for d.
-5
Suppose 4*v + 0 = -16. Let d = -2 - v. Solve -18 = 4*f + d for f.
-5
Let y be (1*-2)/(1/2). Let c be -9*(1 - y/(-3)). Suppose -2*l + 1 + c = 0. Solve -3*w - 1 = -l*w for w.
-1
Let s = 7 + -6. Let r be (3 - (-2 + 0))*s. Solve r*f = 2*f - 9 for f.
-3
Let z(g) = 5*g - 18. Let p be z(6). Solve 6*i = 3*i + p for i.
4
Suppose 1 = l, -5*l + 14 = k - 4*k. Let h be -1*3 + (-6)/k. Let g be 2 + (-2 - (h + -2)). Solve 8 = -g*p + p for p.
-4
Suppose -2*v - 2*k = -8, -3*v - 7*k + 3*k = -16. Solve 3*p = -v + 3 for p.
1
Let o(j) = -j**3 - 5*j**2 - 5*j - 2. Let v be o(-4). Solve 7 + 1 = v*f for f.
4
Suppose 0 = -3*o + 6 - 42. Let j be (-615)/o + 3/(-12). Let a = j + -33. Solve -3 + a = -3*w for w.
-5
Let r(f) = f**3 - f**2 + 2*f - 4. Let h be r(2). Solve 0 = 2*g - h*g - 2 for g.
-1
Let y(i) = -i - 5. Let s be y(-6). Suppose -2*l + 2 = 0, 2*l - s = -f + 5*l. Solve 2*q = f*q for q.
0
Let a(z) = z**2 - 6*z + 4. Let m be a(6). Solve -m*q + 9 + 3 = 0 for q.
3
Let m be 5 + -3 + 0/(-4). Solve 0 = 4*t - m*t - 10 for t.
5
Let m be (-10)/(-8)*(4 + 0). Let q be -2*3/(-6)*m. Solve -q*w - 5 - 10 = 0 for w.
-3
Let f(n) = n**3 - 7*n**2 + 6*n. Let l be (-18)/45 + 32/5. Let m be f(l). Solve 2*p + 1 + 9 = m for p.
-5
Let u = 18 - 12. Suppose -12 = -4*j + 4. Solve j*x - u = x for x.
2
Let g be 22/4 + 3/6. Let h be 8/6*g/4. Solve -h*q = q for q.
0
Let n(o) = o + 1 + 3 + 0 - 2. Suppose -3*p + 5*p = 8. Let g be n(p). Solve 5*c + 1 = g for c.
1
Suppose -12*d + 16 = -4*d. Solve 0 = -5*w - 18 - d for w.
-4
Let y be (8/(-4 + 0))/(1/(-2)). Solve 3*q = y*q - 3 for q.
3
Let m be 2/(-2) - (-15 + -3). Suppose 0 = h - 0*h - m. Suppose -n - w + h = 2*n, 5*w = 25. Solve 5 = -n*l - 15 for l.
-5
Let n = -8 + 5. Let f = n - -7. Suppose 0 = f*b + b - 40. Solve b*q - 3*q = 15 for q.
3
Let r(q) = -q - 2. Let b be r(-6). Suppose 0 = 3*a + 4*l + 6, 14 = b*a - 5*l - 9. Suppose 3*s - 5*g + 25 = 0, -a*g = 2*g - 20. Solve -o = 4 - s for o.
-4
Let c = 9 + -9. Suppose -3*v + 2*v + 4 = c. Solve 0*m = v*m for m.
0
Let p(g) = 4*g + 9*g + 5 - 18*g + g**2. Suppose i + 4 = 2*i. Let f be p(i). Solve -5*w - 4 = f for w.
-1
Suppose 5*f + k = 5*k + 59, 3 = -3*k. Let q = 16 - f. Solve 0 = q*i - 4*i for i.
0
Let s be ((-8)/(-6))/(4/24). Let n(i) = -i + 10. Let w be n(s). Suppose w*c = 3*c. Solve -2*r = 6 - c for r.
-3
Suppose 4*c = m - 5, -m = 4*c - 0*m - 5. Suppose 4*b - 3*b = c. Suppose b = j - 2. Solve k = -k + j for k.
1
Let q be ((-9)/(-6))/(6/32). Let k(o) = -o**2 + 7*o + 10. Let m be k(q). Solve m = -y - y for y.
-1
Suppose -4*v = -6 - 10. Let i(s) = -s**3 - 10*s**2 + 8*s - 9. Let b be i(-11). Suppose -6*q + b = -3*q. Solve v*m + q + 8 = 0 for m.
-4
Let f = -19 + 25. Let p be 3*3/(-3) + -2. Let t = 0 - p. Solve 0 = t*k - 2*k + f for k.
-2
Suppose 2*p + 32 = 2*u, 3*u + 2*u = -p + 56. Solve -3 + u = 3*y for y.
3
Let c = -12 + 5. Let m(g) = -g**3 - 8*g**2 - 8*g + 5. Let f be m(c). Solve -f - 8 = -4*v for v.
5
Suppose -4*u + 3 = -3*u. Let f = 2 + -1. Suppose 9 = 2*p - f. Solve -u = j - p for j.
2
Suppose 0 = 4*p - 3*i + 24, i + 40 = -p - 3*p. Let d be (-70)/p - (-4)/18. Solve -d = u - 5 for u.
-3
Suppose 25 = 6*u - u - h, -3*u + 37 = -5*h. Let j = -1 + u. Solve -j*c + 9 = 3 for c.
2
Let z(c) = c + 2. Let k be z(-5). Let u = k - -19. Suppose -5*x = -4*s - 22, 5*s + u + 1 = x. Solve -3*y + x*y = -2 for y.
2
Let g(p) = -p**3 + 16*p**2 - 16*p + 25. Let w be g(15). Solve 5*i - 5 = w for i.
3
Let a be 2 - 3 - 7*-1. Suppose q - d - 20 = -a*d, -5*d + 20 = -3*q. Solve -2 = -q*r - r for r.
2
Let u be 10/4 + 2 - 6/12. Solve 10 = -u*c - 6 for c.
-4
Let r(c) = c + 11. Let w be r(-8). Suppose 0*l = w*l. Solve -3*a = -l*a + 3 for a.
-1
Suppose -4*l - 6 = -7*l, -5*d + 18 = -l. Solve 5 = d*c + c for c.
1
Suppose 2*m + 10 = -0. Let s(k) = k - 1. Let u(q) = 4*q - 10. Let p(o) = -5*s(o) + u(o). Let a be p(m). Solve 0 = i - a - 3 for i.
3
Let v(q) = -q**2 + 2*q + 11. Let y be v(0). Solve -y + 9 = -2*a for a.
1
Let u be (-34)/(-6) + 1/3. Suppose u*i - i - 15 = 0. Suppose 0*v + i = v. Solve v*l = 7*l for l.
0
Let u(k) = -k**3 + k + 1. Let d(y) = 5*y**3 + 4*y**2 - 2*y - 1. Let x(r) = d(r) + 6*u(r). Let l be x(5). Solve -j - 2*j = l for j.
0
Suppose 2*m = 19 - 5. Suppose 0 = 2*s + 5*h + 5 + 5, 3*s - 5*h = 10. Solve s = -3*o + 8 + m for o.
5
Let f be 0 - (0 + (-4 - -2))/1. Solve -f*q = -2 - 4 for q.
3
Suppose 0 = 3*b - 15, 2*g - 5*b = -15 + 4. Solve -3*u - g = 5 for u.
-4
Suppose 5*z - 7 = x, 7*x - 21 = -3*z + 2*x. Solve c - 2 = z for c.
4
Let z(h) be the first derivative of h**2 - 5*h - 2. Let k be z(4). Let m be 2 - 1*(-7 + -1). Solve -k*g - 2*g = m for g.
-2
Suppose 3*i - 30 = -2*i. Suppose -13 = -6*m - 1. Solve m*f - 4*f = -i for f.
3
Suppose -2 - 11 = -2*l + 5*q, 0 = 3*l - 4*q - 16. Suppose 5*u - 4 = 6. Solve l = x - u*x for x.
-4
Let b = 59 - 97. Let s be b/6 - (-2)/6. Let a be (s/(-4))/((-6)/(-4)). Solve 4*x + 11 + a = 0 for x.
-3
Let i be 14/(-7) - -1*5. Solve -i*u + 4*u = -5 for u.
-5
Let j be ((-9)/3 + 4)*3. Let y(l) be the second derivative of l**4/12 + l**3/2 + l**2 + 2*l. Let f be y(-4). Solve -j*r + 0*r + f = 0 for r.
2
Suppose -c + f + 13 = 5, 5*f = -15. Solve 9*x = c*x + 12 for x.
3
Let z be (-1)/2 - 35/(-14). Solve -g + 5 = z for g.
3
Suppose 4*c = 6*c - 8. Solve -c*g + 5*g = 5 for g.
5
Let n(d) = 1 + d**2 + 2*d + 4*d**2 + 0*d + 0*d**2. Let r be n(-1). Solve r*l + 0*l = -12 for l.
-3
Let z be ((-2)/4)/((-4)/(-64)). Let a = z + 12. Solve 2*f = -a - 6 for f.
-5
Let c(n) = n**2 + 2*n - 12. Let m be c(-5). Solve -m*f + 0 = -9 for f.
3
Let b be (-10)/(-45) - (-50)/18. Solve 2 = b*c + 17 for c.
-5
Suppose -2*d - 8 = -24. Solve -d*z + 7*z - 1 = 0 for z.
-1
Suppose -5*m - 38 = 2*h - 3, -2*h + m - 5 = 0. Suppose 12 = -7*n + n. Let k be h/(-4)*(-24)/n. Solve 6*t + k = t for t.
-3
Suppose 0 = -2*i + 4*n, 2*i - 2*n = n + 1. Suppose -q - 4*x + 17 = 0, 0 = -5*q + 3*x - 2 - 5. Let c(r) = 2*r. Let d be c(q). Solve d*g = -i - 4 for g.
-3
Let k be (-7)/(-21)*(8 + -2). Solve -8 = k*a + 2*a for a.
-2
Suppose -3*v + 10 + 14 = 0. Suppose -v*m + 24 = -4*m. Solve 0 = m*q - 2*q for q.
0
Suppose 10 - 2 = 4*l. Solve -l*i = i for i.
0
Suppose y - 3 = -0. Suppose -3*j - 4 = -2*u, -u - 3 = -2*u + j. Suppose 1 = l, -2*k = -0*k + u*l - 19. Solve -k = y*i + 5 for i.
-4
Let j(s) = -s + 8. Suppose 3*r + r = 24. Let b be j(r). Solve -4 = w - b*w for w.
4
Let x = 66 - 59. Solve 1 = -2*l + x for l.
3
Suppose -5*g - 5*p = -6*g - 16, -g - 4*p = -20. Solve -10*t + g = -12*t for t.
-2
Let i(l) = l + 4. Let a be i(11). Let k be (-3)/((-24)/a + 1). Solve -2 = -c - k for c.
-3
Let j = 24 - 22. Solve 7*h = j*h + 20 for h.
4
Let p = 3 + -3. Let c be (-1 - 6/(-4))*p. Suppose 3*z + 4*v + v - 10 = c, 4*z - 5*v = -10. Solve z + 12 = -4*q for q.
-3
Let f(i) = i**3 + 6*i**2 - 8*i + 7. Let l be f(-7). Suppose -4*q + 78 + l = 0. Suppose 0 = 5*p - 2*z - 18, -2*z = 5*p + z - q. Solve -3*s = s - p for s.
1
Suppose 5*b - 23 = 3*p, 2*b - 3*b = 4*p. Solve -b*h + 3*h = 4 for h.
-4
Let w(r) = r**3 - 7*r**2 - 17*r - 7. Let a be w(9). Solve 0 = -s + a*s + 4 for s.
-4
Suppose 3*h - 4*s = -0 + 2, -4*h + 7 = -s. Suppose 2*l + 2 = -4. Let b be 7 - h - (-2 - l). Solve -2*a + b*a = 8 for a.
4
Suppose -12 = 4*m - 2*b + 12, 0 = -3*m - 4*b + 4. Let z(j) = j**3 + 4*j**2 - j. Let i be z(m). Solve -25 = -i*t - 9 for t.
4
Let u = 4 - 3. Let x be 0*u/3 + 2. Solve -x*t = 3*t + 20 for t.
-4
Let u(m) = -m**3 + 9*m**2 - 13*m - 3. Let j be u(7). Suppose -5*g = 12 - 42. Solve g = j*f - 6 for f.
3
Let c(w) = -w**2. Let x be c(-3). Let i = x + 5. Let n be (-4)/(-8) - 2/i. Solve -h = 2 + n for h.
-3
Let p be (-2)/(-8) + 105/28. Suppose 0 = -f - 2*g - 3, -3 = 3*f + p*g. Solve 3*w + 3 = -f for w.
-2
Suppose y - 79 = 23. Suppose 3*g - y = -3*h, 4*g + 4*h - 166 = -g. Let r(x) = -x**3 + x**2 + x + 5. Let o be r(0). Solve -o*b - 5 = -g for b.
5
Let r be 1932/54 - 4/(-18). Let f = -34 + 67. Suppose 2*o - 5*i - f - 7 = 0, -4*i = -2*o + r. Solve -u + o = u for u.
5
Suppose 4*v + g - 40 = 0, -3*v - 3*