+ 8 = -4*x, i*p + 31 = 5*x. Solve 3*g = x + 3 for g.
2
Let b be 2/(-6) - 1/(-3). Let r be b - -1 - -2 - -3. Solve n = r*n - 10 for n.
2
Let r = -10 - -15. Suppose -5*b = -10*b + r. Let a be (2 - 0)*(2 - b). Solve 0 = -a*o - 0*o - 4 for o.
-2
Let h = -21 + 14. Let i = h + 10. Solve o + i = 5 for o.
2
Let k(b) = b. Let s be k(8). Let w(h) = -h**3 + 8*h**2 + 3*h - 3. Let x be w(s). Suppose 2*j + 0*j - 12 = 0. Solve -x + j = -5*a for a.
3
Suppose -q + 15 = 2*q - y, 2*y - 10 = -4*q. Solve -q*o = -2*o - 6 for o.
3
Let k(n) = n**3 - 8*n**2 - 3. Let a be k(8). Let r = a + 3. Solve f + r*f - 2 = 0 for f.
2
Suppose 0 = -6*b + 3*b + 15. Solve -b*m + 4 + 6 = 0 for m.
2
Suppose m + 4*o = 16, -15*m - o - 9 = -18*m. Solve 2*a - 6 = m*a for a.
-3
Let g(l) = l**3 + 6*l**2 - 5. Let o be g(-5). Solve o = -4*v + 4 for v.
-4
Let l(y) be the third derivative of -y**5/60 + y**4/12 + y**3/2 - 2*y**2. Let u be l(3). Solve 0 = -4*o - u*o for o.
0
Suppose 10 = m + 3*y - 0*y, -3*y = -2*m + 2. Let b = 2 + -2. Suppose b = 5*s - 3*a - 34 + m, -s = -a - 6. Solve -i = -s*i for i.
0
Let b = 3 - 1. Solve -l - 1 - b = 0 for l.
-3
Suppose 15 = 3*w, 0*n = 2*n + w - 9. Let c(z) = 2 - z**2 + z**3 + 3*z**2 + 2*z**n. Let x be c(-4). Solve x*j = -0*j for j.
0
Let j(i) = i**2 - 2*i - 3. Let l be j(3). Solve l = 4*c + c for c.
0
Let m be -2*4/(-2) + -2. Let w(j) = -j**3 - 11*j**2 - j - 7. Let b be w(-11). Solve -3*n + m*n = b for n.
-4
Suppose 0 = i - 6 + 2. Suppose 4*r - 68 = 4*c, -r + c - i*c = -13. Solve -q = 3*q - r for q.
4
Suppose 3*j = 2*j + 2. Let l(h) = -h**3 + 5*h**2 - 2*h. Let k be l(3). Suppose -4*c = 3*b + 9, 4*c - 4*b = -0*b + k. Solve j = -c*o - 2*o for o.
-1
Let o(w) = w**2 - 16*w + 6. Let i be o(16). Solve 0*c + i = -2*c for c.
-3
Let k be (-4)/(3/(63/(-6))). Suppose 0 = -0*l + 4*l - 20. Solve -1 = -l*o + k for o.
3
Let b be (-2)/(-6)*0/(-4). Solve b = 3*j - 6 - 9 for j.
5
Let u = -85 + 89. Solve u*c = -6 + 10 for c.
1
Suppose -v - 2*r + 3 = -2, 12 = -3*v + 3*r. Let u(z) = -8*z - 1. Let s be u(v). Let a = s + -3. Solve 2*b = a*b - 10 for b.
5
Suppose -30 = -2*p + 30. Suppose -p = -2*n + 30. Let x be n/21*(7 - 0). Solve -u - u = x for u.
-5
Let r(o) = o**2 + 5. Let z be r(0). Let b = z + -4. Solve -5*q = b - 6 for q.
1
Let f(n) be the second derivative of n**3/6 + 3*n**2/2 + 2*n. Let z be f(0). Suppose b = 1, z*u - 14 = -0*u - 5*b. Solve 3*a = -u - 3 for a.
-2
Let g be -2 - -3 - (5 + -4). Solve -7*h + 2*h = g for h.
0
Suppose -2*y = -0*y - 4. Solve y = -u - 3 for u.
-5
Let a(l) = -l**3 + 3*l**2 + 5*l - 3. Let k be a(4). Let q be ((-8)/10)/(4/(-10)). Let m be (-12)/20 - (-3)/5. Solve q*g - g - k = m for g.
1
Let y = 1 - -2. Suppose 2*f - 2 = 8. Solve -f = y*k + 2*k for k.
-1
Suppose 2*x - 12 = -2*x. Solve x*h - 4*h = 2 for h.
-2
Let f be 7 - (-9)/(-12)*-2*-2. Solve -6 = 5*l + f for l.
-2
Let x = 206 - 202. Solve 0 = -5*z + 3*z + x for z.
2
Let b = -19 + 30. Solve 9 = -2*t + b for t.
1
Let t(u) = 9*u - 22. Let d be t(6). Solve -5*q - 12 + d = 0 for q.
4
Let p be 2 - ((-12)/4 + 2). Solve -5 = 2*h + p for h.
-4
Let g(i) = -i**2 - 11*i + 2. Let o be g(-11). Solve h + o = -2 for h.
-4
Let g be -1*(-4)/(10/5). Solve -v = g*v + 6 for v.
-2
Let f = 65 + -27. Let l = f + -13. Let j = -3 + 5. Solve 3*v = -j*v + l for v.
5
Suppose 2*y - 3*y = -8. Solve y*j = 3*j + 15 for j.
3
Let x(d) = d**2 + d. Let c(m) = 4*m**2 + 10*m. Let u(l) = c(l) - 3*x(l). Let v be u(-7). Solve 0 = -v*j + 3*j - 6 for j.
2
Suppose -k = -4*k. Suppose 4*s + 22 = -k*w + w, s - 2 = -w. Solve 0*a + 2*a - w = 0 for a.
3
Let c = -10 + 15. Let y be (1 - 6/15)*c. Let g = -1 - -6. Solve 0 = g*o - 18 + y for o.
3
Suppose 3*u - 2*u = 0, 0 = -3*w - 5*u + 6. Let k be 0/(-5 + w - -5). Solve 5 = -5*f - k for f.
-1
Let t be 0 + (3 - 4 - 9/(-3)). Solve 3*x = -t*x for x.
0
Let l be (-7 + 0)/(4/(-4)). Let t = l - 5. Solve -t*y + 2 = -4*y for y.
-1
Let u(v) = 3*v - 10. Let y be u(4). Solve 0 = 2*a - 4 - y for a.
3
Suppose -4*r = -m - 15, r - 5*m - 2 = -3*m. Solve r*w = -w for w.
0
Let q be 3/(9/3) - -2. Solve -q*a - 5 = -8*a for a.
1
Let p(i) = -3*i**3 - i**2 + i + 1. Suppose 6*t = -0 - 6. Let n be p(t). Solve -n*v = v + 9 for v.
-3
Let f(k) = 3*k + 1 - 9 - 2*k + 0. Let t be f(10). Solve -s - t + 0 = 0 for s.
-2
Let z be 10/8 + (-12)/(-16). Solve -z*p = -p - 5 for p.
5
Let j(h) = 5*h**2 - h. Let z be j(1). Solve -4*m + z = -0*m for m.
1
Let z be (-54)/(-72) - (-3)/(-4). Solve 0*b - 3*b + 6 = z for b.
2
Let s(z) = 2*z - 5. Let k be s(4). Let a = 7 + -5. Suppose -k*r - a*r = 0. Solve -3*o - 3 = -r*o for o.
-1
Let x be 130/(-8) + (-5)/(-20). Let v = -11 - x. Solve -v*a = 28 - 3 for a.
-5
Suppose -14*t + 12 = -12*t. Solve 2*j - t*j - 12 = 0 for j.
-3
Suppose 31*v = 36*v. Solve v = -l - l - 4 for l.
-2
Let a(d) = -15*d + 4. Let n(x) = -22*x + 6. Let y(r) = 7*a(r) - 5*n(r). Let t be y(-3). Let j = -12 - t. Solve j*m - m - 8 = 0 for m.
2
Let q be 14/21 + (-1)/(-3). Solve -5*s + q = -19 for s.
4
Suppose -6*w + 3*w = -9. Suppose w*x = 4*x. Solve x = n - 0*n + 2 for n.
-2
Suppose 0 = -4*z + 3*s + 51, 4*s + 23 = 2*z + 5*s. Suppose 2*x - 2*h = z, x - 3 - 15 = 4*h. Solve x = 2*q - 4 for q.
3
Let v be 1 + -1 + (-5 - -8). Suppose t - v*t = 0. Solve 0*o - 5*o + 10 = t for o.
2
Suppose 5*r = 3*s, 2*s + 6 - 4 = 4*r. Solve -5 = -8*m + r*m for m.
1
Let w be 1*-5*(0 - -1). Let a(t) = t**2 + 5*t + 2. Let g be a(w). Suppose r - 8 = -v, -2*v + 13 = 6*r - 5*r. Solve -g = -5*o + r for o.
1
Suppose 4*v = -m + 28, -14 = -2*v + 4*m - 0*m. Suppose 2*h + 7 = 5*z - 2*z, 3*h - 12 = 0. Solve 0 = -z*q - 3 - v for q.
-2
Suppose 20 = 4*p + 4*v, -2*v = 3*p + 2*p - 10. Solve p*j - 4 = -4*j for j.
1
Let r = -8 + 3. Let s = 1 - r. Solve s*m = m for m.
0
Let i(u) = -u**3 + 4*u**2 + u - 1. Let q be i(4). Solve q*g - 9 = -0*g for g.
3
Let b be -6 + (-34)/(-4) - (-1)/(-2). Solve 0 - b = -a for a.
2
Suppose -10 = 5*t - 25. Suppose -3 = -s - x, 2*x = -3*s - 0*x + 10. Solve -s = t*z + 11 for z.
-5
Let q be 3/1 - (7 + -7). Suppose q*c = -2*r + 19, -3*c - 3*r = -0*c - 18. Solve c*z + 3 = 4*z for z.
-1
Let u(h) = -3*h**3 - h**2 + 1. Let w be u(-1). Solve -b - w*b = 0 for b.
0
Let p = 4 + 4. Solve -2*z + p = -0*z for z.
4
Let p = -42 + 62. Suppose -2*y - p = -7*y. Suppose -2*h = 2*h - y. Solve 3*n - h = -13 for n.
-4
Let w be (-102)/14 - 2/(-7). Let n = w - -11. Suppose x = 3*x. Solve x = 4*q - 0*q - n for q.
1
Let u be (24/(-14))/((-2)/14). Let k = u - 9. Solve k*y = y - 10 for y.
-5
Let z(p) = -p**3 + 2*p**2 + 4*p + 1. Let y be z(3). Solve -y*c - 5 = 3 for c.
-2
Let z = 10 + -16. Let f = z - -6. Solve -2*t - 2 - 2 = f for t.
-2
Let a be (-2)/(-6) - (-16)/6. Suppose 2*s + 2*o = 6, 3*o + 1 = a*s - 2*o. Solve -s + 6 = -l for l.
-4
Let a(r) = -r + 8. Let u be a(4). Let f = -9 - -15. Solve 5*v + f = -u for v.
-2
Suppose 4*l + 8 = -0*l. Let i(b) be the second derivative of -b**3/6 + 4*b. Let z be i(l). Solve -11 = 3*h - z for h.
-3
Let t(o) = -o + 18 - o**2 - o + 0*o**2 + o. Let q = 5 - 5. Let z be t(q). Solve 4*l - 2 = -z for l.
-4
Let u(m) = -m**3 - 13*m**2 + 13*m + 1. Let t be u(-14). Solve -3*h + t = -0*h for h.
5
Suppose m = -3*w + 5, 4*w - m = -0*w + 16. Solve -3 = w*c + 9 for c.
-4
Let l(p) = -p**3 - 3*p**2 + 9*p - 2. Let c be l(-5). Solve c*s + 1 = -5 for s.
-2
Let l = 1 + 2. Suppose -5*i + 20 = -2*m, l*m = 4*i - 9 - 14. Solve -i*k - 2*k = 0 for k.
0
Let u(x) = -5*x + 2. Let z be u(-4). Let k(c) = c**3 - 17*c**2 + 19*c - 38. Let r be k(16). Solve -3*w + z = r for w.
4
Let n = 3 + -3. Let g = 5 - 2. Suppose n*b = g*b - 12. Solve -b*d - 15 = -d for d.
-5
Suppose -2*m + 0 = -18. Solve 2*h = 1 + m for h.
5
Let h(u) be the second derivative of u**4/12 - 5*u**3/6 + 3*u**2 + 4*u. Let j be h(6). Solve j = 4*v - v for v.
4
Let d be 1/(-2)*(2 + -2). Suppose 2*z - 12 = -2*h - 2*z, 0 = -h - 4*z + 16. Let l be 2/h*-1*10. Solve d = 3*j + l - 2 for j.
-1
Let o be 3 - 0/(16/(-4)). Solve o*g + g = 0 for g.
0
Let s(q) = -q**2. Let r be s(0). Suppose d - 12 = 2*w - 4*d, -2*d = -8. Suppose -k = -w*k. Solve 2*u + r*u + 10 = k for u.
-5
Let l(g) = -g**3 - g**2 + g - 2. Let b be l(-2). Suppose 5*y = -b*y + 20. Suppose 2*t - 2 = y. Solve 0*r - t*r = -9 for r.
3
Let o = -17 + 18. Solve o = -4*x - 3 for x.
-1
Let y be (1 - -23)*2/(-4). Let s = y - -29. Solve 0 = -5*o + s + 8 for o.
5
Let g = -188 -