 m = v - 1 + s for m.
-3
Suppose 42*y - 471 = -51. Solve -4*b + 20 = 4*u, 2*b = -2*b + u + y for b.
3
Suppose -4*a + 198 = -5*a + 2*v, v = 4*a + 792. Let h = a + 219. Solve -h = 3*i - 5*w, -5*i = -4*w + 21 + 1 for i.
-2
Suppose 0*i - 12 = -2*i + 4*a, 2*a - 6 = -2*i. Suppose 18*n + 3*n = 4*n. Solve -i*s - 5 = -5*v, n = -2*v - 2*v + 4*s for v.
5
Let q(x) = 2*x**3 - 28*x**2 + 30*x - 51. Let u be q(13). Solve t + u = -3*a, -7*a + t = -6*a + 3 for a.
-1
Suppose 4*k + 145 - 54 = -3*v, -2*k - 43 = v. Let a(f) = -4*f - 74. Let z be a(k). Solve s = 2, 6*q - 10 = z*q + 5*s for q.
5
Suppose -4*g - 14 = 3*n - 4*n, 3*n - 21 = 5*g. Suppose 2 - 6 = 2*i + n*s, 3*i + 4*s + 11 = 0. Solve -x - 2 = 4*f + 4, i*f + 1 = x for x.
-2
Let o(h) be the third derivative of h**6/120 + 7*h**5/30 - 19*h**4/24 - 55*h**3/6 + 22*h**2. Let g be o(-15). Solve -5*z = g*y - 15, z + 0*z = 5*y + 9 for y.
-1
Let d = 99 - 95. Suppose d*c + 6*c = 150. Suppose c - 39 = -4*m. Solve -3*z = -3*u - m, 2*u + 1 + 6 = 3*z for z.
3
Let i be (-6)/(-5) - -3 - 2/10. Suppose -i*h + 29 - 1 = 0. Suppose 3*o - 22 = -h. Solve -5 = -a + 2*a + 5*f, -3*a + o*f = -5 for a.
0
Let w = -48 + 50. Suppose -r + 17 = 5*a, 4*r - 16 = -2*a - r. Suppose a*o - 74 = -5*x, -3*x - 4*o = -5*x + 40. Solve -w*i - x = 4*b, -i - 4*b = -5*i + 28 for i.
2
Let a = 3989 - 3986. Solve f = -2*b - 15 + 20, -f = -a*b for f.
3
Suppose -5*t = 10, -3*q + 3*t - 96 = -423. Suppose -34*o + q = 39. Solve 7 = 3*r - 8, 0 = -2*a + o*r - 10 for a.
0
Suppose -5*g + 8 = -k, 67*k - 3*g = 66*k - 4. Solve p = -2*a + 5*p - 20, k*a = -p for a.
-2
Let r be 155/62*108/5. Solve -5*c = -q - 5, 5*c - 50*q + r*q - 30 = 0 for c.
2
Let h be (24*-2*1/20)/((-10)/75). Suppose 2*i = 7*i + 30. Let o be (-2)/i*(h + 42/(-7)). Solve 3*b = 2*j + 3*j + 37, o*b - 1 = -3*j for b.
4
Let b(j) = j**2 - 5*j - 114. Let y be b(14). Solve -20 = -h - 2*i - y, -i = 5*h - 4 for h.
0
Let j = 6465 + -6415. Solve 5*t + 2 = -j*m + 48*m, m + 2 = -3*t for m.
4
Let w be 5 + (7 - -1 - 5). Suppose w - 2 = s + 4*i, 2*s - 9 = -5*i. Solve f + 0*j - j = s, -2 = 5*f + j for f.
0
Let b = 5882 - 5877. Solve 0 = 2*z - h - 1, -b*z + 4*h = 2*h for z.
-2
Let r = 236 + -164. Suppose 0 = s - b - 8, 3*b + 0*b = -5*s + r. Solve -4*t = -s, 2*y - 11 = t - 2*t for y.
4
Suppose 10*o + 12*o = 5*o + 51. Solve a - o*n = 6, 3*a + 0*n = 5*n + 10 for a.
0
Let l = -1098 + 1101. Solve -2*z = 5*f - 18, 7*z - 26 = -5*f + l*z for f.
2
Let b be 12/3 - 2*-2 - 3. Let g(o) = 4*o - 18. Let w be g(b). Solve u = -2*n - 1 - 1, -w*n - 18 = -3*u for n.
-3
Suppose 270 = 3*s + 264. Suppose -s*z - 8 = 0, -3*f + 3*z = -6*f - 12. Solve 4*y + 2 = 4*h + 6, 5*h - y + 1 = f for h.
0
Let l = 1 + 1. Suppose l*v - 6*v = -48. Let z = v + -7. Solve 4*a + 3*g = 2*a + 6, z*g - 20 = 0 for a.
-3
Suppose -4*m + 5*n = -86, -n - 124 = -5*m - 48. Solve -4*l - 18*t = -m*t + 12, 0 = -3*l + 5*t + 7 for l.
-1
Suppose 19*v + 17*v - 72 = 0. Let c = -4 + 7. Suppose v*k - 9 = c. Solve -4*y = 3*t - 26, t + k = y + 3 for y.
5
Suppose 0 = -5*y - a + 10, -3*y = -25*a + 27*a + 1. Solve 3*g = -q - 14, y*g + 5 = -5*q - 17 for g.
-4
Let w(y) = -13*y**3 + 38*y**2 - 9*y + 37. Let r be w(3). Solve -3*g + r = -4*d, -21*g + 1 = -23*g + d for g.
-1
Let g(y) = y**2 - 4*y + 10. Suppose 7*a + 0*a + 56 = 0. Let n = -6 - a. Let w be g(n). Solve -2 = -2*r + 3*u - w, 3*u - 11 = -5*r for r.
1
Let w = 10 + -5. Let q be (10 - 1360/(-10))/(4/10). Let x = -365 + q. Solve -4*b = w*m - 23, m + x*b = 5*b - 7 for m.
3
Let g = -16162 + 16174. Solve 5*o + 4*w - 11 = 0, o - 13*w + 5 = -g*w for o.
-1
Let t = -3816 - -3824. Solve 3*l = -15, t*l = -2*c + 10*l + 14 for c.
2
Let k be (4 + -1)/(-8 - -5)*(-5 + 1). Solve 2*r + 5*l + 13 = 0, k*r + 2*l = -14 + 12 for r.
1
Let t = -1566 + 1598. Suppose -39 = -3*n - 9. Suppose -27*b + t*b = n. Solve b*h + 5*r - 3 = -16, 2*r + 2 = 0 for h.
-4
Suppose 68*u - 24*u - 245 - 151 = 0. Solve 5*g - u = -14, 2*t = -g + 1 for t.
1
Let n(h) = -h**3 + 5*h**2 + 6*h - 20. Let o be n(4). Suppose -5 = -3*x - 5*i, 22*i - o*i = -4. Solve 0 = -2*j + x*t - 3*t + 2, 5*j - 11 = 2*t for j.
3
Let f = -16826 - -16834. Solve 2*o + 3*j = -13, 4*j - 14 = 2*o - f for o.
-5
Let z = 35 + -33. Suppose 0 = -2*x + 6 + 4. Suppose -x*q + 2*l = -2*q, 0 = 4*q - 2*l - 2. Solve -3*n + 6 = -4*k - z, q*k + 2*n = 10 for k.
1
Let x = -95 + -146. Let p = x - -253. Solve -5*m - 25 = 0, -2*h - 4*m = 8 + p for h.
0
Let q = -5442 - -5446. Solve -13 = 4*t + 5*p, -q*t + 18 - 24 = -2*p for t.
-2
Suppose -4*b - 3*n = -8*n - 137, 0 = 3*n + 3. Suppose b = -10*p - 17. Let r = 3 - p. Solve 0*k = -4*u - k + 5, -4*k = 2*u + r for u.
2
Suppose -6331*f + 6317*f = -42. Solve 4 - 11 = -f*m + u, 3*u - 11 = m for m.
4
Let j be (-20)/540*-18*(-6)/(-4). Solve 4*r + j = -4*h - 7, -5*h = -2*r + 3 for r.
-1
Let y = 5198 - 5193. Solve 3 = -x - y*b, 13*x + 5*b = 16*x - 11 for x.
2
Let o(w) = -w**3 - 6*w**2 - 3*w + 3. Let f be o(-7). Let t = 68 - f. Let j be t*3/(-15)*15. Solve -3*s = -9, -4*m - 6*s + j = -s for m.
0
Let i = 214 + -212. Suppose i*w = 6*w - 20. Solve -w*h - 5*s = 45, 0 = -0*h + h - 2*s - 6 for h.
-4
Suppose c - i = 6, -3*c + 45 = -5*i + 39. Solve -2 = -2*j - z + c, -j + 21 = 4*z for j.
5
Let v(g) = g**3 + 7*g**2 - g - 5. Let r be v(-7). Suppose 24*t - 55 = 65. Solve -d + 3*u - t = 0, 8 = 4*d + r*u - 0*u for d.
1
Let s be (-3838)/1919 + (-28)/(-6) + 1/3. Solve 2*h - 33*u + 38*u = -29, s*h + 5*u + 31 = 0 for h.
-2
Suppose 0 = -4*s - 32. Let h be (-3 + (-20)/s)*0. Solve 4*z + 32 = 4*r, h*r - 4*r + 20 = -z for r.
4
Let o(m) = -m**3 - 2*m**2 + m - 9. Let r be o(-3). Let j be r*((-30)/(-105) - (-41)/(-21)). Solve -x - 2*k = j, 9 = -4*x - 5*k - 11 for x.
-5
Let a = 124 - -161. Let t = -282 + a. Suppose -2*d + 8 = -k, 0*d + 2*k - 5 = -3*d. Solve -t*q = 3*j - 9, -j - j + d*q = -16 for j.
5
Let o(g) = -g**3 + 7*g**2 + 2*g - 11. Let l be ((-88)/12)/((-2)/99*-3). Let p = -114 - l. Let b be o(p). Solve 2*q + b - 8 = -5*c, 3*c + q - 3 = 0 for c.
1
Suppose -s + 9 = 0, 3*k - 363*s - 15 = -364*s. Suppose -4*d = d - 50. Solve 0 = n - 4 + 9, -3*w - d = k*n for w.
0
Let v(h) = -h**2 - 12*h + 7. Let d be v(-12). Suppose d = -t + 15. Suppose t*n - 6 = 18. Solve -5*r - 36 = -3*z - z, -n*r - z - 8 = 0 for r.
-4
Let v = 4 - 2. Suppose q + 1 = -v*x, -2*x + 6*q + 5 = q. Suppose x = 3*j + 2*h, -3*j - 7 = j + 5*h. Solve -2*f + 8 = y, -j*f + 6 = -y + 3*y for f.
5
Suppose -172*h = -198*h + 78. Suppose -5*c + 14 = -d, 3*c + 38 = 5*d + 5*c. Solve 0 = -3*y + u + 18, -h*y = u - d - 6 for y.
5
Let k(y) = 5*y**2 + 9*y + 10. Let f be k(-5). Let i = f - 117. Let m = -12 - i. Solve -g = 4*u - 3*g + 20, -m = 3*u - g for u.
-5
Let h = -2606 - -2617. Solve -h + 8 = -4*i + 3*a, 0 = 3*i + a - 12 for i.
3
Suppose 5382 = 19*v + 7*v. Let x = -206 + v. Solve -p + 6 - 2 = 0, -5*w - p = x for w.
-1
Let o = 729 + -769. Let a be (-6 - 170/o)*-4. Solve a*c = 3*c + 4*f + 16, 0 = 2*c + f - 2 for c.
2
Let p(w) be the third derivative of w**6/120 + 3*w**5/10 - 5*w**4/6 + w**3/6 - 98*w**2. Let y be p(-19). Solve -2*f - y = -4*j + f, 0 = 3*j + 5*f - 15 for j.
5
Let m = 353 + -349. Let i be m/6 - (1 + (-4)/12). Solve 21 = -5*k - 3*f, 5*f + 7 = k - i*f for k.
-3
Suppose 5*w + 2*l + 0*l = 9, -15 = -4*w + l. Suppose 0 = -5647*x + 5696*x - 98. Solve w - 2 = -3*g + i, x*i = -g + 2 for g.
0
Let g(b) = b**2 + b - 7. Let q be g(3). Suppose q*h - 2*v = v + 125, 5*v = -4*h + 100. Suppose -7*i + h + 3 = 0. Solve 5*u - 17 = k, -2*k - i*u = -8 - 0 for k.
-2
Let b be (-114)/4*(8/(-6))/1. Suppose 11*c = -b + 126. Solve 4*g + 4*a = c*g + 4, -4*a + 18 = 3*g for g.
2
Let m(l) = 1117*l + 3355. Let q be m(-3). Solve 3*n = q*z - 11, 0 = -18*z + 15*z + 5*n + 22 for z.
-1
Let y(s) = 3*s**3 + 6*s**2 + 5*s - 1. Let h be y(-1). Let w be (h - (-2)/(0 - -1)) + 13. Solve -2*i = 5*l + 9, 3*i = 4*l + 7*i + w for l.
-1
Suppose 6*b - 3434 = b - 4*y, -5*b = 3*y - 3438. Let s be b/135 + 2/(-18). Solve -5*f + t = 4, 2*t = 2*f + 3 + s for f.
0
Let l be 1/(-3)*(-11 - -11). Suppose 1 = f - l. Suppose 0 + 27 = 5*p - 3*n, n + 16 = 4*p. Solve -5*w + k - 2*k = f, p*w + 4 = -4*k for w.
0
Suppose 159 + 57 = 9*c. Let w be (-2 - 2)/((-3)/c). Let a = -2 - -6. Solve o + 1 = -b - 6, 5*o + w = -a*b for o.
-4
Let l = 94 + -66. Suppose -t - 23 = -l. Solve 0 = -s - 3*d + 7, t*d - 22 = -7 for s.
-2
Suppose 17*z - 2749