 4, 0 = -2*v - 5*u + j for v.
-5
Suppose 0*l - 4*k + 15 = 3*l, 0 = 3*k. Suppose -3*f - b = -0*f - 15, -l*b + 11 = -f. Solve 0 = 3*g, v - f*v + g + 3 = 0 for v.
1
Let q(z) = -2*z**3 + 31*z**2 + 13*z + 57. Let o be q(16). Solve j = p - o, -2*j - 38 + 24 = -p for p.
4
Suppose 0 = 21*x + 19*x - 15*x - 300. Solve -4*k - 6 = -2*z, -12*z = -8*z + 3*k - x for z.
3
Let z(o) = o**3 + 38*o**2 + 5*o + 194. Let s be z(-38). Solve -23*q + 10 = -27*q + 2*d, s*q - 3*d + 7 = 0 for q.
-4
Let g be 1507/685 - 54/(-5). Solve 4*h = -12, 13*y - h = 8*y + g for y.
2
Let c be (-520)/(-120) - -2*(-2)/(-6). Let f be 14 + ((-60)/c)/4. Solve b - f = -4*j - 0*b, 0 = 4*j - 3*b + 1 for j.
2
Let c = 470 + -466. Suppose 0 = -2*a - h + 6, 2*a - 5*a + 5*h - 4 = 0. Suppose 0*v - c*v = -u, -v = a*u. Solve -2*k = -4*n - 18, -4*k = -u*k - 4 for n.
-4
Let k(x) = -5*x - 29. Let f be k(-8). Suppose -2*a = -11 + f. Suppose a = -m + 13*m - 120. Solve 0*t = -2*c + 4*t + m, 3*t + 18 = 5*c for c.
3
Suppose -273*u + 150*u = -138*u + 30. Solve 3*y - 9 = -2*o, 13*y - u*o = 15*y - 10 for y.
-1
Let l be 294/4 + (-3)/(-6)*3. Let u = l + -73. Solve -q + 10 = 2*c, u*q - 4 = c + 1 for q.
4
Let o = 127 + -52. Suppose 5*v = 2*d + o, -3*d + 60 = -16*v + 20*v. Solve 3 = 3*a - y, a - v = y + 4*y for a.
0
Suppose 6 = 2*r - 2*u, -4*r - u = u - 18. Suppose -5*z - 64 = r*x - 2*z, z - 4 = 0. Let s = 21 + x. Solve 2*v = -4*g - 2, 5*g + 4*v + s = 1 for g.
-1
Suppose 5*i = -4*j + j + 478, 0 = 3*j + 12. Suppose 84 = i*o - 92*o. Solve -z - z = 4*w - o, w - z - 8 = 0 for w.
5
Let a = -336 - -346. Suppose 4*z - a = 2*n, -5*n = 3*z - 5*z - 15. Solve -w = k - 5*w, -3*k + 17 = z*w for k.
4
Suppose 3*r - 35 = 5*t, 3*r - 4*t = -2*t + 23. Suppose 10 = 5*p + v - 19, -2*p + r*v = 10. Solve 4 = -2*l - 3*c, -4*l + 1 = 4*c + p for l.
1
Let j be (-6)/10 + (-1)/(-10) + (-420)/(-40). Solve 2*m - j*g + 22 = -14*g, -5*m = -3*g + 3 for m.
-3
Let k(z) = 2*z**2 - 3*z - 44. Let a be k(-4). Solve c + 5*i + 25 = 0, a = i + 3*i + 16 for c.
-5
Let r(i) = 135*i**2 + 17*i - 278*i**2 + 144*i**2 + 76. Let b be r(-8). Solve 2*p = -5*s + 13, p + b*s = -0*s + 11 for p.
-1
Suppose n - 12*n = 66. Let r be 48/26 - n/39. Suppose 4*o + 3*u = 20, -3*u = -o - r*o + 15. Solve -4*c = -o*b + 37, -c = -4*b - 0*c + 23 for b.
5
Let g be 4/32 + 46/16. Solve 0 = -3*s + 5*x - g, 12 = -2*x + 6*x for s.
4
Suppose -46 = 20*b - 1306. Let l be 10 + 2/((-18)/b). Solve -x = o - 4, 3*o = -2*o - l*x + 18 for o.
3
Let b = 24071 - 24067. Solve -3*x - 7 = b*q, -2*x + 5*x + 17 = q for x.
-5
Suppose 4 = -5*f - 3*j - 21, 2*f - 3*j + 31 = 0. Let l be ((-6)/f)/(1/4). Let u be (-4 + 1 - 0)*16/(-8). Solve 3*s + w = -6, l*s + u*w - 2*w = 3 for s.
-3
Let g be (11/5*1)/(3/45). Suppose 0 = -g*f + 14*f + 57. Solve f*z + 2*b - 19 = 8*z, -8 = 2*z - b for z.
-3
Let j be (-292)/730 - ((-462)/15)/2. Solve j*i - 3*b = 13*i - 2, -i + 3*b = 4 for i.
2
Let p(r) = 869*r + 50. Let o be p(0). Solve 4*i + f - 26 = 0, i + o*f - 45*f = 35 for i.
5
Suppose -3*q + 12 = -7*q. Suppose -235 + 225 = -5*t. Let r be (8/6 - t)*q. Solve -2*z - 2*z = -r*j - 12, -2*z + 5*j - 10 = 0 for z.
5
Let c = 121 - 121. Let q be 12 + -7 + c + 0. Solve 3*n = 2*x - q, 8 = x - n + 5*n for x.
4
Suppose -21 + 3 = -3*z - 3*z. Solve 0*g - 14 = 2*k - z*g, 4 = -3*k - 4*g for k.
-4
Suppose -147*m + 1028 - 146 = 0. Solve 2*u + 3*f + 8 = m*f, 0 = -2*u - 5*f - 8 for u.
-4
Let q = -36 + 63. Let l = -15 + q. Suppose -22*k + 97 = -13. Solve -3*j - 2 = -k*j + u, 4*j + 2*u - l = 0 for j.
2
Suppose -h + 13 - 4 = 0. Suppose -117 = -2*d + o, -o + 4 = h. Let i = -55 + d. Solve -f - i = -2*r + 3, 0 = -3*r + 9 for f.
2
Suppose 0*b = 7*b - 686. Let l = b + -96. Solve -l*g = 3*i + 3 + 3, -3*g + i = -2 for g.
0
Suppose 0 = 43*f - 353 + 116 + 22. Solve -32 = g - b - 25, -2*g + 7 = f*b for g.
-4
Let g(m) = 208*m + 3121. Let p be g(-15). Solve 2*q = -13*s + 9*s + 6, -3*s = -2*q - p for q.
1
Suppose -3*b - 103 = 2*l, 11*l = 8*l - b - 151. Let o = l + 54. Solve 2*m + 2*d = m - 1, o*m - 5*d + 30 = 0 for m.
-5
Suppose 13*d + 26 = 39. Suppose 0 = -2*m + 2*b + 6, d = 3*b + 4. Solve -u = 3*v - 4, -m*v + 5*v = 3*u + 24 for u.
-5
Let n be (-54)/405 + (-4324)/(-30). Let v = n + -139. Solve -3*h - 3*k + 10 = -v*k, 10 = -5*k for h.
2
Let q = -25 - -27. Suppose -l = -4*r + 12, 3*r = -3*l + l - 2. Suppose -r*p + n + 12 = 0, 2*p + p - 29 = -4*n. Solve q*m + 3*j - 11 = -0*m, -3*j + p = m for m.
4
Suppose -3*l + 21 = 3*s, -2*s + 18 = 2*s + 2*l. Let v(o) = -o**2 + 6*o - 4. Let x be v(4). Let m = x - -5. Solve m = 3*b + q + s*q, -23 = 3*b - 5*q for b.
-1
Let b = 2686 + -2661. Solve 0 = -5*z - b, d = 3*z - 6*z - 19 for d.
-4
Suppose 0 = 14*b + 31 + 11. Let f(y) = y**3 + 2*y**2 + 3*y + 21. Let r be f(b). Solve a - 2*a - 4*l = -12, 24 = -r*a + 3*l for a.
-4
Suppose -121*y + 130*y = 18. Suppose -10 = -y*p - 3*p. Solve 0 = -3*k - 9, -p*k - 1 = -5*c - 0 for c.
-1
Let o = -1915 - -1920. Solve 76*q + 3*b - 5 = 77*q, o*q = 3*b + 11 for q.
4
Let o = 10285 - 10280. Solve 0 = -o*d + 5*g - 13 + 43, -3*d - g = -2 for d.
2
Let b(g) = -241*g + 1. Let u be b(1). Let r = u - -240. Solve -3*k + 15 = 5*x - 25, r = 2*k + 4*x - 30 for k.
5
Suppose 41*f - 60 = 11*f. Solve 3*s + 12 = 3*p, -f*s - 1 = -4*p + 15 for s.
0
Let v = 30 - 25. Suppose 0 = t + v*t - 24. Suppose -45 = -f - 43. Solve -5*o - r - t = 0, -1 = -o - f*r - 9 for o.
0
Let i = 82 + -88. Let y be (-5)/(-15) + (-2)/i*-1. Suppose -4*s + 2 = m + m, 2*s - 2*m - 16 = y. Solve -2*w - 1 = -s*b - 2*b, -5*b - 14 = 3*w for w.
-3
Let k be (-14 - 1)/((-42)/(26 + -12)). Solve -2*z + 10 = -4*a, -k*a = -9*a - 12 for z.
-1
Let q(l) = 708*l - 3500. Let j be q(5). Solve c - j = -5*r + 5*c, -28 = -2*r + 4*c for r.
4
Let d(y) = -y + 6. Let b be d(7). Let f be (b + 5)/(3/(14 - 2)). Suppose 2*z = f + 36. Solve -5*v - z = -4*o, -v - 4*o + 3*o = -2 for v.
-2
Suppose 3*j - 36 + 12 = 0. Solve -3*v = 5*k + j, -9 + 14 = -k - 4*v for k.
-1
Suppose -3*x - 9*m = -6*m - 9, -5*x - 12 = -4*m. Suppose u + 1 = 5*y - x, -5*y - u = 1. Solve -4*p + 3*p = 3*b + 17, y = 3*p + b + 11 for p.
-2
Suppose -53*p = -51*p - 58. Suppose p*m - 27*m = 12. Solve 4*u = k - 14, -5*u = 5*k + m - 1 for u.
-3
Suppose -113*v + 145*v - 378 = -157*v. Suppose 3*d + 4*i + 0 + 5 = 0, 2*i = -4*d + 10. Solve x - 5*w + 11 = -v*w, d*x + 5*w = 45 for x.
4
Let c = -16085 - -16091. Solve 0 = q - 2*o - c + 7, -4*q + 2*o = 16 for q.
-5
Suppose -5*h = 74 - 194. Suppose -6*m = -h*m + 90. Solve 5*s - 4 = -0*f + f, 9 = 4*s + m*f for s.
1
Suppose -36 = -3*t + 4*z, -22*t + z = -24*t + 13. Solve 5*h - 4*b - 37 = 0, 3*h + b - 20 + t = 0 for h.
5
Let f(l) be the third derivative of -1/2*l**4 + 1/30*l**5 - 9*l**2 + 0*l + 0*l**3 + 0. Let w be f(6). Solve 0 = -2*z - 4*b - 10, -3*z + w*z + b = 8 for z.
-3
Let r be 12/(-3) + 191 - 0/1. Suppose r*c - 15 = 182*c. Solve -2*x - 5 = 2*m + 9, -13 = -m + c*x for m.
-2
Let q = 787 + -507. Let c = 282 - q. Solve -3*k = -c*k + 5*u - 21, 16 = 4*k + 3*u for k.
1
Let u be 8/36 - ((-160)/9 + 2). Suppose 0 = 11*i - 6 - u. Suppose 5*v - i*z = 24, 4*v + v = -5*z + 10. Solve 3*c + v*y = -13, -5*y + 1 = 21 for c.
1
Suppose 2*d - 7*d = 0. Suppose -2*v + 2*z + 20 = d, -3*z + 48 = 36. Solve 3*u - 3*o + o = -v, 4 = o for u.
-2
Let k(m) = -m**3 - m**2 - m. Let t be k(0). Let h be 35 + t + (10 - 8). Let u = 133 - 130. Solve 3*w + 7*r = 2*r + h, 5*w - 5 = u*r for w.
4
Let o be ((120/50)/(-3))/(4/(-30)). Solve -3*i = 3*m, 5*i + 1 = o*i for m.
-1
Let j = -632 + 639. Let q(m) = m + 15. Let u be q(0). Suppose -6*o + u = -3*o. Solve 3*s = o*w + 1 - j, -2*s - 4 = -5*w for s.
-2
Suppose 0 = 37*q - 41*q. Let i be 0 - (-5 - (q - 2)). Solve 3*d - i*t - t = 26, 2*d = 4*t + 24 for d.
2
Suppose 4*i - 48 = 5*t, 11*t = 13*t. Suppose i*d + 2*d = 28. Solve 0*g + 5*g = 3*l + 4, -5*l + 6 = -d*g for l.
2
Let f be ((-5)/(-6)*-1)/(10/(-60)). Solve 4*u - 3*m - 69 + 49 = 0, -4*m = f*u - 25 for u.
5
Let o = 186 + -171. Suppose o*l = 45 - 15. Solve -z + 17 = 4*d, 2*z + 9 = d - l for z.
-3
Suppose 8*b + 4*q = 4*b + 24, 0 = -2*q - 4. Suppose 2*p = -b*p - p. Solve -15 - 1 = -5*n - k, 2*n - k - 5 = p for n.
3
Suppose -103 = -4*b - 2*b - 1. Solve -s + 4*i = b, -8*i + 7*i - 7 = 2*s for s.
-5
Let t = 113 - 89. Let h = 4499 - 4492. Solve 4*r + 25 = 4*n - h*n, 4*n + 3*r + t = 0 for n.
-3
Let r be (6 - -10) + -4 - (-580)/(