/(-16)*f. Solve -5*m + 25 + s = 0 for m.
5
Let c(s) = 2*s**3 - 5*s**2. Let u be c(4). Let m be (6/(-4) + -1)/((-8)/u). Solve 0*z = -3*z + m for z.
5
Let v be (4/(-3))/2*(-396)/88. Solve -u - v = 2*u for u.
-1
Let j(l) = -2*l - 5. Let a be j(-1). Let p(f) = -9*f - 23. Let o be p(a). Solve 0 = o*c - 5 + 13 for c.
-2
Let l = -50 + 67. Suppose -5*d = -z - 85, -4*d - 51 = -7*d - z. Suppose 0*c = 5*c - 3*s - d, 5*c + 4*s = 24. Solve c*x = l - 5 for x.
3
Let o be 14/5 - 2/(-10). Suppose o*g = -u - 5, 11 = g - 6*g - u. Let j(q) = q**2 + 2*q + 3. Let w be j(g). Solve 4*d + w + 6 = 0 for d.
-3
Let y = 16 - 10. Let d be (y/(-4))/((-3)/4). Suppose -m = d*m - 3, m + 12 = p. Solve -5*h = 2 + p for h.
-3
Suppose -t + 25 = 3*i, -4*i - 2*t - t = -25. Suppose 0 = -3*a - 3*f, 4*f + 20 = 4*a - 3*a. Solve l = -a*l - i for l.
-2
Suppose 3 + 1 = 2*o. Suppose x + 4*k = -0*x - 53, 0 = 2*x - o*k + 136. Let a be 4/(-26) - 985/x. Solve 3*p = -2*p - a for p.
-3
Let u = 80 - 77. Suppose h = -m, 0 = -m + u*h - 6*h - 8. Solve 0 = -6*r + 2*r - m for r.
-1
Suppose -147 = 23*b - 216. Solve -b*z = -z - 5*z for z.
0
Let f = -58 - -19. Let d = 73 + f. Suppose 5*h = -4 + d. Solve -v = h - 1 for v.
-5
Let p be 112/20 - (-21)/(-35). Solve 0 = p*f - 8*f for f.
0
Suppose -16*r - 156 = -15*r - 27*r. Suppose -a - m = -5, -3*m - 15 = -5*a + 2*m. Suppose -7*s + 64 = a*i - 3*s, -5*s - 40 = -3*i. Solve -r*n = -n - i for n.
3
Suppose 21*i + 24 = 24*i. Solve i*p - 15 = 5*p for p.
5
Suppose 0*v - 30 = -3*v. Suppose 0 = 2*o - v + 2. Suppose o*f - 1 - 11 = 0. Solve y + 7 = f for y.
-4
Let a be -2 + 4216/184 - 8/(-92). Solve -15 = a*l - 78 for l.
3
Let i be 6*(-30)/(-72)*2. Solve -i*w - 4 = -w for w.
-1
Suppose 0 = -k + 3*k - 4. Let r(o) = o**2 + 4*o + 1. Suppose 0*i + 2 = -2*i + 3*v, -v = 2. Let u be r(i). Solve -u = -p + k for p.
3
Let k(w) = w**2 - 9*w + 19. Let p be k(3). Solve 5*f = 9 + p for f.
2
Suppose 7 = 3*n - 8. Let t(g) = 2*g + 20. Let u be (0 - (0 + 4)) + -2. Let a be t(u). Solve -n*m = -3*m - a for m.
4
Suppose 14*g = d + 18*g - 12, 4*d + g - 18 = 0. Solve 15*z + d = -41 for z.
-3
Let o(h) be the second derivative of h**4/6 + h**3/6 - h**2/2 + 2*h. Let i = 7 - 9. Let z be o(i). Solve -z*v = -v - 16 for v.
4
Let r be (-3 - -7)/(-1) + -32. Let l = 42 + r. Solve 3*j + 3 = l*j for j.
1
Let f = 15 - -11. Suppose -f - 14 = -10*k. Solve 3*g - 5*g - k = 0 for g.
-2
Let x be 2/(228/(-39) + 6). Solve -x*r = 19 + 20 for r.
-3
Let t(m) be the third derivative of -m**6/120 + m**5/10 - 5*m**4/24 - m**3/2 - 12*m**2. Let c be t(3). Suppose 11*f = c*f. Solve p + f = 3 for p.
3
Let a = 58 - 21. Let c = a + -37. Solve 1 = -c*l - l for l.
-1
Let i be 216/14 + (-12)/28. Let b be (-5)/i*(-2 + -4). Suppose v + 25 = 5*a - v, -b*a - 2*v = -10. Solve -a*f - 6 = 4 for f.
-2
Suppose 0 = i - 5, -w = w + 4*i - 20. Suppose w*h + 9 = 3*h. Solve h*l + 2 = -7 for l.
-3
Let g = 112 - 65. Let h = g - 44. Solve 2 + 13 = -h*d for d.
-5
Let o = 273 - 273. Solve k + 19 - 14 = o for k.
-5
Let r be (-51)/(-34)*148/6. Let t = 41 - r. Solve 4*a - t + 0 = 0 for a.
1
Let x = 0 - -2. Let k = 22 - 25. Let d be (-3)/(-9) + (-2)/k. Solve o + x = -d for o.
-3
Let f = 157 + -152. Solve 0*g - g = f for g.
-5
Suppose 22*q - 69 = 41. Solve -87*t + 88*t = q for t.
5
Let k be 210/21 - 5*(1 + 0). Let a(z) = z**3 - 3*z**2 + 4*z + 4. Let p be a(4). Suppose k*f = f + p. Solve -5*n - f - 1 = 0 for n.
-2
Let w be 5 + -1 - (3 + 1 - 2). Solve -9 = -w*a - 5 for a.
2
Let n be 0 - (-1 + -14 + 2). Suppose -p + 7 = -n. Suppose q = -q + p. Solve -5*z = -q*z for z.
0
Let j = 1264 + -1239. Solve 0 = j*g - 27 - 48 for g.
3
Suppose 133 = 3*s + 7*q - 2*q, 3*q = 2*s - 57. Let i be ((-8)/9)/4 + 152/s. Solve -i*f + 3 = 7 for f.
-1
Suppose 0 = q + 2*q - 6. Solve -3*d + q*d = -4 for d.
4
Let u(n) be the first derivative of 5*n**3/3 - n + 172. Suppose -2 - 2 = 4*j. Let m be u(j). Solve 3 = m*s + 19 for s.
-4
Let l(x) = -2*x**2 - 10*x + 4. Let d be l(-5). Suppose -2 = 5*t + 5*n + 3, d*n + 4 = 5*t. Solve -2*w = -t*w - 6 for w.
3
Let s = 833 + -828. Suppose -3 = p - 8. Solve p = -s*k - 5 for k.
-2
Suppose 6*j - 4*j = 4. Let r be j/(-3) + 234/27. Solve 3*d + 15 = r*d for d.
3
Suppose 5*b = j + 25, 11 = -4*j - 9. Solve -b*h + 2 - 22 = 0 for h.
-5
Suppose -3*t + 4*q + 8 = -0, 4*q = t. Solve i - 6 = t*i for i.
-2
Let o(w) = w**3 + 5 + 5 - 2*w**2 - 4 - 8*w**2. Let s be o(10). Let f = -1 - -3. Solve t + s = -f*t for t.
-2
Suppose 0 = a - 3*y - 3, -3*a + 5*y - 3*y = -2. Solve a = -q - 2*q - 3 for q.
-1
Let s(x) be the second derivative of -x**6/240 + x**5/120 + 5*x**4/12 - 2*x. Let o(p) be the third derivative of s(p). Let q be o(-1). Solve -2 = q*f + 6 for f.
-2
Let z(x) = -x**2 - 21*x + 37. Let p be z(-22). Solve p = -b + 10 for b.
-5
Let z(i) = i**3 + 3*i**2 + i. Let y be z(-2). Suppose -42 = -y*o - t, o - 30 = t - 6*t. Let g = -18 + o. Solve 20 = g*s + 3*s for s.
4
Let s be 0/(-2 - 0/6). Solve -k + 1 = -s for k.
1
Suppose a - 4*a = -3*k + 9, 2*a = -k. Let s be (63/14)/((-9)/(-6)). Let g be (k + -2)*(-1)/s. Solve g*q = 2*q - 2 for q.
1
Suppose 3*d + 5*s = 20, -5*d - 4*s + 21 - 5 = 0. Let j(b) = -b**3. Let v be j(d). Solve v = r + r for r.
0
Let y = -83 - -83. Let j(f) = -2*f**3 - 2*f**2 + f + 6. Let l be j(y). Solve 0 = l*z - 2*z + 16 for z.
-4
Let j(c) be the first derivative of c**3/3 - 3*c**2/2 + 2*c + 1. Let t = -5 + 8. Let l be j(t). Solve u + l*u = 15 for u.
5
Let c = -9 - -7. Let s be 1*(2 + c - 35). Let w = s + 55. Solve -b + w = 3*b for b.
5
Let y(b) = 1 + 8 - 10 + 38 - b. Let p be y(27). Solve -4*h = h + p for h.
-2
Suppose 27 = 5*g + 5*w - 23, -5*w - 50 = -5*g. Solve -20 = -2*l - g for l.
5
Let h(q) = -q**3 - q - 45. Let a be h(0). Let n = 65 + a. Solve 0 = 4*p - n - 0 for p.
5
Let v = 9 - 7. Let f be 22 + (-4 - (2 + -4)). Solve v*m + 3*m = f for m.
4
Let l(c) = -c**2 + 7*c - 10. Let i be l(5). Suppose 5*z = -i*z + 5*r - 160, 0 = -2*z - r - 52. Let h be (-3 + z/(-8))*10. Solve g = h*g - 8 for g.
2
Let d(m) = m**3 + 7*m**2 + 4*m - 1. Let r be d(-6). Suppose -r*z = -14*z + 15. Solve -2*t - 3*t + z = 0 for t.
1
Let b(h) = -5*h + 26. Suppose -2*r = -2*c - 6, -22 = -5*r - c - c. Let d be b(r). Solve -3*w + w - d = 0 for w.
-3
Let x(d) = -d + 1. Let g be 42/63*3/(-2). Let n be x(g). Solve -n*i + 2 = -4 for i.
3
Suppose -2 = v, 2*g - 5*g + 5*v + 46 = 0. Suppose 2*q + g = 5*q. Suppose c - 7 = -q. Solve c = -l - 0*l for l.
-3
Suppose -x + 2 = x + 4*b, 0 = -4*x - 4*b + 12. Suppose 3*k + k = 4*t + 8, 18 = x*k - t. Suppose 2 + k = r. Solve -3*o = -r*o + 6 for o.
2
Suppose 58 = z - g, 3*z = 5*g + 97 + 77. Suppose 3*b - 50 = -5*h, -2*b = 2*b - 2*h - z. Solve 0*n + b = 3*n for n.
5
Let y be -2*(81/6)/(-3). Suppose 3*d + 72 = 3*p + 2*p, -16 = 4*d. Let k = p - 10. Solve -1 + y = -k*a for a.
-4
Let q be 2*2*(-11 - (7 + -19)). Solve 48 = -16*o + q*o for o.
-4
Suppose -23*a + 16*a = -84. Solve 0 = -5*x + a + 8 for x.
4
Let u(i) = i**3 - i**2 + 4. Let r be ((-6)/(-3))/1 - 0. Suppose r*b = -b. Let z be u(b). Solve 5*f + 1 = z*f for f.
-1
Suppose -3*l - 26 = 2*s - 237, 2*l = 3*s - 297. Suppose -5*t + 3*n = -3*t + s, 3*t = -5*n - 161. Let i = -32 - t. Solve -j - i = -5*j for j.
5
Let r(b) = -b + 25. Let n be r(9). Suppose 0 = 2*i + 4*h - n, -3*i - 7 - 9 = -4*h. Solve 4*o - 9 - 3 = i for o.
3
Suppose 5*m - 13*m = -24. Suppose -m*z - 4*z = z. Solve 3*x + z - 12 = 0 for x.
4
Let z be 8/10 - (-44)/(-55). Suppose -4*r + 16 + 40 = z. Let t(f) = -f**3 - 3*f**2 - 5*f - 4. Let k be t(-3). Solve -5*b - r - k = 0 for b.
-5
Let r = 3 + -1. Let o(h) = -h**3 - 37*h**2 - 36*h + 2. Let k be o(-36). Suppose -n - n + 12 = 0. Solve k*z + n = -r for z.
-4
Suppose 15 = -3*v - 3*x, -3*v - 5 = 4*x + 15. Let k be (6/9)/(2/24). Solve -k + v = 2*g for g.
-4
Let j be 133/35 + (-1)/(-5). Suppose 0 = -j*c - c + z + 21, 20 = 5*z. Solve -4*o - c = 7 for o.
-3
Suppose 4*x + 60 = z, -4*z - 2*x = 2*x - 180. Suppose 0 = -4*p, 3*g + 2*p - z = 2*g. Suppose 3*l - 2 - g = 2*q, -3*q - 12 = 0. Solve -6 = 4*d - l for d.
2
Suppose 3*w - 52 = -5*h + 254, w + h = 102. Solve 4*y + 102 = w for y.
0
Let c(b) = -b**3 + 14*b**2 - 9*b - 31. Let i be c(13). Suppose -4*h = -4*d - 7*h + i, -5*d + 35 = -5*h. Solve 2*v = -4 - d for v.
-5
Suppose 5*j - 4*i - 34 = 0, 0 = 5*j + 9*i - 7*i - 28. Suppose 5*s = -j*s + 10*s. Solve s = 3*l + 