*h = -6 for y.
2
Suppose -10*n + 10 = -9*n. Solve -i - 25 = 4*a, 3*a + 3*i - 4*i + n = 0 for a.
-5
Let n(g) = -4*g. Let f be n(-7). Suppose 8*d - f = 4*d. Suppose -2*o - 5*r = -r + 8, 5*r + 10 = -3*o. Solve -m + 5*p - d = -21, 5*p + 15 = o for m.
-1
Let x be (2/(-6))/((-2)/12). Suppose 0 = z - x*z + 21. Let q = -1 + 3. Solve 4*o + z = -4*s - 3, 3*s + 3 = q*o for s.
-3
Let g be (-1)/(-2)*10/1. Suppose g*i = -0*i + 40. Suppose 4*o - i = 4. Solve 2*c + o*x - 17 = 0, -x + 15 = 3*c - 0*x for c.
4
Let l(f) = -f**3 - 13*f**2 + f + 16. Let i be l(-13). Solve 5*c - 5 = -5*o, -5*c - 2*o - 7 = i for c.
-4
Suppose -8 = -4*y + 4*o, -3*y + 10 = y - 3*o. Solve -8 = -y*n - 6*f + 2*f, -5*f = n - 2 for n.
2
Let z be 28/20 - -9*2/30. Solve -4*t + 2*t + 2*x - 4 = 0, z = 5*t - 2*x for t.
2
Suppose -5*b = 5*k - 20 - 5, -6*b = 3*k - 21. Solve -b*m - 3*i + 18 = 0, -2*i = 4*m - 5*i for m.
3
Let c be (-2064)/(-9) - 4/12. Suppose -5*z - 14 = -5*d + 356, 3*d + 4*z = c. Suppose -2*w + d = w. Solve -2*x = 2*k + 3*x + 25, -5*x = 5*k + w for k.
0
Let d = -1855 - -1857. Solve d*i - 3*t - 10 = -3*i, 15 = 5*i - 2*t for i.
5
Suppose 0 = 119*p - 123*p. Solve p = -3*u - q + 1, 4*q + 5 = -u - 2*u for u.
1
Suppose -36 = 5*c - 56. Solve 2*f + 21 = -3*l, -c*f + 9*f + 20 = -l for f.
-3
Suppose -5*a - 2*f + 4*f + 25 = 0, -3*f - 3 = 4*a. Suppose 0 = -a*x - 0*x + 6. Let b be 0 - -1*x/1. Solve b*u - 8 + 1 = 3*z, 4*u = 2*z + 2 for u.
-1
Suppose -4197*d - 30 = -4203*d. Solve -i - 14 = 3*b, -d*b = i - 4 + 28 for b.
-5
Let t be 2/(3 + -4) + 2. Suppose 5*k + t = 2*u - 10, 3*k - 5 = -u. Solve -5*m + m - 13 = -h, 20 = -u*m for h.
-3
Suppose 0 = 5*p - 10*p - 20. Let o(h) = h**2 + 2*h - 5. Let n be o(p). Suppose -7*x = -n*x - 12. Solve -3*i = x*m - 15, 5*i = 2*m - 0*m + 4 for i.
2
Let q(u) = u - 4. Let n be q(0). Let j = n + 7. Suppose 4*c - 16 = -r, 4*r - 5 = -2*c + j. Solve w - 3*w + 3 = -5*l, 4*l - c = 0 for w.
4
Let c be -1 - ((-4)/2 - -4). Let f(k) = k + 7. Let v be f(c). Suppose 3*u = -2*q + v*q - 25, 0 = 4*q + 3*u - 5. Solve -i - 9 = -3*x, q*x - 4*i + 0 = 8 for x.
4
Let v be (-43)/(-10) + 156/(-520). Solve -o - 4 + 1 = -2*r, o + 9 = -v*r for r.
-1
Suppose 5*h = -m + 22, 6*m = 3*m + 2*h + 15. Solve -3*w = 5*l + 25, w - 3 = -m*l + 11*l for w.
-5
Let i = -34 + 38. Suppose -4*b - 11 = -n + 3, 5*n + 2*b = i. Solve -1 = 2*h - j, 5*h + 0*h + 16 = -n*j for h.
-2
Suppose 4*s + 126 = -b - 301, 0 = -5*s - 4*b - 520. Let m = s - -111. Solve 0 = m*k + 4*l - 7, -2*l = 5*k - k + 4 for k.
-3
Suppose -2*h + 10 = -2*r, 3*h - 2*r - 8 = 5. Solve 0 = -3*k + 4*q + 4, -h = k - q + 4*q for k.
0
Let b be 0*(2 + (-30)/18). Solve 2*f = 3*p - b*f + 22, 14 = -p + 2*f for p.
-4
Let m(l) = 9 - 3*l**2 + 1 + 4*l**2 - 8*l + 0*l**2. Let o(a) = a + 13. Let r be o(-6). Let f be m(r). Solve -4*k + 0*k = -5*g - 15, -3*g = -f for k.
5
Suppose -533 = -46*x - 119. Solve 0*d + 3*d + 5*l - x = 0, 0 = 2*d + 5*l - 6 for d.
3
Let d be (7 - (-60)/(-8))*1*-10. Solve 0 = -d*b + 2*h, -h + 1 - 2 = -3*b for b.
2
Let l(x) = -2*x - 16. Let p be l(-4). Let r be (-2 - (-2 - 4/p))*0. Solve -h - o + 1 = r, -h + 2*o + 25 = -3*o for h.
5
Suppose -j + 3 + 3 = 0. Solve 2*c - 4 = 3*y + j*c, 5 = -4*y - 5*c for y.
0
Let t(g) be the third derivative of g**5/12 - g**4/3 + g**3/3 + 40*g**2. Let x be t(2). Solve -x*z + 3*a - 6 = -3*z, 6 = 2*z + 3*a for z.
0
Suppose -16*s + 30 + 50 = 0. Solve -s = -3*u + 2*u + 5*r, -4*u - r - 22 = 0 for u.
-5
Let a(r) = -r**2 + 2*r + 3. Let s be a(3). Suppose 3*n = -s*n + 12. Let f = -572 + 574. Solve w - n + 3 = -2*b, 2*w + b - f = 0 for w.
1
Let v(w) = -w**2 - 4*w - 1. Let p be v(-3). Suppose 4*h - 6 = 10. Suppose -10 = -5*j, 8*j = p*r + 4*j + h. Solve 0 = q + 1, -3*q + 1 = -r*u - 0 for u.
-2
Let u(x) = x**3 - 7*x**2 - 3*x + 57. Let a be u(6). Solve -a*o - r + 9 = 0, -o - 5*r = -8*r + 7 for o.
2
Suppose -6*l + 68 = -94. Let a = 33 - l. Solve -4*h - 4*j + a*j = -12, 4*h = -4*j + 12 for h.
3
Suppose 9*i - 14 = 22. Solve 0 = i*j - 5*j - 5*g - 23, 5*g + 17 = j for j.
-3
Let k be (-31)/(-8) + 7/56. Let h(p) = p + 4. Let j be h(k). Let o = 13 - 9. Solve l = o*n - 0*n + 20, 0 = 2*l - j for n.
-4
Let a = -98 + 103. Solve -5*i - 5*j + a = 0, 0 = i - 5*i + 5*j + 22 for i.
3
Suppose 0 = 31*v - 34*v. Solve v = -3*o + 2*o + 2*i + 4, 12 = 5*o - 2*i for o.
2
Let j(w) be the first derivative of w**3/3 - 9*w**2/2 + 10*w + 3. Let n be j(8). Solve y = 3*d - 12, -4*d + 18 = -4*y + n*y for y.
-3
Let t = -337 - -341. Solve 22 = t*z + 2*p, 0 = z - 5*p + p + 17 for z.
3
Let g(b) = 5*b**2 - 18*b + 17. Let k(a) = -3*a**2 + 9*a - 9. Let p(y) = -4*g(y) - 7*k(y). Let m be p(-10). Solve 0 = m*t - 5, -4*q + 0*t = -t - 19 for q.
5
Let d be (2 - (-16)/(-6))*3. Let h(n) = 2*n + 7. Let a be h(d). Solve 2*g + a*c - 9 = 0, 0*c = 4*g + c + 7 for g.
-3
Let z = -42 + 42. Suppose -13*i + 16*i = z. Suppose -3*c = 2*c - 20. Solve 4*r - 20 = i, -c*r + 20 = -4*h + 6*h for h.
0
Let r be (-2)/12 + 417/18. Let i = -10 + r. Let q(b) = 2*b - 1. Let z be q(i). Solve n = -4*n - 3*h, 5*h = -z for n.
3
Suppose 2*v = k - 0*v - 26, k + 5*v = 5. Let j be (-6 + 1)*2/(-5). Suppose -2*a + j = -a. Solve 4*m = k, -s = -m + 2 + a for s.
1
Let y = -8 + 0. Let g be 26*1*(-20)/y. Suppose -5*s = -0*s - g. Solve 3*u + 3*t + 14 = -u, -s = 3*u + t for u.
-5
Let g = -1283 - -1285. Let p(o) = o. Let r be p(0). Solve -t = g*l - 4*t + 11, r = 2*l + t - 1 for l.
-1
Suppose -12*y + 7*y + 20 = 0. Suppose 6 = -5*a + y*b, 5*a = -4*b - b + 30. Let h be (-5)/(15/(-12)) - a. Solve 0 = -4*d + h*q, 6*d - d + 2 = 2*q for d.
-2
Let t be (8 + (0 - 1/(-3)))*48/80. Let k be (-4)/(-2 - (2 - 2)). Let m be (3 - k) + 10 + -2. Solve 3*q - t*q - 3*v = 17, -2*v = -q + m for q.
-1
Let c = -1312 - -1312. Solve -l + 5*m - 18 = 0, c*l + 27 = -5*l + 4*m for l.
-3
Suppose -4*v = -0*v - 3*t - 13, v - 4*t = 0. Solve 1 = -4*i + 5*w, -i + 3*i - 4*w - v = 0 for i.
-4
Suppose -26 = -4*o - s + 24, -2*o = -4*s - 16. Let u = o + -8. Solve -3*m = -w + 15, -2*m = -2*w + u*w + 10 for w.
0
Let w be 3*(7 + -3 - 3). Let c be (3 - 3)*-2*5/20. Solve 0*q + w*q = 3*s, q - 3*s - 4 = c for q.
-2
Let u be (-132)/(-4) - (8 - 10). Solve -6*f + f - u = -5*b, 2*f = -3*b + 6 for b.
4
Let d(i) = 4*i**3 + i - 1. Let m be d(1). Let v be (3 - 5/2)*0. Suppose 0*n - 3*n + 21 = v. Solve m*z = -4*f - 12, 3*z + 0*z - 5*f = n for z.
-1
Let v(b) = 2*b - 11. Let h be v(7). Let z be (h + -3 + 0)/1. Let r = 29 + -25. Solve z*a - 5*t = -2*a + 10, 4*a = -r*t - 36 for a.
-5
Suppose 0 = -5*n + z + 111, 5*z - 9 = -n + 8. Solve -b = c - 2*c - 6, -c - n = -5*b for b.
4
Let q = 438 + -433. Solve 5*w = -q*u, -5*u - 4*w = -9*w - 10 for u.
1
Let w(r) be the first derivative of -r**3/3 - 9*r**2 + 40*r + 36. Let f be w(-20). Solve f = -4*v + o, 0 = -2*v + 3*o - o for v.
0
Suppose 0 = -88*k + 125*k. Solve k = 2*h + 4*r - 3*r + 1, -5*h = 5*r + 10 for h.
1
Let w be (-5 - (-1 - -3))*16/(-28). Solve -28 = w*h - 4*q, -h - 5*q + 13 = -2*q for h.
-2
Let u(x) = -2*x**2 - 2*x. Let k be u(2). Suppose 0 = -m + 5*o - 9, -3*o + 8*o + 47 = -3*m. Let j = k - m. Solve -6 = 3*q - c - 3, -2*q - j*c + 6 = 0 for q.
0
Let m(a) = -a**2 - 13*a + 32. Let d be m(-15). Let q be (-4 + 6)/(d/4). Solve -6*t + 2*r + 10 = -t, -q*t - 5 = r for t.
0
Suppose 5*o = 3*v + 50, 3*o = 5*o + 2*v - 4. Suppose 5*u - 3*l - 3 - 6 = 0, -l - 3 = 3*u. Suppose a - o + 5 = u. Solve -a*s - 4 = -0, 12 = 4*y - 4*s for y.
1
Let s(q) = -2*q - 23. Let n be s(-11). Let y(x) = 13*x**2 - 2*x - 2. Let p be y(n). Solve 0 = 4*b - f + 17, p = -3*b + 4*f - 3 for b.
-4
Suppose l = 41 + 19. Let k = l + -55. Solve i = 2*t - 3*i - 14, -2*i - 19 = -k*t for t.
3
Suppose 1 = -w + 5*z, 6*z - 5*z = 4*w - 15. Solve -2*v - 2*b + 6 = b, -v + w*b - 8 = 0 for v.
0
Let o be 3 + (-7)/(7/20). Let d = o + 30. Let q = d + -10. Solve 3*j - q*g = 21, -3*j = -g - 9 - 8 for j.
5
Suppose -11*b + 458 = 381. Solve 0 = 4*v - 0*v + 5*f + b, 0 = 5*v - 4*f + 19 for v.
-3
Let b(c) = 6*c**3 - 2*c**2 - 2*c + 3. Let v be b(2). Let j = v + -23. Let z be (-10)/15 + (-24)/(-9). Solve 4*d + j = -3*y, z*d - 6*d - 5*y = 16 for d.
-4
Let j(w) = -w**3 + 8*w**2 - 8*w + 1. Let b be j(6). Suppose 2*d + 3*d = b. Solve 0*v - d*l = v - 14, -3*l = -v - 10 for v.
-1
Let t(o) = -o**3 + 5*o**2 - 2*o - 8. Let p be t(4). Solve -3*n = -0*n - 2*k + 4, 2*n - k + 3 = p for n.
-2
Suppose 4*t - 