. Let l(t) = 2*t - 1. Let y be l(3). Let u be v(y). Solve 4*m + 4*o = -o + 16, -m = u*o - 15 for m.
-1
Let k be (-64)/(-10) - (-15)/25. Let z be (-2)/(8/3) + 38/8. Solve 5*x = 5*i - 5, i + z*x - k = 2*x for i.
3
Let s(c) = -3*c - 6. Let l be s(7). Let m = -23 - l. Solve -t - 16 = -x - m*t, 6 = x + t for x.
1
Let x be 492/(-15) + 1/(-5). Let i be 6/x + 101/11. Let a = -7 - -12. Solve -2 = 3*j - d - 1, 0 = -j + a*d + i for j.
-1
Suppose 0 = -2*t - 10, 3*v + t + 8 = -3*t. Suppose -v*u + 2 = 3*b, -2 - 4 = -4*u - b. Solve 0 = 2*y + z - 4, -5 = -2*y - y - u*z for y.
3
Suppose 0 = -3*u + 4*g - 130, -4*u + 3*u - g = 34. Let m = 43 + u. Solve 5*p - 2*a = a + 6, 0 = m*p + 3*a - 24 for p.
3
Suppose 31*h = -16*h + 376. Let l be (-10)/(-4) - 2/4. Solve -j - 6 = 2*f, l*j + h = -5*f - 7 for f.
-3
Suppose 2*y - 3*y - g = 1, -16 = -4*y + g. Let q be y/12*(20 + 0). Solve 19 = -2*f + q*d - 12, 3*d = -4*f + 3 for f.
-3
Suppose -2 = 3*z - 8*z + 4*w, 5*z = 5*w. Let h(u) = u**3 - 3*u**2 - 14*u + 21. Let i be h(5). Solve 5*o = 5*y - 30, y - z*y + i = 0 for o.
-5
Let y = -354 + 235. Let u = -86 - y. Let s be (-1)/(-1) - 2/(-1). Solve 5*z - m - u = 3*m, z - 11 = s*m for z.
5
Let k(r) = r**3 - 3*r + 1. Let g be k(2). Suppose 64 = 14*a - 6. Suppose 0 = -a*v + g + 17. Solve 0 = x + c - v, -4*c = 5*x - 5*c + 4 for x.
0
Suppose l - 3 = h, -4*h + h - 7 = -l. Let n(d) = d**3 - 12*d**2 + 4. Let k be n(12). Solve -a = 2*i - 1, -i - k + l = -3*a for i.
0
Suppose 2*f + 8 = 3*f. Let g(y) = y**3 - 9*y**2 + 7*y + 9. Let x be g(f). Solve 2*q + 4*a - 2 = 0, -4*q + 3*a = -5*q - x for q.
5
Suppose 3 - 8 = -k. Suppose -18 + 66 = 4*a. Suppose 0*n + a = 3*n. Solve 3*l + z = -0 + 4, n*l - k*z = -1 for l.
1
Let a = 4 + -3. Let y be -5 + 6 + 2 + a + 1. Solve -2*i = -4*n + 30, y*i + 4 = -4*n - 1 for i.
-5
Let r = 13 - 9. Let g(n) = 3*n**2 - 4*n - 4. Let l be g(r). Solve -2*z + 4*c = -c + l, -4*c = -z - 20 for z.
-4
Let u be (-4)/((3 + -1)/(-2)). Let p be -3 + ((-8)/48)/(1/(-42)). Solve 11 + 1 = 2*n - u*s, 2*n + 4*s + p = 0 for n.
2
Suppose 4*s + 18 = 2, -5*m = 5*s - 5. Let w(a) = -a**2 + 14*a - 13. Let c be w(9). Let y = c + -30. Solve -x + 2*x + m*i = -21, 18 = y*x - 5*i for x.
-1
Suppose -33*t - 218 = -350. Solve 2*c + 4 - 2 = 4*l, 2 = -5*l + t*c for l.
2
Let z be ((-32)/(-10))/(14/35). Suppose -2*l + 17 = l + 2*w, 4*l = -3*w + 23. Suppose h - l*h = -z. Solve -5*a + 2 = o - 0*o, h*a = -5*o + 10 for o.
2
Let f = 120 + -39. Suppose -91 = -2*r - f. Solve 2*i + r*m = 19 + 2, 2*i - 3*m = -19 for i.
-2
Suppose 4*t = 2*b - 3*b + 15, 5*t - 16 = -4*b. Solve -3*z - 25 = -4*p - 3, 2*z = -2*p + t for p.
4
Let q(a) = a**3 + 3*a**2 - 11*a - 1. Let n be q(-5). Solve -3 = 3*m + 3*b, -n*b = -m - 0*b - 21 for m.
-5
Let o = -4 + 8. Suppose -10 = -4*y + 2. Suppose -4*w + y*q + 29 = 0, -4*q - 7 = -w + 2*w. Solve o*s - w = -0*h - 3*h, s + h - 1 = 0 for s.
2
Let q = 43 + -44. Let v be q/((-1)/(-5 + 15)). Solve -5*c - 8 = -3*j, 5*c = -2*j - 18 - v for c.
-4
Let y be (12 - 3)/(-3) - -17. Suppose -5*p = -6 - y. Solve 5*b - 2*b = 2*r - 22, 0 = 5*b + p*r for b.
-4
Let c = 1061 + -1061. Solve c = 6*u - u + 25, -3*r + u = 10 for r.
-5
Suppose m - 105 + 101 = 0. Solve -q - 4 = k, -4*k = q - m*q + 16 for k.
-4
Suppose 20 = 4*f - 5*f + 5*m, -4*m = -16. Solve f = 5*c - 6*c, d + 3 = -5*c for d.
-3
Let j be 2268/420 + (-6)/(-10). Solve -3*s + 2 = -j*s + 5*h, 14 = -5*s + 3*h for s.
-4
Let j = -4 - -6. Let a(y) = 5*y**2 + 0*y + 3 + 10*y**2 - 12*y**j + 5*y. Let i be a(-3). Solve -i = 5*o + f, 3*o + 4*f + 9 = -0*o for o.
-3
Suppose -2*l + 12 = -0*l - 5*f, -5*f = 0. Solve k = -4*b + 3, -b + 4*k - l*k = 8 for b.
2
Let v(c) = -c + 2 - 4*c - 6 + 2*c. Let d be v(-3). Solve d*y = -5*k - 5, -2 = -k - 0*k - 4*y for k.
-2
Let y(j) = 8*j**2 - 8*j - 1. Let a be y(2). Suppose -10*x = -a*x + 15. Solve x*p = 3*r + 2*r + 4, 3 = 3*r for p.
3
Let h be ((-1)/(-10)*5*8)/2. Solve 2*z + 2*z = -4*q + 12, 0 = -h*q for z.
3
Suppose -3*i - 16 = -2*i - 5*p, -4*i = 4*p - 32. Let y = -14 + i. Let m = -6 - y. Solve -2*d - m*w - w + 3 = 0, 2*d - w = 9 for d.
4
Suppose 6 = 15*r - 54. Solve x = 2*f + 4*x - 5, -f = 3*x - r for f.
1
Let u be ((-2)/6)/((-4)/36). Suppose -k = 2*c - 5, -7*c + 6*c = -5*k + 25. Solve 3*m - 5*v - 5 = 0, u*m + c*v + 5*v + 5 = 0 for m.
0
Suppose 4*o + 8 = w, -4*o - 3 = 5. Solve -2*b + 1 = -4*z - 13, 3*b - 2*z - 13 = w for b.
3
Suppose 3*u - 4*j = -70, 2*u - j = 3*j - 52. Let g = u + 21. Solve 4*l - 4 = -4*k, -g*k + l - 2*l = -9 for k.
4
Let l be (25/15)/(1/3). Let r be ((-4)/(-4))/(1/l). Suppose -12 - 38 = -r*g. Solve -4*t - 2*x = x + g, -3*t = 2*x + 8 for t.
-4
Let h = 50 + -54. Let l be (16/(-3))/(-2) - h/(-6). Solve 4*s + 4 = l*x, -4*s + 0 = -4 for x.
4
Let u(n) = -8*n**3 + n**2 + n. Let q be u(-1). Solve -5*i - 4*x = 10, 4*i - 5*x + q = -0 for i.
-2
Let u be (-291)/33 + -2*1/11. Let h be ((-12)/(-27))/((-2)/u). Solve -h*a + 12 = -2*y, -2*a - y = y for a.
3
Suppose 0 = 10*y + 10*y. Solve 3*z + 6 = b, y*z - 2*z - b = 4 for z.
-2
Let f = 455 - 452. Solve 5*y = f*d + 7, 0 = 4*y - y - 2*d - 5 for y.
-1
Let n(u) = -u**3 + 5*u**2 - 8*u + 20. Let y be n(4). Solve 0*m + 3 = 4*a - m, 4*m = -y*a + 8 for a.
1
Let n = 47 + 33. Suppose -n = -3*z + 8*z. Let d be z/120 + 2/15. Solve 5*k + 2*j - 15 = d, -4*k - j = -2*k - 5 for k.
5
Suppose 0 = -19*w + 23*w - 60. Solve w = 5*z + 4*s, s - 2*s - 6 = -2*z for z.
3
Suppose -z + 46 = -2*m - 21, 2*m = -2. Let w = 69 - z. Solve c = -2*r, 2*c + 3*r + 6 = w for c.
-4
Let l = -1381 - -1389. Solve l*x = 4*x, 2*x = -3*a + 3 for a.
1
Suppose -4*c + 2 + 2 = 4*k, 0 = k - 3*c - 5. Let m = 1328 - 1327. Solve -p - 4*g - 4 = m, -4*p - k = -2*g for p.
-1
Suppose 1319*g = 1308*g + 22. Solve 0 = g*q - 9 + 7, -3*f = 3*q - 18 for f.
5
Let k(v) = -183*v - 66. Let h(z) = 14*z + 5. Let o(t) = -27*h(t) - 2*k(t). Let j be o(-1). Solve -2 = -2*g + i + 2, -g + j = 3*i for g.
3
Let a = 1712 + -1711. Solve -m - m - a = -3*n, -2*n + 3*m - 1 = 0 for n.
1
Suppose -16 = -3*l + 5*d, 33 - 31 = 4*l + 3*d. Solve -2*z + 4*u = 22, 3*z + l*u = z + 8 for z.
-1
Let i = 1123 + -1102. Solve 2*r - 4*n - 22 = 0, -3*r = r + 5*n + i for r.
1
Suppose 3*o = 17*v - 20*v, -4*o + 10 = -v. Solve -11 = o*w + 2*c - 5*c, -5*w = -5*c + 15 for w.
2
Let o be (1 + -4)/(3/(-4)). Let j(h) = -h**3 - 3*h**2 - h + 2. Let v be j(-3). Solve w - q - 3 = -v, o*q = -w + 18 for w.
2
Suppose -5*a - 34 = -3*n, n + a - 1 = -3. Let k = 0 + n. Solve 0 = 4*m - 2*s + 1 + 1, -3*m - 3*s + k = 0 for m.
0
Suppose 6 + 16 = 11*j. Solve 0 = -f - 3*n + j*n - 4, 5*n + 20 = 0 for f.
0
Let b be -20*(1 + 0 - (-5)/(-4)). Solve d - 18 = b*z, -18 = 4*d + d + 2*z for d.
-2
Suppose -57*b + 55*b = -12. Solve -5*n = -4*g + b, n + 0*n = 3*g + 1 for g.
-1
Let o(q) = q + 46. Let y be o(-13). Let k be -2*(-1)/(-2)*19. Let w = y + k. Solve -2*n + 3*x + 0*x = w, n - 2*x = -8 for n.
-4
Let s = -666 + 666. Solve y + 3*y = -x - 2, y - 3*x + 7 = s for y.
-1
Suppose 2*k - 25 = -3*z - 4, -34 = -4*k + 2*z. Let q(s) = s**2 - 8*s - 5. Let n be q(k). Suppose 6 = -3*c + n*c. Solve f + 2 = -3*v, 3*v + 3*f = c*f + 6 for v.
0
Let k be 4/(-10)*(4 - 14)/2. Solve 6 = -l - k*b, -3*l = -3*b - 30 + 3 for l.
4
Let s be ((-32)/30)/8 - 4/(-30). Solve -3*v + 3*y - 7*y + 5 = 0, s = -2*v - 4*y + 10 for v.
-5
Suppose -5*p = -3*z - 4, -5*p + 10 = 2*z - 4. Solve -z*w + 2*f = -2, -5*w + 5*f - 4*f = 3 for w.
-1
Let i be (-9)/(675/(-10)) - 6/45. Suppose i = -2*g + 6*g - y - 10, 4*y - 8 = 0. Solve 2*h + 28 = 4*q, g*h = -h + q - 21 for h.
-4
Suppose -3*n = 3*u - 48, -31*u + n - 67 = -35*u. Solve 0 = -4*r + r - 2*t + 13, 3*t = -2*r + u for r.
1
Let z = 0 + 4. Suppose -9*s + 32 = -z. Solve 5*a = -2*b - 28, -20 + 4 = s*b for a.
-4
Let f(b) = 6 + 8*b - 3 + 2 - 7*b. Let w be f(4). Solve -11 = 5*t - q, w*t - 2*q = 4*t - 12 for t.
-2
Let k = -1483 - -1487. Suppose 5*y + 0*y - 5*c = 90, -y + 3*c = -12. Solve -4*m = k*u - m + y, -5*u = -3*m + 6 for u.
-3
Let d(v) = -2*v + 66. Let x be d(33). Solve 0 = -t + 4*h - 2*h + 13, -2*t + 5*h + 31 = x for t.
3
Let w = -52 + 68. Suppose w = 9*t - 2. Solve t*s + 2*s + 8 = -4*v, -s + v - 6 = 0 for s.
-4
Let c(p) = p**3 + 4*p**2 - 5*p + 3. Let z be c(-5). Let i = 66 - 9. Let l = -53 + i. Solve -j - 3*y - l = 0, j + y = -z*j - 5 for j.
-1
Let b be (-6)/(-21) - 300/(-175). Solve 2*p - 5*q + 12 = 0, b*q - 7*q + 