 1*-1*(0 - 0). Solve 3*n + t*n = x for n.
0
Let a = 3 + 0. Let k = 0 + a. Solve k = -p - 2*p for p.
-1
Let g(f) = f - 1. Let l be g(5). Suppose -15 = 3*w - l*w. Let y = w + -11. Solve -3*r + r = y for r.
-2
Suppose 0 = -3*k - 15, -3*m - k = 2*m - 15. Let f(l) = -11*l**3 + 2*l + 1. Let a be f(-1). Let w = -10 + a. Solve 0 = -w*o + m*o - 12 for o.
3
Let w = -9 + 15. Suppose -5*n + 3*i + 18 = -13, 2*i - w = -2*n. Let k(m) = m**3 + 5*m**2 - m - 2. Let z be k(-5). Solve -2*h + n = z*h for h.
1
Let m(t) = 2*t - 7. Let h be m(6). Suppose 2*j = h*j. Suppose 12 = p - c - 2, -2 = -3*p - 5*c. Solve p + j = -3*a for a.
-3
Let a = -2 + 14. Solve 5*b + 8 + a = 0 for b.
-4
Let y = -2 - -4. Suppose -2*n - 18 = y*w, w + 2*n + 24 = -2*w. Let b be w/(-1) - 6/(-3). Solve -h - b + 4 = 0 for h.
-4
Suppose j - 3 = -2*y + 1, -4*j + 2*y = 4. Solve -4*u + 0*u - 12 = j for u.
-3
Suppose -z + 4 - 1 = x, 3*x + 5*z = 13. Let a = x + -1. Solve -4*n - 4 = -a for n.
-1
Let a = -2 + 8. Suppose a*w - w = -20. Let i = w - -12. Solve -i = m + m for m.
-4
Let c = 33 - 50. Let g = c + 19. Solve 0 = 4*i - 3*i + g for i.
-2
Let q be (-54)/(3/(-1)) + 0. Let x = 26 - q. Solve 5*a - 3 + x = 0 for a.
-1
Let f(d) = d**2 + 9*d + 10. Let j be f(-8). Let t(i) = i**2 - 2*i + 3. Let z be t(j). Solve 0 = 4*q + 1 + z for q.
-1
Let p(y) = -y**3 - 3*y**2 + 4*y + 6. Let s be p(-4). Let v be (2/4)/(2/8). Solve g = -v*g + s for g.
2
Let f = -98 - -103. Solve f*p = -0*p for p.
0
Let u be (6 - 3 - 5) + 5. Let z = 5 - u. Suppose 0 = z*b + 3*b - 15. Solve -c = -2*c + b for c.
3
Let q be -3*(3 + -2) + 1. Let i be 0*(0 + q + 1). Solve i = 2*u - 8 - 2 for u.
5
Let x(z) = 3*z**3 - 6*z**2 - 3*z - 4. Let g(y) = -2*y**3 + 5*y**2 + 2*y + 3. Let v(d) = -4*g(d) - 3*x(d). Let j be v(-3). Solve -4*n + j = -10 for n.
4
Let x be (36/15 + -2)*-20. Let w be (4/x)/(2/(-100)). Solve w = 5*m - 0*m for m.
5
Let x(k) = -k**2 + 11*k + 3. Let t be x(11). Suppose 0 = -2*q + 3 - 7. Let j = t + q. Solve 3 = -g + j for g.
-2
Let a = 10 + -3. Suppose -3*j + 22 = -a*c + 3*c, j + 2*c + 6 = 0. Solve -3*t = -j*t - 3 for t.
3
Let l be ((-6)/(-8))/(1/8). Suppose -3 = -k, 0 = -5*p - 3*k + l + 23. Solve -18 = -p*y - 2 for y.
4
Suppose -k = -4*b - 3, -2*k + 6 = -b - 0*k. Suppose -7*r + 2 = -6*r. Solve b = -r*l - l - 6 for l.
-2
Let y = -1 + 5. Suppose 2*d = 7*d. Solve -s + d = y for s.
-4
Suppose r - 5*r + 24 = 0. Let a(w) be the first derivative of -w**4/4 + 5*w**3/3 + 5*w**2/2 + 8*w + 1. Let t be a(r). Solve -t*h = 2*h for h.
0
Let y be (-534)/(-27) + (-4)/(-18). Let u be (-1)/(-2) - y/(-8). Solve -u*d = d for d.
0
Let z = 0 + -6. Let j = z - -9. Solve 0*i - j*i + 3 = 0 for i.
1
Let q(u) = -u**2 + 6*u + 4. Let d be q(6). Let w be d/24 + 2/(-12). Solve w*p = -4*p - 16 for p.
-4
Suppose -4*a + 12 = -0*a. Solve 2*s = -a*s - 20 for s.
-4
Suppose d + d + 3*x = -17, -4*d + x = -1. Let w be (-3 + -3 + 6)/d. Solve 2*f + w = 4 for f.
2
Let w(v) = -v**2 + 6*v + 4. Let b be w(7). Let k = b - 1. Let d(i) = i**2 + 4*i. Let p be d(k). Solve p*x = 2*x for x.
0
Let n = 3 + 2. Suppose 5*p + 12 = -2*m, 0 = -4*m - 3*p + n*p + 24. Solve -o = -0*o + m for o.
-4
Suppose -4*f = -2*i, -10 = f - i - 2*i. Suppose 0 = 4*n + 2*w - 26, -f*n - 2*w = -3*n + 4. Solve x - n*x = 10 for x.
-2
Let j be (2/4)/((-2)/(-4 - 28)). Solve -4*r + j = -2*r for r.
4
Let u = 34 + -28. Solve -u*t - 20 = -2*t for t.
-5
Suppose 5*k + 20 - 45 = 0. Solve 9 = -t + k for t.
-4
Let g be -5*(0 + 4/(-10)). Let h = g - -1. Solve h*u - u = 0 for u.
0
Let g = 1 + 3. Let r(h) = h - 4. Let l be r(7). Solve 5*p - l*p = g for p.
2
Let r be (2 - -1 - 2) + -1. Let n = 12 - 10. Solve f - n - 1 = r for f.
3
Let t(k) = -4*k - 8. Let s be t(-4). Solve -s*b = -3*b + 20 for b.
-4
Let b(n) = n**2 - 5*n - 1. Suppose 0 = -4*k + 9*k - 30. Let x be b(k). Suppose i = x*i - 80. Solve -6*y - i = -y for y.
-4
Suppose -4*i - 4*z = -9*i + 22, -2*i = 2*z - 16. Let f(b) = -b**2 + 5*b + 3. Let q be f(i). Let s be -1 + (q - -2 - -2). Solve s = -k + 3 + 2 for k.
5
Let z(r) = r**2 - 6*r - 4. Let j be z(4). Let a = 8 - j. Solve -4*s + a = -0*s for s.
5
Let h be 0/(3 - 4/2). Let p = 0 - h. Solve 0*o - 3*o - 9 = p for o.
-3
Let c(h) = -2*h - 2*h + 2*h**2 + 7*h - 3*h**2. Let d be c(2). Solve -1 = d*r + 3 for r.
-2
Let h be ((-12)/(-4))/((-1)/(-1)). Suppose 0 = -w + h*l, -5*l - 48 = w - 8. Let i = 31 + w. Solve -5*y + i = -9 for y.
5
Let y(t) = 2*t**2 + t + 1. Let v be y(-1). Solve -2 = n - v*n for n.
2
Suppose 3*v = -0*m + 3*m + 6, -m - 3*v + 18 = 0. Let t be ((-4)/m)/(8/(-12)). Suppose 0 = -o - t*c + 2, c - 2 = -5*o + 8. Solve -o*s - s = 0 for s.
0
Let n(b) = b**3 + 9*b**2 + 10*b + 8. Let l be n(-6). Suppose -5*h + 4 = -l. Let c(d) = d**2 + d + 13. Let f be c(0). Solve -f = 5*t + h for t.
-5
Let p(a) = -6*a**2 + 12*a**3 - 11*a**3 - 4*a**2 + a - 5. Let i be p(10). Solve -i*m = -0*m - 5 for m.
1
Let b be (-118)/12 - (-3)/(-18). Let h = -6 - b. Suppose 5*w - 7 = r, 4*w - 4*r + 0 = -4. Solve w*n - n = h for n.
4
Let h(k) = -6*k - 4. Let l be h(-3). Let m = -12 + l. Solve -g + 7 - m = 0 for g.
5
Let j(d) = -d**2 + 8*d - 3. Let l be j(5). Suppose s = -2*b - 0*s + 13, -2*b = -4*s + 12. Suppose 10*m = 1570 - 1570. Solve c - b*c - l = m for c.
-4
Let r be (-43)/(-5) - (-6)/15. Let h = -4 + r. Solve 0 = h*y + 2 + 13 for y.
-3
Let u(m) = -27*m - 3. Let r be u(-1). Suppose -2*z + 6*z - r = 0. Solve -3*p + 6*p = z for p.
2
Let p(i) = 4*i - 1. Let h = 0 - 0. Suppose -4*n + 1 - 13 = 0, h = 4*o + n - 1. Let d be p(o). Solve -s = -0*s - d for s.
3
Let m(p) = 6*p**2 - p. Let i be m(1). Suppose 3 = -0*g + g. Solve -i*z = 8 - g for z.
-1
Let k be (-20)/(-6) + 4/6. Solve -4*z + 5*z = -k for z.
-4
Suppose 12 + 4 = -m. Let p = m + 28. Solve p = 3*y - 0*y for y.
4
Suppose 4*x + 0*x - 24 = 0. Suppose -t - t - 3*k = x, 4*k + 8 = -t. Solve -m + t = -1 for m.
1
Let p(b) = -b**2 - 4*b + 1. Let z be p(-3). Let y be 5 + 0 + 9/((-63)/14). Solve -y*o + z = 1 for o.
1
Let m(q) = q**2 - 10*q. Suppose 2*c - 8 = 12. Let r be m(c). Suppose r = -0*j + 2*j. Solve -3*p + 0*p - 6 = j for p.
-2
Suppose 5 = -0*x + 5*x. Let n = 8 + -8. Suppose n = b - 3*b + 10. Solve b*v - 26 + x = 0 for v.
5
Let s(b) = b**2 - 3 + 12*b + 4 - 12*b. Let n be s(2). Let u(m) = -m**2 + 6*m - 3. Let o be u(n). Solve -3 - o = -q for q.
5
Let j(v) be the first derivative of -3 - v + 1/3*v**3 - 3/2*v**2. Let o be j(4). Solve -o = -n - 0 for n.
3
Suppose 2 + 6 = -2*q. Let k be q/(-10) - 12/30. Solve n + 2*n = k for n.
0
Suppose 2*k - 5*s - 16 = 0, 5*k - 3*s + 7*s = 7. Solve 0 = -k*w - 3 - 6 for w.
-3
Let x(r) = -r**2 + 2*r - 1. Let v be x(1). Suppose w = -v*w. Solve w*o = 3*o - 6 for o.
2
Suppose 3*k + k + 13 = -h, 5*h + 3*k = -14. Let a = 4 - h. Solve -3*l + 6 = -a*l for l.
-3
Let r(b) = -b**3 - 2*b**2 - 2*b. Let q be r(-2). Solve -q*s + 8 + 4 = 0 for s.
3
Let a be (-48)/(-72) - 20/(-6). Solve 2*y - a = 4*y for y.
-2
Suppose 0 = y + 3*x - 7, -2*y + 2*x = -4*y + 34. Let o be y/10 + 4/(-20). Solve 3 + o = g for g.
5
Suppose 4*i - 2 - 10 = 0. Let q be (1 + 0)/(1/2). Solve a = -q*a + i for a.
1
Let i = 0 - 0. Suppose 3*l = -3*f + 1 + 11, 0 = 2*f + l - 6. Solve -f*h + 4*h = i for h.
0
Suppose 2*g = -3*z + 19, 0*z = -3*z + 3*g + 9. Let j be (z - 3)*(-1 + 3). Suppose 0 = j*t + t - 15. Solve 0 = 6*i - t*i + 6 for i.
-2
Let n be (-17)/(-4) + (-6)/24. Suppose -n*s - 21 = -s. Let v be (-8)/(-28) + (-5)/s. Solve -k + 2 = v for k.
1
Suppose 2*q + 2*q = -v + 14, 4*v = 2*q + 2. Solve v = -3*p - 4 for p.
-2
Let m(d) = -4*d. Let t be m(-5). Let f = 488 - 484. Solve -t = -l - f*l for l.
4
Suppose 12*i - 13*i + 4 = 0. Solve r - 15 = i*r for r.
-5
Let n be (-6)/12 + 0 + (-62)/(-4). Solve n = -4*a - a for a.
-3
Suppose -16 = 3*d + 4*o, 4*d + 4*o + 15 = -1. Let b be (-2)/(6/27*-3). Suppose 12 = 5*w - b. Solve d*m - w*m = 6 for m.
-2
Let t = 6 + 4. Solve 0*v + t = 2*v for v.
5
Suppose 7*u - 5 = 6*u. Solve -6*v = -v + u for v.
-1
Let n(h) = h - 7. Let m be n(7). Let s = 1 - -2. Let r = s - m. Solve 0 = r*o + 3 for o.
-1
Let l be (0 + 1)*(-6 - -1). Let p = 2 + l. Let q be (p/6)/((-2)/4). Solve q = -3*s - 8 for s.
-3
Let w(r) = -r**3 - 3*r**2 + 3*r. Let u be w(-4). Solve -2*x + u = -x for x.
4
Suppose -5*n + 8 + 2 = 0. Let v(c) = -c**3 - 6*c**2 + 7*c + 2. Let x be v(-7). Suppose r = -5*p + 41, -p + x - 5 = 3*r. Solve d