9 = f, q - 3*q - 3 = -5*v for v.
1
Let o(w) = -2*w**3 - 29*w**2 + 13*w - 28. Let u be o(-15). Solve 8 = -4*v, u*r + 1 = 3*v - 1 for r.
-4
Suppose k = -2*k - 4*a + 16, 4*a = 5*k - 16. Suppose k*x + 0*x = 4. Let o be x + -1 - (-3)/1. Solve -3 = -3*t + 5*v, 0 = -3*t + o*v + v for t.
-4
Let r be (-15)/(-6)*(-7 - -3)/(-2). Solve 0 = r*y + 5, w + y + 6 = -y for w.
-4
Let w(l) = 27*l - 24*l - 3 - 4. Let q be w(3). Solve 4*v + 21 = q*o + 9, 0 = -o + 4 for v.
-1
Let o be 28/28*(2 - 6)/(-1). Solve 5*z - 4*x = -32, 5*z + 7*x + 11 = o*x for z.
-4
Let s = 15 - 19. Let p be 6 + s - (-1 + 1). Solve p*m - 13 = 3*q, 3*m - m + 22 = -4*q for q.
-5
Let w(v) = v**3 + 6*v**2 - 20*v - 22. Let l be w(-8). Solve 5*o + 5*u = -l, -3 = -5*u - 28 for o.
3
Suppose 3 = 5*x - 2. Let u be (-13)/(-3) + 3/(-10 + x). Let v = -15 + 40. Solve 0 = 4*s - t + 11, -5*t + u = -s + v for s.
-4
Let p = 60 - 123. Let k = 40 + p. Let w = -18 - k. Solve -j = -3*n + 11, n - w*j = 14 + 13 for n.
2
Let m = -726 - -732. Solve 4*q = t + 5 - 2, 0 = -2*t + 2*q - m for t.
-3
Suppose 5*p = 73 + 52. Let f be (20/p)/(2/5). Solve 2*x + 2*o = -6, 0 = x + f*x + 2*o + 7 for x.
-1
Let z be (11 - 9) + 8/(-1). Let s = -6 - z. Suppose 4 + s = r. Solve 5*j = 0, 4*j = r*u + j for u.
0
Let y(h) = -h**2 - 2*h + 1. Let k be y(1). Let t be (30/(-4) - -6)/(1/k). Solve 4*p + 6*x = 2*x + 40, t*p - 40 = -5*x for p.
5
Let p = -30 + 30. Let i be p/(-14) - (0 + -4). Solve i*y - 5 - 11 = -t, -y + 4 = -3*t for t.
0
Suppose -141 = -33*x - 75. Solve 0 = -2*h + x*t + 8, -5*h - 4*t - 16 = -4*h for h.
0
Let d(u) = u**3 + u**2. Let n be 1*1/(-3) + 10/30. Let h be d(n). Solve -8 = -3*i + i + k, -2*i + 4*k + 8 = h for i.
4
Suppose -5*v + 45 = 5. Let l = v + -7. Let o = 18 - l. Solve -3*a + z + o = 0, 6*a - 3*z - 21 = 3*a for a.
5
Let i(a) = -8*a + 1. Let t be i(-1). Let g(r) = r**2 - 5*r + 2. Let m be g(t). Suppose 4*k - m = 18. Solve -5*o - 3*p + 16 = -2, p + k = 5*o for o.
3
Let k = -28 + 41. Suppose -2*x - y + k = 0, 2*x - 8 = -0*y - 2*y. Suppose 0*v - 4*v = 0. Solve -n - 2*q = -v*n - x, 2*n - 9 = -q for n.
3
Let o = -6 - -8. Let c be (-8)/10*(-5)/o. Let z(m) = m**3 + 10*m**2 + 9*m + 2. Let n be z(-9). Solve -4 = -2*q - n*d - c, 0 = -3*q - 2*d for q.
-2
Let c(q) = -q**2 + 21*q - 24. Let g be (57/(-6))/(-1 - 1/(-2)). Let v be c(g). Solve 0 = -3*t - u - v, -u - 10 = 3*t - t for t.
-4
Let r = -89 - -97. Solve -5*m = -5, -4*q - 3*m - 9 = r for q.
-5
Suppose 206*z = 217*z. Solve 5*c - 25 = z, -2*d = 3*d - 3*c for d.
3
Let t = 36 - 12. Suppose -4*f + 2*q + 20 = 0, 5*f - 6 - t = 5*q. Suppose 0 = f*r - 56. Solve -2*x - r = -5*c, -2*c - 4*x + 24 = c for c.
4
Let j be 10/(-30) - (420/9)/1. Let c = -47 - j. Solve c = -5*v + m + 27, 0*m - m = 3*v - 13 for v.
5
Let j be (3/7)/((-1)/(-7)). Suppose -i + j*b = -1, 0 = -2*i + 6*i - b - 15. Suppose -o - i = -9. Solve -4*p - 4*f = 8, -3*p - 9 = 5*f + o for p.
2
Let p be (-252)/(-9) + 1 + -1. Suppose o = -o + p. Suppose -4*s - 5*u = -22, o = 2*s + 3*u + u. Solve 0 = s*g + 3 + 12, 3*m + 28 = -5*g for m.
-1
Let y(j) = -j**3 + 5*j**2 - 3*j - 5. Let f be y(3). Solve -4*i = -3*x + 4*x - 4, f*x = i - 18 for x.
-4
Let f = 16 - 12. Let j be 3/(-9) + 48/9. Let x be (6/(-10))/((-1)/j). Solve 2*y - y + z - 1 = 0, 32 = f*y - x*z for y.
5
Let m be -9*(3 - (-11)/(-3)). Let v = m + -4. Suppose -9 = -6*j + 3. Solve -v*o + j*d = -4, -2*o + 32 = 2*o + 4*d for o.
5
Let h be 15/9*(4 - 1). Let p be h + -1 - 0 - 8. Let j be -1 - (p - 15/(-5)). Solve j = 2*w - m - 4*m - 23, 2*w = -3*m - 17 for w.
-1
Suppose 0 = 14*a - 29 + 1. Solve -3*x + a*v = 2*x - 17, v + 16 = 5*x for x.
3
Let c be -6*3/(54/(-120)*2). Solve z - 4*z + 15 = 4*p, -2*p = 4*z - c for z.
5
Let u(p) = -17 - 4*p + 28 + 14 + 6*p. Let r be u(-10). Suppose 2*o + 0*t - 9 = t, -5*t - 21 = -2*o. Solve -2*i + 2*n - n = 2, 3*i + o = -r*n for i.
-1
Suppose -n - 510 = -5*j, -4*n + 2*n + 408 = 4*j. Let i = j - 98. Solve i*f = p - 12, -p - 3 = -f - 6 for p.
0
Suppose -16 = -5*a + v + 5, 2*a = -3*v + 5. Solve 2*g - 15 = k, 5*k - 1 + 6 = -a*g for k.
-5
Let d(h) = -h + 2. Let n be d(-2). Let c = -6 - -6. Solve 0 = k + n*i, c = k - 2*k + 4*i for k.
0
Suppose 37 = 6*d + 31*d. Solve -3*q - 3*f + 1 = -4*q, -f + d = 0 for q.
2
Let t = -6 - -9. Suppose 2*p = -3*p - 10. Let g be 1 - 0*(t + p). Solve 4*k - 5*f - 6 = 0, 5 = -2*f + g for k.
-1
Let h = -6 - -6. Suppose h = 4*n - 9 + 1. Suppose n*l = 2*b + 6, 0 = 2*l - 0*b - b - 6. Solve 4*o + 5*x = 3*x + 18, -o = -x - l for o.
4
Let k = -7 - -23. Suppose -3*z - 3*z + 402 = 0. Suppose 63*y - z*y + 56 = 0. Solve 2*a - k = 4*i, -2*a - y = -i + 3*i for a.
-2
Let d = 542 - 538. Suppose 0*f + f = 5. Solve z - 3*z - d*t = -12, 0 = -f*z - t - 6 for z.
-2
Suppose 5*z - w - 2 - 17 = 0, -9 = -3*z + 3*w. Let q = -16 - -19. Solve -2*j - 9 = -q*f, -z*j - 2*f = 2*f + 8 for j.
-3
Suppose 3*w - 125 = 5*c, 0 = 4*c - 2*w + 37 + 65. Let j = 33 + c. Solve j = -3*m - 5*v - 6, 4*m = v - 7 for m.
-2
Let s be ((-2)/(-3))/((-32)/(-240)). Let r(j) = 3*j - 11. Let o be r(s). Solve -3*z = x - 3 + 1, -2*x = z - o for z.
0
Let l be 1/((-561)/(-186) + -3). Let y = -52 + l. Solve 0 = 2*x + y, -3*x + 0*x - 6 = 3*h for h.
3
Let l(m) = m**3 + 10*m**2 - 9*m + 7. Let h(j) = -j**2 - 4*j + 1. Let q be h(-6). Let i be l(q). Let n = i - -17. Solve -5*b - 26 = -z, n*b = -2*z - 0 - 8 for b.
-5
Suppose -10*j + 14*j = 124. Let z = -1 - -5. Solve 2*q = -2*o - 2, z*o = q + 2*q + j for q.
-5
Suppose -5*d - 107 + 22 = 5*i, -2*d + 4*i - 34 = 0. Let t = d - -21. Solve -2*s - t*f + 4 = -0*s, -3*f = -2*s + 4 for s.
2
Let v(f) = -f + 3. Let c be ((-6)/8)/(5/(-20)). Let i be 4/4 - c - -2. Let n be v(i). Solve -10 = -n*r + 5*y, -2*y = r - 3*r for r.
-5
Let g(n) = -2*n**2 - 28*n + 30. Let u be g(-15). Solve -5*s - 4*r = 11, 4*s = -3*r - u - 8 for s.
1
Let f be (4/12)/((-1)/(-12)). Suppose 11*r - 9*r - 12 = 0. Let k be -6*(75/r)/(-5). Solve -j + 0*s = 4*s - k, 17 = -j + f*s for j.
-1
Suppose -45 + 115 = 14*m. Solve 2*r + 2 = r + o, -m*o - 6 = 3*r for r.
-2
Suppose -6*x - 14*x = -100. Solve 2*v - 5*t = 23 - 7, x*v + t = -14 for v.
-2
Let r = -2 - -6. Suppose -q - 4*p + 20 = 4*q, -r*q + 16 = -2*p. Let c = -3 - -5. Solve 5*y = -c*n - 9, -4*n - 5*y + 9 = -q*y for n.
3
Let d = -22 - -22. Suppose -m - 4*q - q + 1114 = d, 3*m = q + 3262. Let g be (-2)/10 + m/45. Solve -4*s + g = 2*r, -5*r + 17 = 5*s - 23 for s.
4
Let i be (-8)/12 + (28/(-3) - -1). Let f be -22*(i/2 - -2 - -2). Solve 0 = -5*v - 2*c - f, -v = 4*v + c + 8 for v.
-1
Let y be (39 - 37)/(1/2). Solve 5*d + 25 = 5*h, 7*h + y*d = 3*h - 12 for h.
1
Suppose 0 = -l - 2, -8*t - 4*l + 12 = -4*t. Solve 3*i = -5*o + 9, -t*i + 9 = 2*o - 6 for o.
0
Let i = -45 + 57. Let t be i/(-8)*8/(-3). Solve t*u = 4*b - 3*b - 15, -5*u = -4*b + 16 for u.
-4
Let i(v) = 10*v**2 - 3*v + 1. Let w be i(1). Solve -r - 21 = -5*q, 7 - w = -4*r + 3*q for r.
4
Let y(k) be the third derivative of k**6/120 - 2*k**5/15 + k**4/8 - 4*k**3 - 20*k**2 + 1. Let z be y(8). Solve 0*n - 5*n - 5*u = -15, z = -5*n + 4*u + 33 for n.
5
Let t(q) = q**2 + 19*q + 102. Let h be t(-11). Solve -6*p + 4*p - 13 = -3*c, -h = 2*p - 4*c for p.
-5
Let q = -2 - -2. Suppose 64 = -4*h + 8*h - 4*s, -s = -2*h + 36. Suppose q = -j - g, 5*j - h = -2*g - 5. Solve -k + j*i = 1, k + 1 = -2*i - 2*i for k.
-1
Suppose -5*q + 29 = -196. Suppose 2022*k = 2029*k - 350. Suppose i - k = -q. Solve -5 = -o, -i*z + 2*o - 10 = -2*o for z.
2
Let y(n) = -n**2 + 10*n + 3. Let r be y(10). Suppose 2*h - r*h = -4*t + 2, h + 3*t - 5 = 0. Solve 0 = -5*z + d - 4 - 0, -h*z + 5*d = -3 for z.
-1
Let x(c) = -c**2 - 16*c + 2. Let r be x(-16). Suppose 2*y = -y + 3*k, 4*k = -r*y + 12. Solve -7 = -5*a - z, y = -5*a + 5*z - 3 for a.
1
Suppose -a = 10*a. Solve -2*b + a*b + 21 = 5*q, -5*b = -15 for q.
3
Let a = 1089 - 1086. Solve 14*d - 4*y + 8 = 15*d, y = d - a for d.
4
Let k(m) = 5*m**2 + 5*m + 4. Let o be k(-1). Solve v + 4 = -11*h + 7*h, 2*v - 4*h = o for v.
0
Suppose -3*o + 3 = -0*o. Let x be (o - 2) + 1 + -3. Let d be 16 + 3 + x + 3. Solve 22 = -y - 4*g, -5*g = y - 4*y + d for y.
-2
Let i(z) = -15*z + 1. Let x be i(-7). Suppose -x*b + 103*b + 72 = 0. Solve -4*l - 17 = -5*p + 19, 5*l = p - b for p.
4
Let p = 111 + -109. Suppose -5*d = -p*d - 6. Let h = -7 + 11. Solve j = -4*t - h*j + 13, 2*j = d*t - 2 for t.
2
Let d(y) = -y + 13. Le