= 0, j + 2 = s*j for y.
5
Suppose -j + 0*j = 1. Let u(w) be the second derivative of w**4/2 + w**3/3 + w**2/2 + w. Let g be u(j). Solve -g*n - s + 3 = 5, -3*n - 5*s = -12 for n.
-1
Suppose 0 = 4*v - 391 + 87. Suppose 5*n = 2*s - 4*s + 44, 0 = -5*s - 4*n + v. Solve g = 6*g - 3*u - s, 3*g = -5*u + 14 for g.
3
Let h(s) = -s**3 - 20*s**2 + 21*s + 11. Let a be h(-21). Suppose a + 9 = 2*q - 2*n, 5 = 4*q + 3*n. Solve -5*x + q + 5 = -k, -13 = 4*x - 5*k for x.
3
Let c = 16 - 9. Suppose -c*r + 11*r = 16. Solve 4*m - 20 = -r*h, 0 = -m - 4*h + 6 + 2 for m.
4
Suppose -2*j + 5*z + 26 = 0, 3*j - 4 = -3*z + 56. Let b = j + -13. Let p = 47 + -42. Solve -b*f - 2*y = -0*y - 5, -p*y - 22 = f for f.
3
Suppose 0 = -6*o + o + 30. Suppose o = 2*h - 0. Solve b - 3 = 3*u - 2*b, 0 = -2*u - h*b - 2 for u.
-1
Let h(x) = x**3 + 4*x**2 + 3*x. Let m be h(-4). Let d be 64/6*18/m. Let b = d - -19. Solve r + 0 = b, 0 = -2*y - 5*r + 7 for y.
-4
Let b be 11/(55/(-30))*(-11)/33. Solve -5*a + 8 = -3*g, -b*a - 2*a + 16 = 0 for g.
4
Suppose 5 - 17 = 4*s. Let y be 2 + 1 - (-2 + s). Let i(a) = a**2 - 9*a + 11. Let j be i(y). Solve 4*v - 8 = -0*v - j*k, 4*v - 4*k = 36 for v.
5
Let w(q) = q**2 + 5*q + 5. Let v be w(-4). Suppose 5*b + v = 16. Let z(o) = -2*o**2 + 8*o + 5. Let u be z(4). Solve 6*h + 2*s - u = 5*h, b*s - 3 = 0 for h.
3
Let x(o) = -o**2 - 37*o - 130. Let c be x(-33). Solve 3*r - 6 + 0 = -4*s, 5*s - c*r = 19 for s.
3
Let m = -1371 + 1373. Solve -m*l + 9 = -r, 3*r + 5*l - 3*l + 3 = 0 for r.
-3
Let v(h) = h**3 + 17*h**2 - 20*h - 34. Let c be v(-18). Solve -2*n = -r - 9, 3*n + 2*r = -c*n for n.
2
Suppose -2*z + 8 = 2*a, z = -a - 3*a + 7. Solve s = 3*j + 2*j + 4, z = s - 4*j for s.
-1
Let n = 160 + -157. Solve c + y + 2 = -n, -5*y - 23 = 4*c for c.
-2
Let z be 7/(14/9)*(-24)/1. Let s = z - -114. Let o = 8 + -3. Solve -o*a + 0*a - v + s = 0, 2*a = -v + 3 for a.
1
Let g = 1 + 29. Suppose -5*s - 20 + g = 0. Solve 0 = -v + s*z - 8, 2*v - 2*z + 4 = -v for v.
2
Let h = -76 - -38. Let k be h/(-171) - 25/(-9). Solve 4*r - 7 = k*n - 0, 3*n = -2*r + 17 for r.
4
Let j(u) = -u**2 + 16*u - 31. Let h be j(14). Let a be 5/(-3 - (-1 + h)). Solve -x = -5, 3*x + a = 5*f + 7*x for f.
-3
Suppose -32*s - 28 = -39*s. Suppose 2*u = u + 15. Solve -s*f = 3*b - 7 - 1, 0 = -3*b + 3*f + u for b.
4
Let i(z) = z**2 + 3*z - 12. Let s be i(-5). Let t be (s/(-6))/(28/1260). Solve -2*n - 10 = -3*g, 2*g - 5*n = -3*g + t for g.
4
Let h(w) = 4*w**2 - 10*w + 3. Let p(o) = 5*o**2 - 9*o + 4. Let l(c) = -6*h(c) + 5*p(c). Let m be l(-16). Solve -2*d = 5*u - m, -u - 6 + 4 = -d for d.
4
Let a(w) = -w**3 - 8*w**2 - 15*w + 8. Let d be a(-4). Solve 0 = -3*g - 5*o + 13, 0 = -5*g + d*o - 4 + 1 for g.
1
Suppose 4*x + 2*o = 4, -2 = 3*x - 4*o - 16. Solve 5*q = x*q - 9, -5*g + 4*q = -2 for g.
-2
Suppose -4*u = -9*u + 10. Solve -3*x - 2*n - 1 = 0, -3*n + 5 = 5*x + u*n for x.
-3
Suppose 5*w - 3*k - 10 = 0, 0*k + 3*k = 3*w - 6. Let i = 14 - 9. Suppose -2*v = -3*x - v + 7, -i*v = w*x - 33. Solve -g - 4*b = -0*g + x, -2*b = -g + 2 for g.
0
Suppose 3*j + 9 = 24. Solve -2*r - 6 = 3*m, 0 = j*m + r + 17 for m.
-4
Let n be 2106/414 - (-2)/(-23). Solve n*i + 25 = -6*j + j, 3*i = -2*j - 11 for j.
-4
Let p be (-2)/(-4)*(-11 + 19). Let v be 0 + (-2)/p*0. Suppose -t - 2 = 2*m - 3*t, 2*m + 3*t - 23 = v. Solve -5*d + 4*r - 32 = 0, 3*d + m = -3*r + 1 for d.
-4
Suppose 0 = 5*y - 21 + 21. Solve p + 3*i - 2 = -y*i, -4*p = 3*i - 8 for p.
2
Let b(z) = z**2 - 4*z - 1. Suppose 7*t = 3*t + 2*a - 4, -3*a - 15 = t. Let v be b(t). Solve 5*d + 3*w = -v, -3*d - 2*d + 2*w + 5 = 0 for d.
-1
Let g(t) = t**2 + t + 1. Let x be g(-2). Suppose 15 = 4*o + x. Solve 2*n = -2*m - m - 23, 5*m + o*n + 37 = 0 for m.
-5
Let s(z) = -z**2 + 11*z - 6. Let x be s(10). Suppose t - u - 17 = -4*u, x*u = 16. Solve 0 = -4*d - 5*i - t, 3*d - i = -d - 23 for d.
-5
Let o(d) = -3*d + 1. Let x be o(-1). Suppose 4*f + x*n = -0*n, 0 = 5*f + 4*n. Let i = 49 - 47. Solve -i*j = k - 13, 2*j - 4 = -f*j + 2*k for j.
5
Let a = 115 - 76. Let m = a + -36. Solve 4*v + m*j + 8 = 0, -j = 3*v + 4*j + 17 for v.
1
Let h(q) = 9*q - 39. Let n be h(6). Suppose -n*b + 18*b = 15. Solve -o - 2*o = b*j, -5*j + 5 = 4*o for j.
-3
Let x = 130 + -124. Suppose 5*y + 2 = x*y. Solve -2*i + 7*a + 8 = 2*a, a = y*i for i.
-1
Let y(m) = -17*m + 188. Let u be y(10). Solve -5*v = 4*f + 16, -3*f + f + u = -4*v for f.
1
Let p = -184 + 218. Let j(m) = -m**2 - 6*m - 1. Let k be j(-5). Suppose 6*a = 3*x + a + 4, k*a - p = -2*x. Solve 0 = -4*t + y + 14, 4*t - 3*y - 3 = x for t.
4
Let d = 111 + -90. Suppose -4*b + 35 = 3*i, 1 - d = -4*i. Solve -3*o + 5*o = -5*k - b, 4*k + 2*o = -6 for k.
1
Let c(w) = 2*w + 4. Let n(m) = -m**2 - 7*m - 14. Let t be n(-4). Let a be c(t). Solve 2*i = 4*x, a*x - 2*x - 12 = 5*i for i.
-2
Suppose o - 28 = -5*n, -2*n + 4*o + 4 = 6. Let m(k) = k**2 - 10*k + 4. Let d be m(8). Let w = -7 - d. Solve 0 = i + f - 1, -w = 3*i - 5*i - n*f for i.
0
Suppose 2*n - 4 = -5*s, 12*n - 10*n + 2*s - 10 = 0. Solve 4*a = n*a + 15, 2*r + 3*a = -11 for r.
2
Let i be 6/15 - 32/80. Solve -3*j = -6*j - 15, i = -2*c + 3*j + 13 for c.
-1
Let i(q) = q**2 - 11*q + 18. Let b be i(9). Let u = 7 + 17. Let r be 15/(-10)*-2*1. Solve -22 = -r*z + 5*l, 5*l + b*l = z - u for z.
-1
Let n(s) = -s**2 - 47*s - 241. Let l be n(-6). Solve 3*c = -l*g - 17, -2*c + 1 = -4*g + 5 for g.
-1
Let a(y) = y**2 - 40*y - 439. Let v be a(49). Solve g - i = 5, 0*i - 10 = -4*g + v*i for g.
0
Let y(a) = -3*a - 2. Let d be y(4). Let u = 15 + d. Let p = u + 0. Solve 2*m + p = -5*c, c + 12 = 5*m - c for m.
2
Let v(f) = -7*f + 7. Let p = -19 + 15. Let a be v(p). Solve -3*s + 4*o - a = 0, 3*s - 2*o = -27 + 2 for s.
-5
Let u(o) = o. Let c be u(-4). Let f(z) = -2*z**3 - 7*z**2 + z - 2. Let n be f(c). Solve -2*w + n = 0, 2*y + 6*w - 19 = w for y.
-3
Let x be ((-6)/15 + (-8)/5)/(-1). Solve -x*y = -z + 2, 6*y = -2*z + 3*y + 11 for z.
4
Let p = -27 + 28. Suppose 3*f - p = 4*j - 21, -2*j + 2*f = -12. Solve 0 = -j*b + 3*a + 9, -3*b - 3*a + 3 = -4*a for b.
0
Suppose -1 = -7*r + 20. Suppose -2*n = -r*n + 2. Solve -k = 8*o - 3*o + 5, 0 = n*o - 5*k + 29 for o.
-2
Suppose -2*m - 5*r + 118 = 0, 4*r + 24 + 22 = m. Let a be m/13 + 4/(-26). Solve 5*v + a*p = -24 + 4, 2*p + 10 = -3*v for v.
0
Let w be (-8)/6*(1 - 4). Suppose 2*d - 3 = 3*n, 4*n = 2*d - 5*d + 47. Suppose 2*j + 28 = 16*j. Solve 0 = -j*p + w*h + 2, -3*h - d = -0*p - 3*p for p.
5
Let j be (4 - 11 - -17)*1. Suppose -h = -4*h + 12, 2*d + 5*h = 36. Solve -u = 4*u - j, 2*c + 4*u - d = 0 for c.
0
Let f = 274 + -270. Let u(a) = -a**3 + 4*a**2 + 2*a - 6. Let q be u(4). Solve -f*x + 4*k - q = -18, 0 = 4*k - 4 for x.
5
Let i be ((-2)/5)/(6*4/(-240)). Solve -5*m - 7 - 8 = -5*s, -i*m - 12 = -s for s.
0
Let w(m) = -m + 3. Let r be w(-3). Let x be -3*r*5/(-15). Suppose -5*o - x = -7*o. Solve 3*i = 5*i + 2*p - 20, o*p - 15 = 0 for i.
5
Let o(b) = 16 - 2*b + b - 3 - 2. Let w be o(9). Suppose 3*q - w = 7. Solve q = z - 2*i + 7, -4 = -4*i for z.
-2
Suppose -5*m + 5 + 0 = 2*y, -2*y = 2*m - 2. Let s(o) = o**2 + o + 7. Let c be s(0). Suppose 80*u - 90 = 62*u. Solve -k - 4*h + 2*h = c, u*h + 5 = y for k.
-5
Suppose -26*x - 43 = -95. Solve -4*n - 3*i - 1 = 0, -5*n + 0*i - x = 3*i for n.
-1
Suppose 0 = 20*j - 6 - 74. Solve -13 = 4*q + 5*z, -4*z - 26 = j*q - 6*q for q.
3
Suppose -50 = -7*s + 2*s. Suppose -s*c = -9*c - 14. Suppose -4*t - w + 3 = 0, 3*t = 3*w + c + 7. Solve 28 = 3*p - 5*l, 2*p - 12 = t*l - 0 for p.
1
Suppose -11*p - 50 = -5*f - 6*p, -3*f = 2*p. Suppose 0 = 2*z + m + 16, 3*z + m = 5*z + 12. Let q = z - -12. Solve -q*h - 2*x = 8, f*x + 12 = -3*h + x for h.
0
Let g(u) = u**2 - 15*u + 39. Let f be g(12). Solve 12 = -4*p + 4*o, 5*p + 0*o + 17 = f*o for p.
-4
Suppose 4 = 3*x - 3*v + 5*v, x = 2*v + 12. Solve -4*o = -3*t - 9, -x + 10 = -2*t - 4*o for t.
-3
Suppose 5*h - 5 = 0, -2*k - 3*h = -0*k - 3. Suppose 4*n + 2 = -6, -d - 2*n - 1 = k. Solve q + 0 = -d*v + 11, 3*q = -5*v + 13 for v.
5
Suppose -5*j + 4*n = -43 - 12, 0 = -5*j + n + 70. Suppose 18 - j = i. Solve i*b + 2*b = 3*p - 37, -3*b - p = 11 for b.
-5
Let m be (42/35)/((-2)/(-5)). Let p(x) = 2*x**2 - 4*x + 4. Let h be p(m). Solve h = 2*w, 0 = -8*b + 3*b + 3*w for b.
3
Suppose -12*l = -5*l + 7. Let v = 1 + l. Solve 2*k = 5*i - 13, 1 = 4*k - i - v for k.
1
Let q = 8 - 6. Suppose -k +