k) = 47*k - 10. Is 14 a factor of c(p)?
True
Let s = -1775 + 2728. Let p = s + -525. Does 26 divide p?
False
Suppose -2*y + 20 = 3*y, 3*v + y = 7948. Suppose 4*x - v = -492. Is 60 a factor of x?
False
Let x(u) = u**2 + 5*u + 4. Let o be x(-6). Suppose -5*k = 4*s - 1247, 0 = 8*s - o*s - 2*k + 622. Does 14 divide s?
True
Let o(b) = -9*b**3 - 14*b**2 - 17*b - 12. Is 13 a factor of o(-9)?
False
Let l(a) = 1378*a - 5 + 10 + 19 - 1375*a. Does 9 divide l(10)?
True
Let y(v) = v + 12. Let q be y(-9). Suppose -7 = -q*w + 323. Suppose 0 = 2*i + 4 - 0, w = 5*j - 5*i. Is 20 a factor of j?
True
Suppose 4*r - 8104 = 4*j - 532, -9462 = -5*r + 4*j. Does 62 divide r?
False
Let w(k) = 92*k**2 + 2*k. Let o be w(-1). Suppose -2*r - 92 = -o. Let c(m) = -61*m**3 + m**2 + m + 1. Is 31 a factor of c(r)?
True
Suppose -12*y + 4*y = 4*y - 39180. Is y a multiple of 29?
False
Let a be (-80)/(-14) + (-70)/(-245). Does 18 divide (-51136)/(-72) + a/(-27)?
False
Let j(t) = t**3 + 11*t**2 - 24*t - 18. Let m(g) = -g**2 - 18*g + 10. Let o be m(-19). Is j(o) a multiple of 30?
True
Let r = -1084 + 2200. Is 46 a factor of r?
False
Suppose 3*o = -2*t + 62166, 100*t = o + 103*t - 20729. Is o a multiple of 37?
True
Let q(p) be the first derivative of 2*p**3 + p**2 + 3*p + 44. Is 4 a factor of q(-2)?
False
Suppose 0*k - 5*k - 4 = 4*n, k = -2*n + 4. Suppose n*y + 10 = -y. Is (-150)/45*81/y a multiple of 9?
True
Suppose 0 = -h + 5*x + 67 + 160, -5*h + 1161 = x. Suppose -h = -10*k + 8. Let c = k + 59. Is 17 a factor of c?
False
Let s be (-1 + 20/28)/((-4)/28). Suppose s*u = -2*u - 2*g - 30, 5*u + 34 = g. Is 104/3 - u/((-84)/8) a multiple of 10?
False
Suppose 3*w + 2*w - 100 = 0. Suppose -w - 140 = -8*f. Suppose f + 24 = 11*j. Is 3 a factor of j?
False
Let j be (4 + -9 + 6)/(2/(-12)). Let s be (44/(-55))/(2/30). Does 14 divide j/(-24) + (1431/s)/(-3)?
False
Let a = 129 + -312. Let l = a + 270. Suppose 4*w = -s + 6*w + l, -4*w + 20 = 0. Does 20 divide s?
False
Is ((-594)/36 + 18)*8304 a multiple of 24?
True
Let z(f) = 9*f + 176. Let q be z(-19). Suppose 0 = 5*n + b - 45, q*n - 27 = 2*n + 3*b. Is n even?
False
Let p(z) = 4*z**3 - 2*z**2 + 4*z - 3. Let b be p(-3). Let i = b + 141. Suppose i = f - 3*t - t - 330, 4*f + 3*t = 1377. Is f a multiple of 18?
True
Let s(c) = -831*c - 1949. Does 36 divide s(-17)?
False
Let q(x) = -2*x**2 - 40*x - 38. Let z be q(-23). Let y = z - -276. Does 20 divide y?
True
Suppose -6*i = 4*i - 1080. Suppose 17*d - 380 + i = 0. Suppose -p + 2*j - 7*j = -d, -4*p + 2*j + 64 = 0. Is 3 a factor of p?
False
Does 20 divide ((-1338)/10)/(12/(-820))?
False
Let j be 14*((-2611)/(-6) + (-30)/45). Does 17 divide 12/(-20) - j/(-55)?
False
Let t(a) = -a**3 + 8*a**2 + 2*a - 1. Let f be t(0). Let v(u) = 376*u**2 + 6*u + 7. Does 13 divide v(f)?
True
Let u(b) = 4*b**2 - 7*b + 7. Let l be u(1). Is (-12)/((-3)/(l + 5)) a multiple of 15?
False
Let r(q) = -27*q - 28. Let k(p) = 56*p + 57. Let f(t) = 2*k(t) + 5*r(t). Is f(-7) a multiple of 15?
True
Let m(d) = d**3 - 5*d**2 + 4*d + 4. Let g be m(4). Let n be g/((-16)/(-12)) - -111. Suppose -221 - n = -5*k. Is k a multiple of 12?
False
Suppose 4*n = 10*s - 250998, -6*n = -4*s - 5*n + 100401. Does 17 divide s?
False
Suppose 5*n + 6*n - 99 = 0. Let c be (3 - 5)*n*1/(-2). Let m(y) = -y**3 + 10*y**2 - 4*y - 31. Is 7 a factor of m(c)?
True
Let t(o) = 11*o**3 + 5*o - 13. Let l be t(2). Suppose y + 4*y - 650 = 0. Let i = y - l. Is i a multiple of 9?
True
Suppose -6*c - 4530 = 5*p - 11*c, 4537 = -5*p - 2*c. Let h = p - -1477. Is 57 a factor of h?
True
Let r(f) = -178*f + 2138. Does 24 divide r(-7)?
True
Let q(v) = -4*v**3 - 8*v**2 - 6*v - 17. Let y(s) = 3*s**3 + 8*s**2 + 5*s + 17. Let h(i) = -2*q(i) - 3*y(i). Suppose 0 = 24*j - 12*j + 96. Does 7 divide h(j)?
True
Let n(x) = 2 + 2 + 0 + 71 - 5*x. Does 35 divide n(-13)?
True
Suppose -2*v + 3*o = -10648, -3*v = 4*o - 2154 - 13852. Is v a multiple of 82?
True
Suppose 5*d - 3*d = 0. Suppose 5*h - 4*h + 50 = d. Is 10 a factor of 258/13 + h/(-325)?
True
Suppose -2*l + 251 - 237 = 0. Is 5 - (l + 4) - -277 a multiple of 11?
False
Let l(c) = 2*c + 57. Let s be l(16). Let z = s + -89. Suppose 3*n - 5*t + 6*t - 93 = z, 4*n - 123 = -t. Is n a multiple of 6?
True
Suppose -2*v = 3*f - 14718, 288*f - 296*f + 36794 = 5*v. Is 9 a factor of v?
True
Let h(a) = -a**3 - 2*a**2 - 121*a + 86400. Does 432 divide h(0)?
True
Let v = -343 - -345. Does 35 divide ((-605)/(-22))/11*v*7?
True
Let x(o) = -92*o**3 - 19*o**2 - 22*o - 27. Is 31 a factor of x(-7)?
True
Let i(w) = -164 - 21 + 17*w + 3*w**2 + 31 + 15*w. Is i(-24) a multiple of 61?
False
Let a = 603 - 588. Suppose -18*p = -a*p - 1773. Does 12 divide p?
False
Is (-2)/(-11) - (163780/(-55) + -12) a multiple of 25?
False
Let c = 502 + -121. Let i = c - 186. Is 5 a factor of i?
True
Let d be 20/30*(-3)/(-4)*166. Suppose d = -b + 87. Suppose g - b*a - 17 = 87, -g - 5*a + 68 = 0. Is g a multiple of 40?
False
Let w(x) = 137*x - 114. Let u(r) = -69*r + 59. Let v(k) = 9*u(k) + 4*w(k). Does 10 divide v(-8)?
False
Suppose x = -4*k + 29, -5*x + 24 = -2*k - 55. Suppose 3*c = -2*u - x, 4*c + 4*u - 7 + 23 = 0. Let p(q) = q**3 + 7*q**2 - 20*q + 13. Does 6 divide p(c)?
False
Suppose 270 = -4*o - 23*o. Does 5 divide 474/4 + o/(-20)?
False
Suppose -4*t + 60 = 2*t. Suppose 0*w - 2*b = -w - 13, 2*b = t. Let u = w - -28. Is 8 a factor of u?
False
Suppose 2*f + 4*a + 28 = 0, 0*f - 3*a - 7 = -2*f. Does 21 divide (-1 - f)*(144 - (-6)/3)?
False
Suppose 8660 = 5*r - 5*w, 2*r = 5*w - 7*w + 3480. Is r a multiple of 28?
True
Let o(r) be the first derivative of r**4/4 + 4*r**3 - 39*r**2/2 + 6*r + 25. Does 42 divide o(-14)?
False
Let p(i) be the third derivative of -2*i**4 + 17*i**3/6 - 16*i**2. Let j be p(-6). Suppose 11*q + j = 16*q. Does 35 divide q?
False
Let v be (-1 - -2) + ((-480)/(-2))/5. Let q = v + -55. Is 11 a factor of ((-2)/q)/(3/198)?
True
Suppose -3809 = -v - 141*a + 136*a, 3*a = -3*v + 11391. Is v a multiple of 14?
True
Suppose r + 11 = 3*b, 0 = -2*b - 3*b + 3*r + 25. Let k(u) = 2 - u + 2 - 1 + 2*u**b - 2. Is 11 a factor of k(6)?
False
Suppose -3*b + 24 = 0, -7*y = -10*y + 3*b + 17079. Is y a multiple of 118?
False
Let d(c) = 2018*c - 4681. Does 94 divide d(33)?
False
Let v = 4726 + -4142. Is 31 a factor of v?
False
Suppose 0 = 3*d + 3, -113*o + 4*d = -118*o + 63351. Is 124 a factor of o?
False
Is 6 a factor of (1 - 259)/(95/(-2565))?
True
Let h = -1194 - -1194. Let c be 3/6 + 834/4. Suppose h = 4*d - c - 59. Is 46 a factor of d?
False
Suppose 46*p - 753723 = -18*p + 486277. Is p a multiple of 155?
True
Let o be (0 - 1)*1*-3. Suppose 4*u - 2 = 10, 4*w - u - 5 = 0. Suppose -72 - 275 = -5*z + o*b, 143 = w*z + 3*b. Does 14 divide z?
True
Suppose -10 = -2*q, -3*w - 1618 = -16*q + 14*q. Let j = -424 - w. Is 14 a factor of j?
True
Let w = 4511 - 2351. Is 135 a factor of w?
True
Suppose 2*j - 761 = -2*x - 145, 602 = 2*j - 5*x. Let g = j + -156. Is 25 a factor of g?
True
Let g = 113 + -102. Suppose 347 = g*q - 335. Is 9 a factor of q?
False
Let v = 138 + -106. Is (-1)/(-8) - (-8828)/v a multiple of 14?
False
Is 360 + 188/20 + 2/(-5) a multiple of 123?
True
Let n(f) = 1498*f + 8979. Is n(6) a multiple of 24?
False
Let z(u) = u**2 + 120*u**3 - 20 - u - 119*u**3 - u**2. Let s be z(0). Does 40 divide (1*5)/(s/(-640))?
True
Suppose -39*r = -30*r - 27. Let k(w) = 4*w**3 - 30*w**2 - 27*w + 21. Let x(q) = -5*q**3 + 30*q**2 + 26*q - 21. Let z(c) = r*x(c) + 4*k(c). Does 13 divide z(31)?
True
Suppose -113669 - 61312 = -3*r - 3*h, -3*h + 116661 = 2*r. Is 243 a factor of r?
True
Let z be 1*(-1 - 3)/((-16)/12). Let d be (-2)/z*(-2 + -4)/2. Suppose -h - t - 11 = -d*h, t - 13 = -h. Does 3 divide h?
True
Let a(o) = -17*o**2 + 36*o + 145. Let h(w) = -20*w**2 + 35*w + 144. Let k(q) = -7*a(q) + 6*h(q). Is 3 a factor of k(-35)?
False
Let a(l) = -l**2 - 2*l - 404. Let j be a(0). Let s = 578 + j. Does 9 divide s?
False
Suppose -137 = -3*c + 4*s, -4*c = 3*s - 153 + 12. Suppose -c = 5*k + b, -3*k = -4*b + b + 27. Let f = 12 - k. Is f a multiple of 3?
False
Is 2/(-9) + (-15736298)/(-213)*(-3)/(-18) a multiple of 7?
True
Suppose 10*x - 5601 = 26 + 7393. Is x a multiple of 6?
True
Let i(m) = -45*m**3 - 5*m**2 - 136*m - 539. Is 3 a factor of i(-4)?
True
Is (-26)/(-65) + (-803467)/(-70) + (-3)/(-2) a multiple of 82?
True