uppose -4*i - 21 = -5*w, 0 = -4*w - i - 2*i + 23. Suppose -4*l = l + 5*o - 55, -4*l = w*o - 45. Does 3 divide l?
False
Let r(b) = 2*b - 17. Does 4 divide r(21)?
False
Let m be ((-12)/(-18))/((-1)/3). Is 8 - (3 + (m - 0)) a multiple of 3?
False
Suppose -5*i = x - 79, 5*x + 5*i = 319 + 16. Suppose 0 = -c - 10 + x. Suppose -4*y = j - c, 5*y - 2*j = 3*j + 80. Is y a multiple of 7?
True
Let u = 5 + -6. Let o be (2 + 1 + -3)*u. Suppose 0 = 2*s - 14 - o. Is s a multiple of 6?
False
Let z = -56 + 108. Suppose -11 = -3*p + z. Does 7 divide p?
True
Is 8 a factor of 6/(-4)*20/(-3)?
False
Let t(b) = -b**2 + 4*b + 6. Let o be t(5). Let v be o/((-1)/(-6)*1). Let m(r) = r**3 - 6*r**2 + 4*r + 8. Is 12 a factor of m(v)?
False
Suppose 7*r = 5*r + 180. Is 7 a factor of r?
False
Let l = -141 - -280. Does 9 divide l?
False
Let v = -14 + 28. Does 13 divide v?
False
Let c be (10/3)/((-2)/(-3)). Suppose -c*z + 4*b + 22 + 42 = 0, -4*b + 64 = 3*z. Does 8 divide z?
True
Let j(h) = -5*h**2 + 39*h + 21. Let v(y) = -y**2 + 8*y + 4. Let b(l) = 2*j(l) - 11*v(l). Let r be b(7). Let u = r - -38. Is u a multiple of 15?
True
Let z(a) = a**3 + 5*a**2 - 7*a - 4. Let h be z(-6). Suppose -r = h*w - 1, 4*w + r = -2*r + 1. Is (-2 - -2) + 22/w a multiple of 15?
False
Let g = -182 + 276. Does 18 divide g?
False
Does 14 divide (-156)/(-8) - 5 - 2/4?
True
Suppose -5*z + 2*z + 5*i - 10 = 0, -5*i = -10. Suppose 3*g = -z*g + 108. Is g a multiple of 18?
True
Suppose b + 2 = 5. Does 23 divide ((-6)/12)/(b/(-228))?
False
Suppose 28 + 4 = 4*u. Is u a multiple of 4?
True
Let n(h) = h. Let a be n(3). Suppose 5*o = -a + 13, 5*o = -3*d + 28. Does 6 divide d?
True
Suppose 4*d = 2*j - 8 + 18, 5*d = 4*j + 14. Suppose g = d + 4. Suppose b - 11 = g. Is b a multiple of 17?
True
Let v(a) = a - 1. Let k = 2 - 1. Let g be v(k). Suppose 2*o - 45 - 15 = g. Does 15 divide o?
True
Suppose 0*m = 2*m + 2. Let t = 8 - m. Is t a multiple of 9?
True
Suppose 4*p + 16 = 2*o, -2*p + 22 = -3*p + 5*o. Let a(d) = -19*d**3 - 4*d**2 - 2*d + 2. Is 38 a factor of a(p)?
False
Let s be (-1 + -2)/6*-6. Suppose 45 + 33 = s*u. Is u a multiple of 26?
True
Suppose 12 = -3*d + 75. Let c = d - -5. Does 19 divide c?
False
Let q be 12/(-30) - (-27)/5. Let p = 17 - q. Is 12 a factor of p?
True
Suppose -j + 116 = 61. Is j a multiple of 11?
True
Suppose -35 = -k + 25. Let p = -12 + 26. Let t = k - p. Is t a multiple of 25?
False
Let d = -33 - -54. Is d a multiple of 21?
True
Let c = 19 + -14. Suppose -4*o - 1 + c = 0, 4*p = 2*o + 42. Is 11 a factor of p?
True
Let l be 4/8*(-1 - -61). Suppose -4*b - l = -166. Is 17 a factor of b?
True
Is 5 a factor of (-1)/(-2) - 145/(-10)?
True
Let a(b) = b**3 - 5*b**2 - 2*b + 7. Let n be a(5). Let p = 16 - n. Does 13 divide p?
False
Suppose 0 = -0*y - 2*y + 178. Suppose 29 = -4*p + y. Is 6 a factor of p?
False
Suppose -s = -5*d + 36, -5*d - 4*s + 2*s + 33 = 0. Is d even?
False
Let y(j) = -4 + 3 + j**2 + 6*j - 7*j. Does 11 divide y(4)?
True
Let r be 9/(-7) - 4/(-14). Let w(o) = -2*o**3 + o**2 + 2*o - 1. Let c be w(2). Does 5 divide r/(1/c*1)?
False
Suppose -8 = -4*s + 3*s. Suppose -4*k - 468 = -s*k. Does 31 divide k?
False
Let y be 1 - (0 + 1)*-1. Suppose -d + 2 = y*r - 17, -32 = -2*d - r. Does 15 divide d?
True
Suppose 3*z - 11 - 34 = 0. Suppose 23 = t - 3*b, 0*b - z = -5*b. Is t a multiple of 12?
False
Let a(v) = -10 + 2*v - 3*v + v + 3*v. Let u be a(9). Suppose -1 = c - u. Is c a multiple of 15?
False
Does 2 divide 44/154 - 131/(-7)?
False
Suppose -2*g + 40 = 3*g - v, 5*v = -2*g - 11. Is g a multiple of 7?
True
Let v be 0 - (-25)/1 - -2. Suppose 57 = 2*k - v. Is 14 a factor of k?
True
Let m(n) = 2*n - 7. Let q be m(5). Suppose 5*u + q*y + 138 - 369 = 0, 4*y - 84 = -2*u. Is u a multiple of 16?
True
Let n(l) = -l**3 - 5*l**2 - 4*l + 1. Suppose 4*i + i = -25. Does 7 divide n(i)?
True
Suppose 3*f = -b + 56, -3*f + 2*b = -2*b - 76. Does 4 divide f?
True
Let f(v) = v**3 - 5*v**2 - 5*v - 1. Does 5 divide f(6)?
True
Suppose n = -2*n + 102. Suppose -4*r = -0*s - 5*s + 38, 4*s = 2*r + n. Does 10 divide s?
True
Let z(t) = -t**3 + 3*t**2 - 2*t + 1. Let a be z(1). Let w be -40 - (0/a)/(-2). Let k = -20 - w. Is k a multiple of 10?
True
Let z be (-2)/6*(-42)/7. Suppose -84 + 377 = 5*l + z*s, l = 5*s + 37. Is l a multiple of 17?
False
Let j(c) = -13*c**2 - 2*c - 2. Let y be j(-2). Is 5 a factor of (-5)/((-100)/(-8))*y?
True
Let r = -39 + 55. Suppose 5*f - r + 1 = 0, 0 = -3*l + 2*f + 18. Suppose -t + l = -8. Does 13 divide t?
False
Suppose 2*q - 3*t = 534, q + 1056 = 5*q - 3*t. Suppose 240 = 4*i - 5*s, 3*i - q + 86 = 5*s. Is i a multiple of 19?
False
Suppose 0*f + 2*f - 5*k = 93, f + 4*k - 27 = 0. Does 10 divide f?
False
Let n(l) = -101*l - 20. Is n(-2) a multiple of 12?
False
Suppose 4*o = 2*m + 96, -2*o = -3*m - 55 + 7. Is 24 a factor of o?
True
Let h(b) = 246*b**2 + 1. Is 9 a factor of h(-1)?
False
Is 8 a factor of 12 + -2 + (-2 - -3)?
False
Let o(u) = 2*u**3 - 8*u**2 - 10*u + 9. Let g be o(7). Suppose 157 = 2*w + k, 3*w + k = -k + g. Suppose -3*h + w = -0*h. Is h a multiple of 10?
False
Let z be ((-39)/4)/(1/(-4)). Suppose -d = -i + z - 13, 4*d - 52 = -2*i. Does 13 divide i?
True
Suppose -15 = 5*l + 30. Let q be (3/6)/((-2)/(-64)). Let h = l + q. Is h a multiple of 7?
True
Suppose -2*u - 2*t = 2, 3*u - t + 10 = -5. Let w(k) = -6*k - 2. Is 22 a factor of w(u)?
True
Let s be (14/(-8))/((-1)/(-4)). Is -3 + (-2 - s) + 47 a multiple of 14?
False
Is (8/(-3))/(2/(-45)) a multiple of 12?
True
Suppose 4*r - 5*r + 3 = 0. Let f = r - -23. Is 26 a factor of f?
True
Let d be (-829)/(-4) + 3/4. Suppose -s = 3*s - d. Let q = -28 + s. Is q a multiple of 9?
False
Let b(r) = 6*r**2. Suppose 3*q = 4*g - 2*q + 118, -2*g - 4*q - 46 = 0. Let l be (-4)/(-14) + g/21. Is 3 a factor of b(l)?
True
Let u be -6*(-12)/9 - -2. Let m be (-4)/(-20) + 138/u. Suppose -m = -2*i + 10. Does 6 divide i?
True
Suppose 0 = -4*v + 40 + 16. Is v a multiple of 2?
True
Let u be 5 - 0/(0 - 1). Suppose -p - 23 = -3*t + 11, -3*t + u*p = -50. Suppose -5*v + 35 = t. Is v a multiple of 2?
False
Let x = 25 + 4. Is x a multiple of 29?
True
Suppose m - 2*l = 14, 13 = -2*m - 5*l - 4. Suppose a = 3*x + m, 0 = 5*a - 10*a - x + 20. Suppose 1 = 3*b - 4*p - 12, 4*p - 36 = -a*b. Is 3 a factor of b?
False
Let d(l) = 7*l**2 + 1. Let i be d(-1). Let g = i + -3. Is 11 a factor of 97/g - 2/5?
False
Let j = -7 + 7. Suppose 6*v - v - 350 = j. Is v a multiple of 35?
True
Let l be (1 + -1)/(5 - 4). Suppose 2*j - 2*z = -70, 4*z - 80 = 2*j - l*z. Does 15 divide -1 + 2/2 - j?
True
Suppose -13*h + 17*h - 16 = 0. Suppose 0 = h*q + q - 50. Does 10 divide q?
True
Suppose -k = -2*g - 96, g = -3*k - 85 + 352. Suppose 0 = 4*a + a - k. Is 9 a factor of a?
True
Suppose -8*u - 37 + 453 = 0. Is u a multiple of 26?
True
Let x(r) = -r**2 - 3*r - 1. Let z be x(-2). Suppose 31 = 5*m + z. Let n(c) = c**2 - 3*c - 2. Is n(m) a multiple of 16?
True
Let b be (-76)/(-4) - (1 + 2). Suppose d = -4*d + s + b, 0 = d + 3*s. Is d - 2 - (-16 + -3) a multiple of 9?
False
Let k be (-188)/6*15/(-10). Suppose 3*u - 5*l = 79, -3*u - l + 2 + k = 0. Is u a multiple of 18?
True
Let x(v) = -v - 2. Let i be x(-7). Let f(j) = -1 + 14*j**2 + 12*j**2 + i*j**2. Does 15 divide f(1)?
True
Let i be 21/2 + 4/(-8). Suppose -6*x - 24 = -2*x. Let z = i + x. Is z a multiple of 3?
False
Let b = -6 - -3. Let k = b - -3. Suppose -4*r = -3*y - 20, -r + 5 = 2*y - k. Does 4 divide r?
False
Let f = -5 + 4. Let l = f + 6. Suppose 0 = -l*g - 25, -4*g + 17 = 2*y - g. Does 8 divide y?
True
Let v(b) = -b**3 + 8*b - 4. Is v(-4) a multiple of 18?
False
Let g = 65 + 15. Does 20 divide g?
True
Is (-4)/6 + 260/39 even?
True
Suppose -156 - 609 = -5*t. Is t a multiple of 17?
True
Suppose 0 = p - 6*p + l - 45, 3*p + 4*l = -4. Let d be ((-12)/p)/((-2)/(-4)). Suppose 5*s + 7*m - 2*m - 235 = 0, -s = -d*m - 55. Is 17 a factor of s?
False
Let c(d) = d. Let y be c(0). Suppose -6*u + 3*u = y. Does 13 divide u + 0 + (25 - -3)?
False
Suppose -2*b = -3*u + 483, -2*u + 648 = 2*u - 4*b. Suppose -2*n + 92 = -5*s - 91, u = 2*n + 3*s. Let j = n - 56. Is j a multiple of 20?
False
Suppose -g + 48 = -w, 4*w + 67 = 2*g - 37. Suppose -p = 2*t + 2*t - 12, -g = -2*p + 2*t. Is p a multiple of 10?
True
Is 19 a factor of 5652/(-24)*4/(-6)?
False
Suppose 6*y = y + i + 120, -y - 