 v = 26 - 26. Suppose 3*x + 2*x - 53 = -k, v = 2*k + 4. Is 11 a factor of x?
True
Does 5 divide ((-74)/111)/(2/(-60))?
True
Suppose 12*o - 2262 = 1026. Is o a multiple of 4?
False
Suppose 2*f - 6 = 0, -2*s + 46*f - 48*f = -828. Is s a multiple of 3?
True
Suppose 5*v + 342 - 1377 = 0. Let k = v + -102. Is 35 a factor of k?
True
Let m = -23 + 104. Let j(w) = 4*w**2 + 2. Let k be j(3). Let n = m - k. Is 13 a factor of n?
False
Let z(y) = -y**3 - 17*y**2 - 17*y - 19. Let g be z(-16). Is 3/g + -2 - -43 a multiple of 5?
True
Let j(u) = u**3 - 13*u**2 - 16*u + 31. Let i be j(14). Suppose f - 136 = -5*d, 0 = -3*d - i*f - f + 85. Does 4 divide d?
False
Suppose -5*x + s = -33, -2*s = 2*x + s - 3. Suppose 2*i = r - 14 - x, 0 = 4*i + 5*r + 54. Let h(d) = d**2 + 5*d - 26. Is h(i) a multiple of 20?
True
Does 21 divide ((-144)/(-42)*49/(-2))/(-2)?
True
Let m be 8*(2 + 2 + -1). Suppose 0 = -4*r - m - 40. Let a = -4 - r. Is a a multiple of 3?
True
Is -2 + (-7954)/(-46) + (-50)/(-575) a multiple of 57?
True
Suppose 0 = 5*z - 100 - 265. Let u = 94 - z. Is u a multiple of 7?
True
Suppose 0 = n + 3*n + 2*a - 4260, 4*a = n - 1074. Is n a multiple of 16?
False
Let b = -218 + 413. Suppose -9*h + 12*h = b. Is h a multiple of 5?
True
Let b(u) = u**3 + 11*u**2 - 26*u + 8. Let z(v) = 10*v + 59. Let w be z(-7). Does 17 divide b(w)?
False
Let m(x) = x**3 - 15*x**2 + 24*x + 31. Let g be m(13). Suppose -4*q + 709 = -5*y, 9*y - 830 = -g*q + 4*y. Is 57 a factor of q?
True
Let z(a) = 14*a + a**2 + 8 - 1 - 19 - 19. Is 8 a factor of z(-17)?
False
Let w be (-1 - -1)/(-3 + 2 - -5). Let h(l) = 4*l + 158. Is h(w) a multiple of 17?
False
Let h(c) = 3*c + 62. Let s be h(-20). Suppose g - 3*x = 127, 2*g + s*x - 359 = -g. Is 13 a factor of g?
False
Suppose -o = h + 13, 0 = 2*o + 4*h - 5 + 33. Let m be (20/o - -1)*-108. Suppose -5*q + 2*u = -411, -2*q + 4*u + m = -102. Is 14 a factor of q?
False
Let f = 414 - 134. Is 35 a factor of f?
True
Let s be 33/7 + 2/7. Suppose 0 = s*r - 3*l - 159, -2*l - 48 = 3*r - 132. Is 3 a factor of r?
True
Suppose 0*v + 5*z - 7550 = -5*v, 0 = -2*v - 4*z + 3022. Is v a multiple of 53?
False
Suppose 0 = -25*p + 64244 - 24219. Is p a multiple of 12?
False
Let z(b) be the first derivative of -b**4/4 - 3*b**3 - 5*b**2/2 - 13*b + 1. Let l be z(-9). Suppose 0 = -3*v + v + l. Is v a multiple of 16?
True
Is 6 a factor of (-2 - 3/(-3)) + 259?
True
Let t(q) = -q**3 + 7*q**2 - q + 14. Does 8 divide t(-6)?
True
Suppose -7*q + 11*q - 4 = 0. Does 26 divide ((-1)/(-1) + -6)*-26*q?
True
Let r(x) = -x**3 + 6*x**2 + 9*x - 2. Let l be r(7). Suppose 21*b = 18*b + l. Suppose -229 = -b*k + 23. Does 21 divide k?
True
Let p(i) = -131*i + 184. Does 45 divide p(-7)?
False
Let l(h) = 4*h - 12. Let g be l(5). Let c = -5 + g. Does 7 divide (7 - c)/4 + 11?
False
Let z be (-2 + (-30)/(-9))*6. Is z/14 - (-220)/7 a multiple of 15?
False
Let r(q) = -12 - 206*q + 0 + 101*q + 110*q. Let v = 4 - -1. Is 2 a factor of r(v)?
False
Let g(u) = 68*u - 144. Does 16 divide g(18)?
False
Let l = 6730 - 3466. Is 34 a factor of l?
True
Suppose 7*u = 5*u - 114. Let i = 97 + u. Is 20 a factor of i?
True
Let b = -17 - -9. Is 2 + -1 - (b + 6) a multiple of 3?
True
Let c = -18 - -20. Suppose c*q = 4*w + 12, 10 = 5*w - 10*w. Suppose 0 = q*h + 3*h - 125. Is h a multiple of 7?
False
Let t(d) = 15*d**2 + 5*d - 13. Is t(-8) a multiple of 63?
False
Suppose k = 3*f - 2*k, -5*f = 2*k. Is -2 + (93 + 4 - f) a multiple of 13?
False
Let t = 46 + -44. Suppose 0 = 4*b - d - 83, -t*b + d = -36 - 7. Does 9 divide b?
False
Let b = 32 - 27. Suppose -5*c + 197 = -x + 5*x, -b*x + 4*c + 236 = 0. Is x a multiple of 24?
True
Let h(p) = 5*p - 18. Let m be h(4). Suppose 5*w - 120 = -2*u + u, m*u - 5*w - 270 = 0. Is u a multiple of 15?
False
Let c(v) = -2*v**3 + v**2 - v**2 - 6 + 7*v**2 + v**3. Let b be c(6). Does 6 divide (36/b)/(2/10)?
True
Let a = 351 - -858. Is a a multiple of 31?
True
Let s(p) = 1088*p**2 + 14*p - 13. Is 11 a factor of s(1)?
True
Suppose -5*f + 2*m = -2609, 0 = -m + 4*m + 6. Does 26 divide f?
False
Suppose -4*t + 5*g + 1045 + 675 = 0, -4*t = 3*g - 1688. Is 6 a factor of 5/(-30) + t/30?
False
Let j = -470 + 1000. Is j a multiple of 30?
False
Let p(m) = m**3 + 17*m**2 + 8*m + 22. Is p(-7) a multiple of 57?
True
Suppose -4*l + 375 = -m + 47, -4*l + 320 = m. Does 9 divide l?
True
Let u = 28 - -97. Suppose -5*o = -u - 300. Is o a multiple of 11?
False
Let q(z) = -z**2 - 4*z. Let p be q(-5). Let h = p - -8. Let n(k) = -k**3 + 2*k**2 + 5*k - 3. Is 3 a factor of n(h)?
True
Does 25 divide -108*(3300/(-18))/11?
True
Let g(q) = -q + 98. Is 14 a factor of g(-21)?
False
Let z(b) = -b**2 + 9*b - 4. Let o be z(4). Suppose 0 = -o*u + 13*u - 114. Does 19 divide (10/5 + -3)*u?
True
Let l = 676 - 372. Let r = -207 + l. Is 33 a factor of r?
False
Suppose -17*h = -16*h - 3807. Is 47 a factor of h?
True
Let j(a) = -136*a + 71*a + 28 + 70*a. Does 48 divide j(4)?
True
Let s be ((-8)/(-12))/(1*2/(-102)). Let q be 585/10 - (-3)/(-6). Let f = q + s. Is f a multiple of 8?
True
Suppose -4 = -m + 5*d, 2*m + 0*m - 1 = 3*d. Let c(r) = -649 + 1303 + 21*r**2 - 654. Is c(m) a multiple of 4?
False
Suppose -4*n + 4104 = 15*n. Is 12 a factor of n?
True
Let m be (2/(-4))/((-4)/16). Suppose 0 = g + 2*o - 98, 3*o - m*o = 5*g - 523. Does 18 divide g?
False
Suppose 0 = -f + 19 + 44. Let d = f + 43. Is d a multiple of 37?
False
Suppose 0 = 2*g - 4. Suppose -g*v + 104 = -102. Is v a multiple of 26?
False
Let h be 2 - 12 - 2/1. Let d(t) be the third derivative of -t**4/12 + t**3 - 7*t**2. Does 13 divide d(h)?
False
Let q = -44 - -8. Let d = 365 - 239. Let z = d + q. Does 21 divide z?
False
Suppose 7*v - 84 = 11*v. Let c = v - -24. Suppose -5*f + 0*f = c*u - 238, -5*u = 20. Does 14 divide f?
False
Let t(y) = -137*y + 24. Let s be t(-4). Suppose 0 = -25*q + 21*q + s. Is 35 a factor of q?
False
Suppose 2 - 10 = -4*w. Suppose -6*a + 4*a + 6 = 0, 3*a = w*j + 17. Let x(p) = -8*p - 6. Is x(j) a multiple of 6?
False
Let f(z) = -72 + 34 + 40 + z**3 - 5*z + 4*z**2. Let k(j) = -j**3 + 2*j**2 + 3*j - 3. Let w be k(2). Is f(w) a multiple of 10?
True
Let o(d) = -d**2 - 8*d - 7. Let z be o(-6). Let k(i) = i**3 + 4*i**2 - 8*i - 10. Let s be k(-4). Let a = s - z. Is 7 a factor of a?
False
Let p = 28 - 77. Let q = 58 + p. Does 7 divide q?
False
Let a(x) = -x + 10. Let b be a(5). Suppose -109 = -b*r + 4*r. Is 14 a factor of r?
False
Let h = -5 - -11. Suppose -4 = -5*l + h. Suppose -5*w = -2*o + 66, -2*o + 0*o + 54 = -l*w. Does 8 divide o?
False
Let j = 12 - 24. Let q = j - -15. Suppose -4*u = 3*l - 38, -l - 2*u = q*u - 20. Does 5 divide l?
True
Let c = 49 - 46. Let p = c + 25. Is p a multiple of 5?
False
Suppose 0*h - 10 = -2*h. Let i(q) = -11 + 7*q + 5 - 4. Is i(h) a multiple of 15?
False
Is (321/(-9))/((-18)/2052) a multiple of 25?
False
Let o = -69 + 189. Let n = -238 - -241. Suppose f + n*f = o. Does 30 divide f?
True
Let q = -97 - -100. Suppose l - 4*w = 124, q*l + 5*w = 6*l - 351. Is l a multiple of 4?
True
Let v(a) = 10*a**2 - 27*a - 120. Is 7 a factor of v(-7)?
False
Let y(k) = -6*k + 3*k - k - 105*k**2 + 3*k - 1. Let f be y(-1). Does 7 divide (-7)/(f/(-12))*-35?
True
Let m = 35 + -31. Suppose -3*i = -m*x + 12, 0 = -2*i - 3*x + 9 - 34. Let p(d) = -d**3 - 7*d**2 + 7*d. Is p(i) a multiple of 8?
True
Let y = -4 + -4. Let p = -6 - y. Does 4 divide 6/(-1*(-3)/p)?
True
Suppose 5*b - j = -16, -4*j = 2 + 14. Let n(d) = -2*d - 36 + 6*d + 41 - 3*d + d**2. Does 16 divide n(b)?
False
Suppose -5*m + 432 = z, z - 191 - 237 = -m. Does 26 divide z?
False
Suppose -3253 = -5*l + t, -2*t = -4 + 10. Is l a multiple of 51?
False
Let t be (9 + -8)/(1*2/(-30)). Let z(x) = -x**3 - 16*x**2 - 21*x + 6. Does 12 divide z(t)?
True
Let q(c) = c**3 - 7*c**2 - 9*c - 3. Let h be (-31)/(-3) + (-8)/6. Is 18 a factor of q(h)?
False
Let n(a) = a**2 - 10. Let p be n(-10). Suppose 3*h = -0*h - p. Is (-131)/(-6) - 5/h a multiple of 10?
False
Suppose 0 = -7*d + 3*d + 4240. Suppose q = -3*o + o + 706, -3*o = 2*q - d. Is o a multiple of 36?
False
Is 11 + (-16)/4 + 15 a multiple of 12?
False
Suppose -37 - 115 = -2*f. Does 33 divide ((-2831)/f)/((-2)/8)?
False
Let p(m) = -m**2 - 15*m + 37. Let w = -101 - -85. Does 8 divide p(w)?
False
Let u = 846 + -430. Is u a multiple of 16?
True
Suppose -2*w + 16 = -0*w - 2*q