ctor of (2/6)/(2/z)?
False
Let w(d) = d**3 - 13*d**2 - 15*d + 17. Let x be w(14). Let f be (30/24)/(x/(-300)). Does 19 divide 3 + 4 + -9 - f?
False
Let a = 67 + -39. Let q = a + 10. Is q a multiple of 19?
True
Suppose 2*u + 4 = 2, -3*b + 4*u + 217 = 0. Is b a multiple of 2?
False
Suppose 3 - 38 = -5*l. Let b be l/14*(2 + 8). Suppose -438 + 178 = -b*f - 4*v, 2*f - 132 = 4*v. Is f a multiple of 15?
False
Suppose 4*x = 6*x - 8. Let i = 6 - x. Suppose 3*y - 4*j + 2*j - 323 = 0, 0 = -y - i*j + 97. Is 35 a factor of y?
True
Suppose 3*k = -i + 60, i = 3*i - 6. Does 19 divide k?
True
Suppose 5*j - 26 = -3*c - 0*j, -16 = -4*c - 2*j. Suppose -6*p + 7*p - c = 0. Suppose -5*o - 5*n = -270, p*o + 3*n = -0*n + 104. Is o a multiple of 18?
False
Let o = 132 - -168. Suppose 0 = -3*j + 6*j - o. Is j a multiple of 15?
False
Is 5 a factor of 4 - (-3 + -170 + -8)?
True
Does 37 divide (-25)/20 - (-2445)/20 - -4?
False
Suppose -2*d - 6 = d, 4*z + 5*d - 62 = 0. Let j be (15 - z) + 126/2. Is 10/3*1224/j a multiple of 23?
False
Suppose -386 = -12*t + 10114. Does 25 divide t?
True
Let k be 3 - ((0 - -1) + -1). Suppose 7 = 4*d + 4*z - 13, 5*d - k*z - 25 = 0. Suppose -o + d*o - 4*s - 88 = 0, -o + 4*s = -22. Does 7 divide o?
False
Does 18 divide (-192)/(-6*6/162)?
True
Let g(d) = d**3 + 22*d**2 - d - 24. Let b be g(-22). Is b/(-10) + ((-267)/(-15) - 0) a multiple of 3?
True
Suppose 0 = 4*k - 5*k - 7. Let g(a) = 286*a - 585*a - 7 + 295*a. Does 7 divide g(k)?
True
Suppose 17*l - 10*l = 2856. Is 136 a factor of l?
True
Let j(w) = w**3 - 2*w**2 - 4*w + 5. Let b be j(3). Suppose 0 = -b*y - 0 + 8. Is y a multiple of 4?
True
Let i be (-8)/(-6)*1407/14. Suppose 0 = -3*p - 5*r - i, p + 2*r = -p - 88. Let g = p + 83. Is 15 a factor of g?
False
Let g = 0 + 4. Suppose -251 = -g*z + 665. Is z a multiple of 37?
False
Suppose -5*n = -2*j - 317, -4*n - n + 319 = -4*j. Let z = -34 + n. Does 7 divide z?
False
Let b be (6/(-24)*-6)/(2/548). Let w = b + -291. Is w a multiple of 24?
True
Let w(f) = -2*f - 6. Let d be w(-5). Suppose -108 = -d*o + 152. Is 13 a factor of o?
True
Let d(y) = 2*y**3 - 6*y**2 - 27*y + 174. Is 6 a factor of d(6)?
True
Suppose -9*k = -3*k - 12. Suppose 2*b + k*u = 4*b - 458, 3*u = b - 233. Let v = 325 - b. Does 14 divide v?
True
Let j = 734 - 305. Is 33 a factor of j?
True
Suppose 0 = -2*j + 2*g - 0*g - 24, 5*g - 38 = 3*j. Let k = -9 - j. Let i(o) = 2*o**2 + 1. Does 2 divide i(k)?
False
Suppose -2*w = 8*z - 3*z - 39, -2*z + 10 = -2*w. Suppose -z*c + 4*c = -9. Suppose 3*p = -c + 30. Is 3 a factor of p?
True
Suppose -4*g = -2*t - 776, g - 5*t - 147 = 47. Let k = g - 26. Suppose -8*j = -j - k. Does 6 divide j?
True
Let q(t) = t**3 + 10*t**2 + 8*t - 5. Let w be q(-10). Let p = -8 - w. Suppose -p - 83 = -4*h. Is 10 a factor of h?
True
Suppose h = -5*f - h + 1596, 0 = 2*f + h - 639. Is 6 a factor of f?
True
Is (-15)/((-60)/(-8))*(1 + -463) a multiple of 4?
True
Let k = -1364 - -1400. Is 3 a factor of k?
True
Suppose 5*b - 2*b + 12 = 3*u, 5*u - 13 = -2*b. Suppose -3*g - 2*g = u*v - 103, 0 = -v - g + 35. Is v a multiple of 4?
True
Suppose 5*l = f - 93, 65 = -0*f + f + 2*l. Suppose c - f = 53. Is c a multiple of 21?
True
Let q(n) = 78*n + 331. Is 139 a factor of q(6)?
False
Let w(q) = q**2 - 4*q + 6. Let p be w(3). Suppose -p*t = -5*t. Is 10 a factor of (-3 - t) + 6 - -20?
False
Let o = -5 - 0. Does 13 divide (14 + 1)*(-9)/o?
False
Suppose 4*t - 1232 = -5*s + 501, s - 4*t - 361 = 0. Does 14 divide s?
False
Let p be (-1)/(-3) - 350/42. Let u(a) = -12*a + 31. Does 17 divide u(p)?
False
Suppose -21 = 4*k - 41. Suppose -3*l + m + 203 = 0, 2*l - 32 - 99 = k*m. Is 34 a factor of l?
True
Let t = 11 - 8. Suppose -2 - 7 = -t*b. Suppose -b*x + 40 = 2*h, -x - 3*x = -h - 46. Is 6 a factor of x?
True
Let s(x) = x**2 - 11*x + 5. Let a be s(11). Suppose 3*o - 7 = v, -3*o - a*v - 14 = -51. Suppose 4*r = 2*b - 86, 2*b + 49 = 3*b + o*r. Is b a multiple of 15?
True
Suppose -5*d - n = -1688, -5*d + 1682 = -2*n + n. Let q = 523 - d. Is 31 a factor of q?
True
Let l be 31/11 + 18/99. Suppose 3*g = -2*a - 0*g + 233, -l*a + 382 = -2*g. Suppose -28 = -r + b - 0*b, -b - a = -5*r. Does 4 divide r?
True
Let b be 2/(-5) + 220/50. Let n = 2 + b. Suppose n = 5*c - 4*c. Is 6 a factor of c?
True
Let k(n) be the second derivative of 0 - 1/20*n**5 + 5/6*n**3 - n - 1/3*n**4 + n**2. Is k(-5) a multiple of 2?
True
Let d = 6 + -3. Suppose -3*h - d*h + 36 = 0. Is 6 a factor of h?
True
Let a be (-5)/2*(-32)/2. Is (-64)/a*(-70)/4 a multiple of 17?
False
Let a(k) = k**2 - 3*k + 26. Let r = 26 - 15. Does 19 divide a(r)?
True
Suppose 4*y + 0*q + 5*q - 1442 = 0, -3*q = 6. Does 15 divide y?
False
Let s be (-1 - (-4)/1) + -3. Let l be s + 3 - 4/1. Is 13 a factor of 5/(l/(-26)*2)?
True
Let o(d) = d + 8. Let w be o(-3). Suppose -246 = -3*j - w*u, 0 = -5*j - 2*u + 408 - 17. Does 20 divide j?
False
Let k(v) = -v**2 + 4*v + 14. Let w = 3 + 3. Let f be k(w). Suppose p + u = -2*p + 37, -f*u - 30 = -2*p. Is p a multiple of 13?
True
Let t be ((-51)/15 - -3)/(1/(-705)). Suppose -2*f + 4*c = 5*c - t, 138 = f - c. Does 14 divide f?
True
Suppose 950 + 4 = 6*g. Does 18 divide g?
False
Let x be (5/(-3))/((-17)/1275). Does 16 divide (48/(-20))/3*x/(-2)?
False
Let j(p) = 4*p**2 - 2*p + 1. Suppose -3*v = -2 - 1. Let f = -4 + v. Is 31 a factor of j(f)?
False
Let s be (66/(-9))/(-11) - 1046/(-6). Let j = s + -125. Does 50 divide j?
True
Suppose 5*p - 2 = -3*r + 28, 0 = 3*r - 3*p - 6. Suppose -2*d - 2 = -3*d + b, r*b - 20 = -5*d. Does 3 divide (-4)/((-16)/20) + d?
False
Let x = 9 - 36. Let s be (-6)/(-27) - (-6)/x. Suppose s = -4*i + 55 + 37. Is 15 a factor of i?
False
Suppose 4*a - 25 = -a. Let t(f) = f**3 - 6*f**2 + 7*f - 7. Let k be t(a). Suppose 0*c - 2*c - 5*u + 71 = 0, k = -3*u. Does 10 divide c?
False
Does 37 divide (-2775)/75*16/(-1)?
True
Suppose -3*f - 77 = 58. Suppose -6 - 48 = -2*s. Does 14 divide (-10)/f + 1128/s?
True
Let k be 4*(-2 + (-27)/(-12)). Let p be 2 - (19 + k)/2. Let r(l) = l**2 + 7*l + 14. Does 10 divide r(p)?
False
Is (-6)/(-4) + 1666/28 even?
False
Let z = 1 - 0. Let w be z + -6*(-4)/8. Suppose -p = -w*m - 5*p + 20, -2*p - 2 = -2*m. Does 2 divide m?
False
Let i(v) = -13*v**3 - 41*v**2 - 60*v + 40. Let c(p) = -3*p**3 - 10*p**2 - 15*p + 10. Let s(o) = 9*c(o) - 2*i(o). Does 28 divide s(-9)?
False
Let j = -70 - -38. Let q = 1 - j. Let p = q + -24. Does 5 divide p?
False
Suppose 4*t - 14 = 5*t. Let u = 40 + t. Let p = u + 30. Is 14 a factor of p?
True
Let h = -23 + 26. Suppose h*o - 568 = -o. Suppose -4*w + 179 = 3*v - o, 4*w + 2*v - 318 = 0. Does 26 divide w?
True
Let g(c) = -122*c - 295. Is 72 a factor of g(-13)?
False
Suppose 3*u + 398 = 4*a, 2*u + a = -0*a - 269. Let y = -57 - u. Does 11 divide y?
True
Suppose 0 = -9*i + 6*i - 4*l + 54, -l = 2*i - 41. Does 4 divide i?
False
Let l = 116 + -112. Suppose 3 + 641 = l*m. Does 6 divide m?
False
Let f(s) = s**3 + 5*s**2 + 4*s + 3. Let h be f(-3). Let o be 74/h + 2/(-9). Is 14 a factor of (-1336)/(-32) + 2/o?
True
Suppose -2*b - 24 = 4*x, b - 13 = 3*x - 0*x. Let w(c) be the third derivative of -c**4/3 - c**3/6 - 5*c**2. Is w(b) a multiple of 3?
True
Suppose -36 = -3*m - 9. Let z = m + -9. Suppose z = -3*t + 13 + 29. Is 14 a factor of t?
True
Let d(n) = n**3 - 7*n**2 + 8*n + 2. Let j be d(6). Let o be -1 - (-7)/(j/8). Suppose 4*q - 108 = g, q + o*g - 9 - 31 = 0. Does 21 divide q?
False
Suppose 2*r + 221 = z, 5*r + 118 = 2*z - 328. Is z a multiple of 8?
False
Let x be 2/(-4)*-7 - 1/(-2). Suppose -x*l = -3*k - 115, -4*l - 3*k + 85 = -0*l. Does 8 divide l?
False
Let z(r) = 0*r**3 + 0*r**3 - 9 - 10*r**2 + 2*r**2 + 10*r + r**3. Let y be 2/((0 - 6)*(-1)/21). Does 4 divide z(y)?
True
Let h = -3 + 15. Let c be (-2)/h + 50/12. Does 2 divide (c/(-5))/(4/(-50))?
True
Suppose -4*m - 3*r = -7*r - 3088, -r = 2. Does 5 divide m?
True
Suppose 2*s + 506 = 2*r, 0 = -4*r - 5*s + 316 + 705. Is 9 a factor of r?
False
Let o(p) = 2*p - 2. Suppose -1 - 2 = -3*g. Let t be o(g). Suppose 0 = j - t*j - 12. Is 6 a factor of j?
True
Let f(n) = 76*n**3 - 2*n + 2. Suppose 7*g = 2*g - b + 3, g = -4*b - 7. Is 10 a factor of f(g)?
False
Let m = -473 + 1249. Let w = -480 + m. Is w a multiple of 56?
False
Let h(a) = -55*a**3 - 2*a + 4. Is h(-2) a multiple of 14?
True
Suppose 1463 = 12*s - 973. Does 4 divide s?
