= v - -7. Solve i = 2*n + g for n.
5
Let o be 1 + 4 + -2 + 13. Solve -3*j - j - o = 0 for j.
-4
Suppose 2*q - 10 = -4*o, 4*o = o + 3*q + 12. Let v = 15 + -12. Suppose -6*s + 3*s = 2*r, v*r - o = -3*s. Solve r = f + 8 for f.
-5
Let z(y) = -y**2 + 1. Let x be z(1). Let n be 0 - (x/2)/(-3). Let s be n*(1 + (-3)/2). Solve s = -3*o + 16 - 4 for o.
4
Let l = 8 - 2. Suppose 2*w = 4*w - 4*z + 18, 0 = w + z - l. Solve 4*a + w + 11 = 0 for a.
-3
Suppose 0 = -4*v + 2*v + 10. Solve -6*q = -v*q for q.
0
Let q(f) = -f**3 + 4*f**2 - 4*f + 4. Let d be (1 + 0)*15/5. Let x be q(d). Let v be -3 + 2 + 0 + x. Solve -12 = -v*a - 4*a for a.
3
Suppose 4*m - 8 = -o, -o = -3*o + 3*m + 27. Let k be 4/16 + (-3)/o. Solve k*q = -2*q for q.
0
Let r = -10 - -12. Let l be -1 + -1*-2*r. Suppose 0*f = l*f - 72. Solve 0 = 5*a - f - 1 for a.
5
Let f = 16 - 22. Let l = 7 + f. Solve l = j - 0 for j.
1
Let h = 9 - -1. Solve 5*r - h = -0 for r.
2
Let g be (-2 + (-1 - -1))/2. Let s be (-125)/(-30) - g/(-6). Suppose -3*w + 19 = -5*y, s*w - 3*w - 4*y = 11. Solve w*v = v + 6 for v.
3
Let f(u) = 2*u - 11. Let c be f(10). Suppose 0*l + l + c = p, 3*p + 3*l = 45. Solve 0 = 3*x + x - p for x.
3
Let d be (-4 + 2 + 1 - -2) + -1. Solve d = 4*b - b + 12 for b.
-4
Let q = 5 + -2. Let g be (q + 27/6)*2. Solve 4*v = v - g for v.
-5
Let p(r) = r**2 - 6*r - 25. Let j be p(9). Solve u = -j*u + 6 for u.
2
Let b(r) be the third derivative of r**5/60 - 11*r**4/24 - 4*r**3/3 + 8*r**2. Let f be b(12). Solve -f = 3*y + 8 for y.
-4
Suppose -2*g + 10 = 0, g = 5*b - 4*g - 65. Solve -b + 3 = -3*a for a.
5
Let d(x) be the third derivative of 0 + 5/6*x**3 + 0*x - 1/24*x**4 - 3*x**2. Let m be d(5). Solve 4*j + m = -8 for j.
-2
Let s = -34 - -50. Solve 0*v = 4*v + s for v.
-4
Let o = -39 + 49. Solve -2*a = 3*a - o for a.
2
Let k(n) = 2*n - 10. Let o be k(8). Suppose o*s - 5*s - 6 = 0. Solve s + 10 = 4*b for b.
4
Let b(c) = -3 + c + c + 3. Let u be b(1). Solve u*q = -2*q - 16 for q.
-4
Let v(t) = 2*t + 4*t - 2 - 3*t. Let g(i) = -4*i + 3. Let r(u) = -2*g(u) - 3*v(u). Let x be r(-4). Solve x*q = 3*q for q.
0
Let i(n) = n**3 + n**2 - n + 12. Let y be i(0). Suppose -y = f - 4*r, 5*f + 0*f - 12 = -4*r. Suppose 3*o - 1 = 5. Solve o*d - 2 = -f for d.
1
Suppose -4*z = 3*o + z + 5, -25 = -o + 5*z. Suppose 0 = 3*b - 4 - o. Solve -3 - 6 = -b*p for p.
3
Let h(g) = g**3 - 7*g**2 + 10*g - 2. Let r be h(6). Let b = r + -18. Solve 5*f - 5 = b*f for f.
5
Suppose 5*o + 5*w + 10 = 0, 4*o + 2*w + 8 = o. Let q be (12/(-10))/(o/(-20)). Let h = q + 8. Solve h - 4 = -z for z.
2
Let k(w) = -6*w - 5. Let t(c) = -4*c + 4*c - c - 1. Let p(g) = -2*k(g) + 11*t(g). Let q be p(1). Solve q = -4*i - i for i.
0
Suppose -g - 2*g = 3*r + 12, 5*r = -g - 36. Let b = r - -11. Suppose b*n + 9 = 30. Solve j + 2 = n for j.
5
Let o be (-2)/6 - 76/(-12). Suppose -4*u = 5*k + 7, u = o*u + 2*k - 4. Solve -4 + 0 = u*x for x.
-2
Suppose 5*o = 2*a + 12, -3*a + 0*a - 13 = -5*o. Solve 0 = -o*i + 4 + 2 for i.
3
Suppose -49 = -3*u + 29. Suppose 5*h - u = 3*p, -3*p + 2*p = 4*h - 14. Solve 0 = -d - h*d - 10 for d.
-2
Suppose 0 = 4*h + 4*k + 20, -5*h - k - 2 = 3. Let c be (-3)/(3/(-2)) - 0. Suppose 8 - 3 = c*w - 5*t, h = -4*t - 4. Solve 2*o + w*o = -4 for o.
-2
Suppose -w + 6*w - 20 = 0. Solve -w = d - 0*d for d.
-4
Suppose -5*u + 1 + 29 = 0. Suppose -3*b + v + 8 = -0*v, -2*v = -3*b + 7. Solve 3*z = u*z + b for z.
-1
Let k be (-6)/(-1)*(3 + 0). Suppose 3*o = k + 6. Solve 0 = -5*t + o + 7 for t.
3
Suppose -2*g = -5*p - 28, 0 = -4*p - g - 12 - 0. Let t(y) = -y**3 + 3*y**2 + 7*y - 6. Let r be t(4). Let q = r + p. Solve -q*k + 6 + 4 = 0 for k.
5
Let s(p) = -3*p**2 + 7*p - 2. Let a(g) = -4*g**2 + 8*g - 3. Let h(z) = -2*a(z) + 3*s(z). Let f be h(5). Solve f = u - 7 + 4 for u.
3
Let s = -6 + 8. Let u(m) = -3*m - 3. Let d(f) = -f - 1. Let a(x) = -4*d(x) + u(x). Let c be a(s). Solve 6 = 3*h + c for h.
1
Let l = 75 + -73. Solve 15 = l*d - 5*d for d.
-5
Let a(m) = 4*m**2 + m + 1. Let w be a(1). Solve 12 = -3*v + w*v for v.
4
Suppose 5*m - 9 - 16 = 0. Solve 3*h + 10 = m*h for h.
5
Suppose 0 = -b + 3*d - 15, 0 = 5*b - 2*d - 2*d + 20. Solve 4*c = -b - 20 for c.
-5
Let t(b) = -2*b**2 - 5*b + 3. Let x be t(-4). Let k be 42/8 - x/(-36). Solve 6 = -k*v + 3*v for v.
-3
Suppose -6 + 1 = -a. Solve a*j = -2 - 18 for j.
-4
Suppose 5*h = -3*r + 31 + 19, r - 14 = -h. Solve 0 - r = -5*f for f.
2
Let w be 3 - -1 - 4/2. Solve t - w = 2*t for t.
-2
Let b be -1 + (3 - (1 + -3)). Solve q + 1 = b for q.
3
Suppose -2*k = -4*k - 4. Let s be 3 - (k + 1 + 0). Let a(p) = -p**2 + 4*p + 2. Let c be a(s). Solve -11 = 3*f - c for f.
-3
Let n(x) = x**3 + 8*x**2 - 8*x + 11. Let f be n(-9). Suppose k + f*i = i + 9, -4*i + 44 = 5*k. Solve -4*z - k - 8 = 0 for z.
-4
Suppose -42 = 6*u - 60. Solve u*z + 0 = -9 for z.
-3
Let k(l) = l**3 + 2*l**2 - l + 1. Let r be k(-2). Solve u + 0 = r for u.
3
Let m = 3 + 1. Let d(v) = 2 + 2 + v**2 + 1 - 4*v. Let b be d(m). Solve 0 = 4*a - 5*a + b for a.
5
Let o(h) = -h**3 + 7*h**2 + 2*h - 3. Let j be o(7). Let p = 173 - 110. Let n be (-2)/9 - (-77)/p. Solve n = 3*w - j for w.
4
Suppose 0*p = -2*p + 612. Let o be p/42 + 2/(-7). Solve -3*l = o + 2 for l.
-3
Suppose -m + 5 = -0. Suppose -m*f + 12 = -f. Let z = 3 + -3. Solve z*o = f*o for o.
0
Let g(t) be the first derivative of -t**4/4 + 5*t**3/3 - 5*t**2/2 + 6*t - 4. Let n be g(4). Solve n*p = -p + 15 for p.
5
Let l(j) = j**3 - 7*j**2 + 2*j - 13. Let x be l(7). Solve 0*b = -b + x for b.
1
Let w be (-2)/(-6)*0 - -5. Suppose -k + w = 5*n, -k = -6*k + 3*n - 3. Solve -2*l - 6 - 2 = k for l.
-4
Let n be (0 + 2)*20/8. Suppose -35 = -n*t - 0*t. Solve t*p - 8 = 3*p for p.
2
Suppose 5*w + 3 = 8. Let n = w - -2. Let x = -18 - -26. Solve n*y = -1 - x for y.
-3
Let u(w) = w - 6. Let s be u(6). Let l(d) = -d - 11. Let z be l(-9). Let n be 0/((-4)/z) + 2. Solve -n*r + s*r - 2 = 0 for r.
-1
Suppose -5*b = -2*b - 18. Let u be (16/(-12))/((-4)/b). Solve 0 = -4*r + u + 6 for r.
2
Let m = 28 - 26. Solve i + m + 3 = 0 for i.
-5
Let k = 10 + -6. Solve -k = -n - 0*n for n.
4
Let n(k) = -k**3 - 24*k**2 + 2*k + 49. Let i be n(-24). Solve -2*f = -i + 9 for f.
-4
Let t = -5 - -8. Let l = -9 + 17. Solve -l*z + t*z + 10 = 0 for z.
2
Suppose -m + 0 = 1. Let r be (4/(-10))/m*10. Solve -c = -2*c - r for c.
-4
Let p = -57 + 57. Solve p = 6*f - 2*f for f.
0
Let c(k) = k**2 - 5*k + 7. Let o be c(3). Solve o + 4 = 5*p for p.
1
Suppose -5*d - 29 = -5*n + 3*n, 2*d + 6 = -2*n. Suppose 4*g = c + 29, -3*g - c = c - 8. Solve n*u + g = -u for u.
-2
Let u be 5/2 - 2/4. Let z(s) = 3*s**2 - 21*s + 4. Let t be z(7). Solve -8 = u*v - t for v.
-2
Let b(n) = -4*n. Let q be b(-1). Suppose -4*r + 30 = u + q*u, -31 = -3*u - 5*r. Suppose 2*y - y - 3 = 0. Solve -5*t = y + u for t.
-1
Let c(s) = 2*s - 11. Let x be c(7). Solve 8*o - x*o = 25 for o.
5
Let x = -1 + -2. Let z be ((-1)/(-3))/((-1)/x). Solve 0 = -4*q - 21 + z for q.
-5
Let t = 9 - 4. Suppose -3*j + 4*s + 13 = t*s, 18 = 4*j + 2*s. Suppose -j*w + 4 = -8. Solve -w - 9 = 4*x for x.
-3
Let c = 10 + -2. Let g be (-28)/c*(-1 - 1). Solve g*w = 2*w + 5 for w.
1
Let s = 79 + -73. Solve -s = -3*t + 6 for t.
4
Suppose -b - 2 = 0, -l - 5*b - 60 = -6*l. Solve 0*r = 2*r - l for r.
5
Let k(b) = b**3 + 12*b**2 - 12*b + 16. Let s = -15 + 2. Let v be k(s). Solve 0*d = -v*d - 12 for d.
-4
Let v(z) = z + 1. Let i be v(3). Suppose 4 = i*f - 0. Solve f = 5*g + 11 for g.
-2
Suppose -w + 1 = -0, -2*s + 4*w = -4. Suppose -2*t + 2 = 5*i, s + 1 = -i + 5*t. Solve 2*b + i*b = -6 for b.
-3
Let g(h) = -h - 8. Let n be g(-6). Let v(t) = t + 4. Let x be v(n). Solve 3*c = 2*c + x for c.
2
Suppose -2*d + 12 = 4. Solve -10 = -d*v - 26 for v.
-4
Let s = 70 + -63. Let k(n) be the third derivative of -n**4/24 + 3*n**3/2 - n**2. Let i be k(s). Solve 4*q = i*q for q.
0
Let g(y) = -y**3 - 16*y**2 - 17*y - 15. Let l be g(-15). Solve s = 4*s - l for s.
5
Let r be 27 - (2 + (-4)/2). Suppose 3*b = -2*z + r, 3*z - 2*b = b + 33. Solve 0 = 2*n + n - z for n.
4
Let z be (-18)/4*(-16)/12. Suppose 5*b - 11 = -2*h + 22, -z = -4*h + 2*b. Solve h*f + 14 - 2 = 0 for f.
-3
Let d = -27 - -32. Solve 5 = d*i - 0 for i.
1
Let v(h) = -h**2 - 9*h + 4. Let c be v(-6). Suppose 6 - c = -2*n. Let z = n + -3. Solve -7 = z*g - 32 for g.
5
Let x be 5*((-1)/5 - -1). Solve -r - x*r = 5 for r.
-1
