k.
0
Let y(g) = g + 3. Let u be y(2). Suppose 11*i - 28 = u. Solve 0*q - 3 = -i*q for q.
1
Let n be (-1311)/(-46)*(-2)/(-3). Solve 22 = n*q - 8*q for q.
2
Suppose -609*s = -595*s - 14. Let i = -1 + 2. Let x be (8 - i)/(1/1). Solve 0 = 2*c + x + s for c.
-4
Suppose -3*c + 42 = 2*f, 18*f = 5*c + 17*f - 57. Solve -8 = 10*m + c for m.
-2
Suppose -8*h = -0*h. Let t be 20/(h + 5) - 4. Solve k - 5*k + 4 = t for k.
1
Let y(m) = -m - 5. Let w be y(-10). Let x be 16/10*w/2. Solve 0 = -x*k - 0*k + 8 for k.
2
Let k = -12 - -9. Let s(w) = -7*w + 5*w + 6 + 5*w + w**2 + w. Let z be s(k). Solve -g = -z*g for g.
0
Let n(w) = w**2 - 1 + 38*w - 37*w + 2. Let q be n(-3). Suppose -2*r + 1 = -3*m + 4, -3*m + r = -6. Solve g - q = -m for g.
4
Let a be (-35)/5 + 1 + 18. Solve a = 189*j - 186*j for j.
4
Let r(n) = n + 12. Suppose 41 = -5*y - 4. Let a be r(y). Let q = 56 - 53. Solve -a = -q*x + 3 for x.
2
Suppose -2*v + 29 = -4*r + 47, -14 = -2*r - 4*v. Solve 3 = -2*c + r*c for c.
1
Let f(c) = 23*c**2 - 4*c + 1. Let b be f(1). Solve -b = -6*m + 2*m for m.
5
Suppose -15 = h - 20. Solve -6*z = -h*z - 1 for z.
1
Let c be (2 + -1)*(7 - 2). Suppose 2*a = -y + 6*a - 18, -c*y + 5 = -a. Solve p = -y + 5 for p.
3
Let c(p) = p - 1. Let u(r) = 5. Let v(z) = -c(z) + u(z). Let n be v(2). Solve 0 = -n*x - 0*x for x.
0
Let z be (-26)/(-8) - (-2)/(-8). Suppose -6 = -7*p + 5*p. Suppose -d - 2*d + 4*o = 10, -18 = -p*d - z*o. Solve -3*i = -4*i - d for i.
-2
Let s = 274 + -272. Solve -s*z = -3*z for z.
0
Let r(n) be the second derivative of -1/12*n**4 - 2*n + 3/2*n**2 + 0*n**3 + 0. Let v be r(0). Solve 0 = -4*i + v*i + 1 for i.
1
Suppose 2*c + 3*v + 24 = 0, 26 + 5 = -3*c - 2*v. Let d = 13 + c. Suppose n + d*n = 0. Solve n*i = -i - 3 for i.
-3
Let d be 2*(-3 + 7 - 2). Solve 5*y - 21 = d for y.
5
Let z = 49 - 59. Let f be (-2)/(z/(-15)) - (-14 - -1). Solve -i + f = -6*i for i.
-2
Let a be 0 + -1 - (13 - (-2 + -2)). Let s(l) = -l**3 - 19*l**2 - 17*l + 27. Let k be s(a). Solve 25 = -4*n + k for n.
-4
Let t = 1528 - 1491. Solve -11*z + 18 + t = 0 for z.
5
Suppose 0*v = -3*v - 5*d + 37, 0 = -2*d + 10. Suppose 2*r - 3*h = -2*r + 15, h + 5 = 4*r. Solve -4*z - v + 8 = r for z.
1
Let v(z) = -2*z - 5. Let y be v(-5). Suppose 4*j - 3*k + 5*k - 6 = 0, -4*j - k = -5. Suppose -2*x = -5*a + 3*a + 54, 4*a + 4*x = 84. Solve -j = y*o + a for o.
-5
Let q(a) be the third derivative of a**6/120 + a**5/15 - 13*a**4/24 - 5*a**3/6 + 15*a**2. Let v be q(-6). Let i = 4 + -1. Solve -2*m = -i*m + v for m.
1
Let l = 1011 + -1011. Solve w - 5 + l = 0 for w.
5
Suppose -2*v = -b - 0*v - 6, -5*b - 6 = -4*v. Let f be -30*b/3 - -4. Let g = -16 - f. Solve -5*n = -g - 25 for n.
5
Let p(l) = -2*l**3 + 17*l**2 + 2*l + 66. Let o be p(9). Suppose -10 = -5*q - 5. Solve q = -y + o for y.
2
Let h(m) = -m**3 - 7*m**2 - 2*m - 8. Let j be h(-7). Let n(a) = 3*a - 2. Let t be n(j). Suppose -c + t = 3*c. Solve c*b - 2 - 10 = 0 for b.
3
Let b(x) = x**3 - 20*x**2 - 4*x + 92. Let d be b(20). Solve d = 3*c + 12 for c.
0
Suppose -q = -4*w - 27, -w = -3*q - 5 - 2. Let i = w - -8. Let x be -1*(-3)/9*i. Solve x*g = -4*g for g.
0
Let l(q) = q**3 + 4*q**2 - q - 1. Let b be l(-4). Let y be 2*(0 + b) + 1. Suppose 2*d - 5*i = 29, -14*d = -18*d + 3*i + 23. Solve 3*g - d - y = 0 for g.
3
Let y be 28/14*(1 + 4). Solve q - y = 3*q for q.
-5
Let b = -1693 - -1699. Solve -224 = b*j - 230 for j.
1
Let p(b) = -b**3 - 6*b**2 + 7*b + 2. Let m be p(-7). Suppose -20 = -4*f + m*c, 3*f - 15 = -4*c - c. Let z = 179 + -179. Solve z = -f*s - 4 - 1 for s.
-1
Suppose 2*a - 20*a + 54 = 0. Let y(k) be the third derivative of k**5/30 + 2*k**2. Let n be y(1). Solve -a*d = n*d for d.
0
Let l(q) = -q**3 + 7*q**2 - 7*q + 6. Let o be l(6). Let p be 8/16*1*10. Suppose -2*v = p*c - 73, 29 + 32 = 4*c - v. Solve z - 6*z - c = o for z.
-3
Let x be ((-3)/3)/(0 + (-2)/16). Suppose -2*j + 0 = -x. Solve 2*q = 6*q - j for q.
1
Let n = 7 - 6. Let g(z) = 6 - 6 - 7*z - 5*z**2 + z**3 + 5 + n. Let f be g(6). Solve 2*l - l = f for l.
0
Let g(k) = -k**2 + 5*k + 2. Let a be (-2 - -1)/((-3)/12). Let o be g(a). Solve 0 = 4*v - o*v - 2 for v.
-1
Let k(s) = 3*s - 7. Let t(g) = -11*g + 3 - 10*g**2 + g**3 - 4*g**2 + 0 - 4*g. Let u be t(15). Let o be k(u). Solve -5 = -j - o for j.
3
Let l = 121 + -114. Solve 0 = -l*u + 9*u - 4 for u.
2
Suppose 6*d = 2*d + 12. Let p be 1/2*10 - 2. Suppose z = -p*y - 0 + d, 0 = -3*y. Solve -z*g = g for g.
0
Let o(d) = 2*d**2 + 6*d - 14. Let x be o(-5). Let l = -1 - -6. Suppose -l*r + 16 = x. Solve -n + 2*n = r for n.
2
Let h = 26 + -9. Let m = h + -7. Solve 3*p + m = p for p.
-5
Let b be -3*(4 + -3) - 6. Let k(j) = -j**2 - 12*j - 25. Let i be k(b). Solve 0 = c + i*c + 15 for c.
-5
Let p = 59 - 60. Let o(a) = 3*a + 13. Let x be o(p). Solve -14*f - 4 = -x*f for f.
-1
Let b = -9 + 22. Let k(x) = -4*x**2 + 2*x + 2. Let p be k(2). Let l = p + b. Solve l*t = 5*t + 10 for t.
-5
Let t = -40 + 78. Suppose -t = -7*x - 10. Solve -k = -1 + x for k.
-3
Suppose 8 - 8 = -2*j. Solve -3*z + 6 + j = 0 for z.
2
Let k = -170 - -149. Let q be (k/(-14)*-1)/(2/(-8)). Solve -u - 5 = -q*u for u.
1
Suppose g = 2*g. Let f(x) = x**2 - 7*x - 17. Let w be f(7). Let l = 20 + w. Solve l*u + g*u = -9 for u.
-3
Let n = -175 + 175. Solve n = -2*i - 3 + 9 for i.
3
Let z(o) = o**2. Let j be z(5). Solve 11 + j = -9*r for r.
-4
Suppose 4*m = 5*s - 19, 0 = 2*m - s - 5 + 16. Let f = 8 + m. Solve 0*k = -f*k for k.
0
Suppose 16*o - 4 = 92. Solve -9*j + 30 = -o for j.
4
Let p(q) = -q**2 + q + 4. Let k be p(2). Suppose 0 = -k*s + 3*g + 11, s - g - 1 = 2*g. Suppose -3*y + 14 = -3*w - s, 5*w + 30 = 4*y. Solve y*v = 5*v for v.
0
Let n = 1036 + -1033. Solve -4*b - n = 5 for b.
-2
Suppose 4*i = -v - 8, -34 = -5*v + 3*i - 5. Suppose v*p - 1 - 19 = 0. Let a be 4*(-1)/4*-2. Solve -a*o = -p*o for o.
0
Let s = -9 - -13. Let c be 1/(1 + (-3)/s). Let m = -12 + 26. Solve -m = -c*a + 2 for a.
4
Let k = -543 - -547. Solve k = 2*b + 4 for b.
0
Suppose -4*f = -16, 2 = -2*l + 2*f - 0. Suppose l*n = 4*k - 1, -2 = -2*n + 5*k - 12. Solve n*y = -13 + 3 for y.
-2
Let d = -103 - -104. Solve 8 = -7*t + d for t.
-1
Suppose c = -10*c + 11. Solve -3*w + 7 = c for w.
2
Let j(g) = 4*g**2 - 8*g - 1. Let c be j(4). Let y(b) = -b + 34. Let t be y(c). Solve -t*r - 1 = -16 for r.
5
Let g = 225 - 159. Let f = g + -63. Solve 0 = m + f for m.
-3
Let u be 4/18 + (-42)/189. Let k be (6 - u)*(-6)/(-18). Solve -10 = k*p - 0*p for p.
-5
Let s = -246 + 251. Solve 3*a + 2 = s*a for a.
1
Let k(v) = v**3 - 10*v**2 - 27*v + 47. Let w be k(12). Solve -6*y = -w*y for y.
0
Let k(p) = p**3 - 7*p**2 + 9*p - 16. Let r be k(6). Solve -r*b = 5 - 15 for b.
5
Let o(k) = k**2 + 5*k + 24. Let q be o(-4). Solve 13*p - q*p = -14 for p.
2
Suppose 0 = 5*f - 8*f. Suppose f*d = -3*d. Solve -j = -d + 1 for j.
-1
Suppose 56*a - 86*a = -1170. Solve 33*s - a*s + 12 = 0 for s.
2
Suppose 2*i = o - 8, 4*i + 12 = 4*o - 3*o. Let q be (-5 + 4)/(3 - o). Solve 2*k - 11 = -q for k.
5
Let p be (-2)/(((-112)/(-196))/(20/(-14))). Solve -p = -374*d + 379*d for d.
-1
Let o = 10 - 10. Suppose i = 2*i - 3*k - 4, o = -4*i + k + 60. Suppose 0 = -4*z + 3*r - 4, 4*z + 0*r + 2*r = i. Solve z*g + 1 = g for g.
-1
Let m(g) = -g**2 + 9*g - 10. Suppose 3*f - 8 = 4, 5*f = -3*z + 44. Let p be m(z). Let h be 6/(-4)*(0 + p). Solve 7*o + 8 = h*o for o.
-2
Suppose 20 = -4*x, -2*l + 3*l - 28 = 5*x. Solve 2*y = l + 1 for y.
2
Let n(i) = -i**2 + 27*i - 107. Let k be n(20). Solve -2*a - 29 = -k for a.
2
Let j(s) = s**2 + s + 5. Let u be j(0). Let q(y) = y**2 - 2*y - 11. Let w be q(u). Solve 0 = -w*k - 0*k + 20 for k.
5
Suppose -3 = -4*d + 9. Suppose -5*r - 7 = 3. Let f = r - -6. Solve d*h - 5*h - f = 0 for h.
-2
Let t(o) = -178*o**3 + 2*o**2 - 1. Let d be t(1). Let s = -174 - d. Solve s*c - 1 - 2 = 0 for c.
1
Let u(p) = p**3 - 7*p**2 + 10*p + 5. Let x be u(5). Solve x = 4*i + 13 for i.
-2
Let r(z) = -2*z**2 - 56*z - 46. Let k be r(-27). Solve -k*i + 6 = -18 for i.
3
Let a(f) = f. Let r be a(7). Let t be 21/r*5/3. Suppose 0 = -4*u - 3*g + 7, -4*g - 29 = -t*u - g. Solve u*w + 15 = -w for w.
-3
Let a be (-792)/(-165) + 1/5 + 4. Solve -q + a*q = 16 for q.
2
Let h(w) = -8*w - 26. Let v be h(-4). Solve -7*p - v = -4*p for p.
-2
Suppose -6*t + 51 = -3*t + 2*l, 57 = 3*t + 4*l. Let j = t + -10. Suppose -j*o + 3 = -2*o. Sol