= h*d for d.
2
Let a(p) be the third derivative of -p**4/12 - 4*p**3/3 - 30*p**2. Suppose 2*q = q - 7. Let z be a(q). Solve -z*x = -2*x + 20 for x.
-5
Let x(k) = k**3 - 2*k**2 + 2*k + 1. Let p be x(3). Let m = p + -13. Suppose 19 = -0*i + 4*i - m*v, 10 = 5*i - v. Solve -o - i = -4 for o.
3
Suppose 2*r = -3*r. Suppose 5*w - 23 + 3 = r. Solve 0 = c - 5*c - w for c.
-1
Suppose 0 = 68*g - 22*g - 368. Solve -g*m = -10*m - 10 for m.
-5
Let o be (0/((-1 + 5)/(-2)))/1. Solve 8*s - 4*s - 8 = o for s.
2
Let r(c) = -7*c + 129. Let b be r(17). Solve -b = 2*o - 0 for o.
-5
Suppose -3*r + 43 = -6*r + 5*w, 0 = -3*r + 3*w - 33. Let m be (2 + r)*45/(-12). Solve -m = -2*j - 5 for j.
5
Let f(j) = j + 8. Suppose -s - 6 = 2*v - 31, -47 = -4*v - s. Let z be f(v). Let x = z - 16. Solve x*q = 6*q for q.
0
Suppose 2*g - 3 - 9 = -4*u, 0 = 3*g - 3*u. Let n(l) = l**3 + 2*l**2 - 7*l + 4. Let a be n(1). Suppose g*b + 0*b = a. Solve 4 = -q - b for q.
-4
Suppose 0 = -u - 3*a - 3 + 13, 0 = 2*u + a - 10. Solve u*b - 158 + 146 = 0 for b.
3
Suppose -75 = -3*m + 66. Let b = -41 + m. Solve -c - 7 = -b for c.
-1
Suppose -8*o + 34 = -6*o. Suppose -4*x = -2*h, -5*x + 9 = 4*h - o. Solve h = -2*d - 2 for d.
-3
Suppose -136*z + 153*z = 102. Solve z*f - 4 = 5*f for f.
4
Suppose -4*r - 10 - 6 = 0, -3*j - r = 1. Solve -d - j = -3 for d.
2
Suppose 12 = v - 4*n, -2*v - 3*n = n + 12. Suppose 0 = x - 0*x. Suppose -p + v*p + 3 = x. Solve -y + p*y + 2 = 0 for y.
-1
Let s = 21 + -19. Suppose 4 = r + s. Let b(c) = 2*c**3 - 4*c**2 + 2*c. Let j be b(r). Solve j*f - f = 0 for f.
0
Let x be (-4)/6*-8 + 95/(-285). Solve x*o + 10 = 35 for o.
5
Suppose -p + 72 = 7*p. Solve -4*o + p*o + 10 = 0 for o.
-2
Let t(p) = -2*p**3 - 6*p**2 + 8*p - 45. Let n be t(-5). Solve 0 = -5*x + n*x + 50 for x.
-5
Let a be (0 + (-24)/(-30))*(-2 + 7). Let s = 9 + -3. Solve s = a*n + 10 for n.
-1
Let g(b) = 4*b**3 + b**2 + b - 3. Let k be g(1). Solve q = 2 + k for q.
5
Let m(a) = 3*a - 18. Let j be m(6). Suppose j = 10*v - v + 3*v. Solve v = -3*t + 6 for t.
2
Let m be (6 - 18)*(-3)/(0 - -12). Let w(l) = -6*l + 19. Let c(y) = -y + 4. Let r(k) = -11*c(k) + 2*w(k). Let p be r(-8). Solve p*v + m*v = -20 for v.
-4
Let z(g) = g**3 + 6*g**2 - 6*g - 19. Let l be z(-6). Solve l*s - 14*s = 9 for s.
3
Suppose -3*t + 0 = -o + 17, 2*t + 28 = 4*o. Solve 2*l + o = -5 for l.
-5
Let k = 29 + -16. Suppose 3*x - 5 = k. Let j be (x*-2)/(-3) - 2. Solve w - j = -6 for w.
-4
Let h = 18 - 30. Let k = h - -10. Let l be (-6)/(-6)*(k - -2). Solve 4*m + l*m + 4 = 0 for m.
-1
Let g = 242 + -129. Let v = g + -113. Solve v = -0*t + t + 2 for t.
-2
Suppose -2*x + 3 = 3*h, -33 = -5*x + 4*h - 3*h. Suppose -x*n = -4*n - 4. Solve n - 6 = r for r.
-4
Let m = -1 + 2. Let b be 1*(2 + 0)*m. Suppose k + 8 - 18 = 0. Solve 0*j = -b*j - k for j.
-5
Suppose -328 = -11*f - 262. Solve 0 = 136*r - 133*r - f for r.
2
Let j(w) = -w**2 - 10*w + 6. Let x be j(-8). Let b = x + -18. Suppose 0 = -3*p + r + 13, b - 13 = -p - 2*r. Solve -a + p - 2 = 0 for a.
3
Suppose 21*j = 30*j - 72. Solve 8*w + j = -0*w for w.
-1
Let i(y) = -y**2 - 8*y - 8. Let p be i(-6). Let b = -54 - -52. Let t be ((-8)/(-16))/(b/(-24)). Solve t = 5*m - p for m.
2
Let m = 33 - 32. Let l be (m/2)/((-4)/(-16)). Solve 0 = -2*f + l - 0 for f.
1
Let s(o) = 12*o + 232. Let d be s(-18). Solve 29 = -d*k + 109 for k.
5
Let a be (-15)/(-6)*8/5. Suppose -h + 2 = 2*l, a*h - 17 = -3*l + 6*h. Solve 0 = -0*n - n - l for n.
-3
Let x = 114 + -84. Let p = 30 - x. Solve -4 = -c - p for c.
4
Suppose -3*q = 0, 5*y - 5*q - 2 - 13 = 0. Suppose g - 1 = -2*t - y, 5*g = -4*t - 4. Solve 0 = -g*b - 4*b for b.
0
Let k(r) be the first derivative of r**2 - 7*r - 2. Let o be k(6). Suppose o*w - 103 + 25 = 2*h, -20 = 5*h. Solve -6 - w = 5*i for i.
-4
Suppose -4*r + 0*y - 3*y = 137, -5*r - 195 = -y. Let o = r + 43. Solve 20 = -3*i + o for i.
-5
Suppose 18 + 86 = 26*y. Solve y*j = 11*j + 21 for j.
-3
Let w(t) = 0*t - 16 - t - t. Let k be w(-10). Solve -k*m + 0*m - 12 = 0 for m.
-3
Suppose -8*w + 6*w + 6 = 0. Suppose -3*d - 5*m + w = -4*m, 0 = 4*d - 4*m - 20. Solve 1 = -d*k + k for k.
-1
Let m be (2 - (-98)/(-7))/(3/(-2)). Solve 0 = -13*d + 9*d - m for d.
-2
Let m = -5 - -6. Suppose 0 = 2*z + z - 9. Solve -m - 8 = z*u for u.
-3
Suppose -48 = -2*p - 4. Suppose 0 = 4*o - 2*t - p, -o + 7*t + 23 = 3*t. Solve -o*v = -4 - 2 for v.
2
Let w(y) = -y. Let n be w(-7). Let x = 7 - n. Let z(l) = l**3 + l + 2. Let d be z(x). Solve m = -0*m - d for m.
-2
Suppose 6*w + 92 - 32 = 0. Let v = w - -25. Solve 4*g + v = -g for g.
-3
Suppose -2*n = 5*t - 18, -4*t - n + 7 = -2*t. Let g(x) = -x**2 - 38*x + 171. Let m be g(-42). Let u be (3/9)/((-1)/(-3)). Solve t = -m*o + u for o.
-1
Suppose 5*s = -354*f + 357*f + 171, -5*f - 165 = -5*s. Solve -6*z + 30 = -s*z for z.
-1
Let o = 569 + -524. Solve 5*l = 50 - o for l.
1
Suppose -s = -6*s - g + 3, 0 = s + g + 1. Let h be (5 + s)/(3/4). Solve h = -f - f for f.
-4
Let j be (2 - (1 + 0))/(-1). Let w = 8 + j. Solve 0 = w*q - 3*q + 20 for q.
-5
Let r be 4 + -2 + 3 + 0. Let y be ((-6)/15)/(1/r). Let m be (4/(-3))/(y/3). Solve -2*t - m*t - 12 = 0 for t.
-3
Suppose -3*u + 4*s = -18, -2*u = -4*s + 16 - 28. Solve -11*p - u = -17 for p.
1
Suppose -3*b + b - 5*g = 4, -2*g + 8 = 4*b. Suppose 41 = b*p - 7. Solve -p = -u + 5*u for u.
-4
Let r be (-51)/(-12) + 19/(-76). Solve r*y = 10*y + 12 for y.
-2
Let z(d) = 124*d - 352. Let r be z(3). Solve 5*m + 40 = r for m.
-4
Let a be (-10)/4*(31 - 33). Solve 0 = -a*y + y + 4 for y.
1
Suppose 4*j = -0*j + 5*n - 29, 3*n = 5*j + 33. Let l be j/(-27) + 129/27. Suppose -3*c = -c - 4, 0 = -4*a + l*c + 38. Solve 3*d + d = a for d.
3
Let i = -31 - -32. Let l be 4/(-8)*(i - 1). Solve -j - 4*j + 15 = l for j.
3
Suppose -3*l - 16 = -1, -2*u = -4*l - 12. Let s be u + 0 + (-11)/(2 - 3). Solve -k + s = 5 for k.
2
Let w(b) = 4*b + 7. Let a be w(-12). Let f = a + 25. Let z = -14 - f. Solve 2 = z*v - v for v.
2
Let y = 2 + 4. Suppose -y = -2*z, 4*l = -z + 4*z - 17. Let n be (-3 + -1)/(l*1). Solve n*t + 3*t = 15 for t.
3
Let u be 0/((-15)/(-3)) + 0. Suppose -9*o + 69 = -3. Solve u*h - 2*h = o for h.
-4
Let m(g) = g**2 + 4*g + 4. Let k be m(-4). Let c be (-2 - 7) + 262 - (-2)/(-2). Let q = 264 - c. Solve s - k*s + q = 0 for s.
4
Let s(k) = 16*k**2 + k. Let j be s(-1). Let w = 172 - 151. Let v = w - j. Solve 4*g + v = g for g.
-2
Suppose 3*d - 4*b = 8, -4*d + 28 = 3*b + 9. Suppose d*z + 6*v - 24 = 3*v, -5*v = -20. Solve -z*m - 15 = -0*m for m.
-5
Suppose -5*v = -4*x - 2*v + 16, v = 3*x - 12. Suppose 5*l + 27 = 3*n - 25, 5*n - 65 = x*l. Solve n = 5*f - 1 for f.
2
Suppose r + 0*r = 8. Let j be (-46)/(-10) - 4/(-10). Let g = -23 - -30. Solve g + r = j*v for v.
3
Suppose -11 = -2*k + m, 4*k + 14 = m + 41. Let a = 17 + k. Let n = 0 + a. Solve 3*g + n = -2*g for g.
-5
Suppose -5*o - 23 - 37 = 0. Let t be 20/(-6)*36/10. Let k = o - t. Solve 2*p + 7 - 1 = k for p.
-3
Suppose 7*k - 33 = -4*k. Suppose k*x = 3*z, -2*z + 6*z + 2*x - 18 = 0. Solve q - 8 = z*q for q.
-4
Let a = -70 - -72. Solve a*r + 4*r = 6 for r.
1
Suppose -15*x = -27*x + 36. Solve -x*i - 39 + 54 = 0 for i.
5
Suppose 3 = -5*m + 3*l + 18, 0 = 3*l. Solve -m*t = -4*t - 5 for t.
-5
Let l(z) = z - 2. Suppose -19 = -4*b - v, b - 5*v - 3 = 28. Let r be l(b). Suppose -2*w = -r*w + 8. Solve -w*o = -o + 3 for o.
-1
Let q = -127 + 153. Solve -2 = -q*f + 24*f for f.
1
Suppose 0 = -0*t - 6*t. Suppose 7 = -2*a - 2*l - 3*l, -3*a + 5*l + 27 = t. Solve -25 = -a*x - x for x.
5
Let z(c) = -c + 8. Let r be z(18). Let k(p) = p**2 + 10*p - 10. Let n be k(-12). Let s = r + n. Solve 5*w - w + s = 0 for w.
-1
Suppose -4*r - 3*p + 393 = 0, -r + 7*p - 5*p = -90. Let n be (r/(-72))/((-1)/3). Solve n*d - 5 = -d for d.
1
Let l be 8/(-42)*-3*(6 - -1). Solve -1 - l = -5*t for t.
1
Suppose -313*z = -338*z + 50. Solve 49 = z*d + 51 for d.
-1
Let n(y) = 3*y**2 + 10*y - 1. Let z = -150 + 146. Let w be n(z). Solve -g - 6 + w = 0 for g.
1
Suppose -2*x + 81 = 7*x. Solve 3*n - x = 3 for n.
4
Suppose 5*x + u + 280 = 3*u, 3*x + 4*u + 168 = 0. Let k = -52 - x. Solve -k*c + 6 = -c for c.
2
Let r(u) = 2*u**2 + u - 19. Let q be r(0). Suppose -3*w = 4*v - 6*w - 81, -v + 29 = w. Let o = q + v. Solve 14 - o = -3*g for g.
-3
Let h(k) = -k**2 + k. Suppose 8*w - 2*w + 0*w = 0. Let t be h(w). Solve t*q = q + 