e -7*n = -6*n - 9. Suppose b - 4*w = -9 - n, 2*w = b + 8. Suppose 0 = -b*h + 4*h. Solve h*l = 2*l - 4 for l.
2
Let c be ((-3)/(-9))/(1/15). Let j(z) = -z**3 + 7*z**2 - 5*z - 5. Let k be j(6). Suppose 3*r - c = k. Solve -5 = v - r*v for v.
5
Let s(u) = u + 5. Let x be s(-11). Let y be (-2)/x*(3 + 0). Solve 0 = -4*d + y + 7 for d.
2
Suppose 5*t = -10 - 0. Suppose -l = -0*l + 4. Let n = t - l. Solve -5 = -n*c + 3 for c.
4
Let p(z) = z**2 + 5*z + 4. Let r = 0 - 3. Let v be 1/((-2)/(13 + r)). Let n be p(v). Solve 10 = -2*x + n*x for x.
5
Let d = -11 + 27. Let k = -11 + d. Solve k*a = 2*a for a.
0
Suppose -3 = -o, -2*o = 5*h + 3*o - 55. Let z = 11 - h. Solve z = -4*a - 5 for a.
-2
Let o(n) = n**3 + 0 + n**2 + 1 + n - 3*n. Let m be o(1). Solve -m - 1 = 2*r for r.
-1
Let l be -2*(-4)/24*6. Suppose -3*h + 0*o + 2 = 5*o, l = -o. Solve s = -s - h for s.
-2
Let n(p) = -p**3 - p. Let w(l) = -5*l**3 - 4*l - 4. Let t(d) = 4*n(d) - w(d). Let u be t(0). Suppose 2*s = -2*s + 16. Solve s = u*b - 8 for b.
3
Suppose -c = -2*i - 0*i + 33, -5*i = -4*c - 87. Suppose -7*u + 24 = -3*u. Suppose -u*x + x = -i. Solve -4 = 2*q - x*q for q.
4
Let w(u) = 12*u**3 - u**2 + 2*u - 1. Let s be w(1). Let h = 18 - s. Solve h = l + l for l.
3
Suppose 0 = 5*y - 10. Let c = 28 + -25. Suppose -4*w + 51 = 4*b + c, b - 2*w = 12. Solve b = y*k + k for k.
4
Suppose 0 = 2*x, -2*x + 1 = 2*c - c. Let t be (-6)/(-4)*(-2 + 4). Suppose 12*a - 11*a - 4 = 0. Solve a*y - c = t*y for y.
1
Suppose -5*d + 0*d - a + 89 = 0, 2*d - 2*a - 26 = 0. Suppose -4*r + 29 = 3*c - 0*c, 4*r - d = c. Solve 9 = -r*q + 2*q for q.
-3
Let m(y) = 4*y + 2. Let n be m(2). Solve -n = -u - u for u.
5
Let w(c) = 4*c**2 + 3*c - 7. Let t(v) = v**2 + v - 2. Let a(p) = -7*t(p) + 2*w(p). Let q be a(2). Solve k - 1 = q for k.
3
Suppose 2 = -c + f - 10, f = -3*c - 20. Let j(d) = -d**2 - 8*d + 5. Let m be j(c). Solve 12 = m*o - 3 for o.
3
Let r = 0 - 0. Let z be (-44)/77 - (-260)/14. Suppose r*n + z = 2*n. Solve -1 = -5*d + n for d.
2
Let f be (2/4)/((-5)/(-60)). Solve l - 3*l + f = 0 for l.
3
Let u be 12*((-7)/(-3) - 1). Let f be (-10)/(-4)*(-56)/(-35). Suppose 3*o = -f*p + 14, 6 = p - o + 3*o. Solve -2*l + u = p*l for l.
4
Suppose 4 = 3*g + 1. Solve 2*y = 3*y - g for y.
1
Let k = 33 + -32. Solve 11 = 3*y - k for y.
4
Suppose 0 = -2*a + 11 - 3. Solve -p + 5 = a for p.
1
Let r be (0 + 0)/(1 + -3). Suppose r = -2*o + 5*o - 21. Solve u + 3 - o = 0 for u.
4
Suppose -3*k + 4*x + 14 = 2*k, -4*k + 13 = -5*x. Solve k - 4 = 2*p for p.
-1
Suppose 10*k = 14*k - 8. Solve -k*n = n - 3 for n.
1
Suppose 3*w + 34 - 46 = 0. Solve 8 = -w*t - 8 for t.
-4
Let j be (4/(-5))/(22/165). Let v(q) = -3*q - 13. Let y be v(j). Solve -2*r - 12 = -y*r for r.
4
Let y(p) be the first derivative of p**4/4 - p**3/3 - p**2/2 + 2*p - 1. Let x be y(0). Solve x*s + s + 6 = 0 for s.
-2
Suppose -w - 42 = -8*w. Solve -2*v = w - 2 for v.
-2
Suppose -2*k = -0 - 2. Suppose 3*q = -2*d + 5*q - 10, -d + 25 = 5*q. Let z = k + d. Solve 5 - z = -4*j for j.
-1
Suppose 2*x = -2*x + 56. Suppose -u + 3*h = 4 + 3, x = u + 4*h. Suppose 5*t + 2*s + s - 32 = 0, 5*s - 12 = 2*t. Solve -u = -2*j + t for j.
3
Suppose 2*f = 2*k + 24, 0*f - 5*f = -2*k - 69. Solve -3*n + f = -6*n for n.
-5
Suppose 7*y - 2*y - 10 = 3*r, -2*y + 20 = 2*r. Solve -r*j + 8*j + 15 = 0 for j.
-5
Suppose 0 = -4*z + b + 16, 5*z + 0*b + 3*b = 37. Suppose z*a = -0*a + 60. Let p(x) = -x**3 + 5*x**2 + 2. Let q be p(5). Solve -5*o = q - a for o.
2
Let y(c) = 3*c**3 + 0*c + 2*c - 4*c**3. Let q be y(2). Let t be 0/(-4)*2/q. Solve t = 4*g - 3*g - 1 for g.
1
Suppose 2*t = t - 3*t. Solve t = -4*x + 2*x + 2 for x.
1
Suppose 70 - 20 = 2*k. Solve -4*t = -5 + k for t.
-5
Suppose -o + 5 + 3 = 3*t, -5*t - 38 = -3*o. Solve 4*w - 9 - o = 0 for w.
5
Suppose 0 = -f + 17 - 8. Solve f*a = 4*a for a.
0
Let a(r) = -r - 3. Let k be a(-16). Solve -7 - k = -4*w for w.
5
Let s be -6 + 5 - (-12)/(-3). Let k = s - -9. Solve k*c = -c + 5 for c.
1
Suppose -2*a = -0*a - 12. Solve -m = m + a for m.
-3
Let d be (-172)/(-16) + (-2)/(-8). Let p = d + -11. Solve p*v - 5 = 5*v for v.
-1
Let q(p) = -p**3 - 9*p**2 - p - 7. Let k be q(-9). Let b(y) = y**2 - y - 2. Let x be b(2). Solve a + 5 - k = x for a.
-3
Let m(v) = v**2 - 19*v + 16. Let r be m(19). Solve -n = 3*n + r for n.
-4
Let k(b) = b**2 + 2*b + 4*b - 2*b**2 + 3. Let a be k(6). Let o = 12 + -5. Solve a*r = o*r for r.
0
Let t(j) = j**3 - 10*j**2 - 9*j - 13. Let w be t(11). Suppose 3*b - 8 = b. Solve b*f = 1 - w for f.
-2
Let k = -26 - -17. Let t be (k/4)/(3/(-8)). Solve 0*q - 2*q = -t for q.
3
Let c(n) = -n**2 - 5*n - 1. Let m be c(-4). Let b = 9 - 3. Let a = -6 + b. Solve a = -m*w + 2*w + 2 for w.
2
Suppose 4*y - 2 + 4 = 5*l, 4*y = l + 6. Suppose -w + 2*a + 1 = 6, 3*a - 7 = y*w. Let x be (-2)/(3/(-15)*w). Solve 0 = -7*j + 2*j - x for j.
-2
Let z be 0/(6 + -2 - 2). Let s be z/(3/(6/(-4))). Solve 2*h + 0*h = s for h.
0
Let k(m) = m**2 + 7*m - 5. Let c be k(-8). Solve 2*v - c*v + 5 = 0 for v.
5
Let v be 2/(-2) + 158/2. Let u = v - 48. Solve 5*t - 5 + u = 0 for t.
-5
Suppose 3*v - 9 + 0 = 0. Let l be -2 - (1 + -2) - -1. Suppose v*t - 8 - 7 = l. Solve -17 + 2 = -t*d for d.
3
Suppose 5*a = -4*d + 3*d - 18, -3*a + 2*d - 3 = 0. Let f be 7 + -1 + (-9)/a. Solve f = -3*q + 3 for q.
-2
Let t = 0 - -4. Let l be (-2)/(-2)*(-1 + 1). Suppose l = k + 1, 2*i + k = t*i - 11. Solve b - 16 = i*b for b.
-4
Suppose 1 + 9 = 2*t + x, 6 = 3*t - 3*x. Solve y - t*y = 0 for y.
0
Let n = -8 + 8. Suppose l - 3*f + 13 = 3, 2*f + 2 = 5*l. Suppose -o - l*o + 36 = n. Solve -p - o = 2*p for p.
-4
Let z be (3 - 1 - 1) + -10. Let o be z/6*2/1. Let w be 1/(o/(-15))*2. Solve -7*f + 2*f = w for f.
-2
Let x = -7 - -11. Solve 0 = 5*o - x*o for o.
0
Let y = -10 + 18. Let v be (12/y - 1)*6. Solve 0 = v*m - 9 + 3 for m.
2
Let z = -46 - -49. Solve z*h - h = -2 for h.
-1
Suppose 6 = f - 2*i, 22 + 12 = 4*f - 3*i. Solve t + t = f for t.
5
Let d(g) = g**2 + 11*g. Let k be d(-11). Solve k = -3*w + w - 4 for w.
-2
Suppose 2*c = -8, -2*l + 4*c - 2 = -0. Let w be (l/6)/((-6)/16). Suppose -4*z - w*d + 32 = 0, 2*z + 10 = 4*d + 26. Solve i - z = 5*i for i.
-2
Let n = -4 + 8. Suppose 0*t = n*t. Suppose t = -5*k + k + 16. Solve k*i - 3*i = -1 for i.
-1
Suppose 4*n + 3*c = 22, -4*n + 6 = -c - 8. Let m be (n + -2 - -1)/1. Let y be (1 + (-1 - 2))/(-2). Solve 0 = m*v + y - 10 for v.
3
Let f(q) = q**3 + 4*q**2 - 2*q - 1. Let t be f(-4). Suppose 0*u = -2*u + 8. Suppose -2*d = -0 - u, 12 = 2*p - 2*d. Solve 3*b - p = t*b for b.
-2
Let j be -6 - ((-3)/1 - -2). Let s = j + 6. Solve -s = l - 4 for l.
3
Let g = 1 + 8. Solve -4*o + g = -o for o.
3
Suppose 8*s = 9*s - 1. Solve 0 = -o - 1 - s for o.
-2
Suppose -4*i - 3 = f, 5*f - 26 = f + 3*i. Let a be (2/(-3))/(4/(-18)). Solve f*x - 23 = -a for x.
4
Let v(l) = -2*l - 28. Let n be v(-14). Solve n = -0*k + 5*k + 15 for k.
-3
Let f = -42 - -42. Solve 0 = b - f - 4 for b.
4
Suppose -2*f + 16 = 2*f. Let i(l) = 3*l**2 - 5*l - 4. Let x be i(4). Suppose 3*r - 2 = n, -3*n + r = -4*r - 2. Solve f = -n*t + x for t.
5
Suppose -12 + 42 = 5*k. Solve a = k*a + 25 for a.
-5
Let w(g) = -g**2 + 5*g - 4. Let t be w(4). Solve -4*s = -t*s + 20 for s.
-5
Let t = 7 - 4. Solve 0 = m + t*m + 12 for m.
-3
Let i(d) = 2*d**3 + 4*d**2 + 3*d + 2. Let u be i(-2). Let n = u + 10. Solve n = -2*a - 2 for a.
-4
Suppose -10 = -10*i + 5*i. Solve 0 = -i*r - 0 - 8 for r.
-4
Let a(y) = y**3 - y**2 - 7*y + 5. Let x be a(3). Solve 3 = -t - x for t.
-5
Suppose 5*y = 3*y - 5*j - 6, -3*y + 2 = 2*j. Let g(m) = m**2 - 5*m - 7. Let d be g(7). Let s = -4 + d. Solve -y*b + 5 = s*b for b.
1
Suppose 15 = -7*w + 211. Solve 3 - w = -5*g for g.
5
Let b = -4 + 6. Suppose -2*y + 5*a + 45 = 0, -95 = -0*y - 4*y + 5*a. Let d = -5 + y. Solve 3*p + b*p = -d for p.
-4
Let s(w) = w. Let i be s(3). Suppose 9 = 4*j - o, i*j - 21 = -7*o + 3*o. Suppose 3*k + 0*k - 87 = 4*n, -78 = -j*k + n. Solve 0 = m + 4*m + k for m.
-5
Let l(w) = w**3 + 9*w**2 + 3. Let i be l(-9). Solve i*g + 6 = -0 for g.
-2
Let w = -74 + 83. Solve -5*l - w = 16 for l.
-5
Let q = 1 - 1. Let f = 2 + -2. Let u = -3 - -8. Solve q = -f*a - a + u for a.
5
Let v(r) = r - 3. Let x be v(3). Let w be (6 - 2) + x + -1. Solve 4 = -w*l + 4*l for l.
4
Suppose 4*i = -5*g + 27, -3 = 5*i - 3*i - 3*g. Solve -5*w + 10 = -i*w for w.
5
Let