3*q(d). Let v be k(8). Let l = 5 + v. Solve m = -l + 3 for m.
3
Let h(c) = -5*c - 30. Let f be h(-7). Let g = 12 - f. Solve -9*a + g*a = -6 for a.
3
Let n be 22/165 + (-4826)/(-30). Let a be ((-276)/n)/(9/(-7) - -1). Solve -4*h = -a - 2 for h.
2
Suppose 0 = -14*n + 10*n - 116. Let p = n - -29. Solve -2*c - 2 = -p for c.
-1
Suppose -l - 26 = 6*c, -2*c - 9 = -2*l + 9. Solve -17*o + 13*o - l = 0 for o.
-1
Suppose 0 = 5*a - 0*a. Suppose 0*p = 2*u - 4*p + 4, 0 = u + p - 4. Solve u*y + 5 - 1 = a for y.
-2
Suppose -5*v + t = -3*t + 113, 0 = v + t + 28. Let g = v - -30. Solve g*r - 10 = 15 for r.
5
Let j(p) = -p + 11. Let f = -5 + 10. Suppose -t - 10 = 4*u, 0 = -f*t - 5*u + 6 + 4. Let i be j(t). Solve q - i = -0 for q.
5
Suppose 5*i - i - 44 = 0. Let q = i - 3. Suppose 4*v - q = 8. Solve 2*a = v - 0 for a.
2
Let g(c) = c**2 - 5*c - 3. Let b be g(6). Suppose t = -b*t + 16. Suppose t*r + a - 103 = 0, 2*r - 2*a = 3*a + 35. Solve -2*y = 3*y + r for y.
-5
Suppose 0 = 3*k - 2*h + 6*h + 9, 0 = -3*k - h. Let n(x) be the first derivative of 7*x**4/4 + x**2/2 - x - 1. Let q be n(k). Solve -8 = 3*l + q for l.
-5
Let f(h) = -h**2 + 7*h + 7. Let x be f(5). Suppose 0 = -b + 20 - x. Suppose b + 10 = 3*r + 2*c, -4*c = 5*r - 25. Solve 3 - r = -a for a.
-2
Suppose -12*p + 235 = -29. Suppose p*r = 27*r - 15. Solve 0 = -l - 8 + r for l.
-5
Let a(d) = d**3 + 8*d**2 - 10*d - 9. Suppose 5*x = -3*r - 12, 4*x = -2*r - 0 - 6. Let k be a(r). Solve k = -0*p + 2*p for p.
0
Let y = -671 + 674. Let j(a) = -a**2 - 7*a - 10. Let u be j(-4). Solve y = u*s - 3 for s.
3
Let m(g) = g**3 + 6*g**2 - 2*g - 10. Let r be m(-6). Suppose 5*t - 3 = n, 0*t + 2 = r*n - 2*t. Solve -n*d - 10 = -7*d for d.
2
Suppose -4*f = -0*f - 3*l - 24, 2*f - 3*l = 18. Suppose 14 = -4*i + y + 32, 7 = 3*i - 4*y. Solve -4*s = i + f for s.
-2
Suppose -13*g + 8*g + 285 = 0. Let i = g + -52. Solve -1 = -i*j + 19 for j.
4
Let f = 1846 + -1844. Solve 8*z = -f - 38 for z.
-5
Let n be (-51)/4*(1 + 3). Let l = n - -54. Solve 5*o - l = 2 for o.
1
Let s(y) = -y**2 - 4*y + 4. Let t be s(-5). Let x be t/3 + 84/36. Let c be 4 + -3 + 0 + 0. Solve c + x = o for o.
3
Let p(w) = w**3 + w**2 + w - 1. Let d be p(1). Suppose -4*x = -7*v + d*v - 156, -4*v = x - 60. Suppose 4*n - x = -12. Solve 0 = -5*y + 2 + n for y.
2
Suppose 0 = -c + 5 + 6. Suppose 2*m = -c*m. Solve m = t + 3 - 1 for t.
-2
Let x be ((-6)/(-2))/((-12)/(-124)). Let w = x + -25. Let z be 0*((w - 2) + -3). Solve z = 5*b - 11 - 4 for b.
3
Suppose -2*r + 4*r + 18 = 0. Let n = -96 + 107. Let l = r + n. Solve l*h - 3 = 1 for h.
2
Let c be -1 - -6 - -3 - 5. Solve 0 = -c*u + u + 10 for u.
5
Let r = 14 + -4. Suppose r = i - 0. Suppose w + 5*j + i = 0, w + 4*w = j + 2. Solve w = f - 0*f for f.
0
Let c(p) = p**3 - 7*p**2 + 35*p + 15. Let z(a) = a**3 - 8*a**2 + 35*a + 14. Let t(o) = -5*c(o) + 6*z(o). Let m be t(9). Solve m*l = -4*l - 12 for l.
-3
Suppose 11*h = 6*h. Let t = -14 - -20. Solve h + t = -2*v for v.
-3
Let h be (-2)/8*4 - 3/(-1). Suppose 0 = -5*b + 4*b + h, 3*t = b + 31. Solve 0 = -3*r + t + 1 for r.
4
Suppose -4*k + 0*l = 2*l - 114, 5*l = 2*k - 27. Let o = -24 + k. Solve 0 = -0*i + o*i - 10 for i.
5
Let b = -26 - -28. Let k be -4 - -11 - (3 - 3). Let j be 11/k + 24/(-42). Solve -b*p + p - j = 0 for p.
-1
Let r be (-2 - -3)/(-1) + 5. Let f be 11 + (r - 5)*3. Let x be ((-4)/8)/((-2)/f). Solve -y - 5 = -x*y for y.
5
Let p(d) = d**3 + 3*d**2 - 3*d + 4. Let k be p(-4). Solve -3*i + 49 - 52 = k for i.
-1
Suppose 2*r - 2 = -0*y + y, 2*y + 2*r = 14. Solve y = -8*a + 6*a for a.
-2
Suppose 10 = 8*a + 10. Suppose a = 17*b - 21*b. Solve b = 4*t + t for t.
0
Let m = -68 + 78. Suppose -4*k + 8 + 16 = 0. Solve 4*i - m = k for i.
4
Suppose -5*j = 4*b - 201, -2*b + 7*b = 20. Suppose -j = 6*k - 5*k. Let o = 62 + k. Solve n - 6*n = -o for n.
5
Let b = 72 + -78. Let j = b - -10. Solve 4*c + j = 24 for c.
5
Let j(f) = f**2 + 17*f - 19. Let a be j(-18). Let i be a - 3*(0 - 1). Solve q + i = 4 for q.
2
Let m = 67 + -78. Let l(s) = 13*s**3 - s**2 + s + 1. Let a be l(-1). Let i = m - a. Solve 7*k - i*k + 8 = 0 for k.
-2
Let n be 6/9*9/2. Let z be n/(-12) - 51/(-12). Suppose 8 = z*i - 2*i. Solve -q + i = 3*q for q.
1
Let l(i) = 2*i + 15. Suppose -b + 47 = 54. Let p be l(b). Solve d + 0 = p for d.
1
Let h(d) = 2*d**3 - 9*d**2 + 13*d + 6. Let t be h(3). Solve t*m - 12 = 15*m for m.
4
Let k = -31 + 16. Let w be 3 + k*(0 + -1). Let n = 21 - w. Solve 1 = 4*i - n for i.
1
Suppose -g = h, -4*g + 18 = -9*h + 4*h. Solve 40 = g*y + 36 for y.
2
Suppose 30 + 6 = 9*j. Solve j = -2*s - 2 for s.
-3
Let l = 25 + -23. Solve -j + l*j = 2 for j.
2
Let a = 32 - 38. Let x be a/4 - 33/(-22). Solve x = -j - 3 - 1 for j.
-4
Let x(o) = -3*o - 4. Let w be x(-3). Let d(q) = 2*q - 8. Let g be d(10). Let s = 16 - g. Solve -s*t = 25 - w for t.
-5
Let j be 1/(4/(-8)) + 7. Suppose -j = -5*g + 5, -5*g = -2*z - 6. Solve 0 = z*i + 3*i + 10 for i.
-2
Let c(j) = -j**3 + 5*j**2 + 11*j - 13. Let i be c(6). Suppose -1 = -i*h - 1. Solve h = n + n for n.
0
Let g = -145 - -161. Solve 4*a + 0*a + g = 0 for a.
-4
Let w = 231 + -211. Solve 6*v = 2*v - w for v.
-5
Let w(m) = m**2 + 19*m + 48. Let g be w(-17). Solve g - 4 = -2*p for p.
-5
Suppose -11*h = -8*h + 12. Let z be 6 + (h - -3) - 0. Solve -z*s = -7*s - 4 for s.
-2
Suppose 4*l = -3*o + 8, 5*l = -0*o + 2*o + 10. Let w = 9 + o. Suppose -2*m + w = m. Solve m - 4 = y for y.
-1
Suppose 167*z = 152*z + 300. Solve -z = 5*b - 10*b for b.
4
Let r = -1403 + 1433. Solve 0 = -r*i + 24*i - 30 for i.
-5
Let w = 1296 + -1291. Solve 0 = w*a + 3 + 12 for a.
-3
Let q = 970 - 927. Solve 10*w + q = 3 for w.
-4
Let t(p) = -p + 6. Let v be t(0). Suppose -4*h = 5*f - 32, 5 = 5*f - 3*h - v. Solve 7*l - f*l = 12 for l.
4
Let q be 18 + -14 - (1 + 1). Solve -5*x - q = 3 for x.
-1
Suppose 0 = -80*c + 444 + 196. Let a be 5 + 0 + 1 + -1. Solve -c*p + a = -3*p for p.
1
Let z = -27 + 17. Let y be ((-16)/z)/((-12)/(-30)). Suppose -y*c = -8*c. Solve 2*n - 1 + 9 = c for n.
-4
Suppose 5*k = -4*q - 0*k + 64, 0 = -2*q - 4*k + 32. Suppose 5*o - 38 = 27. Suppose -p = -2*c - 3 + o, -5*p = 10. Solve q = -0*x + c*x for x.
4
Let m(b) = -2*b**2 - 6*b + 2. Let f be (1/(-1))/(4/12). Let w be m(f). Solve -u - u = -w for u.
1
Suppose 3*j = k + 52, -3*j + k + 48 = -2*k. Solve -5*y + 11*y = -j for y.
-3
Let y = -101 + 115. Let l = y - 12. Suppose 2*f - 36 = -f. Solve l*q - f = 6*q for q.
-3
Suppose 14*j - 9*j + 4*v = 34, 2*j - 2*v - 10 = 0. Solve -3*r - 12 = -j*r for r.
4
Let h = 105 + -37. Let u be (4 + h/(-14))/((-6)/28). Solve -u*c = 5 - 1 for c.
-1
Let u = 19 - -4. Suppose -3*m = -2*h + u, 10 - 27 = -3*h + m. Suppose -5*s - 3 + 23 = 5*c, -5*s = -4*c + 16. Solve 4*p = h - s for p.
1
Suppose 38 = 4*p + 3*z, -2*z + 0 + 4 = 0. Solve p*y - 12*y = -20 for y.
5
Suppose -5*b - 6 - 4 = -5*w, 0 = 3*b + 5*w - 26. Suppose -2*m = -6*m + 20. Solve m*k = -13 - b for k.
-3
Let v be -5 + 9/(6 + -5). Solve -v*u + 16 - 8 = 0 for u.
2
Let y = -46 - -47. Solve -5*r + y = -4*r for r.
1
Suppose 2*l + 0*l = -5*l. Let c be ((-2)/2)/(-2)*l. Solve c = -j + 4*j + 9 for j.
-3
Suppose 0 = -66*a + 79*a - 26. Solve a*j = -23 + 17 for j.
-3
Let k(r) = -r**2 + 8*r - 6. Let t be 24/((-12)/4)*-1. Let q be k(t). Let c(s) = -s**3 - 6*s**2 + 2. Let g be c(q). Solve g*l + 7 = 1 for l.
-3
Let a(c) = -c**3 + 6*c**2 + 75*c - 30. Let x be a(12). Solve 7 - 19 = x*b for b.
-2
Let b = -601 - -605. Solve 2*c - 6 - b = 0 for c.
5
Suppose -5*s + 5*b = b - 61, 2*s + 6*b + 6 = 0. Solve s*m - 2*m + 14 = 0 for m.
-2
Let i(d) = 2*d - 13. Let p be i(9). Solve -15*t - 10 = p for t.
-1
Let y(p) = -p**3 - 7*p**2 - 5*p + 8. Let z be y(-6). Let t be ((0 - -1) + 5)/z. Suppose -f + 4*v + t = -0*f, -3*f + 54 = 3*v. Solve 3*u + f = -0*u for u.
-5
Let c(s) = 8*s - 121. Let a be c(17). Solve 4*k - 7*k + a = 0 for k.
5
Suppose f - o = -3*o + 6, f - 5*o + 1 = 0. Let k be f - (0 + -2 + 3). Solve -k*p + p = -8 for p.
4
Suppose -322 = -48*s + 2126. Solve -3*f - s = -36 for f.
-5
Let t = 6 - 3. Let l be (10/3 - 0) + (-1)/t. Solve 0 - l = -c for c.
3
Let m be (-3 + 8)/((-1)/(-5)). Let v = 0 - -2. Let t(l) = l**2 + 9*l + 11. Let f be t(-8). Solve -v*o - f*o = m for o.
-5
Let s = -10 - -16. Let b be 3/(s/(-2)) - -1. Solve -t - 1 - 1 = b for t.
-2
Let t be (-4 - -5)/(1/3). Let z be (-1)/t + 3/9. Suppo