t g(s) = s**2 - 16*s - 255. Let m be g(26). Solve 0 = 2*k - m*y + 23, 0*k + 4*k + 3*y - 19 = 0 for k.
1
Let z = 2 - 0. Let f = 96 - -64. Let m be -6 + f/24 + 26/6. Solve 5*y + z*l + 27 = m*l, 5*y - 5 = -5*l for y.
-3
Let p = -1027 - -1029. Let v = 4 - 1. Solve -5*c + p = n, v*c - n - 5 = c for c.
1
Suppose -5*u = 2*j + 12, -4*u - 3*j - 7 = -4*j. Let a be -4 - 2*9/u. Solve -2*y - 2 = -y, 0 = -c - a*y - 12 for c.
-2
Let k = 3 + -3. Suppose k = -9*y + 5*y + 4. Let m be -3 + y/(4/32). Solve i + 4*r + 6 = 5*r, 0 = 4*i + m*r - 3 for i.
-3
Let q be (2/4*0)/1. Suppose 2*n + 2*s + 22 = 4*n, q = -n - 3*s + 3. Solve -l - n = 5*p, p + 2 = -p for l.
-4
Let k = 17 + -8. Let b(h) = 3*h - 24. Let m be b(k). Solve -m*o = -4*z - z + 12, -3*o = 4*z - 15 for z.
3
Let h be -10 + 5 + -1 + -1. Let r = 11 + h. Let c be (-1 + 2)*-3*-1. Solve 10 = 2*d + r*m, c*d - d - 10 = -5*m for d.
5
Let y = 55 + -47. Solve -2*j - 3*i + y*i = 13, j - 4*i = -11 for j.
1
Let m(p) = -6*p**2 - 2*p - 3. Let l be m(-1). Let n = -6 - l. Solve 3*i - 13 + n = 5*u, -5*u = 4*i + 19 for i.
-1
Let d be 1005/35 + (-2)/(-7). Let z = d - 29. Solve 4*j = z, -2*j = 2*t - 0*j + 8 for t.
-4
Suppose -3*o + 28 = o - 2*a, o - 17 = 3*a. Suppose 3*w = -y + 2*y + 11, o*w - 4*y - 9 = 0. Solve -2*l + 4*q - w + 25 = 0, q = -4 for l.
2
Let k(b) = b + 5. Let m be k(-4). Let c be -9*m*(-9)/27. Solve -4*n - 6 = -c*x + x, -4*n - 2*x + 14 = 0 for n.
1
Let m be -1*10/(-1)*(-234)/(-585). Solve -m*o - n - n - 10 = 0, 5*o = 4*n - 45 for o.
-5
Let b = 102 - 99. Solve -2*u = -b*u - 2*q, 0 = 4*u + 3*q for u.
0
Suppose -4*c - 3 = -3*k, 4*c = -2*k - k + 27. Solve 7 = 3*p - 2, 0 = -c*d - p + 15 for d.
4
Let u(q) be the second derivative of q**5/20 - q**4/3 - 5*q**3/6 + 5*q**2/2 + 12*q. Let r be u(5). Solve 5*c = -n + 4 - 0, r*c + 3*n = 12 for c.
0
Suppose -k + 20 = 5*n, 3 = 3*n - 2*k + 4. Solve 16 = -4*p - n*u + 4*u, 20 = -5*u for p.
-5
Let w be (40/30)/((2/(-2))/(-3)). Solve -u = 4*y + 15, u = -y - w - 2 for y.
-3
Let c(f) = f**3 - f**2 - 15*f - 4. Let l be c(-3). Solve -1 = -4*m + b + 10, 5*m = 5*b - l for m.
4
Let f be (2 + -2 + -8)*-2. Let o be (-6)/f*-2 + (-80)/(-64). Solve -12 = v + o*v, r - 5*v - 15 = 0 for r.
-5
Suppose -2*d + 9*d = 35. Suppose 52 + 68 = d*o. Solve -7 = -s - 2*f + 3*f, 2*s - 4*f = o for s.
2
Let u = 701 + -698. Suppose 45 = 2*j + 11. Suppose j = -5*m + 42. Solve 4 + 5 = -2*s + m*i, 0 = -4*s - u*i - 5 for s.
-2
Suppose 0 = 3*a - 6 - 6. Suppose a = -0*t - t. Let f = 0 - t. Solve -g + 10 = -f*i, 13 = -3*g + g - 3*i for g.
-2
Suppose -83 = -6*a + 19. Let o(v) = -v**2 + 19*v + 1. Let w be o(a). Suppose -w - 19 = -3*g. Solve -5*h = 3*z - g, 0 = -2*z - 4*h + 11 + 3 for z.
1
Let n(z) = -z**3 + 5*z**2 + z - 2. Suppose 7 - 17 = -5*v, -2*a = -5*v. Let g = a - 0. Let i be n(g). Solve -i*p + 10 = -k + 4, k = 5*p - 8 for k.
-3
Suppose -15 = 2*d - 5*d. Solve 0 = -d*w - 4*v + 4, w = -3*w + 2*v - 2 for w.
0
Suppose 11 = 3*y + n, -12 - 4 = -4*y - 2*n. Solve -y*h + 23 = -m - m, m - 6 = -2*h for m.
-4
Let s = -48 + 50. Suppose d = -s*w + 14, 0 = 2*w - d - 0*d - 6. Solve 0 = w*q - 2*x, -11 - 22 = 4*q + 5*x for q.
-2
Let f be 96/224 + (-92)/(-14). Let t(u) = -7*u - 6. Let k be t(-4). Solve 2*g + k = -v + f*g, -v = 3*g - 18 for v.
3
Let b(f) = -f**2 - 2*f + 39. Let p be b(0). Let g = 44 - p. Solve 0*s = 4*z - 2*s + 2, 0 = g*s - 25 for z.
2
Suppose -y = 5*m + y - 25, m = 4*y + 5. Solve -m*t = -d - 21, 7*d = -3*t + 3*d + 8 for t.
4
Suppose -84*a + 67*a + 238 = 0. Solve -n + 4*g = 14, 2*g - a = n - 4*n for n.
2
Suppose 3*j + 2*g + 152 = 7*j, 5*j + 4*g - 216 = 0. Let y be -3 + j/5 - (1 + 0). Solve q + y*o - 4 = 4, 2*q + 4*o = 12 for q.
4
Let b = 486 - 483. Solve 0 = -3*c + c - q - 8, b*q = -4*c - 14 for c.
-5
Let p(s) = 10*s**2 - 29*s + 1. Let o be p(3). Solve v = y + 5, 3*y = 2*y - o*v + 5 for y.
-3
Suppose 7*o - f = 8*o - 10, -4 = -f. Solve -3*t - 6 = 0, l - o*l - 2*t = -11 for l.
3
Let t(u) = -u - 3. Let f be t(-9). Suppose -5 = -f*v + 5*v. Solve -v*o - 15 = 0, 14 = -2*b - o + 5 for b.
-3
Let o = -2084 - -2106. Solve -3*p - 15 = -8*p + 5*k, o = -2*p - 5*k for p.
-1
Let q(h) = h + 3. Let o be q(-3). Suppose 0*k + 4*k + 4 = o. Let p be 1 + -2 + 2 + k. Solve -2*c - 6 = p, 3*d - d = -3*c - 9 for d.
0
Let b = -251 - -261. Solve -2*j = -p - 8, 5*j + 0 = b for p.
-4
Suppose -3*u - 16 = -7*u. Let y be (24 + -6)*(-4)/(-24). Solve 6 = u*n + 3*k, 5*k + 2 = -y*n + 12 for n.
0
Suppose 0 = 5*i - 5, -i + 7 = -2*a - 0*i. Suppose -2*q + 21 - 5 = 0. Let s = q + a. Solve -4*d - v + 0*v - 5 = 0, -s*d = v + 6 for d.
-1
Suppose 0 = 5*o - 29 - 21. Solve 5*v - o = -3*s, 3*v - v - s - 15 = 0 for v.
5
Let r be 14/63 - 1516/18. Let d be (-564)/r - (-2)/7. Solve 4*k + 16 = -2*o, -k = -2*o + d + 2 for k.
-5
Suppose 3*z - 3*v = 12 - 0, 0 = -2*v - 2. Solve 5*n - z*x + 4 + 28 = 0, 4*n = 5*x - 36 for n.
-4
Let n(m) = m**3 - 35*m**2 + 37*m - 78. Let q be n(34). Solve 4*c - s = 3*s + q, -c + 2*s = -7 for c.
5
Let n = -35 + 40. Suppose 0 = 4*s + 3*v + 3, 3*s + v + 9 = 13. Solve -s*o + 22 = -4*u, n*u + o + 12 = -3*o for u.
-4
Suppose 2*i = -5*d + 58, 5*d + 3 = 4*i - 83. Suppose 11*t - i = 3*t. Solve 0 = -4*v + g - t, -2*v - g = v + 11 for v.
-2
Suppose -21 = -10*q + 3*q. Solve 0 = 3*t - 4*t - r - 9, q*r = -4*t - 31 for t.
-4
Suppose 4*i - 10 = 3*r, 30 = 23*r - 18*r + 5*i. Solve 26 = 2*m + 4*s, 6 + 5 = r*m + s for m.
3
Let h = -175 + 101. Let l = 79 + h. Solve 0*c + l*c + 24 = -r, 10 = -3*c - 5*r for c.
-5
Let i be -1 + 0/4 + 3. Let f be i/(-9) - 1146/(-54). Let j = f + -7. Solve 5*d + u - 8 - j = 0, 0 = u + 3 for d.
5
Let b = 521 + -516. Solve 5*a = -3*q - q - 4, 5*q - b*a + 5 = 0 for q.
-1
Let h(n) = n**3 - 3*n**2 - 4*n + 3. Let y be h(4). Let s(r) = -7*r + 97. Let o be s(22). Let a = o - -59. Solve -5*b - y*p = 14, 2*b + 3*p - a = b for b.
-4
Suppose -3*n - 343 + 352 = 0. Solve 15 = 3*v - 2*b - 8, n*v - b = 19 for v.
5
Suppose -29 = -9*s + 7. Solve 4*k - y + 13 = -4, -s*k = 4*y + 32 for k.
-5
Let m be (-42)/(-28)*(-8)/(-6). Let b(o) = -4*o**3 + o**2 + o. Let z be b(-1). Solve -m*i - 4 = k + 3, -z*i - 5*k = 5 for i.
-5
Let p(o) = -4*o - 6. Let l be p(-2). Solve -10 = -4*y + 2*k, l*y - 11 = -3*y + 2*k for y.
1
Let f(j) = j**3 - 6*j**2 + 3*j - 13. Let s be f(6). Suppose -5*l + 10 - 35 = -s*k, -l = -2*k + 7. Solve 2*i + 3*a = -a + 4, 3*i - k = -4*a for i.
-2
Suppose 3*a - 16 = -a. Let c(x) = -7*x**3 + 79*x**2 - 24*x + 37. Let s be c(11). Solve 5*j + o = -a*o + s, 3*o = 4*j - 26 for j.
5
Let n(o) = -2*o + 6. Let v(f) = f - 3. Let x(y) = -6*n(y) - 13*v(y). Let s be x(0). Suppose 4 = s*m - 2. Solve 3*g + 3 = -3*u + 21, 0 = m*u + 5*g - 18 for u.
4
Let a be 14/3 - (0 - (-4)/6). Suppose 0 = -a*f + 39 + 5. Solve -2*w + f = w + x, 4*x - 5 = w for w.
3
Let t be (3 - 1)*((-27)/(-6) - 1). Suppose 4*q - t*q + 6 = 0. Solve -q*f - 3 - 11 = 4*a, -2*f = -3*a - 14 for a.
-4
Suppose -470 = -5*o - 5*r, 3*o = -o - 3*r + 377. Suppose -5*g + o = u + 2*u, 2*g = -u + 39. Let s = 24 - g. Solve 18 = 2*l - 4*z, -2*l - s*l + 21 = -3*z for l.
3
Let m = 516 + -514. Solve m*i = -3*i - 4*k - 28, -8 = 4*k for i.
-4
Suppose -3*d + 3 = 5*q, 2*d = -4*q + d + 1. Suppose 5*p + x - 63 = q, -3*p = -3*x - 32 - 13. Solve 0 = -4*h - v - p, 11 = -5*h - 3*v - 7 for h.
-3
Suppose -10*v - 11 = -12*v - 3*x, 2*v - 21 = -5*x. Let w = 4 - 10. Let n be v + -4*w/4. Solve -n*m = -m + r - 20, 4*r - 40 = -4*m for m.
5
Suppose 0 = 2*q - 56 - 34. Let z = -40 + q. Let a be ((-20)/(-8))/z*4. Solve -3*o - 5*u = 1, o + 2*u - a = -o for o.
3
Let i be (-3 - 1)*-1 + -1. Let l be 18/5*10/3. Suppose -i*a + 4*a = l. Solve 0 = 3*y - 0*y - 3*d, -y + a = 3*d for y.
3
Let f = 1 - -3. Let k(a) = -a**2 + 5*a - 2. Let v be k(f). Let z(s) = -s**2 - 17*s - 55. Let t be z(-7). Solve -5*n - 3 = -4*m, -3*m = -v*n + 4*n + t for m.
-3
Let a = -26 - -15. Let w(j) = -2*j**2 + 2*j - 2. Let b be w(3). Let q = a - b. Solve 2*i + 4*v + 2 = i, -5*v = q*i + 6 for i.
-2
Suppose 0 = 5*q + 5*f + 55, 0 = -3*q + 2*q + 3*f + 1. Let i be (-2)/4*(-7 - q)*-8. Solve -k - 3 = 0, -2 + i = 2*v - 2*k for v.
-2
Suppose 0 = 4*f - u - 150, -u - 4*u - 47 = -f. Let q be -18 + 2 + (0 - 2). Let i = q - -21. Solve -2*b - 19 = i*n, 0 = -5*n - f + 12 for b.
-2
Let u be (-792)/78 - 2/(-13). Let w be 4 - -5*4/u. Suppose -3*l + 3 = -6. Solve w*x + y = -9, -2*y - 15 = 6*x - 