 - 11 = 1 for x.
4
Let i(j) = -5*j + j + 4 + 3*j. Let y be i(2). Suppose -2*g - v = g - 5, -y = -v. Solve 3*n - g = 2 for n.
1
Suppose 30 = 3*p + 2*p. Suppose -k - 5*i - 6 + 18 = 0, -k + p = 2*i. Solve a + 7 - k = 0 for a.
-5
Let v(s) = -2*s - 13. Suppose -5*z + 7 = 47. Let o be v(z). Solve 4*f = o + 13 for f.
4
Let f(q) = -q**3 + 4*q**2 - q + 9. Let n be f(4). Solve c = -0 + n for c.
5
Suppose 14 = 3*r - 2*u, 0 = -u + 1 + 4. Solve -r = -0*k + 2*k for k.
-4
Suppose -3*m - 5*d = 26, m + m + d + 8 = 0. Let i be m/4*(-6 - -4). Let p = -1 + i. Solve p = -0*l - 4*l + 20 for l.
5
Let y be 2/(-10) - 5/(-25). Suppose b - 17 = -5*l - 0*b, y = l - 3*b + 3. Solve -l*n = -4*n for n.
0
Suppose -2 = y + 2*k, -2*y + 4*y - 23 = 5*k. Solve -y + 7 = -s for s.
-3
Suppose -4*n = 5*a - 80, -1 = -n + 4*a - 2. Let t = -14 + n. Solve 6 = -f + t for f.
-5
Let v(u) = 7*u. Let b be v(1). Suppose 13*s - 29 - 36 = 0. Suppose 3 = s*n - b. Solve 0 = -n*r - 3*r for r.
0
Suppose 0 = l + 3*k + 6, -6*l + 2*k + 4 = -2*l. Let s = 15 - 11. Suppose 2*c = 3*g - s*g + 8, 4*g = -4*c + 24. Solve y = -l*y - c for y.
-2
Let t be 0/(2 - -1 - 2). Let s(g) = -g**3 - 2*g**2 - g + 2. Let p be s(-3). Let w be 64/28 - 4/p. Solve w*j = -t*j for j.
0
Suppose -5 + 7 = s. Solve -2*b - s*b = 8 for b.
-2
Let u be 4 + 4 + -3 + -4. Suppose 3*h = 17 + u. Let p be 20/h - (-2)/(-6). Solve -6*v = -3*v + p for v.
-1
Let h(p) = p**3 + 4*p**2 + 2*p - 1. Let y be h(-3). Solve 2*b + 8 = -y*b for b.
-2
Let j = 14 + -14. Solve j = -2*a - 0 + 10 for a.
5
Suppose -16 = -10*a + 4. Solve -3 + a = -u for u.
1
Let i be (-6)/(4/2) + 6. Suppose -2*y = i*y. Solve y = -3*m + 7*m - 8 for m.
2
Suppose -2*o - 102 = -5*r, -o + 3 = r - 16. Solve i - r = -3*i for i.
5
Let r(j) = -j**3 - 6*j**2 - 6*j + 2. Let a(w) = -w**3 - 5*w**2 - 5*w + 2. Let i(d) = 5*a(d) - 4*r(d). Let z be i(0). Solve 0 = -z*u - u - 6 for u.
-2
Suppose -3*l = -l + 26. Let c = l - -7. Let u be (-28)/(-6) + 4/c. Solve -24 + u = 4*n for n.
-5
Let k be (-4)/14 + 80/35. Let r(y) = y + 5. Let b be r(-5). Solve b*g = k*g + 4 for g.
-2
Let s(i) = 6*i + 1. Let g be s(4). Solve x + 4*x = g for x.
5
Suppose -y + 0 = -5. Suppose 0 = -2*z - 2*z + 8. Suppose -3*c - y = -z*a - 0*c, 3*a - 15 = 3*c. Solve -r = r + a for r.
-5
Let p = 0 + 0. Let n = 6 - 4. Solve -5*o + n*o = p for o.
0
Suppose 35 = 4*s + 31. Solve 5*a = -s - 4 for a.
-1
Suppose -2*z + 6*z - 12 = 0. Let x be (z + 21/(-6))*-30. Solve -2*o = o + x for o.
-5
Let s = 5 - 3. Let z(v) = 1 + 1 + 3*v + 13 - s*v. Let g be z(-11). Solve -9 = -g*y - 1 for y.
2
Let j(d) = -5*d**3 - d**2 - d - 1. Let m be j(-1). Let p be m/3 - (-1)/(-3). Solve -2*t - p = 3 for t.
-2
Suppose 0*s = 4*s. Let y be 0/(-2 + 1) + s. Solve y = 7*w - 4*w + 12 for w.
-4
Let i(o) be the second derivative of -o**4/12 - 2*o**3/3 + o**2 - 6*o. Let f be i(-4). Solve f + 3 = 5*m for m.
1
Suppose -o + 11 = 3*s - 14, -4*o = -4. Suppose j + 0*l = -l + 6, -2*j = l - s. Suppose 5*y - 28 = -j*z - 0*z, -41 = -5*z + 2*y. Solve -4*q + z*q = 5 for q.
1
Let i = -35 + 41. Solve -3*c + 0 + i = 0 for c.
2
Suppose -4*h = -i + 12, 4*i + 5*h + 2 = -13. Solve i + 4 = -4*k for k.
-1
Let p(a) = a**2 - 4*a - 4. Let j be 7/(3*(-3)/(-9)). Let n be p(j). Suppose -3*f + 2*y = y - 14, 2 = 2*y. Solve n = f*v - 8 for v.
5
Suppose 18*h - 22*h + 12 = 0. Solve -2*z = -h - 5 for z.
4
Let m = -69 + 70. Solve 0 = -3*y + 4*y - m for y.
1
Let y be 0/((-4)/(8/(-4))). Suppose y = 5*a - a - 3*o - 19, -2*a + 7 = -o. Solve -l = -2*l - a for l.
-1
Let y(g) = -g**2 - 5*g - 1. Let k be y(-4). Suppose 2*z + k*j - 15 = 5*z, 5*j = 25. Solve -h + 6*h = z for h.
0
Let g(r) = -7*r + r**3 + 6*r**2 + 6 + r**2 - 2*r**3. Let y be g(6). Let v(w) = -w**2 + w + 2. Let c be v(y). Solve -c*q = q for q.
0
Let w(a) = a**3 - a. Let o = -7 - -15. Suppose 4*n + 4*y = o, y = 2*y - 1. Let g be w(n). Solve g = p + 3*p - 20 for p.
5
Let f(q) = q - 3. Suppose 4*z - 22 = 5*h, -2*z - 2*h = -5*h - 12. Let i be f(z). Suppose -2*t + t + 5 = i. Solve y + 12 = t*y for y.
3
Let a(h) be the third derivative of 1/3*h**4 - 1/60*h**5 + 0*h - 2*h**2 + 0 - 2/3*h**3. Let g be a(7). Solve 2*c - 20 = -g*c for c.
4
Let w(n) = n**2 - n. Let h be w(1). Suppose h = -3*m - u + 70, -4*u + 8 - 28 = 0. Suppose -m + 5 = -4*g. Solve g*k = -0*k + 15 for k.
3
Suppose 11*u - 62 = 70. Solve 3*c - u = -c for c.
3
Let y = 2 - 1. Let w = 4 + y. Solve 0 = w*t + 4 + 6 for t.
-2
Let f = 5 - 3. Solve -4*v = -f - 6 for v.
2
Let c(x) = 2*x**2 - 9*x + 2. Let m be c(6). Suppose 3*i - 2 = 4*p + m, -20 = -4*i + 3*p. Solve -i*s - s + 3 = 0 for s.
1
Let w = 6 - 4. Let s(j) = j**3 + 5*j**2 - 6*j + 3. Let g be s(-6). Let p = w + g. Solve 3*m = p*m for m.
0
Suppose -4*d = 2*l, l - 7*d - 30 = -3*d. Let k = 13 - l. Solve 0 = k*p + 9 - 0 for p.
-3
Let a be -1 + -3 + 16/4. Solve z + 0*z = a for z.
0
Let h be (1 + -3)/(-1) + 2. Solve 0 = 3*m - h - 2 for m.
2
Let p(t) = -8*t**2 + 4*t + 9*t - 21*t - 6 - t**3. Let x be (-33)/5 + 2/(-5). Let c be p(x). Solve -2*o = -1 - c for o.
1
Suppose 15*h = 13*h. Solve 0*y + y = h for y.
0
Let i(t) = -t. Let z be i(2). Let k be (-1 - (z + 1))/1. Solve -3*g + 2 + 13 = k for g.
5
Let b = 18 + -3. Solve 3*f + 2*f - b = 0 for f.
3
Suppose 6*c - 9*c = -30. Solve f = 3*f - c for f.
5
Suppose 3*l = 4*s + 35, -3*l - l = s - 34. Solve l = 3*o + 3 for o.
2
Let y be (-3 + -3)/(3/4). Let z = y - -13. Solve f - z*f = 4 for f.
-1
Suppose 4*j - 1 = 3. Let h = j - -5. Solve 0 = -c + 1 - h for c.
-5
Let i = -2 + 1. Let a = 5 - 1. Let t = a + i. Solve -z = -t*z for z.
0
Suppose 0*q - 5*q + 25 = 0. Let p = 31 - -3. Let f = 49 - p. Solve 0*n + q*n = f for n.
3
Suppose -38 + 10 = 4*n + 2*j, -j + 16 = -3*n. Let x(q) = -q**2 + 6*q + 8. Let r be x(4). Let c be 4/n + r/6. Solve c*o = -2*o - 8 for o.
-2
Let s be ((-276)/8)/((-2)/4). Suppose d = 3*d - 4*b - 18, 3*b - s = -4*d. Solve 0 = -3*o - 0 - d for o.
-5
Let o(t) be the second derivative of 5*t**4/12 - t**3/6 - t**2 - 2*t. Let f be o(-2). Solve -4 + f = -4*c for c.
-4
Suppose -5*u - 4*m = -173, 3*u - 2*m - 9 = 86. Let x = u + -19. Suppose -3*f - 2*f = r - x, -5*r = 5*f - 10. Solve 0 = -4*v - 19 + f for v.
-4
Suppose -f - 7 + 9 = 0. Let g(l) = l**2 + 2*l + 1. Let u be g(-1). Suppose -v + 1 + f = u. Solve -w = -v + 7 for w.
-4
Suppose 0 = 5*h + 4 + 16, 4*h + 16 = 2*u. Solve u = -l + 4*l + 12 for l.
-4
Let i(r) = r**3 + 4*r**2 + 3*r + 2. Let z be i(-3). Solve z*y = 3*y for y.
0
Let h(j) = -j**3 - 12*j**2 + 15*j + 28. Let p be h(-13). Solve 2 + 4 = p*u for u.
3
Suppose -14 - 1 = -3*s, -2*d - 7 = -3*s. Suppose 14 = 5*g + w - 2, -5*g = 2*w - 12. Let a be ((1 - 1) + 0)/(-3 - -6). Solve g*t + a*t - d = 0 for t.
1
Suppose 0*n + 6 = 2*n. Let g be 4 - 4 - (-1 + -7). Solve n*c = c - g for c.
-4
Let l be ((-10)/(-15))/(1/3). Suppose 0 = l*f - 5*f. Suppose -4*n + 0*n = f. Solve 2 + n = -2*v for v.
-1
Let t be 39/(-33) + 1 + 277/11. Solve 0 = -2*h + 7*h + t for h.
-5
Suppose -5*d + 2 + 32 = b, 0 = -3*d + 2*b + 23. Let f = d - -8. Solve -3*i + f = 2*i for i.
3
Suppose -19 = -b - 2. Let n = -7 + b. Suppose -4*c + 2*c + 3*l = 6, 4*l - 8 = c. Solve c = -5*j + n for j.
2
Let t(y) = 2*y + 4. Let g be t(3). Solve -3*x = -x + g for x.
-5
Suppose 0 = -2*h + 14 - 10. Solve h*p = p for p.
0
Suppose 60 = -6*l + 10*l. Suppose 0 = -2*t + t - 2*r - 5, 3*t = 5*r + 40. Suppose t = -5*v + l. Solve 0*f = v*f for f.
0
Let z(v) = v**2 + 9*v + 2. Let t be z(-9). Suppose -2*w = -0*w - 10. Solve -u + t = w for u.
-3
Let i be 4/18 - 32/(-18). Suppose 2 = -i*k + 4. Solve -6 + k = -s for s.
5
Let u be -100*(3 + (-14)/4). Let t = u + -35. Solve -t = 2*p + 3*p for p.
-3
Suppose 0 = 4*s - 6 - 2. Let l be 0*s/6 - -3. Suppose 2*k = 3*k - l. Solve -b - 2 - k = 0 for b.
-5
Let j(v) = -2*v**2 + 2*v. Let w be j(2). Let z = w + 6. Solve -t + 2 = -z*t for t.
-2
Suppose p - 2*p + 2 = 0. Let q be 3/(-9) - 7/(-3). Let u = 7 + q. Solve p*i = -3 + u for i.
3
Suppose 0 = 3*i - 2*i - 6. Let f(s) = 2*s - 8. Let d be f(i). Solve 0 = d*n + n + 25 for n.
-5
Let b = 2 - 1. Let j be (0/(-2))/(b/1). Solve j = c - 3 for c.
3
Suppose 2*n = -n + 6. Suppose 0*p + 4*d + 3 = -3*p, 0 = -p + n*d - 11. Let l = p + 8. Solve -4*h - 13 = l for h.
-4
Suppose -5*x = -3*c - 9, 15 = 7*x - 2*x. Suppose -l - 2*z + 0*z - 4 = 0, -2*z = c*l + 4. Solve l = -0*g + 4*g + 16 for g.
-4
Suppose 33 - 