 + m = -4*r, 4*r = 5*p - r - 20 for p.
1
Let y be (-20)/16*1*-4. Solve -u = -s - 5, -2*s = -0*u + y*u - 11 for u.
3
Let b = -101 - -55. Let r be 4/10 + b/(-10). Solve -23 = 3*t - 5*f, -t - r*f = -3*t - 22 for t.
-1
Suppose 5 = 2*s - 5. Solve k - s*l = -15, -k - 6 = k - 2*l for k.
0
Suppose 4*c = 6 + 2. Suppose -29 = -c*u + b + 2*b, 0 = 2*u + 3*b - 23. Solve 0 = 5*l + 4*a - u, l + 2 = -3*a - 2 for l.
5
Let p be (-14)/4*(-12)/7. Let t = 10 - p. Suppose -4*h = -3*w - 8, t*h - 3*w = w + 4. Solve 5*r = h*v + r + 5, 5*v = -4*r - 5 for v.
-1
Let z(a) = a**2 - 9*a + 5. Let h be z(9). Solve -h*d - y = 0, -4*d + y + 0*y = 9 for d.
-1
Let l(u) = 11*u + 1. Let h be l(-1). Let p = -5 - h. Suppose 0 = -c + 2*k - 3 + 17, 0 = -4*c + 5*k + 41. Solve -p*v = -3*i + 2, -i - c*v + 8*v = 4 for i.
4
Let p(i) = -5*i**2 + 14*i + 2. Let h(j) = -4*j**2 + 13*j + 1. Let k(a) = 6*h(a) - 5*p(a). Let u be k(-9). Solve 0 = -u*s + r + 30, 3*s - r = -2*r + 10 for s.
5
Let n = 22 - 19. Solve n*b - 7*b - 2*g - 24 = 0, 4*g + 18 = -2*b for b.
-5
Let s(v) = -v**2 - 12*v + 15. Suppose -4*j - 78 = 2*j. Let z be s(j). Let p(q) = q + 7. Let n be p(-5). Solve f = 3*l - z, 0*l - 4 = -4*l + n*f for l.
0
Let o(j) = -10*j**3 - j**2 + 1. Let t be o(-1). Let c be 50/(-2)*(-4)/t. Solve -5*k - c = 5*i, -3*i + 15 = -7*k + 3*k for i.
1
Suppose -3*z + 6 = -6. Let f = 8 - 5. Solve f*v + 3 = 3*m, -v - z*m = v - 10 for v.
1
Suppose -16 = -5*m + 9. Let a = m - 5. Solve -v = 3*b - b + 8, a = -v + 4*b + 16 for v.
0
Let c be (3 - -1 - -1)/((-3)/(-6)). Solve -c = -x - 3*s, -s + 4 - 2 = 0 for x.
4
Suppose 4*k - 8 = 8. Suppose 0 = -5*q - k*n + 35, -5 = 2*q - n - 6. Let o(y) = -y - 9. Let f be o(-10). Solve 0 = -5*a - 4*r - 4 - f, -20 = a - q*r for a.
-5
Let b be 74/(-10) - (-4)/10. Let p = 11 + b. Solve -4*m - 32 = -3*j, 2*m + p*j = -1 + 7 for m.
-5
Suppose -5*l - f = -21, l - 5*l = -2*f - 14. Suppose 0 = -2*w - 4*z - 4, 0 = -l*z - 14 + 2. Solve -t = 3*d + 3 + 1, 0 = d - t - w for d.
0
Let i be ((-9)/(-15))/(3/15). Suppose n - i = -0. Solve 2*m = q - 0*q - 8, -n*m = q + 7 for q.
2
Let g(n) = 3*n**2 + 4*n + 1. Let m be g(-3). Suppose -2*r - 2*v = -0*r, -5*v - m = r. Suppose -2*h = -h - r. Solve 5*s = 4*d - 0*d, 2*s = -h*d + 28 for s.
4
Let a be ((-18)/(-10))/(6/20). Suppose a*c - 45 = c. Solve -2*o - 3 + 12 = -5*k, 4*o - k + c = 0 for o.
-3
Let r(y) = y**2 + 4*y - 3. Suppose -3*v = -h - 5, 2*h + v + 25 = -3*h. Let c be r(h). Solve -6 = 2*j - 0*m + c*m, -m = -4*j - 2 for j.
-1
Let x(i) = i**2 - 3*i + 2. Let h(o) = -o**2 - 6*o - 1. Let m be h(-5). Let k be x(m). Solve -14 = 2*d - 7*d - 3*g, -5*g + k = 4*d for d.
4
Let z(r) = -1 + r + r**2 + 0 - 2*r. Let p be z(-2). Solve -3*t + 1 = 4*b - 2, p = 3*b + 5*t for b.
0
Suppose 3*a + 17 = -4*u - u, -2*a + 3*u + 14 = 0. Let s be 0 + 2 - a - -3. Solve -5*t - s*m = 16, 0 = -3*t - 2*m - 14 + 6 for t.
0
Suppose 4*a + 3*j - 17 = 0, 5*j - 2*j - 19 = -5*a. Solve z = -g, -3*g - a*g = 2*z for g.
0
Suppose -12 = -g - 6. Solve -2*r + 31 = -5*k, -3*r = -g*r + 5*k + 34 for r.
3
Let i(r) = -10*r + r - 6 + 4. Let g be i(-2). Solve 4*b = 3*v + g, 0 + 1 = b for v.
-4
Suppose -3*m - i + 4*i = 12, -i + 4 = -3*m. Solve m = -2*j + 4*t + 2, -3*j - t = 8 + 10 for j.
-5
Suppose -22*u + 27*u - 25 = 0. Solve 5*j - 20 = -4*v, 0 = -v - 2*j + j + u for v.
5
Let s(t) = t - 6. Let f be s(0). Let n be (-86)/(-18) - f/27. Solve 0*w + 30 = -5*c - n*w, 0 = -c - 4*w - 21 for c.
-1
Suppose -3*t - 24 + 225 = 3*k, 5*k = -2*t + 335. Let o = k + -41. Suppose 2 - o = -4*a. Solve -4*u + 2*g + 8 = -2*u, a = 3*u + 3*g for u.
3
Let x = -4 + 6. Let b be ((-1)/(-2))/(2/(-4)). Let a(l) = -l**3 - 2*l - 1. Let w be a(b). Solve x*k - 4*m - 2 = 0, -m + 3*m = -w*k + 14 for k.
5
Let a = 18 - 8. Let c be 16/10 - (-4)/10. Suppose 0 = -4*x + x, -2*b + c*x + a = 0. Solve -5*g = q, -g - 3*q = -b*q for g.
0
Let g = 13 - 8. Suppose 10 + 18 = 4*j + 2*o, -4*o = 4*j - 24. Let a = j + -3. Solve -5*n + 15 = a*y, g = 3*n + 4*y - 2*y for n.
-1
Let f(r) = -r**3 - 7*r**2 - 3*r - 15. Let k be f(-7). Solve 2*l = -5*p + 1, 0 = -4*l - k*p + 2*p + 8 for l.
3
Let p = 5 - -5. Solve 0 = -5*i - 4*u - 18 - 10, 0 = 5*u + p for i.
-4
Let x(v) be the third derivative of -v**5/60 - v**4/8 + v**3/3 + 3*v**2. Let r be x(-2). Solve -4*n + r*i = -8, 7 = 4*n - 2*n + i for n.
3
Let q be -1 - -1 - 5*-1. Let o(c) = -c - 6. Let p be o(-10). Solve 35 = 5*t + 5*l, p*l - 17 = -5*t + q*l for t.
4
Let k(f) be the second derivative of -f**5/20 - f**4/3 + 2*f**3/3 - f**2 + 7*f. Let l be k(-5). Solve 4*t - 1 = l*t + 4*m, -4 = -4*t - 2*m for t.
1
Let s be (-21)/(-6) + 3/6. Suppose -2*j - s = -4*j + v, -3*j - 3*v - 12 = 0. Solve j = -4*w - 2*f - 14, -w + 2*f = f + 2 for w.
-3
Suppose 5*g - 36 = -4*w, 7*g - 32 = -4*w + 3*g. Solve 0*i - 3*i = 2*x - 7, -i + w*x + 7 = 0 for i.
3
Let l be (-6)/27 - (-56)/9. Solve l = 4*a - 2*j, -j - 4 + 1 = a for a.
0
Suppose 2*g - 3 = 1. Let z(r) = 3*r - 2. Let v be z(2). Solve -2*q - 2*b = v, -q + 5*b - 18 = g for q.
-5
Let p be (-3)/18 - (-19)/6. Suppose 3*a = -p + 6. Suppose 0 = -2*j + 19 + a. Solve -j = 2*o, -5*o = -3*y + 32 + 5 for y.
4
Let s(d) = d**3 + 6*d**2 - d - 6. Let h = -15 + 9. Let q be s(h). Suppose 5*y - 4*l - 79 = -q*l, -4*l + 56 = 4*y. Solve 3*i = 0, -5*i - y = 4*x + 5 for x.
-5
Suppose 5*q - 80 = -3*v, 3*q = -0*q - 4*v + 59. Solve 4*m + q = -2*c - m, 4*c + 2*m + 18 = 0 for c.
-4
Let q(h) = -17*h**3 - h - 1. Let k = 5 - 6. Let m be q(k). Solve -25 = -5*s, 3*x - 5*s + m = -x for x.
2
Let w = 15 - 12. Solve 4*l - 5 = -w*q, -4*l + 40 = -4*q - 0 for l.
5
Let o(n) = 2*n**2 - 9*n + 16. Let a be o(5). Suppose -2*x = -7*x + 140. Solve -3*w + 7*w + a = -r, 5*w + 3*r = -x for w.
-5
Suppose 0 = -3*q + q + 6. Suppose -r - 3*m + q = 10, -5*r + 7 = m. Solve 19 = -v - 4*y, -v = r*y + 8 + 3 for v.
-3
Let u be 4/14 - 66/(-14). Suppose g = -g - 2, -4*g - 4 = -u*j. Let w be 4 - 3 - (-1 + j). Solve 0 = w*k - 4*f + 22, 0*k - k + 19 = 4*f for k.
-1
Let c(h) = 4*h**2 + 3*h - 5*h**2 + 5*h + 1. Let x be c(7). Solve 4*f - 4*k - 15 = 17, x = -2*f - 4*k for f.
4
Suppose 3*p + 0*p = -z + 12, -5*z - 25 = -2*p. Solve 0*o - o - p*q = 8, q = 3*o + 8 for o.
-3
Let m = -13 + 6. Let r = -4 - m. Solve 0 = -r*h + 15, 3*c = h - 0*h - 8 for c.
-1
Let i = -82 + 87. Solve -5*o - 25 = 5*g, -o = -g + 4*g + i for o.
-5
Let a = -25 - -27. Solve c + a*o - 9 = 0, c + 2*o = o + 7 for c.
5
Let u = 28 + -20. Suppose 1 = -4*j + 17. Solve -2*s = 4*i + j, 3*s - u = -i + 1 for i.
-3
Let c(l) = -l + 11. Let f be c(8). Suppose 74 + 34 = f*o. Suppose o = -0*r + 4*r - 3*z, -4*r + 40 = -4*z. Solve w + 2*n + r = 2*w, w = -n - 3 for w.
0
Suppose 0 = -3*w + 5*f - 6, 7*f - 2*f - 21 = -2*w. Solve 0 = w*m - 9, 2*m - 6*m - 4 = 4*g for g.
-4
Let x(p) = p**3 - 3*p**2 - 3*p - 2. Let n be x(4). Solve 1 = o + u, n*o - 2*u + 9 = -3*o for o.
-1
Let t = -5 - -5. Suppose 3*g - 32 = -t*l - 4*l, 0 = -3*g + 2*l + 20. Solve 2*i + k = -k, i = k + g for i.
4
Let j(x) = -x**3 - 6*x**2 + 8. Let t be j(-6). Let s be (8 - t)/((-2)/2). Solve a + 4*q = s, -2*q = 2 - 4 for a.
-4
Suppose 5*i + 2*h - 21 = 0, -i - 3*h = -8*h + 12. Solve u - 17 = 3*m, i*m - 5*u + 48 = 11 for m.
-4
Suppose -f - 14 = -4*v, -4*v - 5*f + 30 = v. Let m(i) = -i + 2. Let z be m(-5). Suppose -5*o + z*o - 4 = 0. Solve 3*x - 2*y = -v, -5*x + 4*y = o*y for x.
2
Let z(q) = -9*q**3 - q**2 - q - 1. Let v be z(-1). Let r be v/36 - (-4)/(-18). Solve x = -2*w - 10, 5*x + w = -r - 5 for x.
0
Suppose 8*k - 159 = 1. Solve 5*p - 4*g = k, -5*p = g + 4*g - 20 for p.
4
Suppose 0 = -10*s + 8*s. Solve s = 5*i + 3*j - 40, 3*i + 5*j = 45 - 5 for i.
5
Suppose -5*v + 18 = 2*n, -4*v + 10 = 5*n - 18. Let k(x) = -x + 21. Let q be k(18). Solve 0 = -2*j - 2, 2*b + q*j + v*j + 9 = 0 for b.
-2
Let n = -121 - -136. Solve 5*g = 3*t + g + n, 4*t = 3*g - 13 for t.
-1
Let w(f) = f**2 - 8*f. Let v be w(8). Solve v*o - 2*r = -3*o - 14, -5*o - 3*r - 17 = 0 for o.
-4
Suppose -4*h - 4 = -12. Let k(y) = 9 - 15 + 12*y + 1 + 6. Let q be k(h). Solve -c + 0*l = l + 4, 5*l + q = 0 for c.
1
Let s be (-2)/(-5) - 69/(-15). Let y be 3*((-22)/6)/(-1) - 3. Solve g + 6 = 4*m - s*m, -2*m - y = 0 for g.
-2
Let j = -65 + 105. Let a be j/18 + 2/(-9). Let i(l) = -36*l - 1. Let c be i(-1). Solve 3*p = a*z - 16, -5*p - c = 2*z - 7*z for z.
5
Suppose 0 = -g + 4*t + 4, 5*g + t = 6 - 7. Solve -3