olve 2*k + t = 5*f, -4*k - 6 = 14 for f.
5
Suppose -2*z + 5 + 1 = 0. Suppose 2*m - 5*r = -5, 2*m + m - 6 = 3*r. Suppose m*u = 7 + z. Solve 5*p = -5*t + p + 17, u*p + 29 = 5*t for t.
5
Suppose -6*t + 30 = -3*b, -2*t + 22 = -3*b + 8*b. Solve 5*h - 10 = 0, 0 = -2*j + b*h - 4 + 2 for j.
1
Suppose -4 = -1260*t + 1259*t. Solve -5*g + 12 = u, t*g = -4*u + 9 + 7 for u.
2
Let s = -122 + 132. Let z(u) = 72 - u**3 - 40 - s*u**2 - 11*u - 44. Let l be z(-9). Solve -w - 1 = -l*v + v, -5*v - 4 = 4*w for v.
0
Let x = -542 + 528. Let r be (-46)/(-161) + (220/x)/(-1). Solve -d = -i + 2*d - 17, -2*i - 4*d = -r for i.
-2
Let f be 7 + (17 - (1 + -7)). Solve -5*v = i - f, 62*i = 65*i - 2*v - 5 for i.
5
Suppose -648 = -302*r + 86*r. Solve 7*a - r*a + 5*n = -21, -a - 5*n = 24 for a.
1
Suppose 5*z + 2*n - 169 = -161, -1 = -0*n + n. Suppose -4*d - 3*r + 18 = 0, 0*d - r - 20 = -3*d. Solve 5*c = -x + 3*x - 13, -x + z*c + d = 0 for x.
4
Let j(d) = -4*d**2 + 13*d + 2. Let n(v) = v**2 - 3*v. Let u(r) = j(r) + 3*n(r). Let b be u(4). Solve -4 = b*a + 2, -4*i = 5*a + 15 for i.
0
Let j(z) = z**3 + 3*z**2 - 7*z - 4. Let t be j(-5). Suppose -2*u = 2*r + 3*u + 18, -5*r + u = 72. Let p = r - t. Solve 0 = -3*x + 2*d + 4, 6*d = p*d + 4 for x.
4
Let i(l) = -3*l**2 - 40*l - 11. Let u be i(-13). Suppose 0 = 11*m - 8*m - 6. Solve -h = u*d + h + 12, -d = -3*h - m for d.
-4
Suppose 2*j + 2*d = -2*j + 4, 12 = j - 5*d. Solve j*p = 8, g + 2*p - 9 = -2 for g.
-1
Suppose 5*p - 20 = -10. Suppose 2 = -62*x + 63*x. Suppose -217*h - x = -218*h. Solve 0 = -3*t - 2*m + h, p*m - m + 5 = 0 for t.
4
Suppose -2*p - 3*z + 158 = 0, 7*z - 5*z = 5*p - 414. Suppose -99*x = -p*x - 272. Solve 13 = -3*u + o, u - 1 = -5*o + x for u.
-3
Let b be ((-3)/(21/2))/((-561)/28 + 20). Solve b = 2*q - u - 3*u, 10 = -3*q - 5*u for q.
0
Let m(n) = -27*n + 38. Let z be m(-6). Suppose 20*v - z = -0*v. Solve 0 = -4*p - 5*f - 31, 2*f + v - 4 = 0 for p.
-4
Let k be 10/8*(-6 - 714/(-85)). Solve k*o + 166*s + 4 = 167*s, 4*s - 16 = -2*o for o.
0
Let r(x) = x**2 + 26*x + 92. Let n be r(-22). Suppose 5*g - 3 = 2*u + 4, 0 = u - n. Solve 2*d = -2*z + 20, -8*z - g*d + 20 = -7*z for z.
5
Suppose -5*x + 84 - 24 = 0. Let z be (6 + -4 - 6)/(-2). Suppose -5*i + 5*l = -10*i - 15, z*l + 16 = 3*i. Solve -n - 3 = -t, i*t + 0*t = 5*n + x for n.
-2
Let g(y) = 16*y**3 + y**2 + y + 3. Let q be g(-2). Let r = -118 - q. Solve -3*s + o + 12 = -2*o, 4*s - r*o - 18 = 0 for s.
2
Suppose -6*d + 5*d + 4 = 0. Let c(f) = 238*f - 2364. Let z be c(10). Let t(r) = -3*r - 6. Let g be t(-4). Solve -d*h + 2*n = z - g, -h + 14 = 5*n for h.
-1
Let q = 4829 - 4789. Solve -3*l = 5*g + l - q, 5 = l for g.
4
Let p(n) = 2*n**2 - 7*n - 19. Let m be p(-7). Let q = -126 + m. Solve 2*r = j + 2, 6 = 3*r + 2*r - q*j for r.
2
Let u(q) = -6*q - 2*q**2 + q**2 - 2 - 1 + 0*q**2. Let d be u(-4). Let b = 8 + -8. Solve -3*g + 2*c = -0*c, b = -g + d*c - 13 for g.
2
Let a = -115 - -75. Let f = 169 - a. Suppose -4*x = -15*x + f. Solve -3*o + 0*h - 20 = 5*h, -3*o - 4*h - x = 0 for o.
-5
Suppose 3*n - 1538 = f + 123, -2210 = -4*n - f. Let r = 555 - n. Solve -4*p = 0, -5*u = -4*u - r*p + 3 for u.
-3
Suppose 0 = -4*z + w - 3, -2*z - 5*w + 9 = -6. Suppose -3*j + 4*s + 26 = -z*j, 2*j - 18 = 3*s. Solve -2*l - 22 = -4*g, -2*l - 3*g + j = -0 for l.
-3
Suppose 0 = 6301*l - 6307*l + 30. Solve 1 = -l*i + z + 13, 0 = 2*i - 4*z - 12 for i.
2
Suppose 105*b - 4*b - 276 = 128. Solve 3*n - 16 = 2*o, -b*o = -4*n + 79 - 55 for n.
4
Let r be (5/(30/(-18)))/(3/(-4)). Suppose 0 = 2*j + 3*v - 18, r*j + 4 = 11*v - 7*v. Solve -5*p + 22 = -q, -j*p + 3*q + 22 = p for p.
4
Let z = 33232 + -33228. Solve 0 = z*d - u - 10, d + 2*u = 5*d - 8 for d.
3
Let z = -5 - 1. Suppose -24 = 47*o - 71. Let h be 1*o/(4 - (-22)/z). Solve c = -h*i + 12, c - 4*c = 4*i - 11 for i.
5
Suppose 48 = -2*w + 7*w - 2*h, -6 = 2*w - 5*h. Solve -4 = -4*b, 3*z = 4*b + w - 1 for z.
5
Let u = -15 + 23. Suppose u*f + 2 = 9*f. Suppose 5*k - f*k + 12 = 3*z, -3*z = 3*k. Solve z*n + 2*n = 5*a - 7, -5*a = n + 8 for n.
-3
Let k = -3679 + 3684. Solve 5*d - k*s + 5 = 0, 0 = 2*d - d - 4*s + 4 for d.
0
Let i be (-711)/(-31) + 84/1302. Suppose 0 = 12*r - 8*r - 3*g, -r - 5*g = -i. Solve -5*p - 2 = r*l - 9, -1 = 3*l + p for l.
-1
Let u(z) = 2*z**3 + 26*z**2 + z + 17. Let m be u(-13). Suppose -2353 = -m*d - 2349. Solve 6*y - d = -3*x + y, 5*y = -4*x - 2 for x.
-3
Let t be -40 + 1 + 1*(6 + -7). Let n(l) = -7*l**2 - 3*l + 4. Let q be n(-3). Let c = t - q. Solve -5*r + c = 0, 2*r = -2*b + 4*r - 2 for b.
1
Let p = -4279 + 4283. Solve 3*g + 19 = -p*t, -2*g + 0 - 9 = -t for t.
-1
Suppose 0 = -234*u + 241*u - 14. Suppose -y - u*x = -11, -23 = 3*y - 7*y - x. Solve 5*g = -5*q + 15, q - y*g = -4*q - 25 for q.
-1
Suppose -4*z = 17*z - 4116. Let u = z - 193. Solve -5 = -5*o, 4*o = 4*y + u*o + 9 for y.
-2
Let v(o) = -o**3 + 11. Let x be v(0). Suppose x*h - 6*h = 70. Let k = -1 + 3. Solve -l - 23 = -4*n - 10, 0 = 2*l - k*n + h for l.
-5
Let d = 18727 - 18723. Solve -13*b + 14*b - 3*i = 14, -b + 18 = -d*i for b.
2
Suppose 2*d = 4*d + 2. Let c be d - -2 - 2/(-2). Suppose -2*a - 4*k - 8 = 0, 0 = 4*a - 13*k + 11*k - 24. Solve -a*x = 5*v, c*v - 4*x = -0*v for v.
0
Let j = 122 - 124. Let i(m) = -m**3 - 5*m**2 - 11*m - 6. Let l be i(j). Solve -t + 3*u - 4 = l*t, u - 5 = -2*t for t.
1
Let d = -8601 + 8615. Solve 0 = -2*g - 10*f + d*f - 16, g + 11 = 3*f for g.
-2
Suppose 94*k - 97 - 91 = 0. Solve -k*a + 6 = -4*u, -2*a - 18 = 5*u - a for u.
-3
Suppose 117*m + 85*m - 606 = 0. Suppose -20 = -3*l + l. Solve -3*f - 7*u + 3*u = -l, -m*f + u + 5 = 0 for f.
2
Suppose 87 = 3*u - 15. Let h = u - 29. Suppose 6*r + 55 - 67 = 0. Solve -1 = r*f - 0*f + 3*a, -a + 17 = h*f for f.
4
Let i be (-1 - (-1)/3)*-9. Suppose p + 158 = 2*w, 0*p = -4*w + 4*p + 324. Let d = w - 75. Solve -i*c + 3*h + 30 = -c, 5*h = -d*c - 19 for c.
3
Suppose 4*a - 117 = -3*j, 0*a + a + j - 28 = 0. Let m = 1682 - 1652. Let l = a - m. Solve -3*d - 8 = d - 2*k, 5*k = l*d + 20 for d.
0
Let z be (1 - (164/(-8) - -1)) + 26/52. Let n(r) = -r**3 + r + 17. Let f be n(0). Suppose 0 = z*s - f*s - 8. Solve 0 = -s*y - m - 3*m, -2*y - 2 = 2*m for y.
-2
Let m(p) = 3*p**2 + p - 6. Let l be m(2). Let s be 0 + (l - (2 - 2)). Let z = -8 + 13. Solve -5*v + 4*w + s = -v, z*w + 24 = -2*v for v.
-2
Let n(p) = -4*p**2 - 87*p - 44. Let v(c) = 21*c**2 + 436*c + 219. Let w(h) = -11*n(h) - 2*v(h). Let u be w(-42). Solve o = 3*k - 2 - 3, u*o - 2*k = 0 for o.
1
Suppose 0 = 5*r - 2*y - 74, 5*r + 3*y - 55 = 34. Suppose u + 2 = 2*i + r, -u + 4*i = -16. Solve 4*v - u = x, -3*x + 12 = 4*v - 0 for x.
0
Let y(a) = 2*a + 5*a**2 - 11*a**2 + 19 + 0*a**2 + 0 + a**3. Let c be y(5). Solve c*s + 2*i + 11 = -i, -s - 4 = i for s.
1
Let z be 140/(-210) - 740/(-3). Suppose -z*s = -249*s + 36. Solve 5*c - 2*i = c + s, -5*c = 3*i - 4 for c.
2
Let o be (0 + (-4)/8)/((-1)/238). Let a = o - 103. Solve 4*n = -q + 9, 2*q + 4 = -2*n + a for n.
1
Suppose 0 = -y - 3, 12*x = 11*x - 4*y - 12. Let q be 6*((-15)/(-18) + x). Solve q*s - s = 8, 0 = 4*z + 5*s - 22 for z.
3
Let b be (-4 + 1)*(-4 - -3). Suppose -168 = l + b*l. Let t = -38 - l. Solve 2*i - 5*k = 10, 0 = 2*k - t*k for i.
5
Let o = -477 - -758. Suppose -27*x + o = -151. Solve 0 = -5*s + 3*h, -5*h + x = -2*s - s for s.
3
Let d(z) = 78*z - 37*z + 34 - 36*z. Let p be d(-6). Solve -p*j = 3*s - 21, 0*j + 5*s - 18 = -j for j.
3
Suppose 10 = 4*t + z - 346, t = -z + 92. Suppose -t = 7*u - 11*u. Solve 4*l + 5*r - u = 0, 1 = l + 3*r - 4*r for l.
3
Suppose 0 = -2*y + 4 + 10. Let i = y - 6. Let a be (-31)/((-217)/120) + 1/(-7). Solve 3*m - a = 4*m + 4*k, -m = -2*k - i for m.
-5
Suppose 8741*u = 8734*u + 14. Solve 18*y - 19*y = n + 2, u*y + 5 = -n for n.
1
Suppose 2*x = -5*v + 12, 4*x = 8*v - 13*v + 4. Solve -5*f + 6 = -5*g + 1, -3*g - 3 = v*f for g.
-1
Suppose z = -13 + 17. Suppose 0 = 3*b + 5*n - 8 - 7, 2*b = -4*n + 10. Solve b*t + 1 = v, z*v = t - 0 - 15 for t.
-1
Let d(q) = -36*q + 3213. Let g be d(89). Solve -4*w - l = -1, g*w - 10*w - 5*l = 14 for w.
1
Suppose 0 = 5*j + 3*j - 24. Suppose -12*f + j*f - 153 = 0. Let l = -3 - f. Solve -2*y + 13 = 2*s + 3*y, -3*s + l = 2*y for s.
4
Suppose 142 = 33*b + 48 + 28. Solve 3*q = 4*r - b, 95*r + 1 = 94*r for q.
-2
Suppose 34*o - 4980 = 19*o. Let r = 336 - o. Suppose 0 = 2*c - 8. Solve -c*b + 0*b +