52 - 52. Is a a multiple of 3?
False
Let r(k) = -3*k + 10. Let l be 4/(-8)*16*1. Is r(l) a multiple of 17?
True
Let t = 70 - -1. Does 11 divide t?
False
Let b(k) = 2*k**3 - k**2 + 1. Let d be b(-1). Let v = -29 + 28. Does 15 divide 36*(v - d) - 2?
False
Let a(z) = 2*z**2 + 2*z + 2. Let p(d) = 5*d**2 + 5*d + 7. Let b(g) = -8*a(g) + 3*p(g). Let v be b(4). Let j = v - -32. Is 9 a factor of j?
False
Let l(y) = y**2 + 5*y - 3. Let n be l(-5). Let x = 3 - n. Is 17 a factor of (-2)/(-4) + 99/x?
True
Suppose -s - 4*g + 10 = -0*s, -2*s = -g + 25. Let o = s - -12. Suppose 0*b = c + o*b - 9, -b = 3*c - 27. Is 4 a factor of c?
False
Suppose 0 = -f - 1, -g + 5*g + 2*f = -6. Is 13 a factor of (0 + g)/((-9)/414)?
False
Suppose 5*b = -2 - 13. Let g = -5 - -7. Is 6 a factor of g/(-6) - 40/b?
False
Suppose -4*p - 47 = 73. Let x = -11 - p. Is x a multiple of 6?
False
Let m be 36/10 - (-4)/10. Suppose q = m - 2. Suppose -5*c - 92 = -3*f, q*c = -f + 5*c + 36. Is f a multiple of 8?
True
Let s = -3 + 6. Let i be s/(3/14)*1. Suppose -i = 2*j - 64. Does 13 divide j?
False
Let s be (8/(-6))/(4/72). Let r = -4 + s. Let g = 55 + r. Is 12 a factor of g?
False
Let s(w) = -2*w + 4. Let b(o) = -o. Let i(y) = -3*b(y) + s(y). Suppose 4*f - 7 = -27, 0 = k + 5*f + 22. Is i(k) a multiple of 7?
True
Let n(v) = -v**3 - 2*v**2 - v. Let c = -2 + 1. Let t be n(c). Suppose w + 4*w - 90 = t. Does 9 divide w?
True
Let y = 197 + -99. Does 33 divide y?
False
Let i = 5 - 5. Suppose -2*k + 0*k + 66 = i. Is 10 a factor of k?
False
Suppose -6*s = -3*s - 3. Let g be 0/s + 0 + 2. Suppose g*j - 18 = -0*j. Is 4 a factor of j?
False
Suppose -5*b + t - 1 = 0, -b + 4*t - 2 = 2. Let n be b + 1 - (0 - 4). Suppose i + n = 19. Is i a multiple of 7?
True
Suppose 0 = 6*a - a + x - 17, 2*a + 4 = -4*x. Let d(p) = p**2 - 3. Is d(a) a multiple of 4?
False
Let x = 2 + 1. Suppose x*s - 5 = 2*s. Is 12 a factor of (24/s)/(2/10)?
True
Suppose -f + 15 = 4*f. Let d = 12 - 7. Suppose d*z - f = 207. Is z a multiple of 14?
True
Suppose 0 = -2*a - 6 - 2, 4*r + 2*a = 84. Is r a multiple of 9?
False
Let z(m) = m - 1. Let a(j) = -j**2 + 10*j + 15. Let k be a(11). Let b be z(k). Suppose -5*i = 4*w - 38, b*w - 4*i = -2*w + 27. Is w a multiple of 5?
False
Let t(x) = 29*x - 1. Let w be (-4)/((-2)/(-1 - -2)). Suppose 0 = -w*j + 2 - 0. Is 15 a factor of t(j)?
False
Let v(y) = -3*y**2 + 2. Let r be v(-2). Let h = 1 + r. Let i = 31 - h. Is i a multiple of 20?
True
Suppose 2*w - 3*w = 0. Let m(d) = d**2 + d + 24. Is m(w) a multiple of 12?
True
Let y(l) = 2*l**2 - 5*l + 7. Suppose -4*p - 8 + 28 = 0. Is 16 a factor of y(p)?
True
Let h(p) = 9*p - 6. Suppose -a + 12 = a. Let b be h(a). Suppose -k - 6 = -o + 3, 5*o - 4*k = b. Is 5 a factor of o?
False
Let g(m) = m**2 - 1. Let q(i) = -5*i**2 + 5*i + 4. Let c(l) = 4*g(l) + q(l). Is 6 a factor of c(3)?
True
Let o be 1689/15 - 12/20. Suppose 32 = 6*r - o. Is 6 a factor of r?
True
Let w(k) = -k**3 - 5*k**2 - 4*k - 4. Let f be w(-4). Let t be (-410)/f - 4/(-8). Suppose -2*z + t - 19 = 0. Is z a multiple of 14?
True
Let t = -157 + 215. Is 5 a factor of t?
False
Suppose -105 = -3*w + 3*u, 4*w + 4*u + 25 = 133. Let p = w - 16. Is 14 a factor of p?
False
Does 20 divide 6836/16 + -2*6/(-16)?
False
Let z(j) = 4*j**3 + j**2 + 8*j + 13. Let c = 9 + -4. Let x(p) = p**3 - p**2 + p + 1. Let b(u) = c*x(u) - z(u). Does 11 divide b(7)?
False
Let n(g) = -g**3 + 3*g**2 + 5*g - 5. Let t be n(4). Let z be (t - 19)*2/4. Let q(a) = -4*a - 6. Is 10 a factor of q(z)?
False
Suppose -4*z = -3*y - 3*z + 155, y - 53 = z. Is 15 a factor of y?
False
Suppose 0 = -2*l - 3 - 5, -5*c + l = -104. Let i = c + -11. Suppose 0 = 5*f - i*f + 64. Is 8 a factor of f?
True
Let x be (-2)/7 + (-2415)/(-49). Suppose 0 = 4*j + 16, -2*r + 5*j = -155 - x. Suppose -c = 3*c - r. Is c a multiple of 23?
True
Let w be ((-8)/20)/(2/10). Let m be 0 + (1 + w)*-6. Suppose -h + m = -11. Does 7 divide h?
False
Let y = 90 + 64. Let l = -99 + y. Does 15 divide l?
False
Suppose -289 = 9*l - 4258. Is 13 a factor of l?
False
Let a be ((-9)/(-6))/((-9)/(-1704)). Let v = a - 152. Suppose -s - s = -v. Does 19 divide s?
False
Let w(o) = -o**2 + o + 30. Let g be w(0). Suppose -y + g = y. Suppose -4*z + 16 = -d + 1, 2*d + y = 3*z. Is z even?
False
Let r = 118 + -77. Suppose 2*s - r = 25. Let i = 94 - s. Is i a multiple of 26?
False
Suppose 3*t - 71 = 13. Suppose 7*p = 3*p + t. Does 7 divide p?
True
Let s = -2 - -3. Let m(g) = g - 1 + g + 2*g**2 + 26*g**2. Is 17 a factor of m(s)?
False
Suppose 21*z - 19*z = 4. Suppose 5*l - z*v - 46 = 0, l + 2*v - 5 = -3. Does 5 divide l?
False
Let m = -21 + 11. Let h = 38 + m. Is 14 a factor of h?
True
Let t(d) = -d + 9. Is t(-18) a multiple of 5?
False
Let m(v) = 37*v - 8. Does 33 divide m(2)?
True
Is (315/42)/((-1)/(-2)) a multiple of 5?
True
Let q(x) = 5*x**2 - x - 1 + 2*x + x. Suppose f - 2*f + 6 = -5*b, 1 = -b. Is 3 a factor of q(f)?
True
Let l(v) = 2*v - 8. Let j be 16*3/(-8)*-2. Let b be l(j). Suppose a - b = -a. Is 8 a factor of a?
True
Let q(h) = -h**2 - 8*h + 2. Let y be q(-8). Suppose -y*o + 0*o = -5*i - 25, 0 = 4*o - i - 5. Suppose -t + 0*t + 10 = o. Does 10 divide t?
True
Suppose -4*i = -0*i. Suppose 5*j - u - 361 = i, 0*j + 272 = 4*j - 5*u. Suppose -4*z - 3*b + j = 0, -z + 6*z + 4*b = 91. Does 9 divide z?
False
Suppose q = -h + 41, 3*q + 2*q = -5. Is h a multiple of 14?
True
Let p(l) = -7*l + 1. Suppose b - 4*b - 3 = -3*a, -2*a + 3*b = -2. Suppose -3*w + a = f, -4*w - f = f - 4. Is p(w) a multiple of 8?
True
Let p(f) = -f**2 - 11*f - 4. Let u be p(-10). Suppose 0 = 2*h - u*h + 88. Is 8 a factor of h?
False
Suppose i - 5*n + 7 = 3*i, 4*i = -2*n + 22. Does 6 divide i?
True
Let y = 175 - 78. Let m = y + -55. Is m a multiple of 14?
True
Suppose -16 = -2*f + 8. Is 6 a factor of f?
True
Let o(w) = w**2 - 5*w + 9. Let d be o(6). Suppose -i = y - 3*y, 5*i + 5*y + d = 0. Is 15 a factor of 0/1 - (-18 + i)?
False
Let p = -3 - -2. Is 13 a factor of (-2)/p*35/2?
False
Suppose 0*u - 11 = -u. Let y = u - 7. Is y even?
True
Let b = 544 + -344. Does 25 divide b?
True
Let j be -2 + 1 - (-1 - -30). Let b = -2 - j. Let v = 44 - b. Is v a multiple of 16?
True
Let j = 10 - -6. Does 6 divide j?
False
Let m(t) = t**3 + 3*t**2 + t. Let q be m(-3). Let k(g) = -8*g - 3. Let n be k(q). Let w = 34 - n. Is 13 a factor of w?
True
Suppose 3*c = -c + 24. Let a = 12 - c. Is 6 a factor of a?
True
Does 16 divide ((-12)/15)/((-1)/40)?
True
Suppose -3*f = -12 - 3. Suppose 0 = 4*n + 4*l - l - 125, 10 = n + f*l. Is n a multiple of 11?
False
Let b(c) = 4*c**2 + 2. Let p = 5 + -3. Does 18 divide b(p)?
True
Suppose 3*j - 3*l - 2*l = 343, 0 = -4*j + 3*l + 461. Does 25 divide j?
False
Suppose -5 + 13 = 2*d. Suppose 0 = w - 0 - d. Is 10 a factor of (w - (1 + -3))*5?
True
Let d be 5/10 - (-30)/4. Let t(l) = -2*l - d*l**2 + 0*l**2 + 8*l + 3*l - 3 + l**3. Is 6 a factor of t(7)?
False
Let i(m) = 60*m**3 + m**2 - m - 1. Let g be i(1). Let o = -42 + g. Is o a multiple of 10?
False
Is 13 a factor of (-5 - 8)*(-1 + 1*-2)?
True
Suppose -3*y + 3*i = -63, 2*i = 4*y + 2 - 80. Suppose 2*g + 2*a + y = 3*g, -a = 3*g - 33. Does 7 divide g?
False
Let r = 23 - 15. Let k = 15 + r. Suppose k = b - 4. Is b a multiple of 13?
False
Let q be 100/7 + (-8)/28. Suppose 5*o + q - 54 = -3*s, 0 = -s. Is o a multiple of 6?
False
Suppose x = 3*v + 4 + 3, 6 = 2*v + 2*x. Does 13 divide 4/(1 - v) + 24?
True
Let g(i) be the third derivative of i**7/840 - i**6/90 + i**5/24 + i**4/24 - i**3/6 + 4*i**2. Let z(l) be the first derivative of g(l). Does 7 divide z(4)?
True
Let o = -8 + 12. Suppose -47 = -2*h - 3*m + 6*m, -o*h - 5*m + 39 = 0. Is 8 a factor of h?
True
Suppose -5*c + 3*c = 0. Suppose 2*m - 7 = -3*p - c*p, 3*p = -4*m + 17. Suppose -6*f + m = 2*z - 3*f, 2*f - 40 = -5*z. Is z a multiple of 5?
True
Let r = 131 + 2. Let q be r/9 + (-6)/(-27). Suppose 0 = -0*h + 3*h - q. Is h a multiple of 5?
True
Let k = 33 - 23. Let o = k - 6. Let i(t) = 7*t + 2. Is i(o) a multiple of 15?
True
Let t(z) = 4*z**2 + z. Let j be t(1). Suppose l + 2*l - 12 = 0, 0 = 5*s - j*l + 35. Let n(a) = 2*a**2 + a. Does 7 divide n(s)?
False
Let h(a) = a**2 - 3*a - 7. Is 2 a factor of h(5)?
False
Let m = -54 + 279. Is 57 a factor of m?
False
Suppose -145 = -b - 4*m, -5*b - m - 4*m = -770. Is b a multiple of 15?
False
Sup