3*i**c - i. Is 28 a factor of q(4)?
False
Let b(n) = -16 + 10 + n + 3. Suppose 0 = 3*j - 3*m - 36, -2*j - 5*m - 40 = -5*j. Does 4 divide b(j)?
False
Does 60 divide 490/147*(0 + 0 + 18)?
True
Let a(k) = 223*k - 46. Is 20 a factor of a(2)?
True
Let q = 128 - 61. Let o = 98 - q. Does 7 divide o?
False
Let n(w) = -w**3 + 2*w**2 - 6*w + 1884. Does 50 divide n(0)?
False
Let d(x) be the second derivative of 2*x**4/3 + x**3 + 3*x**2 + 14*x. Is d(-5) a multiple of 11?
True
Let d = 17 - 7. Let j = d - 10. Suppose 4*h = -j*h + 108. Is h a multiple of 9?
True
Let t(v) = 743*v**3 + v**2 + 2*v - 2. Does 46 divide t(1)?
False
Let l(g) = 4*g**2 - 28*g + 5. Let h be l(7). Suppose -h*k = -5*q + 720, 5*k - 258 = -2*q + k. Does 24 divide q?
False
Let f = -24 - -168. Suppose 5*h + i = -f + 1016, 524 = 3*h + i. Is 30 a factor of h?
False
Suppose -11*c + 3674 = -6*c - r, 4*c = 3*r + 2937. Is c a multiple of 45?
False
Let s = -29 - -30. Does 16 divide (-1)/s*(1 - (127 - -2))?
True
Let t be 61 + (2 + -3 - 0). Suppose 2*p - 8 = -c, 4*c = 2*p + c. Suppose 0*h = p*h - t. Does 6 divide h?
False
Suppose -a = -j - 5*a + 8, 3*j - a = 63. Is 4 a factor of j?
True
Suppose 0 = -5*d - 5*v + 20, -v - 16 = -4*d - 2*v. Let b be ((-6)/d)/((-16)/800). Is b/(-45)*(1 + -34) a multiple of 11?
True
Let o = -159 - -562. Is o a multiple of 11?
False
Suppose 4 = -3*u + 5*u. Suppose -5*l - 4*f + 149 = 0, 3*f - 25 = -u*l + 36. Is l a multiple of 6?
False
Let l = 755 + -542. Is 23 a factor of l?
False
Let q(l) = -3*l**3 - 4*l**2 - 4*l - 4. Let o be q(-5). Let a = o + -169. Let j = 207 - a. Is j a multiple of 17?
True
Let a(k) = -k**2 - 13*k. Let g be a(-12). Let p be 20/3*(g - 0). Let b = -36 + p. Does 11 divide b?
True
Let u(s) = 4*s**3 - 3*s**2 - 19*s + 19. Does 7 divide u(6)?
False
Let s = -21 - -23. Suppose 0 = -0*x - s*x + 396. Let t = -136 + x. Does 28 divide t?
False
Suppose 3*n + n + 16 = -4*l, 0 = -5*l + n - 32. Let q(v) = -v**2 - 11*v + 7. Is 7 a factor of q(l)?
False
Let r = 30 + 33. Let j = 18 + -7. Let f = j + r. Is f a multiple of 39?
False
Let a = 22 - 16. Let f(p) = p**2 - 5*p - 1. Let j be f(a). Suppose -7 = -j*s + 28. Is s even?
False
Suppose -15581 + 50084 = 53*p. Does 36 divide p?
False
Let w(z) be the second derivative of z**4/4 + z**3/3 - 5*z**2/2 - 13*z. Is w(4) a multiple of 17?
True
Let h(r) = -r**3 + r**2 + r + 1. Let n be h(-2). Let l = n - 7. Suppose -10 = -d - 2*s, 0 = 4*s - l - 0. Is 3 a factor of d?
False
Let j be 0 - (1 - (-12)/(-3)). Let c be j + 3 + (-3 - -1). Does 10 divide c/(-2) + (-120)/(-6)?
False
Let f(q) = 23*q**2 - 37*q - 6. Is 24 a factor of f(6)?
True
Let c(m) = -170*m - 56. Is 12 a factor of c(-16)?
True
Let l = 16 + -14. Is 16 a factor of (l - (-41 - -3)) + 3?
False
Let i = -2 + 6. Does 10 divide (-845)/(-20) - 5 - (-3)/i?
False
Let i be ((-150)/(-9))/(-2)*3. Let h = i + 76. Suppose -3*u + h = -90. Is u a multiple of 12?
False
Let q(p) = -2*p**3 + 42*p**2 + p - 23. Is 30 a factor of q(19)?
True
Suppose 5*c - 691 = -3*w + 156, c = 3*w + 173. Suppose 11*s + c = 16*s. Let n = s - 20. Does 7 divide n?
True
Suppose -5*u - 3*y + 1126 = -988, 3*u = -y + 1266. Is 40 a factor of u?
False
Suppose 6*r = 15 - 153. Let y = r + 30. Suppose 36 = -b + y*b. Is b a multiple of 6?
True
Let g(d) be the second derivative of d**4/12 - d**3/6 + 6*d**2 + 6*d. Let w be g(6). Suppose 2*j - j - w = 0. Is 14 a factor of j?
True
Suppose 0 = -4*l - 2*o - 188, l - 6*o + o = -25. Is 18 a factor of -144*(l/10)/9?
True
Suppose 5*o - 325 = -15. Let j be 2/(-10) + o/10. Suppose -k + j*k = 55. Does 2 divide k?
False
Let v(i) = -i + 16. Let z(a) = -a**3 - 9*a**2 - 7*a + 10. Let o be z(-8). Suppose -o*n + n + 9 = 0. Does 2 divide v(n)?
False
Let k(p) = p**3 + 8*p**2 + 8. Suppose 0 = -4*i + s - 33, i + 25 = -2*i + s. Let a be k(i). Does 5 divide 10/(-4)*a/(-4)?
True
Let v = 286 - 164. Suppose -3*o + 60 = 5*q - 4*q, 0 = 2*q + 4*o - v. Suppose -3*r = p - 219, -3*p = r - 6*p - q. Is 18 a factor of r?
True
Suppose 28 = 4*q - 3*y, -3*q + 4 + 12 = -y. Suppose q*n - 2*n = 176. Let c = n - 56. Is c a multiple of 6?
False
Let d(v) = -72*v. Let u(n) be the third derivative of -n**5/60 - 5*n**4/8 - n**3/6 + 6*n**2. Let y be u(-15). Is d(y) a multiple of 24?
True
Let l(g) = -10*g - 47. Let r be l(-12). Let y = -68 + r. Is y a multiple of 3?
False
Suppose -c = 4*n + 3*c + 1892, 5*c = 15. Let v = -320 - n. Does 26 divide v?
True
Suppose -191*n + 187*n = -2328. Is n even?
True
Suppose 2*b + 4*z - 270 = 0, 2*b - z = -3*z + 274. Suppose -3*k = -5*o - b, 2*k - 39 - 62 = -5*o. Does 12 divide k?
True
Let g(a) = 5*a - 19*a**3 - 4*a**2 + 3*a**2 + 2 + 8*a**3. Let z be g(-2). Let p = 130 - z. Is p a multiple of 18?
True
Suppose -5*c + 170 = -4*m - 100, c - 5*m = 75. Suppose -2*a + 0*q = -5*q - 95, c = a - 3*q. Is 19 a factor of a?
False
Suppose 0*g - 2465 = -5*g. Is g a multiple of 11?
False
Suppose -9*b + 4 = -8*b. Suppose 4*u + 3*w - 117 = b*w, 4*w - 12 = 0. Is u a multiple of 30?
True
Let z(f) = 6*f + 6. Let k be z(-4). Let p be 27*4 - (k - -14). Let t = p + -67. Is 15 a factor of t?
True
Let i be -2 + 30/((-12)/(-2)). Suppose 0 = 4*d - i*p - 1037, -5*d - 3*p = 64 - 1394. Is 8 a factor of d?
False
Let h(p) = -p - 4. Let c = 9 - 13. Let i be h(c). Let y = i + 25. Is y a multiple of 17?
False
Is 2 - (-9)/(-5) - (-4856)/20 a multiple of 15?
False
Suppose 14 = 2*k + 6. Suppose -142 = -k*q + 2*q. Let l = q - 35. Does 18 divide l?
True
Suppose 3*m - 3373 + 199 = 0. Is 56 a factor of m?
False
Suppose 13*u = -7697 + 19527. Is u a multiple of 14?
True
Let l(k) = -53*k**3 - 6*k**2 - 29*k - 74. Does 37 divide l(-4)?
False
Let d(r) be the second derivative of r**4/12 - 3*r**3/2 + 3*r**2 - 4*r. Let y be d(10). Suppose -t + y = -5*i, -58 = -0*t - 2*t - 3*i. Is t a multiple of 17?
False
Let m(u) = -u**3 + 10*u**2 - 12*u - 9. Suppose s - 4 - 4 = 0. Is 23 a factor of m(s)?
True
Suppose 0*s + 73 = z - 3*s, -3*s - 305 = -5*z. Let k = z - 37. Is 6 a factor of k?
False
Let v be -1*((-1)/(-1) + 12). Let b be 4/(-18) + (-724)/(-18). Let l = b + v. Does 9 divide l?
True
Let g(j) = j**3 + 12*j**2 - 2*j + 2. Let a be g(-12). Suppose 0 = 5*u + 5*m + 70, -u = u + 4*m + 24. Let s = a - u. Is 13 a factor of s?
False
Let n be (10/15)/(4/(-6)). Let a be (0/1)/(n + -2). Suppose a = 5*s - j - 234, s = 2*j + 32 + 22. Is 16 a factor of s?
False
Let t be (-372)/8*46/(-3). Suppose -f = -5*a + 766, -5*f - t + 249 = -3*a. Does 17 divide a?
True
Let v(l) = 4*l - 2. Let f be v(-2). Let w = 20 + -18. Is 2 a factor of w*(f/4)/(-1)?
False
Suppose 2 = 2*u - u. Suppose n + 0*n = u. Is n + -2 + -1 + 3 even?
True
Let p = 5 + -1. Suppose -5*u + l = -245, -5*l = p*u - 57 - 139. Is u a multiple of 4?
False
Suppose 140 = 2*u - v + 6*v, -3*v = -3*u + 252. Does 8 divide u?
True
Let q(g) = 3*g**2 - 5*g + 2. Let x be q(3). Suppose -22*o + 5*t + 156 = -18*o, -124 = -3*o + 2*t. Let f = o - x. Is 30 a factor of f?
True
Does 73 divide (8694 + 7)/7 + -2?
True
Suppose -35*f - 276 = -4*p - 33*f, -4*p - 5*f + 276 = 0. Is 3 a factor of p?
True
Let f = 56 - -39. Let i = -43 + f. Is 10 a factor of i?
False
Let h(d) = -4*d + 12 + 80*d**2 + 12 - 23. Is 11 a factor of h(1)?
True
Let p(x) = x**3 + x**2 - 6*x + 5. Let k be p(2). Let i(b) = 2*b**2 - b - 29. Is i(k) a multiple of 4?
True
Let y = -616 + 810. Is 2 a factor of y?
True
Let p = -45 + 52. Suppose -6*b + p*b = 84. Does 21 divide b?
True
Let v = 7 + -4. Suppose 0 = 4*h + 5*q - 35, q + 29 = 4*h + 4*q. Suppose -v*d + d + 5*l = -37, -h*l - 15 = 0. Is 5 a factor of d?
False
Suppose -o = 2*m - 990, -5*m - 2328 = -2*o - 348. Is o a multiple of 30?
True
Suppose -113 = -2*j + 605. Is 9 a factor of j?
False
Let v = -142 + 325. Let i = v + -78. Is 5 a factor of i?
True
Suppose 0 = 11*n - 483 + 1924. Let g = -118 - n. Does 2 divide g?
False
Let o = 307 + -235. Is o a multiple of 8?
True
Let l(g) = -168*g - 49 + 84*g + 5 + 98*g. Does 10 divide l(11)?
True
Suppose 2*u = -4*x - 48, -7 = -3*x - 5*u - 29. Let g(l) = -9*l**2 - 5*l + 11. Let d(k) = -2*k**2 + k + 1. Let a(j) = 4*d(j) - g(j). Is 21 a factor of a(x)?
True
Let l = 1506 - 1176. Is 22 a factor of l?
True
Suppose f + 198 = -5*f. Let i = f + 48. Does 3 divide i?
True
Let n(b) = -b**2 + 2*b + 1. Let t be n(3). Let o(p) = -p**2 - 6*p - 3. Let c be o(t). Suppose -j + c*j = 72. Is