 = 7*d - 2*d - v for d.
4
Let f = 3 - 4. Let p be (2/f)/((-2)/5). Let v = -1 - -4. Solve -4*o + 3 = 3*l, -o + v*o - p*l = -31 for o.
-3
Let g(y) = y**2 + 3*y + 1 - 1 - 1. Let f be g(-4). Suppose 0 = f*b - 6 - 3. Solve 4*s + 2 = 2*v, 4*s + 4*v + b = -5 for s.
-1
Let d(h) = h**3 - 4*h**2 + h + 3. Let l be d(4). Solve 0 = -g - 5*n - 5 - 6, 5*n + l = -2*g for g.
4
Suppose j - 3 = -l + 5, -2*l + 8 = 0. Suppose -6*b = -j*b - 4. Solve 3*v + 5*n = -0*v + 15, 0 = -b*v - 2*n + 6 for v.
0
Suppose 0 = -3*p - 3*p + 5*p. Solve 2*l - 15 = 3*q, -2*l + 0*q - 5*q - 25 = p for l.
0
Let f be (0*(-1)/(4/(-2)))/1. Solve 2*m + 2*s + 3*s + 17 = f, 3*m + s = -6 for m.
-1
Let a(z) = z**2 + z - 5. Let p be a(5). Suppose 3*y + 3 = -3*f, -y + f = -0*y - 3. Solve -5*i = p, -2*m - i + 6 - y = 0 for m.
5
Suppose -5*m - 1 = -4*u, 5 - 12 = -u - m. Let c = -9 - -3. Let l be (c + 6)/(2/(-1)). Solve 5*h = 0, 5*f + u*h + 2 + 3 = l for f.
-1
Suppose -2*a = -4*l - 6*a + 44, l + 5*a = 27. Let t(h) = -h. Let x be t(-2). Solve 3*c - l - 1 = v, 6 = x*c for v.
1
Suppose -5*a + 0*a + 26 = -3*v, -14 = -4*a - v. Solve -11 = -2*b + 5*o - 1, -a*o = -2*b + 6 for b.
-5
Let z(h) = -h**2 + h + 8. Let p be z(-2). Solve -4*r - 3 = -y, p*r + 9 = -3*r - 4*y for r.
-1
Let k = 0 - -1. Suppose 6 = -q + 4*q. Suppose -q = -5*p + 2*j, 4*p = 5*p - 3*j - 3. Solve p = 5*r - s - k, 4*r + 3*s = 7 + 9 for r.
1
Let q(n) = n**2 - 5*n + 1. Let l be q(5). Let t be (-1)/(l*(-3)/9). Suppose -t = 4*s - 15. Solve i - 5 = 5*h - 0*i, s = -3*h - 3*i for h.
-1
Suppose -2*g - 5*b = 21, -3*g + 0*g - 3*b - 9 = 0. Solve -g*a + 9 = -3*y, -y + 2*y - 3*a = -3 for y.
-3
Suppose -2*i = i - 33. Suppose 3*g + y = 5*y + 22, 2*g - 4*y - 20 = 0. Let f(n) = -n - 8. Let l be f(-10). Solve -4 = -b + l*u + g, i = -4*b + u for b.
-4
Let k = -14 + 16. Let f(g) = g**2 + 3*g. Let l be f(-4). Solve l*p - 18 = k*s, -p - 2*s = 4*p for p.
2
Suppose 2*i - 2*b - 14 = 0, 0 = -i - 9*b + 4*b - 23. Solve -i*u = 2*z, 3*z + z = -5*u + 2 for u.
2
Let j(o) = -o**2 + o + 1. Let k(l) = -10*l**2 + 12*l + 12. Let y(m) = -12*j(m) + k(m). Let t be y(1). Solve 2*q - 3*s - t = 0, 3*s + 17 - 1 = -5*q for q.
-2
Let i(q) = -6*q - 69. Let z be i(-12). Solve 5*m + 3*d + 17 = 5*d, z*m + 27 = -3*d for m.
-5
Suppose 4*t = 9*t - 70. Solve g + 5 = 0, 4*k - 5*g - t = 3 for k.
-2
Let a = 0 + 20. Suppose q = -5*n + a, n + 29 = q + q. Solve -3*f = c - 0*c - 10, -4*c - q = f for c.
-5
Let f = 16 + -11. Let q = 7 + -3. Solve -5*w = q*z - 4*w + 18, z + f*w = 5 for z.
-5
Suppose 1 = 3*o - 14. Suppose 0 = -4*f - o*q - 2, -q = -1 + 3. Solve 0 = -n - 2*x + f + 8, 3*n = 4*x for n.
4
Let q = 7 + -7. Solve -h + 12 = -2*h + 4*c, -2*c + 8 = q for h.
4
Let i be 1/(-5) - (-261)/5. Suppose -3*h + i = 2*z - 58, 0 = -h + 3*z + 22. Solve 5*o + h = 3*n, -3*n - o = -5*o - 29 for n.
3
Let c = 21 + -19. Solve 2*n + 6 = c*r, n + 2*r = 7*r + 1 for n.
-4
Let f(v) = v + 3. Let p be f(-6). Let l be (p/4)/((-3)/60). Suppose 4*s = -s + l. Solve 2*m + 3*a + a = 10, s*m - 15 = 2*a for m.
5
Let x = 0 - -4. Solve -2*z + 10 = 0, 11 + 16 = x*f + 3*z for f.
3
Suppose -3*y - 10 = -4*y. Solve 0*t - y = -5*n + 2*t, 0 = -5*t + 25 for n.
4
Let o(a) = a**3 + 12*a**2 - 11*a + 30. Let x be o(-13). Solve -4*s + 9 - 1 = -x*z, 0 = s + 2 for z.
-4
Let t be -8 - (1 + -1 - 2). Let z = t + 18. Suppose 0*x + 3*x + 12 = 4*b, -3*x = b + z. Solve -5*f + b*f + 4*m + 2 = 0, -m = -4*f - 5 for f.
-2
Suppose o - 22 = -4*r, 4*r = -3*o - 2*o + 30. Solve u = -p - 2, o*u = 5*p + 3 - 14 for u.
-3
Suppose -q - 2 = -0. Let r(y) = -y**2 - 2*y. Let i be r(q). Let g = i - 0. Solve 4*o - 2*o + 25 = -3*a, g = 3*o + 15 for a.
-5
Suppose 4*f - 12 = -2*k, 6*f - 3 = 3*f - 3*k. Solve -f*n = -2*u - 18, 2*n + 8 = -4*u - 2*n for u.
-4
Let s = 4 + -2. Let m be 0 + 2 - -2 - 2. Suppose m*r - s*u = -0*u + 8, -3 = -3*u. Solve 0 = -r*w - 5*z - 50, w - 2*w - 2*z = 15 for w.
-5
Suppose 2 + 7 = 3*d. Suppose 10 = 4*r + r. Suppose 0*h + h - o - 3 = 0, 5*o = -r*h + 20. Solve 12 = -d*c + h*g, 1 + 7 = -c + 3*g for c.
1
Let u be (3 - (-51)/6)/((-5)/(-10)). Solve 0 = -4*o + 3*y + u, -4*o = -7*o + 4*y + 26 for o.
2
Let o be (3*1)/((-1)/2). Let t = o + 9. Suppose 2*h = 3*h - 3. Solve -4 = 4*q - h*s + 5, t*s + 15 = -4*q for q.
-3
Suppose 0 = 5*l - 10 + 35. Let o be (-12)/(-10)*l/(-2). Let q be 9/4 - (-5)/(-20). Solve -n = 3*d + 6, o*n - 6 = q*d - 2 for n.
0
Suppose -3*p = -s - 9, 1 + 5 = -2*s + 3*p. Let m be -12*(s/2 + -2). Solve -l - 5*v = m, -6*l + 2*l + 2*v - 2 = 0 for l.
-1
Let i be 12 + 2 + (0 - 1). Suppose 3*n - 2 = 2*n. Solve -b = 2*l + 7, -3*b + i = n*b - 2*l for b.
1
Suppose 2*z + 0*n - 2 = -2*n, 10 = 2*z - 2*n. Solve -z*w - 15 = -5*h - 40, -2*h = -5*w + 29 for w.
5
Let l(i) be the second derivative of i**3/3 + 5*i**2 - 7*i. Let h be l(0). Solve -4*r - r = 0, -2*r - h = -2*j for j.
5
Suppose 3*q - 41 = -5*i - q, 2 = 2*i - 2*q. Let d be 1/(((-4)/(-15))/4). Solve n = 4, d = -3*h - 2*n + i*n for h.
-1
Let v(p) = p + 14. Let r be v(-8). Solve -x - r = 3*d, -4*d - 9 = 4*x - 3*x for d.
-3
Suppose -3 = l - 13. Let h be ((-6)/l)/((-3)/15). Solve 0*x + h*x - 8 = 2*a, 2*a = -3*x + 16 for a.
2
Suppose 0 = -2*r - 2*r - 100. Let m = r - -36. Let j = m + -6. Solve 11 + 5 = -2*u + j*l, 10 = u + 2*l for u.
2
Let v(r) = -r**2 - 9*r + 10. Let b be v(-10). Let h be 2/((-6)/9) + 8. Let d = h - b. Solve 20 = d*f + 2*c, -4*f - 12 = -7*f + 5*c for f.
4
Let x(z) = -z**2 + 12*z + 5. Let t be x(12). Suppose -g - 18 = 3*k - 7, 5*g - t*k = 45. Solve -5*l - 5*f = -10, g*l - 5*f - 12 = -10*f for l.
-2
Let p be (0*5/25)/(-1). Solve 2*x + p = 10, 3*t - 19 = -5*x for t.
-2
Let l(x) = 5*x - 7. Suppose 2*m = -4*u - 8, -6 = 3*m - 0*m + 4*u. Let y be l(m). Solve -y*o = -12, -p + 2*p + 5*o = 21 for p.
1
Let y be 9/3 + (-60)/(-4). Solve -5*t = u + 2*u + 4, -y = 5*u - 3*t for u.
-3
Suppose -4*o - 40 = -12*o. Solve 5*c = -2*j - 10, 0 = o*c - 3*j + 10 for c.
-2
Let s be 4*-1*(-4)/8. Solve -w - 2*w = -3*j + 12, -s*j + 11 = w for w.
1
Let q(n) = -n**2 + 4*n + 5. Let m be q(4). Suppose 5*c = -3*a - 12, c - 14 = -2*a + 5*c. Let f = a + 4. Solve f*v = -m*d - 0 - 5, 5 = -3*v - 2*d for v.
-3
Let p(f) = 3*f**3 + 4*f**2 + f + 1. Let x be p(3). Let o be x/7 - (-2)/(-7). Solve 14 = y + 3*t, -o = -4*y + t - 0*t for y.
5
Let l(r) = -r**2 - 3*r + 2. Let m be l(-3). Let n be 13/3 + 1/(-3). Solve a = -4*z - 16, -2*z + n = -4*a + m*z for a.
-4
Suppose -2*r - 4*v = -5*r + 9, v + 3 = 0. Let z be 1/(r/(-26 + 3)). Solve -b + 2*y - 5 = 6*y, 0 = 5*b - 4*y - z for b.
3
Suppose -8*b + 45 = -3*b. Let o = 13 - b. Solve 5*a + 1 = 3*k, -6 = -3*k - o*a + 4 for k.
2
Suppose -3*a - 3*u = a - 7, 5*a = u + 23. Suppose 8*q - 3*q + a = -o, -3*q - 20 = 5*o. Let r be (-2)/2*6/(-2). Solve 8 = 2*t, x + 2*t + r*t - 19 = q for x.
-1
Let y = -14 + 26. Solve 0*z - y = -4*z - 2*o, 0 = -2*z - 3*o + 2 for z.
4
Suppose 3*c - 5 = 10. Suppose 3*a - c*a + 87 = 3*f, -f = -5*a - 46. Suppose -d + 2*d = 0. Solve -3*n = -n - 5*v - f, -3*n + 4*v + 29 = d for n.
3
Let l be 4/18 - (-225)/81. Solve -5 = -y + 5*c, -l + 0 = -5*y + 3*c for y.
0
Let i(m) = -m**2 - 8*m - 2. Let x be i(-8). Let l be (-16)/((-1)/((-6)/x)). Suppose 3*n - 7*n = -l. Solve -3 = -3*u - 2*w, 6*w - 2*w - n = 0 for u.
-1
Let g be ((-3)/(-3))/(1/6). Suppose g = -3*j + j. Let x be 2 + -4*j/6. Solve -3*h + 4*h + i + x = 0, -h = -3*i + 4 for h.
-4
Suppose 0*j + j = 5. Let z be 3/2 - 1/(-2). Solve i = -z*i + 4*p, 0 = -j*i + p for i.
0
Suppose 3*c = 7*c + 12. Let w(y) = -4 + 5 - 2*y - 3. Let m be w(c). Solve 0*u + 3*u = 5*i - 5, 0 = u + m*i + 13 for u.
-5
Let l(g) = g**3 + 6*g**2 - 7*g + 3. Suppose -14 = -2*k + 4*k. Let h be l(k). Let q be (-10)/(1*(0 - 1)). Solve -s + 4*t - 11 = 1, -h*s = t + q for s.
-4
Let y = 5 - 13. Let x be y/(-3)*(-27)/(-6). Suppose -2*u + 38 - x = 0. Solve -3*j - 5 - 26 = 5*v, j - u = 3*v for v.
-5
Suppose 0 = -2*j + 5*r + 14, 2*j - 5*r = j + 7. Solve 4*h - 1 = 3*q - 0*q, -2*h = q + j for h.
-2
Let s(v) = -1 + 0 + 10*v**2 + 7 - v**3 - 11*v + 3. Let g be s(9). Let k be (-2)/(-6) - 33/g. Solve k*d = -0*f + f - 17, f - 2*d = 11 for f.
5
Suppose -p - m = -2*p + 11, 2*p = 5*m + 37. Solve -3*t + p = -s, -4*s = t + 6 + 5 for t.
1
Let s(l) = 1 + 3 + 4*l - 5. Let y be s(2). Suppose 2*q = w + 5, -4*q - q = 2*w - 17. Solve 4*t - 5 = -5*h, q*t = 3*h - y + 4 for h.
1
Suppose 2*l = 4*i + 4,