f = 12 + -17. Let t = f - -5. Suppose -d = -t*d - 4. Solve -a = d*q + 19, 9 = -3*a - 5*q - 13 for a.
1
Let v be 660/70 - (-15)/(-35). Solve -2*y - v = -2*f + 5, -f = 3*y + 13 for y.
-5
Let q be ((-50)/15)/((-40)/48). Solve q*m + 0*m + 4*k = 4, 2*m + 4*k = 0 for m.
2
Let s be (-32)/(-24) - ((-80)/(-12))/(-10). Solve -5*d = -u - 0*d - 2, -s*d = -2 for u.
3
Let k be -1 - (-8 + 2 + 3). Let r(n) = n**3 + 2*n**2 - 4*n + 2. Let v be r(k). Let l be v/(-5)*(-38)/4. Solve -5*h - 4 - 6 = 3*s, 3*s = 4*h - l for s.
-5
Let c(v) = -v**2 - 6*v + 3. Let f be c(-6). Let o be ((-3)/f - -3)*3. Solve -1 = z + m, -o = 5*m - 3*m for z.
2
Suppose 2*z - z = 14. Suppose -46 = -4*v + 18. Let g = v - z. Solve -2*m = -5*l - 18, 0 = 3*l - 0*m + m + g for l.
-2
Let i be ((-3)/(-4))/((-2)/(-8)). Suppose 45 = 4*n + 137. Let f = n + 28. Solve -i*c = -3*x - 3 + 6, 5*c + f = 4*x for c.
-1
Suppose -78*w + 81*w - 6 = 0. Solve 0 = z - 1, 17 = 4*y - z + w*z for y.
4
Let o be (120/150)/((-2)/(-10)). Solve -g + 2 = 5*f, -2*g + 2*f - 4 = o*f for g.
-3
Suppose -5*x - 1 = -16. Let w(j) = -x*j + 3*j + j + j - 11. Let u be w(7). Solve 13 = i - u*z, -i + 2*z = -10 + 2 for i.
-2
Let n(l) = 0*l**2 + 3*l**2 + 0*l**2 - 4*l**2 + 13. Let j be n(0). Suppose 5*y - 32 = g + 83, -y - 5*g + 23 = 0. Solve 2*w - w = 5*x + j, y = -5*x - 4*w for x.
-3
Let f(x) be the first derivative of x**3/3 - 4*x + 23. Let s be f(2). Solve 2*q = s, 4*q = 2*h + 3*q - 8 for h.
4
Let a = 15 + -5. Let y(i) = -7*i**2 + 0 - a + 0*i**2 - 2*i - i**3. Let s be y(-7). Solve 3*o + 24 = 4*o - 5*k, -s*o - k = 9 for o.
-1
Let q = -1733 - -1738. Solve -5*j = -q*f + 5, 0*f = -2*j - f - 2 for j.
-1
Suppose y = r - 3 - 3, -y = r + 2. Solve 5*l + 7 = r*z - 3*z, -5*l - 15 = 5*z for z.
-2
Let d(g) = g**3 + 2*g**2 - 4*g + 3. Let x be d(2). Solve 4*l - a - x = 4*a, -5*l = 5*a - 25 for l.
4
Let o(y) = 4*y + 2. Let m be o(5). Let q = m - 20. Let i = 10 - 6. Solve q*n - 4*k = -30, i = 4*n + 5*k - 1 for n.
-5
Let r be 605/242 - (-1)/(-2). Solve 12 = -4*v + 2*l - 8, r*v + 14 = 3*l for v.
-4
Let d(t) = 34*t + 484. Let n be d(-14). Suppose 4*m + 5*f - 38 = -6, 2*m - 14 = -2*f. Solve 0 = m*i - 4*h - 6 + 19, -h = 3*i + n for i.
-3
Let f = -763 - -788. Solve -5*h = -0*o - o + f, -4*h + 5*o - 20 = 0 for h.
-5
Suppose q - 3 = -3*m - 0, 0 = 4*q - 3*m - 42. Suppose -5*v + 5 = 4*p - q*p, 3*p - v = 7. Solve 0*x + 4*x + 16 = p*r, -2*r - x = 4 for r.
0
Suppose 2*p - 7 = -3*g + 9, -3*g + 2 = -5*p. Solve -5*q = 2*f + 4, -4*q + 0 + p = -f for f.
-2
Let z be (6/(-10))/(2/(-20)). Suppose -5*j + z = -14. Suppose -j*d - 7 = -23. Solve -s - 23 = d*s - 4*i, 0 = -3*i + 6 for s.
-3
Let n(q) = -q**2 - 11*q - 12. Let k be n(-10). Let y be k + (-1 - -1) + -18. Let f(j) = -j - 18. Let l be f(y). Solve 5*i + 16 = -0*w + l*w, i = -w - 6 for i.
-4
Let i = -659 - -662. Solve -i*c - 3*k + 15 = 0, -3*c + 7*k - 6*k = -11 for c.
4
Let a(d) = d - 4. Let t be a(6). Suppose 3*n - 2*j - 3*j = 17, 2*n + t*j = 6. Suppose -2*o + 0 = -n. Solve -4*u + 9 = -y - u, -o*u + 20 = 4*y for y.
3
Let j(m) be the second derivative of -m**5/20 - 2*m**4/3 - m**3/2 - 10*m**2 - 21*m. Let k be j(-8). Solve f - 6*i = -4*i + k, f + 3*i + 11 = 0 for f.
-2
Suppose -4*i + i + 6 = 0, -108 = 2*q + 3*i. Let h = 59 + q. Solve -10 - 7 = 5*r + 2*s, r + 1 = h*s for r.
-3
Let p = -53 + 67. Suppose 6*z - 2*z - 13 = -5*r, 2 = -2*r + 2*z. Solve -k - p = -2*f, 4*k - 3 = -4*f + r for f.
5
Let g(y) = 10*y - 58. Let a be g(6). Suppose 6*k + 10 = -a*b + 10*k, -7 = -5*b + 2*k. Solve -5*p - 25 = 0, 0 = m + b*p - 0*p + 18 for m.
-3
Let w(g) = 10*g + 2. Let x be w(-8). Let z = x + 81. Solve 0*j + 12 = z*p - j, -j = 0 for p.
4
Let w be (-2 - (-14)/4)/((-2)/(-8)). Suppose -3*v + 11 = c, -4*v = -2*v + c - w. Solve -5*x + v*p + 20 = 55, 2*p = -3*x - 11 for x.
-5
Suppose 3*y - 14*t + 10*t - 8 = 0, 0 = -5*y + 5*t + 15. Solve -s - y*b - 9 = 7, 0 = -s - 5*b - 21 for s.
4
Suppose 45*w - 75*w = 0. Let v be (4/10)/(1/(-5)). Let t(z) = -z**3 + 2*z + 1. Let d be t(v). Solve 4*q = w, -d*l - 5*q + 10 = -q for l.
2
Let i be (-112)/(-112) + 3*1. Solve 3*v + d = -1 - 8, 4*d + 4 = i*v for v.
-2
Let i be (-4)/6*(-234)/12. Suppose 7*w = 27 - i. Solve 0 = o - w*t, -26 + 0 = -4*o - 5*t for o.
4
Let v(i) = i**2 + 17*i + 2. Suppose -4*m - 102 = 2*m. Let h be v(m). Solve l + 8 = -h*r, l + 3*l + 3*r = -22 for l.
-4
Let o(b) = 4*b**3 + 18*b**2 - 11*b + 1. Let j be o(-5). Solve 2*s + 14 = -n, -2*n = -j*n - 5*s - 41 for n.
-4
Let z = 204 + -103. Suppose 0 = -4*w + c + z, 4*w + 0*c + 2*c - 86 = 0. Suppose -n + w = 3*n. Solve -n*g - 4*x - 30 = -g, -5*x - 23 = -g for g.
-2
Let i = -14 - -17. Suppose j - 5 = -2*a + 2, -i*j = -5*a + 1. Let b(m) = -m**3 - 12*m**2 + 2. Let k be b(-12). Solve a*l - h + 6 = -k*l, -2*l + 6 = -5*h for l.
-2
Let r = 1398 - 1396. Solve 0 = 5*y - 4*m - 6, 13*m - 16 = r*y + 16*m for y.
-2
Let m = 20 - 15. Let t be m/((-100)/(-8)) - 18/(-5). Solve -t*i + 0*i - 12 = 3*h, 0 = 3*h - 2*i - 6 for h.
0
Let b be 12 + (-32)/(-48) - 1/(-3). Solve -3*d + 7 = 5*s - b, 0 = 2*d - 10 for s.
1
Let q be 1*2*((-11 - -2) + 11). Solve -t = -q*k + 2*t - 12, 3*k = -2*t - 9 for k.
-3
Suppose -2*t = 2*u - 44, -t + 4*t = u + 74. Suppose -6 + t = d. Let b be d + 0 - (4 - 4). Solve -b = 2*h + 2*i, -i = -h + 5*h + 21 for h.
-4
Let h = -301 + 307. Solve -3*v + 7*v = -2*z + h, -3*z + 4*v = -19 for z.
5
Let g = 17 + -21. Let n be 4 - 3*g/(-12). Solve 4*h - 4*v = -2*v + 2, n*h + 3 = 3*v for h.
2
Let x(z) = z**2 + 10*z - 5. Let f be x(-11). Suppose -20 = -f*w + w. Solve 3*j - 6*j - w*m = -32, -j + 24 = 4*m for j.
4
Let g be (1/4 - 0) + (-70)/(-8). Solve x + 1 - 13 = -4*t, 3*t = -2*x + g for t.
3
Suppose -24 = 6*q - 36. Solve q*b + 6 = -2*a, -5*b + a + 0*a - 15 = 0 for b.
-3
Suppose 7*y + 5 = 5*y + 3*c, 3*y - c = 10. Solve -2*w + y*w + 3 = -2*o, 4*w - 5*o = -27 for w.
-3
Let h = 27 + -24. Solve -3*s + 13 = 3*i + 2*i, -3*s + 3*i - h = 0 for s.
1
Let q(w) = w - 18*w - 4*w + w**2 - 43. Let g be q(23). Solve -i = -f + 3, f + 5*i - g*i - 3 = 0 for f.
3
Let i(g) = -g**3 - 2*g**2 + g - 2. Suppose 5*z + 5*m + 35 = 0, -2*m = 5*z + 18 + 5. Let f be i(z). Solve -8*o = -3*o - f*u - 2, 2*o = -3*u - 13 for o.
-2
Let j(t) = -t + 1 - 10 - 8*t**2 + 8*t + t**3 + 2*t. Let q be j(7). Suppose -5*w + 10 = -5*a, q*a - 4 = 6. Solve n + 2*k - w = k, -2*k = 2 for n.
5
Suppose -x + 4*g - 4 = g, 12 = 3*g. Solve -5*j + 4*u - 22 = -x, 0 = 5*j - u + 11 for j.
-2
Let i = -8 + 8. Suppose 3*x = 3*r + 9, 3 = x + r - i*r. Suppose 6 = 5*m - 4. Solve -5*p = -x*y - m, -2*y - y = 5*p - 8 for p.
1
Let t be ((-106)/16 - -7)*8. Solve t*s + 2*n - 10 = s, 0 = 3*s + n - 11 for s.
3
Let x be (-1 + -5)*1/(-3). Suppose 6*p - 20 = x*p. Let m = 0 + p. Solve 0 = w, -2*d - w = -m*w + 2 for d.
-1
Let q(x) = -2*x**3 - 37*x**2 - 19*x - 15. Let g be q(-18). Solve -2*o - z - g = 0, o - z + 6 = -3*z for o.
0
Suppose -2*q = 3*r - 10*r + 36, -4 = -2*r - q. Solve -r*d + 4*p + 12 = 0, -d - p = p for d.
2
Let a = -15 + 10. Let t be (-2 - (-7)/5)*a. Solve n = 3*n + d - 4, 12 = -2*n + t*d for n.
0
Let c(i) = 7*i**2 - 6*i + 2. Let r be c(-3). Let k = r + -81. Solve 4*o + k*x = 26, 0*x = -3*o - 2*x + 21 for o.
5
Suppose 0 = 4*i - 5*z, -9*i + 2*z = -11*i. Solve 20 = -5*s, -3*g - 3*s = -i*g + 27 for g.
-5
Suppose -6 = -5*o - 2*y, 3*o - 4*y - 12 = 2. Solve -4*k = 2*w + o*w, 3*w - 32 = 5*k for k.
-4
Let i(q) = 18*q + 95. Let a be i(-5). Solve 0 = -p - 0*p - 3*r + 13, -a*p = 4*r - 10 for p.
-2
Suppose 6535*c = 6528*c + 91. Solve -29 = -5*g + p, 4*g - c + 5 = -3*p for g.
5
Let c(v) = -v**2 + 104. Let a be c(-10). Solve -2*h - a*x = -22, h = -0*h - 5*x + 23 for h.
3
Let q = -9 - 8. Let y = -15 - q. Suppose 4*v + 5*n - n = 20, -y*n + 6 = v. Solve -3 = -3*z - v*m - 1, -2*m - 2 = 3*z for z.
-2
Let p be 390/(-80) - 1/8. Let d be (-3 + p/(-4))*-4. Suppose 0 = 6*w - 0 - 18. Solve d*g - w*g + 32 = 4*b, 0 = -5*g - b - 16 for g.
-4
Let l(m) = 8*m**3 - 3*m**2 - m. Let y be l(-2). Let b = y + 77. Solve b*n + 3*h + 12 = 0, 0*n + 3*h = 3*n + 18 for n.
-5
Let r be 34/6 + -1 - 36/(-108). Solve 12 = -3*p + 3*d, r*p + 0 - 7 = -4*d for p.
-1
Let k be (-10)/(-2)*(88/10)/11. Solve -8 - 1 = -5*c - 4*l, -c + k = 3*l for c.
1
Suppose -5*y = -6*p + 2*p + 19, -4*p + 22 = -2*y. Solve -5*w - 4*b + 7 = 0, -p*w + w + 23 = -4*b for w.
3
Let q(v) = -v**3 + 22*v**2 - 43*v +