*j + 49, -5*l + m = 4*j - 6. Does 4 divide j?
True
Let m = -23 + 29. Let r(h) = -h**2 + 5*h**2 + 1028 - 11*h - 493 - 508. Is r(m) a multiple of 15?
True
Let r(i) be the second derivative of -i**5/20 - 23*i**4/12 - 7*i**3/6 - 27*i**2/2 + 7*i. Let v be r(-22). Let y = -142 - v. Is 32 a factor of y?
False
Let a = 33031 + -13935. Does 14 divide a?
True
Let x(c) = -2*c + 14. Let v be x(6). Suppose v*m + 4*n + 144 = 5*m, -3*m + 135 = -n. Is m a multiple of 9?
False
Suppose -98595 - 27134 = -30*y - 8309. Is 103 a factor of y?
True
Suppose 2*j - 50656 = -3*c, 3*c + 6*j - 50641 = 7*j. Does 85 divide c?
False
Is 10 a factor of (2/(-14))/(1/(-25961)) - 80/(-280)?
False
Let z = 31 - 27. Suppose 0 = -z*r - 4*i - 216, -2*r - 5*i + 51 = 165. Let g = r - -109. Is g a multiple of 4?
False
Suppose -175*p = -76*p - 49005. Is p a multiple of 45?
True
Let t = 6974 + -15127. Is t/(-62) - (-2)/(-4) a multiple of 29?
False
Let o(d) = d**3 - 6*d**2 + 92*d - 82. Does 4 divide o(29)?
False
Let r(v) = -3*v + 2. Let s = 23 + -23. Let i be r(s). Suppose i*c - 4*p - 88 = 0, 2*c - 5*p - 12 = 76. Does 12 divide c?
False
Suppose 16*v - 27432 = v - 9*v. Does 59 divide v?
False
Let g be (3/(-5))/((-74)/(-32190)). Let y be (-1 - -7*71) + 1. Let s = g + y. Is s a multiple of 25?
False
Let x = -239 + 99. Let v = x - -269. Does 46 divide v?
False
Let o(k) = 30*k + 2050. Is 8 a factor of o(-23)?
True
Let r(h) be the second derivative of h**4/12 - h**3/6 - h**2 - 22*h. Let m be r(-3). Suppose 108 = -6*z + m*z. Is z a multiple of 6?
False
Let v = 49660 - 34449. Does 53 divide v?
True
Let y(c) = 527*c - 906. Does 35 divide y(38)?
False
Let a(s) = 6*s**2 - 13*s + 6. Let z = 15 - 8. Is a(z) a multiple of 19?
True
Suppose -4*m + 49018 = -67*m + 1077430. Is 20 a factor of m?
False
Suppose 0 = -3*l + 2*n + 16226, 0 = 5*l + 63*n - 59*n - 27014. Is 17 a factor of l?
True
Suppose -76*y + 75*y - 2*p = -23697, -5*y = 5*p - 118470. Is 177 a factor of y?
False
Suppose 35*f - 46*f - 56440 = -31*f. Does 83 divide f?
True
Suppose -4*q + 13 = -3. Suppose -q*l + 40 = 4*l. Suppose 5 = -5*h, -l*a = -3*h + 63 - 196. Is a a multiple of 13?
True
Is 10 a factor of 1*16*(99 + -25)?
False
Is 17 a factor of -5 - (113 + 52)/((-2)/202)?
True
Let s(n) be the first derivative of 4*n**3/3 - 5*n**2/2 + 6*n + 44. Is s(5) a multiple of 2?
False
Let i(t) = -751*t + 1179. Is i(-9) a multiple of 11?
False
Let i(o) be the second derivative of -13*o**3/6 - 58*o**2 + 143*o. Does 16 divide i(-20)?
True
Let m(l) = -2 - l**2 - 2 - 238*l + 251*l. Let p be m(7). Suppose -2*c - 16 + p = 0. Is 11 a factor of c?
True
Let m = -1185 + 7873. Is 11 a factor of m?
True
Let m(a) = 14*a**2 + 433*a + 65. Does 6 divide m(-31)?
True
Let y = 195 + -198. Does 19 divide 8/((-7)/14 + (-2)/y)?
False
Let g(o) be the second derivative of o**5/8 - 7*o**4/8 - o**3 - 2*o. Let r(v) be the second derivative of g(v). Does 22 divide r(8)?
False
Suppose -12*j + j = -21857. Suppose j = 10*q - 1123. Is 36 a factor of q?
False
Let b be (((-12)/(-6))/((-4)/(-6)))/1. Suppose k + 4*l - 159 = 1, -b*k + 5*l = -412. Is 16 a factor of k?
True
Let q(h) = 10*h**3 + 2*h**2 + 3*h + 2. Let g be q(-2). Let k = 1669 - 1502. Let y = g + k. Is 13 a factor of y?
True
Suppose 0 = 35*g - 39*g + 12. Suppose 0 = -5*d - 3*l + 6*l + 405, 4*d - 324 = -g*l. Does 27 divide d?
True
Let o = -5662 - -11075. Is o a multiple of 34?
False
Let l(c) = 2*c**2 - 23*c + 57. Let f be l(7). Let x(t) = t + 68. Is 31 a factor of x(f)?
True
Suppose -2196 = -12*z + 600. Let c = z - 90. Is 13 a factor of c?
True
Let m(b) = -1830*b**3 - 7*b**2 - 24*b - 2. Is 58 a factor of m(-2)?
False
Suppose 0 = -0*x + x + 4352. Let s be 4/10 + x/80. Is 3 - -1 - s - 2 a multiple of 14?
True
Let o(y) = y**3 - 8*y**2 + 12*y - 14. Let g be o(7). Suppose -26*v = -g*v - 200. Is v a multiple of 4?
True
Let p be 2*(-2)/6*(-2 + 17). Let k be (-15)/p - 3/(-2) - 1. Suppose 118 = 2*x + f, 5*f = 7*x - k*x - 280. Does 22 divide x?
False
Let k(x) = -909*x**3 - 18*x - 17. Let z be (-2 + (7 - 3))/(-2). Does 48 divide k(z)?
False
Let r(x) = -x**3 + 126*x**2 + 447*x - 914. Does 14 divide r(128)?
True
Let g = 3610 + -3267. Is 5 a factor of g?
False
Let v(w) be the third derivative of w**7/720 + 7*w**6/360 - 7*w**5/60 + 4*w**2. Let o(t) be the third derivative of v(t). Does 11 divide o(9)?
True
Let p(c) = 2*c**3 - 35*c**2 - 9*c - 3. Let s be p(18). Let j = s - -67. Is 46 a factor of j?
False
Let t be (-2)/(-2 - 1325/(-665)). Let x be t/(-4) - 30/12. Let k = -44 - x. Is k a multiple of 25?
True
Suppose 0*g = 6*g + 4*g. Let n be g/3 - (-3)/(4 + -3). Suppose -3*t = -0*t, n*s = 5*t + 402. Does 38 divide s?
False
Suppose 3*y - 11*m + 14*m - 4845 = 0, 2*y - 3*m = 3220. Suppose 0 = -w + 4*n + 504, 5*n = -4*w + 487 + y. Does 10 divide w?
True
Let w(d) = 7*d**2 - 21*d + 101. Does 111 divide w(-32)?
False
Is 13 a factor of (-65)/3*(-1104)/16?
True
Suppose -20*a = -9*a - 33. Suppose 2*h = 2*t + 294 - 946, -980 = -a*t + h. Is t a multiple of 16?
False
Let h(j) = j**3 - 4*j**2 + 18*j - 3. Let w be 4 + ((-8)/32 - (-15)/12). Is h(w) a multiple of 7?
True
Let s = -15516 - -23800. Is 19 a factor of s?
True
Let g(h) = 8*h**2 - 45*h + 55. Let k(d) = -9*d**2 + 46*d - 54. Let x(z) = 6*g(z) + 5*k(z). Is x(17) a multiple of 13?
True
Is 20 a factor of (-9 + 1368/(-168))/(9/(-46074))?
True
Let h(o) = 867*o - 3216. Is h(28) a multiple of 139?
False
Let a(l) = 147*l - 612. Is 23 a factor of a(12)?
False
Let t = 20420 + -19629. Does 11 divide t?
False
Let z(y) = 2676*y - 16091. Does 13 divide z(8)?
True
Suppose -128*z - 1112 = -132*z. Suppose 0 = -5*w + 4*y + 459, 0 = -5*w + 2*w + 5*y + z. Is w a multiple of 5?
False
Let g be 3/(-6)*340/(-2). Suppose -g = -3*l + 110. Let i = l - 11. Is i a multiple of 6?
True
Let q = 9139 + -7889. Does 50 divide q?
True
Let v be 753/6 + (2/2)/2. Suppose -66 = -3*o + v. Is o a multiple of 47?
False
Is (-4)/5 + -19 + 621621/45 a multiple of 50?
False
Suppose -282*v = -227*v - 10450. Is v a multiple of 4?
False
Is ((-1013275)/17)/(-5) + 330/(-85) + 4 a multiple of 13?
True
Let m = 27 - 22. Suppose -2*z - z = -5*c + 8, m*c + 2*z - 28 = 0. Suppose -4*a + 413 - 76 = -l, c*l = -4. Is a a multiple of 28?
True
Let n(v) = v**3 + 7*v**2 - 4*v - 23. Let p be n(-7). Does 31 divide (p + 459/6)/(2/4)?
False
Is 6 a factor of 2*(-77)/(-42)*-53*3*-1?
False
Suppose c = -2*g - 3 + 5, 2*c - 5*g - 13 = 0. Let v be ((-1551)/(-12))/(c/16). Let f = -277 + v. Is 40 a factor of f?
True
Is ((-279)/15)/((-25)/14500) - -9 a multiple of 50?
False
Suppose -5*w - 21*p + 4361 = -17*p, 0 = 3*w - 4*p - 2623. Is w a multiple of 9?
True
Let y = -227 - -144. Let x = 87 + y. Suppose 5*q - 113 = -m - 0*q, 478 = 5*m - x*q. Is m a multiple of 12?
False
Is ((-20)/3)/(46647/1944 - 24) a multiple of 6?
True
Let l = 427 - 639. Suppose 31*z = 23*z - 3168. Let d = l - z. Does 21 divide d?
False
Let v = -527 + 714. Let f = 714 - v. Is 31 a factor of f?
True
Is 14 a factor of ((-1)/(-9))/((3 + -7)/(-2874996))?
False
Let d(q) = 9*q**2 - 6*q. Let s be d(-2). Suppose 5*z + 0 + 59 = -3*k, -k = -4*z + s. Is 12 a factor of 2/3*(-7)/(k/288)?
True
Suppose -4*m - 2*s = -6748, -352 + 376 = -4*s. Is m a multiple of 5?
True
Let f be 12/(-4)*(4 - 44/12). Is 7 a factor of f/(21/2450)*-3?
True
Let l = 297 - 291. Does 13 divide (29520/12)/l + (-2)/(-2)?
False
Suppose 0 = q - 4*h - 770, 4*q + 2*h - 2352 = q. Let n = -1613 + 1112. Let o = q + n. Does 60 divide o?
False
Suppose 17*l - 131795 - 79549 = l. Is 21 a factor of l?
True
Suppose 0 = 8*f - 2169 + 705. Let o be (9/(-6))/(-3)*(-50)/(-5). Suppose -o*i - 3 = -f. Is i a multiple of 18?
True
Let g(z) = 13*z + 228. Let h(s) = -22*s - 457. Let q(u) = -5*g(u) - 3*h(u). Does 11 divide q(-32)?
False
Suppose -4*s - 37*b = -39*b - 144634, 3*b + 72323 = 2*s. Is s a multiple of 173?
True
Suppose -j + 1053 = m, -3*m + 2*j + 2144 = -985. Is 25 a factor of m?
False
Suppose -2*a + 4*s + 1318 = 0, -4*a + a + 1933 = 5*s. Let h = a + -357. Is h a multiple of 21?
True
Let t(r) = 8*r**3 - 14*r - 7*r**3 + 0 - 3*r**3 - 19*r**2 - 34. Does 40 divide t(-13)?
False
Let p(v) = -v**2 - 17*v + 11. Let g be p(-18). Let k = g - -44. Is 10 a factor of k?
False
Suppose -6*n = 14*n - 60. Suppose -4*w - 20 = 0, 2*w = s - n - 12. Is s even?
False
Suppose -2*b = 3*b - s - 16, 3*b