 be v(-4). Solve 0 = -i*g - g + 25 for g.
5
Suppose 0 = -2*t + t. Suppose t = m - 0*m. Let o be ((m - 3)/3)/(-1). Solve 2 = -3*n - o for n.
-1
Suppose -g + 2 = 4*d, -4 = -4*d - d - 2*g. Suppose -4*l + 8 + 2 = -2*t, -2*l + 2*t + 2 = 0. Solve d*r + r = l for r.
4
Let c = -18 + 21. Solve 0 = k - c*k for k.
0
Suppose -15 = -5*b + 30. Let u = -6 + b. Solve 0 = u*s - 3 for s.
1
Let j be 1/(-6) - 2/(-12). Solve -3*t + j*t + 6 = 0 for t.
2
Suppose -3*v = -4*v + 3. Suppose 0 = t - 2*t - 3. Let c be 5 - t/(5 - 2). Solve -c*i = -v*i for i.
0
Let h(m) = -m**3 + m**2 + 4. Let g be h(0). Suppose k = 2*j + 10, -2*k + 27 = k - 5*j. Let x be 0/(-3)*2/k. Solve -u = -x*u - g for u.
4
Suppose -2*k = -k. Solve k = -4*x - 8 for x.
-2
Let h = -3 - -1. Let m = 5 + h. Suppose 3*y + 9 = m*v, -y + 2*y = 3*v - 13. Solve a - y*a + 1 = 0 for a.
1
Let h(z) = z**3 - z**2 - z + 2. Let a(r) = r**2 + r - 4. Let w be a(-3). Let u be h(w). Solve -7 - 1 = -u*x for x.
2
Suppose -2 + 11 = -3*w. Let b(u) = 2*u**2 + 3*u - 3. Let t be b(w). Solve -y = -4*y + t for y.
2
Suppose v + 6 = 4*b, -2*v = 3*b - 7*v + 4. Let l be -5 + 0 + 2 - -33. Let c = -26 + l. Solve 2 + c = b*y for y.
3
Let u(y) = -y**2 + 7*y + 4. Let b be u(7). Let n be (27/6)/(-3)*-2. Suppose -3*o + 3 = -b*m, 17 = -m + n*o + o. Solve 2*t = m*t for t.
0
Let y = -19 - -29. Solve -y = z - 6*z for z.
2
Let r be (15/2)/(-5)*(-20)/6. Solve -3*i + r = -4*i for i.
-5
Let z be 30/(-4) + 1/2. Let b = z + 9. Solve -b*v = 2*v + 4 for v.
-1
Let i(n) = n**2 + 3*n - 2. Let w = 8 - 14. Let q be i(w). Solve 3*r + q = 7*r for r.
4
Let c(a) = -a**2 - 4*a + 5. Let j be c(-5). Suppose -4*w - 12 = 0, -3*w = 3*s + w. Solve q + j = -s for q.
-4
Let k = 9 + -15. Let m be 3 + (k + 3)/(-3). Solve -2*j - 10 + m = 0 for j.
-3
Let f be (-5)/((-125)/15)*5. Solve -6*s = -f*s for s.
0
Let x(b) = -b + 2. Let z be x(-4). Let k = -1 + z. Solve -17 = k*g + 8 for g.
-5
Let m be (1 + 3)*(-55)/(-20). Let u be (-18)/4*(1 - 3). Suppose -z - 20 = -6*z. Solve m + u = z*a for a.
5
Suppose p + 1 = 4. Suppose 4*h - 3*k + p + 0 = 0, -4*k + 23 = h. Suppose -3*o + 4*o - 8 = -h*s, o - 10 = -4*s. Solve o = -r + 6 for r.
4
Let l = 14 + -8. Suppose x + 2 = 4. Suppose -y = x*y - 9. Solve 6*r = y*r + l for r.
2
Let r = 442 + -433. Let d be (2 - 1)*1 - -3. Solve r*g = d*g + 10 for g.
2
Let v be (-892)/(-14) + (-4)/(-14). Suppose y - 5*y = -v. Solve 3*n = -n + y for n.
4
Let y(i) = i**2 + i + 840. Let r be y(0). Suppose 4*n - 8*n = r. Let m be n/(-55) - (-4)/22. Solve 0 = -0*d + m*d - 12 for d.
3
Let q(v) = -v**3 - 4*v**2 + 2*v. Let z be q(-5). Let k = -5 + z. Suppose -6 = -4*i + j, 4*i - 4*j = -j + k. Solve 2*n - n = i for n.
1
Let m = -8 + 12. Suppose -5*k + 13 = -2*l, -k + m*k + 5*l + 17 = 0. Solve -4*c + 9 - k = 0 for c.
2
Suppose -103 = -5*s - 18. Let k = s - 11. Solve k*q + 5 = q for q.
-1
Suppose 0 = -3*h - h. Let c be 2*(-2)/8*-2. Solve h = 5*x - c + 26 for x.
-5
Suppose -2*p - 5*w = -3*p + 13, -4*w = 4*p - 28. Let r = 10 - p. Solve -2*x - r = -0*x for x.
-1
Suppose -7 - 5 = 4*p. Let m be 0 + (0 - (1 + p)). Suppose m*o + 2 = -4*a, -2*o = -2*a - 7*o - 13. Solve -q - a = 3 for q.
-4
Let o = 2 - -6. Let f(m) = m - 1. Let p be f(5). Suppose -q + o = p. Solve 2*v + q = v for v.
-4
Let z be 50/(-16) - -3 - (-130)/16. Solve 0 = -3*i + 5 - z for i.
-1
Let t be 0/(0 + -1 + 2). Solve 12 = 3*a - t for a.
4
Let v be (2/6)/((-1)/(-3)). Let l be -2*v/(-1)*1. Suppose 5 + 10 = 3*a - 3*h, -5*h = -l*a + 16. Solve p + a - 1 = 0 for p.
-2
Let c(y) = -y**2 - 12*y - 27. Let q be c(-8). Solve 4*m - q = 3 for m.
2
Let n be 4/(-6) - 24/18 - -4. Solve g = n*g for g.
0
Let t(u) = -2*u - 5. Let b be t(-4). Suppose 3*g = b*s + 18, 2*g = -3*s - g - 18. Let z be (2 + 0)*(-9)/s. Solve -4 = -z*n + 2 for n.
2
Let x be 4/7 - 20/35. Solve x*t = -3*t - 9 for t.
-3
Let w = -13 - -25. Let y be (4/(-6))/((-4)/w). Solve 1 = y*c - 3*c for c.
-1
Suppose 5*d + 0*s + 5*s = 125, -5*d + 101 = -3*s. Let h = d + 3. Solve 0 = -7*y + 2*y + h for y.
5
Suppose 7*y - 2*y = 80. Let d be (-2)/(-6) - y/(-6). Let l be (-6)/((-6)/45*d). Solve -r - l = 2*r for r.
-5
Let r be ((-17)/2)/(2/(-4)). Let x = r + -2. Suppose p + 4*w + 34 = 14, 25 = -5*w. Solve -c - 2*c - x = p for c.
-5
Let t(v) = v**3 - 2*v**2 - 3*v + 2. Let x be t(3). Solve 1 - 3 = -x*b for b.
1
Let r = -7 - -11. Solve r*b = 3*b for b.
0
Let y(v) = -v**3 + 4*v**2 - 4*v + 2. Suppose 0 = -2*w + 2 + 2. Let c be y(w). Solve -5 = -c*g + g for g.
5
Let u(z) be the second derivative of z**5/20 - z**4/2 + z**3/6 + 5*z**2/2 + 2*z. Let b(s) = s + 2. Let i be b(4). Let j be u(i). Solve 9 + j = -5*m for m.
-4
Let a be -1 + 0 + -1 - -2. Suppose a = 7*v - 9*v + 16. Solve -5*o + v - 23 = 0 for o.
-3
Let d = 11 + -4. Let j(b) = b**2 - d - b + 7. Let y be j(2). Solve 0 = -c + y - 4 for c.
-2
Suppose -h + 5*h + 12 = 2*l, -2*l = -3*h - 12. Suppose 3*d + l - 3 = 0, k + 5*d = -8. Let n be (k + 3 - -4) + 0. Solve 3*t + n = 13 for t.
3
Let t be (-10)/(-25) + (-16)/(-10). Solve -t*m + 5 = 1 for m.
2
Suppose -3*i = 13 - 1, 4*g - 24 = -i. Solve 2*h - 1 = g for h.
4
Let d(l) = l + 3. Let g be d(4). Let f(v) = v**3 - 8*v**2 + 8*v - 4. Let q be f(g). Suppose -t - q*t = -24. Solve -4*m + 6 + t = 0 for m.
3
Suppose 20 = 9*o - 7. Solve o*y = -3 - 9 for y.
-4
Suppose 3*r - 12 = -4*p, -r + 2*r + 2*p - 6 = 0. Suppose 2*a + 18 = 3*j - 3*a, r = 5*a. Solve j*z = 2*z for z.
0
Let w be -2*(45/(-6))/5. Solve -w + 0 = -c for c.
3
Let o = 160 + -151. Solve 10 = 4*s - o*s for s.
-2
Suppose -2*c - 36 = 2*c. Let q = c - -11. Solve 0 = q*t - 3 - 1 for t.
2
Let n be 7 + 3/(-1) - 1. Solve 0*g = n*g + 3 for g.
-1
Let b(f) be the third derivative of -f**6/120 + f**5/20 + f**4/12 - 2*f**3/3 + f**2. Let v be b(3). Suppose 5 + 4 = 3*h. Solve -h*u + 15 = v*u for u.
3
Let g = -3 - -4. Suppose -z - 2*x + 0*x = g, -2 = -4*z - 2*x. Let a = -2 + 4. Solve a*i = -1 - z for i.
-1
Let g be (0 - (-2 + 2))*-1. Suppose 2*z = -6, z + 3*z = 2*w - 12. Suppose -i + 2*c + 5 = g, -3*c + w*c = -5*i + 11. Solve i + 11 = -4*a for a.
-3
Suppose 0 = -0*d - 2*d - 2, k + 4*d = 14. Let n = -12 + k. Solve u - n = -u for u.
3
Suppose -2*f = -3*f + 2. Suppose -l = -0 - f. Solve 0*w - 6 = -l*w for w.
3
Let j = 11 + -6. Suppose -5*s + 29 = 3*o, j*s - 2*o = -o + 17. Suppose k = -2*k + 12. Solve -3*m = -k*m - s for m.
-4
Let q = -10 + 14. Solve q*w = -20 - 0 for w.
-5
Let k(t) = t**3 - t**2 - 4*t - 3. Let w be k(-2). Let g be -1*2 + (-56)/w. Solve 2*h = g*h - 4 for h.
1
Let n(r) = -r**3 - 12*r**2 - 12*r - 11. Let z be n(-11). Solve 2*l + z*l + 2 = 0 for l.
-1
Let h be (18/12)/((-1)/2). Let t = 3 + h. Suppose -3*c + 5 + 7 = t. Solve -u - 5 = c*u for u.
-1
Let i be (4 - 3)*-1*1. Let q = i + 1. Suppose q = -y - 2*y + 6. Solve -y*a + a = 0 for a.
0
Suppose 5*f + h - 5*h - 46 = 0, 3*f - 2*h - 26 = 0. Let o be 1/(((-10)/f)/(-5)). Solve 0*n = o*n for n.
0
Let n = 2 + -1. Solve n + 1 = a for a.
2
Suppose 0 = 3*o - 10 - 11. Let u = o - 7. Solve 2*k + 1 + 1 = u for k.
-1
Suppose -2 = 5*v + 5*m - 7, -3*m = v + 7. Solve -v = 2*d - 3 for d.
-1
Suppose 0 = -n + 7 - 4. Solve n*q + 9 + 3 = 0 for q.
-4
Suppose 0 = -5*h + 3*h + 18. Let z(s) = -3*s + 1. Let r be z(-1). Suppose -9 = -r*c + 3. Solve 0*a = c*a - h for a.
3
Let r = 71 - 46. Solve -3*c = 2*c + r for c.
-5
Let n = -2 + 3. Suppose n = -3*y + 2*v + 2, 4*v = 4*y. Let s be (y/(-1) + 4)/1. Solve -4*j - 1 - s = 0 for j.
-1
Suppose -3 = 5*c - 13. Suppose 3*o = 4*d + 4, 6*d - 4*o + 6 = d. Solve 0 = -d*m + 2 + c for m.
2
Suppose 0 = 4*q + q - 10, 0 = -5*o - 5*q + 10. Solve p + o*p = 0 for p.
0
Let m = 0 - 0. Let x be m - ((-15)/3 + 0). Solve -5*a + 5 = -x for a.
2
Let p be 0 + 136/14 + (-6)/(-21). Solve 0 = -3*t - 5 - p for t.
-5
Let g(a) = 3*a**2. Let v be g(-1). Suppose -20 = -c - v*c. Suppose 3*b - c = -2. Solve 3 = -4*p - b for p.
-1
Suppose -97 - 28 = -5*n. Let m be 2/(-6) - n/(-3). Solve -d + m = 4 for d.
4
Suppose 0*k - 2 = -k. Let b be (-2)/(-4) + 3/k. Let x be (-1)/7 - (-203)/49. Solve -b*v - 6 = x for v.
-5
Suppose 0 = -3*l - 0*l. Let q be 1/(-2)*(l + 0). Suppose 3*m = 5*d - 5, 5*m + 3*d = -q*m + 37. Solve 4*i - 3 = m*i for i.
-3
Let o be 35 + (0 - -3 - 2). Let j be 3/4 + 117/o. Solve j*r = -r + 10 for r.
2
Let n(k) = k - 12. Let l be n(11). Let p be (7/(-2))/(l/(-2)). Let h be (-7)/p*(-4)/(-2). Solve 3*r +