f d?
True
Suppose 4*q + 5*i - 76 = 0, 2*q + i - 25 = 19. Is (q/2)/(9/24) a multiple of 15?
False
Suppose 288 = 4*d - 2*d + h, 5*d - h = 720. Suppose -z = 5*s - 8*s - 44, 0 = 5*z + 4*s - d. Suppose 0 = -3*p + 2*p + z. Is 16 a factor of p?
True
Let w = 34 + -19. Is 15 a factor of w?
True
Does 37 divide (11 - -2)/(1/13)?
False
Suppose 4*c + 2*n - 9 = 9, 4*c = 3*n + 13. Is 8*c - (-16)/8 a multiple of 17?
True
Let u(s) = 5*s - 6. Is 6 a factor of u(6)?
True
Let f(q) = 59*q + 2. Does 7 divide f(1)?
False
Suppose 3*z + 348 = 4*n, 7*z + 160 = 2*n + 2*z. Is 9 a factor of n?
True
Suppose 5*q + 0 + 5 = -2*r, -2*r + 13 = -q. Suppose 0*h - 5*n = -r*h + 80, 2*h + 3*n = 22. Does 7 divide h?
True
Let v(q) be the first derivative of 30*q**2 + 2. Is v(1) a multiple of 25?
False
Let m = 81 + -39. Is 14 a factor of m?
True
Let q(d) be the third derivative of d**4/8 + 4*d**3/3 + 2*d**2. Is 12 a factor of q(6)?
False
Let l(r) be the first derivative of 5*r**6/72 - r**3/3 - 1. Let d(t) be the third derivative of l(t). Does 9 divide d(1)?
False
Let t be (-5)/((-15)/42) + -2. Let x = 35 - t. Suppose 4*q = o - 30, 3*q + x = 4*o - 58. Is 12 a factor of o?
False
Suppose 0 = -2*z - o + 65 + 368, -5*o - 656 = -3*z. Does 31 divide z?
True
Suppose -j + 37 = 2*j + 4*b, -2*b = -2*j + 6. Suppose 4 = -x + j. Does 16 divide (1/x - 0)*69?
False
Let s be (15/(-6))/(-5)*-6. Let o be (-875)/(-20) - (-1)/4. Is (o + 6/s)/1 a multiple of 14?
True
Let l(n) = -2*n - 8. Let p(u) = -8*u - 31. Let m(y) = -22*l(y) + 6*p(y). Let r = -43 - -35. Does 15 divide m(r)?
False
Let f(r) = -6*r - 2. Let v(u) = u**2 + 4*u - 10. Let p be v(-7). Let q = 5 - p. Is f(q) a multiple of 17?
True
Let h(p) = p + 1. Let b be h(-5). Does 14 divide (1 + 0)/(b/(-92))?
False
Suppose 5*c - 3*a = 2*c + 3, 0 = 4*c - 5*a. Suppose u + 64 = c*u. Does 12 divide u?
False
Suppose 2*z - 436 = -0*z. Does 42 divide z?
False
Let c(i) = 9*i**2 - i**3 + 0*i**2 - 6*i**2 - 10*i + 6*i**2. Let j be c(8). Is 18 a factor of 2 - 1/(1/j)?
True
Let b be 99 + 2/(-1 + 0). Suppose 4*q - 11 = b. Is 5 a factor of q/2 + (-1)/(-2)?
False
Let w = -421 - -829. Suppose 5*f - w = -3*a + 2*a, 0 = -5*f + 5*a + 420. Suppose 3*d + 5*g - f = 0, 0*g = -3*d - g + 74. Is d a multiple of 24?
True
Let o(l) = -12*l**3 + 1 + 6*l + l**2 + 4*l - 4*l - 5*l. Does 4 divide o(-1)?
False
Suppose -15 + 0 = -3*j. Suppose -j*h + 186 = 5*r - 179, -128 = -2*r + 4*h. Suppose 5*a = 75 + r. Is 11 a factor of a?
False
Let a(v) = -v**3 - 18*v**2 - 5*v - 42. Is 12 a factor of a(-18)?
True
Suppose -5*s + 2*p + 85 = 0, -26 - 25 = -3*s - p. Let n be (-6)/(-8) + s/4. Suppose 5*i - 325 = n*m, 127 = 4*i - m - 145. Does 24 divide i?
False
Let k(i) be the second derivative of 21/20*i**5 + 0 + 0*i**3 + i + 0*i**2 - 1/12*i**4. Is k(1) a multiple of 14?
False
Let n = 5 + -1. Let l = 10 - n. Is 2 a factor of l?
True
Let r(u) = u**2 + 8*u + 11. Is 4 a factor of r(-7)?
True
Suppose -15 = 3*r - 5*d, 5*d - 15 = -r - 3*r. Does 15 divide (1 - r)*-1 - -31?
True
Let u(r) = -r**3 - 9*r**2 + 9*r - 8. Let s be u(-10). Suppose s*p + p = v + 92, -5*v + 116 = 3*p. Suppose 4*n = 2*n + p. Is 8 a factor of n?
True
Let y(c) = 3*c - 4. Let f be y(10). Let j = f - 15. Is j a multiple of 11?
True
Let z(u) be the second derivative of u**5/20 - u**3 - 3*u**2/2 + 4*u. Let g(k) = k**2 - k - 1. Let i(l) = -6*g(l) + z(l). Does 3 divide i(6)?
True
Suppose 6*n - n = -15. Let a(b) = b**2 - b + 3. Does 15 divide a(n)?
True
Let j(g) = -2*g - 3. Let v be j(15). Let c = -16 - v. Is 17 a factor of c?
True
Suppose 2*a - 3*a - v = 0, -4*v = -5*a - 18. Let x be (-10 + -1)/((-2)/a). Let q = x + 31. Does 10 divide q?
True
Let g be 0 + 24 + 1 + -1. Is 10 a factor of (400/g)/((-4)/(-6))?
False
Suppose 0 = 4*l + 14 - 170. Suppose -5*w = 4*d - l, -2*d + w + 3 = -6. Is 6 a factor of d?
True
Let d(k) = -k**3 + 5*k**2 + 6*k - 4. Let f be d(6). Does 13 divide (f + 141/(-9))*-3?
False
Suppose 4*l + 12 + 4 = 0, -2*q = 5*l. Let s be 4/(-10) + 14/q. Does 2 divide (-9)/(-12)*8/s?
True
Suppose 0 = -z + 8 + 14. Suppose 74 = 2*n - z. Is n a multiple of 12?
True
Let v(k) = k - 5. Let u be v(8). Suppose -3*m - m = -y - 13, -5*y - u*m = -27. Suppose -2*p - 10 = 0, w + 4*p + y = -6. Does 11 divide w?
True
Suppose -4*g + 5*g - 17 = 0. Does 10 divide g?
False
Is 1/(-5 - 1266/(-253)) a multiple of 15?
False
Let f be -2 + 3 + -3 - -68. Suppose w = 3*w - f. Is 11 a factor of w?
True
Let w = -302 + 513. Is 13 a factor of w?
False
Let o(r) = -r**3 - 6*r**2 + 3*r - 3. Let p(u) = -u**2 + u + 4. Let l be p(-4). Let j = -23 - l. Is 14 a factor of o(j)?
False
Suppose 2*q + 756 = 5*d, 6*d - 752 = d + 4*q. Suppose 5*z = z + d. Does 19 divide z?
True
Let t(r) = 43*r**2 + 2*r + 1. Does 17 divide t(-1)?
False
Let i(h) = h + 11. Let l be i(-8). Suppose -5*n - 2 = l. Let j(q) = 18*q**2 - 1. Is j(n) a multiple of 17?
True
Suppose 0 = 3*j - 66 - 294. Suppose 3*x + 120 = 5*o, 0*x = 5*o - x - j. Is 18 a factor of o?
False
Let c(m) = 130*m**2 - 1. Is c(1) a multiple of 40?
False
Let a(r) be the third derivative of -r**6/360 - 7*r**5/60 - r**4/3 - r**3/2 - r**2. Let s(z) be the first derivative of a(z). Does 16 divide s(-10)?
True
Suppose 2*r - 6 = -0*r. Let w(j) = j**2 - 2*j + 3. Let n be w(r). Suppose 2*a + 14 = 5*i, 0*i + 3*i = 2*a + n. Is i a multiple of 4?
True
Let z(s) = -s**2 + 7*s. Let l be z(7). Suppose -4*d + l*d + 32 = 0. Does 6 divide d?
False
Let h = -23 - -14. Let a = h + 54. Does 15 divide a?
True
Let x = 5 - 2. Suppose 0 = -2*z - 5 + 1. Does 3 divide x - (z - (-4)/2)?
True
Suppose 0*p + 4*p - 92 = -2*w, -117 = -3*w + p. Is 5 a factor of w?
True
Let c(q) = -q**2 - 4*q + 2. Let v be c(-5). Let d(s) = -s**3 - s**2 + 3*s + 4. Let b be d(v). Let h = b - 8. Is 2 a factor of h?
False
Is 2 - (3 - -1 - 72) a multiple of 14?
True
Is 9 a factor of (3 - 6)*(-87)/9?
False
Suppose -18*b + 1467 = -15*b. Is b a multiple of 54?
False
Let c(q) = -q**2 + 2. Let p(h) = -h**2 + 7*h - 5. Let n be p(5). Suppose 4*z - 5*b = 15, -3*z + 2*b + n = -1. Is 2 a factor of c(z)?
True
Let j be (-2)/10 - (3 + 32/(-10)). Suppose -2 = l - 2*l. Suppose 4*k - l*c + 3*c - 45 = j, -50 = -3*k - 4*c. Is 10 a factor of k?
True
Let i(k) = -k**3 - 15*k**2 - 2*k + 12. Is i(-15) a multiple of 4?
False
Let c = 0 + 1. Let f be 0 - 1*(2 + -8). Is f/3 - (-4 - c) a multiple of 7?
True
Let o(g) = g**3 + 7*g**2 + 2*g + 4. Is o(-6) a multiple of 7?
True
Let j be (1 + 1)*3/2. Let b(x) be the third derivative of x**5/60 + x**4/8 + x**3/6 + 7*x**2. Does 8 divide b(j)?
False
Suppose -4*m + 4 = 40. Let j(i) = 17*i**2 + 7*i + 21. Let w(h) = -4*h**2 - 2*h - 5. Let d(q) = m*w(q) - 2*j(q). Does 2 divide d(-2)?
False
Let p(n) = n**2 - n + 104. Does 13 divide p(0)?
True
Suppose 4*w - 64 + 16 = 0. Let x be 246/(-4)*w/(-18). Suppose r + x = 2*r. Is r a multiple of 23?
False
Suppose 4*a = 3*p + 477, 3*a - 344 = -2*p + 18. Is 24 a factor of a?
True
Is 16 a factor of (128/(-12))/(4/(-12))?
True
Does 20 divide (-4)/(-8) + 147/6?
False
Let o(v) = -v**2 + v - 3*v**2 - 4 - 2*v**2 + v**3 + 3*v**2. Let x be o(3). Is 4 a factor of x*(0 - -2) - -10?
True
Let a(d) = -14*d - 2. Suppose -4*x = -i + 7, 0*x = x + 2*i + 4. Let u be a(x). Let m = u + -7. Does 11 divide m?
False
Let d(n) = n**3 + 4*n**2 - 8*n - 3. Let u = -14 - -9. Is 6 a factor of d(u)?
True
Let k be (0 - -3)*(5 - 4). Suppose 31 = 2*p - 2*d - k*d, 3*d + 12 = -p. Suppose -t + 9 = 2*o, -p*o = t + 7 - 20. Is o a multiple of 4?
True
Let u(p) = 2*p - 5. Let q be u(4). Let n be (q + 0)*(12 - 3). Does 4 divide 2 - 4/((-12)/n)?
False
Let z = -71 - -92. Does 15 divide z?
False
Let v(z) = z**2 - z - 3. Is 6 a factor of v(-3)?
False
Let z be 6/18 + 124/6. Suppose -2*q - 7 = -z. Is q a multiple of 5?
False
Let t = -65 + 45. Is (3 + 52)*(-8)/t a multiple of 11?
True
Let v(w) = -3*w + 1. Let h(k) = 5*k - 3. Let r be h(2). Let s be v(r). Is (-165)/(-6)*(-16)/s a multiple of 11?
True
Suppose 5*q = -m + 20, -4 = -q - 6*m + m. Let t = q - -5. Is 9 a factor of t?
True
Let f(m) = -3*m**3 + 3*m**2 - 3*m + 6. Let a be f(3). Suppose -4*r - 30 = 86. Let u = r - a. Is u a multiple of 14?
True
Let i(k) = -3 + 2*k**2 + 6 + 0*k**2 - 4*k. Let r be i(2). Let v = r + 3. Does 6 divide v?
True
Let y(u) = -33*u**3 - 1. Let c = -6 + 7. Let d be y(c). Is 2/(-4)*d + 1 a multiple of 6?
True
Let q = 14 - 10. Su