alse
Suppose 5*l = 1775 + 75. Is 19 a factor of l?
False
Suppose -4*f + 14 - 42 = -4*y, y = -5*f - 23. Let t = -1 - f. Does 11 divide (1 + t*-3)*-1?
True
Let y(l) = 2*l**2 + l + 1. Does 4 divide y(4)?
False
Suppose 4*r + r + 5 = 0. Is 3 a factor of 2/r - (3 + -11)?
True
Let v be -10*(1 - 9/6). Let n = v - -16. Does 7 divide n?
True
Suppose -2*t - 4*p = -9*p, t - 11 = -3*p. Suppose 0 = t*x - y + 18, 0*y + 2*y + 24 = -5*x. Let q(m) = 2*m**2 + 5*m + 5. Does 11 divide q(x)?
False
Suppose 4*o - 28 = 2*o. Is 19 a factor of 24/(-84) - (-760)/o?
False
Suppose 3*n + 2*l = -7, n + 3*n - 5*l - 6 = 0. Is 22*(15/6 + n) a multiple of 11?
True
Suppose -4*c - 8*m + 3*m - 55 = 0, 0 = -m + 1. Let g = 23 + c. Is 4 a factor of g?
True
Let l be (-2 + 283/4)*4. Suppose -4*x - x = -l. Let q = -39 + x. Does 15 divide q?
False
Suppose 3*o - 76 = 5*u - 3*u, -3*o + 5*u = -82. Does 2 divide o?
True
Let q be 6*1*2/3. Suppose 4*x = 4*d - 97 + 257, q*x + 2*d - 166 = 0. Is 14 a factor of x?
False
Let c be 18/2*182/78. Let m be (14*-2)/(4/(-6)). Let v = m - c. Does 6 divide v?
False
Suppose -2*v = 3*v. Suppose 0*x - 4*x = v. Is 27 + (0 - -1)*x a multiple of 10?
False
Is (-6 - -2 - -30)*(-2 - -4) a multiple of 4?
True
Suppose -2*n = -93 - 23. Is n a multiple of 22?
False
Let r(x) = 3 + 0*x**2 - x**3 + 2*x + x**2 + 0*x**3. Is r(-3) a multiple of 14?
False
Suppose 13*x - 17*x + 120 = 0. Does 13 divide x?
False
Let j(t) = t**3 - 5*t**2 - 6*t + 2. Let p be j(6). Let y(w) = 2*w**2 + w - 2 + 2*w + 0*w**2. Is 12 a factor of y(p)?
True
Let d = 33 - 8. Does 5 divide d?
True
Let l be ((-2)/(-1) - 4) + -2. Let p = l + 4. Let v(a) = -a**2 + a + 7. Is 5 a factor of v(p)?
False
Suppose -3 = 3*j, 6*j - 3*j - 5 = -4*t. Suppose -465 = -5*i + t*i. Suppose -x + i = 4*x. Does 14 divide x?
False
Let t be (-4)/(-6) + 8/6. Let j be 4*1*(-1)/t. Let m = j - -10. Is m a multiple of 8?
True
Let g(u) = -20*u - 6. Is 19 a factor of g(-7)?
False
Suppose -2*n = 2*n - 420. Is n a multiple of 9?
False
Let l = 57 + -25. Is l a multiple of 8?
True
Suppose 4*b = 4*m + 32, 37 = 5*b - m + 1. Suppose -9 = 4*k - b*k. Does 18 divide 54/4*8/k?
True
Suppose 1 = -2*y - 1. Let c be -75 - (y - (-4 - -2)). Let u = c - -114. Is 15 a factor of u?
False
Suppose 44 = 2*t + 4*q, 2*q - 4 = 6. Is 3 a factor of t?
True
Let x(v) = 8*v + 2. Is x(7) a multiple of 35?
False
Suppose 2*z - 5*z - 6 = 2*c, 0 = -c - 2*z - 4. Suppose h - 6*h + 15 = c. Suppose 5*x - 4*w = 40, 8*x - w - 25 = h*x. Does 4 divide x?
True
Suppose -4*p = -3*a + 88, -3*p + 51 = 2*a - a. Is 4 a factor of a?
True
Let h(q) = 2*q - 1 - 2*q + q. Does 2 divide h(4)?
False
Suppose -4*n = -i - i - 6, n = -5*i + 29. Suppose 2*m + 169 = i*s, -s - 3*m + 26 = -6*m. Is 9 a factor of s?
False
Suppose -4*y = 3*a - 466, a - 462 = -7*y + 3*y. Does 18 divide y?
False
Let s(r) be the third derivative of -5/6*r**3 + 0 + 1/24*r**4 - 2*r**2 + 0*r. Is 2 a factor of s(8)?
False
Let i(g) = 2*g. Let u(y) = -y**3 + 2*y + 2. Let v be u(-2). Is 12 a factor of i(v)?
True
Suppose -l = 0, f = -0*f - 3*l + 3. Suppose 32 = m + f*m. Does 4 divide m?
True
Suppose 13*p + 420 = 18*p. Is 42 a factor of p?
True
Let p(z) = -z**3 - 3*z**2 + 3*z + 2. Let t be p(-4). Let v = t + -4. Does 22 divide (v - (-2 + -18))*2?
True
Suppose 4*l - 56 = -0*c - 3*c, -3*c + 2*l = -62. Is 10 a factor of c?
True
Let r(k) = k + 10. Does 8 divide r(6)?
True
Suppose 0 = -5*u + 4*p + 24, 2*u = -u - 4*p + 40. Is (4/2)/(2/u) a multiple of 8?
True
Let p(a) = 2*a**2 - 14*a + 12. Suppose 0 = 4*j + 1 - 41. Is p(j) a multiple of 24?
True
Let w(h) = -3*h**3 - 3*h**2 + 3*h - 2. Does 13 divide w(-3)?
False
Suppose -3*l + 0*l = -216. Does 16 divide (5/(-2))/((-6)/l)?
False
Let a = 9 - -23. Is a a multiple of 15?
False
Suppose 4*p + 525 = p. Let g be 1/4 - p/4. Suppose r - 3*d - 4 = -0, 0 = -5*r + 3*d + g. Is 5 a factor of r?
True
Let j be 0 - 5/((-5)/8). Let w(l) = l - 5*l - j - 1 + 0*l. Does 10 divide w(-11)?
False
Let s(y) = -y**3 - 5*y**2 - 3*y - 3. Suppose 2*a - 15 = 4*a + 5*v, -5*a = 4*v + 29. Is 11 a factor of s(a)?
False
Suppose -f + 9 = 2*f, n = -3*f + 81. Is 9 a factor of n?
True
Suppose -3 = -j + 2*j. Is (2/j)/((-8)/84) even?
False
Let t(n) = -n**2 + 4*n - 3. Let m(f) = -f**3 + 9*f**2 - 8*f + 3. Let u be m(8). Let s be t(u). Suppose s = -k + 2*k - 24. Is 9 a factor of k?
False
Let l(m) = m + 7. Let o be l(-5). Suppose o*u = -b + 45, -39 = u - 3*u - 3*b. Does 6 divide u?
True
Let x = -41 + 176. Is 27 a factor of x?
True
Let f(o) be the first derivative of 2*o**3/3 + 3*o**2 + 2*o + 1. Suppose 0*n = 2*b + 2*n + 6, -4*b = -5*n + 30. Does 13 divide f(b)?
False
Suppose 42 = -4*c + q - 6*q, -c + 5*q = -2. Let h = c - -5. Let a = h - -6. Is a even?
False
Let t(l) = -20*l**3 - l - 1. Does 20 divide t(-1)?
True
Let r = 18 - 4. Suppose -a = 4*u - r, 2*a - 3*u + 17 = 3*a. Is 11 a factor of a?
False
Let u = 159 + -98. Is u a multiple of 14?
False
Let w(v) = -v**2 + 2*v - 4. Let u be w(0). Does 2 divide 64/36 + u/(-18)?
True
Let i(o) = o - 3. Let z be i(1). Is 13 a factor of (-53)/(-2) - (-1)/z?
True
Let n = -24 - -16. Suppose 5*i - 142 = 2*r, 3*i + 0*i - 86 = r. Let w = i - n. Is 17 a factor of w?
False
Let n = 58 + -41. Does 5 divide n?
False
Let a = 0 + -18. Let g be 27/4 + a/24. Is 3 a factor of 33/g - (-1)/(-2)?
False
Let w(l) be the third derivative of -l**4/24 + 3*l**3 - l**2. Is w(0) a multiple of 9?
True
Suppose -27 - 5 = 2*m. Let w be -2*4*12/m. Suppose 3*a = w*a - 15. Does 5 divide a?
True
Let w(c) = -9*c - 9*c + 29*c - 3. Is 7 a factor of w(5)?
False
Suppose 2*b = 7*b + 4*x - 928, -x + 937 = 5*b. Suppose 3*o + b = 2*o. Is 15 a factor of o/(-6) + (-6)/(-9)?
False
Suppose -8*x = 9*x - 272. Is x a multiple of 4?
True
Let h(q) = -32*q + 1. Suppose 4*f - 8 = 0, -m - 10 = -2*m - 5*f. Suppose m*n = 4*n + 4. Does 14 divide h(n)?
False
Suppose 5*l = -f + 33 + 100, 12 = 4*f. Is l a multiple of 23?
False
Let c(o) = 4*o. Let x be c(-4). Let s = x + 10. Is 160/(-12)*s/2 a multiple of 15?
False
Let i be (-1 - 3)/(6/(-15)). Suppose 2*l = 4*l - i. Is 2 a factor of l?
False
Let j(m) = 10*m - 2. Is j(5) a multiple of 12?
True
Suppose -2*o = 2*k + 3*o + 11, 2*o + 7 = -k. Suppose -10 + 112 = 3*f. Let z = k + f. Is z a multiple of 7?
True
Let w = 29 - -37. Is 6 a factor of w?
True
Let n = 108 - 40. Let p = -43 + n. Is p a multiple of 11?
False
Suppose 3*l + 10 = l. Let x(s) = -2*s**3 + 3*s**3 - 3 + 0*s**3 - 3*s + 5*s**2. Is x(l) a multiple of 12?
True
Let x be 0/2*(-2 + 1). Suppose x*z - 48 = -3*z. Does 8 divide z?
True
Let n = -80 + 146. Is 11 a factor of n?
True
Suppose 3*m - 4 = 4*m. Suppose 5*o + 5 = -p, -5*p - 25 = -9*p - 5*o. Is (-1 - m)/3*p a multiple of 10?
True
Suppose -48 = n - 163. Does 23 divide n?
True
Suppose -4 = -5*j + 16. Suppose 0 = j*p - 5 - 3. Suppose -y - 27 = -4*y + p*r, 0 = -4*y + r + 36. Does 4 divide y?
False
Suppose 500 = 3*a + 2*a. Suppose r = -r + a. Does 16 divide r?
False
Let z(a) be the second derivative of -a**5/20 + 7*a**4/12 - a**3/2 - 3*a**2 - a. Let c be z(7). Let g = 71 + c. Is 20 a factor of g?
False
Let x(u) be the third derivative of u**6/180 - u**5/60 - u**4/24 + u**3/6 + 2*u**2. Let y(w) be the first derivative of x(w). Is 5 a factor of y(-2)?
False
Suppose 4*o + 0*n + 4*n - 376 = 0, -5*n + 15 = 0. Is 25 a factor of o?
False
Let o be (5/(-4))/((-2)/8). Suppose 4*t + o*j - 2 = 0, -2*t + 8 = 2*t + 2*j. Suppose 7*k - 172 = t*k. Is 16 a factor of k?
False
Let k(j) = j**3 + 4*j**2 + 2*j + 1. Let n be k(-3). Suppose 3*b + 0*w + 5*w - 12 = 0, -n*w - 12 = 0. Is 9 a factor of b?
True
Suppose -4*c - 16 = -4*l, 2*c - c = 2*l - 3. Let u = -2 - l. Let f(v) = 4*v**2 - v. Does 5 divide f(u)?
True
Suppose -3*r + 4*r - 62 = -5*c, c - 5*r = 2. Suppose 4*j + a = -a + c, 4*j - 3*a - 2 = 0. Suppose -j*b - k + 5*k + 26 = 0, -5*b = 5*k - 50. Does 11 divide b?
True
Let a = 2 - -1. Suppose -a*v + 65 = 5. Does 12 divide v?
False
Let a = 22 + -21. Suppose -4*q - a + 9 = 0. Is q even?
True
Suppose -20 = -2*b + 5*m, 3*b + 0*b + 5*m + 20 = 0. Suppose -3*s = a - 154, 0 = -b*s + s + 3*a - 54. Does 22 divide s?
False
Let f(z) = -5*z + 1. Let j be f(3). Let p = -9 - j. Suppose q = -l + 9, -q + 48 = p*l + 3*q. Does 6 divide l?
True
Let w(t) = 3*t + 17. Is w(7) a multiple of 10?
False
Suppose 2*q + 4*c - 4 = -0*q, 3*c + 7 = -4*q. Let f be 3/