ose 0 = -y - v*y - 4*q + 100, 5*q = -10. Is 12 a factor of y?
True
Suppose -101*s + 6 = -99*s. Suppose 0*d + s*j + 247 = 2*d, -4*d = -4*j - 496. Does 7 divide d?
False
Is 14 a factor of (-26648)/(-14) - (-152)/266?
True
Let w = 511 - 456. Is w a multiple of 6?
False
Does 74 divide -2*(5016/16)/(3/(-4))?
False
Is (58/(-4))/((-19)/5130) a multiple of 56?
False
Suppose 14 = 5*g + 3*j - 3, 2*g = -j + 7. Suppose -78 - 4 = -2*a + 3*f, -g*a + 3*f + 170 = 0. Is 22 a factor of a?
True
Does 50 divide (-1 - -58)*40*105/63?
True
Suppose 0 = -3*k + 5*k + 5*f - 19, 3*f - 6 = -3*k. Let n be k/(-12) - (-502)/8. Suppose u - n = -10. Is 15 a factor of u?
False
Let h(m) = 4*m - 18 - 6*m + 0*m - 6*m. Is h(-13) a multiple of 43?
True
Let d = -38 - -49. Suppose 0 = -2*x - c + 197, -9 - d = -4*c. Does 9 divide x?
False
Let p = 88 - 52. Suppose 4*b - 54 = 26. Let m = p - b. Is m a multiple of 5?
False
Let d = -324 + 559. Is 87 a factor of d?
False
Let n(a) = -7*a**2 - 114*a + 28. Is n(-16) a multiple of 2?
True
Suppose -3*b - 7 = -4*b. Suppose -g = -99 + b. Is 23 a factor of g?
True
Suppose 3*s - 27 = 12. Let y = -35 + s. Is 5 a factor of 424/14 - y/(-77)?
True
Let z be 3736/10 - 6/10. Suppose -5*t + t + z = 5*w, 0 = -5*w + 25. Is t a multiple of 16?
False
Let k(b) be the first derivative of b**4/4 - 4*b**3/3 - 3. Let t be k(4). Suppose 4*y - 80 - 76 = t. Does 11 divide y?
False
Let o = -66 + 82. Let z(t) = t**2 - 3*t + 11. Is 20 a factor of z(o)?
False
Suppose 734 = 104*j - 35666. Is j a multiple of 24?
False
Suppose c - 603 = -b, -6*c + 4*c + 1203 = b. Is 50 a factor of c?
True
Suppose 0 = 5*b - 36 + 11. Suppose -8*d = -b*d. Suppose 3*z + 2*z - 105 = d. Is z a multiple of 7?
True
Suppose 3*q = i - q - 231, -3*i = 5*q - 710. Does 54 divide i?
False
Does 48 divide (672/(-14))/((-8)/48)?
True
Suppose -20 = 2*f - 0*f. Let n be 212/f + (-2)/(-10). Is 5 a factor of 10*(n/(-6) - 2)?
True
Let n = -849 - -1889. Suppose 3*d = -d + n. Suppose d = 6*k - k. Does 13 divide k?
True
Let r(s) = 2*s + 5*s + 6 - 1 + 2*s**2. Suppose 0 + 6 = -z. Does 7 divide r(z)?
True
Let i(k) = 51*k - 9. Is i(4) a multiple of 5?
True
Let t = -299 - -2234. Is t a multiple of 15?
True
Let m(g) = 4 + 7 - 6 + g + 11. Let p be m(-14). Suppose 0*s + 8 = p*s, -268 = -4*i + s. Does 17 divide i?
True
Suppose 4*r - 6 = 10. Let s = r + 62. Is s a multiple of 11?
True
Let s be 1*28*114/8. Let l = s - 222. Does 14 divide l?
False
Let t(m) = -23*m + 21. Let x be t(-15). Suppose -x = -6*i + 12. Does 21 divide i?
True
Suppose g + 3*d - 86 = 0, 3*g = 3*d + 331 - 49. Suppose 15*r = 17*r + 124. Let f = g + r. Is 15 a factor of f?
True
Let b = -304 + 615. Is b a multiple of 73?
False
Suppose i - 8*i + 441 = 0. Does 2 divide i?
False
Suppose 847 = 3*v - 461. Suppose 2*z + 467 = 5*d, -5*z + v = 5*d - 24. Does 31 divide d?
True
Let t = -1329 - -3401. Is t a multiple of 7?
True
Let p(j) = -j**2 - 32*j - 32. Does 20 divide p(-13)?
False
Let m be 3 + -7 + 2 - -122. Suppose -3*u + 246 = 2*a, -3*a - 465 = -4*u - m. Does 28 divide u?
True
Suppose -6*n + n = -4*v + 11, 41 = 4*v + n. Does 4 divide v?
False
Let n(t) = -5*t**3 - 2*t + 4. Let g be n(-3). Suppose o - g = -2*o + 2*p, -2*p = -o + 55. Does 15 divide o?
True
Is (-18)/4*160/(-30)*24 a multiple of 42?
False
Let c = -156 - -94. Let i = -36 - c. Is 5 a factor of i?
False
Is (468/(-15))/(11 + 2426/(-220)) a multiple of 21?
False
Is 9 a factor of 46*(-6 - (-85)/10)?
False
Let w(j) = -5*j**3 + 3*j - j - 16*j**2 - 3*j + 10. Let l(r) = -6*r**3 - 17*r**2 - 2*r + 10. Let h(p) = -6*l(p) + 7*w(p). Does 12 divide h(10)?
True
Let h = 11935 - 6427. Does 108 divide h?
True
Let a(r) = r**3 + 3*r**2 - 11*r + 8. Does 3 divide a(4)?
False
Is 22 a factor of 5142/4*(2 - -2)?
False
Let a be -1 + 1 - (-9 - -11). Is -16 + 18 - a*31 a multiple of 8?
True
Suppose -2*f - 1 + 61 = 2*r, 0 = -4*r - 16. Suppose 0*j = 2*c - 2*j - f, -c + 9 = 3*j. Is c a multiple of 15?
True
Let k = 298 - 200. Is k a multiple of 19?
False
Let d(v) = v**3 + 6*v**2 - 5*v - 8. Let f be d(-5). Let c = f + -36. Suppose -149 = -c*q - 17. Does 14 divide q?
False
Let o = 0 - -14. Let q = 11 - 17. Let w = q + o. Is 6 a factor of w?
False
Suppose -10*j = -11*j - 146. Let w = -86 - j. Is 12 a factor of w?
True
Let w(a) = a**3 + 18*a**2 - 42*a - 1. Is 13 a factor of w(-20)?
True
Let x be -1 + 6/4 + (-975)/26. Let i = x + 62. Is i a multiple of 5?
True
Let j(b) = b**3 - 2*b**2 - 3*b - 35. Is j(8) a multiple of 65?
True
Let d(u) = 33*u - 7. Let b(f) = -f - 1. Let h(z) = 4*b(z) + d(z). Is 24 a factor of h(7)?
True
Suppose -w = -2*w - 36. Let s be 6/(-12)*(w + 0). Let o = 38 - s. Is 10 a factor of o?
True
Let d(s) = 87*s**2 + 26*s + 16. Is d(6) a multiple of 108?
False
Suppose -2*c + 18 = 2. Suppose 13*i = c*i. Suppose i = -x - d + 49, 97 = -0*x + 2*x + d. Is 12 a factor of x?
True
Is (-2)/(-6) + (-1506)/(-18) a multiple of 42?
True
Let x = 1744 - 666. Does 14 divide x?
True
Suppose 11*a - 18*a + 2604 = 0. Is 31 a factor of a?
True
Is (-3)/(108/(-1503)) - (-2)/8 even?
True
Suppose -101*v + 96 = -99*v. Does 8 divide v?
True
Let p(y) = -2 - 37*y + 31*y**2 + 1 + 37*y. Let t(x) = x**3 - 2*x**2 - x + 1. Let o be t(1). Is 17 a factor of p(o)?
False
Suppose 8*d + 1750 = 7382. Does 16 divide d?
True
Suppose -3*i + 212 = -157. Let r = i + -64. Does 8 divide r?
False
Suppose 1 = 3*a - 2. Is (116/10)/(a/5) a multiple of 25?
False
Let i be (-3)/15 + (-153)/(-15). Suppose 3*h + z = 2*z - 8, 3*z = 2*h + i. Does 2 divide -2 - (-3 - h)*9?
False
Let m(r) = -3*r + 31. Let o be m(12). Does 37 divide ((-6)/o)/(9/30) - -62?
False
Suppose -g - 55 = -2*y + 664, -2*g = -2. Does 2 divide y?
True
Suppose -5*m + 70 = 10. Is 7 a factor of 0 + (3 - (-100)/(m/3))?
True
Suppose -4 = -3*v - 2*q, -4*q = -6 - 2. Suppose 2*t = -b + 2 + 6, -2*t + 3*b = v. Suppose t*l - 4*i = 40 + 32, -5*i - 75 = -3*l. Does 10 divide l?
True
Let v = 4 + -7. Let j be 0 + v - (2 - 6). Does 2 divide (j + 2 + -4)*-3?
False
Is ((1 - 3)*6)/((-3)/118) a multiple of 59?
True
Let i(y) = 7*y**2 - 16*y. Let a be i(4). Is 5992/a - 1/(-6) a multiple of 25?
True
Let c(m) = 22*m - 3. Let n be c(-7). Let h = -49 - n. Is h a multiple of 16?
False
Let p(t) = -t**2 - 111*t + 149. Does 100 divide p(-46)?
False
Suppose -7*i + 4 = -5*i. Suppose i*d - 2 = 2*b, 0 = -0*b + 3*b + 9. Is (3 + d + 6)*11 a multiple of 13?
False
Let v = 1 - 3. Let a be 3 - (8/(-2) - v). Let g(y) = 8*y - 7. Does 11 divide g(a)?
True
Let m(i) be the third derivative of -i**5/60 + 23*i**4/24 + 43*i**3/6 - 22*i**2. Does 11 divide m(22)?
False
Let h = -26 + 7. Let w = h - -43. Is 4 a factor of w?
True
Suppose -71 = -3*i + 3*t + 421, 9 = -3*t. Suppose -2*o + i = -79. Is o a multiple of 24?
True
Suppose 11 = r - 2*r. Let v = 48 + -3. Let k = v + r. Does 17 divide k?
True
Suppose 0 = -8*s - 0*s + 1632. Does 20 divide s?
False
Let k = -353 + 498. Is k a multiple of 6?
False
Suppose -5*s + 12 + 3 = 0. Suppose -d = -2*n - s, 3*d + 2*n = -n + 27. Suppose z + 132 = d*z. Does 11 divide z?
True
Let g(p) = 37*p + 6. Let z(f) = -f + 2. Let d(x) = g(x) - 2*z(x). Does 4 divide d(1)?
False
Let c be (-16)/(-8)*3*(-13)/(-2). Is (7 - 2) + -1 + c/1 a multiple of 7?
False
Let f(l) = 2*l**3 + 2*l**2 + 5*l + 4. Let j be f(-3). Let h = j + 89. Suppose 2*g = 5 - 1, -4*n + 5*g = -h. Does 13 divide n?
True
Let y(v) = -15 - 11 + 5*v - 11*v**3 + 28. Is 16 a factor of y(-2)?
True
Does 9 divide ((-2912)/21)/((-6)/9)?
False
Let m(r) = -r**3 - 30*r**2 + 28*r + 18. Is m(-31) a multiple of 5?
False
Let n be 1/(10/(-8) - -1). Let w be (-10)/n*390/25. Suppose 5*i = 4*y + w, -19 = -0*i - i - 2*y. Is 3 a factor of i?
False
Suppose -4*p - 9 = 5*f + 3, -22 = -5*p + 3*f. Let b(n) = n**2 - 4. Let m be b(p). Suppose -5*d - 2*l + 126 - 16 = m, -d - 3*l + 22 = 0. Is 11 a factor of d?
True
Let y(v) = -v + 22. Let w be y(6). Suppose 0 = -a - 3*o + 6*o + w, 5*a + 5*o = 120. Is a a multiple of 14?
False
Let j(r) = r**2 + 13*r + 33. Let d be j(-10). Is 37 a factor of 539/d - (-1)/3?
False
Suppose -27 = -5*x - 12. Let w = x - 0. Suppose 0 = 4*v - 5*k + 46 - 202, w*k - 56 = -v. Is v a multiple of 22?
True
Suppose -k + 721 = l, 5*l - 7*k + 5*k - 3591 = 0. Does 24 divide l?
False
Suppose -14*w = -10*w + 4. Is w + (6/9 - (-561)/9) a multiple of 16?
False
Let u(j) be the third derivative of j