3
Let b be (-1)/(-3) - 19/57. Solve -4*c - 4 - 8 = b for c.
-3
Let q = 3 - 1. Suppose 0 = -3*h - h - 24. Let u be ((-2)/h)/(2/12). Solve r = u + q for r.
4
Suppose 6*b - 2*b - 12 = 0. Suppose -b*o + 2*o = -5. Solve -2*g + o*g + 6 = 0 for g.
-2
Let h be (-6)/((-12)/4) - -1. Suppose -h*m = 2*m. Solve 4*w = -m*w - 12 for w.
-3
Let p(y) = y - 6. Let q be p(8). Suppose -u + q = -6. Solve -f - 3*f = -u for f.
2
Let g = -30 - -30. Solve g = -2*h + 3*h for h.
0
Suppose -2*u - 2 + 12 = 0. Solve u - 1 = w for w.
4
Let t be (1 - 4/3)*-15. Let l = 8 - t. Suppose -l*b = -b - 2. Solve k = -b - 0 for k.
-1
Let l(k) be the third derivative of -k**5/60 - k**4/3 - 7*k**3/6 - 3*k**2. Let g be l(-7). Solve -p - p = g for p.
0
Let t be (-8)/(-40) + (-14)/(-5). Solve t = k - 0*k for k.
3
Suppose 0 = 4*z + 4*l + 9 - 53, -l = -2*z + 10. Let j(n) = 3*n**2. Let o be j(-1). Solve 0 = o*a - z*a + 20 for a.
5
Suppose -3*l - 2*i = -6*i - 19, 4*l - 34 = i. Solve 5*x = 2*x - l for x.
-3
Let r(f) = 5*f - 7. Let m(z) = -6*z + 7. Let y(q) = -6*m(q) - 7*r(q). Let a be y(-3). Suppose -a*s - 4 = -2*x - 2*s, 4*s = 0. Solve c = 2*c + x for c.
-2
Let g(n) = -n**2 + 5*n + 4. Let v be g(5). Let t(u) = u**2 - 2*u - 3. Let x be t(v). Suppose 4*q - 20 = -x*a - 4, 3*a = 2*q - 8. Solve a = 4*o + 5 + 15 for o.
-5
Suppose 3*q + m = 2*m + 39, 5*m + 3 = -q. Solve 3 = 5*x - q for x.
3
Let w(g) = g + 1. Let c(o) = o + 5. Suppose -1 = t + 3. Let y be c(t). Let b be w(y). Solve -11 = b*l - 1 for l.
-5
Let m = 184 - 94. Let n be 438/m + 2/15. Solve -2*v + 3*v = n for v.
5
Let j(h) = -h**3 + 13*h**2 - 11*h + 18. Let k be j(12). Solve 5*c + k - 5 = 0 for c.
-5
Let i(s) = s + 2. Let x be i(-2). Solve 4*g - 2 - 18 = x for g.
5
Suppose -2*j + 15 = 3*j. Solve 5*w - j = -13 for w.
-2
Suppose 0 = 4*j + 4*z - 20, 2*j = -0*j + 5*z - 4. Let u be j - 1 - 8/(-2). Let n = u - 2. Solve -2*i = -3*i + n for i.
4
Let d = 27 + -12. Suppose 9*f + d = 12*f. Solve 2*b - 3 = f*b for b.
-1
Let i(k) = 1. Let w(b) = -b - 17. Let g(x) = 6*i(x) + w(x). Let s be g(-16). Solve -s*z - 8 = 2 for z.
-2
Let b be ((-16)/(-4))/2 + 0. Let y be (2/(-2) - -1)/2. Suppose y = b*r + m - 1, -4*r + 0*m - 2 = -2*m. Solve -c + r*c - 3 = 0 for c.
-3
Let k be ((-1)/1)/((-3)/27). Solve -7 - k = -4*w for w.
4
Let y = 24 + -24. Let l be (y - 7)*(-1 + 0). Solve -3 = -5*z + l for z.
2
Suppose 5*b = 3*b - 2. Let h be (b/(-3))/(2/30). Solve -21 + 1 = -h*p for p.
4
Suppose j = 3*j. Suppose -63*c + 60*c + 15 = 0. Solve j = 2*p - c*p - 12 for p.
-4
Let j(w) = -w**3 + w**2 - 5. Let a be j(0). Let n be (4/a)/((-1)/25). Solve -n = 3*t + t for t.
-5
Suppose -4*n = 6 + 6, d - 16 = 4*n. Let z = 4 - d. Solve -s = -z*s + 3 for s.
-3
Suppose 3*a - 13*a + 40 = 0. Solve 0 = -9*b + a*b - 5 for b.
-1
Let o = -2 + 4. Suppose 0 = 8*g - 10*g. Solve v - o*v = g for v.
0
Suppose 3*n - 6 = -y, 3*n - 7*y = -5*y + 15. Solve 4*o - n*o = 0 for o.
0
Let a(i) = i**3 - 3*i**2 - 1. Let l be a(4). Suppose -5*p + 4*u - 293 + 39 = 0, 2*p + 95 = -5*u. Let q be (-1)/(-5) + 10/p. Solve q = -4*h + h - l for h.
-5
Let y = 2 - 2. Let z be y + 2 + -4 - -4. Solve -z*p = p - 6 for p.
2
Let b be 2/(-6)*(-4 + -5). Solve -2 = b*u + 4 for u.
-2
Let k(a) = 16*a**3 + 2*a - 1. Let h be k(1). Let j = -50 + 54. Solve j*q = 3 + h for q.
5
Suppose -2*l = -3*t - 0 + 8, 2*t = -5*l + 18. Suppose -2*r = t*v - 0*r + 32, -2*v + 4*r + 4 = 0. Let o be (2 - (-14)/v)*-6. Solve 3 = -j + o*j for j.
3
Let o(p) = p**3 - 3*p**2 - 4*p. Let v be o(4). Solve 4*l - 3*l + 4 = v for l.
-4
Let f = 9 + -5. Let n = 1 - -3. Let c(a) = 2*a - 5. Let h be c(n). Solve -f*x - 17 = h for x.
-5
Let y(w) = -w - 1. Let o be y(-5). Let c be ((-2)/(-4)*0)/(-2). Suppose -5*l + 1 + 4 = c. Solve l = o*z + 9 for z.
-2
Suppose 3*r - 2 = 7. Let v be 0/(-2 - (2 - r)). Solve b - 1 + 3 = v for b.
-2
Suppose 0 = 2*t - 0*t + 5*a - 11, -4*t = -3*a - 9. Let z be (3 + (-12)/t)*-3. Solve -7*i = -z*i for i.
0
Suppose 3*t + t = 0. Suppose -4*s = -g - 17, 5*s + t*g = 5*g + 25. Solve 0 = -2*j - s for j.
-2
Let t be (-45)/(-10)*(-2)/(-3). Suppose t = 3*c - 2*c. Solve -c*p = -p for p.
0
Let o = -13 - -4. Let s = o + 11. Suppose 0*a = a. Solve 0 = i + s - a for i.
-2
Let b = -9 + 16. Suppose 119 = 4*p - w, -4*p - 3*w - 87 = -b*p. Solve -4*i = -10 + p for i.
-5
Let t = 3 + 1. Suppose -4*d = -0 - t. Let i = d + -1. Solve i*l - 20 = 4*l for l.
-5
Suppose 5*b = 2*m - 3*m + 13, -5*b = 5*m - 25. Let v be 1 - (2 + -4) - 1. Let p = 2 + v. Solve m*o + 4 = p*o for o.
4
Suppose 5*u + 5*o + 15 = -10, 20 = -4*o. Suppose 0 = 3*g - 4*g - 2. Let h = 2 + g. Solve 2*f + u*f - 6 = h for f.
3
Let u(g) = 8*g**2 + 46*g - 7. Let y be u(-6). Solve 2*c - 6 = y*c for c.
-2
Let l = 34 - 25. Solve 3*n + l = 24 for n.
5
Suppose 0 = -5*a + d + d + 148, -a + 2*d = -28. Suppose -4*t - t = -a. Solve 0 = -5*j - t - 19 for j.
-5
Let o = 0 - 7. Let j = -6 - o. Suppose f - 3*f = 2*h, 0 = -3*h - f + 2. Solve h = a - j for a.
2
Let t be 0 + -1 - 1*-9. Let s = t - 8. Solve u = -s + 4 for u.
4
Let p = 4 - 0. Solve 9*h + 10 = p*h for h.
-2
Let n be (-16)/6*(-21)/14. Let m be ((-8)/16)/((-1)/n). Solve 0*c - m = -2*c for c.
1
Let a(n) = n**2 + 12*n - 6. Let c be a(-13). Suppose -c*k = -4*k. Let q be 5 - 0/(-2 + 0). Solve k = q*u - 7*u - 8 for u.
-4
Suppose -j - 5*n = -1 - 2, 50 = -2*j + 4*n. Let l = j - -17. Solve -d + 1 = -l for d.
1
Suppose -5*k + 2*w - w + 14 = 0, -4*w = k + 14. Suppose -k*b = -4*b + 4. Solve -2 = 2*n + b for n.
-2
Let h(z) = z**3 + 5*z**2 - 8*z - 8. Let y be h(-6). Let v = -3 - -3. Solve -y*b = -v*b + 8 for b.
-2
Suppose -2*a + 40 = 3*a. Suppose a*k - 12 = 6*k. Suppose 4*v - 4 = 4*u, 4*v - k*v - u = -17. Solve -v = y + y for y.
-3
Let u be (12/15)/(2/10). Solve 0 = -4*c + 2*c - u for c.
-2
Let o(i) = i**3 + 3*i**2 + i - 2. Let w be o(-2). Suppose -25 = -5*y - 5*n - w*n, 5*y + 4*n = 22. Suppose 0 = y*m - 5*m. Solve 2*f + 0 + 6 = m for f.
-3
Suppose 5*k = 4*k - 8. Suppose 0 = -4*m + 4 + 4. Let y be m*2/k*-6. Solve -y*t = -4 + 13 for t.
-3
Suppose 36 = -0*b + 4*b. Suppose 5*l = 24 - b. Solve 2*r - l = 5 for r.
4
Let h = -13 - -18. Let n = 22 - 19. Let x = h - n. Solve 0 = 2*a - 2 - x for a.
2
Suppose 3*h = -v + 5, -v + 4 = 2. Let g be h*0/(-5 + 2). Suppose g*b + b = 8. Solve b*p - 3*p = -5 for p.
-1
Let i be -3 - -3 - (-1 - -1). Let v = 2 - i. Let k = 2 - v. Solve -d = -k*d - 3 for d.
3
Let j = 43 + -43. Solve j = 4*q - 0*q + 4 for q.
-1
Let p be (-7)/(8/(-7) - 1/(-7)). Solve -2*i - p - 3 = 0 for i.
-5
Let d(i) = i**2 + 9*i - 8. Let y be d(-10). Solve -10 = -4*l - y for l.
2
Let n be 3/(-3)*1*0. Suppose -5*k + 20 = -3*p - 19, n = -5*k - p + 27. Suppose -2*d + 10 = -l, k*d - 2*d = -5*l + 20. Solve -d*w - 4 = -w for w.
-1
Suppose -17*c - 45 = -20*c. Suppose 0 = q - 4 - 1. Solve c = -2*r + q for r.
-5
Suppose -2*j + 3*j - 8 = 0. Solve -3*n = -j + 2 for n.
2
Let n be 4/14 - (-23)/(-7). Let j(d) = 2*d - 2 - 1 + 2 + d**2. Let x be j(n). Solve x*r + 0*r - 4 = 0 for r.
2
Let v(k) = -k + 13. Let r(p) = p - 4. Let f be r(15). Let y be v(f). Solve -4*g = -y*g - 10 for g.
5
Let s be (-42)/(-8) - (-3)/(-12). Suppose -3*a = 2*l - 25, -s*l + 4*a = -l. Solve 0 = -i + l*i for i.
0
Let o(y) be the third derivative of y**5/60 - 5*y**4/24 - y**3/3 - 3*y**2. Suppose 15*q - 30 = 10*q. Let f be o(q). Solve -x = -2*x + f for x.
4
Let r(k) = 4*k**3 + k**2 - k + 1. Let n be r(1). Solve 0 = 2*l - 1 + n for l.
-2
Let u(w) = -20*w**3. Let l be u(-1). Let n be (-17)/(-5) - (-12)/l. Solve n*x = -8 - 8 for x.
-4
Let b(s) = -s. Let q(a) = 10*a + 1. Let w(l) = -4*b(l) - 2*q(l). Let o be w(-1). Solve 3*r - o + 2 = 0 for r.
4
Let x be 25/2 - (-4)/(-8). Suppose 4*n = x, -2*v - v - n = -9. Solve -m - m = -v for m.
1
Let n = 17 - 17. Suppose 0 = -s + 5, 3*u - 4 = s - n*s. Solve 4 = -u*t + 16 for t.
4
Let o(g) = g + 8. Suppose -2*k + 24 = -6*k. Let s be o(k). Suppose -2*c + 1 = -4*c + z, 4*z = 4. Solve c = s*r + 2 for r.
-1
Suppose d + 0*d = 0. Let l(g) = -2*g. Let t be l(-1). Let q = t - d. Solve 3 + 3 = q*b for b.
3
Let m be -5 + 3 - (0 + -4). Solve 0 = -q - 0*q + m for q.
2
Suppose -44 - 20 = -8*d. Solve -3*i = -d*i + 5 for i.
1
Let s(i) = i**3 - 14*i**2 + 13*i + 4. Let r be (78/24)/((-2)/(-8)). Let a be s(r). Solve -3*x + 1 - a = 0 for x.
-1
Suppose -6*h - 4 = -5*h. Let m be 0 + 1 - (h + 4). Let c be (-5 + -4)*1/(-3).