t(s) - 7*u(s). Let k be j(6). Solve 6 + k = -3*x for x.
-3
Let h = 19 - 10. Let u(c) = -8*c - 6. Let z be u(-1). Solve -z*w - h = 1 for w.
-5
Let c = 34 + 12. Let x = 50 - c. Solve -3*s + x = -2*s for s.
4
Suppose -4*p - 4*n = -p + 8, n + 13 = 2*p. Let z be (12 + 3)*(-12)/(-9). Suppose z = 3*k - 16. Solve 0*h = p*h - k for h.
3
Let z be (-6)/39 + (-954)/(-117). Let f(p) = -p**3 + 8*p**2. Let s be f(z). Solve s = -6*w + 3*w - 3 for w.
-1
Let a = -19 + 23. Suppose 2*s - 12 = -2*b, b = a*s - 35 + 1. Suppose v - s = -3*v. Solve v = -2*i + 4 for i.
1
Let w be ((-17)/4)/(55/(-220)). Solve 12 = 14*m - w*m for m.
-4
Suppose 3*r = 1 + 5. Solve r - 4 = z for z.
-2
Suppose -11*u + 12*u + 2*z - 14 = 0, -2*u = 2*z - 20. Solve -u*g - 10 = -8*g for g.
5
Let y(j) be the third derivative of -j**4/12 - 13*j**3/3 - 16*j**2. Let l be y(-14). Solve 0 = m + m + l for m.
-1
Suppose j + v + 2 = 3*j, 2*j = -3*v - 14. Let d(c) = -16*c - 4. Let a be d(j). Solve n + a = -3*n for n.
-3
Let y(l) = 8*l**2 + 40*l + 4. Let i be y(-5). Solve -t + i*t = 4*t for t.
0
Let h(t) = -52*t + 64. Let s be h(1). Solve s*l = -57 + 21 for l.
-3
Suppose 7 = 3*f - 53. Let w(c) = c**2 - 2*c - 10. Suppose -2*d + 36 - 26 = 0. Let h be w(d). Solve f = 5*q + h for q.
3
Suppose 382*b - 48 = 378*b. Solve 6*y = b*y + 12 for y.
-2
Let o = -369 - -370. Solve 2*r - o = -7 for r.
-3
Let f be 12/(-42) + 4/14. Suppose f = 12*w - 9*w - 9. Let d be w + 1 + 3 + -4. Solve d*n = -n for n.
0
Let c(k) = -k - 10. Let b be c(-7). Let v be (15/2)/(b/4). Let u = 13 + v. Solve 9 = -2*x + u for x.
-3
Let u be ((-1200)/250)/(2/(-5)). Solve -16*p = -12*p + u for p.
-3
Suppose h = -0 + 2. Let p(u) = 2*u - 1. Let s be p(h). Let l be ((-2)/(-2) - -1)*(-7)/(-2). Solve l*f + 16 = s*f for f.
-4
Let l = -8 - -11. Suppose -15 = -l*d + 3. Solve -d*r + r = -25 for r.
5
Suppose -4*l + 146 = -5*t, -5*l - 5*t = -0*l - 205. Solve 1 + l = -10*z for z.
-4
Let h(o) = 3*o + 3. Let c(b) = b. Let f(s) = c(s) - h(s). Let u be f(-4). Let g be -3*(-2 - (-4)/3). Solve x + u = g*x for x.
5
Let w be ((-80)/(-5))/2 + 95. Solve -9 = -106*x + w*x for x.
3
Suppose -3*u = -u + 4*k + 24, 0 = 3*u + 5*k + 32. Let i(a) = 2*a**2 + 5*a - 2. Let m be i(u). Solve -4*q = q + m for q.
-2
Let d be (36/30)/((-12)/(-20)). Solve 0 = -d*h - 5 + 3 for h.
-1
Let z(j) = j**2 - 2*j + 2. Let f be z(0). Let l = 1 - 0. Let n be l + -2 + 2 - -1. Solve n*x + f = -0 for x.
-1
Suppose 5*o + 7*r - 3*r - 37 = 0, 2*r - 26 = -4*o. Solve 0 = j - 0*j - o for j.
5
Let g = 351 - 344. Solve g = -4*t - 5 for t.
-3
Let o(m) = m**3 - m**2 - 4*m + 6. Let j be o(2). Let c be (j/(-2))/((-2)/8) + 4. Solve c + 4 = -4*f for f.
-3
Let a = -610 - -614. Solve 3*f - 8 = a for f.
4
Let f = 70 - 63. Suppose -12*r + 2*r - f*r = 0. Solve r = 5*c - 2 - 8 for c.
2
Let q = 46 - 72. Let k be (-10)/(-4)*q/(-5). Solve k - 5 = 2*w for w.
4
Let a(u) = -u**3 - 5*u**2 + u - 3. Let g be a(-5). Let n be -1 - 1 - g/2. Suppose -n*s = -14 + 2. Solve -v + s = 4 for v.
2
Let c(l) = -2*l - 72. Let u be c(-30). Let p be 22/8 + (-3)/u*1. Solve p = -4*n + 15 for n.
3
Let x be 1/4 + 121/(-4). Suppose -32 = t - 0*t - 3*h, 2*t - 4*h = -66. Let d = x - t. Solve -d*f - 1 = -16 for f.
3
Suppose -14*o = -17*o. Let h be 5 - 544/(-28) - 8/(-14). Solve 5*i + 0 - h = o for i.
5
Let v = 0 + 0. Let s = -107 - -109. Let r be 12/8*(-8)/(-6). Solve s*q + r*q = v for q.
0
Let m be 40/6*6/(-5). Let s = 1 - m. Suppose s*o = 12*o - 6. Solve 0 = -o*h - 0*h for h.
0
Let l = 29 + -24. Suppose l*n + 5*f - 105 = 0, 3*n - 5*f + 3*f - 78 = 0. Solve n = -4*v + 8 for v.
-4
Let s be (0 - -3) + (10 - 11). Suppose 23*p = -0*p + 207. Solve -s*x = -5*x - p for x.
-3
Let u be -4 + 2 + 2 + 19. Let a(k) = -k**3 + 16*k**2 + 16*k + 35. Let s be a(17). Let j = u - s. Solve -3*d + j = -4*d for d.
-1
Let z(f) = -2*f**2 - 15*f - 16. Let g be z(-5). Let q be ((-4)/6)/((-6)/g). Solve p - q = -6 for p.
-5
Suppose 0 = -2*r + 7 - 25. Let x be (r + 1)/(-7 + 5 + 0). Solve x + 1 = -5*m for m.
-1
Suppose 0 = -3*k - 15 - 0. Let s be k/(-2) + 6/4. Solve -s*f - f + 25 = 0 for f.
5
Suppose -4*u + 3*u = -2. Suppose -6 = -u*n + 34. Let g = n + -17. Solve z = -g*z for z.
0
Let n = 981 + -978. Solve 0 = -12*w - n + 3 for w.
0
Let z(l) = 17*l + 143. Let m be z(-8). Solve -m = -4*w + 9 for w.
4
Let m be -1*2/4*-4*5. Let a(g) = -g**2 + 11*g - 8. Let b be a(m). Solve -w + b*w = 5 for w.
5
Let a(c) = -c - 2. Let i be a(-6). Suppose -2*l = 5*m + 6, -5*l + 6*l + 3 = -m. Suppose m = -i*q + 2*q. Solve 2*s + q*s - 6 = 0 for s.
3
Let s = -1136 + 1142. Let f(r) = -r**3 - 3*r**2 - 2*r - 4. Let k be f(-3). Solve -k*c = -s*c + 8 for c.
2
Let b(a) = 10*a - 1. Let k be b(-1). Let z = -3 - k. Suppose -z*f + 7*f = 0. Solve 0 = -f*r - r for r.
0
Let q = 974 - 971. Solve 14*b - 11*b = q for b.
1
Let r be 2/(-4) + 135/(-18). Let y = r + 23. Solve y = -3*z - 0 for z.
-5
Let p(t) = -t**2 + t + 5. Let d be p(3). Let s be (-8)/24 - d/3. Solve 4*q - q = s for q.
0
Let g(a) = 258*a + 1549. Let h be g(-6). Suppose 3*m = 2*m + 10. Suppose m = c + c. Solve 0 = -c*z - 4 - h for z.
-1
Suppose z + 4 = 2*z. Let u(o) = -o**3 + 3*o**2 + 5*o - 3. Let d be u(z). Let n be d/(-4) - (-36)/16. Solve 3 = b - n*b for b.
-3
Let n(w) = -21*w - 16. Let a be n(-1). Solve a*h + 27 - 37 = 0 for h.
2
Let r be 0/((-1)/(3 + -4)). Suppose 4 = -r*i + 2*i. Solve -i*p = -6 + 2 for p.
2
Let k(r) = r - 3. Suppose 0*t + 5*d + 23 = 3*t, -5*t - d = -57. Let x be k(t). Solve -4*c - x = -0*c for c.
-2
Suppose 0 = 2*x + 2*x - 20. Suppose -5*u + 20 = 35*h - 39*h, -2*u = 2*h + 10. Solve u = 4*s - 3*s - x for s.
5
Let d(v) = 132*v + 4. Let x be d(0). Solve 7*z - 9 = x*z for z.
3
Let u(g) = -3*g + 28. Let h be u(10). Let d = -2 - h. Solve 12 + d = -3*x for x.
-4
Let i(d) be the third derivative of d**5/30 - 3*d**4/4 + d**3 + 27*d**2 - 1. Let w be i(9). Suppose -b - 5 = -2*b. Solve -3*h - w = -b*h for h.
3
Let w = 29 - 25. Solve 0*o + w*o + 16 = 0 for o.
-4
Let o be (392/(-35))/(4/(-10)). Let d = 30 - o. Suppose 4*c - 2*c - d*k - 14 = 0, -3*k - 29 = -5*c. Solve -c*h = 14 - 2 for h.
-3
Let w(z) = z**2 - 5*z - 6. Let c be w(-4). Let r = c + -30. Solve r = 4*t - 4 - 0 for t.
1
Suppose -n - 6 = -3*n + l, 2*n + l = 14. Solve 71 - 66 = -n*j for j.
-1
Suppose -8*p = -11*p. Solve p = -2*i - 0*i - 4 for i.
-2
Let y(c) = 2*c**3 - 4*c**2 + 5*c - 5. Let p be y(2). Let w = 28 - 25. Suppose 0 = w*l - 7*l. Solve -f = -l + p for f.
-5
Let w be (20 + -49)*1*-1. Suppose -13 = -14*o + w. Solve 2*n - 10 = -o*n for n.
2
Let d(r) = 8*r**2 + r - 2. Let u be d(-2). Suppose 5*y + u = 9*y. Let f(z) = -z**2 + 7*z + 4. Let a be f(y). Solve a*s - 1 = 11 for s.
3
Let t = -25 + 13. Let x be (28/8)/7*t. Let m be (-4)/6 + (-16)/x. Solve m = 2*y + 4 for y.
-1
Let n(h) = h**3 + 4*h**2 - 6*h + 2. Let d be n(-5). Suppose -96 = -11*a + 146. Solve 5*p - a + d = 0 for p.
3
Let m(t) = -19*t**2 - 176*t - 45. Let w be m(-9). Solve w = 7*x + 28 - 63 for x.
5
Let y = 50 - 45. Suppose w = -5*r + 4 + 8, -5*w + 60 = -y*r. Solve -4*h - 4 + w = 0 for h.
2
Suppose -4*m - 1 = -5*m. Suppose -3*q - m = -10, 3*v + 4*q - 27 = 0. Let b = -798 + 800. Solve 12 = -v*z + b*z for z.
-4
Suppose 220 = 14*q - 60. Solve 0 = -q*g + 13*g - 7 for g.
-1
Let d = -310 + 313. Solve d*f - 6*f = 0 for f.
0
Let h = -862 - -865. Solve -5*t - h - 2 = 0 for t.
-1
Suppose 10*m - 54 = 8*m. Solve -31*l = -22*l + m for l.
-3
Let l be (44/(-88))/((-3)/(2 - -316)). Solve -8*o - l = -85 for o.
4
Suppose 1226 = g + 1221. Solve 6*v - 1 = g*v for v.
1
Let k be (-1 + 2)*1 - 1. Let t = 259 + -253. Suppose -t*i + 10*i - 8 = k. Solve -i*m - 3*m = 0 for m.
0
Let w(t) = -t**2 + t + 15. Let s be w(0). Solve -14*n - 2 = -s*n for n.
2
Let z = 1182 - 1181. Solve 4 - z = 3*s for s.
1
Suppose -24*a + 160 = -19*a. Solve -a = -6*v - 2 for v.
5
Let i = 120 + -111. Solve 5*j - 14*j = -i for j.
1
Suppose w = r + 12 - 1, -3*r = -2*w + 31. Let z be (3/2)/(r/(-12)). Solve -z*j = -5*j for j.
0
Suppose 7*p - 2*p = -5*y + 95, -2*y + 5*p = -66. Solve -3*v + 8 - y = 0 for v.
-5
Suppose 0 = -2*g + 4*g + 20. Let o be g/6*(-306)/85. Let i = -28 + 44. Solve o*c = 2*c - i for c.
-4
Let r(j) = j**2 + 5*j + 13. Let t be r(-8). Let l = 37 - t. Solve l*w + 4*w = -8 for w.
-2
Let g be 38/(-2) + 1/(-1). Let l be (-32)/g*5/2. Suppose -144*p + 133*p = -88. Solve l*a = 