Is n a multiple of 18?
True
Let q(y) = 3227*y**2 + 583*y + 1726. Is 5 a factor of q(-3)?
True
Does 113 divide (-14*679/(-42) + 7)*123/2?
False
Suppose -5158*t = -5168*t + 22057 + 57563. Does 11 divide t?
False
Let o = 44871 - 28869. Is o a multiple of 14?
True
Let b(n) = -n**3 + 29*n**2 + 9*n + 14. Let l be b(7). Is 21 a factor of (l/10)/(-11)*-14?
True
Let f be (-3)/(-3)*(6892 - (-4 + 8)). Suppose -5*q - f = -26*q. Does 13 divide q?
False
Let n(z) = -2*z**3 - 9*z**2 - 15*z - 18. Let x(b) = -6*b - 38. Let d be x(-5). Does 11 divide n(d)?
True
Suppose -71 = a - 0*a + 5*d, 5*a = -3*d - 267. Is 6 a factor of ((-3)/((-45)/(-50)))/(2/a)?
False
Suppose 0 = -424*t + 421*t. Suppose t = 3*x + y - 238, 136 = 5*x - 3*x - 5*y. Does 17 divide x?
False
Let c(d) = d**3 - 10*d**2 + 23*d + 185. Does 9 divide c(16)?
False
Suppose -5*f = 4*d - 5, 2*f - 14 = 2*d - 6*d. Suppose w + 3*p - 875 = 0, 0 = d*w + 6*p - 9*p - 4285. Does 17 divide w?
False
Let y(s) = 2*s**3 + 28*s**2 - 3*s - 29. Let c be y(-14). Let v(f) = 28*f - 86. Is v(c) a multiple of 13?
False
Let h = 125 - 108. Suppose -4*t - 13*q + 44 = -h*q, q = -5. Is t even?
True
Suppose -808 = -2*c + 6*c. Let o be (2 - 1)/((-4)/304). Let z = o - c. Is z a multiple of 14?
True
Let r = 50534 - 19613. Does 11 divide r?
True
Suppose -4*c - 6*c + 180 = 0. Suppose -3*t = -3*i + 2*t + 96, i + 3*t = c. Let f = -12 + i. Is 4 a factor of f?
False
Let q(t) = 22*t + 226. Let m be q(-34). Let v = 1042 + m. Is v a multiple of 13?
True
Suppose 111*f = 109*f + 76. Suppose -f*n + 34*n + 576 = 0. Does 24 divide n?
True
Let a = -871 - -398. Let l = 713 + a. Does 5 divide l?
True
Let j = 0 + -12. Let a(b) = b**2 - 13*b - 20. Let l(h) = -2*h**2 + 13*h + 19. Let z(k) = -3*a(k) - 2*l(k). Is z(j) a multiple of 7?
False
Let f be 12/(5 + (-42)/12). Suppose -d + 1 = 3*v - 5, v - d = 6. Suppose i = 5, -f*b + v*b + 160 = -2*i. Is b a multiple of 17?
True
Let z = 17593 - 9469. Does 12 divide z?
True
Suppose 3*n - 20 = 8*n. Let i be (6/n)/((-10)/(-20)). Is (-32)/i*72/16 a multiple of 23?
False
Suppose -5*j + 33*j = 3338 + 2038. Does 8 divide j?
True
Does 23 divide 0/(3 - 2) + 21396*(-5)/(-10)?
False
Suppose -90*o = -96*o + 11844. Is 141 a factor of o?
True
Is 41 a factor of 100411/10 + 72/(-360)*4/8?
False
Let z = -1275 - -1955. Let l = z - 304. Is l a multiple of 11?
False
Suppose 4*b - 1826 = 1342. Does 88 divide b?
True
Suppose -2*f + 2*c + 58 = -3*f, 3*f + 184 = 4*c. Let u = f - -65. Is 29 a factor of -38*((-35)/u + 3)?
False
Suppose -2*g - 6 = 3*w, -3 = 5*w + g - 0. Suppose 4*r - a - 502 = r, -2*a + 686 = 4*r. Suppose -2*q + r + 59 = w. Is 14 a factor of q?
False
Let h = 164 - 167. Let a(w) = -3*w**2 - 15*w - 4. Is 7 a factor of a(h)?
True
Let n be 14/6 - (-8)/(-24) - -5. Suppose -q = -10 + n. Suppose q*l = 265 - 7. Is l a multiple of 7?
False
Let h be 7/21*2859 + 0. Suppose 13*r - h = 3610. Does 25 divide r?
False
Let p(l) = 2*l**2 - 11*l + 9. Let c be p(5). Suppose -4*o + 3*o - 2*f = 21, c*f + 8 = 0. Let s(q) = -q**3 - 17*q**2 - 4*q - 10. Does 29 divide s(o)?
True
Suppose 0 = 5*t - 25, 2070 = 4*g - 9*g + 4*t. Let p = 527 + g. Does 9 divide p?
True
Suppose -3*z + 1194 = 399. Suppose -2*i = 3*i - 5*l - z, -3*i + 144 = 2*l. Does 24 divide ((-960)/i)/((-1)/(-15)*-2)?
True
Suppose 3*q = -2*f + 51, -29 = 3*f - 4*f + 2*q. Let j(s) = -s**3 + 30*s**2 - 60*s - 43. Is j(f) a multiple of 19?
False
Suppose -60 = -19*n + 14*n. Suppose 3*y - n*y = -72. Suppose -92 = -y*g + 1204. Does 23 divide g?
False
Suppose -u - 291 - 85 = p, -p = -3*u + 376. Let a = p - -781. Is 27 a factor of a?
True
Suppose 121286 = 40*y + 19926. Suppose 4*s + 214 = y. Is s a multiple of 11?
False
Suppose -2*p + 3*b - 59 = 0, -p = 2*b - b + 27. Let g = p - -24. Is 17 a factor of g*68/(-4) + 0?
True
Let j(u) = 22*u**2 + 15*u - 7. Let h(k) = 22*k**2 + 14*k - 7. Let r(q) = 4*h(q) - 3*j(q). Is r(3) a multiple of 7?
True
Let y = 27 - 25. Suppose -y*j + 253 = -3*r, 4*r - 622 = -5*j + r. Is 25 a factor of j?
True
Let d = -8973 - -9021. Is d a multiple of 5?
False
Let q = -3164 + 5264. Is 105 a factor of q?
True
Let i = 278 + -273. Suppose -i*z + 6*z - 372 = 0. Is z a multiple of 32?
False
Let j(m) be the first derivative of m**2/2 - 12. Let w be j(2). Is -3 - (-22)/w - -1 a multiple of 4?
False
Suppose -123*c + 136213 + 132542 = 0. Does 5 divide c?
True
Let g(j) = j**2 - 12*j + 32. Suppose 44*a - 48*a + 40 = 0. Is g(a) a multiple of 4?
True
Suppose -8*y + 6*y = -40. Suppose c = 0, y*c - 18*c + 1683 = 3*m. Is 33 a factor of m?
True
Let k = 7689 + -4290. Is k a multiple of 83?
False
Suppose u + 360 = 2*q, 9*q = 7*q - 8*u + 378. Does 4 divide q?
False
Let g(f) = 3*f**3 + 12*f**2 - f. Let p be g(-4). Suppose -2*d = p*i - 658, i - 1295 = d - 5*d. Is d a multiple of 14?
False
Let z = -24422 - -37084. Is 16 a factor of z?
False
Let y(z) be the second derivative of -z**4/12 + 35*z**3/6 - z**2/2 + 27*z. Let r be y(10). Let m = r + -126. Is m a multiple of 16?
False
Suppose 0 = -12*x - 12*x - 24984. Let h = x - -1971. Does 52 divide h?
False
Suppose -21*k + 28 = -17*k. Let f be 1*0*2/(-2). Suppose f = -a + 47 - k. Is a a multiple of 5?
True
Suppose -3*m = -0*c + 3*c - 105, -c + 51 = -3*m. Suppose c = 4*s + 11. Suppose 154 = 3*h + 5*g, 3*h + 252 = s*h - 5*g. Does 16 divide h?
False
Let g(k) = -k**3 - 13*k**2 + 44*k - 14. Let b be g(-16). Does 30 divide (-1 - (-12)/3) + 4*b?
False
Let f(v) = -3*v**2 + 15 + 1 - 4*v**3 - 7 + 5*v**3. Is 4 a factor of f(5)?
False
Is 4/(-42) - 6378460/(-924) a multiple of 25?
False
Let w(i) = -188*i + 522. Is w(-49) a multiple of 74?
False
Let r be -9*(-4 - 11/(-3)). Suppose q + r*q = 4*o - 36, -5*o - q = -21. Suppose s + p - 4*p - 198 = 0, -o*s = 3*p - 954. Does 14 divide s?
False
Suppose -5 = -5*v, 43 = 3*z - v - v. Is (z + -25)/(2/(-91)) a multiple of 13?
True
Let p(k) = -175*k + 2167. Is 33 a factor of p(-7)?
False
Let l(a) = a**2 + 2*a. Let g be l(1). Suppose g*v = -y + 129 + 11, -5*y + 635 = 2*v. Does 5 divide y?
True
Let s(c) = -3*c**2 + c + 1. Let t(w) = 6*w**2 + 6*w + 1. Let f(x) = -4*s(x) + t(x). Let h = 1 - -1. Does 22 divide f(h)?
False
Let k(j) = -j + 14. Let b be k(14). Suppose b = -7*y - 0 - 0. Suppose -2*u + m = -y*m - 37, 5*u - 60 = -4*m. Is u a multiple of 8?
True
Let k(u) = 21*u + 4. Let v be k(0). Suppose -7*q + 4730 = v*q. Does 43 divide q?
True
Is 11 a factor of 6 - -1 - ((-30538 - -4) + 38)?
True
Let i(t) = t**3 + 5*t**2 - 7*t - 4. Let j be i(-6). Suppose 3*b + j*p + 320 = 5*b, 4*b + 2*p = 646. Is b a multiple of 7?
True
Let y = 102 - 87. Suppose y*k - 672 = 8*k. Is 16 a factor of k?
True
Let n(g) be the third derivative of -g**6/120 - 41*g**5/60 + 35*g**4/24 - 181*g**3/6 + 266*g**2. Is n(-42) a multiple of 6?
False
Let s = 355 - 225. Suppose 5*m = 145 + s. Does 21 divide m?
False
Let w = -197 - -53. Let r be (w/45)/((-4)/10). Suppose s = 42 + r. Does 6 divide s?
False
Let c = 40586 - 20489. Does 203 divide c?
True
Let t be -2*(-5 - 2*(-6)/8). Suppose -t*p + 3*p = 2*r - 1108, 558 = r + 3*p. Does 91 divide r?
True
Let k(z) = 21*z + 211. Is 12 a factor of k(5)?
False
Let d be 15/6*3/((-90)/48). Does 33 divide d/12 + 292*(-2)/(-6)?
False
Let p(x) = -2*x**2 + 17*x - 19. Let c be p(7). Suppose -21*z - c*l = -19*z - 1766, -l = -3. Is 61 a factor of z?
False
Let f(h) = -h**3 + 64*h**2 - 106*h + 1289. Is f(45) a multiple of 80?
False
Let l be (-133)/2*30/(-35). Suppose 1029 = -54*s + l*s. Does 49 divide s?
True
Let v(c) = -693*c - 2871. Is 31 a factor of v(-6)?
False
Suppose 4*q = 7*q - 9. Suppose 395 = q*g + 68. Let z = -76 + g. Does 3 divide z?
True
Suppose 787*l + 2232728 = 935*l. Does 38 divide l?
True
Let s = 1749 - 1027. Suppose 0 = 4*v - 6*v + s. Is v a multiple of 5?
False
Suppose -3*f - 4*o = -0*o - 14746, -4*f + 4*o = -19652. Suppose 77*k - 50*k = f. Is 13 a factor of k?
True
Let d be 4/(-20) + 7114/(-20)*4. Is 7 a factor of (-3)/9 + 2 + d/(-3)?
True
Suppose 3*a + 858 = -x + 6513, 2*x - 1880 = -a. Is 2 a factor of a?
True
Let l be (6/1)/((-3)/(-4)). Suppose b - l = -b. Does 9 divide 6/(1 - b) + 39?
False
Let h(t) = -t**3 + t - 2. Let p be h(0). Let u be (-74)/(-4)*(p - -8). Let i = u + -8. Is i a multiple of 23?
False
Let b(t) = 2*t**2 + 3*t + 47. Let g be (-3 - -3) + 2 - 2 - 0. Is b(g) a multiple of 47?
True
Suppose -5*z + 5*u + 3285 = 0