ve -3*s - n = -k + 2, s - 5 = -5*n for s.
0
Let r(z) = z**2 - 1. Let p be r(1). Suppose -4*x + 32*x - 140 = p. Solve -g - 9 = -2*s, -2 = x*g + 23 for s.
2
Suppose 116 - 196 = -10*q. Solve -4*b - q = 3*x, 0 = b + 76*x - 79*x - 13 for b.
1
Suppose 4*l = r + 2, 9*l - 6*l = -4*r + 30. Solve -29*d + 24*d = -l*c - 27, 2*c = 2*d - 12 for d.
5
Suppose 180 = 253*t - 248*t. Let s = t + -24. Solve -s = 4*n + 4*g, 2*n + 2 = -3*g - 5 for n.
-2
Let k = 33 - 21. Let l = -1253 + 1254. Solve j = -2*s + l + 2, -k = -3*s for j.
-5
Let x(p) = p - 19. Let y be x(7). Let o be (-3)/y - (1 + (-57)/12). Solve 4 = -c - 2*i, 5*c + o = 3*i + 36 for c.
4
Let f be 30/(-12) + 117/18 + 35. Solve b - 4 = -n, -f*b - 22 = -43*b + 2*n for b.
5
Let m = -7346 - -7365. Solve 4 = -f - 2*c, f = -11*c - 30 - m for f.
6
Let v(m) = -10*m + 30. Let k be v(-8). Suppose -5*o + 4*t + 105 = -0*t, -4*o + k = 2*t. Solve -5*i - 2*y = -o, -7 = -3*i - y + 8 for i.
5
Let o = 10228 + -10201. Solve 3*u - o = 3*w, 20 = 2*w - 5*u + 47 for w.
-6
Suppose -5*o + 22 + 12 = 4*b, 0 = -5*b + 5. Suppose 197 = -3*u + 4*p, -o*p + 134 = -2*u - 2*p. Let m = u + 63. Solve -5*g + m*g - 10 = -5*q, 0 = 5*g for q.
2
Suppose -7*g - 5 = -8*g. Let p(n) = n**2 - 7*n + 11. Let k be p(g). Let i be 1*(k/3 + 10/(-30)). Solve i = 3*v + 2*h - 12, 5*v - h = 2*h + 20 for v.
4
Let f(v) = -v**2 - 9*v + 11. Let z be f(-10). Suppose -4*y = -z + 17, 5*y + 18 = -w. Let n = -4 - -8. Solve 2*x = -t + n, 16 = -2*t + w*x - 0 for t.
-4
Let l = -4364 - -4368. Solve -2*z + 3*s + 1 = -0, -s - 7 = -l*z for z.
2
Let l(b) = -6*b**2 - 24*b + 9. Let g be l(-4). Suppose -14 = -2*r - 2*d, -g*d = -5*r - 13*d + 30. Solve -a + 4*n + 24 = a, 5*a + r*n = 0 for a.
2
Let d be (-35)/(-21)*(-6)/(-2). Solve 2*y = -12*f + 17*f, d*y = -3*f for f.
0
Let g be 4/14 + 36/(-28) + 2. Let r be g/((-4)/(-232)) + 3. Let w = r - 49. Solve -2*h - w = -4*h - 2*b, 0 = 4*h - 4*b + 16 for h.
1
Let g be 1*(-3 + (10 - 3)). Let z be ((-22)/(-6) - -1)*(14 + (-720)/63). Solve -m + 0*m - z = -3*p, -5*m = g*p - 16 for p.
4
Let z(s) = 3*s + 26. Let j be (-5)/(7 + -2)*-17. Suppose -j = 12*l + 67. Let v be z(l). Solve -v*o = 4*a + 41, a - 2*a + 2*o + 6 = 0 for a.
-4
Suppose 8319*y = 8300*y. Let n be ((-4)/3)/((-2)/3). Solve 0 = 5*k + 4*q + 12, n*k + y*q = -2*q - 4 for k.
-4
Suppose 15*t = 5*t + 310. Suppose -t = 5*a - 41. Solve -a*n + 4 = 0, -f + 2*n - 12 = -3*n for f.
-2
Let m = 770 + -764. Suppose m*l = -23*l. Solve l*v - v + 1 = -x, -3*x - 1 = -5*v for v.
-1
Let h = 36 + -30. Suppose -10*c + h*c = -12. Solve q = 4*y + 21, c*q + q = 4 for y.
-5
Let w be (-1)/(-6) - (340/24)/(-5). Let p(s) be the second derivative of s**3/6 + 19*s**2/2 - 25*s. Let a be p(-16). Solve 0*f + a*f = 0, -w*f = k + 4 for k.
-4
Suppose 3*g - 158 = -4*i, -9 = 5*i - 19. Suppose g = 112*l - 107*l. Solve -5*r + 11 + 14 = -4*t, -2*r - 2*t + l = 0 for r.
5
Let s(m) = m + 26. Let q be s(-23). Let f be (0 - 0)/(q*-1). Solve -3*n = -f*h + 5*h - 23, -2*h + 4 = -4*n for h.
4
Suppose 0 = -2*b - 3*z + 142 + 169, -3*z + 151 = b. Suppose 18*o - b = -52. Suppose -y - 4*y = -25. Solve -m = -0*m + 2*l - o, y*m - 15 = 5*l for m.
4
Let j(s) = -117*s - 689. Let b be j(-6). Solve u - b = -4*l, 4*u + 4*l - l - 13 = 0 for u.
1
Let w = 15461 + -15459. Solve 0 = 2*o + 5*g + 47 - 10, -5*o = -w*g + 20 for o.
-6
Let p be 49 + -43 + (-1 - 5). Let g be 5 - p - -3 - 6. Solve 5*z = -y - g, 15 - 1 = z + 5*y for z.
-1
Let t be 6/27 - 68/(-18). Let d(a) = -a + 12. Let f be (35/10 - 4)*(-21 + 1). Let u be d(f). Solve 5 = b + r, -u*b + t*r + 2 = 4 for b.
3
Let i(c) = -c**3 + 3*c**2 + 2*c - 2. Let z be i(-2). Suppose -5 = -a - 4*j, -j + 39 = 5*a + z. Solve -s + a = 2*o, -6 = -3*s + 3 for o.
1
Suppose 66 = -30*l + 96. Solve 0 = -4*b - y + 7 + 12, b - y - l = 0 for b.
4
Let v(q) = q**2 + 2*q - 2. Let i be v(-4). Let z(t) = t**2 + 4 + i + 2*t + 3*t - 1. Let y be z(-4). Solve 0 = y*j + 25, -2*s + 14 + 4 = -4*j for s.
-1
Suppose -169 = -5*t - 3*r, t - 77 = -5*r - 52. Solve 3*k - 17 = 2*p, 12*k = 7*k + 5*p + t for k.
3
Suppose 134*v - 17 = -2*l + 135*v, -24 = 3*l + 4*v. Solve -6*u + 3 = -l*g - 3*u, 0 = -3*g + 5*u - 5 for g.
0
Let m be (((-312)/20)/(-13))/((-86)/(-20) - 4). Solve -3*q + 22 = 2*q + o, m*q = -2*o + 14 for q.
5
Suppose -2*b + 3*p + 1 = 0, 26*b - 28*b = -5*p + 1. Solve -5 = -z - v - 6, 2*z - b*v - 2 = 0 for z.
0
Suppose 0*q + 7*q = 0. Let y be 48/36*(3 + q). Let w(g) = g**2 - 6*g + 11. Let x be w(y). Solve 5*a - x*f - 3 = 12, -4*a - 5*f - 25 = 0 for a.
0
Suppose 2*v - 3 = -q, -4*v + 16 = 3*q + 17. Solve v + 7 = 4*z, 3*a = -5*z for a.
-5
Let y(p) = 12*p - 9. Let k be y(5). Let r = k + -23. Let g = 30 - r. Solve -o + 4*b = 11, -b + 5 = g for o.
1
Let k = 14256 + -14254. Solve 2 = 28*b - 25*b + k*r, 0 = -4*r - 8 for b.
2
Suppose 2*y - y - 9 = 0. Suppose y + 6 = 5*l. Let v = -82 + 94. Solve l*z + q + v = 4*q, 0 = -3*z - 3*q for z.
-2
Suppose 2*j + 5*r = 12, -6*r + 5*r + 9 = j. Solve -8 = u + 4*i, 4*i + j = 2*u + 3*i for u.
4
Let h be 9/(162/(-24))*63/(-28). Solve -16*c + 17*c + 3*s + 9 = 0, h*c - s - 3 = 0 for c.
0
Suppose m - v - 2*v - 49 = 0, 3*v = 3*m - 129. Suppose 0 = -125*n + 127*n - m. Suppose y = 6*y - n. Solve 0 = 2*b + 4*h, y*b + 5*h = -b for b.
0
Let n(v) = v**2 - 96. Let r be n(10). Suppose -3*l - 18 = -2*i, -5*i = -3*i - r*l - 22. Solve 3*j + 17 = c, -41 = -2*c - i*c + 4*j for c.
5
Suppose 3*t + 3*q - 16 + 1 = 0, 4*q + 5 = t. Let u(c) = c**3 - 83*c**2 + 591*c - 410. Let v be u(7). Solve 1 = t*s + 2*g - v, -5*s - 4*g = -8 for s.
0
Let j be 4/(-6) - 310/(-15). Let q be -4 + 5/(25/j) + 4. Solve 0 = -3*l - 2*l - 4*w + 3, -q*l + 3 = 3*w for l.
3
Suppose 4*k = -13 + 1. Let z be 3/(0 + -3)*k. Suppose 0 = 2*m - 4, 0*x = -3*x + 4*m + 7. Solve -10 = -z*q - 2*q - x*u, 0 = -4*q - 5*u + 10 for q.
0
Let q = 432 - 424. Suppose 48 = -q*v + 72. Solve -2*o + 8 = 2*c, -2*o + 13 = -v*c - 0*c for o.
5
Suppose 5*x - 206 = 2*b, -2*x = -2*b - 53 - 33. Suppose -x = -9*f - 13. Solve -f*n = 2*w + 7, n + 2*w = -4 - 5 for n.
1
Let s(p) = 4*p**3 - 25*p**2 + 3*p + 21. Let x be s(6). Solve 0 = -5*l - 5, -3*l + x = -5*o - l for o.
-1
Let z(i) = 8*i - 36. Let k be z(6). Suppose -4*p + k + 4 = 0. Solve -4*f = s + 3, 3*s + p*f = -6 - 3 for s.
-3
Suppose 1386 = 34*k - 25*k. Let i(l) = -8*l**2 + l - 1. Let u be i(4). Let v = k + u. Solve 5*y - v = -3*j, -3*y + 4*j - 32 = -8*y for y.
4
Suppose -2*d + 8 = 2. Let b be 1/((-1)/3)*(-39 - -6 - -32). Solve 0 = b*n - d*f - 9, 18 = -2*n - 4*f for n.
-1
Suppose -2571 = 4*i + 4*f - f, -f = 4*i + 2577. Let q = 675 + i. Solve -8*p - 5 = 4*x - 5*p, -2*x + 4*p - q = 0 for x.
-5
Let k(i) = i**3 - 8*i**2 + 10*i - 18. Suppose 4*f = -4*r + 24, -4*r - 9 = -5*f + 30. Let c be k(f). Solve -3*v + 0 = -c*m - 12, 5*v - m - 24 = 0 for v.
5
Let h = -2478 - -2482. Solve 3*x + h*c = 7 - 3, -3*c - 6 = 0 for x.
4
Let s = -4654 - -4659. Solve 0 = s*w + 3*p - 25, w - 30*p = -25*p - 23 for w.
2
Let d = -23 + 72. Let g be (d/21 + -2)/((-1)/(-39)). Suppose 0 = -g*i + 11*i + 8. Solve 5*n = -f, -5*n + i*n = -f - 6 for n.
1
Suppose 3*s + 3*x - 5*x = 17, 2*s = -5*x + 5. Suppose 0 = 2*a + 8, -12 = -s*y + 5*a - 7*a. Solve l - 3*q = -6 + 18, 0 = 2*l - y*q - 14 for l.
-3
Suppose -3*l = 5 + 1. Let v = 1 - l. Suppose r + 5 = 3*u, -r + 2*u + 5 = 4*u. Solve 0 = -v*n + 2*p + 3*p + r, -n - 1 = -3*p for n.
2
Let w be (-2 + 1)/(5/(-1030)). Let z be 1 + 4/26 + (-890)/(-130). Suppose 0 = 11*d + z - w. Solve 3*q + 4*a = -29, 0*q - q - d = 3*a for q.
-3
Let a = -74 + 78. Suppose -3*r = 3*u + 147, a*r - u + 164 = 3*u. Let s = r + 49. Solve y + 2*m - s*m - 7 = 0, 1 = 3*y - m for y.
-1
Let r be (3 - 4) + (4/(-30) - 2002/(-390)). Solve 0 = 2*k + 2*z - r*z - 2, 4*z = 2*k - 6 for k.
-1
Let t be 9/6*(-4)/(-3). Suppose m = -5*h + 5, 71 = t*m + h + 16. Let g be (m/(-4))/((-33)/22). Solve -g*j + 3*v = -2, -3*j + 0*v - 14 = 2*v for j.
-2
Let k be 5 + ((-84)/16 - (-1)/4). Let p(y) = 0*y + 2*y + 5*y + 9 + y**2. Let j be p(-6). Solve 0 = j*t - 2*g - 19, 3*t - g - 17 = -k for t.
5
Let u be (-2)/4 + (-13 - (-185)/10). Solve -4*c + 5*i - 7 = 0, -u*i - 408 + 394 = 3*c for c.
-3
Let m be 1/2*(2 + 1 + 23). Suppose -x + m = -32. Let p = x - 43. Solve -2*f = 4*b - 5*b + 5, 0 = -4*b - p*f - 30 for b.
-5
Suppose 1034 = -581*w + 675*w. Solve -v - 2*h = -w, -1 = -3*v - h + 17 for v.
5
Let u = 275