m - l for m.
5
Let x be ((-1)/3)/(4/(-72)). Let a be 27/x + 6/(-4). Suppose 0*z = a*z - 11*z. Solve z = -5*y - 15 for y.
-3
Let a(y) = -230*y + 3227. Let o be a(14). Solve 0 = o*v + 44 + 5 for v.
-7
Let a(v) = -2*v + 7. Let c be a(-2). Let i = c - 9. Let f be i/3 + 50/6. Solve 1 + f = 2*l for l.
5
Let j(g) = 35*g - 102. Let w be j(9). Let v = 215 - w. Solve -3 = v*x - 5 for x.
1
Let a = -42 - -50. Let y = a + -23. Let f be (-1 - -4) + y + 15. Solve -f*c = -6 - 6 for c.
4
Let r = 11 - 21. Let y be (-2 - 15/r)*-4. Let b be (2/4)/((-2)/(-12)). Solve b*j - j = y for j.
1
Let d = 147 + -145. Suppose d*x = 3*x - 11*x. Solve -2*f + x = 2 for f.
-1
Suppose 2*m - 10 = -5*s, 2*s - 5*m - 2 = s. Suppose -s*l + n - 3 = -4, -7 = -5*l + n. Solve l*r - 7*r = -20 for r.
4
Let n be (-2)/14*-460 + (-4)/(-14). Let c = n + -64. Solve -g = -2 - c for g.
4
Suppose 6300*t = 6316*t - 192. Solve t*a - 30 = 6*a for a.
5
Let i(n) = n + 23. Let f be i(-22). Let r be ((-15)/25*-5)/f. Suppose -2*l + 7*l + 20 = r*a, 3*a = 4*l + 25. Solve -a = 2*w + 3*w for w.
-3
Let a(b) = -5*b**2 + 4*b - 1. Let q be a(-3). Let n = q - -61. Suppose -2*p + 8 = 0, 3*v = -p - 3*p + 40. Solve j - v = n*j for j.
-4
Let d = 8 + -6. Suppose f = -2, 5*v + 222*f - 221*f = 13. Solve 1 = v*u - d*u for u.
1
Let p(m) = m**3 + 12*m**2 + 25*m - 12. Let c be p(-9). Suppose -2*g = -3*j - 13, g - c*g - 2*j = -23. Solve -g*r + 4*r = 4 for r.
-4
Suppose 585 = -4*u - 1291. Let f = u + 469. Solve f = -7*s + 29 - 8 for s.
3
Let m = 133 - 129. Suppose -4*f - 2*u + 7 + 3 = 0, -m*u = -20. Solve f = -5*j - 23 - 2 for j.
-5
Let p be 11/((-8)/1008*-14). Solve 91 - p = 2*i for i.
-4
Let d = -42 - -62. Suppose 85*p + d = 81*p. Let a(x) = x**3 + 4*x**2 - 7*x - 6. Let k be a(p). Solve -8 = -0*q - k*q for q.
2
Let r(y) = 9*y - 59. Let u be r(9). Suppose 14*x + u = 92. Solve 0 = -x*a - 0*a - 15 for a.
-3
Suppose 3*u - 1026 = r, -5*r - 2789 = 3*u + 2377. Let g = -1027 - r. Suppose 3*j - 5*z - 30 = 0, z - 72 = -4*j - 3*z. Solve -j = -0*l - g*l for l.
3
Suppose -2*s = -6*s + 32. Suppose -4*l = -4, s*m - 5*m - 4*l = -292. Let i = m + 101. Solve x - i = -3 for x.
2
Let i = 7587 - 7587. Solve i = -101*q + 90*q + 44 for q.
4
Let r(p) = 2*p + 103. Let j be r(-36). Solve -j - 2 = -11*w for w.
3
Let z = 19 - 8. Let b(k) = k**3 - 48 - 50 + 8*k**2 - k**2 + z*k + 105. Let u be b(-5). Solve 0 = 4*j - u - 10 for j.
3
Let x(i) = 2*i**2 - 16*i - 13. Let n be x(9). Let g be 28/8 - ((-10)/(-4) + -3). Let c be (33 + 3)/(-4*g/(-8)). Solve -n*y = -c + 3 for y.
3
Suppose -l - 2*j = -40, 225 = 5*l - 6*j + 11*j. Solve -11*t + l = 17 for t.
3
Let s = 50 - 46. Let m(w) = -w**2 - 2*w - 6. Let v be m(s). Let z = v - -35. Solve -10 = -z*u - 30 for u.
-4
Let x = 79 - 74. Suppose 3*z - 2*z = -1, -409 = -x*y - z. Let d = -78 + y. Solve -d*h - 7 = 5 for h.
-3
Suppose 0 = -4*n + 4*z + 24, -n - 13*z + 22 = -18*z. Suppose -2*k - 34*f + 39*f + 5 = 0, -4*k + 22 = n*f. Solve -4*i = k*i - 27 for i.
3
Let l = -38 + 41. Suppose 0 = -s - l*s + 28. Suppose s*j = 6 + 15. Solve j*r = 4*r - 2 for r.
2
Let b = 37945 - 37924. Solve b*h + 99 = -78*h for h.
-1
Suppose 0 = 410*s + 17*s - 22204. Solve 0 = -7*g - 19*g + s for g.
2
Let c(d) = d**3 - d - 3. Let o be c(-3). Let n be 6/o - (-114)/27. Suppose 62*l = 64*l - 10. Solve -3*r + n*r - l = 0 for r.
5
Let g = -455 - -546. Solve g*z = 119*z - 140 for z.
5
Suppose 5*u + 4*g - 113 = 2*g, 0 = -4*g + 16. Solve 33*z + u + 12 = 0 for z.
-1
Let p = 707 - 368. Let t = 347 - p. Solve c = -3*c - t for c.
-2
Suppose -5*n + 419 - 64 = 0. Let h = 71 - n. Suppose -3*l + l - 5*c + 30 = h, -13 = -l - 2*c. Solve 0 = -l*a + 19 + 1 for a.
4
Suppose -4 = 9*o - 11*o. Suppose 1 = -2*c + 3*u, -14 + 7 = -c - u. Suppose -2*k + 0*k + 5*b + c = 0, k = -o*b + 2. Solve k = -j - 1 for j.
-3
Suppose 27*h + 252 = 13*h. Let t be (5/3)/(h/(-270)). Solve 0 = -7*m + 12*m + t for m.
-5
Let s be (-368)/(-6) + 1/(-3). Suppose o - 85 = -0*o. Let q = o - s. Solve 1 + q = -5*p for p.
-5
Suppose -6 + 2 = -4*j. Let m be 4/(-10) + 2 - (67 + 14491/(-215)). Solve -m*r = -r + j for r.
-1
Let c(l) = l**2 + 4*l + 3. Let f be c(-6). Let u be 4/2 + -5 + 144/6. Let d = 25 - u. Solve f = -d*s + s for s.
-5
Let a(j) = 1 + 8*j - j + 0*j. Let d be a(3). Let o be d + 2*(-6)/(-4). Solve z = 6*z - o for z.
5
Suppose -449 = 2*f - 5*g - 15, -g = -2*f - 434. Let r = f + 227. Solve -33 + 3 = -r*n for n.
3
Let u(n) = -7*n + 8*n + 28 - 13*n. Let r be u(4). Let i = -5 - r. Solve -5*k = -0*k - i for k.
3
Let s(v) = 3*v**3 - 113*v**2 + 341*v + 5. Let d be s(3). Solve -7*n + 64 = d for n.
-4
Suppose -94 = -7*k - 53*k + 26. Solve 0 = -11*y - 13 + k for y.
-1
Suppose -28*u = -39*u + 231. Let x be (1 + (-26)/8)*(-28)/u. Solve -2*w - 7 = -x for w.
-2
Let u(o) = o**2 + 5 - 4*o**2 + 2*o**2. Let z be u(0). Suppose -6 = -z*i - 1. Solve d + i - 3 = 0 for d.
2
Let r = 114 + -114. Suppose 3*f = -u + 16 + 4, r = 5*f - 20. Solve u*k - 25 = 3*k for k.
5
Let f(c) = 2*c + 2. Let y be (-6)/(-10) - (-36)/90. Let k be f(y). Suppose -5*b + k*j + 2 = -21, -3*b - 1 = 5*j. Solve b*d - 5*d + 10 = 0 for d.
5
Suppose 0 = b + 5*x - 96, 5*b + 4*x = -57 + 453. Solve -223 = b*m + 81 for m.
-4
Suppose 0 = 2*u - i - 13, 2*i - 3 = 5*u - 33. Suppose 0 = -b - 2*t + 3*t, -b + u*t + 6 = 0. Let v = b + 6. Solve h = 2*h + v for h.
-4
Let z(v) = 4*v. Let b(o) = 2*o**2 + 1. Let r be b(-1). Let g be z(r). Let n be (-96)/84*((-13)/2 + (9 - 6)). Solve 0 = 4*c - g + n for c.
2
Let p be (-26 - -30) + 1 + -4. Let j(r) = -4*r + 1. Let d(m) = -m + 1. Let v(q) = 2*d(q) - j(q). Let t be v(p). Solve -2*i - t*i - 15 = 0 for i.
-3
Let g(i) = 8*i + 133. Let q be g(-18). Let z(o) = -o**2 - 6*o + 59. Let x be z(q). Solve -12 - x = -8*c for c.
2
Let p(f) = f**2 + 4*f + 6. Let n be p(-3). Suppose n*s = 0, -4*s + 21 = -t + 23. Solve 5*g + 18 = -t for g.
-4
Let f = 25237 + -24309. Solve -2*g - f = -918 for g.
-5
Let r = -31862 - -32016. Solve -90 = 109*k - r*k for k.
2
Let s(y) = 8*y - 101. Let b(x) = -3*x + 34. Let p(q) = -11*b(q) - 4*s(q). Let j be p(-24). Suppose 3*m = j*m - 2*m. Solve m*t - 5*t = 0 for t.
0
Suppose 12 - 30 = -6*v. Suppose v*l - 2*m - 3*m + 24 = 0, m = 0. Let d be ((-81)/(-108))/(2/l*-1). Solve 0 = -d*t - 8 + 2 for t.
-2
Let i(a) = -a**2 - 12*a - 6. Let p be i(-10). Suppose p*n = 5*n - 126. Let d be (3 - (-135)/(-35))/(4/n). Solve 0 + d = 3*q for q.
1
Suppose 2*b = -m - 7 + 15, 15 = -3*b. Solve -m*i + 12 = -24*i for i.
-2
Let w be (18/(-153) - 389/17)*-7. Suppose -9*g + w = 14*g. Solve -14 + 0 = g*a for a.
-2
Let i be 11/(-2)*(12 - 14). Suppose i = -3*c + 17. Let k be (-12 - -11)/((-1)/10). Solve c*u + 0*u - k = 0 for u.
5
Suppose -2*r + 5*x = -7*r + 10, 0 = r - 2*x - 2. Suppose -2*p = -5*k - 14, 0 = 4*p + r*k + k + 24. Let a be ((-27)/15)/(p/5). Solve -a*g + 2 = -g for g.
1
Let t = 2149 + -2119. Solve -56*r = -51*r - t for r.
6
Let n(x) = -3*x - 57. Suppose 27*c - 24*c + 57 = 0. Let r be n(c). Suppose 2*q + 3*g = -12, -2*q - 2*g - 6 - 2 = r. Solve -4*u - 12 = -q for u.
-3
Let w = -8957 + 9672. Solve -w*f + 18 = -718*f for f.
-6
Let h be 35/4 + (-7)/(-28). Let g be (-1 - h)/(-7 + 40/6). Suppose -5*a - g = -5*z, -5*z = a - 5*a - 33. Solve -z = 2*o + o for o.
-3
Let k = -52 - -39. Let r(a) = -2*a + 30. Let m be r(k). Suppose f = 8*f - m. Solve f = 2*u + 2*u for u.
2
Suppose q + 39 = -621*j + 622*j, -6*q + 126 = 4*j. Solve 0 = b - 29 + j for b.
-7
Let z = -6057 + 6144. Solve -96*f + z*f - 18 = 0 for f.
-2
Let h(b) = -b**3 + 28*b**2 - 5*b + 144. Let p be h(28). Solve -p*t + 8*t = 6*t for t.
0
Let h(i) = i**3 - 5*i**2 + 5*i - 7. Let s be h(5). Let n be (-20)/(1/2*-2). Suppose s*u = n*u - 20. Solve 3*r + 2 + u = 0 for r.
-4
Suppose -3*z - 3 = -3*v, v = -3*z + 8 + 1. Suppose 3*i + v*i = 126. Let q = 22 - i. Solve q = 2*f - 9 for f.
5
Let q = -686 + 690. Let j be 1 + 5 + 1*(q + -5). Solve -j*g + 7*g = -10 for g.
-5
Suppose -727*h + 657*h = 0. Solve -3*q + 27*q - 168 = h for q.
7
Suppose -5*f = -0*f - 45. Suppose 17 = a + f. Solve -3*o = o - a for o.
2
Suppose k + 4*b = 3, k + 5*b + 1 = 2. Suppose 0 = -k*x - 22 + 99. Solve 19 = -x*p + 5 for p.
-2
Let m(r) = -16*r + 34. Let f be m(2). Suppose 3*b - 3*s = f*b + 5, 4*b = 4*s + 12. Solve -12 + b = 2*y for y.
-5
Let d(r) = -r**3 + 6*r - 15. Suppose 0 = 74*x - 53*x + 84. Let l be d(x). Solve -10