 Let w be 2/(x/(1*24)). Let g = -8 - w. Solve 0 = -u - g*u - 5 for u.
-1
Let n = 122 + -109. Let h be ((-6)/(-10))/(n/65). Solve 0 = h*a - 0*a for a.
0
Suppose 4*g - 23 = -8*l + 13*l, 0 = -2*g + 3*l + 13. Solve g*f + 7 - 1 = 0 for f.
-3
Suppose 0 = -r + 5*r + 20. Let i be 2/r + (-17)/(-5). Let t = 608 + -606. Solve -t*y + i*y = 0 for y.
0
Let w = 26 + -26. Suppose -5*k + 16 = -c, -2*c + 0*c + 5*k - 12 = w. Solve b + c*b + 25 = 0 for b.
-5
Let k be (2 + -6 + 4)*(-3)/6. Suppose k = -6*j - 2*j + 8. Solve j - 5 = w for w.
-4
Let y(s) = -3*s - 36. Let f be y(-8). Let g = -9 - f. Solve 2*m - g*m = 4 for m.
-4
Suppose -69 = -3*x - 3*v, -6*x - 2*v + 94 = -2*x. Suppose 2*c + 4*z - 24 = 0, 0*c - 3*z + x = 3*c. Solve 8 = c*p + 28 for p.
-5
Let p(j) = -j**3 + 16*j**2 + 16*j + 24. Let r be p(17). Suppose -2*o + r*o = 50. Solve 0*k = -2*k + o for k.
5
Let m(b) = -b**3 + 2*b**2 - 1. Let l be m(1). Let g = l - -12. Suppose 0*a + 3*a - g = 0. Solve a*h = -12 - 0 for h.
-3
Suppose -4*p = 5*c - 18, c - 4 = -3*p + 4. Suppose 2*l = -l. Let w be (l + -1)*(-4)/4. Solve p*q + w = -5 for q.
-3
Let h = 1291 - 1288. Suppose 3*l = -l - v + 1, -2*l - v = -1. Solve l*d = -h*d + 9 for d.
3
Suppose -5*a + 4*w + 22 = 0, -3*a - w = a - 5. Let q be ((-1)/a)/(13/(-312)). Solve 3*b - q = -0*b for b.
4
Suppose -18*w - 30 = -24*w. Solve w*i - 40 = -55 for i.
-3
Let o = -1077 - -1089. Solve 9*a - o = 15 for a.
3
Let d(y) = y**2 + 4*y - 8. Let v be d(-6). Suppose l = -u - v*l + 27, -l = u - 7. Let c = 13 + u. Solve 3*m + 0*m = -c for m.
-5
Let s(z) = -7*z - 29. Let v be s(-6). Suppose 1 = -5*m + 4*q + 14, -2*m - q + v = 0. Solve 11 + 14 = m*y for y.
5
Suppose 0*x - 5*x = 0. Suppose 4*p = -x + 28. Let o be -5 - -2 - (0 - p). Solve o*y - 5 = -y for y.
1
Let o(j) be the first derivative of j**4/4 - j**3 - j**2 - 5*j + 1. Suppose 5*y + 3*k - 11 = 0, -y + 0*y = 5*k + 11. Let s be o(y). Solve -3*t = -s - 3 for t.
2
Let f = 64 - 61. Suppose f*u + 12 = 33. Solve -3*n = u + 5 for n.
-4
Suppose -6 = h + 3*x, h + 3*x = 3*h - 15. Suppose h*m = -0*t - 3*t + 78, -3*t + 71 = -4*m. Solve -t = 8*f - 3*f for f.
-5
Let c be -1*(-5 + (4 - 3)). Solve 8*p = c*p for p.
0
Let z be -3 - 1 - (2 - 388). Let j = -211 + z. Let b be 4/18 + 817/j. Solve n - b = -0*n for n.
5
Let w = -11 + 9. Let z be ((-12)/9)/(w/9). Suppose 5*g + 20 = l + 2, -3*l - z = 5*g. Solve 2*h = h + l for h.
3
Suppose -4*l + 8 = 3*r - 9, 5*l - 23 = -2*r. Solve 69 - 54 = l*f for f.
3
Let j(o) = 13*o**2 + 2*o + 2. Let g be j(-1). Solve -g*n + 17*n = -16 for n.
-4
Let o = 11 + -9. Suppose 10 = 2*a - 2. Suppose 0 = 8*f - a*f - 10. Solve -f*m + o*m = -9 for m.
3
Suppose 0 = 10*o - 6*o - 8. Suppose 6 = -o*y - 6. Let d be -4 - y/9*6. Solve -3*f - 3 = -d for f.
-1
Let x be (8*1)/(9 - 8). Solve 9 = -b + x for b.
-1
Suppose 0 = 12*w - 15*w + 447. Let o = 154 - w. Solve -6*v = -o*v for v.
0
Suppose g = 3*g. Suppose -7*j = -12 + 5. Solve g = f - j + 2 for f.
-1
Let w(r) = 40*r**2 - r + 1. Let g be w(1). Suppose 4*k = 4*z + g, -k + 4*k - z = 34. Solve -2*d - k = 2*d for d.
-3
Let h = -95 + 109. Solve 0 = -3*c - h + 20 for c.
2
Let y = 308 - 304. Solve -37 = -y*c - 17 for c.
5
Suppose -66 = 176*g - 182*g. Solve 0 = -g*w + 14*w + 9 for w.
-3
Let h(x) = -x**3 + 5*x**2 + 9*x - 14. Let z = 19 + -13. Let r be h(z). Solve -4 = -2*v + r for v.
4
Suppose -6*z + 3*z = 5*n - 213, -z = -1. Suppose -17*i = -14*i - n. Solve -3*u - 2 = -i for u.
4
Suppose -2*p - 40 = -5*f, 2*f = -2*p + 3*p + 16. Let a(q) = q**3 - 9*q**2 + 8*q + 3. Let g be a(f). Solve g*j + 16 = -j for j.
-4
Let d = -16 + 27. Solve 7 = 2*g + d for g.
-2
Suppose -5*y = -3*y - 4. Solve y*a + 2*a = a for a.
0
Suppose -91*u = -62*u - 174. Solve -20*i = -17*i - u for i.
2
Let a = 2 + -2. Let x(k) = 19*k + 953. Let r be x(-50). Solve a = -8*t + 5*t + r for t.
1
Let m = 19 + -29. Let d be 492/(-20) + (-6)/m. Let n = -4 - d. Solve 5*v + n = -0*v for v.
-4
Suppose 16*a + 142 - 222 = 0. Solve -b + b = -a*b for b.
0
Let t be (4/5)/((-1)/(-115)). Suppose 404 = -5*y - f, -2*y + 2*f - t - 60 = 0. Let o be 46/16 - 10/y. Solve 7*d - 12 = o*d for d.
3
Suppose t = -4*b - 9, t + 0*b = -2*b - 9. Let o = 0 - t. Solve o*z - 4*z + 5 = 0 for z.
-1
Suppose 29*s = -89 + 321. Solve -5*l = -l - s for l.
2
Let z = 352 + -349. Solve -10 = -z*q - 4 for q.
2
Let r(h) = 20*h - 29. Let b(w) = -7*w + 10. Let s(m) = -17*b(m) - 6*r(m). Let z be s(-6). Let f(n) = n - 10. Let y be f(z). Solve y*o + 8 = -2*o for o.
-4
Let b(l) = -l**2 + 9*l - 11. Let w be b(5). Let r be 3 - (105/33 + (-4)/22). Solve r = -3*i - 0*i + w for i.
3
Suppose -367 = 7*j - 395. Solve 4*o + 0 = j for o.
1
Let y = -10 - -7. Let h be y*1 - 130/(-26). Solve -h*l = -4*l + 10 for l.
5
Suppose 3*y - 24*w = -19*w - 10, 0 = -5*y - 3*w + 6. Solve y = -107*l + 117*l + 40 for l.
-4
Suppose 2*h + 48 = -h. Let u be ((-4)/h)/(1/4)*3. Solve 1 = u*d - 14 for d.
5
Suppose -f - 28 = -5*q + f, q = 3*f + 3. Let b be q/9*63/(-6). Let p = b + 15. Solve u + u - p = 0 for u.
4
Suppose -8*d + 15 = -33. Solve -d*s = s for s.
0
Let n(k) = 7*k + 1 - 11*k**2 + 17*k**2 - 8*k**2. Let m be n(3). Suppose 3*x - t - 20 = 0, 0 = x + m*x - 4*t - 45. Solve -x*b + b = 16 for b.
-4
Suppose 3*b - 4*v - 16 = 0, -4*b - 45*v + 43*v + 14 = 0. Solve 14 = -b*g - 6 for g.
-5
Let w(b) = 2*b + 14. Suppose 12*g - 6*g = -42. Let l be w(g). Solve -o - o = l for o.
0
Let x be (1 + -2)*-3 - 3*3. Let k be 3/24*4 - 21/x. Solve 0*z = k*z - 20 for z.
5
Let h = -98 + 100. Let q(n) = -n**2 + 6*n - 4. Let z be q(h). Solve 0 - z = -2*m for m.
2
Let u(j) = -j**2 - 7*j + 2. Let s be u(-7). Suppose 0 = -2*v + 2*z - 3*z + 3, s*z - 6 = 0. Solve -o + 1 = -v for o.
1
Let x(t) = -10*t + 8. Let k be x(2). Let n be (2*(-15)/k)/(1/2). Solve n*q = 4*q - 3 for q.
-3
Suppose 3*y + 65 = -2*y + i, -35 = 5*y + 5*i. Let z be (54/y)/9*6/(-1). Solve 0 = z*t + t + 16 for t.
-4
Let p(s) = -2*s. Let u(i) = -9*i**3 + 2*i**2 + 2*i - 3. Let j be u(2). Let t be 18/j + 10/(-14). Let a be p(t). Solve a*f - f = 0 for f.
0
Let j(y) = y + 7. Let l be j(-6). Suppose 2*m + 2*k = 3*m + 2, -5*m + k = 1. Let n be 2 + m/(-1 - -3). Solve f = n*f - l for f.
1
Let m(k) = 11*k + 118. Let t be m(-10). Solve q - 6 + t = 0 for q.
-2
Let c(f) = 11*f - 208. Let b be c(19). Solve -5 = -2*d + b for d.
3
Let z = 33 - 29. Suppose 3 = z*y - y. Solve -5 = -w - y for w.
4
Let t be (40/(-28) - 4/56)*-48. Solve 9*k + 9*k - t = 0 for k.
4
Let c(a) = 108*a**2 - a + 1. Let x be c(1). Let z = x + -100. Solve 3*t = -7 - z for t.
-5
Let s be -14*(-2 + 24/14). Suppose 3*r = -b - b + 28, s*b = -2*r + 16. Solve 4*u - 2*u - r = 0 for u.
5
Let w(s) = -s**3 + 3. Let h be w(0). Suppose -h*x + 15 = 3. Suppose 7*g - x = 5*g. Solve 0*n = 2*n - g for n.
1
Let l(b) be the third derivative of b**5/60 - b**4/6 - 5*b**3 + 20*b**2. Let i be l(8). Solve d + 0 = -i for d.
-2
Let c(g) = 2*g**3 - 3*g + 4*g**2 + g - 6*g**2 + 1. Suppose 4*u + 6 = -3*o, -o = -0*o + 3*u + 7. Let l be c(o). Solve 0 = l*s - 10 - 15 for s.
5
Let i = 560 + -532. Solve 11*a = -3*a - i for a.
-2
Let m(h) = -h**2 + 3*h + 31. Let r be m(-4). Solve -3*v - r = 12 for v.
-5
Let a = -188 - -192. Solve -a*p = p + 20 for p.
-4
Suppose -k + 19 = 4*w, -w - 4*k + 6 = w. Suppose 0 = -3*i + 3*z + 9, 4*z - 5 + 17 = i. Solve -5*m + i = -w for m.
1
Let w = -337 + 349. Solve 20*p - w*p = -32 for p.
-4
Let n(y) = -5*y - 63. Let a be n(-13). Solve 0 = a*x - 2 + 4 for x.
-1
Let v = -143 + 208. Let m = v + -50. Let f(d) = -3*d - 1. Let t be f(-1). Solve 0 = -w - t*w + m for w.
5
Let a be (-6)/15*1 - (-14)/35. Solve 4*t + 21 - 1 = a for t.
-5
Suppose 0 = -38*v + 35*v - 66. Let g = 26 + v. Solve 1 = -g*c + 3*c for c.
-1
Let h be -3*(4/24)/(2/(-232)). Solve -x + 62 = h for x.
4
Suppose -4*b = b. Suppose -r + 8 = -b. Suppose 795*y - 790*y = 25. Solve -3*v = -y*v - r for v.
-4
Suppose -5*c = -2*y + 23, 3*y - 3*c = c + 45. Suppose y = 4*u - 9. Solve u*n - 8*n = -4 for n.
4
Let m(d) = d**3 - d**2. Let p be m(0). Suppose 0 = 4*t - 12*t + 208. Solve 4*b - 6 + t = p for b.
-5
Let c be (-42)/(-9) + 1/3. Suppose -j = -2*j - 4. Let k = c - j. Solve -4*r + 15 = -k*r for r.
-3
Let f = 23 + -21. Let n be ((-12)/14)/(f/(-14)). Solve n*y = y for y.
0
Let v be (5/15)/(3/27). Let k(c) = c**3 - 3*c**2 + c - 1. Let y be k(v). Solve 0 + y = -o for o.
-2
Let a = 14 + -14. L