v = 19 for z.
3
Let m = 409 - 292. Let t be ((-2)/(-3))/(6/m). Suppose -6 = 2*p - 4*g, -g + 4*g - 9 = 0. Solve 4*v = -t - p for v.
-4
Suppose -5*j + 8 = -j. Let l = 16 + -19. Let w be (1/l)/(8/(-24)). Solve -j*g - 9 = -w for g.
-4
Let c(m) = -m**2 + 5*m - 1. Let s be c(5). Let l be (1/(-4) + s)/(1/(-4)). Solve -4*u - l = -21 for u.
4
Let l(s) = 2*s**2 - 14*s + 5. Let p be l(7). Let w be (3 - (-1 + 2))*p. Suppose -4*n = -o - w, -2*n - o = -8 - 0. Solve 7*h - 4*h - n = 0 for h.
1
Let z(w) = -w**3 - 15*w**2 - 26*w. Let n be z(-13). Let o(h) = h**2 + 5*h - 7. Let u be o(-7). Suppose 3 = -x + u. Solve -x*d = -n*d + 12 for d.
-3
Suppose -2 = 3*w + 1, 0 = -o - 2*w + 22. Let k = -22 + o. Suppose 3*t - 9 = -l, -k*t - 2*l + 9 = t. Solve 4*s = t*s for s.
0
Suppose -86 = -3*p - d + 119, -5*p + 343 = d. Let x = p + -67. Let c(m) = -m**3 + 4*m**2 - 2*m. Let k be c(2). Solve -j - k = -x for j.
-2
Let h(u) = 2*u**2 - 2*u. Let o be h(2). Suppose -3*k + 10 = o. Let c be 4/(k*3/9). Solve -5*b - c = -1 for b.
-1
Suppose 0 = 2*v - 4*g + 14, -2*v + 2*g + 13 = -5*v. Let u be (v/25)/((-2)/10). Solve -2*t - 5 + u = 0 for t.
-2
Let s(n) = 2*n + 35. Let b be s(-16). Suppose 57 = b*u - 3*v, 0 = 5*u - 4*v + v - 97. Solve 5*t - t - u = 0 for t.
5
Suppose 141*b - 123*b = 0. Solve g + 3 - 1 = b for g.
-2
Let r be (0 + 3)*38/6. Let x = 13 + r. Suppose -x = 3*y - 5*y. Solve 0 = -4*u + y - 0 for u.
4
Let z = 0 - -5. Let o = z + -4. Let h be o*(-2 + 1 + 1). Solve 6*a - a - 10 = h for a.
2
Let a(v) = -v**2 + 6*v - 5. Let u be a(8). Let l be (-3 - 1*u) + 2. Suppose -6*b = -b - t - l, -b = t - 4. Solve r - b*r = -6 for r.
2
Suppose -i = 2*l + 10, -4*i - 19 = -0*l + 5*l. Let j(k) = k**2 - 7*k + 6. Let s be j(5). Let p = s - l. Solve 1 = p*n - 2 for n.
1
Let c = -9 - -11. Let w be ((-8)/12)/(c/(-12)). Solve -8 = -g - w for g.
4
Let h(y) = y**3 + 5*y**2 - 3*y - 10. Let r be h(-5). Suppose -7*f = r - 26. Solve -f - 3 = -3*z for z.
2
Suppose 0 = 2*g + r - 37, 5*g + 5*r = 47 + 38. Solve -6*k + g = -k for k.
4
Suppose 7*z - z + 6 = 0. Let j be 0/z - -2 - -2. Solve -j - 1 = -a for a.
5
Let u = -102 + 13. Let m = -67 - u. Solve m = 5*z - 3 for z.
5
Let f(m) = 6*m - 9. Let z be f(5). Solve 0 = 20*b - z*b - 2 for b.
-2
Suppose -4*u - 5*k - 9 = 0, 0*k + 23 = 2*u - 3*k. Solve 6 = -2*i + u*i for i.
3
Let o be (-28)/(-10) - (-348)/290. Solve 2*p = o - 0 for p.
2
Suppose 2*a - 46 = 14. Let z = -15 + a. Suppose -z = -3*v + 33. Solve -i = 3*i - v for i.
4
Let s be (2 + 6)*12/24. Suppose 2*i - 3 = 1, s*i - 14 = -2*b. Solve b*h + 0 = -6 for h.
-2
Suppose -11 = 3*x - 20. Suppose 0 = -2*c - x*j + 17, -3*j + 29 = -8*c + 13*c. Solve 5 = -c*m + 3*m for m.
-5
Suppose 0 = -3*l - 0*l + 6, 2*p - 18 = -4*l. Solve -y + p = 1 for y.
4
Suppose 0 = 26*v + 96 - 304. Solve 11*g - v = 9*g for g.
4
Let u(v) = -3*v + 19. Let k(b) = -11*b + 77. Let j(l) = 2*k(l) - 9*u(l). Let s be j(4). Solve 1 + s = -2*y for y.
-2
Suppose -44*o + 40*o = -120. Suppose o = 2*w + 24. Solve -15 = w*g - 0*g for g.
-5
Let w = -7 - -13. Suppose -30 = -5*z - 0. Let y = w - z. Solve y = -2*t - 2*t for t.
0
Suppose 55*s - 54*s = 7. Let p = s - 4. Solve -p*a + a = 4 for a.
-2
Let o = -1 - -2. Let x be (-3)/1*8/(-6). Suppose 3*z = -2*z. Solve -x*p - o + 13 = z for p.
3
Let y be -446*(-6)/(-108) + (-4)/18. Let a be ((240/y)/6)/((-2)/5). Let t(d) = d**2 - 2*d - 3. Let k be t(3). Solve -a*m + k = 4 for m.
-1
Suppose b - 724 = -4*j, -11*j + 2*b = -15*j + 728. Solve f = 184 - j for f.
4
Suppose 5*z + 75 = 3*s, -5*z = -0*z + 3*s + 45. Let h(i) = i**3 + 12*i**2 + i + 15. Let b be h(z). Solve -b*w + 13 = 4 for w.
3
Let y(n) = n**2 - 9*n + 10. Let j be y(8). Suppose j*r + r - s - 48 = 0, 54 = 3*r - 3*s. Solve -w = 2*w + r for w.
-5
Suppose -5*r + r = -120. Let s = -30 + r. Solve s = o - 0*o - 5 for o.
5
Suppose -9*y - 5 = u - 6*y, -2*y - 6 = 0. Solve u*v = -v for v.
0
Let y be (-6)/21 + (-6)/(-21) + 0. Solve -2*a + 6*a - 4 = y for a.
1
Suppose o + 6 = 24. Suppose o = 3*x - 0*x. Let a be (20/(-6))/((-2)/x). Solve 0*n + 2*n = -a for n.
-5
Let h = 894 + -884. Solve -h*o = -4*o - 24 for o.
4
Suppose -3*z + 4*l - 2*l + 20 = 0, -2*z + 5*l + 28 = 0. Suppose -25 = -3*a - 2*n, -4*a - z*n + 35 = -n. Solve 0 = -a*s + 1 - 11 for s.
-2
Suppose 402*s - 397*s - 20 = 0. Solve -s + 13 = -3*z for z.
-3
Let q be 250/(-2)*36/(-45). Suppose 0 = -0*n + 5*n - q. Solve -5*x + n = -0*x for x.
4
Let y(a) = a**3 + 3*a**2 + a + 3. Let t be 72/(-28) + 8/14. Let k be y(t). Solve 0 = -0*g + k*g for g.
0
Suppose -1 = -4*c - 41. Let f = -2 - c. Let o(a) = a**3 - 8*a**2 + a - 6. Let h be o(f). Solve 0 = h*g - 6 - 2 for g.
4
Suppose 2*h - 76 = 3*v - 412, 4*v = -4*h + 428. Solve 24*y - 2*y = v for y.
5
Suppose 32*w - 600 = 12*w. Solve 0 = -4*y + w - 42 for y.
-3
Let y be (-4 + 5)/(1/2). Let v(b) = 3*b**3 - 23*b**2 + 15*b - 4. Let s be v(7). Let p(n) = n + 3. Let u be p(-2). Solve -y - u = s*f for f.
-1
Let a be 4*-2 + -1 - 3. Let q = a - -18. Suppose 2*c - q = -0. Solve -c = x + 2 for x.
-5
Let y = 3 + 0. Let f(z) = -z**2 - 14*z + 9. Let w be f(-14). Suppose 28 = -5*a + w*a. Solve h + y = a for h.
4
Let l(t) = -11*t**2 - 2*t + 1. Let c(f) = 10*f**2 + f - 1. Let d(h) = 4*c(h) + 3*l(h). Suppose -32 = 59*x - 27*x. Let p be d(x). Solve 2*j = -0*j + p for j.
4
Let o be (-9 - 9/(-2))*-2. Solve 7*d - o - 19 = 0 for d.
4
Let k be (-11)/(-3) - 8/12. Let w(b) = -b**3 + 5*b**2 - b - 6. Let j be w(4). Let g be (-7)/(-7)*-1*(-4 - -1). Solve k = -g*s - j for s.
-3
Suppose -4*w = -4*h - 4, 2*w = h - w + 3. Suppose -3*i + 9*t + 29 = 4*t, 0 = 5*i - 2*t - 23. Solve i*b + h = -9 for b.
-3
Suppose -4*w - 7*d + 28 = -3*d, 0 = w - 5*d + 17. Suppose 0 = w*m + 4*a - a + 84, 2*m = a - 56. Let b be (16/m)/((-8)/28). Solve 2 = -i - b for i.
-4
Let h be 32/10 + (-3)/15. Let p(g) = -4*g**2 - g + 2. Let k be p(1). Let v be 0/(2 + (k - -2 - 2)). Solve v = -m - h*m for m.
0
Suppose 0 = d - 8 + 3. Suppose -v = i - 3, -6*i = -2*i. Solve d - v = -2*w for w.
-1
Suppose 5*o + 0*o = 5*q - 25, 2*q - 14 = 4*o. Solve 0 = -2*v - q*v - 5 for v.
-1
Let z(x) = 5*x + 29. Let o(j) = -j**3 - 6*j**2 - 6*j + 3. Let w be o(-4). Let m be z(w). Suppose -2*r + r = 1, -3*q - r + 17 = 0. Solve n + q = m*n for n.
2
Let c = 5 + -2. Suppose -x = -0 + c, -4*w + 73 = -3*x. Suppose -6 + w = 2*p. Solve 4*i - 5 = p*i for i.
-5
Suppose 4*r - 6 = -2*w, 4*r = 2*w - 40 + 42. Solve -r - 9 = -2*o for o.
5
Let f = 369 + -390. Let n be 170/7 - 4/14. Let v = f + n. Solve 5*j - 8 = v*j for j.
4
Let d(a) = -2*a**2 + 11*a - 18. Let s be d(9). Let j = s + 87. Solve -j*l + 3 = -3*l for l.
1
Suppose -2*a + 15 = a - 2*m, -5*a + 4*m + 23 = 0. Suppose 2 = -3*h + 3*f + 14, -5*h - 4*f + 29 = 0. Solve h*q - a + 2 = 0 for q.
1
Let j be 2 + -4 + (-11 - -17 - -28). Solve 2*o + j = 10*o for o.
4
Let g be (-120)/12 + 2 + -1. Let k be (-84)/(-5) - g/45. Let x = k + -15. Solve 0 = -0*h - x*h - 4 for h.
-2
Let d(a) = -11*a**3 - 16*a**2 + 33*a + 58. Let f(x) = -4*x**3 - 5*x**2 + 11*x + 19. Let p(v) = 3*d(v) - 8*f(v). Let h be p(-9). Solve -h*y = 6 - 2 for y.
-1
Suppose -115*n = -120*n + 10. Solve -3*m = n*m for m.
0
Suppose -3*q + 14 + 3 = 5*s, 5 = 2*s + 3*q. Solve -s = 4*b + 8 for b.
-3
Let z(q) = 7*q + 12. Let x be z(6). Suppose p + x = -2*p. Let s be (-266)/p + (-4)/(-18). Solve 10 = 5*y - s for y.
5
Let v(m) = -5 + 2*m + m**3 + 7*m - 5*m**2 - 8*m. Let g be v(5). Solve g = 2*o - 2 - 0 for o.
1
Suppose -2*t = 4*v - 18, -2*t + 2*v - 7*v = -21. Solve t*x = -x - 16 for x.
-4
Let l = -406 + 418. Solve 0 = -3*k + l for k.
4
Let r = -236 - -236. Solve -3*z = -r*z + 12 for z.
-4
Suppose 0 = 2*i - 0*i. Suppose 1 = -v + s - 3*s, i = -3*v - 2*s + 5. Solve -v*f - 20 = f for f.
-5
Let o(h) = 2*h**3 + 76*h**2 - 2*h - 44. Let l be o(-38). Solve 0 = l*q - 27*q - 25 for q.
5
Let m(s) = s**2 - 8*s + 22. Let b(a) = a**3 + 4*a**2 - 3. Let l be b(-3). Let j be m(l). Solve 0 = 3*g - j + 1 for g.
3
Let c(u) = u + 5. Let a(n) = 1. Let t(i) = i + 3. Let p(w) = -3*a(w) - t(w). Let m(l) = -4*c(l) - 5*p(l). Let y be m(-3). Solve 2*s - 25 = y*s for s.
-5
Let d(x) = -38*x**3 - 2*x**2 + 2*x. Let i be d(1). Let z = i + 41. Solve -8 = k - z for k.
-5
Let z(s) = -23*s - 33. Let v be z(-2). Solve v + 7 = 4*q for q.
5
Let r(t) = 10*t**2 - 265 - 9*t + 265 - t**3. Let d be r(9). Solve -5*c + 2*c = d for c.
0
Suppo