 a*m = 16*m for m.
0
Suppose -3*j + 3*u = -0*j - 54, -4*u = -5*j + 94. Let y = -22 + j. Solve -6*n + n + 15 = y for n.
3
Suppose -18*l + 153 = -9. Solve 10 - l = m for m.
1
Let z = 19 + -11. Suppose 0 = -0*u - 2*u + z. Solve -6 = i - u*i for i.
2
Let k(v) = -v**3 - 2*v**2 + 2*v + 2. Let p be -2 - (-5)/(10/12). Suppose 5*a + 5 = 0, p*b = -0*b + a - 11. Let f be k(b). Solve -5*d = 20 - f for d.
-3
Let t = -549 + 552. Solve 20 = -t*o + 11 for o.
-3
Suppose -2*l + 7 = 1. Suppose -2*b - 2 = -l*b. Solve 0 = 2*h + b - 0 for h.
-1
Let x = 469 - 469. Solve -9*p + 14*p = x for p.
0
Let q be (39/(-26))/(-3*4/64). Solve -14*d = -q*d - 12 for d.
2
Let l(c) = -5*c + 15. Let m(i) = -9*i + 30. Let o(a) = -5*l(a) + 3*m(a). Let t be o(-7). Solve 0 = 4*s - 9 + t for s.
-5
Let b = -32 + 57. Suppose 17 = -4*p + b. Solve -1 = j - p for j.
1
Let t(n) be the third derivative of n**6/120 - 11*n**5/60 + 5*n**4/12 + n**3/3 - 15*n**2. Let v be t(10). Solve 4*u = v*u - 10 for u.
-5
Let y(v) = v + 7. Let o(n) = -n - 10. Let c be o(-5). Let f be y(c). Suppose 5*k - 3*m + 2 = 3, 0 = -4*k - 4*m + 20. Solve 0 - k = f*z for z.
-1
Let h be ((-18)/(-4))/((-5)/(800/(-15))). Let n(m) = -5*m**3 - 2*m**2 + 2. Let g be n(-2). Let y = h - g. Solve 3*u - y = -2 for u.
4
Suppose 11 + 5 = 4*t. Suppose -t*y = -5*c + 13, -c = 4*y - 2*y - 11. Solve 0 = -c*q + 25 - 5 for q.
4
Let l = -18 + 18. Suppose l*d + 2*d = -4*m + 20, 5*m = 15. Solve -4*n = -8*n + d for n.
1
Let b be 24*((-8)/(-48))/((-2)/(-8)). Let v be 8/b*(0 + 10)*1. Solve d - 10 = -v for d.
5
Suppose 4*f = -f + 15. Let t = 21 + -23. Let r be 12/t*(2 + -3). Solve -f*d = r - 0 for d.
-2
Suppose 0 = -0*k + k. Let m = -362 + 365. Solve k = -s - m*s + 20 for s.
5
Let j(f) = 10*f + 80. Let p(h) = h + 9. Let l(i) = 4*j(i) - 35*p(i). Let z be l(2). Suppose -5*t + t + 16 = 0. Solve -z = -t*k - k for k.
3
Let z = 972 + -969. Suppose 3*g = -2 + 20. Solve z*i = -g + 3 for i.
-1
Let d(k) = 3*k**3 - 3*k - 2 - 6*k**3 + 0*k - 6*k**2 + 2*k**3. Suppose 2*l + 18 = l + 3*z, 0 = -3*l - 5*z + 2. Let n be d(l). Solve -5*x = -x - n for x.
4
Let r = -156 - -165. Solve r*a = 8*a + 5 for a.
5
Suppose -2*k - 3321 = -5*d - 6*k, 1328 = 2*d + 2*k. Let m be (-2)/3 - d/(-57). Suppose -4*i = -19 + m. Solve 0 = 2*p + i*p + 16 for p.
-4
Let d(h) = h**3 - 4*h**2 - h + 6. Let v be -4 - ((-1)/(-5) - (-205)/(-25)). Let q be d(v). Solve 0 = 5*j + 3 + q for j.
-1
Let h be 1*21/49*35. Solve 4*g - h = -7 for g.
2
Let a(j) = 15*j - 553. Let q be a(39). Solve 24*d - 16*d = -q for d.
-4
Let c(v) = v**3 + 11*v**2 + 13*v + 32. Let n be c(-10). Solve -g = -n + 5 for g.
-3
Let j(v) = 2*v - 1. Suppose c - 6*c - 25 = 0, -s + 2 = -c. Let a be s/(-4)*(-4 + 8). Let u be j(a). Solve 0*i = -u*i + 5 for i.
1
Suppose 5*d = -4*k + 53, 9*k - 6*k - 26 = -d. Solve -21 = k*r + 14 for r.
-5
Let j be (-5 + (-56)/(-12))/((-2)/12). Suppose j*r - 2 = r. Solve -2 = -m + r for m.
4
Suppose 0 = -47*u + 36*u + 44. Let l = -4 + 12. Suppose -4*p = -u - l. Solve 2*n = p*n for n.
0
Let c(p) = 14*p - 228. Let m be c(25). Solve -u = 127 - m for u.
-5
Suppose 4*m - i - 6 = 15, -2*i - 10 = 0. Suppose 10*g - 20*g + 180 = 0. Solve m*b = -2 - g for b.
-5
Let m(g) = -3*g + 24. Let p(l) = 7*l - 73. Let a(v) = 11*m(v) + 4*p(v). Let z be a(-6). Solve 0 = 3*o - 5 + z for o.
1
Let m be (18 + -12)*(-4)/(-2). Solve -3*t + 27 = -m*t for t.
-3
Suppose 0 = 5*v - 22 - 3. Solve v*s - 16 = s for s.
4
Let v(w) = w**2 - 5*w + 6. Let z be (-30)/(-4)*(-2)/(-3). Let k be v(z). Solve 0 = -k*d + 2*d + 16 for d.
4
Let h(y) be the first derivative of 2*y**2 - 12*y + 25. Let l be h(3). Solve -q = 1 - l for q.
-1
Let f(x) = -3*x - 79. Suppose -85 = -l + 4*l + 2*b, 3*b + 60 = -2*l. Let w be f(l). Solve w*o = 3*o + 2 for o.
-2
Suppose -h - g = -11, 5*h - 7*g + 3*g = 37. Suppose k + 3*x - 4 = -13, h = 4*k + 3*x. Suppose 0 = 4*q - 0*q - 8. Solve -k = -q*s - 2 for s.
2
Suppose -b + 0 = 3*n - 18, -5*n - 4*b + 37 = 0. Let u = n - 24. Let r = u - -33. Solve 3*z + 2 - r = 0 for z.
4
Let p = 522 - 518. Solve -p*o = -9*o - 15 for o.
-3
Let u be ((-8)/10)/(2/15). Let l = u + 6. Let j = -35 - -37. Solve 0*v - j*v - 2 = l for v.
-1
Suppose 3*l + 57 = 3*w, 5*w - 74 = -3*l + l. Solve 0 = -3*k - w + 28 for k.
4
Suppose -36 = -2*o - 2*o. Let q be o + -1 + -1 + -1. Suppose -3*l - 2*l = p - 3, -2*p + 4*l = -q. Solve -p*f + 6*f - 15 = 0 for f.
5
Let o be ((-128)/48 + -12)/(2/(-3)). Solve -w - 10*w = o for w.
-2
Let h(t) = 16*t - 126. Let l be h(8). Solve 0 = -l*n - 3*n - 5 for n.
-1
Suppose r - 116 = 5*y - 144, -6 = -3*r. Solve 0 = 27*n - 24*n - y for n.
2
Suppose 0 = 4*o - 140 + 8. Let q = 37 - o. Solve -3*m = -m + q for m.
-2
Let q(u) = -280*u - 1675. Let f be q(-6). Let z be 7/4 + 2/8. Solve -3*g = -z*g - f for g.
5
Let n(b) = 7*b**2 + 52*b + 146. Let q be n(-3). Solve -15 = 50*x - q*x for x.
5
Suppose 45 + 25 = 5*u. Solve -6 + u = -4*b for b.
-2
Suppose 5*z = 5*p + 680, z - 16*p - 148 = -11*p. Solve z = -a + 129 for a.
-4
Suppose 0 = -3*f + 9. Let j(c) = -2*c + 14. Let s be j(f). Let b be -1*(-52)/2 - 2. Solve b = -4*t + s for t.
-4
Suppose 5*v - 2*p - 75 = 2*p, -2*p = 10. Suppose k - 2*h = h - v, k - 2*h = -6. Solve k*g - g = -9 for g.
-3
Let r(j) = 3*j**2 + 31*j - 70. Let z be r(2). Let k be 34/8 - 3/12. Solve z = -8*d + k*d for d.
-1
Suppose -9*j = 6*j - 90. Solve -j*i + 4*i = 0 for i.
0
Let m be (-2)/((-30)/65) - (-2)/(-6). Let x be 3/((-24)/m)*(1 + -5). Solve 0 = x*k + k + 6 for k.
-2
Suppose 2*j = -3*i + 25, 2*i - 25 = 2*j - 5. Let s = 13 - i. Solve 0 = -y - 1 + s for y.
3
Let i be (-2 - -10)*28/8. Let a be 92/i + 8/(-28). Solve -a*t = -13 - 2 for t.
5
Let p(r) = r**2 - r - 5. Let y be p(6). Suppose -4*l + 2*w - 39 = y, 3*w - 26 = l. Let m = -11 - l. Solve -6 + 21 = m*s for s.
5
Suppose -4*k + 1 = -5*x + 14, 0 = 2*x - 10. Solve 0*m = -k*m + 15 for m.
5
Let l be (60/45)/((-2)/(-12)). Suppose -p = 3*s - 11, 3*s = -2*p + 8 + l. Solve 0 = -p*u - 0*u - 10 for u.
-2
Let a = -38 + 40. Suppose -4*d = a*y + d + 9, 0 = -4*y - 4*d. Solve -14 = y*i + 1 for i.
-5
Let s(o) be the second derivative of -o**4/12 - o**3 - 5*o**2/2 - 5*o. Let c be s(-4). Solve -3*f + c = -2*f for f.
3
Let a(u) = -2*u - 28. Let l be a(-17). Solve -2*i + l*i + 20 = 0 for i.
-5
Suppose 0 = 2*x - 0*x + 16. Let y be ((-36)/x)/(-9)*-8. Solve 3*g + g - y = 0 for g.
1
Let r = 1658 - 1592. Solve 8*w - 74 = -r for w.
1
Suppose 0 = 12*h - 13*h. Suppose 2*g + 3*g = h. Solve -2*v + 0*v = g for v.
0
Let r = -361 + 367. Solve r*y = -15 + 3 for y.
-2
Suppose -28*c - 90 = -33*c. Suppose 0 = 5*l - 11*l + c. Solve s - l = -6 for s.
-3
Suppose -3*w = 48 - 3. Let m be (-1)/(-5) - 42/w. Let v = -2 + 11. Solve m*i = v - 24 for i.
-5
Let q = 18 - 15. Let j(x) = q - 22*x - 2 - 4 + 21*x. Let p be j(-5). Solve -p*g - 1 + 5 = 0 for g.
2
Let k be -2*6/42*-161. Solve -k = 7*p - 11 for p.
-5
Suppose -3*k = -7*k - 20. Let l be (-2 - -7)*(-8)/k. Solve -i - l = i for i.
-4
Let w(h) = -h**3 - 7*h**2 - 151. Let o be w(-9). Solve 2*x = -o + 5 for x.
-3
Let n be (-16 - -16)/(-2 + 3). Solve n = -8*l - 22 - 10 for l.
-4
Suppose 8*o = 365 - 341. Solve -o*u = -2*u - 3 for u.
3
Suppose -5*i = 4*s - 44, 0*s = -3*s + 3. Solve r - 5 = -i for r.
-3
Suppose 62 = 3*k - 19. Let z = 30 - k. Solve 8*x = z*x for x.
0
Suppose -76*z + 1121 + 95 = 0. Solve z = 7*q - 15*q for q.
-2
Suppose -3*m = 3*m + 246. Let s = -38 - m. Solve -3 = s*v - 9 for v.
2
Let x = 271 + -151. Suppose v = -0*v + 3. Suppose 5*r - 2*n - 117 = 0, 0 = v*r + 2*n + 37 - x. Solve -4*q - r = q for q.
-5
Let s = -3 - 3. Let g = s + 7. Let k = 0 + g. Solve 0*h = h + k for h.
-1
Suppose -l - 61 = -3*d, 3*d + 2*l + 2 = 78. Suppose -12 = -17*s + d. Solve -7 + s = -t for t.
5
Let t be 4/(-5)*(-475)/(-10)*-1. Solve -6*g - 44 + t = 0 for g.
-1
Suppose 3*q + 4*h = 36, -5*q = h - 34 - 9. Solve -9*r + 13*r = -q for r.
-2
Let m = -118 - -120. Solve 2 = m*d - 4*d for d.
-1
Suppose 0 = -4*h + 2*q - 4 + 6, -3*q = -h - 2. Suppose j = 2 + h. Suppose -36 = -4*u - 4*m, 2*m - 9 = 4*u - j*m. Solve u*y = y - 12 for y.
-4
Suppose 4*c - 2*u = 6, -5*u - 22 = c - 7. Suppose 2*p + p + p = c. Solve p = i + i for i.
0
Let o be 30/315 + (-309)/(-63). Solve o*m - 24 = 1 for m.
5
Let l = -1312 + 1313. Suppose 5*n - 12 = 93. Solve -n = -4*f - l for f.
5
Let a(u) = 10*u**2 - u**3 - 3*u**2 + 3 - 10*u**