?
False
Suppose 0 = -3*y + 5*y - 120. Is 13 a factor of y?
False
Let y(f) = f + 4. Let v(c) = -2*c - 8. Let p(u) = 2*v(u) + 5*y(u). Does 6 divide p(4)?
False
Let g be (2 - 1)/(2/18). Let o(c) = 4*c + 28. Let d be o(-3). Let k = d - g. Does 4 divide k?
False
Let k be (0/(-1) + 2)*-2. Let v = k - -5. Is ((-18)/(-3))/(v/2) a multiple of 12?
True
Let v = -40 - -60. Is 8 a factor of v?
False
Let q(t) be the second derivative of 0 + 1/20*t**5 - 3*t + 1/3*t**3 + 5/2*t**2 + 1/2*t**4. Does 13 divide q(-4)?
False
Let j = 1 - 1. Suppose 3*f + 2*f + 5*n = 25, j = 4*f - 3*n + 15. Suppose 5*p = -f + 100. Is 7 a factor of p?
False
Let w be (-4)/10 + 17/5. Suppose -y = -h - 33, -4*y - w*h = 2*h - 123. Suppose -3*s - 8 + y = 0. Is 8 a factor of s?
True
Suppose 4*z - 15 = -z. Suppose -5*p - 5*x = -z*x - 23, 0 = -4*p + 2*x + 4. Is 0/p + 8 + 2 a multiple of 10?
True
Let u(l) = 4*l**2 + l + 1. Let x be u(3). Let z = 57 - x. Is 12 a factor of z?
False
Let f = -11 + 30. Does 19 divide f?
True
Suppose 4*f + 34 = 5*u, 4*u - 5*u = 3*f - 22. Let g = 13 - u. Is g even?
False
Let r = 10 - 5. Suppose r = 5*q - 50. Is q a multiple of 11?
True
Let z(h) = h**3 - 3*h**2 - 6*h + 2. Let x be z(5). Let p = x - 13. Is 4 a factor of p?
False
Let t(y) be the first derivative of -y**4/4 + 2*y**3 + 7*y**2/2 - 2. Let a be t(7). Suppose -4*x + 2*x + 22 = a. Does 11 divide x?
True
Let f(a) = -51*a - 4. Is f(-2) a multiple of 17?
False
Does 40 divide (-8)/(-32) - 159/(-4)?
True
Suppose -8 = -2*f, j + 0*j - f - 23 = 0. Suppose -2*c - 33 = -131. Let o = c - j. Is 11 a factor of o?
True
Let k be -7 - -3 - -3*3. Suppose 0*h = -u - 2*h + 23, -4*h = k*u - 109. Does 6 divide u?
False
Suppose -3*m + 2*m + 81 = 0. Is 27 a factor of m?
True
Suppose -3*y - 42 = -0*y. Let u be 1/(-2) - y/4. Suppose -5*j + 28 - u = 0. Is 5 a factor of j?
True
Suppose -5*d = -5*i + 130, -d - 47 = d + 3*i. Is 12 a factor of ((-6)/(-3))/(-2) - d?
True
Let a = 82 - 31. Does 8 divide 1207/a + (-1)/(-3)?
True
Suppose 6*p - 10*p = -124. Suppose -4*f = 4*c - c - 111, -f = 4*c - p. Is f a multiple of 10?
False
Let o = -1 + 11. Suppose 4*q - o = 2, 4*w - 5*q - 177 = 0. Does 17 divide w?
False
Let u = -84 + 44. Does 13 divide -1*(u - -3) - -2?
True
Let f be 3/(6/(-4)*-1). Let l(s) = -4 + s - s + 2*s**f - 3*s. Does 16 divide l(4)?
True
Let r be (-2 + 9/6)*4. Let w be 20*((-3)/r)/3. Suppose 0 = -2*d + w, -t - 2*t + 2*d = -50. Is 10 a factor of t?
True
Let u be 3/1*(-8)/(-12). Suppose u*h + 4*f = -0*h + 32, 0 = -h + 4*f + 46. Is h a multiple of 7?
False
Suppose i + 13 = -x, -i + 57 = -5*i + x. Let t = i - -22. Is t a multiple of 8?
True
Let u(w) = 3*w + 1. Let b be u(-1). Let z = 3 - b. Suppose -3*g = -z*g + 22. Does 7 divide g?
False
Suppose 9 - 139 = 5*r. Suppose 0*x + x + 6 = 0. Let y = x - r. Is y a multiple of 10?
True
Suppose 3*j - j - 10 = 0. Suppose j*f - 80 = -5*o, 2*f - 15 = -o + 16. Suppose f = 3*y - 6. Is 3 a factor of y?
False
Let u = -2 + 19. Does 17 divide u?
True
Let x = -194 - -217. Does 5 divide x?
False
Let z(h) = -8*h**3 - 2*h**2 - h + 2. Let y be z(-2). Let g = -31 + y. Suppose 4*a = 47 + g. Is a a multiple of 7?
False
Suppose 43 = 5*l - 87. Let k = -40 - -84. Let w = k - l. Is 9 a factor of w?
True
Let y(p) = p**3 + 12*p**2 - 2*p - 2. Is 15 a factor of y(-12)?
False
Is 17 a factor of -1*5 - (-19 - 20)?
True
Suppose -21*d - 3247 + 10387 = 0. Does 17 divide d?
True
Suppose -2*o - 3*l = -2*l + 154, 2*l + 231 = -3*o. Let r = -51 - o. Does 11 divide r?
False
Let h(o) = o**2 + 2*o + 13. Is 8 a factor of h(5)?
True
Suppose -5*f - 42 = -o, -2*o - 4*f + 8 = -34. Is 14 a factor of o?
False
Suppose 5*l + 5*w = 100, -2*w = 3*l - 39 - 26. Let u(p) = 56*p**2. Let n be u(1). Let k = n - l. Is k a multiple of 20?
False
Let o = 7 + -4. Suppose -170 = -o*g - 2*t, -5*t - 203 = -3*g - 19. Suppose 0 = -4*l + 3*j + g, 4*j - 12 - 32 = -4*l. Is l a multiple of 13?
True
Let r(p) = p**2 - 8*p + 5. Let n be r(7). Let v be ((-3)/n)/(3/10). Suppose v*x + a = 2*a + 134, 3*a = 3*x - 90. Is 13 a factor of x?
True
Is 14 a factor of 2/9 + (-358)/(-9)?
False
Let i(b) = 0*b + b + 2 + 23 - 3. Let s be 2/(-5) + 58/(-5). Is i(s) a multiple of 9?
False
Suppose 0 = -4*u + 1 + 15. Suppose 3*g = 35 + 25. Suppose -u*c + g = -2*c. Does 5 divide c?
True
Suppose 0 = -4*g + 3*g + 4. Suppose -3*z + 8*j - 3*j + 87 = 0, 116 = g*z + 4*j. Is z a multiple of 12?
False
Suppose 2*o + 9 + 43 = 0. Let n = o - -57. Does 19 divide -1 + (n - (0 + 1))?
False
Let g = 9 + -4. Suppose 2*z + 3 = g, 0 = 3*k + 3*z - 147. Is 12 a factor of k?
True
Let h(d) = -d**2 + 4. Let k be h(0). Suppose -f + 6*f = -k*i - 25, -2*f - 7 = i. Does 3 divide 4 + f*2 + 1?
True
Let m = 48 + -37. Does 6 divide m?
False
Suppose 302 = 4*v + 2*a, 3*a = v - 2*a - 70. Is v a multiple of 15?
True
Let x = 71 + -29. Is x a multiple of 7?
True
Let p = 64 + -38. Does 26 divide p?
True
Let v(n) be the third derivative of n**6/120 + n**5/20 - 5*n**4/24 + n**3/2 - 3*n**2. Is v(-4) a multiple of 3?
False
Suppose 2 = 5*c - 8. Suppose -c*t + 10 = 3*t. Suppose -5*h - 5*w + 49 = -61, 29 = t*h + 5*w. Is 19 a factor of h?
False
Suppose -5 = -k + 4*r - r, -15 = -5*k + 5*r. Is 13 a factor of -1 + (17*k - 0)?
False
Let h(d) = -14*d - 6. Is h(-3) a multiple of 36?
True
Let c = 9 - 2. Let k(s) = -s + 10. Let q be k(c). Suppose 0 = -q*t + 55 - 13. Is 7 a factor of t?
True
Suppose -8*m + 668 = -1012. Is 5 a factor of m?
True
Suppose i + g + 57 = -3*i, 5 = -g. Let f = 56 + i. Suppose 0 = 3*x - 169 + f. Is x a multiple of 14?
True
Let f = 90 + -62. Is f a multiple of 14?
True
Suppose 5*i + 56 - 11 = 4*c, 4*i - 46 = -5*c. Is c a multiple of 10?
True
Let j = 0 + 0. Let t(o) = -o**2 - 3*o + 12. Let a(v) = 2*v**2 + 7*v - 23. Let u(w) = 4*a(w) + 9*t(w). Does 8 divide u(j)?
True
Let i = -4 + 6. Let q(l) = -l**3 - 12*l**2 - 12*l - 10. Let r be q(-11). Is (2*17/i)/r a multiple of 6?
False
Suppose -6 = -5*q + 4. Suppose q*f = v + 4*v + 25, -5*f + 5*v = -40. Does 3 divide f?
False
Suppose -4*a - 31 + 159 = 0. Is 16 a factor of a?
True
Let t(n) = -n + 9. Let q be t(4). Suppose 3*v = q + 4. Does 6 divide ((-14)/(-3))/(2/v)?
False
Let t(z) = 15*z + 19. Is 37 a factor of t(16)?
True
Let l be (-3 - (0 - 2))*9. Is l/(-4)*(3 - -17) a multiple of 17?
False
Suppose -5*r - 2*k - 3 = -18, -3*k = -r + 20. Suppose 0 = -3*f - r*d - 260, -f = 3*f + 2*d + 370. Let h = f - -135. Is h a multiple of 23?
False
Let t be (123/9)/((-2)/(-6)). Let h = t - 25. Is h a multiple of 16?
True
Let y(k) = -k**3 + 13*k**2 - 9*k + 13. Let q(z) = z**2 + z - 1. Let i(c) = -q(c) + y(c). Suppose -b + 8 = -3. Does 16 divide i(b)?
False
Suppose 2*o - 38 - 538 = -5*n, o + 225 = 2*n. Is n a multiple of 18?
False
Does 9 divide (77 - 1) + (3 - (-16)/(-4))?
False
Let w(t) = -t**2 - 13*t + 10. Is w(-6) a multiple of 26?
True
Suppose 3*l + 48 = 4*l. Is 12 a factor of l?
True
Suppose -5*t + 30 + 24 = 4*z, -3*z = 5*t - 38. Suppose 3*i + i = z. Suppose 2*r - 5*f - 7 = -0, 39 = i*r - 5*f. Is r a multiple of 10?
False
Suppose 2 = u - 1. Let j(w) be the third derivative of -w**6/120 + w**5/12 - w**4/8 + 2*w**3/3 + w**2. Does 13 divide j(u)?
True
Let s(h) = -h**3 + 14*h**2 + h + 7. Let w = -29 + 43. Is 13 a factor of s(w)?
False
Let a = -4 + 7. Suppose 0 = -5*m + 15 + 25. Suppose m*f - 115 = a*f. Is f a multiple of 6?
False
Let o(x) = -4*x. Let a(y) = -y**2 + 10*y + 5. Let d be a(11). Is 13 a factor of o(d)?
False
Let n be (-59)/(-2)*1*2. Suppose 5*o + 0*w + 4*w = 70, 3*o = w + n. Does 12 divide -2*o/(-3) - -2?
False
Let c(h) = -h**2 - 3*h + 2. Let z be c(-3). Let j be 1 + (0 - -16) - z. Suppose -d + j = 4*d. Is d a multiple of 3?
True
Suppose -3*q - 5*u = -0 - 2, 0 = 5*q + 4*u - 12. Let b(y) = 3 - 4*y + 4*y**2 - 3*y**2 - q. Is 3 a factor of b(5)?
False
Is (80/(-14))/(8/(-28)) even?
True
Let u = 21 + -14. Is u/(-3)*(2 - 23) a multiple of 11?
False
Suppose -3*i + 4*x = -104, 2 = -2*x - 8. Is 7 a factor of i?
True
Is 22 a factor of 20/(-90) - (-1658)/9?
False
Let z(o) = 21*o - 28. Is 14 a factor of z(12)?
True
Let g(s) = 2*s**2 - 2*s. Let c be g(2). Let a = c - -8. Is 6 a factor of a?
True
Let q = -4 + 4. Suppose 3*m - 7*m + 132 = q. Is m a multiple of 11?
True
Suppose -46 = 2*p - 3*p + 2*c, 4*c = -4*p + 160. Is 21 a factor of p?
True
Suppose -3*w = 23 - 65. Does 8 divide w?
False
Let v