
Let t(v) = 3*v - 5. Let i be t(2). Solve 2*u - i = u for u.
1
Let s = 36 - 34. Solve 0 = -4*l + s*l - 4 for l.
-2
Suppose 3*x = -0*x. Solve x*s - 5*s = 20 for s.
-4
Suppose 18 = 3*a + 2*s - 106, -3*a + 4*s + 94 = 0. Suppose -2*z = -4*x + a, -2*z - x + 20 = -3*z. Let r be (z/9 - -1)*-3. Solve -3*i + r = -i for i.
2
Let u be ((-4)/(-6))/((-14)/(-63)). Suppose -h - 1 = -5*v, -5*h + u*h = 2*v - 10. Solve -h*f + 2 = -2 for f.
1
Suppose 4*s - 32 = 4*n, -2*s + 3 = 2*n + 7. Let g be (2/4)/(-1)*-44. Solve s*o - g + 7 = 0 for o.
5
Let p(u) = -u**2 - u + 2. Let s be p(0). Let d be (-2)/4*(-4 - -4). Let y = d + 0. Solve -w + y = s for w.
-2
Let a(j) = j**3 + 10*j**2 - 22*j + 24. Let s be a(-12). Solve -6 = -3*g - s for g.
2
Suppose -5*f - 7 = -22. Solve i + f = -0*i for i.
-3
Suppose 0 = 4*j + 3*m + 2*m - 69, 2*m = -3*j + 43. Solve 4*q - j - 9 = 0 for q.
5
Let m(v) = -7*v**2 - 2*v**3 + 2*v - 6 + 3*v**3 - 9*v. Let o be m(8). Solve -o*s = 3*s - 20 for s.
4
Let s(r) = r + 7. Let j be s(-6). Solve 0 = -3*w + 5 + j for w.
2
Suppose 15 = -0*n - 5*n. Let j be (1 + (-5)/3)*n. Let b = -1 - -2. Solve v + b = -j for v.
-3
Suppose -2*c = 4*m - 22, -3*c - 3*m + 29 = c. Suppose 0 = -5*v + 5 + c. Solve 15 = -d - v*d for d.
-5
Let j(p) = p**2 - 8*p + 14. Let t be j(6). Solve t*w - 3 = 7 for w.
5
Let f be (-4)/6 - (-22)/6. Suppose f*q - 2*i = 2*i - 16, 2*q + 5*i - 20 = 0. Solve q = 2*p - 8 - 2 for p.
5
Let i(x) = 10*x - 1. Let p be i(1). Let t = p - 6. Solve 0 = 2*s - t*s - 1 for s.
-1
Suppose 2*v = 4*w - 30, -4*v - v + 5*w = 50. Let q = 1 - v. Solve 4*m = -2 + q for m.
1
Let w(g) = g**3 - 5*g**2 + 2*g. Let c be ((-2)/2)/((-9)/45). Let a be w(c). Solve 4*y = -y + a for y.
2
Let w = 67 - 66. Solve 5*q = 6*q + w for q.
-1
Let m be 0 + (-6)/(-1 + -2). Let v = m - 0. Solve 0 = -2*o - v*o - 12 for o.
-3
Let l = 10 - 7. Suppose y + l*v - 4 = 7, 4*y - 64 = -2*v. Solve -2*t - y = -7 for t.
-5
Let a(i) = -i + 25. Let r be a(21). Solve 2*o = -2 + r for o.
1
Let y = 1 - 1. Let r(t) = -t**3 + t**2 + 5. Let p be r(y). Suppose o = 4*l - 2 + 7, 25 = p*o - 4*l. Solve -n = -3 + o for n.
-2
Suppose -3*d = -5*d - 3*i + 20, 4*i - 20 = -d. Solve -d*y + 0*y = 4 for y.
-1
Suppose 0 = 4*v + 4*o - 4, -5*o - 6 = v - 3. Solve -3*d - 4 = v for d.
-2
Let p(r) = -r + 24. Let u be p(20). Solve -3*n - 5 - u = 0 for n.
-3
Let z(g) = g + 14. Let f be z(-6). Solve f = -2*y + 2 for y.
-3
Suppose 3 = 17*z - 16*z. Solve -4*o + z = -o for o.
1
Suppose -3*d = 2*d. Let q = 3 - d. Solve q = -0*t + 3*t for t.
1
Let n(w) = w**3 + w + 2. Let m be n(0). Let p = -8 + 11. Suppose 3*h - 2*t - p*t = 30, 4*t + 22 = 2*h. Solve m - h = -x for x.
3
Let c(f) = -f**3 - 3*f**2 + 5*f + 4. Let q be -2 + 1 - (3 + 0). Let g be c(q). Solve 0 = -4*b - g*b + 20 for b.
5
Let d = -3 - -4. Suppose 0 = -3*p - c + 7, 0 = -2*p - 4*c + 8. Suppose -2*b + q = -4 - 4, -p*b - 2*q = -14. Solve -4*x = d - b for x.
1
Let s = -6 + -1. Let j = 7 + s. Solve 0*i - 2*i - 2 = j for i.
-1
Let t = 27 + -9. Let o = -102 - -89. Let a = t + o. Solve -15 = -5*g - a for g.
2
Let y be 40/18 - (-8)/(-36). Solve y*z - 6*z = 12 for z.
-3
Let k(q) = q**3 + 6*q**2 + 6*q + 5. Suppose -4*u + d - 17 = 0, -2*u = -4*u + 5*d + 5. Let t be k(u). Solve 3*z - 6*z + 12 = t for z.
4
Suppose 2*f = -3*f + 25. Suppose 0 = 4*g - f*g + 4. Solve -g - 2 = -3*q for q.
2
Let i(j) = j**2 + 3*j - 5*j + 2 - 4*j. Let w be i(6). Let p be 0 + 3 - (-2)/w. Solve -p*b - 2 = -5*b for b.
2
Let j be 2/(-2)*3/1. Let r be ((-18)/(-15))/j*-10. Suppose -3*l - 27 + 11 = -5*c, l + 17 = r*c. Solve -2*m + 5 = -l*m for m.
-5
Suppose -r + 5 = -0*r. Suppose -j = -r - 0. Suppose 2*n = 5*n - j*v + 10, -2*n + 3*v - 5 = 0. Solve -3*c - 2*c - n = 0 for c.
-1
Let z(a) = a**2 + 4*a + 4. Let t(c) = -c**3 + 6*c**2 - 4. Let x be t(6). Let b be z(x). Solve -d = -b*d for d.
0
Let r = 54 - 49. Solve -1 - 19 = -r*q for q.
4
Suppose -4*c + 858 = -c. Let v be c/55 - (-1)/(-5). Solve -1 = 3*b + v for b.
-2
Let v = -14 + 5. Let b = -9 - v. Solve 2*o - 3 - 1 = b for o.
2
Let y be 3/((-18)/(-3))*0. Suppose -3*z - 3*h - 15 = 0, 0 = -3*z + 6*z - 3*h - 15. Let c = z - y. Solve -3*m - 7 - 8 = c for m.
-5
Let k be 9/4 + 4/(-16). Solve -k*g + 2 = -6 for g.
4
Let a be ((-3)/(-6))/(1/10). Suppose 6*r = r. Solve 2*j - j + a = r for j.
-5
Let h(k) = 5*k**3 - 2*k**2 - k. Let a be h(-1). Let l be 2 + 11 - (-6 + 11). Let i = a + l. Solve 2*d = 3*d - i for d.
2
Let g(z) = 4*z**2 - z - 1. Let m be g(-1). Suppose m*t + 2 = 5*t. Solve -2 = -4*n + t for n.
1
Suppose 2*b = x + 5, b + 8 = -0*x + 4*x. Let v = 19 + -13. Suppose 0 = 2*n - v*n. Solve 4*p - x*p = n for p.
0
Let j be 0 + -1 + 15*1. Suppose -5*o = 2*n - 5 - 22, -2*n - 18 = -4*o. Let i be (0 - 0)/(2/2). Solve 3*c + j + n = i for c.
-5
Suppose 6*v = 22 + 14. Solve 0 = z + 2 - v for z.
4
Let i = -2 + 4. Suppose 4 = 2*p, -i*g + 5*g - 4*p - 10 = 0. Let t = 8 - g. Solve t*c = -c for c.
0
Let n(m) = 2*m**2 + 1. Let j be n(-1). Let v be 63/12 + j/(-12). Solve 4*z - 15 = v for z.
5
Let r(n) = -6*n**2 + 12*n**3 + 7*n + 9*n**3 - 22*n**3. Let p be r(-7). Solve p = 3*s - s + 2 for s.
-1
Let p(f) = 2*f - 3. Let r be p(6). Let g(m) = -m + 11. Let i be g(r). Solve -i = -4*a - 6 for a.
-1
Suppose o = 4*t - 15, t - 3 = 5*o - 4. Suppose -2*f - 4 = -0*h - 4*h, -16 = -t*f + 2*h. Let p be ((-4)/2)/(f/(-33)). Solve p = 4*s - 5 for s.
4
Let b = 8 - 3. Suppose 3*g + b = 2*n, 1 = -5*n + 2*g + 8. Let k be 0 + 5 - 0/(-1). Solve n = 2*i - k for i.
3
Let k(j) = -j**3 + 4*j**2 + 5*j + 4. Let n be k(5). Suppose -3*s - 11 = 2*b, s + n = -b - 0*b. Let i be 4 + -7 + b + 6. Solve i*o = -o + 3 for o.
1
Let p be 2/(((-12)/(-14))/3). Let c be 8/5 - (-14)/35. Let o = c - -6. Solve 3*n - o = p for n.
5
Let z = 1 - 0. Let q = z - 0. Solve 3*i + q = -8 for i.
-3
Suppose a = -4*a. Solve a = -5*w + 4*w + 5 for w.
5
Let m = 1 + 4. Let p(v) = -v**3 + 4*v**2 + 7*v + 2. Let a be p(m). Let j(g) = -3*g. Let c be j(-1). Solve n + c*n = -a for n.
-3
Suppose -z = -0*z - 3*u - 14, z = -3*u - 4. Suppose -3*m + 5*o + 3 = -22, z*m + o = -5. Solve m*k - 1 = -k for k.
1
Let h(s) = -s**2 + 5*s - 4. Let b be h(6). Let q(x) be the third derivative of x**5/60 + 3*x**4/8 + x**3/3 - 2*x**2. Let z be q(b). Solve -z = 3*f + f for f.
-3
Let b(j) = 4*j**2 - 5*j + 4. Let o be b(3). Suppose -2*g - 10 = -7*g. Suppose -f = g*f. Solve f*a - 5*a = o for a.
-5
Suppose 3*p - 17 = b + b, -4*p = 5*b - 15. Suppose p*n + 3*r - 47 = 0, 0*n + 5*n + 4*r = 51. Solve -n*y + 2*y = 10 for y.
-2
Suppose 0 = -v + 3*v - 4. Suppose v*d = 5*d - 6. Let r be 3/(-1) + (d - -5). Solve 0 = -s - r*s for s.
0
Suppose 5*p + 53 = -47. Let d = 20 + p. Solve 0 = -d*j + 2*j for j.
0
Let g(u) = -u**3 - 11*u**2 - 10*u - 3. Let z be g(-10). Let h = z + 11. Solve -5*n + 9 = -h*n for n.
-3
Let k = -1 - -6. Suppose k*d = 2*d + 15. Solve 4 + d = 3*f for f.
3
Suppose -3*l + 2 = -4*l. Let m = 7 + -5. Let d = m + l. Solve -c - c = d for c.
0
Let r = 14 + -9. Solve -r*o + 12 + 3 = 0 for o.
3
Let j be (-1)/(1 - 3/2). Let u be 1 + (9/(-3))/(-3). Suppose j*k = 5*v - 70, -u*k - 6 - 16 = -v. Solve -3*z + v = z for z.
3
Let y = -4 + 6. Suppose g = -y*g - 3. Let k be g - 0 - 4/(-1). Solve k*j = 6*j for j.
0
Let m(z) = z - 1. Let s be m(2). Let c(b) be the first derivative of 3*b**2 + b + 4. Let t be c(s). Solve -4*k = 23 - t for k.
-4
Let h be (-62)/8 - (-1)/(-4). Let o = 12 + h. Solve -o*c - 7 = 1 for c.
-2
Suppose a + 2*o - 19 = -2*a, 0 = -4*o + 20. Solve -a = -3*v + 3 for v.
2
Suppose 0 = -4*t + 6 + 2. Suppose f - 9 = -t*f. Solve m - f = 4*m for m.
-1
Let o(t) = t**3 + 4*t**2 - 7*t - 8. Let r be o(-5). Let v = 13 + 0. Suppose -3*y = -v + 4, -2*y = -k - r. Solve 3*s = -s + k for s.
1
Let u = -9 + 11. Suppose -u*s + 12 = 2*s. Solve -s*f + 8 + 7 = 0 for f.
5
Suppose -o = -10 - 2. Solve -g = -5*g - o for g.
-3
Let i(j) = 7*j + 10*j + 7*j + 1. Let w be i(1). Solve -b - w = 4*b for b.
-5
Let y be 2/(6/(-3)) - -3. Let c = -6 + y. Let g = 9 + c. Solve g = -2*p + 1 for p.
-2
Suppose 0 = -v - 5*b, -v - 3*b - 52 = -3*v. Solve -2*j - 3*j = v for j.
-4
Let v(d) = -d**2 + 16*d - 20. Let p be v(14). Solve -j - p = j for j.
-4
Let w be (0 + (-5)/(-15))*33. Solve -w - 9 = -4*f for f.
5
Suppose -3*g - 3*d = -5*d, -5*g = -5*d. Suppose -5*p + g*q + 1 = -2*q, 5*q - 12 = -2*p. Solve -3*c + 4*c = p for c.
1
Let w(r) = -r**2