*3 - 8*y**2 - 7*y. Let l be s(-7). Solve l = x*q - q for q.
0
Suppose 4*v + 5 = 21. Solve 0 = p - v + 9 for p.
-5
Let k = 6 + -6. Solve k = x - 1 for x.
1
Suppose 0 = -0*q - 3*q + 12, 3*b + 5*q = 47. Let y = b - 7. Solve 4*v = -2 - y for v.
-1
Let c(h) be the first derivative of -h**2/2 - 2*h + 3. Let l be 0 + -2 - 3*1. Let j be c(l). Solve -j*s + 15 = 2*s for s.
3
Suppose -5 + 21 = -t. Let y be 6/(-1)*8/t. Solve 0 = -0*z - y*z for z.
0
Let q(c) = -1 + 0*c + c**3 + 3*c - 2*c**2 - c**2. Let d be q(2). Suppose 0 = -g + 4*i + 15, 4*g + 2*i - 3 = g. Solve -g*w - 7 + d = 0 for w.
-2
Suppose 11*n - 69 = -14. Solve -11*o + n = -16*o for o.
-1
Suppose 3*r = 4*x - 20, -x + 10 = -2*r - 0*r. Let o = -1 - 1. Let h = x - o. Solve -d = -2*d - h for d.
-4
Suppose 0 = v + 1 + 3, -324 = -4*g + 3*v. Let o = g - 43. Suppose -5*k - 5*x = -o, k + 4 = x + 3. Solve 0 = -4*n + k*n + 4 for n.
4
Let u = 0 + 4. Solve 7*z + 15 = u*z for z.
-5
Let t(w) = -w**3 - 7*w**2 - 9*w. Let p be t(-6). Let o be 8/3*p/8. Suppose 4*k = -2*b, 2*k = 4*b + k. Solve o = 3*g - b for g.
2
Suppose -w = 1 - 4. Suppose 26 = 4*m + 18. Solve m*p - 25 = -w*p for p.
5
Suppose z = -z + 8. Solve -1 + z = -x for x.
-3
Let h = -182 - -195. Solve 0 = -4*v + h - 5 for v.
2
Let g = -12 - -14. Suppose 0 = 2*t + l - 10, 3*t + g*l - 14 = t. Solve t*y = -y for y.
0
Suppose -10 = -4*r + 6. Let m(a) = a**2 + 3*a + 2. Let w be m(-3). Solve w*t + r = t for t.
-4
Let p be (-20)/3*18/(-15). Suppose -m + p = 4*v, -v + 4*m = 8*m + 13. Let c(l) = l**2 - 11*l. Let z be c(11). Solve z = -0*b + b - v for b.
3
Let o(c) = 14*c**2 - c + 1. Let w be o(1). Let i be (-4)/w + 2/7. Suppose -4*v + 7*v - 12 = i. Solve 0 = -h - v*h - 20 for h.
-4
Suppose 2*o = 6 - 0. Let k = 2 - 0. Solve -1 = -k*x - o for x.
-1
Suppose u = i + 3 + 3, 4*i = -5*u - 6. Suppose -3*b = -2*b + 2. Let k = b + 4. Solve -u*g - k = 2 for g.
-2
Let r(u) = u - 7. Let i be r(7). Solve 5*a - a - 16 = i for a.
4
Suppose d = -4*d + 20. Suppose c = -1 + d. Let y(t) = t**2 - 2. Let o be y(-2). Solve -f = -o*f - c for f.
-3
Suppose 2*d - 26 = -4*n, -3*n + 2 = -2*d - 14. Solve 2*w + 0*w = -n for w.
-3
Suppose -4*r + 3*h + 15 = 0, -5*r = -2*r - 2*h - 12. Let q be 6/9 - (-146)/r. Solve -2*b - 3*b - q = 0 for b.
-5
Suppose w + 4*r - 13 = -0*r, 0 = -2*w + 5*r. Solve 0 = -w*c + 5 for c.
1
Let p be (1 - 0)*(0 + -13). Let g(l) = l**3 + 4*l**2 + 2*l - 1. Let k be g(-4). Let a = k - p. Solve a*o - 20 = -o for o.
4
Suppose 3*l + 0*l + 12 = 0. Let b(o) = -o**3 - 5*o**2 - 4*o + 1. Let g be b(l). Solve g = 2*x - 5 for x.
3
Suppose 3*a = 3*t + 2*a - 6, 4*t = 5*a + 8. Solve t*k = k - 1 for k.
-1
Let r = -105 - -111. Solve -v - 20 = -r*v for v.
4
Let o(x) = 4*x**3 - 2*x**2 + x. Let u = -4 - -5. Let p be o(u). Solve -p*q + 0*q = 6 for q.
-2
Let j = 12 + -7. Suppose -5*c = -5*d + 15, 43 = 5*c + j*d + 8. Solve 0 = i - 3*i - c for i.
-1
Let j(d) = -d**3 - d**2 - d - 2. Let c be j(-2). Let m(w) = -w**3 + 8*w**2 - 11*w + 14. Let h be m(6). Solve 0*u = c*u + h for u.
-5
Let v = -32 - -21. Let r = v - -14. Solve 0 = r*j - 4 - 8 for j.
4
Let w(m) = -2*m**3 + 2*m**2 - 1. Let r be w(-1). Solve -r*i - i + 8 = 0 for i.
2
Suppose -5*m + 16 = -2*b, -b - 6 = -0*b - 2*m. Solve 3*d = -b*d for d.
0
Suppose 3*b + 3*p = 21, -33 - 12 = -3*b + 5*p. Suppose -2*h + h + 3 = 0. Solve -2*n - h*n = b for n.
-2
Let r(p) be the second derivative of -3/2*p**2 + 1/6*p**3 + 0 - 2*p. Let v be r(3). Solve v = 7*l - 2*l for l.
0
Let h be 2/5 + 43/5. Suppose 4*d + 4*n - 20 = 0, 9*d - 4*d - 13 = -2*n. Solve 2*y - d = h for y.
5
Let i be (1 - 1)*6/(-12). Solve i = t - 1 + 5 for t.
-4
Let q = -11 + 13. Let c(s) be the first derivative of 3*s**4/4 - s**3 - 1. Let r be c(q). Solve -5*m + r = -2*m for m.
4
Suppose h - 8 = -3*h. Suppose 0 = -h*z + z + 7. Let t = z - 4. Solve t*w - 3 = -0 for w.
1
Suppose -5*o + 30 = 5*c, -4*o = o + 2*c - 21. Suppose -o*u = -14 - 4. Let g be (-3)/(-1) - (-2 - -1). Solve 2 = -g*v + u for v.
1
Let t be (-4)/(-6)*10 + 26/(-39). Solve -d - 2 + t = 0 for d.
4
Suppose -22 = -7*i - 1. Solve 4*r - 1 - i = 0 for r.
1
Suppose 0 = -5*j + 4*j. Solve j*o - 4*o = 20 for o.
-5
Suppose -1 = 7*u - 29. Solve 0 = -3*o - o + u for o.
1
Suppose -20 = -4*t - t. Suppose 2*y = -4*i, 2*y - t*y - 3*i + 1 = 0. Let a = 3 - y. Solve -3 = -h + a for h.
4
Suppose 0 = -4*f + 4*t - 68, 2*t - 39 = 2*f - t. Let v be (-39)/(-6) - 6/f. Solve 4*c - v = -23 for c.
-4
Let l be 4/3*(-3)/(-2). Suppose -2*u = 3*u - 3*r - 6, -4*u - l*r - 4 = 0. Solve u = -j - 2*j for j.
0
Let r be 0/(0 - -3 - 2). Suppose 0 = -o + 5*j - 4, -2*o - 2*j + 5 - 1 = r. Solve 0 = 3*f + 4 - o for f.
-1
Suppose -6 = 2*r - 4*s, s + 1 = 5. Solve -r*z - 3 = -8 for z.
1
Let q = 46 + -31. Solve -6*x + x = q for x.
-3
Let f(h) = -h**2 + 8*h - 2. Let n be f(5). Solve -3*a - 2 = n for a.
-5
Let g be (-12)/6 - (-4)/2. Suppose 2*a - 3*a + 10 = g. Solve -4*y = 2 + a for y.
-3
Let d(v) = -v**3 - 3*v**2 + 10*v + 2. Let q be d(-5). Suppose q*f = -2*f + 5*j, -2*f = -5*j. Solve -2*n + 0*n + 6 = f for n.
3
Let p = -95 - -102. Solve p*x = 2*x - 15 for x.
-3
Let i = 9 - 6. Solve -i*z = -z - 10 for z.
5
Suppose 5*w - 29 + 9 = 0. Solve x + w*x = 25 for x.
5
Let b = 7 - 11. Let r be 6/b*(-12)/9. Solve r = h - 1 for h.
3
Let v be 6/15 - (23/(-5) + -1). Solve -5*c = 1 - v for c.
1
Let w(l) = l**3 + 2*l**2 - 2*l + 3. Let i be w(0). Solve -y - i = 1 for y.
-4
Let c = -7 - -31. Let i(m) = m**2 + 9. Let y be i(0). Let l be ((-21)/9 - -4)*3. Solve l*o - c = -y for o.
3
Let k = 1 + 3. Let n(i) = 2*i**2 + 1. Let z be n(1). Solve 0 = -k*d + z*d + 5 for d.
5
Suppose -11 = 3*s - 23. Solve 4 = -s*z - 4 for z.
-2
Let n(y) = y**3 + 15*y**2 + 15*y + 18. Let i be n(-14). Solve -i*z + 0 = -12 for z.
3
Let g = 19 + -15. Suppose o + g*o = 5*k - 20, 19 = 4*o + 3*k. Let b(x) = x**2 + 1. Let r be b(2). Solve r = h + o for h.
4
Suppose 3 = 2*d + 1. Suppose -j = t - 8, -j - 16 - 11 = -4*t. Let l = t - 7. Solve l = x - d for x.
1
Suppose -8 = -2*v + b, -9 - 7 = 4*b. Let d be v/5 + (-23)/(-5). Suppose d*n - 7 = 3. Solve 3*z + n*z - 20 = 0 for z.
4
Suppose -2*x - 6 = -20. Solve -13 = 5*c + x for c.
-4
Suppose -5 - 8 = j. Let p = 18 + j. Solve -p*o + 11 = 1 for o.
2
Suppose q + 24 = 2*y - 3, -3*y + 27 = 3*q. Suppose -2*k = -z + 3*z - y, -18 = -5*k + z. Let o(s) = 6*s - 1. Let f be o(1). Solve f*a - 2 = k*a for a.
2
Let z(f) = f + 15. Let v be z(-11). Solve v*w + 12 = -8 for w.
-5
Let m be (-1)/(-3 - (-8)/3). Solve 0 = k - m for k.
3
Let v be (0 - 1)/(3/(-12)). Suppose 17 = g - 47. Suppose 0 = -3*t - 4 + g. Solve v*k = -k - t for k.
-4
Let n = 23 + -18. Solve -4*h + 3 = -n for h.
2
Let s(i) = -2*i - 3 - 7 + 3. Let c be s(-5). Let a = 13 + -8. Solve c*b = a*b for b.
0
Let x(h) = -4*h - 4. Let m(z) = 2*z**3 + 4*z**2 + 3*z. Let q be m(-2). Let k be x(q). Solve -4*y - y - k = 0 for y.
-4
Let u(m) = -m**3 + 10*m**2 + 5*m - 1. Let f(t) = 6*t**3 - 51*t**2 - 24*t + 4. Let g(d) = -2*f(d) - 11*u(d). Let r be g(-7). Solve 0 = 2*c - 5*c + r for c.
1
Suppose 3*u - 25 = -5*o, -u + 4*o + 6 - 26 = 0. Let a = 5 + -3. Suppose 5*v - 10 = -n, 4*v + 22 = 3*v - 5*n. Solve u = -a*t + 1 + v for t.
2
Let z = -2 + 4. Suppose 0 = -z*d - 4*r + 10, 0 = -d - 4*d + 5*r + 25. Solve 2 = -d*j + 4*j for j.
-2
Let u = -35 - -37. Solve 3*c - u*c + 1 = 0 for c.
-1
Let s be 1 + (-9)/(-1 + -2). Solve -s*x = x for x.
0
Let s(l) be the second derivative of -l**3/6 + 7*l**2/2 - 3*l. Let d be s(5). Solve -d*i - 3 = 1 for i.
-2
Suppose t = -0*t + 2. Suppose 3*q + t*q = 0. Solve q*v - 4*v = -12 for v.
3
Suppose 0 = -5*u + 25, u = 4*c + c - 20. Solve c*p - 2 + 7 = 0 for p.
-1
Suppose 3*d + s - 11 = 0, -s - 1 = 2*d - 10. Solve d*u = -u for u.
0
Let s = 131 - 123. Solve s = 5*t - t for t.
2
Suppose -2*m = -5*o + 33, 2*o - 17 = -3*m - 0*m. Solve 2*a - 1 = o for a.
4
Let j(y) = -y**2 - 5*y + 8. Suppose 3*r - 24 = 4*t, 5*t - t + 2*r + 24 = 0. Let p be j(t). Let f = 4 + -4. Solve f = p*n + n for n.
0
Let m be (3 - -1)*(-5)/(-10). Suppose -m*z - 1 + 5 = 0. Let u = 2 - z. Solve -10 = 2*n - u for n.
-5
Let i = 31 + -19. Solve -u = 2*u + i for u.
-4
Let v(s) = 7*s**2 - 1. Let z be v(1). Suppose -n = -0*n - z. Suppose -n = -r - 2*r. Solve -r - 2 = i for i.
-4
Let i be (-13)/(-5) + (-2)/(-5). Let p be (3 + 0 - 0) + -3. Suppose -5*m + m = p. Solve m = -i*o + 4 + 2 for 