 k.
-1
Let r = -14 + 18. Let v be (8/20)/(6*6/180). Solve -s + r = -v*s for s.
-4
Let v = -188 - -201. Solve 4 = v*f - 9 for f.
1
Suppose 3*r - 4*u + 16 = 7*r, -5*u = -4*r + 16. Let b be (r - 81/63) + 2/7. Solve g = -b*g for g.
0
Suppose -3*l = 52 + 428. Let a = -150 - l. Solve 9*u + a = 7*u for u.
-5
Suppose -164*w + 169*w = 210. Solve 2*p - w = -32 for p.
5
Let f = -50 - -9. Let n = f + 41. Solve n = 3*i + 6 for i.
-2
Let m = -32 - -25. Let c(d) = -d**2 - 3*d - 3. Let b be c(-2). Let l be b + 1 - (m - 1). Solve -l = 2*f - 4*f for f.
4
Let u(w) = w**3 - 4*w - 10. Let h be u(3). Solve t - h = -3 for t.
2
Suppose -2*h + h = 0. Suppose 4*p - 58 - 42 = h. Suppose -8*v + p = -3*v. Solve -15 = -v*t - 0*t for t.
3
Let n be ((-60)/(-9))/((-30)/(-36)). Solve 0*w = 4*w - n for w.
2
Suppose 12*t = -20*t + 2336. Solve 3*y + 64 = t for y.
3
Let t = -240 - -255. Solve z + t = 17 for z.
2
Let o = -23 + 24. Suppose 4*k - 8*f - 36 = -3*f, -5*f + 48 = 2*k. Suppose 5*i - 41 = -16. Solve k = i*b - o for b.
3
Let w = -376 - -376. Solve -p - 3*p + 12 = w for p.
3
Let k(a) = -2628*a + 2 + 2630*a - 3*a**2 + 0*a**3 + a**3. Suppose -3*b - 2 = -2*l, -5*l - 5 = -4*b - 17. Let i be k(b). Solve -i*z - 12 = 2*z for z.
-3
Let i(a) = 6*a**2 - a - 20. Let z be i(-4). Solve 12*w + z = -4*w for w.
-5
Let c(m) = m. Let b be c(32). Solve -8 = -6*i - b for i.
-4
Let x be (-2 - -62) + 12/(-6). Suppose -x = -4*t + 2. Solve 3*n + 2*n - t = 0 for n.
3
Suppose -6*p - 36 = -4*p. Let g be ((-2)/(-6))/((-1)/p). Suppose 5*l = -2*d + 61, -75 = -g*d + d + 3*l. Solve 5*o = -d - 7 for o.
-5
Let t(y) = -y**2 + 2 + 4*y**2 + 2 - y**2. Let z be t(0). Solve 0 = -3*u + 10 - z for u.
2
Let s be (-11)/(-462)*-6 + 114/14. Solve -62 + 38 = -s*l for l.
3
Let m = -36 - -58. Let v be -1*(-2)/(-1) + m. Suppose -4*a = v, b - 4*a - 23 = -0*b. Solve -b*u + 25 = 2*u for u.
5
Let r = 732 + -729. Solve -1 - r = -c for c.
4
Suppose 161 = -12*d + 161. Solve 7*w - 14*w - 7 = d for w.
-1
Suppose -5*a - 42 = -7*v + 3*v, v = -a - 3. Let z(u) = 5*u + 7. Let l be z(-3). Let i = a - l. Solve i*x + 2*x = 20 for x.
5
Let w(k) = k**2 - 4*k + 5. Let j be w(5). Solve j*n = 7*n for n.
0
Let j(a) = 24 - 26 + a + 2*a + 0*a. Let q be j(2). Solve -u + q*u = 6 for u.
2
Let l(o) be the third derivative of o**6/120 + o**5/20 - 5*o**4/24 + o**3/6 + 19*o**2. Let m be l(-4). Solve -2*f + m*f = 6 for f.
2
Let h = 69 + -66. Suppose h*n + 5 = 20. Solve n*l - l + 4 = 0 for l.
-1
Suppose 7*n - 1 = 20. Solve -2*t = -3*t + n for t.
3
Suppose 10*d - 52 = -2*c + 12*d, 4*d = 3*c - 81. Solve 116 - 1 = c*j for j.
5
Let s be ((-30)/8)/(6/(-16)). Suppose -3*x - s = 2*x. Let d be (x/(-4))/((-4)/(-32)). Solve d*v - 2 = 10 for v.
3
Suppose -6*i = 4 - 28. Solve -c + i*c = -6 for c.
-2
Let q = 45 + 63. Let z = q - 75. Solve -5*i + z - 8 = 0 for i.
5
Let z(v) = v**3 - 7*v**2 + 3*v + 5. Let y be z(6). Let k = -9 - y. Suppose k*i - 2 = 3*i. Solve i*b = b - 5 for b.
-5
Let s(f) = -1 + f + 2*f**2 + 2*f**2 + 0*f. Let g be s(1). Solve j = -g*j for j.
0
Suppose -17*w = -26 - 8. Solve 5*m - 3*m = -w for m.
-1
Let o be 18/(-8)*(-48)/18. Solve -o*p - 15 = -3*p for p.
-5
Let q = -908 - -923. Solve -2*i = -7*i + q for i.
3
Let c = -133 - -138. Solve -c*m + m = 12 for m.
-3
Let d = -224 - -224. Solve 10*v - 11*v = d for v.
0
Let w be (56/14)/((-2)/(-5)). Let l be ((-12)/(-10))/(w/25). Solve -5*u + l*u = -6 for u.
3
Suppose -11*n + 7*n = -32. Let y be 2/4*n + -5. Let m be 0*(y + 4/6). Solve m = -2*c - 0*c for c.
0
Let m be (-1)/4 - (-6)/24. Suppose 0 = -m*k - 3*k + s + 24, -4*s = -k + 8. Solve f = 5*f + k for f.
-2
Let z(h) = -h**2 - 16*h + 20. Let x be z(-17). Suppose -f - 4 = -l + 1, x*l - 14 = 2*f. Solve -1 = -l*a + 15 for a.
4
Let f = 399 + -396. Let w be (12 + -3)/(3/4). Suppose 0 = 4*j - 4*k - k - 20, -2*j - 3*k = w. Solve f = -u - j for u.
-3
Suppose 3*j - 25 = -2*j. Suppose 1 = j*u + 6*m - 2*m, 5*m = -2*u - 3. Let x be 0 + u + 11 + -11. Solve -2*d + x + 1 = 0 for d.
1
Let k(z) = -4*z**2 + 28*z + 6. Suppose -3*o + 4*q + 1 = 0, -2*o - 1 + 0 = -3*q. Let b be k(o). Solve -b = -h - 2 for h.
4
Suppose -15 = -5*p + 4*q, -2*q = -0*q. Suppose 0 = -5*a + 4*g - 54, 5*a + p*g + 26 = 4*a. Let d be 7/a*0/2. Solve 4*k + d*k - 8 = 0 for k.
2
Suppose 0 = 2*b + 17*l - 19*l + 2, 0 = -l + 4. Solve b*p - 10 = -2*p for p.
2
Suppose 4*d - 45 = -o, -3*d - 39 = -o - 5*d. Let r = -29 + o. Solve 13 = -r*z + 1 for z.
-3
Let j(t) = 2*t + 8. Let l(d) = 1. Let i(h) = -3*j(h) + 21*l(h). Let n be i(-4). Let k(m) = -m**2 + 14*m - 8. Let r be k(13). Solve r - n = -4*x for x.
4
Let z(g) = g**3 + g**2 - 33*g + 18. Let p be z(5). Solve 4*m = 13 + p for m.
4
Let s(h) = h**2 - 14*h + 7. Let n be s(14). Let m = 9 - n. Suppose m = a + 1. Solve -3 = 4*b + a for b.
-1
Let l = 167 + -174. Suppose o - 3*t + 2*t = 5, 24 = 4*o - 3*t. Let p = o + l. Solve p*d + 12 = -d for d.
-4
Suppose 0 = -7*g + 3*g + 36. Solve g*d = 3*d - 6 for d.
-1
Suppose -49 = 8*q - 15*q. Solve q*o - 5*o = 2 for o.
1
Let q be -3*((-10)/(-25))/((-30)/475). Solve -6 = -5*y + q for y.
5
Let z = 792 - 790. Solve -5 = z*i - 7 for i.
1
Suppose 3*u - 17 + 2 = -2*x, -32 = -5*u - x. Suppose 202*q + 11 = 203*q. Suppose -q*k + u*k = -28. Solve k = -5*w - 3 for w.
-2
Suppose 2*r + 25 = 5*j, 5 = -2*r + 21*j - 20*j. Solve r = 7*l + 87 - 66 for l.
-3
Let c(i) = i**3 - 20*i**2 + i - 20. Suppose -5*h + 21 + 79 = 0. Let b be c(h). Solve 0 = 4*q - b*q + 16 for q.
-4
Let s(m) = m**2 - 14*m + 16. Let g be s(12). Let h = 11 + g. Let r be ((-3)/(-6))/(h/30). Solve 0*x = -r*x + 15 for x.
3
Suppose -4*h = -2*y - 0*h - 4, -y - 5*h + 26 = 0. Suppose 55*f = 58*f - y. Solve f*l = l - 1 for l.
-1
Suppose -82*b = -77*b + 95. Let a(i) = -i**2 - 17*i + 38. Let v be a(b). Solve 2*c - c - 3 = v for c.
3
Let s = 37 - 30. Let f = 10 - s. Suppose 2*n + 5 = q, -4*n - 16 = -5*q - 3*n. Solve -f = -q*o + 12 for o.
5
Suppose -24 = 31*j - 35*j. Let t(g) = -g**3 + 5*g**2 + 4*g + 12. Let v be t(j). Solve 3*m = -v*m for m.
0
Suppose 11*m - 52 = 36. Suppose 2*y = -0*y - 5*d - m, 2*y - d = 4. Solve -3 = -k + y for k.
4
Let w(n) = n**3 - 5*n**2 + 4*n + 3. Let j be w(4). Suppose -2*g - 3*g = j*i - 40, 0 = -4*g + 2*i + 10. Solve 0 - g = -u for u.
5
Let l = 17 + -17. Let q be -6*1/2 - -5. Suppose d - t = q, -d - 3*t = -l*t - 6. Solve -c + d*c = -4 for c.
-2
Suppose 2*w - v = 0, 3*v - 16 = -4*w + 4. Suppose 2*l + 4 - w = -5*i, 4*i = -2*l. Let f = 1 + -1. Solve f = -l*c + 3*c for c.
0
Let f(t) = -t**3 - 4*t**2 + t + 5. Let c be f(-5). Let q be -4 + 0 - (-4 + 0). Solve q*l - 5*l = -c for l.
5
Let l be -1 - (2/10 - (-295)/25). Let t be ((-268)/(-26))/2 + 2/l. Solve 0 = -t*f - 10 for f.
-2
Let q(u) = 5*u + 3. Suppose 4*i - 2*t + 14 = -0, 4*i + 5 = -t. Let p be q(i). Let o(z) = -z**2 - 8*z - 5. Let l be o(p). Solve l*f = 6*f - 16 for f.
4
Let c be (-3328)/(-544) + 2/(-17). Solve -10 = 4*u - c*u for u.
5
Let t be 2 - 9/3 - -1. Suppose -q + 0*q = t. Suppose 2*k - 4 = -q*k. Solve f - k*f + 3 = 0 for f.
3
Let s(m) = m - 5. Let a be s(5). Suppose 5*u - 2*w = -a*u + 17, 2*u - 3 = -3*w. Let o = -29 + 32. Solve o*g - u = 6*g for g.
-1
Suppose 0*z - 131 = 5*v - 3*z, -3 = z. Let r = v + 12. Let u be (-3)/2*r/12. Solve o - u + 4 = 0 for o.
-2
Let h be 6*((-10)/4)/(-5). Let n(s) = s**3 - 2*s**2 - 3*s + 4. Let k be n(3). Suppose -2*f + 2*r = 0, 0 = -3*f - k*r + 9 + 19. Solve -1 = h*o - f*o for o.
1
Let j = 802 - 800. Solve 0 = j*b + 4 + 2 for b.
-3
Let a(w) = -w**2 + 11*w - 11. Let d(f) = 7*f**3 + 2*f**2. Let u be d(1). Let v be a(u). Solve -5*q = -v*q for q.
0
Let r be 0/((-5 - -4)*2). Let c(i) = i**3 + i**2 + 2. Let a be c(r). Suppose 0 = -t + a - 0. Solve -j + 6 = t*j for j.
2
Let k(r) = -r - 7. Let u be k(-7). Suppose u = 3*i - 12, b - 5*i - 2 + 22 = 0. Let w = -15 + 19. Solve -4*n + b = -w for n.
1
Let j = 82 - 42. Suppose -8 = -4*z - 2*h + 24, 5*z = 4*h + j. Suppose 3*t + 0*o + z = -5*o, 0 = 4*t - 5*o - 36. Solve -b = -2*b + t for b.
4
Let u(i) = -i**3 + 6*i**2 + 3*i - 2. Let z be u(5). Solve 5*w = z - 43 for w.
-1
Let s(r) = r**2 - 11*r + 5. Let c be s(13). Solve 13*o + 8 = -c for o.
-3
Suppose 4*t + 5 = -0*c + 5*c, -3 = -3*c. Suppose 16 = f - 3*f. Let k be (-1)/((-6)/f)*30/(-20). Solve k*l - 3*l = t for l.
0
Suppose 0 = d - 0 - 3. Let h(j) = 6*j - 16. Let c be h(d). Solve 3*u - c + 8 = 0 for u.
