3/(-12)*2. Let k be (-3)/(-1) - (-5 - 2). Suppose -2*y + k = -2*b, -20 = -3*y + 2*b - 0*b. Solve 5*a + s = y for a.
2
Let d = 21 - 17. Let v be (-30)/(-1)*(-2)/(-5). Suppose -d*q = -q - v, 2*z - 16 = -3*q. Solve 2 - 12 = z*x for x.
-5
Let m(r) = -r**3 - 12*r**2 + 14*r + 17. Let v be m(-13). Suppose -d - 8 = 4*h, -5*d = -d - v*h - 8. Solve 5*p + 5 + 5 = d for p.
-2
Suppose -m - t - 3 + 4 = 0, -5*m = -4*t + 31. Suppose 6*k = k + 30. Let q = k + m. Solve q*s - 8 + 20 = 0 for s.
-4
Let v be 13/((-1)/(-1)) + 0. Let l be 0 + -1 + (17 - v). Solve 0*x - l*x = 15 for x.
-5
Suppose 2*c = 5*q - 87, 6*c - 80 = -5*q + c. Let x = q - 12. Solve x*y - 4*y + 4 = 0 for y.
-4
Let w be 10/(-40) + 315/12. Solve 5*n - 1 = -w for n.
-5
Let h = -2 + 4. Suppose 4*m + h = -x + 5, 4*x = -5*m + 12. Solve 5*c + m*c = -15 for c.
-3
Let w(b) = -b**3 - 7*b**2 + 7*b - 8. Let z be 4/6 - (-78)/(-9). Let q be w(z). Suppose -5*x = 5*d - 20, -5*x - 20 + q = -5*d. Solve x = r - 4*r + 6 for r.
2
Let g = 38 - 32. Solve 3*m - g = 5*m for m.
-3
Suppose -t + 3*t - 22 = 0. Suppose -z + 9 = -t. Solve 7*n - 3*n - z = 0 for n.
5
Let i(n) = -n**2 - 10*n - 1. Let u(x) = 2*x + 11. Let z be u(-10). Let h be i(z). Solve -4 = y - h for y.
4
Let w be ((-7)/4)/(1/4). Let z(y) = y + 9. Let p be z(w). Solve -3*m - p = 10 for m.
-4
Let p(k) = -3*k**2 - 3*k - 2. Let q be p(-3). Let v = -2 - q. Suppose 3*x + 8 = -2*a - 0, 5*x + v = -a. Solve n + 3 = a for n.
-1
Let v = 46 + -46. Solve -5*l + 24 + 1 = v for l.
5
Let l = 13 + -9. Solve 14 - l = -5*v for v.
-2
Let t = 58 + -42. Solve 0 = 4*v - 0 + t for v.
-4
Let p be (4/10)/(1/25). Let d = 12 - p. Let v = d + -1. Solve -v - 3 = -4*z for z.
1
Suppose -81*p = -76*p - 25. Solve p*f + 10 = 10*f for f.
2
Let n = -1 + 11. Solve -t = 4*t - n for t.
2
Let o be ((-40)/(-12))/((-2)/(-3)). Suppose -i + 0*i - 37 = 5*p, 0 = 5*p - 2*i + 46. Let u be -8*(28/p - -3). Solve u*b + o + 3 = 0 for b.
-2
Suppose -u = -2*u + 5. Suppose -u*f = 4*r - 11, 0*f + 7 = -r + 2*f. Let h be r + (0 - -1) + 6. Solve 5*j + 4 + h = 0 for j.
-2
Suppose 0 = -a - a. Suppose 4*p + 4*x + x = -17, p - 2*x - 12 = a. Solve 5*o - 13 = p for o.
3
Let c be 3*(-2)/15*-10. Suppose 4*t - 16 = -2*m, 3*m + c*t = 5*m + 16. Solve 5*k + m*k = 10 for k.
2
Let r = 15 - 5. Suppose r = -2*a + 5*c, 5*c - 10 = a - 0. Solve a = j + 4*j + 5 for j.
-1
Let b be ((-18)/18)/(1/(-8)). Solve b*x - 11*x = 0 for x.
0
Let f(w) = -w**3 - 7*w**2 + 8*w + 1. Let x be f(-8). Let y(b) = -b**2 - 2*b + 2. Let z be y(-3). Let r be 1/(1/(-13)*z). Solve 0 = -4*i - r + x for i.
-3
Let v(l) = 2*l**2 - 3*l - 3. Let z be v(3). Solve 3*q - z*q = 9 for q.
-3
Let p be (4 - (1 + 0))/(3 - 0). Solve -p = -5*w - 21 for w.
-4
Suppose -10 = 5*f - 4*i, i = -f - 1 - 10. Let c = -4 - f. Let w be (-6)/(-15) - (-36)/10. Solve -2*z - c - w = 0 for z.
-3
Let q be 15/(-6)*8/(-10). Let h(d) = d**2 - 2*d - 1. Let b be h(-1). Let j = b + 3. Solve 0 = f - q + j for f.
-3
Let q = 0 - -2. Let f(y) = -2 + 2 - q*y. Let s be f(-1). Solve -3*l - s*l = -25 for l.
5
Suppose -4*n + i + 6 = -11, 0 = -5*n + 3*i + 23. Let l(u) = -9 + 10*u + 1 - 4 - 8*u. Let z be l(11). Solve -2*s + n*s + z = 0 for s.
-5
Let t = 7 + -8. Let j = t - -5. Solve -j*p = -p for p.
0
Let p = 22 + -16. Let t = 1 + 4. Suppose 7 = t*w - 3. Solve w*n + p = -0 for n.
-3
Suppose -3*s + 2*a + 50 = 0, 2*a = 4*s - 2*a - 60. Solve 4*v = -v + s for v.
4
Let h = -2 - -3. Let s = -1 + h. Suppose s*o = -4*o + 16. Solve 0*y = -o*y for y.
0
Let s(t) = -31*t + 1. Let r be s(-1). Let d be (-2)/(-9) + r/18. Solve d*q = -2 - 2 for q.
-2
Let i(h) = -h**3 + 19*h**2 - 18*h + 12. Let j be i(18). Solve 0*o - j = -4*o for o.
3
Let d be 180/(-35) - (-1)/7. Let m = 11 + d. Solve 0 = v - m*v for v.
0
Suppose -4*f + 2*x = -2*f + 4, f = 2*x - 6. Solve 5*o = f*o - 3 for o.
-1
Let q(v) = v + 8. Let j = 3 + -11. Let o be q(j). Suppose -k = -o*k. Solve -y - 1 + 4 = k for y.
3
Suppose 4*l - 46 = 2*b, -16 = -2*l + l + 2*b. Let h(n) = -n**3 - n**2. Let c be h(-1). Solve 0 = -2*f - c*f + l for f.
5
Let o(u) = -u - 1. Let v(g) = -2*g**2 + 3*g - 3. Let h be v(2). Let t be o(h). Solve -t*p = -2*p for p.
0
Let x be 26/4 - (-4)/8. Let c = 428 - 426. Solve 3*s + c = -x for s.
-3
Let t be 1 - (2 - 0/(-3)). Let q = -1 - t. Let s = q + 3. Solve 1 = -2*i + s for i.
1
Suppose -x + 14 = -2*h, h = -4*x + x + 35. Suppose x = 2*l + l. Solve 24 = l*c + 4 for c.
5
Let p = -1 - -6. Suppose -1 = -p*v + 9. Solve -q - 2 = v for q.
-4
Let t be 9/(-6) + 11/2. Solve 12 = t*s - s for s.
4
Let p(h) be the third derivative of -h**4/6 - 2*h**3/3 - 2*h**2. Let x be p(-6). Suppose 5*y - 5*w - x = 0, -4*w = -3*y + 17 - 3. Solve y*k = k for k.
0
Suppose -4*d - d - 70 = 0. Let i = d - -18. Let h(m) = m + 4. Let f be h(5). Solve l = i*l - f for l.
3
Let a be 6/9*(-27)/(-6). Suppose -3*n + 6 = 0, -3*g - 1 = -a*n + 2. Solve 2*m - m = g for m.
1
Let v(b) = b**2 - b + 3. Suppose p - 4*d + 12 = 0, 0 = 4*d - 8 - 4. Let w be v(p). Let r be (0 - 3)*(-4)/1. Solve -r = 7*l - w*l for l.
-3
Let g(j) = -j**3 + 8*j**2 - 6*j - 3. Let o be (0 + -1)*(-3 + 13). Let p = o - -17. Let f be g(p). Solve 12 + 8 = -f*w for w.
-5
Suppose -l + 2*l = 7. Let c = l + -4. Solve c*h = h for h.
0
Let i(w) be the third derivative of w**6/120 + 2*w**5/15 + 2*w**3/3 + 5*w**2. Let o be i(-8). Solve o*x = -x for x.
0
Suppose -6 + 2 = -l. Suppose -l*z = -4*j + 38 - 2, -2*j + 5*z = -15. Let d = j - 6. Solve 0 = -d*b - 3 - 17 for b.
-5
Let v(d) = d + 15. Let b be v(-12). Solve 2 - 17 = b*w for w.
-5
Let g be 90/(-21) - 6/(-21). Let d(l) = l**3 + 4*l**2. Let r be d(g). Suppose r = -k - 4*k + 100. Solve -6*w = -2*w + k for w.
-5
Let a be 24/(-20)*(-5)/(-2). Let l be ((-22)/11)/(2/a). Solve -l = z - 2 for z.
-1
Let p = 10 + -4. Solve -r = -4*r - p for r.
-2
Let r be 4 - -1 - (3 + -4). Let p = 4 + -4. Solve p = -r*a + a for a.
0
Let h = -53 - -68. Solve -5*k - 5 - h = 0 for k.
-4
Let n(k) = k**2 - 10*k - 6. Let c be n(11). Let u = 0 + -1. Let g = u + c. Solve -3*r = -5 - g for r.
3
Let x = -8 + 12. Suppose -9*o + x*o = -20. Suppose 0 = 5*f + f - 12. Solve 4 = o*i - f*i for i.
2
Let g(b) = -b**3 + 6*b**2 - 3*b - 7. Let p = -12 + 17. Suppose p*y + 5 = 30. Let u be g(y). Solve 4*h = u*h - 5 for h.
-5
Suppose 3*f = 9 + 3. Solve f = -2*h - 4 for h.
-4
Let w = -9 + 6. Let i be w/(-18) - 170/12. Let u be 78/21 + (-4)/i. Solve -3*h + 5*h - u = 0 for h.
2
Let n(u) = 6*u**3 - 2*u - 2 + 6*u**3 + 4*u**2 - 13*u**3. Let f be n(3). Solve f = 3*q + 16 for q.
-5
Let x be 2/(-3)*(-6)/4. Let m be 2 - (-1 + 1/x). Let n be -1 + 3/6*10. Solve 6 = m*k - n for k.
5
Suppose l - 5*m + 3*m - 2 = 0, 8 = 4*l + 3*m. Solve l*v + 10 = -3*v for v.
-2
Let m = -19 + 24. Solve -w + m = -0*w for w.
5
Let i be (18/(-4))/(-3)*2. Suppose -2*f = -i*r + 8*r - 37, 2*f - 2*r - 2 = 0. Solve -f = 5*c + 14 for c.
-4
Suppose 0 = -2*l - 6, 4*v - 3*l - 1 - 8 = 0. Suppose 2 = -v*d + d. Solve -d*j = 4 + 2 for j.
-3
Suppose -5*r = -3*p + 232, 4*p + 5*r - 64 = 3*p. Let j = p - 24. Let s = j - 25. Solve 0*w = -5*w - s for w.
-5
Suppose 5*q = q + 12. Let v(j) = j**3 + 7*j**2 + 5*j - 6. Let w be v(-6). Solve w = -5*k - q - 7 for k.
-2
Suppose 4*o - 2*o = 0. Let m(f) = -f + 3. Let r be m(o). Suppose 4*a + 4 - 2 = 3*x, r*x - 4 = 2*a. Solve 0 = -3*g + x*g for g.
0
Let h = 1 + -1. Solve 2*s - 2 + 12 = h for s.
-5
Suppose 0*z = -3*z. Let v = 7 - 6. Suppose -x + 2 + v = 0. Solve z*f = x*f for f.
0
Let k(h) = h**2 - h + 5. Let a be k(0). Solve -3*l = a + 10 for l.
-5
Let g be 3/(-12)*2 - (-33)/6. Let i = -6 - -13. Solve g*h + 8 = -i for h.
-3
Let p = -4 + 3. Let w be (6/12)/(p/2). Let z = 1 + w. Solve z = 2*q + 3*q for q.
0
Suppose 0 = 3*t + 2*t - 65. Suppose 4*h + t + 4 = 5*n, -5*h - 14 = n. Let p = 1 - h. Solve -f + 2*f + p = 0 for f.
-4
Suppose 5*v - 3*v - 32 = 0. Suppose 18*a - v = 14*a. Solve -a = 6*q - 2*q for q.
-1
Let m(u) = -u - 3. Let p be m(-7). Solve -p = -5*j + j for j.
1
Let o be 6 + (0 - (2 - 0)). Let r be 108/26 - (-6)/(-39). Suppose 3*f = r*f - 5. Solve -3*a = -f*a + o for a.
2
Let p = -42 + 86. Let k be p/52 - (-2)/13. Solve -k = -3*n + 2 for n.
1
Suppose 0 = 20*t - 21*t. Solve 1 = -t*g - g for g.
-1
Let k = -11 - -16. Solve -2 = -k*z + 18 for z.
4
Suppose -3*z = 2*z + 2*z. Solve 0*x - x - 2 = z for x.
-2
Let y be (3 - (-7)/(-3))*3. Let b(x) = -x**3 + x.