 = 6*p - p + p**2 + 0 - 4. Let k be r(-6). Solve k = t - 0 for t.
2
Let n be (40 - (-8)/(-2)) + -4. Solve 5*c + 7 = n for c.
5
Let g be 3 + (2 - 5) + 0. Solve 0 = -g*v + 4*v - 20 for v.
5
Let y(p) = -p**2 + 5*p - 9. Let v be y(4). Let f be (24/10)/(-4)*v. Solve 0*u = -u + f for u.
3
Let w = 2 + 0. Suppose 8*n - 3*n - 4 = -w*c, -2*c + 4 = -3*n. Solve 0 = d - c - 0 for d.
2
Let t(h) = -h**2 + 7*h - 5. Let q be t(2). Solve -4*g - q - 7 = 0 for g.
-3
Let o(h) = h**3 + 7*h**2 + 5*h - 4. Let u be o(-6). Suppose j - u*j - 2*d = 0, 4*j + 5*d = 12. Let p = 9 - j. Solve m - p = 2 for m.
3
Let d(c) = c + 1 + c + 14*c**2 + 7*c**2. Let f be d(-1). Suppose 5*v - f = -0*v. Solve -v*j = -7*j + 15 for j.
5
Let x be (1/3)/((-3)/(-54)). Solve 0 = -3*v + x*v + 15 for v.
-5
Let q(w) = -w**3 + 7*w - 5. Let l be q(4). Let c = -25 - l. Solve -k = 3*k + c for k.
-4
Let c(y) = 2*y + 2. Let j be c(-3). Let i(q) = q**3 + 4*q**2 - q - 1. Let s be i(j). Solve s*u + 25 = -2*u for u.
-5
Let k be 0 + 1 + 3 + 0. Suppose -5*w + 14 = k. Solve -b + 3 = -w*b for b.
-3
Let x = -5 + 7. Let k(f) = -3 - x*f + 4*f**2 + f**3 + f**2 - 1. Let r be k(-5). Solve i = -3 + r for i.
3
Let h(o) = o**3 + 5*o**2 + 4*o - 5. Let r be h(-4). Let v = r - -9. Solve 0*k - v*k = 16 for k.
-4
Let z(b) = -b**3 - 2*b**2 + 7*b. Let i be z(-4). Solve -2*d = i + 6 for d.
-5
Let i(f) = -2*f. Let z(t) = 3*t + 1. Let h(n) = 5*i(n) + 3*z(n). Let g be h(-6). Solve 2*d + d = g for d.
3
Let q be ((-45)/(-6))/((-3)/(-4)). Solve q*g = 6*g + 12 for g.
3
Suppose -2*g + 2*u = -0*u + 6, -2*g - 2 = -4*u. Let f = g - -7. Suppose 4*h - 4 = 2*h. Solve 4 = h*j - f for j.
3
Suppose 3*r - 3*q = 3, -3*r + q + 4 = -q. Solve -5*t = -r + 7 for t.
-1
Let r = 8 - -4. Let c be 56/r + (-2)/(-6). Let f = 0 + 0. Solve 0 = -t + c - f for t.
5
Suppose -3*l - 2*l + 25 = 0. Solve -6 = -l*g - 31 for g.
-5
Let y(o) = -3 + 5*o**2 + 0 + 1 - 4*o + o + o**3. Let u be y(-5). Solve 4*x + u + 7 = 0 for x.
-5
Suppose 0 = p - 1 - 2. Solve -4*b = -p*b for b.
0
Let p(c) = -2*c**3 + c**2 - c - 1. Let z be p(-1). Suppose -3*r + j = z, 0 = 2*r + 2*j - 1 - 5. Suppose -4*o + 3*o = r. Solve h - 2 - 2 = o for h.
4
Let t be (-2)/(-6)*(6 + 0). Solve 0*s + 8 = -t*s for s.
-4
Suppose p = -2 - 0. Let w(f) = -f**2 + f - 1. Let l be w(p). Let c(a) = -a**2 - 8*a - 6. Let n be c(l). Solve -5*z - n = -16 for z.
3
Suppose -4*p = -5*z - 64, 6*p = 4*p - 5*z + 32. Solve -5*l = -4 - p for l.
4
Let y be (-2*3/(-6))/((-4)/(-28)). Solve 5*k = y*k + 10 for k.
-5
Let c be (-2)/(-6) + (-10)/(-6). Solve c = -2*m - 2 for m.
-2
Let f be 1/(-2) + 102/12. Solve 4*t + 12 = -f for t.
-5
Suppose 0 = -3*w - 4*n - 14, -n - 4 = n. Let l(x) = -2*x**3 + 0*x**2 + 0*x**2 - 2*x - 1. Let a be l(w). Solve 0 = -5*o + 6 + a for o.
5
Let h = 25 + -25. Solve h*p - 5*p + 20 = 0 for p.
4
Let b be ((-15)/25)/((-1)/5). Suppose -3*t + b + 0 = 0. Suppose o - 2 = -t. Solve -5 = c - o for c.
-4
Suppose 3*n - 15 = 5*y, 0*n - 15 = 3*n + 5*y. Let p be n/(-2) + (1 - 0). Solve -s + p = 2 for s.
-1
Suppose -5*b + 25 = -20. Let y = -7 + b. Solve -c + y = -0*c for c.
2
Let j be (-4 + 3 - -1) + -5. Let l be (-27)/j - 8/20. Solve 4*a + 25 = l for a.
-5
Suppose -4*b + 72 = -3*l, 4*b - 2*l - 39 = 37. Suppose 2*m - 30 = -m + 4*d, d - b = -4*m. Solve t + m = -t for t.
-3
Suppose 5*z - 3*z = 0. Solve 0 = -4*s - z + 12 for s.
3
Suppose -54 = -g - 2*g. Let i = g - 2. Solve -c = 3*c - i for c.
4
Let g = 0 - 0. Suppose 5*o - o - 8 = g. Solve -5 = o*d - 3 for d.
-1
Suppose n - 3*q = 2*q + 14, -n + 10 = -4*q. Let h be ((-2)/n)/(2/6). Let x be 2 + (-1 - h) + 3. Solve 0 = -x*r + 2*r + 1 for r.
1
Suppose 4*r = -6*y + 2*y + 8, -4*r + 2*y = -20. Solve n + r*n = -5 for n.
-1
Suppose 0 = -7*t - 6 - 1. Let n(i) = 29*i**2 - 5*i + 9. Let d(f) = -7*f**2 + f - 2. Let q(l) = -9*d(l) - 2*n(l). Let g be q(t). Solve -g*s - 3 = 1 for s.
-1
Let v(t) be the second derivative of t**5/20 - t**4/12 - t**3/6 - t**2 - 2*t. Let d be v(2). Solve d = -n + 4 for n.
4
Let o be ((-4)/10)/((-2)/20). Solve o*k + 0*k + 12 = 0 for k.
-3
Suppose -5*h - 2*w + 16 = 0, 2*w - 1 = 2*h + 1. Solve -5*a + h*a = 3 for a.
-1
Let l = 7 - 5. Solve 2 = l*u + 8 for u.
-3
Let n(d) = d**2 + 8*d + 3. Let p be n(-7). Let h be (p/5)/(12/(-30)). Suppose -2*x - h*x + 8 = 0. Solve -2*k + x = 4 for k.
-1
Let g = 30 - 30. Let t be (-2)/3 + (-14)/(-3). Let l be (-5)/(-2) - 2/t. Solve 6*i - l*i = g for i.
0
Let x be (-2)/6 - 2/(-6). Let q(z) = 2*z**2 - 4*z + 3. Let o be q(3). Suppose 2*v + 1 - o = 0. Solve x = v*y + 19 + 1 for y.
-5
Let c be ((-12)/(-15))/((-4)/(-10)). Let p = 12 + -8. Suppose 9*m - p*m = 30. Solve 0 + m = -c*x for x.
-3
Let j be 3*(-5)/75 - 2/(-10). Solve 5*r = -j - 15 for r.
-3
Let u(k) = k - 5. Let x(b) = -b**2 - 3*b + 21. Let v(f) = -9*u(f) - 2*x(f). Let m be v(2). Solve m*z = z + 16 for z.
4
Suppose 2 = -5*p - 8, -3*h + 11 = 2*p. Let q(f) be the first derivative of f**4/4 - 4*f**3/3 - f**2 - 7*f + 1. Let y be q(h). Solve -4 = 3*m + y for m.
-4
Let w(j) = j**2 + 3*j - 9. Let o be w(-5). Solve -11 - o = -4*i for i.
3
Let o be (19/4)/(1/4). Solve 3*b + 4 = o for b.
5
Let j be 2 + 0 + -4 + 2. Suppose -2*x - 3*x = j. Solve -3*l + 4*l = x for l.
0
Let c be (0 + -2)*(-18)/4. Suppose 4*t + 7 = l + 2*l, -c = -2*t - l. Suppose -5*i + 3*j - 2 = t*j, 5*i + 4*j = 8. Solve -5*q - 12 - 3 = i for q.
-3
Let o be 4/(-4) + 2 - -3. Solve 0*k = -o*k + 20 for k.
5
Suppose -2*n = -x + n + 31, -4*x - n = -59. Suppose 10*u = 6*u + x. Let d = -16 - -28. Solve d + 8 = u*j for j.
5
Suppose 7*o - 7 = -4*k + 2*o, 8 = 4*k + 4*o. Suppose 0 = k*u + 1 - 4. Solve 0 = -5*q + 6 - u for q.
1
Let w be ((-1)/3)/(1/(-6)). Solve 2*d = -w*d for d.
0
Suppose r = 2*r + 3. Let t = 7 - r. Solve 2*k + 2 = t for k.
4
Suppose -3*t + 2*t + 5 = 0. Let o = -15 - -26. Let w(r) = -r + 5. Let h be w(-4). Solve -t*k - h = o for k.
-4
Suppose -3*p + 4*d + 23 = 0, -3*d - 21 = -4*p - 2. Let n = -5 + 8. Suppose -p = a - n. Solve -2*y = a*y - 16 for y.
4
Let h(v) = v - 5. Let n be h(7). Let f = 64 + -61. Solve -n*p = p - f for p.
1
Let j(z) = z - 4. Suppose -2*p + 0*p = -6. Suppose 4*t + 5*y + 0*y = 49, -5*y = p*t - 43. Let v be j(t). Solve 3*h + v = -7 for h.
-3
Let z(o) = o**3 + 13*o**2 - 12*o + 30. Let v be z(-14). Solve -j = -v*j - 4 for j.
-4
Let c be ((-16)/6 + 0)*12/(-8). Solve -c*d + d - 9 = 0 for d.
-3
Let c(m) = 3*m + 54. Let y be c(-18). Solve y = -4*k + 9 + 11 for k.
5
Suppose y - 1 = 11. Solve -4*r + y = -4 for r.
4
Suppose -17 - 13 = -6*k. Solve -4*w + 21 - k = 0 for w.
4
Suppose 4*q - 16 = 3*q. Let p(b) = 4*b**2. Let s be p(1). Let i = 7 - s. Solve -i*l = l + q for l.
-4
Suppose 0*v = -5*v + 150. Let d = 44 - v. Let m = d - 7. Solve 0 = -4*b - 23 + m for b.
-4
Let n = -664 - -666. Let j(z) = -z**2 - 5*z - 2. Let q be j(-4). Suppose -3*h + 2 = -10, 0 = q*u + 4*h - 22. Solve -u*g + n = 5 for g.
-1
Let g be 92/9 - ((-282)/(-54) - 5). Solve 3*k - g = -2*k for k.
2
Let s be ((-3)/(-9))/(6/36). Solve 0 = g - s*g for g.
0
Let v = -57 - -57. Solve v = r - 6 + 4 for r.
2
Let r(m) = -m**3 + 6*m**2 - 5*m + 2. Let n be r(4). Let s = n + -7. Let a(b) = -b**3 + 6*b**2 + 6*b + 10. Let x be a(s). Solve -d - x = 2*d for d.
-1
Suppose 14*h = 17*h - 9. Solve -h*d - 16 = -4 for d.
-4
Suppose 2*y + 0*y - 3*v = 21, 2*v - 5 = -5*y. Solve -y*z + 3 = 9 for z.
-2
Suppose 0 = -o + 4*o. Suppose o*l = 2*l. Suppose -z + l = a - 1, 5*a = -5. Solve 2*j = -z*j for j.
0
Suppose 5*r - j - 6 = 0, -4*j + 2 = -5*r - j. Let x be ((-24)/(-10))/2*5. Let a = -4 + x. Solve -3*d + r*d = -a for d.
2
Let q = -1 + 2. Let i(k) = 2*k**3 + 10*k**2 + 5*k - 9. Let n be i(-4). Solve q = -w - n for w.
-4
Suppose 0 = -4*g + 2*g + h + 13, -2*g + 3*h = -23. Let y = 3 - 1. Let b = y + 0. Solve -g = b*i - 0 for i.
-2
Let j = 23 - 21. Solve -3 = i - j for i.
-1
Let q(g) = -3*g**3 - 4*g**2 - 4*g - 3. Let w(o) = o**3 - 9*o**2 + 7*o + 6. Let v be w(8). Let y be q(v). Let k = -8 + y. Solve -4 - 1 = -k*z for z.
1
Suppose -4*n = 2*o - 12, -n = -3 + 2. Suppose -2*m - v = -1, 0*v - 5*v - 7 = o*m. Suppose 3*u = -4*h - 4, -6*h + h - 5 = -m*u. Solve -2*z + u = -2 for z.
1
Let n = 91 - 79. Solve 2*d + 2*d - n = 0 for d.
3
Let p(v) = v - 3. Suppose 3*l = 5*m + 3 - 29, 2*m - 20 = 2*l. Let j = 20 + l. Let n be p(j). Solve u = n - 3 for u.
2
Let q(i) = i**3 + 8*i**2 + 2*i + 8. Let r be 