. Does 4 divide c?
False
Let r be 3 - (-15 + 0)*-1. Is 14 a factor of (86/3)/((-8)/r)?
False
Let u = 158 + -104. Let r = u + -7. Does 18 divide r?
False
Let r(s) = -s**2 - s + 32. Let t(k) = k**2 - 2*k - 3. Let p be t(3). Let j be r(p). Let x = j - 19. Is x a multiple of 13?
True
Is 4 a factor of 66/5*(10 + 20/(-4))?
False
Suppose 3*k - 3*s - 32 - 16 = 0, 3*k = -5*s + 40. Suppose 0 = 10*g - k*g + 90. Does 9 divide g?
True
Let q(v) = v**2 - v - 3. Suppose 2*k + 3*p - 10 = 2*p, -3*p = 3*k - 15. Does 17 divide q(k)?
True
Let h(q) = q**3 + 5*q**2 + 4. Let c be h(-5). Let t be -2*(1 - 2/c). Let k(g) = -15*g - 1. Is 14 a factor of k(t)?
True
Let j = -7 - -15. Let h = 24 + j. Is 16 a factor of h?
True
Is (7/(-14))/(4/(-1640)) a multiple of 21?
False
Suppose -7*z - 61 = -243. Is 13 a factor of z?
True
Is ((-174)/(-7))/(6/42) a multiple of 29?
True
Suppose -4*o - o = -120. Suppose x = 3*x - o. Is 4 a factor of x?
True
Suppose -4*x = -4*i, 0 = -5*x + 4*i - 3 + 8. Suppose x*o + 60 = 3*r + 2*o, 0 = -r - 5*o + 14. Is r a multiple of 16?
False
Does 6 divide 0 + 2 + (-40)/(-4)?
True
Let f be (-2)/(-8) - 44/(-16). Does 13 divide 39 - -3 - (0 + f)?
True
Let g be (-20)/(-70) - (-3132)/14. Suppose n = 4*a - 9*a + g, 3*n + 32 = a. Is 17 a factor of a?
False
Let s = -16 - -64. Is s a multiple of 12?
True
Let c = 365 + -245. Is 47 a factor of c?
False
Let x = 193 - 112. Is 41 a factor of x?
False
Let k(u) = -5*u**3 + 2*u**2 + 5*u + 4. Is 14 a factor of k(-3)?
False
Suppose 4 = -3*f + 10. Suppose 165 = 5*b + f*v + 2*v, 0 = 5*v. Is b a multiple of 11?
True
Suppose -2*t - 5*v + 297 = 0, -v - v = t - 151. Does 24 divide t?
False
Let p(m) = -m**2 - 7*m - 8. Let b be p(-6). Does 18 divide b/2 - (-55)/1?
True
Suppose -6*v + 4*v = -3*o, 0 = v. Suppose 4*k - 4*m + 6*m - 146 = o, 4*m - 54 = -k. Is 16 a factor of k?
False
Let c be 2/(-9) - (-120)/54. Suppose -5*r - 10 - 10 = 0, -c*r + 82 = -2*m. Does 6 divide 4/(-18) - 550/m?
True
Suppose -4*y = -2*y - 5*q - 83, 43 = 2*y + 3*q. Suppose 3*n + y = -5*l, -2*n + 0*n - 17 = l. Is (-8)/n - 1*-15 a multiple of 16?
True
Let n = -62 + 179. Is 40 a factor of n?
False
Let f(g) = -5*g - 6 - 2*g + 5*g. Let j be f(-5). Suppose 8 - 60 = -j*s. Is 13 a factor of s?
True
Suppose -4*l + 12 = 0, 2*r + 2*r - 5*l = 17. Let p = r + 2. Does 5 divide p?
True
Suppose 3*x - 106 = -3*l + 8*x, 0 = x - 4. Is 14 a factor of l?
True
Let o(b) = -2*b. Let x be o(2). Let p = 6 + x. Suppose -13 - 31 = -p*s. Does 11 divide s?
True
Let w(h) = 7*h + 1. Let z = 17 + -9. Suppose 0 = -z*o + 3*o + 10. Is w(o) a multiple of 15?
True
Let k(o) = -o**2 + 6*o + 6. Let d be k(5). Let u(t) = t**3 + 3*t**2 - 3*t + 2. Let m be u(2). Let z = m - d. Does 4 divide z?
False
Let v(h) = h + 15. Let j be v(-11). Suppose b - 420 = -j*b. Suppose -4*d - 2*s + 68 = -0*s, 5*d + 3*s = b. Does 12 divide d?
False
Let b be -1*-2*(-2)/4. Suppose 4*i - 13 = 43. Let q = i - b. Is q a multiple of 4?
False
Suppose -s = -0*s - 33. Is 5 a factor of s?
False
Suppose 5*p - 11 - 4 = 0. Suppose 2*z + p*i - 60 = 0, -4*z + 5*i + 150 = 8. Is z a multiple of 11?
True
Let z = 6 + 2. Suppose 50 = 3*v + z. Is 10 a factor of v?
False
Suppose 2*q + 8 = -0*q. Let n(l) = -l**2 + 3*l + 6. Let o be n(q). Let v = 32 + o. Does 4 divide v?
False
Suppose 4*c - 110 = 5*x, -4*x + 3*x - 58 = -2*c. Let z = -13 + c. Suppose -3*b + 80 = z. Is 21 a factor of b?
True
Let g(l) = l**2 - 9*l + 10. Let k be g(8). Is (0 - -1) + 19 + k a multiple of 8?
False
Suppose 5*g + a - 500 = 0, -g + 2*g - 2*a = 89. Suppose 3*l - g = -15. Does 14 divide l?
True
Suppose k = -4*k + 5. Suppose 5*i - 5 = 0, 0 = 2*m + 4*i - k - 7. Suppose 2*a + 16 = 2*q - m, -12 = -2*q - a. Is q a multiple of 3?
False
Suppose -v = -3*i - 11, 0 = -5*v + i - 4*i + 109. Is v a multiple of 20?
True
Is 13220/120 - 1/12*2 a multiple of 11?
True
Let i(u) = 3*u**2 - 4*u + 3. Let o be i(2). Let p(k) = 3*k - 5. Is 15 a factor of p(o)?
False
Let w be (-1)/(((-3)/3)/(-1)). Is w/1*(1 - 15) a multiple of 7?
True
Suppose -5*v = -0*v. Let u(b) = -5*b + 12 + 4*b + v + 0*b. Is 6 a factor of u(6)?
True
Let v(r) = r**3 - r**2 - 44. Let d be v(0). Suppose -50 = -y - q + 102, 0 = 3*y + 2*q - 456. Does 13 divide y/11 + (-8)/d?
False
Let v = 62 + -35. Is 27 a factor of v?
True
Is (-14)/(-1) - (-1 - -2) a multiple of 11?
False
Let d(m) = 4*m**2 - 10*m + 1. Let t be d(-9). Suppose 0 = -5*g + w + t, 5*g - 3*w - 405 = -0*w. Does 21 divide g?
True
Suppose 2*v + 3*g = 57, -4*v + 2*v + 82 = -2*g. Is v a multiple of 36?
True
Let f(v) = -28*v - 88. Does 4 divide f(-7)?
True
Let w(j) be the third derivative of j**6/120 - j**5/6 + j**4/6 + 4*j**3/3 - j**2. Is 12 a factor of w(10)?
True
Suppose -7*u + 3*u = 0. Suppose d + 1 = u, -m - 5*d = -0*d. Suppose 0 = -2*a + 7 + m. Is 3 a factor of a?
True
Suppose x - 6*x + 25 = 0. Suppose -69 = -5*g - u, 4*g - x*u = -u + 36. Is g a multiple of 5?
False
Suppose 3*w = -5*z + 36, 5*w - 2 = 2*z - 4. Suppose 46 - z = 5*n. Is n a multiple of 4?
True
Suppose 0 = 7*q - 3 - 4. Let p(a) be the first derivative of 3*a**4 - a**3/3 + 1. Does 9 divide p(q)?
False
Let o = 29 + -40. Let w = 45 + o. Is w a multiple of 15?
False
Let n(l) = -l - 5. Let r be n(-6). Let h be (-4)/((-1 - 3)/2). Is 4 + 27 - (r - h) a multiple of 16?
True
Let u(t) = t**2 - 6*t + 5. Let o be u(6). Suppose -5*i = o + 15. Is 1/3*(i - -91) a multiple of 15?
False
Suppose -3 + 21 = 2*w. Let f = 6 + w. Suppose 0 = a - 16 - f. Is 13 a factor of a?
False
Does 23 divide (-12)/(-16) + (-818)/(-8)?
False
Let k = -4 - -6. Suppose -8 = 4*b + k*x - 124, -5*b + 3*x = -123. Is 27 a factor of b?
True
Suppose d = 39 + 5. Is d a multiple of 11?
True
Let v = -8 - -6. Is v/((-2)/20*4) a multiple of 5?
True
Suppose 4*g - 21 = -3*n + 8*g, 0 = n + g - 7. Suppose 0 = 3*f - n - 35. Does 14 divide f?
True
Suppose 5*u - 2304 = 4776. Is 27 a factor of (-6)/15 + u/15?
False
Suppose 0 = -3*r + w + 104, 5*w - 157 = -4*r - 12. Does 3 divide r?
False
Let y be 5 + 0/(1 - -2). Let c(q) be the first derivative of q**4/4 - 5*q**3/3 + 5*q**2/2 - 5*q + 1. Does 7 divide c(y)?
False
Let a(q) be the third derivative of q**6/120 + 7*q**5/60 + 7*q**4/24 + 2*q**3 - 4*q**2. Is a(-6) a multiple of 3?
True
Let s(o) = o**2 + 3*o - 3. Let m be s(9). Suppose -2*p + m = -15. Suppose 0 = -k + 3*k - p. Does 15 divide k?
True
Let l(r) = r**2 - 8*r - 4. Let p be l(9). Let q(c) = 2*c + 1. Is q(p) a multiple of 3?
False
Let l be (-3)/((-1)/(-1)) + 10. Let u = -2 + l. Is u a multiple of 2?
False
Let y = 72 + 89. Does 5 divide y?
False
Suppose 2*j = -0*j + 10. Let p be 9/15 + 7/j. Suppose -p*k = 2*k - 252. Does 23 divide k?
False
Suppose -4*c - 3 = 4*q - 27, -22 = -5*c - q. Suppose -6*p + c*p = -22. Let n(g) = -g**3 + 12*g**2 - 7*g - 14. Is n(p) a multiple of 14?
False
Is (-22)/(-2*(-2)/(-16)) a multiple of 22?
True
Is (-12)/(0 + -4) - -52 a multiple of 18?
False
Is 13 a factor of 15/(-20) + 342/8?
False
Suppose 5*p - 3*c = -12, -5*p + 4*c = -p + 16. Is 16 a factor of 15 - (p/1 - 1)?
True
Suppose 5*l - 2*l = 9. Suppose 5*n - 40 = -0*n + 3*y, -n + l*y = 4. Does 11 divide n?
True
Let p = -9 + 9. Let f(n) = n**2 + 28. Is 12 a factor of f(p)?
False
Let n(f) = -f + 2. Let z be n(-1). Suppose -z*b = -6*b + 225. Is b a multiple of 25?
True
Let n(m) = -5*m**2 + 19*m + 11. Let q(j) = -j**2 + 5*j + 3. Let v(y) = 2*n(y) - 9*q(y). Is v(-5) a multiple of 5?
True
Suppose -57 = -5*t + 103. Is t a multiple of 16?
True
Let x = 226 - 318. Let g = -60 + -6. Let v = g - x. Is v a multiple of 8?
False
Let r(c) = -c - 5. Let a be r(-9). Suppose -2*x + 58 = -4*m, -a*x + 66 = -0*m + 2*m. Does 11 divide x?
False
Let o be 1 + 2 + 4/2. Suppose o*n - 19 - 21 = 0. Does 2 divide n?
True
Suppose -1 = -f - 0*f, 0 = -5*p - 2*f + 902. Does 13 divide p?
False
Let u = 47 - 28. Is 5 a factor of u?
False
Suppose 0 = 6*h - 7*h + 4. Suppose 0 = -h*v + 16, -4*g - v + 28 = -g. Does 5 divide g?
False
Let s = 8 + -7. Let l = 2 - 2. Is s*(-1 - -20) + l a multiple of 9?
False
Let p(f) = f**2 - 4*f - 11. Does 10 divide p(-7)?
False
Let l = 35 + -3. Is l a multiple of 14?
False
Let r(q) = -10*q + 1. Let s be r(6). Let w be s/(-5) + 5/25. Is (4 - 1)*152/w a multiple of 27?
False
Is 7689/57 - (-2)/19 a multiple of 49?
False
Let t(f) be the first derivative of -f**2/2 + 9*f + 4. Let g be t(7). Does 3 divid