 n = 5*p + r for p.
0
Let i be 70/(-15) + 4/6. Let y(o) = -o**2 - 6*o - 6. Let z be y(i). Solve 3*u = 4*t - 20 + 3, 13 = 3*t - z*u for t.
5
Suppose -d - 6 = -4*d - 3*a, d - 5 = -4*a. Solve -4*u = -b - 19, u - d = b + 3*b for b.
1
Let y = 4 + -6. Let f be (8 + -9)/(y/4). Solve 0*q - 4*m = q - f, 4 = 2*q + 4*m for q.
2
Suppose -y + 20 = 4*y. Solve -y*v + 3 = -d - v, 0 = -2*d + 5*v - 4 for d.
3
Suppose 0 = -3*y - 4*j + j, -6 = 3*j. Solve 17 = y*m + 3*b, -m - 2*b = -0*m - 11 for m.
1
Let v(y) = y + 18. Let f be ((-2)/(-6))/((-5)/195). Let z be v(f). Solve 5*n = -z*l - 15, 3 = -3*n - n - l for n.
0
Suppose -2*f = 0, -f + 0*f - 10 = -5*i. Solve i*g + 5 = -5*n, 0 = 4*g + 4*n - 8 - 0 for g.
5
Let y(v) = 9*v**3 - 2*v**2 + 1. Let u be y(1). Let a(n) = -3*n**2 + 25*n + 4. Let b be a(8). Let h = b - u. Solve k = -m + h, -5*k + 4 = -m + 2*m for k.
0
Let f(h) = -h**3 + 12*h**2 - 12*h + 12. Let r be f(11). Solve k - 7 + r = -2*a, k = 4*a for k.
4
Let a(w) = -w**2 + 7*w - 3. Let g be a(6). Solve 5*q - 2*x - 4 - 11 = 0, g*x = 3*q for q.
5
Let s(h) = h**2 - 7*h + 8. Let l be s(6). Suppose 2*d = -2*d + 88. Solve 2*j = 3*v + l, 3*j + 0*v + 5*v - d = 0 for j.
4
Let u(j) = 4*j - 25. Let l be u(11). Solve 3*k - 2*g + l = 0, -4*g + 17 = -3*k - 6 for k.
-5
Let q = 2 - -1. Suppose -q = -5*t + 7. Solve 23 - 9 = -2*r - t*c, 0 = -5*r + 3*c - 11 for r.
-4
Let v(z) = z**2 + 4*z + 4. Let y be v(-4). Suppose 5*n + 10 = -3*q + 98, 2*n - q - 33 = 0. Solve 5*g + 3*h - h + n = 0, h + y = -g for g.
-3
Suppose 19 = 3*n + 3*x + 1, -2*n = x - 9. Solve 0 = n*d - 4*t - 19, 4*t - 26 = -5*d + 5*t for d.
5
Let u(v) = -79*v. Let x be u(-1). Let i be 6/(-21) - x/(-7). Let o = -5 + i. Solve -3*p - g = 11, 4*p + o*g - 2*g = -4 for p.
-5
Let w be -5*(-3 + 1 - 1). Let z = w + -11. Solve -2*c + 4*h - 5 = 23, z*c - 2*h = -26 for c.
-4
Let i be (1/3)/(2/24). Suppose v + 10 = 2*v + i*a, -8 = -2*v - 2*a. Solve -v = 3*y - 3*r + 4, 4*y + 4*r - 16 = 0 for y.
1
Suppose -4*q + 16 = 0, 2*q + 21 = 4*p + 65. Let s be 3*-15*3/p. Solve 5*y = -5*t + s, 3 = -8*t + 3*t + y for t.
0
Suppose -2*w = -4*y + 10, -5 = 3*y - 0*y + w. Solve u = -8*j + 4*j + 4, u = y for j.
1
Let i(g) = g**2 + 15*g - 23. Let y be i(-17). Solve 3*p + p - 29 = -3*m, -2*m + y = p for m.
3
Let k = 1 - -4. Let c be -4 - (k + -3 - 3). Let j be 1 + (c - -5) + -1. Solve -12 = 4*u - 2*q - 0*q, 30 = -j*u - 5*q for u.
-5
Suppose -5*i + 0*i = -20. Let b = -12 - -22. Suppose 0 = -s - i*s + b. Solve 2*p = -3*k - 0*p - 1, -s*k = -4*p - 10 for k.
1
Let t(a) = -a + 6. Let z be 4/22 - (-320)/55. Let h be t(z). Solve -x - s + 2 = h, 4*s = 3*x - 5*x + 12 for x.
-2
Let t be 1 + 4*3/4. Suppose -4*l - 5 = 2*s + 3, 2*l = 6. Let h = -5 - s. Solve -5*r + 5 = -h*f, 7*f + 8 = 2*f + t*r for f.
-4
Suppose 3*p + 2 = j, 6*p - p = -2*j + 15. Suppose 0 = -0*h + h. Suppose -3*r + 4 = k - h*r, 0 = j*k + 5*r - 10. Solve -g - k = 2*o, 9 = 2*o + 3*g - 4*g for o.
2
Suppose -4*i + 2*q + 14 = -q, -16 = -3*i + 5*q. Suppose -5*x + i*x + 12 = 0. Let f = 15 + -11. Solve 2*d - 12 = -5*c, x*c - 24 = 2*c + f*d for c.
4
Suppose 1 = -h - 4. Let y(k) = -k**3 - 5*k**2 - k. Let g be y(h). Solve 0 = -3*b + 5*a - g, 0 = 3*b - b + 3*a - 22 for b.
5
Let w be ((8 - -2)/(-1))/(-2). Suppose 3*f = -w*z - 2, -2*f = z + f + 10. Solve -4 = p - 3*t, p = z*t - 8 + 4 for p.
-4
Let b = -29 + 17. Let u(j) = j**3 - 6*j**2 - 2*j - 15. Let c be u(7). Let w = c + b. Solve -2*q + 11 = 3*y - q, -2*q - w = 0 for y.
5
Let w = 9 - 1. Suppose -w*n = -5*n - 6. Solve -2*r + n*m = -2 - 8, r + 4 = -2*m for r.
2
Let v(r) = r**2 - 13*r + 4. Let w be v(13). Solve -4*c = -3*b - w, 4*b = b - 12 for c.
-2
Suppose -x - 4*o = 8, -2*o = 3*o + 15. Solve -4*f - 1 - 15 = 3*g, -g + 16 = -x*f for f.
-4
Let l = 30 - 15. Let u = l - 11. Solve 0 = u*q - 3*m, -3*q = 3*m + 10 + 11 for q.
-3
Let l(y) = 2*y - 8. Let u be l(6). Let x be 7/u - (-2)/8. Solve -5*n = -0*w - x*w + 21, 21 = -2*n + 5*w for n.
-3
Let a be 1/6 + (-17)/(-6). Solve -2*d + 3*d = -m, a*m = 5*d + 8 for d.
-1
Suppose -s + 3 = -0*s. Suppose -8 = -4*q, -7*q = -s*y - 2*q + 182. Suppose 4*p = -0*p + y. Solve g + 4*x - p = 0, -16 = 2*g + 3*g - 4*x for g.
0
Suppose -61 = -3*v - 1. Suppose 3*j - j - 10 = -5*q, 4*j - v = 4*q. Solve 2*g + 16 = j*k, g - k = -0*k - 5 for g.
-3
Let k = -48 + 50. Solve -3*r = -5*r - 5*o - 12, -o = -4*r - k for r.
-1
Suppose -5*h + 3*f + 21 = 0, -f = -5*h + 4*h + 5. Solve 4*j - 6*t + 7 = -h*t, 2*j - 4*t = -6 for j.
-1
Suppose -3*m - 3*j + 11 - 2 = 0, -m - 4*j = -6. Solve -5*h - 2*r + 7 = -2*h, m*r - 1 = 3*h for h.
1
Let h = 0 - 0. Suppose -d = -h*d - 2*m + 5, -2*d + 15 = m. Suppose 6*z = z. Solve z = -2*i + 4*i - 3*j + 2, 0 = -2*i + d*j - 10 for i.
5
Suppose -91 - 23 = -6*y. Let r be 3 + (3 - 2 - -1). Solve 2*i = x - 1, i + 2*i + y = r*x for x.
5
Let q be (-6)/21 + 455/49. Solve q = 5*f - b, 0*f - 5*b = f - 7 for f.
2
Suppose 0 = q - 2 - 0. Solve 18 = -3*b + 3*t, -t = 5*b + q*t - 10 for b.
-1
Let q = 57 - 55. Solve -c + 19 = 2*c + q*d, -3*c + 5*d = 16 for c.
3
Let v(w) = 5*w - 12. Let h be v(3). Solve 3*p - 4*n = p, -3*n = -h*p - 3 for p.
-2
Suppose -4*c = 4*t, 0 = 4*t - 4*c - 25 - 15. Solve 12 = -2*n + t*n, -20 = 3*l - 5*n for l.
0
Suppose 8*j = 3*j - 40. Let z = j - -11. Suppose 3*n - o - 16 = 0, -13*n + 9*n = -5*o - 36. Solve -z*b - 32 = -n*h, -20 = 3*b + 2*b for h.
5
Suppose 0*y = 2*y - 4. Solve 3*d - y*m = 13 - 0, m = 5*d - 24 for d.
5
Suppose -16*d = -11*d + 20. Let y be 1/d - (-26)/8. Solve -o + 4 = 4*g, 2*o + 0*g = -y*g + 8 for o.
4
Let y be (-8)/5*35/(-14). Suppose 2*z = -2*p - 4, -y*p = p + 5. Let c = 1 - z. Solve 4*d - 4*q = 32, 4*d + q = -c*q + 11 for d.
5
Let l be (-2 - -2)/(-3)*1. Let o(x) = -4*x + 0*x + 0 - 2 + 5*x. Let t be o(6). Solve l = -5*i - 5*s - 30, -s - 2*s - 19 = t*i for i.
-1
Let x be 2 + 1 + 3/(-3). Suppose -2*v = -10, 0 = x*h - v - 0*v - 3. Solve h*u - 20 = -4*t - 0*t, 7 = -4*t + 5*u for t.
2
Let s = 4 - 4. Let x(y) = y + 4. Let v be x(-4). Solve v*d - 16 = -4*d + 2*g, 2*d + g = s for d.
2
Let t be 11/(-4) - -3 - 30/(-8). Solve 0 = t*h + h, 2*y + 3*h = -10 for y.
-5
Let p(r) be the second derivative of r**4/12 + 2*r**3/3 - r**2 + 2*r. Let g be p(-6). Suppose g = -m + 2*m. Solve 3*b = -2*c - 0*b + 2, 0 = -c + 4*b - m for c.
-2
Let f be 4*2/(-4) - -6. Suppose -5*n = y - 15, 5*y + 3 + 9 = 4*n. Solve y = -j + 3*l + 14, 7 = -f*l - 9 for j.
2
Let j = -71 + 75. Solve r + 11 = -3*s + 2*r, j*s - 5*r = 0 for s.
-5
Suppose 4*n - 18 = -6. Let k(u) = -u**3 - 7*u**2 - u + 1. Let j be k(-7). Solve 3*q + 2 - j = -n*i, 3*q + i = 6 for q.
2
Let a be (-8)/48 + 103/6. Solve s = -5*h - 19, 0 = 4*h + h + 3*s + a for h.
-4
Suppose a = -3*a + 4. Let s be 4/(-12) - a/(-3). Suppose -3*n = n - 12. Solve 0 = -c - n*i - 7, 2*c - 6*c + i + 11 = s for c.
2
Let u be 4*2 + -15 + 13. Solve 0 = -5*g + 5*f - 30, 2*g + 16 = u*f - 3*f for g.
-2
Suppose n + 18 = 4*n. Let x(m) = m**2 - 5*m - 3. Let z be x(n). Solve -o - 20 = -4*a, -2*a = z*a - 4*o - 36 for a.
4
Suppose -2*z + z + x = 0, -3*x = 2*z - 25. Solve 22 = -3*s + z*j, -2*j = -2*s - 0*s - 12 for s.
-4
Let y = -1 + 2. Suppose -5*r - 30 = 5*z, -4*r = -2*r - z. Let p be 0/(y/(r/4)). Solve 0*c = -3*s - 4*c + 3, p = 4*s - 3*c - 29 for s.
5
Let l(o) = -o + 12. Let g be l(8). Solve -g*a - 17 = -x, -4*a - 11 = -3*x + 8 for x.
1
Let b = 15 + -3. Let u be (1/(-2))/(4/(-184)). Suppose 3*k + n = u, -k + 11 = -0*k + 2*n. Solve -2*h - 4*i = -k*h - 6, -3*i = -b for h.
2
Let f = -3 - -3. Suppose 6*y - 4*y + 30 = f. Let s be (-3)/(y/6 - -1). Solve 3*k + 9 = -s*w, 0*w - 12 = 4*k - w for k.
-3
Suppose -c + 5 = 2. Solve 0 = c*r - 2*y + 21, -8*y + 3*y + 15 = 0 for r.
-5
Let o = -40 - -40. Solve 5*m = w - 19, -w = -o*w + 3*m + 13 for w.
-1
Let k = 4 + -2. Let c = 0 + k. Solve 0*x = c*r - 2*x + 2, -13 = 3*r + 2*x for r.
-3
Let i be (-14)/(-91) - ((-356)/52 + 3). Solve 5 = -5*h + 25, i*h = -j + 11 for j.
-5
Suppose -v = -4*v, -4*a = -5*v. Let g be (0 + 0)/(0 - -2). Solve a = -2*q - x - 4, -3*x = -g - 6 for q.
-3
Suppose -l = 1 - 5. Solve l*d + 3*a - 24 = -2, 16 = 5*d - 2*a for d.
4
Let o(w) = -4*w**3 - w**2 - 2*w - 1. Let q be 6/2*2/(-6). Let k be o(q). Suppose a - k*a = -12. Solve -4*g = 4*c + a, -9 = -5*c + 2*c for g.
-4
Let d(m) = m - 15. Let h be d(18). Solve -f = 3*a + h*f + 11, -a + f = -1 for a.
-1
Suppose -3 - 1 = -2*u