*v + 11 = v, 4*n + v - 7 = 0 for n.
2
Let k be 1/(-2)*(-1 - 1). Let v be (k + -7)/(-3 - -1). Suppose 3*r = -r - 3*t + 5, 5 = v*r + t. Solve -f - 4*m = -9, 5*f - 13 = -r*m + 14 for f.
5
Let g = 41 - 29. Solve -9 + 1 = 2*j, 0 = 4*f - j - g for f.
2
Let p be 0 - (-10)/(3 + -2). Let s = 1704 - 1702. Solve 0 = 4*w - s*k + 16, -5*w - 2*k + p = 3*k for w.
-2
Suppose -x - 2*s - 2 = -2*x, 3*s = -4*x - 36. Let m be ((-55)/33)/(2/x). Solve -4*g - 18 = -2*b, 4*b + m*g - 10 = -0 for b.
5
Let i = 44 - 37. Suppose -i*f = -f - 24. Suppose 0 = -g + 1, 0*v - 2*v + g - 1 = 0. Solve v*r = -2*r + f, 4*r = -4*q for q.
-2
Suppose g = 5*r + 15, 3*g + 9*r - 10*r - 17 = 0. Solve 0 = g*j - q + 22, -5*q + 4 = j - 2 for j.
-4
Suppose -2*y = 3*x - 25, -3*y - 7*x + 10*x = 0. Suppose 0 = 2*t - 5 + 3. Suppose -y*j + 9 = -t. Solve 3*a = a + j, i - 2*a = 0 for i.
2
Suppose 0 = -2*v - 2*v + 3*q + 127, 3*q - 9 = 0. Suppose 0 = k - v + 32. Solve 20 = -k*i - 3*t - 2*t, i - 5*t = 5 for i.
-5
Let t(y) = y**2 - 4*y - 3. Let c be t(5). Solve 0 = 4*x - 5*n + 6, 1 = -2*x + c*n - 1 for x.
1
Suppose 3*q - 238 + 67 = 0. Let b be 1/(4 - q/15). Let a be 30/50 - (-22)/b. Solve k - a*h = 0, -12 = 3*k - 4*h + h for k.
-5
Suppose 5*m - 5 = 5. Let u be 1/2*(m - 2). Let x(z) = -z**3 - z**2 - z + 26. Let t be x(u). Solve 5*v = -5*r - 10, 0 = 5*r - 4*v - 0*v - t for r.
2
Let j = -114 - -171. Let l = -52 + j. Solve 0 = -z + l*z - 12, 7 = -a + z for a.
-4
Suppose -45 = -5*s - 5*t, -27*s + 57 = -22*s - t. Solve 3*z = -f, -10*f + s*f - 3*z = 0 for f.
0
Suppose 0 = -3*n - 3 + 63. Suppose 0 = -18*c - 16 + 88. Solve -5*a - c*j + n = 0, 2*a + 4*j - 8 = -0*a for a.
4
Suppose -6*j + 43 - 13 = 0. Suppose -p - 6 = 5*w, j*w = -p - p - 7. Let b be -2 + 1 + w + 6. Solve -4*q + 10 = -2*f, -8*f + 4*f = b for q.
2
Suppose 3*p - 2*v + 53 = 0, -5*p - 5*v = 27 + 28. Let r = -17 - p. Let u = 4 + r. Solve 5*y + 30 = 5*h, 6*h - 4*h = -u*y + 8 for h.
5
Suppose 14 = o - 6. Suppose -4*t + 94 = -2*a, 0*t + 4*a + o = t. Solve 0 = 3*h + l + 2 - 3, -2*h + 4*l + t = 0 for h.
2
Let d = 6 - 5. Let f be d/(-6)*-9*2. Solve 0 = -3*n + 3*c - f, 5*c - 2*c = -2*n - 17 for n.
-4
Let a(m) = -m**3 + 5*m**2 + 10*m - 8. Let y be a(6). Let h = -6 + y. Let k = 15 - h. Solve -5*c = u - 1 - 22, k*c - 27 = u for u.
-2
Suppose 0 = 3*o - 0*o + 18. Let r be o/4*490/(-21). Suppose -w + 6*w = r. Solve 3*s + 4*n = w*s - 24, 2*s - 22 = 4*n for s.
1
Let m = -31 - -36. Suppose -h + 12 = -o + 3*o, 0 = 3*o + m*h - 25. Solve o*b = t - 24, -2*b = 4*t - 7 + 21 for b.
-5
Let y(v) = v**2 + v + 3. Let a be y(0). Suppose -18 - 33 = -a*b. Let i = b + -13. Solve i*d + 2*c + 4 = 3*c, 0 = 4*d - 2*c + 8 for d.
0
Suppose 0 = -151*x + 189*x - 76. Solve 12*o - 9*o - 9 = 0, 2*j = x*o for j.
3
Suppose 0 = 6*g - 42 - 36. Let z(r) = -r**2 + 14*r + 4. Let d be z(13). Let a = d - g. Solve -a*h + 10 = 5*n, -6*h + 3*h + 7 = 4*n for n.
-2
Let n = -413 + 417. Solve -n*x - 5*v + 23 = 0, 3*v - 7*v = -2*x - 8 for x.
2
Let l = 56 - 54. Suppose 0 = -4*q + 2*v + 16, 3*v = l*q - v - 14. Solve 0 = -3*c - 4*o - 24, 0*o = q*c + o + 15 for c.
-4
Suppose -25 = 4*n - 5*n. Let g = 32 - n. Solve y = -5*l - 13, l - 2 = y - g for l.
-3
Let a = -13 + 28. Let z be 0*(-4)/16 + -2 + a. Solve -5*t + n - 11 = -35, 3*t - 2*n = z for t.
5
Let i be ((1 - 2) + -2)/(45/(-75)). Solve o + 26 = 6*o + 3*n, 2*o = i*n - 2 for o.
4
Let j = 23 - 4. Let c = j - 14. Let i be 4/5*c/2. Solve -3*x + 24 = i*d + x, 0 = 4*d + 3*x - 28 for d.
4
Suppose 2*q + 2*j = 2, 3*j - 6 - 1 = -4*q. Solve -5*k = 2*u + 3*u, 0 = q*k + 5*u + 2 for k.
2
Let z(i) = -2*i**2 + 11*i - 8. Let j = 57 - 53. Let q be z(j). Solve b + 3*m + m = -13, 0 = -q*b + 5*m + 11 for b.
-1
Suppose 7 = 3*j - 5*g, -7*j + 4*j - 4*g = -16. Solve 0 = -5*t + 5*w + 20, w + w = j*t - 12 for t.
2
Let c be (-2)/(-11) + (-126)/(-33). Suppose 4*g = 3*f + 79, -5*g - 4 = 2*f - 74. Solve -3*d + g = c*j, -4 = -5*j + d + 16 for j.
4
Let f = -84 + 86. Solve -4*w + 10 = f*d - d, 3*d = 2*w - 12 for d.
-2
Let m(d) = 2*d - 1. Let i be m(2). Suppose i*o + 11 = -37. Let r be 2/(o/10 - -2). Solve -r*g - 17 = l - 3*l, 5*l + 10 = 2*g for g.
-5
Suppose -4*j - 5*l = 5, -3*j - 4*l = l + 10. Solve -2*n = n + j*i - 7, 0 = -5*i - 5 for n.
4
Suppose 5*s = 6*s - 10. Let r(y) = 44*y + 60. Let j be r(-1). Solve 0*h + 3*h + s = 2*l, j = 4*l - 5*h for l.
-1
Let q(l) = 3*l + 6. Let i be q(-2). Let u(z) = z**3 - z + 3. Let c be u(i). Solve 0 = -c*w + s + 3, -4*w = -2*w + 5*s - 19 for w.
2
Let a(g) = -g**2 - 10*g - 20. Let r be a(-4). Solve -r*h + 2*h = b - 7, -3*b = -15 for h.
1
Let f(t) = 2*t**2 - 73*t - 233. Let i be f(-3). Solve -i*n + 5*n = 4, -4*n = 2*z - 6 for z.
-5
Suppose 0 = 5*m + 3*r - 14, -160 = 4*m + 5*r - 166. Solve -2*x - x - 23 = -4*f, -4*f - m*x = 12 for f.
2
Suppose 4 = 4*h + c, 5*c = 6 + 14. Suppose 2*y + 0*v + v = 6, 0 = -3*v + 12. Solve h = -5*t + 2*m + 2*m - 13, -y = 3*t + m for t.
-1
Suppose 2*f + 4 = 4*f. Let p(s) = s - 2. Let x be p(7). Suppose -4*n = a - 5*a, -x*n + 10 = 0. Solve 15 - a = y - 5*k, 2 = -4*y + f*k for y.
-2
Let w(m) = 15*m + 38. Let h(n) = -8*n - 19. Let c(t) = 11*h(t) + 6*w(t). Let o be c(0). Solve 4*y - 2*a - 24 = 3*a, 5*a = -y - o for y.
1
Let l be (-73)/(-3) - 5/15. Let v = 8 + l. Suppose -6 = -2*s + v. Solve -4*o + s = 3*d, 9 = 5*o + 2*d - 6 for o.
1
Let h(l) = -l**2 - 31*l + 271. Let u be h(7). Solve -u*q + i = 9, -5*q - 13 = -0*q + 3*i for q.
-2
Suppose 52*x - 9*x = 215. Solve -2*l + 3*c = x, -5 = l - c + 2*c for l.
-4
Suppose 3*d - 12 = -5*a + 6*d, a + 1 = 4*d. Solve 2*i = -g + a + 11, 4*i - g - 16 = 0 for i.
5
Suppose v = -v + 6, -24 = -2*k - 2*v. Let g(l) = l - 8. Let n be g(k). Let r be n - ((-5)/1 + 0). Solve j = x - r, -3*j + 2 = 4*x - 2*x for x.
4
Let q be 8/(-6) + (-50)/30 + 6. Solve 5*l + 0*l - 2*f - q = 0, 2*f + 7 = l for l.
-1
Suppose 0*j - 3*p = -j + 3, 3*p = -4*j + 87. Solve -3*n + 6 = -2*n - m, 2*n - 4*m = j for n.
3
Suppose 2*p - 7*p = 15. Let g be p*(-4)/24*2. Suppose 4*v + g - 21 = 0. Solve -2*c + 11 = 3*a, c + v*a + 0*a - 23 = 0 for c.
-2
Suppose 2*r - 3*n + 2 - 4 = 0, -r + 4*n - 4 = 0. Let a be (-6)/3 + (r - -4) + -3. Solve 1 = -a*w - g, 0*w - 4*g = 3*w + 13 for w.
1
Let o(g) = 8*g - 17. Let l(y) = y - 1. Let t(q) = 6*l(q) - o(q). Let x be t(3). Solve -x*p + 4*d - 2 = -3*p, -2*p - 6 = -2*d for p.
-5
Suppose -4*a + 2*m = -58, -2*a - 4*m - 1 = m. Let k be (7/(-21))/((-1)/a). Solve 0 = -8*y + k*y - 5*x + 41, -y = x - 9 for y.
4
Suppose 5*g - 29 = 3*v - 4, -3*v - 7 = 4*g. Suppose 0 = 2*j - 8 + g. Solve j*f = 5*o + 3, -o = 2*o for f.
1
Let l = -62 - -87. Suppose -p - l = -6*p. Suppose 2*u + 5*g - 25 = -0*u, 35 = 4*u + p*g. Solve -i - 15 = -0*i + 4*s, -u*i - 2*s - 3 = 0 for i.
1
Let a = 138 + -135. Solve -2*d = s, 2 = 4*s - 2*s + a*d for s.
4
Suppose -6 = 5*p - 14*x + 11*x, -2 = -p - x. Solve -5*m - 5*l + 25 = p, -5*m - 5*l = -9*m + 11 for m.
4
Let u be (467 + -471)*(0 - 2/4). Suppose 4*f + 0*f - 16 = 0. Solve 2*t = f*h + 10, 2*h + 4 = -h - u*t for h.
-2
Suppose -4 = -2*t + 6. Suppose t*n = -2*s + 25, -4*s - 3*n + n = -42. Let r be (-1)/(-2)*(0 + s). Solve -r*x = -b + 2, 5*x + 7 = x - b for x.
-1
Let v(x) = -9*x**3 + x**2 - 2*x - 3. Let z be v(-1). Solve -4*l - 9 = -j, -l - 3*j = -j - z for l.
-1
Suppose 41*u = 40*u. Suppose 4*w - 12 + 4 = u. Solve -k + w*x + 7 = 3*x, x + 13 = 3*k for k.
5
Let l(n) = -n**2 - 11*n - 24. Let p be l(-8). Solve -3*m - 25 = 2*g, -m = -p*g - 2*g - 5 for g.
-5
Let b(z) be the third derivative of -z**5/60 + z**4/6 - z**3/2 + 21*z**2. Let s be b(1). Solve 3*n + w + 2 - 16 = s, -12 = -4*n + 2*w for n.
4
Let u be 4/(-5)*(-135)/54. Solve 5*o - o - 3*f = -2, f = -u for o.
-2
Suppose 9 = 6*x - 3*x. Solve 3*f - 6*f = 5*d - 13, x*f - 5*d + 7 = 0 for f.
1
Let u be 2/((-10)/90*-6). Solve 2*o - z = 8, u*o - 4*z - z - 5 = 0 for o.
5
Suppose 3*k + 2*k + 25 = 0. Let n(r) = -r**3 - 2*r**2 + 7. Let v be n(k). Let c be v/3 - 2/(-3). Solve 3*u + 4 - 20 = -a, -c = -3*a - 4*u for a.
4
Suppose -o + 3 + 0 = 0. Suppose -2*x - 19 = -27. Solve -2*a + x = 3*l, -2*a = -3*a - 4*l - o for a.
5
Let v be -10*((-3)/(-30))/(4/(-16)). Solve -4*p + 4 + v = -h, 0 = 2*p + h - 10 for p.
3
Let t = 20 + -12. Let c be (9/(-12))/(1 - 10/t). Solve -2*z = c*a - 8, 2*z - 2*a - 8 = -0*z for z.
4
Let a be (-20)/60 - (-32)/6. Solve 5*h - a*d - 10 = 0, h + 5*d = -2