 for m.
1
Suppose -11*y - 3*y + 1120 = 0. Let d = y - 80. Solve -b + v = -d*v - 2, -b - v = -4 for b.
3
Let x(y) = -y**2 + 8*y + 3. Let j be x(8). Let o be -8*((-1266)/21 + (-2)/(-7)). Suppose -o = -19*t - 195. Solve j*w = 3*n - 9, 4*w + 2 = -n - t for n.
-1
Let i(o) = 29*o - 68. Let j be i(4). Let l be (1/3)/((136/j)/17). Solve z + 0*z + l = 4*d, -11 = -3*d - 4*z for d.
1
Let p be 2 - (2 + 4 - 4). Suppose p = -13*y - 15 + 41. Solve 0 = g - y*v - 10, -12 = 4*v - v for g.
2
Suppose 13*o = 18*o + 210. Let u be (108/o)/(0 - (-3)/(-28)). Suppose -19*y + u*y - 25 = 0. Solve 0 = v - 5*q, 0*v - q + 24 = -y*v for v.
-5
Suppose 11*a - a - 30 = 0. Let k be 216/16 + -10 + (-1)/2. Solve -6*j + 2*j = 2*b - 2, -k*b = j - a for b.
1
Let v = -377 + 473. Suppose -v = 3*y - 11*y. Solve -y - 14 = 4*a + 3*w, 3*a = -3*w - 21 for a.
-5
Let t = 399 - 397. Solve 3*f - 26 = 4*r, -3*f + t*r = -0*r - 16 for f.
2
Suppose l - 2 = -0*l. Let x = 4604 - 4600. Let p = x - l. Solve 4*d + d + 5*n - 30 = 0, -3*d = p*n - 14 for d.
2
Let k = -7186 - -7194. Solve -5*r - 7*q + k*q = -3, -3*r - 5*q = -13 for r.
1
Suppose -2*s - 75 = -85. Suppose 4*q + 8 = -r + 3*q, -12 = -2*r + s*q. Let t be 0 + 2 - 12/r. Solve h + h + 9 = t*c, 0 = 5*c - 5*h - 15 for c.
1
Suppose 0 = 6*j - 46 - 26. Suppose -6*m = -40 + 10. Solve -4*u - m*w + 11 = 0, -4*w + 0 = -j for u.
-1
Let b = -422 + 422. Let k(i) be the first derivative of 2*i**2 - i - 4. Let r be k(1). Solve -3*w = p + 2*p + 21, -r*w + 4*p = b for w.
-4
Let x be 1/(-11)*(75 + -108). Solve -d - 7 - 15 = x*b, -2*d - 14 = 0 for b.
-5
Let q be 4/(-14) + 1956/84. Let o(p) = -p + 23. Let n be o(q). Solve 9*r - 4*r + 2 = -a, r + a + 2 = n for r.
0
Let j = 23065 + -23061. Solve 0 = j*p + 4, 5*u - 7*p + 3*p - 4 = 0 for u.
0
Let i be 3/(-6) + 1 - 920/(-16). Let n be (-6)/42 - i/(-14). Suppose -5*l + n*h = -2, 5*l - 10 = 2*l - 2*h. Solve l*m = y - 5*y + 18, -4*m + 28 = 4*y for m.
5
Suppose i - 15 = z, 3*i + 273*z - 55 = 274*z. Let s = 14 - 13. Solve -4*t + i = 3*r, -3*t = -r - 3 + s for t.
2
Suppose -567 = -3*j + 2082. Let q = -879 + j. Solve -5*r = q*l, -r = -4*l + r for l.
0
Let p be 19 + (-528)/32 - ((-3)/6)/(-1). Solve 0 = 3*n + b + 8, 2*n - 3 = -p*b + 3*b for n.
-1
Suppose 4*j - 96 = 2*j. Suppose -4*x + 213 = -0*n - n, x - j = 2*n. Let o = x - 50. Solve o*w = -3*u, -2*w = u - 6 + 4 for w.
3
Let k = -438 + 548. Let g = -110 + k. Solve -2*m + 4*j + 10 = g, -5 = 2*j + 5 for m.
-5
Let w = -319 + 89. Let h = w - -256. Solve -4*d + h = 2*i, 3*d = d - 3*i + 19 for d.
5
Let k(o) = -103*o**3 + 2*o**2 - 2. Let p be k(1). Let j = p - -106. Solve -4*b - 1 = 3*v, v - j*b = 4*v + 3 for v.
-3
Let x = -2043 - -2055. Solve 4*m - x = c + c, -3*c - 7 = 5*m for c.
-4
Suppose 12 = -12*b + 24. Let p be (5/10 + b)*(-12)/(-9). Solve 3*n + n + r = p, -4*r = 8 for n.
1
Suppose -47 - 28 = -5*f. Suppose -l + z + 3 = -6, 2*z = l - 4. Let w be (4/l)/(-8*7/(-392)). Solve -b + 5*j = -2*b - f, 0 = -3*b + w*j - 11 for b.
-5
Let s = 205 + -144. Suppose -s*g + 18 = -55*g. Solve -4*z - 15 = 5*x - 4, 3*z = g*x + 12 for z.
1
Let b = 754 + -744. Let j be ((-65)/325)/((-11)/b - -1). Solve 3*w + 8 = 4*k + j*w, -4 = -2*k - 4*w for k.
2
Let b(g) = -g**2 - 10*g - 20. Let u be b(-4). Suppose -2*t - 18 + u = -5*d, 0 = 4*d + 4*t. Solve -9 = v + 4*q + d, 2*q = 3*v + 5 for v.
-3
Suppose -7*p + 6 = -8. Suppose p*o - 14 + 68 = -n, -1 = o. Let j be (-299)/n + (-3)/4. Solve j*s + 3*z = -0*s - 25, -z = 0 for s.
-5
Let w be (-11919)/(-33) - (1 - (-36)/(-44)). Let s = w - 361. Solve 0*t + t - y - 2 = s, -5*t = -4*y - 7 for t.
-1
Let j be -50*1*13/(-130). Solve 4*p + p + 50 = -j*n, -4*n = -4*p for n.
-5
Suppose -10*u + 9*u + 10 = 0. Suppose u = 3*k - 2*y, -2*y - 6 = y. Solve 6*q - k*q = 16, -4*z + 16 = -q for z.
5
Suppose 3*d - 654 = 9*d. Let j = d + 111. Solve -t = -4, -3*v - j*t + 7 = -1 for v.
0
Suppose 34*h = 32*h. Suppose 3*f - 28 + 1 = 5*r, h = 4*f - 2*r - 22. Let j be f*5/(7 + -2). Solve -8 = 3*w - 5*w + j*a, 2*w + 8 = -4*a for w.
0
Let r be ((-106)/8*2)/(5/(-10)). Let f = 57 - r. Let o = -19 - -34. Solve 5*p = -f*s + 25, p - 4*p = -5*s - o for p.
5
Let u(m) = 2*m + 24. Let o be (3 - (-4 + 6))*15. Let b be (-24)/36*(o - 0). Let z be u(b). Solve -5*d - 1 = 2*l + 3, z*d = l - 11 for l.
3
Let s = 16658 - 16658. Solve s = -5*r - 5*b - 17 - 3, b + 3 = 0 for r.
-1
Suppose y + 8 = 2*v - 0, 2*y + 7 = v. Suppose -197 = v*s - 203. Solve -2*t - 5*q = -0 + 14, -q + 2 = -s*t for t.
-2
Let u be (4 - 8/3)*9. Solve -2*a + 17*w - 15 = u*w, 4*a - 4*w + 24 = 0 for a.
-5
Suppose 80*i - 121 = 199. Solve 25*p = j + 22*p - i, 0 = 3*j + 2*p - 12 for j.
4
Let t be -18 - (9 - 34/2). Let c be 140/(-42)*18/t. Solve 4*u - 3*v - 7 - 1 = 0, -3*u + c = -2*v for u.
2
Suppose -3*z = -15, -4*i - 296 = -3*z - 297. Solve 2*g - 3*n = 8, g + 2*n = -i + 1 for g.
1
Suppose 4*o - 5*j + 2*j = 14, -2*j = 2*o. Let a(u) = -u**3 + 4*u**2 + u - 5. Let s be a(o). Solve -5 - 1 = 4*b - 2*k, 0 = -2*b + s*k - 23 for b.
1
Let d be -1 - -17 - (56 + -57). Solve 0 = -2*z + 3*a + d, 13*z - 11*z = 4*a + 22 for z.
1
Let k be (-24)/(-228) - 4/(-76)*435. Solve -5*s + 10*s = -2*i - 21, i + k = -5*s for i.
2
Suppose 0 = -3*f - 5*v - 25, -3*f - 3 - 38 = v. Let c = 21 + f. Solve 4*i + 4*x - 2*x = 14, i = -x + c for i.
1
Suppose 22 = 2*t + 4. Suppose s = 2*a - 2*s + t, -22 = -4*a - 2*s. Suppose -88*m + 48 = -72*m. Solve -4*b + 3*j - 12 + 3 = 0, a*j = -m for b.
-3
Suppose -23*m - 8 = -19*m, 15 = 5*v + 5*m. Solve -v*g - 17 + 8 = 2*k, 3*g + 3*k + 9 = 0 for g.
-1
Let n(j) = j**2 - 22*j - 22. Let m be n(23). Let w be ((-2)/(-6) - 0)/(19/171). Solve -5 = h + 5*q, w*h + m = 6*h - q for h.
0
Suppose -21 = 27*q + 411. Let d be (-8 + 16)/q - 5/(-2). Solve -7*n = -d*b - 3*n + 26, 0 = b + 5*n + 22 for b.
3
Let u(o) = -o**3 + 11*o**2 + o - 5. Let f be u(11). Suppose f*x + 539 = -x. Let z = -59 - x. Solve z = 2*c - 3*h, -h = c + h + 5 for c.
3
Suppose 34*s + 3*t = 33*s + 7, -2*s - 4 = -3*t. Solve 4*g - s + 17 = 0, -28 = -4*h + 2*g for h.
5
Let q(m) = -m**3 - 2*m**2 + 4*m + 7. Let x be q(-3). Let y = 66 - 66. Let c = y + x. Solve c*u - 5*f + 30 = 0, 0 = 5*u + 3*f + f + 17 for u.
-5
Let a be (-3)/(-7)*784/84. Solve -2*i - a*x + 3 = 19, 4*x + 8 = 0 for i.
-4
Suppose 129 = 9*s + 12. Let x = 16 - s. Solve -3*i + 1 = -w + 2, -4*i = -x*w - 2 for i.
-1
Let m(o) = 2*o**2 - 48*o - 46. Let k be m(25). Let p = 199 + -59. Suppose 6*f - p = 2*f. Solve 5*l - f = 4*y, -2*l - y = l - k for l.
3
Let f(g) = -4*g**2 + 10*g - 4. Let a be f(-3). Let b = a + 72. Solve -4*r + 4 = -b*m, 5 = 2*r + 3*m - 5 for r.
2
Suppose -399 = 4*q + 233. Let y = q - -162. Solve x = h + 1 + y, -12 = -3*x + 2*h for x.
2
Let z be 10 + (-15)/(-6)*-2. Solve z*r - 3*b = 5, -22*r + 21*r - 2*b = -1 for r.
1
Let g = 507 - 507. Solve -2*m - 4*x = -12, -m + g = x - 2 for m.
-2
Let d(f) = -f**2 + 5*f + 4. Let p be d(5). Let n(m) = m**2 - 35*m + 37. Let o be n(0). Let s = o + -17. Solve 5*y = -25, 0*y = i - p*y - s for i.
0
Suppose -4*k + 60 = 4*d, 137 = 5*d - 4*k + 35. Solve d = -3*o + z, -6*o + o = -2*z + 30 for o.
-6
Let b = 7085 + -7083. Solve 0 = -2*j + 4*z - 16, j - 10*z - b = -13*z for j.
-4
Let d be ((-16)/(-6))/((-14)/(-42)). Let s be (-6)/33 - d/(-44). Solve s = -2*k + 4, -8 = 2*q - 3*k - 0 for q.
-1
Suppose 54*j = 295 - 79. Let h(l) = l**2 - 2*l - 7. Let u be h(5). Suppose j*p + 0 = -u, -4*k + p + 10 = 0. Solve -4*d + v + 3 = -k, 5*v = 5*d - 10 for d.
1
Let o = 12050 - 12048. Solve 0 = o*l + 4*j - 5 - 9, -2*l - j = -8 for l.
3
Let m be (-20)/25*30/(-12). Solve n = w - 4, -8 = -15*w + 16*w + m*n for w.
0
Suppose -17*y + 854 = 327. Solve -4*h - 5*z - 4 + y = 0, -4*h - 4*z = -24 for h.
3
Suppose 0 = 58*a - 54*a + 5*k - 21, -2*k - 18 = -5*a. Solve -z = -28*w + 24*w + 9, 4*w = -a*z - 16 for z.
-5
Suppose 3*m = -4*p + 33 + 12, 2*p + 2*m - 24 = 0. Let z be (4/(5 - p) - -2)*5. Let v = 9 - -6. Solve -2*b - 15 = -5*c - z*b, -5*c + v = -b for c.
3
Let h(i) = -10*i - 78. Let p be h(-7). Let r be -5*p/(-20) + 4. Solve 2*m - 9 = -5*k + 1, -k + 3*m = -r for k.
2
Let h be 56/196 + ((-25)/(-35) - -1). Solve 0 = 8*k - 7*k + h*f, -4*k = -2*f for k.
0
Suppose -153*w - 20*w + 4671 = 0. Solve 20 = -4*h, 4*h + w = -2*j + 9 for j.
1
Suppose -91*i - 144*i + 235 = 0. Solve 0 = -4*v - 2*j + 13 - i, 0 = -5*v + 4*j + 15 for v.
3
Let w = -27 + 31