 + 15 = 2*a + 4*m, -4*a = -h*m - 22 for a.
5
Let u be (1322/4)/(((-114)/(-12))/19). Let i = 664 - u. Solve 0 = 3*m - i*q + 6, 3*m + 2*q = -2*q + 29 for m.
3
Let b = 549 + -526. Suppose -b*y = -40*y. Solve -3 = 4*v - 3*p, -3*v + y*p - 2 = -2*p for v.
0
Suppose 3*u - 8*u + 15 = 0. Let j be 0*(-1)/9*u. Suppose -14*g + 29 + 13 = j. Solve g*v + 5 = -2*d, 13 + 0 = -3*d + v for d.
-4
Suppose 146*g = 144*g + 172. Let r = g + -83. Solve r*y = k - 11 + 2, y + k + 7 = 0 for y.
-4
Let h(c) = -4*c - 13. Let j be h(-5). Suppose 31 = 2*x + j. Let p = -31 + 33. Solve -2*d - p*b = x, 0 = 2*b + b + 12 for d.
-2
Let o(j) = j**3 - 4*j**2 - 2*j - 15. Let n be o(5). Suppose n = 3*y - 6*y. Solve l + 8 = 2*k, y = -3*k + 7*l - 3*l + 7 for k.
5
Suppose 823 + 192 = 187*i + 267. Solve -17*n + 18*n - 22 = i*z, 0 = n - 2*z - 12 for n.
2
Suppose -22*t - 29 = -183. Suppose 0 = t*o - 4 - 17. Solve -5*a = 5*v - 15, 3*v = o*a - a - 6 for v.
0
Let t = -52 + 52. Suppose 0 = 2*y - 28 - t. Let p be 17*7/y - 1/2. Solve u + p + 1 = 2*g, -8 = -g + 4*u for g.
4
Let o = 85 + -20. Let z = -60 + o. Let t(x) = -x - 5. Let g be t(-6). Solve 0 = 3*d + 3*j, -z*j = g - 6 for d.
-1
Suppose 4*n + 3*w = 6*n - 13, -3*n = -2*w - 17. Let t = -14 - -9. Let u = -1 - t. Solve 3*k = -0*k + 3*z - 6, u*k - n*z = -7 for k.
-3
Suppose 5*v + 4*v = -6*v + 21*v. Solve v = -y + 2*b - 1, 2*y - 4*b = b - 4 for y.
3
Suppose 3*c + 3*m = 69, m - 66 = -3*c - m. Solve -y = -5*t - 0*y + 4, 3*t + 5*y + c = 0 for t.
0
Let s be -10 - 18*14/(-21). Solve -3*r + 1 = -s*i, 0 = 5*r - 3*r - 4*i - 14 for r.
-3
Let y(b) be the third derivative of b**6/120 - b**5/10 - 5*b**4/24 - 3*b**3/2 + 3*b**2 - 3. Let g be y(7). Solve -3*n + n = 4*q + 2, g*n - 13 = -q for n.
3
Let a = -549 - -552. Solve -4*p + 8 = -4*h, -5 - a = -4*p for h.
0
Let b = -25915 + 25925. Solve 4*t - 5*k = 4 - 29, -b = 4*t - 2*k for t.
0
Suppose -3*s = -115 + 94. Suppose 0 = -s*t - 276 + 437. Solve -3*q - 12 = -0*a - a, 4*q = -a - t for q.
-5
Suppose 10 + 6 = 4*x. Suppose u + 0 = 5. Suppose 0 = 3*o + 5*t - 18, 3*o - 21 = 4*t - 8*t. Solve -2*a + u*a = 2*k - o, -2*k = x for a.
-5
Suppose -12*v + 12 + 40 - 4 = 0. Solve -h - 15 = 3*t - 6, 4*t - 4*h = v for t.
-2
Let n be (-15)/18*-3*(-22)/(-5). Suppose 18 = n*l - 5*l. Let r(s) = s**2 + 3*s - 1. Let c be r(-4). Solve 4*x - 1 = l*x, -c*x + 18 = -3*y for y.
-5
Let w = -2386 - -2393. Solve -f = -3*q + 15, 4*q - w = f + 12 for q.
4
Let p(o) = -o**3 + 3*o**2 + 7*o - 7. Let h = -150 + 154. Let s be p(h). Solve 37 = -3*v + s*l, -2*v = -2*l + 14 + 4 for v.
-4
Suppose -4*p + 769 = 3*i - 2*i, 0 = 2*p - 5*i - 401. Suppose -5*y + p = -257. Let x = y + -90. Solve h + 28 = 5*n, -2*n - 3*h + x*h + 1 = 0 for n.
5
Suppose 34*d - 27*d + 9 = 23. Solve 4*q - 7 = -3*h - d*h, -2*h + 3*q - 11 = 0 for h.
-1
Let h(t) = 23*t - 1. Let q be h(1). Let b be -7 + 3 - -5 - -11. Solve -2*c + 4*z + q = 0, -z + b = -5*z for c.
5
Let l(b) = -b**3 - 27*b**2 - 23*b + 84. Let k be l(-26). Suppose -k*j = 97 - 127. Solve 0 = j*u - 4*y + 2, 5*y - 4 - 3 = 4*u for u.
2
Let b(v) = 2*v + 36. Let u be b(6). Suppose -u*y = -65*y + 272. Solve -n + 0*n = 4*a - y, n + 20 = 5*a for n.
0
Suppose -7*s + 94 = 17. Let v = 23 - s. Suppose -9*g + v*g = 15. Solve g = d + 4*h - 2, 4*h = 12 for d.
-5
Let l(m) = 28*m**2 - 6*m + 7. Let u be l(1). Suppose u*a - 364 = 3*a. Solve -2*z + s = -8, z - 3*s - a = -0*s for z.
2
Let q = -2517 - -2519. Solve -j = -2*y + q, 0 = -2*j - 5*y + 11 - 6 for j.
0
Let v(f) = 3*f + 0 - f**2 + 4 - 42*f**3 + 88*f**3 - 47*f**3 - 5*f. Suppose 0 = -3*i + i. Let d be v(i). Solve 3*a + r - 7 = 0, -3*r = d*a - 2 - 9 for a.
2
Let h(v) = -5*v + 13*v**2 - v**3 - 13*v**2 + 5*v**2 + 7. Let l be h(4). Solve -5*d + 7 + 28 = -5*n, -3*d - l*n - 3 = 0 for d.
3
Let w = 7096 - 7094. Solve 5*b - 22 = h, w*h - 16 + 10 = 0 for b.
5
Suppose 5*g + 1285 = -2*w, -3*g + 8*w - 775 = 10*w. Let q = 256 + g. Solve 0*u = u - s, 4*u - q = 5*s for u.
-1
Let j(w) = -581*w + 1745. Let f be j(3). Solve -f*i + 0*i + 3*q = -21, 5*i - 35 = 4*q for i.
3
Suppose -21*i + 24 = -9*i. Solve 3*s + 2*q - 9 - 1 = 0, 0 = -3*s + 4*q - i for s.
2
Suppose 146*f + 816 = 197*f. Solve -16 = 22*d - 19*d + 2*a, -4*a = 2*d + f for d.
-4
Let d(s) = 3*s**3 - 2*s**2 + 7*s - 6. Let y be d(1). Solve -y*i + 5*b - 1 = 10*b, -i - 5*b = -2 for i.
-3
Let u = -33167 - -33177. Solve -20*k + 2*z = -18*k - u, 3*k - 5 = -2*z for k.
3
Suppose -2*t + 5*u + 20 = 0, t + 4*u = -t + 2. Solve -t*j - 3*o - 6 = 0, -4*o - 243 + 258 = -j for j.
-3
Suppose -20*k = 5*b - 80, 5*b + 9*k - 5*k - 32 = 0. Solve f + f - b*q = -14, 2*f = -q - 4 for f.
-3
Let b be (0/(-4) - -3) + -178 + -5. Let k = 196 + b. Solve 4*u + 3*x = -25, -3*u - k = x - 1 for u.
-4
Let s = 240 + -166. Let y = s + -73. Let z(h) = 3*h**3 - 1. Let j be z(y). Solve -2*q + 20 = -j*n - 3*n, 2*q - 2*n - 14 = 0 for q.
5
Let l(a) be the second derivative of -a**3 + 12*a**2 - 4*a. Let m be l(-7). Suppose -2*k = k - m. Solve 4*j - 6*c - 26 = -4*c, 2*j = 4*c + k for j.
5
Let x = 228 + -204. Suppose 31 = 2*y + 5*b, -2*y - y - 3*b = -x. Solve -h - y = 5*i - 2, 0 = -i + 2*h - 9 for i.
-1
Let j(m) = m**3 - 10*m**2 + 7*m - 18. Let t be j(10). Let l = 52 - t. Let y be (1*8)/(5 - (3 + l)). Solve -v + 5 = -4*o, 0 = -y*o - v - 8 - 3 for o.
-2
Let u(r) = 30*r - 1395. Let a be u(47). Solve -3*c = l + 9 + 7, -2*c - a = 5*l for c.
-5
Let g(x) = 5*x**2 - 9*x + 4. Let y be g(2). Let i be (-240)/(-72)*y/5. Solve 5*j = -0*l + 4*l - 6, 0 = -3*j - i*l + 22 for j.
2
Suppose 4*d - 2*t - 13 = -7, t - 5 = 0. Solve 0 = -4*h + 2*y + 10, -d*h + 4*y + 35 = 7*y for h.
5
Suppose 39*t = 155*t - 2320. Let c = -7 + 15. Solve 0*p - p = 5*k + t, k = -p - c for k.
-3
Let m = 198 - -1130. Let t = m - 1328. Suppose 12 = -4*g, -3*s + 5*g + 6 = -21. Solve s*i + o + 9 = t, 3*i + 4*o + 8 = -15 for i.
-1
Let u = 12889 + -12864. Solve 5*r = -4*h - 4 + 9, 0 = -5*h + u for r.
-3
Let o be 0 + -6 - 18164/(9 - 28). Let s = -950 + o. Solve -r + k + 1 = s, 12 = 5*r - 3*k - 1 for r.
5
Let x(p) = -81*p + 1079. Let w be x(13). Solve 0 = 3*j + 5*u, 4*u - w = 4*j + 2*u for j.
-5
Suppose 170 = -21*g + 106*g. Solve g*s = -x - 3, -s - 43 = 3*x - 34 for s.
0
Let v = 179 - 92. Let m = 95 - v. Solve -4*r + 2 = 2*h - m, 0 = -5*h - 3*r + 25 for h.
5
Let d(t) = t**2 - 25*t - 23. Let h be d(26). Suppose -r - 4*z - 24 = -h*r, -2*r - z = 1. Solve r*l = c - 1, 3 = -3*l - 2*c + 3*c for l.
-2
Let m = -57 + 59. Let n be -5 - (4 + -6) - (-5 - m). Suppose l - 13 = -n*j, 9*j - 5*l - 10 = 4*j. Solve -i = c + i - 6, 4*c + i = j for c.
0
Suppose -117*h = 2*k - 118*h - 107, 2*k = -4*h + 82. Solve -i + 4 = -s, -7*i + s = -k + 5 for i.
7
Suppose 0 = -10*b + 949 - 19. Let w = 134 + -43. Let y = b - w. Solve 0 = -x - 0 - 3, y*g - 4 = -2*x for g.
5
Suppose 0 = 216*h + 754 - 3778. Solve 5*n = -2*i + 7*i + 10, 3*n - 5*i = h for n.
-2
Let k(f) = 4*f**2 - 14*f + 9. Let b be k(3). Suppose 5 = u + b*p, -p + 14 = 5*u + 3*p. Let g be -2 - 6*-1 - -1. Solve 4*v - u = g*v, 8 = -2*i - 5*v for i.
1
Let n(y) = -2*y - 13. Let k(z) = z + 7. Let d(t) = 10*k(t) + 6*n(t). Let g be d(-6). Suppose -60 = -g*c - 0. Solve -b + 3 = 0, v - 5*b = 4*v - c for v.
0
Let a(j) = j**3 + 6*j**2 + 7*j + 12. Let u = -27 - -3. Let y = -29 - u. Let n be a(y). Solve 4*p + 2*m - 8 = 12, 0 = -n*m for p.
5
Let j = -486 + 490. Solve 4*v + j*i = 13 - 1, 4*i = 4*v - 4 for v.
2
Let r = 61 - 106. Let b be (-76)/5 - 9/r. Let m(z) = -2*z - 10. Let h be m(b). Solve -5*f + 2*f = 5*x - h, -5*f + 16 = 4*x for x.
4
Let x(g) = 2*g**2 + 72*g + 408. Let u be x(-29). Solve 2*q - 3*k + 19 = 15, k - u = 0 for q.
1
Let a(x) = x**3 - 10*x**2 - 7*x - 6. Let d be a(9). Let w = d + 88. Let n = -61 - w. Solve 5*o - 12 - 16 = t, -2*t = o + n for o.
5
Suppose 15*d - 18*d + q = -15, 0 = -2*d + 5*q + 23. Let c be (3 + 4 + -6)*d. Solve l - 1 = 2*g - 0*g, -4*l = -4*g + c for g.
-2
Let c(r) = -r**3 - 4*r**2 + 8*r + 18. Let u be c(-5). Let w(y) = -34*y + 102. Let g be w(u). Solve -20 = 4*o - 3*q, 5*q = -g*o - o - 5 for o.
-5
Let t be 3*(-11)/198*-6. Solve -3*b - t + 2 = -x, 2*b - 5*x - 18 = 0 for b.
-1
Suppose 3*y = -2253 + 2256. Solve -c = 3*m - y, c + 7*m = 8*m + 5 for c.
4
Let l be (-2)/(-5) + (-48)/200*-15. Suppose 5*r = -5*d + 35, -3 = d + 2*r - 7. Solve m + m = l*b + d, -3*b = -m + 10 for b.
-5
Suppose 0 = 5*w + 2*i - 20, -22*