 multiple of 14?
True
Suppose -3*l = -4*x - 191, -4*x + 4*l - 98 = 90. Let p = x + 117. Is 14 a factor of p?
False
Let a be (-300)/(-40) + 1/2. Suppose 18 = -a*y + 154. Is 9 a factor of y?
False
Suppose 0 = c, 5*c + 450 = t - 570. Suppose 0 = -4*x - 268 + t. Suppose -h = -5*g + 257, -3*g + x - 29 = -3*h. Does 18 divide g?
False
Let k(d) = 4*d + 4. Let r be k(3). Suppose -3*i = -4*f + 39, 5*i - 3*f = -0*f - 54. Let c = i + r. Is 2 a factor of c?
False
Let c(i) = i**2 - 5*i - 4. Let u be c(3). Let w(h) = -5*h + 12. Let g be w(u). Let o = g - 22. Is o a multiple of 10?
True
Let f(l) = -30*l + 285. Is f(-17) a multiple of 15?
True
Let r = -16 + 19. Let d = r + -3. Suppose -4*h + 216 = -d*h. Is h a multiple of 13?
False
Let k(x) = 17*x**2 + 18*x + 3. Is 17 a factor of k(-5)?
False
Suppose -5*i = 8 - 48. Let s = 268 - 274. Let u = i + s. Is u even?
True
Suppose -3*c + 130 = z - 38, 4*z - 280 = -5*c. Is 28 a factor of c?
True
Let d = 400 - 190. Does 6 divide d?
True
Let m be 22 - -1 - (4 - 0). Suppose m*o - 11*o = 272. Is o a multiple of 9?
False
Suppose 4*u + 8 = 0, 3*b + 2*u - 126 = 2*b. Is b a multiple of 17?
False
Is 3354/208 - (-2)/(-16) a multiple of 6?
False
Let w = 8 - 18. Let a be (-25)/(-3) + w/(-15). Is a/(-27) - 49/(-3) a multiple of 8?
True
Let u(k) = k + 34. Let p be u(-29). Let v = 38 - p. Is v a multiple of 11?
True
Suppose 5*l + 0*q - 37 = q, 0 = -l - 3*q + 1. Suppose -3*n = -l*n - g + 806, -4*g - 412 = -2*n. Does 28 divide n?
False
Let n be 9/4*20/15. Suppose -2*k - 10 = n*u - 58, -72 = -3*k - 4*u. Is k a multiple of 23?
False
Let f(r) = r**3 + 23*r**2 - 14*r - 13. Is 20 a factor of f(-23)?
False
Suppose -3 = -g + 489. Let j = -222 + g. Is j a multiple of 30?
True
Let u = 75 - 158. Let r = u + 166. Let g = 147 - r. Is g a multiple of 13?
False
Let w(x) = -2*x - 9. Let h be w(-7). Let y(s) = -26*s + 5 - 2 - 2 - h. Does 22 divide y(-4)?
False
Suppose -3*u - p + 50 = 3*p, 3*u - 5*p - 59 = 0. Let z = u + -18. Suppose -y + 18 + 2 = z. Is 4 a factor of y?
True
Suppose 12*y + 5*l = 7*y + 655, 3*y - 389 = -4*l. Suppose -2*s + 207 = s. Let b = y - s. Is b a multiple of 18?
False
Is 37 a factor of ((-395)/(-10))/(2/12)?
False
Let d(r) = 2*r**2 - 4*r - 5. Let p be d(-4). Let o(f) = -f**3 + 8*f**2 + f + 4. Let x be o(4). Let g = x - p. Is g a multiple of 11?
False
Let r(i) = -i**3 + 11*i**2 + 10. Let g = -47 - -72. Suppose -5*m + m + 28 = 4*j, -2*m + g = 3*j. Is r(j) a multiple of 10?
True
Suppose 0*w = 5*w + 30. Does 14 divide (-304)/w + 3/9?
False
Let m(l) = 6*l**3 - 17*l**2 + 29. Is 19 a factor of m(7)?
True
Let j(a) = -a**3 - 16*a**2 - 42*a - 7. Does 20 divide j(-15)?
False
Let c(r) be the third derivative of r**6/90 + r**5/10 - 5*r**4/24 - 2*r**2. Let h(y) be the second derivative of c(y). Is 15 a factor of h(6)?
True
Let l = 10 + -5. Suppose 0 = o - 0*o + l*n - 80, -n + 4 = 0. Is 12 a factor of o?
True
Suppose m - 2*m = 10. Let r = m - -36. Is r a multiple of 13?
True
Suppose -11 = 4*q - 27. Let i(h) = q + 24*h + 3 - 13*h - 14*h. Is i(-14) a multiple of 18?
False
Let j(d) be the third derivative of 0 - 6*d**2 + 3/2*d**3 - 1/24*d**4 + 0*d. Is 3 a factor of j(6)?
True
Suppose -105 = -2*m + 75. Let r be (128/20)/(3/m). Suppose -j = 2*j - r. Does 16 divide j?
True
Let z(o) = 27*o**3 + 2*o - 1. Let y be z(1). Suppose 31*s = y*s + 240. Is 8 a factor of s?
True
Is (96/(-36))/(-2 + 2156/1080) a multiple of 19?
False
Let p(t) = -t**3 + 6*t**2 + 3. Let h be p(6). Suppose -19 = 5*c - 34. Suppose -c*i = a - 21, -h*a + 43 = -3*i + 2*i. Is a a multiple of 15?
True
Let m(k) = -34*k - 435. Does 41 divide m(-15)?
False
Let a(w) = -w**3 + 11*w**2 + 6*w - 6. Let t be a(11). Is 8 a factor of (-3)/((-9)/t) - -4?
True
Suppose 0*n = -2*n + 4. Let i(s) = -2*s - n*s + 12 + 3*s. Is 4 a factor of i(5)?
False
Let v(f) = 298*f**2 + 9*f + 8. Does 9 divide v(-1)?
True
Suppose -3*j - 55 = -8*j - 2*v, j = 2*v - 1. Let u = -5 + j. Suppose -k + u*k - 111 = 0. Does 9 divide k?
False
Let p = 7 - -9. Suppose -r - 173 + 57 = -v, 0 = -4*r + p. Does 15 divide v?
True
Let p be (-4)/(-6) + (-102)/18. Let j be p/(-2)*(-3 + -1). Is 5 a factor of (j*1/(-2))/1?
True
Let z(k) = k**2 - 6*k + 4. Let m be z(6). Suppose m*p = 106 + 246. Is p a multiple of 13?
False
Is 16 a factor of (211 - (-18)/(-6)) + (-9)/3?
False
Let o = -566 + 918. Suppose -16*n + 640 = -o. Is n a multiple of 13?
False
Let b be 2/(-2)*(-4 + 2). Suppose -2*v + 312 = b*v. Does 10 divide (2/3)/(4/v)?
False
Suppose -2*q = -3*q - 2. Let t(w) = 44*w**2 + 4*w. Let p be t(q). Suppose 0 = -c - 4*f + 2*f + 66, 3*c - 4*f - p = 0. Is 12 a factor of c?
True
Let x(s) = 2*s**3 - 16*s**2 + 8. Let b be x(8). Suppose -b*c + 216 = -2*c. Does 7 divide c?
False
Let s be -1 + (2 - 0 - 1). Suppose 0*k + k - 104 = s. Let f = -50 + k. Is f a multiple of 27?
True
Let x = -382 + 250. Let p = x - -216. Does 20 divide p?
False
Let w = -242 + 358. Let v(r) = -2*r + 12. Let j be v(5). Suppose w = j*h + 14. Is 15 a factor of h?
False
Let t(g) = -22*g - 21. Let j = -71 - -68. Is t(j) a multiple of 15?
True
Suppose -3*i + 12 = -2*i + 2*n, 0 = 5*n - 25. Suppose -4*d + 0*s = 4*s, 5*d = i*s - 14. Does 7 divide d + (-24 - 2)/(-2)?
False
Let f(y) = 8*y**2 - 2*y + 4. Let i be f(5). Suppose 2*d - 512 + i = 0. Does 25 divide d?
False
Let h(p) = -4*p + 5. Let x be h(5). Is 5 - (-80)/x - (-1766)/6 a multiple of 21?
True
Let f(q) = -q**3 + 11*q**2 + 14*q + 11. Is 5 a factor of f(11)?
True
Suppose 0 = 3*b - 2*j - 44, 3*b + j - 8 = 2*b. Let w = b - -18. Is w a multiple of 15?
True
Let d(u) = 23*u + 17. Is d(3) a multiple of 14?
False
Let c(l) = 52*l**2 + 18*l + 49. Does 49 divide c(-6)?
True
Let l(c) = 9*c**2 + 4*c - 13. Let a(n) = -n**2 - 13*n - 39. Let r be a(-7). Is l(r) a multiple of 39?
False
Let h(k) = -41*k + 2. Let r(x) = -83*x + 5. Let q(a) = -7*h(a) + 4*r(a). Is 24 a factor of q(-1)?
False
Let p(o) be the first derivative of 2*o**3/3 + 9*o**2/2 + o - 18. Does 6 divide p(-7)?
True
Let b(f) = -f**3 + 7*f**2 - 7*f - 6. Let v be b(6). Is (-11 + 4)*v - (2 - 2) a multiple of 21?
True
Suppose 0*t - 2*t = -4*m + 4, 0 = 5*m - 2*t - 6. Suppose 3*o = 2*z - 29, 5*o - m*o = 4*z - 31. Is 67/7 - o/21 a multiple of 8?
False
Let n be (38 - 1)/(-8 + 9). Let z be 14/(-49) + n/7. Suppose 4*y - 4 = 0, y = z*u - 0*y - 149. Is u a multiple of 15?
True
Suppose -a + 8 = -2*z - 9, 0 = 4*a - 5*z - 80. Suppose g + 4*g = a. Suppose -99 + 404 = g*m. Does 18 divide m?
False
Let x(v) = -v**3 + 13*v**2 - 23*v - 7. Let h be x(11). Let s = h - -14. Does 23 divide 483/(-28)*1*s?
True
Let h(m) = -9*m**2 - 18*m + 37. Let x(t) = 4*t**2 + 10*t - 18. Let z(d) = -3*h(d) - 7*x(d). Is 2 a factor of z(-14)?
False
Suppose -50 = -7*p + 2*p. Is p a multiple of 4?
False
Suppose 33*j - 1059 + 3 = 0. Is 32 a factor of j?
True
Suppose -16*v + 1026 + 590 = 0. Is 16 a factor of v?
False
Let f = -229 + 327. Is 3 a factor of f?
False
Suppose 0 = -4*d + 8*d + 4*m - 1920, -5*m = -3*d + 1416. Is 36 a factor of d?
False
Let u = -73 - -49. Let x = u - -33. Does 3 divide x?
True
Let k be (-6 - -9)/(-1 + 151/148). Suppose -4*d - n + 1078 = 0, n = d - k - 124. Is d a multiple of 30?
True
Suppose a = 4*a + 3. Let k be (a - -4) + (-38)/(-2). Let z = 56 - k. Does 28 divide z?
False
Is 47 a factor of 4360 - (9 + -5 + -8)?
False
Suppose 2 + 2 = -4*y. Let o be ((-1)/3)/(y/6). Suppose o*r - 114 = 24. Does 18 divide r?
False
Let s(j) = -j**3 - 19*j**2 - 39*j - 10. Does 12 divide s(-18)?
False
Is (-18)/(-8)*(60/6 + 42) a multiple of 3?
True
Let c be (-80)/(-15)*27/36. Let h be 1 - (1 + (-2)/1). Suppose 0 = 5*w + 15, -c*r - r = h*w - 34. Does 3 divide r?
False
Let o(w) = 19*w**2 + 2*w + 1. Suppose 51 - 53 = -x. Does 10 divide o(x)?
False
Let k(c) be the first derivative of -2*c**2 + 2*c**3 - 3 - 1/4*c**4 + 4*c. Is 10 a factor of k(4)?
True
Let u(r) = r**2 + r + 6. Let z be ((-10)/(-6))/(17/51). Does 9 divide u(z)?
True
Let b(t) = 3*t**3 - 21*t**2 - 20*t + 35. Let y(i) = i**3 - 7*i**2 - 7*i + 12. Let q(j) = -3*b(j) + 8*y(j). Is q(4) a multiple of 11?
True
Suppose 7*a + 0*a + 378 = 0. Let r = a + 154. Is r a multiple of 7?
False
Suppose 3*x + 182 = 5*v, 0 = -3*v + 5*x + 28 + 78. Suppose 5*t - v = 13. Does 10 divide t?
True
Let w = -9 + 11. Suppose -31 = -w*d + 29. Suppose -d = -0*h - 2*h - 2*q, 3*q = -4*h + 57. Is 7 a facto