m = -v - 168. Does 16 divide m?
False
Let k = -34 + 31. Let l(u) = -u**3 - u**2 + 3*u - 4. Let y be l(k). Does 18 divide (-9)/(-2 + y) + 93?
True
Let h(f) = 3*f - f + 9*f**2 + 4 - 3. Suppose 0 = -5*j + r - 8, 0 = -2*j - 3*r - 2 + 9. Is 8 a factor of h(j)?
True
Let w(b) = -b**2 - 5*b - 4. Let l be w(-5). Does 5 divide 1/(l/(-120)) - -1?
False
Suppose 6344 = -40*m + 35944. Is m a multiple of 15?
False
Let d(f) = 4*f**2 - 5*f - 13. Does 6 divide d(-7)?
False
Suppose 3*d = d + 136. Suppose 2*g + j = 54, 4*g + 3*j = 42 + d. Does 12 divide g?
False
Let h(p) = 3*p**2 - 4*p + 45. Is 21 a factor of h(8)?
False
Suppose -7*k + 4*l = -4*k - 907, 0 = -3*l - 12. Is 17 a factor of k?
False
Let g(m) = -m**3 - 2*m**2 - 2*m - 4. Let p be g(-3). Let d = -3 + p. Suppose -130 = 3*q - d*q. Does 7 divide q?
False
Suppose -78 = 3*t - 207. Let f(w) = -53*w + t*w + w**2 + w**2 + 8. Does 5 divide f(6)?
True
Let h(a) = 3*a + 13. Let o be h(0). Suppose -o*d + 920 = -3*d. Is d a multiple of 23?
True
Let o be (-1)/(-5) + 1/((-5)/(-1329)). Suppose -9*h + o = -139. Is h a multiple of 15?
True
Let y(f) = f**2 + 3*f + 2. Suppose -5*w + 1 = -2*n + 7, 2*w - 2*n = 0. Let a be y(w). Suppose a = 6*x - 11*x + 325. Does 11 divide x?
False
Suppose -9*b + 61 = 169. Does 3 divide (-452)/b + (-24)/9 + 2?
False
Suppose -6*d + 1 = -5*d. Suppose 0 = -2*l + 7 + 25. Is 160/l - (-2 + d) a multiple of 8?
False
Let i(f) = 7*f**3 - 3*f. Let u(k) = -3*k**3 + k. Let t be 1/(-2) - (-15)/6. Let l(g) = t*i(g) + 5*u(g). Does 2 divide l(-1)?
True
Suppose 33*x = 30*x + 210. Is 7 a factor of x?
True
Let k(i) = -i**3 - 5*i**2 - 2*i + 4. Let j be k(-3). Is 21 a factor of (j/6)/(4/(-222))?
False
Let q be ((0 - 1) + 1)/(-2). Let i be (q - 1) + (-76)/(-4). Does 24 divide i*(-2)/(-3)*4?
True
Let g(h) = -2*h**2 - 7*h + 15. Let c be g(6). Let n = c + 244. Let w = n + -77. Is w a multiple of 18?
False
Suppose -2*s + 3 + 1 = 0. Suppose f - i = -4*i + 48, 4*i = -s*f + 100. Is f a multiple of 27?
True
Suppose 290 + 1598 = -4*m. Is m/(-26) + 4/(-26) a multiple of 18?
True
Let l(x) = 2*x**2 + 3*x + 1. Let v be l(-2). Let z be 2*1*(-49)/(-14). Suppose v*a + 64 = z*a. Does 8 divide a?
True
Suppose 4*l + 3*v = l + 21, 25 = 5*v. Is 577/l - 8/16 a multiple of 41?
False
Let h be 16/10*1160/16. Suppose -4*d + 4*l + 0*l = -h, -9 = -d + 5*l. Is d a multiple of 9?
False
Let o(d) = 28*d + 10. Suppose -4*a - 26 = -5*q, 4*q + 0*a - 22 = 2*a. Is o(q) a multiple of 9?
False
Let s(m) = -2*m - 7. Let j be s(-5). Suppose y = 13 + 35. Suppose -7*z + y = -j*z. Is z a multiple of 3?
True
Let s = -723 + 1421. Is 16 a factor of s?
False
Let y = 650 + -50. Is 15 a factor of y?
True
Let y be (-4)/(-22) + -9*(-28)/66. Suppose 4*d + y*j - j - 717 = 0, 15 = -3*j. Is d a multiple of 38?
False
Suppose -8*a + 5*a = -9. Suppose -w + 2 = 4*p - a, -p + 5 = 0. Is 38 a factor of ((-24)/w)/((-8)/(-380))?
True
Let u = -6 + 34. Suppose -l - u + 34 = 0. Is l a multiple of 2?
True
Let i(w) = -w + 15. Let h be i(11). Let j be (1 + -1)*(-3 + h). Suppose 4*f = -j*f + 344. Does 18 divide f?
False
Let v = 110 + -78. Let d = 18 + -8. Suppose g - d - v = 0. Does 14 divide g?
True
Is 33 a factor of (-19)/((-11)/(-13926)*-6)?
False
Suppose l = h - l + 10, -4*h - 16 = 4*l. Let n(a) = -18*a - 45. Does 9 divide n(h)?
True
Is 3608/100 + 28/(-350) a multiple of 29?
False
Let p(w) = 75*w - 2. Let t be p(1). Let i = t - 28. Suppose -12 = d - i. Is 11 a factor of d?
True
Let l = 25 - -132. Is l a multiple of 7?
False
Suppose 16*c + 20 = 21*c. Suppose -o = c*i + o - 752, 3*o = 0. Does 47 divide i?
True
Suppose 0 = -2*g + 5*g - 159. Let k = g + -8. Is 20 a factor of k?
False
Suppose 0 = 8*y - 13*y + 280. Let z(l) = l**2 + l + 2. Let s be z(-3). Suppose 2*u - y = s. Is 16 a factor of u?
True
Let i(h) = 13 + 3*h + 4*h - 5*h. Suppose -4*b = 5*z - 54, -2*z + 5*z - 29 = b. Is i(z) a multiple of 20?
False
Let t(r) = -r**3 + r + 1. Let c(f) = 18*f**3 - 2*f**2 + 5*f + 6. Let j(q) = -c(q) + 5*t(q). Does 12 divide j(-1)?
True
Let y = 65 + 126. Suppose -226 - y = -4*i + 5*a, -517 = -5*i + 2*a. Is i a multiple of 8?
False
Suppose 0 = 4*k - 5*r - 15188 + 49, -5*k = -r - 18929. Is k a multiple of 33?
False
Suppose 15589 = 23*i - 51. Is i a multiple of 20?
True
Let r(h) = -2*h + 12. Let l be r(11). Let p = l + 36. Is p a multiple of 16?
False
Let s be 1 + (-4 + 2)/(-2). Let a = -14 + 19. Suppose 19 = s*h - 2*u - 11, -5*h + 105 = a*u. Does 18 divide h?
True
Let s = -5 - -7. Suppose -152 = -s*f - 3*k, 0 = f - 0*f - 3*k - 94. Let p = f - 2. Is 23 a factor of p?
False
Is 18/2 - (-63274)/34 a multiple of 14?
False
Suppose 5 = -n - 7. Does 13 divide (8/(-1))/(n/(-15) - 1)?
False
Suppose 3*a = o + 16, -3*o - 8 = a - 0. Let q = 5 + o. Let r = q - -7. Is 3 a factor of r?
False
Suppose 1383 = 21*r - 1242. Is r a multiple of 71?
False
Is 17 a factor of 385596/360 + (-1)/10?
True
Let l be -3*(660/(-9))/5. Let b = -15 + l. Is b a multiple of 13?
False
Let g = 9 + 2. Suppose -g*i - 1080 = -14*i. Suppose -5*j + i = 3*m + 2*m, -63 = -m - 4*j. Does 21 divide m?
False
Let q = 86 - -18. Suppose 2*c - 2 = q. Let t = 131 - c. Is t a multiple of 18?
False
Does 86 divide (-561968)/(-594) - (-4)/(-54)?
True
Let l(c) = 7*c + 19. Let b = 46 + -39. Does 27 divide l(b)?
False
Let a(m) = -2*m**2 + 10*m - 2. Let n be a(7). Let x = 34 + n. Suppose f - 203 = -x*p, -2*p + p + 4*f + 72 = 0. Does 15 divide p?
False
Suppose 2 = x, 12*x - 8 = -l + 11*x. Suppose 99 = z + 3*h, -7*z + l*z + 5*h + 75 = 0. Is z a multiple of 18?
True
Let p(r) = r**3 - r**2 + 5. Let b be p(0). Suppose -6*f + 42 = -b*f. Does 2 divide f/12*4/7?
True
Let x = -144 + 191. Does 5 divide x?
False
Let j(q) be the third derivative of -q**6/10 + q**5/60 - q**3/6 + 2*q**2. Let x be 2*(1 + 9/(-6)). Is j(x) a multiple of 3?
True
Suppose -273 = 5*z - 2638. Does 12 divide z?
False
Suppose x + 11 + 9 = -2*w, -2*w = 4*x + 20. Let z(a) = a**2 + 7*a - 7. Let d be z(w). Let q = 39 - d. Is q a multiple of 16?
True
Let d(j) = j + 4. Let p be d(0). Suppose -31 = 17*x + 54. Is 10 a factor of x/(20/(-184)) + p?
True
Let b(v) = 2*v**2 + 2*v - 1. Let u be b(1). Suppose 2*h + 0*g - 178 = -g, -u*g + 174 = 2*h. Is 10 a factor of h?
True
Let h(o) = -o**3 + 14*o**2 + 3*o - 5. Let w = -5 + 19. Is h(w) a multiple of 17?
False
Suppose -297 = -3*l - 0*l. Let a be (-18)/12*8/(-3). Suppose 0 = -a*r + 5 + l. Does 8 divide r?
False
Let g be 1*(-6 + (0 - -1)). Let o(n) = -n**2 - 7*n + 12. Does 5 divide o(g)?
False
Let t(x) be the second derivative of -3*x**3/2 - 29*x**2/2 - 10*x. Is 16 a factor of t(-13)?
False
Let k be (1 - 4/4) + -21. Let b be 22/(2*3/k). Is (-6)/33 + (-399)/b a multiple of 4?
False
Is 102/(65/15 - 4) a multiple of 11?
False
Let o = 10 + -8. Let z(a) = 5*a + 0*a**3 + 1 - a**3 - 9*a - 4*a**o. Does 10 divide z(-4)?
False
Let h be (8/(-5))/2 + 4/5. Suppose 2*d = -3*r + 23, -r + h = -5*d - 2. Does 3 divide r?
False
Suppose 3*p + 8*t - 29 = 3*t, 3*t = -2*p + 19. Suppose -p - 4 = -3*u. Let z = 7 + u. Does 11 divide z?
True
Suppose -2 = -5*r + 18. Let h(t) = t**3 + 26*t**2 - 25*t + 56. Let f be h(-27). Is 16 a factor of (f/r)/((-6)/(-192))?
True
Suppose 12 = -18*u + 22*u, 0 = -3*z + 5*u + 585. Does 25 divide z?
True
Let g be (-2)/((-36)/15 + 2). Suppose -5*m = 2*u + 6, g*m - 9 = m + 3*u. Suppose 16 = w - 2*x, -5*w - 5*x + 95 = -m*w. Does 9 divide w?
True
Suppose 4*m = 2*m + 2, -905 = -3*x - 5*m. Suppose 0 = 4*g + 24. Is (x/9)/(-5)*g a multiple of 14?
False
Suppose 0 = -3*y - 0 + 9. Suppose -4*c - 1028 = -5*l, -8*l + 4*l + y*c = -822. Is 12 a factor of l?
True
Let x(v) = 12*v + 4. Let q be x(-1). Is 10*((-20)/q - -1) a multiple of 7?
True
Let h(n) = -n**3 - 65*n**2 + 108*n - 48. Is h(-67) a multiple of 77?
True
Let j(k) = 19*k**2 - 3*k + 2. Let a(u) = u**3 - 2*u**2 - 2*u. Let v be a(-2). Let y = 14 + v. Does 18 divide j(y)?
True
Suppose 0 = -4*j - v + 266 + 2179, 0 = -3*j - 5*v + 1821. Is 9 a factor of j?
True
Does 43 divide 4*5806/36 + (-2)/18?
True
Let p(g) = -12*g + 14. Is p(-7) a multiple of 38?
False
Suppose -11654 = -22*n + 1326. Does 29 divide n?
False
Let s(n) = n**3 + 20*n**2 - 12. Let t be s(-20). Let b(y) = -y**3 - 12*y**2 - 2*y - 12. Is 7 a factor of b(t)?
False
Is 27 a factor of ((-7)/(105/(-48)))/(10/3925)?
False
Suppose -l + 237 = 4*t - 243, -t - 1 = 0. Is 11 a 