b*h + 5 = 21 for h.
4
Let w be 1 + (2892/84 - (-6)/(-14)). Let c = 37 - w. Solve c*q - 1 = 3 for q.
2
Let j = -1515 + 1515. Solve 5*p = -j*p for p.
0
Let n(d) = -2*d**3 - 3*d**2 + 3*d + 2. Let s be 198/(-63) - 2/(-14). Let g be n(s). Solve w = -4*w - g for w.
-4
Let s be 8 - 420/48 - (-11)/4. Solve s*r - 9 + 3 = 0 for r.
3
Let r be 1/(-3)*(-300)/25. Solve 0 = -5*m - r - 16 for m.
-4
Let i be 8*3/12*5. Solve -12 = -j - i for j.
2
Let v(y) = 3*y - 8. Let j be v(6). Suppose -1 = -j*n + 79. Solve -g = g + n for g.
-4
Let r(p) be the second derivative of -p**4/12 - 11*p**3/6 - 3*p**2 + 5*p. Let w be r(-10). Let l be w/(-1 - -3 - 1). Solve -3*t = 19 - l for t.
-5
Let h(i) = -2*i + 3. Let f be h(4). Suppose 5*x + 8 + 4 = 4*u, -4*u + 4*x = -12. Let n = u - f. Solve -n*k - 12 = -4*k for k.
-3
Suppose 0 = 2*n + 2*d - 20, 4*n - 37*d - 34 = -39*d. Solve -n - 17 = 8*k for k.
-3
Let g(d) = d**3 - 7*d**2 + 9*d + 9. Let n be g(5). Let q be (-64)/(-56) - (-1)/(-7). Solve -n*y + 9 = q for y.
2
Suppose 2*n = 13 - 1. Let f be 2*n*(-4)/(-12). Solve c + 3*c = -f for c.
-1
Suppose -h - 7 = -4*k - 75, 2*k = -3*h + 134. Suppose -3*c = -2*f - 36, c - 5*c + h = 3*f. Suppose -6*p + p + 20 = 0. Solve -c = 7*b - p*b for b.
-4
Suppose -11*p - 12 = -13*p. Let m = 94 - 53. Suppose 7*d - m + p = 0. Solve 4*u - 21 + d = 0 for u.
4
Let i be 2 + -4 - (1 + -6). Let g(u) = -14*u**3 - 58*u**2 - 13*u - 13. Let m be g(-4). Solve -m*v = -i*v for v.
0
Suppose 0 = 19*x - 15*x - 40. Solve x*s + 41 - 11 = 0 for s.
-3
Let z be ((-8)/3 - -3) + (-16)/(-6). Suppose -4*r = z - 19. Solve -m - r*m = 0 for m.
0
Let m = 6 - -1. Suppose 0 = -3*l - 5*j - 7, 0*l - 5*l - j + 25 = 0. Suppose -l*g = -m*g. Solve g = -5*b + b - 4 for b.
-1
Suppose 5*b - 8 = 17. Suppose 5*d - 2*s - 20 = 3*s, -b*s - 15 = 0. Solve -7 = -4*v + d for v.
2
Let i = -1375 + 1396. Solve -37 = -i*k + 26 for k.
3
Let q = 212 - 208. Solve 0 = q*l - 8 for l.
2
Suppose -4*r = 5*t, 5*t = -r - 0*r. Let h(m) = -m**3 - 2*m**2 + m + 1. Let u be h(-2). Let q be u + (12 - (-1 + 3)). Solve -4*o + o - q = r for o.
-3
Suppose -4*t = -4*g - 52, 2*t + 15 = 5*t. Let n be (-2)/g - (-2)/(-8). Suppose n = 3*a - 3*x + 6, 2*x = -2*a + x + 11. Solve 3*h = -0*h - a for h.
-1
Suppose 0 = -23*y + 21 + 48. Solve y = 2*c + 3 for c.
0
Let i(z) = 2*z**3 - 11*z**2 + 6*z - 7. Let o be i(5). Let t be o*(-3 - 4/(-8)). Solve 13 = -t*p - 12 for p.
-5
Suppose 97*a - 112*a = -15. Solve a + 2 = -l for l.
-3
Suppose 2*o = -0*o + 30. Suppose -q - 5*t + 40 = o, -2*q - 5*t = -25. Let x be (-2 + q)/(-2 + 1). Solve -7*h - 15 = -x*h for h.
-3
Let m(r) = -2*r**2 - 29*r - 65. Let k be m(-11). Solve -k*t = -16*t - 8 for t.
-2
Suppose 29*c - 70 = -12. Solve -3*v = c*v - 5 for v.
1
Let j = 59 + -56. Let b be (-10)/(-2)*(-10)/(-5). Suppose 4*r = -x - 4*x + 23, 0 = 5*r - b. Solve 0 = -x*p - j for p.
-1
Let p = -2 + 4. Suppose -5*f + 20 = -5*c, c = -2*f + 4*f - 7. Suppose -2*r + f = -r. Solve -p - r = w for w.
-5
Let d = 46 + 64. Suppose -2*w + 40 + 16 = z, 0 = 5*w - 5*z - d. Solve 0 = 4*s - 10 + w for s.
-4
Let j be (1 - 3) + 6 + 16. Suppose 0 = -p - 4*c - 10, 0*c - 5*c = j. Solve p*g = g for g.
0
Let n(t) be the second derivative of t**4/12 - t**3/6 - 3*t**2/2 + t. Let m be n(-2). Let k be ((-1)/m)/(4/(-60)). Solve k*w = 2*w + 12 for w.
4
Let r(k) = 3*k**2. Let m be r(-1). Suppose 31 = -m*q - 32. Let w be q/(-5) + (-5)/25. Solve 12 + 0 = -w*h for h.
-3
Suppose -5*y = 5*c - 25, 0 = -3*y - 7 + 19. Solve -4 - c = -5*t for t.
1
Let l be 11 - (3 + 4/(-2))*3. Suppose -13*j + l*j + 175 = 0. Solve 5*p - j = -10 for p.
5
Let p(g) = g + 51. Let b be p(-47). Suppose 4*j - 45 = 3*d + 23, 3*j - 51 = -5*d. Suppose 0 = 5*w - j - 23. Solve b*r = 24 - w for r.
4
Let i(g) be the first derivative of 2*g - 1/3*g**3 + 1/4*g**4 - 1/2*g**2 - 8. Let z be i(0). Solve -z*a = -5*a for a.
0
Suppose -6*l + 10*l + 5*t + 12 = 0, 0 = 5*l + 4*t + 6. Solve 3*b - l = 1 for b.
1
Let u be -15 - 4/12*3. Let y(v) = v**3 + 17*v**2 + 17*v + 18. Let w be y(u). Suppose 4*i + n = 11, 3*i - 4*n + 0 = -6. Solve 0 = i*d - 2 - w for d.
2
Let z(q) = q**3 + 2*q - 4. Let v be z(2). Suppose -15 = v*f - 47. Solve -f*b + 13 + 3 = 0 for b.
4
Let d(m) = -79*m**3 - 3*m**2 - 3*m - 1. Let n be d(-1). Let x = 81 - n. Solve -4*c = -x - 1 for c.
1
Let t = -1695 - -1704. Solve 14*u = 47 + t for u.
4
Let z be (-36)/(-30)*(-5)/(-2). Suppose -m - z*h = 0, -5*h = 5*m - 2*m - 4. Suppose -m*v = v - 8. Solve -v*d + 12 = d for d.
4
Let u(w) = w**3 + 8*w**2 - 18*w + 23. Let n be u(-10). Suppose -m - 1 = n*m + 3*i, 2*m - 13 = 3*i. Solve 0*r + m*r = 0 for r.
0
Suppose 0 = -0*w - 2*w + 6. Let x be (0 + 0)/((-7)/(14/(-4))). Suppose 3*d + b - 38 = 0, x = -5*d + b + 15 + 51. Solve d = w*s + 1 for s.
4
Let x(v) = 2*v + 69. Let c be x(-25). Suppose 0 = -t - 18 + c. Solve 0*a + t = a for a.
1
Let u(k) be the third derivative of -k**4/24 - k**3 - 3*k**2. Let y be u(14). Let v be y/(-3) + (-2)/3. Solve -4 = v*l - 2*l for l.
-1
Suppose -3*q + 3*h = -0*q + 9, 3*h - 25 = -5*q. Let t = 114 + -102. Suppose 3*i = 4*v - 2, -3*v + 0*v = -4*i + 2. Solve q*a = i - t for a.
-5
Let r = 339 + -325. Solve -7*d + r*d = 14 for d.
2
Let r be (-60)/(-6)*(-2)/(-2). Suppose 2*o = -2*i + 46 + 14, 0 = -3*i + o + 74. Solve -4*c + r = i for c.
-4
Let z be (-11)/((-66)/(-12)) + 3*-9. Let w = z - -33. Solve w*v + 9 - 1 = 0 for v.
-2
Let y be 28/(-10)*-1*5. Suppose -2 - 22 = -2*d. Let q = y - d. Solve q*h + h = 15 for h.
5
Suppose 3*o - 11 = -a, 5*o - 25 = 4*a - 7*a. Solve -o*i - 8 = -0*i for i.
-4
Suppose -15 = -4*l + 13. Let h be (15 - 1)*(-72)/(-28). Let i = 36 - h. Solve 3*z + 8 + l = i for z.
-5
Let z = -2004 + 2034. Solve 10*j - z = -80 for j.
-5
Suppose -v + 3*v = 14. Let b(d) = -2*d**2 + 7*d - v + 4*d**2 - 2*d + 12*d. Let h be b(-9). Solve -t = -h*t for t.
0
Suppose 2*l + 3*l + 10 = 0. Let s be (3 - 1)*(-3)/l. Let v(n) = -2*n**2 + 11*n + 23. Let h be v(7). Solve -h*m = -s*m - 5 for m.
-5
Let t be 82/8 + 1/(-4). Let k(d) = -d**3 + 3*d - 2. Let c be k(-3). Let m = c - 16. Solve m*h + t = -2*h for h.
-5
Suppose -9*d + 1239 = -327. Solve 189 - d = 5*m for m.
3
Suppose -4*r = -4*z - 20, 10*z = r + 14*z - 5. Solve -r*y = -9*y + 8 for y.
2
Let k be 22 + -9 - (1 + -4). Let p(l) = l**2 - 15*l - 8. Let u be p(k). Let a = 10 - u. Solve -a*v = -v - 4 for v.
4
Let r be 11 - 304/56 - 3/(-7). Solve -36 = 3*x + r*x for x.
-4
Let u(p) = p - 29. Let j be u(32). Suppose 3*d = -4*q - 0 + 4, -2*d - 5*q + 5 = 0. Suppose 0 = 2*o - d*o. Solve -3*m = -o + j for m.
-1
Let f = 28 + -18. Suppose 0*z = -4*p + 3*z + f, 3*p = -5*z + 22. Solve 0 = -k + p for k.
4
Suppose -4*i = 37*i - 1927. Solve 46*q - 5 = i*q for q.
-5
Suppose 4*c - 1 = -5, -2*y - c + 17 = 0. Let h = -85 - -87. Solve -h*a - a + y = 0 for a.
3
Let c be 2/(-6) - (-22)/(-6). Suppose 0 = -2*g - 4*d - 30, 0*g = -4*g + 2*d - 30. Let i = c - g. Solve -2*r + 1 = -i for r.
3
Let g(o) = o**3 + 2*o**2 - 10*o. Let b be g(0). Solve 0 = -f - b*f - f for f.
0
Let n(b) = b**3 - 8*b**2 + 9*b - 6. Let z be n(4). Let q = -31 - z. Solve 5 = -q*a - 1 for a.
-2
Let n be (-8)/(-2) + -3 - -2. Let r(z) = n*z - 3*z - z**3 + z + 0 - 2. Let t be r(-2). Solve -4*i - 4 = t for i.
-2
Let g(c) = -c**3 - 10*c**2 - 5*c + 12. Let j be g(-9). Let i = j + 26. Solve 0 = -i*x + 6*x - 16 for x.
4
Suppose 2 = -2*c - 4*u, 3*c - 3*u + 4 - 1 = 0. Let s(o) = -12*o**3 - o. Let y be s(c). Let l = y + -13. Solve j = -l*j for j.
0
Let t(v) = -v**2 + 9. Let x be t(0). Let k be (-6)/x - 88/(-6). Let w be (-28)/(-3) + -3 - 68/51. Solve w*n - 4 = -k for n.
-2
Suppose 0 = -3*r - 2*l + 44, 5*r + 2*l = 4*l + 84. Solve 12*a - r*a = 20 for a.
-5
Suppose 0 = -5*g + 3*o - 7*o + 40, -g + 4*o + 8 = 0. Solve -g*k - 15 = -3*k for k.
-3
Let f be 20/11 + 10/55. Let c(k) = 0*k - 6*k**f - k**3 - 5*k + 0*k**3. Let u be c(-5). Solve u*a = -a for a.
0
Suppose -10*a = -2*a - 24. Suppose 27 = 4*n - 3*l + 2*l, n - 3*l + 7 = 0. Solve a*g - n = -g for g.
2
Let d(c) = -c**3 - 9*c**2 - 12*c + 29. Let m be d(-7). Solve 20 = -m*f + 5 for f.
-1
Let q be -22*(22/4)/(-11). Solve -7*g + q*g = 16 for g.
4
Let b(o) = -2*o**2 - 38*o + 47. Let a be b(-20). Solve -a*c = -6 + 41 for c.
-5
Let o be ((-16)/12)/(-4) + 11/3. Suppose 3*q = l - 10, 2*l - 3*q + o = -5*q. Solve 2*p - l = -9 for p.
-4
Let l = 263 - 252. Solve -5 = 3*y - l