e c(-6). Suppose r*i - 3 + 5 = -2*n, i - n - 9 = 0. Solve a = -2*s + 5*o - 6, o = s - i*o + 8 for s.
2
Let w = 25154 - 25150. Solve -75*o = -71*o - w*n, -20 = -3*o - 2*n for o.
4
Suppose -168*k - 4*g + 26 = -173*k, -3*k + 3*g = 21. Solve 0 = -3*y - 12, k*a + 3*y = -40 + 14 for a.
-7
Suppose -3*u - 2*f + 27 = 0, -7*f + 2*f = -30. Solve 0 = -u*a - 2*h - 6, -3*a + 9 = -5*a - 3*h for a.
0
Let s = -262 - -266. Suppose s*n = m - 9, -2 - 4 = -2*m - 4*n. Solve -4*c + 0 = -4*g + 24, m*c + 3*g + 14 = 0 for c.
-4
Let h = 4411 - 4403. Solve -h = -z - 5*d - 15, -2*z + 4*d = -14 for z.
3
Let w = 22 + -17. Suppose 2*d = 4*f + 4*d - 142, w*f - d - 167 = 0. Suppose 3*b + 4*q = 5*q + f, -b + 2*q = -3. Solve 0 = t + 4, -h - 3*t + 3 = b for h.
2
Suppose -15 = -3*t + 6. Let h be 2 + 56/49 + (-1)/t. Solve 3*x = -h*z + 2*z + 15, 5*x = -5*z + 25 for x.
5
Suppose 4 = -p - 3*c, 2*p = 7*p - c - 44. Suppose p*a = -7*a + 285. Solve 2*q + j - 1 = 0, -j = -3*q + j + a for q.
3
Let n(y) = -52*y - 34. Suppose -l + 114 = 115. Let m be n(l). Solve 0 = 3*x - t + m, 3*x + 0 = -3*t - 6 for x.
-5
Let w be ((-26)/143)/((-2)/22). Solve 0*k + 10 = -w*k - 2*b, -17 = 3*k + 5*b for k.
-4
Let m(p) = -p**3 + 2*p + 38*p**2 - p - 39*p**2. Let f be m(-2). Let r be 16/24*9/f. Solve 0 = -r*o + 4*q - 21, -2*o + 5*q = -6*o + 3 for o.
-3
Let g be (-11)/7 + 1 - 810/(-21). Suppose 117 - 3 = g*l. Solve -3*y = -3*u, 3*y - 5*u - 3 = l for y.
-3
Let w(v) = -v**2 + 11*v - 20. Let i(n) = -6*n + 140. Let q be i(22). Let s be w(q). Solve 0*a + s*a - 4 = 3*u, 8 = 4*a - 2*u for a.
4
Suppose 0 = 5*v + 2489 - 2494. Solve 4*x = -x + 4*r, -v = x - r for x.
4
Let x be ((-3)/3)/(195/25 + -8). Solve 6 = -4*p + p + 3*n, 4*p + x*n + 17 = 0 for p.
-3
Let h be 9*-1*112/(-12). Suppose 33*t - h = 12*t. Solve 2*z - u = -5, 3*u = t*z - 0*u + 13 for z.
-1
Let a(u) = 4*u**2 + 1. Let v be a(1). Suppose -3*k - 60 = -8*k. Let n(f) = 6*f**2 - 93*f - 383. Let y be n(19). Solve y = -4*c + v*o, 4*o = o + k for c.
1
Let u be ((-4)/24 - (-441)/54) + -2. Solve 0 = 3*v - 5*w + 19, -u*w + 2 = -5*w for v.
-3
Let o be 5 + (6 - 351/(-3)). Let t = o - 124. Solve -z - 12 = 3*k, -t*z + 3*k = 1 - 13 for z.
0
Suppose 5*n + 4*r = 45, 4*r + 5 = 4*n + n. Suppose -3*p - 15 = -3*c - 8*p, -c + n*p - 15 = 0. Solve -2*u - v - 8 = c, -2*v - v - 22 = 5*u for u.
-2
Suppose -16*h = -13*h - 75. Suppose -12*x + h = 1. Solve -3*d = 4*o + 1, -12 = 6*d - x*d for o.
2
Suppose 0 = -161*i + 174*i - 52. Solve -16*f - 3*h = -13*f + 18, 0 = -i*f + 4*h - 8 for f.
-4
Let g be ((-12)/(-36) + (-129)/(-18))*(-10)/(-25). Solve 4*r - g*l = -11, -10*l + 14*l - 22 = -2*r for r.
1
Let m = 4954 - 4952. Solve 2*q - m*v = -3 - 3, 5*q = -3*v + 1 for q.
-1
Let k(f) = -4*f - 5. Let x be k(-11). Suppose 0 = 5*c - 3*r + 135, c + 4*r = 7*r - x. Let j = -17 - c. Solve -3*h + 6 = 0, -2*y + j*h - 20 = 2*h for y.
-5
Let t = 12 + -10. Suppose -186*b + 184*b + 10 = 4*h, h + 5*b + 20 = 0. Solve -u + 19 = 5*g, -h*g + t*u + 18 = 4*u for g.
4
Suppose 114 = 8*z - 86. Let h be 90/z - 3/5. Suppose 0 = -f + 2. Solve -h*w = -l - 6, 0 = -f*l + w + 5 - 2 for l.
3
Let d = -4329 - -4335. Solve 3*o + 9 = 0, 3*o + d + 3 = 4*q for q.
0
Let f = -2230 + 2234. Solve -w + 79 = 4*b + 67, -f = -3*w - 4*b for w.
-4
Let d(x) = 10*x + 408. Let p(b) = 16*b + 612. Let t(a) = -7*d(a) + 5*p(a). Let f be t(-18). Solve 14 = 4*w - 2, -4*i - 5*w = -f for i.
1
Let n(z) = 3*z**2 + 15*z + 12. Let s(w) = -w**2 + 10*w - 6. Let h be s(10). Let r be n(h). Suppose -6 = -31*v + r*v. Solve -a = g - v, 7*a = 3*a - g + 21 for a.
5
Suppose 28*s - 39 = 22*s - 7*s. Solve 11 = 4*m + 3, 15 = -3*d + s*m for d.
-3
Let v be 37/74*(0 + 5 + -1). Let g be 8 - (v/(-13) + (-111)/39). Solve 0*l = -2*q - 4*l - 14, 0 = -4*q + 5*l + g for q.
-1
Suppose 5*i = -2*w + 256, -11*w + 8*w = -2*i + 110. Let a be 2/(-4)*i/(-26)*0. Let s be ((-2)/6)/(1/(-15)). Solve s*n - 15 = 0, -2*h + 4*n = -a*n + 16 for h.
-2
Let x(c) = -c**3 - c. Let i be x(0). Let d(y) = -4*y - 95. Suppose 0 = -12*s - 104 - 196. Let b be d(s). Solve -b*m - 4*u + 20 = -3, u - 2 = i for m.
3
Let y = 137 + -126. Suppose -r + 6*w + 28 = y*w, -2*r = -2*w - 8. Solve 0 = 5*p + 3*o - 0*o - r, -5*p + 1 = -4*o for p.
1
Let w(f) = -59*f - 118. Let j be w(-2). Solve -2*s = 2*i - 2, -i + 4*s = -j*i - 1 for i.
1
Let v = 1797 - 1794. Solve -3*w + l + v = -w, 2*w - 5 = -l for w.
2
Let t(a) = -4*a + 52. Let k be t(14). Let i(h) = 3*h**2 + 16*h + 18. Let y be i(k). Solve 3*c + 1 = o, -y*c = o - 4*c for o.
-2
Suppose 573*j - 3136 = -271. Solve j*z = -i + 2*i - 4, -4*i = -4*z for z.
-1
Let o(y) = y**2 - 4*y - 5. Let s be o(5). Let j be -3 + -1 + 10 + 1. Suppose -j*f + 7*f = -5*f. Solve s = -3*c + 4*l - 4 - 23, c + 2*l - 1 = f for c.
-5
Suppose 0 = -97*g + 52*g - 1395. Let d(m) = 3*m**2 + 95*m + 64. Let s be d(g). Solve 3*o - 3 = -2*v - s*o, 0 = 2*v + 2*o for v.
-1
Suppose -193 = -4*q - 3*b - 2145, 2*b - 8 = 0. Let y = q - -491. Solve 2*p + 1 = -y*g + g, 0 = -3*g - 9 for p.
-2
Let n(v) = 187*v + 190. Let o be n(-1). Solve -4*l = -c + 1, -o = c + 3*l + 3 for c.
-3
Let u be 3 + ((-255)/(-170))/(((-2)/(-4))/1). Solve 0 = -2*x - 2*x - 5*l + u, x - 2*l - 8 = 0 for x.
4
Suppose -112*k + 1924 = 121 - 325. Solve 6 = -2*v + 4*w + 28, -v = -4*w - k for v.
3
Let k = 58 + -53. Suppose 0 = 2*h - k*s - 16, s - 22 = h + 6*s. Let a be h*((-3)/3 + 0). Solve 3*q + 8 = -2*c, 0*c + a*q + 16 = 4*c for c.
2
Let o be -5 + 17 + (-55 - -60). Suppose -13 = -4*d + 3. Suppose d*v - 2 - 14 = 4*s, 4*v - 15 = 3*s. Solve -4*r + v*t - 8 = 4*t, 2*t - o = 3*r for r.
-3
Let j be 12/(-9)*(-32 - -5). Let y = -19 + j. Suppose 3*t + y = 4*t + v, -68 = -4*t - 2*v. Solve t = 5*x + 3*c, 2*x - 2*c = -x - 5 for x.
1
Suppose -3*q - 4*b = 426, 4*b + b - 284 = 2*q. Let y = q + 145. Suppose -15 = -5*k - 0. Solve -5*s + 3*s + k*n - 8 = 0, -13 = y*s - 5*n for s.
-1
Suppose 0*m = 2*m + 4*x + 4, -5*x - 6 = 2*m. Suppose -7 = -y, 315*g - 65 = 319*g - 11*y. Solve g*u = -m*j - u + 28, 3*j - 3*u = -3 for j.
4
Let f(n) = n + 10. Let q be f(-7). Suppose -2*d - 10*m = -6*m - 4, -2*d = 5*m - 5. Solve 5*t - g - g - 7 = d, 15 = t + q*g for t.
3
Suppose 8 = 9*h - 1. Let t be (h + -7)/(-2 - 8/(-6)). Suppose t*v - 55 = -2*v. Solve 0 = v*p - 2*p - 5*r - 15, 0 = r + 3 for p.
0
Let l = -608 + 610. Suppose 0 = m - 2*f + 8 - 2, 0 = -l*m - 3*f + 23. Solve -5*x + 23 = 2*h, m*x = -4*h + 5*x + 13 for h.
4
Let j be -3 + -1 + 2 - 1. Let m = 1166 + -1166. Let s be (-3)/9*(m - -5)*j. Solve -2*h + 2 = -6, -s*h + 24 = o for o.
4
Let t = 7 + 21. Let w(s) = -s**2 + 5*s + 11. Let y be w(6). Let a be (-66)/(-14) - 4/(-14). Solve -f + t = -5*f - a*c, y*c = -5*f - 30 for f.
-2
Let x(l) = 3*l**2 - 90*l + 87. Let j be x(29). Solve j*a = -5*a - 4*s + 16, -2*a - s = -7 for a.
4
Suppose 0*v - v + 2*f + 12 = 0, -5*v = -3*f - 32. Suppose v*x = -26 + 122. Let z be 3 + x - (-2)/(-1). Solve s = -5*b + 2*s + z, b = -s - 1 for b.
4
Let j(c) = 6*c + 2. Let i be (-135)/(-10)*(-8)/(-12). Let m be j(i). Let t = 59 - m. Solve -3*n = -4*n - 2*q - 5, 3*n - 3*q = t for n.
-1
Suppose 0 = 5*j - 6*a + 5*a + 140, 4*j + 3*a = -131. Suppose -5*t + 12 + 3 = 0. Let r be j/3*(-12)/(1 + t). Solve 4*q - 5*k = 8, -5*q - 4*k = r + 2 for q.
-3
Suppose 0 = -5*j + 2*j + w + 11, -5*w = -4*j + 22. Solve -4*s = z - 5, s + 2 = z - j for s.
0
Let g(n) = -2*n + 2*n**2 - 3*n + 115 - 108. Let r be g(7). Let w = r + -67. Solve 2*b + w*p + 9 = 7*b, -3*b + 4*p = -1 for b.
3
Suppose 26*r - 83 + 31 = 0. Solve 3*w - 4 = t, 2*t - 8 = -4*w + r*w for t.
2
Let a be -7 + -7 + 12 + 6/((-6)/(-5)). Solve 17 = -4*v - a*c, -4 = -4*v - 2*c - 18 for v.
-2
Let m be (1/1*1)/(((-1333)/155)/(-43)). Suppose -5*n - 4*v = -92, n - 3*n + v = -42. Solve -2*x + 2*f = -7*x - 21, 2*x + n = m*f for x.
-5
Let b(l) = 25*l + 355. Suppose 0 = -33*x - 741 + 279. Let n be b(x). Solve -17 = 5*f - 4*w - 8, 5*f + n*w = -45 for f.
-5
Let n be (2/(-4))/(6/(-480)). Suppose n = 4*d - 4. Let c(g) = -g**3 + 12*g**2 - 11*g + 11. Let k be c(d). Solve -z - 6 + 0 = x, z = -2*x - k for x.
-5
Let l = -448 - -455. Solve 4*p - 26 = 5*q, -l*q + 5*p - 24 = -5*q for q.
-2
Let j(g) = -g**2 - 71*g + 1295. Let i be j(-86). Solve 7*z - 5*z = -o + 3, -2*o - 5*z = -i for o.
5
Suppose -12*y + 61 = 13. Suppose 3*r - 25 = 5*u, -y*r - u + 10 + 8 = 0. Solve 3*a - r*a = -10, t + 4*a - 20 = 0 for t.
0
Let