= 0 for x.
-5
Suppose 0 = -2*z + 3*x + 25, -3*z + 2*z + 10 = -x. Suppose 1 = -z*t + 26. Solve t*b + 6 - 1 = 0 for b.
-1
Let i be 220/35 - (-4)/(-14). Let v(t) = t**3 - 6*t**2. Let p be v(i). Suppose -4*n = -2*z + 3 + 11, 3*z + 5*n = 10. Solve p = -0*c + z*c - 15 for c.
3
Let j(z) be the first derivative of -z**3/3 - z**2/2 + 12*z + 3. Let d be j(0). Solve -3*h + 0*h = -d for h.
4
Let c = -6 + 3. Let p = -3 - c. Solve p = -2*m + 2 for m.
1
Suppose 18 = 3*g + 12. Solve g*y - 3*y = 3 for y.
-3
Let a(f) = -2*f + 21. Let v be a(11). Let i(p) = p**2 - p. Let t be i(v). Solve t = 4*d - 5*d for d.
-2
Suppose -w - 4*u = 4, 7 - 3 = -2*w - 4*u. Let d(r) = 8*r**3 + 1. Let m be d(1). Solve 2*z + z - m = w for z.
3
Let g = 2 - 4. Let t = g - -3. Suppose n + 4*s = -1 - 12, t = -n - s. Solve -n*f + 2 = -4*f for f.
-2
Let l = 6 - 8. Let v(f) = f**2 - 2. Let h be v(l). Let q be (-294)/(-35) - (-4)/(-10). Solve -2 + q = h*x for x.
3
Let n = 160 - 160. Solve n = -0*u + 3*u + 3 for u.
-1
Let h(w) be the third derivative of w**4/24 - 3*w**2. Let n be h(2). Solve -n*o = -o for o.
0
Let f = -22 + 22. Solve -5*b = -f*b - 10 for b.
2
Suppose -2*z + 0*z = 0. Let b(r) = -r - 9. Let s be b(z). Let q be (-11)/(-3) - (-6)/s. Solve -q*k = -0*k - 12 for k.
4
Let y(m) = m**2 + 13*m - 14. Let c be y(-14). Suppose c = 2*f - 0*f - 10. Solve -f - 7 = -3*g for g.
4
Suppose 12*p = 10*p + 8. Solve 3*k + p = 5*k for k.
2
Suppose 3*w = -6 + 24. Let u = w - 7. Let r = u + 10. Solve 3*f = -0*f + r for f.
3
Let r(v) = v - 3. Let c be r(7). Let s = 5 - -7. Let p be 6/(-4) + s/8. Solve p = -2*l + 4*l + c for l.
-2
Suppose 4 = -4*n - 4*i, 0*n + 8 = n - 2*i. Solve k - n*k = 0 for k.
0
Let a be 2/(-7) - (-4)/14. Suppose -2*g - 16 = -6*g. Solve g*o = -a*o for o.
0
Suppose -2*s + 2 = 0, -5*s + 8*s - 7 = -4*u. Solve -5*j - u = 24 for j.
-5
Suppose 0 = 7*v - 11 - 3. Suppose -2*l + 0 = -v. Solve -l - 7 = 2*t for t.
-4
Suppose 7*c = 2*c + 3*b, 0 = -2*c - 3*b + 21. Solve 0 = k + c + 2 for k.
-5
Let k(y) = -y**3 + 6*y**2 - 4*y - 5. Let t be k(5). Let l = t - -2. Solve l*w = 4*w - 4 for w.
2
Let p(h) = 4*h**3 + h**2 - 2*h + 2. Let w be p(1). Let a = w - -3. Solve a - 23 = 3*o for o.
-5
Let b = 11 - 8. Let m(h) = h - 2. Let f be m(5). Suppose -4*u + f = -5. Solve -w + b = u*w for w.
1
Let x(p) = 2*p**3 - 2*p**2 - 3*p + 4. Let m be x(2). Solve 0 = -2*r - m for r.
-3
Suppose 2*r + 44 = 2*h, 4*h - 4*r - 84 = -2*r. Suppose 0 = -2*z + 7*z - h. Solve z*g = g for g.
0
Suppose -3*o + 0 = -3. Let r be 4/6 + 10/(-15). Let q be (-9)/(-45) - (-138)/10. Solve r = -5*k - q - o for k.
-3
Let s(g) = -7*g - 5. Let f be s(-1). Solve -f*w = -w for w.
0
Let l(p) = -p**2 - 7*p - 2. Let h be l(-6). Let d(n) = -n**2 - 4*n + 3. Let z be d(-4). Solve -h + z = -q for q.
1
Let a(y) = y + 3. Let s be a(-3). Solve s = 3*r - r for r.
0
Let z(f) = -f - 1. Let u be z(-5). Suppose -u*o + 0*o = 0. Suppose -3*k = -3*l - 9, 0 = 2*k + 2*l - o*l - 22. Solve -k*y + 3*y = 4 for y.
-1
Suppose 3 = -l + 10. Let p be (-1 - -2) + 12/3. Solve -8 = -p*m + l for m.
3
Let c(s) = -s**2 - s. Let t(r) = -3*r**2 - 6*r + 5. Let g(x) = 2*c(x) - t(x). Let z be g(-5). Solve z = u - 2 + 1 for u.
1
Let f be 2*(2 - (2 - 2)). Suppose -58 = -j + 5*j - 3*g, g - 67 = 5*j. Let x = -11 - j. Solve 10 - x = -f*i for i.
-2
Suppose -18*h + 9 = -15*h. Solve -3 = -h*f + 2*f for f.
3
Let m = 25 + 0. Solve q - m = 6*q for q.
-5
Suppose -3*q = -2*d - 3*d - 4, 4*q = -3*d + 15. Suppose -x - q = -4. Solve j = x - 5 for j.
-4
Let o = 82 + -79. Solve -h + 4 = o*h for h.
1
Suppose -76 = -5*h + 29. Let b = -15 + h. Let s = 110 - 110. Solve s = -b*n + 2*n - 20 for n.
-5
Let m(v) = -v**2 + 4. Let o be m(2). Solve -5 = -o*d - 5*d for d.
1
Suppose -4*r + 46 = 2*k + r, 5*k - 4*r - 82 = 0. Let b(u) = u + 9. Let w be b(-7). Solve -w*g + 8 - k = 0 for g.
-5
Let w be 76/10 - (85/(-25) - -3). Solve 6*k - w = 4*k for k.
4
Let k(w) = -1. Let i(v) = -v**3 + 6*v**2 - v - 2. Let g(o) = -i(o) + 6*k(o). Let m be g(6). Solve 7*f - m*f = 25 for f.
5
Let y be (-4 + 12/3)*-1. Solve 4*x - 5*x + 1 = y for x.
1
Let l be (-8)/68 + (-174)/(-34). Solve -3 + l = -q for q.
-2
Let u = 3 + 2. Suppose -4*o - o = 4*x - 26, -3*o + 26 = u*x. Solve b = o*b for b.
0
Let y be 3*(-2 - -4 - 1). Solve -7*r + y*r = -16 for r.
4
Let s(w) = 8*w - 37. Let o be s(5). Solve o*m - 2 = 4 for m.
2
Let n(r) = 4*r - 10. Let x be n(6). Let s = -2 + x. Solve 4*g + 0*g - s = 0 for g.
3
Let c = -5 + 8. Suppose a - 5*y = -4*a + 15, c*a - 5 = 5*y. Suppose 0 = -a*v - 10, 2 = -4*t - v - 2*v. Solve -t - 8 = 3*j for j.
-3
Let m(r) = r**2 - 7. Let z be m(3). Suppose -3*j + 4 = c + 4*c, -5*c + 16 = -3*j. Suppose -4*g + 3*g = -c. Solve g = -z*o - 0 for o.
-1
Let k(m) = 2*m - 7. Let g be k(5). Suppose 3*n + 1 = -2, -4*p = -3*n - g. Solve 7*a - 4*a - 6 = p for a.
2
Suppose 3*a = -0*a. Suppose -3*i - q = -16, -2*q + 2 + 6 = a. Solve n = i*n for n.
0
Suppose -j + 4 = 1. Solve -3 = -j*n + 6 for n.
3
Let j(u) = -2*u + 22. Let w be j(10). Solve -w = 5*p + 8 for p.
-2
Suppose u - m = 3, 3*u + 9*m = 4*m - 15. Solve -7*j + 10*j = u for j.
0
Let w(k) = 3*k**3 + 10*k**2 + 2*k - 1. Let u(j) = 2*j**3 + 5*j**2 + j. Let z(g) = -5*u(g) + 3*w(g). Let h be z(5). Solve h*p - 3 + 7 = 0 for p.
-2
Let o(n) = -5*n - 62. Let d be o(-13). Solve 4 = -d*m + 1 for m.
-1
Let d(r) = -r - 5. Let v be d(-6). Solve v = 2*z - 3 for z.
2
Suppose 2*b - 18 = -o - b, 5*o = 4*b - 5. Let x be 21 - (3 + -4 + 2). Solve -o*i = i - x for i.
5
Let u = 22 + -36. Let a be (-24)/u + 4/14. Solve 3 = -a*d - 1 for d.
-2
Suppose 2*m = 2*f - f - 12, -5*m = 4*f + 17. Solve -f*y = -6*y + 12 for y.
3
Let r = -19 - -7. Let l = r + 15. Solve -l + 1 = g for g.
-2
Let h(o) = -o**2 - 7*o + 6. Let n = -17 - -7. Let f be h(n). Let d be -3 + (-3)/(9/f). Solve 27 = d*w + 7 for w.
4
Suppose -2*k - 3*k + 20 = 0. Solve k*o + o = 5 for o.
1
Suppose 0 = -12*s + 11*s + 11*s. Solve 12 = -3*h - s for h.
-4
Let d(f) = -f**3 + 4*f**2 + 7*f - 7. Let v be d(5). Solve 0 = i - v + 6 for i.
-3
Suppose 2*q - 4 = q. Solve 0*u - q = -4*u for u.
1
Let q(b) = 17*b**2 - b. Let o be q(1). Solve o = -3*z + 1 for z.
-5
Suppose 0*z - s = -z - 3, 2*z = s - 10. Let a = z - -3. Let k = 4 + a. Solve k = -w - 2*w for w.
0
Suppose 6 = z - 19. Suppose z = -2*n + 3*n. Solve 2*s - n = -3*s for s.
5
Let p be 5/(15/(-9))*-1. Solve 0 = -4*w + p*w - 3 for w.
-3
Suppose 0*s = -4*s + 16. Suppose 4 = -s*o - 4. Let f be -1 - (1 - 2) - o. Solve f*w + 12 = 2 for w.
-5
Let w be (-1)/((-3)/((-21)/1)). Let r be 4/(-14) + (-16)/w. Solve r*a - 1 = -3 for a.
-1
Let k(p) = -p**2 - 6*p + 5. Let s be k(-6). Let i(n) = 2*n - 1. Let g be i(s). Solve 3*t = -3 + g for t.
2
Let t be 4 + -3 + 1 - -1. Let w = 4 + -2. Solve a - t = w for a.
5
Suppose 0*w = 4*w - 16. Solve -6*x + w = -4*x for x.
2
Suppose 0 = -3*i + 5*q - 9 + 1, -3*q = i - 16. Solve 0 = -4*b + 6*b - i for b.
2
Suppose 2 = -4*z + 14. Let h be (z - 1)*(-8)/(-4). Solve -4*l + h = -0 for l.
1
Suppose 3*f = -f. Let m(w) = -w**2 + w. Let c be m(f). Solve c = -a + 2 + 1 for a.
3
Let b(m) = -m**2 + 8*m. Let o(s) be the second derivative of s**4/12 + 5*s**3/6 + s**2 + 2*s. Let i be o(-6). Let h be b(i). Solve d + 3 - 2 = h for d.
-1
Let a = 89 - 86. Solve -a*n = -2*n - 1 for n.
1
Let w = -3 - -3. Suppose 0 = 3*t - 7*t - 8. Let o = w - t. Solve -o*h + 0*h = -4 for h.
2
Let t(u) = 4*u + 26. Let k be t(-5). Solve 3*d + 21 = k for d.
-5
Suppose -5 = -2*o - 3*o - 4*i, 4*o = -5*i - 5. Solve o - 13 = -4*c for c.
2
Suppose -2*l - 4*b = -6, -l - 4*b = -4 - 1. Solve -l = -3*w + 4*w for w.
-1
Suppose 3*r = -5*w + 6, -r - 4 = -2*w - 6. Solve -r*z = z for z.
0
Suppose 4*h + 4 = 12. Solve d = -h*d - 3 for d.
-1
Let u = -2 - -4. Suppose u*x + 5 = 3*x. Suppose x*p - 4*s = -3*s - 3, -3*p - 2*s + 6 = 0. Solve -4*f - 8 = -p*f for f.
-2
Suppose 5*x = 5*d + 20, x - 2*d + 3*d - 6 = 0. Let y = -10 + 18. Suppose o + y = x*o. Solve 0 = -o*s + s - 5 for s.
-5
Let d be 5 + 1 + -2 + 0. Suppose 10 = d*a - 6. Solve a*m - 8 = -0*m for m.
2
Let u be (-8)/44 - (-92)/22. Solve -u*q - 12 = -0 for q.
-3
Let t(a) = 4*a + 32. Let n be t(-8). Let x(v) = -6*v - 4. Let r be x(-4). Solve n*g + 4*g = r for g.
5
Let c be (-2 + 1)*-1 + 2. Suppose -z = 3*a - c, -3 = -z + 2*z. Solve a = 2*d - 4 for d.
3
Suppose -5*z - 123 = d, -3*d + 127 - 16 = -5*z. Let t