5*i - y - 6 = 0, -k*y + 10 = i - t*y for i.
-2
Suppose -4*j - 20 = -4*r, 3*j + 15 = 5*r - 0*r. Solve -4*n = a + 14, -5*a + 5 = -5*n - r for n.
-3
Let i(z) = z**3 - 7*z**2 + z - 3. Let y be i(7). Suppose -k = -y, j + k - 14 = -4. Solve -2*l + 5*f - 20 = 0, -j*l + 2*l - 14 = 3*f for l.
-5
Let m(j) = 4*j - 12. Let c be m(8). Solve 0 = -4*a - 2*u - 12, -4*a + 0*u = -2*u + c for a.
-4
Let h(d) = d**3 - 5*d**2 + 5*d - 4. Let f be h(4). Let v(m) = m**2 + 1. Let g be v(f). Let w = -2 + 5. Solve 0 = 4*y - 17 + g, w*s - 18 = -3*y for s.
2
Let o be (-3)/1*4/(-6). Let r be (10/(-6))/(o/(-6)). Let p(q) = q**2 - 4*q - 3. Let h be p(r). Solve h*i + 3*n = 17, -4*n + 24 = -0*i + 4*i for i.
1
Suppose 16 = 2*o + 2*o. Suppose 19 = 3*x + o, -2*d = 5*x - 31. Solve -p - p = -d*y + 9, p + 2*y + 1 = 0 for p.
-3
Let v = 175 + -175. Solve -2*n + n - 3*o = -11, -5*n - o - 1 = v for n.
-1
Let l(u) = -u**3 - 24*u**2 + 6. Let m be l(-24). Solve -3*r = -0*r, -3*r = 2*a + m for a.
-3
Let f be (-28)/(-6) - 4/(-12). Solve 0 = -4*z + 2*j - 16, -f*z + 3*j - 6*j - 31 = 0 for z.
-5
Suppose 5*u = 4*u - n + 6, 4*u - 3*n - 38 = 0. Let b = 1 + -3. Let g be (-5)/(2*b/16). Solve 3*y = -5*q - 0 + u, -4*y = -q + g for q.
4
Suppose 3*a + 4 = 4*a. Suppose -r + a*r = 0. Solve w + 0*w = r, -4*w = 3*h + 6 for h.
-2
Let p be (-3)/(-24) - (-2)/(-16). Solve -4*g + 4*n + 1 = -g, p = 4*g - 3*n - 6 for g.
3
Suppose 0 = s + s + 22. Let b = s - -26. Solve -5*q - 10 = -w, -3*w + b = -4*q - 4 for w.
5
Suppose -2*o - 3*i - 10 = -o, 3*o = 5*i + 40. Suppose -39 - 24 = -3*s. Solve -4*d = -3*b + 31, o*d + s = 4*b - 19 for d.
-4
Let f = -35 + 40. Solve -4 = 5*s - s + 2*r, f*s - 2*r = -5 for s.
-1
Suppose -5*l + 51 = -24. Suppose f + 5*b - 15 = 0, 2*b = 5*f - 3*b - l. Solve -4*g = -2*n - n + 9, 2*g + 1 = f*n for n.
-1
Let l(c) = -c. Let d be l(-5). Let g = 10 - d. Solve -2*t - 4*s = -g*t - 2, -4*s = 2*t - 12 for t.
2
Let s(y) = -y - 5. Let x be s(-7). Suppose -x*z + 4 = -2. Solve -l - g - g = 6, -z*g = l + 8 for l.
-2
Suppose 2*r - 4 = 6. Solve r*v + 12 = v + 4*z, 0 = -3*v - 4*z + 12 for v.
0
Let t(p) = 2*p**2 - p - 2. Let i be t(2). Let h(f) = 2*f + 27. Let l be h(-12). Solve i*q = w + w - 26, -l*q = 12 for w.
5
Let k be -1*(-4)/(-16)*0. Solve -5*o - 5*m = k, o - 3*o = 5*m - 6 for o.
-2
Let b = -6 + 10. Let m be (1 + -7)*(9 + 38/(-4)). Solve 3*l - 5 = j, 4 = -l - b*j - m for l.
1
Suppose 5*t - 21 = -2*t. Solve -4*a + 6 = 2*m, 0 = 4*a + 6*m - 3*m - t for a.
3
Suppose -19 = b - 5*x, -5*x - 2 + 3 = -4*b. Solve 0 = 2*c + 4*p + b, 5*c + 2*p + 2 = -5 for c.
-1
Let s be (-1)/(-2*1/(-4)). Let g be s*(-6 - (1 + -2)). Suppose -6 + 14 = 4*h. Solve -4*u + 0*i - 30 = -h*i, -2*i = -g for u.
-5
Let g = 13 + -18. Let w = g - -8. Solve 2*b + w*k = -1, b - 5*k + k - 16 = 0 for b.
4
Suppose -2*r - 7 = 9. Let z = 28 - 16. Let k = r + z. Solve 2*n = 4*g + 4 + k, g + 8 = -n for n.
-4
Let z(a) = a**2 - 2*a - 6. Let q be z(4). Solve 2*x + 2*d = 4*x, q*x = -3*d for x.
0
Let g = -13 + 15. Solve -3*r - 5 = 4*t, -g*t - 20 = 2*t for r.
5
Let d(t) = t**2 + 7*t - 9. Let n be d(-9). Solve -5*f + n = l, 0 = -5*l + 3*f - 2*f + 19 for l.
4
Let g be (-2)/(-3) + 65/15. Let f = 7 - g. Solve 4*b = -a + 3 - f, 5*b - 1 = -a for b.
0
Suppose 9 = -5*d + 29. Solve 0 = -4*m - d*v + 7 + 9, 3*v - 9 = -2*m for m.
3
Let z(y) = -y - 4. Let f be z(-6). Solve -4 = 3*g + v, 0 = g + 3*v + 2 + f for g.
-1
Suppose 4*u + 7*b = 10*b + 18, -2*u - 5*b = 4. Solve u*x - 13 = 2*j, -j - 11 = 3*j - 3*x for j.
1
Suppose 5*g = -0 - 15. Let i = g - -5. Solve 23 = 3*p + 2*b + 2, 0 = 3*p - i*b - 9 for p.
5
Suppose i = 5*i - 8. Suppose -5*n + i*o + 2 = 0, 0*o = -3*n + 4*o + 4. Solve 0 = -5*q + u - 0*u, -3*q - 3*u = n for q.
0
Suppose 4 = 4*u - 4. Let t be u - (1 - 1 - 2). Solve -4*l = 3*f - 16, 2*l - 17 = l - t*f for l.
1
Let u = 10 - 16. Let o be 5/(-2) - (-9)/6. Let f = o - u. Solve 3*c - 1 + 13 = 0, -2*k + f*c + 14 = 0 for k.
-3
Let v be -4 + (-4 + -2)*-1. Suppose -3*a = -3*o, v*a = -2*o + 2 + 10. Solve -y = g + y - 13, -o*g + 2*y = 1 for g.
3
Suppose u + 3*u - 2 = -h, -4*h + 48 = -4*u. Solve -4*w = a + h, w - 3*a = -4*w - 21 for w.
-3
Let n = -19 - -39. Let o be 3/(-15) - (-84)/n. Solve -4 = -5*a + o*p + 3, 5 = -a + 4*p for a.
3
Let p = -7 + 4. Let k be p/(-2)*(-4)/(-6). Let n = k + 3. Solve 5*f + t - 5 = -4*t, -n*f + 3*t - 3 = 0 for f.
0
Let d(j) = 1. Let i(u) = -u**2 + 7*u - 12. Let k(h) = -3*d(h) - i(h). Let w be k(6). Suppose 6*o = w*o. Solve o = 4*l + 4*t + 20, -5*l = -3*t - 3 + 4 for l.
-2
Let p(o) = -o**3 + 5*o**2 - 2*o + 6. Let w be p(5). Let n be w/14 - 46/(-14). Let j(v) = -v - 3. Let k be j(-5). Solve 2*x + n*x - 3*m = -4, 2*m = k*x for x.
-2
Suppose 0 = -r + 4*r + 3*x - 39, -5*x + 15 = 0. Suppose -25 + r = -5*q. Suppose 4*m - 37 = 15. Solve 0 = -q*w - 4*f + 4, -m + 1 = -2*w - 5*f for w.
-4
Suppose 15*l = 20*l - 165. Solve -31 = -4*w - 3*m, -3*w + w - 5*m = -l for w.
4
Let x = -23 + 25. Solve -2*n - i = 9 - 0, x*n + 4*i = -12 for n.
-4
Suppose -3*t + 166 + 146 = 5*c, -2*c + 208 = 2*t. Let m = -164 + 90. Let n = t + m. Solve -3*d - 3*v - 27 = 0, 5*d = v - n + 9 for d.
-5
Suppose 3*h + 15 + 40 = 5*o, 44 = 4*o - 4*h. Solve -5*n - 4 - 1 = 0, -2*d - o = 3*n for d.
-4
Let p be 2/10 - (-68)/10. Suppose -9 = -4*g + p. Suppose 18 = 2*t - g*y - 0, 5*t - 5*y - 25 = 0. Solve -4*n + 3*n + t = 0, 4*n = -4*i for i.
-1
Let k be 8 - 0/(1 - -1). Let a = k - 2. Suppose -3*s = i - 2*i + 19, -4*i - 2*s = -a. Solve -2*d - b + 10 = 2*b, -3*b - 2 = -i*d for d.
2
Let b be (-40)/(-4)*6/15. Solve -a - 9 = b*l, l = 5*a - a + 19 for l.
-1
Suppose -3*f + 5*f - 8 = 0. Suppose 2*q - 2*l = -2*q - 2, -2*q - l + 1 = 0. Solve -f*n - 16 = -4*d, q = 3*d + n + 1 + 3 for d.
0
Suppose 3*g - 4*i - 6 - 12 = 0, -5*g + 2*i + 16 = 0. Solve q + 5 = -g*u, 0 - 5 = 5*u for q.
-3
Let y = 9 + -1. Suppose -2*o + 0*o + y = 0, -2*i - 8 = -2*o. Let l = 6 + -4. Solve -5*q + s + 8 = 0, -l*s + 2 = -i*q - q for q.
2
Let f be 2/((-39)/33 + 1). Let m = -8 - f. Solve -4*g - m*w + 27 = -g, 2*w - 8 = 0 for g.
5
Let m be (16/6)/(1 + (-4)/12). Let t(n) = n - 6. Let w be t(6). Solve -m*c + 3*i + 2*i - 5 = w, -i = -3*c + 10 for c.
5
Let p = 173 + -173. Solve j + 2*g + 29 = -3*g, 2*j + 3*g + 23 = p for j.
-4
Let v = 84 - 73. Solve 5*u = -38 + 13, 4*t = -3*u - v for t.
1
Let k be 1/3 + 190/15. Let q = -7 + k. Solve 0 = x + 4*h - 21, h + 0*h = 2*x - q for x.
5
Let r = 5 + -3. Suppose -6 = -p - 2*t, 3*p = -p + r*t + 4. Solve p = -k - 3*i - 14, -4*i - 17 = -3*k for k.
-1
Let p be 114/7 - (-6)/(-21). Suppose 4*s + p = -0*s. Let t(u) = -u**2 - 7*u - 1. Let l be t(s). Solve q + l = -4*q - 2*n, 8 = -2*q + n for q.
-3
Let d be -6*((-2)/18)/((-5)/(-15)). Solve -3*k = -5*f + d, -2*k + 0*k - 4*f - 16 = 0 for k.
-4
Let k(c) = c**3 - 6*c**2 - 6*c. Let w = -21 + 29. Let v = 15 - w. Let f be k(v). Solve -3*l + f = -2*j, 0 = l - 2*j + 5 - 6 for l.
3
Let c = -9 + 12. Solve 5*u - 8 = -c*s, 3*s + 14 = 2 for u.
4
Let w(x) = 2*x - 2. Let i be w(-2). Let k = 10 + i. Solve -s = k*f + 16, -4*s = -2*f + 7 + 3 for s.
-4
Let z = -4 + 22. Solve 3*m - z = 2*o + o, -4*o = 2*m for m.
4
Let v = -7 + 9. Solve -3*o = -v*s - 8, 0 = 6*o - 4*o - 2*s - 8 for o.
0
Suppose -42 = -7*h - 7. Solve -5*l - v = v - 5, -l - h*v = 22 for l.
3
Suppose 2*m = -2*m + 60. Let c = -3 - 3. Let j(y) = y**2 + 6*y + 3. Let k be j(c). Solve -3*g = -5*g + 4*r + 20, -k*r - m = -4*g for g.
0
Let t = 10 + -7. Let n be ((-3 + 3)/t)/2. Suppose n = -5*k - 2 + 17. Solve -k*q + h - 2 = 7, -3*q + 3 = -5*h for q.
-4
Let g(b) = b**2 + 9*b. Let t(o) = -8*o**3 - 2*o**2 + 2*o - 1. Let u be t(1). Let y be g(u). Solve -2*s = -y*s, 2*x + 2 = 5*s for x.
-1
Let s be (-1)/(-3) - 1/3. Suppose s = v - 5*v. Solve -4*n - r + v*r + 13 = 0, -16 = -5*n - r for n.
3
Let s(c) = c**3 + 8*c**2 + 10*c - 8. Let m be s(-6). Solve 4*v + 2*w + 22 = 0, -5*v - m*w - 24 = 5 for v.
-5
Let y be 4/(-5)*25/(-10). Let x(v) = v**2 + v. Let o be x(-2). Let m be (-15 - -3)*o/(-4). Solve -8*k - m = -4*k - y*d, -9 = 4*k - 3*d for k.
0
Let d = 94 + -84. Solve -3*m + g = d, -4*m + 12 = 6*g - g for m.
-2
Suppose 42 = -0*i + 4*i + 3*s, 3*i + 3*s = 30. Suppose 3*l = -0*l + i. Solve 2 = 4*m - 2*r, -l*r = 4*m - 2*m + 24 for m.
-2
Let y(w) = -w**3 - 3*w**2 + 4*w + 4. Let h be y(-4). Solve 0 = 4*x, 0*b + 10 = 2*b + h*x for b.
5
Let s(a) = a**2 -