 5*k = k + 20. Solve -3*b + n = b for b.
1
Suppose 0 = -5*y + l + 14, -4*y - 21*l = -26*l - 28. Solve -28*c = -29*c - y for c.
-2
Suppose -3*h + 8 = a - 11, -3*a - 3 = -3*h. Let w = 3 - 1. Let m = 54 + -51. Solve h*l - w = m for l.
1
Suppose k - 4 = 3*k + 2*p, 0 = 4*k + p - 7. Solve -4*o + o + k = 0 for o.
1
Let r be (-1)/(-4) + (-5)/4. Let x be (-2 + 1)*r*3. Suppose -3*j = -5*u + 2*j + 5, -3*j - x = 2*u. Solve u = t - 0 + 3 for t.
-3
Let t be 2*(1 - 0/(-2)). Suppose t*s = 7*s - 40. Let o(x) = -x**3 + 22*x**2 - 13*x + 2. Let i be o(0). Solve 0*a + s = -i*a for a.
-4
Suppose 5*z = 29 - 19. Solve h + 0 = -z for h.
-2
Suppose -4 - 1 = -t. Let i(c) = -c**2 + 9*c - 3. Let a be i(11). Let b = 25 + a. Solve -10 = -t*m - b for m.
2
Suppose -5*z = -12 - 13. Let i(g) = 21*g**3 - 1. Let b be i(1). Solve b = -z*o + 5 for o.
-3
Let o be (-10)/3*36/30 + 3. Let i be o/((-1)/5) - (1 - -1). Solve -2*p - 25 = i*p for p.
-5
Let c = -724 + 728. Solve -g - c = -5*g for g.
1
Suppose 31*w - 33*w + 34 = 0. Solve -15*i - 10 = -w*i for i.
5
Let j(a) = a**2 - 6*a - 8. Suppose -i - 5*r = 6 + 1, -9 = 3*r. Let m be j(i). Let d = -4 + 10. Solve -4*w - m = -d*w for w.
4
Suppose 0*v - 2*i + 15 = 5*v, 4*v = 3*i + 35. Suppose -v*p - 4*w = -80, p - 4*w - 37 = -9*w. Solve u + p = -2*u for u.
-4
Suppose -3*p = -p - 3*c - 13, -2*c = 5*p - 4. Let k be -1 + p + 5 + 30. Let q be (-2)/(-4) + 306/k. Solve -34 + q = -5*j for j.
5
Suppose 0 = 5*o + 4*p + 20, -5*o = p - 3*p - 10. Solve o*l + 2*l = 8 for l.
4
Let q(a) = -175*a - 166. Let g be q(-1). Solve x - 4*x = -g for x.
3
Suppose -4*z - 321 = 91. Let b = 107 + z. Solve b*j + 4 = -16 for j.
-5
Let s be -1*(-1 + 4 + -4). Suppose 3*l - 4 = 3*i - s, -5*i = 4*l - 40. Solve -i*h + h + 6 = 0 for h.
2
Suppose -2*s + 16 = 2*z, -4*s = z - 2*s - 5. Let c(k) = k**3 - 10*k**2 - 11*k + 2. Let m be c(z). Solve 10 = 4*r + m for r.
2
Let f be 2/(-5)*(5 + 10 + -25). Solve 12*p = f*p + 40 for p.
5
Let s = -9 + 19. Suppose -9 = -5*n - 3*l + 1, 5*n - s = 3*l. Solve -n*z - 4 = 6 for z.
-5
Let u = 13 + -8. Suppose -35 = u*c - 5*m, -5*c - m - 32 = -3*m. Let n(x) = -x**3 - 5*x**2 + 7*x + 8. Let b be n(c). Solve 15 = -b*s - 3*s for s.
-3
Let k(q) = q**3 - 3*q**2 - 4*q + 4. Let y be 6*-2*3/(-9). Let j be k(y). Let z = j + -2. Solve 1 = -z*o - 3 for o.
-2
Suppose 0 = 4*c + 5*h - 32, 4*h - 7*h = -12. Solve 0 = -0*x + c*x for x.
0
Let h(o) = o**2 - 4*o - 1. Let c be h(3). Let y = c - -6. Let x(m) = 13*m**2 + 39*m + 4. Let i be x(-3). Solve -i*n = -y*n for n.
0
Suppose -2*n = 16 - 12. Let b = -20 + 36. Let o be n/(-3) + b/(-24). Solve m = -o*m for m.
0
Let t(g) = -13 - 6 - 3*g + 11. Let m be t(-8). Suppose -o + 3*c = o - 10, -3*o + 5*c + m = 0. Solve -o*r + 1 = 9 for r.
-4
Let a = -527 + 527. Solve a = -16*w + 15*w + 5 for w.
5
Suppose 0*o - o = -16. Let b(h) = h**2 + 6*h + 6. Let f be b(-4). Let k be (-3)/(-1 + 1/f). Solve k*y = 6*y + o for y.
-4
Suppose -5*t - 6*t + 55 = 0. Solve -12 = t*a + 13 for a.
-5
Let c be (9/(-54))/(1/(-6)). Suppose n = -c - 3. Let l be (-3 - -1) + n/(-2). Solve 0*q + 3*q + 12 = l for q.
-4
Suppose 0 = 2*o + m, -4*m - 30 = -2*o - 10. Suppose 3*y - 1 = 2, -y = -o*s + 1. Let b = s + 0. Solve -2*q + 5 = -b for q.
3
Let d = 100 - 97. Solve -d*s + 7*s = 16 for s.
4
Suppose -3*h - 3 + 141 = c, -2*c - h = -271. Let n = c + -126. Solve -5 + n = -o for o.
-4
Suppose -38*v + 63*v - 150 = 0. Solve 0 = 9*k - 15*k - v for k.
-1
Let w(i) = i**2 - 135*i + 527. Let n be w(4). Let y be (-8)/(-3) - 2/3. Solve y*g + 7 = -n for g.
-5
Let i be (-1 + -8)*(76/12 - 8). Solve 14*g = i*g for g.
0
Suppose -7*o + 22 = 2*g - 3*o, -5*g - 3*o = -34. Suppose 13 = 3*f - 17. Suppose -g*a - 15 = -f*a. Solve -a*w - 6 = -3 for w.
-1
Let n(g) = -g**3 + 5*g**2 - 11*g + 15. Let y be n(3). Solve -17*w + 20*w + 9 = y for w.
-3
Let c(t) = -t**2 + 13*t + 16. Let b be c(14). Let u(o) = -o**2 + 2*o. Let d be u(b). Solve p + 2 = -d for p.
-2
Let y be (-2)/(-6) + (-4)/((-12)/41). Solve -5*d - 6 - y = 0 for d.
-4
Suppose 45 = 5*d + 4*m, 2 = 2*d + m - 13. Solve 0 = d*j - 0*j for j.
0
Let a(j) = -8 + j + 0*j + 11 + 7. Let m be a(-7). Let l(w) = -2*w - 8. Let o be l(-5). Solve -o = i + m for i.
-5
Let r be (-6)/8 + 1204/112. Solve 3 = 7*x + r for x.
-1
Let x be (-4)/14 - 1628/(-259). Solve -x*a + 30 = -0*a for a.
5
Let z(q) = q**3 - 6*q**2 - 35*q + 216. Let r be z(6). Solve -5*x - 1 = -r for x.
1
Suppose 9*s = 3*s. Let g = 46 + -31. Suppose 3*r = -3*b + 63 - g, 5*b = -2*r + 20. Solve s = 5*a - 5 - r for a.
5
Suppose -20 = -2*x - 4*c, 3*x = 4*x - 4*c + 20. Suppose x = -5*r - 1 + 21. Suppose 3*a + s = -4, -2*s = -r*a - 5*s - 12. Solve 8*v - 3*v + 25 = a for v.
-5
Suppose -155*i + 157*i + 3*x - 73 = 0, -3*i = x - 99. Solve 11*w - 54 + i = 0 for w.
2
Let a be (-3)/(36/84) - -23. Solve -a = 13*f - 9*f for f.
-4
Let q(r) be the first derivative of -r**3/3 + 2*r**2 + r + 41. Let x be q(0). Solve -h = x - 3 for h.
2
Let b be (-2 + 0)/((-4)/30). Solve 0 = -r + b - 20 for r.
-5
Let w = -35 + 37. Suppose w*r - 2*a - 9 - 5 = 0, 5*r - 17 = -4*a. Solve 0*s - 10 = r*s for s.
-2
Let c(x) = x. Let a be c(5). Let k = 1072 - 1053. Solve a*l - 6 - k = 0 for l.
5
Let j be (10/15)/(1/(-12)). Let r = j + 10. Suppose r*g - 1 + 4 = -u, -u = -3*g - 12. Solve u*d = -0*d + 3 for d.
1
Suppose -3*a = -t - 45, -3*a - 135 = -7*t + 11*t. Let x = t + 40. Solve x*g + 15 = 7*g for g.
5
Let d = 2062 + -2034. Solve d*z = 3*z for z.
0
Let z(v) = -v**3 - 2*v**2 + 3*v + 4. Let g be z(-3). Suppose 0 = g*x + 3 - 11. Solve 8 = -x*p - 2*p for p.
-2
Let t = -32 - -35. Let o be (25/15)/((-3)/(-27)*t). Solve -3 = 2*r - o for r.
1
Let u = -936 - -941. Solve 18*l = 13*l + u for l.
1
Let q be -6*((-7)/(-2) + -2). Let d be 4/6*(-6 - q). Let f be (-78)/(-21) + 2/7. Solve f*z = 5*z + d for z.
-2
Let y be 10*(16/10 + -1). Suppose 0 = -5*c + 3*c + y. Suppose -p = 4, c*p = o + o - 24. Solve 12 = -o*d + 2*d for d.
-3
Let p be ((-213)/142)/(6/(-44)). Solve p*m + 2 = 9*m for m.
-1
Suppose -19*z = 55*z - 5624. Solve 3*w - z = -16*w for w.
4
Suppose 3*c - 31 = 17. Suppose 6*o + 45 + 27 = 0. Let i = c + o. Solve -12 - 4 = -i*m for m.
4
Let l = 1529 - 1519. Solve 3*t = l*t + 14 for t.
-2
Let x be 5 - (2 + -2)/3. Let r(o) = o**2 - 5*o. Let m be r(x). Solve m = 2*d - 5*d + 6 for d.
2
Let p(r) = -2*r**2 + r + 1. Let u be p(-3). Let z be (-16)/u*(25 + 0). Solve 0*l = 4*l + z for l.
-5
Suppose 9*u - 6*u + 153 = 0. Let y be (-6)/15 + u/(-15). Solve -2*z + 5 = y*z for z.
1
Let a(h) = 7*h + 135. Let l be a(-19). Solve l = 20*b - 19*b for b.
2
Let o be (-384)/(-54) - 9/81. Solve -o*a - 10 - 18 = 0 for a.
-4
Let s = 39 - 15. Let y = s + -20. Solve -4*o + y = -3*o for o.
4
Let l = -9 - -5. Let k be (3 - (l + 7))/2. Suppose 5*h - 4*h = 2. Solve k*z + 10 = -h*z for z.
-5
Suppose 0 = 2*z - 7*z. Suppose 2*q - 1 = -y - 2, 2*q - 10 = z. Let p = y + 14. Solve -j = -p*j for j.
0
Let o(c) = c**2 + 4*c - 1. Let q be o(-5). Let j be 3 + (3 + -2 - 4). Let v(w) = -w**2 - w + 16. Let f be v(j). Solve -q*h = -f - 0 for h.
4
Suppose 11 + 94 = 7*u. Solve -10*w - 10 = -u*w for w.
2
Let t be -4 + 8 + -6 - -6. Solve g - t = -2 for g.
2
Let u(p) = p - 19. Let n be u(18). Let m be 2*n/(-5) - 15/(-25). Solve 4*g - m = -5 for g.
-1
Suppose 3*h - 2*h + 4*j + 30 = 0, 4*h + 60 = 4*j. Let z be 3/(-6) - h/4. Solve -4*m + 0 = -z for m.
1
Let q be ((-4)/6)/((-2)/9). Suppose q*m = 1 + 2. Let r be m + -1 - (-7 - -5). Solve 0 = 5*u + 7 - r for u.
-1
Let i be 36*(408/(-32))/(-17). Solve 13 = -8*u - i for u.
-5
Let f be 3*23/(-9)*(5 - -1). Let o be (f - -2 - 6)/(1 - 3). Solve 0*a - 5*a - o = 0 for a.
-5
Suppose 42 = 34*t - 94. Let s = -16 - -20. Solve 8*m - t = s*m for m.
1
Suppose -5*n + 4*w + 35 = -0*n, -4*n = -w - 39. Solve -5*r + n = -4 for r.
3
Suppose -8 = -4*t - 4*t. Suppose 3 - t = -k, -5*m + 55 = -5*k. Suppose 0 = -m*n + 5*n. Solve 4*a - 21 + 1 = n for a.
5
Suppose -3*p + j + 35 = 0, 10*p - 6*p + 5*j = 53. Solve -14*s = 2 + p for s.
-1
Let n = -1305 + 1309. Solve -8*h - 12 = -n*h for h.
-3
Suppose -59*r + 36 = -41*r. Solve r*f = -8*f - 10 for f.
-1
Suppose -16 = -4*m, -21*s = -24*s - m + 4. Suppose -4*u - 10 = -2*p, 15 = 5*p - 9*u + 4*u. Solve s*k = k - p for k.
1
Let y be (-12)/(-42) + (544/(-28))/(-2). Solve 0 = y*w - 6 + 16 for w.
-1
Let d = -122 + 122. Let h = 8 - 2. Solve -3*t = -