*l = -3*l + 8. Let x be 4/14 - l/28. Suppose -w - 20 + 49 = x. Is w a multiple of 8?
False
Let h = 70 + 326. Is 33 a factor of h?
True
Let f(k) = -k**3 - 44*k**2 - 65*k + 98. Does 9 divide f(-43)?
True
Let l be 20*1/(-8)*-4. Suppose 0*b = 5*o + b - l, -3*o - b + 8 = 0. Is 2 a factor of (6 - 0)*o/2?
False
Let l(d) = -d**2 - 20. Let r = -2 + 2. Let h be l(r). Let y = h + 28. Is y a multiple of 8?
True
Let h = 1269 - 906. Is h a multiple of 7?
False
Suppose -5*w = -3*p + 11, 2*p - 3 - 4 = 3*w. Let k be 85 + (4 - 0 - p). Let h = -55 + k. Does 6 divide h?
False
Let l = 259 + -201. Is l a multiple of 29?
True
Let p(m) = -m**3 + 6*m**2 + 8*m + 10. Let h be p(7). Suppose -23 = -3*f - 2*n, -n + 2 = 3*f - h. Suppose 5*w = -k + 22, -w = 3*k - f - 5. Is 2 a factor of k?
True
Let l(z) = 4*z**2 - 7*z - 11. Let f be l(-6). Let d = -97 + f. Is 13 a factor of d?
True
Let f(v) = -v**3 + 17*v**2 - 30*v - 16. Is f(14) a multiple of 8?
True
Suppose -2*w + 69 = 5*f, 2*f + 2*f = -4*w + 156. Let t = w + -28. Does 14 divide t?
True
Let q = 97 - 29. Suppose 0 = -12*a + 8*a + q. Is a even?
False
Let l(f) = -f**3 + 26*f**2 + 61*f + 40. Is 18 a factor of l(28)?
True
Let s = -33 + 45. Suppose -3*a + 2*a - o + s = 0, -5*o = -a + 24. Is 9 a factor of a?
False
Let v(j) = -49 + 4*j + 20 + 3*j**2 + 13*j. Is v(-12) a multiple of 22?
False
Suppose 5*a + 2*m - 670 = 0, 2*m - 21 - 253 = -2*a. Does 11 divide (6/18)/(2/a)?
True
Suppose 1134 = 3*i + 9*t - 8*t, 5*t - 1900 = -5*i. Is 13 a factor of i?
True
Let v(b) = 14*b**2 + 11*b - 28. Does 35 divide v(7)?
True
Let s = -81 + 73. Let i(m) = m**3 + 9*m**2 - 2*m + 15. Is i(s) a multiple of 19?
True
Suppose -z + 2*z = 212. Suppose -4*i + 124 + z = 0. Does 11 divide i?
False
Suppose c - 2*b - 385 = 3*b, 2*c - 840 = -4*b. Does 10 divide c?
True
Let o(x) = -x**2 + 10*x - 11. Let d be o(8). Suppose d*p - 252 = -p. Does 21 divide p?
True
Suppose -3680 = -3*z - 2*u - 1470, 4*z = 2*u + 2970. Does 45 divide z?
False
Let t = -1 + 1. Suppose 2*o + 2*w = -o + 1, 0 = -4*w - 16. Suppose t = -5*c - 3*z + 133, -5*c + o*c + 2*z = -50. Is c a multiple of 13?
True
Suppose -7*h + 103 = -422. Suppose -23*c - h = -24*c. Is 25 a factor of c?
True
Suppose 4*h + 56 + 16 = 0. Suppose -69 = -v - 2*v. Let c = v - h. Does 18 divide c?
False
Let i(r) = -r**3 - r**2 + 9*r + 16. Let k be i(-6). Suppose -3*b - k = -652. Does 17 divide b?
True
Let n be (9/(-6))/((-3)/(-54)). Let x(h) = 3*h**2 - 2*h - 3. Let w be x(4). Let d = w + n. Is d a multiple of 2?
True
Let d(q) = q - 9. Let p be d(-8). Let x be (9/(-2))/(p/170). Suppose 4 = 3*h + 1, 3*k - x = 3*h. Is k a multiple of 6?
False
Suppose 0 = -6*y + 641 + 1801. Is 37 a factor of y?
True
Suppose 0*z - 66 = 2*z + 3*r, 3*z - 5*r = -80. Does 7 divide ((-324)/10)/(9/z)?
False
Suppose 4*v = -2*x + 8*v + 214, -3*x - v = -293. Does 9 divide x?
True
Let b = -2474 - -2633. Is b a multiple of 86?
False
Let r be (-45)/6*((-45)/(-25) - 1). Does 43 divide -1*2055/(-12) - r/8?
True
Let x(n) = 11*n**2. Let a be x(1). Let k = a + -9. Let v = k - -4. Is v a multiple of 6?
True
Let c = 1735 - 1435. Is 2 a factor of c?
True
Let w(m) = 17*m**2 - 16*m + 19. Is w(5) a multiple of 28?
True
Suppose -4*a - a - 2*t = 247, 201 = -4*a - 5*t. Let g = a - -80. Does 10 divide g?
False
Let v = 55 + 38. Let c = v + -57. Is c a multiple of 6?
True
Let u(d) be the first derivative of -d**4/4 + 5*d**3/3 - 3*d**2/2 + 4*d - 2. Let x = 46 + -43. Does 11 divide u(x)?
False
Let s(p) = 6 - 14 - 25 - 17*p - 20. Is 16 a factor of s(-12)?
False
Suppose -13*i + 1453 + 4501 = 0. Is 23 a factor of i?
False
Let k = -79 + 84. Suppose -g - 3*n + 18 = 0, -9*g + 102 = -k*g - 3*n. Is 4 a factor of g?
True
Let q(f) = -f**2 - 2*f + 6. Let r be q(-4). Let v be 24/16 + r/(-4). Suppose d - v = 2. Is d a multiple of 4?
True
Is 5 + 11800/(-16)*-4 a multiple of 86?
False
Suppose 0 = 6*d - 1840 - 1016. Is 8 a factor of d?
False
Suppose -7*k + 239 = -55. Is 14 a factor of k?
True
Let f(m) = m**3 - 17*m**2 + 26*m - 37. Is f(17) a multiple of 9?
True
Let p = -2 + 9. Suppose 36 = p*l - l. Suppose -108 + 24 = -l*z. Is 14 a factor of z?
True
Suppose -5*z = -3*q - 540, -3*z + 1174 = -5*q + 274. Let r be (-16)/3*q/(-8). Let p = -54 - r. Is p a multiple of 22?
True
Let x(h) = -h - 6. Let t be x(-8). Let u be ((-4)/(-5))/(t/120). Suppose -5*w = -u - 82. Is w a multiple of 13?
True
Suppose -4*r + 0*r = -4*t + 16, 5*t + 3*r = 4. Suppose 0 = t*u + 3*u + 70. Does 11 divide ((-24)/28)/(1/u)?
False
Suppose -2*h + 30 = -0*h. Suppose -138 = -h*j + 9*j. Is 13 a factor of j?
False
Suppose 285 = -2*y + 7*y - f, -6*f = -3*y + 198. Does 8 divide y?
True
Let n(d) = 3*d**2 - 16*d - 90. Does 6 divide n(15)?
False
Suppose -26 = -3*p + 7. Suppose -2*n + n + 3*q = -p, -3*n + 5*q + 21 = 0. Suppose -24 = -n*r + 74. Is r a multiple of 15?
False
Let y = 3 - -2. Suppose 4*b + 440 = 5*g, -4*b = -y*g - b + 435. Is g a multiple of 28?
True
Suppose 6*t - 10 = 38. Suppose 5*q - 15 = -z + 3*q, z - t = 5*q. Is z a multiple of 7?
False
Let i = 43 - -5. Is 3 a factor of i?
True
Let z be (5 + -5 - -6)*26/3. Suppose z = -5*x + 612. Is x a multiple of 14?
True
Suppose 179 = 8*z - 5917. Is 67 a factor of z?
False
Let m(k) = -2*k**2 + 3*k + 11. Let f = 28 + -24. Let o be m(f). Let b = 18 + o. Is b a multiple of 3?
True
Suppose 588 = 22*p - 8*p. Is 3 a factor of p?
True
Let o(b) = 19*b - 4. Suppose -5*g + 20 = -3*v, 2*v = -2*g + 11 - 3. Does 18 divide o(g)?
True
Does 7 divide ((-714)/85)/(3/(-10))?
True
Suppose 0 = -0*p + p - 9. Suppose p*s = 4*s + 840. Suppose j - s = -3*j. Is 12 a factor of j?
False
Let p = -55 + 133. Let x = 40 - p. Let j = x - -58. Is j a multiple of 5?
True
Suppose -15 + 9 = -3*r. Suppose -3*a + 30 = r*a. Suppose 200 = -u + a*u. Is 14 a factor of u?
False
Let n be (-6)/8 + 86/8. Suppose n*l = 5*l + 25. Is 2*l*(-7)/(-14) a multiple of 2?
False
Does 61 divide 1/(-8) - (-6 + (-69849)/72)?
True
Suppose 0 = 2*p - 8*p. Let f be 8*(3/2 - p). Suppose -4*n + 12 + f = 0. Is n a multiple of 3?
True
Suppose -3*u - 2*u + 2*y = -498, 4*u - 5*y - 412 = 0. Let j be u - (-2)/(2 - 0). Does 5 divide (-15)/(-75) - j/(-5)?
True
Does 13 divide (-1466)/(-16) + 69/184?
False
Suppose 4*f + g - 5 + 3 = 0, -2*f + 4*g = 8. Suppose f*p - 660 = -6*p. Is 15 a factor of p?
False
Let x(g) = 6 - 7 - g**3 + 32*g - 30*g - 3*g**2. Is x(-4) a multiple of 7?
True
Let j be -46*(-2 - 1716/8). Suppose 10081 + j = 6*s. Does 16 divide 2/7 + s/70?
True
Suppose -2*d + 4*d - 4 = 0. Suppose 3*f = 5*f - d. Let m(i) = 31*i**2 + i - 2. Is m(f) a multiple of 10?
True
Let s(m) = m**3 + 20*m**2 - 43*m + 10. Let o be s(-22). Let v(j) = j**3 - 6 - 2*j**3 - 8 - 14*j - 13*j**2. Is 10 a factor of v(o)?
True
Let o = -495 - -559. Is o a multiple of 7?
False
Suppose 6*k = -2*v + 2820, -5*v + 6863 = k - 117. Does 45 divide v?
True
Suppose -3*m + 3*o - 5*o + 764 = 0, m - 5*o = 249. Is 9 a factor of m?
False
Let y(k) = -k**3 + 14*k**2 + 2*k - 6. Let q be y(14). Let w be (4/3)/(1/(-3)). Is w/((-24)/9)*q a multiple of 21?
False
Suppose 4*r = 3*f - 2*f - 19, 0 = 3*r + 3. Suppose f = -5*k, 3*a - 4*a + 80 = -k. Is a a multiple of 11?
True
Suppose 9891 = -2503*g + 2510*g. Is 7 a factor of g?
False
Suppose 3*u - j - 778 = 0, -2*j - 607 + 95 = -2*u. Is u a multiple of 5?
False
Suppose -5*s + 1956 = -2*k, 5*s - 5*k + k = 1952. Is 8 a factor of s?
True
Let x = 25 + -1. Suppose 0 = b - 3*t - t + x, 104 = -3*b - 4*t. Let i = b + 56. Is 14 a factor of i?
False
Suppose 4 = -7*g - 3. Does 10 divide (-447*g/3)/1?
False
Let x = -642 + 920. Is x even?
True
Let o(f) = 3*f**2 + 16*f + 1. Let u be o(-7). Let r = u + -33. Is r a multiple of 3?
True
Let r(k) = k**2 + 18*k + 24. Let s(p) = -9*p - 12. Let f(b) = 3*r(b) + 5*s(b). Let z = -83 - -77. Is 22 a factor of f(z)?
True
Let s = -80 + 404. Suppose 4*h + 5*h = s. Is 10 a factor of h?
False
Suppose 6517 + 964 = 5*j - 2*g, 0 = 4*j - 2*g - 5986. Is j a multiple of 18?
False
Suppose 11 = 2*y - 43. Let j be 183/63 - 2/(-21). Suppose -131 = -3*i - c, -2*i + j*i - y = 3*c. Is 21 a factor of i?
True
Suppose 78 = -c + 268. Does 9 divide c?
False
Suppose 3 - 83 = 4*m. Suppose 30 = -3*u + 15. Does 10 divide (70 - m)*(-4)/u?
False
Let q = 58 + 147. Is 5 a factor of q?
True
Suppose s = -3*s + 28. Suppose c = -s + 14. Is 16 a factor of 16/56 - (-285)/c