= -714. Is 13 a factor of (-11)/(-44) + n/f?
True
Let a be 25/(-3) + 2/(-3). Let x be (-4)/6*a/(-2). Let t(v) = 3*v**2 - 4*v - 3. Is 13 a factor of t(x)?
False
Let y = -338 + 514. Let f = 281 - y. Is 21 a factor of f?
True
Let f be -1 + -3 - -3 - -1. Suppose -2*y + 2*b = 36, 2*b + 8 = -f*b. Is 7 a factor of 3 + -1 - y - -2?
False
Suppose 36 + 9 = 5*d. Is 3 a factor of 5/(-10)*-8*d/2?
True
Let k = 45 - 57. Does 36 divide (-4 - k)*-6*3/(-2)?
True
Suppose 0 = 4*w + 20, 5*r + 4*w = 4*r + 1047. Is r a multiple of 14?
False
Let w(j) = 158*j**2 - 5*j - 4. Is w(2) a multiple of 9?
False
Let c(a) = -8*a**3 + a + 1. Let b be c(-1). Let i(t) = -4*t + 5*t**2 - 3*t - 4*t**2 + 2. Does 5 divide i(b)?
True
Suppose 2*v + 4*q = 1736, -5*q = 5*v - q - 4340. Does 28 divide v?
True
Let c(g) = -6*g - 3. Let m be c(4). Is (-40)/3*m/12 a multiple of 15?
True
Let u(p) = 8*p**2 - 4*p - 4. Let c be u(-8). Suppose -4*i + c = 36. Is i a multiple of 35?
False
Let r be (6/(-9))/((-8)/(-588)). Is (-7070)/r + 2/(-7) a multiple of 18?
True
Suppose 2*k + 3*x = -0*k + 24, -2*x - 34 = -2*k. Does 25 divide 6/k*55 + (-6)/(-2)?
True
Let b be 8/(-14) - (-21096)/168. Suppose -k + 3*k + 5*t = 10, -4*k = 2*t - 20. Let d = b - k. Does 40 divide d?
True
Suppose -m - 3 = -5. Suppose 3*r = 2*h - r - 1184, -m*h - 4*r = -1192. Suppose -f - 3*z = 4*f - h, 6 = -3*z. Is 30 a factor of f?
True
Let i be ((-2)/3)/(2/(-111)). Suppose i = 2*a - 45. Suppose -5 = -u, -2*u = -4*g + u + a. Is 5 a factor of g?
False
Let q(i) = i**3 - 11*i**2 + 11*i + 8. Let l be q(7). Let r = -30 - l. Is r a multiple of 27?
True
Let k(r) = -r**2 + 14*r + 32. Let t be k(16). Suppose t = 5*q - 456 + 116. Is 12 a factor of q?
False
Let b(i) = -i**3 + 5*i**2 - 2*i - 1. Let p be b(4). Suppose -5*h = -p*h - 2. Let u = h - -7. Does 2 divide u?
True
Let y(m) = -m**3 - 6*m**2 - 11*m - 8. Let i be y(-4). Does 11 divide 6*(4 + i/(-12))?
True
Suppose -t - t = 0. Suppose -4*n - 5 - 3 = t, -4*j - 5*n = -790. Suppose -4*y - 3*p - 2*p = -j, -5*y - 3*p = -237. Is y a multiple of 13?
False
Suppose 0 = -4*o - 2*p + 3730, 3*p + 4670 = 5*o + 4*p. Is o a multiple of 17?
True
Is 54*(0 - 33/(-6)) a multiple of 11?
True
Suppose -5*t = q + 20, q = 8*t - 3*t + 20. Does 9 divide t/(-8)*16 - -4?
False
Let p(k) = -3*k**3 - 8*k**2 + 10*k - 15. Is p(-7) a multiple of 46?
True
Suppose -2*u = 2*b - 128, -4*b = -2*u + u + 69. Let v = u - 37. Is 7 a factor of v?
True
Suppose 0 = -m + 4 - 3. Suppose r + 2*w + 9 = 0, -2*r + 3*w + 0*w = -10. Is (0 - m - -58) + r a multiple of 10?
False
Let g be 183/2 + (-1)/(-2). Suppose 6*b - 19 = 11. Suppose -3*c + 5*x + g = 0, -4*x = b*c - 0*c - 104. Is c a multiple of 8?
True
Let j(o) = -15*o + 1. Let c(y) = y. Let s(k) = 4*c(k) + j(k). Let d be s(-2). Suppose -d - 1 = -2*n. Is n a multiple of 6?
True
Suppose -117 = -2*x + 61. Is x a multiple of 21?
False
Let z(y) = 54*y + 10. Is z(1) a multiple of 16?
True
Is 11 a factor of 4/36*33*72?
True
Is ((-205)/(-10))/(-5*(-5)/450) a multiple of 3?
True
Let x(y) = -y**2 + 6*y + 12. Suppose s + 2*s - 3 = 0. Let v(z) = z**2 - z. Let i(b) = s*x(b) + 2*v(b). Is 12 a factor of i(-10)?
True
Suppose 0 = 16*q - 10*q - 12. Suppose 3*v = q*k - 311, -v + 672 = 4*k + 3*v. Is k a multiple of 11?
False
Let q(s) = s**3 - 13*s**2 + 3*s + 75. Is q(13) a multiple of 6?
True
Let h = -19 - -12. Let v(b) = -3*b**3 + 16*b**2 - 17*b + 13. Let k(n) = 5*n**3 - 24*n**2 + 26*n - 20. Let w(j) = 5*k(j) + 8*v(j). Does 20 divide w(h)?
False
Let a(t) = t + 5. Let j be a(-3). Let r be 17/j + (-5)/(-10). Let f(i) = i - 1. Does 2 divide f(r)?
True
Let y be ((-856)/28 - -6)*14/(-4). Suppose r = -3*o + y + 28, -4*r + 501 = 3*o. Is r a multiple of 9?
False
Let m(y) = 28*y - 175. Is 12 a factor of m(19)?
False
Let k(c) = -c**2 - 59*c - 87. Does 27 divide k(-56)?
True
Let c(i) = -i**2 + 2*i + 9. Let v be c(-4). Does 13 divide 4/(-10) + (-501)/v?
False
Suppose -4*t - 202 = -y, -5*t - 367 - 673 = -5*y. Suppose -44*r = -39*r - y. Does 6 divide r?
True
Let f be (0 - 1)/((-1)/(-14)). Let n(l) = l**3 + 14*l**2 - l + 12. Does 26 divide n(f)?
True
Let d(i) = i**2 + 6*i. Let s(j) = -1. Let r(v) = d(v) - 5*s(v). Let x be r(8). Suppose -3*f + 178 = -2*q, -2*f + x = q - 4*q. Is f a multiple of 13?
False
Suppose -4*q - i + 339 = -3*q, -3 = i. Is q a multiple of 6?
True
Suppose -3*y - 10 + 207 = 2*s, 2*y - 138 = -3*s. Is y a multiple of 21?
True
Let w(n) = n**2 - 39*n + 380. Does 4 divide w(0)?
True
Suppose 6*u - 3*u = 702. Let m = 341 - u. Is m a multiple of 25?
False
Let x = -906 - -1486. Is x a multiple of 4?
True
Let c = 7 - 11. Let m = c - -4. Suppose 2*v + 2*b = 3*b + 143, m = v - 4*b - 68. Does 29 divide v?
False
Let m = 1922 + -1728. Does 32 divide m?
False
Let b(y) = -18*y. Let m be b(-6). Suppose 0 = 5*a - 2*h - 324 - 222, h + m = a. Is 6 a factor of a?
False
Let i = -230 + 710. Is 12 a factor of i?
True
Let n = 104 + -28. Suppose 5*t = s + n, 3*t + 2*s - 43 = -0*s. Is t a multiple of 5?
True
Suppose -192 = 9*m - 705. Does 17 divide m?
False
Let w = -6 - -10. Let b be w*((-5)/(-2) - 1). Does 5 divide (-15)/(-90) + 113/b?
False
Suppose 59*a - 60*a - 1123 = -2*c, -1684 = -3*c + a. Is c a multiple of 11?
True
Suppose -34*l + 18480 = -14*l. Is 84 a factor of l?
True
Does 13 divide (-266)/38 + (97 - -1)?
True
Let o(s) = 106*s - 127. Is o(6) a multiple of 78?
False
Let l = -11 + 10. Let j(h) = 18*h**2 + 1. Let q be j(l). Suppose 4*t - 49 = q. Is 17 a factor of t?
True
Let x = 78 - 128. Let i be ((-14)/4)/(5/x). Does 5 divide 410/i + (-2)/(-7)?
False
Let p = 8181 + -5271. Does 46 divide p?
False
Let t(r) = -3*r - 6. Let x be t(-3). Suppose x*g - 33 - 532 = -5*m, 0 = -m - g + 113. Suppose 4*k - 101 = -i, -i - m - 2 = -5*k. Is 20 a factor of k?
False
Let f = -29 + 33. Suppose f*y = -16, -3*g + 4*y - 2*y = -203. Is g a multiple of 13?
True
Let a(b) = 26*b - 21. Let s be a(6). Let v = s - 95. Is v a multiple of 5?
True
Let b = 25 + -21. Does 5 divide (-1)/((b + -2)/(-28))?
False
Suppose -283 = -3*o + 2*p, -4*o = 5*p - 259 - 126. Let g = o + -27. Does 37 divide g?
False
Suppose 4*p - 884 = 4*a, p = -3*p + 2*a + 892. Suppose 13*l = 16*l - p. Is 7 a factor of l?
False
Suppose -113 = -6*f - 293. Is f/(4/(-6)*3) a multiple of 5?
True
Suppose 4*q - 5*v = 22, -3*v + 4 = 10. Suppose -3*w + 12 = -3*y - 6, -4*w - q*y + 3 = 0. Suppose 4*i - 19 = w*i. Is i a multiple of 9?
False
Let l be 2/(-1)*1 + -5. Let j(d) = -d**2 - 9*d - 9. Let z be j(l). Suppose 2*t + 40 + 42 = 4*x, 58 = 3*x - z*t. Is x a multiple of 21?
True
Suppose 0 = -7*p - 714 + 2373. Is p a multiple of 2?
False
Let f = 27 + -22. Suppose n - 20 = -f*i, 2*n = i - n - 20. Is i even?
False
Let o be 3/(-1) + 234 + 2 + 0. Suppose 2*w - o = -63. Does 8 divide w?
False
Suppose 0 = 3*q - 5*d - 2715 - 3373, -10126 = -5*q - 2*d. Is q a multiple of 21?
False
Suppose -4*x = -9*x + 25. Suppose 5*w - x*s - 260 = 0, -5*w - s = -0*w - 254. Is 17 a factor of w?
True
Let x(j) = -j**3 + 9*j**2 - 8*j + 10. Suppose 3*l - 13 = -4*c, 3*c - 5*l - 23 = 23. Is x(c) a multiple of 26?
True
Let q = 21 - 19. Let d be 0 + 3 + 0 + q. Is (106/d)/(4/10) a multiple of 11?
False
Let s(y) = -y**2 - 13*y + 21. Let f be s(-15). Let z be 20/90 - 25/f. Suppose z*p = g - 16 - 7, -3*p = -4*g + 137. Is 15 a factor of g?
False
Suppose 1547 = 40*p - 114053. Is 17 a factor of p?
True
Let r(w) = -w**3 + 11*w**2 + 3. Let u = 4 + -6. Let d(s) = 2*s**2 + 3. Let q be d(u). Is r(q) even?
False
Let g(r) = 7*r**2 - r - 2. Let y(s) = s**3 - 2*s**2 - 7*s + 5. Let o be y(4). Let m be (-6)/o + (-24)/(-9). Is g(m) a multiple of 4?
True
Let d(f) = 8*f**2 + f - 13. Let c(l) = -2*l**2 + 3. Let m(v) = 9*c(v) + 2*d(v). Let q be m(-9). Let j = -107 - q. Is 15 a factor of j?
False
Let r(m) = 34*m**2 + 4*m + 15. Does 15 divide r(-6)?
True
Suppose u - 90 = x, 5*u + 6*x - 438 = 8*x. Is 2 a factor of u?
True
Suppose 288 = -2*g - 178. Let h = g + 359. Suppose 0 = 4*q + 6 - h. Does 14 divide q?
False
Suppose -16 = -w - 3*w. Suppose -m + w - 30 = 0. Is 6 a factor of ((-39)/m)/((-2)/(-16))?
True
Is 1760/96*33/5 a multiple of 13?
False
Let j be -2 - -1*(20 + 5). Suppose 3*a + 9 + 30 = 0. Let c = j + a. Does 5 divide c?
True
Let j be (-39)/65 - (1354/10 + -2). Let w = j + 286. Is w a multiple of 7?
False
Let f(b) = -9*b + 56. Let g be f(6). Suppose 0 = 2*r