 Solve 5*s - n = 2, 4*n - 8 = 3*s + r for s.
1
Suppose -6 = 9*o - 10*o - 3*q, q - 16 = -o. Let z(n) = -n**2 + 6*n - 4. Let c be z(3). Solve -o = 2*i + 2*i + 5*l, 0 = c*l + 25 for i.
1
Let z = -49 - -69. Solve l - z = -4*h, 3*h + 3*l + 2*l = 32 for h.
4
Suppose 3*x = -3*a + 6, -2*a + 5*a - 3 = -4*x. Suppose -4*m - 1 = -n - 2*m, 2*n - a = m. Solve -5 - 7 = -n*t + 5*k, -3*t = 3*k + 12 for t.
-1
Let l = 74 + -72. Solve 0 = -u - l*x - 2, 4*u - 1 + 4 = -3*x for u.
0
Let l be -7*((-72)/63)/2. Suppose 3*k - 39 = -3*r, -2*k - 3*k = 0. Solve 1 = q, -6*v - 3*q = -l*v - r for v.
5
Let x(y) = 2*y**3 - 4*y**2 + 3*y - 1. Let s be x(2). Solve 15 = -s*h + q, 6*h = 2*h - 2*q - 12 for h.
-3
Let z be (-17 - -4) + (-2)/1. Let k be 4/10 - (-96)/z. Let v be k/(2 + (-22)/8). Solve y + 3*y - 2*s - v = 0, 0 = 3*s for y.
2
Let f = -17 + 26. Let q(z) = 5*z - 2*z**2 + 5*z + 13 + z**2 - 2*z. Let y be q(f). Solve -3*h = y*u - 8, -2*h = 5*u + 2*h - 9 for u.
5
Let l = 93 - 74. Solve 28 = 3*u - 5*c, l = u - 3*c + 3 for u.
1
Let r = -3 - -7. Suppose 2*v + 2*g - 4 = 0, -5*v + g + 22 = -0*v. Solve l = r*f + v, 5*l = 5*f - 0*f + 20 for l.
4
Suppose 3*o - 24 + 0 = 0. Let c = o + 32. Solve 3*m = 2*y + 2*m - 7, 5*m - c = -5*y for y.
5
Let j = -101 - -151. Let u be ((-12)/(-10))/(3/j). Solve -w + 4*y = -2*w + u, 0 = -3*w - 5*y + 32 for w.
4
Let x(n) = -n**3 + 9*n**2 + 12*n - 8. Let a be x(10). Suppose 10*k - a = 6*k. Solve 20 = 5*m - 5*r, 5*m - k*r + r - 5 = 0 for m.
-1
Suppose -20 = 5*n - 10*n. Suppose -4*s + 10 = 4*a - 2*s, -n = -a + s. Solve 6 = 5*f + 3*p, 4*f + 7*p + a = 2*p for f.
3
Suppose z + 2*z + 8 = 2*u, 5*u - 45 = -5*z. Solve -29 = -2*r + 2*q - u*q, -q + 7 = r for r.
2
Suppose -r = -4*f + 3*r, 5*f = -4*r + 36. Suppose 9 + 7 = f*v. Solve -2*m = t - 1, t + m + v = 2*t for t.
3
Let p = -6 - -8. Let c = 56 + -31. Let f(n) = n**3 - 4*n**2 + n + 1. Let l be f(4). Solve -2*y - y + 4*w + 20 = 0, p*y = -l*w - c for y.
0
Suppose -c = 3*j - 13, -2*c + 0*j + 3*j = 1. Let p(i) = i**2 + 2*i - 3. Let d be p(c). Solve -5*k - 20 = -5*t, -4*k = -4*t - 5*k + d for t.
5
Let v be 19/7 - (-4)/14. Let p = 67 + -65. Solve -5*c = p*b + v*b + 45, 2*b = -5*c - 33 for b.
-4
Suppose 0 = r + 3*k - 9, -3*r + 6*k = 9*k - 51. Solve 0 = 3*s - f - 11, 2*s = s - 4*f + r for s.
5
Let v = -108 - -110. Solve 16 - 3 = -y + 5*b, 5*y - 4 = v*b for y.
2
Let y = 4 - -3. Let k be y + (-1 - 2) - 1. Solve 15 = -x + 4*n, k*n - 5 = -x + 2*n for x.
1
Let a(f) = f**3 + 6*f**2 + 6*f + 5. Let o be a(-5). Solve o = 3*j - 6*j + 4*s + 9, 4*j - 12 = -s for j.
3
Let w(j) = -2*j - 3. Let b(v) = -5*v - 8. Let y(l) = 4*b(l) - 11*w(l). Let p be y(1). Solve 2*x = -p*h - 23, -h + 10 = -3*h for x.
-4
Let j(n) = n + 7. Let d be j(-9). Let z be d/4*10/(-1). Let p be 1 + z - 2/1. Solve -3*h + 5*r = -p*h + 18, 0 = -3*h - 5*r + 24 for h.
3
Let l be (1 + -7)*(-4)/(-6). Let b(w) = -w + 1. Let p be b(l). Solve -2 = -f + h, 2*f + p*h = -1 + 19 for f.
4
Suppose -54 - 74 = -5*a + 4*l, a - l - 26 = 0. Solve -5*c - 5*k - a = -c, -3*c - 11 = 2*k for c.
-1
Suppose -5*h + z - 2 = 0, 4*h + 5*z - 2*z - 6 = 0. Suppose -c + 28 = -h*c. Solve a + c = -5*t, 3*a + 4 = t - 0 for a.
-3
Suppose 0 = 4*g + 16 - 4. Let n be (g/(-4))/((-1)/(-4)). Suppose 0 = -h + 1 + n. Solve -3*u = 3*c - 15, -c = -h*u - 0*c + 15 for u.
4
Let u(f) = 6*f**2 + 4*f - 6. Let b(v) = v**2 + v - 1. Let l(r) = -11*b(r) + 2*u(r). Let k be l(4). Solve -k*y + g - 6 = 0, -4*g = 2*y + 3 + 1 for y.
-2
Let n = 61 - 53. Solve 2*w = 5*d + 1, -n - 1 = -3*w for d.
1
Suppose 0 = -x + 1 + 7. Suppose -3*o - 15 = -3*l - o, 0 = l + 2*o + 3. Solve -x = 2*b - 4*d + 2*d, 12 = 2*b + l*d for b.
0
Let l(b) = b**2 - 4*b - 5. Let q be (-78)/(-15) + (-2)/10. Let k be l(q). Solve 3*s - 3*h = 5 + 16, -s - 2*h - 8 = k for s.
2
Let k = -9 - -21. Suppose -k = n - 4*n. Solve -5*h + 4*z = -2*h - 28, n*z + 20 = h for h.
4
Let q = 6 - 4. Suppose -3*z + h = -3, -3*h - 18 = -3*z - 7*h. Solve v - z*v - q = -2*i, 3*i - 3*v + 3 = 0 for i.
3
Let f(d) = d**3 + 5*d**2 - d - 1. Let j be f(-5). Let o(p) = 12*p**3 - p. Let q be o(1). Solve n = 4*t - q + 36, -j*t = 4*n for t.
-5
Let n be (-2)/3*(-8 + -1). Solve -3 = -v, -4*v + n = -f - f for f.
3
Suppose h = -0*h - 1. Let p be (-2 - -2 - 0)*h. Solve p = -5*t + 2*s, 0*t + 2*t = 5*s for t.
0
Suppose 2*c - 10 = -3*c. Solve 0 = 2*h - 4, -4*o + 2*o = -c*h + 2 for o.
1
Let j be (0 + -2)*(-2)/4. Let n = 3 - j. Suppose 0 = 4*d + 4*u - 40, -7 = -n*d + u + 10. Solve 0 = -4*l - k + 10, d*k = 4*k + 10 for l.
2
Suppose 4*i + b + 57 = 194, 2*i + b = 67. Let o be 22 + -17 + 2/(-2). Solve o*j - 2*d + 30 = 0, -2*d = -6*j + j - i for j.
-5
Let v = 60 + -54. Solve 5*t = p + 15, 2*p - v*p = -4*t + 28 for p.
-5
Let d be 5*1*18/(-5). Let q be (-1 - -16)*d/27. Let i be q*3/(15/(-2)). Solve -1 = i*s + 3*r, 4*s = 4*r - 20 - 16 for s.
-4
Suppose 0 = 4*d - 4*q - 4, -1 = 2*d - 4*q + 3. Solve 2*z + k + 8 = 0, 5*k + 6 + 22 = -d*z for z.
-2
Let z be 3 + 2/(6/(-3)). Let x be 3*(z + 0 + -1). Solve -l = -v - v - 7, x*l = v + 16 for l.
5
Suppose 2*z - z = 3. Solve -2*g + z*g - 30 = -5*i, g + 5 = 2*i for g.
5
Let m(l) = -l**2 + 9*l - 12. Let a be m(8). Let f be 1/(-2) - 14/a. Let q(h) = 4*h + 1. Let s be q(2). Solve -s = f*n - 3, 4*x - 3*n = 6 for x.
0
Let f be 3/12 - (-85)/(-20). Let v be 1 + f - -8 - 2. Solve 10*k + 10 = 5*k - 5*d, 0 = 5*k - 2*d + v for k.
-1
Suppose -3*g = d, 4*g = 5*g + 2*d. Solve g = -4*b, 6*h - 3*h - 3*b = -12 for h.
-4
Suppose 7 + 23 = -3*i. Let f be (15/i)/((-3)/4). Solve 2*x - 4*x + 10 = 4*r, -f*r + 2 = -2*x for r.
2
Let v(m) = -3*m. Let t(x) = -x. Let z(y) = -2*t(y) + v(y). Let a be z(-2). Suppose l = -a*l. Solve 5*n - 4*b + 12 = l, n - 12 = -4*n - 4*b for n.
0
Suppose 0 = -2*b - 3*b + 490. Let a be (-30)/20 + b/4. Solve -4*p = 3*d + a, 0 = -3*p - 5 - 1 for d.
-5
Suppose 15*d + 4*d - 38 = 0. Solve -d*m = -4, -14 = 5*l - 2*m - 0*m for l.
-2
Suppose 5*k - 11 = -26. Let v be (18/21)/(k/(-14)). Solve 3*s - 2 - 1 = 4*z, -2*s + 2 = -v*z for s.
1
Let f = -35 + 41. Solve -2*o - f = -g - 0*g, g + 3 = -o for o.
-3
Let x = 180 + -178. Solve 5*f + 9 = -2*a - x, -a - 10 = 4*f for a.
2
Suppose -2*v - v - 4*i + 61 = 0, -4*v = -4*i - 72. Solve -3*z - 16 + 5 = -2*r, 0 = -4*r + 5*z + v for r.
1
Let t be 3 + (0 - 1)/(-1). Let g be (-2)/(-4*t/40). Solve x = l + 1, 4*x = -g*l + l - 4 for x.
0
Suppose -8 = -f - 10, 7 = 3*j + 4*f. Solve -5*u = l + 6, -1 + 2 = 4*u - j*l for u.
-1
Let p be (2/(-4))/(2/(-24)). Suppose y = 2*y + p. Let l = y - -9. Solve 2*r = l*r - 1, 5*i + r = -4 for i.
-1
Let n(u) = u + 7. Let s be n(-5). Solve 6*d - s*d = -2*p - 14, 10 = -4*d + 2*p for d.
-3
Suppose -15*k + 17*k - 8 = 0. Let t = 1 - -1. Solve t*l - 2*g = 8, 5 = -k*g + 1 for l.
3
Let z(o) = o**3 + 9*o**2 - 10*o - 4. Suppose -50 = 4*l + l. Let v be z(l). Let h be 34/6 - v/(-6). Solve 4*y - h*u = -13, 5 = -0*u + 5*u for y.
-2
Let m = -21 - -41. Solve -y = -3*o + y - m, 32 = -4*o + 4*y for o.
-4
Let w(p) = -4*p. Let m be w(6). Let j be (m/(-2 + -1))/2. Solve 0*u + 26 = -4*u - 3*s, -4*s = -j*u - 12 for u.
-5
Suppose -4*s - 24 = -l - 1, -14 = -l + s. Let f = l + -9. Solve -3*z - 3*i = -6*i + 9, -4*z + f*i - 2 = 0 for z.
2
Let n be -3*(-2 + 1)/1. Solve 0 = -v - n*x - 11, 0 = 3*v + x - 0*x + 17 for v.
-5
Suppose 26*q - 22*q - 20 = 0. Solve 2*p = 4*m + 16, -q*p + m - 3 = -p for p.
-2
Suppose -5 = 4*y - 29. Let c be (y/(-8))/(2/(-40)). Suppose 2*d - 5*s - c = 0, 0 = -2*d - 5*s - 10 - 5. Solve -3*b - 5*n - 13 = d, 4*b - 2*b + 7 = -3*n for b.
4
Suppose -x - 3 + 8 = 0. Solve -3*c = 2*c - x, 0 = -3*k - c - 2 for k.
-1
Suppose -2*z - 12 = -g, 2*g + 5*z + 13 = -8. Suppose -4 - 4 = -g*r. Solve p + i + 8 = 5*i, -3*i + 25 = r*p for p.
4
Let x be (12 - -2) + 3/3. Suppose 3*o + l - 3*l - 7 = 0, 3*o - 5*l = 4. Solve o*z + 4*v - x = 0, -2*v + 5 + 3 = 2*z for z.
1
Suppose -2*q = -2*b + 18, -3*b - 3*q = q - 48. Suppose 5*d + m - 10 = 3*d, 5*d = 4*m + b. Let y be 0 + 5/1 + -1. Solve 1 + y = d*w - 5*n, -w + 3*n = -10 for w.
-5
Suppose 4*t = 6*t. Solve t = -5*m + 4*c + 6, -2*m + 2 = -c - c for m.
2
Suppose 5*o + 15 + 0 = -y, 4*o + 12 = -y. Suppose y = -2*h - 5 + 21. Let z(b) = 2*b - 12. Let t be z(8). Solve t*p - 16 = -h*f + 4*f, -4*p + 4*f = 0 for p.
2
Let w be -4 - -2*3/2. Let s(y) = -y**3 - 2*y**2 - 2*y - 1. Let r be s(w). Solve -l + r*m - 3*m = -20, -l = 