e -2*(c + (-3)/(-6)). Solve -v + 0 - k = 0 for v.
-1
Let u = 12 + -9. Suppose -d = -5*y - 0*d + 9, -3 = -u*y + 3*d. Solve h = -y*h - 15 for h.
-5
Let z = 8 - 7. Suppose 2*j + z = -0*j + 3*q, j + 5 = 3*q. Solve -2*i = -j*i for i.
0
Let m(o) = -o - 11. Let s be m(-7). Let v = s + 7. Solve -v = t - 2 for t.
-1
Suppose 5*k - 5 = q + 5, -4*q + 35 = 5*k. Suppose k - 23 = -4*n. Suppose -5*d + 0 = -3*m - 4, 0 = -5*d + n*m. Solve 0 = d*y + 9 - 1 for y.
-4
Let u(z) = -21*z - 1. Let i be u(-1). Let l be 38/8 + 5/i. Suppose -5*b + 2*b + 16 = l*o, -4*o + 2 = -3*b. Solve -b*c + 7 = 1 for c.
3
Suppose -10*k = -16*k. Solve k = 9*u - 7*u - 4 for u.
2
Let j = 38 - 34. Solve 5 = 3*g - j for g.
3
Let f = 0 - 0. Solve f = -a - 0 - 1 for a.
-1
Suppose -2*a - 3*g = -3, g = 5*a - g - 36. Solve -a*d - 9 = -3*d for d.
-3
Let z = 30 + -16. Let b(t) = 3*t**2 + 1. Suppose -5*i + 0 = 5. Let w be b(i). Solve w - z = 2*f for f.
-5
Let b(g) = 5*g**2 - g - 1. Let l be b(-1). Let q be (-34)/170*0/2. Solve l*r - 3 - 7 = q for r.
2
Let z = 11 - 8. Solve 3*o + z + 9 = 0 for o.
-4
Let c(w) = -w - 1. Let d(v) = -5*v + 3. Let p(a) = 4*c(a) - d(a). Suppose -3*i = -4*i + 7. Let m be p(i). Solve 7*r - 3*r = m for r.
0
Let o = -10 - -15. Solve y + 0 = o for y.
5
Suppose -2*l + k + 11 = -6, l = 5*k + 4. Suppose 0 = 11*d - l*d - 54. Solve d - 2 = -5*c for c.
-5
Suppose 3*r = 5*g + 20, 4*g + g + 20 = -2*r. Let w = r - -2. Solve w*y + 10 = -0*y for y.
-5
Let n(a) = -a**3 + 7*a**2 + 9*a - 3. Let j be n(8). Let o(m) = 2*m**2 - m - 2. Let f be o(2). Solve -i + f = -j*i for i.
-1
Let b be ((-72)/(-30))/((-6)/(-20)). Suppose -6*y = -2*y - b. Solve -3*c + y = 8 for c.
-2
Let w be ((2 + -3)*0)/(-3). Solve -o - o + 10 = w for o.
5
Let q = -8 + 12. Suppose 2*l - 30 = -q*l. Solve 0 = -l*w + 15 - 5 for w.
2
Suppose 4*b + 10 = -2*w, -2*b + w + 0 = -1. Let d be (2/(-5))/(b/10). Solve 0 = -3*n + d*n for n.
0
Let y(j) = -j + 7. Let h(m) = m**3 + 6*m**2 + 5*m + 5. Let r be h(-5). Let n be y(r). Solve n*l - 6 = -l for l.
2
Let g be 44/10 - (-6)/(-15). Let m be 3/g + (-9)/(-4). Solve 2*q - m*q = 4 for q.
-4
Suppose -5*b = -43 - 2. Let x be 12/b*(-27)/(-6). Solve 0 = d + 3 - x for d.
3
Let r(j) be the second derivative of -j**5/20 - 5*j**4/6 - 3*j**3/2 + 2*j**2 - 5*j. Let w be r(-9). Solve -5*m - w = -m for m.
-1
Let l be 3*(1/3 + -3). Let i be 6*l/60*-5. Solve -i = 4*y + 4 for y.
-2
Suppose -15*x = -10*x + 50. Let g = 12 + x. Solve -g = i - 3*i for i.
1
Suppose -10*v - 5 = -11*v. Solve -a = -2*a - v for a.
-5
Suppose f + 8*w - 3*w - 10 = 0, -4*w - 6 = -2*f. Solve c - 6*c = f for c.
-1
Let v = 20 + -20. Solve -3*d + 11 + 1 = v for d.
4
Let g(r) = r**2 - r - 5. Let p be g(4). Suppose 0 = -p*f + 2*f + 30. Let k = 42 - 26. Solve f*o = 2*o + k for o.
4
Let j(u) = -u**3 - 8*u**2 - 5*u + 17. Let f be j(-7). Let a be 9*(1 + (-2)/(-6)). Solve -f*q + 3 = -a for q.
5
Let s = -6 - -6. Let u = -9 - -9. Suppose s = k - u*k - 5. Solve k = 4*z + 1 for z.
1
Let x be 2/(-10) - 2/(-10). Let z = x + 4. Suppose -z*f + 2 = -y, 0 - 2 = -2*f. Solve -y*m - 4 = 2 for m.
-3
Let c = 37 - 34. Solve 0*h = -c*h - 6 for h.
-2
Let f(o) = o - 5 + 4 - 6. Let a be f(11). Solve -a*h - 5 = -1 for h.
-1
Suppose -2*w - 2*w = 0. Suppose w*l - 3 = -3*l. Solve 5*q = 11 - l for q.
2
Suppose -2*a + 16 = 3*u, 3*a - 20 = -a. Solve -t - 3 = u*t for t.
-1
Suppose -3 = 3*u + 6. Let j = u - -7. Suppose -j*t + 33 = 13. Solve -2 = -m - t for m.
-3
Let m = 2 + -8. Let n be ((-20)/6)/(m/9). Solve -n*r + 0*r = 25 for r.
-5
Let p be (-20)/(-9) + 10/(-45). Let m(h) = 6*h**3 + 3*h**2 - 2*h + 2. Let x be m(p). Suppose 2*q = -a + q + 12, 4*q = -5*a + x. Solve -4*c - c = -a for c.
2
Suppose s = 5*n - 24, 0*n - 4*s = -4*n + 16. Solve -n = 5*p + 20 for p.
-5
Let j = -12 + 14. Suppose -w = z + z - 11, -5*z + 3*w + 22 = 0. Suppose -j*f - 3*g - g = 0, 0 = z*f + 2*g. Solve v + 4*v = f for v.
0
Let g be (-17)/(-4) + 3/(-12). Suppose g - 10 = -3*y + m, 2*m = -4*y + 8. Let o(q) = -q + 7. Let x be o(5). Solve -2*f + x + y = 0 for f.
2
Let j = 1 - 0. Suppose -4*k + 5*w - 19 = 0, w - j = -2*k - 0*k. Let m = 13 + k. Solve -2*t - t = -m for t.
4
Let t be ((-3)/2)/(1 - (-21)/(-12)). Solve t*u + 3*u + 10 = 0 for u.
-2
Let g be (-1)/(-1 - 24/(-21)). Let s = 10 + g. Solve -s = 3*w - 6*w for w.
1
Let n = -1 + 3. Solve n*d + 6 = -d for d.
-2
Let g(x) = x**2 - 11*x + 22. Let i be g(10). Solve 5*h = h + i for h.
3
Let w(u) = u**2 + 5*u + 6. Let r be w(-4). Solve -3*d = -d + r for d.
-1
Let c be (-1)/(-2)*(-3 + 3). Solve 3*d - 5 + 2 = c for d.
1
Suppose f = 4 - 0. Suppose -5*a = -7*a + 16. Let v(g) = -g**2 + 10*g + 4. Let l be v(a). Solve f*j = -0*j - l for j.
-5
Let z be 8/6*(-6 + (-60)/(-8)). Solve z*r + 3*r - 5 = 0 for r.
1
Let u be 2*(-2)/(-4) - 2. Let z = u + 3. Let m be 6/((z/4)/1). Solve -2*h - m = -4 for h.
-4
Let w = -29 + 32. Solve 8*s - w*s - 5 = 0 for s.
1
Let w = 3 + 0. Let b(y) = y + 4. Let d be b(-4). Let s = 0 - d. Solve -x - w*x - 4 = s for x.
-1
Let v(a) = 6*a**2. Let f be v(1). Solve -2*q = q + f for q.
-2
Let y(r) = -r**2 + 6*r - 6. Let o be y(4). Suppose -2*d = 2*b + 4, d - 3*b + 2*b = 0. Let w be 25/20 - d/(-4). Solve -o*g = -w - 1 for g.
1
Suppose 5*z + 9 - 44 = 0. Solve -5*k = -z - 8 for k.
3
Suppose 0 = 5*j, -u - 8 = -5*u + 3*j. Suppose 5*y - 4*y = u. Let s be (2 - 3)*(-1 + 1). Solve s*h + y*h = 10 for h.
5
Suppose -4 = -v - v. Suppose 2 = -q + 5*c, -v*c - 5 = 3*q - 16. Suppose -4*x - 10 = -y + 1, -q*y = -2*x - 13. Solve -4*d + y = -d for d.
1
Let o(q) = q**3 + 3*q - 6. Let n be o(2). Solve -6*s + n = -8*s for s.
-4
Let u be (-2)/(-5) + (-92)/(-20). Suppose 4*n - 48 = -16. Suppose -3*c = 5*b - 21, -c = c - 4*b + n. Solve -c*h = -u*h for h.
0
Suppose 26 = -y - 8. Let v = y + 0. Let j be v/(-10) + (-2)/5. Solve 0 = j*r - 0 + 9 for r.
-3
Let i(c) = -1 + 0*c**3 + 20*c + c**3 - 22*c. Let f be -3 + 3 + (-2)/2. Let z be i(f). Solve z = -4*u + u for u.
0
Let q = -5 + 9. Suppose 0 = -q*u + 43 + 1. Solve 5*s + u = -14 for s.
-5
Let j(a) = a**3 - a**2 - a - 2. Let g be j(4). Suppose 54 + g = 4*r. Solve -r = 3*b - 9 for b.
-5
Let q(l) = -l - 3. Let x be q(-6). Suppose o + 2*y - 25 = -2*y, -3*y + 30 = x*o. Suppose 0 = -6*p + o*p + 1. Solve j = -0*j + p for j.
1
Suppose 2 + 2 = 2*q. Let j be -1 - -16 - (-2 + 4). Let x be 2/(-8) + j/4. Solve q*k = x*k - 3 for k.
3
Suppose 8 = 2*g - 6. Suppose 0 = 4*u + 4*j - 4, -1 = -2*u + 4*j + g. Solve -5 = -7*p + u*p for p.
1
Let z(o) = o**3 + 2*o**2 - o. Let j be (2/5)/(2/(-10)). Let f be z(j). Suppose -2 + 4 = f*w. Solve 14 = 3*y - w for y.
5
Suppose 0*d = 4*d. Suppose -p - 2*s - 5 - 1 = 0, p + 5*s = -12. Let l = d - p. Solve 6 = l*t + t for t.
2
Suppose 3*j - 15 = 3*q, -1 = -4*j - 2*q + 1. Let m(b) = 4*b**2 - 7*b - 5 + b - 4*b**j - b**2. Let h be m(-4). Solve -h*t - 4 = -4*t for t.
4
Let y(p) = -p**3 - 4*p**2 - 3*p. Let z be y(-3). Let c be -1*1/(-3)*6. Solve z = c*n + n for n.
0
Let i be ((-6)/5)/((-10)/25). Solve 12 = t + i*t for t.
3
Let t(k) = k**2 + 7*k - 5. Suppose -5 = u - p, -4*u + 0*u - 44 = 4*p. Let h be t(u). Solve 0*q - h = -q for q.
3
Suppose -22*m = -25*m + 18. Let i(t) = 2*t + 1. Let q be i(4). Let j = 3 + 0. Solve q = j*g - m for g.
5
Let o(y) = -2*y**3 - 2*y**2 - 3*y - 8. Let l be o(-2). Solve a + a = l for a.
3
Let o = -11 - -16. Let z = o - 3. Let m be 2 + z/(2 + 0). Solve -m = -2*c - c for c.
1
Suppose -3*q - 10 = 2*q. Let n = 2 + q. Solve n*t + 6 = 2*t for t.
3
Suppose 4*x = -2*r - 4, -8*r - 68 = -4*r - 4*x. Let w(s) = -s**2 - 12*s + 5. Let m be w(r). Solve m*y - 1 + 6 = 0 for y.
-1
Let h be (-516)/(-36) + (-2)/(-3). Solve 10 + h = -5*f for f.
-5
Let z(l) = 3*l + 1. Let r be z(1). Let q(g) = -g**3 + g**2 - g + 3. Let p be q(0). Let y = 0 + p. Solve -r*c = -9 - y for c.
3
Let z(f) = 4*f**3 - 17*f**2 + 5*f - 2. Let v be z(4). Solve v*w + 0 - 6 = 0 for w.
3
Let w = 39 + -34. Solve -5*o + w = -4*o for o.
5
Suppose -5*t + t = -16. Solve t*q + 12 = q for q.
-4
Suppose 20 = -0*v + 4*v. Solve -3*x - v = -17 for x.
4
Let k(g) be the second derivative of g**5/20 + g**4/2 + 5*g**3/6 + 3*g**2/2 - 4*g. Let b be k(-5). Solve b*j + 5 = -2*j for j.
-1
Let s be 38/4 - (-5)/(-10). Let a = s + -4. Solve 0*u = a*u + 10 for u.
-2
Let q(i) = 3*i - 6. Let k be q(2). Solve k = -f - f for f.
0
Suppose 5*n + d - 29 = 0, -2*n - 3*d + 32 = 2*n. 