 divide s?
True
Suppose -2*r = -59 - 103. Is 9 a factor of r?
True
Let h(k) be the first derivative of -k**2/2 + 6*k + 4. Is 3 a factor of h(3)?
True
Suppose -5*b - 2*w - 386 = -1494, 0 = 2*b + 5*w - 460. Does 44 divide b?
True
Suppose 5*o + 2*z = 2*o - 8, -2*o - 4*z = 8. Does 13 divide o/2*1*-26?
True
Let r(h) = 3*h**2 - 1. Let b(a) = -a**2 + 2. Let j be b(0). Is r(j) a multiple of 11?
True
Is 11 a factor of 0 + 48*(-2)/(-2)?
False
Suppose g - 238 = -3*i + 417, 0 = -2*i - g + 435. Is i a multiple of 37?
False
Suppose -5*n + 98 = -y - 67, -4*y = 5*n - 190. Does 17 divide n?
True
Suppose -3*g - 2*z = 16, 5*g + 2*z = -37 + 9. Let j be 57*5/((-45)/g). Let f = -27 + j. Is 10 a factor of f?
False
Let o = 15 - 25. Let p = o - -19. Does 9 divide p?
True
Suppose o - 82 - 55 = 0. Is 14 a factor of o?
False
Let f(d) = d**3 - 3*d + 102. Is f(0) a multiple of 34?
True
Suppose 2*s + 5*s - 420 = 0. Is 15 a factor of s?
True
Does 15 divide (((-25)/4 - -3) + 0)*-60?
True
Let h(l) = l**2 - 4. Let y be h(3). Suppose 0 = 3*s + 3, 3*f + y*s - 2 = 2*f. Let j(b) = b + 2. Is 5 a factor of j(f)?
False
Let x be 309/6 - (-2)/(-4). Let o = -26 + x. Suppose 0 = 6*c - c - o. Is 5 a factor of c?
True
Suppose 0 = -4*i - 123 + 491. Does 24 divide i?
False
Suppose -5*t - 3*s = -3*t - 23, t + 3*s - 10 = 0. Let p(w) = w**2 - 4*w. Let f be p(4). Does 13 divide 0 + t + 0 - f?
True
Let j = 12 + -6. Let f(v) = v**3 - 6*v**2 + v - 4. Let t be f(j). Suppose 0 = -c - w + 5 - t, -w = 2*c - 8. Is c even?
False
Suppose -5*j + 2*o + 2*o = -55, -o = 3*j - 50. Suppose 5*b + 2*y = j, -3*b + 10 - 2 = y. Let v(l) = 16*l**2. Does 10 divide v(b)?
False
Suppose -3*z + 1 = -23. Let p = 13 - z. Suppose -5*f + 72 = p*y - 8, f + 22 = y. Is 8 a factor of y?
False
Let s = -8 - -22. Does 7 divide s?
True
Let j = -20 - -4. Let o = j - -9. Let h = -1 - o. Is h a multiple of 3?
True
Let k(i) = 4*i**3 + i**2 - i + 1. Let y be k(1). Suppose -y*u + 336 = -19. Let g = -34 + u. Is 13 a factor of g?
False
Does 17 divide (15/5 + -19)*(-34)/8?
True
Let a(k) = 9*k**3 - 5*k**2 + 3*k + 2. Is 12 a factor of a(2)?
True
Suppose -m - 2*m + 288 = 0. Is m a multiple of 24?
True
Is (6*1)/((-6)/(-63)) a multiple of 19?
False
Let h = -21 + 13. Is (-4)/h + (-50)/(-4) a multiple of 13?
True
Suppose -7 = -3*z + x, -x - 4 = -z - z. Suppose -25 = z*m - 124. Is 16 a factor of m?
False
Suppose -5*r - 3*r = -648. Is r a multiple of 9?
True
Suppose f - 52 = -b - 3*f, 298 = 5*b + f. Does 15 divide b?
True
Suppose -2*s + 12 = k, -3*s + 6*s - 14 = -k. Let o = 60 - k. Does 11 divide o?
False
Let x(g) = -3*g - 15. Suppose -k + 70 = -6*k + 2*r, 0 = 3*k + r + 42. Is 9 a factor of x(k)?
True
Let l(m) = 2*m**2 + 7*m + 7. Let p = -10 - -5. Is 11 a factor of l(p)?
True
Suppose 4*b - 5*w - 7 = -3, 0 = 2*w. Let z be 2 + (b - 1)/3. Suppose -z*g - 147 = -5*g. Is 21 a factor of g?
False
Suppose 2*a = -1 - 3, 0 = 4*q + 4*a. Suppose -j + 57 = 4*v, 5*j - 3 = q. Suppose 2*t = 86 + v. Does 19 divide t?
False
Let q(x) be the second derivative of x**3/2 + 5*x**2/2 - 2*x. Does 10 divide q(5)?
True
Suppose 5*b - 28 = u, -5*b = -3*u - 30 + 6. Let r(z) = 6*z. Let k be r(b). Suppose -4*f + k = -32. Is 14 a factor of f?
False
Let r = -14 - -8. Let c be 52/(-3)*27/r. Suppose 5*a = 3*w - c, w + 2*w - 78 = -4*a. Is 13 a factor of w?
True
Let u(a) = -5*a - 2. Let i(f) = -f**2 - 2*f + 5. Let q be i(-4). Is 9 a factor of u(q)?
False
Let l = 461 + -300. Does 7 divide l?
True
Let l be (1 - 62/8)*-24. Suppose 0 = 5*n - 2*n - 30. Suppose -l - n = -4*o. Is o a multiple of 18?
False
Let f(s) = s**3 + 5*s**2 - 6*s + 4. Let n be f(-6). Suppose 0 = -4*k + r + 1, 0*k + n*k + 4*r = 16. Is (-1)/(k*(-2)/10) a multiple of 3?
False
Suppose 2*n + 151 = -7. Does 23 divide -4 + 2 - 1 - n?
False
Suppose -5*l - 321 = -1966. Is l a multiple of 14?
False
Suppose y = -4*m - 30, 2*m + 6 = y - 12. Is (m/(-6))/((-8)/(-84)) a multiple of 14?
True
Let c(s) = -s**2 + 15*s + 30. Is c(14) a multiple of 11?
True
Let u = -9 - -21. Is u even?
True
Let m = 11 + -8. Suppose 5 + 7 = -s + m*u, 0 = -u + 4. Suppose r - 4 - 1 = s. Is 5 a factor of r?
True
Let u be (-2)/(-5) + (-148)/(-5). Let z be 1/(-1 + u/28). Suppose -r - r + z = 0. Is r a multiple of 7?
True
Suppose 0 = -5*y - 10, -3*y + 43 = l - 79. Does 16 divide l?
True
Suppose 3*f - 115 + 4 = 0. Let i = f - 7. Is i a multiple of 15?
True
Let y(s) be the first derivative of -s**6/120 + s**5/10 + s**4/24 + s**3 + s**2/2 + 1. Let p(k) be the second derivative of y(k). Is 6 a factor of p(6)?
True
Suppose -2*j = -2*y, 3*j - 4*y = 2*j. Let l(i) = -i + 1. Let f be l(-6). Suppose j = -a + 10 + f. Is 7 a factor of a?
False
Let h be (-2)/3 + 186/9. Suppose 2*o + 20 = -5*k, -h = -o + 2*o + 5*k. Suppose 2*t - 48 = -o. Does 12 divide t?
True
Let l(r) = 2*r**2 - 3*r - 4. Let q be l(3). Let k(z) = -z**3 + 5*z**2 + 3*z + 3. Does 9 divide k(q)?
True
Let q(j) = j**2 + j + 2. Let m(f) = -f**2 - 2*f - 2. Let z(b) = 3*m(b) + 4*q(b). Is z(-3) a multiple of 17?
True
Let a(k) = -k**3 + 6*k**2 - 5*k - 4. Does 4 divide a(4)?
True
Let x be (-38)/(-4)*4*3. Suppose -3 = -3*o + x. Does 17 divide o?
False
Suppose -186*u + 1182 = -180*u. Is 6 a factor of u?
False
Suppose 180 + 435 = 5*r. Let a = -72 + r. Is 18 a factor of a?
False
Let n(m) = -7*m + 13. Is 17 a factor of n(-20)?
True
Let w(t) = 2*t**2 + 12*t - 6. Is 16 a factor of w(-9)?
True
Let o(f) = f**2 + 7*f. Let g be o(5). Suppose 2*t + 3*t - g = 0. Suppose 4*d = 3*r - t - 74, -2*d - 76 = -3*r. Is r a multiple of 11?
True
Suppose 19*q - 338 = 802. Does 10 divide q?
True
Is 27 a factor of 4/46 - (-221584)/506?
False
Let f(n) = 3*n**2 + 5*n - 1 + 1 - 5 + 3*n**2 - n**3. Is 15 a factor of f(5)?
True
Let x be (-114)/(-15) + 6/15. Suppose -4*h + r = -134, 25 = h + x*r - 4*r. Is h a multiple of 11?
True
Let p(v) = v**3 - v**2 + 23. Does 6 divide p(0)?
False
Let q(y) = y**3 - 8*y**2 + 12*y - 17. Is q(7) a multiple of 6?
True
Let m be 2 + 0 + (-4 - 18). Let q = -1 - m. Does 7 divide q?
False
Suppose -7*l - 271 + 901 = 0. Is l a multiple of 30?
True
Suppose 36 = 3*f - 4*b - 236, -2*f + 3*b = -183. Is f a multiple of 23?
False
Suppose -3*d = l - 13, -d = 2*l - 3 + 7. Does 15 divide (-2)/d - 92/(-6)?
True
Let b(c) = -2*c - 19. Let f be b(-13). Suppose f*l - 2*l - 55 = 0. Is 11 a factor of l?
True
Let r = 22 + -22. Suppose r*y = 5*t + 5*y - 15, -4 = y. Is 3 a factor of t?
False
Let d = -14 + 90. Is 38 a factor of d?
True
Suppose -2*p + 12 = 2*v, 3*p - 6 = -v - p. Suppose 4*s = 62 - v. Is s a multiple of 14?
True
Suppose -31 = -4*j - 3*z, 5*z - 6*z + 9 = j. Suppose o + 0*o = -j. Let q = 4 - o. Is 8 a factor of q?
True
Let i(q) = q**2 + 6*q + 3. Let w(o) = -2*o**2 - 13*o - 5. Let h(g) = 5*i(g) + 3*w(g). Let f be h(-9). Does 22 divide (-3 + f - -1) + 34?
False
Suppose 205 = 12*k - 7*k. Is 11 a factor of k?
False
Suppose -5*f + 5 + 18 = -4*n, 5*f + 4*n - 7 = 0. Let o = 8 - 6. Suppose f*s - 3*a = 93, o - 34 = -2*s - 4*a. Does 13 divide s?
True
Suppose 5*i + 3*b = 1102 + 127, -5*i = 4*b - 1227. Is i a multiple of 10?
False
Let g(v) be the second derivative of v**4/12 - v**3/6 - 3*v**2/2 + 3*v. Does 8 divide g(4)?
False
Suppose 4*j - 144 = j. Let s be j/21 - (-2)/(-7). Suppose 0 = -5*v - 3*h - s*h + 35, -5 = v + 5*h. Is v a multiple of 10?
True
Let k = -5 + 3. Is (k - (-1 - -1)) + 8 a multiple of 6?
True
Does 11 divide (84*(0 + 1))/(6/4)?
False
Suppose 46*j - 33 = 43*j. Does 9 divide j?
False
Let p(j) = 0 + 0 - 2 + 0 - 11*j. Does 10 divide p(-2)?
True
Let g = 42 - 18. Is 11 a factor of g?
False
Let z = -5 + 14. Suppose z*v = 4*v + 60. Is 12 a factor of v?
True
Suppose 79 + 46 = -3*u - 5*y, -u - y - 39 = 0. Let t be 1/(((-25)/(-5))/35). Is 12 a factor of u*-6*1/t?
False
Let o = -2 - -1. Let j(a) = -a**2 + 16*a - 9. Let d be j(15). Does 13 divide o/((-3)/d) + 11?
True
Let u(g) be the third derivative of g**6/120 + g**5/10 + 5*g**4/24 + 3*g**2. Does 7 divide u(-4)?
False
Suppose 0 = 22*c - 17*c - 960. Does 33 divide c?
False
Let b be ((-8)/(-2))/(3/(-12)). Does 7 divide ((-2)/(-3))/(b/(-264))?
False
Let h be -6*(-3)/((-27)/(-93)). Suppose -2*u = -0*u - h. Let a = 67 - u. Does 12 divide a?
True
Suppose 5*d - 130 = -5*g, -3*d + 3*g + 38 = -28. Suppose 0 = -3*x + 3*r + d, -5*x + 2 = -r - 38. Is x a multiple of 4?
True
Suppose 2 = z - 23. Is 12 a f