9 for k.
0
Let c = 4 + 17. Let u = -19 + c. Solve 2 = -0*g + u*g for g.
1
Let t(y) = -2*y**3 + 61*y**2 - 30*y + 3. Let r be t(30). Let k(i) = i**2 + 5. Let c be k(0). Solve -r*f - c = -2 for f.
-1
Suppose -2*y + 48 = 16. Solve 6 - y = -2*r for r.
5
Let h be (-9 - -14 - 9) + 1*5. Suppose 5*p + 9 - h = -2*c, 4*c = -3*p - 16. Solve -4*o + p*o = -12 for o.
3
Suppose v + 3*q = 8, -3*v - v = -2*q - 4. Suppose 6*s - 18 = 5*s. Let b be (4/(-6))/((-4)/s). Solve v*p + 25 = -b*p for p.
-5
Let f be (0/1)/(-5)*1/(-1). Solve f = -44*v + 42*v - 8 for v.
-4
Suppose -3*l - 2*a = -8*l - 228, 64 = -l + 5*a. Let p = l - -48. Solve 0 = -3*i + i + p for i.
2
Let f be 3/(-5) - 28/(-5). Suppose 0 = f*d + 8 - 18. Solve 3*z = d*z for z.
0
Suppose -2*g - 2*z - 3 = 3, z - 1 = -3*g. Let c be (-11*g/(-2))/1. Solve -c = -5*i + 9 for i.
4
Let j be 0 - 12 - 20/(-5). Let z be (-66)/j + 3/4. Let g = z + -1. Solve a + 3*a = g for a.
2
Suppose 19*c - 294 = 181. Solve -c = -3*p - 2*p for p.
5
Let h be 528/(-168) + (-2)/(-14) + 7. Solve 18 = -h*l + 10*l for l.
3
Let v be ((-16)/(-2)*-1)/(-2). Let c be (19 - 20)*15*-1. Suppose -i - v*i = -c. Solve 0 = 5*n - i*n for n.
0
Suppose -51*c + 753 = -1134. Solve 0 = -4*q + c - 33 for q.
1
Let s(y) = -y**3 + 16*y**2 - 16*y + 4. Let z be s(15). Let g be 7*1 - (z - -15). Let k be (3 + g*-2)*-1. Solve 2*f = f - k for f.
-3
Suppose -5*a = -4*u - u + 25, -5*u + 4*a + 22 = 0. Suppose 3*x + u*x = 0. Solve -6 = -x*d + 3*d for d.
-2
Let y = -45 - -48. Suppose -8*v + y*v = -55. Solve 3*h + 5 = v for h.
2
Let v = 22 + -15. Suppose -r - 8 + v = 0, -4 = -5*k - r. Solve -2*i - k = -3 for i.
1
Let g = 5 - 3. Let v(q) = q**3 + 9*q**2 + 9*q - 8. Let r be v(-7). Let m be (6/5)/(r/90). Solve -g*p + m = 12 for p.
-4
Let c(m) = -2*m + 33. Let l be c(16). Let p = -4 - -9. Let k = p - l. Solve -z + k = -2*z for z.
-4
Let f = 1480 + -1365. Solve -113*w + f*w + 10 = 0 for w.
-5
Let r be (-702)/(-819) + 36/7. Let p(x) = -4*x**3 - x - 1. Let c be p(-1). Suppose 5 = -c*a + 29. Solve 0 = -3*v + a + r for v.
4
Let w be 18/4*(-48)/(-9). Suppose -5*h - 4*n - 32 = 61, 2*h - 5*n + w = 0. Let m = -2 - h. Solve -7*j + 2*j = -m for j.
3
Let d = -1 + 3. Let w be (2/4)/(22/132). Solve -1 + w = -d*g for g.
-1
Let b = -2192 + 2207. Suppose -4*c = 2 - 22. Solve c*q + 0 = -b for q.
-3
Let y(f) = 3*f - 1. Let j(i) = 13*i - 4. Let n(w) = 2*j(w) - 9*y(w). Let g be n(-6). Let d = 10 - g. Solve 2*c = 5*c - d for c.
1
Let z(s) = s + 10. Let h be z(-7). Suppose -h*k = -15 - 0. Suppose 20 = 5*j - k. Solve 3*b + j + 7 = 0 for b.
-4
Let b = -34 - -38. Solve 0 = b*z - 11*z - 14 for z.
-2
Let w = 76 + -74. Suppose -f = f - 2*c, -w*c = -4*f + 8. Solve -f*j - 16 = -0 for j.
-4
Let z = -51 + 31. Let p = -2 - z. Solve -p = 5*m + 2 for m.
-4
Let y(b) = 5*b**2 + b + 2. Let d be y(-2). Let m = 11 - d. Let v be 74/10 + m/(-15). Solve -2*n + 0 + v = 0 for n.
4
Let i(v) = v**2 - 11*v + 7. Let z be i(11). Suppose -d - z = 17. Let m = -13 - d. Solve m = -3*q - 1 for q.
-4
Let f be (-3)/2*(-4)/3. Suppose 2*o + f = 6. Solve 0*d + 8 = o*d for d.
4
Let m be 4 + -4 + -1 - -41. Let r(u) = u - 3. Let k be r(7). Suppose -k*z - o - 17 + 57 = 0, 4*z = 2*o + m. Solve -p = 4*p - z for p.
2
Let k be 2/(-11) + 74/407. Solve k = -3*f + 6*f - 6 for f.
2
Let b be (2/(-5))/((-264)/5940). Solve -b*x - 16 = -25 for x.
1
Suppose 0 = 24*g - 6 - 42. Solve 0 = i + g - 7 for i.
5
Let g(y) = 0*y - 7 - 2*y + 1 + 0*y. Let s be g(-4). Solve c = 1 - s for c.
-1
Suppose -5*t + 61 = r, 5*t + 4*r - 57 = 2*r. Solve 9 = z + t for z.
-4
Let p(l) = -l + 11. Let g be p(5). Suppose -g - 114 = -6*c. Solve -5*i = -i + c for i.
-5
Let g be (84/9)/(1/3) - 6. Solve -34*u + g*u - 12 = 0 for u.
-1
Suppose -5*a = -10, -3*y = 5*a - 2*a + 15. Let s(h) = h**3 + 10*h**2 + 22*h + 9. Let j be s(y). Solve -2*x = j*x + 16 for x.
-4
Suppose 3*l = 3, 0*l - 3*l + 9 = 3*b. Let w be 4 + 2/b*-11. Let s = w + 17. Solve -x = x + s for x.
-5
Let k be 44/10 - 4/10. Let t be ((-2)/k)/((-2)/(-148)). Let n = -28 - t. Solve -n - 16 = -5*m for m.
5
Suppose -2*t - 12 = -3*n + 5, -n + 4*t - 1 = 0. Suppose -5*b + n*b = 0. Suppose 3*j = 5*s - s - 5, -5*s + j + 20 = 0. Solve b*p = -s*p - 10 for p.
-2
Suppose -2*p = -z - 19, z = -3*p + 23 - 2. Suppose -p = -5*b + 12. Solve 0 = -b*v + v + 3 for v.
1
Let q(f) = f**3 - 7*f**2 + 6*f + 6. Let c be q(5). Let n be 6/c - 16/28*-13. Solve 2*o + 5 = n for o.
1
Suppose 6*v - 81 + 45 = 0. Solve -24 + v = -6*n for n.
3
Let n(a) = 7*a - 18. Let f be n(4). Solve -f = 4*q - 2 for q.
-2
Let x be (21/(-9) - -3)/(8/180). Solve -15*z + 20*z - x = 0 for z.
3
Let d = -248 - -248. Solve d = -21*q + 25*q + 20 for q.
-5
Let n be (-2 - 5/(-3))*-6 + 4. Suppose n*o = o. Solve o*v - 2*v = -2 for v.
1
Let p = 393 + -385. Solve 0 = 40*x - 38*x + p for x.
-4
Let l = 33 - 29. Let v(o) = -o**2 + 2*o + 11. Let k be v(l). Solve -15 = 2*a + k*a for a.
-3
Let r = 67 - 56. Let a(z) = -z**3 + 10*z**2 + 11*z + 1. Let f be a(r). Solve -5 = -3*y + f for y.
2
Let v(j) be the second derivative of -j**3/6 - 9*j**2/2 + 13*j. Let l be v(-12). Solve -2 = -l*y + 4 for y.
2
Let d be 2/(-9) - (776/(-9) + -4). Let p be 9/1*20/d. Solve -p*u + 2 = 8 for u.
-3
Suppose 0 = 6*o - 53 + 41. Suppose o*b - 16 = -2*x, 3*x - 5*b - 2 + 18 = 0. Solve -x*v + 20 = v for v.
5
Let c(r) = -15*r + 15. Let a be c(1). Solve -5*m = -a*m - 10 for m.
2
Suppose 43*z - 295 = 436. Solve z*p = 13*p - 8 for p.
-2
Let r(t) = -2*t**2 - 31*t - 70. Let c be r(-12). Solve -c*a + 10*a = 0 for a.
0
Suppose 3*c - 9 = 0, -5*n - 5*c = -3*n - 27. Suppose b + n + 4 = -2*a, 20 = 2*b - 4*a. Solve 3 = -b*v + v for v.
3
Let d(c) = -c**3 + 11*c**2 + 12*c + 25. Let r be d(12). Suppose -p + r = 4*p. Solve 13 = -p*x - 12 for x.
-5
Suppose -14*t + 10*t = -32. Let o(j) = -j**2 + 9*j - 2. Suppose 5*p = 33 + 7. Let z be o(p). Solve -2*s + t = -z*s for s.
-2
Suppose -5*a = -a. Suppose -9 = 3*g + 3*w, 1 = -g + 2*w + 10. Solve o - g = -a for o.
1
Let c(i) = i - 5. Let t be c(8). Suppose -4 = -l - 4*q + 8, -2*l = 3*q - 4. Let h(g) = -g**2 - 7*g - 6. Let n be h(l). Solve -t*m = 3 - n for m.
1
Let v be 33/3 + 68/(-17). Solve -7 = v*c + 14 for c.
-3
Let i(f) = -43*f + 882. Let q be i(20). Solve 0 = 2*n + 24 - q for n.
-1
Let w(o) = 2*o - 17. Let g be w(16). Let a = -13 + g. Let r(l) = l**3 - 2*l**2 - 2. Let z be r(3). Solve 5 = -a*m + z*m for m.
1
Let x be 2 - ((5 + 1)/(-6) - 1). Solve x*h - 11 = 9 for h.
5
Let o(t) = -21*t**2 + 6*t + 13. Let s be o(-3). Let a be (-1)/4 + (s/(-8) - 0). Solve -5*x = -a + 9 for x.
3
Let k = -4 - -31. Let j = 35 - k. Solve 0 = 5*d - j*d + 3 for d.
1
Let c(k) = -4*k + 18. Let p(m) = 11*m - 53. Let z(x) = -8*c(x) - 3*p(x). Let t = -86 + 99. Let g be z(t). Solve 0 = -g*u + u - 2 for u.
-2
Let f(w) = 5*w**3 + 8*w**2 + 7*w - 1. Let a(l) = 6*l**3 + 9*l**2 + 8*l - 2. Let u(g) = -4*a(g) + 5*f(g). Let i be u(-3). Solve -3 = 3*h + i for h.
-2
Let u = -36 - -18. Let j = u + 22. Suppose 0 = j*t - 20, -2*h + 5*t = -6*h + 33. Solve -20 = -3*l - h*l for l.
4
Let j be (-48 - -53)/(2 - 1). Solve -j*m + 3 + 2 = 0 for m.
1
Let p(c) = 10*c - 77. Let m be p(8). Solve -5*j - 28 = -m for j.
-5
Suppose -4*c = -25*c + 63. Solve -c*p = 1 - 16 for p.
5
Suppose -38 = -3*l + n + 10, -5*l + n + 78 = 0. Let i = -13 + l. Suppose -6 = i*g - 18. Solve r = -r + g for r.
3
Suppose 3*v + 12 = 45. Let n be (-1)/2*(-33 + 14 + -9). Let s = n - v. Solve s*d + d = 16 for d.
4
Suppose 4*u + 16 = 0, -3*w + 2*u = -7*w - 4. Suppose -5*x = 3*y - 45, -59 = -4*y - 5*x + w. Let k be (-4)/(-10) + (-6)/y. Solve 3*m + 0 + 3 = k for m.
-1
Let y(k) = -k**3 + 4*k**2 - 1. Let x be y(4). Let q be 4/18 - (-48)/27. Let s = x + q. Solve 3*v = s + 11 for v.
4
Let p = -5 + 9. Let i(b) = -20*b**3 - 4*b**2 + 7*b + 11. Let r be i(-1). Solve 0 = -p*g - 0*g + r for g.
5
Suppose 2*c - 4*d = -8, -5*c + d + 13 + 12 = 0. Suppose 2*f + 2*f + c = 2*x, 2*f = 5*x + 1. Let i be (2 - -2) + (-2 - x). Solve -2*s - i*s - 25 = 0 for s.
-5
Suppose 18 = 5*o - 2. Solve -o*d + d + 3 = 0 for d.
1
Let m(c) = c**2 - 9*c + 11. Let l be m(8). Suppose 53 = 3*s + 4*x - 57, l*s + 3*x = 105. Solve s = -5*o + 5 for o.
-5
Let h be (-19)/57 + 326/6. Suppose -h = 4*a - 10*a. Solve 5*f - a = 16 for f.
5
Let m(f) = -f**3 + 25*f**2 - 25*f + 42. Let c be m(24). Solve c*l + 4 = 4 for l.
0
Let q = 65 + -59. Su