 Suppose k*l - 23 = 7. Suppose -l*t + 100 = -t. Is 7 a factor of t?
False
Let n(s) = s**3 + 5*s**2 + s + 2. Suppose 2*q = -q + i - 8, 4 = -5*q + 4*i. Is 10 a factor of n(q)?
False
Suppose 0*g - 5*g - 30 = 0. Does 3 divide (15/9)/((-2)/g)?
False
Let i(m) = -2*m**2 - 15*m + m**2 + 5*m. Does 16 divide i(-8)?
True
Does 18 divide 10/30*(-1 - -55)?
True
Suppose -3 = -3*z + 2*z. Suppose -5*k = 2*a - 25, 3*k - 15 = -2*a - z*a. Suppose -3*g - g + 96 = a. Is g a multiple of 12?
True
Let j = -2 - -3. Let m(n) = 17*n**3 - 3*n - 1. Let r(t) = 35*t**3 - 7*t - 2. Let z(v) = 7*m(v) - 3*r(v). Is z(j) a multiple of 5?
False
Suppose 3*p + 8 = p - 2*k, -5*p + 2*k - 6 = 0. Let x = p + 5. Suppose q = -x, -117 = -5*u - q + 110. Does 14 divide u?
False
Suppose -u = r - 66, -2*r + 0*r = -2*u - 136. Is r a multiple of 20?
False
Is 5 a factor of (-1)/1 + (71 - (3 - 8))?
True
Suppose -5*g + 3*l = 20, 5 = -4*g + 3*l - 14. Let o be (-1 + g)*6/(-4). Is (-1)/o - (-146)/6 a multiple of 12?
True
Suppose 7*x - 3*x = -12. Let c(n) = -2*n**3 - 2 + n**3 + 1 + 3*n - n**2. Does 8 divide c(x)?
True
Let j = 32 + -16. Let f = -24 - -35. Let r = j + f. Does 12 divide r?
False
Is 266/2 + (7 + -4)/(-3) a multiple of 33?
True
Suppose -4*w - 2*a + 26 = 0, -5*a - 31 = -4*w - 2*a. Does 7 divide w?
True
Suppose -3*q + 6*q - 285 = 2*z, z = 2*q - 190. Does 6 divide q?
False
Suppose -3*o = -4*c - o + 4, 0 = 4*c + 4*o + 8. Suppose -52 = -c*k - k. Is 20 a factor of k?
False
Suppose 2*g - 32 = -2*g. Let z(r) be the first derivative of r**3/3 - 7*r**2/2 + 5*r - 31. Is 5 a factor of z(g)?
False
Suppose 4*a + 4 = 2*a. Is 18 a factor of 2 + -1 + (15 - a)?
True
Suppose 5*r - 45 = -3*p, 0*r + 2*p + 20 = 5*r. Let j = r - 4. Let s = j + 20. Is 22 a factor of s?
True
Let i(p) = -p**3 - 8*p**2 - 10*p - 6. Let r be i(-6). Let j = -11 - r. Is j a multiple of 6?
False
Suppose 3*h - 291 + 87 = 0. Does 14 divide h?
False
Suppose -2*q = 4*h + 14, h = 3*q + q - 17. Suppose q*n = 7*n - 144. Is n a multiple of 14?
False
Let g(m) = -m**3 + 4*m**2 + 2*m - 2. Let s be g(4). Let l(d) = d**3 - 7*d**2 + 6*d + 4. Let i be l(s). Suppose i = 2*b - 2, 2*b - 51 = -f. Is 21 a factor of f?
False
Suppose -4 + 32 = o. Is o a multiple of 7?
True
Let t = 23 - 39. Let g = t - -25. Is 3 a factor of g?
True
Suppose z = 4*w - 603, 2*w + 2*w + z - 605 = 0. Let r = w - 43. Let p = r + -76. Is p a multiple of 16?
True
Let f(s) = -s**2 - 6*s + 6. Let x(w) = -w**2 - 3*w - 5. Let c be x(-3). Does 11 divide f(c)?
True
Suppose -2*r + 176 = 4*w, -r + 96 = w - 3*w. Is r a multiple of 23?
True
Let d(y) be the third derivative of y**6/120 - y**4/24 + 5*y**3 + 2*y**2. Is d(0) a multiple of 15?
True
Let k(z) = z**3 + 5*z**2 - 2*z - 3. Let o be k(-5). Suppose o = 4*b - 5. Suppose -r + 5*p + 19 = 0, 4*r - b*p - 65 = 11. Does 17 divide r?
False
Suppose 3*l + 588 = -l. Let o = l - -83. Is 9 a factor of ((-8)/16)/(2/o)?
False
Let p = -60 + 102. Does 21 divide p?
True
Let r(h) = -h**3 - 6*h**2 - h + 8. Suppose -6*d + 4*d + v - 9 = 0, v + 33 = -5*d. Is 13 a factor of r(d)?
False
Suppose -3*z - z + 108 = 0. Let t be 21/z + (-2)/(-9). Is 10 a factor of (21/1 - -2) + t?
False
Suppose 2*t = 5*t - 9. Does 13 divide (0 - 13)/((-1)/t)?
True
Let h = -33 + 5. Let k = 73 + h. Is k a multiple of 15?
True
Suppose 34*c - 368 = 11*c. Does 3 divide c?
False
Let b be 1*(-1)/((-2)/6). Let w be 723/15 - (-4)/(-20). Suppose b*u - w = -0*u. Is 8 a factor of u?
True
Let h(o) = -o**3 + 11*o**2 - 19*o + 9. Is h(5) a multiple of 32?
True
Let d = 17 - 9. Let g(s) = 0 - 2 + 2*s - d*s. Does 10 divide g(-3)?
False
Let p = 6 + -5. Suppose -d - p = m + 2, 15 = 2*d - 5*m. Suppose d = -2*k + 34 + 46. Does 15 divide k?
False
Let b(j) = -j**2 + 9*j + 8. Let o be b(8). Let r = -9 + o. Does 2 divide r?
False
Suppose 51 = -8*m + 11*m. Is 10 a factor of m?
False
Suppose -h + 4*y = -12, -3*y + 0*y = 9. Let w(r) = r**3 - 15*r**2 + 2. Let c be w(15). Suppose s + c*s - 36 = h. Does 6 divide s?
True
Suppose 0*s - 2*l = 3*s + 17, -2*l - 31 = 5*s. Let c = s - -12. Does 3 divide c?
False
Let g(n) = -n**2 - 12*n - 21. Does 6 divide g(-9)?
True
Let c(k) = -k**3 + 2*k. Let s be c(-2). Suppose g + 2*j = -0*g - 6, -s = j. Let u(i) = i + 1. Is 3 a factor of u(g)?
True
Let f(c) = -c**2 + 17*c + 34. Is f(15) a multiple of 16?
True
Let l be (-2)/6 - 24/9. Let r(d) = 2*d**2 + d - 1. Let y be r(l). Suppose 2*v - y = 14. Is 14 a factor of v?
True
Let j(k) = 4*k**2 - 2*k + 0*k**2 + 2*k**2 - 2. Let h be j(-2). Suppose 6 = r - 3*x, x = -r - 0*x + h. Is r a multiple of 21?
True
Let m(i) = i**2 - 3*i. Let a(q) = q**3 + q + 3. Let z be a(0). Suppose -4*g - 3 = -z*g. Does 9 divide m(g)?
True
Let c = 11 - 1. Does 3 divide c?
False
Let o be ((-2)/(-4))/(1/2). Let p = o + -8. Let b(j) = -3*j + 5. Is 11 a factor of b(p)?
False
Suppose -j = 4*w - 133, 5*w + 0*w = -10. Suppose 6*l - 3*l - j = 0. Is l a multiple of 15?
False
Let l(j) be the third derivative of -j**5/60 - j**4/24 - j**3/6 + j**2. Let f be l(-3). Let n = f + 11. Is 3 a factor of n?
False
Let g(m) = -m**3 - 8*m**2 + 13*m + 14. Does 14 divide g(-10)?
True
Suppose -24 = -4*p - 2*n, -5*p = n + 4*n - 30. Suppose 0 = -2*q + 3*y + 39 - p, 3*y - 3 = -q. Does 12 divide q?
True
Let t(o) = -1. Suppose 68 = 3*l + 14. Let g(j) = -j + 13. Let i(q) = l*t(q) + 2*g(q). Does 11 divide i(-7)?
True
Is 220/12 + 1/(-3) a multiple of 9?
True
Let h(j) = -67*j**3 + j + 1. Let r(z) = -z - 3. Let b be r(-2). Is 18 a factor of h(b)?
False
Does 2 divide (-1)/(1/39*-3)?
False
Suppose -9*r + 15 = -4*r. Suppose 5*a - 51 - 65 = -2*n, -r*a = -4*n + 284. Is 17 a factor of n?
True
Suppose 4*j - 3*n = 36, -n - 22 = -2*j - j. Does 2 divide j?
True
Suppose -4*j + 36 = -4*t, -4*j + j = 5*t - 35. Suppose 8*n - j*n = -128. Is 12 a factor of n?
False
Suppose -2*t - 1 = 5. Let f = t - -8. Is f a multiple of 5?
True
Let s(l) be the first derivative of l**3/3 - l**2 - 4*l + 5. Does 11 divide s(5)?
True
Let v = -100 - -215. Is 23 a factor of v?
True
Let n = -73 + -75. Does 25 divide (-2)/(1 + 152/n)?
False
Let m(q) = -q + 2. Let o = 11 - 17. Is m(o) a multiple of 4?
True
Suppose -5*s + 18 = -7. Is 4 a factor of s?
False
Let u = -4 + 6. Suppose -m + u*g + 1 = g, 2*g = m. Suppose -10 = -m*h + 4. Does 5 divide h?
False
Suppose 0 = -7*q + 8*q - 174. Does 58 divide q?
True
Let l = 225 - 161. Is 9 a factor of l/4 + 2 + -4?
False
Suppose 8 = 2*b + 4*z, 2*z + 36 = 2*b - z. Is (b/14)/((-1)/(-7)) a multiple of 5?
False
Suppose -a + 2*a - 3 = 0. Suppose -1 = -4*m - 5, 0 = -3*j - a*m - 57. Is (-4 + 1)*120/j a multiple of 20?
True
Let k(j) = j + 482. Let c be k(0). Let n be c/4 - 4/8. Suppose 4*r - n = -5*v - 1, 0 = -5*v - 5*r + 120. Does 9 divide v?
False
Suppose 6*s = 2*s + 208. Let k(i) = i**3 + 7*i**2 - 3*i + 8. Let r be k(-7). Let q = s - r. Is q a multiple of 11?
False
Let i be (-3 - 15)/(-1 + -1). Let y(j) = -2 - 4*j - 3 + i. Is 8 a factor of y(-3)?
True
Suppose 3*z - o - 26 = 0, -4*z - 5*o = -5*z + 18. Is 8 a factor of z?
True
Let w(o) = o + 35. Let h = -9 + 9. Suppose 4*j = -h*j. Is 15 a factor of w(j)?
False
Let k be (-4)/(-8) - (-2)/(-4). Is 9 a factor of k + 14 - (2 + 0)?
False
Let x(h) = h**3 - 6*h**2 - 13*h + 11. Suppose 3*f + 0*f = -33. Let y = f + 19. Is 13 a factor of x(y)?
False
Suppose -i = 2*x + 61, 3*x - 5*i + 78 = -2*i. Let u = -14 - x. Is u a multiple of 4?
False
Suppose 2*b - 34 - 18 = 0. Suppose -3*h = -4 - b. Does 3 divide h?
False
Let i(t) = -t + 24. Is 4 a factor of i(8)?
True
Suppose -4*j = g - 0*g - 140, -j = 2*g - 28. Let m = j + -19. Does 15 divide m?
False
Suppose 0 = -2*z - 28 - 16. Let h = z - -55. Is h a multiple of 14?
False
Let f be (-78)/(-3) - (-3 + 1). Let i be -1 + 3 + 1 + 0. Suppose c + i*c = f. Is c a multiple of 3?
False
Let o(k) = -7*k - 6. Let l be o(-5). Suppose -4*v + l = -v - f, 7 = v + f. Is 3 a factor of v?
True
Is 9/((-28)/10 - -3) a multiple of 15?
True
Let d(i) = 3*i**2 + i + 10. Is d(4) a multiple of 4?
False
Let k(q) = 5 + 4*q - 2 - 4. Let x be k(4). Let p = -9 + x. Is 6 a factor of p?
True
Let i = 8 + -6. Suppose i = h - 19. Does 8 divide h?
False
Let i(n) = -n**3 - 4*n - 7. Let f be i(7). Is 14 a factor of (-10)/(-3)*f/(-45)?
True
Let w(m) = 6*m**2 + 2*m + 2. Does 5 divide w(-2)?
False
Let n = 5 - 1. Suppose 3*h = 5*h - n. Does 2 divide h?
True
Let s = 4 - 2. S