34. Is 7 a factor of w?
True
Suppose -5*r = 3*c + 305, -2*r = -3*r + 2*c - 48. Let v = 267 + r. Is 19 a factor of v?
True
Suppose 29*r - 17958 - 65562 = 0. Does 72 divide r?
True
Let g(s) = -s**3 - 5*s**2 - s - 31. Let c be (-19 - -18)*(7 + (2 - 2)). Is g(c) a multiple of 6?
False
Let c be 10/(-75) + 2/15. Let a(w) = -w + 32. Let l be a(c). Suppose 0 = -2*o + l + 48. Is 20 a factor of o?
True
Suppose -14*d + 1245 + 6553 = 0. Does 32 divide d?
False
Suppose -3*v + 7*v + 2321 = -3*m, m + 2*v + 771 = 0. Is 21 a factor of 1*-1 - m/19?
False
Suppose 5*f = -640 - 90. Let d = f + 211. Is 14 a factor of d?
False
Let g(n) = -n**2 + 17*n - 5. Let q be g(7). Let v be q - (3 - 2) - 3. Suppose z + v = 2*j, 109 + 46 = 5*j - 5*z. Is j a multiple of 7?
False
Suppose -18*t = -1958 - 436. Does 8 divide t?
False
Let p(z) = 53*z + 42. Does 6 divide p(5)?
False
Let y = -18 + 24. Let g(f) = f**2 + 4*f - 6. Is g(y) a multiple of 24?
False
Let n(q) = 3*q**2. Suppose 15*y - 6 = -51. Does 8 divide n(y)?
False
Let r(w) = 4*w**2 + 6*w - 11. Is 11 a factor of r(4)?
True
Let c(n) = n**3 - 5*n**2 + 2*n - 5. Let u be c(5). Is -104*(u/(-5))/2 a multiple of 27?
False
Let m be 6/21 - (-52)/14. Suppose 5*j + 0 + 17 = z, m*z - 8 = 5*j. Let n(p) = -5*p + 12. Does 32 divide n(j)?
True
Let v(o) = 7*o - 75. Is 6 a factor of v(49)?
False
Let x be 304/6*9*7/12. Let u = x - 98. Is 12 a factor of u?
True
Let a(k) = k**2 + 6*k + 3. Suppose -3*q = -2*y - 0 - 8, 0 = y - 3*q + 4. Let i be a(y). Is (-72)/i - 21/(-35) a multiple of 6?
False
Suppose -4*r - 185 = -17. Is 6 a factor of ((-21)/r)/((-2)/(-336))?
True
Suppose -19*v + 9417 = 3147. Is v a multiple of 30?
True
Suppose -x + 3*x - 136 = 0. Let v = x - 128. Let b = 36 - v. Is b a multiple of 32?
True
Let a(u) = -97*u + 851. Is 13 a factor of a(-12)?
True
Let h = 67 + -72. Is 138/10*15/(h - -8) a multiple of 13?
False
Let n(z) = -z**3 - 14*z**2 + 32*z + 11. Let q be n(-16). Suppose -2*d + 3 = 13, 5*o - 300 = -2*d. Suppose 0 = 3*p + q - o. Does 17 divide p?
True
Let a = -12 - -35. Suppose a = -4*i + 175. Is i a multiple of 19?
True
Suppose -7*y + 14*y - 35 = 0. Is 17 a factor of (-2)/y*340/(-8)?
True
Let t = 1860 - 948. Is 16 a factor of t?
True
Suppose -2*p - 5*p = 91. Let s = 49 + p. Is (s/10)/(16/160) a multiple of 9?
True
Let i be (2 + 4 - 4) + 3. Let s(b) = -i*b - 10 + 2*b**2 + 4 - 7. Is 29 a factor of s(6)?
True
Let n = 510 + 520. Is 10 a factor of n?
True
Let b be 2*((-40)/(-4))/(-2). Let n = 16 + b. Let d = 0 + n. Is 3 a factor of d?
True
Let o(j) = j**2 + 19*j - 72. Is 50 a factor of o(12)?
True
Let r(h) = -h**3 + 38*h**2 + 83*h - 70. Does 10 divide r(40)?
True
Is 8 - (7 + -8)*95 a multiple of 27?
False
Suppose -172 = 2*u - 2*h, -7*h + 5*h - 156 = 2*u. Let n = u - -102. Is 3 a factor of n?
False
Let w(j) = 2*j**2 - 6*j + 108. Does 54 divide w(30)?
True
Let y(s) be the third derivative of s**5/20 + s**4/4 + 5*s**3/6 - 28*s**2. Does 23 divide y(-5)?
False
Let d = -53 + 97. Is (-2)/(1 + (-48)/d) even?
True
Let n(m) = 4*m**2 + 10*m - 119. Is 13 a factor of n(10)?
False
Suppose 0 = u + 3*u + 40. Let o = u + 14. Suppose n - o*n + 12 = 0. Is n a multiple of 2?
True
Let z(u) = -u**3 + 15*u**2 - 13*u - 31. Does 12 divide z(12)?
False
Let c(h) = -h**3 - 16*h**2 + 26*h + 2. Let d = 3 + -21. Is 14 a factor of c(d)?
True
Let v = -386 - -238. Let i = -91 - v. Is 19 a factor of i?
True
Let u(b) = 2*b + 401. Is u(-40) a multiple of 12?
False
Let y(u) = u**3 + 17*u**2 + 14*u - 39. Does 67 divide y(-15)?
True
Suppose -m + 4*b = 8, -4*m + b + 31 = -m. Let h = 90 + -64. Let l = h - m. Is 14 a factor of l?
True
Let p = 38 + -35. Let w(t) = t - 8. Let n be w(12). Suppose n*a + p*l = 204, 0*l - 102 = -2*a + 4*l. Is a a multiple of 17?
True
Let x = 228 + -37. Does 42 divide x?
False
Let y = 295 - 171. Suppose 3*b + 4*p - y = -b, p - 4 = 0. Is 9 a factor of b?
True
Suppose 2*u - 249 = -a, -636 = -2*a - 5*u - 137. Does 9 divide a?
False
Let y(h) = 12*h + h**2 + 1 + 31 - 6 + 0*h**2. Does 10 divide y(-11)?
False
Is (-68)/(-170)*5*421 a multiple of 38?
False
Is 2 a factor of 1/(616/1980 + 2/(-10))?
False
Let m(o) = -o**3 - 5*o**2 - 7*o - 5. Let a be m(-4). Suppose 0 = -4*i + 5*h + 1393, a*i - h - 1031 = 4*i. Is 38 a factor of i?
True
Suppose -10*s + 0*s + 9*s = 0. Suppose 17*d - 3315 + 850 = s. Is d a multiple of 16?
False
Let h(r) = r**3 - 6*r**2 + 2*r - 8. Let i(f) = -f + 1. Let l be i(-5). Let u be h(l). Let z = u + 1. Is z a multiple of 3?
False
Let r = 33 + -23. Is 6 a factor of 14/r + -1 + (-8148)/(-105)?
True
Let j = -703 - -763. Does 3 divide j?
True
Let p be (-78)/4 + (-7)/(-14). Is p/(-3 - (-2 + 0)) a multiple of 15?
False
Suppose -2*u - 10 = 0, -u + 46 = 3*l - 3*u. Is l a multiple of 3?
True
Let k be (202*1)/((-1)/(-3)). Suppose 3*a - 374 = -3*n + 5*a, a - k = -5*n. Let j = n - 78. Is 11 a factor of j?
True
Let a = 27 + -23. Suppose -a*p + 23 + 17 = 0. Does 2 divide p?
True
Suppose 0*j = j. Suppose j*w = -4*r - w + 3, -w = 3*r - 1. Suppose 0*v + r*v = 82. Is v a multiple of 11?
False
Let g(c) = -c**3 - 6*c**2 + 5*c - 5. Let m be 91/(-14) + (-2)/4. Is 2 a factor of g(m)?
False
Suppose 211 = o - 89. Suppose 0 = -2*f + 8, 4*y - 4*f + 8*f - o = 0. Does 9 divide y?
False
Suppose 5*d + 4 = 29. Suppose v = -4*y + 84, -d*y - 5*v + 8 = -82. Is y a multiple of 20?
False
Let x = 15 + -12. Suppose -r = 3*j - 20 + 3, 3*r = 3*j + x. Suppose -v + r = 1. Is v even?
True
Suppose -26*i = -19*i - 1890. Is 9 a factor of i?
True
Let i(p) = 39*p**3 + p**2 + 3*p - 5. Is 12 a factor of i(1)?
False
Let b = -37 - -48. Suppose -5*u - 11 = 9. Is b - -7 - u/(-2) a multiple of 5?
False
Suppose -115 - 205 = -m. Does 10 divide m?
True
Let k(x) = -6*x**2 - 15*x + 1. Let d(p) = 7*p**2 + 16*p - 1. Let l(g) = -4*d(g) - 5*k(g). Is l(-8) a multiple of 13?
True
Suppose l - 731 = -16*l. Does 3 divide l?
False
Suppose -b + 5*p = -279, -3*b + 2*b + 258 = 2*p. Suppose -b = 5*a - 744. Is 32 a factor of a?
True
Suppose 3*k = -w - 3*w + 8, -3*k = -5*w + 37. Suppose w*l - 138 = 162. Does 10 divide l?
True
Let o(a) be the first derivative of 38*a**3/3 - 3*a**2/2 - 3*a + 3. Is 5 a factor of o(-1)?
False
Let g(c) = 2 - 3*c - 2. Let w(v) = -v**3 + 11*v**2 - 12*v + 14. Let m be w(10). Does 5 divide g(m)?
False
Suppose -5*o + 2*o + 12 = 0. Suppose 5*u - o*s = 486, -5*s + 333 + 64 = 4*u. Is u a multiple of 14?
True
Let k(v) = -v**2 - 7*v - 6. Let p be k(-9). Let j be (-80)/p + (-2)/(-3). Suppose 0 = -j*a + 3*w + 149, -5*a - 5*w = -0*w - 230. Does 13 divide a?
False
Does 3 divide -39 + 36 + 4*30?
True
Suppose 10*y = -2*d + 7*y + 5916, 0 = 3*y. Is 17 a factor of d?
True
Suppose 3*c = 3 - 0. Let d be (c - 4) + (-2 - -6). Is 4 a factor of ((-5)/3 - d)*-3?
True
Suppose 0 = 2*z - 7 - 9. Let q be 5/(-20) - (-2)/z. Suppose -3*n - 4*i + 167 = -q*n, 61 = n - 4*i. Does 20 divide n?
False
Let s(y) = 2*y + 7. Let l be s(-6). Let u be ((-6)/2)/(l/75). Suppose -3*w + u = -5*x - 100, -4*w - 5*x + 170 = 0. Is 15 a factor of w?
True
Suppose -1596 = -18*j + 6*j. Is 9 a factor of j?
False
Let a = -45 - -89. Suppose 0 = 4*c - a - 260. Does 13 divide c?
False
Suppose 3*f = -6*f + 369. Does 14 divide f?
False
Let t(c) = 200*c**2 + 5*c + 30. Is 30 a factor of t(-4)?
True
Let p(l) = -5*l + 5*l - 5 + 2*l. Let i(m) = -8*m + 12. Let u be i(0). Is 7 a factor of p(u)?
False
Suppose 5*t = -4*m + 29, 2*m + 0*m - 12 = -2*t. Is (27*(-3 + t))/(-2 - -3) a multiple of 27?
True
Let h be (-10)/4*16/(-20). Let v(g) be the third derivative of g**5/20 + g**4/12 - g**2. Is 4 a factor of v(h)?
True
Suppose -4*g - 3 = 3*a, 0*g + 9 = g + 4*a. Let u be (4/g)/((-4)/102). Let x = -8 + u. Is x a multiple of 13?
True
Let g = 1044 + -474. Is 103 a factor of g?
False
Suppose 25*k = 11064 - 214. Does 14 divide k?
True
Let d = 8 - 6. Let k be d/(-3)*(-36)/8. Is 15 a factor of 19 + (k - 21/3)?
True
Suppose -6*u = -9*u + 120. Is 10 a factor of u?
True
Suppose -a - 2*s + 254 = 0, -3*a = -0*a + s - 767. Let v = a - 130. Does 6 divide v?
True
Suppose -3*o = -3*t - 543, 0 = -2*o + 5*t + 162 + 197. Is o a multiple of 13?
True
Let l(j) = -37*j - 3. Let i(u) = -73*u - 6. Let r(f) = -6*i(f) + 13*l(f). Let k be r(-3). Let o = k - 70. Is 14 a factor of o?
True
Let k(n) = -n**3 + 10 - 6*n**2 - n**2 + 0*n**2 + n**2 + 5*n. Let i be k(-7). Suppose 8*p + i = 10*p. Is 