= 4 for l.
2
Let m be ((-4)/(-6))/(2/9). Let c(t) = 4*t + 1. Let v be c(-3). Let u(g) = g**3 + 13*g**2 + 23*g + 12. Let q be u(v). Solve -q - 5 = -m*w for w.
2
Let i(s) = s**3 - 5*s**2 + 6*s + 2. Let c be i(3). Suppose 2*v + y - 2*y = 22, y = c. Suppose -23*n + 19*n + v = 0. Solve 0 = 4*w - n*w for w.
0
Suppose 0*p - 113 = -3*p - 5*k, -k + 225 = 5*p. Let a be (1 + 13/2)/(69/p). Solve -a*i - 8*i = -39 for i.
3
Let a(t) = -3*t**2 + 239*t + 366. Let y be a(81). Solve -y*c - 190 = 62 for c.
-6
Suppose 8*k - 2*k - 108 = 0. Suppose 3*o = o - k. Let a be -4*(1/12)/(o/27). Solve 3 + a = -2*s for s.
-2
Let t be 42/(-4)*(-224)/49. Solve 68*s + 120 = t*s for s.
-6
Suppose 0 = 6*s + 23*s + 6*s - 1925. Solve 0 = 42*x - s*x + 78 for x.
6
Let n(l) = l**2 + 7*l - 24. Let w be n(-11). Let x be 6 + (30/w)/(3/(-8)). Suppose -21 = -q - x*q. Solve 3*s = -1 + q for s.
2
Let u(a) = 5*a + 40. Let r be u(16). Let f be r/42 - 2/(-14). Solve -f*z = -0*z + 12 for z.
-4
Let y(b) = b**3 + 23*b**2 - 25*b + 9. Suppose -2*d = -6*d - 96. Let j be y(d). Solve 2*t - 13*t = j for t.
-3
Suppose 0 = -108*i - 87 + 519. Let d = -5 + 9. Suppose 4 = 3*p - 2*l, 5*p - 3*l + 10 = -8*l. Solve 0 = -d*m - i - p for m.
-1
Let i(a) = a - 16. Let b be i(-14). Let g be (-1)/(4 - (-126)/b). Solve -13 = -g*y + 12 for y.
5
Let v(r) = r**3 - 2*r**2 + 3. Let c be v(2). Let t(x) = x**2 - 3*x - 3. Let f be t(6). Suppose 42*z - 37*z - f = 0. Solve 0*i = -c*i + z for i.
1
Suppose -8*x = -61 - 67. Let r = 21 - x. Let g = 448 + -444. Solve -r*o = g - 14 for o.
2
Suppose 101*i - 25*i - 5109 = -1005. Solve 6*y = -i + 72 for y.
3
Let q = 49 + -52. Let f be q - (-9)/((-18)/64). Let l = -30 - f. Solve -l = -c + 2*c for c.
-5
Suppose -46*p + 1 + 299 = -21*p. Solve p*g - 23*g = -39*g for g.
0
Suppose 0 = -4*h + 2*a + 550, -212 = -5*h - 4*a + 469. Suppose 22 = 3*w - h. Solve 12 = -49*g + w*g for g.
3
Let m(s) = 23*s - 1431. Let z be m(63). Solve -55*c - z = -53*c for c.
-9
Suppose 3 = 9*w + 2316. Let s = 289 + w. Solve -s*m + 6 = -26*m for m.
1
Let s(v) = -v**3 + 7*v**2 - 5*v + 3. Let z be s(5). Let r = 35 - z. Suppose 0 = -13*p + 77 + 53. Solve 2*l = r*l - p for l.
2
Let w(o) = o**3 + 12*o**2 + 3*o + 25. Let j be w(-12). Let x = j - -19. Suppose 7*y + 2*u = 10*y + 4, -4*u = 5*y - x. Solve -11*z + 6*z + 10 = y for z.
2
Let l = 16 + -16. Suppose g = -4, -7*q + 6*q - 2*g - 7 = l. Solve -v = -0*v - q for v.
1
Let x be (60/45)/(17/918). Solve -677*n + x = -686*n for n.
-8
Let n be ((-13)/2)/(37/74). Let l be 10 + n + (4 - -24). Solve 18*t = 13*t + l for t.
5
Let v be -6 - 4/(20/1495). Let a be (v/(-4))/5 + 7/(-28). Solve -4*i + a = i for i.
3
Let i(n) = -n - 9. Let t(j) = 6*j - 85. Let p(x) = -2*i(x) + 2*t(x). Let m be p(11). Solve 12 = 2*h + m*h for h.
3
Suppose -446 = -65*j - 82*j + 877. Solve 30 = j*o + 66 for o.
-4
Let n be 5 - 7/(5 - -2). Let h be 312/182 - n/(-14). Solve 3*f + 11 = h for f.
-3
Let g = 268 + -144. Let k = g - 122. Solve 7*h - 45 = -k*h for h.
5
Let l = -7 + 12. Suppose -5*d + l*c + 55 = 0, 5*c = 6*d - 3*d - 25. Suppose 20*x = 15*x + 4*u + 35, -5*x + u + 20 = 0. Solve 2*p + d = -x*p for p.
-3
Suppose 5576*s - 5527*s = 294. Solve -s*d + 8 = 2*d for d.
1
Let q be (228/(-30) + -2)*(-870)/(-4). Let n be (-9976)/q + ((-2)/9)/(-1). Solve 0 = -24*d + 23*d - n for d.
-5
Let n be (6/(-8))/(3/(-60)). Suppose -w = 4*w - n. Let d(y) = 2*y**3 - 29*y**2 - 50*y + 38. Let b be d(16). Solve -12 + b = w*q for q.
-2
Suppose -v - 25 = -61. Suppose -18 = -p - 2*y, -5*y + 4931 = 5*p + 4876. Solve -v = -8*a - p for a.
4
Suppose 0 = -535*y + 537*y - 114. Solve y = -t + 53 for t.
-4
Suppose 4*m + 127 = -m - 2*d, -4*d = 5*m + 129. Let n be m/((-20)/(-4))*-1. Suppose 5 - 20 = -2*i - 3*u, n*u - 29 = -4*i. Solve -l + i*l + 25 = 0 for l.
-5
Let v(l) = l**3 - l**2 + 62*l - 274. Let z be v(5). Solve 8*y + z = 192 for y.
7
Let k(x) = -x**3 - 31*x**2 - 50*x + 232. Let i be k(-29). Solve 116*u - 119*u - 15 = i for u.
-5
Suppose -g = 5*m + g + 10, -4 = 2*m - 5*g. Let l be m*(-2)/((-8)/(-14)). Let s be ((-8)/6)/((-4)/12). Solve -s*p = l + 9 for p.
-4
Let j(x) = 5*x**3 - 66*x**2 - 18*x - 96. Let a be j(14). Solve -a*m = -442*m for m.
0
Suppose 54*a - 28*a - 468 = 0. Let u be (0 - 6/(-12))*a. Solve -15 = 4*q - u*q for q.
3
Suppose -2200 = -21*o - 1822. Solve -o + 6 = 3*s for s.
-4
Suppose -41 = 9*o + 6*o - 1421. Solve 11*d = -26 + o for d.
6
Let d = 80 + -76. Let h be d/(-2)*((-102)/12 + 6). Solve h*l + 2 + 23 = 0 for l.
-5
Suppose 12*w = 17*w + 3*g - 49, -5*g = 4*w - 47. Solve -y = w*y + 36 for y.
-4
Let d(y) = -8*y**2 - 46*y + 25*y + 33*y + y**3. Let w be (-18)/(-2)*16/24. Let a be d(w). Solve a = -0*r + r + 3 for r.
-3
Suppose -3*n - 31 = -16. Let m be ((-18)/n)/(30/200). Let j = m - 6. Solve -4*a + j = 2 for a.
4
Let n(c) = 173*c + 12. Let l be n(0). Solve -7 = l*f - 67 for f.
5
Let o = 117 - 96. Let h be (-108 - -98)/((-2)/4). Solve -o*d - h = -26*d for d.
4
Let t be -1*(-24)/112*-7*-38. Solve -2*w - t = -61 for w.
2
Let z(j) = -2*j**2 - 2*j + 8. Let g be 10/(-1275)*-15 - 15/(-17). Let f be z(g). Solve 98 = f*v + 94 for v.
1
Let q be (6/(-12) + 58/4)*2. Let d be 14/4 - (-42)/q. Solve x - d = 2*x for x.
-5
Let i be (-52)/312 - (-181)/6. Suppose i = p + 29. Solve -4*w + p + 15 = 0 for w.
4
Suppose -167*d = -253 - 37 - 545. Let b(j) = j**2 - 7*j - 10. Let u be b(10). Solve -d*k = -k - u for k.
5
Let f(q) = -10*q**3 + 50*q**2 - 57*q + 39. Let l(j) = -3*j**3 + 17*j**2 - 19*j + 13. Let x(i) = 2*f(i) - 7*l(i). Let c be x(18). Solve 2 - c = w for w.
-3
Let s(h) be the second derivative of -h**4/12 + 3*h**3/2 - 15*h**2/2 - 14*h. Let v be ((-12)/(-7))/((-14)/(-49)). Let i be s(v). Solve i*w = -0 + 3 for w.
1
Suppose -3*c = -2*p - 5, 0 = -3*p - 4*c - 18 + 2. Let r be (-2)/4*(-6 - p). Let w be (8 - 18)*r/(-2). Solve 0*y - w = y for y.
-5
Suppose -2*a + k = -6*a - 1168, -3*k = -5*a - 1443. Let l = -291 - a. Solve l = 4*u - 3 + 19 for u.
-4
Let i(h) = -9*h - 81. Let l be i(21). Let d = 273 + l. Solve -4 + 19 = -d*q for q.
-5
Suppose 122 + 17 = 5*x + 3*u, -u = -2*x + 60. Let k be x - ((-1 - -2) + 3). Suppose 0 = 6*l - 39 + 3. Solve p - l*p = -k for p.
5
Suppose -2*y + 212 = -49*l + 51*l, 3*l - 302 = y. Solve 28*k + l = -6*k for k.
-3
Suppose -2*c - 4*x = 6, 0 = -c + 3*c - 4*x - 18. Let r be (c/(-6))/(-1*(-2)/(-12)). Solve -5*t + r = -4*t for t.
3
Suppose 0 = -q - 0*q. Suppose 0*v + 5*v = q. Let l(h) = h**3 - 13*h**2 + 32*h - 1277. Let k be l(16). Solve k*g - 4 - 2 = v for g.
2
Suppose -5*b + 11 = -4. Suppose 0 = 8*k + 526 - 566. Solve -4*d + b = -k*d for d.
-3
Let f(c) = -3*c**3 - 3*c**2 - 11*c - 9. Suppose 62 - 69 = 7*l. Let a be f(l). Solve a*g + 0 + 8 = 0 for g.
-4
Let d(z) = z**2 + 78*z - 1063. Let i be d(-90). Solve -i*k + 76 = 110 for k.
-2
Suppose 5*a = -760 + 350. Let w = 82 + a. Solve 2*f - 1 + 7 = w for f.
-3
Let z be (-12)/(-15) - (-952)/35. Suppose 11*n - z = 4*n. Solve -5*k + n = -6*k for k.
-4
Suppose -9*c = -4*l + 590, 5*l + 194*c - 192*c - 658 = 0. Solve 0 = 22*t - l + 24 for t.
5
Let w(c) = c**3 - c**2 + c + 4. Let r(j) = -j**2 - 9*j - 11. Let o be r(-7). Let h be w(o). Let y be (-20)/h + 28/10. Solve -n + y = -3 for n.
5
Suppose j - 7 = -2*a, 0 = -a + 6*a + 2*j - 15. Let z be (a - (-19)/7) + (-62)/(-217). Solve 3*q = -z + 7 for q.
1
Let t(j) = -j**3 - 57*j**2 - 62*j - 170. Let y be t(-56). Solve -159*u - 49 = -y*u for u.
7
Let n be 5 - ((-115)/15 - 38/(-57)). Solve 2*b - n = -10 for b.
1
Let o be 17 - 15 - (1 + -35). Suppose 2*p - 42 - o = 0. Solve -9*n = -12 + p for n.
-3
Let x(z) = -2*z + 28. Let b(j) = -j**2 + 7*j + 6. Let i be b(6). Let h be x(i). Let a(g) = 2*g**2. Let d be a(-1). Solve -d = h*v - 6 for v.
1
Let q(x) = x + 5. Let t = -38 - -42. Suppose 3*h + 4*i = -t, 2*i + 11 = h - 1. Let d be q(h). Solve 4*k = d*k for k.
0
Suppose -2*n + 3 = -n, u + 3*n = 3. Let z be (1 + 4/u)/(4/300). Suppose -5*f = -4*c + z, -f + 8 = -3*c + 24. Solve -c*r + 5 = -0 for r.
1
Suppose -4*z + 410 = -78. Let i be z/18 + -3*10/(-135). Solve -9 = -2*f - i for f.
1
Let d = 75 + -59. Suppose -d = 10*r - 18*r. Solve t = r*t for t.
0
Let l = 51 - 47. Suppose 2*o + 3*q = 4*o - 9, -3*o - l*q + 5 = 0. Solve -21 = -6*j + o for j.
4
Let g(n) = n**3 + 2*n**2 + n + 2. Let k be g(-2). Let w(c) = -2*c**2 - 24*c - 59. Let s be w(-8). Solve k = -4*v + s