3*t**2 + 30*t - 281. Let v be u(6). Solve -5*m + 20 = 2*b, 0 = m + 2*b - 3 + v for m.
6
Let j = 4302 - 4297. Solve -3*g - 4 = l - 6, 0 = -4*g + j*l - 29 for g.
-1
Let l(q) = 9*q - 7. Let s be l(6). Let m = s + -44. Suppose -2*c + 3*j + 1 = -8, -m*j - 3 = 0. Solve -5*n - 13 = c*p - 2*p, 9 = -p - 3*n for p.
-3
Let d be (-306)/(-7) + (-10)/(-35). Let i = d - 39. Let g = -26 + 30. Solve -i*z = w + 23, -g*w - 14 = -6*w + 5*z for w.
-3
Let c be -2 + 511 + -2*25/10. Let w be (-8)/(-18) + (-224)/c. Solve 5*b + 3*d + 35 = w, 3*d + 27 = -b - 2*b for b.
-4
Let i(s) = 3*s + 40. Let u be i(-11). Suppose 4*h + l = u*h - 24, 0 = -5*h + l + 40. Suppose 7*z + 2 = h*z. Solve -z*g + 4*f = 2*g, g - 3*f - 6 = 0 for g.
-3
Suppose -5*w + 6*w = m + 7, -4*m + 42 = 3*w. Solve -109*d = 4*x - 107*d + w, -5*x - 5 = 5*d for x.
-4
Suppose 6*x - 3 = 15. Suppose -3*r + 6 = c - 8, 0 = c - x*r + 10. Suppose -8 = -3*v + 7. Solve -c*q = 3*f + 6, -5*q + v*f = -33 - 2 for q.
3
Suppose 5*q = -10, 2*q - 4 = 2*f - 4*f. Let d = 796 + -793. Solve -2*c - d*y - 13 = -0*c, -f*c = 5*y + 23 for c.
-2
Let c = -22 + 17. Let d be ((-2)/c)/((21/150)/7). Solve -4*m + 4*k = -8, 2*k = -5*m + k - d for m.
-3
Let s(k) = -2*k**2 + 38*k - 33. Let t be s(18). Let w(z) = -13*z + 42. Let p be w(t). Let r = 18 + -12. Solve 5*f + p*a = 1, 5*a - 4 = r for f.
-1
Let l(y) = -10*y**2 + 7*y + 6. Let c(o) = 10 - 1 - 2 - 6 - o**3 - o**2. Let w(n) = c(n) - l(n). Let r be w(8). Solve -r*q + 5*q = -z + 7, 4 = z - q for z.
5
Suppose 32 = 5*z - z. Suppose -5*y - 5 = h, 0 = -2*h - 3*y - 38 - 7. Let n be (-6)/1*(-5)/h*-3. Solve -z = -m + 3*f, n*f + 12 = -f for m.
-1
Let g = 247 - 232. Suppose 2*p - 2*d - 10 = 0, -3*p + 2*d + g = 3*d. Solve p*v + 3*q = -10, -3*v - 4*q = 3 - 8 for v.
-5
Suppose q + 4*w = 9, 3*q - 42*w = -47*w + 20. Solve 0 = q*b + 3*h - 1, 3*b - 8 = b - 5*h for b.
-1
Suppose 0 = 40*i + 13*i - 9010. Suppose -6*d + i = 28*d. Solve -3 + 5 = 2*m - 2*l, 0 = d*m - l - 17 for m.
4
Let k = -7 - -12. Suppose 5*f + 4*h = -0*f + 14, 5*f + 2*h = 12. Suppose x - f*x + k = 0. Solve x*n + 23 = -4*c, -c - 3 + 10 = -3*n for n.
-3
Let j = -6567 + 6577. Solve d + 0 + j = -5*k, -8 = -4*d + 4*k for d.
0
Let y(n) = n**3 - 4*n**2 + 12*n + 50. Let r be y(-2). Let k(j) = j + 15. Let q be k(0). Solve 0 = v - 3*b + q, 15 = 2*v + r*b + 5 for v.
0
Let b be (6/12)/((-15)/(-3210)). Solve -3*c = -4*q + 22, 102*c - b*c + 2*q = 18 for c.
-2
Suppose -3 = -5*w + 2. Let s(u) = -21*u + 4*u + 2*u**2 - 3*u**2 + 2 + 18*u. Let q be s(w). Solve 0 = -q*i - 2*v - 8, -4*i - 18 = -2*v - 2 for i.
-4
Suppose -3*b + 13 = -2*m, m = -10*b + 5*b + 13. Suppose -2*o = b*r - 16, -5*r + 2*r = -4*o - 4. Solve -2*w - 14 = -4*s, -12 + 32 = -r*w for s.
1
Let k(m) = 19*m**2 - 82*m - 190. Let d be k(6). Solve d*j + 14 = -4*i, -55*j + 56*j - 5 = 2*i for i.
-3
Let v(x) = -19*x + 40. Let h be v(-6). Suppose -6*o - 5*o = -h. Solve 3*b + 5*f - f - o = 0, -3*b + f = 11 for b.
-2
Let s be 0 - -4 - (-48)/8. Suppose 0 = 5*g + s*d - 12*d - 39, 0 = g - 2*d - 11. Solve 0 = -3*p + 6, -1 = -t + p - g for t.
-4
Let v(c) = c**3 + 4*c**2 - c - 4. Let a be v(-4). Suppose -88*j = -192*j + 82*j + 88. Solve a = -4*i - f + 17, j*f - 33 + 7 = -2*i for i.
3
Let p be 16/(-10)*(-145)/58. Solve -2*c - 6 = -p*i, -2*i + 7 = 3*c + 16 for c.
-3
Let f = 889 - 884. Solve 4*m + 31 = f*l + m, 13 = 3*l + m for l.
5
Suppose -4 = -l + 4*f, 0 = 7*l - 6*l - 5*f - 2. Solve -5*g - 32 = 3*q, -2*q = -4*q - g - l for q.
-4
Suppose 46*r = 51*r - 25. Solve -6 = -2*q + 2*o, -2*o = -q - r*o - 9 for q.
0
Let l be -28 + 40 + 21/((-12)/4). Solve g = -l*k - 10 + 27, -g + 14 = 4*k for g.
2
Suppose -5*v + 5*n + 45 = 5, -5*n = v + 4. Solve d - 3*f - 1 = -9, -v*d - 33 = -3*f for d.
-5
Let g = -28 + 21. Let b(j) = -2*j**2 - 14*j + 3. Let v be b(g). Suppose -8 = -v*r + c, -4*r - r - 2*c = -28. Solve -3 - 14 = -d - 5*q, -r*q + 4 = 4*d for d.
-3
Suppose 46*d + 5*d + 29*d + 7*d = 0. Solve -b - 13 = -5*o + 1, 4*b + o + 14 = d for b.
-4
Let j = 2914 - 2904. Solve 3*m = 5*g - j, -7*m - 2*g - 22 = -3*m for m.
-5
Suppose -16*d = -24*d. Suppose j - 5*j - 4*r + 16 = d, 0 = -5*j + r + 20. Solve 6*h - 17 = 3*h + 5*l, l = j*h for h.
-1
Let k(x) = x + 1. Let i(j) = -3*j - 1. Let y(t) = -i(t) - 2*k(t). Let d be y(1). Solve z = -3*w - 6, 2*w + 2*z + 6 + 2 = d for w.
-1
Let u = -96 - -226. Let m = u + -124. Solve -4*q + h = 3, -m = -3*q + h - 3*h for q.
0
Let t(f) = -2*f**2 - 18*f - 10. Let d be t(-7). Suppose 2*u - 3*l = d, -3*u - 26*l + 8 = -21*l. Solve -4*b = 2*k + 3*k - u, -b = 4*k + 4 for b.
4
Let u = 14 - 11. Let n be 1/u - 77/(-21). Suppose -n*b - 11 = -23. Solve 2*d = q - 5, 2*d - 4*d - 17 = b*q for q.
-3
Let n = -17159 + 17165. Solve 4*v = o + 3, 2*v - 3 = -o + n for v.
2
Suppose g + 2*n + 2 = 0, -5*g - 201*n + 198*n = 3. Solve 2*d + 7 = u + 20, 2*u + 2*d + 2 = g for u.
-5
Let o(t) = 31*t - 93. Let p be o(3). Suppose 4*v - 4*y = p, 58*v - 60*v - 5*y = -28. Solve 4*g + 8 = -v*u - 0, 3*u + 4*g = -3 for u.
-5
Let v = -15810 + 15810. Solve v = -5*k + 9*j - 6*j + 3, -4*k - j + 16 = 0 for k.
3
Suppose 0 = -20*r + 18*r + 20. Let k(h) = h**3 - 8*h**2 - 20*h + 12. Let g be k(r). Solve 2*u - 2 = -u + 2*f, u = -5*f + g for u.
2
Let l be 2 - 0 - 2/1. Suppose -2*g + 8 - 2 = l. Suppose -3*r + 196 = -11*v, -14 = -4*r + 3*v + 84. Solve -g*z - r = -2*u, z + 0*z - 2*u = -6 for z.
-4
Let x(l) = -2*l**2 + 45*l - 17. Let m be x(22). Suppose 1 = 2*b - m*o - 15, -12 = -4*b + 5*o. Let w = b + 6. Solve 5*v = -w*z + v + 4, -z = 2*v for z.
2
Suppose 141*l - 2*x + 64 = 144*l, 0 = -4*x + 8. Solve 5*i = 5*q + l, -20 = 14*i - 9*i + 5*q for i.
0
Let t be (-2)/11 + 7/((-77)/(-1014)). Let u = t + -87. Solve 3*r = -u*c + 4*r - 28, 5*c + 37 = 4*r for c.
-5
Let b = 373 - 365. Suppose b = -4*w + 6*w. Let v = 19 - 15. Solve -2*u - 3 = -3*j, -5*u + v = 4*j - w*u for j.
1
Suppose 780*v + 6 = 782*v - 2*l, -2 = -2*v - 2*l. Solve -10 = 4*m - 2*z, m = -v*z - 44 + 29 for m.
-5
Suppose 10*v + 18 - 68 = 0. Solve -4*h + 3*y - v = -7, 2*y + 8 = -4*h for h.
-1
Let j be (-8)/(-6)*9/2. Let f(c) = 2*c**2 + 24*c + 44. Let a be f(-10). Suppose -x = -a*x + j. Solve 3*s = -4*r - r + 21, -x*s - 8 = -4*r for r.
3
Suppose -41*o + 43*o - 82 = 0. Suppose -46*h + 25 = -o*h. Suppose 3*b = -h*y + 4 + 2, 27 = 4*y - 5*b. Solve -1 = 4*c + g, c = 4*c - y*g - 18 for c.
1
Let m(x) = 7*x + 55. Let q(f) = -20*f - 165. Let n(i) = 8*m(i) + 3*q(i). Let l be n(-15). Solve 0 = k + 2*c + 3, 0 = l*k + 3*c - 10 - 3 for k.
5
Let j(m) = 2*m**2 - 111*m - 141. Let w be j(57). Solve -2*v + 51*t - 46*t - 31 = 0, -3*t = -5*v - w for v.
-3
Suppose 0 = 50*a - 37*a. Solve -5*v - 4 = -3*t - 10, 5*t - 5*v = a for t.
3
Let p(o) = -3*o - 4. Let k be -5 - 0 - (31 + -161). Let r = k + -127. Let u be p(r). Solve -7*t + 4*v = -u*t - 5, 35 = -5*t - 4*v for t.
-3
Let f(a) = a**3 + 9*a**2 + 6*a - 16. Let s be f(-8). Suppose h - 15 + 10 = s. Let q = 0 - -4. Solve -q*y + 4*c + 4 = 0, -2*c = y + c - h for y.
2
Suppose -435 = 4*q + q. Let s = q - -62. Let f = s + 25. Solve 4*a + 3*h - 1 = -f, 4*a + 4*h = 0 for a.
1
Let g(o) be the second derivative of o**4/12 + 3*o**3 + 35*o**2/2 + 15*o + 2. Let r be g(-18). Solve 3*h - 4*c - r = 0, 2*h - 3*c - 15 - 10 = 0 for h.
5
Let a = -4 + 9. Let r = -11301 - -11304. Solve 0 = f - 5*f + a*h + 11, -2*f = -r*h - 7 for f.
-1
Let l be 117/21 + 84/(-147). Solve -2*t = l*o + 18, -19 = 5*o - 2*t + 3*t for o.
-4
Suppose 0 = 4*z + j - 11, -784*z + 788*z + 7 = 5*j. Solve n + z = 3*p - 0*p, -n - p = -6 for n.
4
Let s(n) = n**3 - n**2 + n + 8. Let q be s(0). Suppose -2 + q = -3*t. Let a = 2 + t. Solve a = 5*z, -3*z + z = -2*l - 8 for l.
-4
Let c = 14 - 11. Let a(s) = -2*s - 7. Suppose -4*q + q + 5*u = 3, -u = -q - 3. Let m be a(q). Solve 5*n = c*y + 17 - m, 2*y = -3*n - 8 for y.
-4
Let z(i) = 4*i - 6. Let u be z(3). Let p = 114 - 109. Let c be p/4 - (0 + (-9)/12). Solve 5*r + u - 14 = -3*b, c*b - 4*r + 2 = 0 for b.
1
Let u be 2/5 - (-23)/5. Let m(i) = 4*i**2 - 39*i + 30. Let y be m(9). Suppose b + 6 = 8. Solve 27 = a + u*r, -b*a = -a + y*r - 17 for a.
2
Let g be 27/(-3)*(0 - (-28)/(-21)). Suppose 8*y - 3*y = 20. Solve 6 = u - v, -y*u + 9 = -v - g for u.
5
Let a(r) = r**3 + 4*r**2 + 3. Let j be 1/(-4) + (-75)/20. Let w(c) = 2*c**2 + 9*c. Let p be w(j). Let g be a(p). Solve 2*t + b - g*b = 8, -t = 5*b - 4 for