ve r = 2*b + b - 12 for b.
4
Let v = 0 - -2. Let s(p) = -12*p**2 + 2*p + 3. Let d(q) = 13*q**2 - 2*q - 4. Let o(c) = -6*d(c) - 7*s(c). Let j be o(v). Solve -5*r - 2 = j for r.
-5
Suppose -5 = -s + 4*a, 0 = -4*s + 6*a - 2*a + 20. Let n be 4/10*(-5)/(-1). Let c be (21/7)/(3/n). Solve -l - c = -s for l.
3
Let u = -15 + 15. Suppose -4*q + u*q = -60. Solve -4*f = q + 5 for f.
-5
Suppose 14 = x - 4*c, -9 = 4*x + 5*c - 2. Solve -x*u + 4 = -4 for u.
4
Let f be 16/(-12)*(-18)/1. Suppose 0 = 4*c - m - 16, 4*m + f = 5*c - 7. Let p be (0 + 3)/c - -4. Solve -p*b - 3 = -13 for b.
2
Let j(u) = 4*u - 13. Let p be j(4). Solve -5*o - p = -23 for o.
4
Let i be (3/(-6))/(2/24). Let m be i/(-1*3) + 1. Solve -s + m = -4*s for s.
-1
Suppose -5*l + 9 = -6. Let j be -2 - (-100)/(-5 - -1). Let t = -27 - j. Solve 5*p - 18 + l = t for p.
3
Let b = 3 + 0. Let m = 5 - b. Solve 2*s = -m*s - 4 for s.
-1
Let h(j) = 5*j**2 - 12*j - 18. Let n(s) = 2*s**2 - 4*s - 6. Let k(v) = -3*h(v) + 8*n(v). Let t be k(-3). Solve 1 - 4 = t*l for l.
-1
Let i be 2 - 2 - (4 + -5). Solve 0 = -5*m - 4 - i for m.
-1
Let f(z) = -z**2 + 19*z + 10. Let r be f(19). Solve -r = 5*v - 0 for v.
-2
Let h be (-2)/9 - (-47)/9. Let u = 5 - h. Let z = 2 + 1. Solve -z*w = -u*w + 12 for w.
-4
Let q(b) = -b**3 + 14*b**2 - b + 19. Let p be q(14). Solve 0*r + 15 = -p*r for r.
-3
Let l = 6 + 19. Let g = l + -10. Solve -5*a - g = 10 for a.
-5
Suppose -5*w + 5 = -0. Let m be 0*w/2*2. Solve 7*a - 2*a + 10 = m for a.
-2
Let i = -7 - -10. Suppose 20 = 2*o - 5*f, 0 = -i*o - f - 3*f + 7. Solve 0*b - b = o for b.
-5
Let r = -8 + 14. Solve 2*q + r = -0*q for q.
-3
Let g(j) = 5*j - 1 - 5*j + 2*j**2 - 6*j**3. Let f be g(1). Let w be (-6)/(-15) + (-8)/f. Solve 0 = -w*b + 3*b - 1 for b.
1
Let m(l) = -l**2 + 7*l - 10. Let j be m(5). Suppose j = -n + 2*n - 20. Solve 7*v - 3*v = n for v.
5
Suppose -4*k - 12 = -k. Let p = 4 + k. Suppose 2*b - 1 - 3 = p. Solve -6*f + b*f = -20 for f.
5
Let h be 2/3 - 64/6. Let u(z) = z**2 + 11*z + 10. Let l be u(h). Suppose 5*v - m - 10 = -l*v, 0 = 4*m. Solve -6 = v*d + d for d.
-2
Let u(s) = s**2 - 4*s + 6. Let r = -18 + 22. Let z be u(r). Solve 2*j = -4 - z for j.
-5
Suppose -4*w - w = -20. Suppose -2*q + q + 4 = m, -2*m + 4*q = w. Solve 3 = i + m*i for i.
1
Let j(c) = 5*c**3 - 11*c**2 - 3*c + 4. Let k(n) = n**3 + n - 1. Let l(g) = j(g) - 6*k(g). Let t be l(-10). Solve t = -w - 5 + 2 for w.
-3
Let y(l) = l**2 - 3*l + 2. Let r be y(4). Solve -2*q - 4 = r for q.
-5
Suppose -4*j + 24 = -2*a, 2*a - 3*j + 16 = a. Let i = a + 6. Suppose 0 = -4*l - 3*k + 30, l - 3*k - i = -k. Solve -2 = 4*s + l for s.
-2
Suppose 3*o = -3*w + 78, -4*w = -o + 9 + 12. Let s = o + -17. Solve 3*r + r = s for r.
2
Let f = 9 - 20. Let n be (-42)/f - (-2)/11. Suppose -n*b + 7 = -5. Solve -u = 2*u + b for u.
-1
Let b(f) = -2*f + 30. Let z be b(15). Solve -5*t + 22 + 3 = z for t.
5
Suppose 4*h = 5*d - 40, -2*d - 2*d = h - 53. Solve 4 + d = 4*j for j.
4
Let y = 2 - -8. Suppose -6*a - y = -a. Let q be (a/(-4))/((-1)/(-4)). Solve j = -0*j + q for j.
2
Suppose 3*r = -3*q - 9, q = 6*q + r - 5. Suppose 24 = 3*x + x + 4*k, 8 = 2*x - q*k. Suppose 14 = -5*u - 1, 0 = x*y + 4*u + 12. Solve -4*g + y*g = 4 for g.
-1
Let f = 39 + -30. Solve 3*c + 0 = f for c.
3
Let w = 42 - 42. Solve w = -p + 2 + 2 for p.
4
Let l(i) = -39*i + 1. Let k be l(-1). Let p = 25 - k. Let z be 2/8 - p/4. Solve 0 = 3*r - z - 2 for r.
2
Suppose 3*h = -0*h + 3. Solve h + 2 = p for p.
3
Suppose 0 = -3*h - 3 + 36. Suppose -r = -0*r + 4*v - 13, 0 = -2*r - 3*v + h. Solve -2*n + 3 = r for n.
1
Let o(c) = 5*c - 110. Let f be o(22). Solve 0*v - 5*v = f for v.
0
Suppose 0 = q + q + 6, -5*h = 5*q + 15. Solve h*o + 3*o - 9 = 0 for o.
3
Let m(x) = -x**3 + 13*x**2 - 13*x + 16. Let z be m(12). Suppose 8 = 2*s, z*c + 2*s - 44 = 2*c. Solve -5*q - c = 7 for q.
-5
Let s be -9 - (-4 - -2)*1. Let f(l) = -l**3 - 6*l**2 + 6*l - 4. Let i be f(s). Suppose 6*g = i*g. Solve g*n - 9 = 3*n for n.
-3
Let p be 1/(5/(-2))*-10. Solve -d + p = -2*d for d.
-4
Suppose 2*j - 1 = 3. Solve 3*h + j*h = -25 for h.
-5
Suppose 65 = -36*h + 41*h. Solve 1 - h = 3*p for p.
-4
Let u(j) = -j**3 + j**2 + j + 2. Let k be u(2). Suppose -a + 4*h - 16 = k, h = -0*a + 3*a - 7. Solve -g - a = -0*g for g.
-4
Suppose -4*n - d = 23, -d = 4*n + 3*d + 32. Let h = n + 6. Solve -b - 5 = -h for b.
-4
Suppose 0*o = o - 7. Let w = o + -4. Suppose w = 2*d + 1. Solve 4 = -3*y + d for y.
-1
Suppose -4*j - 12 = -0*j - 3*l, 0 = -3*j - 4*l + 16. Let n be (-4)/(-10) - 36/15. Let g be (-6 + 9)/((-3)/n). Solve g*z - 3*z + 5 = j for z.
5
Let l(t) = -t**3 + t**2 + 3. Let q be l(0). Suppose -q*r + 3 = -6. Solve 2*h + r = 13 for h.
5
Suppose 0 = -3*d - 4*a + 6, -2*a = 5*d - 3*a - 10. Let q be (1*(2 - -2))/d. Suppose -5*w + 2*i = -123, -2*w + 0*i + q*i = -54. Solve -5*h + w = -2 for h.
5
Let o = 3 + 0. Suppose 8*x + o = 9*x. Solve 0 = -x*k - 7 + 1 for k.
-2
Suppose 0 = -4*m + 7*m - 9. Solve m*h - 5 = 8*h for h.
-1
Let k(m) = -m**3 + 9*m**2 - 8*m + 7. Let g be 8 - (-2 - (1 - 3)). Let f be k(g). Solve 5*l - f*l - 4 = 0 for l.
-2
Let d(t) = 2*t + 2*t - 8*t. Let c be d(-1). Solve -2*r = 2 - c for r.
1
Let n be 2/10 - (-22)/(-10). Let m be (28/(-5))/(n/(-10)). Let h be (-8)/m - 164/(-14). Solve 0*g - h = -3*g for g.
4
Let j(u) = u**3 + 6*u**2 + 2. Let n be j(-6). Solve 0 = n*a - 3 + 7 for a.
-2
Let c(q) be the first derivative of -q**4/4 + 5*q**3/3 + q**2/2 - 5*q - 1. Let k be c(5). Solve k = 3*u - u for u.
0
Let x(l) = -3 + 3*l - 2*l - 5. Let d be x(10). Solve -q = q - d for q.
1
Let r(k) = k**2 - 7*k + 8. Let a = 19 - 13. Let i be r(a). Suppose 4*d - 2 = 10. Solve -i*g = -d + 9 for g.
-3
Let f = -51 + 57. Solve f*l = l for l.
0
Let j(x) = -x + 3. Let y be j(-6). Suppose 5*m - 1 = y. Suppose m*g - 15 = 5*g, -2*g - 6 = 2*t. Solve t*a - 2 - 2 = 0 for a.
2
Let h = -7 - -7. Solve h - 4 = 4*f for f.
-1
Let o(j) = 3*j - 7*j + 3*j - 4. Let l be o(-5). Solve 2 + l = n for n.
3
Let x be (-2)/((-2)/15*3). Let s = x + -4. Solve -3 + s = 2*r for r.
-1
Let b = -16 + 19. Let a(p) = p**2 - 2*p - 7. Let q be a(5). Solve -s + q = -b*s for s.
-4
Let w = 7 + -4. Suppose w*o = 59 - 17. Solve -1 - o = 5*b for b.
-3
Let f be 5/(5/(-2))*-10. Let p be 55/f + (-1)/(-4). Solve p*c - 4*c = 3 for c.
-3
Let y = -13 - -18. Suppose -45 = -5*l - y*i, -3*l + 3*i + 4 = 1. Suppose -12 = -m - 3*z + 8, -5*m + l*z = 0. Solve 2*v - 6 = m*v for v.
-2
Let x = 8 + 17. Let v(g) = g**3 + 2*g**2 - 2*g + 1. Let p be ((-2)/3)/((-2)/3). Let b be v(p). Solve -b*k = 3*k + x for k.
-5
Suppose 3*u + 5*a + 0 = -11, -13 = u + 4*a. Let l = -2 + u. Let p be l*(0 + 4) + 1. Solve -p*v - 4 = 1 for v.
-1
Let c = -51 - 198. Let b be (-2)/(-4) + c/(-6). Let k be 2/(-7) - (-180)/b. Solve 6 - 14 = k*t for t.
-2
Suppose x + 2 = m, -3*x + 2 = m + 2*x. Solve -2*h + 0*h = m for h.
-1
Suppose 3*y - 14 = -2. Suppose -u + 0 = -x - 2, -2*u - 5*x = -y. Solve b + u = -b for b.
-1
Let w(n) = -n**2 - 7*n - 7. Let h be w(-5). Suppose -h*m = -10 - 20. Solve -2*j + m = -7*j for j.
-2
Let o(r) be the first derivative of r**2 - 2*r - 1. Let d be o(2). Suppose -d*m - 2 = -10. Solve 0 = m*i - 2*i - 2 for i.
1
Let m = 4 + -3. Let u = m + 3. Solve -v - u*v = 20 for v.
-4
Let t(o) = o**2 + o + 2. Let z be t(0). Let w be 3/(-18)*z*0. Solve 5*h - 6*h = w for h.
0
Let y(r) = -r + 3. Let i be y(1). Suppose -i*k - 3 = -v + 1, -2*k - 4 = -5*v. Solve 2*w + 10 = -v*w for w.
-5
Let v(k) = k**3 - 21*k**2 - 23*k + 27. Let l be v(22). Solve 1 = -l*f - 14 for f.
-3
Let d(j) = -j + 4. Let v = -1 + 5. Let f be d(v). Solve f = -6*y + y - 10 for y.
-2
Let b(r) = r**2 - 3*r - 16. Let l be b(6). Solve 3*t + l = 11 for t.
3
Suppose u - 2*k - 23 = -5*k, 0 = u - 5*k + 1. Let w = u - 8. Solve 7*m = 4*m + w for m.
2
Let p(m) = -m - 16. Let t be p(-13). Let u be 6/2 - (4 + t). Solve 3*v - u = 2*v for v.
2
Let a(g) = g + 4. Let j(o) = -o**3 - 4*o**2 - 4*o - 3. Let d be j(-3). Let y be a(d). Solve 0*i = y*i for i.
0
Let d be (-11)/2 - 2/(-4). Let n(r) = r**2 + 3*r - 2. Let i be n(d). Solve 4*u + 0 = i for u.
2
Let h = 19 - 19. Solve 5*w - 15 = -h*w for w.
3
Let z = -8 - -9. Solve k + 0*k - z = 0 for k.
1
Let d be 0/(1 + 2) - -1. Let y = 1 + d. Solve 1 = v - y*v for v.
-1
Let d(j) be the second derivative of 2/3*j**4 - 1/6*j**3 - 2*j + 0 - 1/20*j**5 + 4*j**2. 