oes 15 divide m?
False
Suppose 0*y + 51 = 3*y. Let v = y - -9. Is 19 a factor of v?
False
Is 21 a factor of -4 - (-3 + -79 + 4)?
False
Let b(j) = j. Let k(q) = -4*q - 2. Let i(y) = -3*b(y) - k(y). Let x be i(0). Suppose -m = -3*c + m + 14, 4*m = -x*c + 36. Is 8 a factor of c?
True
Let w(i) = 6*i - 9. Does 9 divide w(9)?
True
Let d(s) = 43*s**3. Is d(1) a multiple of 10?
False
Suppose -160 = -l - l. Let a = l + -34. Suppose 5*m - 19 = a. Is m a multiple of 11?
False
Let o(s) = s**3 + 10*s**2 - 6*s + 4. Let j be o(-10). Let q = j + -32. Is q a multiple of 16?
True
Suppose 199 = -2*f + 3*f + h, 4*h + 820 = 4*f. Is f a multiple of 23?
False
Suppose -3*r - 2*r + 15 = 0. Suppose 0 = -3*l, r*s - 2792 = 7*s + 5*l. Is 13 a factor of s/(-18) + 14/63?
True
Let q = -38 - -93. Does 17 divide q?
False
Suppose -5*d - 5*m + 630 = 0, -4*d - 3*m = d - 626. Is d a multiple of 16?
False
Suppose 5*l - 17 = -a, 4*a - 2*a - 4*l + 8 = 0. Suppose 3*z + 190 = 3*s - z, a*z = -3*s + 220. Is 14 a factor of s?
True
Suppose -4*y + 7 = -5. Let h(j) = 2*j + 6. Let m be h(9). Suppose -y*a = -5*a + m. Is a a multiple of 8?
False
Let a(s) = -s**3 - 7*s**2 - 8*s - 9. Let q be a(-6). Suppose 5*u + q*l - 64 = 0, -2*l = 3*u - 50 + 11. Is 11 a factor of u?
True
Suppose 3*i = 7*i - 204. Is 5 a factor of i?
False
Suppose 0 = -s - 0*s + 4. Suppose -s*p = -2*p - 44. Suppose 2*d - p = -o, 4*d + 3 = -3*o + 61. Is 8 a factor of o?
False
Let s = 0 + 0. Suppose 20 = 3*m + 5*v, -4*v = 3*m - s*v - 16. Suppose -w + m*w = -16. Is 7 a factor of w?
False
Suppose 11*r - 9*r + 5*c - 33 = 0, -2*r + 3*c + 57 = 0. Does 12 divide r?
True
Let n(d) be the second derivative of d**4/12 + d**3/3 - 2*d**2 + d. Let s be n(-6). Suppose -2*l + 15 = -3*l + 5*o, -4*l + 4*o + s = 0. Does 5 divide l?
True
Let i(p) = -19*p + 3. Is 13 a factor of i(-3)?
False
Does 13 divide -18*(4 - (-80)/(-12))?
False
Let t(i) = 2*i**3 + 19*i**2 - 10. Let q(n) = -n**3 - 10*n**2 + 5. Let z(b) = -5*q(b) - 3*t(b). Is 19 a factor of z(-8)?
False
Suppose 0 = -5*x + 4*w + 151, 3*w = 2*x + 5*w - 64. Is 2 a factor of x?
False
Let s = 14 - 9. Suppose 9 = 2*n + n. Suppose 0 = -i - s, d + i = -n + 1. Is d a multiple of 3?
True
Suppose 3*l - 2*o = 880, 0 = -0*l + 5*l + 3*o - 1435. Does 29 divide l?
True
Suppose -5*p + 18 = -12. Is 3/6 + 57/p a multiple of 3?
False
Let a(n) be the first derivative of -n**4/4 + 2*n**3 + 11*n**2/2 - 5*n + 1. Suppose 0 = -5*l + 1 + 34. Is 8 a factor of a(l)?
False
Let k(l) = 12 + 8*l - 7*l + 2. Is k(-10) even?
True
Let i = -80 + 140. Suppose 3*y - i = -y. Is 8 a factor of y?
False
Let o be 9/3 - (-27)/(-3). Is 19 a factor of (o + 0)*152/(-16)?
True
Let c = 126 + -69. Does 7 divide c?
False
Suppose v - 22 = 5*o + 9, 0 = -4*v + o + 48. Let w(t) = t**3 - 10*t**2 - 10*t + 16. Is w(v) a multiple of 12?
False
Let m be (-16)/(-6)*(-27)/(-12). Let r(u) = -27*u + 6. Let x be r(m). Does 16 divide (-10)/(-25) - x/10?
True
Let j(a) = -a**2 - 13*a - 12. Let c be j(-12). Suppose c*u + u - 14 = 0. Is 14 a factor of u?
True
Let h be (-1)/2 + (-677)/(-2). Suppose -3*q + q + 4*o + 336 = 0, -2*q + 2*o = -h. Suppose -4*y = 42 - q. Is 11 a factor of y?
False
Is 43 a factor of (13/(-26))/((-2)/196)?
False
Suppose -4*h = -4*l + h + 27, 0 = -3*l + 2*h + 29. Suppose -5*t - l = -73. Is 12 a factor of t?
True
Does 3 divide (-54)/(-13) - (-6)/(-39)?
False
Let r(c) = c**3 - 6*c**2 + 6*c + 1. Let o(i) = i**2 - 4*i + 5. Let p(z) = -z**3 + 9*z**2 - 9*z + 12. Let m be p(8). Let j be o(m). Does 6 divide r(j)?
True
Suppose 3*v + 2*v + 415 = 5*i, 270 = 3*i + 4*v. Is 15 a factor of i?
False
Let o = 72 - -17. Does 15 divide o?
False
Let n = 190 + -130. Suppose 3*q = 8*q - n. Does 7 divide q?
False
Suppose n - 46 = -0*n. Suppose 2*r = -2*a - n, -85 + 18 = 4*r - a. Let y = 34 + r. Does 16 divide y?
True
Let w(a) = -4*a - 2. Is w(-2) a multiple of 2?
True
Suppose -16 = -2*t - 2*m + 6*m, 47 = 5*t - 3*m. Is t a multiple of 5?
True
Suppose -4*l + 2*i + 358 = 0, i + 395 = 4*l + 36. Is 10 a factor of l?
True
Is ((-136)/(0 - 2))/(10/20) a multiple of 29?
False
Suppose -8*x + 343 - 39 = 0. Is 19 a factor of x?
True
Let z(s) = s**3 + 6*s**2 + s + 8. Let p be z(-6). Suppose -p*j = -j - 68. Is 17 a factor of j?
True
Does 12 divide (-51)/3*(-5 + 4)?
False
Suppose m + 1 = 0, -4*p - 2*m = -m - 383. Is 21/(-2)*p/(-18) a multiple of 8?
True
Let z(y) = 4*y**2 + 1. Let l be z(1). Suppose -l*f = 45 + 25. Let q = -1 - f. Is 4 a factor of q?
False
Suppose -132 = -3*d + 3*c, 1 = -4*c - 7. Is d a multiple of 14?
True
Let y be -2 + 3 + 9 - -2. Let r(l) = l**3 - 11*l**2 - 10*l. Does 12 divide r(y)?
True
Is 2 a factor of 2 + 4 + -3 + 3?
True
Is 118*((-1)/7)/(4/(-14)) a multiple of 11?
False
Suppose -g + 117 + 40 = 0. Let w = g - 108. Is w a multiple of 14?
False
Let t(i) = -2*i + 8. Let y be t(-4). Suppose a = 72 - y. Is 11 a factor of a?
False
Let k = 14 + -9. Does 4 divide k?
False
Suppose 0*k = -5*k - 3*h - 90, -2*k - h - 35 = 0. Let g be k*((-6)/9)/2. Suppose -2*o - 3*o + 30 = 5*q, 2*q - 27 = -g*o. Is 3 a factor of o?
False
Suppose 2*y = 9*y - 385. Is 6 a factor of y?
False
Let g = 51 + -36. Is 5 a factor of g?
True
Suppose 6 = i - 4*v, 3*v + 55 = -2*i + 23. Let b = i + 16. Does 3 divide b?
True
Let x(m) = 3*m**3 - m**2 - 4*m + 1. Let d(p) = -p - 3*p**3 + 2*p**3 + p**2 + 2*p. Let y(u) = -4*d(u) - x(u). Is y(4) a multiple of 7?
False
Let d(r) = r**2 + 5*r + 4. Let c be d(-5). Suppose -c*s + 210 = 66. Is (s/(-10))/((-6)/40) a multiple of 12?
True
Suppose 0 + 3 = -v, -2*w - 15 = 5*v. Suppose w = l - 2*a - 3*a - 29, 4 = -4*l - 4*a. Suppose l*m = m + 72. Does 12 divide m?
True
Let f be -1 + 3 + 3*2. Let l(k) = 0*k + 3*k + k - f. Is l(6) a multiple of 6?
False
Suppose 4*o + 3*b = -21, 4*o - 4*b = b - 29. Let c = -1 - o. Suppose -4*t - c*x = -12, 5*t - 20 = -4*x - x. Is 8 a factor of t?
True
Let u(d) = -d**2 + 8*d + 4. Does 10 divide u(4)?
True
Let q(o) = -o**2 - 8*o - 7. Let m be q(-7). Suppose 74 = t - m*t. Suppose 0 = -4*s + 34 + t. Does 14 divide s?
False
Suppose -4*p = -0*i - 5*i - 148, i - 3*p + 34 = 0. Let c = i - -44. Does 9 divide c?
False
Let h(f) = -3*f + 8. Let p(i) = 2*i - 7. Let m(z) = 3*h(z) + 4*p(z). Is m(-6) a multiple of 2?
True
Is -1 - (-99 - 6/2) a multiple of 15?
False
Suppose -19*q = -1389 - 17. Is q a multiple of 9?
False
Is 20 a factor of (-5)/(-25) + (-299)/(-5)?
True
Let w(l) = -2*l**3 - 9*l**2 - 7*l + 1. Let c(a) = -2*a**3 - 10*a**2 - 8*a + 1. Let g(p) = 5*c(p) - 6*w(p). Let s be g(-2). Is 6*15*(-2)/s a multiple of 18?
True
Let w(a) = 6*a - 6. Let x be w(6). Suppose -x = -5*o + 4*f, -11 + 5 = 2*o + 2*f. Suppose 0 = -l - o*r + 29, -39 - 58 = -5*l + 2*r. Is l a multiple of 14?
False
Suppose -l + 2*l - 152 = 0. Is 11 a factor of l?
False
Suppose 0 = -2*n + 5 + 3. Suppose -18 = -n*o - 2. Suppose r + 11 = -4*d + 28, -o*r - 5*d + 57 = 0. Is 13 a factor of r?
True
Let w(g) = 23*g**2 + g + 1. Let f(h) = -h**2 - 1. Let j be f(0). Is 23 a factor of w(j)?
True
Let a = 364 + -216. Suppose 0 = 5*m + 28 - a. Is 8 a factor of m?
True
Let t(m) = m**3 - 4*m**2 - 8*m + 4. Is 5 a factor of t(6)?
False
Let t be -1 + 11 + (-2)/(-1). Suppose -2*z = -0*z + t. Does 15 divide (-4)/z*(-2 + 47)?
True
Does 20 divide (0 - -2 - 3)/(3/(-159))?
False
Suppose 2*h + 3*h + 135 = 0. Suppose -12 = -w - 51. Let r = h - w. Does 6 divide r?
True
Let i(v) = v**2 - 12*v + 10. Let z be i(11). Does 11 divide 55 + (z + -2)/3?
False
Suppose -258 = -3*b - 2*y + 52, -2*y = -10. Is b a multiple of 5?
True
Let z(w) = 6*w - 6. Let s(d) = -17*d + 18. Let n(l) = -4*s(l) - 11*z(l). Let r = 2 + 3. Is n(r) a multiple of 2?
True
Suppose -5 = 5*d + 3*r - 16, 0 = -5*d - 2*r + 9. Let l(m) = 5 - 12*m + d - 5. Is l(-2) a multiple of 11?
False
Let i(j) = j**3 - 8*j**2 - 3*j + 10. Let m be i(8). Let q be 0/(-5 + 2) + 41. Let u = m + q. Does 16 divide u?
False
Let q(y) = 49*y**2 - 6*y - 8. Is 44 a factor of q(-2)?
False
Suppose x + 8 = 22. Suppose 4*c + 4*l = 8, 7*c + l = 3*c + x. Is 5 a factor of ((-6)/c)/((-3)/26)?
False
Let d = 12 - -20. Is 4 a factor of d?
True
Let n(d) = 5*d**3 - 4*d**3 + 1 - 2*d - 7*d**2 + 8*d**2. Let t be n(2). Suppose -p + t + 13 = 0. Is 14 a factor of p?
False
Let h = -6 + 9. Is h a multiple of 3?
True
Suppose -t = t + 6. Suppose 5*c = 5*u - 45, -3*c - 1 = -u + 36. Let k = t - c. Is k a mult