). Solve 6 = 4*z + c for z.
-3
Let f(l) = l + 13. Let h be f(-12). Suppose 0 = -j - 4*q - 2, -h = -j + q - 2*q. Solve j*m + 5 = 7*m for m.
1
Let j(d) = -d**3 + 10*d**2 + 11*d. Let h = -22 - -33. Let i be j(h). Suppose -4*a + i*a = u, 1 = -a. Solve u*q = 3 + 1 for q.
1
Let k(i) = i**3 + 2*i + 6. Let h be k(0). Solve -h*b = -8*b + 8 for b.
4
Let v = 0 - 0. Solve v = -2*y - 1 - 3 for y.
-2
Let v(t) = -6*t - 42. Let g be v(-7). Solve -y - 1 + 0 = g for y.
-1
Let o(f) = -12*f. Let h be o(-3). Suppose -h + 116 = 4*z. Suppose m = -3*m + z. Solve -4 = m*s + 11 for s.
-3
Suppose 6*l - 170 + 62 = 0. Solve l = -5*n - 2 for n.
-4
Let s(m) = m**3 - 5*m**2 + m. Let g be s(5). Let w = 7 - g. Solve 4*v + 2 = w*v for v.
-1
Let m(o) = -o**3 - 3*o**2 + 3*o + 1. Let l be m(-4). Let d be (75/(-12) - -4)*20/(-15). Solve d*q = -2*q + l for q.
1
Suppose 6 + 10 = -4*c + 4*w, -3*w = -5*c - 12. Suppose -2*o + 3 = -o. Suppose 0 = 3*i - q - 10, 4*q + 6 + 16 = o*i. Solve 0 = -c*a + a + i for a.
-2
Let w = 25 - 22. Solve -3 = -w*i + 4*i for i.
-3
Suppose -13 = 5*u - 6*u. Solve -12 = -5*c + u for c.
5
Suppose -110*h = -111*h + 5. Solve -5 = -h*z + 5 for z.
2
Suppose -8*i + 3*i = -50. Let g = -2 - 5. Let j = i + g. Solve -x + j = -0*x for x.
3
Let j be -2 + -4 - (-30)/5. Solve j = 8*z - 6*z + 10 for z.
-5
Let h be (-1)/5 + (-105)/(-25). Suppose 30 = 4*p - 62. Let t = -15 + p. Solve 0 = 3*x + h + t for x.
-4
Let z be -7 + 1 + 3 + -2. Let u = z - -10. Solve -k = -0*k - u for k.
5
Suppose -5*u - 69 = 3*h - 182, -63 = -3*u - 3*h. Solve -u = -5*b - 0*b for b.
5
Suppose -2*r + 3*r - 3 = 0. Suppose m = -0*m - r. Let k be (12/20)/(m/(-15)). Solve 0 = k*g + 4 + 2 for g.
-2
Let g be (-14)/(-3) - (-2)/(-3). Suppose -6 = 4*o - 0*k + 3*k, -8 = g*k. Solve 2*s + 6 + o = 0 for s.
-3
Let w be (-9)/(-4) + 2/(-8). Let x = 10 + -9. Suppose 0 = w*i - p - x, -i + 6*i + 3*p = 8. Solve -14 - i = 5*h for h.
-3
Suppose 12 = 4*r + 4. Solve -3*u = -r*u - 1 for u.
1
Suppose 0*h - 2*a = -2*h + 14, 2*h - 18 = 3*a. Suppose d - 12 = -h*d. Suppose d*p - 8 = p. Solve p - 2 = w for w.
2
Let b(r) = 3*r + 2. Let z be b(-2). Let f be 1/z + 75/(-4). Let l = f + 34. Solve 0 = -2*j + 5*j + l for j.
-5
Let o(a) = 2*a**2 - 3*a + 2. Let v be o(2). Suppose 21 = 3*t + 5*u, -3*t + u + 21 = 5*u. Suppose 3*x = -0*z + 4*z - t, 2 = 3*z + x. Solve -3*i + z = v for i.
-1
Let k = 2 + -2. Let i = -14 + 14. Suppose i = -4*q + 6*q. Solve -5*l + k + 20 = q for l.
4
Let y = 6 + -4. Let u(z) = -z**3 + z. Let q(m) = -m + 5. Let j be q(4). Let f be u(j). Solve 2*l = y - f for l.
1
Let a be 1/4 - (1 + (-95)/20). Solve 0 = -a*v + 5 - 9 for v.
-1
Suppose 4*i + 2*d - 32 = 5*d, 5*d = 3*i - 24. Let n be (-4)/i - (-11)/2. Solve -n*m + 12 = -m for m.
3
Let z = -40 - -43. Suppose -s - 8 = -3*s - 2*w, -4*w - 24 = -4*s. Let r(b) = b**3 + 4*b**2 + b + 4. Let o be r(-4). Solve o = -s*j + 4*j - z for j.
-3
Suppose 0 = v + 2*v - 6. Suppose -3*k + p + 4*p = -37, 28 = v*k - 4*p. Solve 4*f - k = 4 for f.
2
Let b(y) = 2*y**2 + 20*y - 2. Let z be b(-10). Let m be (z/6)/(3/(-27)). Let d be 1 + (0 - -1) + 0. Solve -d*q - m*q - 5 = 0 for q.
-1
Let h(a) = 32*a**2 - 4*a - 3. Let u be h(-1). Solve 5*c = 8 - u for c.
-5
Let k(c) = -2*c - 11. Let o be k(-9). Solve -o = 5*u + 3 for u.
-2
Let l(p) = -p**3 + 4*p**2 + 3. Let y be l(4). Let x be 0/(2/(2/y)). Solve x*f - 16 = -4*f for f.
4
Suppose -g + 62 = g. Let v = -19 + g. Suppose 5*x = v - 2. Solve x*f + 15 = -f for f.
-5
Let z be (-4)/14 - 99/21. Let k be (2 + z)/3 + 6. Let l be 0/(-1*(-1 + 2)). Solve -k*s + 13 + 2 = l for s.
3
Let y(t) = 7*t + 93. Let h be y(-13). Solve h*b - 7*b = 0 for b.
0
Suppose 2*p + 5*i = -0*i - 22, -4*p = 5*i + 34. Let s = 6 + p. Solve -5*k + s = 5 for k.
-1
Let b be 130/(-15) + 1/(-3). Let p be 23/3 - 3/b. Let n = p + -5. Solve 0 = n*k + k for k.
0
Let o(q) = q**2 - q + 1. Let m be 21/9 - (-1)/(-3). Let l be o(m). Solve 3*y = l - 15 for y.
-4
Let n(h) = 3*h + 3 - 2*h + h. Let o be n(-3). Let b = o + 3. Solve b*j - j + 3 = 0 for j.
3
Let a be 14/(-4)*-2 - 2. Let z be a/(-1)*168/(-40). Suppose -1 = -5*x + n - 0, 5*x - z = -4*n. Solve -4*q - 3 = x for q.
-1
Let v = 5 - -7. Let a be 237/v - 3/(-12). Solve -5*l + a = -0 for l.
4
Let i = 36 - 36. Solve i*k = -2*k - 4 for k.
-2
Suppose 5*w + 0 = -10, 3*x - 10 = 5*w. Let y = x - -3. Suppose 6*f - 54 = -18. Solve -y*o + f = -0 for o.
2
Let c be ((-2)/3)/((-10)/(-15)). Let b be (c + 0)*(-6 + 3). Solve -b*k - 1 = -2*k for k.
-1
Suppose 19 = 2*x + 5*q, -x = 5*q - 2*q - 11. Let c be (-1)/(-3) + 8/12. Solve -x - c = -j for j.
3
Let g(l) = -14*l. Let q be g(1). Let o be (-10)/(-35) - 94/q. Suppose 3*n + 14 - 44 = 0. Solve -2*b + n = -o*b for b.
-2
Let c = -2 - -9. Suppose k = 2*r - 0*k - c, 4*k - 20 = 0. Solve -4*i + 7*i = -r for i.
-2
Suppose 30 = 5*l - 4*r, -9 = -2*l + 5*r + 3. Solve -2*f + l = -2 for f.
4
Suppose 1 = s - 3. Solve -25 = s*c - 5 for c.
-5
Suppose -3*x = -2*x + 30. Let j = -14 - x. Suppose 4*u + 2 = 5*l, 0*u - 3*u - 5*l = -j. Solve -u*m = m - 3 for m.
1
Suppose v = -2*q + 7, 0*v + 4*v = -3*q + 13. Let c = 3 - v. Solve -c*g = -0 + 6 for g.
-3
Suppose -5*n + k + 0*k - 101 = 0, -k + 80 = -4*n. Let o(q) = -5*q**2 - 2*q + 2. Let h be o(-2). Let t be 6/n + (-186)/h. Solve 5 = -2*p + t for p.
4
Let m be (2/4)/(2/12). Let l be (-4)/6 + (-44)/33. Let p = l + m. Solve 0 = g - p + 5 for g.
-4
Suppose 5 + 4 = 3*a. Solve -4*o - 11 = -a for o.
-2
Let z = 19 + -13. Let s(m) = m - 3. Let w be s(z). Solve -2*t = -1 + w for t.
-1
Suppose 0 = i + 2*i - 12. Solve -v = i*v for v.
0
Let w be ((-10)/15)/(4/(-36)). Solve 0*d = -2*d - w for d.
-3
Let c = -43 + 47. Solve -10 = -c*v - v for v.
2
Let a = -28 + 31. Solve 4*b = a*b for b.
0
Let p(i) = i**2 + 4*i - 2. Let z(a) = -5*a**3 + a - 1. Let k be z(1). Let l be p(k). Suppose -h + 6 = -4. Solve -1 = l*n - h for n.
3
Suppose 5*u + 0*u = 25, -3*h - 2 = -4*u. Solve -q - 2*q - h = 0 for q.
-2
Suppose -5*g + 20 = -2*n + n, -5*g = -2*n - 20. Let m be (3*(-1 - n))/(-1). Let r = -7 - -16. Solve -r = m*d - 0*d for d.
-3
Let j(v) = v**2 - 3*v**3 + 2*v**3 - 3*v + 4*v**2. Let t be j(4). Let w(o) = -o**3 + 4*o**2 + 6*o + 3. Let g be w(5). Solve t*d = -0*d - g for d.
-2
Let v = 12 - 7. Suppose -v + 1 = -2*b. Solve b*o = -0*o - 6 for o.
-3
Let q(c) = -c - 4. Let z be q(-7). Let p(f) = -f**z + 5 - f**2 - f**3 - 4 - 13*f**3. Let g be p(-1). Solve -y = 4*y - g for y.
3
Let f = 10 - -2. Suppose 15 + f = 3*w. Solve w = -3*k - 6 for k.
-5
Let q = 0 - -3. Let n = 9 + 0. Solve -q - n = 3*j for j.
-4
Suppose 0 = -65*a + 60*a + 5. Solve -r = 4 - a for r.
-3
Suppose -2*a - a = 0. Suppose 2*l - 5*u + 21 = 0, 0*l - 3*l - 2*u + 16 = a. Suppose 3*d - 3*q - 32 = q, -q + 36 = l*d. Solve -f + 5*f = -d for f.
-4
Let k(o) = -o**2 - 4*o + 7. Let l be k(-5). Suppose 5*h - l*a = -0*a + 8, -5*h - 3*a = -13. Solve 2*q + h*q = 0 for q.
0
Suppose -30 = -7*a + 2*a. Suppose h - 2*h + 4 = 0. Suppose -5*m + a + 9 = 2*n, -4*m - h*n = -12. Solve y = 2*y - m for y.
3
Let p be (-2)/(-1 + 2/6). Suppose -51 = -p*n - 2*q + q, 3*n - 2*q - 42 = 0. Let o be 1/(-1)*(-1 + -3). Solve n = 5*j - o for j.
4
Suppose 5*t + 1 = -2*n, -t - 1 = -2*n + 4. Suppose -n + 65 = -5*s - 3*z, 0 = 2*z - 8. Let k be s/(-9)*(-6)/(-2). Solve 2*u + k = -5 for u.
-5
Let m(n) = -n - 4 - 1 + 1 + 0. Let x be m(-8). Solve x*g + 10 = -g for g.
-2
Let i(d) = -d**3 - 3*d**2 - d + 1. Let n be i(-3). Let u be 10 - 6 - 0/2. Suppose 0 = -u*o - 5*q - 4, o - 2*q = q + 16. Solve -n*b = -4 - o for b.
2
Let p(w) = 4*w**3 + 3*w**2 - 5*w - 10. Let z(f) = f**3 - f**2. Let u(h) = -p(h) + 5*z(h). Let i be u(7). Let a = i - -10. Solve o + o = -a for o.
-3
Let j = 4 + 0. Let g(l) = -l. Let q be g(1). Let u = j + q. Solve u = 5*f - 2 for f.
1
Let s be (-22)/55 - (-4)/10. Solve s + 4 = 4*v for v.
1
Let y be -2*((-14)/4 + 3). Solve -2*w + 3*w - y = 0 for w.
1
Let k be (-1)/3 + 10/30. Let j(a) = a**3 - 5*a**2 + 4*a + 3. Let d be j(4). Suppose -p - d*p + 4 = 0. Solve k - p = b for b.
-1
Suppose 0 = 3*s - 21 - 0. Solve -s*j + 4 = -5*j for j.
2
Let p(x) = -x**2 - 7*x + 26. Let l be p(-9). Solve l*w + 15 = 3*w for w.
-3
Suppose -60*j + 65*j = 125. Solve -4*n - j = -9*n for n.
5
Suppose 4*z = -8*l + 3*l + 25, 3*l - 2*z = 15. Solve -1 = -4*n + l*n for n.
-1
Let j = -123 - -177. Let y be (2/(-6))/((-6)/j). Suppose x = 