 -4*x - o*w. Is 20 a factor of x?
True
Let s(k) = -3*k**2 - 199*k + 118. Is s(-50) a multiple of 24?
True
Let x(f) = 31*f**2 + 1079*f + 78. Is x(-38) a multiple of 16?
True
Let t(q) = -q**2 + 54*q + 3. Let i be t(54). Suppose 26 = i*w - 1084. Is w a multiple of 37?
True
Let w(j) be the third derivative of j**4/24 + 3*j**3 + 3*j**2 + 4. Is 5 a factor of w(-5)?
False
Suppose 5*g + 5*w = 330, g - 3*w - 12 - 34 = 0. Suppose 3*l + 95 = 8*l + 5*y, -g = -3*l + y. Does 14 divide l?
False
Suppose -242 = -27*b - 53. Suppose 2*s - 155 = b. Does 5 divide s?
False
Let x(i) = -120*i - 56. Let s be x(-7). Suppose 8*w + s = 15*w. Does 9 divide w?
False
Suppose 3*p - k - 171 = 60, -6 = 2*k. Suppose 3*o + 73 = p. Let l(v) = 11*v - 2. Does 2 divide l(o)?
False
Suppose -j + 2 = 5*u - 1, -j = -2*u + 4. Let a be u + (4/5)/(8/20). Suppose 4*b - 25 = a*b. Is b a multiple of 5?
True
Let p(d) = 88*d**2 + 22*d + 400. Does 37 divide p(-9)?
False
Let r be (-10 - -10)/(1 + 1). Suppose 7*i - 1259 - 1674 = r. Is i a multiple of 15?
False
Let t(s) = 2*s**3 - 38*s**2 - 296*s - 13. Is 4 a factor of t(25)?
False
Let g(t) = 21*t**2 - 12*t + 15. Let x be g(7). Let b be (-10)/(-95) - (-5 + (-29121)/57). Let q = x - b. Is 64 a factor of q?
False
Suppose -3*c = 313*m - 315*m + 42884, -42888 = -2*m + 4*c. Is m a multiple of 67?
False
Suppose z = u + 88 - 20, -5*z + u + 360 = 0. Suppose 6032 = -15*i + z*i. Is i a multiple of 26?
True
Suppose 14*w = 55*w - 41000. Is 20 a factor of w?
True
Suppose 3*g = t - 5386, 4*t - 130*g - 21576 = -134*g. Is 11 a factor of t?
False
Let x be (-1848)/(-144) - 2/(-12). Suppose -x*a + 22776 = 26*a. Does 13 divide a?
False
Suppose -4576 = 5*x - 1091. Let s = 1190 + x. Is s a multiple of 28?
False
Suppose 0 = 2*m + 13 - 5. Let i be -3 + (m - 163)*1. Let o = i - -378. Does 45 divide o?
False
Suppose -3*t - 3*z - 12 = 0, -t + 11 = -0*t - 4*z. Let r be -1*(-1)/t + 3/3. Suppose -5*a - 240 = -4*l - 50, -3*l + 2*a + 139 = r. Does 19 divide l?
False
Let j be 0/((-20)/(-5)) + 4. Let w be 4*(j - (-18)/(-4)). Does 26 divide w/(((-2)/(-1))/(-52))?
True
Suppose 195553 + 268432 = 40*t - 171655. Does 113 divide t?
False
Let c = 1 + 2. Suppose 5*b - 1120 = 4*o, 5*b + c*o = 3*b + 425. Does 14 divide b?
False
Suppose -5*d + 4*f - 29 = 0, 8*f + 12 = 5*f. Let b be 0 + 1 + 50 + d. Let q = 56 - b. Does 2 divide q?
True
Suppose -x + 0*x - 27 = 0. Let p = 6955 - 6887. Let d = x + p. Is 19 a factor of d?
False
Suppose 2828144 = -440*o + 2069197 + 10823067. Is o a multiple of 91?
False
Let q(l) be the second derivative of -13*l**4/24 - 4*l**3 + l**2/2 - 21*l. Let h(r) be the first derivative of q(r). Does 19 divide h(-9)?
False
Let a = 7 - 4. Let k(z) = -7*z + 11*z - a*z + 13 - 8*z. Is 9 a factor of k(-8)?
False
Let a(k) = 5404*k**2 + 72*k. Is 110 a factor of a(-1)?
False
Suppose 2*i - 23 = -o, 6*o = 2*o - i + 71. Let n = 14 - o. Let q = 26 + n. Is 6 a factor of q?
False
Suppose -3*d - v = -4*v - 46437, 4*d + 5*v - 61952 = 0. Is d a multiple of 13?
True
Let s = 20006 + -11695. Is s a multiple of 216?
False
Let j(d) = 790*d**3 - 4*d**2 - 18*d + 53. Does 41 divide j(4)?
False
Suppose 0 = -5*y + c - 4*c + 50, -2*c = -y + 10. Let h be ((-10)/y)/((-2)/8). Suppose 7*z - 2*z - 175 = h*o, 0 = 3*z - 3*o - 105. Is z a multiple of 10?
False
Let q(f) = f + 7. Let j be q(-4). Suppose 4*o - 55 = -n - o, 2*n + o - 110 = 0. Suppose 3*c - 3*w - 2*w - 83 = 0, -2*w = j*c - n. Does 5 divide c?
False
Suppose 0 = -60*c + 64251 + 41949. Is 21 a factor of c?
False
Let o(a) = a**3 - 17*a - 837 + 0*a**3 - 12*a**2 + 0*a**3 + 859. Is o(14) a multiple of 8?
True
Suppose -32*w + 1807 = -753. Is w a multiple of 16?
True
Suppose -555987 + 83647 = -19*g. Is g a multiple of 5?
True
Let l = 18158 + -7981. Does 56 divide l?
False
Let m be 16/24 + (-30)/(-9). Let y be m*((-45)/10)/(-9). Suppose -2*j = 2*o - 234, 0 = -5*j + y*j + 3*o + 375. Is j a multiple of 12?
False
Let t(y) = 14*y**2 - 14*y + 284. Does 70 divide t(8)?
False
Suppose 33041 = 208*c - 171*c. Is 19 a factor of c?
True
Suppose -32 = -j + 5*q, 3 = -q - 2. Let c be j/(-1)*2/(-14). Let s(z) = 116*z**3 + z - 2. Is 17 a factor of s(c)?
False
Let f be (8 + -7)/2 - 10/(-4). Suppose 4*n + 5*x = 300, -4*n - 5*x = -f*x - 288. Is n a multiple of 21?
False
Let n = -3340 - -1380. Let i = n - -2836. Is i a multiple of 11?
False
Let r be (-80 - 2) + 0/(-1). Let h(g) = -g**3 - 2*g**2 - 15*g - 48. Let f be h(-6). Let x = f + r. Is x a multiple of 26?
True
Suppose 2*i - 2*y - 9576 = 0, 23940 = 5*i - 19*y + 16*y. Is i a multiple of 38?
True
Let n be (-1626)/24 - 1/4. Let p = 179 + n. Is 2 a factor of p?
False
Does 7 divide 117*(-13 + 1305/27)?
False
Let p(a) = -a**3 + 8*a**2 + 19*a + 24. Let z be p(-6). Suppose -3*d - d + q + 1656 = 0, d = -3*q + z. Is d a multiple of 9?
True
Suppose 2*v - 321 = -2*h + h, 4*h + 2*v = 1296. Let j = h - 160. Suppose -5*d - 55 + j = 5*c, 3*c - 58 = d. Is 10 a factor of c?
True
Suppose -17*k + 11108 = -13*k + 2*d, 0 = 5*d + 10. Is k a multiple of 6?
True
Is 305 a factor of (-807912)/(-32) + (-156)/48 + 2?
False
Let s = 7452 + -7192. Is 52 a factor of s?
True
Suppose 81*h - 3140396 = -100*h + 1434017. Is 13 a factor of h?
False
Suppose 3*n - 205765 = -2*z, 5*z + 44818 + 160996 = 3*n. Is 41 a factor of n?
True
Let b = 6444 + -4584. Does 20 divide b?
True
Does 18 divide (29/(-7) - 1)/((-21)/(484659/14))?
True
Is ((-429)/(-66) - (2 + 4))/(2/33628) a multiple of 121?
False
Suppose -164 = -4*g + 2*v, 2*g - 3*v = 2*v + 82. Let b = g + -38. Is 19 a factor of -8*((-14)/8 - b)?
True
Suppose -2 = -s - 2*a + 2, -5*s - 2*a = -12. Let l = 25 + -21. Suppose -s*q + l*u + 224 = -0*u, 5*q - 3*u = 567. Is 22 a factor of q?
False
Let o(v) = -642*v - 53. Is 21 a factor of o(-16)?
False
Suppose 7*x - 189 = -175. Does 14 divide (-7566)/(11 + -24) - 6/x?
False
Does 156 divide (-15642)/(-20) + -2 - (5313/230 + -23)?
True
Does 10 divide -5 + ((-1923945)/(-105) - (-6)/(-21))?
False
Let p(u) = -211*u + 206. Let x(g) = 2*g - 60. Let h be x(27). Does 64 divide p(h)?
True
Let r = -181 + 119. Let q = r - -68. Is (q/(-4) - (-11)/44)*-36 a multiple of 9?
True
Let k(v) = -2*v**3 - v**2 - 4*v. Let o be k(-4). Does 32 divide (-15 + 21)/(6/o)?
True
Suppose 2*o + 21 = -65. Let n = 54 + o. Suppose -895 = -n*u + 6*u. Is 28 a factor of u?
False
Is (72576/(-40))/(-1)*5 a multiple of 12?
True
Let w(z) = -z**2 - z + 2. Let f be w(0). Let t be 6/(-24)*1146*f/(-3). Suppose -r + t - 43 = 0. Is r a multiple of 13?
False
Let f(h) = -10*h + 22. Let t be f(2). Does 10 divide 220/(-55) - (t + -623)?
False
Is 62 a factor of 583088/99 + -1*10/(-45)?
True
Let c = 6537 + -4624. Is c a multiple of 7?
False
Let d(j) = j**3 - 14*j**2 - 2*j + 31. Let l be (-18)/((28/(-24))/7). Let k = -94 + l. Is d(k) even?
False
Suppose -57*s = -59*s + 5*n + 38516, 0 = 4*s + 4*n - 76920. Does 23 divide s?
False
Suppose 0 = 2*c + 2*v + 32, 0*v - 2*v + 40 = -4*c. Let o = 11 + c. Let y(w) = 217*w**2 + 3*w + 2. Is y(o) a multiple of 18?
True
Let n(x) = -x**2 + 8*x + 10. Let d be n(7). Let p(m) = m**2 - 14*m + 9. Is p(d) a multiple of 12?
True
Let a(b) = b**3 + 7*b**2 - 17*b - 7. Let l be a(-7). Suppose 58 = 5*x - l. Suppose 18 + x = 2*g. Does 13 divide g?
True
Suppose -4*f + 17 + 11 = 0. Let y(u) = 5 + 2 + 6*u + f. Is y(12) a multiple of 7?
False
Suppose 0 = 24*n - 30*n + 6. Let m(y) = -49*y - 4. Let a(f) = -24*f - 2. Let i(v) = -7*a(v) + 3*m(v). Is 23 a factor of i(n)?
True
Let v = 631 - 99. Let y = v - 332. Does 5 divide y?
True
Suppose -12*k + 382 = -746. Let s = k - 92. Is 39 a factor of 1428/7*s/(3 + -1)?
False
Does 12 divide 30*((-12)/21)/((-10)/2359)?
True
Let z = 3289 - -3438. Does 31 divide z?
True
Let v = 182 - 182. Suppose -3*c - 9 = v, 4*s + 3 = -2*c + 45. Is s a multiple of 12?
True
Suppose 0 = 4*y - 5*i - 2465 + 459, 0 = 2*y + 3*i - 1014. Suppose -7*r = -8*r + 4*b + 168, 0 = -3*r - 4*b + y. Is r a multiple of 8?
True
Suppose -3*o + 4 = 4*t - 1, 0 = 4*o - 4*t + 40. Let l be (o/20)/(6/(-48)). Suppose 2*d - 3*f - l*f = 197, -d + 98 = -2*f. Is d a multiple of 24?
True
Let j(o) = o**3 + 5*o**2 + 5*o + 10. Let t be j(-5). Let g(c) = -c**3 - 11*c**2 + 32*c + 22. Is 14 a factor of g(t)?
False
Let f(n) = -n**2 - 5*n + 11. Let h be f(-6). Suppose -h*p = -2 - 3, 5*z - 5*p = 110. Is 7 a factor of z?
False
Let h be 