438 = -3*w + 2*y. Let j = 293 + w. Does 35 divide (-3 - j/9)/(1/(-3))?
False
Is 143242/221 - 44/(-143)*(-1)/2 a multiple of 3?
True
Let d = 4151 + -1183. Is d a multiple of 29?
False
Let x = 4894 - 2044. Suppose 0 = -559*y + 564*y - x. Is y a multiple of 12?
False
Let r be (-102)/(-42)*-2*-7. Let s(m) = -2*m + 76. Is s(r) a multiple of 6?
False
Let p(m) = -m**2 - 6*m - 3. Let i(h) = h**3 + 8*h**2 + 7*h - 4. Let n be i(-7). Let u be p(n). Suppose 346 = 2*k - 4*c, u*c + 692 = 2*k + 2*k. Does 19 divide k?
False
Let k(h) = -10*h**3 + 2*h**2 - 12*h - 29. Does 10 divide k(-3)?
False
Suppose 28 = 2*b + 5*z, -3*b + z + 12 = b. Suppose -4*i + m = -4*m - 903, -897 = -4*i + 3*m. Suppose 2*h = -2*k + i, k - 3 = -b. Is 17 a factor of h?
False
Let m(q) = -27*q + 12. Let g be (-5)/1 + 12 + -16. Let w be m(g). Suppose -3*u = -b - 2*b - w, 4*b = 3*u - 257. Is 20 a factor of u?
False
Suppose -73*v + 4739375 = 64*v + 1231901. Is 34 a factor of v?
True
Let r(c) = -c**3 + 4*c**2 + 78*c + 91. Is r(-13) a multiple of 25?
True
Is 123 a factor of ((-61)/((-7076)/870))/(-1 + (-411)/(-410))?
True
Suppose 0 = -3*m + 41 - 131. Let r = -26 - m. Suppose 0 = -s - r + 94. Is 19 a factor of s?
False
Is 9*25*114/(-95)*170/(-4) a multiple of 15?
True
Let s = 1044 + -688. Let n = 498 - s. Suppose n = -11*i + 868. Does 22 divide i?
True
Suppose -16260 = -8*x - 7*x. Let r = x + -744. Does 17 divide r?
True
Suppose 2*x + 2*v - 43 = 3*v, -x + 26 = -5*v. Suppose 2*z - 746 = -2*g, -4*g - x + 9 = 0. Is z a multiple of 57?
False
Let y(h) = h**3 + 7*h**2 + 7*h - 28. Let u be y(-6). Let g(r) = -r**2 - 36*r + 184. Is g(u) a multiple of 21?
True
Let c(q) = 1287*q + 2225. Does 91 divide c(7)?
False
Is 19 a factor of (-1)/(((6/37610)/3)/(126/(-42)))?
False
Let s be (-7)/(-77) + 1044/11. Suppose -s*a - 2250 = -101*a. Does 15 divide a?
True
Let b(n) = 83*n**2 - 9*n - 26. Let y be b(-3). Suppose 0 = -10*z - z + y. Is 34 a factor of z?
True
Let n(r) = -7*r**2 + r + 56. Let t be n(7). Let i(h) = 211*h - 2. Let m be i(-2). Let c = t - m. Does 12 divide c?
True
Let s(v) = v**3 - 12*v**2 - 13*v + 3. Let b be s(13). Suppose 2*l - 1343 = -4*k + 7*l, b*k - l = 1021. Does 10 divide k?
False
Let k = -83 + 94. Suppose 0 = -k*v + 304 + 356. Is v a multiple of 10?
True
Let z = -6563 - -46383. Is z a multiple of 145?
False
Let m(c) = -5*c**2 + c**3 + 19*c - 361 + 362 - 5*c. Let t be m(6). Suppose 5*n = -4*y + t, -2*y - 38 - 59 = -5*n. Is n even?
False
Suppose -7 = -65*j + 64*j. Suppose -j*x = -297 - 403. Suppose -7*y - 80 = -4*s - 4*y, -2*y - x = -5*s. Is 10 a factor of s?
True
Let l = -57 - -59. Let d be ((2 + 1)*1)/(l/(-22)). Let p = 54 - d. Is 12 a factor of p?
False
Suppose 5*f - 316 = -4*v, -4*f = -4*v + 253 + 99. Let a = v + -86. Is (-1 - -14)/(62/(-32) - a) a multiple of 35?
False
Let s(q) = q**3 - 11*q**2 + 17*q + 5. Let f be s(9). Let b be (-1)/f + (-72)/(-96). Is 15 a factor of 38 - 5 - b/1?
False
Let l(j) = 8*j**2 - 200 - 2*j**3 + 106 + 98 + 8*j. Let r be l(-6). Suppose 0 = -9*z + r + 755. Does 8 divide z?
False
Suppose 2*l - 8*l + 273000 = 24*l. Is 65 a factor of l?
True
Suppose w = 3*n + 2452, -4*n = -w + 646 + 1803. Is w a multiple of 24?
False
Is 52 a factor of (-244 - -5296) + (1 - 15)?
False
Does 104 divide -7 + (11/(-13) - -1) + (-2083307)/(-559)?
False
Let r be 11*11*(2 + 2 + -5). Let s = r + 748. Is s a multiple of 58?
False
Let b(s) be the first derivative of 9*s**2/2 - 12*s + 16. Let v be b(6). Let h = 49 - v. Does 4 divide h?
False
Let z(j) = -4*j + 41. Let q be z(7). Suppose -835 = -2*s + 5*n, q*s = 14*s + 5*n - 425. Is 5 a factor of s?
True
Let f be 1*5/(-15) - 20/(-6). Let m be f + (-73)/5 - (-4)/(-10). Is ((-81)/3)/((-10)/m - 1) a multiple of 12?
False
Let j = 37446 + -36565. Is j a multiple of 3?
False
Suppose 4*v = -2*b + 3*b + 5, 3*v - 3*b = 15. Suppose -4*l + 836 + 1296 = v. Is l a multiple of 9?
False
Suppose -2*g - 78 = -5*g. Suppose -5*t = 4*s - g, -24 = -4*t - 6*s + 2*s. Let h(n) = 9*n - 3. Is 15 a factor of h(t)?
True
Suppose 153*p + 208*p - 3427060 = -94*p. Is p a multiple of 7?
True
Let b = -3376 + 3778. Is b a multiple of 6?
True
Let m(y) = 4*y + 305. Suppose 2*k + 864 = -22*k. Is 7 a factor of m(k)?
True
Let f = 56918 + -21238. Is 32 a factor of f?
True
Let f be (-15)/21*(-2 - 5). Suppose -m + f*y - 142 + 765 = 0, -2*m = 5*y - 1201. Is m a multiple of 46?
False
Suppose 691 + 29 = 2*m. Suppose 195 = u - 0*j - 4*j, m = 2*u + 2*j. Is (u/9)/((-1)/(-3)) a multiple of 26?
False
Let u(j) = -2*j**3 - 4*j**2 + j + 6. Suppose 8*c = c - 14. Let f be u(c). Suppose 4*m - 241 = -h, 0 = -2*m + f*m + 2*h - 122. Is m a multiple of 12?
True
Let d(w) = -2*w**3 + 7*w**2 + 5*w - 6. Let k be d(4). Let b be -3 - (-2 - 5 - k). Suppose -b*q + 178 = 5*f, -2*f - 113 = -4*q + 243. Is q a multiple of 10?
False
Let u = 1933 - 1523. Does 40 divide u?
False
Is 3 a factor of (-274*(-3)/(-12))/(5/(-310))?
False
Let y = 49 - 69. Does 26 divide 117/(4/16 + (-25)/y)?
True
Suppose 6*q - 5*q = 0, -20310 = -2*b + 5*q. Does 13 divide b?
False
Suppose -131760 = -3*l - 3*x, -43917 = -267*l + 266*l - 2*x. Is l a multiple of 11?
True
Is 204 a factor of (-26 - 4)/(-5*6/14940)?
False
Let l(d) = d**2 + 13*d + 9. Suppose -3*b - 4*g = -0*b - 17, 3*b = 4*g + 49. Let o be l(b). Suppose -3*s + o = -252. Is 20 a factor of s?
False
Let w(l) = -25*l**2 + 409*l - 10. Is 74 a factor of w(7)?
True
Let p be ((-10)/25)/(1/(-5)). Let w = -4 - -7. Suppose w = p*t - 17. Is 9 a factor of t?
False
Suppose -5*l - 202 = -3*d, 0*l + 4*d = -2*l - 86. Let j = l - -56. Suppose -9*p = -j*p + 42. Is p a multiple of 7?
True
Suppose 5*m - 96 = 29. Let t = 157 - 32. Let a = t + m. Is a a multiple of 30?
True
Let v = -33172 - -35276. Does 3 divide v?
False
Suppose b + a + 50 = 0, 103 = -3*b - a - 43. Suppose -6*w + i = -2*w - 8, w + 4*i + 15 = 0. Does 25 divide w/(28/b*(-4)/350)?
True
Let q(d) = d. Let j(p) = -10*p - 10. Let f(i) = 2*j(i) + 10*q(i). Let t be f(-11). Suppose 6*l = 6 + t. Does 5 divide l?
False
Let p(v) = -v + 3. Let x be p(-1). Let f be (-342)/((-3)/(-1))*(-2)/x. Suppose -51 = -4*z + f. Is z a multiple of 9?
True
Suppose -2*w = -5700 + 5716, -2*d - 5*w + 14714 = 0. Does 28 divide d?
False
Let y(u) = 3284*u - 2748. Is 12 a factor of y(4)?
False
Suppose -18317 = -137*p + 411041. Is p a multiple of 12?
False
Let j be 3/(-36) - (-49)/12. Is (0 + 6 - j)*296 a multiple of 74?
True
Let j(f) = 5791*f**2 - 215*f - 423. Is j(-2) a multiple of 47?
True
Let p(i) = -i**3 + 4*i**2 + 10*i + 817. Is 35 a factor of p(0)?
False
Let c(d) = d**3 + 18*d**2 - 11*d + 175. Does 3 divide c(-11)?
True
Let b = 10 - 7. Let z(n) = -3*n**2 + 4 + n**3 + 2*n - 3 - b*n + 2*n**2. Does 24 divide z(5)?
True
Let u = 501 + 7209. Is 30 a factor of u?
True
Let h = 12131 + -9812. Is 3 a factor of h?
True
Let a(r) = r**2 + 10*r + 6. Let s be a(-9). Let t = 10 + s. Suppose t*p - 170 = 68. Is 30 a factor of p?
False
Suppose -2029*t + 2043*t - 139981 - 106895 = 0. Is 34 a factor of t?
False
Suppose 10472 - 684 + 28772 = 10*a. Is 155 a factor of a?
False
Let b = -18278 + 26454. Is 16 a factor of b?
True
Let s be (-8 + 3)/5 - (-2)/2. Let w(d) = -2*d - 2. Let y be w(s). Is 15 a factor of 2 + ((-312)/(-5) - y/(-5))?
False
Is (-30060)/(-34) + (184/(-10948))/(2/14) a multiple of 34?
True
Let w = 43 - 39. Suppose -2*b = 2*z - 8, -w*b = -z - 8 - 8. Suppose z = -2*y + 5*x + 47, y - 5*y - x = -61. Is y a multiple of 8?
True
Is 8 a factor of (19 + (-1 - -5))*(18 + 27)?
False
Suppose -2*d + 29 = -1461. Does 5 divide d?
True
Suppose 0 = -0*a - 4*a + 3*b + 9, -4*a = -5*b - 15. Suppose a = 5*c + 355 - 1095. Is c a multiple of 9?
False
Suppose v + 5*v = -2052. Let r = 396 + v. Is r a multiple of 27?
True
Let u(w) = 6*w**3 - 3*w**2 + 48*w - 305. Is 13 a factor of u(8)?
False
Let h be (-21)/6 - -4 - (-9)/2. Let k = h + -1. Suppose -2*g + 91 = -q, 0 = -2*g + 6*g + k*q - 212. Does 12 divide g?
True
Suppose -14*u + 2*i = -12*u - 1168, 0 = -4*i + 4. Does 9 divide u?
True
Let u = -23 - -33. Suppose -200 = -u*w + 8*w. Let z = -66 + w. Is 15 a factor of z?
False
Let l(x) = -x**2 + 27*x - 23. Is 10 a factor of l(8)?
False
Let b(j) = 20*j - 36. Let i be b(3). Suppose i*p = 18*p + 1968. Is 82 a factor of p?
True
Does 16 divide 654/(-108) - -6 - 2513672/(-144)?
True
Let j(w) = 52*w**2 + 832*w - 29. 