 = -9 + 14. Solve n*v - 4 - 1 = 0 for v.
1
Let m(r) = r**2 + 6*r + 7. Let c be m(-5). Solve -a + c*a = 0 for a.
0
Suppose 5*p + 25 = 0, -4*p - 135 = -5*t - 0*t. Suppose 0*h + 5 = h. Solve h*v - 3 = -t for v.
-4
Let m be (4/3)/(-1 - 10/(-6)). Let a be (2 - (-1 + 0)) + 2. Let b be 4/(-8) - a/(-2). Solve -u + m*u = b for u.
2
Suppose -4*b - 2*i = 44, 2*b - 2*i + 7 + 15 = 0. Let k = 26 + b. Let w(m) = m + 1. Let v be w(1). Solve -c - v*c = k for c.
-5
Let h = -2 - -4. Suppose -h*c = -c - 3. Suppose 0 = -6*k + k + 15. Solve k*a = -6 + c for a.
-1
Let m(d) = -d**3 + 8*d**2 - 13*d + 9. Let i be m(6). Solve -i*x + 0 = 6 for x.
-2
Suppose -5*v = 4*v - 27. Solve 2*i - 15 = -v*i for i.
3
Let p be 1*-2 - (-4 + -1). Suppose -2*x + 21 = -11. Solve -x = u + p*u for u.
-4
Let l(i) = i**3 + 3*i**2 + 2*i + 2. Let h be l(-2). Let t = 0 + h. Suppose -3*z = 5*a + 2, 0 = t*a - z - 4 - 4. Solve a*m = -m for m.
0
Let q(b) = b**3 + 6*b**2 + 5*b - 2. Let i be q(-5). Let v be (-4)/1*1/i. Solve 3*o = -v - 7 for o.
-3
Suppose -110*m + 4 = -109*m. Solve -m*h = -h for h.
0
Let l(h) = 5*h**2 - 17*h - 7. Let p be l(4). Solve 12 = -p*o + 2 for o.
-2
Let d = 12 + -2. Suppose -5*m = -7*m + d. Solve 2*o - 3*o + m = 0 for o.
5
Let a = 3 - 3. Suppose a = -s + 3*o - 7, 3*s - 3*o = -s + 8. Let v = s + -2. Solve -12 - v = -3*n for n.
5
Suppose -3*d + d = -4*w - 8, 0 = -5*d + 5*w + 10. Solve n = -d + 3 for n.
3
Let s(g) = -g. Let w(j) = 5*j - 2. Let p be (-6)/9 + (-3)/9. Let r(d) = p*w(d) - 4*s(d). Let b be r(-2). Solve 22 = b*i + 6 for i.
4
Suppose -10*k = -180 + 40. Solve -k*j + 16 = -18*j for j.
-4
Let v = 8 + -5. Solve 0 = -0*m + v*m - 3 for m.
1
Suppose 0*s - 10 = -2*s. Suppose -s*a + 5 = -5. Solve -y = a*y + 15 for y.
-5
Suppose 4*j + 10 = 4*q - 2, -3*j - 4 = -2*q. Solve -w = j*w - 12 for w.
4
Suppose 24 - 4 = -2*q. Let z be 4/q - 12/(-5). Solve j - z = 2*j for j.
-2
Suppose -3 = 2*t - 7. Let h be (2/(-3))/(t/(-6)). Suppose -3*z = -h*z + x - 6, 14 = z - 3*x. Solve -2 = 2*k - z for k.
3
Suppose 32*h - 20*h = 60. Let j(z) = z**2 - 3*z - 3. Let c be j(4). Let q = c + -1. Solve -h*o = -q*o - 20 for o.
4
Let u(c) = c - 5. Let g be u(7). Suppose 4*n - g*n = -4*d + 26, -4*d = -2*n - 14. Solve -n*p - 3 = -12 for p.
3
Suppose -15*s + 95 = -40. Solve -u - 2*u = s for u.
-3
Suppose -7*f + 9 = -5. Solve 6*l - 4*l = f for l.
1
Let c be 1/((-2)/20) + -1. Let o(r) = -2*r**2 - 5*r - 4. Let x be o(-4). Let k = c - x. Solve 0*n - 20 = k*n for n.
-4
Suppose 3 = 3*i - 6. Suppose -v + 23 = g - 4*g, 5*v - 4*g - 71 = 0. Solve i*y + v = -1 for y.
-4
Suppose 0*s = 3*s - 12. Suppose -s*x + 20 = x. Let i(f) = 4*f**2 + 2*f. Let j be i(2). Solve j = -0*c - x*c for c.
-5
Let b(d) be the second derivative of -d**5/20 - 5*d**4/12 + 5*d**3/6 + d**2/2 - 2*d. Let h be b(-6). Suppose 0 = -h*l + 4*l. Solve n - 2 - 1 = l for n.
3
Let u(c) = c**2 - c + 1. Let r be u(0). Suppose 5 = 4*p + r. Let j be (4/2)/(p/2). Solve -16 - 4 = j*z for z.
-5
Let g(r) = 2*r + 6. Let z be g(0). Solve -2*q + z = -0 for q.
3
Let a(n) = -2*n - 4. Let p be a(-8). Suppose 4*u - p = u. Solve -u*w + 12 = -7*w for w.
-4
Let y be (-16)/10*(-30)/12. Solve y*r = 7 + 5 for r.
3
Let x(l) = -l**3 + 6*l**2 - 8*l + 3. Let p be x(4). Solve -2 = p*u - 11 for u.
3
Let w(u) = -4*u**2 - 3*u. Let f(b) = 13*b**2 + 9*b. Let d(v) = -2*f(v) - 7*w(v). Suppose 3*j + 20 = -2*j. Let k be d(j). Solve -t - k = 4*t for t.
-4
Suppose -3*i + 8 = -7. Let p be 1 + -1 - (-15 + i). Solve f - p = -f for f.
5
Let w = -12 - -13. Suppose r - 4 = 4*c, c + 3 = r - w. Solve -r*o - 8 = -8*o for o.
2
Let g = 121 + -98. Solve -5*j = -g + 3 for j.
4
Let l be -3 + (-2)/(4/(-6)). Solve l = -5*w - 19 + 4 for w.
-3
Let z = 15 + -11. Suppose 9 - 25 = -z*a. Suppose -5*l + 0*f = 5*f - 15, -12 = a*l - 4*f. Solve 4*o + 15 + 1 = l for o.
-4
Suppose 0*r - r + 3*m + 15 = 0, -4*m = 3*r + 7. Solve -r = -2*u + 5 for u.
4
Let q be 5/(1*(-1 + (-4)/(-2))). Suppose -2*v = 3*f + 6, 6*f = -5*v + 3*f + 3. Let j = q - v. Solve -j*z - 1 - 5 = 0 for z.
-3
Let f be (102/18 - 5) + 13/3. Solve -2*t = f + 5 for t.
-5
Let t = 27 + -23. Solve t = -4*k - 0*k for k.
-1
Let s(l) = l**2 - 16*l + 16. Let q be s(14). Suppose 12 = y - 5*x, 5*x + 6 = -4. Let p be (y/3)/((-2)/q). Solve 0 = 2*n - 3*n + p for n.
4
Suppose -7 = 4*r - 19. Suppose -4 = 2*f - 5*k, -r*k - k + 40 = 3*f. Solve -c = c + f for c.
-4
Let u(v) be the first derivative of -v**4/4 + 2*v**3 + 9*v**2/2 - 9*v + 4. Let z be u(7). Solve z = 6*l - l for l.
1
Suppose -5*k - 4*f = -2, -4*k - 20 = 2*f - 6*f. Let r be (-7 - -7)/(k*1). Let p = 35 + -19. Solve -4*h + r = -p for h.
4
Suppose -4*y + 6 = -y. Let t = y + 0. Let g = t + -2. Solve g = 4*x - x for x.
0
Suppose x = -2 + 4. Solve 3 = b - x for b.
5
Let y = -7 - -11. Solve 8*a = y*a for a.
0
Let t(v) = -v**3 + 7*v**2 + 2*v - 9. Let d be t(7). Solve -d*f = -0 - 5 for f.
1
Suppose 0 = 2*h + 1 + 7. Let q(m) = -m**3 - 5*m**2 - 5*m. Let c be q(h). Solve 15 = -c*g + g for g.
-5
Let i(g) be the first derivative of -g**4/4 + 7*g**3/3 + 7*g**2/2 + 8*g - 1. Let o be i(8). Suppose -n - d = -o*n, d + 9 = 2*n. Solve -n*f - 7 + 4 = 0 for f.
-1
Let g be (8/6)/((-6)/(-45)). Suppose 6 + g = 4*m. Solve -5 - 7 = m*b for b.
-3
Let m = -44 + 48. Solve 7*u = m*u + 15 for u.
5
Suppose 0*t + 3*t - 2*v - 13 = 0, -15 = 3*v. Let q(s) = s**3 + 7*s**2 - 6*s + 7. Let g be q(-8). Let j = g - -14. Solve -3*o = -t - j for o.
2
Suppose 0 = -3*p - 4 + 16. Let j = p + -4. Solve j = 2*h + h for h.
0
Let g(i) = i - 2. Let s be g(-4). Let j be 3/9 + (-16)/s. Solve j*t = -2 - 7 for t.
-3
Suppose 0 = 7*b - 2*b. Solve 5*s - 1 - 9 = b for s.
2
Let n be -2*(-1 - 0) + 4. Suppose 5*o - q - 10 = 0, o - 3*q - 8 = -3*o. Suppose p + p - 4 = 0. Solve -o = p*x + n for x.
-4
Let o be (6 - 0)/(6/4). Suppose 4*z + 12 = -q - 10, 0 = -5*z - 5. Let v be 0*(-3)/q*3. Solve o*m = -v*m - 8 for m.
-2
Let a be (0 + 2)/(2/(-7)). Let b = 16 + a. Solve -f + b = -4*f for f.
-3
Let a(d) = d + 14. Suppose 4*u + 6 = -v + 3*v, 0 = -2*v + 5*u + 11. Let z be a(v). Solve -2*y = -z*y for y.
0
Suppose f - 20 = 4*m, -5*m + 50 + 9 = 4*f. Solve -q - f = -5*q for q.
4
Let u be 38 - 3*(-4)/6. Suppose 4*c - 2*c = u. Suppose 10*v - 5*v = c, 15 = -5*g + 5*v. Solve -d + 0*d = g for d.
-1
Suppose 5*g - 6 = -2*i, -5*g - 13 = 7. Suppose 4*v = 4*z - 12, -2*z + 4 = -3*v - 0*z. Suppose 2*o - 5*r + i = o, v*r = 4*o - 2. Solve -6*y + o*y = -16 for y.
4
Let a = 27 - 17. Solve -3*o = 2*o - a for o.
2
Let a be ((-2)/(-5))/((-3)/(-15)). Suppose -5*j = 3*u + 2*u, 0 = -a*j. Solve -2*d - 5 - 3 = u for d.
-4
Let k be 0/((-1)/(-2)*-4). Let t be -1 + 3/1 - k. Let x be (4/6)/t*9. Solve -5 = -x*m + 1 for m.
2
Let x = -6 - 5. Let v(s) = 3*s**3 + 7*s**2 + 3*s - 29. Let o(u) = -u**3 - 2*u**2 - u + 10. Let m(d) = x*o(d) - 4*v(d). Let y be m(-6). Solve -3*c - c = y for c.
-3
Let q = 19 + -16. Solve 15 = -0*z - q*z for z.
-5
Suppose 4*a - 3*p = 11, 2*a + a - 6 = 3*p. Solve -4*d - a = 3 for d.
-2
Let o(n) = -n**3 - 2*n**2 - 3*n - 2. Suppose 2*j = -2 - 2. Let y be o(j). Let f be -1*5*y/(-5). Solve f = v + 3 for v.
1
Suppose j - 2*z = -6*z, -9 = -3*j - 3*z. Solve 3 = j*s - s for s.
1
Let f = 5 - 5. Solve f = 6*c - 2*c + 4 for c.
-1
Let u be (-1 + (3 - 2))/2. Let v(n) = n**3 + 6*n**2 - 7*n + 3. Let m be v(-7). Let l be (-3 - -1) + (13 - -1). Solve -l = -m*h - u*h for h.
4
Let d = 5 - -2. Solve -d = 3*h - 19 for h.
4
Suppose 5*x - 4*x - 6 = 0. Let p(c) = c**2 + 4*c - 6. Let s(g) = g**2 - 7. Let v be s(0). Let t be p(v). Solve t = x*i - 3*i for i.
5
Let f = 16 + -13. Solve 7 - 19 = f*x for x.
-4
Let i = -6 + 6. Let w be i*-1*3/(-6). Solve w - 3 = -q for q.
3
Let n = 6 - 4. Solve n*k + 5 = 3*k for k.
5
Let o(j) = j**2 - 3*j + 2. Let i be o(4). Suppose -3*a + 9 - i = 0. Solve 3*g - a = -13 for g.
-4
Let k be -2*1 + 3 + 1. Suppose 0*p - k*p + 10 = 0. Let g = -24 + 24. Solve -p = o - g for o.
-5
Suppose 4 = a + 4*x + 10, -a + 15 = -3*x. Solve 4*o - a*o - 10 = 0 for o.
-5
Let u(x) = x**2 - 6*x + 6. Let g be u(6). Let y(a) = -a**2 + 6*a. Let h be y(g). Solve h = -2*r + 10 - 2 for r.
4
Let v = 9 - 7. Suppose v*n = 19 + 1. Suppose b = -b + n. Solve 0 = -b*w + 14 + 11 for w.
5
Let p = -2 - -4. Solve 2*j - 4 + p = 0 for j.
1
Let j = -9 + 11. Suppose 5*p - 60 = j*p. Solve 3*l - 8 = -p for l.
-4
Let i(k) = k + 5. Let f be i(-3). Solve