olve m*k - 2*n - 10 = -k, -5*n = -4*k + 25 for k.
0
Suppose 19*j - 3*j - 80 = 0. Let s be (-1 + 1)/((-23)/(92/16)). Solve s*h - j*g = -4*h + 36, -h = -g - 8 for h.
4
Let w = 12552 + -12549. Solve -9*z + 5*z = 2*o + 4, -5 = w*z + 2*o for z.
1
Let k(v) = v**3 + 6*v**2 - 5*v. Let c be k(-6). Let r = 30 - c. Suppose 9 = 3*m - 0. Solve -2*o = o + m*z + 6, r = o + 2*z for o.
-4
Let c = 897 - 1293. Let q = c + 398. Let m(h) = h**3 - h**2 + 2. Let b be m(0). Solve q*l + 18 = -4*v + b, -2*l - 7 = v for l.
-2
Let q(k) = -2*k**2 - 78*k - 444. Let m be q(-32). Solve -2*t - 9 = 3*g, -14 = m*g + t - 7 for g.
-1
Let x = 8 - 1. Let h be (2*-2)/(-9 - 48/(-6)). Suppose i + 12 = 11*v - 6*v, -h*v = -i - 9. Solve -3*w + i = 5*t, 28 = 5*t - 5*w - x for t.
3
Suppose 2*y + 1 = -2*q + 91, 0 = -3*q + 3*y + 111. Suppose -28 - 4 = h. Let d = q + h. Solve 3*k + x = -d - 6, 5 = -k + 2*x for k.
-5
Let n(b) = -b**2 + 6*b - 3. Let d be n(5). Suppose -5*t - 2*a + 43 - 57 = 0, 0 = -t + 8*a + 56. Solve -2*z + 0*o - o = -d, t = 4*o for z.
1
Let k = 13206 - 13201. Solve k*m - 25 = 2*v, m - 20*v + 23*v = 5 for m.
5
Suppose 0 = 2*z - 12 - 22. Suppose -2*o = q, 0 = -4*o - z + 13. Solve 3*f + q + 4 = -3*n, -f - 3 = 0 for n.
1
Suppose -w - 8*m - 6 = 0, -4*w + 18 = -5*m + 5. Let x be (9/(-12))/(2/(-16)). Suppose -a = -x*a. Solve w*f = 4*j - 8, a*j + j - 2*f = 5 for j.
1
Suppose 4*i - i = 6. Suppose 0 = t - 45 + 36, 21*w + 2*t = 19*w + 34. Solve 0*d - i*d = -4*f - w, -3*d + f + 12 = 0 for d.
4
Let d = 5248 + -5245. Solve 2*m + 12 = d*q, 2 = 2*m - 12*q + 16*q for m.
-3
Let s(f) = -f + 6. Let v be s(6). Let t(u) = -u**3 + 2*u**2 + 7*u + 7. Let a be t(-4). Let z = a + -71. Solve w + d + 5 = v, 0*d = z*w - 3*d + 6 for w.
-3
Suppose 142*u - 276*u + 142*u = 0. Solve 3*b = t + 17, -t + 10*b - 6*b - 21 = u for t.
-5
Let q = -24681 + 24702. Solve 23*w = q*w + 5*k + 21, -3*k = 15 for w.
-2
Let s be 27/(-18)*(-70)/1. Suppose -4*x + s = 3*x. Suppose -x*n + 361 = 61. Solve -5*o + 3*p = -n, 0 = -0*o + o - 3*p - 16 for o.
1
Let h be (23*(-22)/(-253))/((24/(-76))/(-3)). Solve 4*o - 3*n - h = 0, n - 21 + 29 = 3*o for o.
1
Let a(y) = 3*y**2 - 14*y. Let d be (10/(-15))/(4/(-30)). Let k be a(d). Suppose 2*x = k + 1. Solve x*i + f - 3 = 2, 5*f = 4*i + 25 for i.
0
Suppose 50 = 4*o + a, -2*o + 0*o = 5*a - 34. Suppose 4*t - o = -4*y, 0*y - 2*t - 4 = -3*y. Solve -5*g - 2*b = y*b - 21, -5*g - 5*b + 25 = 0 for g.
1
Let s(j) = -3*j - 18. Let i be 83/3 - 2/3. Suppose 5 = -o, -5*r - o - 67 + i = 0. Let x be s(r). Solve 0 = -2*g + 10, -19 = -3*b + b - x*g for b.
2
Suppose -337 - 121 = -98*z - 66. Solve -10 = z*q - 14, -f + 10 = 4*q for f.
6
Suppose 0 = -4*t + 1015 - 283. Suppose 175*f - t*f + 40 = 0. Solve 12 = n + 3*o, 4*n - n = -f*o + 16 for n.
-3
Let n(x) = -14*x. Let y be n(0). Suppose y = -2*g + 7*o - 6*o + 7, -4*g + 17 = -3*o. Solve 0 = k + 2, g*k = 2*j + 3*k + 8 for j.
-3
Let a(s) = 8*s + 51. Let v(k) = -5*k**3 + 7*k - 8. Let o be v(1). Let j be a(o). Let c = -1 - -3. Solve j*g + c*g = q + 12, -2*q = -2*g for q.
3
Suppose 4*s + 3*u - 19 = 0, 0*s = -s + u - 4. Let c = -33 - -35. Let d be s + 1/2 + 1/c. Solve -2*f - 8 = 5*i, -i + d*f - 4*f = 0 for i.
-2
Suppose -18 = o - 6*y, 3*y - 9 = 3*o - 2*o. Solve 3*v = 5*m + 21 + 5, v + m + 2 = o for v.
2
Let a(w) = 9*w**2 + 25*w + 27. Let c be a(-6). Suppose -c*u = -196*u. Solve -5*s + u*s - 2*n - 33 = 0, -2*s + 10 = -5*n for s.
-5
Suppose -501 = 16*x - 549. Solve u - 10 = 5*d, 4*d - 10 = 9*d - x*u for d.
-2
Suppose 3*k - 15 = -4*o + 11, k - 30 = -4*o. Suppose 11*z + 54 = o*z. Let y be (-48)/z + 2/6. Solve 28 = -4*p + y*q, q - 5*q = -p - 20 for p.
-4
Let z be 6/(-18) - (-145)/3. Suppose 7*x - z = x. Suppose 10*w = x + 12. Solve 4*c + 8 = 0, -3*q + w*c + 8 = -4*q for q.
-4
Suppose 0 = -o + 2 + 18. Let w be o + (4 - 16)/(-4). Suppose 4*x - 30*x + 52 = 0. Solve -g = 3*r + g + w, -4*g - 26 = x*r for r.
-5
Suppose -20*f = -13*f - 14. Let n be (f/(-4))/(2/(-8)). Let x be (-63)/(-35) - -1*(-1)/(-5). Solve 0 = 5*r + 4*q - 3*q - 28, n*q = x*r - 4 for r.
5
Suppose v - d - d - 27 = 0, -4 = -2*d. Suppose v - 19 = 6*u. Solve -4*y = 20, -3*y = -q + u*y + 30 for q.
5
Suppose q - 5*s - 85 = 0, q + 5*s = -4*q + 455. Let x(n) = 2*n + 48. Let f be x(22). Let c = f - q. Solve 4*r = b + 1, 0 = -5*b + 2*b + c*r + 7 for b.
3
Suppose -17*d + 15*d - 700 = 0. Let k = -345 - d. Solve 1 = 3*j + r + 2, -16 = 4*j + k*r for j.
1
Let s = -26 - -28. Suppose 0 = -3*u - 3*h + 3, h = s*u + 1 - 6. Suppose -u = t - 3*t. Solve 2*f - n - 9 = -t, -f - 5 = 4*n for f.
3
Let u = -7 - -2. Let b(v) = 8*v + 44. Let c be b(u). Let j be (-3 + -2)*12/(-20). Solve 3*t = -j*g - 18, -2*t - 13 = c*g + 1 for t.
-5
Suppose -6*x = -225 + 213. Solve -4*l + 17 = -3*h, 23*l + 16 = -x*h + 28*l for h.
-3
Let f be (-12)/(-15)*2/6*(66 - 51). Solve 26 = -2*h + k + 29, -f*k = -4 for h.
2
Let w = -10950 - -10969. Solve 4*n = -14*l + w*l + 21, -3*n + 2*l + 7 = 0 for n.
-1
Let v = -117 - -120. Suppose -51*c - 3*j = -45*c - 18, -3*c = -5*j - 9. Let g(t) = -t - 6. Let k be g(-6). Solve v*d - c = 5*b, k = b + b for d.
1
Suppose 8*z = 20*z - 3*z + 23*z. Solve 5*s - 19 = 3*j, z = s + j + 5 - 12 for s.
5
Let i = 0 - -22. Suppose 3*k = 5*t - 17, -3*k - i = -2*t + 2*k. Let o be 1/t - (4 - 7). Solve -o*j - 5*g = -9, 4*j - 2*g + 17 + 9 = 0 for j.
-4
Let f(r) = 3*r**3 - 30*r**2 + 26*r + 12. Let d be f(9). Solve 3*i + 18 - 3 = -3*p, 5*p - d*i = 7 for p.
-1
Let o(z) = z**3 - 2*z**2 - 14*z - 20. Let m be o(6). Suppose -4*f - f - m = 0. Let h be 4*(-2)/f + 1. Solve h*q = 3*c - 15, -3*c - 2*q + 1 + 2 = 0 for c.
3
Let a(o) = -2*o**2 - 7*o + 4. Let h = -100 - -104. Let j be -6 + h/12*6. Let y be a(j). Solve 16 = -y*d + 5*d - b, 3*b - 6 = -3*d for d.
3
Let x = -1779 - -1779. Solve v - 4*g + x = -2, 4*v + 2*g + 26 = 0 for v.
-6
Let o = -3 - -6. Let y(b) = b**3 + 40*b**2 - 429*b - 18247. Let l be y(-39). Solve 2*i + 0*i = -t + l, -o = -3*t for i.
2
Let t be (-196)/21*6/4. Let u = -15 + 33. Let q = t + u. Solve k - 16 = -0*m + 3*m, -q*m - 19 = k for k.
1
Let t = 254 - 250. Suppose -i + 3*r + r - 12 = 0, 0 = 4*i - t*r. Solve 0*l + i*l + 3*b = 28, 0 = b - 4 for l.
4
Let k(r) = -90*r**3 - 5 + 41*r - 46*r - 46*r**3. Let a be k(-1). Let y = -133 + a. Solve y*f = -3*u - 18, 2*u - 3*f + 6 = -u for u.
-4
Suppose 34 = 3*i - 5*k, 2*i + i = 3*k + 24. Suppose -159*r - 30 = -154*r, 2*y + 3*r = -8. Solve -8 = 2*m, -y*t - i*m - 2 - 20 = 0 for t.
-2
Suppose -24 = -3*y - 3*i, 2*y + 10 = 5*i - 9. Solve 2 = -r - g, y*r - 10 = 13*g - 12*g for r.
2
Suppose -5*d + 3*f = 31 - 426, -2*d + 2*f + 158 = 0. Suppose 76*l + 15 = d*l. Solve 2*r + 2*x = -2*x, -12 = l*r - 2*x for r.
-2
Suppose 3*u - q - 17 = -4, u - 4*q = -3. Solve -w + z - u = 0, 2*w + 32*z = 37*z - 25 for w.
0
Let f = -1695 + 1697. Solve n + m + 17 = -3*n, f*n = 5*m - 25 for n.
-5
Let i = 80 + -72. Suppose -i*g = 14*g - 88. Solve y = -o + 2, g*o = -5*y + 2 + 8 for y.
2
Suppose -109*w - 31*w - 58*w = -2772. Solve 10*k - w*k + 6 = -2*f, -21 = -4*k - f for k.
4
Suppose -42*k + 37*k + 2*b + 14 = 0, 3*b + 10 = 2*k. Solve k*h + 2*a = -0*a + 6, -5*a + 10 = 0 for h.
1
Let o = 7554 - 7551. Solve -2*n = d + o, -5*n + 18 = -9*n + 2*d for n.
-3
Let w be 3 - (-2 + 6/2). Let b be (w/(-2))/(4/24). Let r be 4/b + (-595)/(-51). Solve 16 = -3*a - 2*m, -1 = -a - 3*m - r for a.
-4
Let q be (-1148)/(-16) + (-1)/(-4). Suppose 15*g + 27 = q. Solve n + 0*n + s = -1, -4*n + g*s = -10 for n.
1
Let m(c) = -6*c**2 + 5*c - 1. Let z be m(4). Suppose 0 = -4*t + 172 + 296. Let i = z + t. Solve 0 = -2*g + 10, -4*k + 9*k + 5*g - i = 0 for k.
3
Suppose -a - 210 = a. Let u = -104 - a. Solve -i - 3 = 2*b, 3*i + 2*i + u = 4*b for b.
-1
Let h(k) = k**2 - 9*k + 17. Let c be h(-8). Let y = 156 - c. Solve -w + 4*m + 2 = 0, -y*w = -3*m + 6 - 3 for w.
-2
Let a(z) = 3*z + 20. Let h be 17 - (4 + (-14)/2). Let f = h - 26. Let o be a(f). Solve 3*t + 5*g - o*g - 18 = 0, -4*g = 5*t - 27 for t.
3
Let b = 2236 + -1341. Suppose 945 = 10*u + b. Solve 0*h - 2*h - 5 = -3*t, u = -5*h for t.
1
Let u(g) = -g**2 + 855*g + 11284. Let r be u(-13). Solve -4*q - 2*m + 22 = r, -5*q + 0*m + 10 = -m for q.
3
Suppose -15*i - 5*i + 20 = 0. Solve 2*s - i = -a, -2*a - 8 = 2 for s.
3
Let o(a) = -a**2 + 8*a - 9. Let t be o(8). Let i = -3 - t. Suppose -g = 2*k - 17, -2*k - 15 = -3*g - 4. Solve