m + 4*l for m.
2
Let c = -555 + 558. Solve 5*w = -y, c*w + w = 5*y for y.
0
Let b(w) = 6*w - 5*w - 2*w + w**2 - 2. Let u be b(2). Let p(j) = j**3 - j + 5. Let n be p(u). Solve -5*h - 12 = 3*d, -n*h + 5*d + 22 - 2 = 0 for h.
0
Suppose -v + 3 + 0 = n, 0 = -2*n - v + 10. Suppose n*o + 6 = 9*o. Solve 2*f - 1 = o*w, 3*w + 5*f - 8 = 5*w for w.
1
Suppose -4*n + 69 = -5*t + 1, 0 = t - n + 14. Let o be 37/2*-2*1. Let g = t - o. Solve -5*m + 2 - 17 = -3*y, -g = 2*m - 5*y for m.
0
Suppose -14*x + 36 + 34 = 0. Solve x*w = t - 25, -5*w + t + 3*t - 25 = 0 for w.
-5
Suppose 0 = -14*g + 13*g + 12. Solve 3*x + 0*x = 2*f + g, 0 = 3*x - 5*f - 21 for x.
2
Let v be 10/(-5) - (-4 - -2). Suppose 2*b - 3*b + 20 = v. Solve k + 5*o - 30 = -4*k, 5*o = -3*k + b for k.
5
Let k(u) = 7*u - 6. Let n be k(-2). Let a(p) = -p - 10. Let l be a(n). Solve -5*y + l = 0, -3*v - 4 = -2*y - 12 for v.
4
Let f(s) = 5*s + 5. Let j be f(-6). Let i = j + 46. Suppose -y + i = 4*z + 6, -2*z - 9 = -5*y. Solve 3*x = -x + 3*q + 4, -x - z*q + 16 = 0 for x.
4
Suppose -12 = -b + 11. Suppose 58*p + 5*y = 59*p + 27, 3 = 5*p - 2*y. Solve -p*a = 2*t - 2*a + 8, -3*t + 4*a = b for t.
-5
Let r(p) = p + 10. Suppose -d = -4*d - 18. Let q be r(d). Solve -4*f + 40 = -4*t, -2*t + q*f = -t + 25 for t.
-5
Suppose -4*c + c - 2*c = 0. Let n(x) = -x**2 + 6*x + 2. Let f be n(5). Let h = f - 5. Solve c*k + k + 6 = -3*w, -h*w - 4 = -2*k for w.
-2
Let h = -26 + 21. Let q be h + (-14)/(5/(-5)). Solve -5*j + 4*i = -q, -3*j + i = -0*j - 4 for j.
1
Suppose -5*b = -5*c + 10, 2*b + 4*c - 26 = -0*c. Suppose -3*j = -s + 4, b*s - 12 = -0*j - 5*j. Solve 2*f = s*k - f - 4, -k - f = 6 for k.
-2
Let q(o) = -o**2 + 21*o - 96. Let j be q(14). Solve 4*i - 6 = 4*t + j*i, -3*t - 5 = -i for t.
-2
Let y = -30 - -27. Let j be y + ((-44)/55)/(2/(-15)). Solve 3*f = j*t - 7 - 5, -2*f - 10 = -4*t for t.
1
Let g = 257 - 228. Solve -g = -5*c - 4, 0 = -3*f - 4*c + 17 for f.
-1
Let m = 2 + 3. Suppose 0 = j - m + 7. Let t = j - -5. Solve -3*l - 6 = t*u, 3*l + l - 27 = 3*u for l.
3
Suppose 0 = 18*z - 22*z - 128. Let c = z + 37. Solve c*t - 3*t = -2*d + 8, -d = -5 for t.
-1
Suppose 9*w - 120 = -3*w. Let n = 14 - w. Solve -n*q + 3*y = 8, -y - 3*y = 4*q + 8 for q.
-2
Let h(f) = -f + 4. Suppose -2*z + 7 = -3. Let o be h(z). Let t be -2 - (-5 + o + -1). Solve -5*w = -t*v, 7 = 2*v + 3*w + 2*w for v.
1
Suppose 62 = 81*n - 100. Solve n*x = -6, l = 5*x + 17 - 4 for l.
-2
Let c be (-1)/(-2)*50/(-5). Let i be (-58)/c - 4/(-10). Suppose 2*d + d = 2*b - 19, i = b - 2*d. Solve 0 = b*o - s + 12, -5*o = -3*o + 5*s for o.
-5
Let o(i) = -i**2 - i + 5. Let y be o(0). Suppose -y*q + 14 = 4. Suppose -g - 7 = 3*m, m + 5 = -2*g - q*m. Solve 5*c - 19 = 3*f, -2*f + g*c - 2 = 2*f for f.
2
Suppose -7*o = 5*o. Let q be 11 - (1 + 0 + -2 - o). Solve -5*v + 2 - q = 5*k, 3*k + 18 = 3*v for k.
-4
Let j(r) = r**3 + r**2 - r + 10. Let s be j(0). Let x = 13 + -10. Solve -x*w - s = -4*z, 3*z - 9 = w + 2*w for z.
1
Suppose 2*f + 10 + 0 = -2*x, 0 = 2*f - 5*x - 25. Suppose -7*p + 8*p - 3 = f. Suppose p = 2*j - j. Solve 5*k = 5*r - 2 + 7, 0 = j*r - 2*k for r.
2
Let r(v) = 3*v - 65. Let p be r(23). Solve 6*j - 12 = -3*a + 3*j, 4*a - p*j = -24 for a.
-1
Let k(d) = 2*d + 2. Let h(f) = -2*f - 17. Let i be h(-9). Let c be k(i). Solve -3*q + c*q = -2*p + 5, 0 = -4*p + 4*q + 28 for p.
4
Suppose -2*u + 35 = 5*h, 2*u = 5*h - 2*h - 21. Let f = 9 - h. Solve 2*v + t + 2*t = 20, f*t = -2*v + 16 for v.
4
Suppose -4 = -u + 3*g, 4 + 0 = u - 4*g. Solve t - 1 = -2*t - u*h, t - h = -2 for t.
-1
Suppose -4*v = -5*t - 100, -6*t + 3*t = -v + 60. Let n(q) = q**2 + 20*q. Let h be n(t). Solve 0 = 2*o + o - i + 15, h = 3*o - 2*i + 18 for o.
-4
Let v = -2043 - -2054. Solve -4*y - x - v - 9 = 0, 0 = 5*y + 3*x + 25 for y.
-5
Suppose 12*r - 52 = -r. Solve 5 = -4*o + 2*f - 13, -r*f = -o - 1 for o.
-5
Suppose -2*l = -5*p - 3, -4 = -3*p - 1. Solve -2*d - l = 4*m, -d - 3 = -5 for m.
-2
Suppose v - 2 = 0, -7*h - 4*v - 757 = -2*h. Let u be 3/2 - h/(-18). Let q = 11 + u. Solve w - 4*s = 20, 3*s + 10 = -q*w + s for w.
0
Let y be 118/10 + 2/10. Let j = y + 1. Let u = -3 - -8. Solve -3*x - x + 15 = -3*h, 2*h = -u*x + j for h.
-1
Suppose 4 = 2*p + 62. Let h = p - -32. Solve 0 = r + g - 1, -3*g + g + h = r for r.
-1
Let a(z) = 18*z + 3. Let f be a(-2). Let c be (f/12 + -3)/(1/(-4)). Solve -4*w - 5*h = -c, -3*w = -w + 2*h - 10 for w.
2
Let q = -525 - -551. Solve -1 = -5*c - 4*n - q, 4*c = -4*n - 20 for c.
-5
Let l = 114 + -110. Solve 0 - 14 = -l*z - 2*w, w = 4*z - 23 for z.
5
Suppose 5*l = 4*w - 7, -4*w - 2 + 15 = l. Solve 4*k - z + w*z = -26, 0 = -2*k + 5*z + 17 for k.
-4
Let u be (5/(-20))/(2/(-8)). Let h be (-2*u/2)/(2/(-4)). Solve -h*q - 3*q = -2*v + 5, -2*q - 31 = 5*v for v.
-5
Let k = -3 + 5. Suppose k*j + 4*a + 2 = j, -2*j - 4*a = -4. Let t(l) = l - 3. Let m be t(j). Solve 0*u = u + w, -2*w = m*u - 5 for u.
5
Let q(l) = 2*l**3 + 10*l**2 + 8*l + 10. Let j = 158 + -162. Let d be q(j). Solve -5*v + d = -3*c, -2 = -v + c - 0 for v.
2
Let b(k) = 2*k - 6. Suppose -15 = -7*u + 2*u. Suppose -5*a - 5 = 0, 3*f = f - u*a + 7. Let p be b(f). Solve 3*o = -3*t + 12, -p*t - t + 17 = 4*o for t.
1
Let n be ((-27)/(1350/20))/((-2)/15). Solve 13 = n*c + 4*h, 0 = -2*c - h + 4*h - 14 for c.
-1
Let z(t) = -t - 5. Let v be z(-5). Let u = 38 - 48. Let h be u*(-3 - (-25)/10). Solve g + 5*l + 0*l = -14, v = 5*g + h*l + 10 for g.
1
Let x(q) = q**2 - 2*q + 5. Let u be x(4). Let l be u/2 - (-21)/(-14). Solve -6*s + 35 = -s + 5*v, -4*s = l*v - 32 for s.
3
Suppose -15 = -4*c - 3*h, -6*c + 8*c = -3*h + 9. Suppose 11 = 4*a + m, -m - 13 = -4*a - 0*m. Solve 8 = p - c*t, 4*t = a*p - 0*t - 4 for p.
-4
Suppose 0*k + 2*k = -8. Suppose -28*p - 40 = -18*p. Let m be (p - 2)*2/k. Solve -x + m*h = -6*x - 37, 4*h + 26 = -2*x for x.
-5
Let g be ((-20)/(-10))/(14/4 + -3). Solve -1 - 1 = g*s + a, a + 1 = -3*s for s.
-1
Let q be 4/12*(16 - 1). Suppose 16 = q*c - 9*c. Let r = c + 18. Solve -2*j + 3*z = -14, r = 6*j - 2*j + z for j.
4
Let n(q) = 4*q**2 + q + 2. Let l be n(0). Solve -2*o + l*z = -2, o + z = 6*o - 1 for o.
0
Let z be (-8)/(((-57)/38)/((-6)/(-1))). Solve 4*h = -t + 12, -3*h + 12*t = 7*t - z for h.
4
Suppose -20 = -5*d, 8*v - 6*v = -3*d + 16. Solve 0*x = 5*b + 2*x - 24, 0 = -2*b - v*x + 12 for b.
4
Let d be (24 - 2)*1 + -1. Solve 0 = 3*h + 2*w - 4 + d, 2*h - 5*w + 5 = 0 for h.
-5
Suppose -4*k = 10 + 14. Let n be (1 + 1)*-1*15/k. Suppose 1 = j - 0. Solve n*p = -2*t, -4*t + j = -3*t + 3*p for t.
-5
Suppose -8 = -2*n + 6. Let t = -11 - -22. Let p = t - n. Solve 2*m + p = x, -x - 4*x - m - 2 = 0 for x.
0
Suppose -684 = -4*i - 672. Solve -s - 2*x - 3 = 2*x, i*s + 9 = 3*x for s.
-3
Let o = 64 - 62. Let r be (o - 3)*0/(-2). Solve 4*d = -n - 1 + 5, -n - 4 = r for d.
2
Let r be 49/56*(-24)/(-3). Solve 4*j = d + 21, -2*d + 5*j - r = 20 for d.
-1
Let t = -271 - -280. Solve 0 = -5*w - 4*o + t, o - 2*o = -5*w + 29 for w.
5
Suppose -5*o - 32 = 28. Let s = 12 + o. Solve s = 5*t - 5, -3 = 3*n - n + 3*t for n.
-3
Let c be 18/(-48) + 70/16. Solve 4*k + 0 + 19 = 5*l, c*l = -4*k + 8 for l.
3
Suppose -2*r + 4 = -w, 2*w + 0*r - 7 = r. Solve -3*n = -2*s + n - 12, w = -2*s - 2*n for s.
-4
Let y = 5 - 13. Let q be 80/25 - y/10. Solve 2*i - 18 = q*g, 2*i - 8 = -0*g + 2*g for i.
-1
Suppose 0 = -5*c + 3*b - 208, 2*c + 73 = -5*b - 4. Let a = c + -1. Let w be (a/4 - 4)*-2. Solve x - 4*p = -3, 3*p - w = -5*x + p for x.
5
Let j(h) = h**3 + 6*h**2 - 7*h - 6. Let r be j(-7). Let o be -11*3/r*4. Solve -2*x = -3*x - 4*y + o, -3*x + 4*y - 14 = 0 for x.
2
Suppose -5*c - 4*x + 460 = -10*c, 0 = 2*c + 3*x + 207. Let r = -96 - c. Solve -19 = -2*g - 5*l, 4*l - 20 + r = 0 for g.
-3
Suppose 0 = -3*g - y + 11, -2*y + 12 = g - 0*g. Let l be 7/((-7)/(-3)) - (-1 - g). Solve -5*w + 2*k = -24, 2*w - 3*k - 2 = -l*k for w.
4
Let p = 77 + -87. Let h = p + 12. Solve -3*n - 15 = -3*w, 0*w - 4*n - 16 = -h*w for w.
2
Suppose c + 30 = 6*c + 5*d, -d = -4*c + 4. Solve 0 = i + 3*g, c*g + 0 = -2*i + 4 for i.
3
Suppose 3*i - 7*i + 359 = -3*p, -2*p = -2*i + 178. Let q = -64 + i. Let s be 2/7*q/2. Solve -s*k + 5 = b + 21, 0 = 2*b - k - 13 for b.
4
Suppose 2*c = -2*c. Suppose -5*p = b + 20, 3*p + c + 3 = 0. Let j = 17 + b. Solve -3*k + 4*w = -j*k + 12, -5*k + w = 22 for k.
-4
Suppose -3*o - 90 = -5*b, 0 = o - 2*o - 5. Sup