m be 6/((-24)/14 + (-12)/42). Let p be 1 + 9/m - (-4 + 0). Solve 0*w - p*w = -4 for w.
2
Let r = 251 + -248. Solve 12 - r = -3*n for n.
-3
Suppose -9*r - 39*r + 384 = 0. Solve -r - 7 = -3*j for j.
5
Let z be 378/168*8/6. Solve -7*d = -z*d for d.
0
Suppose 3*y + 48 - 78 = 0. Let i(j) = -j**2 + 4*j + 8. Let f be i(6). Let p = 0 - f. Solve p*u + y = -10 for u.
-5
Let q = -970 - -970. Solve q = 6*b + 11 + 7 for b.
-3
Suppose 3*s + 5*i - 4 = 0, 3*i = -5*s + 40 - 28. Let h be ((-15)/(-12))/((-3)/(-24)). Solve h = s*q - 2 for q.
4
Let q(j) = -j**2 + 8*j - 3. Let n(p) = p**2 + 3*p - 2. Let v be n(1). Suppose -5*m = u - 31, 3*u - 23 = -3*m - v*m. Let d be q(m). Solve -y + d = 2 for y.
2
Suppose 88 = -18*y + 7*y. Let m(o) = -o**2 - 9*o - 3. Let l be m(y). Solve l*s = 2*s - 12 for s.
-4
Let s(i) = 8*i. Suppose 11*n = 6*n + 10. Let a be s(n). Let r = -15 + a. Solve 4*b - r = -13 for b.
-3
Suppose 0 = -n - 7*n + 16. Suppose 0 = 9*p + n - 11. Solve 0 = 3*u + p + 5 for u.
-2
Suppose -3*g - 8 = -m, -5*g = 12 - 2. Suppose -3*b + 29 = -16. Solve -b = m*k + k for k.
-5
Suppose -u - 7 + 17 = 0. Suppose 0 = -y + 6*y - u. Suppose -y*s + 2 = -2. Solve -s*m = 2*m + 4 for m.
-1
Suppose 14 = 7*n - 21. Suppose n*y + 77 - 92 = 0. Solve -y*f = 12 - 0 for f.
-4
Let u be 3 - (-1396)/(-14) - 2/7. Let i = 115 + u. Solve -6 = -3*t - i for t.
-4
Let u = -405 - -414. Solve 13*r - u = 16*r for r.
-3
Suppose 0 = -2*c - 0*c + 46. Suppose -c*h = -19*h - 8. Solve -4*q - 6 - h = 0 for q.
-2
Let l be (0 - (-1 - -1))*91/182. Let r = 14 + -2. Solve -3*b + r = -l*b for b.
4
Let d(j) = j**2 - 21*j - 60. Let n be d(24). Solve 4*p = 7*p - n for p.
4
Let u(s) = -3*s + 14. Let r be u(4). Suppose 0 = 5*z - 20, 4 = r*n + 4*z - 3*z. Suppose 3*g - 6 = 3*h, h + n*h = -4*g + 18. Solve 0 = g*w - 10 - 10 for w.
5
Let h = -45 + 20. Let x be h/(-7) - 8/14. Solve -x*b = -7*b + 4 for b.
1
Let b be -13 + 4 + 4 - (-10)/2. Solve b = 12*c + 35 - 95 for c.
5
Suppose 0*u - 4 = -u. Let q be (-10)/(-8) + (-91)/(-52). Suppose q*p = u*p - 3. Solve 0*j = -j + p for j.
3
Suppose 70*h - 89*h + 589 = 0. Solve 6 = -h*u + 28*u for u.
-2
Let q = 116 + -101. Solve 5 = -2*p + q for p.
5
Let k(i) = i**3 + 6*i**2. Let j(f) = f**2 + 4*f - 1. Let y be j(-5). Suppose 3*p = -y*a - 30, a - 4*a = -5*p - 21. Let l be k(p). Solve l*u = -2*u - 4 for u.
-2
Suppose -8*f + 34 = 10. Solve 0 = f*z + 15 - 0 for z.
-5
Suppose 2*r + 48 = -2*d + 56, 0 = r - 4. Let n = 4 + 5. Suppose n = -f + 4*f. Solve -f*b + 7*b = d for b.
0
Let o = -13 - -3. Let h(i) = -12*i + 5 - 5959*i**2 - 18 + 5958*i**2. Let q be h(o). Solve 2*r - q = 3 for r.
5
Suppose -3*k = -56 + 53. Solve -3*b + 4*b = -k for b.
-1
Suppose -25*y = -30*y + 20. Suppose -k - 3 = 5*j, 7 = k - j - y*j. Solve -10 = k*z + 3*z for z.
-2
Let f be (-30)/(-4) + (9 - 357/34). Solve -f + 6 = -v for v.
0
Let b = -17 - -24. Suppose b*s + 2*s = s. Solve 4*u = -s*u + 8 for u.
2
Suppose -3*b + 19 = -20. Suppose 2*q - 2 = -3*v - 1, -4*v = 5*q - b. Suppose -l + 4 = 4*f + 3, 3*f + 28 = 5*l. Solve 15 - q = l*g for g.
2
Let k(t) = t**3 + 11*t**2 - 28*t - 19. Let p be k(-13). Solve p*f + 12 = 26 for f.
2
Suppose -1 = 2*n - 3*r - 9, 0 = -5*n - r + 37. Solve 0 = 4*q - n*q for q.
0
Let g = -152 + 281. Suppose g = 3*i + 69. Solve 3*q = -q - i for q.
-5
Let z = 67 - 80. Let v = -12 - z. Solve v + 0 = -n for n.
-1
Let q(g) = -2*g - 2. Let t(d) = -d**2 + 9*d - 11. Let p be t(8). Let a be q(p). Let h = 13 - -6. Solve -3 + h = -a*k for k.
-4
Let w be (1*4)/((-22)/(-231)). Suppose 0 = u + 2*j - 9, -w + 12 = -5*u - 5*j. Solve -2*b = -u*b - 2 for b.
-2
Let l be (-24)/(-4)*2/4. Suppose -b + l*b + 8 = 0. Let q be (2 + -2)/(-2 - b). Solve 3*t - t = q for t.
0
Let f be (-20)/(-25)*(-10)/(-4). Suppose v = f*v. Suppose v = 11*s - 6*s. Solve 0 = 4*a + 4 - s for a.
-1
Suppose -160 = -v - 3*v. Let x = 43 - v. Solve -x*r - 2 + 17 = 0 for r.
5
Let q be ((-4)/3)/((-2)/3). Suppose -2*a - a = 2*w + 61, -q*w = -5*a + 53. Let k = w + 29. Solve k*c + 10 = 5*c for c.
2
Let p = -1 + -3. Let h be (-28)/(-8) - (-2)/p. Suppose -4*i - 3*z + 1 = 0, 0 = h*z + 7 + 8. Solve -8*t + i*t = -12 for t.
3
Let c(d) = -6*d**2 - 59*d + 10. Let q be c(-8). Solve q*m + 8 = 100*m for m.
4
Suppose -25 = -0*z - 5*z. Suppose 0 = z*p - 7*p + 92. Let y = p + -33. Solve 4*o - 7 = y for o.
5
Let y(l) = 7*l - l - 20 - 8*l. Let q be y(-12). Let f = -3 + 4. Solve -f + q = j for j.
3
Let u be 0 + ((-4)/5)/(2/(-35)). Let o(j) = j - 4. Let f be o(u). Solve 0*s - 2*s - f = 0 for s.
-5
Let m be 9490/1300 - -3*(-2)/20. Solve g + m*g + 8 = 0 for g.
-1
Let g(t) = -t**2 + 24*t - 16. Let l be g(23). Solve 0 = j - l*j + 12 for j.
2
Let g be (-47 + 2)*(-3)/9*1. Let n(o) = -o + 20. Let f be n(g). Solve -2*l - f = 5 for l.
-5
Let z(w) = -2 + 6*w - 15*w**2 + 9*w**2 + 2*w**3 - w**3. Let g be z(5). Suppose 0 = -g*b + 2*u + 9 + 15, u = 0. Solve 2*o = -0*o - b for o.
-4
Suppose -6*w - 18 = -3*w. Let d(m) = m**3 + 4*m**2 - 13*m - 4. Let j be d(w). Solve -j*g - 9 = g for g.
-3
Let z be 1/3*-11*-9. Let x(r) = 34*r**2 + 1. Let q be x(1). Let s = q - z. Solve p - 2 - s = 0 for p.
4
Let i = 262 + -254. Solve 4*s - i*s = 4 for s.
-1
Let n(t) = 4*t - 13. Let d be n(4). Suppose -8 = -2*r + d*k - k, 2*r - k - 9 = 0. Solve 0 = -r*a + 9 - 4 for a.
1
Let x(d) = d**2 + 26*d + 131. Let u be x(-22). Solve -16*v - 5 - u = 0 for v.
-3
Let m be (-1 + 0)/(1/5). Let g(s) = -s**3 - 7*s**2 + 8*s + 9. Let i be g(-8). Let x be ((-15)/i)/m*12. Solve -2*v - x - 4 = 0 for v.
-4
Suppose -3*g + f - 1 - 1 = 0, 3*g = -f + 8. Suppose -1 = -6*o - g. Solve 5*v - 11 - 14 = o for v.
5
Let h = -321 + 325. Solve 0*y = h*y - 8 for y.
2
Let p be (-12)/54 - (-2)/9. Let m = -9 - p. Let z = m + 16. Solve 2*l - 20 = z*l for l.
-4
Let n(x) = -x**2 - 16*x + 1. Let v be n(-9). Suppose -v = -3*d - 25. Solve 5 = -4*z + d for z.
2
Let v = -47 + 48. Let l(z) be the first derivative of z**4 + z**3/3 - z**2/2 - 3. Let d be l(v). Solve -x = -5*x + d for x.
1
Let o = 1252 + -1252. Solve -n + o = -2 for n.
2
Let z = -26 + 34. Suppose 0 = z*i - 13*i + 10. Solve 0 = -i*l - 2 + 6 for l.
2
Suppose 19*x + 12 = 16*x. Let p be (-258)/(-54) - x/18. Suppose 2*b = 5*b. Solve b = -n + p*n + 8 for n.
-2
Let p(q) = -q + 12. Let y be p(6). Let r be y/3 - -4*1. Solve -2*t + r - 2 = 0 for t.
2
Let r = -3 + 5. Let s be (-4)/(-6) - 24/9. Let x be (s - -5) + (-1 - 0). Solve 0*i + x = r*i for i.
1
Let h(p) = -p**3 + 5*p**2 - 2*p - 3. Let g be h(4). Suppose -4 + 9 = g*o. Suppose 5*x - 9 = 36. Solve -2*n + x = o for n.
4
Suppose z + j - 9 = -z, 0 = -z + j - 3. Suppose 5*h = 9*s - 5*s, 0 = 2*s - z*h. Solve s*c = -c for c.
0
Suppose 18*r - 13*r - 85 = 0. Suppose 2*x - 25 = -r. Solve -12 = x*p + 8 for p.
-5
Let r = 2 - -1. Let s(j) = -5*j + 15. Let g be s(3). Suppose y + r*y = g. Solve y = -a + 3 + 1 for a.
4
Let p(z) be the third derivative of z**6/120 + z**5/15 - z**4/6 + z**3 - 26*z**2. Let s be p(-5). Solve 3*m + 10 = s for m.
-3
Let i be 1/2 - (-6 - (-621)/(-18)). Solve 0 = -i*v + 37*v + 20 for v.
5
Let i = -70 + 77. Suppose 3*w = -i*o + 4*o + 3, -4*o = -4. Solve w = a + 3*a + 20 for a.
-5
Let s(f) = -2*f + 30. Let v be s(14). Suppose -5 = -v*q + 7. Solve 0 = -q*r + 2*r for r.
0
Let m(k) = 2*k**2 + 11*k. Let p be m(-6). Suppose 19 = p*o + 7. Solve x = -o*x for x.
0
Let o = 1192 + -1191. Suppose -4*b + 8 + 12 = -g, -2*g + 4 = 3*b. Solve -o = 3*x - b for x.
1
Let x be ((1001/(-22))/13)/((-1)/2). Solve 0 = -10*q - 57 + x for q.
-5
Let v be 140/35*((-3)/2 + 2). Solve 18 - 14 = v*r for r.
2
Let c(t) be the second derivative of -t**3/2 - 14*t**2 - 12*t. Let o be c(-10). Solve -n = -o*n + 3 for n.
3
Let j be (-1 - -1)/((16 + -10)/6). Solve -4*q - 6 + 18 = j for q.
3
Let g(y) = -y - 22. Let s be g(-19). Let u be (-2 - 8/s)*2*3. Solve -u*k - 7 = 1 for k.
-2
Let w(c) = 3*c + 31. Let f be w(-9). Suppose 0 + 3 = -f*l - 5*b, 3*l - 4*b = 21. Solve 0 = l*r - r - 6 for r.
3
Let w(o) = o**2 - o. Let s be w(-1). Suppose -5*z = -s*z. Suppose -57 = -5*i - 5*c + 38, 0 = 5*i - 3*c - 63. Solve -3*b + z*b = i for b.
-5
Let u = 15 + 0. Let z = u - 11. Suppose 0 = 2*j + 4*v - 8, z*j + 5 + 3 = 4*v. Solve s + s - 4 = j for s.
2
Suppose -2*l - 4*k - 8 = -l, 5*k = -15. Suppose l*x - x = 0. Suppose p = -5, 3*w + 0*p - 2*p = 10. Solve w = g - x*g for g.
0
Let c = 1060 + -1058. Solve -5 = 