u - 2*u = m*s - 14 for u.
-1
Suppose 2*s = 3*s - 5. Suppose u = -17 + s. Let g = 15 + u. Solve 5*f = 4*m - 5, 5*f - 5*m + 2 = -g for f.
-1
Suppose -80 = -5*t - 19*t + 16*t. Solve h = 11*c - t*c + 5, c + 2*h = -5 for c.
-5
Suppose 27*s - 21*s - 30 = 0. Suppose -14 = -s*w - 0*w - 2*d, -23 = -5*w + d. Let g be 2/6 - 8/(-3). Solve -5*n - w*j - 12 = 0, -n + 2*j + 6 = -g*n for n.
0
Suppose 27*y - 1087 + 412 = 0. Solve -s = 5*p - 2*s + y, -p = 4*s + 5 for p.
-5
Let n(x) = x**2 - x**2 - 9 + 4*x + x**2 - 5. Let a be n(-8). Let w = 109 - 107. Solve -w*c - 3*c + a = -4*f, -4*f - 10 = -c for c.
2
Let b(x) = -x**2 + 8*x + 4. Let g be b(8). Let k = -69 - -71. Suppose 36*v - 342 = -k*v. Solve 2*s - q = 3*s, 5*s + v = g*q for s.
-1
Suppose -4*d = -2*d - 2. Let y be 4*(1/d)/1. Suppose 0 = 3*v - 2*w - 7, -51*w + 54*w = -v + 6. Solve y*o - 11 - 1 = 0, -v*s - 5*o + 30 = 0 for s.
5
Let i be ((-5)/3)/(11 - 68/6). Solve i*j + 19 - 53 = -4*d, 0 = -4*j + 2*d - 4 for j.
2
Let w(n) = 9*n + 111. Let q be w(-11). Solve -5*s + 15 = -q*j + 14*j, 15 = -3*j for s.
5
Let r = 6 - 4. Let l be 116/(-12) - (0 - 2/(-6)). Let t be -4*(-3)/(-30) + (-244)/l. Solve 4*b = h - 23, -r*h = h - 3*b - t for h.
3
Suppose -4*y - 6 = -11*v, -9*y - 10 = -11*y - v. Solve -b - 1 = -2*w, -2*w + 32 - 6 = y*b for b.
5
Let x = 171 + -67. Suppose -m - 5 = 0, 4*y = -3*m - 103 - x. Let q = y + 51. Solve -22 = -5*f - 3*l, q*l = -3*f - 0*l + 18 for f.
2
Let u be (-5)/(-3)*-3*-5. Solve 4*k - 3*f + u = 0, 2*k + 14*f + 23 = 19*f for k.
-4
Suppose -y + 7 = 4*b, 7 = -5*b + 3*y + y. Suppose -4*m = 5*g - 103, 2 = -g + b. Suppose -4*c - 5*c = -m. Solve -2*p = p - c*w - 24, 3*p = -3*w for p.
4
Suppose -2*u + 8 = 4. Suppose -1407 = -4*b + 25*b. Let m = b - -71. Solve -u*y + m*w + 14 = 2, 12 = -3*w for y.
-2
Let j(i) be the second derivative of i**5/20 - 5*i**4/3 + 11*i**3 - 29*i**2/2 - 78*i. Let a be j(16). Solve 0 = -4*c + a*q + q, q = -3*c for c.
0
Suppose -1893 - 2176 = -549*y - 1324. Solve -5*v - 40 = -y*l, 0*v - 5*v = -3*l + 34 for l.
3
Let y be ((-18)/7)/((-33)/154). Suppose -2*m = -6*m - b + 9, -2*b - y = -2*m. Solve -2 = -5*n - 17, m*j + 2*n = -21 for j.
-5
Suppose 0 = 31*k - 308 - 157. Solve k = -3*s + 4*o, -o + 4*o = 3*s + 12 for s.
-1
Let z(a) = a**3 + 7*a**2 - 18*a + 6. Let q be z(-9). Let y be (98/21 + -4)*q. Solve -4 = o, b - o = 11 - y for b.
3
Suppose -o + 4*o - 5*o = 0. Solve 28*r = 30*r - 2*l + 16, o = -2*r + 3*l - 21 for r.
-3
Suppose 60 = 5*d - 4*r, -2*d = r - 46 + 9. Solve 5*h - 3*n - d = n, 0 = -5*n - 20 for h.
0
Suppose 0 = -46*x + 47*x + l - 5, 2*l + 10 = 2*x. Solve k - 25 = -x*z + 4*k, 5*z + 5*k = 25 for z.
5
Let t = 99 - 188. Let y = t - -95. Solve -2*p = -b + 1, 2*b - y - 5 = -5*p for b.
3
Let g(w) = -w**3 + 2*w**2 + 8*w + 4. Let r(l) = -7*l - 10. Let n be r(-2). Let j be g(n). Solve -j*t - 4*o - 8 = 0, -5*t = -6*o + o - 20 for t.
1
Let d be (315/(-14))/(-9) - (-5 - 45/(-10)). Solve 4*i = -3*z - 1, 0 = 4*i - d - 5 for z.
-3
Let r = 19 - -5. Suppose 0*j = -6*j + r. Suppose 10*z - 3 - 27 = 0. Solve 3*k - z*d + j = -2*k, -10 = 2*k - 4*d for k.
1
Let d be (2/(-2))/(1/(-15)). Let k be 1720/3 - (-1 + 49/21). Suppose -k + 547 = -5*v. Solve t - 2 = -2*j + 4, -v*j + d = 0 for t.
0
Let l = -35 + 29. Let a(f) = 2*f**2 + 12*f + 8. Let h be a(l). Solve -4*z + h + 0 = 0, 23 = 5*x + 4*z for x.
3
Suppose -17*t - 1372 = -1491. Solve q - 1 = -3*k, -4*k + t = -5*q - 7 for k.
1
Let m be (12 + -12)*(1 + 0). Solve -5*h = m, 3*h - 27 + 11 = -4*z for z.
4
Suppose 0 = 31*k - 95278 + 95185. Solve 0 = -3*i - 3*n, -k*i + 6*n = 4*n + 20 for i.
-4
Suppose 7*k = 2*k + 630. Suppose -k = -5*r - r. Suppose 3*m + 2*m + 3*b = 10, -5*m + 10 = -4*b. Solve 0 = 2*p + 2*p - h + 13, -r = -m*p - 5*h for p.
-2
Let j be (1*6/8)/(1/4). Suppose 154 = -3*d - 4*r, j*d + 156 = -2*r - r. Let u = d + 60. Solve -18 = -3*h + 4*v, u*v - v = -3*h - 9 for h.
2
Suppose 42*j - r = 37*j - 18, 5*j = -4*r - 3. Let o = -6 - -3. Let u = j - o. Solve u*n - 4*n + z = -7, -n = 2*z - 4 for n.
2
Let d(m) = m**2 - 8*m + 14. Suppose 26 = 4*f - 2*o, o - 14 = -3*f - 3*o. Let v be d(f). Solve -2*p = -p - 3*k + 2, 2*k - 4 = v*p for p.
-2
Let q = -23983 + 23998. Solve -5 = 3*d - 17*i + 16*i, -3*i + q = -5*d for d.
0
Suppose 19 = -n + 3*v, 0 = 5*n + 70*v - 74*v + 18. Solve -2*k = 3*c - 25, -6*c = -n*c + 2*k - 30 for c.
5
Let h = 59259 - 59259. Let p(y) = y**2 - 1. Let r be p(2). Solve r*a + 3*l - 6 = -0*a, h = a + 3*l - 6 for a.
0
Let k = 2 - -82. Let f be 2*(-2)/16 - k/(-16). Solve 30 = 3*x + f*n, 3*n = -2*x + 4*n + 7 for x.
5
Let v(a) = -4*a - 14. Let r be v(-5). Let l be (-12)/(-3)*3/r. Solve 4*t = -5*g + l*t - 20, -2*g - 8 = -5*t for g.
-4
Let j = 10 + -69. Let t = -737 + 682. Let u = t - j. Solve 0 = -3*f - 2*v + u*v + 5, 4*f = -4*v for f.
1
Suppose -24*l + 3036 = 22*l. Suppose -20*s = 2*s - l. Solve 0 = 5*w + s*y - 16, 4*w + y = 4*y + 2 for w.
2
Let t = 12394 + -12389. Solve t*b + 4*a + 7 = 0, 0 = -44*b + 46*b + 3*a + 7 for b.
1
Let v = -5313 - -5315. Solve -5*w + v*w + 5*a + 15 = 0, -5*a - 15 = w for w.
0
Let b(g) be the first derivative of 2*g**3/3 - 49*g**2/2 + 33*g + 32. Let s be b(24). Solve 2 = -4*d - 2*p, -4*d = -2*p + 5 + s for d.
-2
Suppose -3*x - 3*z = -39, -5*x + 9 = 7*z - 9*z. Solve 0 = j - 4*u - 14, -j - u + 2*u = -x for j.
2
Suppose p = 2*u - 3, -4*p = -5*p + 4*u - 9. Suppose -l + 1 = p. Let o be (9/6 + l)*-22. Solve 5*d = j, 0 = -2*j - o + 1 for d.
-1
Let h be 15/(90/(-48))*(-1 - 3/(-6)). Let t be (-5 - -2*1)*-9. Let d be 6/t - 32/(-18). Solve b + 8 = -3*q, h*q + 2*b = d*q - 4 for q.
-3
Suppose 3*z + 5 = 80. Suppose x - 1 = -2*a, 27 + 0 = 5*x - a. Solve -w - 20 = 4*y, -4*w + 2*w = x*y + z for y.
-5
Let s = 7920 - 7918. Solve 5*h = s*f + 15, -67*h + 68*h - 2*f = 11 for h.
1
Let p be -3*((-427)/122)/(9/6). Solve -g + 3*s = p, 111*s - 113*s = 5*g + 18 for g.
-4
Let l(d) be the first derivative of d**4/4 + 4*d**3/3 - 11*d**2/2 + 11*d - 75. Let r be l(-6). Solve 4*v + 5 = r*n, 4*v - 40 = -4*n - 0*n for v.
5
Let y(n) = n**2 - 14*n + 36. Let a be y(11). Let d be (a - 1)/(30/7 + -4). Suppose 3*s - 17 = -q + d, -q = 3. Solve -s - 1 = 5*z - 5*w, -z - 2*w + 13 = 0 for z.
3
Let q = -193 + 1086. Let c = -889 + q. Solve -d + 19 = c*j, j - 7 = 2*d - 3*d for d.
3
Let p(o) = -o + 1. Let q(x) = -4*x - 219. Let h(k) = 3*p(k) + q(k). Let v be h(-31). Solve c + 2*w + 2 = 0, -4*w = c - w + v for c.
-4
Suppose -26*u - 160 = -18*u. Suppose 3*z = 5*z + 48. Let j = u - z. Solve -4*s - j = -4*v, -1 - 10 = -s + 4*v for s.
-5
Let c(p) = 3*p + 5. Let g be c(-4). Let k = -8 - g. Let z = 5 + k. Solve 2*r = z*t + 6, 0*r + 3*t = -2*r - 15 for r.
-3
Let d be (-6)/(-4)*(-894)/9. Let c = -146 - d. Solve 0*w + 3*n = -4*w + 6, 4*n = -c*w + 8 for w.
0
Let c be (-3)/(7/(14/(-3))). Let w(g) = 17 - g**c + 39*g - 1 - 45*g. Let q be w(2). Solve q = 2*p - 4*h + 22, -p = -3*h - 7 + 21 for p.
-5
Let a = -164 + 167. Suppose c + 1 = -a*b + 18, 2*c - 5*b = 12. Solve -c = 2*g + 2*p - p, 0 = -4*p - 20 for g.
-3
Let h be 5 - (-8 + 26 + -16). Solve 0 = 4*l + h*a - 5, 4 = 5*l - a - 7 for l.
2
Let z(s) = -s**3 - s**3 + 3 + 6*s**3 - 3*s**3. Let y be z(0). Solve -4*h + y*w + 14 = -3*h, 0 = -h - 3*w - 4 for h.
5
Let u(i) = -47*i - 468. Let o be u(-10). Solve 12*k - 11*k - 5*n = 0, n = o*n for k.
0
Suppose -56 + 14 = -z + 5*i, 0 = 2*i + 12. Solve -k = 2*v - 6*v + z, k = 3*v - 9 for v.
3
Let j(c) = -592*c - 1182. Let b be j(-2). Solve 0 = h - u - b, 3*u = -8 - 10 for h.
-4
Suppose -3*y = -5*v - 0*y + 388, 0 = 2*v + 3*y - 151. Let f be 1/(-2)*((-30)/6 - v). Let p = f + -30. Solve -5*t = c + c - 11, -t - p = -4*c for t.
1
Let u = 4413 - 4408. Solve -5*k + u*c - 6 = c, -2*c = k - 10 for k.
2
Suppose -13 + 10 = -3*a. Solve -k + m + a = 0, -k + 5*m = 3*m for k.
2
Let b = -3097 + 3100. Solve -3*s = b*q, 3*q + 1 = -0*q - 4*s for q.
1
Let t = -62 - -70. Let p be 4/(-10) + t/((-120)/(-51)). Suppose 86 = -2*w + 94. Solve -p = 3*v - 3*x, -w*v = -v + x + 3 for v.
-1
Suppose -5*h = -y + 15, h + y + 7 = 2*y. Let o be h + -2 + 0 + 6. Solve o*a + 14 = -3*j, -3*j - 2 = 4*a + 14 for j.
-4
Suppose 0 = 68*z - 1357 + 1357. Solve z*g - 9 = -5*f + 3*g, 4*f - 4*g - 4 = 0 for f.
3
Suppose -38 = -5*b - 28*h + 25*h, 22 = 4*b + h. Solve b*g + 10 = -2*z, 2*g - 7 = -5*z - 0 for z.
3
Let k = -8 - -14. Let a = 17 + -36. Let j(m) = 