multiple of 33?
False
Suppose 5*i - 473 = 117. Let z(v) = v**2 - 4*v. Let y be z(5). Suppose -y*g + i = 38. Is 16 a factor of g?
True
Let r = 91 + -21. Is 14 a factor of r?
True
Suppose -4*r + 0*r = -60. Suppose 5*t + r = -5. Let y(u) = -3*u + 4. Is y(t) a multiple of 11?
False
Let l = 709 + -462. Does 23 divide l?
False
Let b(n) = -n - 6. Let s be b(-5). Let p(y) = -25*y - 1. Does 12 divide p(s)?
True
Suppose 3*j = -5*z + 3*z + 23, -z + 5 = -5*j. Is z a multiple of 10?
True
Let s(r) be the third derivative of r**6/120 + 3*r**5/20 + r**4/3 - r**2. Let z be s(-8). Suppose z = -5*u + 190 - 75. Is 13 a factor of u?
False
Let m = 11 + -21. Is (-26)/(-8)*-2*m a multiple of 13?
True
Let t be -17 - (-4 + 1 + 2). Suppose -4*i + 131 = 27. Let r = i + t. Is r a multiple of 10?
True
Let b = 42 + -30. Suppose 0 = -3*d - 2*x + 81, -3*x = x + b. Does 12 divide d?
False
Let n = -15 + 49. Suppose 4*i = 62 + n. Does 12 divide i?
True
Suppose -2*h + 119 = 3*z, 4*z + 2*h - 188 + 26 = 0. Suppose -5*t - z = -4*j, 0 = -4*t + 3 - 15. Is j a multiple of 3?
False
Let k(g) = 6*g - 2. Let l be k(-2). Let r be (-40)/(-7) - 4/l. Is -5*(-14)/20*r a multiple of 7?
True
Suppose 7*p = 3*p + 84. Is 7 a factor of p?
True
Let r be (-2)/4*(0 - 0). Suppose r = -4*m - 8 + 120. Let g = m - 17. Does 11 divide g?
True
Suppose 3 = 2*f - 15. Is 7 a factor of f?
False
Suppose -4 = 5*f - f. Let s = f - 1. Let i(b) = 11*b**2 - 1. Is 16 a factor of i(s)?
False
Let b(z) = 2*z**2 - 4 - 2*z - z**3 + 6*z + 3*z**2. Does 11 divide b(5)?
False
Let l(s) = -s**3 - s + 644. Let w be l(0). Suppose 2*o + 2*o + w = 0. Is o/(-21) - (-2)/6 a multiple of 8?
True
Suppose -2*x - 1 - 1 = 0. Is x - -14 - (-3 + 5) a multiple of 11?
True
Suppose -2*d - 2*k = -4, -5*k = -0*d - 5*d - 10. Suppose -1 = -i - d. Let x = i - -19. Is x a multiple of 10?
True
Let r(p) = -p**2 + 16*p - 3. Does 20 divide r(7)?
True
Let q be 8/(-36) + (-58)/(-18). Suppose 4*d + 2*t = d + 103, -q*t + 15 = 0. Is d a multiple of 17?
False
Suppose -2*w + 4*r = -58, -5*w - 2*r + 58 = -3*w. Suppose -2*f + 89 = -w. Is f a multiple of 17?
False
Let x be (12/(-15))/(-4 + (-54)/(-15)). Let h(m) = 6*m + 8. Let s be h(6). Suppose 0*l + x*l = s. Does 11 divide l?
True
Let h(j) be the second derivative of -5*j**3/6 - j**2/2 + j. Let a be h(-1). Suppose -a*q = -d + 8, -3*q + 4*q = -5*d + 40. Does 4 divide d?
True
Let a = 26 - 17. Suppose 5*v - 10 = 5*q, q = -0*v - v - 4. Let y = a - v. Is y a multiple of 8?
False
Let q be (8/(-20))/(1/(-5)). Suppose -7 = -4*x + q*f + 35, 5*x + f = 63. Does 12 divide x?
True
Let d(w) = w**2 + 8*w + 9. Let j be d(-7). Is (2 - 1)*14/j a multiple of 2?
False
Does 10 divide 1*((-114)/(-5))/(4/20)?
False
Let f(q) = 2*q**2 + 4*q + 13. Let h be f(-6). Let j = h + -39. Is j a multiple of 11?
True
Let l(w) = 6*w - 2*w + 4*w - 4*w + 2. Is 10 a factor of l(10)?
False
Let d = -9 - -86. Is 11 a factor of d?
True
Suppose -50 = -0*j - 5*j. Does 3 divide j?
False
Does 5 divide -5*(-1)/2*74/5?
False
Let y(o) = -o**2 + 9*o + 10. Let j be y(8). Suppose 5*u - j = 3*u. Is 3 a factor of u?
True
Let w be (-2)/8 - 1275/(-12). Suppose 5*c = -4*k + w, -c - k - 2*k = -30. Is 24 a factor of (-4)/(1 - 21/c)?
True
Let z = 15 + -15. Let t(c) = -c**2 + 18. Is t(z) a multiple of 6?
True
Suppose -160 = -g - 4*g. Suppose 0 = -2*b + 2*l + 14, 0 = -b - 5*l + g + 5. Does 4 divide b?
True
Suppose -2*k + 18 = 6. Let h(v) = -v**2 + 13*v - 15. Is 8 a factor of h(k)?
False
Let p = 288 - 143. Is p a multiple of 29?
True
Let r(j) = 24*j**2 + 2*j - 2. Is r(-2) a multiple of 18?
True
Suppose -5*l + 0*w + 418 = w, -5*l + 4*w + 428 = 0. Is 14 a factor of l?
True
Is 16 a factor of (-2)/(-5) - 2212/(-70)?
True
Let q(a) = -a**2 + 7*a + 3. Let v be q(5). Let h = v + -5. Does 8 divide h?
True
Let b(h) = -h**3 - 2*h**2 + h - 1. Let r be b(-3). Suppose -m + r*m = 76. Is m a multiple of 19?
True
Let m = 9 - -111. Is 20 a factor of m?
True
Let j = -8 - -8. Let c be 14 + (-2 - 0) + j. Suppose -3*l + 4*l - c = 0. Is l a multiple of 7?
False
Suppose w - 28 = 4. Is w a multiple of 9?
False
Let p(h) = h + 1. Let t be p(2). Suppose -4*o - t*q = -181, 2*q + 0*q = -2. Let i = 90 - o. Does 16 divide i?
False
Does 26 divide 8/(3 + 1) - -76?
True
Suppose 0 = 4*d - 2*k + 475 - 23, 448 = -4*d + 4*k. Let a = -54 - d. Is a a multiple of 15?
True
Let y be -20*1 - (5 - 3). Let q = y - -38. Does 16 divide q?
True
Suppose 2*i + 0 = -2. Let v(q) be the third derivative of 19*q**5/60 + q**4/24 + q**3/6 + 12*q**2. Is 7 a factor of v(i)?
False
Let u(t) = 19*t - 2. Let c be u(-4). Let g = -34 - c. Suppose 81 + g = 5*j. Does 13 divide j?
False
Suppose 0 = -m - 1 + 9. Let u(p) = -p + 2*p**2 - m*p - p - 1. Is u(7) a multiple of 15?
False
Let o = 208 + -148. Is o a multiple of 20?
True
Let w be -1 + (8/(-4) - 0). Let u = w + 11. Does 4 divide u?
True
Let a(p) be the first derivative of 3*p**4/4 + 5*p**3/3 - 3*p**2 - 2*p - 1. Let k(n) = n**3 - n. Let c(q) = -a(q) + 2*k(q). Does 10 divide c(-6)?
False
Let m = 3 + -2. Let p(w) = 10*w**2 - 2*w + 1. Let c be p(m). Does 2 divide 2/3 - (-21)/c?
False
Suppose -243 + 3 = -3*i - 2*d, -2*d = i - 80. Is 8 a factor of i?
True
Suppose -13 = -4*m - 33. Let a(k) = 3*k**3 - 7*k**2 - 5*k + 6. Let b(y) = 4*y**3 - 7*y**2 - 5*y + 6. Let f(n) = -5*a(n) + 4*b(n). Does 11 divide f(m)?
False
Let n = 23 + -3. Suppose 0 = -0*s + 2*s + n. Let x = s + 20. Is 5 a factor of x?
True
Let r = -16 + 17. Let j(l) = 10*l**2 + 1. Is 2 a factor of j(r)?
False
Let o = -64 + 182. Is o a multiple of 15?
False
Let p(y) = -y**3 + 10*y**2 + 12*y - 6. Suppose 5*d + 0*x - 51 = -2*x, 4*x + 8 = 0. Is 3 a factor of p(d)?
False
Let u(l) = l**3 + 5*l**2 - 8*l - 7. Is 5 a factor of u(-6)?
True
Let i(b) = b + 5. Let p be i(6). Let a(l) = l**3 - 12*l**2 + 11*l + 15. Is 13 a factor of a(p)?
False
Let f(t) = 0*t - t**3 + t**2 + 0*t**3 - 1 + 0*t + 3*t. Is f(-3) a multiple of 13?
True
Let r(s) = -s**2 + 10*s - 8. Suppose 1 = -f - 4. Let d be ((-12)/f)/((-4)/(-10)). Does 16 divide r(d)?
True
Is 18 a factor of 2 + (31 - -3) - 0?
True
Is 13 a factor of (11 + -10)*(27 - 1)?
True
Does 3 divide (-2)/9 + 1384/72?
False
Let p(v) = -66*v + 1. Let b be p(1). Let i = b + 21. Let q = 74 + i. Is q a multiple of 10?
True
Let o(r) = r**3 + 13*r**2 + 11*r - 10. Let j be o(-12). Let s = -75 - -138. Suppose j*n = 2*b + 23 - 59, -5*n + s = 4*b. Is 6 a factor of b?
False
Suppose 8*o = -5*m + 3*o, 5*o - 30 = m. Let g = m + 9. Suppose g*d - 28 = 36. Is d a multiple of 8?
True
Let x(q) = -q - 3. Let t be x(-5). Let n = -31 - -53. Suppose o + 2*c - t = 0, -8 = 3*o - 2*c - n. Is o a multiple of 4?
True
Let w(c) = -3*c - 4 + 0*c**2 + 0*c**2 + 2*c**2 + 3 + c**3. Let n be w(3). Is (126/n)/((-1)/(-10)) a multiple of 18?
True
Suppose 400 = -0*n + 4*n. Does 25 divide n?
True
Let i(n) = 2*n**2 - 12*n + 8. Let d(q) = q**2 - 11*q + 8. Let m(v) = -3*d(v) + 2*i(v). Let a be m(-8). Does 10 divide (-2)/(-8) - 204/a?
False
Does 2 divide ((-32)/(-12))/(4/6)?
True
Let z(u) = -u**3 - 2*u**2 - 5*u - 2. Let l be z(-3). Let f = l + 26. Does 20 divide f?
False
Let m be 45/12 + (-4)/(-16). Suppose -4*w = -2*w - m*r - 104, 5*r = -3*w + 156. Is 13 a factor of w?
True
Let p be ((-175)/10)/7*10. Let l(f) = -f**3 + 8*f**2 - 6*f + 4. Let i be l(6). Let h = i + p. Is h a multiple of 14?
False
Let q(a) = 30*a**3 - 10*a**3 + 5 - a - 4. Does 15 divide q(1)?
False
Suppose -z = -0*z + 13. Let o = 25 + z. Suppose 0 = 2*c - o. Is c a multiple of 3?
True
Is 24 a factor of (-12)/21 + 5369/49?
False
Suppose 2*z + 2*b - 28 = 0, 0 = -2*z - 0*z + 2*b + 20. Suppose c - 7 = 5*k + z, -5*k - 7 = -3*c. Let w = c - -13. Does 7 divide w?
True
Suppose -81 + 3 = -3*q. Is q a multiple of 13?
True
Suppose -3*b + 3*r = r + 107, 0 = 4*b + 2*r + 138. Let z = 212 - 127. Let l = z + b. Is l a multiple of 18?
False
Let x = -264 + 185. Does 11 divide x/(-7) - (-8)/(-28)?
True
Let b(d) = d**3 - 2*d**2 + 6*d - 6. Let l be b(-6). Does 12 divide (8/(-10))/(6/l)?
False
Is 12 a factor of (-10)/10 + 14*1?
False
Let c(r) = -14*r**3 + 4*r**2 - 3*r. Let q = 0 - -2. Let h be c(q). Is 13 a factor of h/9*6/(-4)?
False
Let f = 25 + 1. Is f a multiple of 10?
False
Suppose 0 = -3*z - z + 44. Is z a multiple of 11?
True
Let w(v) = -v**3 + 5*v**2 + 7*v + 3. Is w(5) a multiple of 12?
False
Let h(a) = 15*a + 20. 