Suppose 0*k + q = u*k. Solve -k*s = -s for s.
0
Let l be 2/(-6)*75/5*-1. Solve -5 = l*a - 0 for a.
-1
Let w = -13 + 18. Solve 0 = -w*c - 4 - 21 for c.
-5
Let d be -8 + 5 - (-2 + -1). Solve d*y - 2*y - 10 = 0 for y.
-5
Let c(z) = 4 + z**3 + 0*z**3 - 4*z - 4*z**2 - 9. Let m be c(5). Solve m*b = -2*b - 6 for b.
-3
Suppose -2*o - 11 = -2*y - 1, -2*o - 10 = 0. Solve y = -4*c - 3 - 9 for c.
-3
Let m = -160 + 163. Solve -m*f = 2 + 1 for f.
-1
Suppose 9*c = 7*c + 6. Solve -4 = c*g + 5 for g.
-3
Let j be (-2)/5 - 252/(-30). Solve c + c = j for c.
4
Suppose -16 = -4*w - 2*l, 0 = -3*w + 2*w + l - 2. Solve a = -a + w for a.
1
Let c = -12 - -14. Solve 0 = -c*t - t for t.
0
Let s be ((-15)/(-9))/(6/54). Solve 4*w - s = w for w.
5
Let c be (6/(-8))/((-1)/4). Suppose -o - 2*o - 5*u = -22, 5*o - 42 = -c*u. Suppose -3*x = -6*x + o. Solve x = 2*a + a for a.
1
Suppose -5*l + 16 = -0*l + 3*i, -13 = -5*l - 4*i. Suppose l*g - g - 36 = 0. Solve -4*z + g*z = 10 for z.
2
Let t(f) be the third derivative of -f**6/120 - f**5/20 + f**4/4 + f**3 - f**2. Let w be t(-4). Let s be (-5)/(-30) - w/(-12). Solve s*p + 4 = -2*p for p.
-2
Let c be 4/(-18) + 50/(-18). Let r be 0 + (c + 3 - -2). Suppose -10 = -3*p - r*p. Solve p*b - 7*b = -10 for b.
2
Let r = 0 - 0. Suppose 0 = -2*p - 0*p + 4. Let i = p - r. Solve i*t + 2 + 0 = 0 for t.
-1
Suppose 0*h + 5*h + 5*u - 10 = 0, -5*u = 5. Let v = 6 - 4. Suppose -v*j + 17 = 3*r, -4*r = 3*j - 4*j - 19. Solve -r*q - 2 = h for q.
-1
Suppose 0 = 2*a - 6*a - 20. Suppose 9*y + 12 = 5*y. Let n = y - a. Solve 2*v = -n*v for v.
0
Let v be (6/9)/(4/6). Suppose -30*g = -31*g + 1. Solve -v = 2*c + g for c.
-1
Let x(v) = -v**2 - 7*v - 1. Let t be x(-5). Suppose 10 = -4*z - 14. Let g = z - -8. Solve -1 + t = g*m for m.
4
Let n(r) = r**3 + 6*r**2 - 8*r - 4. Let y be n(-7). Suppose 0 = 3*w - y*x + 7*x - 20, 3*w + x = 14. Solve w*p + 3 = -1 for p.
-1
Let j(g) = g**2 + 2*g - 3. Let q = 11 + -14. Let a be j(q). Solve a = -2*n - 0*n - 2 for n.
-1
Let o = 7 - -10. Let u(a) be the second derivative of -a**5/20 - 5*a**4/12 - 5*a**3/6 + a**2/2 - 3*a. Let j be u(-4). Solve -j*h - o + 2 = 0 for h.
-3
Suppose 0 = -5*m + 2*m + 6. Suppose -3*f = -8*f + 20. Let a be 8/1 - f/m. Solve -a*t = -t - 20 for t.
4
Suppose -2*n = -5*n - 5*j + 4, 3*j = -4*n + 9. Solve -3*g + n + 6 = 0 for g.
3
Let p be 16/6 - 5/(-15). Suppose -p*d = -2 - 7. Solve 13 = d*z + 4 for z.
3
Suppose y + 0*y = 5*i + 13, 3*i = -4*y + 121. Suppose -k = 8 - y. Solve 3*g - k = -2*g for g.
4
Let u = -56 - -61. Solve -5 = u*r + 20 for r.
-5
Suppose 2*r - c = 12, -r + 4*c + 11 = c. Suppose -4 = -2*t - 0*t. Suppose l - 3*l = -t. Solve 19 + l = r*p for p.
4
Let j be -9*(-4 - -2)/6. Let s be 1/5 + 27/15. Solve -s*y = -11 + j for y.
4
Suppose 2*b - 20 = -2*q - 3*b, 0 = 3*q + 3*b - 21. Let i(a) = -a**2 - 6*a + 2. Let m be i(-5). Solve m = -q*c - 3 for c.
-2
Let r = -6 + 10. Solve -d - r + 5 = 0 for d.
1
Let d = -1 - -2. Suppose f = 2 + d. Suppose -2*w - f*p = -16 + 3, 9 = 3*w + p. Solve 0 + 4 = -w*t for t.
-2
Let o be 0 + (-2)/((-6)/9). Let c(u) be the second derivative of -u**5/20 + 7*u**4/12 + 7*u**3/6 + 4*u**2 - u. Let n be c(8). Solve 3*z + n = o for z.
1
Suppose -3*u - 5*y - 15 = 0, -2*u + 0*u - 2*y - 6 = 0. Solve -2*m + u = 6 for m.
-3
Let f be 16/(22/(-33)*-3*1). Solve 12*n + 16 = f*n for n.
-4
Let c(i) = -4*i + 36. Let l be c(9). Solve l = 2*k + 1 - 5 for k.
2
Let c = -13 + 9. Let p be c/(-1) - 2 - -1. Let f(s) = s**3 + 6*s**2 + 2*s - 6. Let g be f(-5). Solve -p - g = 4*z for z.
-3
Let h(s) be the third derivative of s**4/6 - s**3/2 - 5*s**2. Let p be h(2). Solve a = -0*a + p for a.
5
Let p be (((-4)/(-6))/(-1))/((-42)/63). Solve d = -0 + p for d.
1
Let c be (2 - 4 - -1) + 4. Solve -8 = -c*g + 4 for g.
4
Let y(m) = m**3 - 7*m**2 - 7*m - 3. Let v be y(8). Solve v*t = -4 - 11 for t.
-3
Let f(j) = -j**2 + 11*j - 6. Let y be f(10). Solve 0 = -0*p + p + y for p.
-4
Let q be (-10)/35 - 88/(-14). Let h = 6 - q. Suppose 4*z + z = h. Solve z = 4*f - 10 - 6 for f.
4
Suppose 0 = -2*x + 3*x - 16. Solve 0 = 3*w + w - x for w.
4
Let p(t) be the second derivative of t**3 - t**2 + 7*t. Let k be p(3). Solve -k = -5*j + j for j.
4
Suppose 5*f + 8 = 38. Suppose -2*y - 4 = -f*y. Solve -3*i + 4 - y = 0 for i.
1
Let k be (-4 - -5)/(1/7). Solve -4 = -k*x + 3*x for x.
1
Let f = 17 - 10. Let i = 12 - f. Suppose -15 + 40 = i*x. Solve x*y = y for y.
0
Let t = 38 - 24. Suppose -p + 4*p - 18 = -3*y, p - t = -3*y. Suppose 3*u - u + q = 4, -8 = y*u - 2*q. Solve u*z = -z for z.
0
Let k(j) = j**3 - 16*j**2. Let q be k(16). Suppose 20 = 4*y - 4*i, -2*y + y + 4*i + 20 = q. Solve -3*p = -y*p - 6 for p.
2
Let z(g) = g**3 - 2*g + 2. Let o be z(2). Let q be 2/6 + 140/21. Suppose 0 = -q*i + 2*i. Solve 0*t + 3*t + o = i for t.
-2
Let l(c) be the third derivative of -5*c**4/24 - c**3 + 3*c**2. Let x(j) = 3*j + 4. Let z(q) = -5*l(q) - 8*x(q). Let r be z(6). Solve -26 = r*i - 10 for i.
-4
Let p = 18 + -17. Solve -5*x - 14 = p for x.
-3
Let t = -15 - -20. Suppose g = -2*i - i + 6, t*g - 6 = -3*i. Solve k - 3*k - 6 = g for k.
-3
Let x be 1*(0/(-1) - 0). Suppose 7*o - 3*o = x. Suppose -2*l + l = o. Solve l*s - s + 1 = 0 for s.
1
Let j be (2 - (-9)/(-3)) + 1. Suppose -3*b + 5*b - 3*k = 23, 0 = 5*b - 2*k - 30. Solve j*p = b*p - 16 for p.
4
Suppose -w = -2, -w = o + 2*w - 6. Let x be 0/((-6 - o)/3). Suppose 2*s + 2 - 4 = -3*t, -4*t + 5*s - 5 = x. Solve -h - 4*h + 15 = t for h.
3
Let y = -4 - -5. Suppose 5*m = 9 + y. Suppose 25 = 3*h - m. Solve 0 = 6*u - 3*u + h for u.
-3
Let j(n) = -7*n**3 + n**2 + n. Let o(t) = 8*t**3 - 2*t. Let z(f) = 7*j(f) + 6*o(f). Let b be z(6). Solve 1 = x + b for x.
-5
Let b(v) = -v**3 + 6*v**2 - v + 6. Let x be b(6). Let w = 3 - 1. Solve x*j - 2 = -w*j for j.
1
Let o be -2 + 2/(8/20). Solve -3 = -3*l + o for l.
2
Let h(m) = -5*m - 3. Let w be h(-1). Solve 9 = r + w*r for r.
3
Let o(b) = -b**2 + 2*b. Let j be o(2). Solve 8*x - 9*x = j for x.
0
Suppose -2*v - g + 8 = 3*g, -5*v - 10 = 4*g. Let y(k) = k**2. Let n be y(v). Let l be 64/n + 2/9. Solve 0 = 2*o + l*o - 12 for o.
3
Suppose -10 = -2*r + 2*b - 3*b, 0 = 4*r - 3*b - 10. Suppose -r*l + 6 = -3*t, 0 = 2*t - 3*l - l + 8. Solve 2*a - 4 = -t for a.
1
Let a = -3 + 46. Suppose c = -3, -a = -5*f + c - 0*c. Suppose 0 = 5*u - 2*q - 45, 0 = 2*u - 3*q - 26 + f. Solve u = z - 4*z for z.
-3
Let j = 60 + -56. Solve s = -j + 3 for s.
-1
Suppose -6*k = 31 - 109. Solve -1 + k = -3*s for s.
-4
Suppose -4 = -2*o + 3*g, 0*o = 2*o + g - 4. Solve -2*s + o = -4 for s.
3
Suppose -1 = -c, 3*b + 0*c - 7 = 2*c. Solve 0 = -b*a - 0*a for a.
0
Let h = 0 + 2. Let c be (3/6)/((-3)/(-18) - 0). Solve c*x = -h*x + 20 for x.
4
Let i(x) = -6*x**3 - 1. Let j be i(-1). Suppose 4*o = 2*h + 12, j*o - 42 - 3 = -5*h. Let p be (18 + (2 - 4))/(4/6). Solve 0 = -o*d - 4 + p for d.
4
Let s(j) = -3*j. Let f be s(-1). Suppose 5 = 5*k - 3*u, 3*u = -7*k + f*k + 31. Let i = -23 + 33. Solve q - i = -k*q for q.
2
Let y(m) = -8*m - 6. Let f be y(-6). Let s = f - 23. Solve -s + 4 = 5*v for v.
-3
Let h = 4 + -3. Let n be 2 - (-1)/h - -2. Let r = 7 + 1. Solve -r = -n*v + 7 for v.
3
Let z = -1 + 0. Let m = 13 + -16. Let a be 6 - z*3/m. Solve -a*j + 12 = 2 for j.
2
Let d be (-2)/10 + 6/5. Solve -d = j + 3 for j.
-4
Suppose 15 - 5 = 2*o. Let f be (6/15)/(2/10). Solve -f*c = -o*c for c.
0
Suppose -3*d + 5*v + 39 = -91, 170 = 4*d - 5*v. Suppose -4*t = 5*x - 1 - d, -2*x = -2*t + 16. Solve -w + 4*w - t = 0 for w.
3
Let v = 4 - 3. Solve -p + 3 + v = 0 for p.
4
Suppose -2*w = -6*w + 16. Suppose w*n - 6 = -q - q, -3*n = q - 5. Solve -n*m = -m for m.
0
Let j be (-2)/10 + (-390)/(-75). Solve -m - j = -1 for m.
-4
Suppose -1 = -29*y + 28*y. Solve -2*j + 3 + y = 0 for j.
2
Let p be 8*(-4)/(-8)*1. Suppose -4*s + 20 = 0, -k + 5*k - 152 = -4*s. Let t = k - 18. Solve -n + t = -p*n for n.
-5
Let n = -1 - -7. Let k(q) = 4*q + 3. Let v be k(n). Let l be -2*(0 - v/3). Solve -3*x = 3 - l for x.
5
Let w(n) = n - 7. Let g be w(7). Solve 0 = -g*p + 5*p + 5 for p.
-1
Let h(u) = u - 5. Let l be h(5). Suppose 0 = -2*o + 3*m + 84 + 18, o = -4*m + 29. Suppose 3*d = 6*d - o. Solve 5*z + l*z = d for z.
3
Let i be -3*2*3/(-6). Solve -i*o - 20 = o for o.
-5
Let q(l) = -l**2 + 6*l + 4. Let f be q(6). Suppose -b = -f, 5*j = -b - 2*b + 42. Suppose -26 + 11 = -5*h. Solve 