g be ((-20)/15)/((-4)/6). Solve g*n = n - 1 for n.
-1
Let p = -14 + 12. Let m be 76/13 + p/(-13). Solve -3*a + m = -a for a.
3
Let b = 6 - 0. Let v = 8 - b. Suppose v*k - 3*w - 11 = 0, -3*w = k + w. Solve -k*h = h - 20 for h.
4
Let h(z) = z + 4. Let c be h(-4). Suppose c = -2*g + 6*g - 32. Solve 6*d - 2*d = -g for d.
-2
Let i = 1 + -3. Let f be -1*(-4 + i) - 3. Suppose -3*c = 0, 0 = f*s + s + 5*c - 12. Solve -2*u = s*u - 25 for u.
5
Let p(u) = -u - 1. Suppose -2*f + 5 + 1 = 0. Let o be p(f). Let w = 5 + o. Solve 5*m + w = 6 for m.
1
Suppose -10 + 18 = 4*b. Solve 2*q = -b*q for q.
0
Suppose 0*m + 4*m + 2*m = 0. Solve g + 1 = -m for g.
-1
Let w(s) = 2*s - 1. Let h be w(2). Let v be (h + -7)*(0 - 1). Solve v*r - 4 - 4 = 0 for r.
2
Let b(g) = -2*g - 7. Let w be b(-6). Let y(i) = -i**3 - 3*i**2 + 17. Let s be y(-4). Suppose -4*v - s = -3*a, v = w*a + 4 - 76. Solve 5*x + 0 = -a for x.
-3
Let y = -12 + 17. Let u be 3 + 0 + -2 + y. Solve -3*i = -i + u for i.
-3
Let a = 6 + -4. Let n be (18/(-15))/(a/(-5)). Solve -j = -0 - n for j.
3
Suppose -37*o + 33*o + 4 = 0. Solve -2*w - 5 = o for w.
-3
Let k(x) = -x**2 + 7*x + 11. Let s be k(10). Let o = -14 - s. Solve -o = 3*u - 17 for u.
4
Suppose 15 = -u - 5*t, -5*u - t + 2*t + 29 = 0. Suppose 4*o + 5*s - 10 = 14, o - u*s = -19. Solve 0 = m + o for m.
-1
Let t(h) = -h**2 - 5*h - 4. Let u be (-6)/(-9)*18/(-4). Let j be t(u). Solve -f = -j*f for f.
0
Let l(z) = -3*z + 5. Let j be l(0). Solve 3*k + 2*k = j for k.
1
Let i be (4/2 + -1)*5. Suppose -2*g = 2*x - 16, g + 36 = 5*g + i*x. Solve -g*o + 6 = -o for o.
2
Let b(o) = -o**3 + 16*o**2 - 14*o - 11. Let i be b(15). Solve i = -2*m + 4*m for m.
2
Suppose -8*p + 6 = -2*p. Solve 2*a + 9 = -p for a.
-5
Let n = 2 - 4. Let r be -1*19/2*n. Suppose 4*y - r = 3*p + 6, 5*y - 2*p = 40. Solve -2*u + 7*u = y for u.
2
Suppose 5*f - 3*m = 8, -3*m = 5*f - 0*f - 2. Let s(i) = i - 2. Let o = -4 - -6. Let u be s(o). Solve 3*b - f + 10 = u for b.
-3
Suppose 3*a = 5*n + a - 25, -29 = -3*n + 4*a. Solve -n = -2*c - 5 for c.
-1
Let d be 7 + (-4 - 4 - -5). Solve -d*n + 17 + 3 = 0 for n.
5
Suppose -3 = -2*s + 1. Let l(w) = -5*w - 10. Let k be l(-7). Suppose s*c - k = -3*c. Solve c*x = 2*x - 15 for x.
-5
Let l be 2/1 - (-2)/(-1). Suppose l = -p + 4*p. Solve p = 4*d + d for d.
0
Let j = -6 - -8. Let g be 33/6 - 1/j. Suppose 3*c = g*c - 4. Solve c*s + 5 = -1 for s.
-3
Let z = 61 - 51. Solve -6*x = -x - z for x.
2
Let a be 10/(-40) - (-20)/16. Solve 1 = -o - a for o.
-2
Let i be 2*(-4)/16*0. Solve g + g = i for g.
0
Let o(z) = z**2 - 8*z - 6. Let b be o(9). Let p(q) = q**3 - 3*q**2 + 4*q - 4. Let v be p(b). Solve 0 = -4*w - 0*w + v for w.
2
Let v be (-3)/(1 + -1 + -4 + 3). Solve 3 + 3 = v*r for r.
2
Let z(j) = j**2 - 7*j. Let k be z(8). Let a = -7 + k. Solve -t + a = 2 for t.
-1
Suppose 0 = -g + 5*h - 9, 2 = 4*g - h - 0*h. Solve -4*f - g = 11 for f.
-3
Suppose -2*r = 5*n - 7, 1 + 7 = 4*r + 4*n. Solve -r - 1 = -t for t.
2
Let u be (3/(-2))/((-21)/28). Solve -4*t = -u*t + 10 for t.
-5
Let f(v) = v. Let n be f(-1). Let u(i) = i**2 + 1. Let q(p) = 2*p**3 + 6*p**2 + p + 4. Let j(g) = -q(g) + 4*u(g). Let a be j(n). Solve 0 = 5*y - a + 6 for y.
-1
Suppose 0 = -h - h + 6. Solve 0 = -2*w + 3*w + h for w.
-3
Let u = -5 + 9. Solve -u*x + 12 = 28 for x.
-4
Suppose -14*b = -11*b - 33. Solve 4*q + b + 5 = 0 for q.
-4
Suppose -12*b = -20*b + 48. Let t = -20 - -30. Solve b*h + t = h for h.
-2
Let i be (1/1)/((-4)/(-8)). Let t be (-1 + -1)/i - -6. Solve -t*a + 3 = -17 for a.
4
Let j = -35 + 55. Suppose 0 = -5*k + 10 + j. Let f = k - 2. Solve -f*c + 1 = -3 for c.
1
Let i(r) = 0*r + r + r + 8 - 3*r. Let q be i(-7). Suppose -3 = c - 9. Solve -3*y - q = -c*y for y.
5
Suppose 0 = -8*l + 9 - 9. Solve l = 3*d + 2*d - 10 for d.
2
Suppose 2*y + 3 = 7. Solve -y*w = w + 3 for w.
-1
Let c(u) = -u - 2. Let o be c(-2). Solve -7*n + 2*n = o for n.
0
Let i = 2 - 0. Let u = i - 2. Solve 0 = -u*r - r - 2 for r.
-2
Let n be (-51)/(-34)*16/6. Solve -16 = n*j - 8*j for j.
4
Let v be (-1 - -1)/2 + 5. Solve 1 = v*o + 16 for o.
-3
Let h(w) = 3*w - 17 - 5 + 7 + 0*w. Let r be h(6). Solve -k = r*k for k.
0
Let b = -96 - -99. Solve -1 - 5 = b*u for u.
-2
Let r = -3 - -5. Let m be (2/4)/(r/8). Suppose 10 = 2*i + 5*u, m = -5*u - 8. Solve -4*g + 2 = i for g.
-2
Let w be (1 + -2)*0/1. Let u be (w + (-2)/(-4))*0. Solve u = 3*n - 15 - 0 for n.
5
Let z be -3 + 0/(-1) - -5. Solve 8 = -z*c - 2 for c.
-5
Suppose 91 = 7*z - 56. Solve z = 3*a + 15 for a.
2
Let g(w) = w**2 - 8*w - 7. Let x be g(9). Solve 3*m = m + x for m.
1
Let x(t) = -t**2 - 12*t - 11. Let k be x(-11). Suppose -s + 7 = -18. Solve -5*n - s = -k*n for n.
-5
Let b = 13 - 8. Suppose 0 = -3*y - 4*r + 16, -b*y + 8 + 8 = 4*r. Suppose -2*f + f + 2 = y. Solve h = -h + f for h.
1
Let m(u) = -u**3 + 11*u**2 - 11*u + 23. Let a be m(10). Solve -4*v + 3 + a = 0 for v.
4
Let h(s) = s**2 - 3*s + 4. Let y = 8 + -5. Let w be h(y). Solve 3*i - w = 7*i for i.
-1
Let n(o) = o**2 - 2*o - 6. Let q be n(5). Suppose 3 = 5*u - 4*u. Solve -q = 2*m - u for m.
-3
Let y(p) = p + 5. Let k be y(-4). Let x(h) = -8*h - 4. Let c be x(-2). Let j = -7 + c. Solve -14 = j*z + k for z.
-3
Let p(m) = -11*m - 20. Let c be p(-2). Solve -5*d - c = 3 for d.
-1
Suppose y + 4 = 3*y. Suppose -3*d + d = -12. Suppose -d*z + 3 = -5*z. Solve -z = y*o - o for o.
-3
Suppose -3 = -p - 1. Suppose 6 = -p*c + 4*c. Solve 8*s - c*s = 0 for s.
0
Let s be 2/(-4)*20/(-2). Let p(q) = -5*q + 6. Let r(d) = -d. Let k(c) = p(c) - 6*r(c). Let j be k(5). Solve -j + 6 = s*v for v.
-1
Let r(i) = -i**3 - 4*i**2 - 2*i - 5. Let n be r(-4). Suppose -n*l = -0*l - 30. Let z = l - 7. Solve -t = -1 + z for t.
-2
Suppose 1 = 3*b - 35. Solve 0 = -4*n - b + 4 for n.
-2
Suppose -9 = -5*p + 1. Let g(m) = -3*m. Let q(u) = -u**2 + 7*u - 1. Let r be q(7). Let x be g(r). Solve -x = s - p for s.
-1
Suppose -5*n = -t - 35, -34 = -3*n + 3*t - 13. Solve -4 = n*z - 3*z for z.
-1
Suppose -8*d + 3*d = 55. Let y = 26 + d. Solve 2*n = 5*n + y for n.
-5
Let s = 8 + -20. Let w be 21/9 - 8/s. Solve 0 = o + 2*o - w for o.
1
Let c = -7 + 11. Suppose -7 = 5*s - 2*s - c*w, w - 4 = 0. Let q(u) = u**2 - 3*u + 4. Let a be q(4). Solve 0 = s*n - a*n for n.
0
Suppose 2*t - 6 = -0*t. Solve 7 = -2*j - t for j.
-5
Suppose 5*o + 3*v = 30, 4*v - 25 = -6*o + o. Suppose 0*m - 2*z + 6 = 4*m, m = 3*z - o. Solve -5*n - 2 - 3 = m for n.
-1
Let p be (3/(-4))/(2/(-8)). Let m be (3/9)/(p/27). Solve -8*c + 10 = -m*c for c.
2
Suppose -3*h + 2 = 4*p, h - 4 + 1 = p. Solve 0*u = -u - h for u.
-2
Let f(y) = 11*y + 7. Let n(r) = -6*r - 4. Let s(d) = -3*f(d) - 5*n(d). Let k be s(-1). Solve 5*a = k*a + 6 for a.
2
Suppose 1 = 2*v - 7. Suppose -m + 4*m + 18 = 2*f, 3*f = v*m + 25. Let x be (18/(-15))/((-4)/10). Solve -x*i + f = -3 for i.
2
Let v(j) be the first derivative of 3*j**4/2 + j**3/3 - j - 2. Let a be v(1). Suppose 0 = 5*u - 4*t - 22, -3*u + 5 = -2*t - 7. Solve -a + u = 4*b for b.
-1
Let j = 2 + -2. Suppose l - 4*l - 24 = -u, j = 3*u + 5*l - 30. Let y = u + -9. Solve 0 = -3*w - 0 + y for w.
2
Let v be (3 - (-14)/2)/1. Suppose 2*c + 2 = 2*r, -3*r + 9 = 5*c - v. Suppose -5*l + d + 13 = 0, -2*d - 7 = -2*l + 3. Solve -c*b = -2 - l for b.
2
Let k(l) = 3*l - 18. Let y be k(8). Solve -11*s = -y*s for s.
0
Let g(r) = r + 22. Let y(x) = 2. Let h(o) = -2*g(o) + 22*y(o). Let q be h(-3). Solve 4*c = q*c - 2 for c.
1
Let x = -3 + 4. Suppose k - 5 = -p, -3*p + k = 4 + x. Solve t - 4 + 1 = p for t.
3
Suppose 5 = 4*b + b. Let z be 0*((-4)/2 + b). Suppose u + 0 - 7 = z. Solve 2*h - 3 = -u for h.
-2
Let t(v) = -v**2 + 8*v - 3. Let r be t(7). Let w be (10/r)/(2/4). Let f(x) = -x + 15. Let m be f(12). Solve w*q + m = 23 for q.
4
Suppose 0 = -3*j + 5*q + 22, 3*q - 9 - 5 = -5*j. Solve 13 = -j*u + 1 for u.
-3
Let l be (-6)/(-4)*(-30)/(-9). Suppose l*m - 2*g - 17 = 26, -3*m - g = -17. Let t be (-3 + 5)*(-9)/(-6). Solve m*c = t*c - 16 for c.
-4
Let q be -18 + 4/(-6)*3. Let w be ((-6)/(-5))/((-6)/q). Suppose 0 = -5*h, h + h - w = -j. Solve j*a - 3*a = -1 for a.
-1
Let a(r) = 4*r**2 + 2*r + 1. Let c = -10 + 9. Let i be a(c). Solve -2 - 1 = -i*b for b.
1
Let x = 14 - 6. Suppose -j - x = 2*v, j - 4*v - 16 = 5*j. Solve 4*i + i - 15 = j for i.
3
Let b = -19 - -23. Solve b*r + r - 5 = 0 for r.
1
Let t = 7 - 13. Let a = -6 - t. Solve 