 -w. Suppose -5*v + w = 5. Does 13 divide v/(-2) + (-50)/(-4)?
True
Let c be (3 + 1235 + 2)*(-2)/(-5). Suppose 4*q + 4*q = c. Is 31 a factor of q?
True
Let q = 3379 + -2153. Is 32 a factor of q?
False
Let d be (3 - (-32)/(-12))*12. Suppose -d*y - y + 35 = 0. Is 425/y + (-4)/(-14) a multiple of 19?
False
Let s(j) be the third derivative of -j**4/4 - j**3/3 - 4*j**2. Let i be s(-3). Suppose 25 = q - i. Is q a multiple of 19?
False
Let k(x) = x**2 - 13*x + 10. Let l be k(-6). Suppose 3*z + 31 - l = 0. Is z a multiple of 6?
False
Suppose 0 = -228*r + 219*r + 3780. Does 15 divide r?
True
Let k be 6/(-21) + ((-9)/(-7) - 1). Suppose -4*z - 188 = -2*d - k*z, -3*d + 4*z + 276 = 0. Is d a multiple of 13?
False
Let n(r) = -4*r - 6. Let u be n(-2). Let b(l) = 5 + 1 - 3*l + 9*l**2 - 5. Is 8 a factor of b(u)?
False
Let b(j) be the second derivative of -7*j**3/6 - 39*j**2/2 + 19*j. Does 10 divide b(-7)?
True
Let l be 0*((-6)/(-8) + (-5)/20). Is 20 a factor of 175 + 2 - (l - (2 + 1))?
True
Let g(t) be the second derivative of 3*t**3/2 + 21*t**2/2 + 47*t. Is g(21) a multiple of 35?
True
Let l(q) = 2*q**3 - 84*q**2 + 5*q + 51. Is 87 a factor of l(42)?
True
Let d(h) = -2*h**3 + 22*h**2 + 15*h - 18. Is d(11) a multiple of 49?
True
Let g(l) = l**2 + 14*l + 3. Let d be g(-14). Suppose -2*c - d*m + 46 = 0, 2*c - 45 - 17 = 5*m. Let z = -11 + c. Is z a multiple of 12?
False
Suppose 750 = -21*a + 26*a. Let c = a + -50. Does 25 divide c?
True
Let p = 81 - 153. Is (107/4)/(6*(-3)/p) a multiple of 52?
False
Let j = 178 - 134. Let c = j + -1. Does 12 divide c?
False
Is 252 - (190/40 - 2/(-8)) a multiple of 13?
True
Let u = -14 - -14. Suppose u = -3*q + 51 + 3. Let j = -2 + q. Is 8 a factor of j?
True
Let g = -69 + 75. Suppose 0*u = -g*u + 840. Is u a multiple of 13?
False
Is 7 a factor of (-287)/(4*3/(-9) + 1)?
True
Suppose -31*k = 26*k - 76551. Is k a multiple of 27?
False
Is 24 a factor of 192 - 1 - (5/1 - 6)?
True
Is 7 a factor of 376 - (-2)/(-5)*-5?
True
Suppose 16 = 7*n - 3*n. Let i = n + 5. Does 4 divide i?
False
Suppose 0 = -5*x + c + 255, -5*x + 3*x + 2*c + 110 = 0. Suppose -3*b - 6 = 0, -4*t + 2*b + x = -22. Is t a multiple of 6?
False
Suppose -6*c - 30 = -6. Is ((-253)/(-46))/((-2)/c) a multiple of 3?
False
Let f be 1*4/8*4. Suppose -f*h - 16 = 60. Let t = h + 125. Is 22 a factor of t?
False
Let u(c) = 0*c - 5*c**2 + 2*c - 6 + 7*c**2 + c**2. Let s be u(-4). Let f = s + -20. Is 4 a factor of f?
False
Suppose 5*k - 50 = -10. Let l(x) = x**2 - 6*x - 1. Let o be l(8). Let g = o - k. Does 2 divide g?
False
Let n = -31 - 2. Let j = n + 84. Is j a multiple of 17?
True
Suppose p - 19 = 4*j, -5*p - 3*j - 9 + 35 = 0. Let n(b) = -b + 27. Let l(r) = -r + 14. Let t(y) = -5*l(y) + 2*n(y). Is 5 a factor of t(p)?
True
Let l(i) = 5*i**2 - 19*i - 10. Let a be l(9). Suppose -9*x - a = -11*x. Does 14 divide x?
True
Suppose 106 = 3*f - w, -2*f - 5*w + 4*w + 64 = 0. Let d be 980/238 + (-4)/f. Suppose -2*x + 116 = 5*b, 2*b + d*x - 88 = -2*b. Is b a multiple of 12?
True
Is 60 a factor of (-9348)/(-15) + 14/(-70)?
False
Suppose z + h - 46 = 0, h = -4*z - z + 214. Let b = -93 + 65. Let d = b + z. Is 7 a factor of d?
True
Let c(g) = 24*g**2 + 10*g - 13. Is c(-6) a multiple of 43?
False
Let w = 30 - -895. Does 37 divide w?
True
Let r be -1*(-1)/(-2)*-4. Let o(w) = -w**2 + 9 + 4 - 11*w + 0*w**r. Is o(-11) a multiple of 8?
False
Suppose 21*j = 19*j - 2*r + 5284, 0 = -4*r + 16. Does 18 divide j?
False
Let a(y) = 7*y**3 + y**2 + 31*y + 1. Is a(5) a multiple of 11?
True
Suppose -3 = -g - 2*g. Let o = g + 3. Suppose -5*i + o*m + 100 = 0, -4*i - 4*m = -6*i + 28. Is i a multiple of 12?
True
Suppose -6*k + 28 = k. Suppose 195 = b + k*b. Is b a multiple of 10?
False
Suppose 0 = -v + 24 - 22. Is (-2 - 0)*(-60)/v a multiple of 30?
True
Is (-1 - (-4 - 2)) + 399 a multiple of 15?
False
Suppose -3*k + 895 = 4*a, 3*a - 7*a + 1192 = 4*k. Does 33 divide k?
True
Let o be (3/(-9))/((-1)/249). Let x(n) = 2*n**2 - 4*n - 4. Let v be x(9). Let r = v - o. Does 13 divide r?
True
Suppose 3*a = 5*y - 68, 4*y + 2*a - 80 = -2*a. Suppose -17*h = -y*h - 18. Does 9 divide h?
True
Let v = -61 + 69. Suppose -v*z - 99 + 827 = 0. Is z a multiple of 13?
True
Let r be (-6)/(0 + -2) - 1. Suppose -25 = -5*o, -r*h - 3*h + 5*o = 320. Let n = h - -103. Does 11 divide n?
True
Let f(v) = -2*v**2 - 18*v - 13. Let u be f(-10). Let n be 4/2*(-98)/4. Let h = u - n. Is h a multiple of 8?
True
Let s = -181 + 354. Is s a multiple of 11?
False
Suppose m = 20 - 11. Suppose 3 = -3*y + m. Suppose -y*p = 2 - 16. Does 5 divide p?
False
Let h = -25 - -23. Let q(k) = -6*k**3 + 5*k**2 + 4*k - 4. Is 14 a factor of q(h)?
True
Let l = 32 - 21. Let b = l + 0. Does 10 divide b?
False
Let x(d) = 3*d - 17. Let j be x(5). Is ((-64)/24)/(j/9) a multiple of 12?
True
Suppose k + 125 = q, -2*k - 2*k - 495 = -3*q. Let o = 170 + k. Does 10 divide o?
True
Is ((-3164)/70)/((-6)/405) a multiple of 96?
False
Let c(w) = w - 1. Let p be c(4). Suppose 0 = t + 2, -2*i - p*t - 111 = 21. Let q = i - -120. Is 19 a factor of q?
True
Let x = 20 - 19. Is -2*(2 - x) - -194 a multiple of 12?
True
Suppose 0 = 5*a - 3*j + 1, 2*a + j = -3*a + 7. Let s be ((-1)/a - 4) + 2. Does 10 divide (s/9)/(1/(-30))?
True
Let q = 10 - 7. Suppose 2*f - 102 = 2*z, -q*z - z - 96 = -2*f. Is f a multiple of 18?
True
Let i = -646 + 1059. Is 4 a factor of i?
False
Suppose -4*o + 5 + 3 = 4*v, 0 = -4*o + 2*v + 26. Suppose 9 = 2*p - o*j, -p - j - 23 = 2*j. Is 20 a factor of (160/p)/(1 + -2)?
True
Suppose -6*x + 31*x = 5725. Does 3 divide x?
False
Let m be (-2)/(-8) + 3/4. Let w(o) = -o**3 + 2*o**2. Let a be w(m). Is 4 a factor of a + (-33)/(-6)*2?
True
Suppose 2*r + 0*u - 519 = -5*u, 0 = -r - 4*u + 264. Does 6 divide r?
True
Is 18 a factor of (-10278)/(-30) - (-1 - (-16)/10)?
True
Let p(l) = -8*l - 2. Let s be p(-1). Suppose 0 = -2*w - 0*w + 4*j + 18, s = -w - 3*j. Suppose 0 = w*c - 84 - 24. Is c a multiple of 13?
False
Let a(m) = 13*m - 29. Let s = 83 + -77. Is a(s) a multiple of 6?
False
Let k(o) = 57*o**3 - 2*o**2 + 4*o - 1. Is 14 a factor of k(3)?
False
Let u be (-10 - -15) + 60 - (2 + 2). Let x(n) = 9*n**2 - 3*n + 1. Let f be x(2). Let m = u - f. Does 28 divide m?
False
Suppose -4*k + 134 = u, -23 = 2*k - 15. Is u even?
True
Suppose -8*i - 15 = 17. Let u(t) = -t**3 - 2*t**2 + t + 4. Does 31 divide u(i)?
False
Suppose 2*t + 0*t + 20 = -5*q, -3*q = -3*t - 30. Let r = t - -15. Suppose -o - 4*h = -r*o + 76, 0 = 4*o - 5*h - 76. Does 19 divide o?
True
Suppose -4*c + 27 = -p, -4*p + c - 21 - 12 = 0. Let a = p + 2. Is 25 a factor of (-2)/4*420/a?
False
Suppose -80*f - 60 = -84*f. Let b(q) = q**2 - 17*q + 34. Is 4 a factor of b(f)?
True
Let w(s) = -5*s**3 - 3*s**2 - 3*s + 3. Let g be w(-3). Suppose -y = -2, b + g = 3*b - 5*y. Does 18 divide b?
False
Let m be -2 - (48/(-4))/(-3). Is 9 a factor of ((-80)/(-25))/(5/((-675)/m))?
True
Let d = -14 - -18. Suppose d*o = -3*x + 129 + 17, 4*o = -16. Is x a multiple of 9?
True
Let q(m) = m - 5. Suppose 3*w = -4*y + 161, -3*w - 68 - 123 = -4*y. Suppose 3*c + 17 = y. Is q(c) a multiple of 3?
False
Let i(s) = 15*s + 71. Is i(5) a multiple of 17?
False
Let a(y) = -2*y + 102 + y + 13*y**2 - 12*y**2 - y. Does 6 divide a(0)?
True
Let g be 1*(-8)/(-2) - (0 + 0). Suppose g = z - 26. Is z a multiple of 10?
True
Let n = 14 + -22. Is (-11)/(-2)*(-2 - n) a multiple of 18?
False
Let l(a) = -6. Let w(s) = -s + 7. Let d(p) = -p**2 - 10*p + 14. Let c be d(-11). Let k(z) = c*w(z) + 2*l(z). Is 9 a factor of k(-6)?
True
Let m = 2 + -2. Suppose m = t - 2*t + 12. Is t a multiple of 11?
False
Suppose -4*m + 5 = x + 25, 0 = -x + 4*m + 20. Is 15 + (x - -2 - -2) a multiple of 5?
False
Let q(a) = a**2 + 16*a - 20. Let b be q(-17). Is 3 a factor of 36/(-27) - 37/b?
False
Suppose 2*g = 2*n + 472, 5*g - n - 1164 = -0*g. Let c = 347 - g. Is 21 a factor of c?
False
Let y(p) = -9*p + 170 + 3*p**2 + 173 - 350. Does 9 divide y(-3)?
False
Suppose 2300 - 7200 = -g - 4*q, 4*g - q = 19583. Suppose -16*b = b - g. Is b a multiple of 48?
True
Suppose 0 = -18*n + 2110 + 1346. Is n a multiple of 16?
True
Does 5 divide (56/42)/((-4)/(-75))?
True
Let g = -27 + 30. Suppose l - 2 = -g. Is 9 a factor of (l + -89)*(-12)/30?
True
Let k(c) = c + 1. Let f be k(-13). Let v = f + 12. Suppose -2*z + 3*z - 38 = v. Is z a m