t j = -17 + k. Solve 0*b + b = -4*u + 20, 4*b + 2*u - y = j for b.
0
Suppose -p = 21 - 24. Let a be 2 + (20/(-8)*-4 - 1). Solve -4*x - a = 4*n - p, -2*n = x + 5 for x.
1
Let s(a) = -15 + 2*a + 21 - 3*a. Let u be s(8). Let k(j) = -2*j**3 + j**2 + 3*j + 2. Let g be k(u). Solve 0 = 5*d - h + g, -h + 1 = -2*d - 3 for d.
-4
Let o(y) = -y**3 + 14*y**2 - 28*y - 10. Let q be o(3). Solve -3*v + 2*v + 5*j = -9, 3*v + q*j = -13 for v.
-1
Let z = 311 + -307. Solve -5*h = -10, -2*d - z*h = -3*d - 13 for d.
-5
Let s(b) = 2 + 2 - 1 - 1 + b. Let h be s(4). Let l(d) = -d**2 + 10*d - 6. Let j be l(8). Solve u = -3*o + j, -5*o + 11 = 2*u - h for u.
1
Let c(j) = -j**2 + 1. Let f(o) = -2*o**2 - 5*o - 2. Let k(s) = 3*c(s) - f(s). Let r be k(5). Solve -3*l = -2*a + 8, -l + 4*a - 1 = -r for l.
-4
Let o = 15 + -12. Suppose -5 - 1 = -o*p. Let d = 13 + p. Solve 2*c + t = -d, -14 + 34 = -4*t for c.
-5
Let u = -20 - -25. Let l(r) = r**2 + 4. Let j be l(-4). Let i(n) = n**2. Let v be i(-1). Solve -u*a = -4*b + 6 - v, 4*b - j = 0 for a.
3
Suppose -t = -4*y - 13 + 14, -2 = y - t. Solve 5*a = -2*w, -w + 4 + y = 0 for a.
-2
Suppose -2*s = s - 5*r - 106, r + 98 = 3*s. Solve 3*f - 12 + 3 = -q, -s = -5*f + 4*q for f.
4
Let m(o) = -o + 8. Suppose -4*v + 11 = -13. Let i be m(v). Let x(h) = -3*h + 44. Let w be x(13). Solve w*p - 4*q + 1 = -3, 2*q + 16 = -i*p for p.
-4
Let h(x) = -x**2 - 10*x - 11. Let b be h(-11). Let j = -13 - b. Suppose 9*m = 12*m - j. Solve -32 = -5*l - m*r, 5*l + 2*r = 11 + 17 for l.
4
Suppose -4 = -13*y + 22. Suppose w - 16 = 4*u, -4*w - y*u = -15 + 5. Solve 2*q - 14 = 3*t, -2*t - w*q = -2*q + 6 for t.
-4
Suppose 1 = -3*m + 10. Let y = -3 + m. Let c(t) = t**2 + 5*t - 19. Let b be c(3). Solve -b*k + o - 7 = y, k + o + 1 + 4 = 0 for k.
-2
Let f(r) be the first derivative of -r**4/4 + 4*r**3/3 + 4*r**2 - 11*r - 12. Let k be f(5). Solve -k*p + 20 = 3*u, -25 + 10 = -3*p - u for p.
5
Let g = 507 - 486. Solve 3*j - 2*v = -g, 0*v = 4*j - v + 23 for j.
-5
Let s = 104 + -96. Solve 5*n - 4 = 3*v + s, -2*n = 2*v - 8 for n.
3
Let b(i) = 9*i**2 + 4*i - 3. Let w be b(1). Suppose -w = -5*o + 5. Solve 4*a = k - 5, -5*k + 4*a = -6 - o for k.
1
Let g(a) = a + 11. Suppose -7 = -5*p - 42. Let c be g(p). Solve -3*i + c*j + 16 = 0, -i = 2*i - 3*j - 12 for i.
0
Let n(i) = 15 - 11 - 7*i**2 - i**3 - 8 + 4*i + 8*i**2. Let w be n(2). Solve d + 0*d + 2 = 2*j, -j = w for d.
-2
Suppose 9*g = 8*g - 5*u + 34, 31 = 4*g - u. Solve g*z - 9 = -2*w + 6*z, -15 = 4*w - 5*z for w.
0
Let t(r) = 10*r**2 - 21*r + 4. Let q be t(2). Solve q*j - z = 7, 3*j = -4*z + 24 + 3 for j.
5
Suppose x + 12 + 0 = -3*y, x = -4*y - 15. Let q be 5/(y + 4) + 3/(-1). Solve -3*i = 2*f + 2*f - 24, -q*i - 2*f + 14 = 0 for i.
4
Let h(o) = 4 + 11*o**2 - 3*o**2 + 3*o**3 - 4*o**3 + 9*o. Let l be h(9). Solve 10 = 2*n, -l*z - 7*n + 41 = -2*n for z.
4
Let l(y) = 2*y - 28. Let b(p) = p + 20. Let a be b(-6). Let w be l(a). Solve 3*k - 2*k + d - 1 = w, -5*d = -5*k - 35 for k.
-3
Let w(a) = a**2 - 2. Let o be w(-2). Let l(z) = z**3 + 4*z**2 - 2*z - 2. Let q be l(-4). Solve -2*c = -q, c = 4*u - o*c - 11 for u.
5
Let u be (-2)/3*3 - -4. Let i be 3 + 17 + -23 - (-1 + -5). Solve -15 = i*w + c, -w = -c + u*c + 5 for w.
-5
Suppose -70*h + 705 = -23*h. Solve 4*o - 2*n = -o - h, -12 = 4*o - 5*n for o.
-3
Suppose 0 = 3*w + 2*f - 7, 4*f - 8*f = 4. Suppose v = 4*s - 5, -5*s + w*v - 2 = -3. Solve -s*t + 3*a = -9, t + a = 5*a + 12 for t.
0
Suppose 4*m - s = -406 + 480, m - 2*s = 22. Suppose a = c - 3, c = -2*a + 6*a + 3. Solve a = u + l - 5, 5*u + 2*l = m - 5 for u.
1
Suppose -5*r = v - 39, -2*v + 4*r + 130 = 38. Suppose -7*c = -3*c - v. Solve -2*j + 2 = -j, c = -3*n + j for n.
-3
Suppose 0 = -4*i - h - 6 + 53, -40 = -5*i - 5*h. Suppose i*o - o = 2*o. Solve -4*k + 12 = -o*a + a, 2*k + 8 = -4*a for a.
-4
Suppose 108 - 21 = 4*v + 5*z, 2*v + 2*z = 46. Solve -6 = 4*m + 10, -4*u - 4*m = v for u.
-3
Suppose -3*k - k = -40. Suppose -3*g + k = -g. Let j be g/(-20) - (-3)/12. Solve 6 = -j*y + 2*y, -y = 4*x - 19 for x.
4
Let j be (19/(-38))/(0 + (-1)/10). Solve 0 = 3*t + j*d + 8, 3*t - 2 = -d - 6 for t.
-1
Let z be (-80)/3*(-1)/((-6)/(-9)). Suppose -11*t + z = -t. Suppose -2*x - 14 = -3*l, -2*l = 3*l + 5*x + 10. Solve t*o + f = 17, -l*o - 3*f + 1 + 0 = 0 for o.
5
Let i = 15 - 12. Suppose -i*q + 56 = q. Suppose h = 3*h. Solve 4*c - 5*m = h, -4*m + 2 = -q for c.
5
Suppose 13*m - 16*m + 4 = -n, 0 = 4*m - 4*n + 8. Solve -19 = 2*j + m*z, j - 3*z = 6 + 7 for j.
-2
Let x(v) = 8*v**2 - 119*v - 14. Let y be x(15). Solve y - 4 = 3*k - 3*o, -3*k + 4*o = -1 for k.
-5
Suppose 3*d + 3 = 3*l - 3, -l = -3*d + 2. Let f be 3 + -1 + 6 + -3. Suppose -11*x - 5 = -12*x. Solve x*q = -5*n, f*n + 7 = d*q - 21 for q.
4
Let h(n) = -7*n - 4. Let a be h(13). Let m = a + 95. Solve m = t - 5*t - 2*k - 18, 0 = -4*t - 3*k - 21 for t.
-3
Suppose -p - 293 = 5*y, 2*y + 244 = -2*y + 4*p. Let q = 64 + y. Solve 3 = c - 2*z, -4*c = -q*z + 2*z - 12 for c.
3
Let o be (15/25)/(2/40). Solve 0 = 4*q - m - o, -3*q - 2*m + 7*m - 8 = 0 for q.
4
Let a(j) = j**2 - 3*j - 2. Let r be a(-1). Suppose b + r = 4. Suppose 0 = -2*t + 2*s, -5 = -5*t + s + 3*s. Solve -v + 2 = -c - b*v, c + t*v = 2 for c.
-3
Let c be (78/12)/(1/(-2)). Let i be (3 - 0) + -2 - c. Let a = -3 + i. Solve 5*n + 14 = 5*b - a, -12 = -3*b for n.
-1
Suppose 3*y = b + 8, -3*y - 11*b + 10*b = -4. Solve 3*j = 3*g - 9, y*j + 11 = -0*g + 3*g for j.
2
Let m be 106/(-10) - (-6)/10. Let z = 8 - m. Solve -3*v + z = 5*p, 0 = 2*p - v - 2*v - 3 for p.
3
Let g(w) = -2*w**2 + 10*w + 3. Let m be g(5). Suppose 0 = -m*y + 58 + 23. Suppose y = 4*j + 5*k, 2*j - k = j. Solve -3*o - 5*z = 15, -4 = 5*o + j*z + 5 for o.
0
Let o = -82 - -80. Let u be (-3 + (-10)/(-6))/(o/9). Solve -5*f + x = u, 4*x - 1 = 3*f + 6 for f.
-1
Suppose -10 = -2*h, 0 = 3*j - 5*j + 5*h - 129. Let m = j + 58. Solve 2*w + 4*f - m = 0, -3*w + 19 = -5*f + f for w.
5
Let u = 1 + 1. Let b = -84 - -90. Suppose b*x - 18 = -3*x. Solve -x*d = -u*h + 10, d = 2*d + 2 for h.
3
Suppose -127 = -10*s - 47. Let i be s/24*(19 + -1). Solve -3*k - 23 = 4*g, -2*g - k = -i*k - 21 for g.
-2
Let p be 1/7 + 5 + (-210)/98. Solve 11*z = -2*a + 6*z - p, -4 = 4*z for a.
1
Let w(p) = -2*p + 10. Let f be w(8). Let n be (-8 - f)/((-4)/50). Solve -n = 5*h, -2*c - h - 10 = h for c.
0
Let k(l) = -l**2 + 2*l - 6. Let p be k(3). Let u be p/5*(-30)/18. Solve 0 = o - 5*t + 30, 5*o - 2*o + u*t = 0 for o.
-5
Suppose -5 = z, 0 = -9*a + 7*a - 3*z - 13. Solve 2*r = -g + 7, -g + 1 = r - a for r.
5
Let g be (-6)/(4*24/(-32)). Solve 12 = -2*s + 2*i, 6 = -7*s + g*s - i for s.
-2
Let b(g) = 2*g**2 - 5*g - 5. Let m be b(-1). Solve 0 = 3*r - 5*u - 4, m*r + 4*u - 2*u = -8 for r.
-2
Suppose -2*y = 4*s - 12, 7*y + 3*s - 23 = 2*y. Let n = y - -20. Let v = n + -19. Solve v*c - z + 5 = 0, -4*c + 0*c + z - 5 = 0 for c.
0
Let h be (-2)/(3 - 1)*2*-1. Suppose -3*o = 4*f - 0 - 9, -h*f + 2*o + 8 = 0. Solve -i + f*s - s = -13, -s - 19 = -3*i for i.
5
Suppose 7*v = 12*v - 15. Solve -5*c + 25 = 0, -5*c + 2*c = -v*z - 3 for z.
4
Let y be 3107/78 + 1/6. Let f be 18/((-1)/((-10)/4)). Solve -4*u - u = 3*o - y, -4*o + f = 5*u for u.
5
Let k = 80 + -80. Let j be 4 - (-7 - -7) - (-6 + k). Solve -3*l = -2*g - 25, 2*l + g + j = 3*l for l.
5
Let m be (3 + -5 - -8) + (21 - 27). Solve 0 = -2*o + 3*c - 7, 2*o = -m*c - 3*c + 11 for o.
1
Let z = 341 - 338. Solve 8*q - 12 = 4*q, 3*h + z*q = 6 for h.
-1
Let t = 7 + -3. Suppose 0 = 5*l + a - 20, 0 = -3*l - t*a + 2*a + 19. Solve 3*j + y = 9, l*j + 3*y - 12 = -j for j.
3
Let b = 22 + -12. Suppose 0 = -18*n + 17*n - 3*s + 779, -3*n + 2*s = -2381. Let i be 4/b + n/35. Solve -3*z = 6*j - 4*j + i, 0 = 2*z - j + 6 for z.
-5
Let k = -6 - -8. Let m(a) = -a**3 - 2*a**2 + 2*a + 2. Let x be m(k). Let v be -5*(-4)/x*-9. Solve 0 = -3*z - 2*f + 14 + 5, -2*z + v = 4*f for z.
5
Let i be 0/(1/(4*1/20)). Solve i = -p - 3*p - 16, 5*p = -2*x - 22 for x.
-1
Let d be 1/5 + (-11)/(-110)*18. Solve 0 = 5*v + 25, 3*v + 19 = -d*n - 0*n for n.
-2
Let w(u) = -u**2 + 16*u + 1. Let t be w(17). Let j = 20 + t. Solve -n = j*a + 21, -5*a - 2*n - 30 = -0*n for a.
-4
Let q = -284 + 286. Solve -4*u + h - 6*h + q = 0, h = -u for u.
-2
Suppose 13*p = -2*p. Solve -2*u + 2 = x, p = -4*x - 3*u - u for x.
-2
Suppose 35*l - 28*l = 21. Let o(r) = r**2 + 4*r - 3. Let 