= 3 - o. Solve -d = 5*g - v for g.
-4
Let c = -12 + 26. Suppose 4*o = -c + 50. Suppose -4*h - o = -5*t - 7*h, 0 = -3*t + h + 11. Solve -2*p = t*p - 25 for p.
5
Let n be 1/(-7) - -2*1/14. Solve -2*y + n*y = 6 for y.
-3
Let w be 6*1*5/15. Suppose 3*r - 175 = t, -w*r - 70 = -3*r - 2*t. Suppose 5*d - r = -0*d. Solve 2 - d = -2*n for n.
5
Suppose 0 = 3*c - 2*c - o - 1, -2*o = 0. Let q(f) = f**3 - 5*f**2 - 7*f + 9. Let p be q(6). Suppose p*a = 11 + c. Solve 20 = -m - a*m for m.
-4
Suppose 5 = 4*h - 3. Solve 0 = -4*p + h + 10 for p.
3
Suppose -2*r - 6 = 2. Let m = r + 4. Solve -4 = 2*i - m for i.
-2
Let s(n) = 22*n**3 + n**2 - 1. Let t be s(1). Suppose -t - 38 = -3*o. Let l be (42/35)/(6/o). Solve -l*a - 8 - 4 = 0 for a.
-3
Suppose -20 = 3*f + 5*s, -3*f + 4*s + 0*s - 11 = 0. Let r = -5 - f. Solve r + 2 = 2*q for q.
1
Let w = 5 + -10. Let r = 5 + w. Solve r = 4*i - 2*i - 10 for i.
5
Let i(d) = -d. Let k be i(-2). Suppose -k*c + 6 + 6 = 0. Solve -4*r = -2*r + c for r.
-3
Suppose -m + 18 = -v - 5*m, -4*v + 33 = -5*m. Suppose 4 = v*c + 2. Let r be c - (-3)/(-3)*0. Solve 1 = -k - r for k.
-2
Let n(s) = -s - 2. Let p be n(-6). Solve -3*q = q - p for q.
1
Let z(l) = -l - 5. Let s be z(-9). Suppose -11 - 1 = -4*u + 4*c, -s*u - 2*c = -24. Solve u*i + 5 = -5 for i.
-2
Let c = -6 + 15. Solve l + 2*l = c for l.
3
Let p(l) = -7*l**2 - l - 5. Let q(o) = 4*o**2 + o + 3. Let y(b) = 2*b - 1. Let d be y(-2). Let w(z) = d*q(z) - 3*p(z). Let v be w(4). Solve 0*m - v = 4*m for m.
-2
Let u = -12 - -22. Suppose 5*p - 5 - u = 0. Solve -20 = -p*f - 2*f for f.
4
Suppose -8 = -5*k + 7. Let j(s) = -4*s + 4. Let w(a) = a - 1. Let z(r) = -j(r) - 3*w(r). Let f be z(k). Solve 0 = -2*q - f for q.
-1
Let j = 4 - 4. Solve j*k - k + 1 = 0 for k.
1
Let g = 2 + 0. Suppose n + g - 6 = 0. Suppose -3*h - 2*v + n = 0, v + 5 = 2*h - 0*v. Solve h*k + k = 3 for k.
1
Let v(a) be the second derivative of 4*a**3/3 + a**2/2 + 3*a. Let g be v(-2). Let i be 10*(-2 - g/6). Solve 0*n = -i*n for n.
0
Suppose 5*v - 56 = -9*v. Solve 5*f + 5 = v*f for f.
-5
Let q be -1 - (2 + -6 - -1). Suppose 3*u = 5*j + 21, -q*u - 4*j - 20 = -6*u. Solve u*d - d = 0 for d.
0
Let z(t) = t**2 - 6*t + 9. Let m be z(7). Suppose 4*v = 3*v + 2*b - 7, v - 5*b = -m. Let u(l) = l**2 + 1. Let k be u(v). Solve -k*w - 5 = 3*w for w.
-1
Let p be (-5*1)/(1/((-24)/6)). Solve 3*k + p = -k for k.
-5
Suppose -3*t = -4*p + p + 3, -23 = -5*p - t. Solve -p*l = -l for l.
0
Let k(v) = -v - 3. Let a be k(-5). Solve l - 1 = a for l.
3
Suppose 5 = r - 5*u, -3*u + 3 = 5*r - 6*u. Solve -o = -r*o + 4 for o.
-4
Let t(l) = l + 11. Let q be t(-6). Suppose q*p + 14 = 2*z, 0*p = -2*z - 2*p + 14. Solve -3*h = z + 5 for h.
-4
Suppose 0 = -s - 5*h + 2, -s + 6*s - 3*h - 10 = 0. Solve g + 3 = -s*g for g.
-1
Let q(x) = 2*x**3 - 10*x**2 + x + 1. Let y be q(7). Let z be y/(-28) + 2/7. Let j(w) = -w - 5. Let r be j(z). Solve 0 = 2*d - 2 - r for d.
2
Let m = 8 + -4. Solve -19 = -5*z - m for z.
3
Suppose -4*s - 1 = -3*g + 3, -4 = 4*s. Solve -d = 3 - g for d.
-3
Let j(f) = -f**3 - 3*f**2 - f + 9. Let o be j(-3). Solve 4*c = 7*c + o for c.
-4
Suppose -10 = f + 4*f + 2*h, f = 2*h + 10. Solve -4*w = -f*w for w.
0
Let i(w) = w**3 + 5*w**2 + 7*w + 5. Let z be i(-4). Let b(h) = h**3 + 8*h**2 + 6*h - 7. Let f be b(z). Suppose 0 = v + 1 - f, k - 2 = v. Solve l = k - 3 for l.
-2
Let s(w) = 2*w**2 - 2*w. Let q = -5 - -7. Let z be s(q). Let n be (-2)/4 - (-4)/8. Solve a + z - 2 = n for a.
-2
Suppose 0 = -5*m, 0*h + 4*h - 5*m = -80. Let x = 36 + h. Suppose i - q = 3, -5*q + x = 3*i - q. Solve -i + 13 = -3*o for o.
-3
Let r(s) = -s**2 + 16*s - 27. Let q be r(14). Solve 0 = 4*f + 21 - q for f.
-5
Suppose 0 = 3*m - 2*j + 7, -2*j = -2*m + 5 - 13. Solve m = 5*v + 11 for v.
-2
Let f = 65 - 59. Solve -15 = f*d - 11*d for d.
3
Suppose 3 = t + 5. Let j = t + 17. Solve -j = v + 4*v for v.
-3
Let m(j) = j**2 - j - 2. Let y = 16 + -11. Suppose -2*d + 1 = y. Let l be m(d). Solve 3*b = -l - 11 for b.
-5
Let m be -1 + (2 - -1) + -2. Suppose m = 3*k - 0*k - 24. Solve -3*o - 7 = k for o.
-5
Let b be 80/14 - (-2)/7. Solve -n - n = -b for n.
3
Suppose -2*r = -5*c - 24, 1 = -5*r + 4*c + 27. Solve -2*x + r = -x for x.
2
Suppose u + 33 = -4*w - 0*u, 8 = w - 3*u. Let b(s) = s**3 + 8*s**2 + 7*s + 10. Let y be b(w). Solve 3*d - d + y = 0 for d.
-5
Let a be 2 + 77/(-35) - 72/(-10). Solve -2*i - 1 = -a for i.
3
Let o be (-10)/(-3) + 4/(-12). Solve -o = -3*c + 2*c for c.
3
Suppose 5*d + 49 = 49. Solve -2*n - 2*n + 12 = d for n.
3
Suppose 0 = -3*n - 2*n + 5*w + 10, -n + 10 = -5*w. Solve n*p - 15 = 5*p for p.
-3
Let x(h) = -h + 2. Let d be x(-5). Suppose -3*s + 5*c = -36, 0 = 2*s - 6*s + 2*c + 48. Solve -d*g + 3*g = s for g.
-3
Suppose 0 = -3*v - 2 + 8. Suppose 2*i = -v*j + 10, -j - 3*j = -i - 20. Solve i*o = -2*o + 10 for o.
5
Let t be (-3)/((-30)/(-225) - (-6)/(-20)). Solve -5*h - t = -3 for h.
-3
Let p(m) = 3*m + 6. Let d be p(-2). Solve d = -5*y + 16 + 4 for y.
4
Suppose 8 - 4 = 2*h. Solve -3*x + h = -x for x.
1
Let o be (-1)/(-4) + 161/28. Solve 0 = -4*p + o - 2 for p.
1
Suppose t = 3*t. Solve t = -5*q - 13 - 2 for q.
-3
Let o be 0*(-4 + (-21)/(-7)). Let b be 2/8 - 7/(-4). Solve o = 2*j - b - 8 for j.
5
Suppose 5*u + 0*u - 15 = 0. Solve 0 = u*k + k - 12 for k.
3
Let x = -4 + 16. Suppose -3*w - 5*q = -15, -4*w - 5*q + x = -3. Solve 4*t - 2*t + 2 = w for t.
-1
Let u(w) = -w**3 + 8*w**2 - 7*w + 5. Let b be u(7). Let j = b + 25. Let s be ((-1)/3)/((-2)/j). Solve -s*l + 6 - 21 = 0 for l.
-3
Let o(m) = m**3 - m**2 - 5*m + 2. Let x(s) = 13*s + 1. Let n be x(1). Let w be 21/n*(2 + 0). Let a be o(w). Solve -4*g + a = 1 for g.
1
Let n be 10/(-25) - (-44)/10. Suppose -q + 2 = q + r, n*q + r - 2 = 0. Let v be (-10)/25 - 6/(-15). Solve -z - 5 + v = q for z.
-5
Let f(g) = g - 3. Let p be f(4). Let n be 4*1*5/10. Let l = p + n. Solve l*y = 4*y - 2 for y.
2
Suppose 3*z - 2*a + 3*a = 10, 22 = 3*z + 4*a. Solve 0 = -0*h - h + z for h.
2
Let h(n) = -n**3 + n + 2. Let l be h(0). Suppose 0 = 2*s - x - x - 8, -l*s - 4*x = -8. Let p = -4 + s. Solve 5*i + 5 = -p for i.
-1
Let z be -2 + -4 - (-6 + 0). Solve -3*n - n = z for n.
0
Let g = 4 + 2. Suppose -t + 2 = -4*u + 3*u, -g = -5*u + t. Solve -u*s + 10 = -0*s for s.
5
Let d = -27 + 31. Solve -y - d = -3 for y.
-1
Suppose 0*i + 32 = 2*r + 4*i, 28 = 2*r + 3*i. Suppose -r = -x + 2. Suppose 0 = 2*o - s - 3*s - 12, x = 2*o - 3*s. Solve o = -j - 0 for j.
-2
Suppose -2*k - 12 = -4*j, j + 3*k - 25 = -2*k. Solve f = j*f for f.
0
Let w = 10 - 4. Let x be 58/w - 6/9. Solve 3*a - x = -0*a for a.
3
Let h(d) = -d**3 - 5*d**2 - 4*d + 3. Let m be h(-4). Let s(b) = 12*b**2 - b + 2. Let r be s(2). Suppose 4*n = -0*n + r. Solve -m*z - z = n for z.
-3
Let x be (1 + 5/(-10))*0. Solve x = 4*g + 10 + 10 for g.
-5
Let p be (0 + 4)/(8/(-20)). Let r = p - -11. Solve -v + r = -3 for v.
4
Let z = -28 - -31. Solve -z*a + 1 = 13 for a.
-4
Let t(l) = l**3 + 16*l**2 - 16*l + 17. Let s be t(-17). Solve s*c - 2*c + 2 = 0 for c.
1
Let z be 9/2 - (-5)/(-10). Let h be ((-4)/6)/(z/(-6)). Solve 0 = 3*c + 8 + h for c.
-3
Suppose 4*n - 3 - 5 = 0. Suppose 17 = n*w - 0*w + 3*l, 4*w + l - 9 = 0. Solve a - w + 0 = 0 for a.
1
Suppose -4*m = -18 - 2, y - 23 = -4*m. Let v(x) = 3*x - 6. Let z be v(y). Solve j = -z*j for j.
0
Suppose -13 = f + 2. Let r = f - -25. Solve 4*t - 2*t + r = 0 for t.
-5
Suppose 12 = 6*t - 0. Suppose -3*o + 29 = 2*j + 2*j, -5*o - 2*j + 39 = 0. Suppose -o = -2*u - 3. Solve 3*g = u*g + t for g.
2
Suppose 1 = 2*q + 3*r, 3*q = 2*r - 0*r + 8. Let t be 1/5 - q/10. Solve 2*d + 3*d - 25 = t for d.
5
Let x(v) = -v**2 - 3*v + 6. Let i be x(-4). Solve p = 2 + i for p.
4
Suppose -3*k - 1 + 10 = 0. Suppose k*o = -o + 2*s + 4, 5*o - 5*s = -5. Solve -o + 18 = 5*g for g.
3
Suppose 8*q = 7*q + 4. Solve -j - q*j + 20 = 0 for j.
4
Let z = -73 + 89. Solve 2*m = -2*m - z for m.
-4
Let h = -63 - -68. Solve t - h = 6*t for t.
-1
Let q(u) be the third derivative of 0*u + 1/120*u**6 + 1/3*u**3 + 1/24*u**4 + 1/30*u**5 + 0 - 3*u**2. Let v be q(-2). Solve 2 = -n - v*n for n.
-2
Let v be 2 - -3 - (-4)/(-1). Solve -4 - v = -o for o.
5
Let k be 1/((-1)/(-30)*3). Suppose j + k = 3*j. Solve -4*l + 3*l = -j for l.
5
Let y(g) = g + 60. Let q be y(0). Suppose -8*n + q = -3*n. Let o = -5 + n. Solve o = 4*k + 23 for k.
-4
Suppose 6*x 