 for z.
-3
Suppose -6*j - 25 = -11*j. Suppose -j*z = -5*t + 5, 22 = 4*t + 5*z - 0. Solve -n = -t*n for n.
0
Let k(t) = t**2 - 4*t + 3. Suppose 0 = -18*p + 13*p + 15. Let s be k(p). Solve s = -7*d + 2*d - 15 for d.
-3
Suppose s - 3*s = -4*g - 10, 4*g + 19 = -s. Let i be 0/(g/(-3 + 1)). Suppose i = -h + 2*h. Solve -c + 1 + 0 = h for c.
1
Let m be 6*8*(-3)/(-18). Let h be 20/m*(-1 - -3). Suppose -2 = -h*b + u, -3*b + 3 = -5*u - 7. Solve -4*v + 23 - 3 = b for v.
5
Let n(i) = i**3 - 6*i**2 - 5*i - 6. Let p be n(7). Let c be (5/(-3))/((-125)/225). Solve -c*d - p = d for d.
-2
Let a(w) = w**3 - 2*w**2 - 3*w + 2. Let b be a(3). Suppose 5*h + 2 - 39 = -o, -5 = -h. Suppose 0 = 2*m + 3*m - o*m. Solve m = 2*t - 4*t + b for t.
1
Suppose -411 = -30*p - 51. Suppose 4*i = -m + 5*m, 0 = 3*m. Solve i = -5*r + 3 + p for r.
3
Suppose -3*t + 7 = -2*d - 12, -4*d + 32 = 4*t. Let i = t - 23. Let n = i + 23. Solve -n = -2*l + 1 for l.
4
Let a = -12 + 28. Let i = -4 + 9. Suppose y - 5*y + 4*q = a, i*y - 3*q = -12. Solve 0 = 3*t - y*t + 12 for t.
-4
Suppose 2*h + 1 - 13 = 0. Suppose 28 = 5*r - 5*z - 2, h = -5*r - 4*z. Solve m = -m - r for m.
-1
Suppose -3*f - 21 = 2*u - 48, 0 = 4*f + 4*u - 32. Solve f - 17 = -2*d for d.
3
Let h(g) = -g**2 + 14*g - 24. Let w be h(12). Suppose w = 8*d - 9*d - 2, -5*d = -2*v + 10. Solve v = 2*z - z for z.
0
Suppose -34*f + 3*f = -310. Solve -f - 4 = -7*x for x.
2
Let g(v) = v**3 + 18*v**2 - 18*v + 28. Let l be g(-19). Solve -3*y = -l - 3 for y.
4
Let f(c) = 11*c + 36. Let p be f(-3). Solve p*x + 2*x = 25 for x.
5
Let l be 104/18 + (-14)/(-63). Solve y + l = -y for y.
-3
Let u(w) = -w**3 + 7*w**2 - 5*w - 18. Let o be u(5). Solve -o + 19 = -3*l for l.
-4
Let x = -35 - -31. Let r be x/(-14) + (-26)/(-7). Suppose -p = r*p. Solve p = -2*g - g for g.
0
Let g(l) = -2*l**2 + 31*l + 61. Let n be g(17). Solve -3*x = n*x - 13 for x.
1
Suppose 26 = -4*p - 10. Let m be 7 + p - (3 - 5). Solve m = -2*o - o - 9 for o.
-3
Let q = -83 + 103. Solve 0 = -7*s + 3*s - q for s.
-5
Let p(a) = 0*a**2 - a**3 + 4*a**2 + 2*a**3 - 1 + a. Let r be p(-3). Let n(m) = 2*m**3 - 9*m + 5. Let f be n(0). Solve -f*d = r - 0 for d.
-1
Let o(l) = l**3 - 5*l**2 + 6*l - 4. Let q be o(4). Suppose 3*g + 38 = q*k, 3*g - 9 - 1 = -2*k. Suppose k - 18 = -5*v. Solve -v + 5 = -u for u.
-3
Suppose 74 + 498 = 22*g. Solve g*k + 2 = 27*k for k.
2
Let d = 94 - 57. Suppose 4*z = -9 + d. Solve 4*x - z = 5 for x.
3
Let c(x) = -2 - 2*x**2 - 218*x + 422*x - 217*x. Let d be c(-6). Solve -d*t = -t for t.
0
Let y(a) = -2*a - 22. Let o be y(-31). Solve c - o = 11*c for c.
-4
Suppose -11*i = -6*i - 30. Suppose -16*c = -19*c + i. Solve -c = a - 0 for a.
-2
Suppose h + 4*z - 2 = -2*h, h - 6 = 4*z. Suppose -w - 4*d = 12, -w = h*w - 4*d - 12. Solve l + 1 - 2 = w for l.
1
Let i(k) = k**3 - 19*k**2 + 20*k - 1. Let f be i(18). Solve f = -2*l + 27 for l.
-4
Let g be ((-4)/2)/((-4)/6). Let j be (4/(-10))/(g/(-30)). Let n(b) = 4*b - 141. Let y be n(36). Solve y*w - j*w + 2 = 0 for w.
2
Suppose -3*c + 21 = -3*b, 6 = -5*c + 4*b + 40. Solve c*n - 7 - 11 = 0 for n.
3
Let x(p) = -p**3 - 3*p**2 + 4*p - 3. Let l be x(-5). Let n be (-2)/4*(3 - l). Suppose 3*r = 5*r - 4. Solve 0 = r*q + 2*q - n for q.
3
Let s(f) = f**3 - 8*f**2 + 11*f - 13. Suppose 3*h = 3*y - h - 29, 3*h = -3*y + 15. Let j be s(y). Solve -u = -4*u - j for u.
-5
Let r(i) = -2*i**3 + 15*i**2 + 2*i + 51. Let l be r(8). Solve l*z = 18 - 21 for z.
-1
Let y(u) = u**2. Let s(k) = -5*k**2 - 11*k - 14. Let l(c) = -s(c) - 6*y(c). Let f be l(12). Solve 2*p = -f*p - 16 for p.
-4
Let y be -1 - (-3)/(3/4). Let w be 51/68 - 2/16*-26. Solve y*m - 1 = -w for m.
-1
Let i(y) = 3*y + 12. Let v = 43 - 46. Let z be i(v). Solve 2 + 7 = -z*r for r.
-3
Let w = -1 + -6. Let t = w + 3. Let i be 0/(-2*t/8). Solve -s - s = i for s.
0
Suppose -5*w = -5*q - 0*q - 25, 4*w = q - 1. Let b(v) = -v**2 - 6*v + 9. Let y be b(q). Solve -y*a = -4*a for a.
0
Suppose -241*m + 213*m = -476. Solve -6*o + m = 17 for o.
0
Suppose -145 = 5*w - 0*w. Let q = -3 - w. Suppose 2*x - 4*t = q, 3*x = 5*t + 12 + 22. Solve -x*a = 2*a - 25 for a.
5
Let k be (-168)/27 - (-2)/9. Let h(b) = -b + 3. Let o be h(5). Let j be (-20)/o*k/(-12). Solve 1 = -3*q - j for q.
-2
Suppose -49 = 10*r - 49. Solve -189*s + 183*s + 6 = r for s.
1
Suppose -102*k + 70 = -97*k. Solve k = -11*r - 8 for r.
-2
Suppose -26 = -3*i + 2*c, 2*i - 4*c = -7*c. Let h = -2 + i. Solve h + 6 = 2*b for b.
5
Let s = 1127 - 1050. Solve -10*z + s = 37 for z.
4
Let v be (-20)/32*2*16. Let z be v/(-70) - 52/(-14). Solve 0*u + z = 2*u for u.
2
Let x(l) = l**3 + 12*l**2 - l - 15. Let f be x(-12). Let c(w) = w**2 + 4*w + 3. Let h be c(f). Suppose 12*o - 7*o - 20 = h. Solve d + 3 = o for d.
1
Let b = 57 + -45. Solve 12*k = 9*k - b for k.
-4
Suppose 25 = m - 3*n, 34 + 54 = 3*m + 4*n. Let a be m/49*(9 - 2). Solve -8*p = -a*p for p.
0
Suppose -3*y + 27 = -h - 18, 0 = -y - 4*h + 28. Solve -y = 6*s - 2*s for s.
-4
Let u(v) = -v**3 + 5*v**2 + 25*v - 8. Let f be u(8). Solve f = -3*h + 7*h + 12 for h.
-3
Let r(l) = 2*l**2 + 23*l + 75. Let y be r(-5). Solve 3*v = y*v + 14 for v.
-2
Suppose -4*j - 5*d + 37 = -49, 0 = -2*d - 4. Let t = j + -11. Solve -5*m = t + 2 for m.
-3
Let m = -1569 + 1571. Let h(k) = k - 1. Let v be h(1). Solve m*w + v*w - 10 = 0 for w.
5
Let f be (-52)/(-130) + 6/10. Solve -3*q - f = -7 for q.
2
Let g be 37 + (-2)/(-4)*-2. Suppose 5*f = 2*f + 3*k + g, -40 = -3*f + 4*k. Suppose 4*v = f*v - 20. Solve v = 3*o + 2 for o.
1
Let t = -927 + 927. Solve t = -d + 17*d - 64 for d.
4
Suppose -2*a = 7*a - 18. Let u be (0 + 0)/a - (-4 - 1). Solve u*z - 8 = -3 for z.
1
Suppose 2*i + 5*u = u + 34, -3*u = 5*i - 50. Suppose -1 = 2*m - i. Solve -5*c + 2*c = m for c.
-1
Let o(x) = 3*x**2 + 3*x + 10. Let a be o(-4). Let d = 47 - a. Solve 0 = -z - 0*z - d for z.
-1
Suppose z + 1 = m, -4*m + 3*z + 1 = -2*m. Suppose -2*t + 2 + 0 = 4*d, -2*t = 2*d - m. Suppose -p - 4*p + 15 = d. Solve -2*o = p*o + 10 for o.
-2
Let u(r) = -2*r - 1. Let h be u(-1). Let y be h + -4 - (-66)/6. Let m be y/3*9/12. Solve -w + m = 4 for w.
-2
Suppose 4*p + 3*r - 18 = 0, 9 = 5*p + 5*r - 11. Solve 1 - p = -b for b.
5
Let b = -374 + 570. Suppose 3*m + 4*m = -b. Let i = m - -29. Solve 4 = -x + i for x.
-3
Suppose 75 - 425 = 5*s. Let a = 72 + s. Solve 0 = a*k + k - 3 for k.
1
Let x be (-6)/(-15) - 9/(90/(-16)). Solve -5*i = -x*i - 12 for i.
4
Let g = 249 - 235. Solve -17*r = -g*r + 3 for r.
-1
Let m(o) = -o**2 - 5*o - 4. Let s be m(-4). Suppose s*k = -5*k - r + 2, -2 = 4*k - r. Suppose 0 = 9*f - 44 - 10. Solve 5*p - 2*p - f = k for p.
2
Suppose 2*p + 10 = 0, 2 = -4*v - p - p. Solve -4*f + 22 - v = 0 for f.
5
Suppose 3 + 3 = 3*n. Suppose 5*v - n = -7. Let o be (v - 0) + 1 + 0. Solve o = -h + 1 - 0 for h.
1
Suppose 14 = -80*x + 83*x + 5*l, -5*x = l - 16. Solve -x*i + 68 = 71 for i.
-1
Suppose -79 + 57 = -2*d. Solve 0 = -13*n + d*n - 2 for n.
-1
Let w(r) = -6*r - 7*r + 8 + 24*r - 13*r. Suppose -2*q + q = 0. Let y be w(q). Solve -2*c + y = 2*c for c.
2
Suppose -7*l + 30 = 2. Suppose -5*n + 10 = y + 4*y, 0 = -n + y + 10. Suppose -2*j = -4*j + n. Solve -l*t = 5 + j for t.
-2
Suppose -4*y + 16 = 4*z, -5*y + 3*z + 21 = 9. Solve y*s + 10 + 2 = 0 for s.
-4
Let v = 124 - 118. Solve -2*c - 4*c + v = 0 for c.
1
Let i be 114/(-95)*20/(-3). Let y = -4 - -8. Solve -i = -4*h + y for h.
3
Let k(d) = -d + 15 - 7 + 8. Let v be k(12). Let t be (v/(-6))/((-7)/42). Solve -t*u - 2 = 6 for u.
-2
Let y be (-68)/(-16)*1*4. Let x = 21 - y. Suppose -x*o + 0*o = -64. Solve 0 = -h + 5*h - o for h.
4
Let m be 41/((-1)/2 - -1). Suppose -2*u + m = -0*u. Suppose -b = -5*d - 31, -3*d - u = -3*b - d. Solve -2*r = b - 1 for r.
-5
Let p = 78 + -75. Suppose 4 = 4*o - 2*o. Suppose p*r = -o*r. Solve r = 3*d - 1 - 2 for d.
1
Let l(a) = -a**3 - 6*a**2 + 3. Let q be (-3)/(-2 + -1)*2. Suppose -6 = 3*d - q*d. Let k be l(d). Solve 6 = -i + k*i for i.
3
Let n(s) = -14*s - 9. Let d be n(5). Let g = 81 + d. Solve 3*r - g = 1 for r.
1
Suppose 2*a + 11*a = 52. Solve -18*w + a*w - 42 = 0 for w.
-3
Let f be (-1 - -2)*(8 - (10 - 18)). Solve f*k - 18*k = -6 for k.
3
Let f be -2*2/(-2) - 0. Let y(b) = -6 + 2*b**3 + 10*b**2 + f*b**3 - 8*b - 5*b**3. Let u be y(9). Solve i + u = 6 for i.
3
Let q = 66 - 64. Let y be (-28)/(-30)*-3*-5. Let u be 12/(-42) - (