80 = 17*s. Solve 2*a - y + n = 0, -28 = 2*a + 3*a - 3*y for a.
-5
Let k(g) = -9*g - 69. Let d be k(-9). Solve 6*l = -3*b + 9*l - d, 0 = 2*l - 6 for b.
-1
Let m(z) = -4*z - 60. Let w be m(-15). Let g be (1*w/7)/(-4). Solve g = -2*a + 2*i + 6 + 4, 4*i + 20 = a for a.
0
Let g be 84/(-231) + 334/11. Suppose g*a - 162 + 12 = 0. Solve b = -0*l - 4*l + 15, 5*b - a*l + 50 = 0 for b.
-5
Let v = -88 - -123. Suppose -2*q + p = -12, -5*p = -q - 11 + v. Solve -3*n + q*t = 21, -2*n - 9 = -5*t + 4*t for n.
-3
Suppose -4*t - 7 = -15. Let h = -23 - t. Let c = h - -30. Solve -d - 2 = 4*n - 4*d, -7 = 3*n - c*d for n.
1
Suppose -3034*o + 3093*o = 1015 - 248. Let l(k) = k**2 - 3*k - 6. Let s be l(5). Solve 0 = -4*v - 3*z + 12 + o, 2*v = -s*z + 20 for v.
4
Suppose 4*o - 2 = -4*k + 54, -4*o + 74 = -2*k. Suppose o*j = 22*j + 30. Let w be (15 + j)/(1/2). Solve -u + 4*r + w = u, 4 = 2*u + 3*r for u.
5
Suppose -28*u - 1472 = -1556. Solve 2*p - 23 = 5*a, -2*p + 4*a + 32 = u*p for p.
4
Suppose 2*n + 79 = 2*g + 3*g, 5*g = -5*n + 65. Let d be 8/6*g/10. Suppose -8 - 2 = -2*j, d*j - 16 = -2*u. Solve 5*w - 2*r + 4*r = -5, 2*w + u*r + 13 = 0 for w.
1
Suppose 4*d = 4*x + 20, -5*x - 25 = d + d. Suppose d = 2*j, -2*j - 2*j + 8 = 2*f. Let g = -219 - -226. Solve 0*l + 3*l + 3 = 0, 0 = f*s + 3*l + g for s.
-1
Let k(z) = -8*z + 8. Let x(r) = -18*r + 17. Let q(d) = -5*k(d) + 2*x(d). Let t be q(2). Solve 4*m - t*s - 24 = 0, 0*s + 3*s = -m - 8 for m.
4
Let n(p) = -3*p**3 + 21*p**2 - 3*p + 41. Let h be n(0). Solve 3*m = 37*g - h*g + 27, 3*m - 2*g - 9 = 0 for m.
5
Let r(o) = o**2 - 20*o - 21. Let t be r(21). Suppose -3*h = -u, 2*u - 8 = -2*h - t. Solve 4*y - 6 + 19 = -u*g, -2*g = 2*y + 6 for g.
1
Let h = 888 + -876. Let t(p) = -p**2 + 13*p - 9. Let z be t(12). Solve 0*f + z*x - 16 = f, -f = -2*x + h for f.
-4
Suppose 5*q + 0*q + 30 = 3*s, 0 = q + 3*s + 6. Let n be 0/(1 + (q - -9)). Solve -x = -4*a + 2*x - 19, -a - x + 4 = n for a.
-1
Suppose 4*l + 8 - 20 = 0. Let d(s) = -1 + s - 9*s**3 + 7*s**3 - l*s - s**2. Let g be d(-2). Solve -2*t = 5*f + 10, -3*f + 2*t = -t - g for f.
0
Let f = -4507 + 4522. Solve f = 5*d + 2*t, d - 2*t - 5 - 10 = 0 for d.
5
Suppose 3*p - 29*f - 38 = -34*f, -3*f = 2*p - 24. Solve -2*g + 7*u - 9*u = -20, -3*g + 3*u + p = 0 for g.
6
Suppose 25*t + 102 = 23*t. Suppose -z = -4, 0 = 2*b - 4*z + 5*z - 116. Let u = b + t. Solve 4*x + 3*i = 2*x + 4, -4*x + 8 = u*i for x.
2
Let s(z) = z**3 + z**2 - 8*z - 2. Let k = -120 + 117. Let p be s(k). Solve l + 4*v = -8 - 3, 13 = p*l - 3*v for l.
1
Suppose -63 = -6*h - 3*h. Let k be 3/(-7) + 192/h. Let z = 39 - k. Solve -z = 2*b + 3*b + s, -4*s = 8 for b.
-2
Suppose -3835*x + 3794*x + 2214 = 0. Solve -l - x = -2*k - 50, -4*l - 9 = -k for k.
1
Let b(q) = 3*q**2 + q - 1. Let i be b(1). Suppose -5 = 5*y, i*y - 9 = -2*u - 2*u. Suppose 26*p - 81 = 127. Solve 18 = -3*m - u*g, 3*m + 2*g - 2 = p*m for m.
-2
Let d = 354 + -352. Suppose -d*h + 5*h + 2*n - 6 = 0, -5*h = -n - 10. Solve 0 = 2*c + 2*g - 4, c - g - h = 2*g for c.
2
Suppose 2*o = -2*s + 5*o + 21, 10 = -5*s - 5*o. Let l be 58/145*5/1. Let u(y) = -9*y + 13. Let k be u(1). Solve 2*j - k = 3*r, -7*j = -l*r - s*j for r.
-2
Suppose 2*i = 27 - 15. Suppose -z - 70 = -i*z. Suppose -3*v + h = -z, -6 = 2*v - 5*h + 2. Solve p + 0*k - 2*k = -8, 0 = -2*k + v for p.
-2
Let t(n) = -19*n - 95. Let w be t(-11). Suppose 33*x = -15 + w. Solve -l = x, 2*p - 3*l = 4 - 1 for p.
-3
Suppose -68*j - 71*j = -50*j. Solve 0 = -2*w - 43*m + 39*m + 10, -3*w + 3*m - 30 = j for w.
-5
Let x = 835 + -1393. Let d = -556 - x. Solve -5*p = -d*o - 24, 6 = -o - 2*o for p.
4
Suppose -26 = -5*y - 6*x + 5*x, 0 = -3*y - x + 18. Solve y*d - 2*j - 4 = 2*j, 5*d - 35 = -5*j for d.
4
Let w = -27 + 114. Let x = w + -79. Suppose -f + x - 4 = 0. Solve -3*p - 3*j + 2*j + 16 = 0, -4*j + 24 = f*p for p.
5
Let q = 31 - -41. Suppose 75*b = q*b + 12. Solve -2*d = -4*p - 0 + 12, -3*d + 12 = b*p for p.
3
Let t(o) = -o**3 - 30*o**2 - 223*o - 11. Let q be t(-13). Solve c - q = 5*n, 3*c = n + 4*c + 9 for n.
-4
Suppose -37*y + 33*y = -8. Let w = 2 - y. Suppose -17 = -5*u - 3*d, -5*d - 3 - 2 = 0. Solve 5*l - 11 = -3*m, 0 = -u*m - w + 8 for l.
1
Let p(u) = u**3 + 4*u**2 - 2*u - 6. Let s be p(-4). Let h = -59523 - -59528. Solve -g = -4*k - 17, h*k - s*k + 4 = -g for k.
-3
Suppose 27 = 6*j + 42 - 27. Solve -92*y + 87*y + 4*f = 9, 0 = -5*y - j*f - 33 for y.
-5
Let m = -17 - -20. Suppose -2*t + 3*s + 20 = 0, -m = -3*t - 4*s - 7. Solve 4*g - 22 - 10 = t*u, 2*u = -3*g + 9 for g.
5
Let g be (-1)/3*1*-9. Suppose -4*r - 55 = -2*s - 7, -s - 36 = 4*r. Let y(p) = p**2 + 9*p + 2. Let m be y(r). Solve 4*n - n = 4*a - 20, -g*n = m for a.
2
Suppose -379*z = -381*z + 6. Suppose h + i + 0 = z, -4 = -4*i. Solve -s - 2 = 3*s + 2*q, -1 = -s - h*q for s.
-1
Suppose 46*j = 95 + 89. Let z be (-315)/(-27) + -11 - j/6. Solve -2*g - 3*c = -3*g, 3*c + 3 = z for g.
-3
Let q = -79 - -85. Suppose -9 = -3*b, -i - q = -4*b + 1. Suppose -8*t + 12 = -i*t. Solve 0 = -4*n - t - 0, 3*n + 8 = g for g.
5
Let t = -70 - -73. Let p(d) = 9*d - 7. Let x be p(t). Suppose 0 = 5*q - x - 5. Solve -2*o - 2*n = -3*n - 11, -o - q = 3*n for o.
4
Let s be 42/(-14)*((2 - 4) + 1). Let n(u) = -25*u**2 + 6 + 3*u + 9*u**2 + 2*u**s + 10*u**2. Let i be n(3). Solve -2*l = 3*j - 23, -j + 2*j - 5*l + i = 0 for j.
5
Suppose -2*u - 1 = p, -2*p - 5*u - 9 + 5 = 0. Suppose -12*q = -7*q - 15. Solve -p*r = 0, -3*r - 3 = -q*k - 0*k for k.
1
Let q be (-80)/(-15) - (-4)/6. Let u(h) = h**3 - 5*h**2 - 5*h + 10. Let o be u(q). Solve 5*f + 4*y + o = 0, 5*f = -2*y + 6*y - 24 for f.
-4
Suppose -3*w - 4*a - 16 = 0, 0*w + 17 = -4*w - a. Let h be 70*((-15)/(-6) + w). Let k = 107 + h. Solve 0*n = k*r - n, 2*n - 3 = r for r.
1
Let a = 276 - 273. Suppose -a = -3*s - 0*x - 3*x, 2*x = 5*s - 19. Solve -o - s = w, 5*o = 2*w + 3*w + 25 for w.
-4
Let c = -3842 + 3851. Solve 3*f + 0*w - 3*w = c, -5*f = 2*w - 8 for f.
2
Let c(v) = v**3 - 21*v**2 - 346*v - 6. Let h be c(32). Solve -s - h + 188 = p, 2*p = -s + 1 for s.
3
Let a = 1262 + -1252. Let n(r) be the first derivative of r**3/3 - 9*r**2/2 - 7*r - 1. Let c be n(a). Solve l = -u - 1, c*l + u - 1 = -4*u for l.
-3
Suppose -36*w + 183 + 501 = 0. Suppose w*r + 56 = 47*r. Solve -x - 9 = r*n, -2*n - 2*x - 8 = 2 for n.
-4
Let n = -648 - -591. Let k be 38/133 - n/21. Solve 5*f = k*b + 23, b - 4*f + 13 = 4*b for b.
-1
Let q = 88 + -84. Suppose q*t - 3*z - 10 + 2 = 0, 4*t = 2*z + 8. Solve 2*y + 2*a = -12, y + 0*a = 3*a - t for y.
-5
Let r be (-20)/6*(36 - 0). Let a be (12/10)/(((-112)/r)/7). Solve -u + 4*x = -a, u = 5*u + 2*x for u.
1
Suppose 231*p = 137*p + 1692. Solve 4*k = 2*d - p, -3*k - 4*d - 86 = -67 for k.
-5
Suppose -n - x + 4 = 0, -3*n + 0*x + 16 = -x. Suppose n*g + 5*u = 40, -3 = 3*g - 3*u + 3. Solve -4*v = -0*z + 3*z - 4, -4 = 2*v + g*z for v.
4
Suppose 5*j - 4*j - 2 = 0. Let p(b) = 4*b - 3. Let i be p(j). Let w(a) = a**2 + 4*a - 57. Let k be w(-10). Solve 0*s = 3*s + k*m - 3, 3*s - m + i = 0 for s.
-1
Suppose -3*o = -o + 8. Let m(s) = -11*s - 9. Let c be m(o). Suppose 20*r - 13*r - c = 0. Solve 0 = h + 3*p - 4, -2*p = r*h + 3*p - 10 for h.
1
Suppose c = 61 - 51. Suppose 26*f - 30*f + 27 = -5*l, -2*l + c = 0. Solve 3*m = -v + f + 5, -m + 17 = 4*v for v.
3
Let l be ((-17)/(-2) - 8)/((-1)/(-318)). Suppose 156*w = l*w - 6. Solve 2*v + x + 8 = v, 4*v - 2*x = -w for v.
-3
Let j be (0 - -2)*((-3)/39 - (-1071)/234). Solve z - 2*d = -5, -202*z = -205*z + 3*d - j for z.
-1
Let h(t) = 60*t - 477. Let i be h(8). Solve 4*s + 6*c + 4 = 0, -i*s + 5*c = -5*s - 2 for s.
-1
Let l(w) = -26*w - 129. Let z be l(-5). Let c be z + 6 + 30/(-5) + 3. Solve -2*n + 16 + 10 = -c*u, 0 = -n + u + 9 for n.
5
Let l be 28/8*44/77. Suppose 3*p + 2*j = 4, -1 = l*p + j - 5. Let u(x) = 2*x - 5. Let k be u(4). Solve -k*t + 2*v = -16, -19 - 9 = -4*t + p*v for t.
2
Let u be -3*(2/(-15))/(8/40). Suppose 25*l = -u*l. Solve 4*o - 3*w - 16 = l, -w = -4*o - 2*w for o.
1
Let u be (2 + -9 + 6 - -11)*6/10. Solve -8*x = -u*x - 2*y - 2, 0 = x - 2*y + 2 for x.
4
Let y(c) = -c**3 + 8*c**2 + c + 7. Let w be y(8). Let a(z) = z**3 - 15*z**2 - 8*z + 125. Let m be a(w). Solve 2*g + 3*r + 2 = r, 0 = -m*g - r - 9 for g.
-2
Suppose -3*i - 2*y = -0 - 2, 10*i = -2*y + 30. Solve 0 = 2*j + g + i, 7*j - 4*g = 3*j - 32 for j.
-4
Suppose 0 = -172*i 