 = 3*k - 11 for k.
-3
Let n be 5/2*-1*-2. Suppose 0 = 3*f - 3*b - 21, n*f - b - 35 = -16. Solve f*k = 3*g, 0 = -5*g + 6*k - 3*k + 10 for g.
5
Let h be (-2686)/(-51) + 2/(-3). Let j be 8/h - 2/13. Solve -2*u - 2*a - 3 + 1 = j, 2*a = 4*u + 10 for u.
-2
Let v = 295 - 295. Solve 5*y - y = -5*t - 3, 2*y + 4*t = v for y.
-2
Let v be (9*10/(-180))/((-2)/8). Solve -5*b + 5 = 2*t, -v*t + t + 1 = 4*b for t.
5
Suppose -29 - 37 = -33*d. Let c(n) = -n**3 + 4*n**2 - n - 2. Let h be c(3). Suppose h*k = d*k + 6. Solve 5*m = 3*x + 4 - 10, 2*m = 3*x + k for x.
-3
Suppose -16*v - 9*v = -12*v. Solve -5*k + v*l - l = -1, -4*k - 2*l = 4 for k.
1
Let m be (-6)/5*-10*6/36. Solve -1 = 2*l + c, -m*l - 3*l + 5*c = 25 for l.
-2
Let t(m) = -m**2 - m + 12. Let u be t(4). Let q = u - -12. Solve 5*z - q*x - 7 = 0, z - x - 1 = 1 for z.
-1
Suppose 152 = 6*i + 80. Solve -5*v + d = -2 - i, d = 2*v - 5 for v.
3
Let l(p) = -p**2 + 9*p - 4. Let z be l(8). Suppose 5*u + 10 = -2*y + z*y, 2*u - y = -5. Solve 3*a = 4*b - 32, -2*a + u*a = b + 3 for a.
-4
Let n = -4171 - -4171. Let c be 28/8 + (-2)/4. Solve 0*j - 3*j = 2*q + 21, n = -c*q + j - 4 for q.
-3
Let y be (2 - 3)/(1/(-2)). Suppose a - 2*l + 4 = 0, 3*a + 0*l = 3*l - 9. Let i = y + a. Solve -3*z + o + 13 = i, 2*o + 0*o - 4 = 0 for z.
5
Let q(d) = -3*d + 8. Let w be q(1). Solve -5*h - 4*u - 6 = -2*u, -w*h + 9 = -3*u for h.
0
Suppose -430 = 3*v - 8*v. Suppose -5*s + 0*y + 82 = 3*y, -v = -5*s + y. Suppose j - 19 = -j - 3*r, j - s = -3*r. Solve 20 = -5*x + 3*b - 5, -10 = -j*b for x.
-2
Let c(x) = -x**2 - 5*x + 36. Let p be c(-9). Solve -4*t - 12 = -4*r, 24 = 4*t + 5*r - p*r for t.
1
Let i be ((-15)/6)/((-1)/2). Suppose b = 14 - 10. Suppose -5*x - 2*q + 51 = -28, -x - b*q + i = 0. Solve -4*g + 0*g + u = 22, 0 = 5*g + 4*u + x for g.
-5
Let y = -10 + 13. Let a(n) = -n**3 + 5*n**2 - 6*n + 2. Let w be a(y). Solve -w*g = 3*g + 3*h - 40, 0 = 5*g - 5*h for g.
5
Let j(z) = -z**3 - z**2 - 4*z - 7. Let d be j(-2). Solve 0 = -3*x + d*s + 10, 2*s - 1 = x - 6 for x.
-5
Suppose 2*k = -5*f + 13 + 2, -15 = -5*f - 3*k. Let n = 2 + f. Solve -4 = z - 3*v - n, -3*z + 3*v + 3 = 0 for z.
1
Suppose -7 = 7*b - 77. Solve 0 = 2*g + 8*d - 6*d + b, 25 = -2*g - 5*d for g.
0
Let g = -731 + 738. Solve 3*k + 5*y + 32 = g*k, k + 3*y + 9 = 0 for k.
3
Suppose 5*f - 6*g + 9*g - 24 = 0, 3*f - 20 = g. Let l be (1 + 1)*(2 - 1). Solve -j + 13 = -3*o, 2*o = -l*j + 4*o + f for j.
-2
Let a = -127 + 131. Solve -3*p + 3*c - 15 = 0, -a*p + 4 = -0*p + 4*c for p.
-2
Let z(q) = -q + 3. Let x be z(13). Let j = -7 - x. Suppose s - 12 = 4*a, -10 = j*s + 3*a - 1. Solve -2*t + 3*y - 5 + 4 = s, -5*y + 5 = -5*t for t.
-2
Let w = 60 + -32. Suppose -4*n + 11*n - w = 0. Solve -7*p + 3*p = 2*b - n, b = 2*p - 2 for b.
0
Let q = 117 - 113. Solve m + 9 = 4*i, m = -3*i + 9 - q for i.
2
Let t be (-27)/(-29) + 246/3567. Solve d = -3*z - 9, -3*z - 10 = -3*d - t for d.
0
Suppose -13*q + 11 = -106. Suppose 0 = -q*r + 4*r. Solve -5*n = 2*l + 29 - 9, r = 2*l - 5*n for l.
-5
Let f = -22 - -23. Let o be f*2 - 510/(-15). Let u(l) = l**3 - 8*l**2 + 7*l + 3. Let k be u(7). Solve -k*t = 2*t + 4*i + o, -3*i = 12 for t.
-4
Let y(c) = c**3 + 7*c**2 - 2*c - 2. Let u be y(-7). Suppose -5*n = -7*n + u. Suppose -b - 25 = -n*b. Solve 0*v - 8 = 5*v + 2*t, -5*v + b*t - 15 = 0 for v.
-2
Let d = -1912 - -1920. Solve 3*b - s + 5*s - 22 = 0, 2*b - 3*s = -d for b.
2
Suppose 21*s + 115 = 388. Let o = 4 + -2. Solve -5*m + s = -4*n + o, -3*n = 3*m - 12 for n.
1
Suppose 0 = 3*v - 6 - 3. Suppose -3*j - 1 = -4*j - l, -j = 5*l + v. Solve -3*u + j*u + 2 = 5*r, 4*u = 5*r + 8 for r.
0
Let m = 23 + -18. Suppose 5*q = 3*b - m*b, 0 = q + 5*b + 23. Solve 4*p = 4*l - 12, p = -q*l - l + 13 for p.
1
Let r be ((-2)/(-4))/((-2)/68). Let b = -13 - r. Solve 12 = b*q - 5*i, 2*i + i = -5*q - 22 for q.
-2
Let f be (-696)/(-116)*((-1)/1)/(-2). Solve -5*s - 24 = 3*v, -v - f*v - 6 = -2*s for s.
-3
Suppose -9*y + 9 = -6*y. Let n = 9 - 5. Solve 4*c + y = z, n*z + c = -1 - 4 for z.
-1
Let d(y) = 2*y**3 - 25*y**2 - 10*y - 34. Let g be d(13). Solve g*o + 5*k = -10, -5*k - 16 = 3*o - 0 for o.
3
Let f(k) = 4*k + 4. Suppose 23*q = 19*q. Let g be f(q). Solve 2*t = -g*b - 20, -2*t = -4*b - 7*t - 32 for b.
-3
Let i be ((-108)/(-20))/((-15)/(-25)). Solve -5*u + 22 = k, -i = -6*u + 3*u - 2*k for u.
5
Let k be (3*-19 - 1)*225/(-450). Solve 9 = 3*h, -k = 2*s + 3*s - 3*h for s.
-4
Let d(x) = -8*x - x**2 - 2*x**2 + x**2 + x**2. Let w be d(-7). Suppose w*y - 4*y = 36. Solve y = -3*h + 2*a, a = -2*h - 3*a - 8 for h.
-4
Suppose -6*h + 7396 - 7384 = 0. Solve -4*t + h*t = 4*y, 3*y + 11 = 4*t for y.
-1
Suppose -14*z + 160 = -9*z. Let c = -21 + z. Solve 4*g - i = 3*i + 28, -3*i = -g + c for g.
5
Let v = -67 + 114. Let i = -35 + v. Solve -5*m - i = t, 1 + 7 = -2*m - 2*t for m.
-2
Let x(q) = -q**3 - 11*q**2 + 12*q. Let k be x(-12). Solve -3*m + 5*m + 4*w + 4 = k, -4 = -3*m - w for m.
2
Suppose -24 = i - 4*i. Suppose 4*c + i = 24, 5*f = 2*c + 17. Solve -2*y - 2*d - 5 = -3*d, -4*y - f*d = 45 for y.
-5
Let o(n) = n**2 - 6*n + 3. Let u be o(7). Suppose u = m + m. Let d be 6/(-15) + 2 + (-8)/5. Solve -5*a + 0 = -2*p - 12, -5*p - m = d for a.
2
Let p = 25 + -20. Let z(x) = -x**2 + 7*x - 8. Let f be z(p). Solve -4*l = -5*m, -l + f*m = -2*m for l.
0
Let l = 540 - 538. Solve -l*j + 10 = 3*r, 0*j - r = -4*j - 8 for j.
-1
Suppose 314 = -3*h + 323. Solve 3*w - 1 - 2 = -h*u, 4*u = 3*w - 24 for w.
4
Let m = 314 + -285. Solve j + 6*i = i - m, -j = -i - 1 for j.
-4
Let b(a) = a**3 + a**2 - a. Let n(q) = -5*q**3 - 5*q**2 + 5*q + 3. Let i(k) = 6*b(k) + n(k). Let w be i(0). Solve 5*g + 3*p = w, g - 2 = -3*p - 11 for g.
3
Let z(l) = 2*l + 30. Let m be z(-13). Let r(t) = t**2 - 4*t + 4. Let u be r(4). Suppose -33 = -x - u. Solve -f - m*f - x = -2*o, -2 = 2*f + 4*o for f.
-5
Let u(o) = 3*o**2 + 62*o + 43. Let t be u(-20). Solve 2*r + 5*f + 6 = 0, -2*f - 20 = -5*r + t*f for r.
2
Let b be (-9)/(-6)*(-8)/(-6). Suppose w = 7 + b. Solve -4*k = 3*m + 20, w + 1 = -2*k - m for k.
-5
Let a be -6 + 3 + 6 - 0. Let k = -41 - -61. Solve -3*c - c - k = -4*n, -a*c + 3 = 3*n for n.
3
Suppose 0 = -a + t + 1, 5*t = 2*a + t. Let i be -1*(-6 + 13 + -9). Solve i*j = -k + a*k - 4, 4*k - 5*j = 7 for k.
-2
Let a be 6/(-4)*36/(-27). Let v be 6*a/(-18)*-3. Solve 8 = -2*w - 0*t - v*t, -4*w + 11 = -5*t for w.
-1
Suppose -2*m - 9 = -5*m. Suppose 0*q + 8*q = 40. Solve -6*s - 6 = -s - 2*g, 0 = q*s + m*g - 9 for s.
0
Suppose 0 = h - 5*i + 10*i - 28, 5*i - 13 = 4*h. Solve -h*p + 2*v = p + 18, p = 4*v - 15 for p.
-3
Let z be (-1 + -4)*(1 - 2). Solve 3*n = 8*n + 3*j - 20, z*n + 5*j = 20 for n.
4
Suppose -42*a - 2*a + 440 = 0. Solve -8 = 4*k - 5*g, a + 0 = -5*k + 5*g for k.
-2
Suppose 0 = 5*j - 5, 2*j + 2*j + 7 = d. Let q = 14 - d. Suppose 0 = 2*c + 8, q*u - c - 11 - 2 = 0. Solve -4*y - 23 = u*o, -3*o - 20 = -o + 5*y for o.
-5
Let a(c) = 4*c**2 - 19*c - 3. Let s = 34 - 29. Let w be a(s). Let i be 2 - 3*2/3. Solve 2*r + w = -5*j - i*r, -j = 4*r - 14 for j.
-2
Let t = 18 + -18. Let j be 0/(-1) - (4/(-4) + 1). Suppose 0 = -6*x + 3*x + 6. Solve 5*z + 5*w = j, 2*z - x*w + t = -4 for z.
-1
Let c = -130 + 124. Let i be (-8 + -6)/(c/3). Solve -2*j = b + i, -b + 0*b + 18 = -3*j for b.
3
Let o be ((-3)/2)/(3/(-4)). Let g be (3*(1 + 3)/2)/2. Solve -g*c + 2 + 0 = -4*q, -o*q - 8 = 2*c for c.
-2
Suppose -5*q + 22 = 2*m - m, -2*m - 5*q + 49 = 0. Let h be 636/m + 12/27. Solve 3*y + 8 = -t, -6*t + 2*y = -2*t - h for t.
4
Let k(y) = -y**2 + 4*y - 3. Let d be k(4). Let j = d - -21. Suppose -16*v + 11*v + 10 = 0. Solve -v*i + 4*a = -0*i - j, -4*a = 3*i + 13 for i.
1
Let u = 66 - 92. Let g = u + 26. Solve 2*a = -2*l - 2, g = a - 6*l + l - 29 for a.
4
Let o be 1 - (0 + -2) - 1. Let s = -4 - -8. Suppose -146*k + 40 = -136*k. Solve -y = -w - k*y + s, -o*y = w - 3 for w.
1
Let p be 1/(3/6 - 0). Suppose 0 = -3*m + p*m - 2*i + 31, 0 = -m + 2*i + 39. Solve 0 = 5*t - 3*s - 2*s - m, 2*t + 2*s - 2 = 0 for t.
4
Let y = -370 + 372. Solve 0 = -4*f, q = 4*q - y*f - 12 for q.
4
Suppose -u + y + 6 = 0, -5*y - 10 - 8 = -u. Solve 3*z = 5*j - 5 + 4, -2*j - u*z = -13 for j.
2
Let z be 0/((3 - 0) + -3 + 1). Solve z = -2*b - 2*t - 18, -3*b = t - 6*t - 13 for b.
-4
Suppose 7 = 2*p - d, 8*p - 23 = 3*p - 3*d. Solve 0 = -5*m + p*f - 5, 3*m - 3*f - f = -3 for m.
-1
Let b be (-