/6*p**3. Is o(5) a multiple of 3?
False
Does 8 divide -3 + (-10)/(50/(-855))?
True
Suppose -p + 42 = 2*p. Let u = 6 - p. Is 6 a factor of (12/u)/((-3)/28)?
False
Let g = -39 + 45. Is 10 a factor of 20/(2/(2 + g))?
True
Suppose b - 5*n = 30, -2*b + 2 = 3*n + 7. Suppose 0*y - 4*y = -0*y. Does 7 divide (-8 - y)*(-5)/b?
False
Let p be 6/4*(-20)/(-15). Suppose -3 = -p*y + 1. Suppose 0 = u + y*u - 54. Is 12 a factor of u?
False
Suppose 0 = -2*f + g + 166, 404 = 5*f + g - 18. Is f a multiple of 14?
True
Suppose 6*u + 16 = 14*u. Suppose -3*y + 149 = 2*t + u*y, 5*y + 67 = t. Is t a multiple of 6?
True
Suppose -5*t = -2*t + 246. Let x = t - -131. Is x a multiple of 15?
False
Suppose -4*n + 3*t + 13 + 114 = 0, 3*n = -4*t + 89. Let k = -25 + n. Suppose -l + k*l - 560 = 0. Is 16 a factor of l?
True
Suppose -3*d = -4*d + 3. Suppose d - 5 = 2*p. Is 5 a factor of (p*8 + 3)/(-1)?
True
Let r(x) = -x**3 - 11*x**2 - 9*x + 14. Let s be r(-10). Suppose s = -k + 49. Suppose 2*o - 119 = -k. Is o a multiple of 18?
False
Let b(j) = 14*j**2 - 9*j - 56. Is 63 a factor of b(-10)?
False
Suppose -16*k + 985 + 615 = 0. Does 20 divide k?
True
Suppose -6411 - 7359 = -30*l. Is 17 a factor of l?
True
Suppose -5*r - 12 = -3*r + 2*j, 2*r = 4*j - 30. Let y be r*-3*(-1)/9. Is 10/y*(-9)/6 even?
False
Let k(t) = 362*t**2 + 4*t + 3. Let u be k(-1). Suppose -2*x + 122 = 2*l, 5*l - x + 26 = u. Is l a multiple of 33?
True
Let t be 1/(-1) - (-6 - 1/(-1)). Let x be (-2 - -22)*6/4. Let z = t + x. Is z a multiple of 17?
True
Let y(l) = -l**2 - 14*l + 9. Suppose 3*a + 4*m + 6204 = -a, -4*a - 5*m - 6204 = 0. Let g be (-4)/26 - a/(-143). Is 14 a factor of y(g)?
True
Suppose 48*r - 9*r = 7371. Is r a multiple of 21?
True
Suppose -5*v - 2*z = -v, -4*v + 4*z = -24. Suppose g - 3*u = -2*g + 15, g - 6 = v*u. Suppose 2*b = -4*w + 172, 0*w + 50 = w + g*b. Is w a multiple of 14?
True
Let s be 3*((-444)/(-9))/(-2). Let y = 127 + s. Let t = y - 25. Is t a multiple of 7?
True
Does 44 divide (-2456 - 169)*1/(-3)?
False
Suppose -86 = 5*o - 401. Let x be (3*-17)/(6/4). Let v = x + o. Is v a multiple of 12?
False
Let c(k) = -k**2 + 5*k + 3*k**2 + k + 13 + 3*k. Is c(-7) a multiple of 11?
False
Let t(m) = -m**2 + 10*m - 11. Let l be t(8). Suppose 0 = -4*q + l*y + 125, 5*q + y - 166 = 12. Is q a multiple of 7?
True
Is 6166/(-6)*(45 - 48) a multiple of 64?
False
Is 35 a factor of 8/68 - 1915231/(-629)?
True
Let c(k) = k**3 + 12*k**2 + 8*k - 1. Let d be c(-11). Let v = d - 29. Suppose 60 = 5*i - v*i. Is 15 a factor of i?
True
Let o = -35 - -2887. Is o a multiple of 62?
True
Is (-59430)/(-90) - ((-28)/(-12) + -2) a multiple of 44?
True
Suppose 55*k - 61*k = -1650. Does 25 divide k?
True
Let f = -640 - -926. Is f a multiple of 16?
False
Let q(f) = 6*f**2 + f + 1. Let s be q(-1). Let m(b) = -s*b**2 - 2*b**3 - 3 + 4*b + 4*b**3 - 2*b**3 - 2*b**3. Does 24 divide m(-5)?
False
Let v = -112 + 196. Let m = v - 46. Does 7 divide m?
False
Let n(q) = -12*q + 9*q**2 + 12*q - 5*q. Is n(2) a multiple of 5?
False
Let z be 1*(4 + (-3 - -3)). Suppose -464 = 5*s - 3*h, -z*s + 5*h - 460 = s. Let q = -24 - s. Does 13 divide q?
False
Let k = -75 + 67. Let w = 7 - k. Is 3 a factor of w?
True
Let i(q) = -21*q + 74. Is i(-28) a multiple of 60?
False
Let q(w) = -7*w**3 + 2*w**2 - 5*w + 6. Does 57 divide q(-3)?
True
Let v be (-3)/((-1)/1) - -1. Suppose -r - 32 = -2*l, -2*l - 3*l = -v*r - 86. Is (-3 + (-7)/(-2))*l a multiple of 2?
False
Does 9 divide 3*(376/(-20))/(18/(-60))?
False
Suppose -89*k + 4320 = -83*k. Does 12 divide k?
True
Let q be (-30)/(6/((-24)/(-4))). Suppose 3 = f + 5*y + 1, -2*f - 4*y = 8. Let d = f - q. Is d a multiple of 14?
False
Suppose -1204 = -4*k + 5*s, -4*k = -k + 5*s - 868. Let w = k - 155. Suppose -w = -4*g + 39. Is 10 a factor of g?
False
Suppose 2*n - 4*n = 10, 3*w - 2*n - 25 = 0. Suppose -w*p + 42 = -2*v, v + 66 = -3*v + p. Let u = v + 61. Is u a multiple of 15?
True
Suppose -13*q + 33*q = 5460. Is 3 a factor of q?
True
Suppose -5160 + 44328 = 18*u. Is 32 a factor of u?
True
Let u(f) = -27*f**3 - f. Is u(-1) a multiple of 28?
True
Suppose 4*l = -1544 + 5092. Does 15 divide l?
False
Let q be (15/10*(1 + 1))/1. Suppose 3*g - 143 = -4*o - 11, -q*o = 5*g - 231. Does 5 divide g?
False
Suppose 0 = 94*d - 101*d + 6006. Is d a multiple of 66?
True
Let z = -663 - -1144. Is z a multiple of 37?
True
Let m be 12/(-72) - (-31)/6. Suppose -m*b = 5*j - 70, -5*j = -b - 2*b - 102. Is (j/8)/(6/64) a multiple of 6?
True
Is (1872/(-180))/((-4)/50) a multiple of 13?
True
Let h be -1*65/1*1. Let z = 90 - h. Suppose 6*q - 97 = z. Is q a multiple of 6?
True
Let w(i) be the third derivative of i**6/120 + 2*i**5/15 - 5*i**4/24 - i**3/3 + 25*i**2. Does 21 divide w(-7)?
False
Let y(w) = -w**3 - 27*w**2 - 71*w + 22. Let s be y(-24). Suppose 26 = 5*b + 6. Does 15 divide b*s/(24/(-225))?
True
Let s = 14 - 18. Does 4 divide (-50)/(-15) - s/6?
True
Let j(a) = 72*a**2 - 3*a - 2. Let h(k) = 72*k**2 - 4*k - 3. Let d(g) = -5*h(g) + 6*j(g). Is 25 a factor of d(-1)?
False
Suppose -161 = 4*v - 2777. Suppose 5*t - 5*f - 647 = -2*f, 5*t = -4*f + v. Is 9 a factor of t?
False
Let v be ((-2)/4)/((-9)/(-18)). Let o = -3 + v. Is 19 a factor of o/6 - (-460)/6?
True
Suppose 3 = a - 114. Is a a multiple of 13?
True
Suppose -37*f + 34*f + 1386 = 0. Is f a multiple of 42?
True
Let w = -749 + 1769. Is w a multiple of 60?
True
Suppose 10 = 4*r + 2*z, -9 + 2 = -r - 5*z. Let q(c) = -3 + r - 7*c - c**2 - 4*c. Is q(-7) a multiple of 7?
False
Let t = 23 - 32. Let m = t + 9. Suppose -4*j + 71 + 9 = m. Does 20 divide j?
True
Suppose 4*g + 0*g + 8 = 0. Let m be g/(-1 - (-12)/20). Let y = 9 - m. Is y a multiple of 3?
False
Let o = -12 + 14. Suppose 0 = -2*m - o*m + 20. Suppose 105 = m*j - 160. Is 10 a factor of j?
False
Let b be (-21)/6*24/(-7). Suppose -4*v + v + b = 0. Suppose 16 = 5*j - v*j + 3*c, -15 = -5*c. Is j a multiple of 2?
False
Suppose 0 = 3*d - 21 - 21. Let f = d - 3. Is 11 a factor of f?
True
Suppose -4*y - 3*j + 10 = -j, -1 = j. Let x(f) = 5*f**3 - 2*f**2 - 4*f + 3. Is x(y) a multiple of 36?
True
Suppose -5*g = g - g. Suppose 0*c + 6 = p + c, -5*p = 4*c - 25. Suppose 2*t - 11 - p = g. Does 3 divide t?
True
Let h(o) be the second derivative of 4*o + 3/2*o**2 + 0 + 7/6*o**4 + 2/3*o**3. Is 14 a factor of h(-2)?
False
Let p(u) = -4*u**2 - u - 7. Let b(n) = 3*n**2 + 2*n + 8. Let k(g) = -5*b(g) - 4*p(g). Suppose -122 = -2*q - 102. Is k(q) a multiple of 6?
False
Let i = -6 - -4. Let s(c) = -21*c**3 + 3*c**2 + 3*c + 2. Let n be s(i). Suppose g = 5*g - n. Does 11 divide g?
True
Let q = -69 - -189. Let t = q + -84. Is 9 a factor of t?
True
Let k(c) = c**2 - 10*c - 11. Let j be k(11). Suppose -4*z + 153 + 55 = j. Does 14 divide z?
False
Suppose -293*y + 184 = -291*y. Is y a multiple of 3?
False
Let l(t) = -t**2 + 12*t - 12. Let u be l(11). Let n be (-1 + u)*(-21)/(-6). Let b(x) = -x - 1. Is 2 a factor of b(n)?
True
Let x = 104 - 84. Is 12 a factor of x?
False
Let i be (1/(-2))/(2/(-24)). Let s(b) = 4*b + 6. Is 3 a factor of s(i)?
True
Suppose -5*p + 97496 = -l, -p + 19504 = -0*l + l. Is -1 + 10/8 - p/(-80) a multiple of 13?
False
Let w(n) = n**3 + 20*n**2 + 2*n + 43. Let c be w(-20). Suppose -2*r = 2*o - 332, c*r - 4*o = r + 356. Is r a multiple of 17?
True
Let n = 244 + -166. Does 3 divide n?
True
Suppose 0 = -29*x - 131 + 479. Is x a multiple of 2?
True
Suppose -2*l + 46 = 3*a + a, -3*a + 5*l = -15. Suppose a = k + k. Suppose 0 = k*t - 120 + 15. Is 7 a factor of t?
True
Suppose -3*s - 4 - 1 = -2*j, -3*s - 35 = 4*j. Let a(v) = v**3 + 6*v**2 - 2*v - 2. Is a(s) a multiple of 28?
False
Suppose 23*w - 1673 - 2421 = 0. Is 42 a factor of w?
False
Let y(v) = -v**3 + 3*v**2 + v + 1242. Does 67 divide y(0)?
False
Let a(o) = o - 13. Let u be a(10). Let s(t) = -t**3 - 3*t**2 - 1. Let l be s(u). Let z(w) = -10*w - 2. Is z(l) a multiple of 4?
True
Let z = -7 - -6. Let t be 0/((-1)/1)*z. Suppose -2*o + 90 - 24 = t. Is o a multiple of 24?
False
Let s = -2775 + 4196. Does 49 divide s?
True
Let m(g) = -g - 49*g**2 + 99*g**2 - 15 - 48*g**2. Is 5 a factor of m(-5)?
True
Let k be 87/(3 + (-3)/2). Suppose 2*h = 5*o - k, -3 = -6*h + 3*h. Suppose 36 = 2*n - o. Is n a multiple of 14?
False
Let d(v) = -116*v + 320. Is 32 a factor of d(-19)?
False
Is 20 a factor of 1956/14 + (-46)/(-161)?
Tr