r k.
3
Let k(s) = 3*s**3 - 1 - 17*s**3 + 11*s**3 + 2. Let v be k(-1). Solve 12 + 2 = v*m + t, 4*m - t = 18 for m.
4
Suppose -7 = -i - 3*x, -x = 23*i - 19*i - 17. Solve 2*d - 10 = -i*r, d - 3*r + 0 = 5 for d.
5
Let n = 204 + -198. Solve 5*t = -2*u + 14, 20 = 2*u - n*u + 2*t for u.
-3
Let j be ((-64)/40)/((-1)/(-5)*-1). Let h be -6*(-2)/(-8)*j/(-6). Solve -3*k = n - 7, 3*n + 5 = 4*n + h*k for n.
1
Let l(w) = w**2 + w - 53. Let z be l(-8). Solve -z*v - 5*t - 12 = 0, 5*v + 2*t - 6*t + 20 = 0 for v.
-4
Let f = -2120 + 2124. Let x be (1 + 1)/(2/10). Solve -f*w = 2*m + x, -3*w + w = 4*m - 4 for m.
3
Let d(j) = -j**3 - 8*j**2 - 7*j - 2. Let u be d(-7). Let h(o) = 4*o**2 + 4*o + 2. Let c be h(u). Solve -3*i + i - 4*q + 14 = 0, 2*q - c = -2*i for i.
3
Suppose 4*h = 5*b + 13 + 17, 5*h = 5*b + 35. Suppose 50 = -438*t + 448*t. Solve 2*s + 1 = h*d, 5*s = d + 4 + t for d.
1
Let j(a) = -2*a**3 + 1 + a - a**2 + 2*a**2 + 3*a**2 - 3*a**2. Let i be j(-1). Let t = -8 - -15. Solve 4*d + 35 = -i*r, 0 = d + t - 2 for r.
-5
Let j = 0 - -5. Let s be 2*(21/49 - 2/(-28)). Let z(l) = -l**2 - 2*l + 3. Let o be z(-3). Solve -y - 3*b - s = o, -5*y - 2*b = -6*b + j for y.
-1
Let w(s) = s**2 - s + 3. Let c be w(-6). Suppose -4*f - 25 + c = 0. Solve -f = -l, -2*r + 7*r + 3*l + 10 = 0 for r.
-5
Suppose -89*g + 97*g - 80 = 0. Solve -15 = 3*v, 4*v + g = -4*l - 18 for l.
-2
Let v be (-6)/33 - (-35)/11. Suppose 0 = 4*l - 21 + 5. Suppose v*b + 4 = -w, 4*b - l*w - 10 = 6. Solve b*p - 5*p = -3*h - 7, 0 = -4*p + 4*h + 4 for p.
2
Let u = 611 + -606. Solve 3*d - 17 = -u*y, -d + 5*d = -3*y + 19 for y.
1
Let a(f) = -3*f + 1. Let r be a(-1). Let b be (2 - r)*(-10)/(-4)*-2. Solve 4*h = 5*j + b, -3*j = -h + 5*h - 26 for h.
5
Suppose -3*m + 23 = -4*m. Let v = 32 + m. Suppose 3*t + 0*t = v. Solve 2*x - 4 + 0 = -l, t*x = 3 for l.
2
Suppose 0 = 7*b + b - 64. Suppose -4*x = -b*x + 20. Let t be ((-4)/(-3))/(2/3). Solve 0 = -t*r + 2*l - 3*l - 7, x*r - 5*l = 5 for r.
-2
Let k = 78 - 75. Let v = 59 + -34. Let h = k + v. Solve 0 = -5*f - 5*u - 40, 3*u = -f - 2*u - h for f.
-3
Let g be (-132)/(-55) + (-78)/(-30) + -3. Solve 5*q - 29 = f, -4*q + q + 7 = g*f for q.
5
Let f(t) = 2*t**2 - 8*t + 1. Let x be f(4). Let q = x - 9. Let z be q/(-12) - 13/(-3). Solve -z*c + 30 = -n, c - 30 = -c + 4*n for c.
5
Let d be (0 - (-12)/(-1))/(-2). Let u(b) = -b**3 + 6*b**2 + 2*b - 7. Let k be u(d). Solve 0 = -4*n + k*s + 8, -2*n - 6 - 8 = 2*s for n.
-3
Let t(v) = -13*v**2 - 4*v - 1. Let f be t(-1). Let z = f + 15. Solve -z*c = -4*j - 8, -4*j - 6 = -j + 5*c for j.
-2
Suppose 3*m = 14 + 1. Let d(w) = -w**2 - 9*w + 52. Let c be d(-13). Solve c = m*p + 25, -9 = -4*q - 2*p + 3*p for q.
1
Suppose 0 = 3*z + q - 43, -z + 7 + 14 = -3*q. Let w = 9 - -91. Suppose 4*x + 2*c = -0*x + 90, -3*x = -5*c - w. Solve 5*b - 4*a + 2*a = x, 3*b = 5*a + z for b.
5
Let h be 2 + (-3 - (-6 - -3)). Let a be (-735)/(-84) + h/8. Solve 5*x + 2*i = -a, 5*x + 0*x = -5*i for x.
-3
Suppose -47*q + 414228 = 413946. Let t be 0 - (1 - 2)*4. Let s be (-7)/(-4) - (-1)/t. Solve 3*i - q = 0, 2*b - 6*b - 5*i = s for b.
-3
Suppose -4*n + 8*n + 21 = 5*i, -3*n = 4*i - 23. Solve i*j - 4*t + 8 = 0, -2*j + 2*t + 1 = 5 for j.
0
Let x(q) be the third derivative of q**5/60 - 3*q**4/8 + 5*q**3/3 - 12*q**2. Let u be x(8). Solve -5 = u*v + c, 0*v + 3*c + 13 = -5*v for v.
-2
Let d be -1 + ((-3)/1 - 308). Let i be (-8)/12 + d/(-9). Suppose 2*v = 2*j + 16, -3*v + 4*j - i = -5*v. Solve 0 = -2*x - 5*m + v, m - 4 = 3*x + 5 for x.
-2
Let o(x) = -2*x**2 + 6*x + 1. Let b be o(2). Solve -3*w + 1 = -b*c + 2, 4*w = 5*c - 3 for w.
-2
Let j(i) = 2*i**2 - 12*i - 18. Let f be j(7). Let b be 19/7 - f/14. Solve 0 = -0*p - p - t - 5, b*p - t = -11 for p.
-4
Let h = 118 - 110. Suppose 18 = -h*t + 50. Solve 0 = -5*r + t*d, 4*d - 26 + 6 = 0 for r.
4
Let w be (224/20 + -10)*(-5)/(-2). Solve -5*p - 1 = w*y, -5*p - 3*y - 4 = -y for p.
-2
Suppose 2*u + 30 = 4*a, 4*a = 8 - 0. Let s be 4/(-2) - (u + 4). Solve f = -0*f - x, s*x - 12 = -f for f.
-3
Let a = -1 + 1. Let m(q) = 467*q - 5602. Let j be m(12). Solve 2*w + 3*s - j*s + 4 = a, w = -s - 3 for w.
-1
Let q(h) = -11*h - 26. Let k be q(-14). Let d be k/72 - 6/(-27). Let f(p) = p**3 + 4*p**2 - 6*p - 1. Let u be f(-5). Solve l = -d*n, u*l - 2*l + 3*n = 2 for l.
4
Let o be (-32)/(-80) - (-2)/(-5) - -2. Solve 4*u = -2*j - 6, -o*j - 15 = -3*u - 37 for u.
-4
Suppose -c + 44*f - 49*f - 15 = 0, -4*c + 3*f + 32 = 0. Solve 3*j + 3*y = 5*j + 4, 4*j + 4 = c*y for j.
4
Suppose 4*b = 3*r - 12, 9*r - 16 = -3*b + 5*r. Solve 2*g + b*g = q + 4, 0 = -2*g + 3*q - 4 for g.
4
Let j(s) = 3*s + 56. Let u be j(-18). Solve 0 = 4*c - u*p - 17 - 3, -5 = -c - 3*p for c.
5
Let n = 21 - 13. Suppose -40 = -2*f + 2. Suppose n*g - 5*g - f = 0. Solve -3*m + g*s + 34 = 2*s, -4*m - 3*s = 3 for m.
3
Suppose 3*p = -3*k - 105, k = 2*p + 41 + 20. Let v be 1/(4/p*-4). Suppose -3*c + 14 + 1 = 0. Solve 26 = 3*g - 3*m + 8*m, -v = c*g - 3*m for g.
2
Let y(a) = a**2 + 24*a + 43. Let c be y(-23). Suppose -f + 5*f = c. Solve 0 = -3*v - 3*g + 15, -g = -0*v - 3*v - f for v.
0
Let k be 1566/432 + 3/8. Suppose -4*l = 3*j - 14, -2*l - 14 = -4*j - 5*l. Solve v = -5, -j*v + 0 = k*n + 2 for n.
2
Suppose 5*z = 5*a - 0*z - 25, -3*a + 5*z + 5 = 0. Let c = 2158 - 2153. Solve n + 5*k = 5 + 19, -a = -c*n - 3*k for n.
-1
Let a be 22/10 + (156/65)/(-12). Solve -o - 3*o - 16 = a*g, -5 = 3*o + 5*g for o.
-5
Suppose 28*s - 144 = -8*s. Solve -2*q - 2*m = 2 - s, 3*q - 5*m + 29 = 0 for q.
-3
Suppose 3*k = 4*v + 214, -4*v - 2*k - 204 = -0*k. Let q = 55 + v. Solve -q*l + 21 = 4*n, l - 15 = -4*n - 0 for n.
3
Let l be (-13)/(-13) + 0 + 7. Suppose 0*b = -4*b + l. Suppose 4*k + 55 = 3*u, -b*u + 2*k - 3*k = -33. Solve 0 = -i - 3*y - u, -20 = y + 4*y for i.
-5
Let s = -10 + 11. Let c be s/(-1 + (-6)/(-3)). Let b be c*3 + (-10)/5. Solve 2*d - 10 = 5*v - 3, 4*d - b = -3*v for v.
-1
Let f(i) = -2*i**3 - i**3 + 4*i**3 - 6 - 7*i**2 + i. Suppose 2 - 23 = -3*n. Let p be f(n). Solve -4*m = 5*h + 15, 2*h + p + 5 = 2*m for h.
-3
Suppose -4*u - 5*t = -1, -2*u - 2*t - 1 = -3. Suppose h + 12 = -5*n, -3*h + u*n + 24 = h. Solve -s - 5*j - 35 + 15 = 0, j + h = 0 for s.
-5
Suppose 5*r = -3*l + 45, 44 - 3 = 5*l - 3*r. Let o be l - ((-2)/2 - -1). Solve k - 4*a - 2 = 16, -4*a - o = -5*k for k.
-2
Suppose 14 = 5*o + 4*k, o = 6*o + 5*k - 15. Solve o*p = -2*a + 2, -6*p = a - p - 21 for a.
-4
Suppose 0 = -7*c + 15 - 1. Let b be ((-4)/c)/((-2)/6). Let g = 10 - b. Solve 0 = -2*o + 4*z + g, -o = o - z - 4 for o.
2
Let q = -45 + 46. Let m be -8 - -11 - (q - 2). Solve -1 = -5*s + 3*t - 9, 4*t = m*s for s.
-4
Let u = 93 + -52. Suppose -2*k = 5*x - 23, x + u = 5*k - 3*x. Suppose v - 6*v = 3*f - 29, -4*f - 2*v = -20. Solve f*p = -2*i + 5*i + k, p = 4 for i.
1
Let r(b) = 567 - 287 - 284 - 3*b. Let m = 1 - 3. Let c be r(m). Solve -7*v + 33 = -3*v - 5*s, -v + c*s = -12 for v.
2
Suppose 0 = -0*u - 3*u. Suppose -3*t = -15 - u. Suppose 3*a - t*y - 23 = 0, 0 = -a + 3*a - 3*y - 15. Solve -p - a = 4*z, 0 = 4*p + z + z + 10 for p.
-2
Suppose 6 = 2*d - 4. Suppose 4*t - 3 = d. Suppose 4 = -3*l - 3*z - t, -l = 2*z + 6. Solve 5*k - g + 8 = 0, -l*k + 4*g + 1 = -3 for k.
-2
Suppose 0 = 25*d - 34*d + 54. Solve -3*v = -3*b - 9, 5*b - d = v - 3*v for v.
3
Let y = 37 - 41. Let b be 106/6 + y/(-3). Solve b = -n - 2*n - h, -3*h + 8 = -4*n for n.
-5
Let g = -3 + 18. Suppose 69 = 3*u - g. Suppose 4*w - 22 = -3*o, 0*w - u = -4*o - 5*w. Solve -2*f + 7 = q, 4*q - f - 17 = o*f for q.
5
Suppose -24 = -13*w + 2. Solve 0 = 5*l - w*i - 0*i + 3, 0 = -3*l - i - 4 for l.
-1
Let f(u) = 1 + 0*u**3 - u**3 - 4*u**3 + u**3. Let i be f(1). Let a be (-15)/(-3) + i - -3. Solve -y - 5 = a*w - 0*y, 5*y - 21 = -2*w for w.
-2
Suppose 0*v = -5*y + v + 192, 0 = 3*y + 2*v - 110. Let k = -33 + y. Solve -2*x = -k*x - 5*u - 23, 0 = 5*x - 3*u - 7 for x.
-1
Let w be 2/(-7) - (-279)/21. Let m be 0 - (-7)/(28/8)*1. Solve 0 = n - z + 2, -3*z + 2*z - w = m*n for n.
-5
Let o(k) = -3*k**2 - 16*k - 3. Let l be o(-3). Solve -3*u - 3*h - l = -2*u, -2*h - 16 = 2*u for u.
-3
Let c(i) = i**2 - 5*i + 6. Let z be c(7). Let l = 30 - z. Solve -3*p - d = d - l, 0 = 3*p - d - 13 for p.
4
Let i be (16 - 11) + 20 + 0. Solve -15 = -3*g + 2*u - 3*u, -3*u + i = 5*g for g.
5
Let g(s) = s**3 - s**2 + 6*s - 28. Let n be g(3). Solve -3*