u = -7 + 11. Let d be (8 + -14)*(-2)/u. Solve -d = v - 2 for v.
-1
Suppose 0*a = -4*a + 80. Suppose 0 = -5*g - 0*g + 5*t + a, 5*t - 20 = -5*g. Solve 0*r = -2*r - g for r.
-2
Suppose 3 + 5 = 4*y. Suppose -y*n + 0*n = 0. Let v be 16/(-8) - (-1 - 4). Solve n = -h - v for h.
-3
Let m(b) = 2*b**3 - b**2 + 2*b - 1. Let g be m(1). Suppose 0 = -4*f + 7*c - g*c + 4, -4*f - c + 4 = 0. Let t be 2 - (f + 3*-1). Solve -5*a = -a + t for a.
-1
Suppose -51 = -3*n + 27. Let v be ((-2)/4)/((-14)/(-840)*-5). Solve 5*y - n = -v for y.
4
Suppose 3*c = -5*l, 0 = 4*l + 5*c - c. Solve l + 5 = 5*b for b.
1
Let j be (-1 + (-4 - -2))*-12. Suppose -4*d - j = -8*d. Suppose -h = -4*h - d, 3*a - 39 = 5*h. Solve -w - w = a for w.
-4
Suppose 25 = 4*r + q, -5*q = -5*r - q + 5. Suppose r*l - l = 20. Solve -2*f = -l*f + 12 for f.
4
Suppose 5*o = 66 + 9. Solve 0 = -6*c + 3*c + o for c.
5
Let t(a) be the first derivative of a**3/3 - 2*a**2 + 3*a + 4. Let l be t(3). Solve l = -5*g + g for g.
0
Let u(y) = -y**3 - 6*y**2 + y + 6. Let a be u(-6). Suppose 3*w - w = 10. Let v(o) = o**3 - 4*o**2. Let r be v(w). Solve -5*h = -a*h - r for h.
5
Let i be (-2)/3 - (-1)/(-3). Let d be i - 2*3/(-6). Solve d*z + 4 = 4*z for z.
1
Let i(k) = k**3 + 4*k**2 + 3*k + 1. Let r be i(-3). Solve x - r = 1 for x.
2
Let k = -192 - -196. Solve -6*x = -k*x + 4 for x.
-2
Suppose 15 = 3*c - 0*c. Suppose -3*i + 4*y - 25 = 0, 3*i + c*y - 4*y = -20. Let a(u) = u**3 + 7*u**2 + 2. Let j be a(i). Solve -15 = -o - j*o for o.
5
Let d be 0 - (4/(-4) + -8). Solve 3*u + d = 3 for u.
-2
Let l(s) = s**3 + 3*s**2 + 2*s + 4. Let k be l(-3). Let d be (8 + 0)*(-3)/k. Solve -x - 2*x + d = 0 for x.
4
Let k = -18 + 36. Suppose -5*n - u + k = -14, 0 = -u + 2. Suppose -3*w + 0 + n = 0. Solve -10 = -w*x + 7*x for x.
-2
Let s = -2 - -3. Let k be s*(-1)/3*0. Let q(v) = -v**2 + v + 5. Let p be q(k). Solve 0 = -2*l + p*l - 6 for l.
2
Let p = 7 + -4. Suppose w + 4*n + 4 = -2*w, p*w + 2*n = 4. Solve -7 = w*q - 3 for q.
-1
Suppose 16 = -2*s + 24. Suppose 0 = -r + 4. Let c be (-9)/6*r/(-3). Solve -c*d = -3*d - s for d.
-4
Suppose -5*z + q - 2*q = 0, -3*z + 8 = -q. Let h(v) = 1 + 3*v - 1 + 0. Let i be h(z). Solve i = -5*s - 12 for s.
-3
Suppose 0*x + 2*x - 24 = 0. Let h = 22 - x. Solve 4*p + h = -p for p.
-2
Suppose 0 = 5*h - 10, 2*i + i = 4*h + 22. Solve -i = -3*m - 1 for m.
3
Suppose -3*f - 10 = -4*s, 0*s - 2 = -2*s + 3*f. Let d = 6 + -2. Solve s = -d*g + 16 for g.
3
Let d be 6/21 - (-82)/7. Let x(i) = -2 - 2 - 2 - i + i**3 + 6*i**2. Let t be x(-6). Solve t*g = 4*g - d for g.
3
Let g be (-10)/4*(1 + -3). Let c = g + -2. Let o be (3/(-2))/c*0. Solve o = w + 4 for w.
-4
Suppose 24*f = 29*f. Solve f = 3*b - 4*b for b.
0
Let y = 21 - 7. Let q = -9 + y. Solve 13 = -q*u - 2 for u.
-3
Suppose -10*x + 9*x = 0. Solve x = -l + 4*l for l.
0
Suppose 2*b + 3*z = b + 9, 0 = -2*z + 8. Let j be 0 - ((-3)/b - 0). Let v be j/(-3) + (-10)/(-6). Solve -v = n - 2*n for n.
2
Let t be 1/(-1 + (-9)/(-6)). Solve g + 4 = t for g.
-2
Suppose -q = 8*q. Solve q = r - 5*r + 20 for r.
5
Let l = 12 - 2. Solve 2*k = l - 0 for k.
5
Let w = 2 - 2. Let x be w - 1 - 15/(-5). Solve -2*d = -3*d + x for d.
2
Let q(r) = r**2 + 5*r - 6. Let s be q(-6). Suppose b = 5*t, s = -5*b + 4*b - 5*t. Solve b = -3*w + 16 - 1 for w.
5
Suppose 0 = -4*w - 3 + 15. Suppose -3 = 2*x - 13. Let v be (6/x)/(2/10). Solve 0 = -5*t + w*t - v for t.
-3
Let g(d) = -3*d. Let r(n) = -23*n. Let k(o) = 24*g(o) - 3*r(o). Let y(l) = -13*l + 1. Let i(v) = -9*k(v) + 2*y(v). Let u be i(0). Solve 6 = -u*c - c for c.
-2
Suppose -5*g + 0*b + 27 = -b, g = -3*b - 1. Let v(s) = 2*s - 4. Let o be v(3). Suppose o*f = 5 + 1. Solve -g*i = -f*i + 8 for i.
-4
Let v be -2 - (2/(-1) + -4). Let r(d) = -d**3 - 6*d**2 + 2. Let l be r(-6). Solve v*c = l*c for c.
0
Suppose -j - 5 = -3*g, 2*g = 2*j + 4 - 2. Suppose -2*c = g*t - 0*t - 14, 1 = -2*t + c. Solve 0 = -x - t for x.
-2
Let p = -6 + 12. Let g(j) = j**3 - 6*j**2 + 3. Let i be g(p). Let u be -1 + i + 0 + -2. Solve u = r - 5*r - 4 for r.
-1
Let b be 3 - (2 + -3 - -2). Suppose -b*s + 5*s = 6. Solve -d = s*d + 6 for d.
-2
Suppose b - 17 + 2 = 0. Let a = 1 - -2. Suppose a*j = -2*j + 10. Solve -b = -3*n - j*n for n.
3
Suppose -b = -0*b - 5. Solve -r - 12 = -b*r for r.
3
Let u(p) = p - 4. Let s be u(6). Suppose s*q + 7 = 3*d + 2*d, 0 = q - 5*d + 11. Solve -20 = k + q*k for k.
-4
Let f(n) = 1 - 4 + 0 - n. Let s(l) = l**2 + 16*l - 23. Let y be s(-17). Let i be f(y). Solve 2 = -2*r + i*r for r.
2
Suppose 3*x - 64 = -x. Suppose 4*b = 4*k - 2 - 26, -3*k - 5*b - 11 = 0. Suppose -m - k = -4. Solve 0 = 5*g - x + m for g.
3
Suppose 2 + 16 = -3*k. Let q = k + 9. Suppose 2*y + 2 = q*y. Solve w + w = y for w.
1
Let n = -15 + 25. Let t = 6 - 4. Suppose 0 = -2*p - 8, t*p - 2 + 4 = -2*j. Solve j*h - 5*h = n for h.
-5
Suppose 2*o - 7 + 1 = 0. Let j be (-6)/(-4) - (-12)/(-8). Solve j = -2*x + o*x for x.
0
Let m(p) = p + 6. Let o be m(3). Solve 2*f + o = -f for f.
-3
Suppose 0 = -4*u + 2*u. Solve u = -v - 0 - 4 for v.
-4
Let b(h) = -h + 15. Let n be b(11). Suppose -4*k = -4*m + 28, -3*m + n*k - 5*k = -1. Solve x + 12 = -m*x for x.
-4
Suppose 2*t = -3*w, -4*w + 7*w - 5*t = 21. Suppose -4 = -w*o + 2. Solve 2 = -r + o for r.
1
Suppose 4*f + 5*t + 15 = 0, 0*f + f + 15 = -5*t. Let q = f + 2. Suppose q*m - 7 = -0*o + 5*o, -3*m + 20 = 2*o. Solve 3*y = m*y + 15 for y.
-5
Let u be (-20)/(-6)*6/4. Let z be 2/(-5) + 2/u. Let y be (-36)/(-15) + (-6)/(-10). Solve f + y*f = z for f.
0
Suppose -5*b - 2*k - k = -9, 0 = 4*b + 3*k - 9. Suppose -2*z + 6 - 2 = b. Let d = 4 - z. Solve -d*o - 3*o = -10 for o.
2
Let j = -3 - -4. Suppose -3*u + j + 8 = 0. Suppose 5*y - 6*l = -4*l, -4*y = -5*l + 17. Solve -u*w + 1 = -y*w for w.
1
Let c(y) = y**3 + 12*y**2 - 13*y + 2. Let h be c(-13). Solve 6 = -2*x + h for x.
-2
Let s be ((-4)/6*24 + 0)/(-2). Solve -i + s = i for i.
4
Let x(l) = -l**2 - 6*l - 2. Suppose 3*m + 2*m = -30. Let b be x(m). Let i be ((1 - 1)/b)/(-1). Solve -q + 0 - 3 = i for q.
-3
Suppose -5 = 5*t - 0, -4*w + 65 = -5*t. Solve 0 = 5*h + w + 5 for h.
-4
Let b be 292/(-32) + (-2)/(-16). Let f = 1 - b. Solve 0 = 2*v - 0*v - f for v.
5
Let h = -80 - -92. Solve 0*k - 3*k = h for k.
-4
Let x(s) = 6*s**2 - 2*s. Let m be x(2). Suppose m = 6*t - t. Solve t*d + 3 + 5 = 0 for d.
-2
Let x = 32 - 20. Let c be 36/8 - 1/2. Solve c*a - x = 8 for a.
5
Suppose z - 4 = -0*z. Suppose 4*w + 8 = 2*f, z*f = -f - 5*w + 20. Solve c - 1 = f for c.
5
Let d(c) = 3*c + 25. Let j be d(-5). Solve 2*w = -0*w + j for w.
5
Suppose 0 = -5*r + 2*h + 8, 2*r + 1 = h + 4. Let o(c) = c**3 - 7*c**2 + 6*c + 3. Let d be o(6). Solve r*m + d = m for m.
-3
Suppose 14 = 3*g - g. Suppose -20 = -2*b + g*b, -5*s + 5*b = -65. Suppose s*k - 20 = 5*k. Solve o = 3 - k for o.
-2
Let u(l) = l**2 + l + 3. Let g be u(-10). Suppose -2*v = v - g. Suppose 4*d + 11 - v = 0. Solve 7 = -d*q + 2 for q.
-1
Let v = 3 - 2. Suppose -2*l - 21 = -5*g, -2*l + 2*g = 7 - v. Solve -l*q - 1 = 9 for q.
-5
Suppose 49 = 3*a - 4*m, 3*a + 3*m - 57 = -a. Suppose -4*l = 4*p + 12, 7*l + 45 = 2*l + p. Let j be 6/a + l/(-5). Solve -j*o = 3*o - 25 for o.
5
Suppose 9 = -0*d - 4*d + z, 4*d = -z - 7. Suppose 0 = 4*j + 17 - 5. Let k be ((-1)/d)/(j/(-18)). Solve -k = -0*t + t for t.
-3
Suppose 3*p = 2*d + 8, -5*d = 4*p - 5*p - 6. Suppose 4*g + p*v = 4, 5*g - v + 0*v = -7. Let q(a) = -6*a. Let c be q(g). Solve c = -3*f + 21 for f.
5
Let d(w) = -w - 6. Let g be d(-6). Suppose -3*k + 8*k = g. Solve k*m - 1 = -m for m.
1
Suppose o = 3*c - 5, 3*c = -2*o - 2*o + 25. Suppose -4*t = 5*i - 33, -5*t - o = -3*i + 1. Solve -4*p - t - 2 = 0 for p.
-1
Let q = -5 - -7. Let d = 32 - 16. Suppose 0 = 2*c + 2*c - d. Solve c*h - 18 - q = 0 for h.
5
Let f be (-9)/(-63) + 20/7. Suppose -3*w + 12 + f = 0. Solve w*t + 14 - 34 = 0 for t.
4
Let u = 3 - 0. Suppose 0 = -0*n + u*n - 3. Solve -n = -3*w + 2 for w.
1
Let i(t) = -5*t**2. Let o be i(-1). Let f be (-4)/(-10) + (-38)/o. Suppose -3*l = l - f. Solve -l*x - 6 = -0 for x.
-3
Let c(d) = -d**3 - 7*d**2 + 8*d + 6. Let s be c(-8). Suppose -s*u + 4 = -2*u. Solve 3*g = 4*g + u for g.
-1
Let l(o) be the first derivative of -o**4/4 + o**2/2 + 8*o + 3. Suppose -3*t + 7*t - 3*w = 0, -5*t = -2*w. Let p be l(t). Solve n + p = 5*n for n.
2
Let q(n) = n**3 - n**2 + 3*n - 3. Let j be q(2).