 be ((-12)/m)/(6/140). Suppose 4*h = 3*u - 5*u + 102, -2*u + f = -4*h. Does 19 divide u?
False
Suppose -106 = 3*k + 2*y, -3*k + 4*y = k + 108. Let m = 48 + k. Does 8 divide m?
True
Let x = 77 + -211. Let c = -74 - x. Let p = c - 42. Is 9 a factor of p?
True
Let o be 2/3 + 204/18. Is 7 a factor of (15/o)/(1/16)?
False
Let n = -64 - -100. Does 18 divide n?
True
Is 10 a factor of (-5)/15 + (-202)/(-3)?
False
Let r be 9/6*(-4)/(-3). Suppose -o + r*o = 5. Does 5 divide o?
True
Suppose -23 = 4*u + 37. Does 16 divide (-9)/u - 92/(-5)?
False
Let p(m) = -m**3 + 3*m**2 + 2*m - 3. Let y be p(3). Let d = 28 - y. Does 12 divide d?
False
Let d = -68 - -48. Let r = -3 - d. Is 3 a factor of r?
False
Let g(b) = -b**3 - 8 + b - 7*b**2 - 8*b - 3*b. Is 16 a factor of g(-6)?
True
Suppose 11*g - 108 = 8*g. Is g a multiple of 35?
False
Let l(k) = 2*k. Let i(p) = -p**2 + 4*p + 3. Let z be i(4). Let y = z - 1. Is l(y) a multiple of 4?
True
Let m = 30 + -20. Does 5 divide m?
True
Let p(i) = 2*i**2 + 7*i + 5. Let k be p(-5). Suppose -5*n + k = -80. Does 12 divide n?
False
Let b(p) = p**3 + 11*p**2 - p - 11. Let j be b(-11). Suppose 5*q + 4*a - 74 = j, -2 - 18 = -2*q - 4*a. Is q a multiple of 6?
True
Suppose 4*o - 2*a = 3*a + 1, -o - 8 = -4*a. Suppose 740 = -0*v + o*v - 4*h, 2*v = -5*h + 370. Suppose 6*p - p - v = 0. Is p a multiple of 11?
False
Suppose 12 = -3*u + 7*u. Let g(o) = 2*o**2 + 13*o + 7. Let q(n) = -n**2 - 6*n - 3. Let i(m) = -6*g(m) - 13*q(m). Does 3 divide i(u)?
True
Let o = 265 - 105. Is 16 a factor of o?
True
Let z = 430 - 292. Is 46 a factor of z?
True
Suppose 3*z + z - 96 = 0. Is z a multiple of 8?
True
Suppose 0 = -0*j + 4*j + r - 61, 2*j - 5*r = 47. Let d be j/(-10)*(-4 + -1). Let z = 11 - d. Does 3 divide z?
True
Let y be 0 + (-1)/1 + 4. Suppose 5*t - w = y*w + 104, -t - 3*w + 36 = 0. Does 8 divide t?
True
Let l = -4 - -4. Let k(g) = 1 + 2*g + l + 2*g**2 + g. Does 10 divide k(-3)?
True
Suppose 2*z - 4*k - 70 = 0, z - 4*z = -5*k - 102. Is 14 a factor of z?
False
Is 1/(-2) + (-469)/(-14) a multiple of 8?
False
Let k(i) = -i**2 - 2*i + 1. Let g be k(-5). Does 14 divide (g*1)/(3/(-3))?
True
Suppose 0 = -3*x - 2*y + 282, -2*x = -2*y - 112 - 76. Is 12 a factor of x?
False
Suppose 3*j - 3*i - i + 447 = 0, -4*i = -2*j - 294. Let s = -1 - 1. Does 3 divide s/7 + j/(-21)?
False
Let n(w) = 2*w**2 + 4*w - 1. Let p be n(-3). Let g(x) = x**3 - 2*x**2 - 8*x + 11. Is g(p) a multiple of 16?
False
Let j = 87 + -47. Let r = j - 23. Does 6 divide r?
False
Suppose 0 = 2*r + 3*w - 295, -r - 3 = -5*w - 118. Is 24 a factor of r?
False
Does 20 divide 852/42 - 2/7?
True
Suppose -3*h = -7*h - 8. Let k be (6 - 3)*(-2)/h. Suppose 112 = 7*z - k*z - 2*s, -5*z - 4*s = -166. Does 13 divide z?
False
Is (2*(-75)/6)/(-1) a multiple of 25?
True
Suppose 55*l = 52*l + 198. Is l a multiple of 4?
False
Suppose 3*b + 2*c - 590 = -2*b, 4*b = c + 459. Is b a multiple of 30?
False
Suppose 4*k = 2*k + 352. Is 14 a factor of k?
False
Suppose -4*v + 52 = c + 3*c, 2*c = 5*v - 44. Suppose 0 = 4*w + 2*g - 20, -6*w + 3*w + g = -v. Is (-7)/((-1 + w)/(-24)) a multiple of 15?
False
Let a(t) = -t**2 - 11*t. Is a(-8) a multiple of 12?
True
Suppose -b - b = 16. Let p be 2*2*(-46)/b. Let u = p + -9. Does 14 divide u?
True
Suppose 3*p + 0*g = 2*g - 78, 2*p - 3*g = -57. Let j = p - 4. Is 17 a factor of (j/3)/(4/(-12))?
False
Let j(r) = r**2 + 25*r + 3. Is j(-28) a multiple of 10?
False
Suppose d = -3*d - 2*j + 232, 0 = -3*d - 2*j + 173. Let y = -39 + d. Is 10 a factor of y?
True
Does 13 divide (-1 + 2)*(3 + 263)?
False
Let n be 530/110 + (-2)/(-11). Let b(d) = -d**3 - 3*d**2 - 3*d + 5. Let v be b(-4). Let k = v - n. Is 14 a factor of k?
True
Let l(n) = -n**3 + 16*n**2 - n + 23. Is 6 a factor of l(16)?
False
Let b(i) = -24 - 7*i + 24 - 4*i. Suppose p + 20 = -4*p. Is b(p) a multiple of 22?
True
Suppose -2*p = -3*z + 14, -3*z + 1 = -3*p - 17. Suppose z*y = 2*l + 12, -5*y + 10 = l - 8. Is y a multiple of 2?
True
Is 16 a factor of 76 - ((1 - 10) + 5)?
True
Let w(i) = -204*i - 3. Does 38 divide w(-1)?
False
Let u be (98/3)/(5/(-15)). Let q = -44 - u. Does 27 divide q?
True
Let z = -15 - -27. Suppose f = 3*f - z. Is 5 a factor of f?
False
Let c = -687 + 1098. Is 11 a factor of c?
False
Suppose -2*v + 2*y + 546 = 3*v, 4*v - 3*y - 441 = 0. Does 36 divide v?
True
Let h be 3/(84/75 - 1). Suppose 5*k = h, -3*y + 75 + 31 = 5*k. Does 9 divide y?
True
Let z be (-2)/4*3*-2. Suppose g + 0*g = 4*j + 2, -z*g + 5*j = -13. Is g a multiple of 3?
True
Does 13 divide (5/((-15)/(-147)))/1?
False
Let s = -325 - -721. Does 24 divide (-4)/(-10) + s/10?
False
Let m(j) be the third derivative of -j**4/4 - 7*j**3/6 + 6*j**2. Is m(-5) a multiple of 6?
False
Let a be 48/(-18)*6/(-4). Let c = -1 + a. Suppose 2 - 1 = v - 3*g, c*g = -5*v + 59. Is v a multiple of 5?
True
Let w = 6 - -6. Suppose 93 = -9*s + w*s. Is s a multiple of 24?
False
Does 7 divide 128/9 - (2 + 48/(-27))?
True
Let x = 1 - -2. Suppose -d + x = 1. Suppose 5*y - 2 = -2*l + 3*y, -4*l + d*y = -34. Is l a multiple of 3?
True
Let j(w) = w**2 - 4*w + 5. Suppose 8 = -2*d + 20. Does 17 divide j(d)?
True
Let n(k) = -k**2 + 2*k - 1. Let g be n(1). Suppose -2*t + 154 = 2*w, -5*t - 2*w + 391 = -g*w. Does 24 divide t?
False
Does 19 divide (53 + 4)*2/3?
True
Let d = 1 + -6. Let y(r) be the first derivative of -r**4/4 - 5*r**3/3 - 7*r**2/2 - 7*r - 1. Is 14 a factor of y(d)?
True
Suppose 0*x + 33 = 3*x. Does 11 divide x?
True
Suppose -2*l + m = -27, -4*m + 12 = -l + 3*l. Let f = l - 5. Let y = f - -4. Is 11 a factor of y?
True
Let q(h) = h**3 - 6*h**2 + h - 1. Let i be q(6). Suppose 0 = -2*m + i*p + 68, 2*p + 56 = m + m. Is 11 a factor of m?
False
Suppose 3*v - 3*y = -3, 4*y - 16 = -2*v + 3*v. Does 5 divide (-92)/(-8) + 2/v?
False
Let d(i) = -i**2 + 5*i - 2. Let r be d(5). Let g be r/(-3) - 32/(-6). Let z(o) = 3*o + 1. Is 18 a factor of z(g)?
False
Let b(m) be the third derivative of m**5/20 - m**3/3 + m**2. Is b(3) a multiple of 25?
True
Suppose 5*k + z - 202 = 0, -2*k + 3*z = -0*z - 74. Is 7 a factor of k?
False
Let z(x) = x**2 - 3*x - 7. Let h = -8 + 13. Does 3 divide z(h)?
True
Let f = 4 - 7. Let k(o) = -o**2 - 2*o - 2. Let q be k(f). Is (-8)/(-20) - 33/q a multiple of 4?
False
Suppose 5*y - 19 = h, -2*h + h + 3*y - 27 = 0. Is 8 a factor of 836/26 + 6/h?
True
Let i = 142 - 71. Suppose 305 = 4*v + v. Suppose v = 3*b - i. Is b a multiple of 16?
False
Suppose 2*z = 2*u + 2, 5 = u + 4*z + z. Suppose 4*l + 3*i - 50 = -0*i, -l + 3*i + 5 = u. Does 11 divide l?
True
Let a(o) = -3*o**3 - 3*o**2 - 3*o - 3. Let z(n) = -n**3 + 6*n**2 - 4*n - 7. Let w be z(5). Let h be a(w). Let v = 26 - h. Is v a multiple of 5?
False
Let s be 1*1/(-3)*93. Let x = s - -44. Is x a multiple of 6?
False
Let x = 36 + -1. Does 8 divide x?
False
Let a(h) = h**2 - 18*h + 39. Is a(20) a multiple of 7?
False
Suppose 295 = 8*p + 7. Is p a multiple of 5?
False
Suppose -2*x = -7*x + 35. Suppose -j + 2 = -x. Does 9 divide j?
True
Let b = -1 + 2. Suppose -2*x + 1 = -b. Does 12 divide (-2 + 52)/2 - x?
True
Let s = 9 - 7. Is 10 a factor of s - (2 - 15) - 3?
False
Is 11 a factor of 11 - (-1 + -1 + 2)?
True
Let f(j) = -13*j + 2. Is f(-1) a multiple of 3?
True
Let m be (-164)/(-3) + (-1)/(-3). Suppose 2*i - 169 = -m. Is i a multiple of 19?
True
Let s(c) = c**2 - 2*c + 63. Is 9 a factor of s(0)?
True
Let f be 3 + (-3)/6*-28. Suppose -5*x - f + 92 = -2*p, -x + 2*p = -7. Does 17 divide x?
True
Let h(c) = 40*c**2 - 3*c - 2. Is 15 a factor of h(-1)?
False
Let p(b) = 3*b**3 + 4*b**2 + 3. Let s(o) = 2*o**3 + 2*o**2 + 2. Let m(h) = 3*p(h) - 5*s(h). Let i be m(-1). Suppose -18 = -i*u - 0*u. Does 8 divide u?
False
Let h(d) = -d**3 - 10*d**2 + 18*d + 8. Is h(-12) a multiple of 16?
True
Let r(k) be the second derivative of -k**3/6 + k**2/2 - 2*k. Is 6 a factor of r(-6)?
False
Suppose -3*j - 2*j + 20 = 0. Suppose -j*i - 39 = 2*h - 5*h, i = 0. Is 13 a factor of h?
True
Suppose -4*z = 4*p - 548, -7*p - 2*z = -2*p - 670. Does 33 divide p?
True
Let f(i) = i**3 - 9*i**2 + 9*i - 10. Let k be f(8). Let o be 28/6*(-3)/(-2). Let g = o + k. Is g a multiple of 3?
False
Let z = -131 + 239. Is z a multiple of 15?
False
Let k(w) be the first derivative of 3*w**2/2 - 2*w - 1. Is k(10) a multiple of 14?
True
Let l(m) = m - 2. Let p(v) = -2*v + 2. Suppose -3*k +