 n = 2 + 10. Suppose w - n = -2*w. Solve -w*z + 14 = -6 for z.
5
Suppose 2*u + u = 9. Suppose 7 = y + 3*w, -4*y + 3 = u*w - 16. Let t be (-12)/(-8) - 138/(-12). Solve 5 = y*x + t for x.
-2
Let p(a) = -a**2 + a - 1. Let w be p(2). Let i be w/2*(-4 - 0). Solve 3*d + 6 = -i for d.
-4
Suppose -2*l = -2*b - 6*l - 14, 2*b + 9 = -3*l. Let i be (-406)/(-42) + 2/(-3). Solve -b*w = i - 0 for w.
-3
Let p(z) = 3*z**3 - 12*z**2 - 8*z - 9. Let b(n) = 4*n**3 - 13*n**2 - 7*n - 9. Let o(u) = -2*b(u) + 3*p(u). Let x be o(11). Solve 0 + x = y for y.
2
Suppose -2*w = 2*r - 10, 3*r = 3*w + 4*r - 13. Solve w*y - 5 = -1 for y.
1
Let z(j) = -j - 5. Let n be z(-7). Suppose -2*c = -3*t + n, -3*c - 2*c + t = -21. Suppose 0 = -p - 0*p + 7. Solve -p = -c*h + 13 for h.
4
Let h(i) = i**2 - 8*i - 9. Let p be h(9). Let u(b) = 4*b. Let g be u(4). Let j = 28 - g. Solve -4*z - j = -p*z for z.
-3
Let y(l) = -l**3 - 4*l**2 - 2*l + 3. Let p be y(-3). Suppose 0 = 2*v - p - 20. Let n be -2*((-3)/6 - 1). Solve n*m + v = -5 for m.
-5
Let g be (-1)/(-2) - 14/(-4). Solve -g*k = -0*k + 12 for k.
-3
Let z = -34 + 50. Suppose c + 4*g - 4 = 0, -4*c + 0 = -2*g - z. Solve -f - 20 = c*f for f.
-4
Let x(n) = 5*n**2 - 2*n - 7. Let g(k) = 6*k**2 - 2*k - 8. Let l(d) = -4*g(d) + 5*x(d). Let b be l(5). Solve -y - 2*y = -b for y.
4
Let t(j) = -j**2 + 2*j - 2. Let d(i) = 2*i**3 + 2*i**2 - 2*i + 1. Let g be d(1). Let m be t(g). Let w be (-19)/m + 2/10. Solve -x = w*x - 5 for x.
1
Let y(z) = -z**3 + 6*z**2 + 7. Let h be y(6). Solve -5*i - h = 13 for i.
-4
Let s = -1 + 0. Let v be s/((-3)/15 - 0). Suppose -g + v*g = 60. Solve g = -3*u + 6*u for u.
5
Suppose 3 + 0 = i. Let s = i - -10. Solve -4*l = -3 - s for l.
4
Let g(k) be the first derivative of 5*k**2 - 2. Let l be g(1). Solve u = -u - l for u.
-5
Let b(m) = -m**3 + m**2 + 3*m - 2. Let h be b(2). Suppose h = 5*n - 0*n - 5. Suppose t - 9 = n. Solve p + t = -p for p.
-5
Suppose -s - 13 = -2*m - 4, 5*s = 5. Let x = 32 + -12. Solve 0 = -o + m*o + x for o.
-5
Suppose 0*b = -3*b. Suppose -4*w + 5 - 1 = b. Solve 0*l = -l - w for l.
-1
Let l = 3 - -5. Let m be 5 + (0/1 - 1). Let n = 14 - 10. Solve -l = -n*o + m for o.
3
Let f(x) = -x - 17. Let n be f(-17). Solve 3*c + 0 + 3 = n for c.
-1
Let f be ((-12)/(-8))/((-1)/(-2)). Solve p = 2 - f for p.
-1
Let l be 4/(-6) + (-17)/(-3). Let y = 3 + -6. Let w = l + y. Solve 3 = -d - w for d.
-5
Suppose 5*m = 3*i + m - 68, -m - 85 = -5*i. Let f = i + -7. Solve 5*k + 6 = -f for k.
-3
Let b be ((-4)/8)/(1/(-12)). Suppose f = 3*f - b. Solve -f*m = -2*m for m.
0
Suppose m - 22 + 1 = 4*r, 2*m = 4*r + 22. Let n = -12 - -21. Let x = n + -5. Solve x*u - 21 = -m for u.
5
Suppose 5*v + 3*q - 4*q - 54 = 0, -2*q = -4*v + 48. Suppose -j + 2*j = v. Solve -p = j - 5 for p.
-5
Let f be (0/(-1))/((-2)/(-2)). Suppose 48 = 4*k - 2*w - f*w, 41 = 3*k - 4*w. Suppose o = 5*p + 14 + 5, -p - 11 = -o. Solve 4*s = o + k for s.
5
Let p(x) = -4*x**3 - 2*x**2 - x. Let y be p(-1). Suppose 0*m - 12 = -y*m. Solve -7*u = -m*u + 15 for u.
-5
Let y(t) = -t**2 - 9*t - 5. Let k(o) = o**2 + 10*o + 8. Let u be k(-6). Let s be (2 + -5)*u/(-6). Let l be y(s). Solve 5*d + 7 = -l for d.
-2
Suppose a - 2*c = 5*a + 14, 5*a - c = -35. Let m be 2/a + (-64)/(-12). Solve m*g + 28 = 3 for g.
-5
Suppose -3*d + 0 = 4*x - 4, -2*d - 5*x + 5 = 0. Let r(b) = b**2 - 6*b - 3. Let z be r(6). Let i = z - -7. Solve -i*h + d = -20 for h.
5
Let v = -14 + -18. Let p = v + 47. Solve -d = 4*d - p for d.
3
Let b = -13 - -28. Solve -4*w - w = b for w.
-3
Let u = 107 + -63. Let l be 2/8 - u/(-16). Solve -2*o - l*o = -15 for o.
3
Let k(f) = -4*f. Let z be k(-1). Suppose -s = -2*a + z*a - 20, a = 2*s. Suppose -a = -x - x. Solve 5*j - j = x for j.
1
Suppose -4*r + 9 = -r. Suppose -6*w + 7*w = r. Solve w*s + 9 = -0 for s.
-3
Let c(r) = r**2 + 6*r + 4. Let x be c(-3). Let f = -7 - x. Let j be -1 - 1 - 1*f. Solve 0*s + s = j for s.
0
Let l be -1 - -11 - (-14 - -11). Solve 4*h + l = -7 for h.
-5
Let g(o) = 3*o**2 + 2*o - 4. Let m be g(3). Suppose -h + 14 = 4*y - m, 4*y - 3*h - 31 = 0. Let v be (-3)/12 + 18/8. Solve 4*p + v = y for p.
2
Let c(y) = -y**3 + 7*y**2 + 4. Let p be c(7). Suppose 5*h - 2 = p*h. Solve 0*l + h*l - 2 = 0 for l.
1
Let j(o) = -6*o - 2. Let i be j(-1). Solve p = i*p + 15 for p.
-5
Let p(n) = -n**3 - n**2 - n + 4. Let i be p(0). Suppose -i*m + 95 - 15 = 0. Solve 2*y - m = 6*y for y.
-5
Suppose 5*t - 6 = 19. Suppose -b - 4 = -c - t, c - 5 = 0. Solve 0 = b*p - p for p.
0
Suppose 0 = 2*o + 4*b + b - 29, 0 = 5*o + 5*b - 35. Let x(h) = -1 + 3*h + 4*h - h**o + 0*h. Let l be x(6). Solve l*r + 20 = 5 for r.
-3
Let u(v) = v + 1. Let z be u(1). Let h = 5 - z. Solve -2*p = 3 + h for p.
-3
Let z = -2 - -2. Solve z = -0*a - 5*a + 15 for a.
3
Let m = -39 - -45. Solve 4*q - q = m for q.
2
Suppose 5*g - 23 = -2*i, 2*i + 5*g - 7 = 4*i. Let c = 413 + -413. Solve 0 = -i*s - c*s - 20 for s.
-5
Let k(u) = u**2 + 10*u + 12. Let w be k(-9). Solve w*s - 6 = 6 for s.
4
Let o(z) = z**2 - 10*z + 1. Let d be o(10). Let p be 1 + 1 - (d + -2). Solve 4*a = a + p for a.
1
Suppose -2*p + 5*a = p + 8, 3*a - 20 = -2*p. Solve 2*n = p*n for n.
0
Let f be 4/14 - 24/(-14). Let m(r) = -4*r + 4*r - 2*r. Let c be m(-5). Solve c = -f*i - 0 for i.
-5
Let m be (1 + 0)/(4/8). Let c = 3 + m. Solve h + 0 - c = 0 for h.
5
Let i(j) = j**3 + j**2 + 7. Let k be i(0). Let o(l) = -5*l + 4. Let n(d) = -6*d + 4. Let w(x) = 4*n(x) - 5*o(x). Let b be w(k). Solve -4*v + b = -9 for v.
3
Let u be (-37)/(-7) + 6/(-21). Solve -6 = -u*g + 2*g for g.
2
Suppose p - 12 = -5. Solve 5*h + 17 = p for h.
-2
Let j(f) = -179*f - 6. Let m be j(-6). Let t be 2/(-3)*m/(-8). Let u = t + -64. Solve h = -4*h - u for h.
-5
Suppose -d = -2, 4*d + 0*d - 20 = -4*a. Solve 7 = -a*o + 1 for o.
-2
Suppose -z + 25 + 0 = 0. Suppose -45*g = -43*g - 4. Solve -3*o = g*o - z for o.
5
Suppose -18 = 3*n - 5*n + 5*i, -2*n + 12 = -2*i. Suppose m = -n*m. Solve a - 7 + 3 = m for a.
4
Let m be (4 - 2)*(-1 - -2). Suppose -3*f + 2*b = -m*f - 2, 2*f + 5*b - 4 = 0. Suppose f*x = 3*x - 2. Solve -w - w = x for w.
-1
Let q(f) = 6*f + 5*f**2 - 4*f**2 - 2*f**2. Let t be q(6). Solve -3*s + 6 - 15 = t for s.
-3
Suppose 2*g + g = 0. Solve g = -8*c + 3*c for c.
0
Let y = 64 - 62. Solve 0 = y*c + 3*c - 20 for c.
4
Suppose 2*x + 3*b = 26, 0*b = 3*x + 3*b - 45. Suppose s + 4 = -2*a, -3*s + a + x = 3. Solve -s*r + 4 + 0 = 0 for r.
1
Let d be (2 + -2)*4/(-8). Solve l + d + 4 = 0 for l.
-4
Suppose 5*r + 7 = 4*u - 8, -5*r - 5*u = -30. Suppose 4*y = -y + 20. Solve -y - r = t for t.
-5
Suppose 34 = 3*x - 8. Suppose x + 6 = -4*g, 2*g = -3*o + 38. Suppose 2*k + 2*k = o. Solve 2*i - k + 2 = 0 for i.
1
Suppose 4*h - 16 = -0. Solve -10 = -2*n - h for n.
3
Let o = 11 - 7. Suppose -d - 5 = o*d. Let f be 0 + 0*d/(-3). Solve f = -3*w - 4 + 1 for w.
-1
Suppose -2 = -2*k + 8. Suppose -k*z - 4*i = -15, -3*z + 10 - 1 = -2*i. Solve 5*l + z = -2 for l.
-1
Let k(d) = -d**3 - 8*d**2 + d + 10. Let g be k(-8). Let s be (-202)/(-18) + g/(-9). Let b = s + -7. Solve -5*o - 6 = b for o.
-2
Suppose -2*f + f = 0. Suppose 0*l + 20 = -4*a + 4*l, f = 2*a - 5*l + 25. Solve q - 1 = -a*q for q.
1
Let c = -15 + 27. Solve 2*v + 2*v = c for v.
3
Let z be 1/(-4) + 51/12. Suppose -b + 3 = 0, -3*l + z*b - b + 6 = 0. Solve l + 3 = 2*w for w.
4
Let p(w) = w**2 + 4*w + 3. Let h be p(-4). Solve 0 = -0*j + h*j for j.
0
Let g = 4 - 9. Let v = 7 + g. Suppose -k - 30 = -6*k. Solve k*m = v*m for m.
0
Let l be (10 - 4)/6 - 1. Solve -p + 0 + 1 = l for p.
1
Let y = 6 - 3. Solve v - y*v = 0 for v.
0
Let s(p) = 4*p**2 - 2*p. Let k be s(2). Solve -i + 4*i = k for i.
4
Suppose -2*t + 0*t + 6 = 0. Suppose 4 + 2 = t*d. Solve 0 = x - d*x + 4 for x.
4
Suppose -5*g + 10 = -3*g. Let t(d) = d**2 + 3*d - 1. Let x be t(-4). Suppose -4*b = -g*p + 20, 0*p + x*b = -2*p + 31. Solve -p + 28 = -5*s for s.
-4
Let f be (4 + -1)/(-6 + 7). Suppose -5*p + 10 = k - 10, -4 = -p + 2*k. Solve r = f*r + p for r.
-2
Suppose 0 = -16*i + 17*i - 8. Solve 3*t + 7 = -i for t.
-5
Let v be ((-16)/(-2))/(-4 - (-28)/6). Solve -g = -5*g - v for g.
-3
Let l = 40 + -32. Solve l = -m - m for m.
-4
Suppose 2*z = -3*o + 7*o - 14, -3*z + o = -4. Solve 2*h - 2 = z*h for h.
-2
Suppose 0 = 5*s - 18 + 13. Solve -2*k + 3*k = s for k.
1
Suppose y + 0 = 5, 0 = u - 4*y + 25. Let i = 8 + u. Sol