-0*j + 2*p - 43, 2*p + y = 3*j. Does 8 divide (138/(-15))/((-3)/j)?
False
Suppose 17*o - 2*x = 12*o + 14280, 2*x = -5*o + 14260. Is o a multiple of 67?
False
Let d(n) = 2*n**3 + 40*n**2 - 33*n + 47. Is d(-20) a multiple of 25?
False
Let y be 216/10 + (-2)/(-5). Let r = 118 - y. Suppose 0 = 7*m - 4*m - r. Is 5 a factor of m?
False
Let x = 144 + 1572. Does 44 divide x?
True
Let d be -5*2*(-2)/10. Suppose 10 = 2*t + d. Is 9 a factor of (-12 + 14)*58/t?
False
Suppose 20 = -3*l - 4*u - 22, 4*l + 5*u + 56 = 0. Let h(w) = w**2 + 12*w + 12. Let a be h(l). Let v = a + 11. Is v a multiple of 20?
False
Let o(u) = -5*u**3 - 54*u**2 - 5*u + 44. Let p(i) = -9*i**3 - 108*i**2 - 9*i + 88. Let j(c) = -5*o(c) + 3*p(c). Is j(-27) a multiple of 47?
False
Let q = 91 - 199. Is (410/12 - 1) + 18/q a multiple of 14?
False
Let a(s) = -56*s + 4. Let k(x) = x**3 + 13*x**2 - 13*x + 12. Let y be k(-14). Is 29 a factor of a(y)?
True
Let h(k) = k**2 + 11*k + 3. Let t be h(-11). Suppose -3*f - 399 = -3*n, -3*n - n + 560 = t*f. Does 29 divide n?
False
Let f be 949/195 + 2/15. Is 15 a factor of (f/(-2))/((-1)/6)?
True
Let z = 6 + -26. Let v be (z/25)/((-1)/60). Is 18 a factor of (1 - 6/3) + v?
False
Suppose 0*x = -x + 37. Let l be (-6)/12 + x/(-2). Let b = l + 23. Is 2 a factor of b?
True
Let l = -388 - -620. Suppose -l - 566 = -3*v. Is 14 a factor of v?
True
Let k(a) = 5*a**2 - 6*a - 5. Let q be (23 + 2)/(-5)*(-1 + 0). Is 10 a factor of k(q)?
True
Let z be (-12)/(-8)*(-16)/(-12). Suppose 8 = -3*g + z. Is 4 a factor of 2 - g - 0/(-2)?
True
Suppose 7*y + 15*y = 4488. Is 34 a factor of y?
True
Let x be ((-1)/3)/(9/(-243)). Let u(b) = 8*b - 9. Does 21 divide u(x)?
True
Let c(j) = -5*j. Let s be c(-1). Suppose 0 = 2*z - s*z + 30. Is 2 a factor of 8/(-5)*z/(-4)?
True
Suppose -4*o + 2*y = y + 1, -o - y + 6 = 0. Let x(c) = -c - 4*c + o - 7 + c. Is 3 a factor of x(-5)?
False
Let v(t) = 32*t**2 - 2*t. Does 56 divide v(4)?
True
Suppose -5*d - 5 = -15. Suppose 2*s + 2 = -d. Let n = s + 9. Does 4 divide n?
False
Let r = 42 - 42. Is r - (-56*1)/1 a multiple of 14?
True
Suppose -15*k - 8 = -17*k. Suppose 5*s + 35 = -8*m + 3*m, 22 = -2*s - k*m. Let n = s + 28. Is 10 a factor of n?
False
Let q be (-6)/4*2 - -5. Suppose -3*i - q + 8 = 0. Suppose -4*g + g + 231 = -i*p, -385 = -5*g - 5*p. Is g a multiple of 23?
False
Let f = -801 + 1912. Is f a multiple of 101?
True
Suppose 0 = -3*u + u + 18. Suppose 5 = -2*d + u. Suppose -h + 3*r + 25 = 4*r, d*r = -6. Is h a multiple of 28?
True
Suppose 2*w = 8 + 26. Let o(v) = v**3 - 18*v**2 + 23*v - 2. Does 20 divide o(w)?
True
Suppose -s + 25 - 5 = 0. Let m be 48/s*40/3. Let u = m - 22. Is u a multiple of 6?
False
Let r be 2304/15 - (-8)/20. Suppose -x + 37 = 2*n, 5*n - r = x - 5*x. Let c = x + 8. Is c a multiple of 26?
False
Let j = 72 + 200. Is j a multiple of 3?
False
Suppose -4*b - 28 + 240 = 0. Suppose -420 = -56*s + b*s. Is s a multiple of 28?
True
Let v(q) = 8*q - 8. Does 4 divide v(6)?
True
Suppose 25*g - 20*g = -10. Is 0 + 4 + g + -3 + 48 a multiple of 9?
False
Let g = 286 + -19. Is 10 a factor of g?
False
Let b = -94 - -49. Is 9 a factor of 2*-6*b/20?
True
Suppose -70 = 8*q - 3*q. Let k be 7/(q/(-390)) - -3. Suppose -z + k = z. Is 33 a factor of z?
True
Suppose 2368 = 2*z + 3*x, 0 = 2*z + 4*x - 1558 - 806. Is z a multiple of 35?
True
Let y = 1078 + -743. Does 15 divide y?
False
Let a(c) = 1. Let r(n) = -5*n - 1. Let z(s) = -4*a(s) + r(s). Let h be z(-7). Let v = h - -45. Is v a multiple of 25?
True
Let x(q) = q**2 - 11*q + 36. Is x(20) a multiple of 23?
False
Suppose -10 = -5*z + 2*t, -z + 4*t = z - 4. Suppose -z*m = -13 + 7. Suppose -m*f + 6 = 0, -125 = -5*v + 2*f + 181. Is v a multiple of 16?
False
Let f(b) = -b**3 + 3*b**2 - b + 3. Let o be f(3). Let u(k) = 30 - 11 + 13 + k + 0*k. Is u(o) a multiple of 24?
False
Suppose 5645 = 15*s - 4435. Is 48 a factor of s?
True
Suppose 3*n + j = -2*n + 23, 2*j = -4*n + 16. Suppose 0 = n*v - v - 188. Does 7 divide v?
False
Let o = -518 - -518. Let l be 2*2 - (2 + -1). Suppose -l*w + 16 - 4 = o. Is w a multiple of 4?
True
Let v(l) = 159*l - 10. Is 25 a factor of v(6)?
False
Suppose -4*m - m - 25 = -5*q, -4*q + 60 = 4*m. Let k be 36 + -1 - (-10)/q. Let w = k - 4. Is 8 a factor of w?
True
Let h = -689 + 1847. Does 43 divide h?
False
Suppose 0 = -3*v - 4*h + 214, -2*v + 156 = h + 5. Does 2 divide v?
True
Suppose 5*f + 4*w - 1984 = 0, -15 + 10 = -5*w. Does 3 divide f?
True
Suppose -101749 - 27971 = -94*w. Does 20 divide w?
True
Suppose -2*t - 2 + 10 = 0. Is 26 a factor of (-1)/t + 627/12?
True
Is (-2 - -1)*-114*(-3)/(-3) a multiple of 19?
True
Let k(x) = -x**3 - x**2 + 2*x + 4. Let v be k(3). Let u be (-464)/v + 8/52. Suppose u*m - 20*m + 90 = 0. Is 9 a factor of m?
True
Let m = 30 + -24. Suppose 0*v - 924 = -m*v. Suppose 44*i = 46*i - v. Is i a multiple of 11?
True
Let l(t) = -t**3 - t**2 - 1. Let v(x) = -6*x**3 + 7*x**2 + 5*x + 3. Let k(c) = -6*l(c) - v(c). Let j be k(2). Let m = j + -49. Is 11 a factor of m?
False
Suppose 0 = 11*u - 12*u + 298. Let s = u - 88. Is 30 a factor of s?
True
Is ((-5)/10 - (5 - 4))*-2310 a multiple of 15?
True
Let q = 42 + -32. Is 10 a factor of (25/q)/(-1 - 9/(-8))?
True
Suppose 4*q = 2*q + 4. Let k(n) = -5 + 5*n + 3*n - 4*n - q*n. Is k(5) a multiple of 5?
True
Suppose 10*k = 1341 - 411. Does 9 divide k?
False
Does 4 divide (-124)/155 - ((-7332)/15 + 3)?
False
Is -829*(-92)/(-23)*2/(-4) a multiple of 8?
False
Does 10 divide -618*(40/12 - 5)?
True
Let g be (-2)/1 - -7*27. Suppose -2*m - 53 = 4*t + 17, 5*m + 4*t = -g. Let h = 61 + m. Is h a multiple of 6?
False
Let t(h) = 19*h + 5. Let b be t(10). Suppose 7*d = 2*d - b. Let m = 55 + d. Does 16 divide m?
True
Let u = 81 + -136. Suppose -13 = -2*j + 3*j. Let v = j - u. Does 14 divide v?
True
Suppose 339*j - 336*j = 2859. Is 64 a factor of j?
False
Suppose -505 = 2*q + 5*n, -5*q - n = 2*n + 1234. Let s be 12/(-54) - q/9. Let u = -13 + s. Does 7 divide u?
True
Suppose -4*p - 2*p + 54 = 0. Let l be (-1)/(-1*(-1)/(-52)). Let x = l - p. Does 10 divide x?
False
Suppose -10 = -k - 2. Let n = -5 + k. Is 25 - (0/n + -2) a multiple of 7?
False
Suppose 3*c = -3*a + 1740, -4*a - 2*c + 2915 = a. Suppose 5*v + a = 2*x - x, -4*x = -2*v - 2304. Does 14 divide ((-6)/(-10))/(5/x)?
False
Let a be (-16)/(-48) + (-92)/6. Let r be 3/a + (-772)/(-10). Let b = r + -41. Is b a multiple of 15?
False
Let r(m) = -248*m. Let f(n) = -19*n. Let s(p) = 80*f(p) - 6*r(p). Is 12 a factor of s(-9)?
True
Suppose 20 = h - 18. Suppose 0 = r - h + 6. Suppose m = -3*i + 5*i - 57, -i = -4*m - r. Is i a multiple of 7?
True
Suppose -w = 4*q - 199, -5*q + 13 + 184 = w. Is w a multiple of 53?
False
Suppose 2*a = a - 4*l + 998, 0 = -5*a + 3*l + 4921. Suppose -g + 213 = 4*q + 11, 5*g - a = 4*q. Is 22 a factor of g?
True
Let w(r) = 2*r + 35. Let i be w(-20). Is 9 a factor of 22 + (-3)/(i + (1 - -1))?
False
Let o = -720 - -990. Is 30 a factor of o?
True
Let r = -462 + 912. Does 30 divide r?
True
Suppose -41150 - 25525 = -25*m. Is m a multiple of 45?
False
Let z(c) = 40*c - 1. Suppose 0 = -6*d + 3 + 3. Does 4 divide z(d)?
False
Let r(c) = 90*c - 26. Let n be r(11). Suppose -n + 180 = -8*q. Is 14 a factor of q?
True
Let t be 0 - (12/3 - -2). Let k(a) = -a**2 - 7*a - 6. Let v be k(t). Suppose 3*g - 204 = -5*l, 2*l - 3*g - 50 - 19 = v. Does 13 divide l?
True
Suppose 2*z = 4*z + 16. Let c(x) = 4*x + 12. Let r be c(z). Let m = 50 + r. Is 10 a factor of m?
True
Suppose -i - 10 = 2*y, 7*i + y = 2*i - 5. Suppose i = s + 2*s + 42. Let d = 20 + s. Is 3 a factor of d?
True
Let d(p) = 871*p**2 - 1. Is 14 a factor of d(-1)?
False
Suppose i + 2341 = 4*z - 2297, -2*z + 4*i = -2326. Is z a multiple of 19?
True
Let p(g) = -g**3 + 16*g**2 + 12*g + 14. Does 29 divide p(13)?
False
Suppose -2951*t + 2952*t = 483. Does 21 divide t?
True
Let d(y) = -y**2 - 8*y - 11. Let z be d(-5). Suppose -o = -z*o - 132. Is o/(-3) + (-48)/(-36) a multiple of 10?
False
Let w(a) = -4*a + 14. Let d be w(3). Is 12 a factor of d/(-2)*3 + 151?
False
Suppose 0 = -3*v - 4*k + 1120, -53*v - 4*k - 352 = -54*v. Does 23 divide v?
True
Suppose -42*y - 1665 = -43*y - 4*g, 3*g = 2*y - 3286. Is y a multiple of 47?
False
Let k = 1019 + -154. Is k a multiple of 10?
False
Let n(c) = 71*c + 4 - 36*c - 32*c. Is n(3) a multiple of 5?
False
L