 c = -y*k for k.
3
Let r = 15 - 10. Suppose -j + r*c - 1 = 0, 1 - 16 = -5*j + 5*c. Solve -2 = j*d - 3*d for d.
-2
Suppose 90*y - 89*y - 41 = 0. Suppose -4*m = -3*g - 87, m + 29 = -g - 2*m. Let v = y + g. Solve -j = 3*j - v for j.
3
Let r = -36 - -41. Suppose 4*l + 12 - 60 = -3*x, -r*l + 5*x = -95. Solve 0 = -3*b + l for b.
5
Let s = 21 + -19. Suppose s = 6*j - 40. Suppose 0 = 5*h - 13 + 3. Solve j = -g + h for g.
-5
Suppose 0 = 6*i - 32 + 14. Solve i*x - 2*x = -5 for x.
-5
Let w = 5 + -12. Let l be 2/w + (-254)/(-7). Let r be 10/3*l/30. Solve 9*c + 20 = r*c for c.
-4
Let d(q) = q**2 + 6*q - 7. Let p be d(-7). Let t(g) = g**2 + g + 1. Let s be t(p). Suppose 0 = -w + 2*h - s, 2*h - 10 = -3*h. Solve 0 = w*r + r - 4 for r.
1
Let t(u) = 49*u - 2. Let p be t(-1). Let b = -46 - p. Solve -b*g = 6 + 19 for g.
-5
Let g = -4 - -20. Suppose -m + 4*h = -0*m + 14, -2*m = -5*h + g. Solve m*z + 25 = -3*z for z.
-5
Suppose 3*q + 7*i = q + 5, -q + i + 16 = 0. Solve -50 = -3*u + q*u for u.
-5
Let a = -111 + 117. Suppose -4*k + 6 = -2*h, -7*h + a*h - 3 = -3*k. Solve -o = -k - 2 for o.
2
Suppose 5*n - 2 = 4*j - 12, 3*j + 8 = -4*n. Let k be n/4*0/(-6). Solve 1 = h - k*h for h.
1
Suppose -5*y + 5 = -4*y. Suppose -5*k = 3*i - i - 6, 5*i = -y*k. Solve -k*r - 2*r = -20 for r.
5
Let r(i) = 4*i - 3. Let j be r(0). Let u be -2*(j + 15/6) - 1. Solve u = -0*m - 3*m - 15 for m.
-5
Suppose 7*t + 2*t = -4*t. Suppose 0*r - 5*r + 115 = 0. Suppose 4*h - r = 1. Solve t*v + h = -2*v for v.
-3
Let s be ((-40)/15)/(-2) - (-2)/3. Suppose -4*x - 12 = s*o, x = 2*x + 5. Solve -w - o = w for w.
-2
Let x = 1 + 1. Let d(h) = h**3 - h**2 - 2*h - 4. Let l(w) = 2*w**3 - 2*w**2 - 3*w - 7. Let y(f) = 5*d(f) - 3*l(f). Let b be y(1). Solve b*z = x*z for z.
0
Let q = 2 - 162. Let b = 55 + q. Let n be (-270)/b*(-28)/(-6). Solve 4*o - 4 = n for o.
4
Suppose -i + 4*b + 24 = 0, 11 + 34 = 5*i + 5*b. Suppose 0 = -38*w + 42*w - i. Solve 5*g + 6 = w*g for g.
-3
Let c(a) = 2*a**3 - 5*a**2 + 2*a + 4. Let l be c(2). Suppose 2*z - l*z + 8 = 0. Solve -z = -3*h + 4*h for h.
-4
Suppose -2*j + 3*s = 22, -3*j + 1 = -4*s + 33. Let w = -2 - j. Let v be w + 1*(1 - 2). Solve 0 = -v*l + 23 - 8 for l.
3
Suppose 2*a - 4*h - 12 = -2*h, -4*h = 3*a - 46. Let y(q) be the first derivative of -q**3/3 + 4*q**2 + 24*q + 3. Let c be y(a). Solve 18 - 6 = c*w for w.
3
Suppose -6*g - 7*g = -91. Solve 0 = g*f + 6 - 13 for f.
1
Suppose -4*q + 42 = 2. Solve 0 = -7*w + 25 + q for w.
5
Let h be 24/(-14)*(-13 + 6). Suppose -6*z + 0 = -h. Solve -f = -z*f for f.
0
Let v(p) be the second derivative of p**3/6 + 7*p**2/2 + p. Let a be (-10)/2 - (15 + -15). Let u be v(a). Solve 2*g = -u*g for g.
0
Let p = 11 - 4. Suppose -36*t = -35*t - 3. Solve h + p = t for h.
-4
Let x(d) = -d**2 - 2*d + 5. Let n be x(2). Suppose 2*k - 4 = 0, -5*c + 3*k - 1 + 0 = 0. Let z = c - n. Solve -3*h + z + 5 = 0 for h.
3
Suppose 6*t = 2*t + 32. Solve -4 = t*r - 7*r for r.
-4
Suppose 2*n = 2*o, 2*n + 12 + 3 = -3*o. Let b = 0 + 3. Let c = b + o. Solve c = -4*l + 3*l for l.
0
Let r be ((-10)/(-6))/((-45)/(-54)). Suppose r*q = 13 + 29. Suppose x + 5*i - 23 = 0, -i + 2*i = 3*x - q. Solve 3*o = 7 + x for o.
5
Let d be 4/(20/(-5)) + 11. Solve -s - 4*s = -d for s.
2
Let f be (-20)/(-6)*(-6)/(-4). Suppose f = z + 3. Suppose 60 = -0*m + 5*m. Solve 2*c = -z*c - m for c.
-3
Suppose 3*o = -o + 20. Suppose -o*s - 17 = -3*c - c, 0 = -5*c - 3*s + 49. Solve 2*z - 4*z = c for z.
-4
Let v(n) = -3*n**2 + 58*n - 9. Let q be v(19). Solve -8*s + q*s = 10 for s.
5
Let i = -12 - -16. Suppose -2*b - i = 4*c, b + 4*c - 1 + 5 = 0. Suppose 4*k = 3*d + 8, -3*k + 0*d = 3*d - 27. Solve b*g = -k*g - 10 for g.
-2
Let t(a) = -a**3 - 6*a**2 - 8*a - 10. Let q be t(-5). Let m = 6 + -11. Let u = m + q. Solve u = -3*w - 2 - 1 for w.
-1
Let k = -92 - -112. Suppose 12 = -4*t + k. Solve 0 = -t*q + 6 + 2 for q.
4
Let i(y) = y. Let p(m) = -7*m + 18. Let u(t) = 6*i(t) + p(t). Let z be u(18). Solve 5*c + 5 = -z for c.
-1
Suppose 0 = -33*t + 87 + 243. Let c(k) = -k**3 + 5*k**2 + 6*k + 5. Let x be c(6). Solve -t = -x*s - 5 for s.
1
Suppose -15 + 6 = -9*s. Solve w - s = 1 for w.
2
Suppose 209*x - 207*x - 30 = -2*t, -t - 5 = -3*x. Solve 0 = 10*r + t - 0 for r.
-1
Let h(j) = -2*j**2 - 13*j - 18. Let y be h(-4). Solve y*f = f for f.
0
Let p(f) = -2*f**3 - 11*f**2 - 5*f + 6. Let d be p(-4). Let l be 1/(1/(-34)) + 2. Let q = d - l. Solve 0*b + 5*b = -q for b.
-2
Let o = 106 + -46. Let b = -52 + o. Solve 0 = -2*u - 0*u + b for u.
4
Let p be 26 + -1 + 360/(-60). Solve 20*v = p*v + 4 for v.
4
Let w = -125 + 127. Solve 0 = 5*j - 18 - w for j.
4
Let h be 2/3 + 8/6. Suppose 3*o - 8*o + 10 = 0. Suppose -o*p + 2 = t - 6, 4*p = t + 22. Solve -h*u - p = 3*u for u.
-1
Suppose 4*r - 5*m - 37 = 0, -2*r + 2*m = -13 - 3. Solve r*b = 2*b + 1 for b.
1
Suppose -3*u - 4*h - 113 = -6*u, -3*h = 8*u - 356. Solve -u + 11 = -8*s for s.
4
Let h(t) = -t**2 + 11*t + 27. Let p be h(13). Solve 4 - p = 3*u for u.
1
Let l(w) = -3*w**2 - 44*w + 65. Let y be l(-16). Let d be 23/7 - (-6)/(-21). Solve d*q - 14 = y for q.
5
Suppose 8*f - 3*f = 5*i - 20, 0 = 3*i - 5*f - 14. Solve -i*r - 3*r = 12 for r.
-2
Let t(i) = i**2 - 3*i + 30. Let u be t(7). Let q = u + -56. Solve -q = 2*a + 2 for a.
-2
Let j(w) be the second derivative of -2*w**3/3 + 21*w**2/2 - 24*w. Let u be j(4). Solve -22 - 3 = u*z for z.
-5
Let v(p) = 4*p - 2. Let o be v(5). Suppose 4*q - 3 = c, -o = -4*q - 0*q - 2*c. Let m(l) = l + 5. Let f be m(-5). Solve b + f*b = -q for b.
-2
Suppose -4*i - 40 = -4*p, 4*p - 2*p - 48 = -5*i. Solve 17*h - p*h + 12 = 0 for h.
-4
Let y(n) = 5*n**2 - 24*n - 1. Let r be y(5). Solve -r*d = -0*d for d.
0
Suppose 3*j - 7*j + 52 = 0. Suppose -j + 5 = -4*k. Solve k*t = t + 3 for t.
3
Let f = -61 + 7. Let t = -54 - f. Solve t = -5*r - 10 - 0 for r.
-2
Suppose m - 12 = -5*p, -2*m - 18 = -6*m - 5*p. Suppose -3*q - m*q = 0. Solve q*r = 2*r - 2 for r.
1
Let y = 541 + -506. Solve 0 = m - 8*m - y for m.
-5
Let a be ((-9)/12 - -2)*4. Let u = -1210 - -1210. Solve -x = -u*x - a for x.
5
Suppose -138*h - 66 = -171*h. Solve 0 = h*o - 1 - 1 for o.
1
Suppose 3*v + n - 93 = -0*n, -2*v = 5*n - 75. Suppose 166 - v = 4*r. Suppose -26 = -4*q + r. Solve g - q = -2*g for g.
5
Let f(a) = 2*a**2 - 6*a - 17. Let n be f(6). Solve n*o = 15*o + 12 for o.
3
Suppose 38 = 4*y - 2*u, -3*y - 4*u = -u - 15. Solve -8*l - y = -6*l for l.
-4
Suppose 30*c = 22*c + 32. Suppose 0 = 3*m - d - 5, c*d = -0*m + m + 2. Solve -3*o = -m - 4 for o.
2
Suppose -6*p + 516 - 162 = 0. Suppose -p*r = -60*r + 6. Solve -3*w + 6*w + r = 0 for w.
-2
Let a be (-1)/2*(-2 - (0 + -2)). Let w be ((-8)/(-10))/(5/75). Let t = 14 - w. Solve a = t*b - b for b.
0
Suppose -p - k - 3 = -7, 4*p + 4 = k. Solve p*s = 4*s for s.
0
Suppose 27 = -2*o - 3*f + 19, -2*f = -2*o + 12. Suppose 2*m + 0*m = 0. Solve -o*u + 1 + 7 = m for u.
4
Let z(o) = 145*o**3 - 14*o + 14. Let y be z(1). Solve y*s = 140*s - 15 for s.
-3
Let c be (3/3)/((-2)/(-62)). Solve 2*f = -21 + c for f.
5
Let v be 8/(-60) - 376/(-120). Solve v*k = k for k.
0
Let f be 32/64 - (-43)/2. Let z = 6 - 0. Let n = -5 - -5. Solve 4*g - f + z = n for g.
4
Let h(v) = -5*v**3 - v**2 + v - 1. Let t(a) = -11*a**3 - 3*a**2 + 2*a - 2. Let n(s) = 7*h(s) - 3*t(s). Let j be n(-1). Solve 0*p + j*p = 0 for p.
0
Let k be 1605/225 + (-2)/15. Solve 0*l - k*l = 0 for l.
0
Suppose 2*b + 12 = -2*m, -2*b = -3*m + 1 + 1. Let y be 6/9 + b/(-3). Solve t = -y + 3 for t.
1
Suppose 0 = -h - 3*d + 26, -3 = -4*d + 5. Suppose -20*y - 18 = -18. Solve y = 2*n + 2*n - h for n.
5
Let q(b) = -5*b + 24. Let p be q(4). Solve -8*k + 8 = -p*k for k.
2
Let m = 880 - 880. Solve -156*n + 154*n - 8 = m for n.
-4
Suppose 242*p = 230*p. Solve p = 3*k + 14 + 1 for k.
-5
Let d(r) = -2*r + 34. Let j be d(15). Solve -b - 10 = j*b for b.
-2
Suppose 4*d = -4*n - 84, 0 = 5*n + d + 2*d + 111. Let p = 29 + n. Solve -r - p = -0*r for r.
-5
Suppose -q + 3 + 0 = 0. Suppose q*o = 2*o + 44. Suppose 2*v + 12 = o. Solve -2*g - v = -6*g for g.
4
Let r(q) = q**3 + 19*q**2 - 65*q + 22. Let m be r(-22). Solve m = -z - 14 + 10 for z.
-4
Suppose -5*x + 54 = 154. Let s = 40 + x. Suppose 24 = 4*a - 2*q, -2*a + 0*a + 5*q = -s. Solve -3*w + a*w + 2 = 0 for w.
-1
Suppose -9*p - 31 = -2*a - 14*p, -4*a - p = -17. Let s be (-4)/(8/(-6)) - 1. Let g = s - 2