, r + 11 = 2*h. Suppose 0 = -h*m + 6*m. Solve 3*y - 15 = -m*y for y.
5
Let z(c) = -c**3 + 7*c**2 - c + 17. Let w be z(7). Suppose 2*k = -4*r + w, -15 = -0*r - 4*r - 3*k. Let q = 2 + 4. Solve r*t = 3*t + q for t.
-2
Suppose 0*r + 16 = 4*r. Let s be r/6 - 6/9. Solve s*t = t for t.
0
Let w be 2 + 1 - 8/((-72)/1017). Solve -121 + w = c for c.
-5
Let j be 1/((-12)/138*(-10)/20). Solve 17*p - 91 + j = 0 for p.
4
Let t = -293 + 303. Solve t = -2*p - 0 for p.
-5
Let d(c) = -c**3 - 6*c**2 - 10*c - 4. Let r = 29 + -33. Let k be d(r). Solve 0 = k*j + j for j.
0
Let r = -161 - -164. Solve -w + r*w = 2 for w.
1
Let w be (-10)/(-3)*36/20. Let h(n) = n**2 - 7*n + 9. Let i be h(w). Solve i*f - 2*f = 0 for f.
0
Let i(a) = 15 - 5*a - 3351*a**2 - 7*a + 3352*a**2. Let d be 2 + (10 - (-2 - -3)). Let n be i(d). Solve 4 + 16 = n*o for o.
5
Suppose -415*n - 28 = -422*n. Solve n*d = 7 + 9 for d.
4
Let w be -1 + 2 - 28/(-7). Suppose 4*p = -2*t - t + 25, 0 = w*t + 2*p - 65. Solve -t = -2*y + 7*y for y.
-3
Let b(k) = k + 4. Let y be b(-1). Suppose y = -p + 2*p. Solve -7*q + 16 = -p*q for q.
4
Let i(r) = 30*r**2 + 3*r - 4*r - 18 + r**3 - 12*r**2. Let v be (-9)/(-12) - (-225)/(-12). Let m be i(v). Solve m = -3*o - 2*o + 5 for o.
1
Let v(o) = -o**2 + 9*o + 82. Let r be v(14). Solve 0 = 4*s - 0*s - r for s.
3
Let w(s) = s - 6. Let z be (-2)/(-6) - 4/12. Suppose 4*p - 28 = -z*p. Let d be w(p). Solve -y = -d - 0 for y.
1
Let c(d) = -23*d - 38. Let s be c(-2). Solve s*g - 10 = 3*g for g.
2
Let p = -112 - -126. Solve 4 = -6*i - p for i.
-3
Let c(k) = -2*k - 3. Let g be c(-1). Let l be (g - (-24)/4) + 1 + -2. Solve l*x + 2 = 6 for x.
1
Suppose -r - 2 = 0, -2*q + 4*r = -q - 10. Suppose -q*d = -0*d - 6. Suppose -d*u = 0, 0 = -5*x + 3*u - 2*u + 10. Solve -x*z = -z for z.
0
Let p = -1452 + 1461. Solve 0 = 11*s - p*s + 4 for s.
-2
Suppose 0 = -c - 105 + 116. Solve -c*n - 4 = -7*n for n.
-1
Suppose 0 = -18*l + 57 - 21. Suppose s - 5 = -2*p, -7 = -3*s - 4. Solve -l*a = p*a for a.
0
Suppose -34 = -2*q + 4*a, 5*q - 17*a - 96 = -18*a. Solve 17*n - q = 32 for n.
3
Let r be (3 + 2/(-1))/((-1)/(-2)). Let m be (-4)/(-4)*(3 - 0). Suppose 2 = 5*d - m. Solve f + r = -d for f.
-3
Let v(b) = -b**3 + 2. Let a be v(2). Let c be (-1)/((-2)/a) + 23. Let x = c - 9. Solve -1 + x = 5*s for s.
2
Let h = -96 + 96. Let c(f) = f**2 + 7*f + 8. Let p be c(-6). Solve h = 4*k - p*k + 4 for k.
-2
Let m(t) = t**3 - 7*t**2 - 148*t - 13. Let f be m(-9). Solve 6*z + f = 41 for z.
3
Suppose 0 = -3*n + 76 - 22. Suppose -4*w + 5*a + 10 = 4, -2*w - 5*a + n = 0. Let b be (w - -2)*3/6. Solve 0 = -k - 2 - b for k.
-5
Let s = 138 - 136. Suppose 2*i + s*x - 3*x = -1, i - x = -1. Solve i = k + k for k.
0
Let i = 11 - 13. Let t be 1/(i/(-4)*1). Solve k + k = t for k.
1
Let a be (1/(-2))/(18/612). Suppose 0*u - 21 = u. Let b = a - u. Solve 4 = 2*z - b*z for z.
-2
Let b = 292 - 285. Solve -5*f + b = 17 for f.
-2
Suppose 3*u - 128 = -17. Let o = u - 20. Let p be (-4)/2*(o - 18). Solve p*f = -f + 9 for f.
3
Let y = 55 + -43. Solve 5*p + y = -p for p.
-2
Suppose 0 = -2*a - 2*b + 18, 0*a - 23 = -3*a - 4*b. Suppose -13 = -5*y - a. Solve 2 = -m - y for m.
-2
Let k(a) = -a**3 - a**2 + 3. Let n be k(0). Suppose n*b - 6 = -0. Solve 5*s - b*s = 6 for s.
2
Let q be 2*6/(6 - 3). Suppose q = -2*d - 2*d - 4*b, 4 = -2*d - 4*b. Solve d = -5*w - 0 - 5 for w.
-1
Suppose 4*g = -g + 65. Suppose 5*s + 30 = 4*r, -r = -21*s + 25*s + 24. Let j = s + g. Solve -y - j = -4 for y.
-3
Let j(p) = -p**3 + 11*p**2 - 8*p - 12. Let g be j(10). Let b = g + -6. Solve 4 - b = -l for l.
-2
Suppose -2*k + 63 = 5*g, 2*k - 57 = 9*g - 8*g. Solve k = -9*w - 7 for w.
-4
Suppose 5*w = -5*c + 10, 3*c - 6 = -0*c + w. Suppose -c*s = -0 - 4. Suppose -s*y - 2 = -8. Solve y*a = -16 + 1 for a.
-5
Let s = 2933 + -2913. Solve 0 = 4*n - 0*n + s for n.
-5
Let r = -1 - -8. Suppose 12*m = r*m - 15. Let i = 5 + m. Solve 0*o + 6 = -i*o for o.
-3
Let b be (-6*1)/(18/(-4) + 3). Suppose -4 = -b*k + 2*k. Solve -1 = k*g - 7 for g.
3
Let z be (-4)/2 + (-9 - -4) + 1. Let c be 1 - 2 - 2*z/4. Solve c*u = 5*u for u.
0
Suppose -2*y + 23 = -4*v + 9, -2*v - 2 = 0. Suppose -3*n - 28 = -y*l, 5*l - 2*n - 56 = -6*n. Let s(k) = -k + 8. Let g be s(5). Solve x - g*x = -l for x.
4
Let g be 0 + -2 + (-10)/(-40)*16. Suppose -3*w + 7*w = 3*n - 6, 2*n = -w + 4. Solve w = -v + g*v for v.
0
Let m(v) = -v + 46. Let c be m(17). Suppose 0 = 6*i - c - 61. Solve -w = 2*w + i for w.
-5
Let v(g) = -g + 5. Let o be v(-38). Solve 5*l - 38 = -o for l.
-1
Let l(o) = -94*o - 365. Let f be l(-4). Solve 0 = -14*r + f - 39 for r.
-2
Let c = 1 + 2. Let l be ((6/2)/3)/(3/12). Suppose l*i + 30 = 10*i. Solve -7 = -c*o + i for o.
4
Let n(t) = -t. Let a(h) = 7*h - 20. Let f(b) = -a(b) - 6*n(b). Let v be f(17). Solve v*x + 2*x = 15 for x.
3
Suppose -15*t + 58 = -392. Solve t = -2*q + 22 for q.
-4
Suppose -10*y = -16*y + 36. Suppose -14 = -y*u + 28. Solve -5*j = -3 - u for j.
2
Suppose -3*q + 22 = -26. Let o = q - 12. Let s(l) = 3*l - 7. Let x be s(o). Solve -2 - 18 = x*d for d.
-4
Let d(z) = 32*z**2 - 4 - 18*z**2 + 4*z - 13*z**2. Let y be d(-5). Solve -y = -2*k + 5 for k.
3
Suppose -4*k + 4 = -12. Let j be -20*(-2)/k - 4. Let t be ((-10)/j)/((-5)/15). Solve -h + t*h = 0 for h.
0
Let k(d) = d**3 + 6*d**2 - d + 1. Let q be k(-6). Let b = -10 + q. Let v(z) = -z**3 - z**2 + 5*z - 3. Let y be v(b). Solve y = -j - 2 + 1 for j.
-1
Suppose -23 = -9*c + 4. Solve -c*u = 16 - 1 for u.
-5
Suppose -b - 5*b - 42 = 0. Let x(o) = -5*o - 23. Let h be x(b). Solve p + h = -2*p for p.
-4
Suppose 0*m + 2*m = 32. Solve m = 5*k - 13*k for k.
-2
Let c be -3 + (1 - -4)*(-49)/(-35). Solve -7 = -c*v - 15 for v.
-2
Let z(x) = -x + 48. Let j be z(19). Solve j*t = 24*t + 20 for t.
4
Suppose 90*u - 92*u - 3*i + 320 = 0, -3*u = -i - 502. Solve 6*n = u - 172 for n.
-1
Let o(i) = 2*i - 2*i**2 + 4 - 2*i - 12*i. Let m be o(-6). Suppose -44 = 5*v - 144. Solve 0 = m*d + d + v for d.
-4
Let c(s) = s**2 - 4*s - 5. Let y be c(5). Suppose -5*r + 16 - 1 = y. Suppose -7*g + 2*g = 3*b - 21, 4*b - 28 = 5*g. Solve -b = -r*q + 8 for q.
5
Let k(u) = -2*u - 4. Let t be k(-5). Let m be ((-6)/8)/((-21)/84). Solve 3*a + m = t for a.
1
Let d(a) = a**3 + 6*a**2 - 45*a - 159. Let n be d(-9). Solve 0 = k + n*k - 16 for k.
4
Suppose -3*n = -0 - 6. Let g(s) = 2*s**2 + 3*s - 4. Let f be g(2). Solve -f = 4*t - n*t for t.
-5
Suppose -21*s = 31 - 262. Solve -11*g = 22 + s for g.
-3
Suppose 8*n - 131 = -99. Solve 10 = -n*d - 2 for d.
-3
Suppose a = 3*w - 2, -84 = -5*a - 4*w + 1. Let v be a + 1/(-2)*6. Suppose -3*l = -2*p - 8, -2*p + 5 = 3*l + 1. Solve -4*g - v = -l for g.
-2
Let w = -9 + 13. Let j be (-4 + 0 - -4) + w. Solve 2*n - n = j for n.
4
Suppose 3*j - z - 2*z = -45, -2*j - 30 = 4*z. Let x = j + 19. Let y(n) = -n**2 + 5*n + 1. Let t be y(x). Solve -h = -t*h for h.
0
Suppose -25*b = -281 + 231. Solve 2 = b*k - 2 for k.
2
Suppose -591*h = -590*h - 52. Suppose 12 = 2*p - 4*n, -3*p - p - 3*n = 31. Let q be ((-6)/p)/(39/h). Solve -q = -3*o + 10 for o.
4
Let v be 8/36 + (-22)/18 + 2. Solve 4*a - v + 9 = 0 for a.
-2
Let z be (-3)/18*-2 + 130/6. Suppose 17*y - 22*y = -20. Solve y*k + 10 = z for k.
3
Let u(a) = -a**2 - 4*a - 1. Let p be u(-3). Suppose -5*q = 2*k + 28, -2*k + 1 = p*q + 11. Let i be 440/30 + (-2)/q. Solve j + i = -2*j for j.
-5
Let x(q) = -q - 4. Let p be x(-6). Let h = -5674 + 5681. Solve h*b - p*b = 5 for b.
1
Let a(t) = t**2 - 14*t + 29. Let b be a(13). Suppose -79 + b = -7*p. Solve 0 = -0*y + 3*y - p for y.
3
Let p = 8 - 17. Let z(t) be the first derivative of t**4/4 + 3*t**3 - t**2/2 + t + 275. Let l be z(p). Solve x = 6*x - l for x.
2
Let v(g) = -2*g**3 + 20*g**2 + 22*g + 5. Let j be v(11). Solve -j*z - 1 = -6*z for z.
1
Suppose -a = -4*a. Let x be (1/2)/(7/224). Suppose -5*g + x = 6. Solve g*l = -a*l - 2 for l.
-1
Suppose 5*p = 4*j + 5 + 3, j + 2 = p. Let b be 18/(-12) + (-17)/j. Suppose -2*i - b = -23. Solve -m + i = 3*m for m.
2
Let l = 20 - 8. Suppose -2*u = -6*u + l. Suppose -2*h + 0*h + 15 = -u*w, 4*w = -12. Solve h*x = -0*x - 3 for x.
-1
Suppose 0*k - 2 = -2*k. Solve -t + 4 = -k for t.
5
Let s(v) = -15*v - 428. Let m be s(-29). Solve 0 = -5*h + m - 22 for h.
-3
Let w = -71 - -127. Suppose 4*a + 0*a - 4*g = w, g = -2. Solve 3*v - a = -0*v for v.
4
Let s(z) = -z**3 - 11*z