ose u = -m + 18, -4*m = -w*m + 2*u + 55. Does 5 divide m?
False
Is 5 a factor of ((-8)/3)/(2/(-12))?
False
Let t = 56 - 40. Is 10 a factor of t?
False
Suppose 0 = -2*q - 2, -432 = -5*w + 5*q + 53. Let f = -41 + w. Is 11 a factor of f?
True
Suppose n - 164 = -2*r, -3*n + 7 - 1 = 0. Is 4 a factor of r?
False
Let t(z) = -3*z + 2. Let q(p) = -p. Let x(f) = -4*q(f) - t(f). Suppose 4*d + w = 28, -3*w = w. Does 12 divide x(d)?
False
Suppose 143 + 31 = 5*x + 4*z, -2*z = 2*x - 68. Is 4 a factor of x?
False
Let y(i) = i**3 - 3*i**2 + 5*i - 7. Does 25 divide y(5)?
False
Suppose 0*g + 4*g = 8. Does 9 divide 3*(4/g - -10)?
True
Suppose q + 0 = 28. Is 28 a factor of q?
True
Let p = 42 + 92. Is p a multiple of 18?
False
Let o be ((-4)/2)/(6/48). Let p = 34 + o. Is 7 a factor of p?
False
Is (33/22)/((-3)/(-76)) a multiple of 5?
False
Suppose 0 = -4*h + 5*d + 175, 6*h + 3*d = h + 228. Is 15 a factor of h?
True
Suppose 0 = z - 5*p + 100 - 39, 134 = -4*z - 2*p. Let h(q) = 28*q + 1. Let i be h(2). Let k = z + i. Does 8 divide k?
False
Let d = 7 + -3. Suppose 0*p + p - d = 0, -3*n + 25 = p. Does 7 divide n?
True
Suppose -5*p - 5*w = -0*w - 25, 4*w - 20 = 4*p. Suppose p = -k - 5, 4*k - 20 = -2*n - 0*k. Does 10 divide n?
True
Let q(m) = m**2 + 6*m + 13. Let f be q(-4). Let p(h) = h**3 - 6*h**2 + 6*h + 5. Is 7 a factor of p(f)?
False
Let r(c) = -c**3 + 6*c**2 + 13*c - 7. Does 2 divide r(7)?
False
Suppose 2*i - 40 = -4*b - b, b + i - 5 = 0. Is 3 a factor of b?
False
Let u = 94 - 3. Is 13 a factor of u?
True
Suppose -2*y + 68 = -0*y. Suppose 2*u + k = 22, 3*u + k - y = -0*k. Let w = 24 - u. Does 6 divide w?
True
Let c(a) = -a**2 - 10*a + 1. Let i be c(-7). Let l = 61 - i. Does 10 divide l?
False
Let v(t) be the third derivative of -29*t**7/5040 + t**6/720 - t**5/30 + t**2. Let y(m) be the third derivative of v(m). Is 15 a factor of y(-1)?
True
Is (-19)/4*(-19 - 5) a multiple of 19?
True
Let o = 64 + -16. Suppose -o = -4*x + 72. Is 12 a factor of x?
False
Let h(j) = 8*j**2 + 3*j + 3. Let l be h(-1). Is 6*-1*(-12)/l a multiple of 3?
True
Let c(o) = 2*o - 1. Let z be c(4). Suppose 4*m + z = 83. Is 19 a factor of m?
True
Let j(x) = -x**2 + 5*x - 3. Let k be j(4). Let d be (4 - 1)*(k - -16). Let f = d + -25. Does 18 divide f?
False
Suppose 2*a - 23 = 5*l, 0 = -0*a + 3*a + 2*l - 6. Suppose 3*t = 6, a*g - 3*g - 29 = -t. Does 11 divide g?
False
Suppose -428 = -4*m - 4*u, -4*u + 89 = m - 15. Is 18 a factor of m?
True
Let s(o) = o**2 - 7*o + 7. Let u be s(6). Let h = 7 - u. Is h a multiple of 6?
True
Let m be (-138)/5 + (-10)/25. Let c = m + 42. Is 9 a factor of c?
False
Suppose -2*g = -5*g + 15. Suppose -28 = -3*c + g*b + 34, 3*c - 64 = 4*b. Is c a multiple of 12?
True
Suppose 49 = -8*w + 497. Is 10 a factor of w?
False
Suppose -s + 36 - 5 = 0. Does 5 divide s?
False
Let c(q) = -q**2 - 5*q - 3. Let i be c(-4). Let w(j) = 10*j**3 + j - 1. Is w(i) a multiple of 5?
True
Suppose v - 3*v = 6, 2*v - 2 = i. Let o(b) = -29*b**3 - b**2 - b + 1. Let y be o(1). Let u = i - y. Is u a multiple of 11?
True
Let z = 75 + -18. Is z a multiple of 19?
True
Let f = 127 - 67. Is f a multiple of 20?
True
Let s(q) = 3*q**2 + 8*q + 1. Let k(o) = 4*o**2 + 9*o + 1. Let r(y) = -2*k(y) + 3*s(y). Does 8 divide r(-7)?
True
Suppose 0 = 2*u + 2*u + 56. Is (-472)/u - 12/(-42) a multiple of 10?
False
Let s be (9/(-18))/(2/40). Is 7 a factor of (-4)/s*5 + 28?
False
Let f(j) = -j**3 + 21*j**2 + 30. Is f(21) a multiple of 15?
True
Let z(m) = -6*m**2 - m + 1. Let f be z(1). Let y(c) = -c + 7. Does 6 divide y(f)?
False
Suppose -34 = -4*m + 102. Is 17 a factor of m?
True
Let j be 5 - 0*(-1 - -2). Let h(i) = 3*i**2 - 2*i + 1. Let z be h(5). Suppose -j*m - 2*b + 49 = -113, 2*m + 2*b = z. Is m a multiple of 12?
False
Suppose 0 = 2*q + 5*s - 14, 0 = -q + 2*q - s - 7. Is q + -6 - (-1 - 3) a multiple of 3?
False
Let t(u) = -44*u + 7. Is 12 a factor of t(-5)?
False
Let h = -27 - -51. Let c = h - 16. Does 3 divide c?
False
Let j(h) = 4*h**2 + 46*h + 12. Is 18 a factor of j(-13)?
True
Let n(b) = 4*b + 6. Let i be n(-6). Let v = i + 50. Does 6 divide v?
False
Let d(v) = 2*v**3 - 3*v - 1. Let n be d(-2). Let f = 20 + n. Is 2 a factor of f?
False
Suppose 0 = -4*o - 0*o. Suppose k - 26 = -o*k. Is 10 a factor of k?
False
Suppose 28*v - 25*v - 99 = 0. Is 5 a factor of v?
False
Is (4 + 234/(-15))*-5 a multiple of 27?
False
Let q be 1/(1/49)*-1. Let c(m) = -2*m**2 - 11*m - 4. Let y be c(-7). Let z = y - q. Does 16 divide z?
False
Suppose -2*m + 77 = 19. Is 14 a factor of m?
False
Suppose -a - 20 = 4*a. Let z be (0 + 31/(-2))*a. Suppose -5*u + z = -88. Is 15 a factor of u?
True
Suppose -7 = p - 2. Let y(o) = o**2 + o - 6. Does 6 divide y(p)?
False
Suppose 0*k = k - 87. Does 29 divide k?
True
Let j = -11 - -10. Let n(f) = 40*f**2 - 1. Is 13 a factor of n(j)?
True
Let i be (-1)/(3/75*1). Is 9/(-18) + i/(-2) a multiple of 4?
True
Let n(w) = 12*w - 10. Let s be 66/15 + 4/(-10). Is 12 a factor of n(s)?
False
Suppose -3 = -4*c + 5*t + 24, -5*t - 6 = 3*c. Suppose 0 = -2*u + 4*d - 2*d, 0 = -c*u - 5*d + 8. Does 7 divide 26 - (u + 0 + -2)?
False
Let v(t) = -8*t - 7. Let a be v(-5). Let z = a - 25. Does 3 divide z?
False
Suppose -5*i + 1198 = 43. Suppose 0*z = 7*z - i. Is 14 a factor of z?
False
Suppose -2*d + 383 = 127. Is d a multiple of 8?
True
Suppose -2*r = 4*k - 224, -5*r = -0*r + k - 569. Suppose 0 = -4*h + 16, 6*h - 3*h - 32 = -5*b. Suppose -b*n = -n - r. Is 20 a factor of n?
False
Let v(o) = -23*o - 6. Let c be v(5). Is c/(-6) - 2/12 a multiple of 16?
False
Let a(l) = -24*l + 3. Let t be a(-8). Suppose u = 6*u - t. Is u a multiple of 13?
True
Let b(p) = 4*p**2 + 3*p - 1. Is b(1) a multiple of 2?
True
Is 39 a factor of 0 + -5 - 8*-25?
True
Let q be (-4)/(-14) + (-411)/(-7). Suppose 4*u - 3*v - q = 3*u, -5*u + 281 = -v. Suppose -4*m + 0*m = -u. Is 7 a factor of m?
True
Let b(i) = -i**3 + 7*i**2 - 7*i + 2. Let z be b(6). Let d(l) = -2 - 1 + 0*l**3 - l**3 - 2*l**2 + 5*l. Is d(z) a multiple of 6?
False
Let l(y) = 5*y**2 + 12*y - 17. Let m(u) = 2*u**2 + 4*u - 6. Let g(o) = -4*l(o) + 11*m(o). Let d be g(2). Suppose -3*n - d*n + 75 = 0. Is n a multiple of 8?
False
Suppose -16*j + 2174 = -1106. Does 23 divide j?
False
Is 30/4*(-2 + 112/40) a multiple of 6?
True
Let u(q) = -3*q + 5. Let c be u(5). Let a be (-184)/(-10) + 4/(-10). Let y = a + c. Is y a multiple of 8?
True
Let b(m) = 3 - m + 3 - 1. Let f be b(7). Let j(u) = -3*u - 1. Does 4 divide j(f)?
False
Suppose r - 3*r = -32. Does 16 divide r?
True
Suppose -d - 5*s = -53, -7*s + 357 = 5*d - 5*s. Is d a multiple of 20?
False
Let o = 46 + -22. Is o a multiple of 8?
True
Suppose -q - 2*i + 8 = i, -2*q - 3*i + 22 = 0. Does 14 divide q?
True
Suppose -4*n = s - 26, 2*s + 4*n + 0*n = 40. Does 6 divide s?
False
Suppose 4*o = -2*d - 0*d + 124, 0 = -o - 2*d + 31. Is 11 a factor of o?
False
Suppose -4*t + 17 = -79. Is t even?
True
Suppose -51 = -4*c + 125. Does 20 divide c?
False
Let v be (-25)/4 - 7/(-28). Is 12 a factor of 12/8*(-112)/v?
False
Let q = 3 - 5. Let c(l) = l**3 + l**2 + 2. Let g be c(q). Is 388/12 - g/(-6) a multiple of 18?
False
Suppose 0 = -6*t + t + 20. Suppose -6 = -t*g + 54. Let z = g + -10. Does 2 divide z?
False
Suppose 8 = 2*w - 64. Is w a multiple of 12?
True
Is 3 + (3/9)/(1/81) a multiple of 30?
True
Let l be (-1)/((-1)/5) + 2. Let d = 2 - l. Let a = d - -15. Is 10 a factor of a?
True
Suppose 4*o = -4*y - 8, 3*y = 3*o - 0 - 24. Is o a multiple of 3?
True
Does 19 divide 53/1 + (4 - 0)?
True
Let o = 72 + -35. Does 30 divide o?
False
Let o = -6 - -8. Let g(u) = 12*u**3 - 4*u**2 + 4*u - 3. Let k be g(o). Does 17 divide (-8)/10*k/(-2)?
True
Let j(v) = -v**2 + 8*v - 8. Let t be j(6). Let l = 4 - t. Suppose l = 4*p - 6*p + 30. Does 15 divide p?
True
Let w(o) = -7*o**3 + 4*o**2 + 2*o - 2. Does 25 divide w(-2)?
False
Suppose 2*b + 5*u - 25 = -0*u, 5*u - 25 = -4*b. Does 4 divide (b - -2) + 5 + 2?
False
Let i(p) = -p**3 - 3*p**2 - 2*p + 3. Suppose q = 3*q + 4. Let z = -5 - q. Is i(z) a multiple of 9?
True
Does 2 divide ((-1)/(-6)*2)/(1/6)?
True
Let k = -4 + 8. Suppose 0 = 2*w + k - 44. Is w a multiple of 8?
False
Let q = -2 + 4. Let h = -7 - -16. Suppose -q*i = -3*i + h. Does 9 divide i?
True
Suppose 0*w + 156 = 4*w. Is w a multiple of 7?
False
Is 3/1*(-22)/(-6) a multiple of 8?
False