 0*y - 20, d + v*y = -5 for d.
-5
Suppose -2*i - 2*q + 4 = 0, 17*i - 4*q = 19*i - 4. Solve 0 = -5*t - 5*s + 30, s + 4*s = -i*t + 27 for t.
1
Let a(o) = o**2 - o + 1. Let n be a(2). Let f(z) be the first derivative of -z**2 + 21*z - 6. Let k be f(n). Solve -3*i + k = 0, 2*b + 5*i - 12 = 15 for b.
1
Suppose 20*c + 372 = 512. Solve 0 = -m - s + 6, 3*s + 13 = m + c for m.
6
Let r be 3/4 - (-4)/((-176)/(-1243)). Let l(y) = 2*y**2 - 4*y - 1. Let x be l(5). Let b = x - r. Solve 4 = -3*z - 3*h - 2, b = 2*z - h + 13 for z.
-5
Suppose 0 = -3*n + 4*b + 1139, 5*n = -b + 28 + 1855. Let v = -375 + n. Solve -v*m + 0*m = -3*o - 11, -2*m - 2*o = 14 for m.
-2
Suppose 5*y = -4*n - 110 - 55, -3*n + 2*y - 118 = 0. Let q be (-1)/(-5) - 992/n. Solve -a + 0*a = 3, 0 = -2*o + 5*a + q for o.
5
Let f(a) = 120*a - 11. Let b be f(2). Let d = b - 226. Solve 2 = -5*u - 3*z, -u - d*z - 10 = -0*u for u.
2
Suppose -3*s = -5*n - 58, 0 = 1834*s - 1833*s + 5*n + 34. Solve -s = -2*p, -5*v + 19 = -4*v + 5*p for v.
4
Let c(g) = 5*g + 115. Let y be c(-23). Let z be ((-12)/24)/((-2)/36). Suppose z*t + 7*t - 64 = y. Solve -2*w + t*u - 23 = -3, w - 3*u + 14 = 0 for w.
-2
Let t be (-16269)/(-867) - (-28)/119. Solve -5*r + t = 4*b, -11 = 5*r - 26 for b.
1
Let h(q) = -q**3 + 56*q**2 - 269*q + 5835. Let o be h(53). Suppose 2 = -g + 2*g. Solve 0 = t + 5*a - 18, 4*t - 5*a + o = g for t.
3
Suppose -4*q + 22 = h, -145*q + 143*q + 20 = 5*h. Solve -5*u = q*x + 35, -3*u + 0*x - 24 = 4*x for u.
-4
Let n = 1293 - 1289. Let y(w) = 2*w - 7. Let a(s) = -2*s + 7. Let g(k) = -6*a(k) - 5*y(k). Let b be g(n). Solve 4*m = 3*t - 4, -m + 2*t = 3*t + b for m.
-1
Let z(r) = -17*r - 13. Let h be z(-1). Suppose h*o + 6 = 2*o + 4*u, -2*o - 3*u + 8 = 0. Let x = 22 - 17. Solve -o + 17 = 4*q + 4*p, 2*q + 6 = x*p for q.
2
Suppose 0 = -0*y - y + t + 7, -y = 4*t + 8. Suppose -1741*u = -1771*u + 180. Solve -6 = -y*h + 2, 0 = -5*o - 3*h + u for o.
0
Suppose -q + 1 = b, -3*q = 5*b - 5*q - 12. Suppose -b*p - 53 = 3*o - 75, 0 = 2*p + 2. Solve -2*w + l - o = 0, -4*l + 16 = -4*w - 3*l for w.
-4
Let i be 14/6 - (-4)/6. Let t(b) = 169 + 146 + 2*b**2 + 7*b - 341. Let y be t(-6). Solve -q + y*q + 5*z = 31, i*z = q + 13 for q.
2
Let n(p) = -p**3 + 3*p**2 - p - 3. Let j be 3/4 - (-49)/(-28). Let x be n(j). Solve 20 = -5*u - 5*k, 2*k + x*k - 16 = 4*u for u.
-4
Let c be 0/2 - (0 + 0). Let f(s) = 387*s - 7. Let o be f(4). Let h be 2/(-23) + 6298/o. Solve y = h, y = -z + 7 - c for z.
3
Let h(l) = -6*l**3 - 35*l**2 - 29*l - 207. Let y be h(-6). Solve 5*i = 5*m - 20, 2 + 5 = -2*m - y*i for m.
1
Suppose 12*z = -5*u + 13*z + 8, -3*u + 6 = -z. Suppose -6*x + 5 = -x. Let k(b) = 9*b + 1. Let m be k(x). Solve -4*h + 2*d + m = 0, -4*d + u = -3 for h.
3
Let z be (-6 - 252/(-30))*(-1 + 18/8). Solve 2*c = 5*u + 5, -z*c = 2*u - c + 16 for u.
-3
Suppose -4*k - 61*k - 30*k = -285. Solve 2*x - u + 5 = -4*u, 11 = -2*x + k*u for x.
-4
Let l(y) = y + 12. Let n be l(-8). Let w be -1 + -3 - -32 - 4. Suppose 4*b - w = -2*b. Solve -3*d - b*x = -20, -n*x + 21 = 1 for d.
0
Suppose 0 + 20 = 4*f. Let x be 5662/(-32) - (-57)/(-912). Let p = 177 + x. Solve 3*u - 5 = -f*n, p = 5*n - 0*u + u + 5 for n.
-2
Let p(c) = -2*c + 16. Let f be p(6). Suppose -f*l + 4 = -6*l. Let r be 1*(2 - 1)*(3 - l). Solve 0 = 2*m - 3*k + 3 + 5, -5*m = r*k - 5 for m.
-1
Suppose 5*y - 21 = -2*k, 2*k + 11 = 3*y - 8. Solve -5*x - 20 = -0*l + 2*l, -27 = x + y*l for x.
-2
Suppose -v - 2*j + 1 = -6, -4 = -v + j. Let t be (1 - 2)/((-3)/3). Suppose -n - t = -5. Solve -v*q - n*h + 13 = -0*h, -h = 3 for q.
5
Let x = 3061 - 3056. Solve 4*a = -4*o - 4, 2*o + 17 = -x*a + o for a.
-4
Let x(c) = -c + 94. Let l be x(29). Suppose 20*i - l = 15. Solve 4*d - 3*d - 3 = 5*a, -i*d = -5*a - 12 for a.
0
Suppose 5*d - 50 = -5*n, 4*d = n + 1 + 19. Solve -10 = -o - l, 0 = -n*o + 4*l - 30 + 54 for o.
8
Let x be (-1)/1 + -1 - -9. Suppose 4*l = -15 + 87. Suppose 2*y = 5*r + 26, 4*y - 2 = 2*r + l. Solve y*d - 2*k = -x*k + 40, -2*d = -2*k for d.
5
Suppose -j = 4*n - 568, j = 3*n + 134 + 420. Let t = -558 + j. Solve 0 = -4*u - 2*v + 26, 0*v + t*v = -3*u + 22 for u.
4
Let y(q) = q**3 - 4*q**2 + 5*q - 2. Let h be y(3). Let d = h - 1. Suppose -12*v + 103 = 43. Solve -4*f - 9 = -v*w + 4*w, 12 = -w - d*f for w.
-3
Let v be (-2523)/(-116)*(-8)/(-6). Suppose -18 = -2*n + 2*w, -6*n - 5*w = -3*n + 13. Suppose -n*c + v = 9. Solve c*l + 23 = -3*y, 0 = -5*y + 2*l - 0 + 3 for y.
-1
Suppose 4*u - 16 - 64 = 0. Suppose u = 2*w + 3*w. Let z be ((-5)/2*6)/(-3). Solve z*t - w*b = -18, -5*t - 17 = -5*b + 3 for t.
-2
Let n be 6/(-5)*(-10)/4. Suppose -3*o - 7 = -16. Suppose -2*b + 21 = 3*c, -86 + 11 = -5*b - 3*c. Solve -b = -q - 6*f + f, -o*q = -n*f for q.
3
Let p be ((-6)/4)/(3/4). Let a(q) = q**2 + 4*q + 7. Let z be a(p). Suppose -8*s + 21 = -z. Solve -3*o + d + 3 = 0, 4*d = -s + 15 for o.
2
Suppose 4*z + t = -3, -7 = 4*z - 5*t + 2. Let u(g) = -5*g**3 + g**2 - g - 2. Let i be u(z). Solve 2*j = -2*j - a + 1, 21 = 4*j + i*a for j.
-1
Suppose -3*y + 21 = 3*t, 27*t - 31*t = -5*y - 10. Let x be (4/(-14))/(t*(-5)/175). Let r = -1 + 1. Solve -2*k - m - x*m = -12, 3*k - 3*m - 3 = r for k.
3
Suppose -4*m + 12 = 4*a, -5*a + 18 = -41*m + 43*m. Solve -40*s = -37*s + 15, -a*c = -5*s - 5 for c.
-5
Let l be (-5)/2*((-3)/15 - -1). Let t be (-3 - 0) + (-3)/(l + 1). Let p be (-99)/(-5) + 5/25. Solve -28 = 2*m - 5*n, t*m + 2*m - 3*n + p = 0 for m.
-4
Suppose -d = 8*d - 18. Suppose 0 + 4 = d*t, -4*x + t = -18. Solve -5*z - 5*i = -0*i - 25, -x*z + 17 = i for z.
3
Let y = 180 - 172. Suppose -y = 4*w - 12. Solve -t + 4*t + w = -5*d, -4*t - 4*d - 4 = 0 for t.
-2
Suppose -15*y + 1710 = -2310. Let p = -264 + y. Solve 5*j = -p*g + 36, -2*g - 5*j + 17 = -11 for g.
4
Suppose 3*t = -2*g - 5, -387*g + 384*g + t + 9 = 0. Solve 5*h + 33 = g*r, -5*r = 2*h + 17 - 27 for r.
4
Let g(c) = -c**3 + 8*c**2 + 29*c + 15. Let b be g(10). Let x be (-70)/b*(-114)/4. Solve y = 5*h - 3*y + x, 3*y = h + 6 for h.
-3
Suppose 177*f - 442 - 266 = 0. Let v be 1/(-4) + (-117)/(-4). Solve f*s - 2*n = 2*n - 8, -4*n = 3*s - v for s.
3
Suppose 6 = -3*u, u + 382 = 2*f - 4*u. Let k = f - 174. Solve 4*x + 2 = -2*y + 8, -3*x + 4*y = k for x.
0
Let k(f) = -f**2 - 94*f + 393. Let g be k(4). Suppose m + 3*x - 3 = 0, 0 = 3*m + 3*x - 4*x - 9. Solve -4*p = -m*u - 19, -p - g = -2*u - 12 for u.
-5
Suppose 5*k + 2 = -18. Let y(b) = 3*b + 16. Let p be y(k). Solve -p*g + 2 = -5*g - t, 0 = -5*g + 4*t + 35 for g.
3
Suppose 9*q - 11*q - 4 = -5*x, 0 = -6*q - x + 84. Let k(i) = 2*i**3 - i + 1. Let h be k(2). Let y = h - 12. Solve y*z + z + 5*w = q, 0 = 3*w - 3 for z.
2
Suppose 3*f + 5*s = 8*f - 35, 3*f - 9 = -3*s. Suppose -5 = -7*n - f. Let m = 0 + n. Solve m = -5*r + o + 5, -r - 2*o = 3*o + 25 for r.
0
Suppose 0 = 4*w + 2*k - 18, -4*w - 2*k = -2*w - 8. Let o = 179 - 109. Let z be (6/15)/((-4 + 6)/o). Solve i - w*t = 2*i + 8, 2*t + z = 5*i for i.
2
Let u be 38/12 + 95/(-570). Solve 5*i = q + 29, u*i + 59*q + 1 = 55*q for i.
5
Let x = -7328 - -7384. Solve -4*n = 4*c - 4, -16 + x = -5*n + 4*c for n.
-4
Suppose -21*x = -17*x + 4. Let d be 3786/45 - x/(-15)*2. Suppose -8*m + 28 = -d. Solve m = 3*c + 5*v - 4*v, 0 = -5*c + 2*v + 5 for c.
3
Suppose -1 - 58 = -5*k + 3*q, 0 = -2*q - 6. Solve 5*y - y + 7 = -m, -2*m - k = 4*y for m.
-3
Suppose -2*r + 5*x + 33 = 0, -4*x - 108 = -34*r + 29*r. Suppose r = 3*a + 9. Solve 15 = -l + 6*l, 3*d - 15 = -a*l for d.
0
Suppose 13*u - 5206 = 189. Let n = 417 - u. Solve l = 4, 0*l + n*l - 9 = v for v.
-1
Suppose 0 = -2*l + 3*j - 94, l + j = -l - 94. Let t = -29 - l. Suppose 9 + t = 9*b. Solve 5*o = 3*c - 34, c + 2*o = b*c - 16 for c.
3
Let x = 4 + -2. Let b be 1 + 150/(-170) + (-644)/(-17). Suppose b + 87 = 25*i. Solve -i*y - 5 = r, -31 = 2*y - 5*r - x for y.
-2
Let u = -339 + 201. Let q = u - -142. Solve 3*o = -6, 0 = -q*f + 2*o + 3 + 1 for f.
0
Let l = -624 - -360. Let r = l + 272. Solve 2*a + 10 = 4*c, -3*c - 4*a + r - 17 = 0 for c.
1
Let o = -9 - -19. Let h = 12 - o. Suppose -3*d = 14*x - 15*x - 6, 5*x - 15 = 0. Solve z - h*a - 3 = d*a, 4*a = -4*z + 12 for z.
3
Let x = -6932 + 6932. Solve l = 5*p - 14, x = -12*p + 8*p + l + 10 for p.
4
Suppose -108*a - g + 8 = -107*a, -g + 18 = 2*a. Solve 5*b + a = -5*h, 5*b - 2*h = h + 14 for b.
1
Let n be ((-45)/(14 - 11))/(3 - 6). Solve -5*u - 6 - 4 