t. Suppose t*m + 3*u + 12 = 0, 0*m - 3*m - 4*u = 17. Suppose 1 = a, 3*a + m + 0 = f. Solve -2*k - i + 4 = 0, 3*k - 1 + 5 = -f*i for k.
4
Let t be 528/(-11)*(-5)/(-3). Let k = -77 - t. Suppose -4*g - 11 = -3*m - 2*g, -3*g = k. Solve 0 = -2*n - n - u + 2, 0 = -m*u - 12 for n.
2
Let a = 71 - 65. Suppose -2*c - a*f = -9*f - 4, 2*f = 2*c - 6. Solve 5*i + 23 = -2*z, -z + c*z + 31 = -5*i for i.
-3
Let p(r) = -r**3 + 2. Let h be p(-2). Suppose -590*a + 598*a - 48 = 0. Suppose -a = 2*o + 2*i, -1 = 7*o - 5*o + i. Solve q + o*w + h = -w, -w - 18 = 4*q for q.
-4
Suppose 2*p - 48 = -6*p. Suppose -4*k - 24 = -j, j - p*k = -k + 29. Solve -y - j*y = 5*g + 10, -2*y + 12 = -2*g for y.
2
Let w = 6974 - 6970. Solve -56*v = -5*l - 57*v + 10, -8 = -w*l - 2*v for l.
2
Suppose 0 = 16*x - 17*x - 5*s + 42, 5*s = -4*x + 48. Solve x*i + t + 5 = 3*i, -3*i + 4*t + 17 = 0 for i.
3
Let d(j) = -j**3 + 3*j**2. Let t be d(2). Let s = -240 + 244. Solve -s*k - 25 = k, t*c = -5*k - 9 for c.
4
Suppose 19 - 32 + 23 = 5*y. Solve -2*j + 4*m = 20, -j - 5*m = -y*j - 25 for j.
0
Let q = -977 + 1833. Let b = -850 + q. Solve 4*p + 2*c - 8 = 0, -b*p + p - c + 7 = 0 for p.
1
Let v = 310 - 538. Let a = -224 - v. Solve 5*r - 3*t = -a*t - 5, 0 = -2*r - t - 2 for r.
-1
Let d = -13757 + 13759. Solve -2*a - 22*y + 21*y = d, 2*y = 3*a - 4 for a.
0
Suppose 20*d - 25 = 15*d. Suppose 9*n - d = 31. Solve 0*v + 17 = 3*u - 5*v, -4*v - 20 = n*u for u.
-1
Let q(i) = -19*i + 143. Let v be q(6). Suppose 28*u - v*u = -5. Solve -5*s = -u*p - 35, -p = 2*s + 1 - 6 for s.
4
Let d = -31 - -35. Suppose 3*w = -5*n - 3, -2*w - 2*n - 2 = -d. Solve 0*g - g = -w*l - 15, -3*g = 2*l - 3 for g.
3
Let l = 249 - 282. Let o(z) = -z - 30. Let x be o(l). Solve x*h + 4*n + 32 = -h, 0 = -h + 3*n + 8 for h.
-4
Let t(p) = -5*p + 140. Let q be t(17). Suppose -z - a + q = 19, -a = 0. Solve 4*c = -3*g - 13 + z, 2*c + 2*g = 12 for c.
5
Let r be 2/11 - -106*1/22. Let j be 130/26 - 3*1. Suppose -j*h + 4*q + 15 = -9, -5*h + q = -87. Solve -r*p = 6*w - 3*w - h, 4*w - 7 = -p for w.
1
Let t be (35/105)/((-4)/(-216)). Solve 26 = 22*z - t*z + 5*p, -z + 2*p = 0 for z.
4
Let b be (250/40)/(115/92). Solve b*j + 19 = 5*d - 1, -3*d = -4*j - 15 for j.
-3
Let x(n) = n**2 + 14*n + 45. Let g be x(0). Solve g = -5*d + 5*s, 6*d - 2*d + 5*s - 9 = 0 for d.
-4
Let p = 201 - 195. Let v be (5 + (-42)/9)*p. Solve -v*m - 16 = -2*s - 0*s, 2*s = 4*m + 26 for s.
3
Suppose -5*v + 0*v = -2*o, 4*o = -v. Suppose -2*h - 39 = -4*a - 7*h, -2*a - 3*h + 21 = v. Solve t - 1 = s, a*s - s - 3*t - 1 = 0 for s.
2
Let t(r) = r + 0*r - 3*r - r**2 - r**3 + 2. Let v be t(-2). Suppose -5*s + 19 = -6. Solve 4*p = -s*m - v - 18, 24 = -5*m - 2*p for m.
-4
Suppose -150 + 502 = 11*z. Solve -23*r - z = -19*r + 4*j, 2*r + 11 = -j for r.
-3
Let a be (-1)/2*(1 + -21). Suppose -21*d - 50 = 22*d - 53*d. Solve -2*m + a = -q - 3*q, 5 = -d*q for m.
3
Suppose 40 = 75*v - 80*v. Let r be 7/(15 + v) - (-10)/1. Let t be (-2)/8 + 2/8. Solve -x = -t*x - 2*k + r, 0 = 3*x - 4*k + 25 for x.
-3
Let z(c) = -25*c + 4. Let q be z(0). Suppose 4*t - 20 = -q*f, -f - 2 = -t - 3. Solve 2*u + m + 10 = 0, -f = -u - 2*m - 14 for u.
-3
Let q = -4965 - -4983. Solve 3*w = q, -u = 5*w - 32 + 4 for u.
-2
Suppose -68153*k + 68166*k = 65. Solve -11 = -g + 4*w, 16 = -g - 4*w - k for g.
-5
Let z = 434108 + -434106. Let a(x) = 2 + 3 - x - 3. Let n be a(-2). Solve 3*g - n*g = f + 5, -f = -z*g - 7 for f.
-1
Let b be (0/2)/(6/(-3)). Let q = 4796 - 4796. Solve b = -a + k + 4*k - 22, q = a + 2*k - 13 for a.
3
Suppose 0*s - 418 = -22*s. Solve t = -5*d - s, -3*t = -2*d - 13 + 2 for d.
-4
Suppose 10*m - 15*m - 14 = 3*l, -3*m - 18 = -3*l. Solve -b + 0 = l*v + 6, -3*b = 3*v + 3 for v.
-5
Suppose y - u = 4, -9*y + 18 = -u - 2*u. Solve -p = 2*k + y, -k + 2*p + 13 = 7*p for k.
-2
Let w be -8*(5*4/10)/(-2). Suppose w*a - 25 = -1. Solve 5*q + x - 13 = 0, -5*x + 3 + 6 = -a*q for q.
2
Let b = 7 + -5. Suppose -4*g = -3*v + 11, -7*v = -4*v + g - 16. Suppose -3*c + m + 3 = -2, 12 = 4*c + 4*m. Solve 0 = n + c*a + b, 0*n + a = n + v for n.
-4
Suppose 0 = w - 2*w + 4. Suppose -61*a + 268*a - 169*a - 76 = 0. Solve w*m + l - 8 = 0, -2*l = a*m - l - 4 for m.
2
Let y = 40 - 37. Let v be y + (-8)/10 + (-2)/10. Let k be 6/v - (2 + -5). Solve -3*a + 3*c = -k, 6*a + 40 = a - 5*c for a.
-3
Let u(j) = -j - 3. Let d = -14 - -38. Suppose -5*h - d = 3*h. Let b be u(h). Solve -4*w - 17 = 5*s + 11, 4*s + 5*w + 26 = b for s.
-4
Let v(d) = 13*d**2 - 53*d + 6. Suppose 0 = -28*y + 7*y + 84. Let n be v(y). Solve 6 = 2*g + 2*o, -n*g = -3*o + 17 + 2 for g.
-2
Let s = -6110 - -6117. Solve 4*x + 10 = -0*x - m, s = -5*x - 4*m for x.
-3
Let b be 37/222 + 1751/6. Let v = -290 + b. Solve -x + 2*m - 11 = 0, v*x + m + 2 = -0*x for x.
-3
Suppose -5*u = -25, b = -3*u - u + 13. Suppose 2*n + 2*n - 20 = 0. Let k be -5*n/35*b. Solve 4*w - 18 = -2*s, -k = -5*w + 10 for s.
3
Let b be (-25)/(10 - 5) + 10. Let t be (3 - 115/15)/((-2)/3). Solve 3*g + 2*p + 4 = t*p, 0 = g + 2*p + b for g.
-3
Let m = 1728 + -1724. Let t = 26 - 15. Let v = 13 - t. Solve -m*j + 16 = 3*i, -12 = -3*j + v*i - 0*i for j.
4
Let s be 254/86 + -18*(-4)/1548. Solve 4*x + 17 = g, 14*x - 13*x - 12 = -s*g for g.
5
Suppose 0 = -v - 2*y + 24, -v = v - 4*y - 40. Suppose 3*h - 79 = -v. Let x = 19 - h. Solve 3*w = 3*u + 5 + 7, x = 4*u + 2*w - 14 for u.
1
Suppose -4*o + 7 + 1 = 0. Let b be 0*(-1 + (o - 0)). Suppose -z + 0*n - 2 = -2*n, b = -4*n + 8. Solve -3*v = -5*i + 5, -z*i - 2*i - v = -21 for i.
4
Let q = 1 - -1. Suppose -i - 4*t + 17 = 0, 4*i - 7*i + 2*t = -9. Suppose -4*w - 6*f = -3*f - 4, -f - 24 = -i*w. Solve 0*u - 4*u - 9 = 3*z, q*z + w*u = -6 for z.
-3
Let w = -385 + 387. Let m be 6*((-18)/(-28) - w/14). Solve m*l = 5*u - 9, 0*l - 15 = 5*l + 2*u for l.
-3
Let f be (-13)/(-26)*46 + 5/((-5)/3). Solve 4 = -q + 3*i, q - 167*i - f = -172*i for q.
5
Let i = 7563 + -7557. Solve 2*b + 13 = j, 4*j + i = -3*b + j for b.
-5
Let w(k) = 18*k**3 + 3*k - 2. Let b be w(1). Let r = 15 - b. Let f be (2/(-4))/(r/40). Solve 5*q - 22 = p, -34 = -p - 2*p - f*q for p.
3
Suppose -343 = -77*r + 581. Solve -4 = -5*p - 2*v + 17, r = -p + 5*v for p.
3
Suppose o - 7 = 12*p - 15*p, 10*o + 50 = 0. Solve -5*y = -f - 15, 0*f = p*f + 2*y + 16 for f.
-5
Let j(v) = -7*v**2 - 387*v - 482. Let u be j(-54). Solve -u*m = 2*c, -11*m = -6*m + 3*c + 1 for m.
1
Suppose -24*a + 22*a - 2*p = 8, -2*p - 11 = a. Solve -2*l + 2 = -6*v + 8*v, -3*v = -a for l.
0
Let r = 7 - -43. Suppose -o = a, 20 = 4*a + r*o - 51*o. Suppose -8 - 7 = -f. Solve -p = 5*n - 16, 5*n - 4 - f = -a*p for n.
3
Let w = -32 - -18. Let v = 35 + w. Let o = 23 - v. Solve 0 = -l - 2*l + 3*b + 15, 0 = o*l - b - 5 for l.
0
Suppose g = -2*g - 24. Suppose 3 = -a + 5*p, 2*a - 12*p = -11*p + 3. Let s be g/60 + (a - (-96)/45). Solve -2*m + 4*l = -0*l - 6, 3*l = -s*m + 12 for m.
3
Let u(k) = k - 13. Let v be u(17). Let m be 16/24*30/v. Solve 2*h + 3*d - m = 0, 0 = 6*h - 3*h - d - 2 for h.
1
Suppose 3*t + n = 5*t - 11, 4*n - 28 = -4*t. Let y = 403 + -242. Suppose -41 = 24*d - y. Solve -3*s - 22 = -4*q - t, d*q - 3*s - 20 = 0 for q.
4
Let w(a) = 3*a - 33. Let s(c) = -13*c + 132. Let h(p) = -2*s(p) - 9*w(p). Let g be h(5). Solve 7*t - 2*t + 30 = 2*r, -2*t + 4*r = g for t.
-4
Let v = 83 - 58. Suppose -v*o + o = 0. Solve 0 = 4*r - o*u + u + 16, -4*r - 5*u - 16 = 0 for r.
-4
Suppose 0 = 12*q - 2 - 22. Let z be ((-22)/77)/((-12)/84). Solve 3*x - 4*w = 0, -3*x - q = -z*w + 4 for x.
-4
Let k = 85 - 183. Let r = k - -103. Solve -r*s - 12 = -4*g - s, 0 = -2*g + 4*s + 4 for g.
4
Let x(v) = -v**2 + 81*v + 6555. Let o be x(-50). Solve -5*w - o*h + 13 = -2, -5*w - 3*h + 5 = 0 for w.
-2
Let n = -57 + 113. Let z be (-30)/(-8)*n/42. Solve -z*d + 7 = -k, 4*d - 20 = -5*k + 3 for d.
2
Let i be 20*4/8 - 4. Let s be -34*26/12 + i/(-18). Let w = s + 78. Solve -5 = l - 5*g, -2 - 15 = -5*l + w*g for l.
5
Let i(g) = 8*g**2 - 523*g - 327. Let s be i(66). Solve 2*q + 3*z = -q - 12, s*z = 3 for q.
-5
Suppose -8*n = -284 + 28. Suppose 0 = -6*k + n + 4. Suppose -5*h - k*c + 15 = -2*c, -h + 5*c = -3. Solve 2*v + j - 6 = 3*v, 0 = -3*j + h for v.
-5
Let x be -64*(-2)/6*3/2. Let f be (-16)/x + 30/12. Solve -5*z - 20 = -f*u + 4*u, z + u = -4 for z.
-4
Let c = -6588 - -6593. Solve c*s - 18 = 4*b, 4*s - 3*s = -b for b.
-2
Let b be (0/1)/(-