1/t). Let a be 2*4/(3 + u). Solve 1 = a*k - 3 for k.
1
Let u be 0/(-2 - -1 - 1). Suppose -5*d + 25 = -u*d. Let a = 5 - d. Solve a = -0*r - r - 3 for r.
-3
Let k be (-24)/((27/6)/(-3)) + 0. Solve -15*w + k = -11*w for w.
4
Let c(z) = z**2 - 4*z - 8. Let m(b) be the third derivative of b**5/60 - b**4/8 - 2*b**3/3 + 5*b**2. Let s be m(-2). Let f be c(s). Solve -5*o + f*o = 5 for o.
-5
Suppose -5*v + v = 0. Suppose 2*a = -v*a. Let n be (-16)/4 + (9 - a). Solve n*d = 19 + 6 for d.
5
Suppose 0*c = -22*c. Solve 0*w + 11*w = c for w.
0
Suppose 24 - 8 = -4*g + 4*p, -2*g - 3*p = -17. Let r be g/1*(14 + -14). Suppose -3*u + 4 = -2. Solve r = -u*a + 5*a + 3 for a.
-1
Let v = 937 - 884. Solve v*j - 58*j - 15 = 0 for j.
-3
Let s = -208 + 311. Suppose -s*z - 3 = -104*z. Solve 13 - 4 = -z*n for n.
-3
Let j(t) = -t**3 - 14*t**2 + 20*t + 96. Let p be j(-15). Solve g = -17 + p for g.
4
Let j = 34 + -4. Let s(b) = -b + 2. Let h be s(2). Suppose h = -2*n + 2*i + j, 3*i - 5*i - 78 = -5*n. Solve 5*u + n = -9 for u.
-5
Let s = -250 - -266. Solve -2 = -18*h + s*h for h.
1
Suppose g = -3*y + 11, -2*y = -g - 106 + 132. Solve -g*r - 52 - 8 = 0 for r.
-3
Let i be (-6)/24 - 98/(-8). Let d be (6/8)/(3/i). Solve -d = 2*n - 3*n for n.
3
Let r be (10 - -45)*(-2)/5. Let h(b) = b**3 + 22*b**2 - b - 18. Let c be h(r). Solve 6*k - c = 4*k for k.
2
Let p(z) be the third derivative of z**6/120 - z**5/20 - 5*z**4/24 + z**3 + 11*z**2. Let s be p(4). Solve -3*b = 7 + s for b.
-3
Suppose -3*a + 2*a = -10. Suppose 0 = -f + 5*t - a, f + 3*t = -2*t + 10. Solve f = n + 2 for n.
-2
Let b(d) = -d**3 + 20*d**2 - 21*d + 42. Let a be b(19). Solve -5*v = -3*v - a for v.
2
Let j(c) = -c**3 - 4*c**2 - c + 1. Suppose 0 = -p + 2*s + s + 11, 2*s + 2 = 2*p. Let f be j(p). Solve -f*i + 0*i = 15 for i.
-3
Let y(r) = -r**3 + 5*r**2 + 47*r + 6. Let j be y(-5). Solve -j + 26 = -l for l.
-5
Let y = -951 - -951. Solve 9*b - 13*b - 12 = y for b.
-3
Suppose 5*d = -2*f + 71, 2*d = 4*f - 3*f - 49. Let a = -39 + f. Solve -t = 1 - a for t.
3
Suppose 3*i = -i. Let r be (-50)/(-2)*2/10. Suppose r*z = -v + 14, 3*v + 3 = -i*v. Solve z*l - 8 = 4 for l.
4
Suppose -5*d = 4*z + 10 - 67, 5*d + 7 = 4*z. Let r be ((-15)/(-12))/(2/z). Solve -9 = r*p - 4 for p.
-1
Suppose -3*r + 43 = -2. Let f be (-3)/2*(-20)/r. Suppose 10 = 3*x - 3*y - f*y, 5*y = 5*x - 20. Solve n = -4*n - x for n.
-1
Let w = -606 - -614. Solve -4*k = -w*k + 12 for k.
3
Let y(s) = 5*s**3 - 2*s**2 + 2*s - 1. Let v be y(1). Suppose -3*b - 5*b = -24. Let n be (-2)/b*(-6)/v. Solve n = -d + 6 for d.
5
Suppose -4*n - 5 = -21. Suppose -u + n*f + 11 + 7 = 0, 5*f + 9 = -u. Solve -4*z = -2 + u for z.
-1
Let b(w) be the first derivative of -2*w + 1 + 3/2*w**2. Let d be b(2). Solve -3*y = -2*y + d for y.
-4
Suppose 5*t + 9*h - 6*h - 4 = 0, 8 = t - 3*h. Solve 2*y - t = -0*y for y.
1
Suppose 3*r = -5*l + 4*l + 4, -2 = 2*l - 4*r. Let c(j) = j - 1. Let k be c(l). Solve k - 3 = -t for t.
3
Suppose 1000 = 106*w - 6*w. Solve -8*g + w = 2 for g.
1
Let r = 327 + -322. Solve -4 - 6 = r*z for z.
-2
Let h(y) = 10*y + 625. Let a be h(-61). Solve a*g - 5 = 10 for g.
1
Suppose 173 = -5*t - 2. Let o = 35 + t. Solve o = 3*w - 6 - 3 for w.
3
Let c be 400/100 + 2*2*-1. Let z(j) = j**2 - 6*j + 7. Let p be z(5). Solve -4*v - p - 10 = c for v.
-3
Let c be (15/(-4 + -1))/((-1)/17). Let h = 55 - c. Let o be 6/4*-1*-6. Solve -d + h = o for d.
-5
Let r be 1 - -4 - -5 - -2. Let a be (-4)/(-3)*45/r. Solve 2*y + 5 + a = 0 for y.
-5
Let i = 6 - 4. Suppose -33 = -7*k - 4*k. Solve -2*b = -k*b + i for b.
2
Let b(h) = h**3 - 12*h**2 + 19*h + 10. Let v be b(10). Solve 2*z + 0 - 8 = v for z.
4
Let f = 11 - 8. Let j(d) = 6*d**2 + 68*d + 24. Let n be j(-11). Solve 0 = n*t - f + 13 for t.
-5
Let m be 6 - (-1 + 0)*(-1 - 0). Suppose -m*u + 11 = -24. Solve -4*r = 9 + u for r.
-4
Let i = 157 - 129. Solve 13*p - i = 6*p for p.
4
Let v(h) = h**2 + h + 9. Let i be v(0). Suppose 2*g - 9 = m, -m = g - 3*m - i. Suppose 0 = j - 5*u + 18, 6*j + g*u - 20 = 2*j. Solve j*r = -r for r.
0
Let r(f) = f**2 + 9*f - 1. Let p be r(-11). Suppose 5*s + 4*z = 16, 2*s + 3*z - 2*z = 7. Solve p + s = 5*i for i.
5
Let k be (-6)/(-21) - 2316/21. Let s be 62/22 + (-20)/k. Suppose 0 = -j + s*j - 8. Solve 2 = j*u - 2 for u.
1
Let a be 0 - 595/(-65) - (-10)/(-65). Solve 4*o = -1 + a for o.
2
Let n = -471 - -473. Suppose -5*z + 6 + 9 = 0. Suppose -z*s + s = -n. Solve -3*w = -s - 5 for w.
2
Suppose -19*w = -0*w - 57. Solve o = -0*o - w for o.
-3
Let n(z) = z + 16. Let i be n(0). Suppose i = 5*p + 1. Solve 0*a + p = a for a.
3
Let h(p) = 19*p + 4*p + p**2 + p**2 - 38 - 3*p**2. Let l be h(21). Solve -2*g + l*g = 6 for g.
3
Let r = -238 - -273. Solve -g - r = 6*g for g.
-5
Let c(y) = -y**3 + 7*y**2 - 5*y + 8. Let s be c(6). Suppose -4*h + s = -26. Let v be -5 + 9 - (-4)/(-2). Solve 3*z + v*z + h = 0 for z.
-2
Let k = 31 - 28. Let p = 27 + -22. Suppose -u = -p*m + 18, 5*u - m = -3 + 9. Solve z - u = k for z.
5
Suppose -5*w + 67 + 28 = 2*t, 4*t = -4*w + 88. Suppose -3*p - 2 = -8. Suppose -p*v + 2 = -0*v. Solve 4*a + v = w for a.
4
Let b(u) = -u**2 + 12*u - 33. Let p be b(4). Let k be (-3 + 36/8)/(p/(-2)). Solve 0 = 5*d + k - 23 for d.
4
Let q be 8/(-12)*57/2. Let f = 22 + q. Let t(a) = -a + 3. Let g be t(f). Solve o = -g*o for o.
0
Suppose i = -v + 1, -3*i + 7 = -0*v + 2*v. Solve -p - i = -2*p for p.
5
Let i be (((-28)/10)/1)/(54/(-135)). Suppose 0 = i*u - 13*u + 48. Solve 0*d - 4*d = u for d.
-2
Let x = -19 - -18. Let l be ((x - 2) + 3)/(-2). Solve l = 3*q + 6 + 6 for q.
-4
Suppose -4*c = -3*g + 112, 13 = 5*g - c - 185. Let i = -38 + g. Suppose -4*x = -2*z - 10, 2*x - 4*z - z = -7. Solve 0 = -x*w + i*w - 6 for w.
-3
Let s be (0 - -2)*-1 - (13 + -48). Let b = -32 + s. Solve -2*m - b + 5 = 0 for m.
2
Suppose -3*j = 4*v + 30, 4*j + 49 = -3*v + 2. Let o be (-12)/j*14/3. Suppose -o*a + 8 = -40. Solve -6*g = -2*g - a for g.
3
Let s(d) = 45*d - 44*d - 5 + 2 - 4. Let l = -8 - -17. Let y be s(l). Solve 3 = -y*n - 3 for n.
-3
Let q be 1/4 + (-162)/(-24). Solve 0 = q*t - 5*t + 8*t for t.
0
Let v = 8 - 5. Let n be 145/(-20) + (-1)/(-4). Let r = n + 12. Solve r*s + 28 = v for s.
-5
Let c(i) = -i - 14. Let k be c(-14). Suppose k = 3*q - 2*q. Suppose 5*x - 24 + 9 = q. Solve -5 = -x*n - 2*n for n.
1
Suppose 20 = -3*l + 2. Let n be ((-1)/(10/(-15)))/((-1)/l). Solve o + 2*o = n for o.
3
Suppose -15*w = -51*w + 216. Solve -6 = -w*o - 0*o for o.
1
Suppose -3*t + 5*w + 55 = 3, -4*t = -2*w - 88. Solve -11*n = -5*n + t for n.
-4
Suppose 31*m = 22*m + 18. Solve -m*g + 16 = 6 for g.
5
Let l(u) = -u**2 + 16*u - 9. Let w be l(13). Let h = w + -15. Solve q + h = -2*q for q.
-5
Let q(m) be the second derivative of -m**4/6 - 5*m**3/2 + 29*m**2/2 - 15*m + 2. Let u be q(-9). Solve v = 3*v - u for v.
1
Suppose -b = 2*b - 12. Let i be b/16*4*3. Suppose u + 9 - 11 = 0. Solve -u = -o - i for o.
-1
Let v be (-32)/(-20) - 4/(-10). Suppose q + 4 = 17. Suppose -16*z + 9 = -q*z. Solve -z = -v*k + 7 for k.
5
Let o be (-1*3)/((-54)/54). Solve o*j = 6*j - 3 for j.
1
Let w(c) = -c**2 - 15*c. Suppose -4*t = 13 + 11. Let y(q) = 5*q + 15. Let s be y(t). Let z be w(s). Solve f + f = z for f.
0
Let w = -1515 - -1521. Solve 0 = -w*q - 43 + 25 for q.
-3
Let l(m) = -m**3 + 2*m**2 + 5*m - 1. Let o be l(3). Suppose -24 = -o*s - 9. Solve f = -s*f - 8 for f.
-2
Let t be (-9)/3 + (8 - 1). Suppose t*g - 10 = 38. Suppose g = 3*m - 0. Solve -j = -m*j for j.
0
Let j = -6 + 9. Suppose j - 9 = -3*m. Suppose 3*n + n - 19 = -l, 5*l + 49 = 4*n. Solve -4*o + m = -n for o.
2
Let q(u) = u**3 - 13*u**2 + 20*u + 25. Let i be q(11). Solve i*g = 7*g + 8 for g.
-2
Let x(m) = 6*m**3 + m - 2*m**3 - 31*m**2 + 30*m**2. Let i be x(1). Let s = i + -1. Solve -g = s*g for g.
0
Let m = 248 - 175. Let k = -43 + m. Let s be (-2)/(-6) + 290/k. Solve 2*t = -0*t + s for t.
5
Suppose -38 = -4*d - 34. Solve 2*m - m = -d for m.
-1
Let l = -8 + 6. Let u be (4 + l)/(2/4). Suppose -m = -2*f + m, f - u*m = -6. Solve -f*y = 5 - 1 for y.
-2
Let o(b) = b**2 + 6*b - 1. Let l be o(-2). Let q(r) = 2*r - 3. Let n be q(l). Let c = 24 + n. Solve -c = -5*j + 2*j for j.
1
Let o(u) = -u**3 - u**2 + 21*u + 22. Let p be o(0). Solve k - 17 + p = 0 for k.
-5
Let n(o) = 10*o**3 - o**2 - o. Let s be n(1). Let u = 9 - 2. Suppose -u*t = -s*t. Solve -6*x + x 