for k.
-2
Let l be 94/(-12) + 15/(-90). Let m = 12 + l. Suppose m*k - 14 = -k - 2*w, 3*k = 3*w. Solve -k*h = -3*h for h.
0
Let h = 19 - 22. Let b be (h - -13)/1 + -4. Suppose b*j = 7 - 1. Solve m - 3 = -j for m.
2
Let c = -160 + 160. Solve c*f = -5*f for f.
0
Let y = 201 + -198. Solve 0 = -y*l + l + 2 for l.
1
Let b = 187 + -122. Solve -13*n - b = -0*n for n.
-5
Let l(n) = -n**3 - 5*n**2 + 6*n. Let g be l(-6). Suppose 38 = 4*t - a + 30, 3*a = 12. Solve -3*c + 6 + t = g for c.
3
Suppose 307*b - 6 = 304*b. Solve -7*i + 36 = b*i for i.
4
Suppose 25*w - 119 = 356. Solve 0 = -w*k + 15*k + 12 for k.
3
Suppose -4*x + 10 = x. Let s be x + (-5 - -10 - 5). Solve 1 = 3*t - s for t.
1
Suppose 0 = -3606*s + 3601*s + 10. Solve -7*c - 16 = -s for c.
-2
Suppose s = -r + 5, -2*r - 8*s + 3*s = -13. Solve -m = -r*m + 12 for m.
4
Let a be (7/(-2))/(168/(-288)). Solve a = -5*c + 11 for c.
1
Let a(v) = -3*v**3 + v**2 - 1. Let s be -6*3/((-6)/1). Suppose -2*y + s = -5*y. Let d be a(y). Solve -i = -d*i for i.
0
Let w be (0 - -2)*(-3)/2. Let u(v) = v**2 + 3*v + 5. Let n be u(w). Solve -2*x - n = -3 for x.
-1
Let a(u) = 2*u - 9. Let q be a(7). Suppose -2*g = t - 33, -q*t = -0 - 15. Suppose -5*d = g - 35. Solve 7 = d*j - 5 for j.
3
Let s be (-4)/18 - 2/(-9). Suppose 0 = -0*p - 3*p + y - 3, s = 2*p - 2*y + 6. Suppose p = 2*n - 3 - 5. Solve -n*l - l - 15 = 0 for l.
-3
Suppose -p + 3*g = 2*g - 7, 4*p = 5*g + 30. Let x = p - 7. Let n = x + 4. Solve n = o - 3 for o.
5
Let f = -245 - -269. Solve -5*d + f = -11*d for d.
-4
Let b = 123 + -114. Let p = 6 + -3. Suppose -m = 1, p*l - b = 2*l + 3*m. Solve -l*v + 20 = -v for v.
4
Suppose -h = -12*h. Suppose h = -6*z + 10*z - 20. Solve 12 = -z*p - 3 for p.
-3
Let t = 13 + -10. Suppose -4*n = 4*k + 12, n - t*n = 5*k + 15. Suppose n = b - 8*z + 3*z - 15, 5*z + 15 = -4*b. Solve 4*u - 3*u + 1 = b for u.
-1
Let c be -1 - 3/(-2)*2. Suppose 2*t = t + c. Suppose 10*l - 20 = 5*l, 5*l = 2*w + 16. Solve -t*o - w*o = 0 for o.
0
Let p(r) = -r**2 - 14*r + 29. Let u be p(-18). Let i = 46 + u. Solve 2*x = 5*x - i for x.
1
Suppose -1 = 3*d - v - 23, 3*d + 3*v = 18. Solve -6*j - 11 = d for j.
-3
Let k = -5 - -9. Let m = k + 0. Suppose 0 = -3*f - 3*p + 9, 4*f - 13*p + 11*p + 6 = 0. Solve f = 2*a - 0*a - m for a.
2
Let f be 1 - (84/(-35) + 4/10). Solve -2*g + 7 = -f for g.
5
Suppose 29 = -25*x + 129. Solve -x*p - 4 = -8 for p.
1
Let k(i) = 4*i - 229. Let n be k(58). Solve 16*x = -n*x for x.
0
Suppose -4 - 1 = b + 5*u, 4*b - u = 22. Suppose 0 = -0*p + 4*p - 6*p. Suppose p = 4*r - 5*r + 10. Solve -5*i + b = r for i.
-1
Suppose 6*s = 5*s - 3*x + 17, -40 = -4*s - 5*x. Solve 0 = -y + s - 2 for y.
3
Suppose 3*z + 0*z = 3*n - 24, -4*n = 3*z - 4. Suppose -2*o = -2*v - n - 4, 4*v + 2 = -3*o. Suppose 0 - o = -t. Solve t*y = -y for y.
0
Let c be (0 - 0)*(-5)/(-10). Let r be (-2)/10 + 12/10. Suppose w = -4*w + 2*w. Solve g + r + w = c for g.
-1
Let y = -490 + 532. Solve 46*q + 8 = y*q for q.
-2
Let l be (-3)/2*(-12)/9. Let n = 6 - l. Let j(p) = p + 4. Let w be j(6). Solve n*k = 6*k + w for k.
-5
Let g be 1/((-65)/(-16) + (-36)/9). Let h be (-2)/1*(-2 - -1). Solve -2*p - g = h*p for p.
-4
Let g(w) = -w**3 - 53*w**2 + 4*w + 232. Let i be g(-53). Solve 3*a + i = -2*a for a.
-4
Suppose -5*f + b + 13 = 0, -2 = 2*f - b - 3*b. Let m(v) = -17 + 5*v**f + 5 - 9*v**3 - 10*v - 9*v**2 + 3*v**3. Let i be m(-8). Solve -10 = i*k + k for k.
-2
Let f = -596 + 598. Solve -f*j - 2*j = -4 for j.
1
Suppose -4*w - 3*g = -0*g - 23, w - 2 = 3*g. Suppose 0 = w*p - 3*p - 6. Suppose -p*k = 4*l - 28, -k + 19 + 5 = 5*l. Solve -4*r + l + 8 = 0 for r.
3
Let z = -8 + 13. Suppose z*p = p. Suppose -5*o + 10 = -p*o. Solve -o*c + 1 + 7 = 0 for c.
4
Let h = -1786 + 1822. Solve h*w - 33*w = 3 for w.
1
Let x be 0*(-1)/(-2)*(-6 - -7). Let g be 8/(-4) - -11 - (x + 4). Solve o + 1 - g = 0 for o.
4
Let t = -2086 + 2090. Let z(j) = -3*j + 1. Let u be z(-3). Solve 2*q - t*q = -u for q.
5
Let l(x) = -x - 8. Let m be 1*(15/3 + -2). Suppose 6 + m = -a. Let c be l(a). Solve -2*p + 1 = -c for p.
1
Let r be (2 + -2)*1*(2 - 1). Let g be (0/3 - r)*-1. Solve g = -0*p + 2*p for p.
0
Let j(o) = o**3 + 3*o**2 + 3*o + 2. Let z be j(-2). Solve z = 5*a - 7*a - 2 for a.
-1
Let x(f) = -f**2 - 11*f - 6. Let o be x(-10). Suppose 2*c = o*m + 42, 0 = c - 5*c + 4*m + 80. Solve 0 = 5*g - 6 - c for g.
5
Let l(a) = 6*a**2 - 2*a - 4. Let u be l(-2). Solve -12*r = -4*r - u for r.
3
Let z(p) = -6*p**2 - 82*p + 63. Let n be z(-14). Solve 10*x - n = -25 for x.
1
Let h be ((6 - 2) + -3)*2/(-2). Let d be h + 6/4 + (-7)/(-2). Solve d*r - 10 = 10 for r.
5
Suppose -5*g + 18 = m, 3*m + 6 + 12 = 3*g. Let c(n) = -n**2 + n + 4. Let f be c(0). Solve -12 = -f*t - g for t.
2
Let z(i) = 29*i - i**3 + 17 - 14*i - 11*i**2 - 2*i. Let g be z(-12). Solve -g*f = -3*f for f.
0
Let c = 4 - 2. Let q be (-5)/c*18/(-5). Let v(z) = z**2 - 3*z + 2. Let w be v(2). Solve -3*d + q = -w*d for d.
3
Suppose -4*r - 15 = -5*r. Suppose -3*b = -3*j + 21, -3*j = -j - 3*b - r. Let o(u) = u**2 + u - 4. Let t be o(-4). Solve -t = 2*h - j*h for h.
2
Suppose -64 + 10 = -18*b. Solve b*q = 6 - 12 for q.
-2
Let v(g) = -g**2 - g + 24. Let i be v(4). Suppose 4*t + 18 = -s, s - 3*t = t + 22. Solve 2*m + s*m = i for m.
1
Let j(i) = -8*i**3 - i**2 - i. Let v be j(-1). Suppose -v*y - y = 0. Solve y = -t + 4 - 3 for t.
1
Let m be (0 - 16) + (-45 - -64). Let x be (2/(-1))/(1/(-8)). Solve -m*s - s = -x for s.
4
Let o(s) = -s + 4. Let q be o(4). Suppose 0 = 3*a - 2*d - 16, 0 = -4*a + 2*a - d + 6. Suppose u = -l - 2, -17 - 3 = -a*u + 3*l. Solve q = u*n + 2 for n.
-1
Let x be 4*(-3 + 1)/(-2). Let t be (-6)/(-5)*(-7 + 12). Suppose -50*l + 56*l = t. Solve -l = h - x for h.
3
Let x be 5 - (-3)/(-4 + 1). Let u(b) = b**2 - 16*b + 64. Let h be u(6). Solve 0 = x*a - h - 12 for a.
4
Let w be 70/2*8/28. Solve 2*r + 0 = -w for r.
-5
Let r be (-2)/(-2)*-2 + 2. Let c be (12/(-10))/(12/(-30)). Suppose c*h = -0*h. Solve r = -2*y - 10 - h for y.
-5
Suppose 0*a + t - 2 = a, -3*a = -5*t + 12. Let y be ((13 + -1)/4)/a. Let f = 5 + 3. Solve -h + f = y*h for h.
2
Let o be (-12)/18*(-336)/32. Solve -24 - 4 = o*x for x.
-4
Let d(j) = j**3 - 15*j**2 + 11*j + 55. Let t be d(14). Suppose t*p = 14*p. Suppose s + 4*m = 19, 2*m - 4 - 4 = 0. Solve p = s*y - 4*y - 4 for y.
-4
Suppose -4*o = -0*o. Let v be (3 - o) + 4/4. Suppose v*h = 7*h - 6. Solve 3*l = h - 17 for l.
-5
Suppose 63 = -86*t + 95*t. Solve 0 = t*v - 2*v - 20 for v.
4
Let n = -70 - -57. Let u = 17 + n. Solve -u*y = -y for y.
0
Suppose -156*f + 24 = -150*f. Solve -f*b + 9 - 13 = 0 for b.
-1
Suppose -j - 8*j = -531. Let p = j + -51. Solve p*v = 3*v + 15 for v.
3
Suppose -2*c = -3*d + 11 - 1, 25 = 5*d - 5*c. Let a be (-2)/(-5) - 12/30 - d. Solve a = -u + 2*u for u.
0
Suppose 7 = 5*y + 5*b - 2*b, 0 = b + 1. Let o(i) = i**2 - 21*i + 21. Let f be o(20). Solve y*n - n = f for n.
1
Let s = -1458 + 1469. Solve 13 = -s*i - 20 for i.
-3
Suppose -4*n + n + 138 = 2*z, -4*z - 76 = -2*n. Let m = n - 40. Solve -20 = -m*u - 0*u for u.
5
Suppose -3*h - 31 = -2*r, -3*h + 10 = -3*r + 52. Suppose -4*l = 3 - r. Solve 0*v = -l*v for v.
0
Let x be -2*((-2 - 0) + 0). Suppose x*v = 5*v - 4. Let z(f) = -f + 8. Let q be z(v). Solve 12 = -q*i + i for i.
-4
Suppose -18 = -4*a - 5*f, -21*f + 8 = -25*f. Solve a = -4*p + 7 for p.
0
Let o(i) = i**2 + 5*i - 123. Let h be o(-14). Solve h*z + 92 = 95 for z.
1
Let j = -16 + 41. Let v(f) = f**2 + 9*f + 8. Let l be v(-9). Solve -j = 3*n - l*n for n.
5
Let h(s) = -2*s - 2. Let i be h(-1). Let z = 2 - i. Solve z*n + n = 12 for n.
4
Let w = 612 + -606. Let c = 6 + -2. Let s = -2 + c. Solve -s*p = 4 + w for p.
-5
Let b(l) = l**2 + 8*l + 14. Let g be b(-2). Solve -11*d + 35 - g = 0 for d.
3
Let b be -1 - (2 - (1 + 6)). Solve -8 = -q - b for q.
4
Suppose 8*v - 5*v - 6 = 0. Suppose 4*r + v = 5*r. Suppose 2*l - u - r = 4, -10 = -2*l + 3*u. Solve -h + 0*h + l = 0 for h.
2
Suppose -d = 3*z - 12, -z - d + 6 + 0 = 0. Suppose -5*n - z*b = -23, -51 = -9*n + 4*n + 4*b. Solve n + 5 = 3*v for v.
4
Let j be 10/1 + -22 + 27. Suppose -4*f - j = 5*p, -f - 3*p = -8*p - 15. Solve -3*l = -f*l for l.
0
Suppose -2 = -2*k + 4. Let t(j) = -j**2 + 3*j + 22. Let s be t(12). Let c = s + 92. Solve -c = -k*q - 3 for q.
1
Suppose -248 = 5*q + 3*a, -4*a + a = q + 52. Let r = -45 -