 for a.
4
Suppose v + 8 = 3*v. Let o = -89 - -90. Let f(u) = u**3 + 2*u - 1. Let r be f(o). Solve 3*m - r*d - 11 = 0, 0*m - v*m + d + 8 = 0 for m.
1
Let v(o) = 5*o**3 + 16*o**2 - 10*o - 4. Let t be v(-3). Solve -2*x + 5*u + t = 0, -3 + 13 = -2*u for x.
5
Let s be (-40)/(1 + -11) + (-98)/(-1). Suppose 20*b - 3*b = s. Solve -2*x - n - n + b = 0, -5*n + 5 = -5*x for x.
1
Let j = -2476 - -2491. Solve q + j = -0*q - 3*w, 0 = -2*q + 3*w + 6 for q.
-3
Let t be (2/3)/((-2)/(-12)). Suppose 185*q + 59*q = 29*q. Solve q = -i + t*v + 7, -2*i - v = -3*i + 1 for i.
-1
Suppose 39*w + 460 = 44*w. Let s = 95 - w. Suppose 0*v = 3*v - 72. Solve 6*z - v = 2*z - s*n, 5*n - 26 = -2*z for z.
3
Let k be (8/12)/(7/42). Let d(v) = -5*v - 12. Let i(c) = -11*c - 23. Let n(b) = -9*d(b) + 4*i(b). Let t be n(-13). Solve -t*h + s + 1 = -3, -h = k*s - 23 for h.
3
Suppose 2*k = -4, 0 = -3*c + 3*k - 85 + 169. Solve 5*m + c - 6 = -3*z, -20 = 4*z for m.
-1
Suppose 40*q = -21*q + 45*q + 48. Solve -2*m - 14 = 4*h, q*m + 23 = -4*h - 2*m for h.
-2
Let w(z) = -19*z - 71. Let g be w(-5). Suppose -5*i = -g - 31. Solve -6*n = -n - 5, -i = 4*j + n for j.
-3
Suppose -17*v = -4*v. Solve 5*i + 5*k - 25 = v, -2*i + i - 4*k = -5 for i.
5
Let h(d) = -4 + 4 + 0*d + d + 4. Let r be h(8). Suppose -3*n - 6 = -r. Solve n*i - 11 - 2 = -s, -4*i = s - 23 for i.
5
Suppose -790 - 263 + 33 = -60*o. Solve u - o = 5*g, -34*u - 19 = -29*u + g for u.
-3
Let v be -4 - -6*(-3)/(-6) - 90. Let j = 96 + v. Solve 0 = -j*d - 3*s - 6, 3*s + s = -4*d - 8 for d.
0
Let n be -1 + ((-2)/(-2) - -1). Suppose 0*t + 2*t = 0. Let b be (464/(-580))/((-4)/(-10)) - 5*-1. Solve 0 = -4*m + 3*p - n, t*m - 2*m - p = b for m.
-1
Let t be (-4)/2 + 9 - 5. Let b(n) = -5 - 12*n**t + n**3 + 6 + 14*n - 12. Let c be b(11). Solve -3*q - 5*f = -2 + 32, 0 = 2*q + 4*f + c for q.
-5
Suppose -305*d + 644 = -930 - 2391. Solve x + 2*i = d, -2*i - 6 + 4 = -2*x for x.
5
Let n(m) = -3*m**3 + 74*m**2 + 23*m + 53. Let g be n(25). Solve -5*r + 10*r = 0, i + 3*r + g = 0 for i.
-3
Suppose -117 = -4*l + 5*k, k - 6 = -3. Let b be (1 - l/9)*(-18)/24. Solve -4*d + 2*s = 6, -b*d - 3*s + 6 = 29 for d.
-4
Let u = -3794 + 3795. Let x = 2 + 0. Let m be (x - 30/3)*-1. Solve -4*j + 5*l = -3, -3*l - m = -5*j - u for j.
2
Let f be (-8)/27*-21 - (-2)/(-9). Suppose -f = 9*t - 10*t. Suppose -y = 4*c - 11, 1 = 5*c - y - t. Solve -2 = -2*m - m - c*w, 8 = -4*w for m.
2
Let u = 379 - 375. Suppose -u*z - 4 + 28 = 0. Solve 3*s + w = -3, w - z*w - 15 = s for s.
0
Let m = 7 + -5. Let f = 742 + -738. Solve x = m, f*x + 6 = 2*v + 3*x for v.
4
Let q be (-5)/2*(-8844)/2010. Solve -4*d - 12*b = -q*b + 20, 5*b + 20 = 0 for d.
-4
Suppose 4*k = -0*i - i + 4, -k + 2*i - 8 = 0. Let x be 4 + ((k/5)/(-1))/5. Solve -p + x*r - 20 = 3*p, 4 = 4*p + 2*r for p.
-1
Suppose 2*h + 1 = 2*i + 11, 0 = 2*h - 3*i - 11. Suppose -12 = -3*q + h*k, 0 = 33*k - 29*k. Solve -6 = -q*c - m - m, -3*m + 9 = -c for c.
0
Let n = 265 + -274. Let c be n/(-6) + 70/4. Solve 5*i = 5*x + 34 + 6, 2*x + 5*i = c for x.
-3
Suppose -4*z + 23 = -2*z + 3*n, -2*z + 2*n = -8. Solve 4*f = -8, z*f - 10 = -4*r + 6*f for r.
3
Suppose 4*d + 179 - 147 = 2*h, h - 4*d = 28. Solve 4*v = 5*v, 4*q = h*v + 4 for q.
1
Suppose 4*i = -4*r - 636, 4*i + 0*i = r - 646. Let g = 169 + i. Solve 5*n + 23 = -0*b - 2*b, -b + 4*n + g = 0 for b.
-4
Let a = 1 + 3. Let u(g) = -2*g**3 + 11*g - 9. Let r be u(-4). Let s be (-3 - (-72)/15) + (-60)/r. Solve -a*v + v + j - 16 = 0, -j = -s for v.
-5
Suppose -v - 6*n - 1 = -9*n, -3*v - 53 = n. Let d(g) = g**3 + 15*g**2 - 15*g + 16. Let y be d(v). Solve -4*m + c + 5 = 0, -4*m + 3*c + y - 1 = 0 for m.
2
Let p(o) = -10*o**2 - 249*o - 634. Let z be p(-22). Suppose 3 + 12 = n. Solve y = 3*g + n, 6*y - 20 = 4*y + z*g for y.
0
Suppose 0 = -d - 4*d - 15, 4*a = -4*d + 8. Suppose -40 = -a*s + 3*x, 0*x - 2*x = 2*s. Let p = 3 - 0. Solve -5*q - 4*r + 24 = 0, 4*r + s + 3 = p*q for q.
4
Suppose -6*j - 17 = -f - j, -5*f = 5*j + 5. Let u be 6/((21/f)/7). Suppose 34 = u*r - 38. Solve -p - 2*p = 3*k + r, -5*k = -p for p.
-5
Suppose 5*j - 3*j = -11*j. Solve 42*p - 37*p - 1 = i, j = 5*i + 2*p + 5 for i.
-1
Let c be 4/(-10) - -3*235/75. Let o be (-15)/9 - (-51)/c. Solve -4*n - 4*t = 0, 5*t = o*n + 4*t for n.
0
Let f be 2/(-8) - ((-14)/(-8) + -5). Solve 13 = 2*s + 2*o + f, 2*s = 3*o + 10 for s.
5
Let r = -131 + 291. Suppose 166 - r = 3*p. Suppose p*u = -4*h - 12, 2*u + 0*u + 5*h + 15 = 0. Solve -2*l - 5 = -3*i, u*l - 4*i = -l for l.
-4
Suppose 10 = 9*c - 17. Solve -4*j - w = -10, 2*j + 4*w + 11 = c*j for j.
3
Let x(i) be the third derivative of -i**6/120 + i**5/15 + i**4/12 + 10*i**3/3 - 16*i**2. Let n be x(5). Solve 3*b = -2*h - 7, 2*b - n*b = h + 5 for h.
-2
Let x = 33 + -29. Suppose x*w + w - 449 = -4*m, -3*w = -m + 91. Suppose -6*j = -32 - m. Solve 0 = 3*f + 2*a - j, a + 18 = 2*f + 3*a for f.
5
Let l(q) = -q**3 + 64*q**2 + 4*q - 157. Let t be l(64). Solve 5*y = -2*i + 8, -95*i = -t*i + 16 for y.
0
Let b(u) = 4*u + 16. Let m be b(-7). Let k = m - -11. Let c be (-4 - -13) + -3 + k. Solve -5 + 3 = -4*o - 3*f, -4*f + 3 = c*o for o.
-1
Suppose -4*r = -3*v + 37, -3*v - 67*r + 23 = -69*r. Solve 142*j - z = 140*j + 8, -2*j + 12 = -v*z for j.
3
Suppose 0 = -3*l - 3*w + 12, -4*l + 109*w - 108*w + 6 = 0. Solve 2*z = -2*z - l*r - 16, -5*z - 5*r - 30 = 0 for z.
-2
Suppose -52*w = 31*w - 1162. Solve -10 = -5*b, 5*x - 6 - w = -5*b for x.
2
Let c(h) = 12*h**3 - 5*h**2 + 7*h - 4. Let o be c(3). Let x = o + -296. Solve x = 7*n - 2*n + 2*u - 12, -3*u = -4*n + 5 for n.
2
Let y = -739 - -739. Solve 3*m - 1 = -4*i, y = i - 3*m + 2*m + 5 for i.
-2
Let l(v) = -3*v**2 - 119*v - 184. Let j be l(-38). Solve -j*p - 5 = 5*c - 8*p, p = 0 for c.
-1
Suppose w + 22 = r - 10, 2*w - 125 = -5*r. Suppose 27 = -14*m + r. Solve b + m*b - 18 = -4*s, 0 = -b + 3*s - 10 for b.
2
Let b(c) = -6*c - 10. Let x be b(-3). Suppose 0 = 12*l - x*l. Solve -3*z - d - 4*d = l, -4*d = -5*z for z.
0
Let o(p) = 11*p + 124. Let x be o(-12). Let g be (x/(-12))/(33/(-9) - -4). Solve -i - k - 15 = -5*k, -g*i + 2*k = 0 for i.
5
Let g(n) = 3*n**2 - 11*n - 6. Let c be g(5). Suppose 18*f - c*f = 68. Suppose 6*p - f*p + 33 = 0. Solve p*u = -m + 4, 3*m + 0*m + 3*u - 6 = 0 for m.
1
Let a be (0 - 7 - 580/(-87))/((-2)/60). Solve 0 = 2*o + 3*y - 16, a*y - 5*y = 20 for o.
2
Let s = -42 - -45. Let z(a) = s + 3*a**2 - 5 - 12*a + 4*a - 5*a**2. Let g be z(-3). Solve 4*x - 6*q - 16 = -q, -x = 2*q - g for x.
4
Let m = 766 + -764. Let y be -7 + 2 + (-160)/(-20). Solve -2*b - y = -3*t + 5, 0 = m*b + 5*t + 8 for b.
-4
Suppose 5*w + 2*m - 26 - 93 = 0, 0 = -w + 4*m + 15. Suppose -w*x = 14*x - 814. Solve 0 = -2*j + 3*o + x, -o = -0*o + 4 for j.
5
Suppose 5*x = -277 - 988. Let d = x + 265. Solve 5*p = 5*t - 10, -d = 5*p - t + 10 for p.
-5
Let g = -284 - -285. Let d be ((-36)/(-24))/(g/2). Solve 3*k - 9 = k + d*p, k + 15 = -5*p for k.
0
Let b(g) = -g**3 + 11*g**2 - 10*g - 9. Let z be b(9). Suppose 58*a - 60 = z*a. Let f be 76/3 - -4*(-2)/a. Solve -2*p = -3*d - 5 + f, 0 = -p - 3 for d.
5
Let h be (-22)/(-4)*(1 + 1). Suppose -k = 4*o + 18, 2*k + h = -o + 5*k. Let s be 1 - (-9)/(-3) - o. Solve v = -m + 4, 3 + s = 2*v for m.
1
Suppose -3*p + 2 = n - 5*n, -5*n + p + 3 = 0. Let f be n/9*-2 - (-26)/117. Solve 3*w - 2*x - 2 = f, w + 1 + 4 = -5*x for w.
0
Let p(q) = 6*q**2 + 102*q + 4. Let k be p(-17). Suppose -d - 1 = -k. Solve 5*y + 16 = 2*a, -12 = 4*y - d*a + a for y.
-4
Let p(l) = -12*l**2 + 30*l - 18. Let f be p(-6). Let d = -628 - f. Solve -1 = -5*b + d*i, 2 + 5 = b + 3*i for b.
1
Suppose 0*h = -10*h - 26*h - h. Solve -q + 2*d - 4 = 3*d, d + 4 = h for q.
0
Let q = 259 + -257. Suppose -3 = -4*k + 9. Let f = -121 + 123. Solve f*p - 2*o + k = o, -1 = q*p - o for p.
0
Let h(t) = 15*t**2 - 22*t - 6. Let s(r) = 7*r**2 - 11*r - 3. Let b(x) = 6*h(x) - 13*s(x). Let i be b(11). Solve y = -l + 6, -1 = -i*y + 5*l + 1 for y.
4
Suppose -o = -14*o + 195. Suppose -21 = o*y - 8*y. Let t(p) = -5*p + 2. Let c be t(y). Solve -2*v - 3*b = -v - 14, -c = -v - 4*b for v.
5
Let y = -24388 - -24397. Solve -y = -i - g - 7, -4*g = 5*i - 12 for i.
4
Let p(m) = m. Let q(h) = -h + 53. Let g be (-3)/(3 - (-12)/(-8)). Let o(b) = g*p(b) + q(b). Let k be o(16). Solve 2*l + 9 = -3*z, -k*l + 12 = -5*z + z for z.
-3
Let m(c) = 5*c**2 - 29*c + 50. Let b(i) = 