Solve 0 = -2*j + i - 6 for j.
5
Let u(a) = -1 + 3*a - 3*a - 3*a. Let y be u(1). Let p = -2 - y. Solve j - p = -5 for j.
-3
Suppose 14 - 6 = 4*s. Suppose -7 = -g + 3*f, 0*f = -s*g - f + 14. Solve 0 = -2*l + g*l + 15 for l.
-3
Let k(r) = -r**2 - 3*r + 30. Let g be k(-7). Solve -g*t = 2*t + 8 for t.
-2
Let h be ((-6)/3)/2 + 24. Let q = h + -14. Suppose -q = a - 4, 4 = 3*v + a. Solve 0 = -z - v*z + 8 for z.
2
Let s(y) = -y - 2. Let t(d) = 2*d + 4. Let q(b) = -5*s(b) - 3*t(b). Let z be q(-6). Suppose -v - 3*p + 3 = v, -2*p = -z*v - 2. Solve v = 4*u - 5*u - 4 for u.
-4
Suppose 2*d = 4*u - 10, -d = -2*u - 2*d + 7. Suppose -u = -3*l + 18. Solve -5*k - 3 = l for k.
-2
Let q = -10 - -16. Solve -v + 2 - q = 0 for v.
-4
Let q(i) = 3*i**2 - 2*i - 3. Let l be q(-3). Let w be ((-2)/(-3))/(20/l). Solve 0 = 4*s - 19 - w for s.
5
Let d be (36/20)/3*(-3 + 8). Solve d*x = -0*x for x.
0
Suppose -2*h - x + 2 = -0*h, -3*h = x - 3. Let b(s) = 3*s + 1 + 0*s**2 + s**2 - 5*s. Let l be b(h). Solve l*c = c for c.
0
Suppose 0 = -t - 4*l - 9, -2*l + 0*l - 6 = 0. Solve -z = -t*z for z.
0
Suppose -5*r + 35 = 5*w, 2*r - 31 = -5*w - r. Solve 0 = 2*v - 3 - w for v.
4
Let v be 125/5*3/5. Suppose 0 = -4*a - 4, -3*t + v = 2*t - 5*a. Let x be (t + 0)/((-2)/(-8)). Solve -2*n + x = -0 for n.
4
Let q = -49 + 59. Solve 0*z - 2*z = -q for z.
5
Let h(d) = -d - 2. Let m be h(2). Let z = 3 + m. Let x be (2 - 0)*z + 4. Solve 0 = 5*p + 13 + x for p.
-3
Suppose -2*d = -4*d. Suppose d = 2*i + i. Let f(a) = -a**3 - 2*a**2 + 2*a. Let u be f(-3). Solve u*j + j = i for j.
0
Suppose -2*a - 1 = -3*a + 4*h, 3*a - h - 14 = 0. Solve a*i = -3 - 2 for i.
-1
Let d = -6 - -1. Let k(i) = i**3 + 6*i**2 + 4*i - 1. Let c be k(d). Solve -14 = -2*n - c for n.
5
Let o = 27 + -22. Suppose 9*r - 12 = o*r. Solve 2*l - r*l = 0 for l.
0
Suppose 0 = 5*m + 4*b - 7 - 37, -5*b = 3*m - 29. Solve -3*w + w + m = 0 for w.
4
Suppose -4*o - 4*m + 15 = 3, 0 = 5*o + 4*m - 13. Suppose 2*l - 2 - 32 = 0. Solve 4*k - o = -l for k.
-4
Let i(z) = -z + 1. Let h be i(-3). Suppose -h*r + 0*o + 11 = 3*o, 2*o + 16 = 2*r. Solve -3*n = -r*n - 2 for n.
-1
Let o(j) = j - 5. Let n be o(13). Solve 5*g - 9*g + n = 0 for g.
2
Let y = -7 + 11. Solve -7 + y = -a for a.
3
Suppose 2*n + 0 = -4*i + 2, n - 5*i + 6 = 0. Let u be (-10)/6 - (-6)/(-18). Let c be (-5 - n)/(1 + u). Solve -c + 10 = 2*s for s.
3
Suppose 4*f = -0*f, 5*v = -2*f + 5. Let t be 7 + (-2 + 1)/v. Let g be ((-24)/9)/(2/(-3)). Solve t + 2 = g*r for r.
2
Let l = -187 + 194. Suppose 3*n - 3*m - 8 = m, -5*m = -n + 10. Solve n = -2*c + 3 - l for c.
-2
Suppose -10 - 2 = 3*g - 4*n, 4*g = n - 16. Let k be (-3)/g - (-90)/8. Suppose -k = -5*u + 3. Solve -j + 8 = -u*j for j.
-4
Suppose -c = -5*m - 5, -5*c - 14 - 15 = 2*m. Let w be 4/(-2) + c/(-1). Let d(n) = -4*n. Let j be d(-7). Solve -5*x - j = -w for x.
-5
Let f = -34 - -37. Solve -5 = -f*j + 7 for j.
4
Let b be (4 - -9)*(-2 + 1). Let q = 15 + b. Solve -3 = y + q*y for y.
-1
Let a(y) be the third derivative of y**5/30 - 3*y**4/8 - y**3/6 + 4*y**2. Let o be a(5). Solve -g = -2 + o for g.
-2
Let r(h) be the first derivative of h**3/3 + h**2/2 + 2*h + 2. Let d be r(0). Let f = 41 - 38. Solve f*c = 4*c - d for c.
2
Suppose m + 40 = 6*m. Suppose -16 - m = -4*x. Let d be (2/x)/((-2)/(-12)). Solve -g = d*g - 15 for g.
5
Let w be 12 - 1 - 2/2. Let u(o) = -19*o - 247. Let m be u(-13). Solve m = -2*t + 4*t - w for t.
5
Let i be (-8)/(-2)*3/4. Suppose i*s = s + 14. Solve -s + 32 = 5*z for z.
5
Let j(u) = -3*u - 2. Let o be j(-2). Suppose -t - 2*t + 6 = 0. Suppose 5*q = 3*v + 119, 0*q + t*q + 5*v - 60 = 0. Solve o*x - 5 + q = 0 for x.
-5
Let w(q) = q + 0*q + 2*q + q**2 - q + 4. Let r be w(-4). Solve 0 = 2*x + 2*x + r for x.
-3
Suppose 0 = -0*a + 4*a. Suppose -15 + a = -3*w. Solve 0*u = w*u + 15 for u.
-3
Let a(w) = -w + 9. Let k be a(6). Solve -k*s = 2*s for s.
0
Let v(k) = 6*k + 0*k + 0*k - 3*k - 1. Let b be v(1). Solve 0 = -2*q - b*q - 20 for q.
-5
Suppose -3*p = -3*k + 9, k = -3*k + 2*p + 10. Suppose -j - k*j = 0. Suppose 5*f - 5 = -4*g + 3, -3*g - f = -6. Solve w + g*w + 9 = j for w.
-3
Let a(o) = o**2 - 6*o - 4. Let n be a(7). Let r(i) = i - 5. Let g be (-2)/((-4)/(-2))*-8. Let l be r(g). Solve -n*s + 0*s = l for s.
-1
Suppose -x + 0*x + 5 = 0. Solve -5*f = 10 + x for f.
-3
Suppose -6 = -0*j + j. Let k be 80/(-6)*j/5. Suppose 0 = -4*y + 21 - 5. Solve -y*d + 4 = -k for d.
5
Let l = -18 + 4. Let z = l + 16. Solve z*d + 4 + 6 = 0 for d.
-5
Let c = -25 - -27. Solve c*r - 4 = -2 for r.
1
Let r(h) = 0 - 7*h + 0 + 3*h. Let o be r(-1). Solve o*x + 2 = -6 for x.
-2
Let m = 6 + -4. Suppose -3 = -m*d + 1. Suppose -5 - 4 = -3*b. Solve -b*o = -4 - d for o.
2
Let i = -193 + 198. Solve 2*v - 9 + i = 0 for v.
2
Suppose -3*g + 17 = 5*k, -4*k = 2 - 6. Solve -g*i = i - 25 for i.
5
Suppose 0 = -5*j - 3*x - 3 + 6, 4*j - 2*x = 20. Solve -l + j = 1 for l.
2
Let q be (-6)/33 - 6/(-33). Let y be (1 + q)/((-4)/(-8)). Let k = 14 - 11. Solve -k*t = y*t - 20 for t.
4
Let n be 22/(-11) + (1 - -5). Solve n - 9 = -h for h.
5
Let q be 0/(1 + -2)*1. Suppose -5*x + 4 + 16 = q, 2*s + 16 = 4*x. Solve s = 3*j - j + 6 for j.
-3
Let k(p) = p**2 + 2*p - 1. Let a be k(-2). Let y(x) = -2*x. Let b be y(a). Suppose -4*c = -2*m + 4, c + 0 + 2 = m. Solve m*i = -b*i + 8 for i.
2
Let r = 123 - 119. Solve 0 = 6*q - r*q - 8 for q.
4
Let b = 41 + -25. Let o = b - 12. Solve u = -3*u + o for u.
1
Suppose -3*g + 7 = -8. Let z = g + -3. Solve z*u - 4 = -0*u for u.
2
Let b = 2 - 4. Let h(w) = -w**3 - w**2 - 2*w - 3. Let y be h(b). Suppose 45 = y*d + g, 2*d - 4*g - 40 = -0*g. Solve -i = -3*i + d for i.
5
Let y be 1/(-2)*4*-5. Let f = y - 0. Solve 4 - f = 2*w for w.
-3
Let s(j) be the first derivative of j**4/4 - 10*j**3/3 + 4*j**2 + 12*j + 1. Let r be s(9). Solve 0 = -r*d + d for d.
0
Let q be 11/3 - 3/(-9). Suppose -5*x + q*w - 18 = 0, -14 = 4*x - 0*x - 3*w. Let p be (x - 1 - -2)*-6. Solve t = p*t - 20 for t.
4
Let u(y) = y - 3. Let m be u(3). Let i = -6 - -13. Let c = 10 - i. Solve m = 5*a - c*a + 8 for a.
-4
Let t be (-26)/(-3) + 2/6. Solve -2*q + t = q for q.
3
Let i(y) = 6*y + 5. Let r(c) = 3*c + 3. Let q(u) = 4*i(u) - 7*r(u). Let v(a) = a**3 + 6*a**2 + 4*a - 4. Let k be v(-5). Let b be q(k). Solve -f - b = -0 for f.
-2
Let t(b) = b**3 - 2*b**2 - 7. Let m be t(4). Solve 2*j = -3*j - m for j.
-5
Let g be (0 + (-2)/3)*-3. Let z(s) = s + 2. Let w be z(-2). Suppose w = -3*n + h + 52, -n + h + 22 - 2 = 0. Solve -2*o - n = g*o for o.
-4
Suppose 3*p = -3, g = -5*p + 1 - 2. Solve 0 = -0*y - g*y - 8 for y.
-2
Suppose 0*v = v - 3. Solve 0 = 3*z - 6 + v for z.
1
Suppose 11 + 25 = 12*s. Solve s*d - 5 = -8 for d.
-1
Let j = 9 - 3. Let n(u) = u**2 + 6*u + 13. Let r be n(-6). Let g = -9 + r. Solve g*l + j = -6 for l.
-3
Let r = -11 - -11. Solve -3*a + a - 10 = r for a.
-5
Suppose -5*c - 3*v - 5 = -5*v, 0 = 3*c + 4*v - 23. Let d be 7/(1/(c + 0)). Let s(o) = o**2 + 18*o - 35. Let a be s(-20). Solve a*w + d = 27 for w.
4
Let l(k) = -29*k + 182. Let n be l(6). Suppose 0 = w - 16 - 4. Suppose -2*h + 5*m + 49 = 10, w = -4*m. Solve 3*f - h*f = n for f.
-2
Let a(i) = 7*i**2 - 9*i + 4. Let h be a(3). Suppose -14 = 2*t + 2*n, 4*t + 5*n = -42 + 10. Let j be h/3*t/(-2). Solve -3*m - j = 2*m for m.
-4
Suppose 3*j - 4 = -u, 3*j - u = j + 6. Solve -6 + j = -a for a.
4
Let f(h) = 2*h - 18. Let k be f(19). Solve 6*i = i + k for i.
4
Let x = -23 - -25. Solve -3*t = -x*t for t.
0
Let p(j) = -j**2 - 10*j + 2. Let a be p(-10). Let z = 5 + 1. Suppose -l - o + 7 = o, 2*o = -z. Solve -5*d + a = -l for d.
3
Suppose 4*r - 12*r + 24 = 0. Solve -r*t = -t - 4 for t.
2
Suppose -3*t = -6*t. Solve 8 = -2*o - t for o.
-4
Let x be -9 + 12 + 2 + 0. Let l be 0 + x - (1 + 1). Solve -3*y + 0*y = -l for y.
1
Let d(h) be the third derivative of 0*h**4 + 0*h + 0 + 1/12*h**6 + 1/60*h**5 - 3*h**2 + 0*h**3. Let y be d(1). Solve -3*q - 1 - y = 0 for q.
-4
Suppose -4*r - 4 = -4*v, -2*r - 2*v = 3*v - 33. Suppose r = a - 2. Solve -a = -4*z + 2 for z.
2
Let t(v) = v**2 - 3*v + 5. Let i be t(5). Suppose -50*j = -35*j. Solve j*n - i = -5*n for n.
3
Let l(d) = 2 - d - 5 - 2. Let o be l(-5). Suppose -z + 2 = -s - s, 0 = -3*z + 4*s + 6. Solve z*i = -o*i + 2 for i.
1
Suppose 0 = -x - 1 - 0. Let m = 3 + x. Let h be (7 - (m - 0)) + -2. Solve 0*y = h*y + 12 for y.
-4
Let 