t = 26 + -16. Let q be t*(-4)/8 - -3. Let d(s) = 4*s**2 - 2*s - 2. Let b be d(q). Solve -4*f - b = 2*y - 7*y, -3*y = -f - 8 for y.
2
Let j = 58 - 63. Let o be 0 - j/1 - (-32)/(-32). Solve 14 = -5*x - 2*c - 7, -o*x + 5*c + 3 = 0 for x.
-3
Let p = -582 - -588. Solve -5*s + 15 = 0, -3*a + s - p = -3 for a.
0
Suppose 300 = -14*i + 356. Solve 3*z = i*h - 15, -h = z + 9 - 4 for z.
-5
Let q be (-2)/(-24) + 568/96. Solve 15 = 3*j - 2*a, j - q + 1 = -2*a for j.
5
Suppose -9*h - 8 = -11*h. Solve -3*v = 3*n, -h*n - 2*v - 5 = v for n.
-5
Let f(c) = -3*c + 21. Let v be f(0). Let d = 36 - v. Solve -3*n - y - 5 = 0, n + 0*y + d = 3*y for n.
-3
Let p be 4/(-22) + (-120)/(-55). Solve 3*w + 2*x = -p + 4, 0 = -2*w - x + 1 for w.
0
Suppose -3*n = -4*h - 16, -8 = 2*h - 0*n + 4*n. Let a be h/6 - 44/(-12). Let r be (a/(-6))/((-1)/20). Solve y = 4*v + v - r, 3*v - 5*y - 6 = 0 for v.
2
Let m(c) = -c**2 + c + 42. Let j be m(7). Solve j = 2*a - 3*t + 7, -t = a + 4*a - 8 for a.
1
Let u = 21 + -17. Let n(i) = -27*i**3 + 28*i**3 - 13*i**2 - 2 + 2 + u. Let x be n(13). Solve -2*q - 1 = -h + 2*q, -4 = -x*h + 4*q for h.
1
Let k(o) = 28*o + 483. Let d be k(-17). Solve 4*v - d = 5*v - 2*q, -4*q + 20 = 0 for v.
3
Let x(p) = 6*p**3 + 3*p**2 + 13. Let q be x(-3). Let j = -109 - q. Solve -3*u = -3*g + 6, -5*g + 4*u = -j - 0 for g.
5
Let y(o) = 2*o + 5. Let n be y(10). Let d be n/(-10) - (-3)/(-2). Let l be 0 + d/(8/(-6)). Solve 2*s + 5 = 4*s + l*c, -3 = 3*c for s.
4
Let f = 399 - 395. Solve -f*n + 12 = 3*k, k + 6*n = 8*n - 6 for k.
0
Suppose 511 - 514 = -p. Solve -17 = 7*r - 5*r + 5*v, p = -v for r.
-1
Let i = -50 - -52. Suppose -6 - i = -4*d. Solve 4*w + d*c - 8 = -w, -20 = -w - 5*c for w.
0
Suppose -3*h - p = -28, -7*p + 4*p - 16 = -h. Solve -3*x + m + h = 3, 2*m - 4 = -3*x for x.
2
Suppose -5*b - 25 = 195. Let i = b - -47. Solve -12 = 5*c + y, 2*y + y - 18 = i*c for c.
-3
Suppose 447*i + 30 = 457*i. Solve 2*z + 2 = -i*m - 11, -4*z - 2 = -2*m for z.
-2
Let t be ((-268)/(-10))/(24/20 - 1). Suppose 5*q = z + t, 2*z - 80 = -3*q + 3*z. Solve -3*n + 5*v = -4*n + q, -v = -5 for n.
2
Suppose -82*p = -47 - 199. Solve -9 = -5*j + 2*h, p*j + h = 2*j + 6 for j.
3
Let y be (-1 + 0)*0/(-2). Let b be (4/10 - 0) + (-346)/(-10). Suppose 14*t - b = 7*t. Solve -t*j - 4*r = -y*j - 41, -3*r + 17 = j for j.
5
Let x(h) = h**3 - 7*h**2 - 7*h - 1. Let i be x(8). Suppose 5*a - i*a - 18 = 0. Let k = 12 + a. Solve 3*b + w = 2*b + 6, -5*w = k*b - 20 for b.
5
Let a be -6*(-3*20/(-24) - 3). Let u be (-48)/(-18) + (5/a)/5. Let q(k) = k**2 - k - 2. Let m be q(3). Solve u*c + 4*j + 5 = 0, m*c + 2 = -5*j - 5 for c.
-3
Suppose 5*q + 8 = -12, -3*o - 5 = -q. Let t be o/4 + 441/28. Let g(r) = r - 12. Let n be g(t). Solve -4*w + 2*u - 22 = -8, -5*w - n*u = 1 for w.
-2
Suppose -54*u + 73 = -251. Solve w - 14 = 4*f + 3, 3*f + u = 3*w for f.
-5
Let n = 273 + -152. Suppose 54 = 5*b - n. Let c be 2/(b/(-10) - -4). Solve 0 = 3*t + c*x + 26, -x = -5*t + 4*x + 15 for t.
-2
Let b = -2 + 2. Let h = -690 + 692. Solve -5*j = 5*p + 10, 3*j - p - h = -b*j for j.
0
Suppose -5*r = -9*r + 8. Let p be (-3 + r)*12/(-4). Solve p*a - 22 = 5*t + 7, 0 = 3*a - 9 for t.
-4
Suppose 10 = 2*d - 3*s, 0*s + 5*s + 8 = -d. Suppose 0 = 2*x + 55 - 73. Solve -3*i = 3*r + x, -1 = -5*r + i + d*i for r.
-1
Let x be -1 + 3 + -2 + (32 - -6). Suppose -34*c = -x*c + 32. Solve 0 = 3*b + 2*r + c, -b - r - 1 = 2 for b.
-2
Suppose -15*i - 310 = -355. Solve -3*t + u = i, 2*u + 0 = 5*t + 4 for t.
-2
Let h = 0 + 5. Let l(u) = 5*u - 4. Let j be l(3). Suppose 3*d + j - 26 = 0. Solve 4*r - d*q + 22 = 0, -2*q + h = r + 2*q for r.
-3
Let z(p) = -3*p**3 + 10*p**2 - 4*p + 3. Let m be z(3). Solve -2*f + 2*o + 16 = m, -20 = -2*f + 3*o + 1 for f.
3
Let w(h) = 2 + 2 - h**2 - 3*h + 3. Let q be w(-4). Solve -q = c - 2*x, -4*c + x = 4*x + 1 for c.
-1
Let v = 578 - 577. Solve -2*r + h = -7*r - 6, 3*r = 4*h + v for r.
-1
Let i be ((-108)/(-90))/(6/20). Let u be (2/i)/((-1)/(-6)). Solve -3*y + 5*z = 11, -3*z = -0*y - 5*y + u for y.
3
Let d = -19 - -24. Suppose -d*x = -6*x + 3. Solve 0 = 2*p - 2*h + 6, -12 = -5*p - x*h + 5 for p.
1
Let f = 535 + -531. Solve -10*i + 12*i = 3*c - 15, -f*c = 2*i - 20 for i.
0
Let y(b) = 2*b**3 - 6*b**2 + 3*b + 8. Let n be y(4). Suppose -3*k = 3*r - k - n, 5*r - 87 = -3*k. Solve 5*o = v - 7 + r, 2*o + 4*v = 22 for o.
3
Suppose -3*h = -3057 + 3051. Solve 3*z - 5 = h*i, 5*i = -2*z - 17 - 5 for z.
-1
Suppose 4*o - 1 = -3*h, 5*h - 24 = -o + 6. Let t = 4 - h. Let j be -1*(2 + t) + 4. Solve -r - 2*f + j = 0, r + f + 0*f = 3 for r.
1
Let c be 2/(12/(-42) - 36/(-28)). Solve u + 2 = -5*x, 0 = c*x + x + 3 for u.
3
Suppose -22*u + 64 = -46. Let c(k) = -k + 21. Let x be c(11). Solve u*f = -2*w + 35, -3*f + 7*w = 2*w + x for f.
5
Let t = -1264 - -1264. Solve n = 5*f - 7, 2*f = -t*n - n for n.
-2
Suppose 5*d - 74 = t, 2*t + 0*d - 2*d = -172. Let s = t - -104. Solve 3*m = -3*i - 18, 3*m - 2*i = 8*m + s for m.
-1
Let k(j) = j + 1. Suppose -3*v = 3*b, v + 3*b = -0*b - 6. Let d be k(v). Solve -2*i + 20 = -4*x, 0 = 4*x + d*i - 4 for x.
-3
Suppose 2*l = -2*l + 4. Let s = l + -1. Suppose -4*b + b = s. Solve u - 2*u = -4*r - 16, 4*r + 2*u + 4 = b for r.
-3
Let f(g) = -2*g**2 - 16*g - 14. Let z be f(-6). Solve -t + 0*t = 5*d + 6, 5*d - z = -5*t for t.
4
Let y be 21/(-7) - (4 + 0 - 1). Let c be (0 - y)*(-2)/(-4). Solve 0 = -5*l - 4*z + z + 11, z = c*l - 1 for l.
1
Let s be ((-40)/(-15) - 2)/(1/3). Let v be -3 - (-11 - -8 - (0 + s)). Solve v*y + z - 10 = -0*z, 3*y - 25 = -4*z for y.
3
Suppose -5*d = 25, 0 = 3*s - s + 2*d + 2. Let m be 1*(s - (-1 - -3)). Let y(q) = -2*q + 1. Let r be y(-2). Solve -3*v = -m*t, r*v = 3*v for t.
0
Let l(o) = o**2 - 5*o - 21. Let u be l(8). Let a(k) = k**2 + 8*k - 20. Let s be a(-10). Solve -u*d = c - s - 16, 0 = 3*c + 2*d - 20 for c.
4
Suppose 41*b - 34*b = 42. Solve 4*z - 5*f - 19 + 8 = 0, -3*z + b = -3*f for z.
-1
Suppose -5*v + 2*f + 38 - 8 = 0, -v = 3*f + 11. Let s(d) = -d - 3. Let t be s(-3). Solve 3*j + v*a + 29 = t, j - 4*a - 10 = 7 for j.
-3
Let k = -298 - -298. Solve 12 = -j - y + 2, k = 3*j - 4*y - 5 for j.
-5
Suppose 2 = -5*n + 22. Let d(q) = 12*q**3 + q**2 - 1. Let j be d(1). Let u = -10 + j. Solve 4*o + n*s = -4, u*o + 3 = -o + 3*s for o.
-1
Let q be 2/(-3) - (-17)/3. Let u be 4/(-28)*0*2/6. Suppose -2*g + 0 + 6 = u. Solve -q*n - g = -2*h - 25, 19 = 5*n + h for n.
4
Let s be (-12)/((48/(-20))/(-6)). Let c = 30 + s. Solve -g - x + 10 = 2*g, -g + 5*x + 30 = c for g.
5
Let d = -74 + 83. Let t be (2/(-2))/((-21)/d + 2). Solve 0 = -t*k - 2*u - 20, -k + u + 0*u = 0 for k.
-4
Let t be -30*(-1 + 2/5). Let m be (-6)/45 - (-32)/15. Solve 6*z = 5*i + 2*z - 27, -4*z - t = -m*i for i.
3
Let x = 832 + -831. Solve 3*o + 2 - x = 2*h, -5*o - h = -20 for o.
3
Suppose 3*z + 256 = 19. Let t = -74 - z. Let n be (0 + 2)/((-2)/(-1)). Solve n = -b - 3*h - 1, -7 = -t*b + 2*h for b.
1
Let g(y) = 8*y**2 + 6*y - 9. Let i be g(4). Let s = i - 80. Suppose -8*m + m = -s. Solve m = -3*n, 8*o - n = 3*o - 7 for o.
-2
Let q(u) = -139*u + 836. Let y be q(6). Solve 3*c - v - 2*v = -21, y*c - 4*v = -24 for c.
-2
Let q be ((-24)/(-20))/((-4)/(-10)). Suppose 2 = q*o - 1. Solve o = 2*a + c, -4*a + 22 - 8 = -2*c for a.
2
Let b(r) = r**2 + 4*r - 3. Let w be b(-5). Let v(c) = 2*c**2 - 2. Let t be v(-2). Suppose w*m = 16 - t. Solve 4*z + 1 = 9, -m*z = 3*n - 16 for n.
2
Let g be (-1)/(2*4/(-552)). Let d = 149 - g. Let a be (-96)/d*(-5)/2. Solve 4*k = -p - 7, -k + a*k = 2*p - 16 for p.
5
Let b be -1 + (8/(-28) - 1404/(-14)). Let f = b - 99. Solve -4*n = y - 2*n - 10, -3*y + 4*n = f for y.
4
Let u = 84 - 69. Suppose u*m = 14*m + 8. Solve -5*f = -3*h + 16, -2*f + 3*h - m - 2 = 0 for f.
-2
Let h(y) = 3*y - 11. Let o be h(10). Suppose -5*l = -a - 23, 0 = -0*a + 2*a + 3*l - o. Suppose a*z - 22 = -6. Solve -g = 4*r - z, -2*r = -3*g - 18 - 0 for g.
-4
Let j(a) = 4*a - 6. Let b be j(5). Let t = b + 28. Let o be 7/t - 89/(-6). Solve g + o = -4*i + 3, 5*i = 2*g - 2 for i.
-2
Suppose 2*f = -4*j + 16, 7*j - 3*j = 2*f. Solve 4*b = -b - 3*p + 16, 8 = f*b + 4*p for b.
5
Let n be 54/8*(-40)/15. Let t(y) = -2*y**3 - 10*y**2 - 18*y**2 + 10*y**2 + y**3 + 9. Let b be t(n). Solve -35 = 5*u + v - 6*v, -b = 3*u + v for u.
-4
Let m = 1098 - 1095. Solve -m*q - 12 = 0, 0 = -4*i - 4*q + 9 - 21 for i.
1
Le