e 0 = -2*d - 2*d + 4*t + 12, 0 = -3*d + t + 17. Is 16 a factor of k(d)?
False
Let t(x) = x**2 - 4*x + 8. Is t(6) a multiple of 8?
False
Suppose b = -4, -p - 2*b = 3*b - 26. Is p a multiple of 10?
False
Let l(p) = p**3 - 3*p**2 + p - 7. Let o be l(3). Is (154/o)/((-4)/8) a multiple of 25?
False
Suppose -8*h + 128 = -0*h. Suppose 5*r + 32 = r. Let b = r + h. Is 6 a factor of b?
False
Let y(o) = -o - 2. Let j be y(-9). Let p(v) = -7*v + 3. Let k be p(2). Let a = j - k. Is a a multiple of 9?
True
Suppose -28 = -3*s + 7*s. Let i(m) = -5 - m + 5 + 2. Is 5 a factor of i(s)?
False
Let f(t) = 170*t. Let v be f(3). Does 11 divide (2/(-6))/((-5)/v)?
False
Let o = -28 + 80. Does 13 divide o?
True
Suppose -4*d + 4 = 0, -x - 3*d + 0*d = -8. Is -1*33*(x - 6) a multiple of 29?
False
Let s = -18 + 23. Does 3 divide s?
False
Let m(a) = -a. Let q be m(-8). Let x = 24 - q. Does 8 divide x?
True
Suppose 30 = -3*t + 5*w, -3*w + 2*w = -4*t - 40. Is 20 a factor of (8/t)/((-10)/800)?
False
Suppose 3*m + q + 29 = 10, 0 = 4*m - 5*q + 19. Does 14 divide (-4)/m + (-360)/(-27)?
True
Let h(t) = -t**2 - 12*t - 9. Let z be h(-11). Suppose -3*v + 0*v = z*a - 111, -v = -1. Does 18 divide a?
True
Let j(d) = -3*d + 0 + d + 2*d**2 + 0. Let r be j(2). Is 5 a factor of r*21/6*1?
False
Is 3 a factor of ((-304)/12)/((-4)/12)?
False
Let n = -2 + -2. Let q = 31 - n. Does 12 divide q?
False
Let l = -917 - -1537. Is 6 a factor of (-14)/(-91) - l/(-26)?
True
Is (-32)/112 - (-2690)/7 a multiple of 48?
True
Suppose 6 = -2*t, 2*t + 11 + 1 = 3*v. Suppose v*s = 4*s - 24. Is 9 a factor of s?
False
Suppose -4*g - 3 = -7. Suppose -3*n + 8 = -g. Suppose n*d - 200 = -2*d. Is d a multiple of 20?
True
Let u = 241 + -121. Suppose -4*z = -7*z + u. Does 20 divide z?
True
Suppose 5*y - 23 = 27. Let k = y + -3. Is 4 a factor of k?
False
Let i = 4 + -2. Suppose -30 = -i*v - 5*p, 20 + 4 = 4*v + p. Suppose -4 - 176 = -v*r. Is r a multiple of 18?
True
Let w(y) = 26*y - 6. Does 22 divide w(7)?
True
Does 14 divide (6 - 0)/(102/(-52) + 2)?
False
Let s be 405/(-7) - (-2)/(-14). Let l = s - -140. Does 30 divide l?
False
Suppose 2*s - s = 5*z + 16, 0 = 4*z + 8. Does 3 divide s?
True
Suppose -3*z - 227 = -2*b - 4*z, 2*z = 4*b - 442. Does 14 divide b?
True
Let v(i) = i**2 - 5*i - 11. Let p be 10 - ((-2)/(-2))/1. Is 17 a factor of v(p)?
False
Let z = 58 + 2. Let c be (-2040)/(-78) + (-2)/13. Let n = z - c. Does 14 divide n?
False
Let n(b) = b**3 - 11*b**2 + b - 15. Let f be n(11). Let w(c) = -c**3 - c**2 + 6*c + 6. Does 10 divide w(f)?
True
Suppose -2*v - 2*g = -0*v - 54, v = 2*g + 30. Is 7 a factor of v?
True
Let x(p) = 3*p**3 - 2*p. Suppose -6*q - 20 = -2*q. Let t(l) = -l**2 - 6*l - 3. Let v be t(q). Is x(v) a multiple of 8?
False
Is 24 a factor of 6/(-4) - (-255)/6?
False
Let w(u) = -u + 2. Suppose 2*x = 2*f - 10, 3*f = 2*f + 3*x + 13. Let z(l) = -l + 1. Let r(q) = f*w(q) - 4*z(q). Does 8 divide r(6)?
True
Suppose -3*z + 5*h = -78, 26 = -z + 2*z - 2*h. Does 4 divide z?
False
Suppose y + 4 = 5*n - 10, -2*n - 2*y - 4 = 0. Let w be 3/(-2) - 141/(-6). Suppose -n*k - 2 = -w. Is 10 a factor of k?
True
Let u(b) = -3*b**2 + 12*b - 4. Let q(a) = -7*a**2 + 25*a - 8. Let x(c) = 4*q(c) - 9*u(c). Let f(t) be the first derivative of x(t). Is f(-8) a multiple of 8?
True
Let c be (3/9)/((-2)/(-30)). Suppose 2*u - 17 = f + 57, 0 = -c*u. Is 12 a factor of (-2 + f)*1/(-2)?
False
Does 13 divide (3/(-3))/((-2)/92)?
False
Suppose 5 - 15 = -5*m. Let y be 1/2 - (-150)/4. Does 9 divide (2 - 1)/(m/y)?
False
Let h(f) = -f**3 + 5*f**2 + 8*f - 7. Let g be h(6). Let x = -26 - -29. Suppose 0 = x*z - g*z + 44. Is z a multiple of 11?
True
Suppose -2*m = -u - 47, 0 = 3*m + 4*u - 51 + 8. Does 21 divide m?
True
Suppose 3*d + 2*d = 145. Is d a multiple of 13?
False
Suppose -23 = -a - 8*g + 3*g, 0 = -5*g. Let t = -13 + a. Suppose -2*f = -t, -3*f + 99 = -4*i + 240. Does 11 divide i?
False
Suppose l = -3*j + 175, 5*j - 2*j - 4*l = 170. Is 26 a factor of j?
False
Let n = -5 + 7. Suppose 7*w = n*w. Let x(k) = -k**3 + k**2 + k + 26. Is x(w) a multiple of 14?
False
Suppose j = 5*j - 192. Is 16 a factor of j?
True
Suppose 2*q - m - 227 = 0, -3*m = 3*q - 5*q + 233. Does 14 divide q?
True
Suppose 2*f - 4 = -0*f. Suppose 2*a - 9 = -h, 4*a - h - f*h = 3. Suppose 0 = 3*s - a, 2*x + 5*s - 50 + 3 = 0. Is x a multiple of 11?
False
Let z = 0 + 3. Suppose -5*w + 4*w = -4. Suppose 98 = w*o + 2*g, z*o - 110 = -5*g - 26. Is o a multiple of 15?
False
Let p be 2/(-1) - (6 + -5). Does 16 divide (-4 + -1 - p) + 34?
True
Suppose 11 = m - 14. Does 25 divide m?
True
Let x(l) = 19*l**2 - 5*l + 14. Does 10 divide x(2)?
True
Let m(i) = i**2 + 3*i + 4. Let d(a) = 2*a**2 - 8*a + 9. Let k(q) = -3*q**2 + 15*q - 18. Let h(n) = -5*d(n) - 3*k(n). Let l be h(-7). Does 9 divide m(l)?
False
Suppose -2*w - 2*s - 12 = -5*s, 0 = 5*w - s + 30. Is 10 a factor of (6 + -36)*2/w?
True
Let j(m) = -m + 1. Let t be j(-9). Let o = t + 2. Let z = o + 27. Is z a multiple of 13?
True
Let m(f) = f**2 + 5*f + 15. Let p be m(-10). Suppose 2*h - 2*q = 3*h - 13, 0 = 5*h - 5*q - p. Is h a multiple of 12?
False
Let v = 442 + -290. Is 38 a factor of v?
True
Let m(k) = -k**3 - 13*k**2 - 16*k - 8. Let z be m(-12). Suppose 3*b - z = -b. Is b a multiple of 9?
False
Suppose -27 = -z - 2. Does 25 divide z?
True
Let d(o) = -26*o - 1. Is d(-1) a multiple of 10?
False
Let b = 18 - -142. Suppose 4*p - b = -16. Suppose -2*i - 2*i = -p. Does 9 divide i?
True
Suppose 0 = r - 3*r + 178. Let k = r + -50. Is 13 a factor of k?
True
Suppose -211 = -3*z - 4*j, -3*z + 92 + 107 = j. Does 16 divide z?
False
Suppose 3*b + 2 = -3*u - 1, 0 = 3*u + 9. Suppose 3*o + 5*i - 9 = -0, -2*o + 3*i = -6. Suppose -d + 3 = v - 9, -o*v + 36 = -b*d. Does 12 divide v?
True
Let n = 6 + -1. Suppose 0 = n*f - 5, 4*f + 128 = 5*w + 12. Is w a multiple of 10?
False
Let d(u) = 26*u**2 + u. Let s be d(-1). Let c = s + -17. Is ((-28)/c)/((-2)/4) a multiple of 7?
True
Suppose g + 5 - 4 = 0. Is 16 a factor of (33 - 0/(-4)) + g?
True
Let w(i) = 2*i**2 - 6*i - 9. Let l(c) = c**2 + c - 1. Let v(f) = -3*l(f) + w(f). Is 8 a factor of v(-7)?
True
Let a(l) = 3*l - 1. Let v be a(1). Let q be (v/4)/((-1)/(-2)). Does 14 divide 9/((3/8)/q)?
False
Is 8 a factor of (2 - (-11 - 0)) + -4?
False
Let s(j) = j**2 + 5*j - 6. Let l be s(-12). Let h = l - 52. Does 13 divide h?
True
Suppose -4*d - n + 22 = n, -5*d + 4*n = -8. Let b(i) = 4*i**2 - 4*i + 4. Let w be b(d). Suppose -3*f + f = -w. Does 13 divide f?
True
Let y(j) = 2*j**2 + 3*j. Suppose 4*c = -7 - 1. Let d be y(c). Suppose z = d*s + 3*z - 78, s - 30 = 2*z. Is s a multiple of 12?
True
Let m be ((-3)/9)/(1/3). Let r(u) = -37*u + 1. Is 19 a factor of r(m)?
True
Let j = -92 - -164. Is 24 a factor of j?
True
Does 3 divide (36/14)/(965/(-140) - -7)?
True
Suppose 2*n = -2*n + 16. Suppose -n*d + 21 = 5*j + 84, -d - 4*j - 13 = 0. Let w = d - -32. Is 9 a factor of w?
False
Let k(v) = -13*v. Let f be k(-1). Let u(q) = q**3 + 5*q**2 + 6. Let c be u(-5). Does 17 divide f + 1 - c/(-2)?
True
Let a(y) = y**2 - 5*y - 6. Let q be a(6). Suppose 4*v + 3 - 47 = q. Is v a multiple of 7?
False
Let w = 0 - -2. Suppose -w*b + 0*b = -12. Is b a multiple of 6?
True
Suppose 0 = n - u - 8, n + u - 22 = -n. Does 7 divide n?
False
Suppose 3*f + 4*d - 46 - 79 = 0, 5*d + 20 = 0. Is f a multiple of 33?
False
Let r = 5 - 0. Suppose -r*i - 216 = -4*p, 2*p + 4*i + 43 = 3*p. Is 24 a factor of p?
False
Let x(f) be the second derivative of f**4/6 + f**3/2 + 5*f**2/2 - 3*f. Let y be x(4). Let d = -32 + y. Is 7 a factor of d?
False
Suppose -5*c - k = -4, -2 = -5*c - 3*k - 0*k. Let g(n) = -n**3 - 5*n**2 - 4*n + 1. Let z be g(-4). Let p = c + z. Does 2 divide p?
True
Suppose 2*b + 13 + 151 = 0. Let x = -58 - b. Is 6 a factor of x?
True
Let a be 4*-1*(-12)/16. Suppose 5*t - 217 = a. Suppose -5 = -2*o - 2*d + 7, t = 5*o - 2*d. Is o a multiple of 7?
False
Let b(n) = n**3 - n + 1. Let o(y) = 37*y**3 + y**2 + 3*y - 3. Let l(r) = 2*b(r) + o(r). Let d be l(1). Suppose 0*m - d = -2*m. Is 10 a factor of m?
True
Let g = 3 - 2. Let y(j) = 35*j - 1. Let n be y(g). Does 3 divide n/4 - (-3)/(-6)?
False
Suppose 0 = 4*c + 3*x - 29 + 8, 0 = -3*c + 3*x. Let d = c + -17. Let k = 29 + d. Is 8 a factor of k?
False
Is 20/(-4)*(-3 + 0) a multiple of 5?
True
Does 19 divide 48*(-2 - (-12)/