olve 3*x - q = -m*l, 6 - 1 = -3*l + x for l.
-1
Suppose -3*b + 0*b = 72. Let n = b + 44. Let c be (-8)/(-2)*n/16. Solve -g - 9 = 4*s, 2*s - 11 = -c*g - 2 for s.
-3
Suppose -10 = -4*u + u + 4*w, 20 = 3*u + w. Let y(r) = r + 13. Let l be y(-8). Solve 5*p = -n + l, 2*p + u = -n - n for p.
2
Suppose 0 = -2*n + 4*n - 4. Suppose -5*c + 3 = 8. Let a = n - c. Solve r = -a*x - r + 7, 13 = 4*x - r for x.
3
Suppose -12*w + 7*w = -20. Solve i + 5 = -2*o, -o - 20 = -w*i + o for i.
3
Let h be (-8)/12*(-30)/4. Suppose -h*l + 18 = -2*l. Solve 4*y + z = -0*z + l, 2*z = -4 for y.
2
Let a = -58 - -62. Solve 2*k + 6 = -3*p + 6*k, -k - a = 2*p for p.
-2
Let t(u) = u + 16. Let k be t(-7). Suppose 0 = c + s - 1, s + k = 2*c + 2*c. Solve -2*l = c*a + 14, -5*l + a - 23 = -0*a for l.
-5
Let d be -2 + (-1 - 16/(-4)). Solve 0 = -i + 5, -o - 3*i = -d - 10 for o.
-4
Let m = -39 - -40. Solve 5*k = -4*o + 32, -m - 22 = -5*k - o for k.
4
Suppose 5*d + 5 = t, 0 = 5*t + 4*d - 0*d - 25. Solve -t*z - 30 = 5*c, -3*z + 2*c + 2 = c for z.
-1
Suppose 0 = -r - 4. Let s = 1 - r. Solve 5 = -h - n - 2*n, -s*h - 25 = n for h.
-5
Let p = 4 - 24. Let x = 31 + p. Let t = x - 6. Solve f + 4 = -3*f, 0 = t*k + f - 24 for k.
5
Let g be (-3)/(-2) + (-3)/(-6). Let a = 13 - 8. Solve -4*c - 7 = -d, 3*d - g*c + 4 = -a for d.
-5
Let g = 9 - 15. Let c = 6 + g. Solve -3*o + 4*y = c, -o = -3*y + 8*y - 19 for o.
4
Suppose -2*u = -2*q - 6*u + 2, 24 = 4*q - 2*u. Solve -5*d + 12 + 4 = -2*m, 3*d = q*m + 21 for d.
2
Let v = 3 + 1. Solve 2 = 5*b - 3, 0 = v*a - 3*b - 5 for a.
2
Suppose w + 14 = 5. Let q = w + 14. Solve -2*x + 14 = 4*f, -q*x = 6*f - 2*f - 17 for x.
1
Let c be (9/2)/((-3)/(-8)). Solve 4*h + c = -2*d, 4*d + 9 = -2*h - 9 for h.
-1
Suppose -5*i - 4*g = -83, 0 = -0*i + 3*i - g - 60. Solve 3*w + i = -q, -3*w = -w + 5*q + 30 for w.
-5
Let h = -3 - -4. Let p be -5 + 3 - (h - 15). Solve t + p = -4*r, t + 0*r = r + 8 for t.
4
Let f(k) = 30*k + 5. Let w be f(6). Let o be ((-4)/10)/((-3)/15). Let t be o/(-7) - w/(-35). Solve -d + 5 = -2*n + 1, -d - t*n = 17 for d.
-2
Let j(s) = s**3 - 2*s**2 - 3*s + 2. Let d be j(3). Suppose -2*f + f = d*v, 5 = f - 3*v. Solve -f*w - 5 = -3*m, -4*w - 1 = 3*m - 0*w for m.
1
Let o(m) = -m + 6. Let l be o(3). Suppose 0 = -23*q + 27*q - 4. Solve -4*x - n + q = 2*n, 3 = -l*n for x.
1
Suppose 5*o + 18 = 28. Solve -2*t = -2*x + 4, 5*x = -o*t - 0*x + 31 for t.
3
Let b = -8 - -13. Let c = b - 2. Suppose a + 0 - c = 0. Solve -5*g = -5*q - 45, -a*g + 11 = g + q for g.
4
Suppose -5*v - 21 = -p, 2*p - 5*p + v + 7 = 0. Let j be -8 + 7 - -5*p. Solve 5*w = 4*u + 27 + 3, j*w - 13 = u for w.
2
Suppose 5*q - 4*x - 18 - 2 = 0, -q + x = -4. Let u = 1 - q. Let t = 14 - u. Solve -4*z + 5*d = -t, -5 = -4*z - 3*d + 4 for z.
3
Let y = 23 - 20. Solve 2*l + 5*j = 22, -5*l + y*j - 8 = -l for l.
1
Suppose 2*t = 10, 5*x + 5*t - 35 = 5. Suppose -4*q + 46 = -x*n, 4*q + 2*n - 45 + 9 = 0. Suppose -q = -i - 0. Solve 0 = -u + h - 3*h, -2*u = -h - i for u.
4
Let b(a) = 3*a**2 - 4*a + 2. Let o be b(2). Let l = o - 4. Suppose -3*k - l*f = -20, -4*k + 3*k = f - 8. Solve -5*g - k*m + m = 25, -5*m = 0 for g.
-5
Let l = 1 - -5. Suppose g = 5*w + 6*g - 75, 2*w + g = 29. Solve 0 = 2*y + l*x - 11*x - 14, -2*y - w = 2*x for y.
-3
Let o be (1 + 0)/(1/11). Let c = o - 15. Let x be (2/c)/((-1)/2). Solve -3 - x = -2*r, 0 = -4*k + 2*r for k.
1
Let l = -5 + 7. Let s = l - 2. Solve 5*i + 4*a = -s*i + 23, -5*i + 7 = -4*a for i.
3
Let u(n) = -n + 7. Let t be u(3). Solve r + 2 + 2 = -t*h, 0 = -h - 2 for r.
4
Let s(r) = -4*r + 5. Let o be s(4). Let w(f) = -f - 5. Let u be w(o). Let g be 7/3 + 4/u. Solve -g*a + 3*v = -24, -3*a + 5*v = -6 - 28 for a.
3
Let t(j) = -j + 8. Let n be t(7). Let b = 5 - n. Suppose -f + 3*f - b*k = -4, 8 = -f + 5*k. Solve -f*a - 16 = -6*a + 3*i, 3*a - 5*i = 12 for a.
4
Let j be 10 + 0 + (-2 - -2). Let x = 114 - 169. Let a = -31 - x. Solve 3*q - 2*m = 3*m - j, 5*q + a = m for q.
-5
Let n(u) = -u**2 + 7*u + 2. Let g be n(6). Suppose 3*t = -t + g. Solve 2*y + 9 = -p, -5*y = t*p - p + 24 for p.
1
Suppose -s - 2*s = -12. Let f be s/(-6) + 16/6. Solve -5*d = -4*g + 27 - f, -2*g = d + 5 for d.
-5
Let g(q) = q - 7. Let i be g(9). Let r = i + 6. Let n = r + -4. Solve 3*c + 2*l - 8 = 0, -5*c + n*l + 7 = l for c.
2
Let s be (4 - -4)/(3 - 1). Let o = s - -1. Let j = o + -3. Solve 2*g - j*x - 10 = -4*x, 0 = g - 3*x + 15 for g.
0
Suppose -z + v + 1 = -0*v, -6 = 2*z + 2*v. Let s = 3 - z. Suppose 26 = 2*k - 5*q, 2*k - 2*q = s*k + 2. Solve 4 = p - 0, 0 = k*w + 3*p for w.
-4
Let g be 6/(-9) - (-688)/6. Let o be 3/(-1) - g/(-6). Solve 3*m - 10 = -2*m - 5*w, -2*w + o = -4*m for m.
-2
Suppose -4*i + 19 = -v, v + 2*v + 9 = 0. Let w(f) = f - 3. Let x be w(i). Let h be -1 - (-2*x + -2). Solve -k + 1 = -4*o, k = h*o - 0*o for k.
-3
Let i be (-2)/10 + 21/5. Suppose 0 = -2*n - 3*t + 4, 0 = i*n - n + 5*t - 6. Solve -3*w + 2*s + 0 = 8, 0 = -2*s + n for w.
-2
Suppose 4*h + 15 - 35 = 0. Solve -l - 2*v - 2 = -6, -4*l - 10 = -h*v for l.
0
Let k = -61 - -63. Solve -4*l - 41 = 5*d, -3*l - k*d = -5*d - 3 for l.
-4
Let j be ((-10)/(-7))/((-4)/(-28)). Solve -4*p - 6*a + 2*a = 0, -5*a = -j for p.
-2
Suppose -2*n + 3*k - 9 - 21 = 0, 2*n - 2*k + 32 = 0. Let u be (60/n)/((-2)/3). Solve 4*l + 0 + 11 = 3*g, -12 = u*l - 2*g for l.
-2
Suppose -5*x + 35 = -25. Solve -m + 4*s = 3*s, 4*s + x = 0 for m.
-3
Suppose 0 = 4*h - 8, -5*t + h - 3*h + 4 = 0. Solve -2*z - 4 = -0*z + 2*r, -5*z + 3*r + 14 = t for z.
1
Let a be (-40)/(-15)*6/4. Solve -3 + 0 = 3*r + a*u, 3*r - 4*u + 27 = 0 for r.
-5
Let u = 6 + -2. Suppose a - 2*s + u = -3*a, a + s - 5 = 0. Suppose -5*y + 13 + 7 = 0. Solve p = h + y, 5*h + p = 3*h + a for h.
-1
Let c(l) = l + 2*l - 4*l. Let g be c(0). Suppose 0 = -y - g*y. Solve y*o - 5*o = -3*w + 8, 2*o + 2 = 0 for w.
1
Let h(d) = -d**3 - 5*d**2 - 2*d + 4. Let a be h(-3). Let x(u) = u + 12. Let g be x(a). Solve 2*l = g*m + 13 - 1, 31 = -4*l - 3*m for l.
-4
Let u(f) = 8*f**2 + f - 2. Let z be u(-2). Suppose q + 4*b = 1, 2*q - 3*b - z = -3*q. Suppose 0*d = -q*d + 65. Solve 2*j = -5*n - d, 0 = j + 4 for n.
-1
Let d be 20/6 - 6/(-9). Solve d*b = -3*v + 13, -3*v + b + 6 = -2*b for v.
3
Suppose 7*h + 5 = 2*h. Let w be h - -1 - (-4 + 2). Suppose 11 = w*q - 13. Solve 0 = 5*y - 0*p + 3*p + 15, -4*y - 2*p = q for y.
-3
Suppose -7*p + 15 = -4*p. Solve 0 = 2*j - p*l - 17 - 0, 0 = -l - 3 for j.
1
Let u be ((-7)/(-14))/((-2)/(-8)). Solve 3*t = h + 6, -4*h + t = -u*h - 3 for h.
3
Suppose -4*g - 5 + 32 = 5*w, -5*w - 3*g = -24. Suppose 10 - 28 = -5*v - 2*a, w*a - 2 = 5*v. Solve 0*t - 2 = -t - 3*n, -v*t + 4 = n for t.
2
Let y(o) = o - 1. Let k(b) = 3*b - 2. Let h(w) = 2*k(w) - 5*y(w). Let x be h(0). Suppose x = -d + 5. Solve -5*f - 15 = 5*q + 15, -2*f = -d*q - 12 for f.
-2
Suppose -9*q = -14*q + 25. Solve 4*f = -2*p + 14, q*p - 5*f + 1 = 2*p for p.
3
Let r be (-1)/(-5) + (6/(-5) - -1). Solve 2*a + 20 = 2*s, 0*s - s + 4*a + 25 = r for s.
5
Let s = -3 + 1. Let k(w) = w + 2. Let l be k(s). Solve 0 = -3*b - b + 4*z + 8, -3*b - 3*z - 18 = l for b.
-2
Let s(m) = -34*m**3 + m. Let d be s(-1). Suppose 0 = 4*n + 1 - d. Solve -3*o - 4*r - n = 0, -4*o - 2*r - 4 = -2*o for o.
0
Let g = 15 + -11. Suppose 2*s - 48 = 4*c, 2*s - 23 - 18 = -3*c. Solve g*m = -6 - 2, 5*j + s = -m for j.
-4
Let j be (2 - 3)*3*-1. Let m = 2 - -1. Suppose -m*u = -2*u. Solve u*w + 2*w + 13 = j*h, -2*h = -2*w - 10 for w.
-2
Suppose -4*x = 86 - 10. Let v = x + 27. Let l be 9/4 + (-2)/v. Solve 0 = -5*b - 2*k - 23, -l*k - 1 = -3*b - 2 for b.
-3
Let v be (-8)/8*2/1. Let j be 0/((1 - v)/3). Solve 4*h + 12 = -4*y - 0*y, j = -3*y - 4*h - 14 for y.
2
Let z = 9 - 5. Suppose -4*a + z = -3*a + q, 5*a - 34 = 2*q. Let k = -5 + a. Solve 2*h + 23 = 5*f, -3*f + 2*h + 14 - k = 0 for f.
5
Suppose 2*s = s + 3. Solve 1 = -s*v + 5*n, -4*v + v - 11 = 5*n for v.
-2
Let q(u) = u**3 - 4*u**2 + 5. Let l be q(4). Suppose 2*f - 3*d = 13, 4*d = 3*f - 13 - 6. Solve 2*g + 0*g - 4*s = 8, 0 = -f*s - l for g.
2
Suppose 4*d = 3*v + 11, 4*v - 37 = -0*v - 5*d. Suppose 0 = v*f + 11 + 28. Let b = -8 - f. Solve -b*u + 4 + 16 = 5*k, 4*u = 3*k + 16 for k.
0
Let z be 1 - (6 + -12)/(-6). Solve -3*l - t + 6 = -z*l, -l = 5*t - 16 for l.
1
Suppose 2*y - y - 4 = 0. Suppose 63 = -4*i + 7*i. Suppose f - i = -2*f. Solve -l = u - 9, -u + y*l - f = 4 for u.
