6 = t for d.
-4
Let k(p) be the first derivative of p**4/4 + 2*p**3 + 3*p**2 - 5*p + 9. Let i be k(-6). Let r = -37 - i. Solve r = -t - 0 for t.
-4
Let p(t) = -t**3 + 4*t**2 - 2*t - 1. Suppose 2*y + 0 = 4. Let w be p(y). Suppose -j + 1 = -4*x - 3, -5*j - x + 62 = 0. Solve -n = w*n - j for n.
3
Suppose 0 = 11*v + 18*v - 232. Solve -v*s = -7*s - 2 for s.
2
Let m(u) be the third derivative of 0 - 2/15*u**5 - 1/24*u**4 - 10*u**2 + 0*u - 1/120*u**6 - 7/6*u**3. Let l be m(-8). Solve 5*c + l = -19 for c.
-4
Let g = 3193 + -3190. Let j = 1 + 0. Solve -2 = g*a + j for a.
-1
Suppose 5*r + 0*i + 243 = -i, 0 = 2*r + i + 99. Let l = -44 - r. Solve -l*h + 18 = 6 for h.
3
Let c = 53 - -13. Suppose -c - 34 = -5*t. Solve -o - 3*o = -t for o.
5
Suppose 8*r - 25 = 3*r. Suppose 4*d + 3*u = 47, 5*u + r - 22 = d. Suppose 0 = -2*f - 4*o + 72, -50 - d = -3*f + 4*o. Solve -6 = -5*b - f for b.
-4
Suppose -87 = -3*s + 2*u + u, 4*s = -5*u + 134. Solve -25*j + s*j - 6 = 0 for j.
1
Let f = 21 + -1. Let r = -25 + f. Let s = 7 + r. Solve 0 = 4*j - s - 2 for j.
1
Let y be (-4)/(1*(-1)/2). Let k(u) = -u**3 + 6*u**2 + 2*u - 8. Let l be k(6). Solve l*m = y + 8 for m.
4
Let s be (-8)/28 - (-4)/14. Suppose s = 5*j - j - 28. Suppose j = 4*o - 2*k - k, -3*o + 2 = k. Solve 0*p + o = p for p.
1
Suppose p + 3*r + 1 = 6*r, 14 = 4*p - 3*r. Let v = p - -15. Suppose -2*w + 8 = -0*w. Solve w*n + n + v = 0 for n.
-4
Let w be 3/6*12 + -4. Suppose -13 = -h - 3*t, 0 = -4*h + t - w*t + 52. Solve 2*k = h - 5 for k.
4
Suppose -32*k = 14*k - 1334. Solve -n = k - 32 for n.
3
Let b(l) = 33*l - 238. Let j be b(8). Solve 0*v - j = 13*v for v.
-2
Let j = -127 + 123. Let z be (6 + 180/(-25))/(j/50). Solve -5 = -5*n + z for n.
4
Let t be (58/(-15))/(-1) + (-60)/(-450). Solve 11 = t*z - 9 for z.
5
Suppose -2*s + 0 = -4. Let d(y) = -5 - 3*y**2 + 4*y + 0*y**s + y**3 + 10*y**2 + 0*y**3. Let t be d(-5). Solve 7*z - 2*z - t = 0 for z.
5
Suppose 8*a = 5*a - 2*k - 2, -6*a + 3 = -3*k. Solve -8*w + 25 + 15 = a for w.
5
Let w(o) = -o**3 + o + 4. Let i(b) = -4*b + 12. Let m be i(3). Let j be w(m). Solve -j*x - 9 = -x for x.
-3
Let g(o) = o**3 - 2*o**2 - 6*o + 4. Let j be g(4). Suppose 8*v + 52 = 12*v. Suppose -2*p = 3*p - 25. Solve j = -p*q - v for q.
-5
Let b = 38 + -30. Suppose 5 - b = -y. Solve -y*r + r - 6 = 0 for r.
-3
Let t(a) = -a**3 + 3*a**2 + 11*a - 26. Let h be t(4). Solve 9*i + 28 = h*i for i.
-4
Let g be (-9 + (-128)/(-16))/((-2)/6). Let n = 5 - 3. Solve -5*q = -g - n for q.
1
Suppose 3*z = 5*t + 28, -z = -2*t - t - 16. Let p = -851 - -854. Solve p*j + 4 = z for j.
-1
Suppose -4*z = -3*w + 32, 2*w - 2 + 9 = -3*z. Let f be 210/28*(-4)/z. Solve 4*q - 18 = -f for q.
3
Let t be (-4 + (-42)/(-9))/((-3)/306). Let q = t - -70. Solve 0 = 7*u - q*u for u.
0
Let t = -224 - -228. Solve 8*i + t = 7*i for i.
-4
Let l = 15 + -142. Let x = l + 132. Solve x*c - 8 = 9*c for c.
-2
Let k(d) be the second derivative of d**4/8 - d**2/2 + 6*d. Let z(g) be the first derivative of k(g). Let s be z(1). Solve 0 = -2*y + 3*y - s for y.
3
Suppose 5*u - 5*x = 115, 0 = -3*u - 3*x + 21 + 60. Suppose -5*n - 19*g + 14*g = 0, 2*n - 15 = g. Solve -5*s - u = -n for s.
-4
Suppose 23*s - 360 = -13*s. Solve -s = -6*t - 4 for t.
1
Let m = 47 - 44. Let v be 1/(-1) - (0 + -5). Suppose -4*k = 3*x - m, -v*k = -2*k + 5*x - 5. Solve k = 5*r - 2*r for r.
0
Let a be (-4)/(-10)*40/4. Suppose 0 = w + 2, -4*p - 4*w + 1 = -19. Let i = p - 7. Solve -a*v + 4 - 16 = i for v.
-3
Let n(r) = 2 + 3*r**2 - 5*r**2 + 4*r + r**3 - 6*r. Let q be n(3). Suppose -179 + 54 = -25*l. Solve 15 - q = l*t for t.
2
Let y = -32 + 11. Let g = y - -25. Solve 0 = g*r - 5 - 3 for r.
2
Suppose 4*g - 2*g - 4 = 0. Suppose 4*j - g*j - 4 = 0. Solve -j*q - 3 + 1 = 0 for q.
-1
Suppose -7 = -2*n - q, 5*q = 2*n + 3*q - 4. Solve -n + 15 = -4*c for c.
-3
Let w(s) = 3*s - 3*s - 8 - 3*s + 0. Let t be w(-5). Solve h - t + 2 = 0 for h.
5
Let a(k) = k + 3. Let r be a(5). Suppose -s + r = s. Let f be (-22)/(-11) - s/(-2). Solve 2*b + f - 14 = 0 for b.
5
Let t be (-13)/(-2)*(-9 - -7). Let d = t - -15. Suppose d*g + 9 = 2*f + g, f = -5*g - 1. Solve 0 = -f*l - 5 - 3 for l.
-2
Let m(i) = -6*i**2 - i + 1. Let j be m(2). Let u be 4 + 0/2 + j. Let q = -18 - u. Solve s + 2 + q = 0 for s.
-5
Let n(z) = z - 4. Suppose 0 = -5*c + 21 + 19. Let x be n(c). Solve 12 = -x*r - 0*r for r.
-3
Let f = 143 - 143. Solve -3*g + 4 + 8 = f for g.
4
Let g be ((-8)/6)/((-8)/12). Let u be (-1)/((g + 0)/(-2)). Suppose -q - 2 - 1 = -y, 2*q + u = y. Solve 4*m = 7 + y for m.
3
Let u be (-15)/((-4)/(180/27)). Solve 9*n = 14*n + u for n.
-5
Suppose -10 = -j + 3*m, -2*m = -j + 6*j - 33. Solve -x + 2*x = j*x for x.
0
Let k be (1 + 2/(-2))*1. Suppose -c + 3*b = 7*b - 7, -c + 4 = b. Suppose 4*j - 2*q - 7 = -7*q, 0 = c*j + 2*q - 7. Solve k + 15 = -j*l for l.
-5
Suppose -30*i + 17131 = 3661. Solve 0 = 4*g - 453 + i for g.
1
Let a be (-33)/(-12) + 5/20. Suppose f = 20 - a. Suppose -16*z + f*z - 5 = 0. Solve 6*b - b - z = 0 for b.
1
Let m(r) = -r**2 - 9*r + 14. Let v be m(-10). Suppose 5*d - 11 = w, -10 = d + d - v*w. Suppose 0*z = 4*z - 40. Solve -d*s = -s - z for s.
5
Let f = 36 - 38. Let g be (2 - f - 3) + 2. Solve g*z - 8 = z for z.
4
Suppose -18*q = -31 - 59. Solve -15 = q*y - 10*y for y.
3
Suppose 40 = -3*j + 7*j + 3*u, -5*j - 4*u + 49 = 0. Let a = 7 - j. Let d(t) = t**3 + 7*t**2 + 6*t. Let v be d(a). Solve -r = -v + 1 for r.
-1
Let b be 4 + -3 + 6 - (-6)/(-2). Solve -r + 5 = b for r.
1
Suppose -22*b = -21*b - 2. Suppose h + h - 20 = -b*u, -2*u + 4 = -2*h. Solve -3*t + 9 = u for t.
1
Let a be (-32)/(-6) + 16/24. Suppose c + 2*s = 11, c + a + 11 = 5*s. Let i be 12/(-1 - (-15)/6). Solve i = -v + c for v.
-5
Let i be -6*30/9*(-1)/(-5). Let d be (0 + 16/i)*-1. Solve d*a - 15 = 1 for a.
4
Suppose -3*z + 13 = 2*j, -6*j + 21 = 4*z - 7*j. Solve 12*y - 28 = z*y for y.
4
Let h(r) = r**2 + 22*r - 19. Suppose -3*t - 207 = 6*t. Let o be h(t). Solve -f - o*f = 20 for f.
-4
Let k be 24/9*(-12)/(-16). Suppose 0 = 2*j - 6, k*j + 3 = -0*o + 3*o. Solve -2*z - o*z - 25 = 0 for z.
-5
Let o be (-3)/5 - 765/(-25). Let m = -30 + o. Solve f + m = 3 for f.
3
Suppose 68 = -8*s + 12*s. Suppose 15 = 22*t - s*t. Solve -l - t = -2*l for l.
3
Suppose 5*m = 2*m - 4*n + 29, -n + 11 = 2*m. Suppose 6 = -m*l - 0*l - 3*u, -u - 8 = -l. Let o(d) = 3*d - 6. Let b be o(4). Solve l*x = b*x - 3 for x.
1
Let i = 14 + -11. Let s = -296 + 298. Solve -5 = -s*u + i*u for u.
-5
Let u be (-5)/(-10)*22*(-2 + 1). Let k(f) = -2*f - 18. Let v be k(u). Solve 5 = -y + v for y.
-1
Suppose 38 = -p + 13. Suppose -z + 18 - 14 = 0. Let y be (-20)/p*10/z. Solve j = 3*j - y for j.
1
Suppose 6 = -2*k + 2*q, 2*k - 2*q = -3*k. Suppose -k*a + 20 = 3*a. Solve -4*h + a = -0 for h.
1
Suppose b = -3, 2*i + 2*i - 4*b - 224 = 0. Let u = -53 + i. Solve r - 3 = -u*r for r.
3
Let s = 26 - 22. Let i = -33 + 33. Solve 2*f - s*f + 2 = i for f.
1
Let s = 150 + -146. Solve s*r + 0*r + 4 = 0 for r.
-1
Suppose 0 = 4*d + q - 57, 0 = 2*d + 5*q + 2 - 17. Solve -6*j + d = -3*j for j.
5
Suppose 0 = l - 2*l + 2. Suppose 6 = 4*t + 3*z + 74, -3*z + 12 = 0. Let c be (-15 - t) + 1 + -4. Solve -c*d - l*d = 4 for d.
-1
Let v = -25 + 25. Suppose 3*d - 5*d - 2 = l, v = -2*d - 4. Solve 0*i = l*i - 8 for i.
4
Suppose -3*g = 2*g - 35. Suppose 0 = -g*w + 3*w + 5*y + 12, -12 = -4*w - 5*y. Suppose -5*f + 15 = -c, 4*f + w*c - 9 = 22. Solve -6 = -f*k + 10 for k.
4
Let u = 9 + -3. Suppose 4*h = u*h - 4. Let q(c) = c - 15. Let s be q(18). Solve -k + s = h for k.
1
Let c(r) = 5*r - 2*r - 3 - 4*r**3 + 5. Let j = -374 + 373. Let h be c(j). Solve 5 = -d + h for d.
-2
Let b = -25 - -29. Suppose 2*s - 5*x = -x + 30, 0 = 3*s - b*x - 35. Solve -s*g = -0*g for g.
0
Suppose p + 6*p = 70. Let q = -10 + p. Solve q = -5*k + 14 + 11 for k.
5
Let h = 71 - 51. Solve u - h + 19 = 0 for u.
1
Let s = 249 + -244. Solve 2*g + 21 = -s*g for g.
-3
Let f be 33/((-3)/(-3)) + 0. Let i = -28 + f. Let l = i - 2. Solve 0 = -l*a + 10 - 22 for a.
-4
Let d(p) = p**2 + 3*p - 7. Let q be d(-5). Let y = -16 + q. Let z = y + 15. Solve z = 5*o - 3 for o.
1
Let q(u) = u**3 + 31*u**2 + 30*u + 3. Let m be q(-30). Solve -m*g + 9 = -6*g for g.
-3
Suppose 2*p + p = 48. Suppose -d - 5*q = 6, 0 = 2*d - 4*d + 4*q + p. Suppose -3*i = d - 19. Solve -4*j - i = j for j.
-1
Suppose 6*l