4*l - 4 = u, -4*p = 3*l + 2*l - 3 for p.
2
Let w = -46 + 6. Let o be (0 - 6)/(12/w). Solve 0 = -p + 2*t + 2*t - 7, -o = 5*p - 5*t for p.
-3
Let s(l) = -l**3 + 19*l**2 + 10. Let d be s(19). Suppose -j + 5*o = d, -j - 2*o + 5 + 6 = 0. Solve -4*g - 5*t = -19, -g - t - 11 = -j*t for g.
1
Let b(a) = -a**2 - 7*a - 1. Let h be b(-6). Solve -h*t + 3*t = 10, 3*y - t - 14 = 0 for y.
3
Let p(w) = -7*w - 35. Let n be p(-5). Solve -5*x = j + 2, 5*j - 19 = -n*j + 4*x for j.
3
Suppose 0 = 3*k - 3*v - 9, -11*k = -10*k - 4*v. Solve 0 = 5*j - k + 19, -j + 7 = 5*w for w.
2
Let a(j) = -9*j**3 - 12*j**2 + 8*j - 2. Let k(n) = 2*n**3 + n**2 - 1. Let o(t) = a(t) + 5*k(t). Let w be o(6). Solve w*u = -4*y + 28, 4*u - 3*u + y = 6 for u.
4
Suppose -7 = -5*d - 5*k + 8, 4*d - 2*k = 12. Let t(i) = -4*i - 1 - d*i + 6 - i**3 - 1 - 8*i**2. Let h be t(-7). Solve 0 = -0*l + l + h*q + 9, q + 2 = 0 for l.
-1
Let v(y) = -y**2 - 6*y - 14. Let i be v(-6). Let o = -9 - i. Solve 0 = 3*k + 2*k + o*n + 40, 3*k + n + 18 = 0 for k.
-5
Let x = -701 - -703. Solve a = -x*a - 6, -2*c = 3*a for c.
3
Let z(n) = -n**2 + 3*n + 3. Let o be z(3). Suppose 4*y = -3*x + 18, 3*y + 0 = x + 7. Let v = -180 - -183. Solve -y*k = 5*u + v, 3*u - 1 - 2 = o*k for u.
0
Let x = -53 + 76. Let o(g) = -x + g + 17 - g**2 + 9*g. Let y be o(9). Solve -4*b = l - y*l, -3*l - 4 = -4*b for l.
-4
Suppose -5*v + 0*v - 68 = -g, -2*g = 5*v + 74. Let a = v + 14. Suppose q + 1 - 4 = a. Solve 6*x = q*h + 3*x - 9, -4*x = 0 for h.
3
Suppose 2*y + 3 - 7 = -2*u, -5*u - 2*y = -19. Solve -u*b + 2*i - 14 = 0, -i + 8 = -5*b + 3*i for b.
-4
Let o(h) = 2*h + 27. Suppose -s + 19 = -3*f, 2*f = -2*s + 4*s - 18. Let d be o(s). Solve 13 = 4*a + 3*c, 4*a = -5*c - 16 + d for a.
1
Suppose 3*c + 5*r + 20 = 11, 3*r + 5 = -2*c. Solve 0 = 2*z + 4*s + 8, c*z - 3*s = s + 24 for z.
4
Let s(w) = -5 + 7*w**2 + 2 + 0*w + 9*w + w**3. Let t be s(-5). Solve 3*c = -p - t, 2*c - 14 = c - 4*p for c.
-2
Let m(u) = -2*u - 20. Let c(b) = -b**3 + 7*b**2 - 11*b - 7. Let y be c(5). Let x be m(y). Solve 3*p + 7*i - x*i + 6 = 0, -4*p - 5*i = 12 for p.
2
Suppose 3*t + 8 = 20. Let b = t - -2. Solve 2*s + w = b*s + 5, s - 3*w + 15 = 0 for s.
0
Let m(d) = 7*d - 12. Let n be m(2). Solve 5*w + n*j - 6 + 34 = 0, 4 = 4*w - 5*j for w.
-4
Let d(o) = -o + 10. Let q be d(7). Let p be (-107)/(-7) - q*(-10)/(-105). Solve 4*h - 3*j - p = 0, 0 = 3*h - 2*j + 5 - 16 for h.
3
Let t = -796 - -801. Solve 2*k - 26 = 4*b, -16 = -t*k + 3*k + 2*b for k.
3
Suppose 2*j - 485 + 481 = 0. Solve -5*l + 2*q = 9 - j, -2*l = 3*q - 1 for l.
-1
Suppose 3*k - 5*k - g = 11, -10 = -5*k + 5*g. Let m be ((2 + k)/1)/(-1) - -3. Solve 4*t + 31 = 2*h - t, -m*t - 5 = 5*h for h.
3
Let o = 4 + -1. Let j(v) be the third derivative of 2*v**5/15 + v**4/24 - v**3/3 - 3*v**2. Let l be j(1). Solve o*u = -15, -f + 9 = -3*u - l for f.
1
Suppose -u + 3*u - 4*f - 22 = 0, 9 = -u - 3*f. Let q = -22 - -22. Suppose -19*m + 18*m + 2 = q. Solve 2*k = m*x, 0*x - u*k - 28 = 4*x for x.
-4
Let w(z) = -3*z - 2. Let b be w(-15). Let d = b + -23. Suppose 4*o + 0*o = d. Solve 0*c + i + 10 = 2*c, c - o*i = 23 for c.
3
Let m(l) = -9*l**2 + 3*l + 2. Let g be m(-1). Let n = 17 + g. Solve h - 2*w = n - 1, 0 = -3*h - 3*w - 18 for h.
-2
Let x be -4*((-43)/68 + (-98)/833). Solve -3*l - 9 = -8*l + x*h, l - 3*h = -3 for l.
3
Suppose 0 = 45*o - 57*o + 48. Solve l - o*w - 20 = -l, 2*l - 3*w = 15 for l.
0
Let t(w) = 4*w - 4. Let a(g) = -g - 2. Let m be a(6). Let c be 1 + -1 + 10 + m. Let f be t(c). Solve -5*j + f*n = -18, 3*n = -3*j + 4*j - 8 for j.
2
Let s(u) = -u**2 - 3*u + 3. Let a be (-1)/((-7)/(-3) + -2). Let h be s(a). Let x = 8 + 0. Solve 2*v = 3*c - 25, -h*v + 2 + x = 5*c for c.
5
Suppose 3*c = 4*j - 8, 2*j + 3*c = 4*j - 4. Solve 5*y - j = -4*n - 11, -7 = 4*y + 3*n for y.
-1
Let k be 2 + (-51)/21 + 146/14. Solve 5*d + 4 = 4*t - 3, 2*t + 4*d - k = 0 for t.
3
Suppose 0 = 33*r - 36*r + 9. Solve 6*b - b + 8 = -r*x, 0 = 5*x - 4*b + 1 for x.
-1
Let l(g) = 10 + 27*g + 30*g - 55*g. Let p be l(-6). Let b be p/10 - 16/(-5). Solve -4*c - 8*q + b*q = -23, 0 = c - 4*q + 10 for c.
2
Suppose -u + 10 = 2*g, 0 = -30*u + 27*u - 4*g + 20. Solve -2*z + 1 = 3*c + 10, -4*z = u for c.
-3
Suppose 3*d - 16 = d. Suppose n - 94 = -2*n + 4*q, -2*n + 60 = -4*q. Let c be 2/(-8) + n/d. Solve 0 = -0*v + 3*v + 3*a, -c*a + 2 = 2*v for v.
-1
Let d(k) = 4*k**3 - 2*k**2 + 2*k - 1. Let l be d(1). Solve -3*u + 5*y = -30 + 5, 0 = 4*u - l*y - 26 for u.
5
Suppose 2*i - 4*x - 28 = 0, 6*i - 82 = 3*i - 2*x. Solve -2*o = -3*o - 5*n + i, 0 = o - 3*n + 8 for o.
4
Let k = -20 + 22. Suppose k*o + 6 + 5 = -3*x, 0 = -2*o - 4*x - 16. Suppose 4*r = -2 + 10. Solve o*j - 12 = h + 6*j, 5*j = -r*h - 15 for h.
0
Suppose -5*s + 56 - 11 = -5*j, 5*j + 20 = 0. Solve 4*d = s*w + 4, 20 = -w - 4*w for d.
-4
Let g = 40 + -40. Solve w + g*w - 6 = -2*c, -18 = 2*w - 2*c for w.
-4
Let l be (-358)/12 - (-12)/(-72). Let i be (-4)/l - (-2 + 118/(-15)). Solve -4*y - 4*g = -9*y + 20, 2*y - 2*g = i for y.
0
Suppose 16*d - 36 = -4. Let c(u) = u**2 + 5*u + 5. Let t be c(-5). Solve d*x - 16 = -5*o, -1 = t*o + 5*x - 11 for o.
4
Let f = 16 + -11. Let o = -1709 + 1711. Solve o*l + p = f*l + 16, -4*p - 11 = 3*l for l.
-5
Let h be 5*(2 + -1 + 0). Let u(o) be the second derivative of -o**4/12 + 4*o**3/3 + o**2 - 8*o. Let b be u(8). Solve k + 3*x + 15 = -b*k, -h*x - 15 = 0 for k.
-2
Let g = 19 + -28. Let w be (4/2)/((-2)/g). Let s(b) = -b + 11. Let c be s(w). Solve -i - 3*j = c*i + 18, -2*i - 6 = -4*j for i.
-5
Let q = -658 + 660. Solve 2*j + 12 = 2*k - q*j, 2*j + 12 = 4*k for k.
2
Let z be (9/5)/((-171)/(-1425)). Solve z = 5*x, -4*x = -3*v - 2*v - 17 for v.
-1
Suppose -3*l - 30 = -5*l. Suppose -34*q = -32*q - 4. Suppose -2*f - 5*a = 10, -q*f - 3*a + 6 = -2*a. Solve -2*d + o - f = 0, l = 3*o - 0*o for d.
0
Let v(i) = i**3 + 52*i**2 + 3. Let o be v(-52). Solve 0 = 5*g - c + 27, -3*g - o*c = -6*g - 21 for g.
-5
Let m = -85 - -87. Let p be 10/(-6) + m + (-11)/(-3). Solve s - 4*f = -15, -4*s - p*f + 35 = -f for s.
5
Let p = -346 - -349. Solve p*m + 11 = 2*i - 7, 5*i - 19 = m for m.
-4
Let y be (-40)/(-15)*(-9)/6. Let l be (-2)/8 + y/(-16). Suppose 0 = -5*s - 3*m + 31, -4*m + l*m + 33 = 5*s. Solve 0 = 5*r - 5, -x = -0*x - s*r + 9 for x.
-4
Let y be (-1)/1 + 10 + -1. Suppose 3*d - 7*d = -y. Suppose -4*j + 94 = 74. Solve -7*k + d*k - 22 = 3*a, 5*k + j*a + 30 = 0 for k.
-2
Let q(b) be the first derivative of b**4/4 + 4*b**3/3 - 3*b**2/2 + b + 7. Let y be q(2). Let z = y - 17. Solve c - 4*s - z = 2, c + 4*s = -12 for c.
-4
Let x = 6 - 8. Let l(h) = h**3 + 2*h**2 + h. Let y be l(x). Let s be ((-32)/(-6))/y*-6. Solve 4*v + 5*d = s, v - 20 = -4*v + 4*d for v.
4
Suppose 24 = 8*q - 0*q. Solve 2 = d, k - 6 = q*d - 6*d for k.
0
Let r = 78 + -142. Let w be 39 + (r/4)/4. Suppose -3*o + 16 = 3*k - 5*o, w = 5*k + 5*o. Solve 0 = 4*l + 5*b + 18, -2*l = -4*b - b - k for l.
-2
Let k(r) = -r**3 + 6*r**2 - 6*r - 3. Let p be k(5). Let o(t) = t**3 + 9*t**2 + 7*t + 8. Let s be o(p). Solve -3*j = -8*j, 4*h = 3*j + s for h.
4
Let o(u) = -5*u + 11. Let s be o(4). Let w(v) = v**2 + 9*v + 8. Let z be w(s). Solve 3*x + 2 = z, 4*q - 14 = -3*x for q.
2
Let p = 23 - 15. Suppose 6*i = p*i. Solve i*x - 3*b + 9 = -2*x, -3*b = -9 for x.
0
Let v(f) = f**2 + 4*f + 10. Let n be v(10). Let p be n/40 - 1/(-4). Solve -r = -p, -2*o - 40 = 3*o - 5*r for o.
-4
Suppose 5*t - 84 = 4*i, t + i + 10 - 25 = 0. Solve -4*v + 2*l - 17 = 5, v - 4*l + t = 0 for v.
-4
Let r = -28 - -7. Let k be (r - -3)*(-1)/3. Solve k*t - t - 3*i = -27, 0 = 2*t + 5*i - 14 for t.
-3
Let h(z) = z**2 - z + 3. Let p be h(1). Let w(a) = 3*a**2 - a - 2. Let i be w(2). Solve 0 = 4*v + r - i, 3*v - p*r - 6 = -8*r for v.
2
Let a(g) = -g**2 + 13*g - 38. Let u be a(6). Suppose 18 = 4*t - 2*s, -4*t + 9*t + u*s = 3. Solve -5*v + 2*i - i = 4, 3*i = -t for v.
-1
Let w be 23/6 + (-2)/(-12). Suppose -6 = 2*g + 5*q, 4*g + 2*q - 8 = -36. Let y = -3 - g. Solve y*m - 1 = w, 5*m = -4*v + 25 for v.
5
Let x(k) = 2 + k**2 - 2*k - 10 + 0*k**2. Let p be x(6). Solve 6*m - 2*y = m - p, 3*m - 3 = -3*y for m.
-2
Let z = 911 - 906. Solve 0 = 3*f + 5*y + 4 + 8, -3*y - z = 4*f for f.
1
Let v = 3 - 0. Solve -3*o - 9 = 0, 0 = -5*k + 3*k + o + v for k.
0
Let v(h) = 29*h**2 - h - 1. Let l be v(-1). Let b(i) = 4*i**2 + 1 - l*i + 30*i + 0. Let