v = 11 - 8. Suppose 15 = -7*l + 4*l - 2*q, -4*l - 20 = 5*q. Let o be 123/15 - (-1)/l. Solve -v*y + o = 2 for y.
2
Suppose p - 5*p = -48. Suppose 15 = -5*k + 5*w, -7*k + 2*k - 4*w + p = 0. Solve q + q = k for q.
0
Suppose 0 = 2*c - 2 - 6. Solve 0*r = c*r - 16 for r.
4
Let f(h) = -6*h**3 - h**2 - h - 1. Let l be f(-1). Solve -l + 13 = -4*w for w.
-2
Suppose 0 = r - 3*r + 16. Let y be 11/1 + 2 - 1. Let w = y - r. Solve 0*a - 16 = -w*a for a.
4
Let v be 9/(-2*(-3)/4). Let d be 2/(4/26) + -1. Suppose 2*t + d = -3*m, t - 3*m - 11 = 1. Solve o - v*o + 5 = t for o.
1
Suppose 0 = 3*g - 6*g - 18. Let x = -5 - g. Solve 0 = -s + x - 0 for s.
1
Let i(y) = -y**2 + y + 5. Let q be i(0). Let k = 7 - q. Solve -k*v = -4*v for v.
0
Suppose -4*n - n = 0. Suppose n*s + s = 4. Solve 0 = -j + s*j for j.
0
Let c be 2/(-7) - 220/(-35). Suppose 0 = -r - r + c. Solve 14 + 1 = r*i for i.
5
Let j be 2 - 0 - (-10)/(-2). Let r(d) = -d**3 - 2*d**2 + 3*d + 3. Let c be r(j). Suppose -4*x = 2*z - 6, -14 + 2 = c*x - 4*z. Solve -4*w + 14 - 6 = x for w.
2
Suppose -13*h = -6*h - 56. Solve h = 3*m + 2 for m.
2
Let i(p) = -p + 5. Let k be i(-7). Solve 5*a + 3 = -k for a.
-3
Suppose 4*i - 4*o + o + 53 = 0, 0 = -2*i + 3*o - 31. Let w = 15 + i. Suppose w*u + 13 = -2*s + s, -5*s - 2*u = -7. Solve -s*g - g = -20 for g.
5
Let n be 2/(-10) + 2/10. Suppose p + 1 - 4 = n. Solve 0*g - p*g = 0 for g.
0
Suppose 6 = m + s, -s - 6 = 2*m - 7*m. Solve -6*t + 32 = m for t.
5
Let f(h) = -2*h**2 - 7*h - 3. Let x be f(-5). Let t be (-32)/6 + 12/x. Let a = 8 + t. Solve 0 = a*r + 7 + 3 for r.
-5
Let t = 45 + -29. Suppose -5*k = -0*k. Suppose k = -3*u + 12. Solve -3*q - t = -u for q.
-4
Suppose 21 = 3*h - 3. Let o = h - -7. Suppose 0*u - 3 = -u. Solve u*q - o = -3 for q.
4
Suppose 0 = 11*v - 7*v. Suppose v*d = -4*d + 8. Solve -a - d + 1 = 0 for a.
-1
Let o(s) be the first derivative of -6*s - 5*s**2 - 1/3*s**3 - 2. Let l be o(-7). Solve 3*i + 0*i + l = 0 for i.
-5
Let o(n) = n**2 + 4*n + 1. Let c be o(-6). Let x = c + -13. Solve x*s = 4*s + 12 for s.
-3
Let z be (-12 - -16) + (-38)/(-2) + 2. Let c be 6/(-2) - -2 - -1. Solve 5*n = -c*n + z for n.
5
Let k(h) = -h**2 + h - 2. Let a be k(0). Let g be (-73)/(-5) - a/5. Suppose c + 2*i + 8 = 0, 3*i + g = 2*c - 4. Solve 3*u - 14 = -c for u.
4
Suppose -5*z = -k + 2 - 20, 4*k + 6 = -2*z. Solve -11*o + z = -8*o for o.
1
Suppose 0 = 3*o + 5*g - 20, 2*o + 4*g = 17 - 1. Solve o = -4*i + 4 + 12 for i.
4
Let m be (3 - 2)*-3 + 18. Let h = 4 - -1. Solve 10 + m = -h*s for s.
-5
Suppose 5*n - 20 = -z + n, n = 5*z - 16. Solve -3*r = -z*r + 4 for r.
4
Let l(y) = y**3 + 12*y**2 + y + 17. Let v be l(-12). Let w(z) = z - 3. Let q be w(v). Solve -1 + q = a for a.
1
Let u be ((-6)/15)/(1/(-5)). Suppose 0 = -2*t + 3*t - u. Let j(a) = -a**2 + a + 2. Let w be j(t). Solve 2*l - 3*l = w for l.
0
Suppose 0 = -4*i + 2*u + 10, 0 = -i + 2*u - 6*u - 2. Let x be i*(15/6)/5. Solve -t - x = 1 for t.
-2
Suppose 8 = 4*j - 4. Let s be 20/j*(-18)/(-10). Solve -t - s = -5*t for t.
3
Suppose -2*h - 2*t + 44 = 3*t, -5*t = -h + 7. Suppose p = 4 + 1. Solve -h = -p*i + 3 for i.
4
Let x(y) be the third derivative of -y**6/120 - y**5/60 + 7*y**3/6 + y**2. Let a be x(0). Let r be (-4)/12 + a/3. Solve 0 = r*s - 10 - 0 for s.
5
Let a be 16/6 - (-8)/(-12). Let g(l) = -4 + 0*l**2 + 2*l + l + l**a. Let v be g(-4). Solve v*t = t for t.
0
Let y(g) = 15*g**2 + 4*g + 1. Let h be y(-1). Solve 2*l + h = -l for l.
-4
Let s = -11 - -4. Let j = 20 + s. Let x = 2 + j. Solve 0 = -2*a - 3*a - x for a.
-3
Suppose 0 = q - 0*q. Let m(c) = c**2 - c + 8. Let w be m(0). Let o be (-1 + q)*(8 - w). Solve 4*j + j + 20 = o for j.
-4
Suppose 2*a = -2*g, 0 = -a + g + g. Let t(n) = n**2 - 5*n + 6. Let f be t(4). Solve -f*w = -a*w for w.
0
Let w(f) = f**3 + 6*f**2 - 3*f - 5. Let l be w(-6). Let y = l - 25. Let i = y + 17. Solve -4 - 1 = i*o for o.
-1
Let z be 54 - (-6 + -2)/(-4). Suppose 0 = -0*d - 4*d + z. Solve -5*g - 3 = -d for g.
2
Suppose -2*l = l - 12, -5*l - 20 = -4*u. Suppose u = 5*q - 25. Solve -n - q = -3 for n.
-4
Suppose 13*z - 16 = 5*z. Solve -y - 3 = z*y for y.
-1
Let z be 5 + (4 - 3) - 4. Solve 0*r = z*r for r.
0
Suppose -4*j - 5*p = 100, -j + 2*p - 6 = 6. Suppose 12 - 47 = 7*g. Let c be (-73)/g + (-8)/j. Solve -c = -3*f + 8*f for f.
-3
Let y = 5 + -5. Suppose y = -5*b + 9 - 49. Let a(r) = r**3 + 9*r**2 + 6*r - 9. Let d be a(b). Solve -5*i - d = 8 for i.
-3
Let q = 12 + -4. Let v be -1 + q/2 + -2. Suppose 0 = -2*c + h - 4*h + 13, 0 = -2*c + 4*h + 6. Solve -c = -2*d + v for d.
3
Suppose 0 = 3*w + 5 - 20. Let q be (1 - 1)*w/10. Solve -a + 5 = -q*a for a.
5
Suppose 3 + 1 = x, 4*x = t + 16. Solve p + 2*p - 6 = t for p.
2
Let z(r) = -r**3 - 8*r**2 - r - 10. Suppose 0*g + 2*g = -16. Let v be z(g). Let i = v - -5. Solve 25 = -i*a - 2*a for a.
-5
Suppose -2*q + 16 = 2*q. Suppose j = -2*o, -j = q*o + 2 + 2. Solve -m - j = -8 for m.
4
Suppose -4*p = -2*n - 50, 3*n = p - 23 + 8. Solve -3*j = -0 + p for j.
-4
Suppose 2*q + 0*v + v = 1, -5*q + v + 20 = 0. Solve 0 = 5*z - q*z + 2 for z.
-1
Suppose 3*m + 6 = 4*y, 3*m - 2*m = 3*y - 7. Solve 0 = o + 2 + y for o.
-5
Let r = -6 + 8. Suppose r*n - 1 = h, 2*h - h - 4*n = -3. Solve d + 5 = h for d.
-4
Let q be (-21)/(-15) + 6/(-15). Let h = q - 1. Solve 0 = -h*i - i - 1 for i.
-1
Let x be (-8)/(-2) - 4/(-2). Let l = -66 + 66. Solve d - 3*d + x = l for d.
3
Suppose 4*t = 6*t - 24. Let p be t/60 - (-19)/5. Solve 0 - p = 4*c for c.
-1
Let f = -6 + 6. Solve -i + 4*i - 6 = f for i.
2
Let t = -64 - -66. Solve 0 = b - 0 + t for b.
-2
Let o = -4 - -1. Let l = o - -4. Let b = 30 + -27. Solve b*g + l = 4 for g.
1
Suppose 3*r = -3*t + 15, 0 = 4*r + r + 3*t - 35. Let z = r - 6. Solve 0 = z*j - 3 + 19 for j.
-4
Suppose -3*n - 2 = -14. Solve -4*g = -12 - n for g.
4
Let a be 2/4 - (-21)/6. Let z = 0 - 1. Let n = a - z. Solve 0 = n*v - 0*v + 25 for v.
-5
Suppose 0 + 33 = 2*s - 3*b, 1 = -b. Let j = -9 + s. Solve 3*i - i = -j for i.
-3
Suppose 5 + 7 = 6*t. Solve -t - 4 = 2*x for x.
-3
Let n be (-5)/(-5) + 1 + (1 - -1). Solve -y = -n*y + 3 for y.
1
Let a be (-2)/(-7) + 95/35 - -2. Let r(b) = -b**2 - 3*b + 3. Let c be r(-3). Solve c*u - 4 = a for u.
3
Let u = -16 + 23. Suppose 5*q + 0*q = 0. Let b(s) = 2*s**2 + 2*s - 1. Let v be b(1). Solve q = -j + u - v for j.
4
Suppose 8 + 7 = 5*h. Solve -2*i + i - h = 0 for i.
-3
Suppose 44 = -3*a + 7*a - 4*m, -4*m = a + 9. Solve 0 = -a*o + 2*o + 5 for o.
1
Let c = 7 + -8. Suppose 4*w = 3*b - 4, -2*b - 8 = b - w. Let r be (b/(-5))/(c/(-20)). Solve -r = -5*l + 4 for l.
4
Let l = 48 + -31. Suppose 2*z - 4*d = -16, -z - z + 16 = 4*d. Solve -3*p + l - 2 = z for p.
5
Let a be (-2)/(-1) + 12/6. Suppose 3*z = z + a. Solve -15 = z*t - 7*t for t.
3
Let t(w) = -3*w - 9. Let v be t(-7). Let z = 3 - 0. Suppose -z*a - v = -36. Solve 0 = l + 3*l - a for l.
2
Suppose -5*i + 9 = -2*i. Let u(d) = d**2 - 6*d + 7. Let v be u(5). Solve i*c = c + v for c.
1
Let i(g) = -2*g**2 + 0 - 4 - 2*g**2 + 4*g + g**3. Let d be i(4). Let l be (d/(-15))/(2/(-5)). Solve l*z - z = 5 for z.
5
Let u = -12 + 18. Let c = u + -1. Solve -9 - 1 = c*n for n.
-2
Let x be 12/(-8)*4/(-3). Suppose -2*z = -3*z + x. Solve -z*h - 3 = -5*h for h.
1
Let h = -2 + -1. Let q be 2/h + 4/6. Solve q = -0*s + 3*s - 6 for s.
2
Suppose -4*l - 5 - 3 = 0. Let c(d) = -d + 1. Let b be c(l). Solve 0 = -b*f + f - 4 for f.
-2
Suppose y - 38 = -34. Let w be 4/(-6) + (-20)/(-3). Solve w*p + 4 = y*p for p.
-2
Suppose 9 = 4*c - 31. Suppose 5*n + 2*i - 4 = c, -3*n - 2*i = -10. Solve -6 = n*o - 0 for o.
-3
Let p = 6 + -3. Solve p*i - 7 = 5 for i.
4
Suppose 129 = -2*w - 21. Let q be w/(-27) - 4/(-18). Solve 2 + q = o for o.
5
Let b be (-3 - -5)/2 + 2. Solve -7 = b*h - 19 for h.
4
Suppose -20 + 5 = -5*r. Let w be (-2)/(-12) + 66/36. Let n be w + -2 + (-1 - -1). Solve p + r = -n for p.
-3
Suppose -2*u + 41 + 1 = 0. Let c be u - (3 + (-6)/2). Let i be (20/6)/(14/c). Solve -18 - 2 = i*r for r.
-4
Let w(z) = z**2 - z + 9. Let a be w(0). Suppose 0 = -5*s + 29 - a. Solve s*n + n - 25 = 0 for n.
5
Let t = 50 + -34. Let o = 27 + -23. Solve -o*i + 4 - t = 0 for i.
-3
Let k be (-6)/(-30) + 48/10. Let w be ((-8)/6)/((-4)/(-30)). Let f(q) = q + 10. Let u be f(w). Solve 2*c - c - k = u for c.
5
Let b = 10 + -7. Solve -b*q - 2 = -q for q.
-1
Let k(h) = 3*h - 9. 