 = s*l - 9*l for l.
3
Suppose k + 3*z + 9 = -0*z, 0 = -3*k - z + 13. Let s be -4*(5 + (150/8)/(-3)). Solve s*i = 2*i - k for i.
-2
Suppose 4*p = -2*a - 6, -2*p + 3*a - 7 = -0. Let s be (p/3)/((-2)/6). Let t be (-3)/3 + 3*1. Solve s*u = u - t for u.
-2
Let h = 13 - 9. Suppose 0 = 2*l + 3*g - 16, 26 - 6 = 5*g. Suppose 2*v + l*v - 52 = 4*w, 4*v + 3*w = 31. Solve 0 = o + h*o + v for o.
-2
Let b = 72 - 24. Suppose 6*a = 3*a - 3*v + b, -55 = -4*a + 5*v. Solve -5*w - a = 5 for w.
-4
Let h be (0 + 0)*(-2 - (-1 + 0)). Suppose h = 5*b + 3*m - 17, -3 = -2*b - 5*m + 19. Solve w = -b + 5 for w.
4
Let k be 1/8 + 5/(-40) + 5. Solve s = 6 - k for s.
1
Let x(m) = 3*m**2 - 14*m + 58. Let p be x(4). Solve 13*r - 11 + p = 0 for r.
-3
Let d = 175 - 175. Solve d = -15*w + 21*w - 30 for w.
5
Suppose 15*l = 16*l - 12. Let w be 9/12 + (-9)/l. Suppose -14*f + 10*f = w. Solve j + f*j = 0 for j.
0
Let m = 7 + -2. Suppose -7 + 17 = m*q. Let g(x) = -13*x - 55. Let d be g(-5). Solve -q - d = -3*t for t.
4
Suppose h + 41 - 45 = -k, -k = -4. Solve 2*m + h*m = 4 for m.
2
Suppose 72*g = 71*g + 6. Solve 10 - g = 4*j for j.
1
Let f(l) = -l**2 + 9*l + 16. Let d be f(10). Solve 2*z = 8 - d for z.
1
Let d(r) = -r + 18. Let x be (0 - 4) + 0 + 17. Let w be d(x). Solve 0 = b - 2*b + w for b.
5
Suppose -o - 11 = -4*b, -o + 2*o = -3*b + 17. Solve 7*y - 4 = o*y for y.
2
Suppose 0 = g + t, 0 = -0*g + 4*g + 5*t + 2. Let x be g*2*(7 - 6). Let y(n) = n**2 - 4*n - 5. Let i be y(5). Solve i = -d - x + 5 for d.
1
Suppose -5*m + 4 - 19 = 0. Let p be -1*(0 + -3 - m). Solve -z - 3 + 0 = p for z.
-3
Let i = -757 + 799. Solve 0 = -14*r - 0*r + i for r.
3
Let b = -5 - -5. Suppose 3*o + 15 = 4*o. Suppose -3*l = -0 - o. Solve -l*w + b = -5 for w.
1
Let y be (1/1)/(9/27). Suppose -y*s = -5*b - 115, 62 + 7 = -3*b - s. Let f = -8 - b. Solve -u + f = -6*u for u.
-3
Let f be 1*(-1)/((-1)/14). Let j be 11 - (-7)/((-21)/9). Let a = 13 - j. Solve 0 = a*b - 1 - f for b.
3
Let z(p) = -2*p - 9 + 4 + 3*p. Let s be z(5). Solve -2*d + s*d = -2 for d.
1
Suppose 2*z + 17 = 47. Let l(t) = -3*t**2 - 44*t + 20. Let w be l(-15). Solve -2*v + z = -w*v for v.
-5
Suppose 3*f = -5*y + 32 + 14, 0 = 2*f - 4*y - 38. Solve 0 = 18*b - f*b for b.
0
Let x(s) = -s**2 + 5*s - 4. Let h be x(5). Suppose -4*v = -16 - 28. Let z = h + v. Solve -1 - z = 2*g for g.
-4
Suppose 3*i + 4 + 8 = 0. Let z be -2 - i/1 - -1. Solve z*v + 6 = 6*v for v.
2
Suppose -96*x + 99*x + 18 = 3*z, 2*z - 3*x = 16. Suppose 0 = 3*l - 0*y + 2*y - 22, 2*l + 3*y - 23 = 0. Solve -z*f - 2*f = -l for f.
1
Let q be (-42)/(-9)*(1 + 5). Suppose -2*n = 2*n - q. Suppose n + 41 = 4*i. Solve 0*v = -3*v + i for v.
4
Suppose 6*q = 9 + 3. Solve 4 = -q*s - 4 for s.
-4
Suppose -5*p + 316 + 64 = 0. Let q = p - 74. Solve 0 = q*f + f for f.
0
Let x = 9 + -12. Let a(h) = -2*h**2 - 3*h - 2. Let g(f) = 3*f**2 + 5*f + 3. Let p(s) = x*g(s) - 5*a(s). Let j be p(-2). Solve -j*k + 0*k = -25 for k.
5
Let o be -6*(1 + 36/(-8)). Let t be (-26)/(-6) - 4/(-6). Suppose o = t*f + 6. Solve 1 = 2*h + f for h.
-1
Let k be (-12)/15*(-1 + -4). Suppose -5*u - 2*v = 23, 2*u + 3*v + 15 = u. Let g be (15/5 + u)/k. Solve -3 = -s - g*s for s.
3
Suppose 3*g = 4*g - 2. Let w be -6 + ((-58)/(-174))/((-2)/(-36)). Solve w = 2*c - c + g for c.
-2
Let j = -52 + 58. Suppose -4*b + 2 + j = 0. Solve b*s = -2*s + 8 for s.
2
Suppose -x = -6*x + h + 57, 0 = x + 2*h - 7. Solve x = -3*b + 2 for b.
-3
Let s(o) = o - 2. Let t be s(6). Suppose 2*x = -u + 8, -t*u - 3*x = -15 - 7. Suppose -3*c + 3*r - 4 + 1 = 0, -2*c - u*r = -22. Solve -2*f = -3*f - c for f.
-3
Let c be (-16)/6*(-12)/8. Suppose -n = -c - 19. Let i = n - 22. Solve i = 3*l - 5 for l.
2
Suppose -2*p + 5*y = 74, -5*p + y = -3*y + 151. Let z = 23 + p. Let h be (-10)/(9 + z) - -4. Solve -h*d = -d + 1 for d.
-1
Let g = -100 - -102. Suppose 0*x + 4*t + 41 = 5*x, -x = g*t + 3. Solve 14 - x = -3*n for n.
-3
Let d = -7 + 12. Suppose -j = d*f - 10, 0 = -3*f - 3*j + 3 - 9. Solve p - 4 = f*p for p.
-2
Suppose 3*w - 4*n + 1 = -0*n, 2 = 2*w - 2*n. Suppose -g - t = -3 - 2, -2*g - 11 = -w*t. Solve g = a - 0*a for a.
2
Suppose -2*c - c = 0. Let f be -2*(-6 + 20/(-5)). Suppose a - 2*a = -2*r + 10, -4*r + f = -3*a. Solve c = 2*v - r*v - 3 for v.
-1
Let a(t) = 4*t - 4. Let q be a(4). Suppose -q = 4*l - 8*l. Solve l*j = j for j.
0
Let j be 10*(-33)/275 + (-56)/(-5). Solve j*z = -16 - 14 for z.
-3
Let d be 9/6 + 72/48. Solve 0 = -d*u + 22 - 16 for u.
2
Let l = -501 + 515. Solve -l - 8 = -11*f for f.
2
Let x = -46 + 51. Suppose f + 7 = -w + x*w, 5*w + 5*f = 40. Let q be -5*1*8/(-5). Solve -w*o + q = o for o.
2
Let a = -3 + 6. Let l = 7 + a. Suppose 3*m = 5*m - 6. Solve l + 2 = m*c for c.
4
Suppose 34 - 7 = 2*u - 5*t, 0 = -3*u + 5*t + 38. Solve 9 - u = -x for x.
2
Suppose -44*b = -48*b. Solve -2*h - 7 + 13 = b for h.
3
Let c = -51 - -54. Solve 0 = -6*q + 3*q - c for q.
-1
Suppose 9 = c - 12. Suppose 2*u + 0*r + 3*r = c, 2*u = -r + 11. Let p(i) = 2*i - 2. Let x be p(u). Solve -x*h + 1 = -7 for h.
2
Let t(k) = -3 - 9 - 2 - 15*k**2 + k**3 - 15*k + 0. Let f be t(16). Solve -3*l + 5 = f for l.
1
Suppose s = -0*s - 2, 5*l - 30 = 5*s. Solve -3*u + l*u + 3 = 0 for u.
-3
Suppose -2*d + 22 = 3*p, -4*d = -3*p - 8*d + 32. Suppose -z + 5*z = p. Solve 5*m - 11 = -z for m.
2
Suppose 5*v = -0*v. Let l be v*(12/4 + -2). Suppose -6*w + 19 - 1 = l. Solve 0 = -w*u - u - 8 for u.
-2
Let z = 8 - 0. Suppose z*f - f - 21 = 0. Solve 10 = -f*y + 25 for y.
5
Suppose -15 = -11*o + 7. Solve -o*k - k = 9 for k.
-3
Let p be ((-14)/(-6))/(42/108). Solve 2*i + p = -0*i for i.
-3
Suppose -63 = -5*o + 57. Let j be 3/(-21)*86 - 14/(-49). Let n = j + o. Solve 0 = 5*y + 8 + n for y.
-4
Suppose -2*r + 97 = -g, -5*r + 186 = g - 53. Let t = r - 45. Solve 0 = u - t*u - 4 for u.
-2
Suppose 5*o = -j + 32, -2*j - 5*o + o = -40. Solve -13*q + j*q - 1 = 0 for q.
-1
Suppose c - 3 = -2*c. Suppose c - 1 = -11*q. Solve q = 4*t + 8 - 4 for t.
-1
Let n be 20/35 + (-6)/(-14). Let l be (-26)/(-12) + n/(-6). Solve -r - l = -4 for r.
2
Suppose -2*s - 8*s + 200 = 0. Solve s = -10*v - 30 for v.
-5
Let s(x) = x + 1. Let g be s(4). Suppose -r - 2 = u, 3*u = u - g*r - 10. Solve 2*o + u = 6 for o.
3
Let o(v) = -v**3 - 2*v**2 - 2*v - 1. Suppose 3*u = -5*s + 16, 2*u - 22 = u - 5*s. Let k be ((-1)/u)/(10/(-30)). Let d be o(k). Solve -2*i - 1 - 5 = d for i.
-3
Suppose 0 = -0*r - r + 2*r. Solve 2*d + r = 8 for d.
4
Suppose -w + 1 = -1. Let q be 0 + (-3 - -7 - w). Suppose -l = -c + l - 4, -3*c + 4*l = q. Solve 0 = -h + c*h + 25 for h.
-5
Let k be -1 + (-9)/(-12) - 14/(-56). Solve k = -2*s + 7*s + 5 for s.
-1
Let h = 13 + -13. Suppose 5*p + 5 - 35 = h. Let k be ((-36)/(-14))/(p/56). Solve 4*y + k - 4 = 0 for y.
-5
Let g = -57 + 59. Suppose 3*a = a + 2, g*a = 2*m + 2. Solve 3*i - i = m for i.
0
Let s = 73 - 71. Suppose s*z = z - 2*z. Solve z = -3*c - 5 + 2 for c.
-1
Let k(n) = -2 + 1 + 1 + 3*n. Let i be k(4). Solve -4*d + d + i = 0 for d.
4
Suppose -3*m = -11 - 49. Let u(f) = -f**3 + 7*f**2 + 19*f - 4. Let a be u(9). Suppose -5*b + 6*o - o + 30 = 0, a*b - 3 = -4*o. Solve -b*h = h + m for h.
-5
Suppose 52 - 8 = 4*r. Suppose -9*i + r = 2. Solve 2*z + i + 5 = 0 for z.
-3
Suppose -3*r + 12 = 2*m + m, 20 = 2*m - 4*r. Let o(v) = -9 - 1 + 1 + 2*v - 3. Let l be o(m). Solve l*w = w + 2 for w.
-2
Let t = 73 + -67. Solve -t*b = 12*b + 90 for b.
-5
Let s(c) = -5*c + 97. Let w be s(17). Solve w*z - z - 2*z = 0 for z.
0
Suppose -9*c = 13*c - 286. Solve 5*d + 12 = -c for d.
-5
Suppose 1 = 4*a - 19. Solve -d - a + 1 = 0 for d.
-4
Suppose -4 = -10*x + 9*x, -4*s = -4*x + 16. Suppose 3*t + t = 4. Let c = t - -3. Solve s = 5*g - c - 6 for g.
2
Let f = -1 + 3. Let k(i) = 2*i**3 - 4*i**2 + 3*i - 2. Let o be k(f). Let h be (16/(-4) - -8) + 4/(-2). Solve h*c - o*c = 0 for c.
0
Let w(u) = -3*u**2 + 97*u + 83. Let x be w(33). Solve 0 = 4*d + x*d - 105 for d.
5
Let h(l) = -l**3 + 4*l**2 + l + 8. Let d be h(3). Suppose -y - y = -4. Let o be 4/12*1*6. Solve y*q + o*q = -d for q.
-5
Let g = 494 + -488. Solve -4*q - g = -q for q.
-2
Let p be 10/2*((-46)/(-23) - 1). Let x(i) = i**3 + 6*i**2 + 5*i - 1. Let l be x(-5). Let t be (-3 - (-2)/l)/(-1). Solve t - 25 = -p*b for b.
4
Let k be (27/(-15))/9*-25. Solve -k*c = -3*c for c.
0
Suppose -2*j - 2*n - 10 = -6*j, -3 = 3*n. Let g(f) = f**2 + 