 15, -3*b + i*j = b - 1 for b.
4
Let o(u) = -u. Let q be o(-11). Solve 16 = -2*y + 2*l, 5*y + q = -2*l - 8 for y.
-5
Let h = 11 - 7. Suppose -2*q - 10 = -7*q. Solve 1 + 6 = -2*f + 3*x, 0 = -q*f + h*x - 12 for f.
4
Suppose 10*g - 6*g = 0. Suppose g = -4*n + 5*n - 2. Let q(t) = -t**2 + 5*t + 5. Let a be q(5). Solve -n*r = s - 3 - 0, -a*r = s for r.
-1
Suppose 2 = 5*u - 8. Suppose 8*n = 4*w + 3*n + 5, 0 = u*w + 4*n - 4. Solve 3*j = -5*l + 13, -2*j + w*j - 2*l = -6 for j.
1
Let k(m) = 3*m + 19. Let s(w) = -2*w - 18. Let b(p) = -3*k(p) - 4*s(p). Let a be b(13). Solve -3*h = -a*h - 3*z, 0 = -4*h - 5*z for h.
0
Let c(o) = -o**2 + 12*o - 14. Let v be (-20)/1*(-5)/10. Let u be c(v). Solve 5*b = -u*l + 3*l - 4, 0 = -4*b + 2*l - 12 for b.
-2
Let z(q) = q - 4. Suppose 0 = 3*n - o - o - 20, 2*o + 28 = 5*n. Let f be z(n). Solve 4*p - 5*t + 6 = f, 0*t + t = 2 for p.
1
Let b be 11 + 2/2 - 1. Solve 2*d + b - 1 = 2*f, 0 = 4*f + d - 15 for f.
4
Suppose -4*o + 96 = -4. Solve 0 = 7*v - 3*v + 5*w + 45, -2*w - o = 3*v for v.
-5
Let l = 12 + -9. Suppose 5*s = -4*w, 0 = -w - l*w - s + 16. Solve -w*m - k - 6 = 0, -3*m + 3 = -m - 5*k for m.
-1
Let s be (-1)/(-2)*0/(-1). Solve 3*n + 4*q + 11 = s, 8 + 14 = -4*n + 2*q for n.
-5
Let w be (24/18)/(2/6). Solve 3*i - 3 = w*q, 3*q = 6*q + 9 for i.
-3
Let y(g) = g**2 + 6*g + 1. Let b be y(-5). Let l = b + 9. Solve l = 3*c + 2*x, -5*x = 15 - 35 for c.
-1
Suppose 0 = -k + 3*n + 11, k - 12 = -2*k + 2*n. Let i = 138 + -138. Solve 2*s - x - 3 + 9 = i, -2*x = k*s - 6 for s.
-1
Let g be (-4)/(-20) - (-4)/(-40)*-38. Let l(j) = 0*j**2 + j - 2*j**2 + j**2 + 4. Let o be l(0). Solve 2*m + 5 = 3*i, 0 = -g*i - m + 10 + o for i.
3
Let j be (-22)/(12/(-4) + 1) + -1. Solve 3*z - 29 = 5*i, -4*z + 6 = -i - j for i.
-4
Suppose -2*a + 0*c - 11 = -c, -a - 3*c = 2. Let b be 15/6*(-6)/a. Suppose -3*m = -5*n - 21 - 3, 5*n + 15 = 0. Solve -2*t + 0 = -m*o + b, -t = 4*o + 7 for o.
-1
Suppose 0*r + 4 = -r. Let i be (-130)/r*(-28)/(-35). Suppose -4*g - 11 = -3*b, 2*g = -5*b + g + i. Solve -b*u + 5*j = 0, -3*u = 4*j - 19 - 2 for u.
3
Let f be (1 + -6)/((-5)/6). Solve 3*j + 5*l + 15 = 0, -2*j + 12 = 2*l - f*l for j.
0
Suppose -d + 0 = -4. Suppose -d*i + 1 = -15. Let l be ((-2)/4)/((-1)/4). Solve o + 3*h - 9 = 0, i*o + l*h = 2*o + 6 for o.
0
Suppose o + 4 = 2*o - w, 4*o + w = -4. Suppose p - 5*i = -19, 2*i + 5 = 4*p + 27. Let r = o - p. Solve -r*u - 37 = -5*k, 0 = -2*k - 2*u + 4 for k.
5
Suppose -r + 30 = 4*r. Solve 10 = -5*u + l - r*l, -10 = 3*u + l for u.
-4
Suppose 1 - 9 = -2*h. Let n be (0 - 1)/(2*3/(-18)). Solve -2*u + o + 0*o = 11, -h*u - n*o = 7 for u.
-4
Let w = -132 - -137. Solve 16 = -4*u + 3*k, 3*u + k + 12 = w*k for u.
-4
Let q = 73 + -69. Solve 4*k - 8 = d - 20, 0 = q*k + 16 for d.
-4
Suppose 5*x + 2*y + 10 = 0, -13 = 5*x + 4*y + 7. Suppose 3*p - 6 - 9 = x. Solve -p*g - 3 = 7, 0 = -4*b + g - 14 for b.
-4
Suppose 5*a - 9 = t, -3*t + 0*a + a + 29 = 0. Let r = 2 - 2. Solve -3*h = 5*j + 13, -h + r*j - 5*j = t for h.
-1
Let n be ((-3)/(-6))/((-4)/(-16)). Solve 1 = -k + 2*d, 0 = -2*d - n + 8 for k.
5
Let i be ((-4)/4)/(1*(-3)/12). Solve -i*o + 4*h + 2 = -6, 3*o + 2*h - 16 = 0 for o.
4
Suppose -5*k + 79 = 9. Let f be 9/45 - k/(-5). Solve -12 = f*x - 3*o, -5*x + 3*o = -o + 15 for x.
1
Let k = -7 - -12. Suppose 5 = a - 4*u, 4*u - u = a - k. Solve 4*d = -2*s + 2*d + 6, 7 = 3*s + a*d for s.
4
Let p = -7 - -21. Let o be (2/(-4))/(3/(-12)). Let q be (-9)/(-1 - o) + -3. Solve q*k = w - 2*k + 1, p = 4*w + k for w.
3
Suppose -4*l + 16 = 4*h, -2*l - 3*l = -4*h + 25. Solve h*x + 18 = -2*q, -4*x = -4*q + 10 + 10 for q.
1
Suppose -3 = -2*a - 3*u + 2*u, a + 3*u + 6 = 0. Solve -a*r + 3*n = r + 3, 3*n - 3 = 2*r for r.
0
Let g(a) = -a**2 + 8*a - 12. Let h be g(8). Let l = h + 15. Solve -l*p - 21 = 5*u, 29 - 6 = -5*u - 4*p for u.
-3
Suppose k + 5*s = 19 + 3, 5*s - 14 = 3*k. Suppose -4*c - c + h + 14 = 0, -4*h = 4*c - 16. Solve -10 = z + 3*b, -5*z - 4*b = -c - k for z.
5
Suppose -4*o - 7 = 3*q + 2*q, 3*q - 4*o = 15. Let g = q + 2. Solve -4*r + 4*v + 4 = 0, g*r + 0*r - 4*v = 1 for r.
3
Suppose -34 = -8*c + 6. Solve 2*z = 5*p - 1 - 8, -p - c*z = 9 for p.
1
Suppose -5*h + 10 + 3 = -2*q, 0 = 4*h + 2*q - 14. Solve 5*r + 3*z - 16 = 0, 17 = 4*r + 2*z + h for r.
5
Let l be -1*6/27 - (-47)/9. Solve 2*x + 0 = -2, -10 = 5*a - l*x for a.
-3
Suppose 4*g + y - 4 = 0, -g + 14 = 2*g - 2*y. Solve -2*f - 11 = 4*o - 33, -g*o + 16 = 2*f for o.
3
Suppose 3*t + 3 = -j, -5*t = 3*j - 3 + 12. Solve -a - x = 7, t*a + 2*a + 26 = -5*x for a.
-3
Suppose -2*q - 3*q = -25. Suppose -14*t + 12*t + 4 = 0. Solve 2*g - g + o = -2, g + t*o = -q for g.
1
Suppose 3*p = -3*p. Solve 4*z + 6*g - 3*g + 22 = p, 5*g = 3*z + 2 for z.
-4
Let q = 2 - -7. Suppose -s - q = -4*s. Solve 18 = -j - j + 5*g, -g = -j - s for j.
1
Let f be 8 + ((-4)/(-5) - 95/25). Solve 0 = -f*i - 2*y - 20, 3*i - y = -0*y - 12 for i.
-4
Let d be (-1 - 3) + -18 + 67. Solve -4*s + o = 6*o - d, -3*o + 10 = -s for s.
5
Suppose h - 16 = -h - 2*r, 2*r + 2 = 0. Suppose -5*a = -69 + h. Solve -2*d - a = 4*q, 3*d + 0*d = 2*q - 2 for d.
-2
Let w = -12 - -29. Solve 4*l - 1 + w = 0, -5*v = -2*l - 23 for v.
3
Suppose -5*q - 3*j = -0*q - 22, 0 = -4*q + 2*j. Solve q*r - 4*n = 4*r + 24, -4*r = -n + 12 for r.
-4
Suppose -4*a + 14 = -2. Suppose -b - a*m = -20, m - 10 = -3*b - m. Solve -4*c + 22 = 5*n, b*c + 8 = 2*c + n for c.
3
Let m(q) = -3*q - 22. Let w be m(-8). Solve w*v - 3*j + 4 = 7*v, -v + 2*j - 7 = 0 for v.
-1
Suppose -3*y + 3*q - 3 = 0, 5*y + 19 = 6*y + 4*q. Solve y*l - 13 = 5*l + 3*p, 2*p - 23 = 5*l for l.
-5
Suppose -3*y + 5*y - 6 = 0. Suppose -k - y*k = -8. Solve -k*b - 2*f + 6*f = 2, b - 2 = -f for b.
1
Let p(y) = -y**2 + 7*y - 2. Let b be p(6). Let s be -9*(-4)/8*4. Suppose h + 5*z = -s, -b*z - 2 = 14. Solve 5*c - 2*u = 9, h*c + 3*u - 15 = -0 for c.
3
Suppose 28 = -4*j + 4*n + 216, -4*j - 4*n + 172 = 0. Suppose -5*r + 4*p = -j, -4*r + 4*p + 43 = 3. Solve -k + 2 + 6 = -3*u, -3*k - r*u - 32 = 0 for k.
-4
Let o(m) = m**3 - 16*m**2 + m - 19. Let g be o(16). Let w = -5 - 1. Let f = g - w. Solve -z + 3 = 0, -4*z = y + f*y - 24 for y.
3
Suppose 6*f + 4*a + 8 = f, -4 = -f + 2*a. Let y be 138/7 + 10/35. Solve -3*b = 4*v - 9*v + y, f = 2*v + b + 3 for v.
1
Suppose 0 = -p - 2 - 3. Let u = -1 - p. Solve -3*b + u = -5*d + 17, -b = 4*d - 24 for b.
4
Suppose 5*d = -4*c - 15, 0 = -c - 0*d + 3*d + 9. Let w = 3 - c. Solve -f = -5*m - 18, -m - m - 3*f = -w for m.
-3
Let k = 8 - 5. Solve -4*f + 18 = -k*f - 4*g, 5*g + 15 = 5*f for f.
-2
Let o = 1 - 1. Let u = -32 - -21. Let r = 15 + u. Solve -3*b - 15 = 3*z, o = 5*b - z - r*z - 25 for b.
0
Let a be ((2 - 0)*-4)/(-2). Let p = -4 + a. Let i = p - -2. Solve 3*t - 5*u = -u + 2, -1 = i*t - 5*u for t.
2
Suppose 0*g + 4*g - 28 = 0. Suppose -5*y = -3 - g. Solve 4*r + 4*p + 3 = -1, -y*r + 4*p = 20 for r.
-4
Let p(t) = t**3 + 4*t**2 + 4*t + 4. Let s be p(-4). Let j be s/8*(-8)/6. Suppose 8*v - 4*v = 0. Solve -3*o - 19 = 2*o + 2*d, -3*o - j*d - 13 = v for o.
-3
Let m = 23 - -2. Solve p - 3 = -2*k + 5, -m = -5*p - 5*k for p.
2
Suppose 3 + 2 = y. Suppose -b + y - 1 = 0. Suppose 3*k + 5*a = 14, -4*k + 5*a + b = -k. Solve 3*m + 0 + 12 = -5*r, k*m = -2*r - 3 for m.
1
Suppose -3*x - 4*b = 4, -2*b = 4*x + 3*b + 5. Solve 3*p = 3*q - 0*p + 12, 3*p = x for q.
-4
Let u be (-2)/5 - 12/(-5). Suppose w = 2 - 4, u*m = -2*w. Let z(q) = -12*q - 3. Let r be z(-2). Solve -3*v - m*c - 22 = 0, 5*v + 5*c = -r - 24 for v.
-4
Suppose 4*n - 5 = 3*x - 0*n, 3*n - 25 = -2*x. Solve 4*y + y = -2*m - 10, -m = x for y.
0
Suppose -4*t = 3*s - 3*t - 42, s + t = 12. Let h = s - 10. Solve 0 - 2 = -a, w = h*a - 12 for w.
-2
Let j(k) = -3*k**2 + 2*k + 1. Let v be j(2). Let x(g) = -g**2 - 7*g - 10. Let p be x(v). Let s = -3 - p. Solve -n = -r + 2*n, -3*r = -2*n + s for r.
-3
Suppose -4*o + 5*o = -53. Let f = -38 - o. Suppose 0 = 3*t + k - 14, -k + 1 = 2*t - 7. Solve 0 = -4*z - m - f, -z + 0 = -2*m + t for z.
-4
Suppose 0 = 3*d + d - 12. Suppose -3*s = -d, -2*o - 2*s + 3 = -5. Solve 0 = n - c + 1, o*c = 5*n - c + 4 for n.
0
Let p = 2 - 7. Let j(v) = v**3 + 4*v**2 - 6*v + 1. Let g be j(p). Suppose -2*l = -7 - 1. Solve 8 = 2*u - 5*s, g*s = -l*u + 3*s - 10 for u.
-1
Let y be 9/(-6)*(-2)/1. Let p be (0 - 2)*(2 - y). Solve 3*n = -4*b - 13, p*n + 2 = 2*b + 2*b for b.
-1
Le