 Let k be m(-1). Let u be (21 - 18/k)/3. Solve x - u = -4 for x.
2
Suppose -2*d - 16 = -2*l - 14, 3*l + 7*d = 33. Solve 5*p - l = 3*p for p.
2
Suppose -x + 12 = 3*w, 2*x = -w + 12 - 3. Suppose w = u + 2*h, 5*h + 3 = -2*u + 3*u. Suppose 0 = -5*y - 10 + 30. Solve -u - 1 = y*z for z.
-1
Suppose -6*o + 50 = -52. Let b = -13 + o. Suppose -k - 14 = -b*l, 0 = -l + 4*l - 2*k - 8. Solve 3*j + l = 2*j for j.
-4
Suppose -2025 = -3*k - 3*i, -346*k + 4*i - 1350 = -348*k. Solve 133 = -694*y + k*y for y.
-7
Suppose -4*q = -17*n + 15*n - 106, -103 = -4*q + 3*n. Suppose 25 = 5*m + 3*f - 80, m = -2*f + q. Solve b - 10*b = m for b.
-2
Suppose -4*q + 3*m + 66 = 0, -2*m + 20 = q + 9. Solve q*w = 19 - 4 for w.
1
Let t be 44*(-16)/64*(0 - 1) + -5. Solve t*z = 10*z for z.
0
Suppose 4*q + q = 5*y - 20, 3*y + 5*q = 4. Suppose 17*p = 18*p + 2*t, 3*p + y*t - 3 = 0. Solve p*k + 20 = 6*k for k.
5
Let y = -14532 + 14556. Solve -43*c + 47*c = -y for c.
-6
Let z(p) = p**2 + 17*p + 3. Let t be z(-17). Suppose t*w + 2*w = -w. Let r be 1/((-10)/(-40) + w + 0). Solve -5*n + r = -4*n for n.
4
Let u be ((-100)/(-3))/(-5 + (-51)/(-9)). Suppose -u = 2*v - 166. Let x = v - 56. Solve -c = -0*c + x for c.
-2
Let d(o) = -o**2 + 21*o - 84. Let j be d(17). Let r = 22 + j. Solve -r*k = -2 + 14 for k.
-2
Suppose -4*p - 5*d + 9 = -8*p, 14 = p + 2*d. Suppose 13*v - 18 = 4*v - 0*v. Solve v = r + p for r.
-2
Let k be -7 + ((-2)/10*-5 - -6). Suppose -23*a - 2 = -24*a. Solve k*s = -a*s + 6 for s.
3
Let j(l) = 6*l + 41. Let y(n) = n - 20. Let s be y(14). Let q be j(s). Solve q*b - 6 = -16 for b.
-2
Suppose 22*t - 75 = 71*t - 271. Solve t*x - 207 = -183 for x.
6
Suppose -6*p + 9 = -3. Suppose -p*n - n = -5*a - 78, 0 = -5*n - 3*a + 96. Suppose 0 = 20*g - n*g + 3. Solve -13 = -5*h - g for h.
2
Let m = -66 + 94. Let x be 9/(-24) + (1 - 694/(-16)). Suppose -4*g + x = -2*g + 4*s, -g - 4*s = -m. Solve -g = -a - 3*a for a.
4
Suppose 815 = 101*n - 106*n. Let a = n + 24. Let q = a - -144. Solve 5*j = 6*j + q for j.
-5
Let s(l) = 3*l - 12. Let i(x) = x + 3. Let k be i(9). Suppose -2*n + k = 2*r, 2*r = -3*r - 4*n + 29. Let o be s(r). Solve h = o*h for h.
0
Let p(l) be the third derivative of l**5/60 + 13*l**4/24 + 3*l**3 + 13*l**2. Let z be p(-12). Suppose -2*c + z*c = 0. Solve c = -x - 2*x + 6 for x.
2
Let m = 115 - 110. Suppose -5*g = -m*z + 5, -5*g + 0*g + 25 = 5*z. Solve -2 = g*b - 6 for b.
2
Let w be (-4)/14 + ((-690)/(-21))/10. Let m be (-2)/1 + (0 - -2). Let q = 37 - 33. Solve -q*l + l - w = m for l.
-1
Let b(z) = -z**2 + 16*z - 32. Let p be b(10). Suppose 0 = 151*a - 147*a - p. Solve 0 = 3*g + a + 2 for g.
-3
Let g be 14*6/(-18)*-3. Suppose g = d + 3. Suppose h + 3*x - x = 12, x = 0. Solve -h = -7*m + d*m for m.
-3
Let i(q) = -7*q**3 - 3*q**2 + 6. Let f be i(2). Let z = -37 - f. Let n be 2/((-1)/(-4)*2). Solve -z = u + n*u for u.
-5
Let t(q) = -q**2 - 16*q + 2. Let b be t(-15). Suppose -b*a + 19*a = 0. Let j = a - -2. Solve -2 = j*h + 4 for h.
-3
Let c be 16/(-10) - 39/(-65). Let o = 4 + c. Solve 0 = r + o*r - 8 for r.
2
Let u = 1123 + -940. Solve u = 14*n + 155 for n.
2
Let y(k) = -2*k**2 - 124*k + 1303. Let c be y(-69). Solve c*g - 48 = 329*g for g.
6
Suppose -n = b - 4, 3*b = 5*b - 5*n - 22. Let v(a) = 2*a**2 - 12*a + 15. Let t be v(b). Solve -15*i = -10*i + t for i.
-3
Let w be ((-8)/10)/(248/125 - (0 + 2)). Solve w = -35*d + 10*d for d.
-2
Let b = -7788 - -7914. Solve -b*q - 24 = -132*q for q.
4
Let p(w) = -w**3 + 2*w**2 + 12*w - 3. Let v be p(-4). Solve 70 - v = -5*o for o.
-5
Suppose -4770*d + 60 = -4764*d. Let a(w) = -2 + 2 + 3*w - 7 - 3. Let t be a(8). Solve t = p + d for p.
4
Let t = -3291 + 3299. Solve 16 = -8*l - t for l.
-3
Let b be 66*(16/192)/((-2)/(-8)). Solve 0 = 10*y + b + 28 for y.
-5
Let q(s) = -3*s + 8. Let c be q(0). Suppose t + 8 + c = 4*p, 0 = -2*p - 4*t + 8. Let a = 30 - 24. Solve p*g = g + a for g.
2
Let h be ((-440)/(-418))/(-10) + (-3)/(-57)*2. Solve h = 229*m - 224*m for m.
0
Let a = -248 - -263. Let u(q) = 2*q**2 - q + 10. Let j be u(0). Solve -o + a = j for o.
5
Suppose 0 = -83*m + 170 + 577. Solve -20*p - 49 = -m for p.
-2
Let b be (-36)/14*(-14)/(-3) - -5. Let q be (b - 4 - -7) + 7. Solve q*s = -0*s - 3 for s.
-1
Suppose -2*s + 17 = -4*y - 15, 5*y = 5*s - 70. Suppose o - 4 = r - 13, 0 = 3*o + s. Solve 4 = r*n - 3*n for n.
2
Suppose c - 2*z + 1 + 0 = 0, 5*z - 10 = 0. Let p be ((-4)/(-6))/(1/3). Suppose -3*r - 5*b + 28 = 0, 9*b = -16*r + 15*r + 2. Solve p*j - c + r = 0 for j.
-4
Let j = -31 - -38. Let o = -2 - -3. Let p = 170 - 168. Solve o + j = p*s for s.
4
Suppose -146 = -6*l + 88. Let h = l + -30. Solve -h*n = -5*n + 16 for n.
-4
Suppose -6 = n - 5*f, 4*n + 5*f - 73 = 3. Let s = 3 + 0. Solve -s*g = -n + 2 for g.
4
Let s be 0 + -8 + (9 - -71)/10. Solve 3*a + 125 - 134 = s for a.
3
Suppose -67*z + 71*z + 1840 = 0. Let u = z - -465. Solve 4*y + 7 = -u for y.
-3
Let d = -20120 + 20591. Solve -64*h = d - 151 for h.
-5
Let n be (280/21)/((-240)/(-288)). Solve -34*d = -n*d + 18 for d.
-1
Let k = -30 + 56. Let n = -24 + k. Suppose -4*r = -3*q - 20, n*r - 4*r = -5*q + 4. Solve -r*y + 3*y - 10 = 0 for y.
-2
Let d(o) be the third derivative of -o**5/60 + 2*o**4/3 - 8*o**3/3 - 16*o**2. Let l be d(8). Suppose 0*j - 4*j + l = 0. Solve -5*v = j + 13 for v.
-5
Let u be ((-42)/105)/((-2)/10). Suppose -3*q + 2*m + 180 = 0, -6*m - 120 = -u*q - m. Solve 8*s + 4*s + q = 0 for s.
-5
Suppose -6393*y + 6400*y = 161. Solve y*v = -10*v + 6*v for v.
0
Suppose 0 = -3*w + 5*t + 237, 113*w = 115*w + 2*t - 126. Solve -63 = 33*f + w for f.
-4
Let f(o) = -113*o - 3277. Let n be f(-29). Solve n = 34*a + 11*a for a.
0
Suppose -55*m + 230 = -45. Solve -m*h + 10 + 10 = 0 for h.
4
Suppose 5*c = 5*w - 15, -3*w + 0*c - 6 = 2*c. Suppose n = d + 75, 131 + 139 = 4*n + 2*d. Let i = n + -65. Solve 0*h + i*h - 20 = w for h.
4
Let i(a) = 2*a + 11. Let u be i(-6). Let h = 1 - u. Let z(b) = -3*b + 21. Let f be z(7). Solve s = h - f for s.
2
Let a be (-5)/(25/15) + 4 + (-1635)/(-3). Solve -538*j + a*j - 8 = 0 for j.
1
Let d be 1 + (-16)/4 + -10. Let s be 5 + -1 + (14 - d). Suppose -s + 10 = -7*h. Solve 0*b + h*b = 15 for b.
5
Let w = -21768 - -21772. Solve -q = w*q - 3*q for q.
0
Let r(h) = h - 5. Let f be r(5). Suppose -17*k + 15*k = f. Let p be 0 + k + -6 + 3 - -4. Solve p = -4*b + 13 for b.
3
Let w be -2 - -3 - (-33 + -1 - 2). Suppose u + w = 10. Let o = u - -30. Solve 5*f - 6*f = -o for f.
3
Let v = -11671 - -11672. Solve -2*r - 15 = v for r.
-8
Let h be (-2 + 2 + 4)/(2/13). Suppose 0 = -8*o + h + 46. Solve -o = -2*f - 13 for f.
-2
Let w = -2156 - -2211. Solve 25 - w = -10*v for v.
3
Suppose 3*a + 5*u - 7 = 0, 0*a + u = 3*a - 13. Let y(n) = 14*n + 41. Let m be y(-4). Let v be (-25)/m - 4/6 - 1. Solve -2*f + a = -v*f for f.
2
Let h be (-12)/14 - (-6486)/658. Solve -h*q = 14 + 31 for q.
-5
Let y = 8322 + -8318. Solve -2 = y*g - 26 for g.
6
Let g be (-1)/2*(1 - 3). Solve 7*r - 6*r + g = 0 for r.
-1
Suppose -m = 92 - 430. Let x = m + -329. Solve x = 2*o + o for o.
3
Let m(p) = 3*p**3 + 6*p**2 + 3*p - 1. Let q(u) = -2*u**3 - 3*u**2 - 2*u. Let s(v) = 4*m(v) + 7*q(v). Let j be s(-1). Solve b - j = -0 for b.
3
Suppose 466*i - q = 462*i + 146, -10 = 5*q. Solve -i*r = r + 111 for r.
-3
Let p(m) = 3*m**2 + 420*m - 842. Let a be p(-142). Solve a*k - 371 = -411 for k.
-4
Suppose 10 = -2*u + 6. Let j be (u/6*0)/3. Solve -s + j = -2 for s.
2
Let j be (-104)/65 - (-9218)/55. Solve -20 = j*g - 170*g for g.
5
Suppose 0 = 5*w + 4*i + 36, 0 = -15*i + 11*i - 16. Let h be 178/8 - ((-95)/20 - w). Solve -6*p = -h + 5 for p.
3
Let x(b) = -10*b + 183. Let i be x(17). Suppose 3*z = 3, i*t - z = 10*t + 8. Solve 2 + t = 5*c for c.
1
Let t(m) be the second derivative of m**5/20 - 4*m**3/3 - 14*m. Let a be t(3). Suppose -5*y - 2*p = -p - 17, 2*p = 2*y - 2. Solve y*x = -0*x + a for x.
1
Let v(h) = -9*h + 2. Let s be v(-16). Let l = s - 143. Let o(d) = -d**3 - d**2 + 2. Let x be o(-2). Solve 6*g = l*g + x for g.
2
Let q(y) = -521*y - 13476. Let x be q(-26). Solve 69*l = -l + x for l.
1
Let y = 19835 + -19763. Solve -23*f + y = -5*f for f.
4
Let f be -3*-818*8/48. Let b = f + -379. Solve -4*n + b = 22 for n.
2
Suppose 0 = t + 5*w - 20, -5*t - 5*w = -0*w - 80. Solve -t = -14*x - x for x.
1
Let a(b) = -b**3 + 2*b**2. Let d be a(1). Suppose 37*