 t + 3*l, k*l + 13 = 5*t for t.
3
Let x be 231/49 + 2/7. Let o = 6 + -3. Solve -4*n - 12 = -x*y, o*y - 2*n = 2*y for y.
4
Let q(h) = h**3 - 9*h**2 - 12*h + 23. Let k be q(10). Solve 4*p - a - 1 = 0, 17 = p - k*p - 3*a for p.
-1
Let w be (-2)/(-13) - (-28)/(-182). Let v be 43/2 - (-2)/4. Suppose -2*x - 6 + v = w. Solve 3*z + q + 12 = 0, -3*z - q - x = -z for z.
-4
Let f = -22 - -38. Let z = -4 + 7. Let n be f - 0/(0 + z). Solve 4*x = 4*b - n, x + b - 2 = 4 for x.
1
Let z(k) = -k**2 - 8*k - 8. Let m be z(-6). Let h be ((-1)/2)/((-2)/m). Suppose 4*t = 7 + h. Solve -3*i = 3 - 9, -2 = -t*r - 4*i for r.
-3
Suppose 0 = 5*y - y - y. Solve 5*m = -4*k - y*m - 30, -3*m = -5*k - 19 for k.
-5
Suppose -u = -l + 3, 0 = -4*l - 3*u + u + 6. Solve -2*n + 20 = -4*m, -3*n + 7 = -l*n - m for n.
4
Let t(b) = b - 8. Let n be t(6). Let j be -8*(n/4 - 0). Suppose -9 = 3*q - 30. Solve -j*g - 3*f - q = 0, g = -3*g + 3*f - 1 for g.
-1
Let k be -2 - (1 - 3*-1). Let r = k + 1. Let n be 69/15 + (-2)/r. Solve -n*c - h + 20 = 4*h, 5*h = c - 10 for c.
5
Let c be (-3 - (2 - 5))/(-2). Suppose 4*l + 0*l - 5*o - 159 = c, -85 = -2*l - 3*o. Solve 0 = -5*f + 25, -4*h + 7*f = 2*f + l for h.
-4
Let x = -52 - -74. Solve b + 10 = -4*n - 9, 2*b = -4*n - x for n.
-4
Let w = -8 - -12. Suppose -3*q + 22 = -2. Let k = w + q. Solve -n + 3*t = -4*n + k, t - 10 = 5*n for n.
-1
Suppose c - 7*c + 30 = 0. Solve c*q = j - 30, 0*q + 2*q = -3*j + 5 for j.
5
Suppose 2*u - 19 = -2*u - w, 4*w = 2*u - 32. Suppose -3*d + 2*m + u = -4, 0 = -5*d - 3*m + 4. Solve 0 = 4*c - d*s - 1 - 11, -c + 12 = 4*s for c.
4
Let t(u) = -u**2 - 6*u + 3. Let z be t(-5). Let k = -24 + 35. Let q = k - z. Solve -5*n - q = v, -v - 3*n - 15 = 4*v for v.
-3
Let q(u) = 3*u**2 - 2*u + 1. Let m be q(1). Let i be 216/52 - m/13. Solve i*n = 5*a - 12, -2*a + 12 = -6*a - 4*n for a.
0
Let q = -4 + 2. Let m be (1 + q)/(4/4). Let a be (-12)/10*m*10. Solve 4*k = -a, 3*t + 6 + 6 = -3*k for t.
-1
Let k = -133 + 133. Solve q - 5*q - 18 = -s, 4*s - 4*q - 24 = k for s.
2
Let q(l) = 3*l - 26. Let y be q(11). Solve -4*z + d = 4, -21 = 3*z + 2*d - y for z.
-2
Let c = 20 - 10. Solve 5*q - 5*f = -c - 10, -5*f + 22 = -3*q for q.
1
Suppose -4*x + 12 = -8. Let s(o) = -o**3 + 4*o**2 + 5*o + 4. Let z be s(x). Solve -5*f + z*r = 12, 0*f + 6 = -2*f + 2*r for f.
0
Let z = -3 + 14. Let b = z + -9. Solve 0 = 2*q + n - 6, -2*n = -b*q + 1 - 7 for q.
1
Suppose -4*o + 4*a - 3*a + 11 = 0, 3*o + 9 = -5*a. Let t(l) = 5*l**2 - 5*l + 5. Let b be t(o). Solve 4*u = -20, -5*k - 15 = u + b for k.
-5
Suppose 8 = 4*s - 4. Let o be (-30)/(-7) - 2/7. Let l be (-2)/o + (-1)/(-2). Solve g - 1 = -l*g + m, 5*g + s*m + 19 = 0 for g.
-2
Let v be (-4 + 6)/(2/8). Let r = v - 4. Solve 4*x + r = 4*a, 0*a = -2*x - 4*a + 4 for x.
0
Let w(x) = x**2 - 5*x - 9. Let r be w(7). Suppose -4*m + 2*m = 5*s - 29, r*s = -m + 22. Solve 5*j - 2*c - m = 0, 4*j = 3*c - 5*c + 20 for j.
3
Suppose -s - 2*s = -6. Let p = -6 - -10. Solve 4*a + 8 = p*d, 4*d - 1 - 7 = s*a for a.
0
Let r(z) = z**3 + 6*z**2 - 7*z + 7. Let a be r(-7). Let v(w) = -w**2 + 7*w - 5. Let d be v(5). Solve 3*c + 1 = 3*y + 4, 3*c = d*y + a for y.
-2
Let l = 15 - 12. Solve -o - 4*d - 8 = 2*o, -l*o = 2*d + 10 for o.
-4
Let v = 12 + -9. Suppose -v*i + 19 = 7. Solve 4*q - 4*l = -0*l + 12, -q + i*l = -9 for q.
1
Suppose -3*w + j - 25 = -8*w, 5 = j. Solve 15 = 2*n + 3*n, -2*z - w*n + 2 = 0 for z.
-5
Let q(g) = 2*g**2 + 5*g + 2. Suppose 5*b + 17 - 2 = 0. Let a be q(b). Solve -2*c - 2*c + 22 = 2*j, a*c + 2*j = 26 for c.
4
Suppose -d + 2 = -0*d. Suppose 0*z = -d*z + 10. Solve -2*c = 7*n - 3*n + 18, -n + 1 = -z*c for c.
-1
Suppose 4*u - 51 = -0*m + 3*m, m - 78 = -5*u. Let p = -13 + u. Solve 0 = 3*v + v, 5*v = p*t - 4 for t.
2
Suppose 0 = -k + 2*p - 2, -5*k + 1 = -p - 34. Let i = -6 + k. Solve -2*f - i = 4*q, 3*f + 6 = q - 4 for q.
1
Let j be (5/35 + 73/(-21))*-3. Solve 6*s - 34 = 3*s - 5*i, -5*s - j = -5*i for s.
3
Suppose 10*o - 149 - 101 = 0. Solve 2*y = -5*b - 10, b + 0*b = -5*y - o for b.
0
Let a = -5 + 9. Suppose a*h + h - 10 = 0. Solve 0 = -5*f - 0*f + 3*z - 6, 3*f - h*z = -4 for f.
0
Suppose 5*c - 5*s - 29 = 3*c, s = c - 7. Solve j + 5*p = 12, -c*j = 2*j + 4*p for j.
-3
Suppose 8*h = -1 + 41. Solve h*d + 35 = 3*r, -2*r + 15 = r for d.
-4
Let z(c) = -2*c + 10. Let q be z(4). Solve 0 = 5*n - s - 29, 4*s + 26 = -0*n + q*n for n.
5
Let d(g) = g**3 - 8*g**2 + 7*g + 3. Let x = 7 + -10. Let t = x + 10. Let q be d(t). Solve -4*h + j + 22 = 6, -8 = -2*h - q*j for h.
4
Suppose 3*f = -2*f - 3*o + 16, -f + 8 = -o. Solve 14 = -2*v + 5*j, 0 = f*j + 13 - 33 for v.
3
Let h be 1/1 - 21/(-7). Solve -4*y + 2*n = -2 - 0, -h*y + 3*n = -3 for y.
0
Let d be (-3 - 0)/(6/(-4)). Solve 0 = -w + 3 - 7, -d*w - 16 = 4*o for o.
-2
Let z(a) = -a**3 - 11*a**2 + 11*a - 8. Let b be z(-12). Solve 2*o = -b*u + 4, -4*o + 0*u - u + 15 = 0 for o.
4
Suppose -6 = 3*o - 2*o. Let p = 15 + o. Suppose 5*k = -p + 29. Solve -v - k = 0, -2*v + 3*v = -3*f + 5 for f.
3
Suppose -4*f = f - 15. Suppose -3 = -4*g + f*l, -g + 4*l = 4*g - 3. Let n be 6/30 + (-84)/(-5). Solve 5 = 2*x + 5*z - n, x + 11 = g*z for x.
1
Let a be (-5 - -4)*1*6. Let b = 10 + a. Solve h = 4*d + 3*h - 6, -4*h - b = 0 for d.
2
Let k be (1 - 5)*-1 + -2. Solve k*n - n + 4 = h, -2*n - h = -4 for n.
0
Let o(j) = j**2 + 3*j - 7. Suppose 2*w = 5*x + 15, 3*x + 3*w = -27 - 3. Let k be o(x). Solve 5*m - 11 = -k*z + 23, 0 = m - 5*z + 10 for m.
5
Suppose -l + 21 - 2 = 0. Solve -l = -3*n - 5*w, 0*n - w = -3*n + 7 for n.
3
Suppose 2*q + 19 = 3*k - 4, -2*q + 2 = 2*k. Solve -3*z + 29 = -k*d, 2*z - 5*d = 19 + 7 for z.
3
Suppose -5*q - 4*m + 98 = -58, 2*q + 2*m - 64 = 0. Suppose 3*s - 2*s = q. Solve 3*h + 32 = 5*i, -i = 4*i - 2*h - s for i.
4
Let w be (-5)/(-4)*(-3 + 7). Solve 0 = -w*m + 4*q + 20, -4*m = 5*q + 10 + 15 for m.
0
Let q(g) = 2*g**3 + g**2 - g + 1. Let a be q(1). Suppose 5*j - 3*f + 9 = 0, -a*f - 3 = 2*j - 12. Solve -2*n - 3*z + 1 = 0, -5*n + j*z - 4*z = 8 for n.
-4
Suppose -9*c = -15*c + 12. Solve o + 2 = 3*n - 6, 4*n - c*o = 10 for n.
3
Let f be (8/(-10))/(4/(-10)). Solve -4*v = f*p + 9 - 3, 5*p + 8 = -3*v for v.
-1
Suppose 4*c + 1 + 6 = -t, -4*t - 3*c + 24 = 0. Solve -2*w = 5*u - t, 2*u - 7 + 1 = -2*w for w.
2
Let a be (-2)/7 + (-150)/(-35). Solve -4*f - 4 = a*l, l + 4*f = 1 - 11 for l.
2
Let m(o) = -3*o - 5*o - o**3 - 4 + 2*o**2 + 3*o**2 + 6*o. Let v be m(4). Solve -v*g = 4*d, 6 = -g - 5*d - 14 for g.
5
Suppose -2*z + 5*z + 5 = 4*k, -3*k = -3*z - 3. Let c = k + -2. Let i(m) = -m**3 - m**2 + 8. Let a be i(c). Solve -r - 4*o - 13 = 0, 5*r = r - o + a for r.
3
Let c be (4/3)/(2/6). Suppose o + 0*o + 4*u = 8, 3*o + 2*u - 4 = 0. Suppose l - c = -o. Solve 0 = 4*d - 8*t + 3*t, -l*d - 3*t + 32 = 0 for d.
5
Suppose 0 = -9*n + 3*n + 12. Solve -n*s - 8 = 4*h - 0, -2*s + 2*h = 8 for s.
-4
Suppose 19 = 3*h - 4*p, -2 = -h - 2*p - 9. Let f be (4 + -3)*h*5. Solve r + 0 = f*g - 13, 0 = -2*g - 3*r + 12 for g.
3
Let s(b) = -2*b - 3. Suppose p - 2*r = -14, 4*r = r. Let t be s(p). Solve -4*g - g = -3*k + t, 2*k = 0 for g.
-5
Let l = 60 + -35. Solve 5*x - 4*y + 3 = -6*y, 5*x = 5*y + l for x.
1
Let j be (0/3 - 0)/3. Let g = j - -2. Let n(c) = c**2 - 4*c + 6. Let t be n(3). Solve -2*a - 1 + t = g*p, 2*a + 13 = 3*p for p.
3
Suppose -3*v - 5 = 2*v. Let z be (-1)/(-3) - v/(-3). Solve -3*h - 17 = m - z*m, 0 = 5*m + 10 for h.
-5
Suppose 3*f - 2 = 5*f. Let q = f - 1. Let j be -2 - (0 + 4)/q. Solve 5*r + 4*d = 20, -2*r - 5*d = -j - 8 for r.
4
Suppose -3*w - w = -20. Let v = -15 - -20. Solve v*q = -w*d - 10, 4*q + 0*q + 1 = 3*d for q.
-1
Suppose 10 = 2*p, -3*p + 27 = y + 5. Suppose y = 4*f + 3*q, 0 = 3*f + 4*q - 3 - 4. Solve -f = -3*w + 5, 7 = -3*n + 5*w for n.
1
Suppose r = 4*j + 80, -2*r - 32 - 39 = 3*j. Let y be (-78)/(-21) + (-6)/j. Solve -2*h = 3*c + 10 + y, 0 = 5*h - 2*c - 3 for h.
-1
Let a(b) = -b**3 + 3*b**2 + 2*b - 2. Suppose 0 = -4*s + 45 + 11. Let u = s + -11. Let v be a(u). Solve -c = r, -2*r + v*c + 7 = r for r.
1
Suppose 28 = -y + 6. Let x = y - -26. Solve o + 5 = c + 4, -1 = x*c + o for c.
0
Let n be -2 + -1 + 14 + -8. Solve n*r = -4*l + 5*r - 4, -5*r = -20 for l.
1
Let z(x) = x**2 - 3 + 3 - 3*x. Let r be z(3). Solve -20 = 4*n, r = 8*h - 3*h + 4*n + 10 for h.
2
Let z(u) = u**3 + u**2 + u + 1. Let x be z(-1). Suppose x = -3*o + 2*o + 3. So