Suppose -t*d = -7*d + 190. Is d a multiple of 19?
True
Let m(z) be the third derivative of 3*z**2 + z**3 + 0 + 0*z + 1/12*z**4. Does 9 divide m(10)?
False
Let i be -1 + ((-12)/(-3))/(-4). Let x = i + 6. Does 4 divide x?
True
Let l(d) = d + 1 - 2*d**2 + d**2 + 3*d**2 - 4*d**2. Let f be l(2). Let x = f - -30. Is 12 a factor of x?
False
Let l(t) = -2*t + 2*t + t + 7. Let x be l(-6). Suppose 30 = 5*b - 2*i, b = -4*i + 7 - x. Is 3 a factor of b?
True
Let f be 2*3/2 + 1. Suppose 3*z + 9 = l, -33 = f*l + 4*z - 101. Is l a multiple of 15?
True
Let k = -2 - -6. Suppose 0 = -3*i + k*i. Does 6 divide 3/2*(i + 4)?
True
Does 11 divide 12*3 + -4 - -2?
False
Let o = -3 - -6. Let r be 8*(o - -4) - -2. Let f = r + -31. Does 9 divide f?
True
Let c(j) = -5*j. Let n be c(-1). Suppose 228 = -n*a + 593. Let f = a - 40. Does 10 divide f?
False
Suppose 2*h = h + 2. Let p be 1*(-2 + h) - -2. Suppose 0 = -0*x - 4*x - 4*q + 56, -q = -p*x + 28. Is 5 a factor of x?
False
Suppose -10*u + 1511 = -869. Is 17 a factor of u?
True
Let b(a) = 6*a - 7*a + 1 + a**2 + 0*a**2. Does 5 divide b(6)?
False
Suppose 0*z = z - 70. Let v = z - 50. Is 17 a factor of v?
False
Let d(u) = 5*u - 2. Let p = 16 - 10. Let w(y) = -9*y + 3. Let k(c) = p*w(c) + 10*d(c). Does 3 divide k(-2)?
True
Let t(r) = r**3 + 8*r**2 + 5*r - 6. Let a be t(-6). Suppose 0*g - g = -a. Is g a multiple of 18?
True
Let b be 3/(-3)*(-2 - 1). Suppose -b*q + 118 = 1. Does 12 divide q?
False
Suppose 11*b + 400 = 16*b. Does 20 divide b?
True
Suppose 0 = 5*b - 3*b - 4. Suppose 4*u - 13 - 43 = -2*c, -5*c + 28 = b*u. Does 14 divide u?
True
Let u = -6 - -6. Let o(b) = -b**2 - b + 21. Is o(u) a multiple of 21?
True
Suppose 13 + 15 = 5*a - 4*u, -a = 2*u. Suppose -j + 4 = -a. Is j even?
True
Let g = 62 - 35. Does 21 divide g?
False
Let g(v) = 4*v**2 + 27*v + 13. Let d(c) = -3*c**2 - 18*c - 9. Let f(x) = 7*d(x) + 5*g(x). Let i be f(9). Is 16 a factor of (2 - -15)/(i/2)?
False
Suppose 3*m - 4*m + 2*f = -4, -3*m - 4*f + 12 = 0. Suppose -3*x + 128 = 2*x - m*q, 43 = x + 5*q. Does 9 divide x?
False
Is 16 a factor of ((-72)/(-45))/((-2)/(-55))?
False
Let m(p) be the second derivative of -4*p**3 - p**2/2 - 3*p. Is 17 a factor of m(-1)?
False
Suppose 2*n = -3*n. Suppose 3*s + 5 - 17 = n. Is 5 a factor of (14/4)/(1/s)?
False
Let n(l) = 4 - 4 + l**2. Let m be n(2). Suppose 2*g = g + 2*r + 10, 0 = -m*g + r + 61. Is g a multiple of 8?
True
Let i = -4 - -6. Suppose -v - 48 = 3*v - 4*y, -i*v + 1 = 3*y. Is 4/14 - 68/v a multiple of 10?
True
Let o = -297 - -577. Is o a multiple of 28?
True
Let p(d) = -18*d - 10. Is 10 a factor of p(-3)?
False
Let d(i) = -i**3 - 6*i**2 - 7*i - 8. Let f be d(-7). Suppose -5*v = -4*j - 106, v + 2*j - f = -3*v. Is 11 a factor of v?
True
Let w be (1 + -2)/((-1)/(-37)). Let f = w + 76. Is 17 a factor of f?
False
Let u(l) = -2*l**3 - 5*l**2 - 4*l - 1. Suppose 0*d - 2*d - 6 = 0. Is 10 a factor of u(d)?
True
Let h(n) = -n**3 - n**2 - n. Let w be h(0). Does 8 divide -4 - (-1 + w - 28)?
False
Let o(n) = 3*n**2 + 2*n + 6. Let a be o(-4). Suppose 0 = x - 3*x + a. Is 23 a factor of x?
True
Suppose 9 + 3 = 3*h. Suppose -h*a - 57 = -3*p - a, 2*p + 4*a - 8 = 0. Is 9 a factor of p?
False
Let r = -17 - -16. Is (9 + -8)/(r/(-76)) a multiple of 19?
True
Suppose -4*h + 12 = -0*h. Let x(o) = 2*o**3 - 3*o**2 + 3*o. Is x(h) a multiple of 15?
False
Let c = 195 - 115. Is c a multiple of 8?
True
Suppose -5*o - j + 24 = 0, -4*o + 12 = -j - 0. Let c be 10/o*(-8)/(-5). Suppose 0 = c*z + z - 15. Is z a multiple of 2?
False
Let i(s) = -s + 4. Let r be i(3). Let c(q) = 19*q + 1. Is 9 a factor of c(r)?
False
Suppose 3*w - 12 = 3*d, -5*w + 4*d = -3*w - 6. Let z(r) = -r**3 - r**2 + r - 1. Let s be z(-3). Let i = s - w. Is i a multiple of 9?
True
Does 31 divide (138/8)/((-15)/(-40))?
False
Let g(h) = -6*h - 23. Is g(-5) a multiple of 7?
True
Let n(s) = 4*s**2 - s. Let h(x) = 4*x + 1 + 10 + 0*x - 3*x. Let r be h(-12). Is 2 a factor of n(r)?
False
Let o = 7 + -4. Suppose 6 = o*q - 3*g, -5*g = 2*q + 4 - 15. Suppose 3*f - 2*f + 2 = -q*h, 3*f - 8 = -2*h. Is 3 a factor of f?
False
Suppose 4*v = j - 67, -v = 4*j - 320 + 18. Does 25 divide j?
True
Let f(r) be the second derivative of -r**3/3 + r**2 + r. Is 12 a factor of f(-8)?
False
Suppose -5*l + u + 336 = 4*u, -5*l + 3*u = -354. Is 23 a factor of l?
True
Suppose 0 = 4*f - 254 + 46. Suppose -2*z + 4*d - f = -3*z, 2*z = -5*d + 92. Is 18 a factor of z?
True
Suppose -r - 235 = -6*r + l, -2*l + 174 = 4*r. Let h = -31 + r. Is h a multiple of 5?
True
Let k(v) = 2*v**2 - 11*v - 4. Let m(y) = y**3 - 3*y**2 + 3*y. Let b be m(3). Does 18 divide k(b)?
False
Let i(w) = -w**2 + 10*w + 3. Let v be i(9). Suppose -2*d = -5*d + v. Suppose -26 = -j + d*h, j - h - 20 = -0*h. Is j a multiple of 9?
True
Suppose 0*c - 5*c + 20 = 0. Suppose 4*r + 5*s = -8, 0 = 3*s + 9 + 3. Suppose c*j - 140 = -r*h, 4*j - 5*h + h = 112. Is 13 a factor of j?
False
Suppose 43 = -4*k + 415. Is k a multiple of 31?
True
Suppose -64 = r - 9. Let i = -312 - -216. Let z = r - i. Does 14 divide z?
False
Let x(b) be the first derivative of b**3/3 - 6*b**2 + 4*b - 4. Is x(12) even?
True
Suppose a + 0 - 6 = 0. Let z = a + 13. Does 3 divide z?
False
Suppose -7*l = -l - 318. Suppose -2*s + 7 = -l. Does 15 divide s?
True
Suppose 2*v - 103 = -3*p + 2*p, -4*p + 4*v + 424 = 0. Let c be (p - 2)/(4 + -3). Let a = -73 + c. Is a a multiple of 10?
True
Let n = -99 + 50. Let w be (-570)/(-8) - (-9)/(-36). Let l = w + n. Is l a multiple of 22?
True
Let n = 1 + -8. Let b(v) = -v**2 - 7*v + 10. Does 10 divide b(n)?
True
Let z(d) = 5*d + 5. Let s be z(4). Let h = s - 41. Is h/(-1) - (-2 - -4) a multiple of 14?
True
Let d be (26/65)/(1/30). Is d - (-1 - -1) - -2 a multiple of 14?
True
Let f(m) = -m**2 - m - 1. Let u(y) be the first derivative of y**4/4 - y**3 - y**2/2 + 5*y + 2. Let a(r) = -f(r) - u(r). Is a(3) a multiple of 7?
False
Does 12 divide (-48)/12 + (-64)/(-1)?
True
Let s = -10 + 36. Is s a multiple of 23?
False
Suppose 9 - 18 = -3*k. Is k even?
False
Let r(q) = 10*q**3 - q**2 + 2*q - 1. Does 10 divide r(1)?
True
Suppose -2*l - 5*x - 37 = 2, -2*l = x + 19. Let f = l - -20. Is 5 a factor of f?
False
Let k be (4/(-12))/((-1)/9). Suppose 2*a + 3*x - 27 = 0, 0*a - k*a + 4*x + 32 = 0. Suppose -a = -4*o + 140. Is o a multiple of 19?
True
Let h = 39 + 61. Is 25 a factor of h?
True
Suppose -13 = -4*j + 7*g - 2*g, -j = -4*g + 5. Suppose -1 + j = 2*t. Is 9 a factor of (25 - (t + -2)) + -2?
False
Suppose 3*g + 2*x - 34 = 0, -2*x - 16 = -3*g - 2. Suppose 0 = z - 3 + g. Let u(h) = h**2 + h - 7. Is 8 a factor of u(z)?
False
Suppose 0*z = -z + 30. Suppose z = 2*f + 4*p - p, -5*f = p - 88. Is f a multiple of 9?
True
Suppose 5*n + 2*a - 53 = 0, -a + 22 = n + n. Let x = 0 + 16. Let t = x - n. Does 7 divide t?
True
Let k = 45 + -84. Does 3 divide (-4)/(-26) + (-345)/k?
True
Let a = 9 + -44. Let o = a - -73. Is 11 a factor of o?
False
Let d be ((-13)/(-5) + 1)*-10. Let r = d + 85. Suppose -2*f = c + 7 - r, 2*f = -4*c + 42. Is f a multiple of 9?
False
Suppose 3*a + 4*t - 103 = 0, 3*a = -0*a + 5*t + 67. Is 11 a factor of a?
False
Is 0 + 40 + (-3 - -3) a multiple of 19?
False
Suppose -311 - 373 = -3*o. Is 19 a factor of o?
True
Suppose -138 = -2*x + 3*y, -5*y = -5*x + 3*x + 134. Does 9 divide x?
True
Let k(x) = x**2 - 8*x. Let t be k(7). Let v(o) = -o - 6. Let c be v(t). Is 3 a factor of c*-6*2/(-2)?
True
Let g = 28 - 13. Let p(q) = q + 2 + 17 + g + 6. Does 17 divide p(0)?
False
Let t(w) = 2*w**3 - 3*w**2 - 4. Let u be t(3). Suppose -u = 5*y - 63. Let p = y + 3. Does 4 divide p?
False
Suppose 0 = 6*j - 280 + 94. Suppose -4*d + i + 3*i = -24, 0 = -d - 5*i. Suppose -2*h + c + j = 0, d*h + 0*h = -c + 88. Is 17 a factor of h?
True
Let n = 17 - -40. Let v = n + -41. Is v a multiple of 8?
True
Let j(t) = 48*t**3 - t**2 + t. Does 16 divide j(1)?
True
Let t = -16 - -21. Is t a multiple of 5?
True
Suppose -3*s - 6 = -6*s. Suppose -4*y = 3*h - 25 - 42, -4*h + s*y = -104. Is h a multiple of 11?
False
Suppose 4*s = 1 + 11. Is (70/3)/(1/s) a multiple of 14?
True
Suppose 29 = -4*b - 3. Let j be (1 - b)/(-3)*-1. Let u(x) = 2*x. Is 2 a factor of u(j)?
True
Let k(o) be the second derivative of -o + 0 + 4*o**2 - 1/6*o**3. Is 11 a factor of k(-10)?
False
Let x = 9 + -8. Let u be 4/6*(-11 - x). Is u/(-28)