+ 5*s + 28, -y = 2*s + 12 for y.
-4
Let l be 88/33*3/2. Solve -f + l*g - 7 = -2, 3*g - 6 = 0 for f.
3
Let f(z) = 2*z - 2. Let h = 13 - 11. Let a be f(h). Suppose j = a*j - 2. Solve 2*l - 2 = -2*m, 0 = j*m - m - 4*l + 9 for m.
-1
Let k(d) = 4*d**2 - 2*d + 1. Let r be k(1). Suppose -2*q = v - 9, -4*q = r*v - 5*q - 13. Solve s + 5 = -m, v*s + 25 = 5*m - 0*m for s.
-5
Suppose 0 = -v - 25 - 1. Let y = v - -29. Solve 5*c - g + y*g = 21, 3*c - 5*g = -6 for c.
3
Let y(n) = -2*n**3 - 2*n**2 - 3*n - 2. Let u be y(-2). Suppose -6*c + u = -6. Solve c*s + 4*p = 2*s + 8, 13 = 3*s + p for s.
4
Let m(o) = o**3 + 2*o**2 - o. Let t be m(-2). Suppose t*v - v = 7. Suppose -r = 2*x + 2 + 1, 5*x = 5*r - 30. Solve 2*p + v = -z, 4*p + 5 = r*p - 2*z for p.
-3
Suppose 75 = -4*g + 91. Solve g*c + 4 = -5*s, -2*c + 6*c - s = 20 for c.
4
Let c be 38/10 - (1 - 24/20). Solve -c*s - 2*m + 2 = 0, s = -3*m + 6 + 2 for s.
-1
Let s = -38 + 42. Suppose -2*q + s = 2. Solve y = -4*b - q, 1 = 3*b - 3*y - 2 for b.
0
Let b = 32 - 12. Let w = b + -19. Solve -4*t + 2*d + w = -t, 0 = 3*d - 12 for t.
3
Suppose -6 = -5*z - 36. Let s(m) = -2*m - 9. Let t be s(z). Suppose -t*q + 2 + 4 = 0. Solve q*o + 9 = -5*v, o + 5*v + 9 = v for o.
3
Let v be 5 - (-1 + (-12)/(-16)*4). Solve j = -2*g - 0*g + v, 5*j - 24 = -g for g.
-1
Let t be (-48)/(-84) + 344/(-14). Let d = -19 - t. Suppose b + 6 = 4*i, b = 6*b - 3*i - 21. Solve 4*g - 6 = -b*z + z, d*z = -g + 9 for z.
2
Suppose -5*x - 89 = -3*b, -4*x - 70 = -0*b - 2*b. Let w = -15 - x. Let r(q) = -2*q - 3. Let f be r(-4). Solve 2*d + 16 = -f*h, -3*d + 0*h - w = -4*h for d.
-3
Let q(c) = -2*c - c + 1 + 2*c + 7. Let w be q(4). Suppose -2*d - 8 = -w*r - 0, -2*d - 4*r + 16 = 0. Solve -f = n + d*f, 4*f + 4 = 0 for n.
3
Suppose 72*a = 64*a + 24. Suppose 2*f + 2*n = 6*f - 22, 0 = -2*n - 2. Solve 3 = 3*b + a*o + 15, 0 = 5*o - f for b.
-5
Let t = 29 + -14. Let l = t + -17. Let w be (-10)/l + (-4)/1. Solve 3*v + 6 = a, 2*a - 3*v - 5 - w = 0 for a.
0
Suppose 5 = 3*o + 2*z - 7, -4*o = -z - 5. Solve 8*g + 20 = -o*d + 3*g, 5*d + 19 = 3*g for d.
-5
Let d(j) = -j - 41. Let n be d(-44). Solve -4*p - 5*k + 28 = 0, 4*k = -n*p + 14 + 8 for p.
2
Let s = -347 - -350. Solve -3*m + m - 4*v + 10 = 0, 4*v - 9 = -s*m for m.
-1
Let u = -64 + 85. Suppose 29 = 10*t - u. Solve 2*n = 3*z + 2, -z - 12 = -t*n + 6 for n.
4
Suppose 2*j + 3*j - 15 = 0. Let p be (0 + 3)/j - -1. Suppose -4*a + o + 15 = 2, 5*o - 31 = -4*a. Solve -z + 1 = -5*q - p*z, 4*q + a = -4*z for q.
0
Suppose b + 22 = 5*s, -20 = -s - b - 4*b. Let x be 12/(16/4) + 0. Solve 0 = -s*u - 5*a - 5, x*a - 1 = 5*u + 4 for u.
-1
Suppose 9*q = 14*q - 10. Solve -25 = 3*b - q*x, -5*x + 35 = -5*b + 3*b for b.
-5
Let p be (-13)/(-6) + 2/(-12). Let a be 14/p + (-6 - -4). Suppose 4*o - a = 3*o. Solve -o*j - 2*f = -3 - 14, 1 = -3*j - 4*f for j.
5
Let h(c) = -3*c**2 - 16*c. Let a be h(-5). Suppose -a*k - 6*k = -44. Suppose 0 = d - 3 - 2. Solve -1 = -d*t - n, 2*t = -k*n + 7 - 3 for t.
0
Suppose 47 - 15 = 4*n. Let y be 9/(-2)*6/9. Let g be 0/(y + 4/(-4)). Solve g = -4*h + n, c + 0*h = -5*h + 13 for c.
3
Let a(u) = -85*u + 270. Let c be a(3). Solve -10*z + 5*z = -c, -3*z = 4*j + 7 for j.
-4
Let c be (-64)/(-800) + 796/50 + -3. Suppose z - 3*j = 10, 0 = -4*z - j - 2*j + 10. Solve -4*t - c = -h, 10*t + z*h = 5*t + 10 for t.
-2
Let w(v) be the third derivative of -v**4/24 + 4*v**3/3 - 26*v**2. Let q be w(5). Solve c + 0 = q*p - 2, -p - 3*c = -4 for p.
1
Suppose 157*q = 160*q - 3. Solve 3*t = -5*s + q + 20, 4*s = 4*t + 4 for t.
2
Let j be (8/(-2) - -4) + 2. Suppose 0 = -23*v + 13*v + 80. Solve j = 3*q + b, 2*q + q - b = -v for q.
-1
Let u(v) = -v + 21. Let a be u(5). Solve 5*h = 4*x + a, 4*h = 2*x + 3*h + 2 for x.
1
Suppose 5*k - 80 = -5*h, 3*k - 2*k = -3*h + 40. Suppose h = 2*x + 2*x. Solve 3*m - 12 = -x*q, -4*q - m - 8 = -9*q for q.
2
Let h = -18 - -31. Suppose -7*p + 8 = -h. Let y = -49 - -84. Solve u + t = 9, -2*t = 3*u + p*t - y for u.
5
Let c be -2*(-4)/(-8)*-2. Suppose 3 = b - c. Solve 14 = o + 5*m + 4, 5 = b*m for o.
5
Let b be 1*(6/6 + 34). Let d = 37 - b. Solve o = 5*t - 13, d*o - 4*t + 10 = o for o.
2
Suppose -3*y = -q - 83 + 4, 2*y - 46 = 2*q. Suppose y*k = 25*k + 6. Solve -4*n = 3*r - 11, -2*r = -k*n + r + 19 for n.
5
Let r(m) = m**3 - 9*m**2 + 2*m - 11. Let b be r(9). Let i = -11 + b. Let t be 3 + (-5)/((-10)/i). Solve -4*g - 2*q = -0*g + 4, t = -g + 3*q for g.
-1
Let j be 9/2 + (-3)/(-2). Let z be (j/(-24))/((-4)/48). Solve 0 = -3*g + z*a, -3*a = 5*g - a - 35 for g.
5
Suppose -100*o = -104*o + 4. Suppose -5*w - 1 = -o. Solve w = -k - j, j = -0*j - 1 for k.
1
Let h be (-408)/(-69) - (-8)/92. Solve 2*o - 2*q = h, 0 = 3*o - o + 4*q + 18 for o.
-1
Let o(v) = v - 9 + 0 + 0*v. Let s be o(10). Let g be 2*((-27)/(-6))/s. Solve -3*r - g = 3*m, 5*m = r + 4*r - 35 for m.
-5
Let l = -44 - -47. Solve 0 = -i - 2*j + 5, -2*i - l*j + 0*j + 5 = 0 for i.
-5
Let w = -73 - -76. Solve y + 5 = -m + 3, m = w*y - 2 for m.
-2
Let u be (-102)/(-5) - 21/(-35). Let z be 6/u + (-38)/(-14) + -1. Solve -4*b - k - 11 = -5, 4*b = z*k for b.
-1
Let a(i) = 3*i**2 + 2*i - 10. Let o be a(4). Suppose -49*n + o*n = -3. Solve -4*x + 3*g + 32 = 0, -n - 6 = x + 3*g for x.
5
Let b be ((-5)/2)/(3/(-6)). Suppose -6 = 2*v - b*v. Suppose -29 = -v*l - 21. Solve 2*f + 4*y + 8 = 0, -5*y = l*f - 3*f + 4 for f.
-4
Let w = -23 - -20. Let k be w*(7/14)/(3/(-10)). Solve -3*z - 5*c = 2, -k*c = -2 + 7 for z.
1
Let n be (22 - (1 - 0))/(-104 - -105). Solve 0 = f + 2*g + 5 - 2, -5*f - 4*g = n for f.
-5
Let o be (1/2)/(-3 + 2)*10. Let t(k) = -10*k - 46. Let m be t(o). Solve 5*f + p + 23 - m = 0, 0 = 3*f - p + 5 for f.
-3
Let k be (-4 - (-36)/6) + 5. Solve -3*n - 19 = 2*q - 6*n, q = -4*n + k for q.
-5
Suppose 43*c + 12 = 46*c. Solve 4*b - 2*l - 6 = -0*b, -c*l = 5*b - 40 for b.
4
Let j = 559 + -555. Solve -4*n + j = -2*i, i + 4 + 4 = 4*n for n.
3
Let a(n) = 4*n - 1. Let w be a(4). Suppose 8*r = 22 - 6. Suppose -j - 20 = -6*j. Solve -w = -3*q, -j*d = -r*q - q + 35 for d.
-5
Let s = 35 + -23. Suppose -16 = 4*b - s*b. Solve -b*h = h + q - 16, -4*q + 4 = 0 for h.
5
Let y(p) be the third derivative of -p**4/6 - p**3/2 + 9*p**2. Let q be y(-1). Solve 5*f - 4*v - 45 = v, f = -v + q for f.
5
Let n be (35 + -60)/(-1*1). Solve 5*s = 5*c - n, 6*c = c + 2*s + 16 for c.
2
Let o be 4/6 + (-7)/(-3) + 3. Solve -5*z + o*z - 21 = 4*v, 3*v = -2*z - 13 for z.
1
Let m = -31 + 38. Let y be 0 + 0 + 30/2. Suppose 0 = -3*w - 3 + y. Solve 5*v - 3*o - 8 = m, -2*o = -w*v + 12 for v.
3
Let j be 0*-4*6/(-48). Suppose 2*d + 0 + 18 = 3*v, -5*d + 15 = j. Solve -3*u + 4 = u, -3*x - u = v for x.
-3
Let p be (84/18 - 5)/(1/(-9)). Suppose -p*q = 3*q - 18. Let i(b) = b**2 + 5*b - 5. Let g be i(-6). Solve -2*n + 11 = g, q*n = 3*m + 21 for m.
-2
Let n be (-4 - -2) + 6 - -16. Solve -3*c - 2*b - n = -b, b = -4*c - 25 for c.
-5
Let y be 1/(3 - 20/6) - 1. Let b be 4 + 0 + y + 0. Solve 2*a + 2*c = b, 2*a = c + 3*c for a.
0
Suppose -12 = 40*j - 46*j. Solve -4 = j*l + l - n, 3*n + 2 = 2*l for l.
-2
Let a be 0*((-20)/(-6) - 3). Solve 5*g + 5 = 4*b, -5*b = -a*g - g + 20 for g.
-5
Let w = 2 + 0. Suppose 3*n = -2*r - 199, 4*r = 3*r - 5*n - 103. Let k = 103 + r. Solve -5*m - 10 = 5*p - w*m, -m - 20 = k*p for p.
-5
Let i(p) = -p + 8. Let d be i(-8). Let q(z) = -z**3 + 4*z**2 + 6*z - 3. Let t be q(5). Solve 5*w - 49 = -2*k - d, 0 = 5*k - t*w - 10 for k.
4
Let m(z) = -16*z - 94. Let q be m(-6). Suppose -n + l = -4*n, 0 = 3*n - 2*l. Solve -4*p + n*g = q*g, -4 = 4*p + 3*g for p.
2
Let x(h) = h**2 - 6*h + 7. Let b be x(5). Suppose 3*k - 2*p = -6, 5*k + 3*p = 9*k + 9. Solve -g - c + 1 = 2*c, g + 4*c - b = k for g.
-2
Suppose 10 = -2*t + 7*t. Suppose -20 = -2*q - 0. Let a be 45/q - (-1)/(-2). Solve -t*n + n + 29 = 5*o, a*n - 26 = -2*o for n.
4
Suppose 3*h - 2*h = -u - 3, -3*h = -5*u - 31. Solve 4*m + 14 = -h*a, 0 = 2*a + m + 4*m + 17 for a.
-1
Let w(i) = 19*i**2 - 1. Let n be w(1). Solve -4*h - n = -2*g, g - 6*g + 30 = -5*h for h.
-3
Let r be (4/6)/(2/(-3)). Suppose 5*m - 5 = -n + 22, 5*n = -3*m + 3. Let p = m + r. Solve -4*c + 8 = -i + p*i, 5*c + 22 = 3*i for i.
4
Let l = 237 - 236. Solve 6 - 1 = c + i, -i = -l for c.
4
Suppose -c = 5*b - 24, 5*c - 2*c - 4*b = -4. Solve -5*y = c*p - 31, -2*p = -3*y - 3 + 4 for y.
3
Suppose 0*a = a + 1. Let g be 0/(-