t a(j) = -j**3 - 9*j**2 - 18*j - 17. Is 6 a factor of a(v)?
False
Let j be 102/(-1 + 15/6). Let x = j - -2. Is 20 a factor of x?
False
Let s(o) be the third derivative of -o**4/3 + 4*o**3/3 - 17*o**2. Is 11 a factor of s(-7)?
False
Suppose -3*d - 23 = 5*a, 10*d - 5*d - 2*a = 3. Let h(x) = -17*x**3 + 2*x**2 - 1. Is 18 a factor of h(d)?
True
Let v be 20/(-6)*(-15)/10. Suppose 48 = i + v*q, 2*q + 16 = i - q. Is i a multiple of 7?
True
Let k = -16 - -10. Does 5 divide (-16)/k*(10 + 2)?
False
Suppose 2*w = 32 + 72. Let q = 56 - w. Does 2 divide q?
True
Let x(g) = -19*g**3 + 2*g**2 - g + 5. Let a be x(2). Let z = -85 - a. Does 7 divide z?
True
Let g(r) = r**2 + 5*r - 31. Does 42 divide g(-22)?
False
Is 8 a factor of 1/1 + (52 - -226)?
False
Let m be -3*(-2)/(-3 + 60/22). Let g = m + 44. Is 11 a factor of g?
True
Does 12 divide 17016/21 + (-108)/84?
False
Does 33 divide (-4)/2 + 431 + 0/(-2)?
True
Suppose 507*u = 503*u + 84. Is 3 a factor of u?
True
Let u(k) = 0*k**2 + 23*k + 8 - 28 + 0*k**2 - k**2. Does 8 divide u(19)?
True
Is (-4 - (-1208)/2)/1 a multiple of 15?
True
Let l = -18 - -2. Let f(z) = 2*z**3 - 12*z**2 + z - 11. Let y be f(6). Let k = y - l. Is k a multiple of 5?
False
Suppose -2*v + 2*p = -3*v + 96, 3*v - 284 = -2*p. Is v a multiple of 14?
False
Suppose -185*z + 197*z = 7068. Does 53 divide z?
False
Suppose 6*l = -237 + 4521. Is l a multiple of 21?
True
Suppose 7*d = -53 + 1243. Does 6 divide d?
False
Let g(n) = 28*n - 89. Let d be g(8). Is 9 a factor of d/(-2)*78/(-65)?
True
Let m = 180 + 461. Is 19 a factor of m?
False
Suppose -4*s = -7*s - 9. Let m(b) = 3*b**3 - 2*b**2 - b + 2. Let o be m(s). Let y = -42 - o. Is y a multiple of 13?
True
Is (-1)/10 - 112047/(-170) a multiple of 55?
False
Let v(h) = 10*h**2 - 3*h + 2. Is 19 a factor of v(-6)?
True
Let n(z) = 7*z**3 - 3*z**2 + 3*z - 7. Let f be n(5). Is (1/(-2)*-1)/(4/f) a multiple of 17?
False
Suppose 0*f - 2*f + 14 = 0. Suppose -2*q - 140 = -f*q. Is q a multiple of 4?
True
Let s = 1596 + -1147. Does 6 divide s?
False
Let z(g) = g**3 + 5*g**2 + 5*g + 7. Let s(t) = t**2 - 10*t + 17. Let u be s(7). Let c be z(u). Is (-3 - -1) + 150/c a multiple of 16?
True
Let f be -2*2*(-1)/4. Let g = 8 - f. Let z(u) = u**3 - 7*u**2 + 8*u + 1. Is 15 a factor of z(g)?
False
Let t be (10/4)/((-2)/(-4)). Suppose t*j + 7 = y, -8 = -5*y - 3*j + j. Let x = 12 + y. Is 7 a factor of x?
True
Suppose 4*b + 976 - 190 = 5*d, -2*d = 2*b - 300. Suppose -3*r = -2*n + 81, d = 4*n + 2*r - 0*r. Does 18 divide n?
False
Let t(l) = -3*l**3 - 12*l**2 + 11*l - 14. Let j(r) = r**3 + r**2 - r. Let h(z) = -4*j(z) - t(z). Is 2 a factor of h(7)?
True
Suppose -12*b + 11*b = l - 4242, -3*b = -5*l + 21234. Does 40 divide l?
False
Is (-81)/18*(-230)/3 a multiple of 69?
True
Suppose 2*p = -3*i - 3 + 6, i - 11 = -4*p. Let z be ((-1)/3)/((20/(-36))/5). Suppose -z*y + 68 = -p*a - 2*a, 4*y = 5*a + 94. Is 11 a factor of y?
False
Suppose 8820 = 39*p - 19*p. Does 27 divide p?
False
Let t be 3/(-7) + (-2040)/(-56). Let y be (-64)/(-6)*t/12. Suppose -167 = -3*i - y. Does 15 divide i?
True
Let o be ((-8)/(-16))/((-1)/18). Let c(n) = n + 12. Let d be c(o). Suppose d*s + 80 = 209. Is 25 a factor of s?
False
Let l(p) = -7*p + 29. Let v be l(8). Let r = 27 + -67. Let n = v - r. Does 7 divide n?
False
Let d = 1433 - 789. Is 23 a factor of d?
True
Let d = -1324 - -2137. Does 17 divide d?
False
Let y be 80/15 + (-2)/(18/3). Suppose -4*s = -n + 37, 4*s - y*s + 143 = 5*n. Is n a multiple of 29?
True
Let p = -16 - -19. Suppose -v = -2*l + 7, -3*l - v + p = -5*v. Suppose -3*r + 2*y = -128, -5*y + 0*y - 210 = -l*r. Is 8 a factor of r?
False
Suppose -6*q + 5*q + 2 = 0. Suppose 2*b - 14 = -2*k - 2*b, 4*k - 78 = q*b. Suppose 2*m - k = -1. Is 2 a factor of m?
True
Let u(g) = g**3 - 9*g**2 + 30*g - 116. Does 123 divide u(17)?
True
Suppose -8*t - 16 = 32. Let b(j) = -18*j - 18. Does 15 divide b(t)?
True
Let h be (3/(-9))/((-3)/(-45)). Let v be (-5)/(h/159) - 3. Let q = -99 + v. Is 17 a factor of q?
False
Let i(r) = 9 - 3*r + 3 + r**2 - 6*r - 3. Let s be i(8). Let d(y) = 7*y**2 - y + 1. Does 7 divide d(s)?
True
Let j = 2 + 3. Suppose j*o + 2 = 4*o. Is 13 a factor of (-1 - 0)/(o/132)?
False
Suppose -3*b - 10*t = -7*t - 741, -2*b = -3*t - 469. Is 6 a factor of b?
False
Suppose -2*i = -4*c + 14 + 188, 2*i - 248 = -5*c. Does 3 divide c?
False
Let g(v) = -12*v - 85. Is 11 a factor of g(-11)?
False
Is (812 - -7) + 8/1 a multiple of 20?
False
Suppose -5*m + 5*s = -165, 2*m + 5*s - 51 - 29 = 0. Let g = m - -87. Is g a multiple of 12?
False
Let c(f) = 4*f**2 + 2*f + 18. Let w be c(-8). Let o(r) = -r + 10. Let t be o(7). Suppose -105 = t*k - w. Does 16 divide k?
False
Does 5 divide 5*3/(-4)*(-7876)/33?
True
Let x = -37 - -40. Suppose -x*i + 172 = 37. Is 8 a factor of i?
False
Is 505 + (3 - -1*(1 + -4)) a multiple of 13?
False
Suppose -19 = 2*p + 9. Let o = 26 - p. Is 11 a factor of o?
False
Let s(t) = t**2 + 5*t - 25. Let d be s(5). Let b = d - -102. Is b a multiple of 41?
False
Suppose -29*o - 2965 = -13666. Does 41 divide o?
True
Let j = 5 - 2. Suppose -32 = -j*p + 2*p. Does 9 divide p?
False
Does 70 divide 6645/5 - 7/(-7)?
True
Suppose 2*x - 3*v = -0*v + 53, 0 = -3*x + 4*v + 79. Is 3 a factor of (-2 - x)/(0 - 6/4)?
True
Suppose 5*c - 3*c = 6. Suppose -j + c*j - 90 = 0. Is 16 a factor of j?
False
Let i = -1699 + 2484. Is i a multiple of 15?
False
Suppose 18*m + 450 = 24*m. Let a = m + -24. Does 5 divide a?
False
Let o be 3 + 0 + -18 + (-6)/(-2). Let k = o + 34. Is 11 a factor of k?
True
Suppose -4*p - 2*l = -12, 30 = 2*p + l - 6*l. Let b be 165/25 - 3/p. Suppose b*g - 53 = 5*g. Is g a multiple of 27?
False
Suppose -10 = -3*p + 5*b, -2*b = 4*p - 21 - 1. Suppose 3*z + 46 = 2*k + 14, -p*k - 46 = 3*z. Does 2 divide z/(-3)*1 - 2?
True
Let q(n) = 6*n**2 - 5*n + 89. Is q(19) a multiple of 18?
True
Let s = 37 - 9. Suppose 2*d - s = c - 3*d, -2*c - 3*d + 9 = 0. Does 9 divide (-9)/6*2*c?
True
Let v(u) = -u**3 - 3*u**2 + 2. Let i = 19 - 22. Let l be v(i). Suppose 0 = -n + 2*y + 50, l*n - 3*y - 97 = -0*y. Does 11 divide n?
True
Suppose -29*h - 160 = -24*h. Let j = -17 - h. Is j a multiple of 5?
True
Let l be (17 - 8)*(1 + 62/6). Let s = l - -153. Does 53 divide s?
False
Let z(l) = l**3 - 11*l**2 - 18*l + 4. Is z(13) a multiple of 3?
True
Suppose -w + 1001 = 9*j - 5*j, -5*w + 5005 = -4*j. Does 13 divide w?
True
Let a(n) = 2*n - 10. Let u be a(7). Suppose 5 = u*y - 3. Suppose -3*p + d = -84, -2*d = -4*p + y*d + 104. Is p a multiple of 13?
False
Let p be -15 - -12 - (-5 - 0). Suppose -p*a - f = 2*f - 68, 0 = -2*f - 8. Suppose 4*w - a = 2*w. Is 20 a factor of w?
True
Let x = -6 - -222. Is 15 a factor of x?
False
Let t(d) = d - 7. Let g be 0/(0 - -2 - 1). Let v be t(g). Is 2/v + (-65)/(-7) a multiple of 4?
False
Let o = 6 - -1. Suppose 10*x - 180 = o*x. Suppose -x = -g - g. Is g a multiple of 4?
False
Let u(k) be the second derivative of 34*k**3/3 - 7*k. Is 14 a factor of u(2)?
False
Does 38 divide 7500/28 - 2 - (-1)/7?
True
Suppose 410 = 3*h - 4*x, 3*h + 0*x - 406 = 2*x. Suppose d = -j - 4*j + h, 114 = 5*j - 4*d. Is j a multiple of 25?
False
Let s(z) = -109*z**3 + 2 - 2*z - 4*z**2 + z - 2*z + 100*z**3. Is s(-2) a multiple of 6?
False
Suppose q + 3*u = -2*u + 39, 5*q + 2*u - 218 = 0. Is 7 a factor of (-8)/q + ((-4960)/(-44))/4?
True
Let d = 57 - 1. Is 12 a factor of (-180)/14*d/(-12)?
True
Let j be 0*(-4 - (-21)/6). Suppose j = -2*i + 3*w + w + 72, -3*i = -w - 108. Does 18 divide i?
True
Suppose 5*b - 33 - 35 = 3*h, 4*b - 84 = -5*h. Suppose -b*g + 11*g + 385 = 0. Is g a multiple of 20?
False
Suppose -18*p + 5*p = -4407. Is p a multiple of 13?
False
Suppose 553 = 2*l - 2*b + 3*b, 3*b - 264 = -l. Is l a multiple of 12?
False
Let n = 2277 - 1738. Is 24 a factor of n?
False
Let j = 19 - 10. Let g be 4/3*(-108)/j. Does 6 divide 2 + 0 - (g - 0)?
True
Suppose 456 = 2*r - 3*y, 4*y - 308 = -3*r + 342. Let x = 146 - r. Let t = -38 - x. Is t a multiple of 6?
False
Suppose 38*r = 39*r - 45. Does 9 divide r?
True
Suppose 5*h - 2*p - 34 - 2 = 0, 5*h - 3*p - 39 = 0. Suppose -h*b + 0*b = -846. Does 14 divide b?
False
Let f = 7 - 5. Let r(s) = -s**3 + 11*s**2 - 11*s + 13. Let k be r(10). Suppose 5*z - m - 32 = k*z, 0 = -m + f. Is z a multiple of 16?
False
Let v = -3478 + 4969. Is v a multiple of 71?
T