 Let n = a + 327. Does 21 divide n?
False
Let i(m) = 2*m**2 - 30*m + 22. Is 30 a factor of i(-8)?
True
Let p = -8 - -25. Let i = -108 - -95. Let h = p + i. Does 4 divide h?
True
Let f(j) be the third derivative of j**5/60 - j**4/24 + 83*j**3/6 + 7*j**2. Let u be f(0). Is (7 - 5)/(2/u) a multiple of 14?
False
Let y(n) = 16*n + 3. Let b = -17 - -14. Let g be y(b). Let q = -23 - g. Does 14 divide q?
False
Suppose 5*r - 274 = 2*x + 720, 3*r - 586 = -4*x. Suppose r + 102 = 5*s. Is 12 a factor of s?
True
Let z(l) = 55*l + 20. Does 15 divide z(13)?
True
Let z = -44 + 169. Is z a multiple of 25?
True
Let k(h) = h**3 - 7*h**2 + 6. Let b be k(6). Suppose l + 92 = -0*l - 3*c, -5*l + 3*c - 388 = 0. Is ((-9)/(-2))/(b/l) a multiple of 10?
False
Is (-38)/(-152) + 383/4 a multiple of 12?
True
Suppose m - 494 + 100 = -3*k, k - 5*m = 142. Does 12 divide k?
True
Let q be 8 + -5 - 40/(-2). Let n = q - 19. Suppose -2*s = -n*s - 2, -3*s + 57 = 2*i. Is 30 a factor of i?
True
Let o = 664 + -460. Let r = -84 + o. Is r a multiple of 20?
True
Let v(h) = -3*h + 5*h - h**3 - 3 + 5*h**2 + h**3 - h**3. Does 27 divide v(-3)?
False
Let k = -108 - -293. Is k a multiple of 19?
False
Let n = 259 + -112. Is 7 a factor of n?
True
Let u = -4 - -4. Suppose -4*n - 2*n + 6 = u. Does 12 divide (-9)/(n/(32/(-12)))?
True
Suppose -9*h + 12*h - 3924 = 0. Is 15 a factor of h?
False
Suppose 3*r + i = -0 - 1, -3*i + 3 = 3*r. Let q be r/3 - (-190)/30. Suppose 5*m = -4*o + 28, -2*o = -q*o - 4*m + 32. Is 7 a factor of o?
False
Suppose -27*g = -5260 - 3812. Does 7 divide g?
True
Does 2 divide (6/7)/6*(84 + -7)?
False
Let h be (11*-5)/(-1) - 2. Let n be 16 - (0/(-4) - -4). Let j = h - n. Does 19 divide j?
False
Let p(h) = -h**3 + 2*h**3 + 7*h + 5*h**2 - 4*h + 6. Is 10 a factor of p(-4)?
True
Let v = 1446 + -939. Does 39 divide v?
True
Let b be -44*(-7 - 1)/((-10)/(-15)). Suppose -b = -5*v - 138. Is v a multiple of 13?
True
Suppose -3*v + 21 = 3*y, 4*y - 16 = y + 2*v. Suppose -y*p + 16 = -230. Is 7 a factor of p?
False
Let r be ((-6)/4)/(3/162). Let l = 136 + r. Suppose 0 = -u + 6*u - l. Does 11 divide u?
True
Let i = -5 - -8. Suppose -c = -i - 1. Does 6 divide 2*(c - -6 - 0)?
False
Let j(b) = -6*b + 232. Let i be j(18). Suppose -10 - 5 = -3*k. Suppose -190 = -5*z + k*l, -5*l - i = -z - 2*z. Is 11 a factor of z?
True
Let w = -24 - -4. Let a(x) = -4*x - 2. Let c be a(-13). Let o = w + c. Does 30 divide o?
True
Is 10 a factor of (1/4*-1234)/((-2)/4)?
False
Let r(s) = 37*s + 41. Is r(-1) a multiple of 2?
True
Let w(r) = -27*r + 342. Is w(0) a multiple of 69?
False
Let r(c) = -c**3 - 18*c**2 - c - 7. Let z be r(-18). Suppose 0 = -4*i - t - 0*t + 100, 5*i = t + 134. Let m = i - z. Is m a multiple of 5?
True
Let t(z) = z**2 - 8*z + 1. Let y = 8 + 0. Let j be t(y). Let c(v) = 32*v - 1. Does 9 divide c(j)?
False
Suppose 5*n = 4*q - 3, 4*q + 5*n - 15 = -2. Suppose 0 = -2*t + 3*y + 27, -t - q*y - 4 = -0. Does 5 divide 130/15*9/t?
False
Let w(u) = -3*u + 18. Let y be w(-10). Suppose -3*m + 210 = -y. Is 17 a factor of m?
False
Suppose -2*z + 10 = 0, 3*t - 3360 = -8*z + 11*z. Does 15 divide t?
True
Suppose -414*r + 403*r = -11484. Does 9 divide r?
True
Let c(z) = -42*z + 539. Does 37 divide c(-19)?
False
Suppose -w - 5*j + 108 = 3, j + 235 = 3*w. Is w a multiple of 4?
True
Let k(v) = v**3 - 10*v**2 + 2*v + 5. Suppose -3*a + 21 = 3*d - 18, 7 = d - a. Is 5 a factor of k(d)?
True
Let m(f) = f**2 - 6*f + 7. Let z be m(5). Is 38 a factor of (-300)/((-8)/z) - 3?
False
Let m = 139 - 28. Is m a multiple of 15?
False
Is (-47)/(2 - 3) + 4 a multiple of 17?
True
Suppose -12 = -r - 5*r. Suppose 0 = -4*c - r*u - 2*u + 284, -3*c + 221 = u. Is c a multiple of 15?
True
Let i = -4 - -4. Suppose i = 2*c + 4, -5*a + 5*c + 216 = -74. Does 22 divide a?
False
Let m be (-18)/(-7)*112/24. Let b = m + -7. Suppose -k = -b*k + 116. Is k a multiple of 7?
False
Let w(c) = c**3 + 19*c**2 + 34*c + 1. Let f be w(-17). Is 6 a factor of -7*f*78/(-91)?
True
Does 19 divide ((-1285)/(-10))/(11/22)?
False
Let c = -759 - -1199. Is c a multiple of 9?
False
Let k(x) = 3*x**3 + 4*x**2 + 34*x - 1. Does 23 divide k(5)?
True
Let p(k) = -2*k - 97. Let f be p(-40). Suppose 3*i = a - 95, -4*i = -3*a + 162 + 113. Let l = a + f. Does 24 divide l?
True
Let x(d) be the third derivative of 17*d**5/60 - d**4/3 + d**3/3 - d**2. Let i be x(3). Suppose f + 3*b - 68 = 0, -4*f + 85 + i = -2*b. Is f a multiple of 14?
True
Suppose -5*n + 9 = -2*n. Suppose n*d + 34 = b + d, 0 = 4*b + 3*d - 125. Does 8 divide b?
True
Let y be (1 + (-3)/3)*1. Suppose -r + 5 = y, 0 = u + u + 5*r - 627. Is 15 a factor of u?
False
Is 3 a factor of 47 - (9 + 3 + -5)?
False
Let n = -35 + 116. Let y = 137 - n. Does 19 divide y?
False
Let q(r) = -2*r**3 + 4*r**2 - 2*r - 1. Let j = 9 - 7. Let n be q(j). Is 15*1 - (-5)/n a multiple of 6?
False
Suppose 5*f + v = 597, 335 = 4*f + v - 142. Let s = -75 + f. Does 12 divide s?
False
Let l(w) = -2*w**3 - 3*w**2 + 4*w + 34. Is l(-5) a multiple of 21?
True
Let v(u) = 140*u**3 + 108*u**3 + u - 6*u**3. Is v(1) a multiple of 27?
True
Let i(v) = v**2 - 9*v + 15. Let a(x) = -x**3 + 4*x**2 + 8*x - 4. Let d be a(5). Is 11 a factor of i(d)?
False
Let u(l) = -2*l**3 - 4*l**2 - 4*l - 1. Let a be u(-3). Suppose -t = -a - 11. Is 7 a factor of t?
False
Suppose 0 = -5*v + 2*v. Suppose v = 2*k - q - 144, -4*k + 5*q = -287 - 13. Suppose 3*t + 52 = 2*n + 10, -t + k = 4*n. Is n a multiple of 9?
True
Let x = 2328 - 1324. Does 46 divide x?
False
Let c(x) = 2*x**3 + 27*x**2 - 18*x - 37. Is c(-14) even?
False
Let a(w) = w**3 - 3*w**2 + 7*w - 2. Let r be a(2). Let u = 4 + r. Does 10 divide u?
False
Suppose -4*k - 772 = -0*k. Let o = 743 + -472. Let j = o + k. Is 26 a factor of j?
True
Let w = -17 - -22. Suppose w*f + 3*q - 797 = 0, -f - 2*q + 153 = -3*q. Is f a multiple of 10?
False
Suppose -4*a - u = u - 746, -u = -a + 194. Is a a multiple of 7?
True
Suppose 13502 = 26*g - 4100. Does 21 divide g?
False
Suppose 0 = -6*z + 1245 - 273. Suppose -z - 318 = -5*n. Is 24 a factor of n?
True
Suppose -2*b + 55 = a - 6*a, 0 = 5*a + b + 55. Let m = -15 + 56. Let n = a + m. Does 23 divide n?
False
Let v(l) = 3*l**2 - 3*l - 2. Let r be v(2). Suppose -4*s - 4*m + 3*m + 388 = 0, r*s = -5*m + 372. Is s a multiple of 14?
True
Suppose 3*l - 3 - 30 = 0. Let m be (l + -14)*(-14)/(-6). Let b(y) = -y**3 - 4*y**2 + 11*y + 4. Does 13 divide b(m)?
False
Let n(z) = -z**2 - 5*z + 1. Let c = 10 + -14. Is n(c) a multiple of 5?
True
Let m = 2603 - -442. Does 40 divide m?
False
Let z(j) = j**2 + 3*j + 4. Let d be z(-3). Suppose 4*s = 4*k + 224, -d*s - 31 - 45 = k. Is -1*(2 + 1 + k) a multiple of 19?
True
Let x be 4*(0 + (-3)/(-1)). Let l = -32 + x. Does 13 divide 4/(l/325)*-1?
True
Let x be 2/9 + 296/(-36). Let v be ((-4 - x) + -4)/(-2). Suppose 0 = -v*p + 3*p - 36. Does 12 divide p?
True
Let h(u) = 4*u**2 - 34*u + 79. Is h(12) a multiple of 13?
True
Suppose 1 = -k + 5. Suppose -k*c + c = 180. Is 30 a factor of (12/(-2))/(4/c)?
True
Let a(p) be the second derivative of p**5/20 - 11*p**4/12 + 2*p**2 + p. Let k be a(11). Suppose k*f + w - 93 = 0, -16 = -4*f + 2*w + 86. Is 12 a factor of f?
True
Suppose 0 = 11*w - 6*w - 25. Suppose 20 = y + 4*a - 211, -3*a = -w*y + 1201. Suppose -71 = 4*f - y. Does 14 divide f?
True
Suppose -27*w + 11935 = -16*w. Is w a multiple of 7?
True
Suppose -8772 = 122*z - 126*z. Does 44 divide z?
False
Let q(b) = 5*b - 20. Let d be q(-5). Is 35/42*(0 - 2)*d a multiple of 15?
True
Let d = -769 - -519. Is 30 a factor of d/(-3) - 26/(-39)?
False
Let t be 1756/22 + 4/22 - 2. Suppose 4*b = -2*b + t. Does 8 divide b?
False
Suppose 0 = x - 5, -w + 27 = 2*x + 3*x. Suppose 0 = -2*u + 10, 341 = 2*o + w*u + 115. Is o a multiple of 15?
False
Suppose 0 = -2*z + 8, 0*c + 2 = 3*c - z. Let s be c/(-5) - 66/(-15). Suppose m + s*m = 330. Is m a multiple of 22?
True
Let o(g) = -13 + 27 - 15 - 5*g. Let v be 11/((1 - 0)*-1). Is o(v) a multiple of 18?
True
Let h = -3654 + 5243. Is h/21 - (-3)/9 a multiple of 19?
True
Let j(f) = 3*f**2 - f + 1. Let s be j(1). Suppose 0 = -4*y + s*q + 235, 2*y - 94 = -3*q + 1. Suppose 155 + y = 5*k. Is k a multiple of 15?
False
Suppose 0 = k - 0*k - 5. Suppose -k - 1 = -y. Is 7 a factor of -2*3/y*-20?
False
Let d = 94 - 100. Let f(p) = p**3 + 9*p**2 + p - 5. Does 14 divide f