 3 + 1/1. Is f(w) a multiple of 13?
True
Suppose -a + 0 = -7. Let o(f) = -4*f**2 + a - 20*f + 3*f**2 + 11*f. Is 2 a factor of o(-9)?
False
Let a be (2/2)/((-4)/(-16)). Suppose 10*y + 744 = a*y. Does 8 divide ((-15)/(-4) - 4)*y?
False
Suppose 5*q = 3*h + 4597, 4*q + 5*h - 9*h = 3676. Does 28 divide q?
False
Let b(j) = j**3 + 7*j**2 + 2*j + 5. Let f be b(-7). Let c = -13 - f. Does 8 divide (7 - -1)/c + 18?
True
Suppose 4*n = -5*x + 2890, 5*x - 2*n + n - 2865 = 0. Is 59 a factor of x?
False
Suppose -6*r - 1176 = -0*r. Let b = -136 - r. Is b a multiple of 12?
True
Suppose -3*r + 3*y + 297 = 0, 2*r + r - 298 = 4*y. Suppose 3*l + m - r = 0, -4*m - 103 = -7*l + 4*l. Does 11 divide l?
True
Suppose -5*x + 3*x + 4 = 0. Suppose -3*b = 2*b - q - 574, 3*b + x*q = 334. Does 19 divide b?
True
Let c(m) be the third derivative of 15*m**4/8 - m**3/6 - 10*m**2. Is 21 a factor of c(3)?
False
Let l(a) = -107*a + 5. Let k be l(-3). Suppose k = 2*y + 126. Is y a multiple of 20?
True
Let o(x) = 3*x**2 - 5*x + 4. Let k be 6*4/(-6)*-1. Let n be o(k). Suppose -5*q + n + 298 = 0. Does 17 divide q?
False
Suppose -4*h + 4*o = -40, 5*h + 3*o - 3 - 7 = 0. Suppose h*x - 400 = 720. Does 32 divide x?
True
Let o(f) = f**3 + f**2 - 3*f + 3. Let i = -7 - -9. Let s be o(i). Suppose -8*g + s*g = 34. Is g a multiple of 16?
False
Let o = 49 + -54. Is 3 a factor of (-72)/o - ((-22)/(-5) + -5)?
True
Let i(c) = -c**2 - 9*c + 25. Let g be i(-11). Suppose 4*h + 3*a - 1044 = 0, -5*a + 1052 = h + g*h. Is h a multiple of 32?
False
Let g(v) = -v**3 + 6*v**2 - 6*v + 10. Let w be g(5). Suppose -4*m + 292 = 4*o - 96, 0 = -w*o - 3*m + 477. Does 17 divide o?
False
Let q be ((-18)/(-8))/(1/4). Suppose -3*u - 5*r - q = -31, 25 = -5*u + 4*r. Is 4 a factor of ((-8)/12)/(u/18)?
True
Suppose 2*h + 482 = 3*n, 3*n - 1192 = 5*h + 2*n. Let k = 3 + -5. Is h/56*(k + -6) a multiple of 23?
False
Let t(j) = -j**2 - j + 12. Let l be t(0). Let s(b) = b + 4. Let w be s(l). Suppose 0 = -2*z + h + 11, 5*z - 10 = 2*h + w. Does 3 divide z?
False
Let y(p) = -8*p + 106. Let w be y(0). Let a = w + -69. Is a a multiple of 4?
False
Let f be -7 - -10 - (-1 - -1). Suppose -f*p - 4*m + 857 = 0, -3*p = 2*m - 7*m - 893. Suppose -p = -5*v + 59. Is 13 a factor of v?
False
Suppose 0 = -3*v + 13 + 32. Let m = v + -29. Let k = -11 - m. Is k a multiple of 2?
False
Let o(r) = r + 4. Let n be o(-4). Suppose 22 + 4 = 4*v - 3*i, 3*v + 3*i - 9 = n. Suppose v*x = -29 + 119. Is x a multiple of 6?
True
Let f = 739 + -410. Is f a multiple of 13?
False
Let f = -169 + 337. Is 7 a factor of f?
True
Let k(a) = 69*a - 249. Does 15 divide k(7)?
False
Let k = -1944 + 3294. Is k a multiple of 14?
False
Let k = -446 + 525. Is k even?
False
Suppose -125*f = -127*f + 852. Is 18 a factor of f?
False
Let s(n) = n**3 + 2*n - 1. Let c be s(1). Suppose -5*i + 3*i = -4*q + 20, -4*i + c*q = 16. Is 935/45 + i/(-9) a multiple of 15?
False
Suppose 0 = -447*v + 451*v - 364. Is v a multiple of 2?
False
Let x(z) = -z**3 - 6*z**2 - 5*z - 5. Let a be x(-5). Let d(u) = -u + 1. Let c(n) = -9*n + 6. Let h(i) = a*d(i) + c(i). Does 9 divide h(-2)?
True
Suppose 2*n + 2 = 5*d + 12, -5*n - 3*d = -25. Suppose -1 - 73 = n*i - 3*l, -3*i = -l + 42. Is 13 a factor of (3 + i/5)*65?
True
Let d = -563 - -2039. Is 6 a factor of d?
True
Suppose -136 = -4*z - 4*c, -114 + 32 = -3*z + 2*c. Suppose -4*j - z - 30 = 3*t, -5*t + 40 = -5*j. Is 2 a factor of 2/j + (-279)/(-54)?
False
Let u(p) = -p**3 + 8*p**2 - 5*p - 12. Let t be u(7). Suppose -77 = -t*f + 63. Is 35 a factor of f?
True
Let l(d) = 10 + 11 - 4*d - d - 5. Is l(-8) a multiple of 14?
True
Let l = 212 - 64. Is l a multiple of 11?
False
Let p be -4 + 35/5 - 83. Is -3 + (-3)/((-238)/p + -3) a multiple of 39?
True
Let j(z) = z**2 + 7*z + 5. Let i(b) = b - 15. Let o(y) = -6*y + 74. Let c(s) = 11*i(s) + 2*o(s). Let p be c(-8). Is 7 a factor of j(p)?
False
Let l = -363 + 448. Is l even?
False
Let s be (-15)/2*(-28)/35. Let m = 5 + s. Let f = m - 4. Is f a multiple of 7?
True
Let t(d) = 2*d**2 - 6*d - 9. Let u be t(4). Does 4 divide ((-375)/(-6) + u)*8/12?
False
Suppose 0 = -1368*b + 1349*b + 26657. Does 23 divide b?
True
Let w = -644 - -1833. Is 28 a factor of w?
False
Suppose -2*c = 5*w - 577, 4*c - 5*w = -w + 1084. Is c a multiple of 23?
True
Let d(r) = 23*r**2 + r - 4. Let k(y) = -y**3 - 4*y**2 - 3*y + 2. Let q be k(-3). Is d(q) a multiple of 30?
True
Suppose 11*a - 7*a + 316 = 0. Let h = -74 - a. Does 5 divide h?
True
Let r be (4/24*3)/(1/8). Suppose -4*u + 606 = x, r*u + 2*x = -0*u + 604. Is 45 a factor of u?
False
Let d = 4 + 46. Is d a multiple of 3?
False
Let j be (7 - 10)*-1*1. Suppose -2*u = c - 5*c - 28, -j*c = u + 11. Does 10 divide (c - -3)/(2/(-10))?
True
Suppose 4*c + 32 = 12, 5*n + c = 15725. Does 19 divide n?
False
Let c(u) = -5*u + 116. Let r be c(0). Suppose 3*d = 5*d - r. Is d a multiple of 8?
False
Suppose -3*u - 2*u = 20. Let y be 3*(21 + u - -3). Let o = y + 34. Does 27 divide o?
False
Let z(j) = -j**3 + 13*j**2 + 12*j - 17. Let x be z(14). Let f = x - -15. Let h = 44 + f. Is 8 a factor of h?
False
Let h be ((-35)/(-5) + -21)/(2/(-3)). Let r(y) = 9*y - 33. Is 12 a factor of r(h)?
True
Let i be 395*(18/(-5) + 4). Is 5 - 4 - (1 - 2 - i) a multiple of 10?
True
Suppose -904 = -4*f - j, 0 = f - 2*f - 3*j + 237. Suppose 2*a - f = -7*a. Is 9 a factor of a?
False
Suppose -4*f + 0*f + q + 12 = 0, -5*f + q + 16 = 0. Let u = 56 - 55. Is (f - (u + -2))/1 a multiple of 3?
False
Suppose 1097 + 863 = 10*v. Does 32 divide v?
False
Does 28 divide 3/(((-100)/768)/(-25))?
False
Suppose -l + 7 + 60 = 0. Suppose l = 8*w - 117. Does 4 divide w?
False
Let n(j) = 3*j**2 + 5*j - 68. Is n(-11) a multiple of 7?
False
Let c(z) = -z**3 + 13*z**2 + 30*z - 28. Is 14 a factor of c(14)?
True
Let p be -33*1 - 8/(-8). Is (76/(-16))/(4/p) a multiple of 13?
False
Suppose 0 = -331*z + 345*z - 5880. Is 3 a factor of z?
True
Let h(n) = 2020*n**3 - 4*n + 5. Is h(1) a multiple of 38?
False
Let a = -88 - -71. Let v = a + 54. Does 17 divide v?
False
Suppose -35*h + 44*h = 2952. Does 11 divide h?
False
Let n(x) = 2*x + 2. Let q be n(-2). Let b be q/8 - 41/(-4). Let f = -3 + b. Is 4 a factor of f?
False
Let s(q) = -2*q + 18 - 6 + 159*q**2 - 157*q**2 - 6*q. Does 18 divide s(6)?
True
Let f(d) = d + 5. Let z be f(-1). Suppose 0 = -3*u - 9, 104 = 3*x - z*u - 43. Is 15 a factor of x?
True
Is (-3746)/(-4) - 14/(-392)*-14 a multiple of 39?
True
Let u(i) = -3*i - 13. Let s(m) be the third derivative of m**4/12 - m**3/6 + 4*m**2. Let q be s(-4). Is u(q) a multiple of 14?
True
Let m = 3 - 0. Suppose -4*d + 628 = -2*w + w, -m*d - w = -464. Does 16 divide d?
False
Suppose -4*k + 3*x = -2*k + 8, -4*k = -2*x. Suppose k*f = -0*f - 3*h + 141, -3*f = -2*h - 205. Is 23 a factor of f?
True
Suppose 0 = g + 3 - 4. Suppose -5*b + k = 5*k + 4, b + k + g = 0. Suppose 5*a + b*a - 50 = 0. Is 3 a factor of a?
False
Let i(p) = -p**2 + 23*p - 38. Let f be i(21). Suppose -4*s = -3*b - 24 - 6, -2*s - f*b + 4 = 0. Is 6 a factor of s?
True
Let s be (0 - 3) + (4 - -8). Suppose -5*m + s = -4*m. Does 3 divide m?
True
Let k be 3/1 - (-1111)/11. Let i = k + 103. Does 9 divide i?
True
Suppose 1378 = -f + 1631. Does 26 divide f?
False
Let m(h) = -h**3 + 2*h**2 + 6*h - 6. Let w be m(5). Let a be 1*3*(-425)/w. Suppose -15 = -x + a. Is x a multiple of 20?
True
Let b = -839 + 1124. Does 19 divide b?
True
Let p = 3838 + -1382. Is p a multiple of 8?
True
Suppose 0 = -2*n + 3*v - 127, 4*n + 122 = 2*n - 2*v. Let y = 148 + n. Let f = y - 52. Does 17 divide f?
True
Is (-1 - 10/(-6))/((-42)/(-27342)) a multiple of 10?
False
Suppose -d - 2*z = -171, -d = -0*d - 5*z - 171. Does 13 divide d?
False
Suppose 5*u + 3*t = 336 + 2463, -2*u + 4*t = -1104. Is u a multiple of 52?
False
Let g(p) = -5*p. Suppose 32 = -4*j + 6*u - u, -2*u - 4 = 4*j. Let v be 1*(-2 + j) + 3. Is g(v) even?
True
Is (30/7)/(153/2856) a multiple of 4?
True
Let h(i) = -i**3 + 9*i**2 + 9*i + 14. Let n be h(10). Suppose g - n*g = 21. Let l = 25 - g. Is 10 a factor of l?
False
Let j(x) = 55*x**2 + x. Let y be j(-1). Suppose 0*f = -2*f + y. Is f a multiple of 15?
False
Suppose 41*l - 42*l + 2850 = 0. Does 38 divide l?
True
Let p(q) = 7*q**2 - 12*q + 122. Does 82 divide p(15)?
False
Suppose -6*g + 3255 + 6405 = 0. Is 12 a factor of g?
False
Let b(i) =