*v + k*g + 3, 4 = -2*v - 4*g for v.
0
Let y = -14036 - -14041. Solve -109*v + 18 = -y*p - 108*v, -14 = 5*p - 3*v for p.
-4
Let l(p) = -94*p**3 - 564*p**2 - 2*p - 10. Let j be l(-6). Let f be 0/((-3)/((-9)/(-3))). Solve -2*a = -f*a + 4, -j*a = 2*c + 4 for c.
0
Suppose 165 = -4*y - 11. Let g = y - -47. Suppose 12 = g*k - 0*k. Solve 14 = 5*d + c - 8, -d + k*c - 4 = 0 for d.
4
Suppose 3*u = -3*j + 15 + 12, -4 = -u. Suppose -12*d - j*d = 0. Let a(i) = -i + 4. Let x be a(d). Solve 3*o = 4*v - 20, o = -x*o - 3*v + 15 for o.
0
Let b(f) be the second derivative of f**4/12 + f**3 + f**2 + 5*f. Let r be b(-6). Let c be (-5)/10*(-11 + 5). Solve -r*k = -c*v + 14, -5*k + 2*k - 3 = 0 for v.
4
Suppose -2*q + 185*t + 7 = 184*t, -q = 3*t. Let z be (-5)/2 - (-2)/4. Let p be ((z - 0) + 1)*-4. Solve q*x - p = 5*h, -3*x + 3 = 4*h - 10 for h.
1
Let w = 21981 + -21978. Suppose k + 0*k = 0. Solve k = 3*h + 9, 2*n - 5*n = w*h + 6 for n.
1
Suppose -207 = -94*o + 75. Solve -o*s - 8 = w + 5, w = s + 3 for w.
-1
Let z be (-23)/92 - 1/(-4). Suppose z*k + 35 = l + 2*k, 0 = 5*l - 2*k - 115. Solve 4*y = 5*j - l - 8, -y + 8 = 2*j for y.
-2
Let b(m) = -2*m**3 + 6*m**2 + 7*m + 9. Let x = 156 - 152. Let y be b(x). Solve y*i = 3*g + 14 - 4, 5*i = -g + 10 for g.
0
Suppose 5*j = 9 + 11. Let t be (j/(-10))/(10/100). Let o(r) = r**3 + 4*r**2 + r + 7. Let d be o(t). Solve -5*q - 3 = d*l, -3*q = -5*l - 4 - 1 for l.
-1
Let r = -3334 - -3339. Solve -3*c + 2*t = -5, -r*c + 51*t = 50*t + 1 for c.
-1
Let m be (-14)/10 + 2 - (-84)/35. Suppose -13*v + 17 = 4. Let w be (12/4)/(1 + (1 - v)). Solve 2*u + f - m*f - 4 = 0, -16 = -w*u - 2*f for u.
4
Suppose 0 = 4*y - y - 51. Let m(d) = -6*d - 3. Let r be m(8). Let b be (-2)/y + (-6)/r. Solve -4*c - a + 6 = b, -3*a - a = -4*c + 16 for c.
2
Suppose 56*d - a + 35 = 61*d, 17 = 2*d + a. Solve 0 = c + 4*w + 10, 0 = -5*c + 4*w - 8 + d for c.
-2
Suppose 0 = -9916*s + 9854*s + 248. Solve -5 = -7*n + 6*n + c, -s*c - 11 = -n for n.
3
Let u = -34897 - -34909. Solve -l - 15 = -u*s + 9*s, 2*s = 2*l + 14 for s.
4
Let w = -433 - -433. Let r(x) = x**2 + 8*x + 2. Let l be r(w). Solve 0 = -4*u - 20, 10 = p + l*u - 3*u for p.
5
Let x(n) be the second derivative of n**4/12 + 7*n**3/6 - 2*n**2 + 5*n. Let w be x(-8). Let q = -4 + w. Solve s - 5*y = 11, q = -s + 3*y - 2*y - 1 for s.
-4
Suppose 9*w = 3*w + 24. Let x(z) = 2*z**2 + 26*z + 7. Let j be x(-13). Solve 13 = h + w*p, j = 5*h - h + p for h.
1
Suppose 23*f = 149 + 22 - 10. Solve 4*j = -5*u + 10, -5*j + f*j - 2*u = -4 for j.
0
Let r be 1/3 - 23/((-207)/42). Solve -40 = 3*z + r*d, 0 = 5*z - 28*d + 33*d + 50 for z.
-5
Suppose -61*v + 62*v - 29 = -4*w, v - 4*w + 19 = 0. Solve -9 = 21*t - 19*t + v*y, 5*t = -4*y - 14 for t.
-2
Let k be (-5192)/(-660) - (-4)/30. Suppose -c - 3*i - 7 = 5, 0 = -4*c - 4*i - k. Solve 3*f = 2*g - 0*f - 21, 0 = -5*g - c*f for g.
3
Let v(p) = 3*p**2 - 315*p + 623. Let m be v(2). Solve m*n = 5*u - 35, -u + 10 = 4*n - 6*n for n.
-3
Let u = 22573 + -22554. Solve -x = 2*b + 1, -u*b = -3*x - 18*b + 18 for x.
5
Suppose 13*g - 5 = 112. Solve 0 = 5*u + 2*t - 19, 2*t = 4*u + g - 35 for u.
5
Suppose -14*f = -10*f + 16. Let p be ((-2)/11)/(f/44). Solve -m - 7 = 4*w + p, 5*m = w - 3 for w.
-2
Let w be 1953/882 + 3/(-14). Let v = 15 - -13. Let j = v - 12. Solve -w*s + 2*p = p - 6, 4*p - j = -2*s for s.
4
Let b be (-3)/((-12)/(-16)) + 3 + 1. Suppose -8*n - n + 2*n = b. Solve -o - 3*x = 1, n = -4*o + 4*x + x + 30 for o.
5
Suppose -352 = -88*d + 84*d. Let u = d + -73. Solve -w + 3*f = -5*w + 8, w + 4*f - u = 0 for w.
-1
Suppose 2*y - 4*y - 2 = 0, -2*y = -3*z + 47. Let h be (1 - 1)*(20/z - 1). Solve -4*d + t - 5 = h, 3*t + 11 = -5*d - 8 for d.
-2
Suppose 541 = -4*u + 557. Let m be (-12)/42 + (-2)/(-7). Solve 0*i - 3*i + u*g + 11 = m, 2 = -g for i.
1
Suppose 0 = -4*o + 3*n + 18, 7 = 4*o - 4*n - 9. Let r = -82 - -85. Let b be 3/((-27)/(-30)) + (-3)/9. Solve o*v - 11 = b*v + 4*c, -18 = -r*v - 3*c for v.
5
Let b = 8710 + -8703. Solve b = -11*c + 9*c - s, 2*c - 3*s - 5 = 0 for c.
-2
Let w = 4707 + -4701. Solve -3*s = -w, -2*d + d + 3 = s for d.
1
Suppose 70 = 5*u - 20. Let s be ((-16)/(-3))/(-4)*u/(-8). Suppose 73 = s*w + 37. Solve 4*i = -y + w, 5*i - 15 = -0*i + 4*y for i.
3
Suppose 3*x - h - 54 = 0, -46*h + 43*h + 28 = x. Solve -4*f = -4*i + x + 21, 20 = 5*f + 5*i for f.
-3
Let s = -425 - -166. Let j = -256 - s. Solve 20 = 4*w + 4*h, -w + 2*h - 1 = -j*h for w.
4
Suppose -9*b + 11 = -34. Suppose 2*z - 20 = -2*z, 4*x = -z + 341. Suppose -4*m - 3*m = -x. Solve -3*k - b*w - m = 0, 0*w = -3*k - w for k.
1
Let b be 3 - (28/7 + (0 - 10)). Suppose 2*d = -b*d - 9*d. Solve d = -4*c + 2*c + v - 12, 0 = -c - 2*v + 4 for c.
-4
Let s(c) = -3*c**2 + 57*c - 52. Let j be s(18). Solve -5*x = -r + 20, -x = -0*r - j*r + 4 for r.
0
Suppose i = -f + 6, 0*i - 2*i = -2. Let q be (-9)/(-6) + 92/(-8). Let j be 1448/40 - (-2)/q. Solve -f*r = 4*d - j, -r - 2*r = 3*d - 24 for d.
4
Let w be (20/(-7))/((-140)/1470) - -4. Solve y = -2*z - 6*z - w, 2*z = 4*y for y.
-2
Suppose -6 = 3*c, -6*c - 2 = 4*f - c. Suppose -56*u - 227 = -899. Suppose 0 = u*z - 13*z + 20. Solve f*v = -3*v + 5*h - 20, 5*v + z = -5*h for v.
-4
Let h = 47156 + -47151. Suppose 0 - 5 = -b. Solve 0 = -2*s - s + 2*x + 13, b*x = 2*s - h for s.
5
Let s(g) = -2*g**2 - 7*g + 360. Let i be s(-15). Solve 0 = 14*r - 19*r + 4*f - 5, i = -r - 2*f for r.
-5
Suppose 16 = b + 4. Let w be 4/(-6) + 8/b. Suppose 5*z = 3*q + 448 - 483, -4*q + 40 = -5*z. Solve w = 4*c + q*f + 2, 2*c + 0*f - 12 = 4*f for c.
2
Suppose 15*b + n = 12*b + 5, 3*n = -2*b + 1. Let k(v) = 9*v**2 - 18*v + 2. Let q be k(b). Solve -2*l = 4, u - q*l = 3*l + 15 for u.
5
Let h be (-4)/3*(-789)/1052. Solve t - h = -3*l, 4 + 12 = 3*l - 2*t for l.
2
Suppose 5*c = -w + 74, -w = c - 1 - 13. Suppose 0 = d - c + 10. Solve l + 13 = d*n, 10 = -5*n - 2*l + 29 for n.
3
Let q(o) = 13*o - 19. Let f be q(2). Let i(y) = -y**2 + 4*y + 24. Let m be i(f). Suppose 15*s - 27 = m. Solve -5*r + 4*u = u + 10, s*u + 35 = -5*r for r.
-5
Let w be (-1444)/(-114) - 1/((-6)/(-10)). Solve -5*y = 5*k - 5, w*y = 2*k + 15*y + 6 for k.
5
Let y(k) be the third derivative of k**5/30 + k**4/12 - 7*k**3/6 + 49*k**2. Let n be y(-3). Solve p = -5*v - 4, 0 = 2*v - v - 4*p + n for v.
-1
Let y be (-2 - 6/(-2))/(5/(-820)). Let o = -159 - y. Solve -5*w + 3 = 4*x + o, 0 = 4*w + 2*x - 2 for w.
2
Let v be (-69)/3 - -13 - -13. Solve 4*f - u = v, 7 - 13 = -5*f - u for f.
1
Let h(g) = -g**2 - 6*g + 9. Let p be h(-6). Suppose 4 - 49 = -p*k. Solve 0*y = -2*j + 2*y - 12, 5*j + k*y = 10 for j.
-2
Let k(z) = -8*z - 26. Let j be k(-6). Let c = j - 20. Solve 5*a = -h + 3*h - 9, 3*a - c*h = -3 for a.
-3
Let x = 12033 - 12029. Solve -2*v - x*n + 10 = 0, 4 = 2*v - 10*n + 12*n for v.
-1
Let y(i) = -i**3 - 9*i**2 + 13*i + 63. Let z be y(-10). Let h(x) = x**2 - 34*x + 57. Let m be h(z). Solve 12 = 4*g - 2*a, 5*a = -5*g + m - 9 for g.
3
Suppose 0 = -z - 6 + 31. Suppose 7 + z = 8*h. Suppose 4*t + 44 = h*c, -4*c + 3*c + 2*t = -16. Solve -3*q + 3*r = 12, 4*q - 6*q + c = 5*r for q.
-2
Let v be 18/4*(104/48 + 3/(-18)). Solve 5*m - v = -3*i, 4*m - 2 - 4 = -3*i for m.
3
Let s be 396/96 + ((-1)/1)/8. Let x = -21 + 33. Suppose -4*u + 25 = -5*l, -3*u + 5*l + 37 - x = 0. Solve g - 1 = -h - u, -3*h + s*g = -17 for h.
3
Suppose -5*m = -5*l + 1478 - 1493, 0 = -2*m + 16. Solve -l*i + 4*q - 11 = 0, q - 134 = 4*i - 123 for i.
-3
Suppose -67*d + 18*d = -26*d - 92. Solve n - 4 = 2*v, d*v = -0*n - 3*n - 18 for v.
-3
Let d(l) = -4*l**2 - 13*l - 6. Let b(x) = x**2 + x. Let c(q) = 3*b(q) + d(q). Let a be c(-9). Solve 2*o + 3 = f - 4*f, -2*f - a*o - 2 = 0 for f.
-1
Suppose -5*j = 21 + 24. Let s = 1566 + -1564. Let k be s/j - (-40)/18. Solve -3*u = -u + r - 4, -k*u + 12 = 3*r for u.
0
Suppose 0 = -f + 2*d + 73, 4*f - 52 = -2*d + 240. Let k = f + -48. Solve 5*u + k = -4*i, 2*u - 3*i - 8 = -i for u.
-1
Let z = 0 + 3. Suppose z - 51 = -3*i. Let p(a) = a**3 + 3*a**2 + 3*a + 48. Let s be p(-4). Solve -4*n + 2 = 2*q - s, -i = -n - 4*q for n.
4
Suppose -18 = v + 3*m, -v - 8*m + 3*m - 24 = 0. Suppose -4*i = -20, 0 = -3*w - 5*i - 24 + 67. Let z be w/v*6/(-4). Solve -5*y = -2 - 3, y = 2*p - z for p.
1
Suppose 2*x - 16 = -6. Suppose -38 - 20 = -2*q - 2*u, -4*q + 2*u + 92 = 0. Solve -r - 8 + q = 3*j, 2*j + x*r = 20 for j.
5
Let