5 + k. Solve p*a = 3*a - 12 for a.
4
Suppose -f = f - 4. Solve f*o + 11 = 1 for o.
-5
Let d = 16 - 11. Solve -d*b = 3 + 22 for b.
-5
Let w = -1 + 4. Let x(i) = -i**3 + 4*i**2 - 2*i - 1. Let g be x(w). Let b = 1 + 1. Solve g*m + 20 = -b*m for m.
-5
Let g(w) = -2 + 4 - 2 + 27*w. Let n be g(1). Solve 5*i - 2 = -n for i.
-5
Let q(k) be the second derivative of k**3/3 - k**2 - 2*k. Let v be q(2). Suppose -3 = x - v*x. Solve u = x + 2 for u.
5
Suppose -2*h + 3*u - 42 = 3*h, -2*u = -8. Let o = 0 - h. Let k = 29 + -24. Solve 0 = o*b - b - k for b.
1
Let b(k) = -k**3 - 2*k**2 + 2*k. Let g be b(-3). Let r(a) = -a**3 + 2*a**2 + 2*a + 3. Let q be r(g). Suppose -5*c + 12 = -3*c. Solve -x + c*x - 5 = q for x.
1
Let z be ((-6)/(-8))/(6/432). Let t = z - 38. Solve -2*h + t = 2*h for h.
4
Let v = -11 - -51. Let c = 67 - v. Let w be 6/(-15) + c/5. Solve -1 + w = 4*x for x.
1
Suppose -11*f = -52 - 14. Solve -3*y = -0*y - f for y.
2
Let n(y) = -y**2 + 5*y + 4. Let j be n(5). Suppose 5*f = j*f. Solve -p - 2*p = f for p.
0
Let x be (5/10)/((-1)/10). Let r be (x + 2 - -4)*3. Solve 15 - r = -4*k for k.
-3
Suppose 52 - 12 = 4*d. Solve -4*p - 6 - d = 0 for p.
-4
Suppose -5*i = -8 - 7. Suppose -i*d - 4 = 2*d + 2*o, 3*o + 6 = d. Let c(m) = m**3 + 9*m**2 + 8*m + 3. Let r be c(-8). Solve d = 2*u - 13 + r for u.
5
Suppose 0 = -k - 3*y - 2 + 16, 4*k + 3*y = 20. Solve 3 = -z + k for z.
-1
Suppose -6 + 1 = -5*i. Suppose 0 = -5*k + 3*x + 12, k + 3*x - 5 = i. Solve -4 = -k*f - 10 for f.
-2
Suppose -4*d = 5*t + 25, -2*t - 10 = 5*d - 0. Let q = t + 1. Let p(r) = r**2 + 5*r + 4. Let j be p(q). Solve 0*c - 5*c - 25 = j for c.
-5
Let b = 5 + -19. Let j = -14 - b. Solve j*a = 3*a for a.
0
Suppose 2*k = -0*k. Suppose -12 = 4*c, -3*d - 4*c + 27 = 6. Let u = d - 8. Solve k = u*p + p + 8 for p.
-2
Suppose -n - 16 = -5*n. Let k be 4/(-6) + (-88)/12. Let r(l) = -l**3 - 8*l**2 + 4. Let b be r(k). Solve n = -6*s + b*s for s.
-2
Let r be (1 - 7)*(-14)/63*3. Solve -r*g - 9 = -g for g.
-3
Suppose 0 = 3*u + u. Let x(m) = m**2 + m - 2. Let z be x(-2). Let y = u + z. Solve y*v = v + 1 for v.
-1
Let g(h) = -h**3 - 6*h**2 + 6*h - 3. Let i(s) = 6*s**3 - s**2 - s - 1. Let c be i(-1). Let x be g(c). Solve -x*f = -0*f + 4 for f.
-1
Let n = 2 - 0. Suppose n*x - 5*x = -3. Let h = 3 - x. Solve 0 = 4*c - 14 + h for c.
3
Suppose -16*r = -11*r - 20. Suppose 5*o - r = b + 13, -3 = 3*b - 3*o. Solve b*w = -2*w for w.
0
Let w = 13 + -9. Let p be (-8 + 8)*2/w. Solve 2*m + 2*m + 20 = p for m.
-5
Let m(s) = s**2 + 21*s + 21. Let i(h) = h**2 + 22*h + 22. Let j(y) = -6*i(y) + 7*m(y). Let u be j(-14). Solve -3*p = -2*p + u for p.
-1
Let l be (30/20)/(1/6). Solve 3*s = -6 - l for s.
-5
Let r(b) = -2*b - 8. Let x be r(-8). Let z be (6/24)/(1/x). Solve z*p = -2*p - 8 for p.
-2
Suppose 2*b = -3*y + 5*y, y - 5*b = 0. Let p(d) = -d**2 - 4*d + 2. Suppose -4*c = -16, -4*c + 20 = -4*z - 3*c. Let i be p(z). Solve y = -s + i*s - 5 for s.
5
Let w(n) = -n**2 + 6*n - 5. Let o be w(4). Solve -2*c = o + 5 for c.
-4
Let w(v) = -3*v - 4*v - v - 7 - v. Let y be w(-3). Solve -2*k - y = 3*k for k.
-4
Suppose 7 = -3*l + 5*o + 33, -5*l = o - 6. Let r be ((-5)/(-15))/(l/12). Solve r = a - 0*a for a.
2
Suppose 2*c = 2*l + c - 126, -114 = -2*l + 4*c. Let z be l/20 + (-1)/4. Let x be -2 + 0/z - -2. Solve 2*o + 3*o = x for o.
0
Let r = 12 - 7. Let w = r - 0. Solve 2*n - w - 1 = 0 for n.
3
Suppose -4*n - 4 = -5*s, 0 = 4*n + n - 3*s + 5. Let c(b) = -21*b**3 - b**2. Let d be c(n). Solve 0 = 2*p + 3*p - d for p.
4
Let i be 8 + -1 + 1 - 2. Let h = i + -6. Solve -5*q - 5 - 10 = h for q.
-3
Let m(n) = -n**2 + 14*n - 20. Let z be m(12). Solve -2*r = -z*r + 10 for r.
5
Let f = 14 - 11. Solve -f*i - 5 = -14 for i.
3
Let c(k) = k**3 - 2*k - 4. Let r be c(-3). Let v = r - -29. Solve -2*m + v*m = -10 for m.
-5
Suppose 17*d - 146 = 126. Solve d = -4*l - 0 for l.
-4
Let j(a) = -a + 16. Let r be j(11). Suppose -r*y = -y - 24. Let t be 1*0*(-3)/y. Solve -3*o = -t*o + 15 for o.
-5
Let z be 1/(-2)*2*9. Let b = z - -29. Solve -5*o = -o + b for o.
-5
Let r be (-21)/(-6)*12/(-105)*-5. Suppose 8 = 2*q + 4*h - 12, -2*q - h + 29 = 0. Let x = q + -1. Solve -s - r*s + x = 0 for s.
5
Suppose -2*p = -5*q + 21, -p - 3 = -0*p. Solve -q*d - 9 = -6*d for d.
3
Let z(f) = -f + 3. Let r be z(3). Suppose y - 5 = 2*n + 2*y, -4*y - 20 = r. Solve m - 4 - 1 = n for m.
5
Let i be (-20)/(-3) + (-2)/(-6). Solve 3 = -4*d + i for d.
1
Suppose k + 3 = 3*c, k + 1 = -k + c. Let l be (k - -3)/(3/(-12)). Let p be l/8*4/(-3). Solve 0 = -i - 0*i + p for i.
2
Let b = 9 + -5. Suppose -b*z + 10 = z. Let c(a) = 19*a - 1. Let m be c(1). Solve z = 4*o - m for o.
5
Suppose v - 10*v + 27 = 0. Solve -v*q + 12 = -0 for q.
4
Let v = 11 + -9. Solve 0 = -v*y - 0*y + 2 for y.
1
Suppose -3*a + 24 = -3*v, -2*v - 5*a - 10 - 13 = 0. Let y = 17 + v. Let t be y/6*3/2. Solve t*j + 4 = 4*j for j.
2
Let c = 16 - 22. Let h = c - -9. Suppose -h*x + 18 + 3 = 0. Solve x = 4*y - 5 for y.
3
Let w(r) = r**3 + 7*r**2 + 6*r + 3. Let v(q) = q**3 + 8*q**2 + 7*q + 2. Let k(j) = -3*v(j) + 2*w(j). Let t be k(-9). Solve t = 2*s - 0 + 10 for s.
-5
Let d(l) = 4*l - 2. Let a be d(2). Let i be (-6)/(-4)*8/a. Solve -i*k + 8 = 2 for k.
3
Suppose -2*d + 6 = -4*h - 8, -19 = -5*d + 2*h. Solve 2*v - d = -1 for v.
1
Let q(j) be the third derivative of -j**4/12 - 2*j**3/3 + j**2. Let z be q(-4). Solve f = z*f - 9 for f.
3
Let x = -8 + 12. Suppose r - x*r = -12. Solve -4 = -r*s + 4 for s.
2
Let v(u) = -2*u - 25. Let k be v(-14). Solve 0 = -r - k*r - 16 for r.
-4
Suppose -3*x + 2 - 10 = v, 4*v + 4 = 2*x. Let r(a) = -a**3 - 3*a**2 - 4*a - 2. Let z be r(x). Suppose 4*s - 18 = -z. Solve s*j = j for j.
0
Suppose 5*l + 55 + 15 = 0. Let s = l - -19. Solve 4*v = 9*v - s for v.
1
Let p = -3 + 6. Suppose -6 + 21 = -2*b + 5*h, 9 = 4*b + p*h. Suppose 2*l + 2*l = b. Solve 0 = v - l + 2 for v.
-2
Let y = -3 + 5. Suppose 0 = -n + 3, 2*t - 3*n + 1 = -2. Solve -y*q + t*q = -1 for q.
-1
Let g be ((-36)/(-15))/(1/10). Let f = g + -22. Solve -o - f + 0 = 0 for o.
-2
Let v be (22/3)/((-4)/(-6)). Let c = v + -8. Suppose -3*w = -3*a + 3, -w + 0 = c*a - 3. Solve w*x = 2*x for x.
0
Let x(s) = -s**3 - 5*s**2 - 2*s - 5. Let u be x(-5). Suppose f + 29 = 4*f - z, 0 = -u*f - 4*z + 37. Solve 5*r + f + 6 = 0 for r.
-3
Let c(p) = p**2 - 6*p - 2. Let b = -15 + 24. Let l be c(b). Solve l = -9*x + 4*x for x.
-5
Suppose 0*i = -3*i - 3. Let k be ((-7)/(-21))/(i/(-30)). Solve 0*t + 5*t + k = 0 for t.
-2
Suppose 0*a + 14 = 2*a + 2*w, -4*a = -w - 13. Solve -i = -a + 1 for i.
3
Let h(v) = -12*v + 2. Let k be h(2). Suppose 0 = 8*o - 4*o + 64. Let n = o - k. Solve -21 + n = -5*t for t.
3
Let m = -43 + 48. Solve -m*q = 2 - 17 for q.
3
Let v = 12 - 0. Suppose -5*o = -v - 38. Solve 0 = z + 4*z - o for z.
2
Suppose 4 = -4*f + 12. Let n = 1 - -1. Solve n*j - f = 3*j for j.
-2
Let u(w) = 4*w**2 + 6*w - 22 + 4*w - 5*w**2 + 9. Let s be u(9). Let o be s/10 + (-114)/(-10). Solve -5*c + 1 = o for c.
-2
Let q = 5 + -3. Let z be (-9)/(-12)*(q - -2). Solve 2 = w - z for w.
5
Let u(v) = v**2 - 9*v + 5. Let j(z) = -z + 1. Let n(s) = -5*j(s) + u(s). Let f be n(5). Suppose -f*g + x = -14, 3*g = -2*x + 12 - 1. Solve g - 1 = -m for m.
-2
Suppose 0*n = -5*n - 2*j + 7, 0 = -5*n + 5*j. Solve -z - n = 1 for z.
-2
Let z(r) = 3*r - 43. Let a be z(15). Solve 0 = -a*n - 4 - 2 for n.
-3
Let o = 18 + -16. Solve -o*j - 10 = -2 for j.
-4
Let s = 181 - 179. Solve 0 = -s*c - 9 + 3 for c.
-3
Suppose 4*w + 29 = -7. Let u be (-8)/(-3) - 3/w. Solve -o = -4*o - u for o.
-1
Suppose -4*w - 5 = -3*j, -2 = -3*j - 3*w + 10. Suppose 1 - 7 = j*b. Let h be 3*(16/6 + b). Solve m = h*m for m.
0
Let s = 2 - 0. Suppose q = s*q - 5. Solve -2*i = -q*i - 9 for i.
-3
Suppose 0 = -3*m + 14 - 38. Let y = 3 + -18. Let t be (y/(-12))/((-2)/m). Solve 0 = -z + t*z + 8 for z.
-2
Let i be 148/6 + (-12)/(-36). Solve -3*t - i = 2*t for t.
-5
Suppose 4*y + 14 = 5*r, 4*r + 1 = 5*r + y. Solve 0 = l - r for l.
2
Suppose -3 + 0 = -3*t - 3*n, -6 = 3*n. Solve -t*y - 3 = 12 for y.
-5
Suppose 2*l = -3*l - 3*j + 18, 19 = 5*l + 4*j. Solve -l*u = u for u.
0
Suppose f = 2*f - 2*n, 0 = -2*f - 4*n + 40. Suppose -2*h + 6 = h - 2*q, 0 = 5*h - q - f. Solve 3 = -h*u + 11 for u.
4
Suppose 4*o = -4*m + 52, o - m = -4*m + 23. Let p = -4 + o. Solve 0 = -i + p*i for i.
0
Let