 = 4*n + h*q + 26 for n.
-2
Suppose 6*u - 2*u - 32 = 0. Suppose -5*k = 2*h - 45, 3*k = -u - 7. Solve -5*t + h = -5*y, -y - 3*y + 2 = 2*t for y.
-2
Let x(b) = -b**3 - 3*b**2 + 56*b + 103. Let p be x(7). Solve -7*w - 40 = -2*w + 5*v, 0 = p*w + v + 20 for w.
-3
Let x(s) = -423*s + 8065. Let p be x(19). Solve -p = -3*j + 5*t, -20*j + 19 = -21*j - 4*t for j.
1
Let v = -148 + 149. Let j = -45 + 67. Suppose -a = -4*t + a + j, 0 = -t - a + 4. Solve -2*z + m = -0*m - v, t*m = 5 for z.
1
Let j = -1965 + 1969. Solve -r - 12 + 5 = w, -5*r - 17 = -j*w for r.
-5
Let r(j) = -j**3 + 9*j**2 - 21*j + 12. Let c be r(5). Suppose -24 = -5*p - c*p. Let b be 6*((-2)/3)/(-1). Solve -l = b*y - 3, 0*y = -p*l + 5*y - 7 for l.
-1
Let l be (-33)/(-11) - (-1451 - 2). Suppose 0 = 33*j - 35*j - l. Let z be (-112)/j + 22/26 + -1. Solve 4*s + 8 = z, -5*h + 4 = -0*s - 2*s for h.
0
Let b be (-1)/4 + (-399)/(-76). Solve -10*a + 3 = 5*u - 11*a, b*a - 9 = u for u.
1
Let h = 148 + -145. Let y be 15 + (2 - h - 2). Solve 5*f - 2*q + y = 0, -3*f = -f - 4*q + 8 for f.
-2
Suppose -18*a - 672 = -1248. Solve i + 3*w - 12 = 0, -4*i - 38*w - a = -42*w for i.
-3
Let a(k) = -k**3 + 6*k**2 - 5*k - 3. Let i be a(5). Let n be 4/4*-8 - i. Let b be 18/n*(-5)/2. Solve b = -3*w - 3*o, 3*w = 2*w + o - 3 for w.
-3
Let l = 324 + -123. Let x = -104 + l. Let s = -95 + x. Solve 4*f + 12 + 2 = t, -11 = s*t + 5*f for t.
2
Let o(a) = 5*a**2 + 42*a - 72. Let d be o(-10). Solve w - d*u + 7*u - 1 = 0, 3*u = 9 for w.
4
Let q be 1*(4 - 28/35*5). Solve -3*k - 8 - 2 = 2*v, -3*v - 15 = q for k.
0
Let f(k) = -k**2 - 6*k + 11. Let t be f(-7). Suppose -20 = -b - t*m, -13*b - 25 = -9*b - 5*m. Solve -2*i = -b + 4, 0 = -4*n - i - 14 for n.
-3
Let n(k) = -k. Let i be n(-5). Suppose -16*c = 5*a - 11*c - 1935, 2*a - c - 774 = 0. Let j = a - 370. Solve -5*h - 3 = j, 0 = i*d - 4*h + 9 for d.
-5
Let f = 16 + -8. Suppose f = 3*q - q. Let p be (-8)/36 - (-20)/9. Solve l - p*c = -6, c = q*l - 6*l - 7 for l.
-4
Suppose 0 = 5*z - 11*z + 18. Let s(u) = u - 9. Let y be s(9). Let b(d) = 3*d**3 - 2*d**2 - d + 2. Let o be b(1). Solve y = -z*p - 12, l - o*p = -l + 6 for l.
-1
Let k be 3*(1 - (-148)/(-24))*-2. Suppose 0 = 4*a + 2*b - 378, -a - k = 5*b - 112. Suppose -2*m + a = 2*m. Solve -3*d - 2*g - 23 + 6 = 0, 4*d + 3*g = -m for d.
-3
Let k be (-160)/(-35) - 5 - 1238/(-14). Let s = -84 + k. Solve 3 = v + 4*f, -s*f = -0*v + 4*v for v.
-1
Let b(g) be the second derivative of g**5/20 - 2*g**4/3 + g**2/2 - 14*g + 4. Let i be b(8). Solve 3*a = -5*z - i, -4*z = -3*z + 4*a - 10 for z.
-2
Suppose t + 18 = 3*t. Let a(m) = -2*m**3 + 3*m**2 - 4*m - 7. Let q be a(-4). Let w = -181 + q. Solve o - 1 = 0, -w*o + t = d + o for d.
4
Suppose 5*t + 5*l = 11 + 9, 5*l = 5*t - 30. Suppose -3*o = 0, -2*y + 5 = t*o - 9. Solve -22 = -z - 5*m, -11 = z - 3*m + y for z.
-3
Suppose -t - 25 = -4*x, 3*x = 3*t - 0*x + 30. Let y be (t/25 - -2)/((-2)/(-20)). Solve 2*j - y = -5*f, -5*f = -j - 2 - 4 for f.
2
Suppose 682*y - 675*y - 21 = 0. Solve 0 = -g + 4, -21 = 4*k - g + y for k.
-5
Suppose o = 6*o - t - 28, -1 = -2*o - 3*t. Solve -6 = -o*n - 3*u, 3*n + 8 = 8*n + 4*u for n.
0
Let p be (60/(-9) + 1)*-3. Solve 3*i = 4*s - 9, 3*i + 19*s = p*s + 9 for i.
1
Let a be 56/6*((-2)/12)/(14/(-126)). Solve 19*q = -4*p + 20*q + 7, 4*q = 2*p - a for p.
1
Suppose 717*t = 728*t - 22. Solve 3*y = -t*n + 16, -n = 4*n + 5*y - 35 for n.
5
Let u = 582 - 577. Solve -2*t + 9*p = 13*p + 6, 0 = 3*t - p - u for t.
1
Suppose 4*s + 3*j - 31 = 0, -s = 4*s - 4*j. Suppose 22*n - 18 = 13*n. Suppose -2*f + 10*u = 6*u - 26, n*u + 4 = 0. Solve -s*v = t - 4 - 5, -5*v = 2*t - f for t.
-3
Let l = -23022 + 23023. Solve 4*v = 5*w - 37, -4*w - 2*v - l + 15 = 0 for w.
5
Suppose 578*z - w + 4 = 581*z, 2*z - 4 = -w. Solve -2*a + 5*i - 23 = 0, z = -5*a - 0*a - 5*i - 5 for a.
-4
Suppose -5*l = -i - 126, 3*i + 107 - 104 = 0. Solve 2*q + l = 7*q - 5*f, 4*f - 10 = -2*q for q.
5
Suppose -316 + 346 = 6*k. Solve -8*f + k*j + 12 = -6*f, -5*j = 3*f + 7 for f.
1
Suppose -6*c = -2*b - 702, 3*c + c = -3*b + 468. Solve -c*j + 3*q = -120*j, -5*j + 3*q = 32 for j.
-4
Let q = -2412 + 2430. Solve 0 = -19*l + q*l + 4*m + 23, 2 = 4*l + 2*m for l.
3
Let p = -21590 + 21593. Solve 3*j = -4*o + 1, -153*o = 2*j - 148*o - p for j.
-1
Let m = -54 + 54. Suppose -3*b - 17 + 8 = m. Let r be 1*(1/(-4))/(b/36). Solve 2 = p - r*t + t, -3*p = 3*t + 21 for p.
-4
Let l(g) = 8*g - 6. Let r be l(3). Suppose -m + r = 3*w, -15 = -0*m - 5*m. Suppose -w*n = -3 - 7. Solve -n*t - 2*t = -u - 11, 0 = -u + 5*t - 13 for u.
-3
Let r(t) = -t**3 + 12*t**2 - 27*t + 76. Let f be r(10). Let o = -49 - -72. Let g = 26 - o. Solve 4*p + 7 + 1 = 3*i, -g*p - f = -i for p.
-2
Let n = 21 - 16. Let l(a) = -a**3 - 12*a**2 + 3*a - 31. Let t be l(-13). Let r = -95 + t. Solve -m + 4*m - 9 = r*g, n*g = -3*m + 9 for m.
3
Let p(c) = c**3 - 3*c**2 - 8*c + 29. Let x be p(4). Suppose -a + 9 = 3*d, a + 15 = 16*d - x*d. Solve 0 = -d*n - 5*g - 2, n + n + 12 = 3*g for n.
-3
Let d = -9354 - -9359. Solve -d*j + m + 14 = 0, -5*j + 5*m = -41 + 31 for j.
3
Let j(r) = r**3 - 11*r**2 + 33*r - 13. Let a be j(6). Solve -6 = b - 5*b - 2*x, 26 = -b + a*x for b.
-1
Let c(t) = -2*t**2 + 26*t + 141. Let w be c(17). Solve -w*m - 23 = b, 0*b + 4*b + 20 = -2*m for b.
-3
Suppose 0 = -397*p + 398*p - 10. Let l be 7/(-84)*-6*p. Solve -k = 2*o + 8, o + 4*k - l*k + 7 = 0 for o.
-5
Suppose 3 = p - 2. Let s = 13109 - 13095. Solve 3*l - 12 = p*f, -5*l = 5*f - s - 6 for f.
0
Let y be 5/(-7)*(-105)/60*4. Solve -20 = 3*a + y*s + 5, 2*a - 25 = 5*s for a.
0
Let u be 3 - (2 - 3 - (-3 - -2)). Suppose -36 = -u*q + 24. Solve -4*i + 5*c = -0*c + 25, 4*c = i + q for i.
0
Let n = 129 - 123. Suppose -7 = -4*j + 33. Suppose -a - n = -j. Solve -5*x - 29 = a*v, -x = v - 1 + 7 for x.
-5
Let r(z) = 7*z - 19. Let d be r(8). Let n = -79 + d. Let l = -17 - n. Solve -2*k - 4*h = -6, -l = k - 3*h - 8 for k.
-5
Let z(n) = -46*n + 4158. Let s be z(90). Solve 4*r = f - 3, -2*f + r - 5 + s = 0 for f.
7
Let j(q) = -q**3 - 52*q**2 - 52*q - 49. Let h be j(-51). Solve h*f + 8 = g, 3*f = 3*g + f - 4 for g.
-2
Let w(p) = 29*p - 1. Let u be w(1). Suppose 44*x = 37*x + u. Solve -x*r + 18 = 2*g, 5*g - 20 = -10*r + 5*r for r.
5
Suppose 145 = -2*j + 2*m - 411, -4*m - 12 = 0. Let q = j + 285. Solve 4*a - q*i + 4 = 0, a - 3 + 12 = -3*i for a.
-3
Let d = 783 - 778. Solve 0 = -d*t + 25, -3*c + 0*c - 15 = -3*t for c.
0
Let z(x) = 7*x**3 - 2*x**2 - 3*x + 3. Let t = 319 + -318. Let r be z(t). Solve 3*j + 6*l - 24 = 3*l, -r*l - 5 = -4*j for j.
5
Suppose -20*f + 36 = -4*f - 4*f. Solve -2 = -3*i + 2*d - 4, -2*i - 23 = f*d for i.
-4
Suppose 2*k + 72 = -4*k + 10*k. Solve 4*p = n - 6, -13*n + k*n = 2*p + 12 for p.
-1
Let n = -2496 + 2500. Solve s - n = 0, 3*s - 8 = w - 0*s for w.
4
Let m(c) be the second derivative of c**4/6 - 4*c**3/3 - 11*c**2 - 101*c. Let k be m(-2). Solve a - 2*i - 6 = 0, 0 = k*a - i + 3*i for a.
2
Suppose 27*q + 39*q = 13*q + 265. Solve 2*g = 3*o - 0 + 11, -q*o - 2*g + 3 = 0 for o.
-1
Let g(b) = -b**3 + 8*b**2 - 43. Let a be g(4). Solve 3*t = -2*m + 1, -20*t = -a*t + m - 3 for t.
-1
Suppose o + r = -45 - 1, 3*r = -4*o - 186. Let x be (-18)/(-8) + 12/o. Solve 9 = -4*q + 5*q + y, -q - 6 = -x*y for q.
4
Let v be 6/(-81)*(-194 - -167). Solve l + 10 = y + 3, -v*l - 2*y = 2 for l.
-4
Let a(w) = 2*w - 5 + 3*w**2 - w**2 + 9*w. Let b be a(-6). Let c be b + ((-4)/(-7))/((-3)/(-21)). Solve -c*t = 4*u + 15, -t - 24 = 6*u - u for u.
-5
Suppose 3*p + 40 = 7*p - 4*a, 0 = -2*p - 4*a + 44. Suppose -s + 29 = 2*d, 3*s + 4*d - 108 = -31. Let z = s - p. Solve 2*g = 4*g + x + 7, 3*g - 22 = z*x for g.
-1
Let o = 2845 - 2840. Solve 2*r - 5*j - o = 0, -4*r + 4*j + 19 = 3 for r.
5
Suppose -6*o + 30 = -i, -22*o - i = -27*o + 26. Solve -3*s + 35 = -o*j, 3*s + 0*j - 5 = -2*j for s.
5
Suppose 91*c - 259 - 398 = 18*c. Solve i + 5*a + c = -2*i, -2*a = -4*i - 12 for i.
-3
Let m(j) = -j**3 + j. Let r(o) = -6*o**3 + 7*o**2 + 13*o + 7. Let w(l) = -7*m(l) + r(l). Let p be w(-6). Solve -u - 4*q = p, -2*q = 7*u - 3*u for u.
1
Suppose 0 = -w + 5*m - 1, 2 - 3 = m. Let t = w - -8. Let n be t/(-1)*5/(-10). Solve -h - 2*v + n = 0, 3 = v - 0 for h.
-5
Suppose -411*m = 5*d - 406*m - 5, 2*d - 4*m - 8 = 0. Let p be -9*(2 + (-21)/9). Solve 5*n + 24 = -4*l, -p + 12 = -d*n - l for n.
-4
L