b - b - 5*g, -5*b + 25 = -k*g for b.
3
Let z = 4 + 1. Let j(x) = -85*x - 51 - 99*x - 2*x**2 + 148*x. Let i be j(-16). Solve 0 = -m - 5*p + i, 4*m = -5*p + 2 + z for m.
-2
Let b be 4 + -6 - (-9 - (1 + 1)). Let g be (-72)/6*3/b*-1. Suppose 8*q - 10 = 3*q. Solve -z - 4*r - 7 = 0, r - g = z + q*r for z.
-3
Suppose -115 + 745 = 14*n + 56*n. Solve -k + 4*k - n = 3*v, -16 = -4*v for k.
7
Suppose 90*w + 400 = -85*w + 191*w. Solve -20*h - 25 = -w*h, -21 = -2*i - 3*h for i.
3
Let k = -97 + 100. Suppose k*n = 91 - 97. Let y be (-7 - n - -9) + 3. Solve 2 = c, 3*z + 22 = y*z + 3*c for z.
4
Suppose -200 = -21*j - 7*j - 12*j. Solve k + 24 = j*z, 4 = -4*k + 20*z - 23*z for k.
-4
Suppose -9*z + 3 + 33 = 0. Suppose -3*a = -z*q - 36, -4*a = 4*q - 17 - 3. Solve o + 4*k - 9 = -1, -a = 5*o - 4*k for o.
0
Let b(x) = -2*x**3 - 14*x**2 + 10*x - 1. Let l be b(4). Let a = l + 318. Solve 2*k - 14 = -a*n, -n - 8 = -5*k - 0 for n.
2
Suppose -3*n + 33 = 5*z, -n + 5 = 3*z - 2. Suppose -3*q - 66 - 18 = -4*g, 2*q = g - n. Let b = g - 20. Solve -j = -b, 2*u + 0*u + 4*j = 20 for u.
2
Suppose -2*k = 5*b - 8, b + k = 2 - 1. Suppose 4*l = u - 115, 0*u = -b*u + 3*l + 205. Let f = u + -92. Solve i = f*i - w + 2, -3*i + 3*w = -3 for i.
-3
Let l(t) = -74*t - 125. Let a be l(-5). Let s = -242 + a. Solve -m + 10 + s = -4*g, 10 = -4*g - 2*m for g.
-3
Let b = -1 + 3. Let h(u) = 2*u**3 - 65*u**2 + 33*u - 30. Let c be h(32). Solve -b*d - 3 = 3*w, w = c*d - 5*d + 6 for w.
-3
Let d(f) = -f + 12. Let w be d(-5). Let n be 28/(-2)*(w - 21). Let h = n - 54. Solve -a = h*q - 5, 3*a - 15 = 2*a - 4*q for a.
-5
Suppose -426 = -410*x + 94*x + 206. Solve 3*u = 5 + 4, -x*t - 4*u = -4 for t.
-4
Let w = -5638 - -5638. Solve w = 2*g, 3*g + 0*g + 15 = -3*a for a.
-5
Let u = 24 - 20. Suppose u*h - 51 - 29 = 0. Suppose 4*q - h = 3*q. Solve q = -2*w - p + 4*p, 0 = 5*w + 3*p + 8 for w.
-4
Suppose 8*j - 20 = -5*q - 37, 2*q + 10 = -4*j. Solve -4*d - 6*h = -q*h + 17, 5*d + 5*h + 25 = 0 for d.
-2
Let c = 83 - 78. Suppose 3*b = 4*g + 26, 2*b - 1 - 13 = 2*g. Solve c*t - 14 = -m + 12, b*m + 13 = 3*t for m.
1
Let x(y) = -2*y - 49. Let c be x(-27). Suppose c*u - 15 = v, -4*u - 11*v = -13*v - 6. Solve 3*o = u*s - 5*s + 4, 3*s + 3*o - 12 = 0 for s.
4
Let r be (-7)/1 + (9 - -112). Let m be r/7 + -11 - 2/7. Solve 0 = -s - 3, -s = 4*p + m + 14 for p.
-4
Let q(p) = 44*p + 947. Let d be q(-21). Let t = 4 - 1. Solve 3*i + 2*g = 1, -i + t*g + g - d = 0 for i.
-3
Suppose -257*y + 132 = -224*y. Solve -3*u = y*a + 27, -2*a - 10*u + 6*u = 16 for a.
-6
Suppose -5*j - 21 = -12*j. Suppose 52 = 5*b + 3*s, -3*b = -0*s + 4*s - 29. Suppose -b = j*m - 23. Solve -t = 4*o - 7 - 7, o = -4*t - m for o.
4
Suppose 237 = 5*j - 98. Suppose -j*p - 10 = -69*p. Solve 0 = 2*n - 8, -p*n + 16 = -5*y - 4 for y.
0
Let a be (-16)/(-84)*3 + (-1326)/42. Let m(y) = -5*y - 146. Let v be m(a). Solve -2*w - 5*r - 19 = 0, -2*w + v = -4*w - 3*r for w.
3
Let z = -9878 + 9911. Solve 0 = 4*m - 16, 5*m - 7 - z = -5*n for n.
4
Let u(v) = 10*v**2 - v - 1. Let c be u(-1). Suppose 16*d - c*d = 12. Solve 0*x + 2*x = h - 1, d*x + 11 = 3*h for x.
2
Suppose 4*p - 3 = 29. Suppose 3*u = 4*x + 87 - 8, -5*u + 62 = -3*x. Let r be 2 + 4 + (x - -25). Solve 2*a - 2*f + p = 0, r = -3*a + 3*f + f for a.
-4
Suppose -168 = -3*q + 165. Suppose -4*i - 45 = -4*g + 3*g, 0 = 2*g - i - q. Let h = g - 52. Solve -a = 4*u - 4*a + 1, u + 4*a + h = 0 for u.
-1
Let b = -1406 - -648. Let m = b - -762. Solve -5*v = -m*a + 15, v + 1 = 4*a - 2 for v.
-3
Suppose -5*w - 35*m + 53 = -33*m, m = -w + 10. Solve 4*j + w = 50*h - 51*h, 0 = -3*j + 2*h - 11 for j.
-3
Let z = -17527 - -17548. Solve -2*v + 2*o = 2, -3*v - 2*v = 3*o + z for v.
-3
Let l(r) = -2*r - 4*r + 6*r**2 + 3*r + 27 - 31. Let a be l(2). Suppose 5*j = -v - 5, -4*v + v + 4*j = -4. Solve d + 5*b - 20 = v, -7*d + 2*b = -3*d - a for d.
5
Let b(i) = -i**3 - 8*i**2 + 11*i + 21. Let j be 2*((-105)/(-245))/(2/(-21)). Let p be b(j). Solve p*s - 12 = -3*g, -2*g = s + 2*g - 7 for s.
3
Let m(v) = 59*v - 1471. Let g be m(25). Solve -2*c + 29 = 4*l + 21, g*l - 6 = -3*c for l.
3
Let b(g) = -g**2 - 27*g + 282. Let f be b(-35). Solve -4 = -4*o - 4*v, f*v - 4 = -4*o + 6*v for o.
1
Let j(t) = -t**2 - 253*t - 2660. Let w be j(-11). Solve w*v - 16 = -5*p, -18*v + 19*v = 2*p - 1 for v.
3
Let w(h) = h**3 + 17*h**2 + 62*h + 170. Let q be w(-13). Solve 6 = 3*z + j + 1, -4*z = -7*j - q for z.
3
Suppose k + 24 = 4*k. Let p be (k/14)/((-5)/(70/(-4))). Solve 4*u - 4*d = 36, 2*d = p*u + 3*d - 6 for u.
5
Suppose -216*s + 540 = -479 + 155. Solve -2*x + s*o - 6 = 6*o, 3*x + 9 = 5*o for x.
-3
Suppose -2*m = -3*m - 5*c + 199, 0 = 5*m + 5*c - 895. Suppose -5*f + m = -146. Let v = f + -57. Solve 4*k + 4*t - 32 = 0, 4*k + 0*k - t - v = 0 for k.
3
Let o(x) = -x + 6. Let r be o(7). Let s be (4/12)/(r/3) + 3. Suppose 0 = -4*b + s*b + 8. Solve 3*d = -d - 5*f + 37, -2*f + 22 = b*d for d.
3
Let j = -1 - -3. Let c be (4/26 - 18179/(-2756)) + (-11)/(-44). Solve -j*f + c*f - i - 13 = 0, -2*i = -5*f + 16 for f.
2
Suppose -26*r - 42 = -32*r. Suppose -40 = r*n - 68. Let k = 6 + -3. Solve -2*g + 2*a = -10, 3*a = -5*g + n*g - k for g.
3
Let g(f) = -38*f - 2239. Let l be g(-59). Solve l*a - 2 = u - 9, 0 = -4*a - u for a.
-1
Suppose -49*y + 392 = -21*y. Suppose -5*v + 6*t + 14 = 5*t, -3*t = -v + y. Solve 4*s + 20 = h + 3*h, -s = v*h + 5 for s.
-5
Let u = 5515 + -5515. Solve 3*g + g - 7 = -3*i, u = -g + 2*i - 12 for g.
-2
Let m(i) = 36*i - 1474. Let n be m(41). Suppose -5*b = -18 - 62. Solve 3*h + 12 = -3*x, n*x + b = 4*x - 4*h for x.
0
Suppose 67*c - 125 - 210 = 0. Solve c*g + 2 = -2*a - 0*a, 5*g = -a - 1 for g.
0
Let r = -5519 + 5519. Solve 4*y - l = 21, 3*y - 4*l - 6 = -r for y.
6
Let m(x) = 1 - x**3 + x**3 - x - 2 - x**3. Let o be m(-1). Suppose -z - 4*j - 9 = -4, z - 13 = 5*j. Solve -z = c - 5*d, d - 6*d = -2*c - o for c.
2
Suppose -110*x + 4 = -109*x - s, 6 = -3*x - 3*s. Solve 5*p + n = 3, 553*p + 2*n + x = 550*p for p.
1
Suppose -57*i = -82*i + 75. Let t be -4 - (-3)/i*(11 - 2). Solve t*b - 19 = -4, 4*u - 5*b + 35 = 0 for u.
-5
Let c = -43 + 73. Let g be (-268)/(-6) - (-10)/c. Let z = 50 - g. Solve -z*l + 2*w = w + 13, 0 = 2*l - 2*w + 10 for l.
-2
Let d be (-46 - -44)/((-2)/(-8)). Let s(a) = a**3 + 9*a**2 + 7*a - 7. Let r be s(d). Solve 0 = -3*q - 3*k + 7*k - 11, 2*q = k + r for q.
3
Let n be ((-8 - -43)/(-7))/(-6 - -5). Solve 0 = 4*s + n*q - 13, 2*q = 4*s + q - 7 for s.
2
Let z = -677 - -679. Solve 3*i - z = 7, -3*s = -4*i for s.
4
Suppose -6 = -4*t - 3*y, -2*t = -34*y + 39*y + 18. Solve 6*n - 2*b = 4*n - 4, 0 = n - 2*b + t for n.
2
Let l(a) be the first derivative of 3*a**4/2 - 2*a**3/3 + 3*a**2/2 - 2*a + 67. Let t be l(1). Solve t*z - 30 = -2*f, -3*z + 2*z + 14 = 2*f for f.
5
Suppose -2*o + 4*k = 8, o + 8 = k + 2*k. Let h = o + 1. Solve h*l = -2*j, 0 = -3*j + 2*l - l for j.
0
Let w = -169 - -173. Let c be w - (-14 - (2 + -4)). Solve 27 = 3*d + 3*j, 0*d - 4*j + c = -d for d.
4
Let v = 18 + -14. Let f(r) = -12. Let n(t) = -t + 36. Let p(q) = 8*f(q) + 3*n(q). Let d be p(v). Solve -15 = -m + 2*k, -k + d = 5 for m.
5
Suppose m = -1, 0 = -4*h + 2*m - 3*m + 495. Let q be (1767/h)/((-3)/(-4)). Solve -q = -3*i + 2*y, -2*i - 2*y + y + 8 = 0 for i.
5
Let u(f) = -2*f**2 + 84*f - 824. Let k be u(16). Solve -5*w = 2*a - 5, 3*a + 4*w = k*a + 4 for a.
0
Let o(x) = 147*x - 1319. Let s be o(9). Solve -7*h + 8*h - 5 = -v, -s*v + 22 = 5*h for h.
2
Let i = 12651 - 12609. Solve i*p - 45*p = 4*w + 7, 0 = -2*w - p - 1 for w.
2
Let n = 3778 + -3775. Suppose -3*j + 5*a + 60 = 0, 6*j + 4*a - 48 = 2*j. Let b be 6/4*(-16)/(-12). Solve t = 5*c + 17, -b*t = -n*c + t - j for c.
-3
Let t be (-2 + 6 - (-29 - 8))*(-2)/(-2). Solve 2*p - 16 = 2*v, t*p - 40*p = -4*v - 12 for v.
-4
Suppose -906 = -0*g - 6*g. Let a = g + -146. Solve -m = 4*c - 14, 5*c - 4 = 3*m + a for m.
2
Suppose 243*g - 31*g = 1453 + 2575. Suppose 3*v = q - 11, -3*v - 5 = -14. Suppose 0*z + q = 4*z. Solve 5*a + 2 = d, -4*a = z*d - 0*a + g for d.
-3
Let n be 28/1 - (-50)/((-1075)/(-43)). Solve -n = -2*g + 5*a, -10*g + 8*g - 2*a + 2 = 0 for g.
5
Suppose 3584*z + 35 = 3583*z + 5*a, -28 = -5*z - 4*a. Solve z = y + 23*f - 26*f + 2, -3*f = y + 2 for y.
-2
Let r = 6 - 3. Suppose -3*w + 2*y = w - 4, 0 = -2*w - y + 10. Suppose -a - w*a - 3*p + 25 = 0, -2*p + 6 = 0.