factor of 0 + h + (19 - 4)?
False
Let j = 55 - -674. Is j a multiple of 14?
False
Let n(z) = 4*z**3 + z**2 - 3*z + 2. Let l be 6 - (3 + 2 + -3). Suppose -2*s + 0*s = -l. Is n(s) a multiple of 10?
False
Let u(j) = -j + 14. Let f be u(13). Let m be (-10)/(f/((-3)/6)). Suppose 3*c = m*g - 155, -5*g - 5*c + 2*c = -155. Does 15 divide g?
False
Let c = -7 - -11. Suppose c*m - 2*o - 290 = 0, -20 = -m + o + 50. Is m a multiple of 25?
True
Is 5 a factor of 12/(-21) + (-3415)/(-35)?
False
Let y(i) = -55*i**3 + i + 1. Let o be y(-1). Suppose -5*f = -10*f - 4*t + o, t = 5*f - 30. Suppose -2*j = -f*j + 205. Is j a multiple of 31?
False
Suppose 2*f + 12 + 22 = 0. Let c = f - -42. Is 24 a factor of c?
False
Let q = 219 + -193. Suppose 4*n - 21 = 35. Let p = q - n. Does 3 divide p?
True
Let v(a) = a**3 + 40*a**2 + 6*a + 62. Is v(-14) a multiple of 86?
True
Let y = -7 + 15. Let m(s) = -s - 9. Let u be m(y). Let d(i) = i**3 + 18*i**2 + 15*i - 12. Does 12 divide d(u)?
False
Suppose 0 = g + 4*z + 5, 5*z = 3*g - 5*g - 4. Let y(q) = 6*q**2 + q + 3. Is y(g) a multiple of 8?
False
Let k(r) = 3*r**2 + 13*r - 12. Suppose 4*j + 40 - 16 = 0. Is 6 a factor of k(j)?
True
Suppose -4*l - 4 = -5*l. Suppose l*v = z + 4*z - 295, -z - 3*v + 40 = 0. Is 14 a factor of z?
False
Let x = 165 + 375. Does 18 divide x?
True
Let h(o) be the third derivative of o**5/60 - o**4/24 - 3*o**3/2 - 8*o**2. Let a be h(0). Let f = a + 21. Is f a multiple of 8?
False
Suppose 8910 = 13*o + 32*o. Is o a multiple of 18?
True
Let f(v) = v**3 + 10*v**2 + 11*v - 1. Let z be (-88)/10 - (-6)/(-30). Let k = z + 1. Does 13 divide f(k)?
True
Let i be (-4 - (-25)/5)*0/2. Suppose i = -0*a + 2*a + 8, 2*a = -3*c + 532. Is 12 a factor of c?
True
Let v(m) = -m**3 + 8*m**2 - 8*m + 10. Let n be v(7). Let x be (24/10 - n)*-5. Let b(d) = 17*d - 3. Is 13 a factor of b(x)?
False
Suppose -15*v = -5*v - 4940. Is v a multiple of 5?
False
Suppose 11*z - 17595 = -5143. Is z a multiple of 24?
False
Let t(a) = -464*a - 88. Is t(-2) a multiple of 70?
True
Let o(k) = 4*k**3 + k**2 - 2*k + 1. Let h be o(1). Suppose h - 7 = -i. Is i - (-2 - (-1 + 46)) a multiple of 11?
False
Let g be (-2)/11 + (-8487)/(-33). Does 17 divide g/15 - 8/60?
True
Suppose 5*t + o = 2*t - 3, -o - 3 = 4*t. Let g(u) be the second derivative of -u**3/6 + 81*u**2/2 + 4*u. Does 27 divide g(t)?
True
Is 12 a factor of (-20228)/130*((-64)/4 - -1)?
False
Let w(q) = 2*q**3 - 43*q**2 - 4*q + 32. Does 6 divide w(22)?
False
Let t = -74 + 70. Does 27 divide -81*(32/12)/t?
True
Let a(j) = 2*j**2 + 4*j - 68. Does 5 divide a(-11)?
True
Let m(i) = -i**3 - 10*i**2 + 4. Let o be m(-10). Suppose -g + 2*n - 4 = 4, o*g - 4*n = -16. Suppose -s - 4*r + 11 = g, -3*s - r + 48 = 4. Is 15 a factor of s?
True
Suppose -2505 = -2*v - 3*y, 0 = 5*y - 0 + 25. Does 10 divide v?
True
Let s(k) = -k**3 + 5*k**2 - 6*k + 6. Let a be s(3). Is 0/a - 9*-2 a multiple of 10?
False
Let i(t) = -3*t - 3. Let j = -12 - -7. Let c be i(j). Suppose w - c = -w. Is 3 a factor of w?
True
Suppose 3*k - 362 = 253. Let v = k + -118. Is 18 a factor of v?
False
Suppose 0 = -4*v + 19 + 29. Let c = 23 - v. Let s = -8 + c. Is 3 a factor of s?
True
Is ((-7432)/(-168) - (-2)/6)*21 a multiple of 13?
True
Let v(h) = h**2 - 5*h - 6. Let b be v(6). Let z = -17 + 19. Suppose -2*k + b*j + 125 = 3*j, -6 = -z*j. Is k a multiple of 15?
False
Is 28 a factor of (69/9 + 1)/2*21?
False
Let m = -10 + 15. Let z be 48 + -6 - (1 - -4). Suppose m*l = z + 58. Is 13 a factor of l?
False
Is 5 a factor of (-1)/((-39)/1885)*9?
True
Let y(o) = -o + 8. Let r be y(-6). Let x = 24 - r. Is 20 a factor of (2 - 4)*x*-2?
True
Let m = 2366 - 1753. Is 8 a factor of m?
False
Let s = 71 + 272. Suppose -4*k + s = -5*d, 0 = -3*k - 4*d - 0*d + 265. Does 29 divide k?
True
Let q(j) = -j**3 - 9*j**2 + 45*j + 2. Does 24 divide q(-16)?
False
Suppose -2*y = -5 + 1. Suppose 0*i - 2*i = 0. Suppose y*q + 3*q - 150 = w, 3*w = i. Does 11 divide q?
False
Let o be (-23)/(-5) - (-8)/20. Suppose 5*t + 2*h = -h + 146, -o*h = 5*t - 140. Is t a multiple of 6?
False
Let m(j) = j**3 + 15*j**2 - 9*j - 4. Is m(-15) a multiple of 7?
False
Let v be 13 - 0 - (7 - 5). Let g(j) = -2 + 2*j + 8 - v*j**2 + 13*j**2. Is 15 a factor of g(-4)?
True
Suppose 0 = r - 2 - 0. Suppose -5*h - 34 = -r*s - 86, s - 16 = -h. Is h a multiple of 6?
True
Let f(c) = 2*c**3 + 23*c**2 + 6*c + 10. Does 26 divide f(-11)?
False
Suppose -5*k - 66 = m, -1 = 3*m - 2*m. Let o = 15 + k. Does 12 divide 332/14 + o/7?
True
Let s(n) = -n + 19. Let i be s(-15). Suppose 5*p = -3*o + 80, 3*p - 2*o + o - i = 0. Is 4 a factor of p?
False
Let s(u) = -u**3 + u**2 + 148. Let t be s(0). Suppose t = -2*p + 4*p. Suppose -j + 206 = p. Is 34 a factor of j?
False
Let u(h) be the second derivative of -h**4/12 - 8*h**3/3 - 5*h**2 - 6*h. Let j be u(-10). Suppose j = 5*t + 4*p, t + t - 37 = -5*p. Is t a multiple of 2?
True
Let h = 2131 - 46. Is h a multiple of 23?
False
Let f = 37 - 34. Let r be (0/(-5) + 1)*f. Suppose r*u = -u + 56. Does 14 divide u?
True
Suppose -750 - 90 = -6*c. Is c a multiple of 43?
False
Let z = -11 + 11. Suppose z = -10*m + 2*m + 240. Is m a multiple of 6?
True
Suppose -67*j + 40299 = 7268. Is 17 a factor of j?
True
Suppose 148 + 37 = -5*m. Let r = -3 - m. Let x = r - -5. Does 9 divide x?
False
Let p be 2*7 - (10 - 10). Is p/(-70) - 142/(-10) a multiple of 4?
False
Suppose 0 = 13*r - 11*r - 6. Suppose 3*t - t = 6, -4*t + 216 = r*v. Is v a multiple of 17?
True
Suppose 6*d - 9 - 87 = 0. Let k = 55 + d. Is 14 a factor of k?
False
Suppose 0 = -3*y + 2*j - 57, -5*j + j - 73 = 5*y. Let i = y - -13. Does 5 divide i/(-6) - (-224)/24?
True
Let x = -293 - -461. Is 7 a factor of x?
True
Let i = 6 - -3. Is i a multiple of 2?
False
Let a be 93/15 - 5/25. Suppose a*u - 3*u - 438 = 0. Suppose -o - 4*o + u = -4*j, 4*o - j - 119 = 0. Is o a multiple of 15?
True
Let q = 1727 + -959. Is 12 a factor of q?
True
Let a be (8/(-10))/((-2)/(-5)). Let d be (2/(-2))/(a/34). Suppose -2*t - i + 86 = 0, 4*t + 3*i - 151 = d. Does 15 divide t?
True
Let p be 5/((-75)/24)*5. Let c = 35 + p. Does 9 divide c?
True
Suppose s = -3 + 2. Let p(t) = -2 + 26 - t - 15*t**3 - 25. Is 13 a factor of p(s)?
False
Suppose -4*i = 2*i - 2652. Let t = i + -296. Does 30 divide t?
False
Does 93 divide -1 - -467 - ((-21 - -11) + 11)?
True
Let x = 91 + 6. Is 9 a factor of x?
False
Let z be (-3)/9*(-30)/5. Suppose 258 = 3*g + d - 34, -z*g - 3*d + 204 = 0. Suppose -g = -4*c - 2*u + 134, 4*c - 4*u - 260 = 0. Is 12 a factor of c?
True
Suppose 2*v - 5 - 15 = 0. Let z be 35*(14/v + -1). Let i = 35 - z. Is 7 a factor of i?
True
Let h(j) = 4*j + 16. Suppose 3*a + 24 = -3*g, -3*g - 4*a + 8 = 30. Let q be ((-11)/(-2))/(g/(-20)). Does 12 divide h(q)?
True
Let p = -53 - -54. Let f(l) = -2*l + 40*l - 13*l + 50*l. Is 20 a factor of f(p)?
False
Let z be (-2)/(((-4)/(-2))/(-4)). Suppose 36 = z*p - 4*q, 3*p + p + q - 11 = 0. Suppose -5*s - 90 = -0*u - 5*u, 76 = p*u - 3*s. Does 11 divide u?
True
Suppose -25*z + 43036 = -22064. Is z a multiple of 124?
True
Suppose 3*z = -l + 11, -z + 1 = -4*l + 3*l. Suppose 3*g = l*g. Suppose -4*f = -2*x - 58, f + 3*x - 28 - 4 = g. Is 17 a factor of f?
True
Let g(d) = 4*d + 0*d + 6*d - 2*d - d**2 - 8. Let a be g(10). Is 15 a factor of 143/2 - (-14)/a?
False
Is 29 a factor of 3488/60 - (-6)/(-45)?
True
Let i(t) = 28*t - 180. Does 10 divide i(7)?
False
Let a(w) = w - 7*w + 0*w + 29 - w**2 - 20. Does 9 divide a(-4)?
False
Suppose -3*z - 1 = -16. Suppose 56 = z*s - 69. Is 9 a factor of s?
False
Let d = 185 + 289. Is 28 a factor of d?
False
Suppose -d - 35 = -w + 8, -3*w = -d - 131. Suppose h = -f + w, 3*h + 194 = 4*f + h. Is f a multiple of 17?
False
Let t = 150 + 78. Is 6 a factor of t?
True
Let s(c) = -c**3 - 5*c**2 - c - 44. Does 33 divide s(-11)?
True
Suppose -3*d = -b - d + 95, 0 = 4*d - 20. Let w = b - 65. Is 5 a factor of w?
True
Suppose 0 = -13*i + 8585 + 11487. Is i a multiple of 32?
False
Let n = -67 - -59. Let h = n - -182. Is h a multiple of 44?
False
Suppose -4*r - 5*m = -145, -12 = 3*m - 3. Suppose 0 = -3*j + 4*j + 2*x + r, -x = 5. Let p = j + 50. Is p a multiple of 10?
True
Suppose -3*u = -0*u + 1620. Let c(t) = t + 6. Let q be c(-2). Is 13 a factor of u/(-21) + q/14?
True
Let w be 1/(-6) - (-1)/6. Let s(g) = 2*g + 4. Let o be s(4). Suppo