= 19 + -7. Does 10 divide (-1)/(-6) + 430/n?
False
Suppose -205 = -5*x + 110. Is x a multiple of 9?
True
Is 963/12*(-20)/(-15) a multiple of 13?
False
Is 3 a factor of 90/(-4)*-1*12/10?
True
Suppose -5*c + 3*x - 3 + 21 = 0, 0 = 3*c + 4*x - 34. Suppose 2*o - c*o = -64. Is o a multiple of 12?
False
Let f(c) = c**2 + 8. Is 18 a factor of f(-7)?
False
Suppose -518 = -5*c + 2*l, 498 = 5*c + 14*l - 11*l. Is c a multiple of 34?
True
Let x = 6 - 4. Suppose 5*j - 4*t = -0*j + 182, -x*t + 4 = 0. Does 14 divide j?
False
Suppose -115 + 503 = 4*g. Is g a multiple of 20?
False
Suppose 0*y - 15 = -5*y. Suppose y*p = -2*p + 220. Is 10 a factor of p?
False
Suppose 5*s = j + 305, 2*s - 115 = 5*j + 30. Is s a multiple of 12?
True
Let g(m) = -2*m**2 - 8*m. Let h(a) = -8*a**2 - 33*a. Let k(y) = -9*g(y) + 2*h(y). Does 4 divide k(-4)?
True
Let h(y) = y**3 - 8*y**2 + 7. Let t be h(6). Let x = 96 + t. Is x a multiple of 6?
False
Let l = -54 - -33. Is ((-18)/l)/(2/14) a multiple of 5?
False
Suppose u = 2*u - 4, 0 = -4*z - 5*u + 108. Let t = z - 10. Suppose 4*h - 2*h = t. Is h a multiple of 3?
True
Let w = -5 - -3. Let l be (-1 + 1)/(w/1). Suppose -h = 4*y - 22, 0 = -l*y - 2*y + 2. Is h a multiple of 9?
True
Suppose 0 = 4*c - 0 + 8. Does 12 divide (-93)/c*2/3?
False
Let p(u) = -177*u**2 + 3*u + 1. Let y be p(-2). Let c = y - -407. Is 7 a factor of c/(-42) - (-2)/(-7)?
True
Let m(o) = -214*o**3 + o**2. Let p be m(-1). Suppose -4*l = a - 59, 0 = -5*a - 0*a - 4*l + p. Let y = 71 - a. Does 12 divide y?
False
Does 21 divide (264/30)/(-3 + 17/5)?
False
Suppose -5*v = -2*r + 426, 0 = r - 5*v + v - 219. Is 29 a factor of r?
True
Let h(x) = -x - 2. Let b be h(0). Let y = b - -2. Suppose -5*l = c - y*l - 19, -4*l + 53 = 5*c. Is c a multiple of 3?
True
Suppose -2*l + 4 = -3*s + s, -4*l - 34 = 3*s. Let b = 2 + s. Let m = 20 + b. Is 8 a factor of m?
True
Suppose -4*s = 4*r + 12, -2*s - r = 2*r + 11. Let x be s/(-4) + 2/4. Let n(y) = y**3 + y + 10. Is n(x) a multiple of 10?
True
Suppose -7 + 0 = -i + y, 3*i + y = 1. Suppose -i = -5*u + 8. Suppose 0 = 3*x + u*x - 15. Is 2 a factor of x?
False
Let r(u) = 7. Let w(a) = a - 8. Let n(d) = 4*r(d) + 3*w(d). Is 5 a factor of n(4)?
False
Suppose n + 2*c - 62 = 2*n, 5*n - 2*c + 326 = 0. Does 2 divide n/(-9) - 1/3?
False
Suppose r + 90 = 3*r. Is 15 a factor of r?
True
Let y(n) = 17*n - 5 - 4 - n**2 + 3*n**2 - n**2. Does 2 divide y(-18)?
False
Suppose -j = -19 - 5. Suppose -4*c - 3*k = -j, 0*c + 5 = c + k. Is 5 a factor of c?
False
Let m be 20/6*12/8. Suppose -p + 1 = 4*q, -m*p - 3*q - q = -5. Is 6 a factor of 5 - -2 - -1*p?
False
Let d(v) be the second derivative of -v**5/20 - v**4/4 - v**3/3 - 2*v**2 + 3*v. Is 10 a factor of d(-4)?
True
Suppose 10*q = 5*q - 20. Let s = q - -9. Does 5 divide s?
True
Suppose 5*i - 201 = -3*z, -5*i + 55 = z - 22. Suppose 0 = 5*a + 22 - z. Does 7 divide a?
False
Let n(f) = 2*f**2 + 5*f - 4. Let v(h) = -h**3 - 6*h**2 - 3*h + 4. Let r be v(-5). Is 8 a factor of n(r)?
False
Let j(r) = 33*r + 3. Let o be j(3). Suppose o = -0*a + 2*a. Is 21 a factor of a?
False
Let u = 4 - -9. Let h = u - 7. Is 3/(-2)*(-16)/h a multiple of 2?
True
Suppose 6*j - 19 = -7. Let a be -1*1 - (-27 - 2). Suppose j*l - 6*l + a = 0. Does 7 divide l?
True
Let g = -16 - -27. Let x = g - -5. Is 8 a factor of x?
True
Let u(m) = m**3 + 12*m**2 + 8*m + 3. Is u(-11) a multiple of 9?
True
Let r(t) = t**3 + 3*t**2 - 6*t - 1. Let q(y) = 2*y - 2. Let g(h) = -6*h + 5. Let v(j) = -2*g(j) - 7*q(j). Let s be v(4). Does 4 divide r(s)?
False
Suppose -4*d + 5 = d. Let f(g) = g - 3. Let w be f(0). Is 9 a factor of -13*d/(w/3)?
False
Let d(c) = -2 - 7 - c**2 - 6*c + 4. Let v be d(-4). Suppose g = -g + 4*t + 20, -3*g = -v*t - 33. Is g a multiple of 10?
False
Let f = 2 + 6. Suppose -3*o + f*o - 95 = 0. Is 11 a factor of o?
False
Let x(g) = 4*g - 11. Let k = 2 + 6. Is 21 a factor of x(k)?
True
Let q = -1 - -6. Let u = -2 - -2. Suppose u = -q*l + 194 - 34. Does 16 divide l?
True
Let r = -5 + 3. Let n = -3 - r. Is 12 a factor of 1/(n/24*-2)?
True
Let f(h) = 2*h + 2. Let s be f(0). Suppose s*v - 5*o - 61 = 0, -4*v - 29 = -2*o - 175. Is v a multiple of 19?
True
Let s(p) = 6*p**2 + 3*p + 20. Does 31 divide s(-5)?
True
Suppose 4*p + 23 = -1. Let w = p - -3. Let g = w - -36. Is g a multiple of 17?
False
Suppose -4*c = -3*g + 187 + 23, -2*g - c + 140 = 0. Let v be (0 - -1) + g + -1. Suppose -3*t - 5*x + v = 0, 3*t - 72 = 4*x + 34. Is 13 a factor of t?
False
Let d(n) = -2*n + 13. Let r be d(6). Is 15 a factor of 35 - ((r - -1) + -1)?
False
Let w(r) = -r**3 + r**2 - r + 37. Let s be w(0). Let h = -4 + s. Let u = h + -15. Is u a multiple of 9?
True
Let t(w) = -2 + 0*w**2 + 2*w**2 - w + w**3 + 0*w + 0. Let n be t(-3). Is (n/(-12))/((-1)/(-39)) a multiple of 13?
True
Suppose -5*k + 33 = -2*k. Is k a multiple of 2?
False
Let a be -3 + 3 + 14 - 3. Is 11 a factor of 11/a - 28/(-2)?
False
Suppose -5*t - 3 = -4*m + 7, 0 = -2*m + 5*t. Suppose -3*d + 34 = 5*r, 0 = d + 3*r - m*r + 7. Suppose d*y = 11 + 19. Is 10 a factor of y?
True
Suppose -3*q + 13 = -2*i, -2*i + q + 1 = 8. Let v = 34 + i. Is 8 a factor of v?
True
Suppose 2*x = 6 + 14. Does 4 divide x?
False
Let j(v) = -140*v - 4. Let g be j(6). Is 21 a factor of 1/(-5) + g/(-20)?
True
Let s = 630 + -420. Is s a multiple of 13?
False
Suppose -2*a + 0*l = l - 169, 0 = -2*a - 3*l + 171. Is a a multiple of 28?
True
Suppose -291 = -3*j + 3*c, c - 479 = -j - 4*j. Let y = j - 54. Is 14 a factor of y?
True
Let f = 1 - -71. Suppose -3*c = 18 - f. Suppose -4*v = c - 114. Does 11 divide v?
False
Let f(c) = -c**3 - c**2 + c + 2. Let z be f(-2). Suppose -2*v + z + 14 = 0. Suppose 2*o - 4*y = 40, -3*y = 24 - v. Does 5 divide o?
True
Let h(g) = -g**2 + 9*g - 4. Is h(6) a multiple of 11?
False
Let r = 144 + -57. Is 9 a factor of r?
False
Let p(k) = -1 + 18*k**2 + 4*k**2 + k + 0*k**2 + 2. Let i(g) = g**2 + 9*g + 7. Let u be i(-8). Is 11 a factor of p(u)?
True
Suppose -4*k - v + 3 = 0, -v = -3*k - 5*v + 12. Suppose t + 2*g - 1 = 3, k = -5*t - 3*g + 34. Is t a multiple of 7?
False
Let m be -1 + 34 + (4 - 1). Suppose 3*r = 5*w - 3*w, -5*w - r + 17 = 0. Suppose -w*c = -5*c + m. Does 9 divide c?
True
Let b(m) = 21*m**2 + 2*m + 1. Is 19 a factor of b(2)?
False
Let m(q) be the third derivative of 23*q**5/15 + q**4/24 + q**3/6 + q**2. Let z be m(-1). Suppose 5*h - z = 28. Does 12 divide h?
True
Let f be 52*3 - (-15)/(-5). Suppose -t = 5*o - 19 - f, -o - 2*t = -38. Does 11 divide o?
False
Let t(j) = -8*j + 3. Let c(v) = 95*v - 35. Let k(m) = -3*c(m) - 35*t(m). Is k(-5) a multiple of 7?
False
Let l(i) = 5 + 0*i**2 - 2*i + i**2 - 6*i - 1. Let x = 2 + 6. Is 2 a factor of l(x)?
True
Suppose -4*c + t + 135 = 0, -90 = -3*c - 0*c - 3*t. Does 11 divide c?
True
Let k be 0*(0 - (-1 + 0)). Suppose -g + 2*s + 3 = k, 0*g = -5*g + 3*s + 15. Suppose 2*o - 3 = g. Is o a multiple of 3?
True
Suppose 12*c - 660 = -132. Does 22 divide c?
True
Let o(u) = u - 5. Let w be o(5). Suppose 0*n + 4*n = w. Suppose n = 3*b - 3*k - 180, -5*b = 3*k + 53 - 313. Is 15 a factor of b?
False
Is 27 a factor of (192 - -7) + 2 + (-5 - 0)?
False
Suppose -17 = -5*w - 2. Does 3 divide w + -3 + 7 + 1?
False
Suppose 0 = -0*c - c - 1. Let k be (c/3)/(2/(-6)). Does 14 divide 2 + k - -40 - 0?
False
Let s = -46 + 74. Is 20 a factor of s?
False
Suppose 3*j = -1 + 25. Is j a multiple of 3?
False
Let u = -6 - -4. Let t be 53 - (0 - 2)/u. Suppose 2*q - 6*q = -t. Does 13 divide q?
True
Suppose 0 = -z - 4*z + 545. Suppose 0 = -4*f - k + 110 + 129, 2*f - z = 3*k. Is f a multiple of 22?
False
Let g = 3 - 0. Let s = 26 + -14. Suppose g*l - s = -3*j, -5*l = -j - 2*j + 44. Does 4 divide j?
True
Suppose 4*d - d - 15 = 0. Suppose 2*i - 17 = -0*i + 3*x, -d*i + 32 = -4*x. Is i even?
True
Suppose w - 10 = 2*z, -w + z = -5*w + 4. Suppose -s = -3*l + 46, w*s = -0 - 2. Is l a multiple of 3?
True
Let j = 10 + -6. Suppose -j*q + 3*v = v - 146, q - 14 = -4*v. Does 11 divide q?
False
Let l(p) be the third derivative of p**4/2 + 4*p**3/3 - 2*p**2. Is l(5) a multiple of 18?
False
Let q = 2 - -173. Is 21 a factor of 8*1*q/28?
False
Let b(i) be the first derivative of -i**4/4 - 4*i**3/3 - 3*i**2/2 - 4*i + 1. Is 18 a factor of b(-5)?
True
Suppose -2*a + 3*q = -40, -2*q + 6*q - 60 = -3*a. Does 9 divide a?
False
Suppose 0 = -3*w - 96 