- 4 = 0, m + 5 = 3*l - z*l for l.
1
Suppose 3*h - 312 = -5*d, 5*h = 20 - 0. Suppose -6*k + d = -k. Let z be ((-5)/(-40)*k)/(3/4). Solve 0 = -4*l + m - 1, -z*l + 14 = -4*m + 4 for l.
-1
Let k(u) = -u**2 + 4*u + 35. Let p = 378 + -370. Let w be k(p). Solve w*y + 5*f = 2, 0 = 5*y - 4*f + 9 for y.
-1
Let k = 94 - 79. Suppose -1 = -l + 2. Let u be (5/((-25)/k))/(l/(-4)). Solve 3*w = 5*z - 28, u*z - 2*w + w - 21 = 0 for z.
5
Let r(f) = -f**3 - 14*f**2 - f + 5. Let p = 11 - 5. Suppose -p*q + 5*q = 14. Let w be r(q). Solve 2*a = 5*i - 23, 4*i + 0*i - a - w = 0 for i.
5
Suppose 5*f - 681 = 589. Let u = 258 - f. Solve -3*m = -3*k - k + 23, 0 = -u*k - 2*m - 2 for k.
2
Let t(f) = -29*f**2 - 5*f**3 + 7*f**3 + 22*f - 6*f - 14. Let a be t(14). Solve -p - 5*w = 2*p - 22, 0 = 4*p - w - a for p.
4
Let r(d) = -3*d**2 - 64*d - 275. Let n be r(-6). Solve 0 = 2*p - 5*s - n, 14 = -8*p + 3*p - 4*s for p.
-2
Let v be (6/(-10))/((-87)/(-15) + -6). Let z be (16/v)/((-152)/(-48) + -3). Solve 0*c + 3*c + 4*h - z = 0, -h = 3*c - 17 for c.
4
Suppose 0 = -2*m - 6, 2*j + 3*m + 9 = j. Suppose j = 5*a + o - 18, 4*o - 1 = 3*a + 2. Solve 0 = 2*s + 4, -a*x + s - 2*s - 11 = 0 for x.
-3
Let b = 244 + -240. Suppose b*a + 2*l = 28 + 16, 4*a + 3*l = 40. Solve -5*m = -2*n + a, -m - 5*n + 9 = -10 for m.
-1
Let b be (0 + -1)*(-5 + -1). Suppose -5*q + 9 = 38*z - 41*z, 0 = 3*q + 4*z - 17. Solve -2*u = -2*r + 8, -u - q*r + 6*r = b for u.
-3
Suppose -92*d = -114*d + 242. Solve -2*b = 4*c + 20, -c = -7*b + 9*b + d for c.
-3
Let r be (-3 - -5)*(9 + 3 - 11). Solve 0 = 5*j + r*t + 65 - 37, 12 = -5*j + 2*t for j.
-4
Let c(w) = 3*w**3 - 31*w**2 + 11*w + 2. Let o be c(10). Suppose m - 5*m - d = -o, m = 4*d + 3. Solve -6 = -3*k, 2*k - 1 = 3*s + m for s.
0
Let t = -364 - -369. Suppose -4*o - 28 = -t*d, -5*d = 4*o - 16 + 4. Solve 4*z + z - d*l = -1, z - 23 = -5*l for z.
3
Let o be (-2)/5 - 1287/195. Let l be ((76/28 - -2) + -5)*o. Solve l*c - 7 = 3*y, -6*c + 11 = -c - y for c.
2
Let a = 27114 + -27107. Solve -p = n - a, -2*n - 10 = -3*p + 1 for n.
2
Suppose -5*q = -29*d + 34*d - 170, 4*d + 4 = 0. Let k(b) = -12*b - 3. Let g be k(-3). Let r = q - g. Solve -r*f + 3*i + 7 = 0, -4*i - 12 = 3*f + 3 for f.
-1
Let i(h) = -31*h - 62. Let b be i(-2). Let j = -20 + 25. Solve j*p + 2*u + 21 = 48, -5*p + 4*u + 21 = b for p.
5
Let m(k) = 5*k + 117. Let c be m(-25). Let z be c - (7 + 126/(-7)). Solve 5*d - 6 = 3*d + 2*x, x = -4*d - z for d.
0
Let m = 2854 + -2849. Solve -27 = -3*k - 8*w + 3*w, m*k - w - 17 = 0 for k.
4
Suppose 8*i - 3*i + 2*v + 1493 = 0, 0 = -4*i + 3*v - 1199. Let z = -299 - i. Solve z*n - 5*h = n + 5, -3*n + 3*h + 21 = 0 for n.
5
Let k = 57 + -41. Let p be (k/(-6))/(-5 - (-39)/9). Let z be p*((-198)/8)/(-9). Solve -u - z = s - 4*s, -4*u + 5*s = 30 for u.
-5
Suppose -x - b = -0*b - 20, 4*b - 20 = 0. Let c = x + 18. Let v = c - 30. Solve -3 = d - 4*k + k, 0 = 5*d - v*k - 9 for d.
3
Let i(u) = -8*u - 6. Let p be i(-6). Suppose 5*r - p = 68. Suppose a - 3*x + 4 = 0, 0 - 66 = -3*a - 4*x. Solve 5*g - h + a = 0, -2 = -4*g + 3*h - r for g.
-2
Suppose -93*s = 71*s + 87 - 907. Solve 3*r - 4 = s*i, 30*r = 29*r + 2*i for r.
8
Suppose 676 + 364 = 56*c + 32. Solve -q - x + 1 = 0, c*q = 17*q + 2*x - 2 for q.
0
Suppose -225*d + 3097 = -62*d. Solve d = 3*k - 0*k + 4*h, 2*h - 9 = -k for k.
1
Let a = -213 + 237. Let u = -14 + a. Solve o = 2*r - 4, -u = -r - 4*r - o for r.
2
Let h be (-343)/(-35) + -10 - (504/20)/(-6). Solve -13*o = -15*o + 6, h*o = -2*j + 2 for j.
-5
Suppose 2*d = 8*i - 7*i + 5, 5*d - 20 = 0. Solve 25 = -5*n - i*c, 5*n + 2*c - 7*c + 25 = 0 for n.
-5
Let c = 33 - 19. Suppose -2*p + 16 = 27*i - 24*i, -p - 3*i + c = 0. Solve -5*a - 21 = n, -p*n + 49 = -5*a + 16 for n.
4
Suppose -5*j + 5*o - 2 = -32, 5*o + 24 = 2*j. Solve 5*s - m - 19 = 9*s, -s + j = -2*m for s.
-4
Let m(t) = 8*t - 35. Let x be (-2)/7 - 888/(-168). Let j be m(x). Solve 0 = r - 5*n + 3 + 22, 25 = 2*r + j*n for r.
0
Suppose 0 = -152*l + 39*l. Solve l = -48*c + 46*c - 2*n - 2, -4*c - n + 8 = 0 for c.
3
Suppose 0 = -2*j + 4*a + 68, -107 = -3*j - a + 2*a. Suppose -j*w = 5 - 149. Solve 0 = y, -4 = 2*p + w*y - 3*y for p.
-2
Let w be -4 + 0 + -76 - -1. Let a = w - -103. Let b be (a/14 + -2)*-7. Solve 2*j = -b*y + j - 3, -4*y - 5*j = 9 for y.
-1
Let g = -332 - -216. Let r = g - -118. Let z = 1 - -5. Solve -2*v + t = z, 0 = -t + r*t for v.
-3
Let x be 28 + -19 + (15 - 7). Solve 0 = -4*c - 2*r - 11 + x, -2*c = -r - 13 for c.
4
Let j(w) be the second derivative of 11*w**2 + 15*w + 0 + 1/6*w**3. Let d be j(-20). Solve -5*z + 5 = -5*q, -d*z - 5*q = -3*q + 10 for z.
-2
Let w(r) = r**2 - 2*r - 45. Let q be w(8). Suppose 5*u = -5*a + 30, 15 - 1 = 5*a - q*u. Solve 2*z - 3*s + 0*s = 13, z = a*s + 9 for z.
5
Suppose 12*s + 3*n - 48 + 0 = 0, 8 = 2*s + 5*n. Solve 11 = 4*g - c, -4 + 36 = 4*g - s*c for g.
1
Suppose 52*p - 472 - 204 = 0. Solve -3*q = 3, 35*y - 30*y - 2*q = -p for y.
-3
Let o be 1755/(-4) + (-100)/80. Let m = o + 446. Solve -5*p = -5*r, 2*p - m = r + 3*r for p.
-3
Suppose 4*c - 54 = 42. Let l be (-60)/(-18)*c/20. Solve -4*t - 12 = t - 3*d, -d = -t - l for t.
0
Let k(x) = x + 8. Let o be k(-7). Let f(z) = 7*z**2 + 7*z - 6. Let y be f(o). Solve -5*p + 2*l - 9 = -2, 0 = 4*p - l + y for p.
-3
Suppose 0 = 6*g + 3206 - 3248. Let v(d) be the third derivative of d**4/24 + 2*d**3 + 2*d**2. Let a be v(-10). Solve -2*t - 26 = 4*f, t = -3*f + a*t - g for f.
-4
Let u = -94 - -79. Let z be 4/((-24)/u) - 11/(-22). Suppose -z*b = -3*h - 2*b + 13, h - 4*b = 8. Solve -2*i = -h*y, -2*y + 2*i + 6 = 2 for y.
-2
Let y = 6540 - 6537. Solve -2*c = 2*w + 12, -2*w - y = -2*c + 5 for c.
-1
Let t be ((-16)/(-40))/(5/150). Solve -t*g + 4*m - 7 = -15*g, 4*m - 8 = -4*g for g.
1
Suppose -216 = -2*v - v + 4*p, -3*v - 4*p + 192 = 0. Suppose -35*w + v = -107. Let x = -5 - -14. Solve 0 = 2*l - 3*l - 2*f + x, -3*f + 24 = w*l for l.
3
Suppose -37*l = -210*l + 692. Solve 0 = -2*m + 7*m - 3*i - l, m - i = 2 for m.
-1
Suppose -156 = -42*j + 167 + 97. Solve -d = -4, -6*h - d = -8*h - j for h.
-3
Let r = 581 - 577. Solve -4*z = 4*x - 12, 0 = -2*x - r + 2 for z.
4
Let r = 1672 + -1669. Solve 58*h - 53*h = -4*x - 7, -r*h + 1 = 5*x for h.
-3
Let k be (12/5)/((156/(-200))/(-13)). Let s = 34 - k. Let v be 0*(-4)/16*3/s. Solve 5*x - 15 = 5*y - v*x, 2*y = 3*x - 6 for y.
-3
Let a = 140 + -71. Let s be (-4 - (a + 2))*1. Let o = s + 80. Solve 5*r - o*h = -0*h + 40, 0 = 3*r + 5*h + 8 for r.
4
Suppose 2*w = -w + 153. Let i(t) = -t**2 - 5*t + 877. Let j be i(-31). Let z = j - w. Solve -p - z = -4*q, -4*p - 15 = -3*p - 3*q for p.
0
Let v be ((1 - -11) + -7)*1332/15. Suppose -v*n + 454*n - 70 = 0. Solve -21 = -2*h + n*h + 3*r, 0 = h - 3*r - 3 for h.
-3
Suppose -114*f + 338 = 13*f - 678. Solve -4*l - 9 = t, -12*l + 4*t = -f*l + 44 for l.
-4
Suppose 0 = 3*h + 5*p - 23 + 31, p + 12 = 2*h. Let q be 20*(-4 + 5)/h. Solve 2*g + q*y = -0*y + 2, 0 = 3*y for g.
1
Let y(l) = -l**2 + 30*l - 156. Let p = 121 + -114. Let f be y(p). Solve -o + 1 = -3*r + 7*r, -2*o - f = r for o.
-3
Let z be 62/14 + (18/7)/(-6). Solve z*j = -2*i - 14, -7*j + 4*j - 27 = -4*i for j.
-5
Suppose 0 = -w + 5*w - 4, 5*w + 963 = -4*f. Let x be 3/12 - f/88. Solve -q = -5*a - 5*q + 1, 0 = a - 2*q - x for a.
1
Suppose -6*j + 612 = 2*c, -j + 109 = -0*j - 2*c. Let m = j + -102. Solve -r - m = -5*d, -d = -6*d - 5*r - 5 for d.
0
Let v(m) = -m**2 + 6*m - 5. Let i be v(8). Let d = -9 - i. Suppose u = -2*o + 14, 2*u = o + 232 - 224. Solve -o*j + d = j - l, j + 4*l - 15 = 0 for j.
3
Let h be (-4314)/(-45) + (-10)/(-75). Suppose -95*o = -h*o + 6. Let z = 46 + -42. Solve 2*n + 3*k + o = 0, 0*k = 5*n + 2*k + z for n.
0
Let v(u) = -u**2 + 10*u - 14. Let p be v(8). Suppose 70 = -10*s + 130. Solve p*z = 2*g + 4*z - 4, 5*g = -z - s for g.
-2
Let u = 46 + -88. Let p be (u/(-2))/7 - (-1 - 4). Solve -2*b - 2*m + m = 4, -4*b = 5*m + p for b.
-2
Suppose 0 = -6*f + 14*f - 5*f. Suppose -2*n + f*t = -3*t - 13, 15 = -5*t. Let u(l) = l - 4. Let h be u(7). Solve 0 = -g + n*c + 1, 4*c = -h*g + c - 6 for g.
-1
Let w(d) = 5*d - 15. Let i be -1 - -8 - (-4 + 7). Let b be (-6)/24 + (25/i - 2). Let v be w(b). Solve -k + 1 = -2*a + 3, -v*k - 10 = 5*a for a.
0
Let a(c) = -15*c - 21. Let b be a(-13). Let m = 257 - b. Let o = -76 + m. Solve 0 = 5*p + 5*u - 3 - 2, 0 = p - u + o 