Let a be i(-1). Let n = a - -12. Solve z + z - n = w for z.
3
Let b = -35 + 35. Solve -2*q - 8 + b = 0 for q.
-4
Suppose 34 = -4*a - 22. Let y be 76/14 - (-6)/a. Suppose -u + m + 11 = 0, -y*m + 13 = 3*u - 3*m. Solve 0 = 2*v + u - 1 for v.
-3
Let b = 15 + -13. Solve 0*f + 8 = b*f for f.
4
Suppose 2*y + 20 = 2*g + 7*y, 5*g - 116 = 4*y. Suppose 4*z - g = -0*z. Solve -z - 7 = -3*i for i.
4
Let z(p) = p - 3. Let u be z(11). Solve 4*l - 4 = u*l for l.
-1
Let p(x) = -12*x - 13*x**2 - x + 3 + 10*x**3 - 5 - 11*x**3. Let f be p(-12). Solve t = -4*t + f for t.
2
Let u be -3 - -2 - (-2 - -1). Solve 1 = c - u for c.
1
Let m(u) = 2*u**2 - 4*u. Let d be m(3). Let w = -335 - -339. Suppose 0 = -0*i - 4*i + 40. Solve -w*o = -i - d for o.
4
Let k(q) = 2*q**2 - q - 1. Let m = -4 + 6. Let z be k(m). Solve -z*u + 25 = -0*u for u.
5
Let x(k) = -k - 7. Let g be x(-6). Let h = g + -4. Let i be 2/h - 2/(-5). Solve 0 = 2*l - i - 6 for l.
3
Let p be 0*(0 + 0 - -1). Solve p = -3*g + g - 4 for g.
-2
Let w(x) be the second derivative of -7*x**3/6 - x**2 + 4*x. Let y be w(-3). Solve -5*r - y - 1 = 0 for r.
-4
Suppose z + 17 = -5*h - 14, -2*h = -3*z - 8. Let x(c) = c + 11. Let n be x(z). Suppose n*o + v - 4 = 8, 4*v = -o - 9. Solve 0 = -o*m + 5*m + 6 for m.
-3
Let d be (2/6)/(11/99). Suppose -r - 3*f + 22 = -7*f, -r - 3*f + 1 = 0. Solve d*q = -1 + r for q.
3
Suppose 3*z = -b - 13, 5*z - z - 3*b = 0. Let t = z + 7. Solve t*o - 14 - 6 = 0 for o.
5
Let b(v) = 2*v**2. Let q be b(1). Let h = q - 0. Solve 0*f + h*f = 0 for f.
0
Suppose 0 = 7*p - 2*p - 25. Let f(m) = 6*m - 4. Suppose 3*h = -3 + 15. Let r be f(h). Solve -i + p*i - r = 0 for i.
5
Let y = 4 - 4. Suppose 0*r = -4*r + 5*m, y = 4*m. Solve r = -o + 6*o + 20 for o.
-4
Let w(k) = -k**2 + 9*k - 2. Let a be w(8). Let i = a + -4. Solve -5*y = 3 + i for y.
-1
Let u(q) = q**3 - 7*q**2 - q + 10. Let k be u(7). Suppose -k*z + 4*c = 2*c - 23, 26 = 3*z - 5*c. Solve 5*w - 2 = -z for w.
-1
Let o = -5 + 8. Suppose -2*g - 3*j + 14 = 0, j + 9 = 5*g - 9. Solve -c = o*c - g for c.
1
Let k(h) = -h**2 - 9*h + 2. Let a be k(-9). Solve -5*n - a = 13 for n.
-3
Let q be (19/38*(1 + -1))/(-2). Solve 0 = -d - 1 - q for d.
-1
Let g(v) = -8*v - 18. Let h(f) = 23*f + 53. Let d(z) = 17*g(z) + 6*h(z). Let b be d(-6). Solve b = -0*r + 3*r - 12 for r.
4
Suppose -49*a - 12 = -55*a. Solve o = -a + 4 for o.
2
Suppose g + b = -3*g + 9, 4*b - 10 = -3*g. Let h be 531/27 + 2/6. Solve -g*o + 7*o - h = 0 for o.
4
Let x(k) = -k**3 + k**2 + k - 1. Let o(i) = -i**3 + 6*i**2 - 4*i - 7. Let m(w) = -o(w) + 2*x(w). Let b be m(-5). Solve 3*u + b*u - 12 = 0 for u.
4
Let m be 0 + 3 + 1 + 0. Suppose 5*i - 6 = t - 0*t, -5*t = -5*i - 10. Solve i*x + 0*x = m for x.
2
Suppose -t + 20 = 2*c - 6*t, 4*c + 2*t - 16 = 0. Solve -c*i + 12 = 2 for i.
2
Let o = 115 + -115. Solve -2*r = -10 - o for r.
5
Let o be -3 + (7 - (-16)/(-4)). Solve o = -3*j - 3 + 9 for j.
2
Let g be ((-8)/(-4) - -2)/2. Solve 0 = -2*v - g*v - 8 for v.
-2
Let l = -5 + 15. Solve 0 = -5*i + l + 10 for i.
4
Let a be 15/10*4/3. Let l be 60/3*(a + -1). Solve -2*o - l = 3*o for o.
-4
Let h be 2/3 + 10/3. Suppose o + 8 = 5. Let t be (1 + o - 2)/(-2). Solve -2*n = h + t for n.
-3
Suppose -j = 4*j. Let x be (1 - 1)/(-1 + 2). Suppose x = -4*q + q. Solve -3*k + j + 9 = q for k.
3
Let b(i) = 3*i - 51. Let x be b(17). Solve x*c = 2*c for c.
0
Suppose -2 = -2*l - p, -p + 8 = 3*l + 2*l. Let w(v) = v**2 - 2*v + 1. Let x be w(2). Let s be ((-8)/x)/(4/(-6)). Solve i + l*i = -s for i.
-4
Suppose -a = 2*a - 9. Let z(k) = k**2 - 27*k + 60. Let h be z(25). Solve -a*f = -f + h for f.
-5
Let j(p) = 2*p**2 - 4*p + 4. Let i be j(3). Solve -i = -4*h - 30 for h.
-5
Let u(l) = -6*l**3 - l**2 + l + 1. Let y be u(-1). Suppose -r + 2*r = 4. Let s = y - r. Solve -s = -p - 0*p for p.
1
Suppose 19 - 7 = m. Suppose 0 = -2*f - 2*j - 8, f - 5*j - 20 = -4*f. Solve -2*v + 6*v + m = f for v.
-3
Suppose -5 = -r + j, -10 = 3*j - 1. Solve -n + r = -0 for n.
2
Let a(f) = f + 10. Suppose -20 = 4*t, 3*y = -3*t + 6*t - 12. Let d be a(y). Solve -5*b - d = -6*b for b.
1
Suppose -4*r + i + 3 = 0, -1 - 14 = 5*r - 5*i. Solve -r*t = -t - 1 for t.
1
Let m be ((-1)/2)/((-2)/40). Let v be (3/((-6)/m))/(-1). Solve -c - 16 = -v*c for c.
4
Let m = 22 + -6. Let y = m + -10. Let p = -3 + 5. Solve -l = p*l + y for l.
-2
Let z be 4*(10/4)/5. Solve h = -z*h for h.
0
Suppose 4*t = -2*v + 5*v - 13, -5*v + 5*t = -20. Let j = 10 - 10. Suppose -2*c + v + 3 = j. Solve c*g = -2*g + 25 for g.
5
Suppose 4*z + a = 100, 2*z + 8*a = 3*a + 68. Suppose 4*j - z = 5*x + 5, -2*x - 2 = 0. Solve 0 = -j*i + 2*i + 4 for i.
1
Suppose -5 = 20*n - 21*n. Solve l = n - 1 for l.
4
Let i = -39 - -40. Solve 2*k + i = -5 for k.
-3
Suppose -3*z = -1 - 29. Solve -2*j + z = 4 for j.
3
Let z(b) = 2*b. Suppose x = 2*j - j, -12 = -x - 5*j. Suppose -x*o + 5 = 3*o + 2*m, 5*m - 1 = -o. Let l be z(o). Solve s = -l*s - 15 for s.
-5
Let i(x) = -x + 2 + 7 + 4. Let j be i(10). Solve j*y = 4 - 1 for y.
1
Let s be (-6)/(-15) + (-48)/(-5). Suppose -2*i - s = -2*l, -3*l + 15 = -0*i + 3*i. Solve 3*r - 9 = -i*r for r.
3
Let h = -32 + 38. Solve -h = -4*q - 22 for q.
-4
Let p = 0 - -3. Suppose 0 = g + 3, -u - 4*u + 58 = 4*g. Let o = u - -6. Solve -p*t = t - o for t.
5
Let y = -8 - -11. Solve d + y = -1 for d.
-4
Let w be (124/(-2))/(36/(-18)). Solve 5*p = w - 6 for p.
5
Let h = 52 - 45. Solve -2 = -5*o + h*o for o.
-1
Suppose -2*m - 22 = -3*c, 0*c - m = -c + 8. Solve 0 = 3*l - c*l - 3 for l.
-1
Let g = 183 - 173. Solve 0 = -g*y + 11*y - 3 for y.
3
Let i(m) = 18*m - 8. Let f be i(-6). Let h be f/(-6) - (-8)/12. Suppose 2*c - 2 = -4*n + 14, 5*n - h = -c. Solve c = -2*d - 0*d + 4 for d.
2
Let a(b) = 18*b**2 - b + 1. Let l be a(1). Let m be ((-120)/l)/(1/(-3)). Solve -3*n + m = n for n.
5
Let n = 4 + 21. Solve -2*z + n = 3*z for z.
5
Let f(d) be the first derivative of d**4/4 + d**3 - 5*d**2/2 + d - 1. Let h be f(-4). Suppose 0 = o - h - 0. Solve o = -2*j + j for j.
-5
Let o be 3/((-5)/((-160)/6)). Suppose o = 3*b + 2*u, 4*b + u = -0*u + 13. Solve -b*k + 6 = k for k.
2
Suppose 0*z = -2*z + 40. Solve 6*j = j + z for j.
4
Let n be 1 + 0 + (-11)/11. Solve 0 = 3*b - n*b for b.
0
Let w(x) = -x**3 - x**2 - x - 1. Let t(s) = -10*s**2 + 13*s - 3. Let y(n) = -t(n) - w(n). Let l be y(-12). Solve 0 = i - 2 + l for i.
-2
Let x = -5 + 5. Suppose s - 1 = -x*s. Solve 2*h - s = -7 for h.
-3
Suppose 7 = -a + 9. Solve -2*n = 2 + a for n.
-2
Suppose 4*n - 3*j - 21 = 0, 2*n + 0*n = -2*j. Suppose 6*o - 51 = n*o. Suppose 7*c - o = 4*c + 5*q, -4*q = 2*c - 4. Solve -s = s - c for s.
2
Let j(y) = 6*y**3 + y - 2. Let c be j(1). Solve -f = -0*f + c for f.
-5
Let c = 7 + -3. Suppose -5*m = -19 + c. Solve 0 = -m*r - 1 - 2 for r.
-1
Let r = 16 + -14. Solve 5*s = r - 7 for s.
-1
Let i(m) be the first derivative of -m**4/2 - 5*m**3/3 - 3*m**2/2 - 2*m + 5. Let h be i(-3). Solve -5*u + u = -h for u.
4
Suppose -3*g + 2*g - 6 = -2*a, -2*a + 5*g = -22. Let h(l) = 3*l**3 - l**2 + l - 1. Let s be h(a). Solve -4 + s = b for b.
-2
Let m be (-15)/(-2 + (-2)/(-4)). Solve -m = -3*b + b for b.
5
Let l = 35 + -5. Suppose 4*t + 1 = -2*j - 11, -5*t = -5*j + l. Solve 0 = -j*o - o for o.
0
Let z(i) = -i**2 + 14*i - 24. Let h be z(7). Solve 0 = c + 4*c + h for c.
-5
Suppose 4*m - 3 = 5*f, -f + 7 = 3*m - 0. Let w(n) = n - 6. Let g be w(6). Suppose -4*s + f + 11 = g. Solve -s*b + 3 + 6 = 0 for b.
3
Let d = 20 - 9. Let t(l) = l**3 - 11*l**2 - l + 14. Let u be t(d). Solve -q + 10 = -u*q for q.
-5
Let p be -1*(-10 + -1) + (-3)/1. Solve 3*j - j - p = 0 for j.
4
Let t(r) be the second derivative of r**5/20 - r**4/4 + r**3/6 + 2*r**2 + 3*r. Let m be t(2). Solve s + s + m = 0 for s.
-1
Let t be (-9)/(-6)*16/6. Solve -t*m = -0 + 4 for m.
-1
Let f(q) = q**3 + 6*q**2. Let j be f(-6). Suppose -5*h - 2*a + 14 - 2 = j, 2*h - 2*a - 2 = 0. Solve -10 = 3*v + h for v.
-4
Suppose -5*a + 3*q + 58 = -q, -3*a - 4*q + 22 = 0. Solve f + f = a for f.
5
Let f(v) be the first derivative of -v**2/2 - 2*v + 2. Let r be f(-2). Suppose 2*o = -5*c - r*c + 6, -3*o + 5*c + 9 = 0. Solve -a = o*a for a.
0
Let y = 3 - 1. Solve -5 = -y*q + 5 for q.
5
Let o(n) be the first derivative of n**4/4 + 4*n**3/3 - n**2 - 3*n - 2. Let d be o(-4). Let j(q) = 2*q + 8. Let x be j(-4). Solve x = 2*t - d - 3 for t.
4
Suppose -4*h +