vide k(-18)?
False
Let y = 128 - 9. Does 17 divide y?
True
Is 13 a factor of 5 - (-620)/6*555/74?
True
Let h be -5*(2 + -3 + 0). Let u = h - 1. Suppose 3*w = 4*y + 211, -y - u + 6 = 0. Is w a multiple of 25?
False
Let l(w) = -w**3 + 9*w**2 + 1. Let u = 4 - -4. Let a be -3*u/36*-12. Does 17 divide l(a)?
False
Let f be (-18)/12 + (-26)/(-4). Suppose -4*b - 220 = -4*w - 0*b, -2*b - 269 = -f*w. Does 7 divide w?
False
Let a = 176 - 116. Suppose 2*g - p = 6*g - 222, -2*p = -g + a. Does 11 divide g?
False
Let l(y) = -8*y. Let o be l(-4). Suppose 2*c + 2*c - o = 0. Let r = c + 4. Is r a multiple of 4?
True
Let q(f) = f**3 - 2*f**3 + 448*f**2 - 2 - 434*f**2. Is q(4) a multiple of 11?
False
Let w(t) = -t**3 - 12*t**2 + 11*t - 19. Let q be w(-13). Suppose -4*a + 25 + q = 0. Suppose a*h - 7*h = 44. Is h a multiple of 11?
True
Let n be (-91)/77 - (-4)/22. Is n*(6 - 3) - -26 a multiple of 12?
False
Suppose 0 = 36*t - 60363 - 45549. Is 53 a factor of t?
False
Let w(k) = 3*k + 177. Is 3 a factor of w(18)?
True
Let f = 33 + -28. Suppose -f*b = 100 - 330. Is b a multiple of 14?
False
Let n(a) = a**3 + 3*a**2 - 1. Let v be (-3)/6 + 5/2. Is 19 a factor of n(v)?
True
Let b = 246 - 171. Does 41 divide b?
False
Let l be (12/12 + -1*1)/2. Does 15 divide 136 + (l - -3) + -1?
False
Let s(a) = a**2 - 7*a - 2. Let l be s(7). Let o be (-2 - (l + 3))*-1. Suppose -2*u + 192 = o*f, f + 3*u = 2*u + 65. Is 31 a factor of f?
True
Let o = 14981 + -10257. Is 134 a factor of o?
False
Is 12/(-4)*2/6 - -2854 a multiple of 52?
False
Suppose 3*i = 3*p + 12, 2*i + 4*p + 1 = -3. Suppose 3*s - i*z = 190, -2*s + 0*z = -z - 126. Suppose -u + s = n + 4*u, 214 = 5*n + u. Does 8 divide n?
False
Let i = 32 + -26. Suppose 6 = a + 2*a. Suppose -a*k + i*k = 180. Is 15 a factor of k?
True
Let b(m) = 2*m**3 + 105*m**2 - 60*m + 139. Is 7 a factor of b(-53)?
False
Let r be 2/((0 - -5)/10). Suppose 2*z + 46 = r*w + 170, 0 = 3*z + 5*w - 208. Is 33 a factor of z?
True
Suppose 3*k - 7*k + 72 = 0. Suppose -3 = -m, -2*m = -5*t + t + k. Suppose -5*z - u + 150 = t, 2*u = 8. Is z a multiple of 9?
False
Let y = 2 + 0. Suppose y*d - w - 108 = 3*d, 304 = -3*d + w. Let u = d - -178. Is u a multiple of 25?
True
Let h = -89 - -140. Let z = -27 + h. Is 24 a factor of z?
True
Let n = -1051 + 2777. Is 58 a factor of n?
False
Let l(z) = 8*z**2 - 16*z - 32. Is l(8) a multiple of 23?
False
Let i(o) = 8*o**2 + 8*o + 16. Does 22 divide i(-18)?
True
Let n = -797 + 1897. Does 44 divide n?
True
Suppose -236*g + 352 = -232*g. Is 32 a factor of g?
False
Let x(b) = -2*b + 21. Let m be x(5). Suppose 0 = -m*o + 15*o - 100. Does 4 divide o?
False
Let r(h) = h**2 - 10*h - 3. Let l be r(10). Is 29 a factor of 199 - (1 + l/9*-3)?
False
Suppose g + s = 4*s + 14, -3*g - 14 = 5*s. Suppose 0 = -2*p + k + 91, g*k - 53 = 3*p - 191. Is p a multiple of 22?
True
Let s be (2/2)/(11 - (-798)/(-72)). Let r(i) = -i + 7 - i + 15. Does 26 divide r(s)?
False
Suppose 3682 = 4*r - 5*v, -2*r - 3*v + 1745 + 85 = 0. Is r a multiple of 18?
True
Let i(a) = -a + 17. Let t(s) = -2*s**3 + 2*s**2 + s + 1. Let f be t(2). Is 10 a factor of i(f)?
False
Is 12 a factor of 84/(-7) - -8 - (-1 - 15)?
True
Let d(n) = 16*n - 42 - 27 - 4. Does 9 divide d(9)?
False
Let d = -9 - -10. Let u be ((-14)/6)/(d/(-33)). Suppose 5*h = 28 + u. Is h a multiple of 7?
True
Suppose 30*c - 25382 = -19*c. Is c a multiple of 14?
True
Let i(d) = 117*d - 304. Is 13 a factor of i(14)?
False
Let x(k) = -k**2 - 2*k + 2. Let v be x(-2). Suppose 3*i - 2*t = 66 + 278, 120 = i - v*t. Suppose 3*w + 3*p - 4*p = i, 160 = 4*w - 4*p. Is 12 a factor of w?
True
Let t be (-10)/((32/(-132))/(-4)). Let g be 1/4 + t/(-12). Let i = g + -12. Is i a multiple of 2?
True
Let o = -4 + -9. Let t(j) be the third derivative of j**6/120 + j**5/5 - 5*j**4/8 + 3*j**3 - 23*j**2. Is 18 a factor of t(o)?
False
Let b(f) = f**3 + 28*f**2 + 20*f - 3. Is 49 a factor of b(-25)?
True
Suppose -6*r + 129 = -279. Is r a multiple of 4?
True
Let p(g) = 23*g**2 - 16*g + 42. Is p(7) a multiple of 19?
False
Does 14 divide (144/10)/((-16)/(-80))?
False
Suppose 0 = -4*v + 11 + 9. Suppose v = o - 6*o. Is (30/o)/(-2 + 1) a multiple of 14?
False
Let z = 39 - 27. Let n(a) = a + 14. Is n(z) even?
True
Suppose 5865 - 1825 = 5*v. Does 27 divide v?
False
Let s(h) = -20*h**3 - h**2 - 2. Let k(i) = 41*i**3 + 2*i**2 - i + 4. Let o(c) = 2*k(c) + 5*s(c). Is 14 a factor of o(-1)?
False
Let v(d) = d**3 + 2*d**2 - 20*d + 9. Is v(5) a multiple of 38?
False
Suppose 7*s + 517 = 8*s. Is s a multiple of 47?
True
Suppose 22 = 4*w + 2*q, -2*q + 5*q = w - 2. Let d(v) = -32 + 63 - 33 + 6*v - v**2 + 0*v. Is 3 a factor of d(w)?
True
Suppose -31*m + 1992 = -5169. Is m a multiple of 9?
False
Suppose -3103 = -6*o - 4*c + 2025, 3*o + c - 2566 = 0. Is o a multiple of 21?
False
Suppose 2*w = -11*w + 650. Is (-9)/(-12) + w/8 a multiple of 2?
False
Let j be -13 + (3 - (-8)/(-4)). Let c(u) = -u**3 - 11*u**2 + 8*u - 9. Is 13 a factor of c(j)?
True
Suppose -z + 0 + 3 = 0. Suppose z + 1 = i. Suppose 4*d = i*l - 9*l + 130, 2*l + 3*d = 45. Is l a multiple of 15?
True
Suppose -31*p + 30*p + 914 = -5*r, 3*p = 3*r + 2682. Does 9 divide p?
False
Let z = -35 + 26. Let c = z + 39. Is 10 a factor of c?
True
Suppose -57*y + 73904 - 1457 = 0. Does 31 divide y?
True
Suppose 220 = 10*a - 120. Let y = -31 + a. Is y even?
False
Let l(a) be the first derivative of -5*a - 13/2*a**2 - 1/3*a**3 + 3. Is 10 a factor of l(-10)?
False
Let b = 1046 + -705. Suppose 4*s = -101 + b. Does 20 divide s?
True
Let g = 144 - 97. Let y be 2/(2/g) + -2. Suppose -5*n = -0*n - y. Does 3 divide n?
True
Does 37 divide (-4358)/(-5) + 11/(275/(-15))?
False
Let d be (-99)/3 - -2 - 4. Let j = d + 57. Does 5 divide j?
False
Let o(q) = -q**3 - q**2 - 11*q - 15. Let b be o(-4). Suppose 132 - b = d. Does 6 divide d?
False
Suppose -24825 = 367*x - 382*x. Does 84 divide x?
False
Is 52 a factor of ((-28)/(-10))/(6/(-5280)*-8)?
False
Let u be (-5)/(-3 - (-2 + 0)). Suppose 5*z + 0 = u. Suppose -2*i + 44 = 2*c, -4*c + 95 = i + z. Is 8 a factor of c?
True
Is (-165)/(-3)*1 + -6 a multiple of 7?
True
Let b(v) = -v + 9. Let p be b(-4). Let q(l) = -l + 13. Let f be q(p). Suppose f = -s - 5*s + 216. Is 12 a factor of s?
True
Does 14 divide (-20)/3 - -7 - 1174/(-6)?
True
Suppose 527*i - 5*o + 480 = 528*i, -2*i + 954 = 4*o. Does 25 divide i?
True
Let b(m) = m**2 + 5*m - 12. Let s be b(-11). Suppose -4*z + z + 9 = 0, 5*u + s = 3*z. Let d = -2 - u. Does 2 divide d?
False
Let c = 18 + 184. Is c a multiple of 20?
False
Let s(h) = 23 + 3*h - 12*h**2 + 2*h + h - h**3 + 6*h. Is s(-14) a multiple of 18?
False
Suppose -8*h = -13*h - q + 4634, 5*h - q - 4636 = 0. Is h a multiple of 8?
False
Suppose 90*q - 161910 = 27*q. Is q a multiple of 21?
False
Suppose -l = 10 - 34. Suppose -18*o - 1140 = -l*o. Does 19 divide o?
True
Let r(d) = d**2 + 3*d - 8. Let z be r(4). Suppose 2*h - 3*h = -z. Is 20 a factor of h?
True
Let n = 3 + 2. Let z be 2/n + (-2)/5. Suppose 3*d = -z*d + 18. Is d a multiple of 6?
True
Is -32 - -35 - (-724 - 1) a multiple of 26?
True
Let o(d) = d. Let q(a) = a + 16. Let i(r) = -6*o(r) - 2*q(r). Is i(-11) a multiple of 8?
True
Let x = 5 - 9. Let t be (4 - (-12)/x) + 0. Does 10 divide (t - 3)/((-7)/70)?
True
Let d = 86 - 62. Is 30 a factor of -15*(10/(-3) - (-8)/d)?
False
Let a(w) = 49*w**2 + 4*w + 4. Let f(g) = -295*g**2 - 25*g - 25. Let n(q) = 25*a(q) + 4*f(q). Let x be n(-1). Suppose -x = -5*h + 65. Is h a multiple of 8?
False
Let d = -24 - -30. Is (-88)/4*(-9)/d a multiple of 33?
True
Let s = 3113 + -1761. Is s a multiple of 8?
True
Let v(r) = 15*r**3 - 2*r**2 + r. Let u be v(1). Suppose -u - 4 = 6*n. Let q = n + 16. Is 3 a factor of q?
False
Suppose -2*l - 4*t = -528, 5*t - 1674 = -4*l - 618. Does 12 divide l?
True
Let n(d) be the first derivative of 6*d**2 - 9*d - 11. Does 8 divide n(4)?
False
Let t(a) = -a - 1. Let l be t(-7). Suppose 0 = -5*m + l*m - 60. Is 8 a factor of m/(-9)*12/(-10)?
True
Let g(q) = 749*q**2 - 5*q. Is g(1) a multiple of 24?
True
Let r(o) = o**2 - o - 1. Let a be r(6). Suppose -3*z = -8 - 1. Suppose w - a = -4*i, 4*i - 3 = i + z*w. Does 6 divide i?
True
Let y be ((-1)/2)/((-8)/640). Let f = y + 11. Is 17 a factor of f?
True
Suppose 0 = -769*k + 770*k - 1265. Is 11 a factor of k?
True
Let d = 14 - -26. L