0. Is w a multiple of 19?
False
Let l = -45 - -46. Is 15 a factor of 392/(5 - l) + 1?
False
Suppose 118*h + 123358 - 2511796 = 0. Is h a multiple of 7?
False
Suppose 53*d - 26*d = 81. Is (-80)/(d*1*(-38)/285) a multiple of 14?
False
Suppose -3*w + 2157 = 2*g - 1099, 0 = -4*g - 28. Is w a multiple of 4?
False
Let p(m) = -m**2 + 4*m + 4. Let f be p(6). Let l(k) = -3*k**3 - 6*k - 8. Let w be l(-4). Is 12 a factor of (f/(-32))/(2/w)?
False
Suppose 1622 = a + 8*m, -35 = 3*m - 38. Is 76 a factor of a?
False
Let l be 1 + 21/(-19) - (-463918)/494. Does 16 divide l + (-3 + 6)/(-3)?
False
Let a(j) = 11*j**3 + 623*j + 13*j**3 - 628*j + 11 - 6*j**3. Is a(2) a multiple of 3?
False
Let a = -63 + 91. Is 34 a factor of (106/(-4))/((-14)/a)?
False
Let t = -1114 - -3625. Is t a multiple of 13?
False
Let i = 27670 - 18607. Does 53 divide i?
True
Suppose 4*x - 364 - 333 = -5*j, -2*j + 4*x + 262 = 0. Suppose 0 = o + i - 302, 2*o = 3*i - j + 731. Is 50 a factor of o?
True
Is (-5)/4 - (-65140)/16 a multiple of 24?
False
Let n(i) = -i**3 - 22*i**2 - 74*i - 509. Is 64 a factor of n(-21)?
False
Suppose 11536 = 83*r - 63994. Is r a multiple of 171?
False
Suppose 0 = 15*n - 60*n + 15743 + 36502. Does 4 divide n?
False
Let t(u) = 12*u + 63. Let r be t(6). Suppose -r - 200 = -3*q - f, 229 = 2*q - 5*f. Is q a multiple of 7?
True
Let y be ((-1751)/119)/((-2)/14). Is 36 a factor of ((-1)/6 - -1)*6 + y?
True
Let k(z) = 11*z**3 - 7*z**2 + 14*z - 25. Let q(v) = 20*v + 284. Let s be q(-14). Is k(s) a multiple of 17?
False
Let g be 6606/10 - 8/(-20). Suppose -119 = -13*l + g. Is 20 a factor of l?
True
Suppose 27 - 207 = 5*a. Let z = -32 - a. Suppose z*d = -5*w + 670, 5*w + 10 = -0. Is d a multiple of 7?
False
Let z be 1*(0 + -4 - -1)/(-1). Suppose 6*k - 3 = z*k, -3*k - 262 = -5*m. Suppose -4*f + m = -315. Is f a multiple of 29?
False
Let p(r) = 20*r**3 - 5*r**2 + 5*r - 5. Suppose -4*f + 2*q = -18, -2*f + 7 = -3*q - 12. Let x be p(f). Let k = -98 + x. Is 9 a factor of k?
False
Let p be ((-3 - -3) + 6)*16/3. Let l(i) = i**3 - 32*i**2 + 37*i - 9. Is 77 a factor of l(p)?
False
Let v(i) be the second derivative of -i**6/120 - 3*i**5/20 + i**4/24 + 3*i**3 + i**2 - 19*i. Let u(d) be the first derivative of v(d). Is u(-9) a multiple of 3?
True
Let j = 166 - 27. Let g = j - -87. Is g a multiple of 15?
False
Suppose -5*h = 7*u - 174356, 4*h - 2828*u + 2829*u = 139448. Is 42 a factor of h?
True
Let r(c) = 3*c**3 - 4*c**2 + 2*c - 9. Let n(x) = -x**2 + 13*x + 3. Suppose -4*z + 75 = 3*k + 20, -2*z = -8. Let j be n(k). Does 14 divide r(j)?
True
Does 9 divide (156/195 - (-172)/10)/(3/291)?
True
Let r(m) = -m**3 + 2*m**2 - 50*m + 17690. Does 260 divide r(0)?
False
Suppose 809*y + 59332 = 822*y. Is y a multiple of 78?
False
Is (-2275337)/(-1917) + (-2)/(-27) a multiple of 34?
False
Let q(j) = -j**3 - 35*j**2 + 7*j - 271. Is q(-37) a multiple of 18?
False
Let j = -6543 + 6753. Is j a multiple of 3?
True
Let q(d) = -7*d**3 - 9*d**2 - 8*d - 2. Let x be (6/((-108)/9))/(1/6). Does 13 divide q(x)?
True
Let t = 350 + -345. Is 17 a factor of (3 - 763/t)/(2/(-10))?
True
Let u(p) = 534*p**2 - 26*p + 72. Let g be u(3). Suppose -15*l + g = -5*l. Is l a multiple of 40?
True
Let f(x) = -427*x - 20. Let d be f(4). Let b = -1028 - d. Is b a multiple of 35?
True
Let z be (2 - -19)/(-7)*(-1)/3. Let p(b) = 2*b**3 + b**2 + 2*b - 2. Let n be p(z). Suppose u - 200 = -k - 3*k, 4*u = n*k - 150. Is k a multiple of 10?
True
Suppose -21380 + 271135 = 34*s + 24947. Is s a multiple of 10?
False
Let i = -19 - -22. Let w(u) = -5*u**2 + u**i - 8*u + 27*u**2 - 3*u**2 + 1. Is 33 a factor of w(-19)?
False
Suppose 10*k = 8*k + 228. Suppose 5*p - 87 = -2*y, 0 = -2*y + 2*p + 2*p + k. Is (-9)/(y/30 - 2) a multiple of 5?
True
Let x be (63/(-12))/(-1) - (-5)/(-20). Suppose -g = -x*q - 358, 5*g - 827 = q + 1035. Is 45 a factor of g?
False
Does 6 divide -22392*(5/(-15) + 0/8)?
True
Suppose 4*h + 5*d = 12, 3*h - 9 = -8*d + 3*d. Let z(l) = 3*l - l**3 - 3*l + 39 - h*l + 4*l. Is z(0) a multiple of 7?
False
Let c = 15397 + 8715. Does 176 divide c?
True
Suppose 0 = 7*p - 17*p - 2*p + 12120. Is p a multiple of 4?
False
Suppose 2*b + 8 = 0, -79*k + 81*k = 5*b + 62056. Is k a multiple of 24?
False
Let o = 50 + -5. Let f be (-402)/3 + 0/(-4). Let y = o - f. Does 10 divide y?
False
Let g(r) = -23*r - 19. Suppose 10 = z - 2*z - 3*w, 0 = 5*z + 5*w. Let t(i) = -6*i + 25. Let f be t(z). Is g(f) a multiple of 18?
False
Let s(q) = 11*q**2 + 11*q + 5. Let f(n) = -12*n**2 - 10*n - 4. Let m(l) = -3*f(l) - 2*s(l). Let g be m(3). Does 19 divide (-4 - -6)*g/4?
True
Suppose 6*d - 308 = -5*d. Suppose 0 = s - 2*m - 752, -2*s = -d*m + 25*m - 1505. Is 20 a factor of s?
False
Suppose 4*m + 209 = -219. Let l = m - -111. Suppose -3*u = -4*v + 28, 0 = l*v - 2*u + u - 36. Is v a multiple of 2?
True
Let d = -13224 - -26296. Is d a multiple of 38?
True
Let z(m) = 30*m**2 + 31*m - 99. Is 119 a factor of z(-17)?
False
Let v(g) = -g**2 + 9*g + 133. Let l(z) = -z. Let k(b) = -5*l(b) - v(b). Does 38 divide k(23)?
True
Let t(r) = r**3 - r**2 + r + 3. Let h be 1*2*(2 + -1). Let v be t(h). Suppose -6*l = -k - v*l + 166, -5*k = 3*l - 794. Does 20 divide k?
False
Let d = 338 - 96. Suppose 2*v - 51 - 437 = 2*f, d = v - 2*f. Is v a multiple of 31?
False
Let d(a) = 8*a**2 - 17*a - 31. Let z(l) = -l**2 + 2*l + 2. Let r(f) = 3*d(f) + 21*z(f). Does 18 divide r(-9)?
False
Suppose -2*b - 2*b + 720 = 0. Suppose -4*h - 6 = 2*n, -54*h + 16 = 4*n - 53*h. Suppose 2*x = -3*x - 5*v + b, 3*x - 114 = -n*v. Is 24 a factor of x?
False
Let h be (2/4)/((-19)/(-38)) - -3. Suppose i - h*z = 343, 2*i = -0*i - z + 659. Is 54 a factor of i?
False
Is 32 a factor of 13991 - -1 - (-126)/(-14) - 2?
False
Does 17 divide (21068/8 + 0 + -4)/(60/40)?
False
Suppose 3*p = 6*p - 33. Suppose c - 12 = -3*x, -2*x = -p*c + 7*c + 48. Is 2 a factor of c?
True
Let v = -142 + 145. Suppose -5*a + 1695 = -5*o, -7*a + v*a = -5*o - 1358. Does 18 divide a?
False
Suppose -w + 3*w - 294 = 0. Let i = 571 - 523. Let y = w - i. Does 33 divide y?
True
Suppose -5*h + j = 6*j - 215, -j = -2*h + 83. Let l = h - -198. Does 30 divide l?
True
Suppose -5*n - 4*a - 10945 + 33275 = 0, -2*n - 4*a + 8932 = 0. Does 3 divide n?
False
Let o(u) = -8*u + 124. Suppose 0 = -135*x + 136*x - 8. Is o(x) a multiple of 12?
True
Suppose b - 2340 = 21*b. Is (-910)/b - 4/(-18) a multiple of 2?
True
Suppose 0 = -2*f + 1 + 3. Let b(g) = 7*g**3 - 3*g**2 + 2*g + 1. Let m be b(f). Suppose -l - 5*s + m = 0, 2*s = -3*l + l + 90. Is 11 a factor of l?
True
Suppose 3*z + 49*p - 270 = 50*p, 2*z - p - 180 = 0. Is (z/(-8))/(219/(-25112)) a multiple of 9?
False
Let i be (-35)/3 + 18/(-54). Let c(f) = 2*f**2 + 28*f + 135. Is c(i) a multiple of 2?
False
Let q(f) = -7*f + 31. Let p(h) = -4*h + 16. Let u(c) = -5*p(c) + 3*q(c). Let w be u(9). Suppose 4*x = 5*g + 363, -w*x - 28 + 411 = -g. Is 27 a factor of x?
False
Let w(b) = 101*b - 40. Let u be w(-10). Let m = -513 - u. Is m a multiple of 22?
False
Let h = -1456 + 948. Does 14 divide ((-275)/(-33))/(h/(-168) + -3)?
True
Let x(w) = -w + 8. Let t be x(-10). Suppose -4*q = -3*z - 24, 3*z + t = -q + 3*q. Suppose q*p = 5*p - 28. Does 3 divide p?
False
Let a(c) = -592*c + 3922. Is 4 a factor of a(2)?
False
Suppose 0 = -u + 3*y - 5 + 1, 5*y + 12 = 4*u. Suppose -u*o = -410 - 110. Does 13 divide o?
True
Let r = -5546 + 6489. Is 2 a factor of r?
False
Let x(u) = 5*u - 26. Suppose -153 = 3*r - 2*k, -4*k = 2*r - 0*k + 86. Let y = r - -56. Is x(y) a multiple of 4?
False
Let h(c) = 9*c + 15. Let v be h(-6). Let r = -35 - v. Suppose r*u = d - 39, -5*u - 114 = -4*d - 3*u. Is 3 a factor of d?
True
Let l(g) = -2*g**2 - 4*g - 3. Suppose -z + 9 = 5. Let w be l(z). Let q = -27 - w. Is 19 a factor of q?
False
Suppose -11842 + 572 = -4*p - 3*n, 0 = -p - 3*n + 2804. Is 17 a factor of p?
True
Let u = 1265 + 5843. Does 11 divide u?
False
Suppose 208*s - 16 = 200*s. Is (-33)/(-3*s/42) a multiple of 33?
True
Suppose 48 = 4*o - 4*u, 2*o + 2*o - 5*u - 46 = 0. Let s = o - -193. Is 69 a factor of s?
True
Let g be (1 + 10)/((-1 + 2)*1). Let w(l) = l**2 - 10*l - 8. Let x be w(g). Suppose 3*t - 4*m = 80, x*t + m = 107 - 22. Is t a multiple of 12?
False
Let y be (18/45)/(((-2)/60)/(-1)). Is 9/(y/(-18)*2/(-32)) a multiple of 23?
False
Let s(f) = 83*f**2 - 127*f -