 3*k - k = -u*j, 3*k = -5*j + 4. Solve 0*m = j*m - 4 for m.
2
Suppose -10*a + 5*a = -15. Solve -a*n + 0*n = -6 for n.
2
Let x be ((-6)/(-5))/(3/(-20)). Let t = -7 - x. Suppose 0 = 2*v + s, -v + s - t = -7. Solve b + v = 1 for b.
-1
Let i(j) = 4*j + 14. Let l be i(-3). Solve 0 = -l*z + 4*z + 10 for z.
-5
Suppose q - 3*r = -2*q + 39, -3*r + 57 = 5*q. Let d = q - 9. Solve d = -2*g - 7 for g.
-5
Let y(r) = -r**2 + 4*r. Let n be y(3). Let h(f) = -4*f**3 - 4*f**2 + 4*f**3 - 3*f - 2*f**n - 1. Let b be h(-2). Solve -b*m = 38 - 13 for m.
-5
Suppose 4*p - 18 = p. Suppose t - n = 0, 9 = -t + 4*n - p. Solve 7 = -t*v - 18 for v.
-5
Suppose -3*t + 4*t - 2 = 0. Solve -3 = t*m + m for m.
-1
Suppose -3*h = -6*h + 3. Let j be h/1*(-10 + 5). Let c(p) = -p. Let m be c(j). Solve -m*b + 11 = -4 for b.
3
Let h be (-3 - -6) + 2/1. Solve -k - 12 = -h*k for k.
3
Let q be 3 + -1*(1 + -6). Let s(h) = -9*h - 4*h**2 + 7 + 0 + 3*h**2 + h**3 + q*h**2. Let x be s(-8). Solve v - 4*v + x = 0 for v.
5
Suppose 4*v + 48 = 2*i, 5*i + 3*v = 77 - 9. Solve l = 5*l - i for l.
4
Let n be (-3)/(-12) + (-1)/4. Let f = n - 5. Let v = -1 - f. Solve v*x - 2 = -6 for x.
-1
Let g be (-2)/(-11) + (-212)/(-44). Suppose 0 = -m - g*q + 11, -q + 10 = 4*q. Let i be 3/((-6)/(-14)) - 0. Solve -m + i = -3*s for s.
-2
Let m be ((-2)/(-5))/((-1)/20). Let o = -5 - m. Solve d - 8 + o = 0 for d.
5
Let l(n) = -5*n**3 + 6*n**2 + 5*n - 4. Let g(r) = -r**3 + r**2 + r - 1. Let u(p) = -6*g(p) + l(p). Let m be u(0). Solve -2*w + m = -w for w.
2
Let m(y) = -y**3 - 5*y**2 - 5*y - 2. Let a be m(-4). Let s be a + (-2 - -1) + -1. Solve x + 1 + s = 0 for x.
-1
Let c = 5 + -4. Suppose -5*b + 24 = -c. Solve 0 = -b*m + 7 + 3 for m.
2
Suppose -1 + 13 = 2*c. Let t be (3/c)/(1/6). Suppose -2*y + 4*b = -0*y - 14, 4*y - 6 = -t*b. Solve -6*i + y*i = 3 for i.
-1
Let n = -6 - -3. Suppose -4 = 5*h + 1. Let q be (h + 2)/(n/(-9)). Solve -u = -q*u + 2 for u.
1
Let t = -39 - -39. Solve -3 = -3*s - t for s.
1
Let m(d) = -d**2 - 16*d + 12. Let j(s) = -4*s + 3. Let r(u) = 9*j(u) - 2*m(u). Let f be r(2). Solve -6 + f = b for b.
-3
Let f(q) = 0 - 5 + q**2 - 7*q + 1. Let c be f(8). Suppose 3*v = 2*v + c. Solve 2*y + 0*y = v for y.
2
Let d(g) = -g + 9. Let x(r) = -r**2 + 8*r - 10. Let f be x(4). Let u be d(f). Solve q - 8 = u*q for q.
-4
Let u(f) = 3*f. Let r be u(1). Let i(a) = -1 + 2*a + 0 + 2*a - a**2. Let s be i(r). Solve -j = s*j + 15 for j.
-5
Let i(m) = m**3 + 4*m**2 - 6*m - 3. Let h be i(-5). Solve h*w + 8 = 4*w for w.
4
Let o = -4 + 13. Solve -1 - o = 2*m for m.
-5
Suppose -5*j + 7 = -8. Solve -z + 4 = j*z for z.
1
Suppose 5*s + 7 = -3. Let p = s + 2. Solve 1 = -m - p for m.
-1
Let l = -31 + 35. Solve 0*h - h - l = 0 for h.
-4
Suppose -2*y + 8 = -0. Suppose -y*v + 7 = 3*c + 2*c, -14 = -5*v - c. Suppose 44 = 4*p - 5*a, -4*p + 3*a + 3 + 33 = 0. Solve 0*z + v*z = p for z.
2
Suppose 5*q - 3 = 4*h, 3*h + 3 = 3*q + q. Suppose q*w = -0*w + 9. Solve -w*b + b - 2 = 0 for b.
-1
Suppose 3*m - 4*m + 8 = 0. Solve 0 = -3*o + 2 - m for o.
-2
Let b be (23 - -1)*(-4 - 42/(-9)). Solve 0 = 2*q + 2*q + b for q.
-4
Let w(h) = h**3 - 9*h**2 - 23*h + 12. Let u be w(11). Solve -o + 0 = u for o.
-1
Let d = 6 + -4. Suppose -18 = o + 3*y, -4*o + d*o - 20 = 2*y. Let p(a) = -a**3 - 5*a**2 + 6*a. Let x be p(o). Solve -j - j - 4 = x for j.
-2
Let d(t) = -t**3 + 5*t**2 + 5*t + 4. Let k be d(6). Let p be ((-55)/(-2))/(-5)*k. Solve p = -4*o - 1 for o.
-3
Let m = -151 - -151. Solve f - 2 = -m for f.
2
Let w = -55 + 78. Suppose -3*n + w + 1 = 0. Let o = -1 + 2. Solve 3*q = o + n for q.
3
Suppose s + 4 = 3*s. Suppose 33 = 3*g + h - 34, -g + s*h + 34 = 0. Suppose -l + 5*u = -22, -g = -2*l + u + 4*u. Solve -l + 4 = -2*n for n.
-1
Let n be (-1)/(-4) - (-22)/8. Suppose -2*y = y - 3. Solve -4*l - n = y for l.
-1
Suppose -4 + 7 = m. Solve 2*j = j - m for j.
-3
Let u = -8 + 8. Suppose -3*n + 6 + 0 = u. Solve 2*t + n*t = -16 for t.
-4
Let g(z) = 5*z + 4. Let m(k) = 14*k + 13. Let a(s) = -17*g(s) + 6*m(s). Let w be a(7). Let u be (-1*(-8 + w))/1. Solve -u*v + 0*v - 25 = 0 for v.
-5
Suppose 0 = -c + 6*c. Suppose 2 = -2*m + 2*f - 0*f, -2*f + 6 = c. Solve -8 = m*u - 2 for u.
-3
Suppose -5*d = 5*f - 15, 0 = -6*d + 2*d + 3*f - 16. Let q be (-3)/2*-4 + d. Suppose -2*o = l + 2*l - 2, -2*l - 12 = -2*o. Solve q*m - o = 4*m for m.
4
Let u be (-6)/5*(5 + -10). Solve w = u*w + 15 for w.
-3
Let h be (-4)/(-14) + (-37)/7. Let s = -3 - h. Suppose -4*r + s = -3*r. Solve 0 = r*z - 2 + 4 for z.
-1
Let c = -17 + 21. Solve -u + 1 = -c for u.
5
Suppose 5*l = -2*t + 3*t - 8, 5*t + 4*l = 11. Let y = 0 - 0. Suppose m + 5*h = 12, -m - 2*h + 6 + 0 = y. Solve w + m = t*w for w.
1
Let s = 34 - 30. Solve -s*i + 0 = 12 for i.
-3
Let a = 6 + -4. Let t be 3 + (-1*2)/a. Suppose -t*d + 4 = 0, -3*n - 2 = -2*n - d. Solve -4*c + n*c = 0 for c.
0
Let t = 12 + -8. Suppose 0*f = t*f - 4. Let j be -1 + f + 0 + 2. Solve j*r = r for r.
0
Suppose -5*p - 5 = -0*i - 2*i, 0 = 5*i + 4*p - 62. Solve g - i = -g for g.
5
Suppose l - 6 = 3*l. Let o be 3/9 + (-5)/l. Solve -o*p + 9 = p for p.
3
Suppose -2*t = -4*t + 2. Solve t = 3*n - 2 for n.
1
Let f(i) = -i**3 - 13*i**2 + 13*i - 12. Let a be f(-14). Solve -3*k + 4*k = a for k.
2
Suppose -2*o = -4*o + 32. Suppose -4*b = 5*s - o, 2*b + 13 = 2*s - 3*b. Solve 4*d - s = 8*d for d.
-1
Suppose -3*u = -8*u + 50. Solve u = l - 3*l for l.
-5
Let l be (4 - 5)*(-5)/(-1). Let w(d) = d**3 + 6*d**2 + 3*d - 1. Let g be w(l). Let a = g + -5. Solve a = t - 0*t for t.
4
Suppose j = 2*n - 2*j, 5*j = 3*n + 1. Solve n*g + 3 = -0 for g.
-1
Let k = 2 + 6. Let i = k - 4. Suppose 0 = -5*m + 9*m. Solve -i*v + 3*v = m for v.
0
Let u be (8/2)/2 - 11. Let g(j) be the second derivative of -j**4/12 - 3*j**3/2 + 2*j**2 + 2*j. Let y be g(u). Solve y*n - 2 = -14 for n.
-3
Let a = -11 + 13. Solve 0 = -a*r - 3 - 1 for r.
-2
Let w(y) = -y + 1. Let p be 5/((-5)/(-2))*1. Let f = -2 - p. Let r be w(f). Solve 0 = -r*v + v - 12 for v.
-3
Suppose -2*i - i = -12. Suppose -22 = 5*y - i*z - 135, -134 = -5*y - 3*z. Solve -2*a = 3*a - y for a.
5
Let k = 5 + -3. Suppose -c - 5*j = -3 - 2, 5*j = 2*c + 5. Solve -4 = -c*q - k*q for q.
2
Let z be (4/(-6))/(5/(-15)). Suppose 0 = -5*f + 3*f + 80. Suppose -6*h + f = -2*h - 4*b, 0 = -5*b. Solve z = 4*v + h for v.
-2
Suppose 0 = 5*y - 195 + 155. Let m be (-1)/(-2) - (-14)/4. Solve -m*g + y*g = 0 for g.
0
Let y(m) = m**2 + 12*m - 39. Let j be y(-15). Solve -2*s + 2 = -j for s.
4
Let q = -10 + 14. Solve -o - 15 = q*o for o.
-3
Suppose 78 = 4*m - 2*c, 3*c + 59 + 18 = 4*m. Suppose 0 = 5*k + m, 2*f + 0*f - 3*k - 30 = 0. Suppose -2*l - 3 = -f. Solve -l*p - 2*p + 25 = 0 for p.
5
Let w be (2/2)/((-3)/(-18)). Solve 2*b + w = -b for b.
-2
Suppose -q - 2*u - 4 = -0*u, 0 = -5*u - 20. Solve -q*m - 15 - 5 = 0 for m.
-5
Let z(r) = 2*r**2 + r + 1. Let x be z(-1). Let m = x + 0. Solve 0 = -m*n + 4*n + 4 for n.
-2
Suppose 0 = -5*d - 5*v + 60, 3*d - 4*d = 4*v - 15. Suppose 16 = 3*q - d. Suppose -q + 4 = -s. Solve -s*h - 2 = -27 for h.
5
Suppose 3*c + p - 2*p = 28, 3*p = -4*c + 46. Let g(b) = -b**2 + 10*b + 2. Let u be g(c). Solve -u*n = -n for n.
0
Let v(q) = -q + 1. Let f be v(-4). Suppose -2*h - i + 340 + 12 = 0, 4*h = -f*i + 710. Let a be (-1)/2 - h/(-14). Solve -a = -5*j + j for j.
3
Let n(u) = u + 7. Let l be n(-1). Solve -9 = 3*k + l for k.
-5
Let d(m) = m**3 + 6*m**2 - 7*m + 10. Let w be d(-7). Let k be (-99)/27 - (-1)/(-3). Let j = k + w. Solve j - 1 = -r for r.
-5
Let l = 3 - 1. Suppose l*n = 5*n. Solve n*x - 5*x = 10 for x.
-2
Let r be 2*1/(-2) + 3. Let b be ((-14)/6 - -3)*3. Suppose -4*l = -3*s + l + 31, -r*l = -b*s + 22. Solve -g - s = 3*g for g.
-3
Let f(a) = -a**3 + 8*a**2 - 6*a - 3. Let b = 5 + 9. Suppose -r + 3*r = b. Let m be f(r). Solve -m*i = -3*i + 1 for i.
-1
Let m be (-2 - 50/4)*6. Let k be 4/(-18) - m/27. Solve 3*d = 4*d - k for d.
3
Suppose 6*z = z. Suppose 4*p - 3*o + 0*o = 21, 3*p + o - 19 = 0. Let v be (4/(-14))/(p/(-84)). Solve -4*c - v = -z for c.
-1
Let v(u) = -u**3 - 5*u**2 - 1 + 1 + 4*u + 2*u**3. Let g be v(4). Solve 1 = -k - g for k.
-1
Let l = 90 + -85. Solve 0*q + 10 = l*q for q.
2
Let z(w) = -3*w**3 - 7*w**2 + w - 7. Let c(k) = k**3 - k**2 - k - 1. Let q(o) = -2*c(o) - z(o). Let f be q(-9). Solve -2*x - 2 = -f for x.
-1
Suppose -7 = -y - 6. Solve -2*r = -r + y for r