- h = 16*u for u.
4
Let i(n) = -n**3 + 2*n**2 + 7*n + 4. Let k be i(4). Suppose k = 20*h - 15*h. Solve 5*x - 21 + 1 = h for x.
4
Let v be 84/(-6)*2/4. Let h(m) be the second derivative of m**5/20 + 2*m**4/3 + 7*m**3/6 + 3*m**2/2 - 25*m. Let d be h(v). Solve q + d = 4 for q.
1
Let o = 84 - 45. Suppose 3*h - 5*v + 1 - o = 0, 0 = -5*h + 2*v + 57. Let n = -11 + h. Solve n*m + 3 = m for m.
3
Suppose 2*r + 78 = 5*r. Suppose -2*v = -2 - r. Let b be 27/26 + (-62)/1612. Solve -5*q - v = b for q.
-3
Suppose 2*j = 7*j - f - 42, j - 4*f = -3. Suppose 8 = 50*b + 8. Solve -3*v = -b*v + j for v.
-3
Suppose 37 = -2*i + 13. Let d be (6 + -5)*-20 - (0 - 4). Let r = i - d. Solve -v = -r*v for v.
0
Let r be (-24)/(-15) + 2/5. Let g be (2 + (2 - 3))*r. Let a(n) = 5*n**2 + 1. Let h be a(-1). Solve -g*p + h*p - 8 = 0 for p.
2
Let z(f) = -f**3 - f**2 - f + 8. Let o be z(0). Let d be (-21)/(-35) - (-2)/((-30)/(-81)). Let l be (d/(-4) - -2)*o. Solve 0 = -w - l - 0 for w.
-4
Suppose 4*f - 6*m = -m - 342, -3*f - 255 = -3*m. Let l = 89 + f. Solve l - 1 = 5*y for y.
1
Let v(b) = b - 3. Let c be v(3). Let m = 295 - 211. Let j be 120/m + 8/14. Solve j*r - r = c for r.
0
Suppose -20 = -g - 4*j, -2*g - j + 12 = -0. Suppose -3*k + g = -8. Let r = 16 - 16. Solve k*x + r*x + 16 = 0 for x.
-4
Suppose 7*p + 15 = v + 4*p, v = 2*p + 12. Solve -4*l + l + v = 0 for l.
2
Suppose -8*r = 11*r - 1596. Solve r - 64 = -5*n for n.
-4
Suppose -2*w + 20 = 3*b, -44 = 2*b - 5*w - 70. Solve 5*u + 13 = -b*u for u.
-1
Suppose 0 = -2*u - 9 + 1, 2*u = -g - 8. Solve g*x - 42 = -14*x for x.
3
Let y(a) = a - 12. Let v(m) = -1. Let d(j) = -5*v(j) - y(j). Let q be d(12). Solve q*i + 22 - 7 = 0 for i.
-3
Suppose 11*s - 5*s = 0. Solve s*m + 8 = -4*m for m.
-2
Let m(h) = 2*h. Suppose -4*p + g = 3*g - 16, -10 = 5*p - 5*g. Suppose o - 3*k - 10 - 8 = 0, -p*k = 4*o - 2. Let z be m(o). Solve -z*w = -3*w for w.
0
Suppose 15*z + 1 - 136 = 0. Solve 59*q - z = 56*q for q.
3
Suppose 89 = 4*k + 81. Solve 0 = w - 2 - k for w.
4
Suppose -5*y - 10 = -x, 5*x - 44 = -y + 6. Solve -x*f + 7*f - 9 = 0 for f.
-3
Let l(o) = o + 3. Let i be l(-1). Suppose -5*h + 2*q + 33 = 3*q, 0 = -2*h + 5*q - 3. Suppose 3*j + 13 - 12 = 2*m, -2*m - j + 5 = 0. Solve i + h = m*v for v.
4
Let h = 32 + 3. Suppose -3*r + 0*r - 60 = -5*v, -2*r - h = -3*v. Suppose 0 = -d + 4*d - v. Solve 0 = -0*o + o + d for o.
-5
Let t be (-20)/8*(217/(-35) + -1). Solve 9*r = 3*r + t for r.
3
Let l(f) = 2*f**2 + 10*f - 13. Let x be l(-6). Let r be 1/(3*x/(-9)). Solve 2*i + r*i = -10 for i.
-2
Suppose -8*o + 32*o = 216. Solve -o = -y - 4 for y.
5
Let y be (20/(-25) + 0)/(10/(-25)). Solve y*q + 0 = -4 for q.
-2
Let l(f) = f**2 - 10*f - 32. Suppose 21 = 3*m + 69. Let h = -3 - m. Let i be l(h). Solve -i*s - 15 = -2*s for s.
-3
Let o = 348 + -345. Solve 0 = o*h - 29 + 14 for h.
5
Suppose 0 = 3*f + 2 + 13. Let k be (20/16)/f + (-2)/(-8). Solve k = 2*n + 3*n - 10 for n.
2
Suppose -10*g + 322 = 4*g. Solve -21*t + 8 = -g*t for t.
-4
Let v = -63 - -121. Let f = -56 + v. Solve -2*w = f*w + 8 for w.
-2
Let s(d) = d**2 + 4*d - 130. Let o be s(10). Solve -17*b = -12*b + o for b.
-2
Let r = 19 - 22. Let i(y) = -5*y - 12. Let s be i(r). Solve -25 = -2*w - s*w for w.
5
Let y = 39 - 25. Let b = 16 - y. Solve -b*d + 12 = 2*d for d.
3
Suppose 4*d - 83 = -63. Solve d*g - g + 20 = 0 for g.
-5
Let b = -13 - -21. Suppose -v = -3*v + b. Suppose v*i - 64 = -8. Solve 4 - i = -5*n for n.
2
Let a be ((-6)/(-21))/((-2)/(-28)). Suppose 0 = z - 5*r + a*r - 1, -2*z = 2*r - 6. Solve z*g - 3*g = 1 for g.
-1
Let b be (-4)/34 - (2208/(-68))/4. Solve -2*t - 30 = -b*t for t.
5
Let t be (5/3)/(28/504) - 6. Solve 0 = t*h - 29*h + 20 for h.
4
Suppose 0 = -4*c + c + 6. Suppose -c*v = -3*v + 27. Suppose -4*j - 7 = -v. Solve -t - 4 = -j for t.
1
Let o(f) = 3*f**2 + 8*f - 3. Let b(i) = 2*i**2 + 9*i - 4. Let n(s) = -4*b(s) + 3*o(s). Let m be n(12). Solve -4 = m*p - 5*p for p.
-2
Let o = 730 - 724. Solve -o*h - 20 = -2 for h.
-3
Let g(p) = -10*p**3 + p**2 + p. Let s be g(-1). Suppose 0 = -15*d + d + 98. Suppose 4*f + 4*k - 24 = 0, -f - d = 4*k - 22. Solve -b + f*b = s for b.
5
Suppose 4 = -17*z + 18*z, 2*z = a - 19. Solve 1 = 7*r - a for r.
4
Let a(g) = g**2 - 8*g + 10. Let d be a(7). Let x = d - 0. Solve -2*w - x*w = 10 for w.
-2
Let m(s) = 15 - 2*s + 5*s + 14 - s. Let h be m(-14). Solve -2*r - h = -5 for r.
2
Let w(v) = -4*v - 18. Let x be w(-7). Solve 6*n - x = 4*n for n.
5
Suppose 12*o - 13*o = 0. Suppose o = -h - 5, -5*b - 2*h + 15 = -0*h. Solve -2*g - b - 3 = 0 for g.
-4
Suppose 2*n - d - 45 = 37, -5*n + 223 = 2*d. Let q = n + -23. Let l(a) = a + 1. Let c be l(-1). Solve c = -3*z - z + q for z.
5
Let j = -39 + 39. Suppose -3*f + 2*f + t = 0, j = -f + 2*t - 5. Solve f*m - 14 = 6 for m.
4
Suppose -5*w + 290 = 5*r, -7*w + 58 = r - 4*w. Solve r - 19 = 13*i for i.
3
Let p = -735 - -784. Solve 33 = p*m - 38*m for m.
3
Let b be (-2 - -14)/((-6)/(-9)). Let x = -1 + b. Suppose -2*j - 6 = -z - 1, -4*z + 5*j + x = 0. Solve 2*d - z = -7 for d.
-2
Suppose 2*f + 5*x = -13, -8 = -4*f + 8*f + 4*x. Solve 0 = 4*u + f + 7 for u.
-2
Let s = 62 + -35. Let v = 27 - s. Solve 3*t = -v*t for t.
0
Let r be (-20)/4 + 2 + 8. Suppose -3*h = -4*a + 9, h = -5*a - r + 2. Solve a = 6*m - m for m.
0
Suppose 0*w - 5*w + 5 = 0, 0 = 2*q - 3*w - 3. Solve z + 16 = -q*z for z.
-4
Suppose -6*d + 2*d = 0. Suppose 4*r - 10 = -2. Suppose k + r*k = y + 5, 20 = -2*k - 4*y. Solve d = j + 2 - k for j.
-2
Suppose 0 = -13*x + 6*x + 84. Solve x*j - 20 = 7*j for j.
4
Suppose v - 26 = -0*v - 4*r, 5*r = -4*v + 82. Suppose -9*k - v = -15*k. Solve -k = -3*f + 3 for f.
2
Let y(i) = 4*i + 53. Let l be y(-13). Solve 6*x - 7 = -l for x.
1
Let p(m) = -m**2 - 5*m + 30. Let s be (-2)/(-12)*-14*3. Let x be p(s). Solve -5*u + 1 = x for u.
-3
Let o be (1 + (-55)/15)/(2/(-3)). Solve -o = v - 2*v for v.
4
Suppose -6*h - 2*k = -2*h - 22, 4*k - 23 = -5*h. Suppose 0 = h*b - 6*b. Let n = -352 + 354. Solve -3*s - n*s = b for s.
0
Suppose -3*h = -0*h - 36. Let z(n) = n**3 + 3*n**2 - 4*n. Let k be z(-4). Suppose 3*o = -k*o + h. Solve 0 = -o*v + 5 + 11 for v.
4
Let p(t) = -4*t - 3. Let c(o) = -3*o - 2. Let w(u) = -5*c(u) + 4*p(u). Suppose -1 = -3*r - 7. Let h be w(r). Solve h*d = -5*d for d.
0
Let x = 25 - 28. Let k(v) = 10*v + 30. Let w be k(x). Solve w = -0*g + 5*g for g.
0
Suppose 4*t = -u - 5, -2*t - 3*t - 13 = -u. Suppose -3*r + 4*r = -3*v + 16, v = -u*r + 24. Solve -3*p - 4 = -r for p.
1
Suppose -5*n = -5*r - 20, 0*n - 3*r - 14 = -4*n. Suppose n*y = -7 + 13. Solve -y*l = -5*l - 6 for l.
-3
Suppose -s = -5 - 3. Suppose -20 = -5*o - v, s = o - 3*v + 4*v. Solve 3 = -2*x - o for x.
-3
Let d be (9/(-3))/((20/(-15))/4). Suppose -h = d*c - 6*c - 18, 3*h - 2*c = -1. Solve -k + 5 = h for k.
2
Let b(t) = 25*t + 4. Let s(f) = 12*f + 2. Let a(z) = 6*b(z) - 13*s(z). Let h be a(-1). Suppose -h*l = -3*l. Solve -2*w + 3*w - 5 = l for w.
5
Suppose -n + 9 - 34 = -4*f, -2*f + 30 = -4*n. Suppose -3*y + 42 = 5*o - 0*o, 13 = 2*o + f*y. Suppose -4*m + o*m = 0. Solve -4*l + 1 - 9 = m for l.
-2
Let q be 6 + -2 + (8 - -3). Suppose 5*x - 18 = -3*p, 4*x = 3*p - 6*p + q. Solve -5*l - p = -11 for l.
2
Let c = 4 - -2. Let i be 5 - 1*(-3 + c). Suppose -5*t + 0*d - 4*d + 83 = 0, d + 73 = 5*t. Solve -5*q = -i*q + t for q.
-5
Let c(r) = r + 13. Let n be c(-11). Suppose 9 = m - 3*b - 9, -3*m + n*b = -19. Solve 0 = 2*l - m + 11 for l.
-4
Let b be (-1)/3 + (-56)/(-24). Let r = 0 + b. Let f(o) = 2*o**2 - 5*o + 4. Let h be f(r). Solve -s - h*s = 0 for s.
0
Suppose 5*t + 4*w = 13, w = -2*t + 7 - 3. Let l be t + (3/6*4)/(-2). Solve -5 = -b - l for b.
5
Let f(g) = g - 7. Let z be f(23). Let n = 25 - z. Solve -n = -3*t - 0 for t.
3
Let y(q) = 2*q**2 - 5*q + 2. Let t be y(2). Solve t = b - 3*b + 2 for b.
1
Let f = -309 - -344. Solve -12 = -f*o + 39*o for o.
-3
Let z(d) be the second derivative of -d**4/4 - 5*d**3/3 - 16*d. Let w be z(-3). Solve -w*l + 0*l - 15 = 0 for l.
-5
Let p = 25 + -21. Suppose b - 3*y = y - 8, b + p*y = 16. Suppose 4*x + b = 0, -2*m = m + 3*x - 3. Solve 0 = -m*w - 1 - 9 for w.
-5
Let a = 16 - 7. Let q = -4 + 6. Suppose -2*j + 0*j + 4*u - 8 = 0, q*j = -2*u + 10. Solve -i + a = j*i for i.
3
Suppose -3*s = 2*s - 10. Suppose s*v - 18 = -v. Suppose -z - z = -v. Solve 0 = -z*r - r for r.
0
Suppose m -