Let v be (-180)/8*4/5. Let x be (16/(-14))/(v/63). Solve -x = g + g for g.
-2
Let m = 9 - 6. Suppose -2*u = 2*u. Suppose 0*x - x + 6 = 0. Solve u = -m*l + l - x for l.
-3
Suppose -4*q + 3*j - 5 = -5*q, -5*q + 41 = -j. Suppose 0 = -p - 3*p + 12. Suppose t + 0*t - 2*i - q = 0, -p*i = 6. Solve 0*w - t*w = -4 for w.
1
Let y be (-10)/4*(-28)/5. Let h = y + -10. Solve -2*i + h + 6 = 0 for i.
5
Suppose -10 + 14 = 2*u. Suppose -12 = -5*a + u*a. Let m(r) = -4*r - 1. Let n be m(-1). Solve n*t = -8 - a for t.
-4
Let z = 8 + -6. Suppose -10 = -3*w - z*w. Solve f + w - 5 = 0 for f.
3
Let x = -40 - -40. Solve x = 3*t - 0 - 6 for t.
2
Let l(g) = 3*g. Let s(p) = 1. Let y(x) = -l(x) - 4*s(x). Suppose 3*n + 17 = -4*d, -n + 4*d - 8*d = 11. Let z be y(n). Solve -q + 2*q = z for q.
5
Let t be (2/(-2))/(2/26). Let u = 12 - t. Solve -5*r = -0*r - u for r.
5
Let s be 0 + 7 + (0 - -3). Suppose -4*g + 2*g + 8 = 4*z, -5*g - s = 0. Solve 0 = z*p - 7 + 1 for p.
2
Let q(j) = -j**2 - 6*j + 9. Let i(d) = -d. Let t be i(7). Let l be q(t). Suppose 0 + 12 = l*b. Solve -5*w - 3 = -b*w for w.
3
Suppose -3*i + 0*i + 27 = 0. Solve 4*c - 1 = -i for c.
-2
Let t(i) = -2*i**2 - i**3 + 5*i + 4*i**2 + 4 + 2*i**2. Let u be t(5). Solve d = u*d + 15 for d.
-5
Suppose 5*s = -3*m + 57, 3*m + 4*s - 108 = -2*m. Solve 0 = 5*w + 9 - m for w.
3
Let r be 6/(-8) - (-3)/(-12). Let t be r/(6/4)*-3. Suppose -10 = -t*u - 3*u. Solve 3*s - 4 = u*s for s.
4
Let b be 336/40 + (-2)/5. Solve -3*r = -b - 1 for r.
3
Let d be 4/((-6)/(-3)) - 12. Let p be d*1/2 - -1. Let l be (-3 - p)*1 - -2. Solve 0*q = l*q - 6 for q.
2
Let n = -37 - -55. Suppose -4*y - n = -7*y. Suppose o + y = 3*o. Solve 1 = q + o for q.
-2
Suppose -3*j + 4*j - 2 = 0. Let r = 13 + 3. Let f(d) = d - 4. Let w be f(6). Solve j*x = -w*x + r for x.
4
Let b be 2/2 + -1 + 0. Suppose -4*m + 6 = 2*x, -m + 4*m - 2 = -4*x. Solve 0 = -b*g + m*g + 2 for g.
-1
Let n = -6 - -8. Let z be 6 - (1 - 3 - -3). Solve n*i = i + z for i.
5
Suppose 0 = 3*b - 6 - 3. Solve 0 = -4*r + r - b for r.
-1
Let k = 1 - -4. Suppose 0 = -0*p - k*p + 70. Let o be 52/p + (-8)/(-28). Solve -5*r - o + 14 = 0 for r.
2
Suppose 3 = g + 10. Let p = 10 + g. Solve 0 = 2*v + p*v + 20 for v.
-4
Suppose -5 = 4*a - 1. Let p be -1 + (a - 3*-1). Let q be 2/(-4)*(p - 1). Solve q = -c + 4 + 1 for c.
5
Suppose -x - 4 + 8 = 0. Suppose -36 = -5*r - u, 2*r + u - x*u = 28. Solve r - 3 = l for l.
5
Let d(c) be the first derivative of c**3/3 + c**2/2 + 3*c + 1. Let x be d(-3). Solve 3*g = -0*g - x for g.
-3
Suppose -r = -5*d + 2*r + 6, 4*d - 8 = 4*r. Let p = 3 - -14. Suppose -3*a + p = 3*y + 2, -5*a + 10 = 0. Solve y*j + 7 + 2 = d for j.
-3
Let w = 4 + -6. Let p be (5 + w)/(1 - 0). Solve 4 = p*l - l for l.
2
Suppose i = 13*i. Solve z + 2*z + 9 = i for z.
-3
Suppose -5*y + 35 = 5*j, 4*j = -0*y + 3*y + 7. Solve -y = -l - 2 for l.
1
Let d = 1 - 0. Let n be ((-6)/(-2))/d*1. Solve 0 = h + 1 - n for h.
2
Suppose 2*o + 13 = 4*n + 3*o, n - 17 = -3*o. Suppose 8*v - 5*v = n*r + 3, 0 = -5*r + 15. Let f be 8*(v + -1)/4. Solve 0 = -f*l + l - 6 for l.
-2
Suppose -4*f + 26 - 6 = 0. Suppose 21 - 6 = f*y, -w + 14 = 4*y. Solve 0 - w = -m for m.
2
Let k = 7 - 4. Suppose -s + 3*i + 3 = 9, -2*i = -3*s + k. Solve -s*b - 15 = -8*b for b.
3
Let h be (0 - (1 - -1)) + 2. Suppose h = -0*t + 2*t - 16. Solve t*v = 3*v - 25 for v.
-5
Let s = -199 + 199. Solve s*m - 1 = m for m.
-1
Suppose -a = 3*t + 6, -8 = a + 5*t + 2. Solve a*z - 4 = -z for z.
4
Suppose -4*v + 24 = -4*s, 29 = -4*v - 4*s + 69. Solve 3*g + v - 2 = 0 for g.
-2
Suppose -3*g - 4 - 11 = 0. Let z(j) = -2*j + 4*j - 1 - 3*j. Let c be z(g). Solve -d + 7 = c for d.
3
Let j(s) = -s**2 - 7*s + 3. Let a be j(-7). Let x(q) = a - 3*q + 2*q - 3 - 2. Let w be x(-7). Solve 0 = w*g - 0 - 20 for g.
4
Let t be (-3)/(10/4 - 3). Solve -t + 16 = -5*y for y.
-2
Let w = -2 + 12. Let n = -6 + w. Let h(s) = 2*s - 4. Let u be h(n). Solve -u = -l - 0*l for l.
4
Let a = 1 - 1. Let g be (3*-4)/(a - 2). Solve 4*p - p = g for p.
2
Let m(w) = -w**2 + 8*w + 3. Let q be m(8). Solve -1 = 2*g - q for g.
1
Let h = 0 + 3. Suppose 2*l + 5 = -5*u, -l - 25 = -6*l. Let s = u + 5. Solve s*t = -h*t - 25 for t.
-5
Let n = 9 - 1. Let i = 15 - n. Solve 5*d - 8 - i = 0 for d.
3
Let g = 47 - 44. Solve -g*v + 6 + 0 = 0 for v.
2
Let z = -10 + 10. Let j = z + 2. Solve -4*q - 22 = -j for q.
-5
Let d be -2 - ((-2)/(-2) - 2). Let k = d - -1. Let x be ((-2)/(-4) - 1)*0. Solve u + k*u = x for u.
0
Let f = 2 - -1. Suppose 0 = -4*k + k + 5*n - 4, 5*n = 4*k + 2. Solve -k*x - f*x = -20 for x.
4
Let x be 0 + (-4)/(-2) + 1. Suppose -4 = -m - 0. Solve -x = m*s + 1 for s.
-1
Let j = 13 + -9. Solve -h - j = -1 for h.
-3
Suppose 5*y - 50 = -3*h - 2*h, 0 = 4*y - 8. Suppose u - 37 = 5*i - h, 4 = -4*u - 4*i. Solve -u*l + 1 = -19 for l.
5
Let o be (0 + 29)*-2 + 1. Let y = o - -111. Suppose -u - 34 = -4*v + 23, -y = -3*v + 3*u. Solve v = 3*p - 2 for p.
5
Let t = 22 - 22. Solve q + 0 + 5 = t for q.
-5
Let j be (-11)/(-3) - 3/(-9). Solve 15 = x + j*x for x.
3
Let n(m) = -2*m + 1. Let q be (-2 + 4)*1*-1. Let i be n(q). Let o = 8 - i. Solve 5 = -2*a - o*a for a.
-1
Let a(i) = i. Let f be a(2). Let c be (-12)/3*(-1)/f. Solve c*o = o for o.
0
Let r be 5 - (-1)/(4/(-12)). Solve -3*u + r*u - 1 = 0 for u.
-1
Suppose -s = -4*s - i + 257, 2*i - 346 = -4*s. Suppose 4*v - s = v. Let r be 2/((4/6)/1). Solve 5*m + v - r = 0 for m.
-5
Let v = -50 - -53. Solve 7*x - v*x = -16 for x.
-4
Let p be 3 - ((2 - 5) + 9). Let c = p + 3. Let q = 11 - 8. Solve 6 = -c*n + q*n for n.
2
Let y = -44 + 46. Solve -y + 22 = -5*a for a.
-4
Let f = 14 - 8. Let h be ((-20)/(-6))/(f/9). Let d be 1*(-2 - -4)/1. Solve -4*q + d = -h*q for q.
-2
Suppose 8*j = 10*j. Solve j*c + 8 = 4*c for c.
2
Let z(c) = c**3 + 6*c**2 + 2*c + 3. Let s(h) = h**2 + h + 1. Let x(i) = -3*s(i) + z(i). Suppose 3 = m + 6. Let o be x(m). Solve o*n + 2*n = 0 for n.
0
Let p(n) = -n**3 + 11*n**2 - 7*n - 14. Let c be p(10). Let t be -6 - (4 + 2*-1). Let r = t + 11. Solve -o = r*o + c for o.
-4
Let d(j) = j**2 + 2*j - 4. Let o be d(-5). Let v = o - 9. Solve v - 4 = -k for k.
2
Suppose -7*w + 6*w = -5. Solve -w*p = -4*p + 5 for p.
-5
Let k = -103 - -107. Solve -2*u + 0 = -k for u.
2
Let k be -2*9/2 - -2. Let u(p) = p**3 + 6*p**2 - 7*p + 5. Let c be u(k). Solve y - c = -4 for y.
1
Let m be (9/(-4))/((-1)/4). Suppose -3*g = 2*w - 2 - m, g - 9 = 2*w. Suppose -g*r = -25 - 15. Solve 0 = 2*c - 0*c - r for c.
4
Suppose -3*z = -0*z - 75. Suppose 0*r - 5*r = -25. Suppose 5*x = 3*x. Solve x = r*a + z for a.
-5
Suppose -2*w = 9 - 3. Let p be (-1)/(((-3)/w)/(-3)). Let h be ((-4)/p)/((-2)/3). Solve 8 = 6*o - h*o for o.
2
Suppose 4*j = j + 12. Suppose y + 40 = j*z - 4*y, -2*z + 2*y + 18 = 0. Let b = 30 + -18. Solve -8 = z*l + b for l.
-4
Let o = 19 - 27. Let w = o - -13. Solve -w*z - 9 = 6 for z.
-3
Let c = -5 - -3. Let k be (0/(-2))/(c/2). Solve a + 5 + k = 0 for a.
-5
Let h be ((-10)/(-15))/(1/6). Let a be 3/h*(2 + 2). Solve 4*t - a*t - 1 = 0 for t.
1
Suppose -3*x + 0 - 6 = 0. Let j be 4/(-2)*x/1. Suppose j*c - 14 = -5*n + 1, 0 = -3*n - 3. Solve c*a = 2*a - 3 for a.
-1
Let k = -45 - -60. Solve a - 4*a + k = 0 for a.
5
Let r be (-3)/12 + 9/4. Let c be ((-36)/15)/(r/(-10)). Suppose 0 = l + 3*l - c. Solve -l*z = z for z.
0
Suppose -103 + 87 = -4*d. Solve i = -d*i - 5 for i.
-1
Let r = 3 + -2. Let s be 0*1*(0 + 1). Let i be s + r - (3 + -4). Solve i = 3*z + 11 for z.
-3
Let i(g) = 5*g - 16. Let w be i(5). Solve m - w = -2*m for m.
3
Let p(l) = l**3 - 9*l**2 + 2*l - 12. Let n be p(9). Solve 4*k + n - 2 = 0 for k.
-1
Let p(x) = x**3 + 6*x**2 + 2. Let t be p(-6). Let i = -2 - -4. Solve t = i*g - 0*g for g.
1
Suppose k + k + 4 = 0. Let n be (k/(-3))/((-2)/(-39)). Solve -2 = -5*r + n for r.
3
Let i(v) = 3*v - 34. Let u be i(12). Solve -2*c + 16 = u*c for c.
4
Suppose 2*n = 4*k - 26, -4*k - 2*n + n = -17. Suppose 2*t - 3*t = -24. Suppose -d + k*d = t. Solve -2*q = d + 2 for q.
-4
Suppose 5*r = -2*j + 7, 4*j + 13 = -r - 0*r. Solve h - 2 + r = 0 for h.
-1
Let w be (-30)/4*40/(-12). Let t(a) be the first derivative of a**4/4 - 2*a**3 + a**2 - 7*a - 2. Let d be t(6). Solve 0 + w = -d*l for l.
-5
Suppose 20 = -3*d + 26. Solve d*j + 1 + 3 = 0 for j.
-2
Let t be ((-1)/(-1))/((-2)/(-6) - 0). Solve -t*d = -d for d.
0
Let m = 3 + 7. Let t