v - 6*v = 0. Suppose v*j - 5 = -j. Let p(t) = -t**2 + 4*t + 5. Let x be p(j). Solve -4*y = -x*y for y.
0
Suppose 2*r - 13 = -u, 2 = r - 2. Let k = u + -3. Suppose 2*d = -2*s - s + 2, -s = -k*d - 14. Solve s*q = -q - 5 for q.
-1
Suppose -2*m = -12 - 8. Solve s + s = m for s.
5
Let i(p) = -p**2 + 5*p - 2. Suppose 3*m - 18 = -6. Let u be i(m). Solve u*d + d + 3 = 0 for d.
-1
Let d(c) = c**2 + 4*c + 2. Let q be d(-2). Let l be (2 - 3)*(q - -2). Solve 0 = 4*b - l*b + 12 for b.
-3
Suppose -55 = -5*y - 3*s, 3*y - 5*y = -4*s + 4. Let b(u) = 3 - 7 - 2*u + 3*u. Let h be b(7). Solve -y = -h*i + 5*i for i.
-4
Let c = -26 - -26. Solve c = -2*h + 9 + 1 for h.
5
Let z = 3 + 12. Solve -3*s + 0 = -z for s.
5
Let p be (78/72 - (-2)/8)*3. Solve -3*c + p*c - 1 = 0 for c.
1
Let z be 1 + 1*(0 - -1). Solve -2*o - z = 6 for o.
-4
Let v = -43 + 25. Let i = 20 + v. Solve 0 = i*p + 9 - 1 for p.
-4
Suppose 3*o = 4*o - 2. Let u(j) = -2*j - 8 - j + o*j. Let b be u(-8). Solve b = -2*d + 4 for d.
2
Let h(p) = p - 1. Let n(j) = -j. Let i(m) = 3*h(m) + 4*n(m). Let d be i(-3). Solve d*z = -5*z - 15 for z.
-3
Let x = -9 + 20. Let b(d) = -d**2 + 10*d + 13. Let z be b(x). Solve -u = z*u - 9 for u.
3
Let z be (-1)/(-3)*(-7 + 22). Suppose z*o - o - 20 = 0. Solve -b - 4*b - o = 0 for b.
-1
Let d = -6 - -8. Solve -3*a - 3 = -d*a for a.
-3
Let v = 10 - 10. Suppose 2*z + 4 = v, z - 9 = -5*m - 1. Solve i + m = 7 for i.
5
Let l = 36 - -1. Suppose 3*d - l = 5*j, 2*d = 5*d + j - 7. Solve -d = -2*z + 6 for z.
5
Let w(r) be the second derivative of -r**3/6 - 6*r**2 - 2*r. Let x be w(-14). Solve -x = -i - i for i.
1
Suppose -4*o = -12, -4*o - o + 9 = -3*m. Solve -m*h + 20 = 2*h for h.
5
Let h = 12 + -18. Let d(m) = m**3 + 5*m**2 - 6*m + 3. Let v be d(h). Suppose 3*c = 3*n + 9, 0*c - 21 = -3*n - 3*c. Solve 0 = v*r + 7 + n for r.
-3
Let z(a) be the second derivative of -a**5/20 + 7*a**4/12 - a**3 + a**2 - 5*a. Let u be z(6). Solve 2 = -u*j + 4 for j.
1
Let h = -11 + 14. Let f be (1 - -2)*15/9. Solve 8*t = h*t - f for t.
-1
Suppose 2*n = -6, 17 = -0*h - h + 3*n. Let k = -16 - h. Solve 0 = 3*d - 5 - k for d.
5
Let n = 3 + -3. Let o(f) = f**3 + 4*f**2 - 3*f + 11. Let s be o(-5). Solve t + s = -n*t for t.
-1
Suppose -5*y - 3 - 17 = 0. Let g be (10/y)/((-19)/38). Solve 0 = g*b - b for b.
0
Let s = 41 - 35. Solve 7*u = s*u + 4 for u.
4
Let b be (1 - 6) + (-5 - -6). Let t be (2 + b)*-1*2. Suppose 2*w + 8 = 2*a, -a - 4 = -t*a - w. Solve 0 = -a*y + 3*y + 5 for y.
-5
Let i(q) = q**2 + 4*q - 28. Let c be i(-8). Solve v + 15 = -c*v for v.
-3
Suppose 4*m + 2*y = 14, 8*y + 35 = 4*m + 3*y. Let z(c) = c**3 - 6*c**2 + 4*c + 7. Let p be z(m). Let d = -2 + 2. Solve 4*t - p - 18 = d for t.
5
Let x(p) = -p**2 - 2*p + 3. Let k(m) = -m + 3. Let h be k(6). Let y be x(h). Suppose 3*i - 4 - 8 = 0. Solve y = -i*c - 1 + 21 for c.
5
Let f(h) = h + 5. Let j(l) = -l - 11. Let q be j(-11). Let i be f(q). Solve -5 = 2*p + i for p.
-5
Let d = 5 + -3. Solve -z + 3 + d = 0 for z.
5
Let z(p) = 2*p**2 - p + 2. Let d be z(0). Solve -d*j + 15 = -7*j for j.
-3
Let u be 9 + -3 + (-1)/1. Let t be (1 - 0)/((-1)/5). Let j be 22/u - (-2)/t. Solve 0 = j*q - 2*q - 8 for q.
4
Let i = -3 - -43. Suppose -5 + i = -f + 5*l, -40 = 2*f - 4*l. Let c be (-12)/15*(0 + f). Solve c*n = 3*n for n.
0
Let n(h) = -h**2 - 9*h + 5. Let b be n(-9). Solve b*m + 1 + 9 = 0 for m.
-2
Suppose 3*q - 7*q = 4. Let w be (q - -2)*0*1. Solve w*x + 3 = x for x.
3
Let u(p) = -p**3 + 12*p**2 - 8*p - 33. Let a be u(11). Solve -2*d - 10 + 4 = a for d.
-3
Suppose 5*f + 21 = 4*j, -3*j - 3*f - f = -8. Solve 5*u - 4 = j*u for u.
4
Suppose 1 = 2*u - 5. Suppose -u*p + 6*p = 0. Solve p*c = 4*c - 12 for c.
3
Let p = 26 - 21. Solve -p*y - 2 = 3 for y.
-1
Let m be 3 + -1*4/(-4). Solve -m = l - 2*l for l.
4
Suppose 5*x + 86 = -3*g, -2*g + 4*x - 44 - 28 = 0. Let u = -17 - g. Solve -i + 6*i = -u for i.
-3
Let y be ((-28)/(-8) + 1)*2. Suppose 0 = -4*g - 3*r + 18, g = 5*r - r - 5. Suppose -k + 6 = g. Solve -k*v + y = -0*v for v.
3
Let o = 6 + -3. Suppose 15 = 5*g + 3*w, 1 - 4 = -g + o*w. Solve -u + g = 2*u for u.
1
Suppose 3*i - h - 53 = 35, 20 = 4*h. Solve -11 = -5*c - i for c.
-4
Let c(o) = o**2 + o - 4. Let y be c(-3). Suppose -4*d + 3 = k, 2*k + 2 = -3*d - y. Suppose 5*v = d + 73. Solve s + 4*s = v for s.
3
Suppose -11 + 1 = -5*d. Let w = d - -1. Let t = 9 + -8. Solve -t = w*u + 2 for u.
-1
Suppose -2*u + m + 12 = -u, -3*u + 5*m = -28. Solve h + 3*h + u = 0 for h.
-4
Let i(o) = 2*o - o**3 + 2*o**2 - o + 2*o**3 + 2. Let b be i(-2). Suppose 0 = -n - 1, 4*n = -3*q - n + 4. Solve b = -m + 4*m - q for m.
1
Suppose 0 = -j + 2. Let m = -6 - -9. Solve -m = j*f + f for f.
-1
Let b = 23 - 10. Suppose -2*c + 2*d + 12 = 0, 3*c = 2*c - 3*d + 6. Let v = c + b. Solve 4 - v = -3*h for h.
5
Let v = -16 + 36. Let q = 2 + 2. Suppose 2*z = -0*z + q. Solve z*y = -2*y + v for y.
5
Let w = 8 + -3. Let f(i) = -i + 1. Let o(t) = t**2 + 5*t - 5. Let u(q) = 6*f(q) + o(q). Let z be u(0). Solve z - 21 = w*b for b.
-4
Suppose 3*x - 7*x - 228 = 4*z, 4*z + 3*x + 229 = 0. Let g be (-2)/9 + z/(-18). Suppose j = 5*d - 26, -g*d + 20 = -4*j - j. Solve -d*p + 3 + 12 = 0 for p.
3
Let y be 2/4*310/5. Suppose -c - f = -0 - 8, 5*f = -2*c + y. Solve 3 = c*p - 2*p for p.
3
Let v(n) = -n**2 + 8*n - 3. Let y be v(7). Let b be -3*1*8/(-6). Let c = b + -2. Solve -6 - y = -c*g for g.
5
Let i(q) = q - 5. Let o be i(5). Suppose 4*t + 1 = 2*g - 9, 5*g - 25 = 0. Solve o = -3*r - t*r + 3 for r.
1
Suppose -l + 5*r - 7 = 0, -3*r - 25 = -5*l + 2*r. Solve -2*p + l = 18 for p.
-5
Let r(i) = -i**2 + 11*i - 6. Let o be r(10). Let v(h) = 3*h**2 - 2*h + 1. Let m be v(2). Solve m = o*g + 29 for g.
-5
Let k(a) = a**2 + 1. Let p be k(-1). Solve 0 = t + p*t - 9 for t.
3
Let u = -10 + 20. Let j be -2*u*(-2)/4. Let a = 18 - j. Solve a + 2 = -5*p for p.
-2
Let f = 104 - 99. Solve -f*v + 3*v = 8 for v.
-4
Suppose 0 = -4*f - 20, g = -3*g - 5*f + 83. Let r = g + -8. Solve -r = 5*w + 6 for w.
-5
Suppose 5*u + 2*t = 22, -4*u - u = 4*t - 24. Suppose -z - u*h = -5*h - 7, 5 = -h. Solve z*v = 3*v for v.
0
Let n be 8/12 - 4/6. Let k = -2 - n. Let r be k/(-4)*2 - -7. Solve -r = m + 3*m for m.
-2
Let r(c) = -c**2 - 7*c - 1. Let y be r(-6). Let q be (-9)/(-15) + 7/y. Solve 0*p + q*p + 10 = 0 for p.
-5
Let q(w) = 4*w**2 + 2. Let m be q(-2). Let o = m + -10. Solve -o = 5*l + 2 for l.
-2
Suppose -2*i + 4 = -2. Solve i*d - 21 = -6 for d.
5
Suppose -5*o + 5*f - 20 = 0, -4*o + 0*o - 8 = -2*f. Solve 0*w + 4*w = o for w.
0
Let g = 14 - 4. Let f = -11 + 20. Suppose 0 = -f*u + 6*u. Solve -2*w + g = -u for w.
5
Let f be (6 + -2)*5/4. Let s(h) = 6*h**2 + 5*h - 5. Let l be s(1). Suppose 0 = l*b - b + z - 25, b - 2*z - f = 0. Solve 0 = -6*a + a + b for a.
1
Suppose 4*b - 4 = 4. Solve 0 = -2*l + 4 - b for l.
1
Suppose n - 4*s = 0, -s + 2 = 1. Suppose 3*a + m = -4*m + 24, 0 = 4*a + n*m - 24. Let z = 4 - 2. Solve -g = -a*g + z for g.
1
Let d = 3 - 1. Suppose -2*z + 6 = -d*o + 5*o, -3*z + 9 = 3*o. Let a(t) = -t**2 - 9*t - 5. Let q be a(-8). Solve -q = -u - o*u for u.
3
Let d(b) = b**3 + 3*b**2 + 6. Let g be d(-3). Let j(w) = w**2 + 3*w + 5. Let i be j(-5). Solve -g*o = -3*o - i for o.
5
Let z(i) = -7*i + i**2 - 7 + 9 + 6. Let j be z(6). Suppose 3*g - 10 = -b, -50 = -5*b + j*g - 7*g. Solve 0*o = 2*o + b for o.
-5
Let k(o) = -o - 10. Let m be k(-13). Solve m*c + 3 = 4*c for c.
3
Let l = 3 + -8. Let z = 1 + l. Let a be 2/z - (-11)/2. Solve -3*u - a - 1 = 0 for u.
-2
Let t(o) = -o**3 - 8*o**2 + 2*o + 17. Let c be t(-8). Solve -4*l = -3*l - c for l.
1
Let l = -21 - -29. Suppose l*d = 3*r + 3*d + 5, -4*d + 16 = 0. Solve -r*z = -7 - 8 for z.
3
Suppose -2*c - 3*c + 5 = 0, c = -3*a + 16. Let l = a - 3. Solve l*o = 6*o for o.
0
Suppose 0 = 3*r - 6*r - 21. Let z(t) = -t**3 - 7*t**2 + t + 2. Let k be z(r). Let f be (-30)/(-12)*(-4)/k. Solve -f*w + 5 = 3*w for w.
1
Let b = 5 + -4. Suppose 4 - b = w. Solve w*v + 6 = 6*v for v.
2
Suppose -3*k + 5 = -5*d, -2*k - 4*d = -2*d - 14. Solve -3 = -4*r + k*r for r.
-3
Suppose -r = -3*f - 0*r - 6, 0 = -3*f - 5*r + 12. Let t be (3 - 2 - 0) + f. Solve h - 2*h - 3 = t for h.
-3
Let x = 0 - -3. Let s(q) = -3*q**3 + 2*q**2 + 2*q - 1. Let a be s(2). Let f = -13 - a. Solve -j + x*j = f for j.
0
Let r(n) = n - 6. Let f be r(9). Solve f*w - 4*w = -4 for w.
4
Let f 