5 + 20. Does 20 divide 906/z + m/(-10)?
True
Let y = 45 - 43. Suppose y*s = -0*j - j + 689, -2*j = 2. Is 15 a factor of s?
True
Let t be 114/(0 + 3) - -2. Is 25 a factor of ((-25)/20)/((-2)/t)?
True
Suppose 11*d - 93 - 644 = 0. Is d a multiple of 2?
False
Let f(m) = 2*m**3 - 2*m**2 - m - 1. Let y be f(2). Suppose -345 = -0*k - y*k. Suppose -2*w = -35 - k. Is w a multiple of 13?
True
Let v(p) = 2*p - 4. Let r be v(2). Let b(n) = -3*n - 3. Let y be b(-3). Suppose d - y*d + 90 = r. Is d a multiple of 13?
False
Suppose 5*x - 65 = -5*j, j + 7 = x - 2. Let h = x - 7. Suppose -p = -4*z + 158 + 207, 5*z + h*p = 430. Is z a multiple of 15?
True
Suppose -4*k = -9*k + 20. Suppose 2*z = -2*z + 3*n, 0 = -z + k*n - 13. Suppose -12 - 19 = -2*r + 3*g, 0 = -z*r + 5*g + 44. Does 13 divide r?
False
Is (-279756)/(-144) + 5/4 a multiple of 108?
True
Let i = 13 - 30. Let l = -615 + 614. Let k = l - i. Is 8 a factor of k?
True
Let w = -46 - -235. Is w a multiple of 28?
False
Is 20151/15 + (-118)/295 a multiple of 9?
False
Let d(y) = y**2 - 11*y + 4. Let v be d(13). Let g = -20 + v. Does 9 divide g?
False
Let r(f) = 13 - 5*f + 427*f**2 - 5 - 420*f**2. Is 8 a factor of r(3)?
True
Let p be ((-2)/(-4))/(10/(-1780)). Let b be p/(-2) - 21/(-14). Suppose 2*a + b = 4*a. Is 8 a factor of a?
False
Suppose 6*u - 7*u = -11. Let i = 8 - u. Is i/12 + (-81)/(-4) a multiple of 10?
True
Let d(z) be the first derivative of -2*z**2 + 14*z - 11. Is 21 a factor of d(-9)?
False
Is (-16)/(-6)*109728/128 a multiple of 18?
True
Let p(n) = 5*n**3 - 5*n**2 + 9*n + 21. Let i(o) = 2*o**3 - 3*o**2 + 4*o + 11. Let l(h) = 7*i(h) - 3*p(h). Does 2 divide l(-6)?
True
Let p = -187 + 117. Let n = 115 + p. Does 5 divide n?
True
Suppose 2*l = -l + 18. Suppose 5*i - 4*a = 15, -4*i - 5*a + 0 = 29. Let k = l - i. Is 7 a factor of k?
True
Suppose 0 = -109*y + 68463 + 207. Is y a multiple of 35?
True
Suppose -2639*d + 2653*d = 5208. Is d a multiple of 6?
True
Suppose 5*j - 10 = x, -15 = -2*x - 5. Suppose -c - c = -j*f - 418, -3*c + 3*f = -630. Does 23 divide c?
False
Let i(w) = -2*w**3 - 23*w**2 - 11*w - 6. Let n be i(-11). Is 5 a factor of 1/(n/64)*165/(-22)?
True
Let z = 8 - -3. Let w(p) = 16*p - 4*p + 3 + 218*p**3 + 10*p**2 + 2 - 219*p**3. Is w(z) a multiple of 16?
True
Let x(w) = w**2 + 7*w + 13. Let j be x(-6). Let r(n) = -10*n**2 + 40*n - 14. Let z(h) = -3*h**2 + 13*h - 5. Let t(m) = j*z(m) - 2*r(m). Is t(7) a multiple of 3?
True
Suppose -10*l + 9*l = 3. Is 13 a factor of (-1)/(1/35*(l + 2))?
False
Suppose 3*m + 5*k = 781, 2*m - 7*m - 2*k = -1270. Does 21 divide m?
True
Let a(v) = -95*v + 26. Is a(-4) a multiple of 14?
True
Suppose -4*m - y + 21 = 4, -4*m + 21 = 5*y. Suppose m*t = 5*v - 223, 2*v + t = 113 - 16. Is v a multiple of 9?
False
Let a = -24 - -32. Is 16 a factor of -3 + (102/9)/(a/36)?
True
Suppose -y + 32 = -0*y. Let q = 52 - y. Is 5 a factor of q?
True
Let x = 1620 - 1260. Is 60 a factor of x?
True
Let l(b) = b**2 + 9*b + 25. Let c be l(-5). Suppose 9*o - c*o = 720. Is o a multiple of 15?
True
Let o(t) = -2*t**2 - 9*t - 20. Let h be o(-4). Does 8 divide (h*(-3)/9)/((-12)/(-18))?
True
Let m(u) = u**3 - 2*u**2 + 4*u + 8. Let s be m(0). Does 51 divide (20/s - 3)*-700?
False
Suppose h - j - 49 = -0*h, -4*j = 4*h - 164. Is 3 a factor of (8 - 1)*(-9)/(h/(-25))?
False
Suppose 3069*l + 5130 = 3074*l. Is 27 a factor of l?
True
Suppose 8*a - 170 = 7*a - 5*w, 3*a - 2*w = 578. Does 38 divide a?
True
Suppose 0 = -4*z - 2*f + 30 + 708, -3*z + 5*f + 586 = 0. Does 17 divide z?
True
Suppose -5*f - 10 = -0*f, 4*w - 8 = -4*f. Suppose -11 - 9 = -4*s + w*y, 17 = 3*s - 5*y. Is s a multiple of 4?
True
Let u(c) = c**2 + 8*c - 7. Let y be u(-9). Suppose -y*t = -3*r + r - 124, -5*t - 2*r + 324 = 0. Is 21 a factor of t?
False
Is 11 a factor of (-11518)/(-8) + (-1)/(-4)?
False
Let s = 522 - -1857. Is s a multiple of 39?
True
Suppose 389*j - 403*j + 8330 = 0. Is j a multiple of 10?
False
Let c(a) = -2*a + 4. Let l be c(-6). Let i = -3 + l. Is i a multiple of 11?
False
Let i(n) be the third derivative of 5*n**4/12 - 7*n**3/6 + 8*n**2. Is i(3) a multiple of 11?
False
Let x(l) = 3*l**2 + 62*l - 26. Is x(-32) a multiple of 59?
True
Let o = -853 + 869. Is 12 a factor of o?
False
Suppose 34*g - 38*g + 2064 = 0. Is g a multiple of 21?
False
Suppose -3*m - 4*x = -39, 0 = 2*m - 3*m + x + 13. Let z(d) = -2*d + 29. Let v be z(m). Suppose -v = -5*q + 77. Is 16 a factor of q?
True
Let k be (2 + -4)*(-4)/2. Suppose -2*i = -4*x + 4, 0 = -k*x + 2*i + i. Suppose 1 = -x*f + 34. Is f a multiple of 11?
True
Let b = 119 - 58. Is b a multiple of 22?
False
Let f = 72 - -123. Let w = 65 + f. Is 52 a factor of w?
True
Does 15 divide (-6)/4*6/9*-556?
False
Let z(m) = 2*m**2 - 15*m + 6. Let a(p) = p**3 + 5*p**2 - 5*p - 9. Let i be a(-4). Let d = 37 - i. Is 28 a factor of z(d)?
True
Let h(x) be the first derivative of 7*x**3/3 - x**2/2 + 15*x + 2. Is h(3) a multiple of 13?
False
Suppose -109*h + 101*h = -2016. Is 42 a factor of h?
True
Suppose 7*y - 2*y = 0. Suppose -j - p + 41 = y, -j + 2*p = -6*j + 205. Let v = -14 + j. Is 27 a factor of v?
True
Let o(x) = x**3 + x**2 + 4. Let v be o(0). Suppose 0 = -5*r - v*c + 173, 4*r - 63 = 2*c + 65. Does 20 divide r?
False
Let u(i) = -2*i + 16. Let f be (-51)/9 + 3/(-9). Let r be u(f). Suppose -r - 11 = -3*l. Is 7 a factor of l?
False
Let w(i) = -i - 5. Let q be w(-9). Is 14 a factor of (1 + 4 - 81)/(q/(-14))?
True
Is 3 a factor of 2/(-11) - (-28770)/330?
True
Let l(w) = -w**3 + 2*w**2 + 2*w - 4. Let r be l(2). Suppose -6*u + 314 + 70 = r. Is 8 a factor of u?
True
Let j = -220 - -436. Suppose j = 13*r - 10*r. Is 18 a factor of r?
True
Suppose -3*s - p = -807 - 368, -4*s = -3*p - 1558. Does 29 divide s?
False
Is 26 a factor of 77 + (1/((-2)/(-6)) - 2)?
True
Suppose -6888 = -5*x - y, x + 4130 = 4*x + 2*y. Is x a multiple of 54?
False
Suppose -204*b + 219*b - 3630 = 0. Does 25 divide b?
False
Let s = -64 + 150. Suppose 316 = 2*a + 4*r + s, 2*a - 190 = 4*r. Does 15 divide a?
True
Let a(t) = t + 6. Suppose 5*q + 15 = -20. Let f be a(q). Is (5 + f)*(-44)/(-16) a multiple of 3?
False
Let i(b) = 20*b**2 + 11*b - 15. Is 23 a factor of i(4)?
False
Suppose -v - 1 = -3. Suppose 4*k - 3*b - 677 = -4*b, -v*b + 2 = 0. Suppose 2*a + k = 5*p, 0 = 5*p - 4*a - 216 + 43. Is 14 a factor of p?
False
Suppose -51 = -4*u - 39. Suppose u*n = -12, -5*n + 499 = -2*s + 5*s. Does 11 divide s?
False
Suppose 5*b - 2783 = -783. Is 40 a factor of b?
True
Let f = 7894 + -5548. Is f a multiple of 17?
True
Suppose -3*a + 1 = -32. Let h(y) = 6*y + a*y - 9*y + 2. Does 18 divide h(11)?
True
Let i = -31 - -29. Does 9 divide i - 4/(-4) - -37?
True
Let k be ((-66)/(-44))/((-6)/32). Let s(a) = -a**2 - 10*a - 2. Does 13 divide s(k)?
False
Let o be ((-27)/(-45))/((-2)/(-10)). Suppose 2*d = -k - 1, -2*k - 5*d + 0 - o = 0. Is -3*(0 - k) + 17 a multiple of 5?
True
Let n be 0 + -2 + (-9)/9. Let b(r) = -21*r. Is b(n) a multiple of 21?
True
Let x = 164 + -30. Let o = -74 + x. Is 30 a factor of o?
True
Suppose 7 - 15 = -2*z, -3*j = -5*z + 11. Does 31 divide 7/21 - (-1025)/j?
False
Let f(q) = -136*q + 5. Let k be f(-2). Suppose 11*v = 2147 - k. Is 17 a factor of v?
True
Let h(g) = g + 1. Let j be h(5). Suppose 2*p + 0*p - j = 0. Suppose -4*r = 4*k - 60, 11 + 6 = p*k - 4*r. Is k a multiple of 11?
True
Let n(r) = 7*r**2 + 18*r - 2. Does 6 divide n(-7)?
False
Suppose -3 = -3*j - 0. Let n = j - -9. Suppose n = -0*u + 2*u. Is u a multiple of 4?
False
Let n = 111 + 93. Let s = n + 7. Is s a multiple of 28?
False
Suppose 5*j + 102 = b, -b - 2*j = 2*j - 93. Let g = b + -85. Is 3 a factor of g?
True
Let g be 32/(-4) + 7 + -48. Suppose 0*l + l = 86. Let w = l + g. Is w a multiple of 11?
False
Suppose -656 - 1284 = -5*s + 2*v, -5*s + 1940 = -5*v. Is 37 a factor of s?
False
Suppose 3*x - 39 - 4 = -4*n, 0 = -2*n - 4*x + 14. Does 11 divide n?
False
Let l = -56 - 98. Let b = l + 229. Does 13 divide b?
False
Suppose 4*g = 2*o - 188, -8*o + 7*o + g + 91 = 0. Is 4 a factor of o?
True
Suppose -3*y - 112 - 38 = 0. Let b = y + 86. Does 12 divide b?
True
Is 15 a factor of (6/(-16))/1 - 110973/(-568)?
True
Let u = -19 - -13. Let n be u*(-1)/2*2. Is 8/(-6)*(0 - n) a multiple of 7?
False
Let l = -3421 + 6166. Is l a multiple of 61?
True
Suppose 12*l = 24 + 36. Suppose 655 = l*r -