*3 - 4*k**2 - 6*k + 13. Let i be h(3). Let x = w + i. Solve -t + x*t = 0 for t.
0
Suppose -35*y + 34*y - 1 = -o, 0 = -4*o - 2*y + 28. Solve 0 = 12*m - o*m - 28 for m.
4
Suppose 3*v + 4*s = 7*s + 30, -s = 2*v - 17. Solve 5*c - 4 = -v for c.
-1
Suppose 5*d = 5*s, s - 10 = -4*d - 5. Let z be ((-1)/s)/((-3)/66). Let o = z - 12. Solve -o = 3*w - 8*w for w.
2
Suppose 26*s = 30*s - 3*i - 91, -2*i = 4*s - 86. Solve -8*h + s*h = 28 for h.
2
Let v = -38 - -2. Let h be v/10*(100/(-12) - -5). Solve 2*u = -u + h for u.
4
Let y be (3/(-12))/(6/(-312)) + -5. Solve 18*l = y*l - 50 for l.
-5
Suppose -3*g + 375 = 2*g. Let z be 8/(-6)*g/2. Let y be (12/8)/((-15)/z). Solve -y*w - 12 = -w for w.
-3
Let z = 34 + 4. Let l = 83 - z. Let p = l + -20. Solve -4*w - p = w for w.
-5
Suppose 81 = 10*v - 7*v. Solve 4*i - 7 = -v for i.
-5
Let t = 44 + -36. Solve 3*p + p = -t for p.
-2
Suppose s - 12 = -2*w + 2*s, -2*w + 5*s + 28 = 0. Suppose 7 = -w*j + 11*j. Solve a + j = 2 for a.
1
Let d(b) = 2*b + 14. Let w be d(-6). Let i be (4/8)/(2/20). Solve 7*l - i = w*l for l.
1
Let u(x) = 2 + 0 + 3*x**2 + 3 - 4 - 2*x. Let q be u(2). Let k(i) = -i**3 - 9*i**2 + 11*i + 12. Let p be k(-10). Solve b = -p*b + q for b.
3
Let t be ((-1)/1)/((-5)/20). Suppose 5*u = 2*m - t*m + 14, 2*m - u - 2 = 0. Suppose -3*s + 0*j + 6 = 3*j, -13 = -m*s + j. Solve -s*x = -x for x.
0
Suppose 29*x = 27*x + 6. Solve x - 12 = -3*b for b.
3
Let x = -3 + 7. Let h = -78 - -21. Let l = h - -64. Solve -x*p = 1 + l for p.
-2
Suppose 0 = 2*j - j - 30. Let t = -30 + j. Solve u - 4 = -t*u for u.
4
Suppose 34*g + 7 - 41 = 0. Solve -2 - g = -h for h.
3
Suppose -87*t = -96*t + 1332. Solve -4*d + t - 152 = 0 for d.
-1
Let o be (-16)/20 - (-48)/10. Suppose s + o = 2*s. Solve -s = -0*g - 2*g for g.
2
Let k be 1 - -1*(0 + 1). Let f be 20/30*6/k. Suppose 3*z = 2*s, 4*s - 4*z - 6 = -f. Solve 6 = s*a - 0*a for a.
2
Suppose 0 = -j - 3*u - 14, -3*j - 3*u = j + 29. Let s be (30/12)/(j/(-4)). Solve 0 = s*r + r + 6 for r.
-2
Let m be (-16)/(-10) + 6/15. Suppose 0 = f + m*f + 12. Let v be f/1*8/(-16). Solve 3*t - 3 = v*t for t.
3
Let y(g) = -g**2 + 2*g. Suppose v - 3*h + 10 = 0, -3*h + 20 = 2*h. Let z be y(v). Suppose -4*p = -z*p. Solve -k + 2 - 1 = p for k.
1
Let v be (-4 - -10) + (-6)/2. Let p = 1 + v. Suppose j = -p*j + 100. Solve -j = 4*a - 0 for a.
-5
Suppose -7*b = -6*b. Suppose 5*f = b, -3*r + 3 = -5*f - 9. Solve 5*l - 2 = r*l for l.
2
Let c = 29 + -21. Let y = 144 + -142. Suppose 2*b - c = -y. Solve 0 = -b*h + 7*h + 4 for h.
-1
Let r be 279/(-31) - (0 - 19). Solve -4*j + 6*j = -r for j.
-5
Let i(q) be the second derivative of q**4/12 - q**3/6 + q**2/2 - 3*q. Let g be i(2). Suppose -p + 2 = -3*a, -4*p = -12*a + 16*a - 8. Solve -g*s + s = a for s.
0
Let j = 12 + 16. Suppose 6*x - 20 - j = 0. Solve 4*p - x*p = -4 for p.
1
Suppose 2*q - 9*z + 12*z - 19 = 0, 62 = 4*q - 2*z. Solve 4*c = q - 6 for c.
2
Suppose -4*w + 1 = -5*w. Let t be -2 + w + -1 + 6. Suppose t*j = -j + 9. Solve -j*f = -f for f.
0
Let k(y) = -2*y + 24. Let q be k(11). Let u be (5/10)/(q/12). Suppose 4*r - 24 = -0*r. Solve r*c = u*c - 3 for c.
-1
Let w be 2/(-4) - (-60)/24. Suppose -27 = -w*h + 9. Let t = 22 - h. Solve q = t*q for q.
0
Let a = -1 - -3. Suppose 6 = -a*w - 0*w. Let v be w/4 + 19/4. Solve 2*f + 0 = -v for f.
-2
Let i be ((-276)/9)/(-4)*(0 + 3). Solve -i = -5*f - 8 for f.
3
Suppose -i - 5 = 5*r, 3*i - 5 = 3*r + 4*i. Let z be 0 - (0 - (r + 2)). Solve -4*l + z = -10 for l.
3
Let u = -40 + 64. Let g = u - 22. Let m = 8 - g. Solve m*w + 20 = w for w.
-4
Suppose 23 - 67 = -11*s. Solve s*v = v + 3 for v.
1
Let l(o) = -o**3 - 11*o**2 + 30*o + 66. Let y be l(-13). Solve 7*t + 35 = y*t for t.
5
Let w be (-13)/(-4) - (-54)/72. Let i = -2 - 7. Let v be 5/10 - i/2. Solve v*r + 14 = w for r.
-2
Let s = 2 + -2. Let x(j) = -j**2 - 3*j + 2. Let y be x(-3). Let m be s/(-1 - 1) + y. Solve 0 = -m*w - 7 + 1 for w.
-3
Suppose 7 = 5*q - 3. Let l be (q - (3 + -2)) + 11. Solve 0 = -2*j - j - l for j.
-4
Suppose 19 = -w + 31. Let q be 4/w - 14/(-3). Solve 3*r + q = -4 for r.
-3
Suppose 2*q + 2*z + 34 = 0, 2*q + 2*z - 14 = 4*q. Let f = -207 - -203. Let x = f - q. Solve i = -i - x for i.
-4
Suppose 7*t - 19 = 4*t + r, 4*r = 2*t - 16. Let i(c) = c**3 + 5*c**2 - c + 2. Let h be i(-5). Let s = h - t. Solve -2*w + 1 = -s for w.
1
Let j be 136/40 + 1/((-20)/8). Solve -1 = 2*k - j for k.
1
Let a(x) = x + 3. Let c be a(1). Let y(v) = v**2 - v - 7. Let q be y(c). Solve -d = -3 + q for d.
-2
Let t(g) = -g**3 - 2*g**2 - 4*g - 3. Let v be (20/15)/((-2)/3). Let p be t(v). Solve -3*u + p = 2*u for u.
1
Let t be (-3 - -6)*(-154)/(-33). Solve t*r - 9*r = -20 for r.
-4
Suppose 12 = 10*s - 6*s. Suppose -s*t = -t - 14. Suppose -t*v + 3*v = -8. Solve -v*n = -n + 4 for n.
-4
Let j = 19 + -19. Solve j = -5*v + v + 16 for v.
4
Let z(k) = 2*k**2 - 2*k + 3. Let a(q) = -q. Let o(p) = -5*a(p) + z(p). Let h be o(-1). Solve -h + 4 = -2*f for f.
-1
Suppose -33 = -3*a + c + 2*c, 0 = -3*c + 3. Suppose -3*z + 2 = 2*g, z - 4*g = g + a. Solve -z*s = -4*s + 10 for s.
5
Let n(a) = a**3 + a - 1. Let o(z) = 7*z**2 + 8*z. Let y(k) = n(k) + o(k). Let w be y(-4). Solve 5*s - w - 14 = 0 for s.
5
Let t be (-28)/(-21)*(-3)/(-2). Suppose t*a + 26 = 2*m + 7*a, 5*a - 23 = -m. Solve -2*x = -m*x - 5 for x.
-5
Suppose -20*l = 48 - 1328. Solve l*t = 62*t + 4 for t.
2
Suppose 4*c - 4*j = 28, j - 6*j = 0. Solve 0*a - c*a = -14 for a.
2
Let c = -402 + 403. Solve r + 2 = c for r.
-1
Suppose 0 = -t + 2*t. Suppose t = -4*w + 2*n - 26, -4 = 5*n - n. Let h = 10 + w. Solve 0 = -0*u - h*u for u.
0
Suppose -16 = 2*x - 3*r - 7, 0 = -3*x + 3*r - 9. Solve x = -4*w - 8 + 12 for w.
1
Let y(i) = -i**2 + i. Let r(c) = c**3 + c**2 + 13*c + 6. Let b(v) = r(v) - 6*y(v). Let n be b(-6). Solve -g = -n + 3 for g.
-3
Let t(a) = -7*a - 3. Let h be t(-8). Suppose 0*c = u + 4*c - 22, -h = -5*u - c. Suppose -u*m = -11*m. Solve m - 8 = 4*y for y.
-2
Suppose -5*o - 68 + 48 = 0, p + 3*o + 12 = 0. Solve -x - 2*x = -p*x for x.
0
Suppose 2*y - 2*l - 6 = 0, 16*l = 15*l. Solve -v + 8 = y*v for v.
2
Suppose -g = 4*j - 13, -2*g - g = -3. Suppose 4*y + 3*m = m - 10, -4*y = j*m + 15. Let v be 3*(-2 - (y + -3)). Solve 8 = -v*x - 7 for x.
-5
Let g = -498 + 509. Solve 7*x - g*x - 8 = 0 for x.
-2
Let w(l) = 3*l**2 - 23*l - 8. Let n be w(8). Let v(s) = s**3 + 5*s**2 + 2*s + 2. Let g be v(-2). Solve -3*f + 8*f - g = n for f.
2
Let x = 419 + -409. Solve -t + 12 = x for t.
2
Let a = 63 + -63. Suppose a = -r - 4*j - 16, 0*r + 3 = -3*r - 3*j. Solve -10 = -r*h - 2 for h.
2
Suppose 46*f - 49*f + 60 = 0. Let h be 92/f - 2/(-5). Solve j - 4 = -h for j.
-1
Let n be (-676)/(-117) - 4/(-18). Solve 2 = -r + n for r.
4
Suppose 5*w - 2*n = 22, 4*w - n - 5 = 3*w. Suppose 2*h - h = w. Solve -h*l - 5 + 1 = 0 for l.
-1
Let b = -962 - -964. Solve 5*s + 7 - b = 0 for s.
-1
Let g be (-20)/(-2)*(8 - (11 - 5)). Solve -16*q + 4 = -g*q for q.
-1
Suppose 2*v + 5*f = 11, -1663*f + 1667*f + 5 = 3*v. Suppose 3 - 8 = -5*n. Solve -4*h + v = -n for h.
1
Let l = -10 + 14. Suppose -7*s + l*s - 42 = 0. Let z be (-66)/s - (-20)/70. Solve z*k - 4 = 3*k for k.
2
Let u(k) = -k**3 - 2*k**2 - 2*k. Let j = -7 - -5. Let o be u(j). Let d(g) = g**3 - 7*g**2 + 5*g + 9. Let a be d(6). Solve -a*y + 2*y - o = 0 for y.
-4
Suppose 13*u = 4*u - 18. Let k be (-2 - (-11)/u)*28/(-21). Solve -6 - k = -4*x for x.
4
Let g(q) = -7*q + 21. Let y(j) = 2*j - 5. Let w(c) = -6*g(c) - 22*y(c). Let k be w(-9). Solve -f - k = -0 for f.
-2
Let g(z) = -26*z - 719. Let a be g(-28). Solve a*l - l = 0 for l.
0
Let x(m) = -m**2 + 15*m - 14. Let r be x(14). Suppose r = 6*g - g. Solve 4*k - 9 - 7 = g for k.
4
Suppose -a + 2 = -z + 6*z, 0 = 2*z + 4*a - 8. Solve z = 47*w - 50*w + 12 for w.
4
Let u = -142 - -142. Solve 2*y + 1 + 1 = u for y.
-1
Let p(i) = -i**2 + 6*i + 3. Let c be p(6). Suppose -21*d + 19*d + 6 = 0. Suppose 2*v - d*v - 1 = -2*h, h = 4*v + 4. Solve 0 = c*m - h*m for m.
0
Suppose 2*o - 3 = 3. Let x(j) = 2*j - 26. Let f be x(19). Suppose c - f = -o*c. Solve -r - c*r = 0 for r.
0
Let i be 1/(-7) + (-731)/(-119). Solve -i*z - 20 = 4*z for z.
-2
Suppose 4*g - 108*l - 143 = -113*l, 73 = 2*g + 3*l. Solve g = 8*w - 0 for w.
4
Let c(q) = -3 - 6*q - 2*q + q**2 + 4 - 6*q. Let b be c(14). Solve l + b = -0 for l.
-1
Let v = 6 + -3. Suppose -v*q 