for l.
-1
Let v be (-168)/48*22/(-7). Let s be 0/(-3)*(-1)/2. Solve 3*z = -f - v, z = -s*z - 4*f for z.
-4
Let u = -8 + 12. Suppose 0 = -u*i - 0*i - 3*d - 21, d - 19 = 3*i. Let t be 4/(-10) - i/15. Solve 3*f + b = -2*b - 9, t = 3*f - 2*b - 1 for f.
-1
Let o(d) = 8*d - 16. Let c be o(3). Let z be (9 - c)*(5 + (-1 - 0)). Solve 3*q = z*j - 19, 13 = 4*j - q + 4*q for j.
4
Suppose 4*h - 222 = 102. Let l = 85 - h. Solve l*d + 4 - 3 = 5*i, -d + 2*i = 1 for d.
1
Let u(n) = -n**2 - 13. Let t be u(0). Let j = 20 - t. Suppose -4*b + j = 3*l + 1, 0 = 4*b - l - 16. Solve 6 = 2*k, i + 2*i + 6 = b*k for i.
3
Suppose 0 = -11*y + 25 - 3. Solve 8 = 5*l + y*k, -5*k + 3 = 4*l - 0*k for l.
2
Let h = 36 + -21. Suppose 3*v + 3*r = h, -29 = -5*v - r - 0*r. Suppose 0 = m - v*m + 50. Solve d - m = 5*s, -s = 2*d - 9 + 22 for s.
-3
Suppose 3*d - 5*g - 24 = 0, d + 4*g + g + 12 = 0. Solve 3*x - 2*m = -11, d*m + 2 = -x + 13 for x.
-1
Let x be 14/28*1*6. Solve -k + 3*n - 1 = 0, n + x*n - 10 = -3*k for k.
2
Suppose 56 = -3*s + 65. Suppose -2*l - 42 = -9*l. Solve 3*q = s*b + 10 - 4, -l = 2*b - 4*q for b.
-1
Suppose -4*c + 3*c + 3*k = 9, -3*k = 2*c - 27. Suppose -l + 4 = -o, 2*l + c = -0*l. Let f be (-13)/o - (-2)/14. Solve 4*s - f*z = -6*z + 12, -z + 5 = 2*s for s.
2
Suppose -7*u - 512 = -540. Solve h + l = 1, 0*h = 5*h - u*l + 40 for h.
-4
Let p be (129/(-21) - -5)/(2/(-7)). Solve 5*r + 17 = -p*v, -v = -0*v - 4*r - 22 for v.
2
Let i be (-1 - (-6 + 5)) + (-2 - -4). Solve 4*s + 19 = 3*z + i*z, -5*z = -3*s - 18 for s.
-1
Let a be -4 + (-1)/3*(-5 + -13). Solve p - 2*h + 23 = -7*h, -a*h - 2 = -2*p for p.
-3
Suppose 5*z - 28 = -8. Solve -5*t = 3*n + z, -t + 2*n - 2 = 4 for t.
-2
Suppose -4*o - 10*h = -18*h - 44, -25 = -2*o + 5*h. Solve 0 = -l - 4*d - 4, o*d + 2 = 5*l - 3 for l.
0
Suppose 23*w + 6 = 25*w. Suppose 2*s - 2*c = 0, -s + 0*s - w*c + 8 = 0. Solve 0 = -2*m - s*y + 8, m + 3*m + 3*y = 13 for m.
1
Let a = 347 - 343. Solve -a = 4*n - 4*j, 5*j - 2*j - 3 = 2*n for n.
0
Let x be (2/3)/(((-16)/(-15))/8). Solve 0 = -3*w + 4*u + 14, -4*w + x*w - u - 4 = 0 for w.
2
Let t = 7 + 12. Let n(h) = -h**3 - 12*h**2 - 14*h - 1. Let z be n(-11). Let d = z - t. Solve -x + 2*r + d = 0, -3*r = -9*x + 4*x + 30 for x.
3
Let w be -3 - 0 - (-19 - -12). Solve -3*r + 3*x = 3, w*r - 3*x - 7 = 6*r for r.
-2
Let r(n) = n**3 + 2*n**2 - 2*n + 4. Let a be r(-3). Let t(l) = -8*l**2 + 2*l - 1. Let k be t(a). Let y = k - -9. Solve -14 = -3*p - 2*p + y*w, 2*w = -4 for p.
2
Let m(g) = 2*g**2 + 6*g - 4. Let a be m(-4). Let z = a + -4. Solve 5*k - h + 5 = z, 3*k + 11 = -4*h - 15 for k.
-2
Let z be (4/(-6))/((-4)/6). Let y = 8979 + -8976. Solve -2 = 5*b - y*k, 2*b + z = -k + 9 for b.
2
Let z(v) = -2*v**2 - 7*v + 18. Suppose 0*c = 2*c + a + 12, 2*c = 2*a - 6. Let t be z(c). Solve 3*x - 4*u = -4, 2*x = x + 3*u - t for x.
0
Let u be ((-3)/(-12))/((-6)/(-24)). Suppose y - 4 = 2*m, 3*y - 6 = m + u. Solve -q - 4 = 4*f - 2, -y*f + 6 = -3*q for f.
0
Let d(v) = v**2 + 6*v - 2. Let f = -5 + 11. Suppose -y + 21 = -5*j + 3, -2*y + 4*j + f = 0. Let o be d(y). Solve r = -2*l - 5, 2*r - o*r - 15 = 0 for l.
0
Let c(f) = -5*f**2 + 41*f - 9 + 18 - 34*f - f**3. Let g be c(-6). Solve -p + a = -g, -5*a + 2 = 3*p - 7 for p.
3
Let l be (-6)/(-8) - (-3)/(-4). Suppose -58*n + 60*n - 48 = l. Solve -c = 5*y + n, 0 = 4*y - 2*c + 8 + 14 for y.
-5
Let c = -177 + 177. Solve c = 2*p + 5*o + 16, -4*o + 0*o = -p + 5 for p.
-3
Suppose 5*l + 23 = -12. Let d be (-1)/(-1) + (l - -7). Let o = 3 + d. Solve -3*c - 4 = -o*f + c, 0 = 3*f - 2*c for f.
-2
Let k = -25 + 26. Let n be 72/7 - (-12)/(-42). Let g be 2/(0 - -2) + n. Solve c - p = -0 + k, -5*c = -p + g for c.
-3
Suppose -2*n = 8*n - 630. Let j = 68 - n. Solve -8 = -3*g + s, -3*s - 8 = 2*g + j for g.
1
Let s(l) = -36*l + 6. Let f be s(6). Let r be (-3)/6*f/5. Suppose 5*k + 4 = b - r, 0 = b - 4*k - 20. Solve 3*t + b*t = 3*x + 24, -5*x = -4*t + 35 for t.
5
Let z(w) = w**2 - 16*w - 2. Let r be z(12). Let o = 52 + r. Solve 5*d - d - h + 1 = 0, d = 2*h - o for d.
0
Let z be 4/6 + 3/9. Suppose 2*a = 5 - z. Solve 7 = 3*t - 3*l - a, 5*t - 3 = 2*l for t.
-1
Suppose 39 = 4*o - 9. Let r = o - 28. Let d = r - -20. Solve d*c + 45 = 5*b, 0 = -4*c + 2*b - 7*b + 5 for c.
-5
Suppose 0 = -4*q + 8*q - 32. Let r(t) = t**2 - 5*t - 6. Let v be r(q). Let z(c) = -c - 4. Let l be z(-6). Solve s + s - v = l*d, s = -4*d - 16 for d.
-5
Let v(r) be the second derivative of r**5/20 - 2*r**4/3 + 5*r**3/3 - 17*r**2/2 - 32*r. Let g be v(7). Solve 4 = -b + 4*i - 0*i, g = -b - i for b.
-4
Let n = 39 + -35. Let p be ((-2)/(-3))/(n/18). Solve -j = 3*v + 14, j = -p + 1 for v.
-4
Suppose -36*p + 31*p + 50 = 0. Solve 0 = -4*q + 5*t + p, 0*q + t + 2 = 2*q for q.
0
Let j = -5 + 3. Let k be 1*(-4)/2 - j. Let z be (3/2)/(12/40). Solve 3*c + 14 = -z*r, k*c = c - 2 for r.
-4
Let b(h) = 10*h**3 + h. Let j be b(-1). Let x be 11 + j + 0 + 3. Suppose x*d - 5*d = 0. Solve 5*w + 12 = -2*n - 1, 3*w + n + 7 = d for w.
-1
Suppose 5*v - 2*v - 54 = 0. Suppose 0 = -3*t + 2*y - 5*y + v, 2*t + 4 = 2*y. Suppose t*j = 3*j. Solve 3*x - 5*z - 6 - 10 = j, 2*z + 19 = -3*x for x.
-3
Suppose 0 = 5*c + o + 96, 2*o = -5*c - 2*o - 84. Let j be 32/10 + 2*2/c. Solve i - 3*d = 4, -4 = -j*i + 3*d + 2 for i.
1
Suppose -2*c + 2 = 3*p, 2 + 0 = 3*c + 5*p. Let k(d) = d**3 - 2*d**2 - 6*d - 6. Let z be k(c). Solve -z*r - 15 = 5*g + 2*r, 15 = -5*g - r for g.
-3
Let c(o) = -o**3 + 4*o**2 - 2*o - 4. Let a be c(2). Let i be a*6/(-12)*2/6. Solve 0 = -5*m - p + 5, i = -m - 3*p + 5*p + 12 for m.
2
Let m(j) = -2*j**2 + 16*j + 99. Let x be m(-4). Suppose 5*d + 4 = 14. Solve d*z - 9 + 1 = x*n, 0 = z - n - 2 for z.
-2
Suppose 7 = 2*u + 5*v, 25 + 2 = 5*u + 3*v. Suppose u*q + 60 = 10*q. Solve 0 = 5*o - 0*a + 2*a + 16, 3*o + 3*a + q = 0 for o.
-2
Suppose 2*o + 56 = 3*o. Let d be o/(-84) - (-10)/6. Solve -z = z - 3*a - 3, -5*a = -2*z + d for z.
3
Let c = -703 - -711. Solve c*w + 5*j = 3*w - 5, -3*w + 2*j - 13 = 0 for w.
-3
Let p = 2 - 0. Suppose 0 = -2*w + p*l, 3*w - 3*l + 30 = 6*w. Suppose -4*h = 4*j - 36, -3*j = -h - 2*h - 3. Solve -5*u + 30 = w, -3*u + 35 = j*o for o.
4
Suppose 3*n - 78 = 78. Let d = 52 - n. Let l be -1 + 3 + (-1 - -1). Solve 16 = -d*m + 2*m + l*w, -m = -2*w + 4 for m.
4
Let z(t) = -t**2 - 24*t - 105. Let q be z(-18). Solve o = -q + 4, -o - 24 = -5*v for v.
5
Suppose 5 = -3*n - 5*m + 7, 0 = 3*n + 2*m - 8. Solve 4*t + 0*t + 3 = 3*v, 0 = n*t + 3*v - 27 for t.
3
Let f be 46/9 + -5 + 17/9. Solve -4*y + f*p - 4 = 6, 2*p - 7 = 3*y for y.
-3
Suppose -n + 13*n - 60 = 0. Solve 16 = -4*u - 0*u - o, 32 = -4*u - n*o for u.
-3
Let i(v) = -v**3 - 8*v**2 + v + 11. Let q be i(-8). Solve -2*n = q*h - 2*h + 9, 5*n = h - 26 for n.
-5
Let r(s) = -3*s + s + 1 + 6 + s. Let h be r(7). Suppose h = 4*c - 8 - 0. Solve -5*z + 7*m = 2*m - 15, -5*z = c*m + 13 for z.
-1
Suppose 5 + 3 = -2*s. Let z be (-58)/6 - s/(-12). Let j = z - -12. Solve 0*c - 4*c + 18 = -j*t, -t = -3*c + 14 for c.
5
Let w = 55 - 50. Solve -2*t - 1 = -j, w*t + 0 + 7 = j for t.
-2
Let k = 155 + -155. Solve k = -5*i - 4 - 21, 5*m - 5*i - 5 = 0 for m.
-4
Suppose 18*t = 6*t + 24. Solve 4*o - t*v + 3*v = -2, 0 = -5*v - 10 for o.
0
Suppose 3*n = -9, 3*u + 3*n + 0*n = 327. Suppose 0 = 4*f - 0*f + u. Let r be 3/(f/(-16) + -1). Solve -y = 2*y + r*x - 11, 4*y = 2*x - 22 for y.
-3
Suppose 6*z - 96 = -2*z. Let n = z + 3. Solve -m + 2*q = -9, -5*m = 7*q - 2*q + n for m.
1
Suppose -57 = -5*w - 0*y + 3*y, -w = -5*y - 29. Suppose -5*q + 34 = w, 3*m = 5*q - 16. Let f = -145 + 150. Solve 5*p = r - 20, -m*r + 2*p + 3 = -f for r.
0
Let k(r) = -r**3 - 14*r**2 - 15*r - 23. Let g be k(-13). Suppose -j + 2*v = -g, -3*v + 15 - 3 = 0. Solve 4*f + x = -0*x - j, 0 = -4*f + 5*x - 41 for f.
-4
Suppose 0*z - 10 = -2*z. Let f = 11 - z. Let h be 30/f*12/5. Solve 5*p - 3*v + v = 6, 0 = -3*p - 4*v - h for p.
0
Let n = 3628 - 3625. Let c be (-141)/(-4) + 1/(-4). Suppose -4*f + 115 = c. Solve 4*w - f = 2*t, -5*w - 10 + 35 = n*t for w.
5
Suppose -3*a = 22*t - 18*t - 4, 1 = 4*a + t. Solve 0 = 2*k - 4, -4*k - 2 = -5*v - a*v for v.
2
Suppose -2*h + 10 = 3*o, 4*h - 161 + 165 = 0. Suppose 3*q - g - 11 = 0, -2*g - 15 = -4*q + 3. Solve -4*u - q*p = -3*u - 7, -2*u + o*p = 10 for u.
1
Let v be 8 + 0 + -13 + (8 - -4). Solve -n - 2*h = v, 2*h + 4 = -0 for n.
-3
Suppose -3*d + 4*p