Let s be 2 - (-1491 + 8 + -8). Let h = s - 505. Is h a multiple of 38?
True
Let j(o) = o**2 - 3*o**3 + 1 - o**3 + 5*o**3. Let v(z) = -3*z**3 + 9*z**2 - 9*z - 15. Let c(u) = -2*j(u) - v(u). Does 2 divide c(10)?
False
Let j(h) = -6*h**2 - 947*h - 236. Is j(-133) a multiple of 107?
True
Let z be 88/132*(-30)/2. Is 9 a factor of 508 + (-5 - (z - -2))?
False
Let j(c) = -c**2 + 12*c + 5. Let k be j(12). Let y be 189/35 - k - (-26)/10. Suppose -3*o + 3*f = -87, -y*o = 2*o - f - 137. Does 6 divide o?
False
Suppose -3*s - 2*v = -5455, -6*s + 9*s = v + 5449. Suppose 5*p - 3 = s. Does 7 divide p?
True
Suppose -v = 5*z - 11 - 0, -z - 5 = -v. Let f be (-2)/(-10) - v/30. Is (1 - f)*(134 + 2 + -2) a multiple of 36?
False
Let a(c) = 3*c**2 + 13*c + 16. Let d(o) = o**2 + 15*o + 29. Let p be d(-3). Is 12 a factor of a(p)?
True
Does 6 divide ((-6)/9 + 1742/(-3))*(-225)/100?
True
Let o = -185 + 403. Let n = o + -173. Is n a multiple of 3?
True
Let z(f) = 3*f**2 + 3*f + 37. Let m(q) = q**2 + 2*q + 18. Let u(w) = -7*m(w) + 3*z(w). Does 24 divide u(7)?
True
Let v be 1/(((-25)/183900)/((-2)/8)). Suppose -v = 44*c - 17019. Is c a multiple of 43?
False
Let a(t) = -t**3 + 11*t**2 - 6*t + 23. Let n be a(10). Let w be -16*(1/5 + n/(-15)). Is 32 a factor of (0/(1 - 3))/1 + w?
True
Is (29312/(-10))/(12*22/(-660)) even?
True
Let g(n) = n**2 + 4*n + 49. Let y be g(-5). Let f = y - -896. Is f a multiple of 19?
True
Let t(i) = 136*i + 3392. Does 100 divide t(78)?
True
Let b(g) = -g**3 + 55*g**2 - 106*g + 41. Does 345 divide b(23)?
False
Let b(y) = -y**3 - 1. Let a(s) = 1126*s**3 + 6*s**2 - 3*s - 3. Let z(w) = a(w) - b(w). Is z(1) a multiple of 22?
False
Let y = 635 - 1070. Let l be 10/35 - y/21. Is 97 + 48/l + (-10)/35 a multiple of 19?
False
Suppose -3*c + 64899 = -t, 1496*c - 1501*c = -t - 108163. Is 32 a factor of c?
True
Suppose t - 1 - 323 = 0. Suppose -t = g - 85. Let q = g - -372. Is 17 a factor of q?
False
Let b = -5185 - -5124. Suppose -2*z - 3*z = -395. Let j = z + b. Is j a multiple of 5?
False
Suppose 3*q - 11951 - 8221 = -3*a, 6688 = q - 3*a. Does 17 divide q?
True
Let f(o) = 3*o - 2. Let u = -52 + 42. Let v be u/(-6 + (0 - -4)). Is 5 a factor of f(v)?
False
Let d = -14010 + 41884. Is 20 a factor of ((d/21)/11)/((-4)/(-18))?
False
Let y be (-5)/(-4 - 1)*3. Suppose -y*l + 584 + 28 = 0. Suppose -c + 54 = -3*u, 5*c - l = u + 38. Does 12 divide c?
True
Suppose 653 = 3*l + 6*j - 11*j, -477 = -2*l - 5*j. Suppose -2*k - l + 1264 = 0. Does 13 divide k?
False
Let n(m) = 91*m**2 - 146*m - 1965. Is n(-19) a multiple of 180?
True
Let j be -5 + (1 - 8/(-2) - -4692). Suppose -j = -23*p - 644. Is p a multiple of 19?
False
Is 44 a factor of (6696 - -5 - (-12)/(-3) - 6) + -3?
True
Suppose -2*g + 4*r - 38 = 0, -100 = 4*g + 3*r + r. Let s = g - -27. Suppose 0 = 5*w + 10, 2*j - s*w - 33 = -3*j. Is j a multiple of 3?
False
Let a(d) = 43*d - 2. Let n(o) = o + 4. Let w(q) = a(q) + 2*n(q). Is w(7) a multiple of 6?
False
Suppose 9*p - 6*p + 2595 = 0. Does 29 divide p/(-15) + (-4)/36*-3?
True
Suppose 7*m + 0*m + 175 = 0. Let p be 9417/15 - 5/m. Suppose d = 5*d - p. Is d a multiple of 35?
False
Suppose -8*o - 116730 = -8*m - 3*o, 0 = -m - 5*o + 14625. Is m a multiple of 35?
True
Suppose 5*h - 3*o = 143906, -35*h + 993401 + 13780 = 2*o. Is 31 a factor of h?
False
Suppose -5*s = -210 - 925. Let z = 78 + s. Suppose 0 = -3*n - 2*n + z. Is 9 a factor of n?
False
Let x = -63 + 67. Suppose o - 24 = -x*q - 2, -2*o + 56 = 4*q. Does 9 divide o?
False
Suppose -342*q = -359*q + 238. Let t(v) = 13 - 1 + v**2 - 5*v + 15. Does 39 divide t(q)?
False
Let c be (-10)/(-65) + 2604/(-26) + -2. Let r = 168 + c. Suppose -l = -3*y - r + 658, -4*y - 2*l + 776 = 0. Is 35 a factor of y?
False
Let i(s) = -s**3 + 10*s**2 + 34*s - 55. Is 9 a factor of i(10)?
False
Does 11 divide 4/(-10) + (-47257 + 19)/((-40)/12)?
False
Let n = 513 + -162. Suppose 5*s - 2*s - n = 0. Suppose s - 630 = -3*b. Is 24 a factor of b?
False
Suppose 0 = l + u + 4*u - 10, -3*u = -4*l - 75. Let c(o) = 67*o + 19. Let v(y) = -124*y - 40. Let t(x) = 11*c(x) + 6*v(x). Is t(l) a multiple of 12?
False
Does 10 divide (-76)/38*-1154*(-6)/(-8)?
False
Let y be -3*(-148)/12 + -3 + 7. Suppose y*w = 32*w + 1134. Is 42 a factor of w?
True
Let c(k) = k**3 + 16*k**2 + 16*k + 15. Let z be c(-15). Let l = 15 + z. Is (l/30)/((-2)/(-44)) a multiple of 9?
False
Let z be -5 - -2 - 1 - -37. Suppose -45*m + 4308 = -z*m. Does 35 divide m?
False
Let m be (1/(-2))/(23/276). Let x(w) = -w**3 - 7*w**2 - 7*w - 6. Let r be x(m). Suppose 2*n + 363 = -r*y + 3*y, -241 = -2*y + n. Is y a multiple of 17?
True
Suppose -194*a - 3*w + 46230 = -191*a, 3*w - 15420 = -a. Does 15 divide a?
True
Suppose -13*n + 16711 = -28425. Is 28 a factor of n?
True
Suppose 2*i - 58 - 5350 = 0. Does 52 divide i?
True
Let r be 24/(12/(-2))*13/(-4). Let p(n) = -3*n + 41. Let q be p(r). Suppose -q*x + 52 = t + t, 0 = 5*x - 3*t - 106. Is 23 a factor of x?
True
Suppose 0 = -u + 4 - 0, -d + 5*u - 16 = 0. Suppose -d = w - 6. Suppose -3*c + 13 = q - 13, w*c + 4 = 0. Is 9 a factor of q?
False
Suppose 6589*d - 6609*d + 69580 = 0. Is d a multiple of 7?
True
Does 32 divide 16/(((-13926)/636)/11 - -2)?
True
Let q = -57325 - -80927. Does 14 divide q?
False
Suppose 5*t - 360 - 709 = -2*d, -211 = -t + d. Let k = -202 + t. Does 4 divide k?
False
Suppose 14*d - 35824 = 54168. Suppose 938 = 5*q - 4*n - d, 5*q + 4*n = 7374. Is 67 a factor of q?
True
Suppose -4*p + 49133 = -5270*l + 5271*l, -p + 12264 = 3*l. Does 63 divide p?
True
Let i = -10739 - -14479. Is i a multiple of 44?
True
Let g be (3762/(-44))/(2/4). Let l = g - -238. Does 7 divide l?
False
Let s be (24/(-20))/(2/60). Let u(f) = -f - 36. Let a be u(-22). Does 18 divide (s/a)/((-2)/(-14))?
True
Let z = 32908 + -21734. Is 50 a factor of z?
False
Let t = 185 + -180. Suppose -4*w - y + 352 = 0, -176 = t*w - 7*w + 4*y. Is 51 a factor of w?
False
Let j(z) = 2*z**2 - 11*z + 7. Let u be j(5). Is 30 a factor of 3 + u - (-3 - (0 - -22))?
True
Let d(q) = 2*q**2 + 11*q + 40. Let t be d(-5). Suppose w = -3*v + t, -v + 12 = w + 1. Does 12 divide v?
True
Suppose 25*i - 231980 = -23*i + 20*i. Is 19 a factor of i?
False
Let p be 48/(-32)*(-22)/3 - 6. Is 16 a factor of 855 + (-15)/p - (-2 + 6)?
True
Let z(w) = 197*w + 35. Let b be z(2). Suppose -2*m = -d + 202, -18*m = 2*d - 17*m - b. Is d a multiple of 21?
False
Let o be 73 - 8/(-9 + 1). Suppose o = -6*r + 3518. Is r a multiple of 14?
True
Suppose 5*k - 2*u = 12950, -7*k - 12*u + 18124 = -16*u. Is 18 a factor of k?
True
Let n be ((-60)/120)/(1/(-10)). Suppose 0 = b + 3*l - l - 770, -n*l + 3065 = 4*b. Does 40 divide b?
True
Let b(z) = -2*z + 22. Let o be b(9). Suppose 3*h = o*u - 131, 3*u = -3*h - 0*u - 117. Let f = h - -184. Is f a multiple of 39?
False
Let w(y) = y**2 - 6*y + 12. Let i(u) = -u**2 - u. Let h(z) = -2*i(z) - w(z). Suppose -19 = 3*m - 7, 2*m = 2*k + 16. Is h(k) a multiple of 12?
True
Let s = 981 - 2286. Let k = 1852 + s. Is 13 a factor of k?
False
Let j(w) be the first derivative of 49*w**5/20 + w**4/6 - w**3/3 + 10*w**2 + 29. Let l(q) be the second derivative of j(q). Is 27 a factor of l(1)?
False
Is 5 a factor of -17 + 0/(-7) - -2072?
True
Suppose 52227 - 182391 - 73780 = -8*j. Is 12 a factor of j?
False
Let t(k) be the second derivative of 11*k**3 - 2*k**2 + 7*k + 2. Let r be (5/15)/(1/6). Is 8 a factor of t(r)?
True
Let r(f) = 5*f**2 - 63*f - 34. Let w be r(14). Suppose 5*v + 38 = -x + 118, 0 = -x - v + w. Is 60 a factor of x?
True
Let w = 400 - 528. Let s = w - -168. Is 6 a factor of s?
False
Suppose 3 = a - 0. Suppose 154 = a*x - 53. Does 23 divide x?
True
Let v = 7651 + -4602. Is v a multiple of 3?
False
Let i(v) = 14*v**2 + 9*v - 19. Let n be i(3). Let y = -129 + n. Suppose -y*b + 0*b + 765 = 0. Is 24 a factor of b?
False
Let g(r) = r**2 + r + 15. Suppose -4*i = -7*i + 138. Let f = i + -60. Is 29 a factor of g(f)?
False
Let m(w) = -4*w + 56. Let h be m(-25). Does 22 divide h/9*(-165)/(-10)?
True
Let k(c) = 12*c + 58. Let x be k(-5). Suppose -4*f - 53 = -165. Is f - (1 + -2 + x) a multiple of 6?
False
Let u = 137 - 93. Let s(n) = -100*n + u - 37 - 40*n. Is 41 a factor of s(-2)?
True
Let j be (-12)/(-8)*6/27*-3. Let g be (-2 + -2 + 12)*j. Is (3 + 0)*(2 + g/(-1)) a multiple of 15?
True
Let l(d) = 5*d - 36. L