3*y + 1. Let h be v(3). Let b be c(h). Solve 3 = -3*w - b for w.
-5
Suppose 1 = 5*a - 9. Suppose 3*j - 5*j = 4. Let z be (-2)/j - 3 - -7. Solve z*q - 12 = a*q for q.
4
Let w(a) = a. Let g(x) = x + 11. Let n be g(-5). Let l be w(n). Solve 0 = h - l*h - 15 for h.
-3
Let j = -2 + 2. Let y be 1 + 2 + -1 + j. Let f be ((-24)/20)/(y/(-5)). Solve -10 = -8*s + f*s for s.
2
Suppose -5*s = -7*s. Let x be -2 - s/(5 + -2). Let d(j) = j**2 + j - 2. Let c be d(x). Solve c = 2*h - h for h.
0
Suppose 2*q = 7*q - 35. Let r(a) be the first derivative of -a**3/3 + 3*a**2 + 7*a - 1. Let d be r(q). Solve -i - 4*i + 10 = d for i.
2
Suppose -o = n - 15, 4*n = -5*o - 0*n + 77. Let g be 3 - (0 + (-1 - -1)). Solve g = 4*k - o for k.
5
Let j be (-14)/(-63) - 34/(-9). Suppose -k - j = -2*k. Solve 0 = -0*m - 2*m + k for m.
2
Let a(y) = 7*y - 3. Let q be a(-1). Let b = 8 + -21. Let n = q - b. Solve -n*w = -0*w for w.
0
Let y be -2 + 4*(-1)/(-2). Let l be (8/(-6))/(4/(-6)). Let h = l - y. Solve -1 - h = u for u.
-3
Suppose 0 = -c - 4*o + 18, c + 15 = o + 43. Let t(s) = s**3 + s**2 - 1. Let i be t(-1). Let n be c/8 + i/4. Solve 2 + 4 = n*p for p.
2
Suppose -3*c + 10 - 1 = 0. Solve c - 2 = -z for z.
-1
Let v = 10 - 4. Suppose 0*i = 2*i - v. Solve 2*c + 1 = -i for c.
-2
Let x be ((-6)/5)/(3/(-10)). Let f(o) = -o**3 - 2*o**2 + 3. Let r = 7 + -10. Let l be f(r). Solve -4 + l = x*s for s.
2
Suppose 2*i = -4*g + 14, -4*g + 2*g + 19 = 5*i. Solve -3*d + g = -13 for d.
5
Suppose 5*p = 5*i + 15, 2*i + 8 = 2*p + i. Suppose 5*u - p = 4*z, -z + 3*z + 4*u = 4. Suppose z = 2*h - 7 + 1. Solve -h*m - 2 = -m for m.
-1
Suppose 3*u = -2*o - 4 + 5, 4*o - 9 = u. Solve o*x + 9 = -x for x.
-3
Let c be 2/(56/(-20) + 3). Suppose -2*r = 2*y - r, -y - c = 3*r. Solve 5 = -y*u + 1 for u.
-2
Let o = 60 + -48. Solve -2*l + 4 = o for l.
-4
Let z(q) = -q + 2. Let j be z(0). Suppose -2*r + 0*p + 44 = -j*p, 5*r - 4*p - 115 = 0. Let n be r/4 + 9/36. Solve -2*k + n = -1 for k.
4
Let j be (-10)/(-4)*2*1. Suppose -5 = d - 4*m + 7, -5*d - j*m = -15. Suppose -33 = -3*a + 3*o, -4*a + d*o = -5*o - 48. Solve 0 = -2*x + a*x + 10 for x.
-2
Let f be (-3 + 2/4)*-2. Suppose f*n + 0 = 10. Solve -3*s - n = -2*s for s.
-2
Let d be 0 + (3 - (0 + 3))/(-1). Solve -2*j = -d + 8 for j.
-4
Let m(d) be the first derivative of 5/2*d**2 - 2*d - 1. Let a be m(2). Solve -5*i + a = 28 for i.
-4
Let j = 5 + 0. Solve 0*p - j*p + 15 = 0 for p.
3
Let j(x) = -3 + 5 + 5*x + 0*x - 18. Let u be j(12). Suppose -10 = 3*g + 5*b - u, g + b = 8. Solve 4*t - 1 - g = 0 for t.
1
Let i = -54 + 38. Let k = 19 + i. Solve -k*n = -0*n + 6 for n.
-2
Let y = 21 + -21. Solve -2*p = -y*p for p.
0
Suppose 3*h - 11 = -5. Solve 0*a = h*a - 2 for a.
1
Suppose -2*o + 4 = -5*d, -5*o + 13 - 3 = 5*d. Let w(a) = a - 7. Let g be w(7). Solve -3*t + d - 6 = g for t.
-2
Let u = -4 + 7. Let d be (26/u)/(12/18). Solve d - 5 = -4*t for t.
-2
Let m = -15 + 6. Let s be 16/3 + (-6)/m. Suppose -a + 0*a = -4*z + 26, -s = 3*a. Solve 4*w - 2 = z for w.
2
Let x be (2/(-6))/((-2)/18*1). Solve -2 = -x*r + 4*r for r.
-2
Let f(l) = -l**2 - 5*l + 4. Let d be f(-4). Let b be (-3)/(-2)*d/6. Suppose 2*o + b*o = 12. Solve -o = v - 0*v for v.
-3
Let w = 4 + 1. Suppose -5*i + 3*y - w = 0, y = -y. Let a be (-8)/(i*2) + -2. Solve -c = a*c for c.
0
Let n = -27 + 36. Solve -1 + n = -4*d for d.
-2
Let z be (-26)/(-10) + (-6)/(-15). Suppose -3*r - 9 = -z*t, 4*t - 9 = t + 2*r. Let c(k) = -k + 5. Let f be c(t). Solve -6*l + f*l = 20 for l.
-5
Let k = 47 + -76. Let d be (-4)/18 - k/9. Suppose 14 = 8*u - u. Solve 0 = -d*y - u - 1 for y.
-1
Let j(s) = 2*s - 12. Let o be j(7). Let g = 10 + -6. Let a = 6 - g. Solve -o - 4 = a*w for w.
-3
Let q(x) = x**3 - 11*x**2 - x + 13. Let b be (-256)/(-24) + (-2)/(-6). Let c be q(b). Solve -2*t - c*t = 0 for t.
0
Suppose -9*b + 11 + 25 = 0. Solve 2*j + 0 = b for j.
2
Let w be (-5)/(0 - (1 - 0)). Let x(z) be the third derivative of z**5/60 + z**4/4 + z**3/2 + 2*z**2. Let t be x(-6). Solve 0 = w*c - t*c for c.
0
Suppose 16 - 18 = -j. Solve o = -j*o for o.
0
Let n(u) = 11*u. Let y be n(1). Let i = y + -7. Let o = 4 + i. Solve 0*z = -4*z - o for z.
-2
Suppose 4*x = 5*k - 66, -2*k + 19 = x + 3. Let r be (-5)/k*(-1 + -1). Let u be 3/((-2)/(4/(-3))). Solve -u*v + r = 7 for v.
-3
Let k be (3/4)/((-1)/(-4)). Let a = 3 + 0. Suppose 10 + 5 = a*p. Solve p = 2*w + k for w.
1
Let h(p) be the second derivative of p**5/20 - 7*p**4/12 - p**3/6 + 9*p**2/2 + 3*p. Let u be h(7). Solve -g + 4 = -u*g for g.
-4
Let g = 8 - 5. Suppose -s = -g - 2. Let k = 29 + -27. Solve k*i = -3*i + s for i.
1
Let g = -208 + 218. Solve 2*x + g = -0 for x.
-5
Suppose 0*v - 3*v = 0. Suppose 2*h - 1 = -5*l - h, v = -2*h - 6. Suppose 12 = 3*w, l*w - 36 = -5*r - 2*w. Solve -r*y + 0*y = 20 for y.
-5
Let d(k) = k**2 + 7*k + 4. Let m be d(-5). Let t = -4 - m. Let h be (9/(-5))/((-1)/5). Solve h = -t*l + 1 for l.
-4
Suppose 3*g = g. Suppose t - x - 1 = g, -4*x - 1 = 5*t - 3*x. Solve b - 2*b = t for b.
0
Let i(c) = -c + 2. Let m be i(4). Let q = 5 + m. Solve q*g + 15 = -0*g for g.
-5
Let j = 2 + 3. Let i = 5 + -4. Solve j*h = i + 14 for h.
3
Let c(y) = -y**2 - 5*y. Let d be c(-5). Let m be 7 + (d + 3 - 1). Solve -5*p - 1 - m = 0 for p.
-2
Suppose 0*o = -o + 1. Suppose 24 = 2*u + 5*z - o, 4*u - 42 = -2*z. Let j be (2/(-6))/(2/(-24)). Solve 6*b + u = j*b for b.
-5
Let a(p) = p**2 + p - 7. Let j be a(-4). Solve 4*s - j - 15 = 0 for s.
5
Suppose 0*u = -2*u + 48. Suppose 0 = -5*v - 2*t + u, -2*v = v + 2*t - 12. Solve -k - v = k for k.
-3
Let m = 4 - 5. Let u be (1 - 1) + (-16)/m. Suppose -6 = 2*t + 3*g, 4*g = 4*t - 44 + u. Solve i = -t*i for i.
0
Let x(u) = -u**2 + 6*u + 8. Let t be x(7). Let y be (10 - (-3 + 0))/t. Solve -4*r + y = 1 for r.
3
Let m be -1*(-1 + -2) - 1. Solve 5*x = 8 + m for x.
2
Let g = 5 - 4. Let p(z) = z**3 + 8*z**2 + 6*z + 2. Let f be p(-7). Let n = -7 + f. Solve -n = 3*r + g for r.
-1
Let x = -27 + 27. Solve -4*j + x*j = 16 for j.
-4
Let r = 0 + 0. Let g be (-7)/(126/(-30))*(-12)/(-10). Solve r = -h + g - 6 for h.
-4
Let s = 140 - 80. Let a be 4/6 + s/18. Let w be a/6 + 32/6. Solve -w*m = -2*m - 20 for m.
5
Let h(k) = -k**3 - 7*k**2 - 2*k - 11. Let d be h(-7). Suppose 2*w = 6 - 0. Suppose -w*u = -4*u. Solve -3*v + 4*v + d = u for v.
-3
Let h be 28/(-20) - (-2)/5. Let q be (5 - (-1 - 3)) + h. Solve -3*w + q + 7 = 0 for w.
5
Suppose 36 = -0*r + 4*r. Suppose -4*f = -r*f + m + 24, -2*f = 3*m + 4. Solve 2*o = 4*o - f for o.
2
Let g = 40 - 30. Solve -2*t = 3*t - g for t.
2
Suppose -3*b - 2*c + 6 + 43 = 0, 5*b - 75 = -5*c. Let r = -17 + b. Solve -3*i + r*i + 1 = 0 for i.
1
Suppose -5*y - b = -0*y - 18, -3*y = 4*b - 4. Let t = 52 - 37. Solve 7*c = y*c - t for c.
-5
Let h = -10 - -26. Let z(t) = t + 4. Let y be z(h). Suppose 0 = -u - 5 + 13. Solve 4*v - u*v = y for v.
-5
Let u(v) = -3*v + 1. Let c be u(-1). Suppose 2*r = 3*s - 7*s - 16, -14 = 3*r + c*s. Solve 1 = r*w - 1 for w.
1
Let o be 1/1 - (1 - 3). Suppose 0 = o*t + 15, -4*j + 5*t + 31 = -2*j. Solve j*n + 2*n = -25 for n.
-5
Suppose -4*h - 4*w + 20 + 0 = 0, 5*h - 17 = 3*w. Solve h - 12 = -2*y for y.
4
Let b(g) = -g**3 - 7*g**2 + 6*g - 10. Let w be b(-8). Suppose -j - w = -3*j. Suppose -3*o + 3 = 3*c, 5*o + 0*o - 13 = j*c. Solve -6 + o = -4*r for r.
1
Let p = 10 + -6. Let n = -17 - -33. Let c = -6 - -11. Solve -c*v + n = -p for v.
4
Let v = 5 + -6. Let z be (3 - (3 + v))*4. Solve -b = b + z for b.
-2
Suppose 5*t + p = 5*p + 3, 15 = 5*p. Solve -c - 2*c = -t for c.
1
Let v(u) = u - 14. Let o be v(19). Solve -12 - 8 = -o*f for f.
4
Let i(u) = -u - 3. Let d be i(-8). Let j(l) = l**3 - 6*l**2 + 5*l. Let x be j(d). Solve x = -v + 1 + 3 for v.
4
Let u = -20 + 26. Solve 0 = u*p - 2*p for p.
0
Let j be 1 - 3*(-2)/(-6). Let u be -1 + (-5)/((-5)/4). Solve -t + j = -u for t.
3
Suppose 4*f - 5*p - 3 = 17, 2*p = 0. Suppose 0 = f*c + 5*i - 10, 0 = c + 2*i - 3 + 2. Solve -2*d = -3 - c for d.
3
Let m be 10/6*(-84)/(-70). Solve -4 = m*y - 0 for y.
-2
Let v(g) be the third derivative of g**4/24 + g**3/6 + 5*g**2. Let b be v(0). Solve i - 4 + b = 0 for i.
3
Let f = -18 - -10. Let u(k) = k**2 + 8*k + 8. Let p be u(f). Let t = 21 - 14. Solve -3*i - t = p for i.
-5
Let o = 2 + 0. Suppose 4*j - 12 = -0*j, 2*g = 4*j - 2. Let m be 2 + (-8)/(0 - -4). Solve -z + o*z - g = m for z.
