a.
-1
Let p(o) = -8*o + 1. Let t be p(-2). Let q = t + -13. Suppose 0 = -f - 5*r - 7, -4*f - 2*r - 2*r + q = 0. Solve -7 - 2 = f*v for v.
-3
Let f(l) = -l**3 - 10*l**2 - 11*l - 15. Let v be f(-9). Suppose -5*d + 59 = -0*w + v*w, 5 = 2*d - 5*w. Solve 0*j - d = 2*j for j.
-5
Let w(v) = 3*v**3 - 2*v**2 + 2*v + 8. Let q be w(2). Solve -4*d = -40 + q for d.
3
Suppose -5 + 6 = 2*x + 5*j, 0 = x - j - 4. Solve x = -3*v - 0 for v.
-1
Suppose 7*z = 28 - 14. Solve z*v = -8*v + v for v.
0
Let n(c) = 2*c**2 - 51*c - 141. Let z be n(28). Let a(l) = -l**3 - l**2 - l + 1. Let b be a(0). Let k = b + z. Solve k = i + i for i.
0
Suppose 16 = 4*d + m, -3*d = 2*d - 3*m - 3. Suppose 2*z - 5 = -d*z. Suppose -c - 9 = 5*r - 1, -40 = -4*c + 4*r. Solve -3*u - z = -c for u.
2
Let n(q) = -q**2 - 7*q - 8. Let r = 16 + -6. Suppose -5*t = 15 + r. Let u be n(t). Solve -d + 2 = -u for d.
4
Suppose 183 = -3*p + 189. Let m = -9 - -10. Let u be 1 - (-6 + 3 + m). Solve u*n + p*n + 25 = 0 for n.
-5
Let m = 5 - 3. Let k(s) = -64*s - 1600. Let z be k(-25). Solve m*q + z*q = -6 for q.
-3
Let j be (-3)/(-5) + (-256)/10. Let p = j + 28. Solve 2*z = 5*z - p for z.
1
Let w(q) = q**2 - 3*q + 1. Let x be w(2). Let n(j) = -10*j - 2. Let i be n(x). Solve 3*r + i - 17 = 0 for r.
3
Let f(h) = 9*h**3 - 2*h + 1. Let m be f(1). Let o be m/24*(0 + 36). Suppose -2*l = -4*l - 2*d + 2, -5 = -l + d. Solve o = -l*q - 0 for q.
-4
Suppose -r = 2*r - 48. Let k be 7 + (-160)/24 - 64/(-24). Solve -k*x + r = x for x.
4
Suppose -198 = -3*t + 69. Solve t*j - 84*j = 10 for j.
2
Let n(a) = a**2 + 5. Let l be n(-4). Let i = 26 - l. Solve p - 3 = -i for p.
-2
Let y be (-6)/(-4) - 10/20. Solve -y - 19 = -5*c for c.
4
Let g be (-74)/(-9) + 6/(-27). Suppose -2*b = -4*z - 18, 2*b - 6*b + 5*z + 27 = 0. Let x = 2 + b. Solve -7 - g = x*o for o.
-3
Let u = 213 - 201. Solve u*a = 7*a + 15 for a.
3
Suppose -5*f = 4*h + 61, h + 17 = 3*f - 6*f. Suppose -5*r + 172 - 2 = 0. Let q = r + h. Solve q = -v + 5*v for v.
5
Suppose -29 + 1 = -4*o. Suppose o = 5*y - 3. Suppose a + x = 3, 3*x + y*x - 11 = -4*a. Solve -4 - a = 4*v for v.
-2
Suppose -5 = -15*a + 295. Solve -6 = a*i - 23*i for i.
2
Let d(q) = -q - 4. Let u be d(-8). Suppose u*z = -2 + 22. Suppose 33 = z*p - v, -4*p + 4*v + 30 = -p. Solve 15 = p*i - 3*i for i.
5
Let a(r) = r - 8. Let w be a(9). Let h be 29 + 12/(-4 + w). Let o = h - 25. Solve o = -0*j - 2*j for j.
0
Let x = -119 + 54. Let t = 65 + x. Solve t*d = 4*d for d.
0
Let b(l) = -l**3 - 4*l**2 + 32. Let s be b(-5). Solve -s = 5*y - 77 for y.
4
Let l(z) = z**3 - 7*z**2 - 10*z + 18. Let x be l(8). Let t be (-1 - x/(-3))/(2/(-18)). Solve t*v = 2 + 1 for v.
1
Let d(x) = x**3 - 3*x**2 - 9*x - 1. Let p = -3 - -8. Let w be d(p). Solve 3*q + w = -5 for q.
-3
Let t be 12/(-21) - 25/(-7). Solve 0 = t*w - 4 + 16 for w.
-4
Suppose -5*z + 8 = -z. Solve -9*v = -z*v + 14 for v.
-2
Let h(r) = -22*r**3 - 3*r**2 - 2*r - 1. Let j be h(-1). Suppose -4*m - 5*g + 3 + 41 = 0, -g - j = -4*m. Solve 0 = 7*w - 4*w - m for w.
2
Let p = -79 + 90. Solve p*s = 13*s for s.
0
Suppose -4*i = 2*m - 48, 5*m - 4*i - 48 = 30. Suppose 0 = -4*o + u - 3*u + m, 0 = -o + u. Solve 12 = -t - o*t for t.
-3
Let m = -1606 - -1655. Solve -m*s + 12 = -45*s for s.
3
Let a = 9 + -13. Let d(i) = -2*i - 5. Let l be d(a). Suppose l*p - 35 = -3*g - g, -5*g = 2*p - 42. Solve 4*q = 8*q - g for q.
2
Let o be ((-24)/20)/(4/(-40)). Solve -69*v + 73*v - o = 0 for v.
3
Suppose s - 12 + 2 = -r, -3*r = -4*s - 9. Solve -7*q + 14*q - r = 0 for q.
1
Let d = -34 - -43. Suppose 2*z = 5*v + 11, -4*z - 5*v = -2*v - d. Solve -w = z*w + 4 for w.
-1
Suppose -3*q = -5*w + 4*w, 2*w - 8 = -2*q. Suppose -6*v + 75 = -w*v. Solve -4*t = t + v for t.
-5
Let n = -1 - -5. Suppose 15 = n*u + 3*t, 0*u = -3*u + 3*t - 15. Solve u = -6*g + 2*g for g.
0
Suppose 0 = 4*o - 8*o + 4*x + 56, -2*x - 4 = 0. Solve -o*w + 42 = 2*w for w.
3
Suppose 34 - 24 = 5*w. Solve 0 = o - 6 + w for o.
4
Suppose 0 = -27*a + 20*a + 84. Solve -i + a - 8 = 0 for i.
4
Let u(i) = -i**3 + 20*i**2 - 18*i - 14. Let a be u(19). Suppose 0 = -4*b + a*d + 11, 5*d + 11 - 54 = -2*b. Solve -3*q = b + 3 for q.
-4
Let r = 102 + -102. Let q be 2*(-4 + 3 + 2). Solve -a - q = -r*a for a.
-2
Let o be (-21)/(-3) + -1 + 19. Solve o*t - 14 = 36 for t.
2
Let o(w) = -30*w - 10 - 38*w + 65*w. Let j be o(-5). Solve -a = -j*a for a.
0
Suppose -28*a + 80 = 24. Solve -a = 3*l - 2*l for l.
-2
Let w = 77 + -140. Let f = w - -43. Let i = 20 + f. Solve i = 4*p - 5*p + 1 for p.
1
Suppose 91*u - 72 = 67*u. Solve -15*w + 33 = u for w.
2
Let q = 324 - 324. Solve q = 11*l - 10*l - 3 for l.
3
Let d be 22/66 + 14/(-6). Let t(i) = 6*i + 19. Let o be t(d). Solve -o*h + 16 = -3*h for h.
4
Suppose -187*v + 183*v + 472 = 0. Solve -5*l = 103 - v for l.
3
Let n be (22/6)/((-2)/(-6)). Let f = 402 - 413. Let a = n + f. Solve a = 3*i - 8*i - 5 for i.
-1
Let w = 2330 + -2324. Solve 35*z = 38*z + w for z.
-2
Suppose 3*a - 14*o - 24 = -16*o, -5*a - 4*o = -42. Solve 0 = -a*i + 2 - 8 for i.
-1
Let l be (-210)/(-60) - (-14)/4. Solve -10 = -5*f + l*f for f.
-5
Suppose -5*w = 4*a + 43, -4*w + 0*w - 35 = 3*a. Let i(u) = -u**3 - 11*u**2 - 3*u - 8. Let j be i(w). Let g = 129 - 123. Solve n - g*n + j = 0 for n.
5
Suppose o - 36 = 7*o. Let f(l) = -l**3 - 7*l**2 - 7*l + 1. Let x be f(o). Suppose 4*u = -5*b + 24, 3*u + x*b = 2*b + 23. Solve 21 = -4*c + u for c.
-5
Suppose h + h - 20 = 4*g, -4 = -4*h - g. Suppose 3*q = 5*q + h. Let f be (-3*5/3)/q. Solve -f*d = -d - 12 for d.
3
Let a be (((-5)/4)/(-5))/((-18)/(-1008)). Solve a*j + 32 = 6*j for j.
-4
Let d(x) = -x - 4. Let s(y) = -2*y - 9. Let o(f) = 5*d(f) - 2*s(f). Let h be o(-2). Solve -3*t - t = h for t.
0
Suppose -g + 2*g - 3*k + 9 = 0, 2*g + 2*k - 6 = 0. Suppose g = -0*f + 2*f - 12. Let z(m) = -m**3 + 6*m**2 + m + 1. Let r be z(f). Solve r*i = 3*i for i.
0
Suppose -157*v = -149*v - 160. Solve 0 = x + 4*x + v for x.
-4
Let m be 6/(-10)*(7 - 12). Suppose 4*j - 2 - 2 = -2*z, m*j = -3. Solve 4*w = -0*w - z for w.
-1
Let g be 2/(-8) - (-10)/8. Suppose -4*s - 7 - 77 = 0. Let z(d) = -d**3 - 21*d**2 + 2. Let o be z(s). Solve -7 - g = -o*x for x.
4
Let y(h) be the first derivative of -h**4/4 - 5*h**3/3 - 3*h**2 - 2*h - 8. Let k be y(-4). Solve -o = -k*o - 20 for o.
-4
Suppose -5*x + 8*x - 2*c - 55 = 0, 95 = 5*x - 4*c. Solve -10*h + 7*h = x for h.
-5
Suppose 2*p = u - 3 - 5, -2*u + 1 = p. Let j = 10 + -7. Suppose 2*g - 3*g = -j. Solve g*a = u*a + 1 for a.
1
Let d be -1 + (2 + 2 - -3). Suppose 4*i + f - 12 = 0, 5*f - 4*f = 4*i - 4. Solve 0*p + d = i*p for p.
3
Let v = -65 + 65. Let c(y) = -y - 6. Let t be c(-8). Suppose -t*d + 10 = -v*d. Solve d*h - h = 0 for h.
0
Let u be 0 - (-15)/(9 + -4). Suppose -u*y - 3*o = -33, 2*y - 4*o + 6 + 2 = 0. Solve l = y*l for l.
0
Let p be (-154)/(-66)*2*9/6. Solve -3 = 5*j + p for j.
-2
Let u(m) = m**2 - m + 32. Let k be u(0). Let i = k + -26. Solve i = 5*j - 2*j for j.
2
Suppose -2*m + 95 = -7*m + 4*z, 0 = -2*m + 5*z - 55. Let n be ((-24)/m - 2)*-390. Let u be 1224/n - (-4)/26. Solve i - u = -i for i.
4
Let y(m) = 17*m**3 - 1. Let g be y(-1). Suppose -5*t + 57 + 43 = 0. Let s = g + t. Solve -s*x + 3*x - 5 = 0 for x.
5
Let o be -1*(-2 - -3)*-17. Let f = o - 1. Let j = f + -12. Solve -3 = -7*h + j*h for h.
1
Suppose -4*z = m - 5 - 7, 5*m = -2*z + 6. Suppose 0 = -z*t - 4*p - 16, -3 = -5*p - 23. Suppose -h + 5*a = -0 + 7, t = -h - 3*a + 17. Solve -3*y = -h*y for y.
0
Let g = -27 - -31. Suppose 0 = -2*s - 0 + g. Solve 2*t = -s - 0 for t.
-1
Let b = 716 + -711. Solve 0 = 3*a + b*a - 40 for a.
5
Suppose -t + 1 = -2. Solve -15 = -4*m - t for m.
3
Let o be ((-228)/285)/((-2)/15). Solve j - 14 = -o*j for j.
2
Suppose -50*o + 2387 = 637. Solve 16 = o*n - 43*n for n.
-2
Let k be (8/3 - 2)*3. Let z(p) = 4*p**3 - 36*p**2 + 5*p - 40. Let l be z(9). Solve -k*v + l + 3 = 0 for v.
4
Let x(c) = c**2 + 5*c - 4. Let g be x(-5). Let v be (-1589)/63 + g/(-18). Let a = v - -31. Solve 4*k - a = -2 for k.
1
Let x(l) be the second derivative of -l**5/120 + 13*l**4/24 + 5*l**3/6 - 5*l. Let c(b) be the second derivative of x(b). Let k be c(7). Solve y = k*y for y.
0
Suppose -5*l = 0, -3*d + l + 4 = -23. Let j(o) = -o + 25. Let k be j(d). Solve 0 = -r + 5*r + k for r.
-4
Suppose 50 = -10*u + 120. Solve -13*w + u*w = 18 for w.
-3
Let b(l) = -l*