 for s.
1
Let w be (0 + 32/(-2))/(-1). Suppose 4*a - 2 = 2*y, -2*y + 14 = a + 2*y. Suppose -2*v + v = a, 4*v + 6 = -q. Solve -q*m - 4 = -4*s - w, -m = -s - 2 for m.
-2
Let r = 28 - 23. Let j be ((-6)/(-9))/(2/(-6)). Let g be j + (5 - 2 - -1). Solve 3*u = r*c - 7, 2*c + 8 = 7*c - g*u for c.
2
Suppose -p - 3*r + 10 = 2*r, 4*p - 6 = -3*r. Let h be (p/1)/(-6 + 5). Solve h = 2*j - 3*x - 2 + 21, j + x = 3 for j.
-2
Let y = -18 - -19. Let n be 2*((-4)/(-8) + y). Solve 14 = n*j + 5*a, -2*a - 3*a + 28 = -4*j for j.
-2
Let w = -42 + -20. Suppose 2*y + 61 = -23. Let t = y - w. Solve 3*s - 15 = 3*x, -3*x - t = x - 2*s for x.
-5
Let f(p) = p**3 + 6*p**2 + 4. Let v be f(-6). Suppose -3*q = -g - 0*g - 13, 0 = -v*g - 3*q + 23. Solve -l = -2*s + 8, -18 = 4*l - 4*s + g for l.
-2
Let j be -1 + 7/(35/20). Solve -4*r = -3*y - 20, 0 = 2*y - r + j + 2 for y.
0
Suppose 3*o - 110 = 10. Solve -2*c + 31 = 5*x, -6*x + x - 5*c + o = 0 for x.
5
Let q(b) = b**3 - 2*b**2 + b + 2. Let k be q(2). Suppose -2*t - k = -4*t. Solve 0 = t*r - 6*r + 12, 2*y + 5*r = 21 for y.
3
Let j be 0/2 + 1 + 2. Let n = 0 + j. Let f = 12 + -7. Solve -4*y - 1 = n*l, 2*y - l + f = 2 for y.
-1
Let p be (18/(-8))/(3/12). Let y = -6 - p. Solve -y*n = 3*w - 2 + 8, 2*w = 3*n - 19 for w.
-5
Suppose -3*f - f = -20. Suppose 0 = 4*u, -f*u + 152 = 2*o - u. Suppose 0 = -4*d + o - 20. Solve 3*b + 28 = -0*b - 5*h, b - 3*h = d for b.
-1
Let s be 8/10 + (-2)/(-10). Let h be 4 + (0/1 - s). Suppose -h = 3*p + 3*w, 0*p - 2*w = -5*p + 2. Solve -4*i - 4*u - 12 = p, 3*i - 10 = 5*i - 2*u for i.
-4
Let s(v) = v**3 + 7*v**2 - 7*v + 11. Let z be s(-8). Suppose 2 + z = p + 3*c, -4*c + 4 = 0. Solve 3*l + 6 + 3 = -u, u - p*l = 11 for u.
3
Let a = -31 + 31. Solve a = -y - 2*w + 2, 4*y - 2*w = 3*y + 2 for y.
2
Let f = -3 + 3. Let v = 9 + -6. Suppose -4*d + v*d = 0. Solve -3*t + 5*w + d = -2, 5*w + 5 = f for t.
-1
Suppose -2*b + 38 - 2 = 0. Let t be (-4)/(-18) + 194/b. Solve u = -3*w + 10, -2*w - t = 4*u - 7*w for u.
1
Let i(y) = y**2 + y - 3. Let x be i(2). Solve q + x = 6, 0 = -5*w - 4*q + 2 for w.
-2
Let v = 13 - 9. Solve 4*m + 38 = -2*t + 14, -5*t + 4*m = v for t.
-4
Suppose 0 = -s + 1 + 3. Suppose 4*r - s*c - 5 - 19 = 0, -r + 6 = c. Solve 3*l - 3*d = -r, -d - d - 10 = 5*l for l.
-2
Let v = 20 + -13. Suppose -v*f + 4 = -10. Solve 5*b + 2*n = n + 20, -f*n + 10 = 4*b for b.
5
Let q be (0 - (-60)/(-9))*-3. Suppose -6*m - 6 = -30. Solve l - m*l + q = 2*i, 0 = -5*l + 5*i for l.
4
Let i be (-2)/1 + (1 - 0). Let q be 0/(0 + -1 + i). Let x = 7 + -3. Solve -4*z + 5*d - 7 = 0, q*d + x*d = -3*z - 13 for z.
-3
Let c be 3 - 26/10 - (-4)/(-10). Solve -4*t + c - 4 = 4*x, -t + 1 = -x for t.
0
Let d be ((-16)/10)/(4/(-10)). Suppose -d*r - 3*t + 1 + 19 = 0, 10 = 2*r - t. Solve 4*p + 0*p = r*u - 4, 4*p = -3*u - 4 for u.
0
Suppose 13 = 3*u - 2. Suppose u*a = -s - s + 13, 21 = 4*s + 5*a. Let z = 12 + -7. Solve -4*f = -3*h + s - 36, -z*f + 5*h = -45 for f.
5
Let c(k) = -k**3 - 7*k**2 - 7*k - 3. Let r be c(-6). Solve r*j = 4*q + 20, -4 + 14 = -2*q + 3*j for q.
-5
Suppose 33*o = 31 + 35. Let k be (-1*1)/((-2)/6). Suppose -11 + k = -4*s. Solve o*f + s*x = 4*x + 6, 0 = x + 5 for f.
-2
Suppose -2*c + 9 = c. Suppose c*n - 6 = 36. Solve -1 = -g - 2*k, 5*g - k + 2*k - n = 0 for g.
3
Suppose 0 = -l - 2*g, 6 - 2 = -l - g. Let b(x) = x**2 + 9*x + 11. Let z be b(l). Solve 1 = -s, z*k - s = -6 - 5 for k.
-4
Let t(k) = -k**2 - 13*k + 14. Let a(j) = 2*j + 4. Let y be a(-9). Let p be t(y). Solve p = 5*x - 5*i + 10, 0 = i - 5*i for x.
-2
Suppose -2*u - 14 = -5*u + o, 2*o + 23 = 5*u. Let d = 0 - -2. Let g = d - -3. Solve -2*q - 27 = -g*f - 6, -2*f + 21 = -u*q for f.
3
Let d(t) = -t**3 - 6*t**2 + 5*t - 10. Let n be d(-7). Solve n*r - 20 = -5*m, -3*m = 3*r - m - 15 for r.
5
Let y(p) = -p**2 - 9*p - 1. Let n be y(-9). Let g = -3 + n. Let k = g + 5. Solve 5*m - 3*f = 2*f + 5, 0 = f + k for m.
0
Let t be ((-1)/2)/((-5)/30). Let g(d) = d**3 - 4*d**2 + 3*d + 1. Let y be g(t). Let p = 6 - y. Solve 4*q = p*b - 13, q + 19 = 5*b - q for b.
5
Let m = -17 + 29. Suppose j - 5*j + m = 0. Solve 0*s = -s - j*i + 8, -4*s - 1 = i for s.
-1
Suppose 4*z - 6*z - 12 = -4*v, 2*z = 0. Let k be 99/22*2/v. Solve k*u + 8 = 5*h, 2*h + 2*u = -0*h + 16 for h.
4
Suppose -7 = -i - 3. Suppose 1 = -3*a - 2. Let d be (a + 3)*(-10)/(-2). Solve -5*b - d = i*r, 4*r + 4*b = 6*b - 24 for r.
-5
Let j(l) = l**3 + 10*l**2 + l + 12. Let w be j(-10). Solve -s = -3*i - w, -3*i + 6*i + s - 2 = 0 for i.
0
Let k = 0 - -2. Suppose -2*w + 2*u = -u - 26, -2*u - 22 = -2*w. Solve 0 = -k*o + w*o, b = -2*o for b.
0
Suppose 0 = -w + 2, -h + 3*w + 12 = -2. Solve -2*i + 0*c + 4*c = -h, 0 = -5*i - c - 5 for i.
0
Let q = -27 - -37. Solve 5*i - q = 3*o, -o = 3*i + 4*o - 6 for i.
2
Let l = -13 + 17. Solve 0 = l*n + 2*c, -4*c - 5 = -0*n + 3*n for n.
1
Let h(l) = -l**2 + 3*l + 3. Let m be h(5). Let v be 1 - ((m - 1) + 3). Solve f + f + 2*w - v = 0, 0 = 5*f + 3*w - 5 for f.
-2
Suppose p - 2 = 4*z - 33, 3*p = -5*z + 60. Solve 0*y + y - 22 = -4*v, -v - 2*y + z = 0 for v.
5
Let z(u) = -u**2 - 3*u + 2. Let y be z(-3). Let g(r) = -r + 0*r**y + 0*r - 2 + r**2 + 0. Let w be g(-2). Solve -5*a + 2*t + 19 = w*t, -3*a - 5*t = 0 for a.
5
Let w(n) = -9*n**2 + 3*n + n**3 + 3*n + 12 + 6. Let x be w(8). Solve -10 = k - 4*j + 3, -5*k = x*j + 21 for k.
-5
Suppose 0 = 4*u + 1 - 17. Solve -2*r = 2*b, u*b + 4*r - 5 = b for b.
-5
Let b be 2/(-8)*1*0. Solve b = -4*t + 3*y + 32, 2*t - y = -5*y - 6 for t.
5
Let v(u) = 63*u + 1. Let m be v(1). Suppose 5*d - m = 6. Suppose 0 = -10*n + 3*n + 28. Solve 0 = 4*o + n*g - 16, 4*g - d = 3*o + 2 for o.
0
Suppose -7 = -5*m + 38. Suppose 5*o + 8 + 2 = 5*u, o - 7 = -2*u. Let l = u + 1. Solve -l*n + m*n - 1 = 3*k, -2*n + k = -1 for n.
2
Suppose w + 4 = 3*w. Suppose 5*l = w*l + 12. Suppose -4 = q - 3*q + x, 5*x = -q + 2. Solve 5 = 3*p - 4*h, -3*p - q = -5*p + l*h for p.
3
Suppose l + 18 = 3*l + 2*h, -3*l + 2*h + 2 = 0. Suppose 0 = z - l. Solve 0 = -0*k - 2*k - z*c - 14, 0 = -k + 3*c + 13 for k.
1
Let x(q) = 11*q + 5. Let y be x(10). Let m be 4/(-14) - y/(-35). Solve 2*d - m*a = -18, 5*d - 2*a + 31 = 2*a for d.
-3
Suppose 5*w - 16 + 1 = 0. Solve -2*x + 13 = -w*i, 4*x - 6*x = -4*i - 14 for i.
-1
Let k(u) = -u - 4. Let i be k(-8). Suppose 2*c = -0*c + 2*d, -i*d = 4*c - 40. Solve -y + 4*b = -0*y + 15, -b = -c for y.
5
Let f be -2*4*(7 + 174/(-24)). Solve 0 = w - 4*d + 15, 5*d - 22 + 0 = -f*w for w.
1
Let w(a) be the third derivative of a**5/15 + a**4/24 + 7*a**2. Let k be w(1). Solve k*f + 3*y - y = -14, -8 = 4*y for f.
-2
Let w = 106 - 103. Solve -a = -3*a - b - w, b = 3*a - 8 for a.
1
Let i(z) = -z**3 + 6*z**2 + 8*z - 5. Let m be i(7). Let u be 12 + (-2)/(-4)*-6. Solve f + 3*y = -m*f - 21, -y = -3*f - u for f.
-4
Let z(l) = l + 10. Let w(p) = -7*p**2. Let q be w(1). Let h be z(q). Suppose 2 = -y - 4*d - 4, -2*d = 4. Solve 0 = -3*b + 9, -h*n - y*b = -17 - 1 for n.
4
Let x(g) = -g - 14. Let o be x(-16). Solve 1 = 3*y - o, 5*y + 10 = 5*k for k.
3
Suppose 0 = 2*y - 5*y + z - 4, -4*y - 3*z + 12 = 0. Solve -3*n - 5*h = -20, y = -2*h + 9 - 1 for n.
0
Let g(l) = l + 6. Let h = -14 + 8. Let b be g(h). Solve 0 = -2*u - b + 2, 2*i = -3*u + 1 for i.
-1
Let w = -6 - -4. Let i = -2 - w. Solve i*a + 3*a + q = -13, 0 = 2*a - 3*q - 6 for a.
-3
Let d(b) = 2*b - 7. Let z be d(5). Suppose -q + 4*q - 4*p - 10 = 0, 3 = -z*p. Solve q*o - 22 = 4*k, -o + 2 = 1 for k.
-5
Let x = -23 + 25. Solve 3*t - 3 = x*j, -3*t + j = -0*j - 3 for t.
1
Let a(g) be the second derivative of g**5/20 - 5*g**4/12 - 5*g**3/6 - 3*g**2 + g. Let m be a(6). Solve -u - 3 = 2*b + 2, -u + 2*b + 7 = m for u.
1
Suppose b = 3*b + 4. Let p = b - -8. Solve -2*w = x - 12, 3*w - 4*x = -p + 2 for w.
4
Let x(b) = b + 10. Suppose 5*t + 19 + 21 = 0. Let i be x(t). Suppose 2 = 3*q - 4. Solve q*p - 3*v = -10 - 0, -i*v + 10 = -2*p for p.
-5
Let f be 27/5 + (-4)/10. Suppose 0 = -8*u + 3*u + 25. Suppose j + 9*w - 4*w = -5, 0 = u*w + 25. Solve -f*m + j = -m, 4*p = -4*m for p.
-5
Let z = -57 + 82. Let v = z + -15. Solve -5*y = -0*n - 2*n - v, -2*y + 5 = -n for n.
-5
Let v be 2*(-2)/4*-4. Solve -5*c - 36 = -4*f, 0 = v*c - 5*f + 50 - 14 for c.
-4
Suppose 2*d - 11 = -3. Suppose 2*k - 14 + d = 0. Solve -k*a + 0*m = 2*m, 0 = -3*a - 5*m - 19 for a.
2
Suppose 5*a = 5*v - 5, -3*v = -v + 5*a - 23