t v(u) = -5*k(u) + 6*n(u). Does 22 divide v(4)?
False
Suppose -h - h - 2 = 0. Is 4 a factor of h - (-2)/((-4)/(-26))?
True
Let p = 8 - 5. Let w be (-1)/(-3) - (-14)/p. Suppose -45 = w*j - 175. Does 13 divide j?
True
Let d = -46 + 83. Is d a multiple of 10?
False
Suppose -6 = 5*d + 14. Does 11 divide (-3)/12 + (-89)/d?
True
Suppose -5*c = -2*j - 2, -4*j + 2 - 6 = 3*c. Suppose c = 5*y - 80 - 75. Is y a multiple of 13?
False
Let j(s) = s**3 - 4*s**2 - s - 4. Suppose -7 - 3 = -2*o. Does 7 divide j(o)?
False
Suppose -5*b - 901 = -j, 5*b = 3*j + 2*j - 905. Let o = 338 + b. Suppose 0 = 2*k - 2*t - 83 + 5, 0 = -4*k + 2*t + o. Does 16 divide k?
False
Suppose 52 = 4*a + 4*m, 2*a - 5*m + 0 + 2 = 0. Let t = 9 - a. Suppose 3*g - 4*r - 74 = t, 9*g - 4*r = 4*g + 134. Does 9 divide g?
False
Let b = 122 + -21. Suppose -3*a - 3*z + 123 = 2*a, -4*a - 5*z + b = 0. Is 14 a factor of a?
False
Suppose -6*j - 35 = -13*j. Is j a multiple of 5?
True
Suppose -3*r + 85 = 5*o, -4*o = -2*r - 6*o + 54. Suppose 0 = -c + 6*c - r. Suppose -c*z + 62 - 17 = 0. Is 8 a factor of z?
False
Let m = -1 - 1. Let v be 27*(m - (-12)/9). Is 4 a factor of (-2 - v/4)*2?
False
Let a(o) = -o**2 + 9*o + 1. Let u be a(9). Let r = u - -7. Does 8 divide r?
True
Let d(t) = t**3 - 4*t**2 + 4*t - 1. Suppose -2*a + 10 = 4. Let i be d(a). Let v = 16 + i. Is v a multiple of 9?
True
Let k(d) = -3*d**3 + 2*d**2 + 2*d + 1. Let t(i) = 7*i**3 - 5*i**2 - 3*i - 1. Let p(x) = 5*k(x) + 2*t(x). Let n be p(-2). Is n*1/(-2)*-2 even?
False
Let x = -2 + 6. Let n = -20 + 14. Is 6 a factor of (-32)/n + x/6?
True
Suppose 0 = -4*x + f + 836, -3*x + 9*f = 10*f - 620. Does 22 divide x?
False
Let p be (-327)/(-7) + 4/14. Suppose -h + 2*w + p = 2*h, -4*h = -5*w - 65. Does 9 divide h?
False
Suppose -o + 0*o - 9 = 0. Does 7 divide 1 + 0 + 29 + o?
True
Is (-441)/(-28) + (-4)/(-16) a multiple of 8?
True
Let v(z) = z**2 - 9*z + 4. Let k be v(9). Suppose -2*t + t - 2*c = -27, -k*t + 144 = -c. Does 16 divide t?
False
Does 14 divide ((-4)/5)/(3/(-120))?
False
Suppose -51 - 203 = -2*n. Is 34 a factor of n?
False
Suppose 0*f + 4*q + 819 = 5*f, -5*q + 354 = 2*f. Does 18 divide f?
False
Suppose -p - 360 = -5*p. Suppose -4*i + p = i. Let x = -10 + i. Does 4 divide x?
True
Let s(k) = -2*k + 6. Let i be s(3). Suppose 4*l + i*l - m = 220, -l = 3*m - 55. Is 18 a factor of l?
False
Let h(w) = -w**3 + 7*w**2 + w - 7. Let s be h(7). Suppose -2*x + 4 = s, -n + 5*x = -2*n + 106. Suppose y = -3*y + n. Is y a multiple of 10?
False
Is (-107)/(-3) - (-2)/6 a multiple of 4?
True
Let a = 94 - 48. Let b = -3 + 6. Suppose -a = -b*u - 1. Is 14 a factor of u?
False
Let d(h) = 26*h**3. Suppose 4*i + 22 = y, 2*i - 7 + 23 = 3*y. Suppose -y*o + 0 + 2 = 0. Is d(o) a multiple of 26?
True
Let h(z) = z**3 + 11*z**2 + 12*z + 4. Let r be h(-8). Let g = -46 + r. Does 27 divide g?
True
Let x(z) = 4*z**2 + 5*z + 4. Suppose 1 - 13 = 4*b. Does 7 divide x(b)?
False
Suppose -3*k + k = 0. Suppose 3*l - 8*l + 25 = k. Is l a multiple of 2?
False
Suppose 2*i - 5*i - 9 = 0, -3*l - 4*i + 615 = 0. Does 20 divide l?
False
Suppose 0 = 5*r - 16 + 1. Suppose -j - 6 = -r*j. Is j a multiple of 3?
True
Suppose 0*j - 40 = -5*j. Is j a multiple of 8?
True
Does 8 divide ((-6)/(-4))/((-1)/(-6))?
False
Let v be -1 + 0 + 3 - -1. Suppose v*y = 7*y - 8. Suppose -3*l + 26 = -y*l. Is l a multiple of 26?
True
Let z = -3 - -6. Suppose z*w = -12 + 129. Suppose -86 = -5*s + w. Does 15 divide s?
False
Let t(m) = -m - 15. Let y be t(-8). Let r = -15 - y. Is (r/(-6))/(8/288) a multiple of 17?
False
Suppose 208 = 2*h + 2*h. Suppose 5*r + 4*a - 13 = 0, -4*r = -2*r - 3*a - 19. Suppose -h = -r*u + u. Is u a multiple of 13?
True
Suppose -10 - 2 = -6*o. Suppose 3*c = -o*z + 20, 0 = 4*z - 8*z + 3*c + 4. Does 4 divide z?
True
Let a be (-1)/3 - (-116)/6. Suppose 3*u - 1 = -b + a, -4*b = -4*u + 16. Is u a multiple of 3?
True
Let j(f) = f**3 + 5*f**2 + 4*f + 5. Let k be j(-4). Suppose 2*s - 3*s + k = 0. Suppose -s*i + 47 = -8. Does 5 divide i?
False
Suppose -x - 2*x + 6 = 0. Suppose -32 = -4*p - 5*m, x*p - 24 = -p - 4*m. Does 8 divide p?
True
Let u(m) = m**2 - m - 1. Let g(p) = -3*p**2 + 3*p. Let l(z) = -g(z) - 4*u(z). Is 4 a factor of l(0)?
True
Let i be (-18)/(-2*1)*2. Suppose 0 = m - 107 + i. Suppose 0 = 5*s - 71 - m. Is 16 a factor of s?
True
Let n(y) = -4*y - 2. Does 5 divide n(-8)?
True
Let k(h) = 2*h - 4. Let c be k(7). Let n = -5 + c. Is n a multiple of 3?
False
Is 18 a factor of 36/(-4)*(-5)/1?
False
Suppose -u + 2*u = 2. Suppose -u*z + 40 = -0*z. Is z a multiple of 5?
True
Suppose 8*u + 366 - 1102 = 0. Does 6 divide u?
False
Suppose 2*z - 35 = -3*b + 4*b, 5*z - 2*b - 90 = 0. Does 9 divide z?
False
Suppose -15*u + 16*u - 33 = 0. Is u a multiple of 11?
True
Let j = 5 + 13. Let o = 25 - j. Is 5 a factor of o?
False
Let y = 12 - 6. Suppose 3*o = 5*v + 5, 4*v - o = y - 3. Suppose 0*a - v*w + 106 = 3*a, -w + 2 = 0. Is a a multiple of 12?
False
Let r(y) = 9*y**2 - 12*y - 21. Let p(h) = 4*h**2 - 6*h - 10. Let w(o) = 7*p(o) - 3*r(o). Let n be w(-5). Let s = n - 29. Is 12 a factor of s?
False
Is 19 a factor of (-287)/(-3) + (-8)/12?
True
Let n(x) = -x + 5. Suppose 18 = -4*a + 2. Let o be n(a). Is 76/7 - o/(-63) a multiple of 4?
False
Let o = 5 + -5. Suppose 4*h - 16 = o, 3*v - 3*h + 45 = 4*v. Is 10 a factor of v?
False
Suppose -i + 2 - 7 = -2*a, 3*i + 9 = 3*a. Let o = 9 - a. Is o a multiple of 6?
False
Let w = -17 + 20. Suppose -w*n + 12 = -24. Is 6 a factor of n?
True
Let y = 15 - 3. Suppose -61 = -7*n + 2*n + 2*v, 0 = 4*v + y. Does 11 divide n?
True
Let r(u) = -4*u**3 - 20*u**2 + 5*u + 17. Let t = -18 + 29. Let h(i) = i**3 + 7*i**2 - 2*i - 6. Let n(o) = t*h(o) + 4*r(o). Does 12 divide n(-2)?
False
Let j(w) = w**3 - 3*w**2 + 4*w. Is 12 a factor of j(3)?
True
Let w(r) = r**3 + 17*r**2 + 14*r - 23. Is w(-16) a multiple of 2?
False
Suppose -c + 2*r = -355, 0 = -5*c + 4*r + 1400 + 369. Is 23 a factor of c?
False
Suppose 0 = 5*o - 4*x - 352, -5*o - 86 = -5*x - 436. Suppose -c = -3*c - 58. Let m = o + c. Is 16 a factor of m?
False
Suppose 5*i - 2 = 3*i. Is (i/(-2))/((-3)/60) a multiple of 6?
False
Suppose 6*c = 2*c. Let p = -1 - -3. Let j = p + c. Is 2 a factor of j?
True
Let r(k) = -k**2 - 9*k - 8. Let m be r(-8). Is 7 a factor of m + -1 + 4 - -30?
False
Let y(h) = -h**3 - 2*h**2 + 2*h - 1. Let i be y(-3). Suppose -i*n - 15 = -5*m - 0*n, 0 = -m - 5*n - 24. Is (m + (-57)/9)*-3 a multiple of 8?
True
Suppose 12*w = 7*w + 225. Does 15 divide w?
True
Is (-4 + 559)*(-1)/(-3) a multiple of 37?
True
Suppose 0*u = -3*u - 18. Is 15 a factor of 15*u*4/(-8)?
True
Suppose 65 - 13 = -2*q. Let i = -16 - q. Does 5 divide i?
True
Suppose -720 = -12*j + 4*j. Does 30 divide j?
True
Let x = -7 - -27. Is x a multiple of 5?
True
Is 2*3*(-1 - -9) a multiple of 18?
False
Let g(s) = -2 + s + 0*s + 0*s**2 - 2*s**2 + 3*s**2. Does 4 divide g(-3)?
True
Suppose -6 = 5*l - 16. Suppose l*r - 12 = -r. Is 4 a factor of r?
True
Let f(p) be the second derivative of -p**4/12 + 2*p**3/3 + 3*p. Suppose 2 + 1 = q. Is f(q) a multiple of 3?
True
Let u = 7 + -5. Let j = u + 0. Suppose 45 = j*w - 21. Is w a multiple of 13?
False
Suppose -k - 272 = -5*k. Does 9 divide k?
False
Suppose 5*q + 3 = -3*j, -5*j - 5 = 5*q - 0. Suppose -4*k - k + 16 = b, -3*k + 2*b + 7 = q. Is 3 a factor of k?
True
Let d be -2 - (-1)/2*2. Let x be (9/4)/(d/(-8)). Is 20 a factor of (132/x)/((-4)/(-30))?
False
Does 5 divide (-1)/(20/48)*-10?
False
Let q be (-3)/(-4) + 2/8. Suppose 0 = -c - q + 2. Is 18 a factor of (1*-3)/(c/(-6))?
True
Let a = 36 - 52. Is 0 - -3 - 3 - a a multiple of 5?
False
Let f = 39 + -15. Is 12 a factor of f?
True
Let x be 23/(-1)*-1 + 2. Suppose 0 = -0*h - 2*h + 2. Let j = h + x. Is 13 a factor of j?
True
Let x be (-144)/(-10) + 4/(-10). Let w = 33 - x. Suppose -p = 7 - w. Is p a multiple of 12?
True
Suppose 0 = -4*t + 221 - 77. Is 9 a factor of t?
True
Let z = -152 + 291. Let q = z - 80. Is q a multiple of 12?
False
Let a be (2/(-3))/(3/9). Is -3 - 12/a - -40 a multiple of 13?
False
Suppose 2*n - 4 = 30. Is 8 a factor of n?
False
Suppose 4*z + 5*w - 4*w + 4 = 0, 2*z + 8 = -2*w. Suppose x + x = z. Suppose 3*h = -5*a + h + 74, 5*h + 15 = x. Is 15 a factor of a?
False
Suppose 0*t = -3*t. Suppose -3*s + 2*q + 2*q + 123 = t, q = 5*s - 205. Suppose -5*w - z = -270,