 0 = j - 0 + 3, 4*m - 2*j - 18 = 0. Let z(a) = 2*a**3 - a**2 + a. Let t be z(1). Solve 2*w = -5*g - t, 7 = -5*g - m for w.
4
Let q be -2*1/8 + 2888/32. Suppose 0 = -2*h - 0*f + 5*f + 58, -3*f + q = 4*h. Solve -3*s = 4*p - h, 7 = p + 2*s - s for p.
3
Let k(c) = -2*c + 8. Let x be k(2). Suppose 0*l = x*l, -4*l = 5*o. Solve 4*q + 16 = o, 3 = -5*a + 4*q - 6 for a.
-5
Let h = -81 + 95. Let o(p) = p**2 - 4*p. Let n be o(5). Suppose 4*u + 0*u + x = 11, -n*u + 3*x + 35 = 0. Solve 3*q + q + h = t, -3*t = -u*q - 10 for t.
-2
Let o(x) = x**2 - 11*x - 99. Let b be o(-6). Solve l + 4*z + 16 = 0, 4*z = -l - b*l - 4 for l.
4
Let i(t) = -8 + 6 - 5*t + t**2 + 0. Let s be 4 + 1 + (-2 - -3). Let g be i(s). Solve -g = z, -14 = 2*v - 0*v + 4*z for v.
1
Let c(k) = k**2 + 9*k + 18. Let b be c(-7). Solve -4*v + 0 = -3*q + 3, -4*v + 32 = b*q for v.
3
Suppose -4*r = 16, 4*q - 32 = 16*r - 13*r. Solve -3*f = x + 13, q*f - 4*x = f - 12 for f.
-4
Let b = 10 - 7. Let u(r) = 2*r**2 - 6*r**2 + 10 + b*r**2. Let w be u(0). Solve w = -4*d - 5*n, d + 4*n + 12 = -3*d for d.
-5
Let m be -7 - (2 - 5) - 18. Let y be (-165)/m + ((-1)/2 - 0). Solve -y*v + u + 1 = -5*v, 2*u + 3 = 3*v for v.
-1
Suppose -5*g + 17 = -13. Suppose d - g = -2*d. Let b be (15/6 - d)*4. Solve -2*z + 18 = -4*t, 3*t - b*z + 4 = -12 for t.
-2
Suppose -2*n = -5*n + 18. Suppose -n*z = -5*z - 4. Let b be (-3 + 204/8)*(-4)/(-3). Solve 4*s + 0*s + b = -2*y, -20 = z*y for s.
-5
Suppose u + 5*n + 5 = -3*u, -u - 3*n = 10. Suppose a - 2*q - 28 = -3*a, 0 = -a + u*q + 25. Solve 3*v - 12 = -5*t + v, a*t - 2*v = 28 for t.
4
Let a = 214 + -139. Suppose 0 = 17*v - 10 - a. Solve v*q = 3*s + 10, -2*s + 4 = q - 11 for q.
5
Suppose 9 = 2*f - 43. Suppose -30*s + 8 = -f*s. Solve -3*o + 3 = 2*b, 12 = s*b - 3*b + 3*o for b.
-3
Let j = 582 - 582. Solve -4*l - 2*t + 14 = 4, 3*l - t = j for l.
1
Suppose -10*i + 5*i = -10. Let m be (-7 - (-1 - i))/(-4). Solve z = -m, p = -5*z + 3*z for p.
2
Let c be (1*8/4)/(12/30). Let b(f) = f. Let h be b(0). Suppose 0 = -h*d + 4*d - 12. Solve -d*a + c*v = 0, -v + 2*v = 2*a for a.
0
Suppose 3*r + 6 = 3*z, 4*r + z = 2*r + 11. Solve -3*n - 3*k = -18, r*n - k = -2 - 0 for n.
1
Let n(r) = -r**3 + 6*r**2 - 2*r + 7. Let w be n(5). Let q = 24 - w. Solve 5*x - 5 = -5*k, x = q*x + 3 for k.
4
Let k be 10/(-3)*(324/45)/(-6). Solve 2*j = s + 2*s + 2, j = k*s - 4 for j.
4
Suppose 2*i = -3*i - 9*i. Let d be (-7)/(-2) + (-1)/2. Solve -d*f + 20 = 5*b, 2*f + i*b - 4 = -b for f.
0
Let l be 3/2 + (-25)/(-10). Let z be ((-34)/6 + l)*-3. Solve -5*h - 2*u = 23, 4*u - 9 - z = 2*h for h.
-5
Let d be (-144)/(-60) - 15/(-25). Solve -d*p + 2*p + 3 = -f, -5*f + 4*p - 12 = 0 for f.
0
Let q be -2 + -13*4/(-2). Suppose 2*u = 5*u - q. Suppose 0*t - u = -4*t. Solve -4*o = -t*m + 22, -3*m = 2*m - 4*o - 37 for m.
5
Suppose b - 191 = 4*c + 45, -c - 4*b - 42 = 0. Let q = c - -60. Suppose l + p - 3 = 0, 5*p + 12 = 4*l + 2*p. Solve -r + 2 = v - 0, -l*r = -v - q for v.
1
Let f(u) = 4*u**2 - 10*u - 4*u**2 + u**2 + 7 + u**2. Let d be f(7). Suppose p - 13 = g, -d = -3*p + g + g. Solve -c + 3 = 0, 3*c + 4 - p = -q for q.
-4
Suppose 2*g + 2*g = 0. Let j = 13 - 11. Suppose -j*v - 15 = -5*v. Solve -10 = v*a - 3*o, 0 = 4*a - g*o + 3*o + 8 for a.
-2
Let h be (-168)/20 + 2/5. Let g(p) = 2*p**2 + 9*p - 21. Let f be g(h). Solve 0*u - 4*u - f = 5*a, 0 = -2*a + 2*u + 4 for a.
-3
Let a(q) = q + 3. Let t be a(3). Let n be (-18)/(-36) + t/4. Solve 5*r + 5 - 1 = n*k, 4*r = 0 for k.
2
Let f(q) = -2*q - 7. Suppose 27 + 8 = -5*c. Let u = c + 2. Let o be f(u). Solve 3*y - 21 = o*z, -y + 2*z = -7 - 2 for y.
5
Let x be 0 + (-6)/(-33) - 1806/(-231). Solve -g - 4*i + 0 = -6, 3*g + 2*i = x for g.
2
Let m be (6 - 52/8)*-4. Solve 3*c = 5*l - 6 + m, -2*c - 6 = 0 for l.
-1
Suppose -o = -27 + 1. Let x be 5/(15/(-9)) + -3 + 36. Let q = x - o. Solve d - 1 = 5*r + q, 5*d + 27 = -r for d.
-5
Let o = -134 - -141. Suppose 2 = -t + o. Solve 0*y = t*a + 4*y + 31, 2*a + 10 = -y for a.
-3
Let k(j) be the second derivative of j**4/12 - 10*j**2 + j. Let l be k(0). Let p = l + 52. Solve 2*r = -0*r + 2*u - 18, -p = 4*r - 3*u for r.
-5
Suppose 5*t = 4 + 6. Let x be (3280/492)/(-1 + (-5)/(-3)). Let g be (8/10)/(t/x). Solve -v + g*o = 2, 0 = v + 3*o - 3 - 2 for v.
2
Let r(m) = -9*m + 3. Suppose 3*d - 4*b + b + 18 = 0, b = 3*d + 8. Let p be r(d). Solve -4*f - 2*l = p, f - 2*l = -0*l - 8 for f.
-4
Let q = -3 - 7. Let d(u) = 2*u + 20. Let o(w) = -w - 10. Let p(c) = -3*d(c) - 7*o(c). Let l be p(q). Solve 0 = -4*z + 12, -5*j - 9*z + 4*z + 35 = l for j.
4
Let u = -5 + 9. Let o(w) = -w + 13. Let a be o(8). Suppose 3*x + 4*y - 2*y - 2 = 0, -5 = -a*x - 5*y. Solve u*z + 4*r - 8 = 0, x = r - 2*r - 1 for z.
3
Let g be 4*(-3 - (1 - 4)/(-6)). Let x be (-396)/(-14) + 4/g. Solve k = -8*b + 3*b - x, -5*b - 34 = 3*k for k.
-3
Let s = 75 + -30. Let b be s/6*(-4)/(-6). Solve -5*z = -0*z + b*x - 5, -4*z = -2*x - 10 for z.
2
Suppose v + 2*g + 1 = -2, 3*g - 1 = 4*v. Let b = -5 - v. Let s be 0 - (-2)/(-4)*b. Solve -5*h = s*o + 15, -o = 2*h - 3*h + 4 for h.
-1
Let k(p) = -p**2 + 9*p + 6. Let c be k(9). Let f be (-7)/((-21)/c) + -1. Suppose 2 = o - f. Solve -2*z + o*j = 2*z, 0 = -2*z - 5*j for z.
0
Suppose 5*c - 45 = 5*h - 10, 2*c - 4*h = 24. Solve -p - 5*u + 9 = 0, -p - p - 6 = -c*u for p.
-1
Let f(h) = -16 + h + 56 - 12. Let q be f(-17). Solve 14 = 3*b + u, 3*b + 6*u = 2*u + q for b.
5
Suppose -3*t = -3*u + 8*u + 13, 0 = -3*t + 2*u + 22. Suppose 0 = -6*j - 5 - 19. Let b(v) = 2*v + 13. Let x be b(j). Solve 3*h + t = 2*i + 3, 5*h = x*i for i.
-1
Suppose 0 = -18*j + 16 + 20. Solve 2*s + j*s - 3*k - 20 = 0, 4*s - 20 = -4*k for s.
5
Let n = 296 - 280. Solve -4*m + 12 = -3*v, 0 = -4*v + m + 4*m - n for v.
-4
Let x be 10/1 + -2 + -3. Suppose 2*m - m = x. Suppose 2*h = 1 + m. Solve -4*g + 2*a = a, 0 = 2*g - h*a + 10 for g.
1
Let s(m) = -m - 15. Let x(h) = 8. Let g(q) = 4*s(q) + 7*x(q). Let c be 0 - ((-6)/(-2) - 0). Let d be g(c). Solve 0 = -3*z + 5*f - 0 - 10, z + d = 4*f for z.
0
Let k be -4 + 3 - (-5 + -2). Let d be 2/4 - (-69)/k. Let x be (16/(-6))/((-2)/d). Solve -4*r + x = -3*v, 5*v - r + 4*r = 12 for v.
0
Suppose 0 = 2*r - d - 18 + 4, -5*d - 20 = 0. Suppose -10 = 2*g, 11 = 3*w - g + 3. Let h be 16/6 - (-8)/(-12). Solve -k + 3*j - r = 0, 2*j = -h*k - j - w for k.
-2
Let r(j) be the third derivative of -j**4/24 + 3*j**3/2 + 71*j**2. Let h(i) = 2*i - 3. Let d be h(5). Let q be r(d). Solve g = 4*c + q, -g = g - 4*c for g.
-2
Let x(a) = a**3 - 22*a**2 + a - 18. Let y be x(22). Suppose 0 = s - 4*s. Solve s = -h + y, 2*q + 2*q = -2*h for q.
-2
Suppose -3*o = -5*w - 16, 34 = 5*o - w - 0*w. Let c = 9 + -4. Suppose 5*b + 0 = c. Solve -2*n + b = -o*q + 2*q, -5*q + 4*n = 7 for q.
1
Let s(w) = -3 + w**2 + 0*w**2 - 3*w - 2. Let q be s(6). Let z be (1/(-1))/((-2)/8). Solve l + 3*l - 5*r - q = 0, -2*l - z*r = 0 for l.
2
Suppose 4*y + 25 = 9, -5*w - 3*y - 2 = 0. Solve 4*a - 4 = -u, 0 = -5*u + w*a + a - 3 for u.
0
Let d(i) = i**3 + i**2 - 11*i - 33. Let t be d(4). Solve -2*h + t*b - 17 = -7, 5*b = h + 12 for h.
-2
Let v(k) = 11*k + 203. Let s be v(-18). Solve -3*h + 4*y - 12 = -4*h, -2*h + s*y = 15 for h.
0
Let s(h) = 2*h - 3. Let r be s(4). Let c be (4/r)/((-2)/(-10)). Suppose -4*x = 2*x - 12. Solve -x*q = l + c - 1, -4*l - 15 = 5*q for q.
1
Let h(x) = -x**2 - 8*x - 10. Let k be h(-5). Suppose k*i + 0*u - 26 = 2*u, -6 = 2*u. Solve j + 2 = 3*y + i, -10 = -5*j + 5*y for j.
2
Let m = -199 - -204. Solve 2*f = m*w + 30, -17 = -2*w - 4*f - f for w.
-4
Let k = 143 - 141. Solve -2*n = -6, k*n - 1 + 4 = 3*d for d.
3
Let b be (18 - 10 - 8)/(-2). Solve -5 = -p - 4*j + 2*j, b = -p - 3*j + 6 for p.
3
Let f(g) = 2*g**2 - 13*g + 24. Let j(t) = 5*t + 2. Let o be j(0). Let v be f(o). Solve v = -4*k + 5*n, 11 = 5*n + 1 for k.
1
Let f be ((-1)/(-4))/((-19)/(-304)). Solve -3 = 2*w - f*l + 1, 5*w - 4 = 3*l for w.
2
Let u be -2 - (-10)/5*2. Solve -3*j + 2*t - u = -2*t, -5*t = 5*j + 15 for j.
-2
Suppose 38 = 3*q - 7. Let x be (12/q)/(6/15). Suppose 0*n + 8 = 2*w - n, n - 2 = 0. Solve -w*z - 25 = 5*m, 5*m + x*z + 0*z = -16 for m.
-2
Let x be (2*2*1)/(4/6). Suppose -6*g + x = -24. Solve -c = -3*f + 14, c + 30 = g*f + 6*c for f.
5
Let l = 15 - 13. Suppose -4*c - 3 = 5*h, -c - l*h = -0*c - 3. Let z be (1 + 0)/(c/(-35)). Solve -2*r - x = 8, 3*r + 3*x = -z -