 -s. Solve -5*a - 4 - 2 = 4*c, 3*c = -s*a - 5 for a.
-2
Let h be 50/(-5) + -1 + 1. Let z = -13 - -9. Let c be h/(-45) + z/18. Solve -7*r + 2*r + 6 = 2*o, c = -5*r - o + 3 for r.
0
Let n be (2/(-5))/((-6)/(-30)). Let v be (3 - 3 - 4)/n. Suppose 2 = v*r - 2. Solve r*l + 2*k = -6, 4*l - 2*k + 11 = -5*k for l.
-2
Suppose 5*x + 0*x = -5*o, 2 = -3*x - 4*o. Solve 5*m + 20 = 0, -4*m = x*i + 19 + 5 for i.
-4
Let n = 45 + -40. Solve -3*u = -3*p + n - 2, -3*u - 4*p = -11 for u.
1
Let t = 73 - 71. Let i(w) = 2*w**2 + 2*w - 2. Let o = 2 - 4. Let z be i(o). Solve -4*k - 7 = -3*k + c, -4*c = -z*k - t for k.
-5
Let p(r) = r**3 - 3*r**2 + 3*r - 4. Let z be p(3). Solve -2*q = -7*q + 20, z*q - 17 = d for d.
3
Let g be 9/1*(-8)/(-12). Let m = -4 + g. Suppose 3*x = -m*x + 10. Solve 4*a + 6 = 4*o - x, 3*a + 15 = 0 for o.
-3
Let g = 2 - -6. Suppose 5*j + g = 23. Solve 7 = 3*l - 2*r, 2*l + 3 = j*l - r for l.
1
Suppose 0 = 2*w - 7*w + 10. Suppose w = -4*h + 26. Solve q + h = -5*y, 7*y + 6 = 3*y - 2*q for y.
-1
Suppose 0 = -0*b + b - 3*r - 15, 0 = -4*b - 5*r - 25. Solve 3*p + 5*h = b, -p + 2*h = -h for p.
0
Let j be (2/(-4))/((-1)/6). Let v be (-2)/4*-4 + j. Solve -2*t = -5*c + 7, 2*t + 5*c + 2 = v for t.
-1
Suppose o + 5*n = -17, 0*o + o - 1 = 4*n. Let p = o - -10. Solve -39 = 4*b - 3*z - 15, -b - p*z = -9 for b.
-3
Suppose 10 = 5*z - 0*z. Suppose -t - 2*r - 4 = -3*t, -2*t = -4*r + 6. Suppose 2*s + 1 - t = 0. Solve 0 = -3*d + 4*l, -s*l = 2*d + z*l for d.
0
Suppose -y - 4 = -0. Let r = 4 - y. Let s = -9 + 25. Solve 2*p + m = -m - r, -p - 4*m - s = 0 for p.
0
Suppose -4*k + k = -12. Let j(q) = -q + 10. Let m be j(10). Suppose 0 = -m*v + 4*v - 8. Solve x + 2*h = -2*x + 2, k*h = v*x + 20 for x.
-2
Let v(b) = -b**2 + 8*b - 9. Let h be v(6). Solve 4*s - 10 = -3*c, -8*s + 14 = h*c - 3*s for c.
-2
Let n = 7 - 14. Let o = n + 19. Let a = 17 - o. Solve -w - 2*w = -9, -5*b = -a*w + 30 for b.
-3
Let o(k) = 6*k + 83. Let r be o(-12). Solve -2*w + 3*n = 2*w + r, 5*w + 2*n - 15 = 0 for w.
1
Suppose 6 = 3*m - 6. Suppose -12 + 68 = -3*q - 2*c, -m*c = -3*q - 50. Let z = -13 - q. Solve -4*g + y - 22 = 0, 4*y + 12 = z*g + 45 for g.
-5
Suppose 2*k - 48 + 38 = 0. Solve 2*v - 2*y = k - 3, v = -4*y - 19 for v.
-3
Let x = 4 + -4. Suppose j - 3*j + 8 = x. Solve 4*p + j = s - 4, 2*s = 0 for p.
-2
Let u(r) = 3*r + r - 3*r + 0*r + 3. Let y be u(0). Solve -6*s = -2*d - y*s - 16, 5*d + 2*s + 2 = 0 for d.
-2
Let u = 3 + 8. Solve -3*f + 8 + 19 = 3*l, -f + 4*l = u for f.
5
Let q = -41 + 43. Solve -q*m - d = 0, -5*m + d + d = 0 for m.
0
Suppose -z = -2*z + 16. Suppose -2*g + 7 = -5*s, -z = -4*g + 5*s + 13. Solve 3*j = 4*v - 13, -3*j - g + 4 = 2*v for v.
1
Suppose 4*q = 3*q + 6. Suppose -13 = j - 5*m, j + m = -2*j + 9. Solve -q*z + z + 35 = -5*s, 0 = -j*s + 4*z - 20 for s.
-4
Let f = 8 + -5. Solve 2 - 6 = 2*h, -14 = -2*w + f*h for w.
4
Let h be 3*((-1 - -2) + 0). Suppose 0 = -h*v + 4*g + 28, v = -v - g + 4. Suppose -3*x = -11 - 4. Solve 17 = -3*l + v*y, 0 = x*l + 3*y - 9 - 11 for l.
1
Suppose -5*s + 3 - 18 = 0. Let y(l) = l**3 + 5*l**2 + 4*l + 2. Let g be y(s). Let m be g/(-36) + (-83)/(-9). Solve -4*x = x + 2*v - m, 5*v + 9 = -2*x for x.
3
Let t(w) = -3 + 2 - 4*w + 5*w - 1. Let q be t(4). Solve 3*v - 5*m = 22, -q = -7*v + 4*v + m for v.
-1
Let b(k) = -11*k + 8 - 3*k + k**2 + 3 + 2*k. Let l be b(11). Solve 2*u - 8*c + 3*c - 12 = l, -2*u + c - 4 = 0 for u.
-4
Suppose -3*j + s = -2*s - 12, 0 = -4*s. Solve -4*r = 2*b + 24, j*b + 0*b = -2*r - 18 for b.
-2
Let a be 3 + (2 - 6) + -1 + 5. Solve 5*k - 5*z - 8 = k, 0 = a*z + 12 for k.
-3
Let x = 100 + -96. Solve -x*l + 2*n - 5*n + 11 = 0, -5*l - 5*n + 10 = 0 for l.
5
Let g be 7 - (4/2 + -2). Let y(k) = -k**3 + 5*k**2 + 7*k + 5. Let b be y(6). Let n = g + b. Solve 40 = -3*l + 5*m, m = -4*l + 3 - n for l.
-5
Suppose -x + 2*s = x - 18, -4*s - 26 = -2*x. Let b(g) = -4*g - 9. Let u be b(-6). Solve 5*w - 5*f = 15, 10 + u = -x*w - 5*f for w.
-1
Let t(a) = a**2 + 6*a + 1. Let n be t(-6). Let x = 1 + -4. Let u be 1/(-3)*x*n. Solve 1 = 2*p - s - u, 0 = 5*p - 5*s - 10 for p.
0
Let c be (-70)/4*-2 - 2. Suppose 2*r - c + 7 = 0. Solve -5*x = -g + 10, 3*g + 5*x - 3 + r = 0 for g.
0
Suppose -5*n = -3*n. Let m be (-1224)/40 + 4/(-10). Let l = -12 - m. Solve l = 5*h + 2*v, 3*h + 2*v + n = 13 for h.
3
Let y = -19 + 11. Let f = y + 10. Solve 0*k - f = -k, -2*g = k - 8 for g.
3
Let d be (-10)/4*(-20)/25. Let o be 374/18 + d/9. Suppose t + 5*b - 3 = 12, -4*b = -t - 3. Solve 5*q - o = -2*a + a, 15 = -q - t*a for q.
5
Let x = -29 - 1. Let h be x/12*(-4)/2. Solve -c = 5, h = -3*z - 2*c - 2 for z.
1
Suppose -z - 1 = -s, 6 = -z - z + 3*s. Let r(t) = 2*t - 4. Let n be r(3). Let p = n + 2. Solve 0 = v, -z*v = -p*j + v - 16 for j.
-4
Let g(n) = -2 - 2*n - 4 - 4. Let w be g(-13). Solve 3*i + 0*d - 2*d + 12 = 0, 4*i = 2*d - w for i.
-4
Let u = -24 + 27. Solve 4 - 15 = 5*n - u*h, -6 = 3*n - 2*h for n.
-4
Suppose c + 23 = -5*f, f + 6 = -f - 2*c. Let y = f + 8. Solve 3*g + 4*r + 0 + 12 = 0, y*r = 0 for g.
-4
Let j(w) = -3*w - 1. Let a be j(3). Let t be (a/(-5))/(1/2). Solve 4*r = -t*g - 28, -5 = 3*g + 2*r + 13 for g.
-4
Let d = 5 + -2. Suppose 0*x - 9 = -d*x. Let p(z) = 3*z**2 - 4*z - 3. Let i be p(-1). Solve -i*c + 5*f + 41 = 0, 0 = 2*c + x*c - 2*f - 30 for c.
4
Let l = -26 + 26. Solve 3*u + l*u + m = 9, 0 = -5*m - 15 for u.
4
Let u be (-14)/(-3) + 4/(-6). Let y(p) = 4*p + 2. Let x be y(u). Solve -d - 5*q + x = 0, -3*d - 5*q + 24 = -0*d for d.
3
Suppose -3*t = -y - 3, -3 = -3*t + 3*y + y. Solve -2*j = -2*o - 4, 3*o - 1 - t = -j for o.
0
Suppose 1 = -2*y + 49. Solve -2*b + y = -4*o, 0 = -4*o - 0*b - b - 18 for o.
-5
Let r(d) = d**3 + 4*d**2 - 6*d - 2. Let y be r(-5). Solve y*j + 3*t = -14 - 1, 3*j + 19 = -5*t for j.
-3
Let h be (48/20)/(6/140). Suppose -o = 3*o - h. Solve 15 = 2*g - 7*g, 5*q - o = 3*g for q.
1
Suppose -3*b - 12 + 24 = 0. Solve 10 = 3*u - 5*l, 0 = -2*u + b*u - 5*l - 10 for u.
0
Let y(a) = -a**2 - a + 4. Let s(t) = -t**3 + 6*t**2 - 6*t + 5. Let c be s(5). Let h be y(c). Let d = 7 - h. Solve w + i = 3*w - 10, 6 = d*w + 3*i for w.
4
Suppose -5*p = 4*a + 12 - 36, -5*p + 17 = -3*a. Solve -4*k + 8 = p*v, 0 = 5*k - 6*v + 2*v + 8 for k.
0
Let w be 6 - 0*2/(-4). Let g = 25 - w. Solve -3*x = -t - 3 + g, 25 = -5*x for t.
1
Suppose 4*y - 33 + 109 = 0. Let g = y + 22. Solve -k = -t + 1, 0 = t + g*t - 2*k + 6 for t.
-4
Let a = -38 + 23. Let o be 4/(-3)*a/10. Suppose -3*q + o = -4. Solve 0 = -5*i - 2*x + 5, 3*x = -2*i + q for i.
1
Suppose z = 4*z. Suppose 0 = 4*n + 3*b - 28, z = 2*n - b - 39 + 15. Solve 2*r - 7 = -4*l - 23, -4*l = 5*r + n for r.
2
Let q be -2*175/(-14)*(-2)/(-10). Solve -q*g = 20, -2*g - 15 = 3*x + 5 for x.
-4
Let a(d) = 6*d + 2. Let w be a(0). Solve -4 - w = -2*z + m, 0 = 2*m for z.
3
Suppose 2*o + 9 = -0*o - s, 0 = -3*o - 2*s - 13. Let x(w) = w**3 + 6*w**2 + 4*w. Let u be x(o). Let b = u + -2. Solve b = -p - l, 4*p + l = 5*l - 12 for p.
-3
Let n(x) be the second derivative of x**3/6 + 13*x**2/2 + 2*x. Let t be n(-11). Solve t*f - 4*m + 8 = m, -3*m = 4*f + 16 for f.
-4
Let h = 69 + -64. Solve -2*u - 8 = 0, u - 16 = -h*i - 0*u for i.
4
Suppose 566 = 4*u + 558. Let t = 28 - 20. Solve -l = 2*l - u*c - 5, 2*c + t = 4*l for l.
3
Suppose -4*f = -4*p - 36, -2*f + 6*f + 2*p = 18. Suppose -18 - f = -4*l. Solve 4*a - 16 = -r - 4, a = 2*r - l for a.
2
Suppose -4*a - 3*p + 12 = p, 0 = -4*a + 5*p + 3. Suppose 2*m + a*m = 8. Solve 0 = m*c + 2*t - 4, -t + 3*t = 2 for c.
1
Let d be (2 - 1) + (-1 - -4). Suppose z = d + 1. Solve -y = 2*y + 3*t + 6, -z*y + 3*t - 2 = 0 for y.
-1
Let z(c) = c. Let a be (4/(-6))/((-1)/6). Let b be z(a). Let u be b/2 + (11 - -1). Solve 0 = 4*o + o + t - 9, 0 = -2*o - 3*t + u for o.
1
Suppose -82*a = -57*a. Let q = -2 + 4. Solve -6 = 2*d - q*b, 2*d + a = b - 2 for d.
1
Let i be (-16)/(-2) + 3 + -5. Suppose 0 = -3*w - 12 - i. Let d = w - -8. Solve -12 = g - 3*b, -3*g - d*b = -0 + 3 for g.
-3
Let d = 8 + -4. Suppose -v + 0 = 4*m - 5, d*v = -2*m + 20. Suppose 2*q + 30 - 5 = -5*w, m = -5*q - 2*w - 10. Solve -3*s - 1 - 2 = 2*g, q = s - 1 for g.
-3
Suppose 6 = -3*u + 4*p - 1, -4*u + 5*p = 8. Suppose j - 7 - 1 = 0. Solve u*y - 9 = 2*s + j, 3 = 5*y + 3*s for y.
3
Suppose 0 = 4*r - 9*r + 25. Let o(u) = -u + 3. Let a be o(0). Solve -j + 5 = r*f, 2*j + 4*f + 17 = -a*j for j