6. Let l be t(-1). Let m = 37 - l. Solve 3*p + m - 19 = 0 for p.
5
Suppose 0 = 6*y + 4*y - 130. Solve v - y = -12 for v.
1
Let m(l) = -11*l - 9. Let t be m(2). Let i = t + 31. Solve h + i*h = 0 for h.
0
Let r(o) = 4 - 8*o - 1 - o**2 - 1. Let y be r(-8). Suppose 3 = y*a - 3. Solve 5 = -a*b - 2*b for b.
-1
Suppose 5*i - 2 + 137 = 0. Let u = i - -30. Let l be (0/(-1))/(1/(-1)). Solve l = s + u*s - 16 for s.
4
Let g(a) = a**3 + 18*a**2 + 33*a + 17. Let u be g(-16). Let m be 3*u/(-4)*-4. Solve 0 = -0*v + m*v for v.
0
Suppose -17 = -2*k - 3. Suppose -a + k = -7. Let p = -11 + a. Solve -2 = -p*r - 5 for r.
-1
Suppose -4*q = -2*q. Suppose z - 16 = -4*u - q*z, -4*z + 16 = 0. Solve -g - 1 = -u for g.
2
Let y = 21 - 29. Suppose 3*d + 2*f - 27 = -1, 5*d - f = 26. Let z be (-36)/y*d/3. Solve -q = 2*q + z for q.
-3
Let f be ((-6)/1 - -4)*-1. Suppose -f*g = -0*g. Solve g = -b + 4*b for b.
0
Let o be 6*(5/2 - 3)/(-1). Solve 0 = -o*m + m for m.
0
Let p(w) = -10*w - 4*w**2 - w**2 + w**2 + 5*w**2 - 3. Let z be p(11). Suppose 7*r = z*r. Solve r*i = -4*i - 4 for i.
-1
Suppose 11*h = 15*h - 12. Suppose z = 4*o + h, 5*o = -5*z - 20 + 135. Solve 3*c - 4 = -z for c.
-5
Let w be ((-6)/(-4))/(11 - 8)*0. Let a be 5/(-20) + ((-42)/(-8) - w). Solve 0 = -a*k - 0*k - 25 for k.
-5
Suppose 2*z - 3*y = -3 - 21, 3*z + 36 = 2*y. Let b = 14 + z. Solve -b*l - 2 + 4 = 0 for l.
1
Let s be 8/24 - (-2)/(-6). Suppose 3*x + 2*x - 15 = s, -18 = -4*u - 2*x. Solve u*d - 16 = 7*d for d.
-4
Let w(n) = 2*n + 43. Let j be w(0). Let b = -39 + j. Solve 0*i + 8 = b*i for i.
2
Let o be ((-6)/(-17))/(54/612). Solve o*h = -3 + 7 for h.
1
Suppose 2*i = 3*j - 56, 2*i + i - 15 = 0. Solve 7*t = -j - 6 for t.
-4
Suppose -5*z = -3*a - 26, -6*z + 6 = -7*z - 5*a. Solve -6*l = -z*l - 10 for l.
5
Suppose -j + 6*v = 5*v + 1, -5*j - v = -1. Solve o - 4 = -j for o.
4
Let p = 184 - 179. Solve -9*v = -p*v - 8 for v.
2
Let k(y) = 7*y + 96. Let d be k(-13). Solve d*j + 4 = 24 for j.
4
Let y(o) = -o - 7. Let f be y(-6). Let g be 1 - (2 + f) - -3. Let u(m) = m**2 - 5*m - 232. Let n be u(18). Solve -n = w - g*w for w.
1
Suppose 0*l - l = -3*m + 10, -4*l - 5 = -5*m. Suppose -x - 2*x + s = -24, -l*s + 60 = 5*x. Let z be (15/x)/(2/6). Solve 3 - z = g for g.
-2
Let j be (9/12)/3 + (-242)/(-88). Let z(u) = -u + 11. Let m be z(0). Suppose 2*y - m - 1 = 0. Solve b - j = -y for b.
-3
Let u be ((-20)/15)/((-4)/6). Let h(i) = -7*i - 9. Let s be h(-2). Let c = s - u. Solve 2*j + c*j = 10 for j.
2
Let f(v) = -v**2 + 15*v - 35. Let d(q) = -q. Let g(y) = -4*d(y) - f(y). Let x be g(7). Solve 0 = 4*p - x + 19 for p.
-3
Let j be 2/(-6)*-9*(-1 - -2). Solve 0*v + j = 3*v for v.
1
Let r(k) = k - 1. Let p(o) = 4*o - 4. Let n(s) = -3*p(s) + 16*r(s). Let x be n(5). Solve -x = 6*j - 2*j for j.
-4
Suppose 3*l - 14*r + 13*r - 2 = 0, -2*l = -2*r. Let z be 0 + 5 + (-1 - -1). Solve -z + l = p for p.
-4
Suppose -90 = -2*o - 4*o. Suppose 4*z - 2*v - v - 9 = 0, 5*v + o = -3*z. Solve -2*s + z - 2 = 0 for s.
-1
Let k = -594 - -602. Solve -k*b = 3 + 29 for b.
-4
Suppose 104 = 2*y + 4*n, -5*y + 4*n = -0*y - 260. Suppose -x - x = -4*v - 18, 16 = -4*v. Let t be (39/y)/(x/20). Solve -3*h = -0*h + t for h.
-5
Let z = 316 + -312. Solve 2*u + z = -2*u for u.
-1
Let n = -8 + 11. Let h be (-1)/n*3*0. Solve h*j = 5*j for j.
0
Let g = -170 + 286. Suppose -4*v + 5*o = -g, 3*o = -3*v + 4*o + 76. Let a be 3/v + (-2)/16. Solve -4 = 2*f - a*f for f.
-2
Let i(r) = -r**3 - r**2 + 2*r - 7. Let x(d) = d**2 + 3*d - 4. Let c be x(3). Suppose 0 = 11*o - c*o - 9. Let g be i(o). Solve 0 = 4*z + g - 17 for z.
3
Let b be (0 + 1)*-1*-4. Suppose -8*k - b = -9*k. Suppose 0 + k = -4*d, 3*s - 4*d = 16. Solve 0 = -a + s*a for a.
0
Suppose 79 - 14 = 5*q. Solve 9*u + 8 = q*u for u.
2
Let v = 860 + -841. Solve v*q - 85 = 2*q for q.
5
Let d be (-333)/(-185) - 1*(-2)/10. Solve y - d = -0*y for y.
2
Let a = 1 + 0. Suppose 15 = -2*h + 5*h, 5*s + 5*h = 45. Solve -s*u + 3*u = -a for u.
1
Let q(c) = -2*c - 4. Let l(k) = -k**2 - k - 3. Let x be 16/(-72) + 2/9. Let p be l(x). Let a be q(p). Solve -t + 0 = a for t.
-2
Let l(k) = k**2 + 5*k - 3. Let v be l(-6). Let q(j) = 2*j**2 - 8*j + 22. Let s be q(5). Let r = s - 22. Solve z - v*z = -r for z.
5
Let b be (-8 - 228/(-28)) + 1/(-7). Let i(u) = -u**2 + 7*u - 6. Let k be i(5). Solve -k*d + d - 3 = b for d.
-1
Let h(d) = -d - 1. Let g be 16/(-2)*(-5)/(-10). Let y be h(g). Solve -3 = -y*b - 6 for b.
-1
Let n(k) = -k**2 - 10*k - 16. Let p be (-189)/18*(-4)/(-6). Let w be n(p). Let h(q) = 4*q - 19. Let g be h(w). Solve -2*t - 5 - g = 0 for t.
-3
Let o(k) = k**2 + 8*k - 1. Let y be o(-8). Let l be (y + 1)/(3 + -2). Solve -4*p + 3 - 11 = l for p.
-2
Let p(l) = l - 4. Let m be p(6). Suppose -7*d + 2*d + 5 = -o, -12 = -2*o - d. Suppose -3*f - 14 = s - m*s, 2*s - o*f = 26. Solve q = -3*q - s for q.
-2
Let k(u) = -8 + 8*u - 6*u + 11. Let g be k(-1). Solve -2*b + 5 = -g for b.
3
Let m(t) = t**3 - 9*t**2 + 10*t - 6. Let y = 52 + -44. Let k be m(y). Solve i + 4*i + k = 0 for i.
-2
Let c = -854 - -855. Suppose 5*w + 4*k - 59 = 3*k, 4*w - 2*k = 36. Solve 0 = 3*t + c + w for t.
-4
Suppose -30 = -i + 5*j, j + 10 = -2*i - 3*j. Solve -i = 16*n + 11 for n.
-1
Suppose -151*r + 253 = 102. Let x(v) = -3*v - 4. Let q be x(-3). Solve -9 = q*n + r for n.
-2
Let m be (-1260)/(-25) - (-3)/5. Let a = m - 47. Solve y = -a*y for y.
0
Let y = -2 + 3. Let f be (-3*y)/((-2)/4). Suppose 1786 - 1746 = 8*q. Solve -f = 3*c - q*c for c.
3
Let y(i) = -i**2 + 17*i + 2. Let s be y(17). Let u be 10 + -8 - (-2)/s. Let d(x) = x**2 - x + 2. Let c be d(2). Solve -u*t = -c*t for t.
0
Suppose 152*i - 155*i + 12 = 0. Let l = 38 + -35. Solve -i = k - l for k.
-1
Suppose 783*k + 30 = 786*k. Solve -k*s + 13 + 37 = 0 for s.
5
Let g be ((-4)/(-12)*5)/(15/9). Solve -g = 23*y - 22*y for y.
-1
Let r = 106 + -103. Suppose 4*j = -6*s + s + 113, -2*s - r*j + 41 = 0. Solve 5 - s = -5*h for h.
4
Let c = -1033 - -1033. Solve c = 3*i - 0*i + 3 for i.
-1
Let v(y) = -y**3 + 3*y**2 + y - 1. Let x be v(2). Let t be 3 - (x - 2) - -14. Let i be 52/(-36)*-3 + (-6)/(-9). Solve -6 = i*h + t for h.
-4
Suppose 2*g = -1 - 39. Let h = -10 - g. Suppose 7*f = h*f. Solve f*t = 4*t + 12 for t.
-3
Let g = 2 - 22. Let c = g + 45. Solve 7*d - 2*d + c = 0 for d.
-5
Let o be 4/(((-18)/12)/(132/(-16))). Solve 0 = 19*z - o*z + 12 for z.
4
Let l(q) = q**2 - q + 5. Let o be (6 - 1)/((-1)/(-1)). Suppose -o*j + 15 = -2*t, 4*j + 0 = 12. Let h be l(t). Solve -x = -h*x + 8 for x.
2
Let n = -8 - -32. Solve -4*u - n + 40 = 0 for u.
4
Let n = 11 + -9. Let h(x) = n*x - 2 - 10 + 4. Let s be h(5). Solve -2*k + s = 4 for k.
-1
Let l(z) = -z**2 + 4*z - 3. Let d be l(2). Let v be (d + 16/(-12))*-69. Suppose 3 = -5*o + v. Solve -o*p + 0 = -8 for p.
2
Suppose -81*w + 170 = -76*w. Solve 7*v + 13 = w for v.
3
Suppose 5*d - 3*t - 21 = 0, -2*d - 2*d = -2*t - 16. Suppose 0 = -d*l + l, -4*l = -4*p + 8. Solve -5*q + p*q = -9 for q.
3
Suppose 5*a + 3*l - 6 = 0, -13*a = -8*a + 5*l. Solve a - 9 = -3*o for o.
2
Let y(q) = -q - 1. Let p be y(-7). Suppose 4*j = -p + 30. Let o = 21 - -4. Solve c = j*c - o for c.
5
Let g(m) = -2*m**2 + 93*m - 39. Let j be g(46). Solve j = -n + 11 for n.
4
Suppose 12*o - 128 - 160 = 0. Solve -5*l - o = -4 for l.
-4
Suppose -2 = x - 4, 2*a - 3*x = 152. Solve a*j + 20 = 83*j for j.
5
Let x = 156 + -135. Solve x = -5*q - 4 for q.
-5
Let o(f) = -f**3 - f**2 + f - 2. Let n(r) = 2*r**2 + 15*r + 7. Let x be n(-7). Let g be o(x). Let i be 4 - -3 - (-6)/g. Solve -i*b - 5 + 17 = 0 for b.
3
Let i(l) = -l**3 + 2*l**2. Let d be i(0). Suppose d*m - 11*m = -132. Solve -4*r = -7*r - m for r.
-4
Let n(h) = -47*h + 664. Let l be n(14). Solve -32 = -2*b - l*b for b.
4
Suppose 0 = -5*q + 3*s + 9, -5*q + 0*s = -2*s - 6. Let r be -1 - q - (10 - 17). Solve 4*b - r*b = -10 for b.
5
Let s = -132 - -141. Solve 6 = -s*x - 3 for x.
-1
Let n be (4/3)/((-1)/6*-2). Solve n*w + w - 5 = 0 for w.
1
Let g(o) = o - 7. Let k be g(8). Let r be ((-6)/(1 - -1) + 2)*-3. Solve -r = u + k for u.
-4
Let q(a) = -2*a + 24. Let j(x) = -9*x + 1. Let c be j(-1). Let y be q(c). Solve -s - 15 = -y*s for s.
5
Suppose -5*x - 334 = 456. Let p = -156 - x. Solve 3*i + 13 = -p for i.
-5
Let k = 20 + -19. Suppose 5*h - o - k = 2, -h + 5*o - 9 = 0. Solve h - 5 = -4*a for a.
1
Let d be ((-54)