ivide t?
True
Suppose 5*r - 330 = -0*r. Does 22 divide r?
True
Let k(u) = u**3 + 7*u**2 - 11*u - 24. Is k(-6) a multiple of 8?
False
Let n = 109 - -17. Is n a multiple of 21?
True
Suppose -6*w + 0*w = -486. Let l(s) = -s**3 + 4*s**2 - 6*s - 3. Let z be l(5). Let a = z + w. Is a a multiple of 8?
False
Suppose 3*j + 3 = 96. Does 19 divide j?
False
Let f(n) = 12*n + 1. Let r be f(-1). Let o = -15 + 0. Let u = r - o. Does 3 divide u?
False
Let j(k) = k**2 - 9*k - 12. Let s be j(9). Is (-2)/3 + (-224)/s a multiple of 7?
False
Let y be (-1 + 2)/(3/6). Suppose -y*o + 8 + 8 = 0. Does 6 divide o?
False
Suppose -3*p + 8*p = 110. Does 14 divide p?
False
Let r be 4/(8/3)*2. Suppose 2*u + 25 = -r*u. Is 12 a factor of u/((-50)/(-4))*-70?
False
Let y(m) = m**2 - 5*m + 4. Let t be y(4). Suppose 0 = 3*b - 3*d - 96, t*b - 5*b - 3*d + 144 = 0. Is b a multiple of 10?
True
Let t be 2/2 - (3 - 5). Let d(h) = t*h**2 - 8*h**2 - h**3 - 7*h - 2*h**2 + 1. Is 3 a factor of d(-6)?
False
Suppose -4*o = -2*y + 42, 6*y - 72 = 2*y - 4*o. Is y a multiple of 4?
False
Let l = 10 - 21. Let w = l - -36. Suppose -4*t = -w - 7. Is 8 a factor of t?
True
Suppose 4*m - 2*b = -156, 4*m - 3*b = -m - 194. Is 5 a factor of (m/4)/(-1 + 0)?
True
Suppose -3*z = 2*u - 195, 247 = 5*z - u - 78. Let f = z - 45. Does 19 divide f?
False
Let i be 1*(2/2 - -3). Suppose -3*q = -i*q + 30. Does 10 divide q?
True
Suppose 5*v + 3*z - 103 - 179 = 0, -281 = -5*v - 4*z. Is v a multiple of 16?
False
Let x = 5 - 0. Let j be ((-255)/(-10))/(6/8). Suppose 0 = 3*l - x*l + j. Is l a multiple of 7?
False
Let y(j) = j**3 + 10*j**2 + 5*j + 8. Let g be y(-9). Suppose x = -g + 3. Let a = x + 60. Does 10 divide a?
False
Suppose -3*q - 2 = 10. Let n be ((-38)/q)/((-4)/(-8)). Let g = 46 - n. Is 18 a factor of g?
False
Suppose 5*x + 0*r + 9 = 3*r, 12 = 2*x + 4*r. Suppose x = 3*k + k - 128. Does 19 divide k?
False
Let x = 8 - -22. Does 30 divide x?
True
Suppose 37 = 2*w - 63. Suppose 0 = 3*v - 46 - w. Is 16 a factor of v?
True
Let h(i) = -2*i + 3. Let r be h(2). Let q(f) = -f**3 + f**2. Let u be q(r). Is (1 - 2)/((-1)/u) even?
True
Suppose -2*s - 2*p + 14 = 0, -5*s = p - 20 - 27. Suppose -a + 0 - 1 = 0. Does 7 divide -2 + 2 + a + s?
False
Let v(u) = u**3 + 6*u**2 + 5*u + 5. Let b be (-1)/(-4) + (-14)/(-8). Let m be (0 - -1)*b - 7. Is 2 a factor of v(m)?
False
Let b(a) = -2*a - 4. Let t be b(-3). Suppose -l + 42 = s - t*l, 2*s = -l + 96. Let i = -28 + s. Is 8 a factor of i?
False
Suppose 0 = f - 4*u + 2, -4*f + 0*u = -2*u - 6. Suppose 4 = 2*n - n - 4*i, 5*i + 11 = f*n. Is n a multiple of 7?
False
Let i(o) = o**3 + 9*o**2 + 6*o - 1. Does 5 divide i(-8)?
True
Suppose -k + 19 = 2*x + 2*k, 12 = -4*x + 4*k. Is x even?
True
Let y = 1 - 6. Let p = y - -15. Does 4 divide p?
False
Suppose -k + 2*m + 16 + 104 = 0, 3*k = -3*m + 360. Does 20 divide k?
True
Suppose -4*z - 16 = -5*z. Is z a multiple of 14?
False
Let c = 9 + -4. Suppose -4*j + 4*w = 5*w - 94, -c*j - 4*w + 112 = 0. Does 10 divide j?
False
Let h(r) = r**3 + 6*r**2 + 4. Suppose -4*g - 4*c = -1 + 5, 0 = -3*g + 2*c - 28. Is 4 a factor of h(g)?
True
Suppose 510 = -3*n + 13*n. Is n a multiple of 10?
False
Let a be 2/(-5) + (-608)/(-20). Suppose 2*w - 33 = -5*h, -h = -w + 4*w - a. Is 3 a factor of w?
True
Suppose 2*w = -57 + 197. Is 15 a factor of w?
False
Let c = -111 - -161. Is 20 a factor of c?
False
Let f be (-2)/(-1)*(-4)/(-8). Suppose -23 - 101 = -4*m. Is 17 a factor of f + m/1 + -1?
False
Let k be ((-36)/(-8))/(6/8). Suppose -4*m = 8, -5*f - m - k = 2*m. Suppose -159 = -4*b - 3*c, f*b = -4*b - 4*c + 164. Is b a multiple of 14?
False
Let j(g) = -g**3 - 8*g**2 - 7*g. Let x be j(-7). Suppose p - 4*k - 15 = 0, x*p - k + 45 = 3*p. Does 5 divide p?
True
Let t = 4 + 5. Is 9 a factor of (-5)/((-30)/t)*12?
True
Let a(k) = -2 + 0*k**2 + 3*k**2 - k + 12*k**2 + 5*k**2. Is a(2) a multiple of 17?
False
Suppose 3*s + 2*i = 6*i + 214, 3*s - 239 = -i. Is 13 a factor of s?
True
Let w = -7 - -7. Let z be -12*(0 - (w + -3)). Let i = 64 + z. Does 9 divide i?
False
Let a = 287 - 194. Suppose a = 4*o - 7. Is o a multiple of 10?
False
Let l = 7 - 28. Let s = l + 37. Is s a multiple of 16?
True
Suppose 5*a = -0*a + 95. Is a even?
False
Suppose 0*k - 136 = 4*v + 2*k, -5*k = -5*v - 185. Let a = -3 - v. Is 12 a factor of a?
False
Suppose -76 = -35*f + 34*f. Does 13 divide f?
False
Let x(b) = 6*b - 8. Let u be x(6). Is u/6 + (-2)/3 a multiple of 2?
True
Suppose 3*h = 5*o + 25, -5 = 6*h - 2*h + o. Suppose -2*l + 4*n + 38 = h, 2*l + 3*l - 4*n = 113. Does 12 divide l?
False
Is -1*3/3 - 8*-11 a multiple of 35?
False
Let k(n) be the second derivative of 3*n**3/2 - 9*n**2/2 + n. Let l be k(6). Suppose 2*b = -2*o - o + l, o + 5 = 0. Does 15 divide b?
True
Let p = 91 - 43. Is p a multiple of 24?
True
Let d(s) = -11*s - 3. Let m(p) = -p. Let c(f) = d(f) - 4*m(f). Let r be c(-4). Does 9 divide (r - -2)/3*1?
True
Suppose 5*s - 476 = s - q, 3*q - 228 = -2*s. Does 20 divide s?
True
Suppose -3*z + 6 - 30 = h, -2*z - 40 = 2*h. Let v(c) = -c**3 + c - 50. Let o be v(0). Let w = h - o. Is w a multiple of 16?
True
Suppose -44 - 82 = -9*x. Is 4 a factor of x?
False
Suppose -5*u = -10*u. Suppose u*t - 3*t + 6 = 0. Suppose 5*z - 4*j - 145 = 0, -5 = -t*z - 3*j + 30. Is z a multiple of 11?
False
Let c = 37 + -13. Suppose -3*k = 3*t - 117, 3*t - 4*t - 4*k = -c. Does 15 divide t?
False
Suppose 0 = 121*n - 118*n - 387. Does 9 divide n?
False
Let f = -8 + 12. Let t = -6 + 8. Suppose 6*q - 2*q - 68 = -5*u, 0 = -t*q - f*u + 28. Is 11 a factor of q?
True
Let q be (-12)/(-18) + 1/3. Is 2 a factor of 18*(-2)/((-6)/q)?
True
Is 3 - 2 - (-2 - 59) a multiple of 13?
False
Suppose 0 = -b - 0 + 3. Suppose -3*m + 2*m - 2*a = 19, -m + b*a + 6 = 0. Let h = 17 + m. Is 6 a factor of h?
False
Suppose 0 = 4*p - 86 + 6. Suppose -p + 143 = 3*c. Is 14 a factor of c?
False
Let t(r) = -27*r + 3. Does 15 divide t(-2)?
False
Does 9 divide 3 - 8 - -1 - (-47 + -2)?
True
Suppose 3*t = -4*m + 192, -4*t - 5*m = -9*t + 320. Suppose -5*w - 4*h + t = 0, -2*w + 5*h - 60 = -7*w. Does 4 divide w?
True
Is 5 a factor of 20*(1/(-5))/(32/(-880))?
True
Let k be (6/4)/((-3)/(-428)). Suppose -4*w - 22 + k = -3*s, 259 = 5*w + s. Is 19 a factor of w?
False
Let c(u) = 2*u + 7*u**3 + 1 + 42*u**3 - 4*u. Does 18 divide c(1)?
False
Let b(j) = 3 + 2 + 16*j - 4. Is 17 a factor of b(1)?
True
Let v = 526 + -339. Is 9 a factor of v?
False
Suppose 5*g - 9*g + 88 = 0. Does 8 divide ((-1)/1 + g)*1?
False
Let i(c) = c - 3. Let q be i(7). Does 7 divide 2/4 - (-26)/q?
True
Let b = 89 + -27. Suppose -t = 5*j - 18, 3*j + 10 + b = 4*t. Is 8 a factor of t?
False
Suppose 4*m + 3*j - 7 = 0, 0*j = 5*m - 2*j - 3. Let r = m + 2. Is r a multiple of 2?
False
Suppose 3*z = -2*s - 18, -6 = z - 3*s + 5*s. Is 8 a factor of (-98)/z - (-1)/(-3)?
True
Suppose 2*x - 5*a = 2, -2*a - 1 = 3. Suppose -11*z + 108 = -2*z. Let i = z - x. Does 13 divide i?
False
Let t be 1 + (-2 - (-1 - 2)). Suppose -t*u + 6 = 3*p - p, 5*u = -25. Is 3 a factor of p?
False
Let d be 15/(-2)*(1 + -3). Suppose 2*r + 11 = -0*g + 3*g, 4*g - 3*r = d. Suppose 4*s + 54 = g*o, 3*o - o - 47 = -s. Is o a multiple of 11?
True
Suppose 14 + 2 = -4*d. Let s(n) be the third derivative of -5*n**4/24 - n**3 + 4*n**2. Is s(d) a multiple of 14?
True
Let m(n) = -3*n**2 + 5*n - 2. Let o(z) = -z**2 + z. Suppose -4 = -0*x + 2*x. Let f(p) = x*m(p) + 4*o(p). Does 6 divide f(4)?
True
Suppose -6*q = -3*q + 12. Let r be q/(-6)*(-9)/(-2). Suppose -p - p = 5*y - 136, r*p + 146 = 5*y. Is 14 a factor of y?
True
Suppose 5*y - 122 = -12. Is 11 a factor of y?
True
Suppose -h + 0*h - 2*d = -1, -2*h = 5*d - 1. Does 7 divide 152/24 - (-2)/h?
True
Let o = 150 - 76. Is 37 a factor of o?
True
Does 18 divide 27*(-4 + 80/12)?
True
Let j = 3 + -1. Suppose 4*q + 16 = -3*o - q, -q = -j*o + 11. Suppose -9 = o*b - 42. Does 5 divide b?
False
Let k(r) = 15*r**2 + 1. Let g be k(1). Does 15 divide g*(5/4)/1?
False
Let r(h) = 15*h - 2. Let d be r(4). Let t be 105/(-6)*(10 - 8). Let f = t + d. Is 12 a factor of f?
False
Let v be (5 - 4) + 2*11. Suppose -5*h + v = -97. Is h a multiple of 11?
False
Suppose -2*a + 4*a - 4 = 0. Let f(u) = 23*u**2 + u + 2. Let z be f(a). Suppose -d = -4*d + z. Does 13 divide d?
False
Suppose 213 = 5*f - l + 2*l, -f + l + 39 = 0. Does 7 divide f?
True
Supp