5, b = 5*f + 2*r + 1 + 1. Solve 6 = 4*k - f*o - o, 0 = 2*k - o - 4 for k.
1
Let y be 3 - -2*1/2. Let n be ((0 - -2)/2)/((-7)/(-14)). Solve 2*t - n = y*i, 0*t + 4*t = -i - 5 for i.
-1
Let s(n) = -n**3 - 8*n**2 + 9*n. Let m be s(-9). Suppose m*g = -4*g. Suppose 5*c = -g*c. Solve c*o - 2*o = -2*x + 10, -4*x + 20 = 5*o for x.
5
Let o be (-4)/(-20) + (-34)/(-5). Suppose -j + 3*a + 1 = 8, -4*j = -5*a - o. Solve -3*v - 6 = 2*s - 5*v, -v = -2*s - j for s.
-5
Let x(s) = -s**2 - 10*s - 4. Let y be x(-10). Let u be y - (-4)/(4/9). Solve u*a - 20 = -2*b + 11, 5*b = 3*a for a.
5
Suppose -4 = -w - 0*w - 4*j, w - 5*j = 4. Solve -2*l = 4*k + w, -5*k + k = 0 for l.
-2
Suppose 74 = n - 3*n. Let k = n + 40. Solve 0 = 4*h - 3*f - 28, 3*f + 20 = -h + k*h for h.
4
Suppose 0 = -5*p - f + 114, -4*p - f = -4*f - 76. Suppose -4*k + k + p = 4*w, 0 = w - k - 2. Solve -x - 7 = -4*z + 2*x, 4*x = -w for z.
1
Suppose 3*z = 2*z - 3*d, 0 = -3*z - 3*d. Suppose -8*a + 72 - 32 = 0. Solve a*y - 30 = 5*h, z = -4*h - 3*y - 10 - 0 for h.
-4
Suppose 1 = 2*n - 5. Suppose 4*w = 43*w + 195. Let q be n/(-3) - (2 + w). Solve 4*m = -f - 21, 3*m - q*m - 3*f = 11 for m.
-4
Suppose -z + 1 = 4. Let i be (0 - 3)/z - 0. Let f be i/(-2*2/(-40)). Solve -f = 5*u, -x + 23 = 2*x - 4*u for x.
5
Let f(j) = j**2 - 4*j + 4. Suppose -7*p + 10 = -2*p. Let y be f(p). Solve -4*h + 2*z = -3*z, y = 2*z - 8 for h.
5
Suppose 233 - 143 = 6*t. Solve -2*u - 2*u = 2*x + 12, t = -5*u - 4*x for u.
-3
Let w = 41 + -35. Let t be 4*w/3 - -1. Let a(h) = -h**2 + h + 5. Let m be a(0). Solve -3*f + 3*y = 0, -4*f + t = m*y - 0*y for f.
1
Let r = -44 + 68. Let p = 225 + -179. Suppose 2*k + 3*q - r = 0, 3*q = -5*k - q + p. Solve -20 = 4*n + 4*y, k*n + 15 = 2*n + y for n.
-4
Suppose -g + 10 = -0*g. Suppose 2*k + g - 28 = 0. Let b = k - 4. Solve 0 = b*x + 5, 3*y + 3*x - 5 = -2 for y.
2
Let l(q) = -q**3 + 19*q**2 - 15*q - 40. Let d be l(18). Let w be -3 + d/4 - 27/(-6). Suppose -4*x + x = -9. Solve -2*z + x*t = -15, -2*t + t = 2*z + w for z.
0
Let a(h) = h**2 + 7*h + 13. Let f be a(-5). Suppose -3 = -f*b + 6. Solve b*p = 2*p + 4, -5*o + 2*p - 28 = 0 for o.
-4
Let i be (16/14)/(8/28). Suppose -i*s + 30 = s. Suppose 3*c - 4*h = s - 1, 4*c + 5*h - 17 = 0. Solve 4*x = -c*j - 11, 2 = -5*j - 3 for x.
-2
Let r(o) = 11*o - 1. Let w be r(-1). Let z = 15 + w. Suppose 1 = -3*f - z*q + 7*q, 0 = -4*f + q + 16. Solve -25 = f*j + 3*v, -3*v + 5 = -j + 2*v for j.
-5
Suppose -5*w + 3*k + 24 = 0, -k + 9 = 2*w + 6. Solve 3*a - w*i = -6, 0 = -0*a - 2*a + 3*i - 4 for a.
-2
Let p(l) = l**3 + 4*l**2 - 7*l - 4. Let w be p(-5). Let s be 2/w*3 + 1. Let m be ((-12)/(-9) + -1)*(5 - -13). Solve -5*x - 2*o - 6 - m = 0, s*x + 2 = 2*o for x.
-2
Suppose 29*f = 32*f + 5*r + 10, -4*r = 3*f + 5. Solve 3*v = g + 2, -f*v - 3*g - 6 = -6*v for v.
0
Let n(i) = i + 4. Let x be n(-2). Let h be x + -1 + 8/4. Suppose -r + h = -c, 4*c + 0 - 8 = 0. Solve 0*j + r = -4*j - 3*p, -3*j - 8 = -2*p for j.
-2
Suppose -5*x = 0, -8*w + 20 = -4*w + 3*x. Solve r + r + 10 = -5*u, -w*r = 4*u + 25 for u.
0
Suppose -49 = -5*u + 1. Suppose -u*s + 14*s = 24. Let q be (-30)/(-9)*9/s. Solve -q*n - 25 = 4*t, -2*t + 3*n + 23 = -6*t for t.
-5
Let o(l) = 4 - l**2 - 3*l**3 + 5*l**3 - 7*l**3 + 10*l + 4*l**3. Let b be o(-4). Solve -u - b = 5*t, -4*t - 4 = u - 3*t for u.
-2
Suppose -2*j = -5*b + 4 + 10, 3*b = -2*j + 18. Suppose -3*u = b*u - 21. Solve -u*v = 5*k + v - 25, 3*v = 2*k + 13 for k.
1
Suppose 0 = 8*k + 4*k - 132. Solve -k*w + 11 = 3*m - 7*w, -w = 5*m - 7 for m.
1
Let h(r) = -r**2 + 5*r + 88. Let l be h(12). Solve -2*f + 0*f - l*d = -4, -4*d - 6 = -3*f for f.
2
Let r(k) = -3*k - 5 + 2*k + 2*k. Let x be r(7). Suppose -o = x*o - 48. Solve 4*h - o = -l - 3*l, 3*l + h = 8 for l.
2
Let w = 11 + 8. Suppose c + w = 5*c + i, -5 = 5*i. Solve -v = 4*v + c*f, -2*v + 4*f = 12 for v.
-2
Let g = -81 + 84. Suppose 0 = 5*x - 3*j + 7*j - 113, -g*j - 59 = -2*x. Solve 3*p + 2*p + x = -2*i, 0 = -2*i - 3*p - 15 for i.
0
Suppose -290 = -3*v - 281. Solve h - 9 = 2*w, -7*w - 16 = -v*w for h.
1
Suppose 29*c + 81 = 56*c. Solve 14 = c*q + 4*x, 2*q - 4*x = x - 29 for q.
-2
Suppose -2*m - 3*m = -50. Suppose -2*z - 100 = -4*a, 4*a + m = -a. Let t = z + 85. Solve t = -2*c + 3*f + 2*f, 5*f - 16 = -3*c for c.
-3
Let u(n) = n + 18. Let g be u(-9). Let h be (8/(-4))/((-2)/(-4)). Let z = g + h. Solve -5*x - z = -0*d + 5*d, -2 = 2*x - 2*d for x.
-1
Suppose -20*m + 76 = -m. Solve 0 = 5*u + m*b - 7, -u + 2*b - 11 = -6*u for u.
3
Let c be (-5)/10*-38*1. Solve 5*t = -15, 5*w + t + c = 3*t for w.
-5
Let g be 3/((9/(-2))/(-3)). Let b(o) = -o**2 - 14*o - 10. Let y be b(-13). Suppose 3*v = 1 + 2, 11 = y*w - v. Solve g*k = -2*m + 6, -k + w = 4*m - 5 for m.
2
Let c = 151 + -140. Solve -4*y + 0 = i + 1, 4*y + 5*i - c = 0 for y.
-1
Suppose 0 = -5*w + 10. Suppose 0 = -w*a + 15*a - 65. Solve -5*s + 3*s + 3*o - a = 0, 0 = s - 4*o + 5 for s.
-1
Let a be 30/8 - (21/28 + 0). Solve 0 = a*j - 2*r - 9, j + 3*r = 2 + 12 for j.
5
Let t = 785 + -785. Solve -d - 5*n = t, -5*d + 6*n = 5*n for d.
0
Let f = 1152 - 1148. Suppose -5*r + 36 = 11. Solve -r*c + f*a = 28, 8*c + a + 18 = 3*c for c.
-4
Let z(o) = o**3 - o**2 - o + 1. Let b be z(2). Let q(t) = t**2 - 5*t - 16. Let n be q(-3). Solve -5*y + 17 = -3*s, y + b*s + n = -3*y for y.
1
Let c(g) = 13*g + 161. Let b be c(-12). Solve b*i = -5*t + 50, -2*t + 2*i = t - 5 for t.
5
Let a = 12 + -12. Suppose -5*h + 30 - 10 = 4*n, -2*h + n + 8 = a. Let t be 8 + (3/3 - 1). Solve -8 = -4*u, 0 = 3*w - 5*w + h*u - t for w.
0
Suppose 0 = -3*a + 2*a - 4*v + 17, v + 17 = 4*a. Let q be 1/a - -4*30/25. Solve 9 = -q*t + 3*g, -3 = -2*t + 4*t - g for t.
0
Suppose 48 = -599*f + 611*f. Let m(z) = z - 4. Let q be m(8). Let j = q - 1. Solve -4*o = 4*w, -j = -3*o - f*w + 2*w for o.
3
Let c be (5/3 - 1)/(8/(-12)). Let q(o) = o**3 - o. Let k be q(c). Solve -d + 3*d + 4 = -f, k = 5*d + 5 for f.
-2
Let q(y) be the first derivative of y**2/2 + 6*y - 14. Let v be q(-4). Solve c - 4*t = 3*c + 6, -v*t - 18 = 4*c for c.
-5
Let g = 3 - 0. Suppose -17*i + 6647 = 6562. Suppose 15 = m + 4*m. Solve -3*k = m*h - i*h + 2, g*k = h - 4 for k.
-2
Suppose -5*u = -6*o - 3*u + 14, -o + 3*u = 3. Solve o*w + 3 = -3*i + 2*i, w + 3*i = 7 for w.
-2
Let d(a) = -25*a - 120. Let r be d(-5). Solve 0*k - 3*k + f - 2 = 0, 16 = 2*k - r*f for k.
-2
Let l be 0 - (3 + 0/4). Let d be 7 - (l - -2)*-1. Suppose -4*j - 19 = -5*s, -5*s - d*j + j = -10. Solve 17 = 4*c + c - 3*n, -5*n - 23 = -s*c for c.
1
Suppose -146 = -156*p + 332 + 302. Suppose 0 = -0*k + 5*k - 20. Solve 3*q + p*t + 12 = 0, 5*q + k*t + 11 + 9 = 0 for q.
-4
Let l be -1 + (2 - 7)*-1. Suppose o = l*o + 45. Let d be -4 - -1 - o*1. Solve c + 5*b = -14, -5*c + 2*b - d = 4 for c.
-4
Let v = 44 - 32. Let n = -1 + v. Solve 4*g + 4*l = n + 25, -4*g + 5*l = 0 for g.
5
Let b = -69 + 72. Solve -5*p = 2*d - 7, 3 + 0 = b*p for d.
1
Suppose 0 = 7*r - 2322 + 2294. Solve -4*l = -5*q - 35, 17*q = 12*q - r*l + 5 for q.
-3
Let f be (2/(-10))/((-2321)/165 - -14). Solve 4*p - 16 = 2*u, p - f = 1 for u.
0
Suppose 4*o = -c + 10, 4*c - 2 = -21*o + 24*o. Solve -3*v - 13 = -4*d, 4*v + 2 + 2 = o*d for v.
1
Let z = -1532 + 1532. Solve -3*q + 5*i + 26 = z, 3*q - i = 19 - 9 for q.
2
Suppose 5*n = -8*n - 26. Let x be 5 + n + 4 - 2. Solve 0 = -3*h - 4*v + x, 0 = -4*h + 4*v - 35 - 5 for h.
-5
Suppose -4*o - 24 = -10*o. Let b(i) = i**2 - 13. Let j be b(o). Solve 4 = -3*h + 2*p, j*p + 7 = -2*h - 0*h for h.
-2
Let r be (37/(-148))/(21/24 - 1). Let j be -1*((2 - 2) + 0). Solve -r*g + 0*o + 2*o + 2 = 0, -3*o = j for g.
1
Let d(i) = i**3 - 13*i**2 + 28*i + 22. Let w be d(10). Solve 4*q + n + 2 = 0, -w*q + 5*n = q - 10 for q.
0
Let v = -790 - -795. Solve -3*p + 14 = -3*t - 1, v*t = p - 13 for t.
-2
Let r be (-26)/5*(-10)/2. Let v(d) = -6*d**2 + 59*d + 12. Let l be v(10). Solve -24 = -j - 4*o, 3*j + l*o - r = -j for j.
4
Suppose 0 = -25*u + 6*u + 133. Let w = u - 7. Solve w = 4*f - 4*p - 29 + 5, 0 = -5*p - 10 for f.
4
Let l = -672 - -672. Solve l = 4*x + 3*s - 3, 5*s - 11 + 6 = -5*x for x.
0
Suppose -24 = -6*d + 3*d. Solve -2*x + 1 - d = 5*p, -5*x = 5*p - 5 for p.
-3
Let p(z) = -11*z**2 - z + 9. Let i(t) = -4*t**2 + 3. Let d(c) = 8*i(c) - 3*p(c). Let k be d(-6). Solve -3*u = -f + k, 2*u = 5*u - 4*f + 15 for u.
-5
Let k be 28 + (36/21)/(24/(-84)). So