
Let m be 2/(-6)*3*-21. Solve m = 5*y + 1 for y.
4
Let t(c) = c**2 - 4. Let r be t(3). Solve -3*j + 8*j = r for j.
1
Suppose -4*v + 7 = -j + 1, -3*v + 4*j + 11 = 0. Solve -v + 11 = -5*f for f.
-2
Let v(f) = -f - 11. Let i be v(-11). Let u be (-18)/4*(-2)/3. Solve -u*b = -6 - i for b.
2
Suppose 3*k + 0*k = 12. Suppose k*s + 2*m - 18 = 0, s + 4*s - 30 = -5*m. Solve 0 = -s*z - z + 16 for z.
4
Let v = -17 - -17. Solve v*w = -w - 4 for w.
-4
Suppose 0 = -3*r + 6*r - 18. Solve 0 = -2*s - s - r for s.
-2
Let h be (-364)/(-10) + 22/(-55). Let k = h + -21. Solve 4*r + r = k for r.
3
Let l = -9 + 13. Let v be 2 + -2*5 + 0. Let n be 2/v + 2/8. Solve n = 5*c + l + 16 for c.
-4
Let m(a) = 3*a + 1. Suppose 0 = 2*w + 3*q - 5*q + 2, 0 = -3*w + 4*q - 5. Let x be m(w). Solve x*l + 3 = l for l.
-1
Suppose f + 41 = -i + 3*i, -5*f = 3*i - 55. Solve -5*k = -k + i for k.
-5
Suppose -4*z + 1 + 11 = 0. Suppose -z*g = 3*p, g - 2 = -3*g - 2*p. Solve f = g + 3 for f.
4
Suppose 3*v + 5 - 19 = 2*a, -2 = -3*v - a. Let b(k) = 3*k**2 - 2*k + 3. Let r be b(v). Let c = r + -9. Solve -c*s = s for s.
0
Suppose g + 2*g + 3*n - 30 = 0, g - n = 8. Let d = 13 - g. Let f be (d/3)/((-1)/(-3)). Solve -f*p - 10 - 2 = 0 for p.
-3
Suppose 3*a = -4*u + 17, -4*a - 3*u = -u - 6. Let q = a + 2. Let c = 38 - 36. Solve -q = -l + c*l for l.
-1
Suppose -2*j - j + 16 = 4*k, 2*k + 10 = 3*j. Let f be 5/((-2)/(-8)*k). Solve 5*d + 5 = -f for d.
-5
Let q(u) = u**3 - 3*u**2 - 3*u + 3. Suppose 4*s + 4 = 5*s. Let d be q(s). Solve d - 2 = y for y.
5
Suppose 4*g - 40 = -g. Solve -g = 5*x + 2 for x.
-2
Suppose 3*x - 4 = -1. Suppose 3 = -2*r - x. Let j be 0 + r - 0 - -4. Solve j*m - 15 = -m for m.
5
Suppose 0 = 8*y - 9*y. Solve -5*q + 12 + 3 = y for q.
3
Suppose 3*c + 3*h + 18 = -0*c, -5*c - 10 = -5*h. Let p(x) = -x**3 - 2*x**2 + 5*x - 2. Let t be p(c). Solve -n + 3*n = t for n.
5
Suppose -3*x - z + 8 = -5, 2*z = 5*x - 18. Solve -5*f + x = -f for f.
1
Let x be ((-9)/2)/(1/(-2)). Let g(n) = n + 3. Let u be g(0). Suppose -v = -8 + u. Solve x - 34 = -v*a for a.
5
Let x = 3 - 2. Let u = -25 - -40. Let n be 1*u + 1 + -2. Solve n + x = -3*a for a.
-5
Let x(a) = 0*a**3 + 8*a**2 + a + 13 + a**2 + a**3. Let g be x(-9). Solve -g = -2*m - 2 for m.
1
Let m be 12/(-30) + (-34)/(-10). Suppose -2 = -j + m. Solve -i + 6*i - j = 0 for i.
1
Suppose -7 + 1 = c. Let v = 6 + c. Solve -5*m - 5 = -v*m for m.
-1
Let x(v) = 3*v - 2. Let q be x(2). Let u be (0 + 6 - 3)/1. Suppose 4*h - 19 = -u*w + 26, -3*w - h = -45. Solve -q*o + w + 1 = 0 for o.
4
Let p = 1 + 2. Suppose -p*s + 70 = 25. Let o be (10/s)/((-2)/(-6)). Solve -1 = -x - o for x.
-1
Suppose o = -3*o. Suppose 4*c = -o*c. Solve c = -0*k - 2*k for k.
0
Let d(o) = 5*o**2 - 2 + o + 0 + o**3 - 2*o. Let b be d(-5). Suppose 5 = 4*p + 2*z + 3, b*p - 2*z = 5. Solve -p = -x + 2 for x.
3
Suppose -y + 5 = 4*y - 3*k, -5*y - 3*k + 5 = 0. Suppose -3 = 2*p - y. Let s = -1 - p. Solve s = a + 3*a + 4 for a.
-1
Suppose -2*y + 3*y + 23 = 2*z, -4*z - 2*y + 34 = 0. Suppose 5*h + 5*j - z = 0, -j - j = 0. Solve l - h = 3 for l.
5
Suppose 2*v = 3*v. Solve v*j + 2*j = 0 for j.
0
Let r(o) = o**2 - 5*o - 2. Let m be r(-2). Solve -7*c = -3*c + m for c.
-3
Let i(f) = 2 - 4*f**2 + f - 3*f - 3*f + f**3. Let x(p) = p**2 - 4*p. Let l be x(5). Let d be i(l). Solve d = y - 3 for y.
5
Let r be ((-125)/(-10))/((-1)/(-2)). Solve -4*k - k = r for k.
-5
Suppose 3*i - 2*w - 18 = -7*w, 3*i = 4*w + 18. Suppose 5*z - c + 6*c = 15, -3*z + 2*c - i = 0. Solve 3*b - 16 + 4 = z for b.
4
Suppose -20 = -5*k - 3*w, 22 = -3*k - 2*w + 7*w. Solve -5*r - k + 6 = 0 for r.
1
Suppose 0*n = -5*n + 10. Let u be (-1)/((3/n)/(-3)). Solve -3 = -m + u*m for m.
-3
Suppose -5*p - 10 = 10, -5*y + 4*p + 31 = 0. Solve 0 = -y*k - 2*k + 15 for k.
3
Let f(h) = 2*h + 20. Let o be f(0). Solve -3*m - m + o = 0 for m.
5
Let u = 88 + -72. Suppose -q = -5*q + 8. Solve u = q*b + 2*b for b.
4
Suppose 3 = s - 0. Solve -s*f = -4*f - 2 for f.
-2
Let o = 6 - 3. Suppose 0 = -2*z - o*z + 30. Solve 0 = 3*u - 6*u - z for u.
-2
Suppose 0 = -2*v + 7*v - 15. Solve v*x = -0*x - 12 for x.
-4
Let j = -4 - -8. Solve -j - 2 = 3*r for r.
-2
Let f(a) = -a**3 + 5*a**2 - 4*a + 2. Let y be f(4). Let n be -2*(90/4)/(-3). Solve 3*t = -y*t + n for t.
3
Let b = 14 - 10. Solve 5*p - 3*p + b = 0 for p.
-2
Let z be (2/(-3))/((-2)/6). Let d be (3 - (2 + z))*0. Let i be (1/(-2))/(2/(-4)). Solve -b + i = -d for b.
1
Let u(g) = -g**3 - 26*g**2. Let l be u(-26). Solve -j = -l*j for j.
0
Let z(g) = 2*g**2 - 3*g + 3. Let m be z(2). Suppose -4*f + 5*s + 19 = 0, -f = -3*f + m*s + 7. Solve x + f = 2 for x.
-4
Suppose 0 = -2*j - 0*j + 4. Let w = j - 0. Solve 3*x = -w*x + 15 for x.
3
Let x be 70/6 - (-1)/3. Solve 4*q - x = q for q.
4
Suppose -15 = 3*y, y + 2*y = 3*z - 27. Suppose -z*h + 36 = -0*h. Suppose 3*d - x = h, -4*x = -x. Solve 0 = -d*i + 9 for i.
3
Let r be 4/16 + (-22)/(-8). Suppose 0 = -2*n - 0 + 4. Solve -4*a + r*a = n for a.
-2
Let k(f) = f**2 - 8*f + 12. Let n be k(7). Solve 0*h + n = -h for h.
-5
Let b(u) = 5 - 12*u - 10*u**2 + 0 + u - 1 + u**3. Let x be b(11). Solve 6 = x*h + 2 for h.
1
Let t be (-1 + 2 - (-21)/14)*2. Solve t = -3*p - 1 for p.
-2
Let z(g) = -2*g - 10. Let s be z(-6). Suppose 0 = x + 2 - 5. Let k(p) = p - 3. Let n be k(x). Solve w + n = -s for w.
-2
Let o = 7 + -12. Let b = 9 + o. Solve 16 = -4*r + b for r.
-3
Let z(f) = f - 5. Let l be z(12). Let c be ((-6)/l)/(2/(-14)). Solve -c*n + 2*n = 0 for n.
0
Suppose -5*i - 4*s - 3 = 7, 4*i - 3 = -s. Solve i = 4*z - 10 for z.
3
Let r be (0 + (2 - 1))*0. Solve n + 4 = -r*n for n.
-4
Let k be 0 - (1 + -1 - -1). Let j be (-1 + k - -2) + 0. Solve j = -0*o - 4*o for o.
0
Let b be (2/(-4))/((-6)/(-12)). Let h be (3/(-12))/(b/8). Solve y - h*y = 2 for y.
-2
Let s(k) = -2*k + 2. Let r be s(-1). Solve r*o = -22 + 10 for o.
-3
Let a be 309/15 + (-6)/(-15). Let x = a - 15. Solve -x + 2 = 2*n for n.
-2
Suppose 3*i + 16*s - 14 = 11*s, 5 = 5*s. Let u(x) = -2*x. Let q be u(-6). Solve 3 + q = -i*h for h.
-5
Let y(n) = -2*n + 9. Let w be y(6). Let p(g) = -g - 6. Let q be p(w). Let o(c) = -c**2 - 4*c - 3. Let r be o(q). Solve r = -5*z - 0*z + 10 for z.
2
Let s(n) = 5 + 3*n - 2 + 2 + 0*n. Let f be s(5). Solve f = -0*m + 4*m for m.
5
Let q be (0 - -3)/(9/6). Let z(b) = 1 + 2*b + 2*b**2 + b**q + 0*b**2. Let g be z(-2). Solve 4*c + 7 = -g for c.
-4
Let b = 19 + -13. Suppose f = -14 + b. Let p be 32/18 + f/(-36). Solve d + p = 3*d for d.
1
Let c(x) = x**3 + 7*x**2 - 7*x + 12. Let k be c(-8). Solve o = k*o - 15 for o.
5
Let a(j) be the third derivative of -j**4/24 + 3*j**3/2 + j**2. Let z be a(7). Let y be 28/5 - z/(-5). Solve -y*q + 9 = -3*q for q.
3
Let y(j) = j**3 - 5*j**2 + 5*j - 2. Let r be y(3). Let h be ((-6)/7)/(2/14). Let w = r - h. Solve 3 = 2*k + w for k.
1
Suppose -24 = -x - 5*c, -4*c + 2 = -10. Solve -2*w = 3 - x for w.
3
Suppose p + 0 = 3. Solve -x + 1 + p = 0 for x.
4
Let p(u) = -2*u**3 + u. Let v be p(-1). Solve -c = -0*c + v for c.
-1
Suppose 5*i - 15 = -3*q, 3*i - 2*q + 4 = -6. Suppose 4*x + 0*x = i. Solve -3*g + x = 3 for g.
-1
Suppose -4*f = 5*h - 24, -f - h + 5 + 1 = 0. Solve f*l = 5*l + 3 for l.
3
Let h(k) = 3*k**2 + 5*k - 2. Let r be h(-2). Solve r = -w - 2 - 1 for w.
-3
Let n(y) = y**3 + 2*y**2 + 8*y + 6. Let z(k) = -k - 1. Let r(s) = -n(s) - 6*z(s). Let x = -2 + 0. Let h be r(x). Solve h*u - 7 = 1 for u.
2
Let s(i) = 5*i**3 - 2*i**2 + 1. Let o be s(1). Let u be (o - 6)*6/(-4). Solve -u*x - x = 16 for x.
-4
Let x = 32 - 18. Let r = x - 7. Solve r*a - 4*a = 0 for a.
0
Let g be 1/2*(3 - (7 - 4)). Solve l + g*l + 1 = 0 for l.
-1
Let v = 6 + -3. Let b = v - 1. Solve -4*l = -b*l for l.
0
Let j = 8 - 4. Suppose 0*c - 3*c = -4*u + 12, c = 3*u - 9. Solve -2*s = -c*s + j for s.
-2
Let o(p) = p**2 - 2. Let m be o(-2). Suppose y + m*y = 0. Solve -u = -y*u for u.
0
Let v(p) = -p**2 + 8*p + 3. Let a be v(7). Suppose o - 6*o = -a. Solve 3*s = -o*s for s.
0
Suppose -5*w = 5*d - d - 37, 3*d - 21 = -3*w. Solve 0 = w*l - 5*l for l.
0
Let f(b) = -b**2 + 5*b - 4. Let d be f(6). Let k be (-3 - (0 + -1))*d. Suppose -z = -k - 0. Solve a - 5*a + z = 0 for a.
5
Let w be 40/(-2)*(-16)/20. Suppose 9*r - 5*r - w = 0. Solve 10 = r*a + 2 for a.
2
Suppose -l = 3*l. Suppose 0 = -5*z + 4*z - i + 4, z - 4*i - 19 = l. Suppose z*c = 2*c + 30. Solve 5*h -