2*m - 2. Let t be b(d). Solve t*q + 0*q - 16 = 0 for q.
4
Let k(f) = -f**3 - f**2 + 2*f - 1. Let a be k(-2). Let n be (2 + -1)*a + 5. Solve -2*y + 0 = -n for y.
2
Let v(a) = -a**3 + a + 12. Let f = -3 + 3. Let t be v(f). Suppose 3*c - 24 = t. Solve -3 = -3*s + c for s.
5
Let u be 1 - (-1 - (-1)/1). Let n be 5 + (-9)/3 + 8. Let j be n*(-3)/(-12)*2. Solve 4*f - u + j = 0 for f.
-1
Let s be 33/12 + (-3)/4. Solve -s - 10 = -4*g for g.
3
Let y = 38 - 31. Solve 0 = -y*o + 2*o + 25 for o.
5
Suppose 3*n = -5*v + 37, 0*v - 2*n + 33 = 5*v. Solve 0 = v*o - 13 - 12 for o.
5
Let v = -1 - -5. Let r = 34 - 21. Solve 0 = -3*t - r + v for t.
-3
Let l(f) = f - 5. Suppose -3*b - 3*i = 3, -4*b + 3*i = -3*b - 7. Suppose -g + 8 = b. Let d be l(g). Solve 0 = -d*o + o + 5 for o.
5
Let q be 0/(-3)*1/2. Solve n - 6 + 3 = q for n.
3
Let t be (-8)/(-6)*(-45)/(-10). Solve 0 = -4*p - t + 2 for p.
-1
Suppose 0 = 5*u + 2*n - 15, 0 = u - n - 0*n - 3. Solve -u*l + 5 - 17 = 0 for l.
-4
Suppose -2*g + 3 = -3, -4*x = g - 23. Solve -2 + 12 = x*s for s.
2
Let u(n) = -n**2 + 4*n + 1. Let r be u(4). Let o be (-26)/30 - 32/240. Let k be 1 - o - r - 1. Solve k = -5*a + 3*a - 6 for a.
-3
Let s be (-1)/3 + 156/9. Let o = 17 - s. Solve o = 4*i + i + 10 for i.
-2
Let j = -39 + 40. Solve -j - 8 = -3*u for u.
3
Let c = -2 - -2. Suppose k = 4*k + 9. Let m(w) = w**3 + 3*w**2. Let u be m(k). Solve u = -c*y + 4*y - 20 for y.
5
Suppose t - 3 = -4. Let o(j) = 11*j**2 - 1. Let s be o(t). Solve -2*y = -0*y + s for y.
-5
Let u(m) be the first derivative of -m**3/3 + 4*m**2 + 13*m - 3. Let r be u(9). Solve 4 = 2*g - r for g.
4
Let r be 2 - 3*(-6)/(-9). Solve -2*m + 4 = -r*m for m.
2
Let n = -30 - -38. Solve 6*d = 2*d + n for d.
2
Let f(y) be the third derivative of y**5/60 + y**4/12 - y**3/6 + 4*y**2. Let w be f(1). Solve -w*d = -9 + 3 for d.
3
Let y be (432/(-84))/(4/(-14)). Let o be ((-2)/(-3))/(y/54). Solve 0 = -o*h - 4 - 4 for h.
-4
Suppose 4*o + 4 = -4*m, -4*m = -2*o - 2*m + 14. Solve o*c - 4 - 2 = 0 for c.
2
Let t(n) = n**3 - 16*n**2 + 15*n + 4. Let v be t(15). Solve -v*k - 18 + 2 = 0 for k.
-4
Let p be 1 - 1 - (-7 - 3). Suppose v - x - p = x, 0 = -4*v - 2*x. Solve 7 = 5*a + v for a.
1
Let o(p) = -2*p**3 + 3*p**2 + 4*p - 4. Let i be o(3). Let g be -4 - (3 + i)*1. Solve 0 = 4*a - g for a.
3
Let d(l) be the first derivative of l**2/2 + 10*l + 1. Let k be d(-7). Solve 0*f - 6 = -k*f for f.
2
Let b(v) = v**2 - 3*v - 19. Let w be b(8). Solve -3*d - w = -9 for d.
-4
Let m = -10 - -13. Solve -2*c - m*c = -15 for c.
3
Let s be 2 - (1 + -2)*79. Let o = -56 + s. Suppose -7*d = -2*d - o. Solve -5*z + 0*z - d = 0 for z.
-1
Let y = 1 + 1. Let r = y + 1. Suppose k - 4 = -k. Solve -r*f - k = 4 for f.
-2
Suppose 3*n = f + 4, 8 = 2*n + 2*n - 4*f. Suppose -2*z + 3 = -n. Solve -r + z - 1 = 0 for r.
1
Suppose 2*p - 8 = 6. Suppose 0 = 4*a - 5 - p. Let d = a + -1. Solve -d*l + 4 = -6*l for l.
-1
Suppose 7*w = 2*w + 15. Let j be ((-14)/2 - w)/(-2). Let b = -4 + j. Solve -b = 2*q - 3*q for q.
1
Let b(m) = m**3 + 7*m**2 - 4*m - 3. Let z be b(-7). Solve -4*l = l + z for l.
-5
Let a(s) = -s**2 - 9*s + 2. Let h be a(-9). Suppose 4*k = 2*l, 3*l - h*l - 3*k + 1 = 0. Solve 4*w = 10 - l for w.
2
Suppose -3*d + 3 + 54 = 0. Let g = d - 19. Solve g*v + 4 = v for v.
4
Let w = -7 - 2. Let g(s) = -s - 5. Let n be g(w). Solve 2 = 2*l - n for l.
3
Let r(q) = 2*q + 4. Let c be r(4). Solve 6*y = 3*y - c for y.
-4
Let w be (-22)/33*-1*3. Let x = 3 - 0. Solve -x*o - 2 = -w*o for o.
-2
Suppose -3*j = 2*j - 5*x + 25, 0 = -3*j + 2*x - 16. Let o = -4 - j. Suppose -10*c + 14*c = 12. Solve -1 = o*u + c for u.
-2
Suppose 3*p + 20 = 4*d, d + d = -5*p - 16. Suppose 0 = 3*t - 5*z - 8, d*z - 4*z - 5 = -3*t. Let h be -4*-2*t/2. Solve 5*b + 1 + h = 0 for b.
-1
Let j(r) = -r + r - 5 - 2*r. Suppose 3*f = -3*m, 4*m - 32 = 3*f - m. Let h be j(f). Solve 0 = q - 0*q + h for q.
-3
Let y(u) = u - 8. Let p be y(8). Solve -2*t + 2 = -p*t for t.
1
Suppose 5*n - 40 + 15 = 0. Suppose 8 + 7 = n*z. Solve 0 = -0*g - g - z for g.
-3
Let i be 4/(-22) + 2/11. Solve 0 = k - 5 - i for k.
5
Let c = 4 - -11. Let j = c - 14. Suppose -f + 26 = -5*g, 0*f - 3*g - 19 = -4*f. Solve p = -f - j for p.
-2
Let h be 2 - (1 + (-6 - 2)). Suppose 3*l - 3*s = -s + 6, l + 3*s + h = 0. Solve 3*i + i + 8 = l for i.
-2
Suppose 0 = 2*d + d - 12. Suppose 0*s = -2*s - 4*b + d, 3*b = -2*s + 5. Solve -s*z - 6 = 2 for z.
-2
Suppose -5*t = -6*k + 2*k - 264, 2*k + 262 = 5*t. Let y be (-6)/(-21) + t/14. Suppose 0 = -3*j + j + y. Solve j + 3 = 5*r for r.
1
Let f(b) = -b**2 + 11*b + 8. Let m be f(10). Let d be 1/(((-15)/m)/(-5)). Let u = 8 - 5. Solve 3*y + u - d = 0 for y.
1
Let q = 18 - -42. Suppose c = b - 4*b + 82, 2*c = -2*b + q. Suppose 19 + b = 3*v. Solve u = -4*u + v for u.
3
Let p be (4 - -1)/(-3 - (-7 + 3)). Solve -p*j + j = -8 for j.
2
Let d = 25 - 22. Solve c - d = -0 for c.
3
Let m be 34/6 + (-4)/6. Let z = 7 + -8. Let v = m + z. Solve 3 = v*f + 7 for f.
-1
Let b be (2 + -3 + -2)/((-6)/16). Solve -5*y - b = -3 for y.
-1
Suppose -50*z + 42*z = -8. Solve 0 = 5*l - z - 9 for l.
2
Let k(d) = 15*d + 13. Let l(b) = 7*b + 6. Let f(v) = 6*k(v) - 13*l(v). Let g be f(0). Solve g = 3*r - 8*r for r.
0
Suppose 4*x - 101 = 5*z, -4*x - 2*z = 17 - 139. Suppose 5*v = x - 4. Suppose -3*t + 3*c = v*c - 24, -3*c = -4*t + 32. Solve 4*k = -0*k - t for k.
-2
Suppose -4*j + 2*j + 12 = 0. Suppose j = 2*b - 0*y + y, -4*b - y = -14. Solve 0 + b = 2*l for l.
2
Let c be (0 - 2)/(-9 + 10). Let o be (-3)/(c + (-2)/(-4)). Solve m - o*m - 4 = 0 for m.
-4
Let b = -137 + 152. Solve -c + 6*c = -b for c.
-3
Suppose 7*d - 29 = 55. Solve d = 3*f + f for f.
3
Suppose -3*q + 1 + 8 = 0. Solve 12 = -0*t + q*t for t.
4
Let m be ((-2)/1)/(-1)*-4. Let c be 8/2*(-10)/m. Solve 0 = -b - c + 3 for b.
-2
Suppose p - 5*b + 5 = 0, -p - 5*b + 5 = 3*p. Suppose 4*j - 16 = -q, p = 5*q + 3*j + j - 16. Solve q = -f - f + 2 for f.
1
Let t be 0 - (-4 - -4) - -2. Solve 6 = 4*j - t*j for j.
3
Let t(y) = -y**2 + y. Let n(h) = 6*h**2 + h. Let r(j) = n(j) + 5*t(j). Let p be r(-6). Suppose -v - d + 2*d + 2 = p, 0 = -2*d + 4. Solve -9 = b - v*b for b.
3
Let j = -5 - -6. Solve -2*i + j = 7 for i.
-3
Let z(f) = f + 2. Let l be z(-2). Suppose l = -3*g - 0*g + 18. Let r(q) = q**2 - 6*q. Let t be r(g). Solve -3*m + m + 10 = t for m.
5
Let m = -11 - -16. Suppose -2*a = -m*a. Solve a*j + 2*j = -2 for j.
-1
Suppose 5*y = -8 + 63. Suppose -3*z + 4 = -y. Solve 0 = 3*n + 1 + z for n.
-2
Let p be (0 + 0)/(7 + -8). Suppose 2*o + p*o - 30 = 0. Solve 0*c - o = -5*c for c.
3
Let b = 0 + 10. Suppose -2*a + 2 = -6. Solve -a*h = -9*h - b for h.
-2
Suppose -c + 12 = 5*b, -b + 2*c = 4*c + 3. Let r = b + -3. Solve r*n - 2*n - 4 = 0 for n.
-2
Suppose 0 = 8*n - 13 + 5. Solve -c = 3 + n for c.
-4
Suppose 3*c + 42 = 5*c. Suppose l + c = 8. Let q be (-63)/l - (-10)/65. Solve q*v - 4 = 1 for v.
1
Let s(z) = -z**3 - 2*z**2 + z + 2. Let n(g) = g - 8. Let o be n(6). Let t be s(o). Solve 8 = -2*y - t*y for y.
-4
Let n(s) = 2*s - 2. Let h be n(2). Suppose h = y - 0. Solve -w - 3 = y for w.
-5
Suppose 0*l - 4*l + 16 = 4*v, -2*l = -4*v + 16. Let h = 17 - 12. Let g be (-2)/(-8)*h*4. Solve g - 1 = -v*q for q.
-1
Let b = 9 + -7. Suppose -3*k = 4*p + b*k - 2, 0 = -3*k - 6. Solve 3 = -p*j - 0*j for j.
-1
Let o(i) = 2*i - 8. Let j be o(9). Let x(b) = -b**3 + 2*b**2 + 4*b - 3. Let g be x(3). Solve g = 5*v - 0*v + j for v.
-2
Let w = 0 - -4. Suppose c + 50 = 3*c. Suppose w*d - c = -d. Solve -3*f - d + 2 = 0 for f.
-1
Suppose -2*d - 4 = j, -4*d = -3*j - 0*d + 28. Suppose j*t - 7 = 1. Suppose -4*m + 1 + 7 = 0, 4*r - 20 = -t*m. Solve -6 = r*q - 2*q for q.
-3
Let d(g) = g - 2. Let p be d(2). Solve p = 3*r - 6*r for r.
0
Let h be (8/10)/((-4)/50). Let v = -11 - -29. Let j = v + h. Solve -x = x + j for x.
-4
Suppose 3*q - 3*f = 9, 2*q + 6 = -2*f + f. Suppose -3*b - 7 = -2*a + 2, 25 = 4*a + b. Let i be 33/a - q/2. Solve 0 = -o + 4*o + i for o.
-2
Let v be (-12)/(-30) + 4/(-10). Solve v = -c + 3*c for c.
0
Let z(x) = -x**3 - 13*x**2 - 13*x - 9. Let v be z(-12). Suppose v*u - 13 = 5. Solve 12 = u*o - 2*o for o.
3
Let f(w) = w**2 - 12*w - 11. Let m be f(13). Solve -c + 6 = m*c for c.
2
Suppose -b = 2*p - 10 - 1, -5*b + 2*p = -7. Let h(f) be the first derivative of -f**2/2 + f - 1. Let z be h(-3). Solve -z