*o for z.
2
Let d be 0 + (20/(-8)*6)/(-1). Suppose 9*o = d + 3. Solve 5*h - 15 = 0, -6*h + h + 7 = o*n for n.
-4
Suppose -5*n + 336 + 309 = 0. Suppose 36*o = -7*o + n. Solve 0 = -2*d + o*r - 4, 3*d + 0*d - 4*r + 5 = 0 for d.
1
Let c be (-4)/(-30) + 58/15. Suppose 12*h - 29*h = -34. Solve c*m - 15 = -a, -m + h*m - 10 = a for m.
5
Suppose -601*t - 28 = -605*t. Let g(c) = c**3 - 15*c**2 + 18*c - 47. Let d be g(14). Solve -4*k + t = -0*o - o, d = -3*o for k.
1
Suppose 2*o = -3*i + 23, -4*i = 568*o - 563*o - 47. Solve -22 = 68*b - 66*b + 4*f, -9 = -b + i*f for b.
-3
Let l be (40/76)/(-5) + (-1066)/(-19). Suppose 412*g = 419*g - l. Solve 0 = 2*p - z - 6 - 0, 4*p - z = g for p.
1
Suppose 0 = 3*o + 91*n - 90*n - 10, 0 = o - 2*n - 8. Solve -o*y + 32 = -4*q, -33*y = -34*y + 3*q + 16 for y.
4
Suppose -2*p - 35*t + 305 = -30*t, 4*t = p - 94. Solve -p = -b + 5*r - 131, -5*b = 3*r - 23 for b.
4
Let a be (330/132)/((-10)/(-48)) - (-18)/2. Solve -2*c - 3*m = 9, 3 = 22*m - a*m for c.
-9
Let x = -3300 + 3314. Suppose -a = -5*a - 56. Let m = a + x. Solve -2*z + 2*f + 6 = m, 7*z - 3*z = 3*f + 13 for z.
4
Let s(c) = -c**3 - 11*c**2 + 14*c - 6. Let a be s(-13). Suppose -4*p = p - a. Solve 5*h = -2*q + 27, 3*h - p = -2*h - 5*q for h.
5
Suppose -3*l - 2*h = h - 9, -2*l - 4*h = -2. Suppose -l*p - 3*q = -15, -4*p + 9*p + 4*q - 15 = 0. Solve -p*f - 12 = 3*i, -3*f + i = 2*i + 10 for f.
-3
Let y be (-1 - -17) + -10 + (-36)/6. Solve 5*c = 4*l - 29, -4*l + 7*l - 4*c - 23 = y for l.
1
Let c = 531 + -527. Let w(t) = -t**3 + 7*t**2 - 13*t + 8. Let y be w(c). Solve 8 = 3*b + 4*l, -y*l = -4*b - 3 - 5 for b.
0
Let g = 17612 + -17483. Solve -3*u = 0, -5*s + g*u - 134*u = 10 for s.
-2
Let j = -3001 - -3006. Solve 5*s + 2*g + 29 = 0, 2*s + 3*s = -j*g - 35 for s.
-5
Let z = -1660 - -1660. Solve -3*r + o + 4 - 8 = z, 5*r = 2*o - 5 for r.
-3
Let r(y) = y**3 + 6*y**2 - 10*y - 3. Let b be r(-7). Suppose -12*h + 30*h - b = 0. Solve -2*s = -3*o - h, -3*o - 5 = 2*s - 0*s for o.
-1
Suppose 5*l - 6*a - 77 = 25, -2*l + 5*a = -46. Solve -q + 2*k = -2*k - 7, -3*q - k = l for q.
-5
Let m = -243 + 358. Let a = m - 115. Solve 4*u - 3*k - 11 - 3 = a, 5*u = -5*k + 35 for u.
5
Let h be 2 - 5 - (-28)/4 - 4. Solve h = -o + n - 4, -n + 2 = n for o.
-3
Let o = -117 + 111. Let s(k) = 14*k + 88. Let n be s(o). Solve n*r - 16 = 0, 4*y + 5*r = r + 32 for y.
4
Let b(k) be the second derivative of k**4/6 + 2*k**3/3 + 5*k**2/2 + 2*k. Let y be b(-1). Solve -p - 6 = 2*p, -d - 3*p - y = 0 for d.
3
Let d be (66/(-8) - 276/368) + 12. Solve 0 = -5*z - 15, -3*x - 8*z + 3*z = d for x.
4
Let y(a) = -a**3 - 58*a**2 + 123*a + 190. Let v be y(-60). Solve -v*g + r + 8 = -11*g, -g + 1 = -2*r for g.
-5
Let a(p) = p**3 + 2*p**2 - 3*p - 4. Let o be a(-1). Suppose -12*n - 64 + 112 = 0. Let f = 7 - 5. Solve -n*l + 18 = -2*h, o*l - h = f*l - 7 for l.
4
Let r be (1 + 0 - 1)*(-3006)/9018. Suppose -3*s + 2*m + 2*m + 35 = 0, 0 = 4*s + 5*m + 5. Suppose 4*u + u = 60. Solve r = -5*b + 5*k + s, 3*k + k = u for b.
4
Let b = 39248 + -39243. Let n(m) = 2*m**2 - 3*m - 7. Let h = 3 + 2. Let y be n(h). Solve -3*q = b*k + 34, -8 = -k - 5*q - y for k.
-5
Let j be (-6)/(-9)*(-3)/(-2) - 28. Let o be (-2)/9 - 141/j. Let c be (30/20)/(6/32). Solve -5*v + 9 = -3*s, -c*v + o*s = -3*v - 5 for v.
3
Let f be 2 + 0/(0 + -3). Let y = f + 2. Let j(l) = -179*l - 6967. Let h be j(-39). Solve -2*g + 0*g = -2*o + h, 33 = -y*g + 5*o for g.
-2
Let d = 13 - 10. Let u be -20*(d/(-3))/1. Suppose 0 = -2*c - 3*c + u. Solve n + 14 = -4*w, -5*w - n - c - 14 = 0 for w.
-4
Let h = 167 + -112. Let r = h - 57. Let g be (-5 - r)/3 + 6. Solve g*o - 4*v = 18, 6*o - 2*o - 6 = -v for o.
2
Let j(h) = 1062*h + 10. Let n be j(0). Solve 0 = -5*f + 4*o - 8, 5*f - 6*o + n = 8 for f.
-4
Let w = -1451 + 1455. Suppose -2*b = 3*b - 20. Suppose b*y + y - 20 = 0. Solve -d + 5 = -y*j - 2, w*d - 9 = -3*j for d.
3
Let m be (-78)/(-9) + -7 - 6/(-18). Solve 0 = 5*z - m*f - 37, -5*z - 4*f + 32 = 1 for z.
7
Suppose 7*a - 46*a + 78 = 0. Solve -5*y - 22 = -12, -2*r - 14 = a*y for r.
-5
Suppose 2*q + 626 = -3*t, -q - 3 = 2*q. Let w = 213 + t. Solve -54 + 22 = -w*r + 4*n, 5*n = -r - 11 for r.
4
Suppose 24*x - 5*j + 32 = 25*x, 0 = -5*x + 2*j + 106. Solve -4*m + 5*a = 33, 5*m - 4*a = 4*m - x for m.
-2
Let b(k) = -5*k - 22. Let x be b(-5). Suppose -3*d = -15, v + 3*d - 35 = -v. Suppose -v = -3*r - 5*c, -r = 2*c - 1 - 2. Solve x = m - q, 1 = -r*m - q - 2 for m.
0
Let j be 1 + 1 - (-8 - -3) - 2. Suppose 0 = -5*t - j*k, 3*t - 7*t = -5*k - 18. Solve 3*m = 2*a - 0*a, -t*m + 16 = 4*a for a.
3
Suppose 2*q + 22 = 3*q. Suppose -v + 4*p + q = 0, -3*v + 4*p + 37 = -5. Let s(r) = -r + 12. Let k be s(8). Solve k = 3*l - 2*z, 4*l - z - v = -3 for l.
2
Suppose 11 = 37*t - 100. Solve -5*d = j + 19, 0 = -t*j + d - 2 + 9 for j.
1
Suppose 105 = 25*w - 20. Solve -5 = d - 0*m - w*m, 0 = 4*d - 5*m + 5 for d.
0
Suppose 6*r = 8*r - 2*i - 10, -60 = -4*r - 4*i. Let n be (-39)/(-9) + r/(-30). Solve 2*w - 1 = -s, -n*s = -0*s - 3*w - 4 for s.
1
Suppose -4*i - 16 = -24. Let a be i - (-2 - 4) - 7. Solve 2*n - a = 3*n, 2*n - 1 = -m for m.
3
Let x = -3657 - -3669. Solve 4*g + 12 = 5*c, -c = -g + 5*g + x for g.
-3
Suppose 0 = -5*m - 39 + 19, -24 = -s + 3*m. Solve 0 = -i - 3*d + s, -170*i = -172*i - d + 9 for i.
3
Let f = -1420 - -1425. Let w be (-2)/(-5)*(-8 + 3). Let j be -4*(-1 + w/8). Solve -f*l + 15 + 8 = -o, 27 = -j*o + 3*l for o.
-3
Suppose -3*s + 9 = -2*g, 37*g - 33*g - 32 = -4*s. Suppose t + 1 = 0, 4*v - 8 = 2*v + 2*t. Let z = v + -3. Solve s*x = 5, z*x - 11 = 3*o + x for o.
-4
Let w(h) be the third derivative of 14/3*h**3 + 1/4*h**4 - 29*h**2 + 0 + 0*h. Let t be w(-4). Solve -1 = -3*p + 2*f - t, -p = -3*f + 8 for p.
1
Let i(w) be the first derivative of w**3/3 - w**2/2 - 11. Let a be i(2). Suppose -a*j = j. Solve v - h = -j*v - 1, 3*v - h + 7 = 0 for v.
-3
Suppose 4 = 12*q - 10*q. Suppose 2 = -5*k + 17. Solve -3*x = k*v - 5*x - 8, -q*x = v + 8 for v.
0
Let n be (((-304)/(-16))/(-19))/((-3)/6). Solve n*u - 2*b = -12, u - 24 = -5*b - 0 for u.
-1
Suppose 0 = 3*b - 4*t - 15, -2*t = 3*b - 11 + 14. Solve 1 = -d - 2*k, 2 = -d - 4*k - b for d.
1
Let r be 15/20 + 3/(-4). Suppose 5*i - i + 144 = r. Let w be 20/3*(-6)/i*27. Solve -2*u = u + 5*b - w, 0 = -3*b + 9 for u.
5
Let w = -9287 - -9291. Solve -w = 2*j - 3*b, 0 = -j - 0*b + b - 1 for j.
1
Suppose -65 + 362 = -11*k. Let n = 32 + k. Solve -q - 4*q = n*g + 5, -3*g + 9 = -q for q.
-3
Let r(g) = -13*g**3 - 37*g**2 + 8*g + 9. Let m be r(-3). Solve -5*b + 14*v = 10*v + 26, 4*v = m*b + 22 for b.
-2
Let z(a) = -17*a + 30. Let n be z(2). Let t be (2 - -17)/((-6 + 2)/n). Solve r + j + 0*j + 9 = 0, -3*r - j = t for r.
-5
Suppose -5*h + 3*o = -40, -2131*o = -2*h - 2128*o + 25. Suppose -20 = 3*p - 7*p. Solve p*i + 0*i + 12 = -2*v, -v + h = -3*i for v.
-1
Let j(v) = -v**3 + 13*v**2 + 337*v + 29. Let r be j(26). Solve 5*k = 2*x - 2 + r, 0 = -3*x - 2*k - 11 for x.
-3
Let p be (-13 - -3) + (-13)/((-91)/70). Solve p = 4*f + 103*z - 98*z - 10, -f - 2*z + 1 = 0 for f.
5
Let z be (-112)/(-20)*(2 - -3)*3/6. Suppose -4*o - 4 = -0*o - 5*h, 4*o - 12 = h. Solve -i + z = o*b - b, -2*i + 4 = 0 for b.
4
Let h = -39 + 113. Suppose 5*v = -5*u - 305, -6*v - 2*u = -v + 320. Let t = v + h. Solve -2*s = 2*s - 5*k - t, 0 = -s + 4*k + 2 for s.
2
Suppose 4*y + 19 = l, 26 = 5*l - 3*l - 4*y. Let v = 9 - l. Solve -q + v*q - 2*c = -2, 2*q - c + 7 = 0 for q.
-4
Let t(z) = 106*z - 1778. Let y be t(17). Suppose l - 1 = -u, u + u + 3*l = 3. Solve -4*p - 3*q + 8 - y = u, q + 4 = 0 for p.
-1
Suppose 0 = -10*i - 4*i. Let o be 0/1*4/(-8). Solve -14 = -o*l + 4*l - 2*p, -l - 3*p = i for l.
-3
Suppose 7*k = 15 + 90. Let u(s) = 2*s**3 - 31*s**2 + 15*s + 5. Let x be u(k). Solve -2*t - x*h + 18 = -3, -3*h = 2*t - 11 for t.
-2
Let s(i) = -3*i + 27. Let n be s(18). Let x = -6 - n. Suppose 3*c - 101 = -4*t - x, 3*t - 60 = c. Solve 5*b - t = 0, 5*b - 4 = 4*u + 4*b for u.
0
Let b be 115/46*(-2)/(-1). Let s be (252/(-24) + 6/(-4))*(-11 - -10). Let o be ((-8)/(-10))/(2/10). Solve y = -2*l + s, o*l - 1 = b*y - 5 for l.
4
Let x be (32/10 + -2)/(6/(-20)). Let t be (2/x)/((-5)/60). Solve 0 = -5*w - l + 30, -3*w + t*l - 5 = 2*l for w.
5
Let i = 320 - 316. Suppose i*m + 2*r - 54 = 0, -3*r - 25 = -m - 1. Solve 3*x = x - a + 6, -5*x + m = 4*a for x.
3