6 = 2*x, -687*x + 692*x = -f + 46677. Is f a multiple of 77?
True
Suppose -s + 18*s - 136 = 0. Is 6 a factor of (-2715)/10*s/(-12)?
False
Is (-2774)/(-3) + (-23 - 980/(-42)) a multiple of 8?
False
Is (155/15 - 9)*3330 a multiple of 60?
True
Suppose -2*g - 9*g + 675108 = 36*g. Is g a multiple of 31?
False
Suppose -3*h + 114 = 5*p, -4*p = p + 5*h - 110. Let u(k) = 2 - 20 + 41*k - p*k. Is 10 a factor of u(8)?
False
Suppose 14*z + 133496 = -7*z + 32*z. Is 172 a factor of z?
False
Suppose -h + 5*m = -31 - 4, 3*h = -4*m + 86. Suppose 3914 = -h*w + 15134. Does 48 divide w?
False
Let n = 2963 + -2855. Is 3 a factor of n?
True
Let c = 338 - 335. Suppose 0 = -c*a + b + 198, 2*a - b - 132 = -6*b. Does 66 divide a?
True
Let y(r) = 34*r**2 + 9*r - 20. Suppose -129*g = -130*g + 2. Is y(g) a multiple of 24?
False
Let d(g) = -3007*g + 665. Is d(-1) a multiple of 9?
True
Does 19 divide 718/(47/141 + 10/6)?
False
Let z(f) = -22*f - 53. Let q be z(14). Let l = 661 + q. Is 60 a factor of l?
True
Suppose -19*q + 40947 = a - 23*q, -2*q = -4*a + 163900. Is 12 a factor of a?
False
Suppose -1510263 = -150*m - 3*m. Is m a multiple of 70?
False
Let o = 35003 + -26965. Does 49 divide o?
False
Suppose -2*r = -2*i - 18, -5*r + i + 0*i + 37 = 0. Suppose 4 = -r*g + 81. Suppose -2126 = -g*q - 674. Is 33 a factor of q?
True
Let j be 5/(10/(-212))*19/(-38). Let t = 275 - j. Is t a multiple of 26?
False
Let o(y) = -3*y**3 + 10*y**2 + 51. Let f(q) = -q**3 + 3*q**2 + 17. Let i(z) = -11*f(z) + 4*o(z). Suppose 88*w - 21 = 85*w. Is i(w) a multiple of 5?
False
Suppose -3*d - 345*c + 344*c + 10662 = 0, -3*c = 4*d - 14211. Does 127 divide d?
False
Suppose 2 = -v, -s - 778 = -4*v - 13. Let n = s + 1280. Does 9 divide n?
False
Let p be (14/(-4))/(2/(-4)). Let m(o) be the first derivative of -o**4/4 + 8*o**3/3 + 2*o**2 - 5*o - 1901. Is m(p) a multiple of 12?
True
Suppose -92 = 4*h + 5*s, h + 4*s - s + 30 = 0. Let w = h - -34. Suppose -41 = -v - w. Is v a multiple of 25?
True
Suppose -3*k + 32848 = 5*f, 0 = 4*f - 3*k - 13488 - 12758. Is f a multiple of 10?
False
Is 20 a factor of ((-44)/(-6) + -6)*690/2?
True
Suppose 0 = -2*q + t - 126, 3*t - 126 = 2*q + 4*t. Does 22 divide ((-52)/(-78))/((-1)/q)*11?
True
Suppose 2*z = -y - 47, -3*y - z + 4*z = 105. Let o = -64 - y. Is (-203)/5*-1 + (-10)/o a multiple of 7?
False
Suppose 0 = 2*c + 184 + 212. Let r = c + 732. Does 57 divide r?
False
Let f(u) = 13*u + 67. Let a be f(-32). Let p = 45 - a. Does 19 divide p?
False
Is 90 a factor of 483/(-46)*35040/(-28)?
True
Suppose -3*u + 4*t = -28157, -5*u = -3*t - 40163 - 6747. Is 155 a factor of u?
False
Let h be 4/(-14) + 1508/182. Is 10 a factor of (4/h)/(7/3178)?
False
Let k(n) = 689*n**2 - 22*n - 23. Does 22 divide k(6)?
False
Let j(z) = -21 + 15 - 3*z**2 + 9*z**2 + 8*z**2 - 7*z. Is 4 a factor of j(-2)?
True
Let u(g) = 176*g + 1799. Is u(16) a multiple of 253?
False
Let f be ((-4)/(-132)*11)/(1/294). Suppose -8 = -4*b, 0 = i - 3*b - f - 1471. Is 21 a factor of i?
True
Let b be (3/((-9)/24))/((-22)/6105). Suppose 13*c + b = 43*c. Does 21 divide c?
False
Let z be (3 - (-7)/(0 - 1))*6. Let o = 24 + z. Suppose -5*h + 0*h + 35 = o. Does 7 divide h?
True
Suppose -t = -3*x - 1006, 0 = 22*t - 17*t - x - 4960. Is 17 a factor of t?
False
Let c = 7113 - 4121. Does 8 divide c?
True
Let w = -31 + 29. Let v be (w - 0/1) + 3. Is 7 a factor of (v - (-1)/(-1)) + 105?
True
Let w(d) = 28*d**3 + d**2 + 43*d - 153. Is w(6) a multiple of 5?
False
Let p = 69 - 62. Suppose 11*s = p*s + 128. Does 4 divide s?
True
Suppose 0 = 2*f + 4*c - 18922, -1743 = f + 4*c - 11218. Is 36 a factor of f?
False
Let v(f) = 2244*f**3 - 4*f**2 + 4*f - 2. Is v(1) a multiple of 38?
True
Let m(s) = 23*s + 28. Let g be m(40). Let a = -773 + g. Is 3 a factor of a?
False
Is 9 a factor of 8/128*-28 - 14774/(-8)?
True
Suppose 38*p + 4*a - 17228 = 36*p, -5*p + 2*a + 43118 = 0. Does 9 divide p?
True
Suppose -99*z + 68*z + 836171 = 102*z. Is 84 a factor of z?
False
Let n(s) = 28*s - 14. Let g(c) = 4*c - 21. Let p be g(6). Is 11 a factor of n(p)?
False
Does 162 divide (-116)/(-290)*1/((-4)/(-17780))?
False
Let y be 126/(-234)*-13 + 1*-6. Suppose 3*t - 205 = 62. Let u = t - y. Does 11 divide u?
True
Let m(n) = n**2 + 12*n - 45. Let t be m(-15). Suppose -8 = 3*p - 2*r, 4*p + 2*r - 6*r + 16 = t. Suppose 11*w + 38 - 214 = p. Does 16 divide w?
True
Let z(f) = -2*f**2 - 25*f + 2. Let p be z(-13). Does 15 divide 8406/10 + ((-406)/35 - p)?
True
Let r = 21380 - 17402. Does 51 divide r?
True
Let h(p) = 4*p**2 + 4*p - 4. Suppose -30*m - 12 = -34*m. Let g be h(m). Let q = g + -24. Does 9 divide q?
False
Let r = -3302 - -6422. Is r a multiple of 38?
False
Let w(b) = 59*b**2 + 33*b + 260. Does 106 divide w(-10)?
True
Suppose -k + 180 = 8*k. Suppose k*l = 19*l + 67. Let b = 129 - l. Is 42 a factor of b?
False
Let y(w) = 169*w + 3230. Does 22 divide y(13)?
False
Let l = -1832 + 2937. Let m be (-147731)/194 - 1/4*2. Let c = m + l. Does 49 divide c?
True
Let j(f) = 6*f**2 + 40*f + 848. Is j(-19) a multiple of 31?
False
Suppose 88607 + 925153 = 64*u. Does 36 divide u?
True
Let i = 14586 - 1386. Is 54 a factor of i?
False
Let s = 875 - 884. Let m(i) be the second derivative of i**5/20 + 3*i**4/4 - i**3/3 - 7*i**2/2 - 2*i. Is 5 a factor of m(s)?
False
Suppose -76*a + 74*a - 126 = 0. Let u = 65 + a. Suppose u*i = -7*s + 4*s + 272, 0 = 4*s - 5*i - 355. Does 15 divide s?
True
Let r(s) = s**2 + s + 1. Let z(t) = t**3 + 5*t**2 + 17. Let u(m) = r(m) + z(m). Does 11 divide u(-5)?
False
Suppose 2*z + 6 = i, 3*z = 3*i - 22 + 7. Suppose 9 = -3*m, o - 28 = -i*m - 5. Is 5 a factor of o?
True
Let z(d) = 7*d + 69. Let s = 347 - 329. Does 22 divide z(s)?
False
Let g(a) = -27*a - 4. Let w(r) = 7*r + 1. Let k(y) = -6*g(y) - 26*w(y). Let u be ((-20)/16)/((-9)/4 - -2) + -10. Does 13 divide k(u)?
False
Suppose 5*u - 12 = -4*g, -4*u + 26 = -3*g - 2*g. Let y be (-2)/1*(-717)/6. Suppose -y = -u*h - 79. Is h a multiple of 5?
True
Let r = 33 + -39. Let c = -2 - r. Suppose -w - 3*d + 54 = 0, -3*d - 133 = c*w - 322. Is 35 a factor of w?
False
Let a(i) be the first derivative of -i**4/4 - 20*i**3/3 - 40*i**2 - 4*i - 72. Does 7 divide a(-16)?
True
Let j be (1 - 0)/(5 + (-856)/172). Suppose 0 = j*t - 42*t + 42. Is 12 a factor of t*-1*12/14?
True
Suppose -14*f + 348 + 72 = 0. Suppose -2*x + 4*j = -532, -28*x = -f*x - 3*j + 511. Is x a multiple of 15?
False
Suppose -1 = 3*n + v + 5, -2*v = n - 3. Let d(z) = z**2 - 2*z - 13. Let q be d(n). Let x(j) = 16*j**3 - j**2 - 5. Is x(q) a multiple of 9?
False
Let r = -29 - -38. Let p(n) = n**3 - 9*n**2 + 4*n + 1. Let s be p(r). Suppose -s*o + 330 = -32*o. Is o a multiple of 11?
True
Let p = 84 + -80. Suppose -4*n + 22 = 2*t, -3*t = -p*n - 6*t + 25. Does 4 divide n?
True
Suppose -241 + 257 = 16*h. Let a(k) = 96*k - 36*k + 46*k. Is 12 a factor of a(h)?
False
Let f(t) = 36*t**2 + 6*t + 4. Let u(n) = n**2 + 31*n - 106. Let x be u(-34). Is 46 a factor of f(x)?
False
Suppose 25*k = -1679 + 7004. Is k a multiple of 13?
False
Let n = 184 + -110. Let h = -63 + n. Suppose -4*x + 3*o = -21, -5*x - 3*o = h - 71. Is 9 a factor of x?
True
Let z be 1/4 + 5 + 234/24. Is 14*((-945)/(-2))/z a multiple of 49?
True
Let v(t) = t**2 - 5*t + 3. Let p = -50 + 55. Let j be v(p). Suppose -3*h + 216 = -3*c + 6*c, 12 = j*h. Is 26 a factor of c?
False
Let v(h) be the third derivative of -h**5/60 - 3*h**4/8 + 2*h**3 - 4*h**2. Let n be v(-10). Suppose -n*t + 3*y + 50 = -y, -3*t - 4*y + 25 = 0. Does 15 divide t?
True
Let c(u) = u + 11 - 2 - 8. Let q be c(1). Suppose i = 5*a + q*i - 12, 3*a - 6 = -i. Is a even?
False
Let k = -88 - -115. Suppose 33 = 15*r - k. Suppose 256 + 96 = r*o. Does 22 divide o?
True
Let w = 153 + -68. Suppose -81*s + w*s = 1652. Does 26 divide s?
False
Let w = -2256 - -4446. Suppose 4*c = f - 504, 405 = 5*f + 5*c - w. Is f a multiple of 71?
False
Let h(c) = -c**3 - 54*c**2 - 171*c + 346. Does 66 divide h(-53)?
True
Is 62 a factor of 7091700/420*1/5?
False
Is 74 a factor of -5*((-6)/4 - 189293/(-910)*-7)?
False
Suppose -4*v + 0*d + 2375 = -5*d, -1767 = -3*v - d. Suppose 1700 = v*c - 588*c. Is 6 a factor of c?
False
Let n = 7 + 4. Let b(s) = 0 + n*s**2 - 2 - 5*s**2 - 2*s + 0. Does 3 divide b(-2)?
False
Let g = 1510 - 343. Suppose -1324 = -4*i + 4*c, -3*i - c = 186 - g. Is i a m