ose -111 = -9*u - u - 81. Suppose -2*r = 3*r. Solve r = -u*b - 0*b for b.
0
Let b(y) = y**3 + 9*y**2 - 16*y - 3. Let c(j) = -2*j**3 - 19*j**2 + 32*j + 5. Let m(z) = -11*b(z) - 6*c(z). Let v be m(-16). Solve 2*o = -v*o for o.
0
Let a(k) be the first derivative of k**2/2 + 9*k + 8. Let c = 2 - 11. Let b be a(c). Solve b = 3*q + q - 4 for q.
1
Let s = 413 + -403. Solve 8*p + 8 = s*p for p.
4
Suppose -7 = 3*q + 5, -4*q = 2*j + 10. Let k = -155 + 170. Solve j*r + 2*r = k for r.
3
Let q = 324 + -324. Solve 3*l + 3 + 6 = q for l.
-3
Suppose 26 = -p + 5*j, 0 = 4*p + j + 51 + 11. Let s(t) = -2*t - 20. Let g be s(-18). Let o = p + g. Solve o = -a + 1 + 2 for a.
3
Suppose 0 = -5*c + 9*c - 16. Suppose w + 1 = c*v + 6, -10 = -2*w - 5*v. Solve 0 = w*h - 4*h for h.
0
Let w be 30*(2 - -3)/(-5). Let y = -26 - w. Solve b - 2 + y = 0 for b.
-2
Suppose 8*y - 167 = 1. Solve y*g - 15 = 26*g for g.
-3
Suppose 4*o - 46 = 26. Suppose 3*i - o = 5*i. Let l = i - -14. Solve -10 - 10 = -l*s for s.
4
Suppose 4*z + 137 + 155 = 0. Let y = -69 - z. Solve -y*b + 2*b - 4 = 0 for b.
-2
Let x be ((-21)/15)/(4/(-20)). Solve 2*g + x = 3 for g.
-2
Suppose v = -5*v + 162. Let p = -26 + v. Solve i = -0 - p for i.
-1
Let w = -24 - -20. Let q(k) = -k**3 - 5*k**2 - 7*k - 5. Let t be q(w). Suppose -t*u + 12 = -6*u. Solve -2*l + u = 2 for l.
5
Let f = 248 - 243. Solve 12 = -f*n - 13 for n.
-5
Let j be 3 + -3 - -2*(-2)/(-4). Solve -5*c - j = -4*c for c.
-1
Let f be 1 + (-382)/(-42) - (-8)/(-84). Solve -10 = -5*i + f*i for i.
-2
Let r be 4/10 - 72/(-20). Let x be -1*r/6*-12. Solve -3*q + 15 = -x*q for q.
-3
Let r be ((-9)/(-2))/((-10)/(-20)). Solve -o - 11 = -r for o.
-2
Let j(i) = -i + 7. Suppose 9*l = 5*l + 56. Let z be j(l). Let r = 23 + z. Solve -b + r = -5*b for b.
-4
Suppose 3*x + m - 7 = 2, 3*x + 4*m = 9. Solve 10 = x*c + 22 for c.
-4
Let n = 17 - 12. Suppose 7*u - 6*u - 13 = -n*t, 4*u = -t + 14. Solve -t*g - 2*g - 4 = 0 for g.
-1
Let m be ((-3)/9)/((-2)/18). Let y be (-9)/3*m/(-3). Solve -2*x + y*x = -2 for x.
-2
Let b(v) = 3*v + 2. Let k be b(-1). Let s = 1 + k. Suppose s = a - 0*a - 3. Solve 7 = -a*n - 5 for n.
-4
Let x be (5 - -1) + (-140)/20 - -20. Solve -20*s = -x*s - 2 for s.
2
Suppose 3*b + 19 - 76 = -5*h, -4*b = 3*h - 43. Solve 1 + h = 5*i for i.
2
Let p be -4 + (-91)/26*-2. Solve -g = 2 + p for g.
-5
Suppose -4 = -3*u + 5. Suppose a + 3 = -3*y + 19, 0 = -u*a + y + 8. Suppose -a = -5*m + 6. Solve -j = j - m for j.
1
Let d = 31 - 46. Let n = d + 12. Let f(x) = -3*x - 6. Let r be f(n). Solve r*m - m + 8 = 0 for m.
-4
Suppose 9*f - 24 = f. Let p = f + -3. Solve p = 5*a + 2 + 23 for a.
-5
Suppose 2*t + 20 = -f, -2*t - 3 = 2*f + 21. Let k(n) = n**2 + 11*n + 24. Let r be k(t). Solve r = y + 3*y + 20 for y.
-5
Let s be 4/6*(1 - 3)*-9. Solve -8*c - s + 44 = 0 for c.
4
Suppose -8 = 2*d - 4*h, -5*h + 9 = -2*d - 3. Let q(t) = t + 2. Let u be q(8). Solve d*p - u = -p for p.
2
Let n be (-112)/3*(-216)/(-48). Let i be n/(-20) - (-12)/(-30). Solve -2*w = -0*w + i for w.
-4
Let d be (-3 + 18/10)*40/(-6). Solve 3*u - 14 = -d for u.
2
Let v be (-162)/36*12/(-27). Solve 0 = v*t - 8*t + 30 for t.
5
Let l be 0 + 1 + (-4)/(-16)*20. Let v = -68 + 68. Solve 2*x - l = -v*x for x.
3
Suppose 84 = 2*k - 5*h, -2*h - 104 = -10*k + 7*k. Solve 0 = 4*y + k - 12 for y.
-5
Let u(q) = q**3 + 4*q**2 - 9*q - 10. Let r be u(-5). Let g(j) = -j**2 + 10*j. Let s be g(r). Solve s = -f + 2 + 2 for f.
4
Suppose 16 = 4*u - 4*k, 5*k + 14 = 2*u - 0. Let t(m) = -m**2 + 2. Let s(n) = -n + 3. Let z be s(3). Let g be t(z). Solve 0*a + u*a = g for a.
1
Let b = -45 + 47. Solve 0 = -b*k + k - 4 for k.
-4
Let y be 1/2*12/(-6). Let v be ((2/1)/y)/(-2). Solve 3*l + 8 = -v for l.
-3
Let h(c) = -c**3 + 3*c**2 + 10*c - 13. Let o be h(6). Let g = 64 + o. Solve -g*x + 1 = 7 for x.
-2
Let t = 28 - -1. Let p = 35 - t. Solve -8 = -2*u + p*u for u.
-2
Let x(w) = -w**3 - 7*w**2 - 10*w - 19. Let l be x(-6). Suppose -3*t - 3 = 3*d, -l*d + d = 4. Solve t*a = a + 2 for a.
-2
Let h be 20/8*(-4 + 6). Solve -h + 13 = -4*g for g.
-2
Suppose -37 + 9 = -4*v + 3*g, -3*v + 32 = -5*g. Solve 4*j = -v*j - 40 for j.
-5
Suppose 0 = 3*k - 8*k + 65. Solve 0 = 4*v - k*v + 18 for v.
2
Suppose 0 = -5*s - 0*s. Suppose -7*y + 11*y = s. Solve y = 6*m - 3*m - 3 for m.
1
Let i(n) = n**3 + 6*n**2 + 1. Let b be i(-6). Solve y + b = -0 for y.
-1
Let j be 1*(1 + 1) - -2. Suppose 8*z - 12*z = -40. Suppose -k + 2*k - 5*l - z = 0, 0 = l + 2. Solve j*n - 8 = -k*n for n.
2
Let d = 100 - 96. Solve -o = -0 - d for o.
4
Let a be 1/(-8 + 891/111). Solve -21*n + a = -47 for n.
4
Let g be (-25)/((-225)/(-4))*(-18)/4. Solve -g*i - i = i for i.
0
Let f be (3/(-3))/(-4*(-2)/(-56)). Solve 9*h = f*h + 6 for h.
3
Suppose 0 = 58*i - 94*i + 36. Solve -10*q = 11 - i for q.
-1
Let l = 435 + -430. Solve l*t - 16 = t for t.
4
Suppose 1205*r - 1212*r + 105 = 0. Solve -r*k = 5*k for k.
0
Let h(o) = o + 29. Suppose -67 = 3*v - 2*b, -5*v + 4*v - 29 = -4*b. Let w be h(v). Suppose -t - w = -2*z, 2*z + 3*z - 3*t - 21 = 0. Solve 0 = -y - z*y for y.
0
Suppose -4*h - l + 20 = l, 2*h = 2*l + 10. Suppose -4*y = y. Suppose -3*t - 2*f + 22 = y, 3*t + h*f + 40 = 5*t. Solve 0*w + t = 5*w for w.
2
Let o(i) = 22*i**3 + 2*i - 1. Let f be o(1). Let k = -5 + f. Suppose -4*r - 5*q = 3, 2*q - 4*q = -4*r + k. Solve -3 = r*u - 4*u for u.
3
Let l(o) = 3*o**2 + o + 6. Let j = -2 - -4. Let b(v) = -v**2 - v + 1. Let p(d) = j*b(d) + l(d). Let f be p(0). Solve -4*z = -f*z - 16 for z.
-4
Let q be (-38)/(-12) + 47/(-282). Let d = 11 - 13. Let m = 4 + d. Solve -5 = -q*c - m*c for c.
1
Let d = 138 - 138. Let y(j) = j**2 + j - 34. Let l be y(-7). Let c(n) = n**3 + 3*n**2 - 2*n - 3. Let r be c(-3). Solve d = -r*o - o + l for o.
2
Let w be 2/(-14) - (-29)/7. Suppose -3*y + 2 = w*h, 0*h + 4*h = -4. Suppose y*f + 2*f - 8 = 0. Solve 7*g = f*g + 25 for g.
5
Let p be -3 + (1 - -2) + -7. Let u = -5 - p. Suppose -4 = -2*s + h, -4*s + 0*h - 3*h + 8 = 0. Solve 0 = -s*i - u*i for i.
0
Let f(v) = 5*v + 97. Let x be f(-19). Let g(r) = -3*r. Let n be g(1). Let b = n - -3. Solve o - 2*o + x = b for o.
2
Let l = 10 + 62. Let v = -71 + l. Solve -v + 5 = -2*i for i.
-2
Let u(z) = 33*z - 24. Let b be u(5). Let n = b - 140. Solve 5*l - 4 - n = 0 for l.
1
Suppose -4*n = 2*y - 116, 6*n - 40 = 5*n + 5*y. Let i(g) = -3*g + 92. Let h be i(n). Solve -2 = h*f - 8 for f.
3
Let t(u) = -u**2 - 26*u + 7. Let j be t(-26). Suppose j*i = 1 + 13. Solve 0 = -i*s - 2 for s.
-1
Let h be 60/16 - (0 - 1/4). Solve -h*p + 2*p + 8 = 0 for p.
4
Let h be 14126/70 - 2/(-10). Let q be 6/(-27) - h/(-18). Suppose 4*f = 2*u - 6, -5*f + 3*u - 4 = 6. Solve 5*r + q = f for r.
-2
Let z be ((-2)/(-4))/(14/(-56)) + 6. Let r be (0 + 1)/((-54)/14 + z). Solve 3*i - r*i - 20 = 0 for i.
-5
Suppose -5*m = 3*q - 75, -36*m + 4*q = -38*m + 30. Solve -m = -n - 10 for n.
5
Let k be 200/72 + ((-80)/(-36) - 2). Let h = 3 - 2. Let z be 2/6*3 - h. Solve 0 = -z*a - k*a + 3 for a.
1
Let c = -443 - -450. Solve 32 = 5*q + c for q.
5
Suppose 7*s - 222 = -194. Let u(f) = 9*f**2 - f + 1. Let d be u(1). Solve -s*l = -d*l + 20 for l.
4
Let p(b) = b**2 + 51*b + 50. Let i be p(-50). Solve -2*d + 0 - 2 = i for d.
-1
Suppose -3*a = 3*k - 4 + 1, 3*a + 1 = k. Solve 2*y + 10 + a = 0 for y.
-5
Suppose r - 9 = s, 5*s + 2 = 7. Suppose 22*l = 62 + 4. Solve l*w - w = -r for w.
-5
Let a be (-1)/3*0/2. Suppose -5*u - 4*i = -2*i + 22, 0 = 3*u - 3*i + 30. Let m = 9 + u. Solve a = -j - m*j + 12 for j.
3
Suppose 3*b - 8 = -5*m + 30, 2*m - 2*b = 28. Suppose 0 = -5*k + 7*k - m. Suppose 2*n + k*s = 43, 5*n - 12 = 2*n + 3*s. Solve -3*y = n - 0 for y.
-3
Suppose 0 = 3*w + 3*x - 6, -5*w + 10 = -x - 3*x. Solve 6*a - w*a = 0 for a.
0
Suppose -3*j = 2*u + 521, 0*u - 2*u = -2*j - 344. Let z = j - -177. Solve -2*p + z*p = -4 for p.
-2
Suppose 14*r + 6 = 3*o + 9*r, -3*o + 4*r + 9 = 0. Solve -3 = 2*u + o for u.
-5
Let c be (150/(-54) + (-4)/18)*-13. Let v be (-115)/(-13) + 6/c. Solve 4*q - 1 = -v for q.
-2
Suppose -6*q - 4 = -2*q, -13 = -u + 3*q. Suppose u*c + 200 = 5*c. Let r = c - -40. Solve r = -4*x - 10 + 30 for x.
5
Suppose -1387*i = -1375*i - 192. Solve 0 = v + 13 - i for v.
3
Let j(g) = 31*g + 1. Let l be j(-1). Let f = -25 - l. Solve 0 = f*t + 6 + 9 for t.
-3
Let v = 181 + -180. Solve 5*c - 9 = v for c.
2
Let f(v) = -v**3 + 5*v