 y + f for s.
-1
Let z = 45 - 36. Let x be (-2 + -4)*(6 + (-40)/6). Solve 3*k - 13 = -i - 5, x*k - z = -3*i for k.
3
Suppose -672*w + 132 = -639*w. Solve 0 = -4*g + 5*d - 35, -6*g = -w*g - 5*d + 25 for g.
-5
Let d(m) = -m**3 - 6*m**2 - 2*m - 7. Let f be d(-6). Suppose 0*k - f = -k. Let g be (-26)/624*0 + (-1 - -4). Solve g*q + 2*s - 1 = -5, 2*q + 10 = -k*s for q.
0
Let w be 45305/195 - (-1)/(-3). Let p = -232 + w. Solve 3*i - 5*y = 17, p = -2*i + 2*y - 3*y - 6 for i.
-1
Suppose 2*c - 2 = -3*n + 17, 4*n - c = 7. Suppose 4*s + x = 6, -x + 3 = -3*s + 11. Solve -4*r + s*d = -2, d + n = -0*d for r.
-1
Let c = 10506 - 10501. Solve n + 5*j = -3, c*n = 2*n - 2*j + 4 for n.
2
Suppose 3*v = -196*a + 199*a - 111, -4*a + 108 = 4*v. Solve -3*n - 27*p = -a*p, -3*n - 5*p = 30 for n.
-5
Let u be (1269/18)/(1/(12/(-9))). Let i = u - -98. Suppose 3*x = 5*x - 28. Solve -5*t + x + 17 = 4*a, i*a - 28 = -4*t for a.
4
Suppose -4*a + 6*u - 4 = u, -4*a + 4*u = 0. Suppose a*r - 2 = 6. Suppose v = -j + r, j = v - 0*v + 6. Solve 3*z = j*x + 17 - 52, x = 3*z + 20 for x.
5
Let b = 39648 + -39646. Solve 0 = -2*s + 4, 0*s + b*s = 5*u + 24 for u.
-4
Suppose -4*p - 3 = 58*x - 57*x, 2*p - 12 = 4*x. Solve p = s + 5*v + 3, -3*s - 3 = -2*v - 11 for s.
2
Let v(n) = -n**2 + 41*n + 580. Let l be v(52). Solve 4*q - 20 = l*q, -4*q - 4 = 4*h for h.
4
Suppose 0*z + 3*z = -o - 11, -3*o + 2 = 2*z. Solve -c = 4*t - o, t + 8*c + 6 = 6*c for t.
2
Let j = 1183 - 586. Let w = j - 593. Solve -11 + 27 = -w*x - 4*m, 4 = -m for x.
0
Let i(j) = -j**2 - 19*j + 842. Let g be i(21). Let l = 42 - 19. Solve 2*y = g*v + 3*v + l, -23 = -5*y + v for y.
4
Let o(w) = -w**2 + 109*w - 2546. Let c be o(34). Solve l + 4*p = -c, l - 2*p - 23 = -21 for l.
0
Suppose -303*f + 6 = -312*f + 24. Solve -9*i + 5 = -f*q - 8*i, -i = q - 5 for q.
0
Suppose -v = 0, 2*n = 4*v + 442 + 258. Let k = n + -348. Solve -4*t = k*z, -3*z + 2 = t + 4*t for t.
-2
Let o be (1*2/(-6))/(279/(-3348)). Let v be (10 - 0)/((-4)/(-2)). Let h be 30/v + 4/(-2). Solve 3*p - 4*m = -0*m + 1, 0 = o*p + h*m + 8 for p.
-1
Suppose 5*j - 7 = 43. Suppose 15 = -5*p + j*p. Solve i = 2*b + b + 3, p*i = -5*b + 9 for b.
0
Suppose r - 5*k = 4, 36 = 5*r + 4*k - 42. Suppose -2*s = -r*s - 288. Let m = s - -27. Solve -4*h + 2*q + 28 = 0, h = -m*q - 1 - 6 for h.
5
Let j be 390/7 + 19 + (-917)/49. Solve j - 61 = -4*g + t, -4*t = -4*g + 20 for g.
0
Let x = -89 + 308. Let h = x + -216. Solve h*c + 2 = 2*k, 2*c - 2*k - 2 = -3*c for c.
2
Suppose 3 = 5*y - 2*z, -5*y = 256*z - 254*z - 27. Solve -y*p = 2*i - 25, 3 = -2*p + 13 for i.
5
Suppose 2*i + 107 = 461. Let p = i - 164. Solve h + 4*v + 0*v + 7 = 0, -3*h - p = 4*v for h.
-3
Let r = 3552 + -3547. Solve 30*h - r*g + 4 = 34*h, g + 3 = 3*h for h.
1
Let o be 3 + -2 - (-7 - -5). Let x(q) = q**3 + 13*q**2 + 48*q + 72. Let w be x(-8). Solve o*u - 4*c - 4 = 0, 5*c = 3*u - 0*u - w for u.
-4
Let l = -128 - -127. Let r(y) = y**2 + 5*y + 6. Let a be r(l). Solve k - 4*d + 0*d = a, -4 = -2*k + 4*d for k.
2
Let z = 1013 + -1009. Solve z*n + 2 = -2*w, -w + 5 = 6*n - n for n.
2
Let h = -396 - 129. Let p = h - -529. Solve 3*l = 9, p*d - 3 = d + 2*l for d.
3
Suppose -3*j = 3*a - 24, -2*j = j + 5*a - 28. Let d be (-3)/(3/(-7)) - 3. Let p = d + 16. Solve -5*z + y = j*y - 25, 4*y - p = 0 for z.
0
Suppose 185 = -273*f + 310*f. Solve -y + 20 - 17 = t, -f*t + 8 = -2*y for y.
1
Let l(w) = 2*w**2 - 10*w - 468. Let r be l(-13). Solve 4 = -f - 5*y, r*f - 2*f - y + 1 = 0 for f.
1
Suppose 8*w - 30 = -27*g + 25*g, w = -3*g + 23. Solve c + g = -10*x + 12*x, 0 = -3*x + 4*c + 18 for x.
2
Suppose 5*r = r - 8. Let h be 9/(-18) - (r + (-6)/4). Solve -25 = 5*v - 5*d, -d + 15 = v + h*d for v.
-1
Let t = -634 + 654. Suppose -18*i - 7 = -u - t*i, -4*i - 1 = -3*u. Solve 2*n - 5*m + 10 = 0, -u*n - 4*m - 14 = 1 for n.
-5
Let w(s) = s**2 - 18*s + 34. Let q be w(17). Let g = -15 + q. Suppose -8 = -3*v - g. Solve -25 = -5*i - 2*j + 10, v*j = 10 for i.
5
Let i(s) = -42*s - 246. Let x(n) = 17*n + 98. Let h(k) = -5*i(k) - 12*x(k). Let u be h(-9). Solve m + 4*l - 11 = u, -4*m - 1 = -l + 2*l for m.
-1
Suppose -14*o + 34 = -134. Solve d = -z + 4, d - 3*z = -4 + o for d.
5
Let j be (-5 - 31/(-2))*-2. Let k = 37 + j. Solve -4*z + 22 = 2*t - 5*t, -5*z = 2*t - k for z.
4
Let j(c) = 4*c**2 + 0*c - 3*c**2 - 8*c**2 + 3 - 2*c. Let h be j(-4). Let x = 103 + h. Solve 2*t = -4*o - 12, -2*t - x*t - 5*o = 9 for t.
4
Let x = 637 + -635. Suppose 2*c = 5*o - 14, -8*c + 7*c + x = 2*o. Solve 3 = o*n - 3*r, -3*n - 8 = 2*r + 7 for n.
-3
Suppose -2*f - 3 = -9. Suppose 22*d - 24*d + 32 = 0. Suppose 3*y - 17 = 5*v - 49, 0 = -2*v + 2*y + d. Solve -v = -q - f*z + 2, -4*z = -q - 15 for q.
-3
Let d(c) = 2*c**2 + 156*c + 2700. Let v be d(-54). Solve 0 = -5*i - 5*a - 25, 109*i + 5 = v*i + 4*a for i.
-5
Let a(m) = -m**3 + 18*m**2 - 31*m + 238. Let o be a(17). Solve 0 = -65*r + 69*r + 4*j - 24, o = 4*r - 2*j for r.
2
Let k be 66/(-18) - -3 - 352/12. Let x be k/60 + (-18)/(-4). Suppose -12*l + 8*l + 48 = 0. Solve 4*t - 4*z - z - 3 = 0, 4*z = -x*t + l for t.
2
Let x(p) = 2*p - 12. Let r be x(0). Let w be (2/6)/(2/r). Let g be 3/w + (-7)/(-2). Solve -b = -g*v - 3 - 6, 4*b + 8 = -3*v for v.
-4
Let h = 978 + -565. Let m = h - 386. Solve 3*p = -4*r + m, 0 = r + 3*p - 13 - 5 for r.
3
Let u = 2915 + -2910. Suppose -3*s - 6*p + 20 = -p, -5*p + 5 = 0. Suppose s*w = w. Solve -2*h + 5*k + 19 = -w*h, 0 = -u*h - 2*k - 25 for h.
-3
Suppose -5*q = -v - 18, 0*q = -v - q + 6. Let l be -46 - v/1 - -3. Let m = l - -55. Solve -4*o = f - 17, -5*o = -f - m - 18 for f.
-3
Let c be (0 - (-1 - -4))/(((-7)/7)/2). Solve 2*l + 4*k = c, 19*k - 17*k = 2*l for l.
1
Let b(p) = 2*p**3 - 35*p**2 + 135*p + 94. Let i be b(11). Solve -z - i = -a, -2*z + 4 = a + 7 for a.
3
Let u(n) = 217*n - 2604. Let y be u(12). Solve 5*c - 10 = y, 3*r + 5*c + 0 = -2 for r.
-4
Let v(t) = t**3 + 14*t**2 + 24*t - 97. Let o be v(-11). Solve -4*l - 5*x = -7, 5*l + o*x - 15 + 2 = 0 for l.
3
Suppose 11504 - 5669 = 15*i. Solve -4*y - 20 = -3*n, 3*y - n + i = 374 for y.
-5
Suppose -4*c + 5*w + 5 = -8*c, -4*c + 3*w = -3. Suppose 9*k + 3*k = 0. Solve c = d - b - 2, k*d + 5*d = 3*b for d.
-3
Suppose -25*t + 162 = -7*t. Suppose 5*o - 14 = -4*d, 4*o - t*d = -8*d + 7. Solve -5*u = -3*m + 4, -u + 5 = 2*m - o*u for m.
3
Let u(k) = k**3 - 10*k**2 - 63*k + 598. Let a be u(12). Solve 133*b - a*b + 21 = 3*g, 3*b - 3 = -3*g for g.
4
Let r(y) = y**2 + 6*y + 13. Let b be 2*(3 + (-9)/6) + 0. Let w be (-21)/6*(b + (-1 - 0)). Let t be r(w). Solve 5*o = -t, q + 0*q = 2*o + 10 for q.
2
Suppose 0 = -4*o - 5*k + 1439, 4*k + 1809 = 4*o + o. Let z = o - 358. Solve 4*f = -z*l + 14, 0*l + 3*f = -4*l + 14 for l.
2
Let k be (14 - 9)/(2/2) + -1. Suppose 0 = -s - l + 6, 2*s - 5*l + k = -19. Solve -3*n - s = -2*y, 3*n + y + 19 - 6 = 0 for n.
-3
Suppose 0 = -2*z - 17 + 7. Let k(j) = j**3 + 6*j**2 + 5*j. Let y be k(z). Let w be (-5)/((25/(-15))/((-92)/(-69))). Solve 4*b + u - 9 = y, -1 = 3*u - w*u for b.
2
Let d(a) = -5*a - 69. Let u be d(-14). Suppose 2*f - 4*n = -3 + u, 5 = -f + 4*n. Solve -5*q + f*t - 16 = 0, 0 = 2*t + 4 + 2 for q.
-5
Let x(r) = -r**3 - 38*r**2 - 263*r - 15. Let a be x(-9). Solve -3*g - 12 = h - 15, -2*g = -a*h + 9 for g.
0
Let q be (3 - 2)*-2 - -354. Suppose -355*c + 12 = -q*c. Solve 28 = -3*h - 3*o + 4, c*h = o - 7 for h.
-3
Let a = -41 + 67. Suppose a*o - 21 = 23*o. Suppose 8 + 6 = o*d. Solve 5*f + 5*w = -5, -d*f + 0 = -3*w - 3 for f.
0
Suppose 3*u - a - 61 = 0, 0 = -3*a - 3 + 9. Suppose 29*t = u*t. Solve x = -4*o + 8, -4*x + 4*o - 8 = -t*o for x.
0
Let q(y) = 5*y**2 - 61*y + 11. Let c be q(12). Let j be c/1 - -9 - 20/4. Solve -i - 4*i - 33 = -4*g, 0 = -i - g - j for i.
-5
Let v(o) be the first derivative of -1/2*o**4 + 0*o**3 - 5 + 0*o**2 + 0*o. Let w be v(-1). Solve 2*d - p - 5 = -w, 5 = p for d.
4
Suppose -2*c - 2*c + 12 = 0, -3*k - 2*c = -6. Let d(s) = 9*s + 327. Let g be d(-36). Solve 4*a + 3*i + 14 - 3 = k, 0 = 2*a + g*i + 1 for a.
-5
Suppose 574*o = 568*o + 36. Let h(k) = -5*k + 10. Let a be h(2). Solve a*r = r + 3, 3*r = -3*p + o for p.
5
Let m(j) = 16*j + 15. Let o be m(3). Let u = 57 - o. Let z be ((-6 - u)/4)/(0 + 2). Solve 3*v = -h - 6, z = 2*h - 3*h for v.
-2
Suppose 0 = 3*r - r - 20. Let v(q) = -13*q**2 - 6*q + 12*q**2 + 15*q + 12. Let g be v(r). Solve x + 