Let p be u(2). Suppose 81 = 4*y + p. Does 15 divide y?
True
Suppose 1 = 3*p + 3*x - 8, -p = 3*x - 1. Suppose -23 = -p*i - 143. Is 2*-1 - (i + -2) a multiple of 10?
True
Let z(k) = -k**3 + 10*k**2 - 21*k - 2. Let w be z(9). Let p = w - -148. Does 38 divide p?
True
Let x be 2/(-6*(-4)/660). Let t = x + -22. Is t a multiple of 33?
True
Does 5 divide (-6)/(-36) - 1318/(-12)?
True
Suppose -4 = -2*w, 0 = g - 2*g + 5*w + 233. Suppose -3*c + g = -153. Is 13 a factor of c?
False
Let q(l) = -l**3 + 9*l**2 - 8*l + 3. Let u be q(8). Suppose u*i + 2*m - 33 = 0, 0*m - 3*m = -2*i + 22. Does 7 divide i?
False
Let w be -1 - 3/(-3) - -2. Suppose -440 = -5*k + 5*z, 200 - 22 = w*k - z. Is 20 a factor of k?
False
Suppose -4*y + 0 = -12. Is (y + 252/(-20))*-5 a multiple of 12?
True
Is 10 a factor of (-66150)/(-60) + (-1)/(-2)?
False
Suppose -8*i + 12*i - 92 = 0. Let s = 74 + i. Let v = -55 + s. Does 14 divide v?
True
Let h = -1885 - -2635. Is 75 a factor of h?
True
Let q(o) = -20*o - 25. Is 35 a factor of q(-38)?
True
Let o = -47 + 57. Is 2 a factor of o?
True
Let d be 14/4 + (-12)/(-24). Suppose 13 = -5*z + d*h + 39, 3*h + 27 = 5*z. Is z a multiple of 3?
True
Let t = -4174 - -6928. Is 18 a factor of t?
True
Suppose 2*a - 2*w = 3*w + 123, 0 = a + 5*w - 39. Suppose 2*d - a = 24. Does 13 divide d?
True
Suppose 3*x = 4*w - 190, -4*w - 2*x = 2*x - 204. Is 14 a factor of w?
False
Suppose 0 = -4*g + 2*g + 1746. Is 12 a factor of g?
False
Let f = -4 + 6. Suppose -g - 4*t - f = -3*g, -4 = -4*g + 5*t. Suppose -b + 12 = -g. Is 5 a factor of b?
False
Suppose -3 = -2*i - 3*g, -3*g - 2*g = -i - 31. Let p be (-42)/(-63) + (-8)/i. Suppose k + 19 = p*k. Is 18 a factor of k?
False
Let b = 54 + -49. Suppose -107 = b*p - 617. Does 51 divide p?
True
Suppose -2*m + 5*o = 2*m + 1, 3*m = -o + 4. Let u(h) = h - m - 4*h + 10. Is 8 a factor of u(-7)?
False
Suppose -5*k - 10 = -0*k. Let w(l) = 5*l**2 + 3*l + 3. Is 8 a factor of w(k)?
False
Let m(z) = 6*z - 63. Suppose 5*x = -x + 108. Is m(x) a multiple of 9?
True
Let d be 5/15 + 34/6. Suppose d*a - 7 = 5. Suppose -a*g = 2*g - 12, -3*s = 4*g - 93. Is s a multiple of 9?
True
Suppose j - 3 = 0, 5*r + 2*j + 190 = r. Let x = 22 - r. Is 7 a factor of x?
False
Let n(l) = -l**3 + 5*l**2 - l + 186. Does 62 divide n(0)?
True
Does 15 divide (6 - (-36)/(-8))*300?
True
Let n(j) = 6*j**2 + 10*j + 4. Is n(-8) a multiple of 11?
True
Let c = 24 - 22. Suppose s - c*s - 6 = 4*y, -4*y = -2*s + 12. Is 2 a factor of s?
True
Suppose -6 = -2*j + 3*d - 0, 2*j + 4*d - 20 = 0. Does 14 divide (-4)/j - ((-248)/12 - 3)?
False
Suppose 3*y = 178 + 44. Let c = -44 + y. Does 10 divide c?
True
Let c(x) = 167*x**3 + 6*x**2 - 7*x + 7. Is c(2) a multiple of 53?
False
Let a = 64 - 43. Let w(y) = -y**3 + 10*y**2 - 20*y + 14. Let l be w(8). Let t = a + l. Is 2 a factor of t?
False
Suppose -4*x = -5 - 7. Let h(a) = 14*a**3 + 2*a**2 + 2*a - 1. Let q be h(2). Suppose -21 - q = -x*z. Is z a multiple of 16?
True
Let k = -44 + 48. Suppose 0 = -k*g + 208 + 120. Is 26 a factor of g?
False
Suppose 293*l - 45 = 288*l. Is l a multiple of 7?
False
Let n be 3/(6 - 0)*0. Let c be (n + (-4)/(-4))*0. Suppose 0 = -c*g + 5*g - 65. Is 4 a factor of g?
False
Suppose 3499 = 23*b - 6621. Is 26 a factor of b?
False
Is 2/(-8) + (216359/(-44))/(-13) a multiple of 9?
True
Suppose 0 = 5*d + 5*y - 6*y - 1675, -2*d + 670 = 3*y. Is d a multiple of 25?
False
Let k = 3183 - 1798. Is k a multiple of 17?
False
Let v(g) = -g**2 + 9*g + 289. Is v(0) a multiple of 17?
True
Let b(y) = -2 - 5 + 1 - y**2 + 7*y. Let u be b(6). Suppose -5*j + 53 = 3*h, -5*h - 72 = -4*j - u*h. Is j a multiple of 11?
False
Let j = 2945 + -1025. Does 60 divide j?
True
Let g be 16/(-36)*9/(-2). Suppose -2*w + 36 = g*w. Let m = w + 16. Is 7 a factor of m?
False
Let w(n) = 15*n**2 + 3*n - 1. Suppose -2*m = -11 - 9. Suppose -4*j + m = j. Does 23 divide w(j)?
False
Let x = -661 + 869. Is x a multiple of 52?
True
Suppose 4*s - 59 = 29. Let q be (-4)/s - (-900)/(-11). Let m = -10 - q. Is m a multiple of 18?
True
Let a(b) = 7*b**2 + b + 4. Let c be a(-4). Suppose c = h - 44. Does 13 divide h?
True
Is 25 a factor of -2 + 39/18 + (-1796)/(-24)?
True
Let u(i) = 13*i**2 + 15*i + 79. Is u(-5) a multiple of 26?
False
Let s(o) = o**2 + 22*o + 141. Is 79 a factor of s(20)?
False
Is 713 + 1 - (-21 + 19) a multiple of 6?
False
Let o(c) = c**3 + 10*c**2 + 3*c - 67. Is 22 a factor of o(7)?
False
Suppose 0 = 3*f + 2*f - 210. Suppose 14*d + f - 1274 = 0. Does 33 divide d?
False
Let k = -157 + 1585. Does 34 divide k?
True
Let i(f) = -f**3 - 11*f**2 + f + 12. Let r be i(-11). Let y be 5/r - (-21)/(-7). Suppose -205 = -y*b - 3*b. Is 19 a factor of b?
False
Let r(w) = 33*w + 146. Is r(9) a multiple of 8?
False
Suppose -925 = -2*a - 5*s + 270, 5*a + 2*s = 2998. Is a a multiple of 20?
True
Suppose 2*j + 6 - 2 = 0. Let h = j - -3. Let o = h - -44. Is o a multiple of 10?
False
Let m be (-2)/(-7) - 626/(-14). Let s be (-14)/49 + 5/((-105)/(-132)). Let i = s + m. Does 13 divide i?
False
Suppose -3*b = a - 11, 3*a = -0*a - 3*b + 15. Let l be 0 + 2 + 4/a. Suppose 4*w = 5*w + 4*j - 60, 5*w - l*j - 252 = 0. Does 15 divide w?
False
Is 52 a factor of (4/(-8))/(6/(-36)) - -361?
True
Suppose 0*p - 2*n + 450 = 3*p, -3*p + 2*n + 462 = 0. Is p a multiple of 60?
False
Let n = 38 - -3. Suppose 2*s - 5*z = 38, 5*s + 2*z + 4 = n. Is s a multiple of 9?
True
Suppose 0 = 2*k + 2, -5*q = -2*k - k - 553. Is q a multiple of 5?
True
Suppose -2*z = -5*h + 1140, 5*h = 11*z - 13*z + 1160. Is h a multiple of 6?
False
Let d(h) = -h + 1. Let t(o) = 9*o - 8. Let j(g) = 6*d(g) + t(g). Let m(a) = 4*a - 1. Let q be m(1). Is j(q) a multiple of 7?
True
Suppose 17*b - 44 = 13*b. Is 12 a factor of 2077/b - (-18)/99?
False
Let q = -136 + 213. Suppose -n + q = m, 4*n + 3*m - 43 = 266. Is n a multiple of 39?
True
Suppose 2*x = -m + 107, m - 73 - 29 = -3*x. Is 117 a factor of m?
True
Let j(b) = -177*b - 381. Does 7 divide j(-5)?
True
Suppose 4*v = 983 + 473. Let x = v - 44. Is 64 a factor of x?
True
Suppose 18 + 247 = 5*a. Suppose 2*h - 5*q - a = -2*q, 3*q - 59 = -2*h. Does 5 divide h?
False
Let t be 182/52 + (-3)/2. Suppose t*p - 235 = 5*l + 25, -240 = -2*p - 5*l. Is p a multiple of 18?
False
Let g = 411 + -243. Does 7 divide g?
True
Suppose -9 + 29 = 2*h. Suppose -15*p + h*p = -10. Suppose 0 = 2*i - 2*t - 94, p*t = -2*i - 0*t + 98. Does 12 divide i?
True
Suppose 4*a + t = 2*t - 86, -3*a - 2*t = 70. Let m = 7 - a. Is 3 a factor of m?
False
Suppose -10 = h - 12. Is 11 a factor of 197/3 + (-7 + h)/(-15)?
True
Suppose 0 = 7*n - 8*n. Let y = n + 1. Is 2 a factor of (-155)/(-30) + y/(-6)?
False
Let a(l) = 2*l + 14. Let k be a(6). Let b = k + -16. Does 7 divide b?
False
Suppose -10*z + 11*z + 13 = 0. Let r = z - -17. Suppose d + 344 = r*n + 5*d, -5*n - 2*d = -424. Does 21 divide n?
True
Let s(g) = g**2 + 6*g + 27. Is 8 a factor of s(13)?
False
Suppose 17472 = 24*z - 0*z. Is z a multiple of 10?
False
Suppose -30*f + 7895 = 1655. Is 36 a factor of f?
False
Suppose 10*b - 6*b - 1981 = -5*y, -4*b + 5*y = -1971. Is b a multiple of 13?
True
Let v(s) = s**2 - 12*s - 10. Let h be v(14). Suppose -14*d + h = -11*d. Does 5 divide d?
False
Suppose 3 = -2*m + 1. Does 2 divide -1 + m + -1 - (-10 + -11)?
True
Let w(o) be the first derivative of -o**2/2 - 6*o + 17. Is 22 a factor of w(-28)?
True
Let l(d) = -7*d - 4. Let n(b) = b**2 + 14*b + 9. Let g(f) = 5*l(f) + 2*n(f). Let t = -2 - -8. Is 10 a factor of g(t)?
False
Let h = -76 + 67. Is (82/(-5) - -2)*30/h a multiple of 16?
True
Let n(j) = 149*j + 258. Does 7 divide n(7)?
False
Suppose 4*g + 5*b - 14 = 0, 20 = 4*g + 6*b - 4*b. Let x(n) = -n - 3. Let a be x(-3). Suppose -g*k + 817 - 217 = a. Is 13 a factor of k?
False
Let o(v) = 36*v - 2. Let a be o(-3). Is 24 a factor of (-7900)/a + 2/11?
True
Let a(i) = -2 - 3 + 3 - i - i**2. Let v be a(0). Is (31 + v)/(4/4) a multiple of 11?
False
Suppose -j - 5*n + 171 = 0, 5*j = 4*j + 4*n + 207. Suppose 454 = 3*q - j. Is 43 a factor of q?
True
Suppose c + 3*x - 480 = 0, 3*c = 3*x - 0*x + 1404. Suppose -d = -5*d + 5*z + c, -9 = 3*z. Is 38 a factor of d?
True
Let d(g) be the third derivative of -5*g**4/12 + 19*g**3/6 - 5*g**2. Is 23 a factor of d(-6)?
False
Let f(h) = -29*h - 129. Does 31 divide f(-7)?
False
Let j(n) = 13*n + 93. Is 11 a fact