a for l.
-3
Let f(k) = 1183*k + 5924. Let j be f(-5). Solve 3 = j*r - m, -15*r + 10*r + 5*m = -15 for r.
0
Suppose 3*r = 7*r - 20, -5*m + 3*r = 25. Let i be 1/m + (-92)/(-8). Suppose 0 = -3*u + 44 - i. Solve k = -k - w + u, w - 14 = -3*k for k.
3
Suppose -3*n - 10*n = 130. Let y = n - -10. Suppose x + 3 = 2*x. Solve c = -2*l + 2 - 7, y = x*c - 2*l - 17 for c.
3
Let j(k) = k**3 + k**2 - 2*k + 4. Let p be j(-3). Let s = p + 13. Suppose v + 5 = 0, -4 = o - 3*v - 21. Solve -4*c - s = h, -o*c - 3 + 2 = -h for c.
-1
Suppose -18*y + 14 + 28 = -30. Solve k - y*k - 3 = 4*w, -w = -5*k + 18 for k.
3
Suppose -3*q + 47 = j, -5*j + 143 = -j + 3*q. Let v(s) = -43 + s + 59 - j. Let m be v(20). Solve m*g = 3*g - 1, 0 = 4*n - 2*g - 10 for n.
2
Let c be 4/6 + (-24)/36. Let w(k) = -13*k - 78. Let p be w(-6). Suppose p = g - 3*g + 40. Solve -4*o - 2*z - 28 = c, 3*z - 8 = -g for o.
-5
Let k = 192 + -190. Suppose 2*n - 3*j = 21, n - 7*j - 28 = -k*j. Solve n*c + l - 6 = 0, -5*c - l - 3*l + 3 = 0 for c.
3
Suppose 24*y - 40 = -1 + 33. Suppose 0 = -o + 2*o - 2. Suppose -o*w + 10 = 4. Solve -1 = f + 5*p, 2*p = -3*f - w*p - y for f.
-1
Let l = -28 - -26. Let u be l + 1 - (-3)/((-12)/(-104)). Suppose -20 = -5*o, -o - 4*o = i - u. Solve 4*t - i*c = -c - 8, -3*t - c - 10 = 0 for t.
-3
Let b be 2/(-2 + 198/96). Suppose b*h = 35*h - 66. Solve 3*t - 3 = 0, 6*z - 2*z - h = -2*t for z.
5
Suppose 0 = -110*c + 111*c + 6, -3*l + 4*c = -30. Solve d - 2*y = 9, -7 = l*d + 4*y + 15 for d.
-1
Suppose -43*c + 93 = -12*c. Let r be 1/(-6) + (2 - (-91)/42). Solve 3*m - 4*m - r*q = -18, 25 = -5*m + c*q for m.
-2
Let q = 59 - 56. Suppose 2*a = 13 + q. Suppose -8*g + a = -4*g. Solve 24 = -4*m + 4*j, 2*m - g*j + 15 = j for m.
-3
Let q(g) = -g**2 + 86*g + 555. Let j be q(-6). Solve -2*m = 3*k - 1, -3*m + 4 = -j*k + 10 for k.
1
Let m = 510 + -288. Let z = m - 219. Solve 0 = -z*t - 3*i - 9, -2*t + i - 12 = -0*t for t.
-5
Suppose 2*p - 7 = -2*s - 13, 0 = 7*p - 5*s - 63. Solve -4*x + 2*z + 1 = z, 16 = p*x + 4*z for x.
1
Let l be ((-3)/1)/(8/(160/(-6))). Let y be (-40)/(-50) + 2 + 272/l. Solve 5*g - y = -0*g + 5*n, 4 = 4*g + n for g.
2
Let y be (-8)/(-3)*(-450)/(-100). Let b be (-5)/(63/(-156) + y/78). Solve -5*o - 3*j + b = 0, -2*o = 6*j - 2*j - 22 for o.
1
Suppose 0 = -4*f - 22 + 6. Let o be 15/(-3) + (5 - f). Suppose -o*g - 7*a + 8 = -5*a, -4*a = g + 5. Solve 0 = -g*x + d - 8, 0*d - 2*d = 3*x - 7 for x.
-1
Let l be (4 + -1)/(9/42). Let b(x) = -x**3 + 20*x**2 - x + 30. Let u be b(20). Suppose 14*y = u*y + 16. Solve y*p + p - m = -l, -4*p + 4*m = 24 for p.
-2
Suppose -27*n - 5*a = -30*n + 24, 2*a + 12 = 2*n. Solve -n*u + 0 = -q + 3, 1 = -u + 4*q for u.
-1
Suppose -3*r - 4*r = r. Let z = -4 - -4. Let a = z + 3. Solve r = 3*l + 4*t + 27, l + 11 = -a*l + 3*t for l.
-5
Let h be -3 - (7 - 536) - -4. Let i = h - 524. Solve -7*w + 2*w - 5*d + 15 = 0, -i = -2*w + 3*d for w.
3
Let x be 4/6 - 39*5/(-45). Suppose -5*v + 11 = -4. Suppose 0 = v*p - 6*p + 9. Solve 6*i + 25 = i, -p*u - x*i = 19 for u.
2
Let q = 21 - 18. Let o(t) = -12*t + 17. Let i be o(1). Solve -8*x + 5 = -q*x - i*y, -5*y = 3*x + 21 for x.
-2
Let h be (-464)/(-580) - (202/(-10) + 1). Solve -s = -3*j + 4, 2*s = 3*j - 3*s - h for j.
0
Let d = 4780 - 4778. Suppose -2*s - 2 + 6 = 0. Solve -s = -v + 5*x - 7, 1 = v - d*x for v.
5
Let v be (-8 - -4)*1/(-4). Suppose -4 = -g - v. Suppose 0 = -g*m - m + 16. Solve d + 0*d - 4*b = 8, -m*d - 7 = -3*b for d.
-4
Let m = -8 + 17. Let x be ((-12)/9)/((-3)/m). Suppose -13*v + 12*v + 8 = -3*g, 0 = -3*g - 6. Solve x*a - 6*a = v*n - 10, -4 = -n for a.
1
Suppose -8 = -4*x + i, -5*x + 3*i + 11 - 1 = 0. Solve x*w + 4*l = 0, -3*w + l = -0*w for w.
0
Suppose 0 = -4*p + 2*i + 20, 104*i - 5 = -p + 109*i. Solve 4*b - 35 = b - 4*l, p = -b + 2*l for b.
5
Let q be 20/(-390) - 952/(-312). Solve 2*m + 23 = q*u, 0 = -4*m + 9*m + 20 for u.
5
Let j(d) be the first derivative of 7*d**2/2 + 53*d - 62. Let g be j(-7). Solve 7 + 1 = g*q, 5*c - 3*q = 4 for c.
2
Let i(y) = 3133*y + 9404. Let j be i(-3). Let p be (1 - 3/1) + 11. Solve 3*d - 16 - p = j*a, 0 = -5*d + 5*a + 25 for d.
0
Let q(b) = 124*b + 3493. Let s be q(-28). Solve 0 = -3*t - 4*u - 15, -26 = t - 5*u - s for t.
-5
Let m be 1*96/(10/5). Suppose -m*f + 54*f = 18. Solve 2*q = -x - 2*x + 5, 0 = x + f*q + 3 for x.
3
Suppose -15*o + 2888 - 1409 = 1404. Solve 0 = 13*b - 14*b + 3*a - 7, -3*b = 4*a - o for b.
-1
Suppose 202*s = 5128 - 78. Solve -2*b + 4*b + 5 = -l, 4*b - s = 5*l for l.
-5
Suppose 11*o - 930 = 8*o. Let t = o - 306. Solve 12 = t*w + 4*z, -3*w + 8 = -0*w + 2*z for w.
2
Let g(z) = 36*z - 7. Let x be g(1). Let b = 34 - x. Suppose -12 = b*r - 3*i, -2 = -5*r - 3*i + 10. Solve 31 = 3*y + 4*s, r = y - 0*y - s - 1 for y.
5
Let t(c) = -c**3 + 10*c**2 + 13*c - 92. Let s be t(10). Suppose s = -5*j + 24*j. Solve -6 = -j*v + 4*y, 0*v - 5*v + 15 = 4*y for v.
3
Let j(n) = 20*n + 80. Let a be j(-4). Solve a = 4*i + 35*q - 38*q + 18, 0 = -4*i - q - 10 for i.
-3
Let n(r) = 5*r**2 + r + 1. Let k be n(3). Let i be 15*((2 + -4)/(-20))/(26/(-832)). Let m = i + k. Solve -m = -l + t + 1, -3*t = 5*l - 2 for l.
1
Suppose y = -62 + 76. Suppose 43 = 19*r - y. Solve -r*m + 20 = 2*h, -2*m - 3*h + 11 + 9 = 0 for m.
4
Let p(o) = 5*o**2 + o + 1. Let q be p(-1). Suppose -6*a = 38*a - 81 - 7. Solve 0 = 5*t + 4*h + 14, q*h + 3 = -a for t.
-2
Let p be 20*(-20)/(-125)*((-1)/(-2) + 2). Solve -g + 3*q + 5 + 2 = 0, -3*g = 4*q - p for g.
4
Suppose -188 = -6*y + 3*y + 4*u, -2*u - 4 = 0. Suppose 8 = 64*c - y*c. Let g(l) = 14*l - 13. Let a be g(c). Solve 3*j = -4*x + a - 2, -2 = 2*j for x.
4
Let a(o) be the second derivative of 25*o**3/6 + 65*o**2 + 114*o. Let q be a(-5). Solve -2*y + r + 6 + 2 = 0, 0 = q*y - 5*r - 20 for y.
4
Let n(q) = -9*q + 3. Let j be n(-4). Let l = 43 - j. Let y be (-4)/(-3)*6/l. Solve g + 4*h - 6 = -16, -3*h = -2*g + y for g.
-2
Suppose 388*f - 385*f = 6. Suppose -3*r + 4*m + 0*m = -4, -2*r = -f*m - 2. Solve 4*z = 3*k + 3, 0 = 2*k - 2*z - r + 2 for k.
-1
Let g = 3058 + -3047. Solve 5*v = -10, 0 = -0*y - 3*y + 4*v + g for y.
1
Let k be ((-2)/4)/(795/90 - 9). Solve 2*u + 3*u - 2*j = 6, -j = 4*u + k for u.
0
Let k be 8/(-6)*(6237/14)/(-11). Let v = -10 + k. Suppose v = 6*h - 28. Solve 2*l + 16 = -4*m, -2*l = -5*m + 2*m - h for l.
0
Let g be 1/4 - 175/(-4). Let u = g + -43. Let k(n) = 9*n**2 + n - 1. Let w be k(u). Solve -2*r + w = 3*a, 2*a + 3*r = -0 + 11 for a.
1
Let k(o) = -44*o + 311. Let a be k(7). Suppose n + a*c = 17, -2*c - 37 = -5*n - 5*c. Solve -n*b - 5*y = -b, 2*b + 5*y = 0 for b.
0
Let m be ((-42)/(-49))/((-1)/(-7)). Suppose h + 20 = m*h. Suppose -2 = x, -5 = -h*p - 2*x - 1. Solve -y + k = y + 1, y - p*k = 1 for y.
-1
Let u be (9 - (7 + -1)) + 16 - 5. Solve 2*z - 5*f - u = -6*f, -f = -z + 1 for z.
5
Let m be (-15)/6*4/(-2). Suppose -5*w = -3*s + 29, 0 = -m*s - 2*w - 38 + 45. Solve -x - 5*n - 27 = 0, 0*x = 2*x - s*n - 11 for x.
-2
Let o be (32/45*-12 - (-1)/5)*-3. Solve 4*m - 48 = -5*d - 19, 5*d = o for m.
1
Let w = -1444 + 1447. Let a be (2/4)/((-6)/(-204)). Suppose -4*b = -w - a. Solve -5*s + s = -b*g + 5, 5*g + 10 = s for s.
-5
Suppose 3*i - 4*s - 18 = 0, -3 = -3*i + 2*s - 3*s. Solve 4*a - y = -5*y + 24, a - y + i = 0 for a.
2
Let i(k) = 9*k + 45. Let j be i(-2). Solve -m = -5*t - j, 7*t + m = 3*t - 9 for t.
-4
Suppose g = -4*c - 12 + 2, 5*g + 2 = -4*c. Solve 5*f + 1 = -2*r, -13*f + 8*f + g*r = 9 for f.
-1
Let m(t) be the first derivative of 3*t**3 - t**2/2 - t + 224. Let f be m(-1). Let r = -2 - -2. Solve z + 5*x - 16 = r, 3*x + 0 = f for z.
1
Let c(x) = 2*x**2 + 35*x - 22. Let k be c(-18). Let y be (-106)/(-22) - k/22. Let r = -436 + 441. Solve -2*m + 27 = -r*i, 2*m = -y*i - 17 - 6 for i.
-5
Let d = 1490 + -1487. Solve 4*x = -4*u - 27 + 3, 5*x = -d*u - 22 for u.
-4
Let u(s) = 6*s**2 + 37*s - 76. Let n be u(2). Solve 5*f = -d + n, 2*d = -4*f + 1 + 13 for d.
-3
Let f = 6018 - 6009. Solve 4*u - 9*u - f = -3*l, -5*l = -4*u - 15 for u.
0
Let n = 6648 - 6643. Solve 6 = -2*i, -n*p + 2*p + 9 = -i for p.
2
Let t be (2340/(-91))/(9/(-42)). Let w = t - 120. Solve -3*p = -2*u + 14, w = -u - p - 4*p - 19 for u.
1
Suppose 3*f + k - 362 = -k, -4*f = -k - 468. Let j = f + -115. Solve -5*s - 4*v - 20 = 9, -5*s = -j*v + 22 for s.
-5
Let w = 689 - 685. Solve -12 = -3*i, w*u + 3*i = 18 + 6 for