h*a = -3*c - 12, -12 = -3*c - 5*a for c.
4
Let k be 2*20*(-1)/(-8). Solve k*v + 2*j + 10 = -j, -2*v + 5*j = 4 for v.
-2
Let h(w) = 32*w - 15*w - 2 - 14*w - 1. Let c be h(6). Suppose -2*m = m - c. Solve 0 = -m*o + 2*v - 35 + 10, 4*o + 20 = 5*v for o.
-5
Suppose -s = -b, -4*s + 2*s + 5*b = 12. Suppose 2*h = s*o - 48, -4*o + 12 = -4*h - 32. Solve 3*x + 18 = 6*x - 4*v, -3*v - o = -2*x for x.
2
Let s(z) be the second derivative of -z**5/20 + 2*z**4/3 + 4*z**3/3 + 15*z**2/2 + 16*z. Let m be s(9). Solve 0 = -4*w + m*y - y + 12, -14 = 3*w + 2*y for w.
-2
Suppose 17*w - 12*w = -3*f + 30, 3*w - 9 = 0. Solve 4*u = -f*y - 17, -3*u + 0 = -2*y - 16 for u.
2
Let i = -136 + 136. Solve i = 5*a + 3*r + 40, a = -3*a + 4*r for a.
-5
Suppose 2*v = 2 - 0. Suppose -4 = -3*j + 2. Suppose -k + v = -j. Solve 4*h = -3*l + 21, 0 = 2*l - 2*h + k*h - 9 for l.
3
Let a = 10 + -1. Suppose t - 4*j + a*j = -1, 4*j = 3*t - 92. Suppose 0*c - t = -3*c. Solve 2*r = 5*i - 2*i - 1, -4*i - 2*r = c for i.
-1
Let k(u) = -2*u - 31. Suppose 1 = 2*a + v + 40, 3*v = 5*a + 114. Let w be k(a). Solve -4*l + 19 = 3*j, 0*l + w = l + 2*j for l.
1
Let j = -15 - -20. Let g(r) = -r**2 + 7*r + 6. Let v be g(j). Let f(m) = 4*m**2 + m - 1. Let p be f(1). Solve -2*h + 6 = 5*u, -p*h + 4*u - v = -0*u for h.
-2
Let a = -14 + 34. Suppose -3*q + 5 + 22 = 0. Suppose f - 11 = -q. Solve 0 = 5*u + r - 6*r - a, -f*r - 7 = -3*u for u.
-1
Suppose 6 = -g + 3*g. Let x = -5 - 1. Let j be 16/(-40)*(x - -1). Solve 0 = -y + j*z + 9, -z + g = -y - 3*z for y.
3
Let b(f) be the first derivative of -f**4/4 + 4*f**3 + 3*f**2/2 - 11*f + 11. Let n be b(12). Solve -r - n = 4*r, -12 = -s + 3*r for s.
-3
Let q(v) = -3*v - 21. Let r be q(-8). Solve 5*n = -3*b - 19, 2*b + r*b - 3*n = -9 for b.
-3
Suppose -9*i = -13*i + 168. Suppose 2*t = 3*m + 10, i - 17 = 5*t + m. Solve -19 = t*b - c, 0*b = 5*b + 5*c + 25 for b.
-4
Suppose 2*s - 5*m = 48 - 3, s = -4*m + 3. Suppose 2*r - 4*r = -6. Solve -4*k - r*l = -0*k - s, -5*l = -5*k - 25 for k.
0
Let g = -36 - -35. Let k = g - -3. Solve 2*c - 12 = -k*a, a + 5*c - 12 + 2 = 0 for a.
5
Let m(z) = z**3 - 3*z**2 - 11*z - 1. Let f be m(5). Suppose 0*a + 5*a = 30. Let y be f/(-10)*(a - 1). Solve -y*q + q + 3*s = -8, 2*s = 4*q - 8 for q.
1
Suppose 30*j - 8 = 52. Solve -3*o = -2*a, 0 = j*o - 0*a - 4*a for o.
0
Suppose 3*q = 4*c + 10 + 11, -2*q - 2*c = 0. Solve 5*m + 12 = m, -3*x = q*m + 6 for x.
1
Let w = 1 + -3. Let f be (w + 1)*(-15)/(-5). Let g = 5 + f. Solve 2*c = 4*i + 10, -20 = 2*c + g*c for i.
-5
Suppose -13*q = 24*q. Solve q*n + 2*y = -4*n + 16, 2*n - 16 = -5*y for n.
3
Suppose -4*a - 67 + 19 = 0. Let s = a - -15. Solve -16 = -5*h + 4*b, -s*h = -2*h - 2*b - 8 for h.
0
Suppose -2*y = 2*x - 40, 0 = 4*y + 9 + 7. Suppose 0 = x*h - 28*h + 12. Solve h*d = -c - 2*c - 15, 3*d + 13 = -2*c for d.
-3
Let w(b) = 2*b**2 - 3*b - 8. Let o(g) = g**2 - 4*g - 9. Let z(q) = -3*o(q) + 2*w(q). Let x be z(-4). Solve -3*y + 6*y = -4*r + 9, 0 = -x*y + 2*r - 9 for y.
-1
Let k = -50 - -47. Let m = 1 - -4. Let t = k + m. Solve 4*u + t*x + 2 = 14, 0 = x for u.
3
Let u be 87/58*(-5)/(15/(-6)). Solve -2*m + u + 1 = -3*k, 4*k + 24 = -2*m for k.
-4
Let l be (-40)/(-12) + 12/18. Let g = -10 - -14. Solve -o - 1 + g = t, -2*t - l*o = -4 for t.
4
Let b = 1177 + -1175. Solve -5*c - 10 = -4*c + b*o, 4*o = -4*c - 20 for c.
0
Let q(o) = -o**3 + 8*o**2 - 9*o + 1. Let l be q(7). Let r = -10 - l. Let n be (1 - 1)/(9/r). Solve 3*x + 5 = 2*k, n = 3*k - 2*x - x for k.
-5
Let f(s) = -10*s + 72. Let w be f(7). Solve -j - 3*y - 3 = -y, -6 = w*j - 4*y for j.
-3
Let f be (-10 - (-49)/5) + 1/5. Solve 0 = -4*u - 3*t - 9, 4*u - 10*t + 7*t - 9 = f for u.
0
Suppose -73*h + 42 = -67*h. Suppose -g - 4 = -h. Suppose -5*v + 17 = -d, 3*v - 3 = 9. Solve -4*r = -2*q, g*r = -d*q - 0*r for q.
0
Let x be 400/12 - (-4)/6. Let k = -31 + x. Suppose -5*i = -k*i. Solve 2*w + 7 = 5*m - 4, -4*w - 4*m + 20 = i for w.
2
Let p = -126 + 137. Solve p = 3*l - 4*l + 5*v, -l = 4*v - 7 for l.
-1
Let k(m) = -m**2 + 9*m + 10. Let a be 3*-1*(9 + -12). Let h be k(a). Suppose -2*q + h = 0, -4*q + 6*q - 58 = -4*c. Solve -x = x - 3*n - 7, -c = 4*n for x.
-1
Let s be (-44)/10*135/(-27). Let y(b) = -10*b - 7. Let g be y(-6). Let l = g - s. Solve -4*t = n - 4*n + l, -t - 14 = -2*n for t.
-4
Let d(c) = c**2 - 6*c - 4. Let f be d(7). Suppose z + z - 12 = -4*v, 0 = -f*z. Solve -j + 2*j - 21 = 4*k, 0 = v*j + 5*k + 22 for j.
1
Let n = -70 + 72. Solve 4*a + 7 = 3*a - n*s, -5*a + 2*s = -25 for a.
3
Suppose -2 = s - 4*y - 1, -s + y = -2. Suppose -s*j = -9, 2*b + 6*j - 15 = 3*j. Suppose -1 = v - 5. Solve 16 = 4*n, -b*n = -h - v*n for h.
-4
Let i(l) = l**2 - 5*l + 6. Let f be i(5). Suppose f*s - 7 = 5. Solve -2*n = -o + 1 - 5, s*n - 2*o = 0 for n.
4
Suppose b - 3*a = 9, -3*a - 2*a - 16 = -2*b. Suppose b*s = -s + 5*s. Solve 4*q - 3*g + 8 = s, 2*q - 5*q + 5*g - 17 = 0 for q.
1
Let j(y) = -8*y**2 + 216*y + 1. Let p be j(27). Solve -2*r + 0*r + p = -5*n, 5*r + 8 = 2*n for n.
-1
Let x(p) = -p**3 - 5*p**2 + 16*p + 1. Let d be x(2). Solve 5*r = -5*c + d, -c + 9*r + 13 = 4*r for c.
3
Let n = 72 + -60. Suppose -4*d - 2*q + 12 = 2*q, 0 = -5*d - 2*q + n. Solve -o + 0 = -k - d, 0 = 3*o - 4*k - 5 for o.
3
Let i(w) = w**2 - 7*w + 15. Let h be i(4). Let k = 3 - 8. Let c = 0 - k. Solve 4*r = -3*s - 16, 0*s - 20 = c*r - h*s for r.
-4
Suppose 28 = 3*p + q, -3*p + p - 5*q + 23 = 0. Suppose -16*i + 19*i - 24 = -2*u, 3*u - 18 = 0. Solve -z = i*a - 7, z + z = -3*a + p for a.
1
Let b(x) = x**2 + 51*x + 472. Let a be b(-39). Solve 0 = 3*w - 5*r + 18 - a, -10 = 3*w - r for w.
-3
Let b(k) = -2*k**3 - 69*k**2 + 37*k + 72. Let g be b(-35). Solve -5*x - 3 = g*v, 0 = x - 2*x - v for x.
-1
Let t(b) = -b**2 - 4*b + 6. Let l be t(-5). Let f be (1 + (-1 - 1))/l. Let x be 1 + 2 + f - -2. Solve -5*k = -3*z + 12, -4*k = -x*z + 5*z - 4 for k.
0
Let i(b) = 2*b**3 + 8*b**2 + 2. Let u be i(0). Let m = -10 + 5. Let k be 2/m - 124/(-10). Solve l + u*l - 5*j = k, 2*l - 5*j - 8 = 0 for l.
4
Let z be -1*((0 - 2) + 3). Let g = 4 + z. Solve 5*i + f + 5 = 0, 2 = -3*i - g*f - 13 for i.
0
Suppose 0 = -5*x - 43 - 22. Let w be (2 - (-8)/(-5))/((-3)/(-195)). Let a = w + x. Solve -y + 2*r - 3 = 0, y + a + 2 = 5*r for y.
5
Suppose -7*g + 5*b = -46, 3*b = 3*g - b - 29. Solve g*m - 6*m - 18 = -3*d, 4*m - 8 = -4*d for m.
-2
Let i be (-3 - 0)*(5 - -4). Let o = 31 + i. Solve 14 = -2*x - o*w, 5*x - 3*x + 4 = w for x.
-3
Let l(h) = -h**3 - 1. Let f = -9 - -7. Let b be l(f). Solve -5*v + 1 = 4*k, -v - b = 4*v + 2*k for v.
-3
Let p = -2374 + 2377. Solve -3*i - 13 = 5*a - 2*i, 0 = -p*a + i - 3 for a.
-2
Suppose 20*z - 16 = 12*z. Suppose -u = z*v - 2, -u = -3*v + v + 2. Solve 1 = -w, u*q + q = -w + 4 for q.
5
Let k be (-6)/(-3) + 1 + -30 + 3. Let f = 28 + k. Solve -3*g = 3*b + 15, 2*b + f = -0*b for g.
-3
Let g = -28 - -46. Suppose 0 = -3*k - 3*f + g, 12 = k + 5*f - f. Solve 5*v - y + 8 = 0, -v - 3 = -2*y + k for v.
-1
Suppose -3*h - 5*x + 48 = -2*x, 3*h = 3*x + 42. Suppose 2*t - h = -t. Suppose 7*l - 87 = -73. Solve -6*r + l*r + 6 = t*n, r - 10 = 3*n for r.
4
Let r(j) = 3*j**2 + 6*j - 17. Let z(b) = -b**2 - 2*b + 6. Let l(o) = -3*r(o) - 8*z(o). Let p be l(-2). Solve p*a - 2*k = -13, -3*k = 4*a - 7 - 4 for a.
-1
Let t(c) = -c**2 - 4*c + 4. Let u be t(-4). Let j be (9/u)/((-1)/(-16)). Suppose 2*x - j = -0*x. Solve 5*h = y - x, 2*y + 1 + 15 = -3*h for y.
-2
Let t(a) = 4*a**3 + a - 1. Let o be t(1). Suppose 6*f - 3*f + 5*n = -119, 2*n = -2*f - 78. Let i = -23 - f. Solve r = 3*q + 14, -5*r + i = -0*q - o*q for r.
-1
Let o = -32 - -40. Let g(b) = b + 7. Let x be g(o). Let y be 0 + -1 + 3 - -2. Solve 8*u - 3*u - 25 = y*i, 5*i = 3*u - x for u.
5
Let i = -710 + 710. Solve -4*g = -3*d - 6, -3*d - 2*d + 2*g - 10 = i for d.
-2
Let a(w) = w**3 + 31*w**2 + 30*w + 4. Let m be a(-30). Solve -16 = -7*i + 5*i + m*o, i - 14 = 4*o for i.
2
Let b be 50/(-10)*(3 - 4). Solve 8*n + 5*a - 11 = b*n, 4*n + 3*a = 11 for n.
2
Suppose 0 = -78*g + 74*g + 12. Solve 3*m = 4*m - 3, -3*m = -g*a for a.
3
Suppose -36 = -4*f + 4*s - s, f - 24 = -3*s. Let k be (-10)/40 - 130/(-8). Let p = k - 13. Solve -4*q - 9 = -p*h, -4*h - q + 0*q = -f for h.
3
Let t be 1*(-3 + 7 + 3). Suppose 5*z + 2*c = 20, -3*c + t + 8 = 0. Suppose k + z*k = 0. Solve 4*i - 16 = -8*h + 3*h, k = -2*i + 8 for h.
0
Let o(l) 