 4, a*n + t = -6 for n.
-2
Let g be ((-396)/(-264))/((-6)/(-20)). Let d = 3 - 1. Let k be (4 - 2)/d*2. Solve 6 = -5*w - 4*a + k*a, -g*w + a = -3 for w.
0
Let c(z) = -4*z**2 - 9*z - 2. Let j be c(-2). Solve 2*d + 1 = -f, j*f = -4*f - 4*d for f.
1
Suppose 0 = 3*j - 4*y + 1552, 5*j - 3*j = -3*y - 1012. Let o = 515 + j. Solve -2*n - 20 = o*n, 2*g = 4*n + 18 for g.
1
Let q(r) = -3*r**2 + r + 9*r**2 - 2*r. Let y be q(1). Let d(i) = -153*i**2 - 47584*i - 306. Let u be d(-311). Solve 4*h = 4*p + 3*h - 3, 0 = u*p - y*h for p.
1
Suppose 5*f = 23*f - 162. Solve -3*t = -2*i - 17, 0 = -3*i - 0*t - t - f for i.
-4
Let k = -377 + 62. Let m be ((-326)/(-15))/2 - 42/k. Solve -m = -5*b + 3*a, 0 = -a - 0 + 3 for b.
4
Suppose -1560*u - 40 = -1568*u. Solve -19*i + 4*s = -21*i, -u*i + 5*s = 15 for i.
-2
Suppose 49*o + 265 = 44*o. Let c = -51 - o. Let z be 0/((-4)/8*-2). Solve 2*a + 5*l = 23, z = -9*a + 4*a - c*l + 5 for a.
-1
Let m be ((-5)/(-15))/((-1)/6). Let i(g) = -2*g**2 + 47*g - 20. Let n be i(23). Let h be m/(4/(-30)*n). Solve 0 = 3*w - 2*s + 9, -5*s - 3 + 13 = h*w for w.
-1
Let q be 2/28 + ((-4)/56 - (-5 + 2)). Solve d - 2 = -5*l, d - 8*l = -q*l - 8 for d.
-3
Let o be 1052/30 + (-101)/1515. Solve -5*k + o = -5*p, -21*k = -18*k + 5*p + 27 for k.
1
Let o = -472 + 477. Suppose -o*y - 169 = -199. Solve 10 = -5*a - 2*r, -5*r + 23 + y = -a for a.
-4
Suppose 22*h = -18*h + 19880. Let s = 500 - h. Solve 5*x = -4*j + 8, -2*x + 23 = -j + s*x for j.
-3
Suppose -5*a - 339 + 324 = 0, -4*a - 47 = -5*n. Solve 4*z = -m + 13, 5*m - 3*z + n - 26 = 0 for m.
5
Suppose -12*m + 11*m = -5*h + 20, m = -h + 4. Solve -5*x = 2*l - 35, 4*x + 5 = 5*l - m for x.
5
Let o(l) = -45*l + 3602. Let f be o(80). Solve 4*z = -2*h - z - 30, z = -f*h - 14 for h.
-5
Let y(l) = 3*l**2 + 5*l. Let r be y(-2). Let k(q) = 4*q - 9. Let w be k(3). Suppose w*f + 4*f - 56 = 0. Solve a - 6 + 0 = -g, -r*g = -2*a + f for a.
5
Let i(q) = q + 10. Let d be i(-6). Suppose -2*a = a - 33. Suppose -b = 2*x - 14, 3*x + 19*b = 20*b + a. Solve x*s + c = -d*c - 15, 2*s + 3*c = -4 for s.
-5
Suppose -16 = -3*t - 16. Suppose 0 = 12*v - t*v - 300. Solve 2*g + 30 + 5 = -5*c, 5*g = -v for c.
-5
Let n be 6/(-11) + 2492/979. Let b be ((-2)/n)/((-6)/(13 - 1)). Solve -3*h - 5*o = 24, -b*o - 3 = 2*h - 3*h for h.
-3
Suppose -493 - 515 = -4*g. Let s be g/28 + -1 + 0. Solve 8 + 25 = -5*j - 4*k, -2*j + k = s for j.
-5
Let g be 7/896*16 - (-1 - 645/24). Solve l + j = 0, 16*l - 11*l + g = 2*j for l.
-4
Suppose 0 = -4*z - 13*z - 51. Let a = -3 - -3. Let i be a + (-6 - 3)/z. Solve -5*f + 6 = -2*c - 5, i*f - 11 = -c for f.
3
Let f = 179 - 88. Suppose 5*h - f = -81. Solve c - 2*p + 5 = 0, -h*c = -0*c - p + 1 for c.
1
Let g(a) = -a + 19. Let h be g(14). Suppose 0 = -2*s + h*s + 5*b - 37, 3*s + b = 41. Solve -s = 3*w + 4*v, w + 6 = -0*w - 2*v for w.
-2
Let n = -19353 + 19359. Solve -n*y + u = -20, -34*u + 35*u = 2*y - 8 for y.
3
Let o(c) = 328*c - 328*c + 2*c**2 - 7 + 3*c**2. Let g be o(2). Solve -5*a - 3*w = -28, 4*w = -2*a + 1 + g for a.
5
Suppose 305 = 2*u + 3*i, -6*u + 2*i + 280 = -4*u. Suppose 25*z = -4*z + u. Solve -3*m - z*n = -27, -m + 3*n = 4 + 1 for m.
4
Let x be 18/180 - 2978/(-20). Suppose 138 = 41*t - x. Solve -c + 5*u = -18, -c - t + 1 = 3*u for c.
3
Let q = 8 - 1. Let c be q - (3 - (0 + 1)). Let d be ((-2)/4 - 1)/(186/(-3100)). Solve 0 = -0*b + c*b, 5*a - 2*b - d = 0 for a.
5
Suppose -2*k + 828 - 798 = 0. Solve 4*i = -5*v - 6 - k, 3*v = 5*i - 20 for v.
-5
Let b be (-24)/(-14) - (-8)/28. Suppose -2*a - 10 = -q, -a + b*a = 4*q - 12. Let x be ((-952)/34)/84*(-8 - -2*1). Solve x*u + 4 = 3*f, u - 4*f + q = -u for u.
-5
Suppose 0 = -172*h + 182*h - 160. Suppose 0 = 43*s - 39*s - h. Solve -2*f - 4 = s*b, 17 = -2*f - f + 5*b for f.
-4
Let c(v) = -v**3 - 21*v**2 + 21*v - 18. Let q be c(-22). Let j be (-1 - 7)/4 - (-5 + -4). Solve q*z + 4*h = -20, 0 = 4*z + 3*h + 10 + j for z.
-2
Let f = -26831 + 26834. Solve 0 = 5*z - 3*t - 8, 32*z = 35*z + f*t for z.
1
Suppose 0 = -3*t + 7*t + 4. Let l be 82/287 + ((-19)/(-7) - t). Solve l*s + 4 = z + 1, z - 3 = 3*s for s.
0
Let g be (576/144)/((-8)/(-6)). Solve -g*f = -2*u + f - 20, 0 = -3*u + 4*f - 24 for u.
-4
Let p = 591 - 215. Suppose -370 = 2*q - p. Solve -2*r + 3*y = -6, q*y = 5*r + 5*y + 23 for r.
-3
Let j = -109 + 177. Let u be j/(-238) - (-37)/7. Let p be (-4)/(-6)*1*3. Solve -2 = p*y + 4*z, z = -u*y - 5 - 0 for y.
-1
Let b be (3 - 2)/((-1)/(-121)). Let i = 128 - b. Solve -14 = -a - 5*g, -5*a = -3*a + 3*g - i for a.
-1
Suppose 56*b = 13*b + 215. Suppose 4*z - 11 = -o, -b*o - 5*z = -4*z - 17. Solve 4*m = 2*c + 22, o*c - 1 + 10 = 0 for m.
4
Let x(v) = 2*v**3 - 2*v**2 - 2. Let j be x(2). Suppose -8*w + 1 - 1 = 0. Suppose 96*f - 112*f + 112 = w. Solve -10 = 4*u + 2*n, -j*u - f = -2*u + 5*n for u.
-3
Let x(o) = o. Let l be x(0). Solve d = 4*d, g - 5*d - 3 = l for g.
3
Let m be ((-954)/12)/(9/(-54)). Let c = 480 - m. Solve -5*w - 1 = -t - c*t, t - 13 = -3*w for t.
4
Let r(b) = -b**2 + 6*b + 114. Suppose 12*o + 65 = -31. Let u be r(o). Solve 0*t + j = -u*t - 2, -5*t - 5*j = -5 for t.
-3
Suppose -5*j + 4*g + 0 = 2, 3*g + 1 = 5*j. Let x(u) = u + 2. Let m be x(j). Solve 5*d - 5 = -m*b, -3*d = -b + 5*b + 5 for b.
-5
Suppose -5*o + 55 = -50*v + 55*v, 3*o - v - 21 = 0. Solve 0 = 2*d - 2*s + 16, -o*d + 3*d + 2*s - 31 = 0 for d.
-5
Let d(t) be the second derivative of -t**5/20 + t**4/6 + t**3/6 + 9*t**2/2 + 218*t. Let m be d(0). Solve 0 = 2*r + 5*s - 11, 4*r + 2 = s - m for r.
-2
Let x = -16705 + 16707. Solve -10 = -5*l + 5*k, x*k - 6*k = 4*l - 32 for l.
5
Suppose -10*s = 5*q - 7*s - 64, -4*q + 48 = 4*s. Let k be ((-6 - 1) + 10)/(3/q). Solve 5*f - 15 = 0, 6*f - 3*f - k = p for p.
-5
Suppose 2*n = 3121 - 2353. Let u = n - 380. Solve 13 = -d + 5*k, u*k - 3*k - 5 = -d for d.
2
Let a(v) = -v**3 + v**2 - 12*v - 56. Let g be a(-4). Solve -18 = -2*u + 5*p, -68*p + g*p = -2*u for u.
4
Suppose 0 = 4*o + 2*m + 2*m - 136, 5*m = 2*o - 75. Let v = 35 - o. Suppose v*t = -5*t + 4*t. Solve -3*c + 9 = t, -5*d + c + c = -19 for d.
5
Let j = 465 - 460. Solve 15 = 4*n - 5, -3*n = -j*k + 10 for k.
5
Let j(i) = -10 + 9*i + 6*i**2 - 8*i**3 + 4*i**3 + 3*i**3. Let u be 1/(6*(-5)/(-210)). Let a be j(u). Solve 5*c = -2*n - a, 8 = 2*c - 2*n + 6*n for c.
-2
Suppose 103 = -4*d + 3*j + 294, -4*d + 184 = 4*j. Suppose -d = 5*n - 62. Solve -4*p - 5 = -3*f, -n*f = -5*f - p - 15 for f.
-5
Let v = 21783 + -21781. Let p = -5 + 10. Solve -2*o + 4*o = -v, q - p*o = 10 for q.
5
Suppose -2*f + 14 = 0, -3*f = 179*r - 177*r - 105. Solve -22 = 38*t - r*t - 5*i, t - 4*i + 5 = 0 for t.
3
Let o = 127 + -117. Suppose 0*q + 25 = -5*q - 5*p, 0 = 3*q + 2*p + o. Solve q = 4*r + 2*l - 7*l - 27, -2*l = -r + 9 for r.
3
Let d(c) = 3*c**2 - 7*c - 6. Let u be d(-1). Solve -u*g - 4*z = 40, -3*z + 10 = -4*g + 5 for g.
-5
Let l be 12/(-10)*(-23)/(-69)*(2 + -7). Solve -128*z = l*r - 127*z - 9, -2*z + 2 = 0 for r.
4
Let y(d) = -89*d - 440. Let u be y(-5). Solve 0 = 3*k - 2*m - 1, k + u = 2*m + 4 for k.
1
Suppose 3*g = -11*g + 26*g - 444. Solve y = 5, -4*t + 81*y - 76*y = g for t.
-3
Let p = -93 - -118. Suppose 4*r + 2*n = 6*n - 68, 2*r + n + p = 0. Let l be (-10)/(((-1)/3)/(r/(-12))). Solve 2*m + 14 = -4*i, -4*i + 4*m = -m + l for i.
-5
Let g = 2888 + -2884. Solve -3 = 2*f + 5*b, -f + 4*f - b - g = 0 for f.
1
Let b = 17585 - 17560. Solve 4*x - b = 3*g - 12, 16 = 4*x for g.
1
Suppose 2*u - 31 = -2*j + u, j + u - 18 = 0. Suppose 53 = j*x - 38. Suppose 30 = -z + x*z. Solve -14 = -z*d - 2*t, 15 = 5*d + 5*t - 5 for d.
2
Let o = -208 + 208. Let m be (o + (-12)/9)/((-28)/42). Solve 4*p - 3*p = 3*t + 9, -8 = m*t for p.
-3
Let m be (19 + 1)/(14 - (-1443)/(-104)). Suppose 61*g - m = 145. Solve -5*i = -5*z + 30, -4*z + 5 = g*i - 10 for i.
-1
Let o = -10 - 132. Let t = -137 - o. Solve -16 = -5*d + 2*s, 0*d = -3*d + t*s + 21 for d.
2
Let p = -4402 - -4416. Solve 3*d - 4*k + p = 0, d - k = -6*k + 27 for d.
2
Suppose 0 = -23*p - 652 + 767. Solve -4*s + u - 3 = -4, 20 = 5*s + p*u for s.
1
Let m = -1122 - -1127. Solve -8 = -4*h + 6*h + 3*a, -m*a = -5*h + 5 for h.
-1
Let g = -155 + 166. Suppose 5*o + g*k = 6*k, o + 2*k + 3 = 0. Solve -o*h + 2*b = -0*b + 7, 0 = -3*h + b - 8 for h.
-3
Suppose -392 - 34 = -122*w - 20*w. Solve 0 = -3*f + t - 1, 3*f + w*t = 15 for f.
1
Let i(d) = -10*d - 