g be s(-3). Let w = 48 - g. Does 16 divide w?
True
Let c(y) = 206*y**2 + 1. Suppose 2 = -5*r - 3. Let k be c(r). Suppose -3*s = -0*s - 4*n - 105, 5*s = -4*n + k. Is s a multiple of 10?
False
Suppose -6*r = 140 - 380. Let h = r - 17. Is 4 a factor of h?
False
Suppose 0 = 3*u - 0*u + 387. Suppose -10*w + 9*w - 78 = 0. Let g = w - u. Does 12 divide g?
False
Let x(u) be the second derivative of -u**5/10 + 19*u**4/12 - 13*u**3/6 + 4*u**2 - 9*u. Does 19 divide x(8)?
False
Suppose 0 = q - 7*q + 300. Let s = 53 - q. Is s a multiple of 3?
True
Suppose -195*a = -188*a - 2940. Is a a multiple of 14?
True
Let p be 2/(2/(-18)*-6). Suppose -2*i - 28 = -p*i. Is i a multiple of 16?
False
Suppose 0 = -4*z - 2*l + 50, -2*z + 3*l = 3*z - 57. Let r be 3*-2*(-20)/z. Is 6 a factor of 300/21 - r/35?
False
Let k = 1218 - -369. Does 8 divide k?
False
Let c = 71 + -67. Suppose 29 = b - 3*a + 5, 0 = -c*b - a + 148. Is b a multiple of 18?
True
Let a(s) = -s - 8. Let w be a(-10). Suppose w*z - 72 = -2*z. Does 6 divide z?
True
Let p(y) = 2*y**2 + 26*y - 135. Does 5 divide p(-25)?
True
Suppose -2*o + 2*k = -34, 0*o + 5*k + 57 = 3*o. Let q = 13 + o. Is 9 a factor of q?
True
Let d = 1526 + -627. Is 23 a factor of d?
False
Let z = 1891 - 853. Does 55 divide z?
False
Let v(l) = l**3 + 12*l**2 + 7*l + 10. Let t be v(-10). Let u = -59 + t. Suppose q - 3*k = u, -5*q - 5*k = -0*k - 465. Does 27 divide q?
False
Suppose w - 2*w = -4*w. Suppose w = 3*m - 37 - 47. Is 14 a factor of m?
True
Let r(y) = 13*y. Suppose -2*h - 3*h + 17 = 4*v, -5*v = -h - 14. Does 2 divide r(h)?
False
Is 79 a factor of (-131856)/(-128) + (-2)/16?
False
Let z = 348 - -76. Is 53 a factor of z?
True
Let p(b) = -33*b + 33. Let a(s) = -16*s + 16. Let n(y) = -9*a(y) + 4*p(y). Is n(10) a multiple of 27?
True
Let k(l) = -l**3 + 7*l**2 + 11*l - 5. Let g be k(-5). Suppose 12*y - 7*y - g = 0. Is 17 a factor of y?
False
Let x(v) = -15*v - 6*v - 2*v**3 - 19 + 7*v + 3*v**3 + 6*v**2. Is x(-7) a multiple of 10?
True
Let x = -1632 + 1880. Is 31 a factor of x?
True
Suppose -13*o + 21908 = 3240. Is o a multiple of 9?
False
Let p be ((-4)/(-10))/((-5)/100). Let i(l) = l**2 + 6*l - 11. Let h be i(p). Suppose -3*q = -h*q + 12. Is q a multiple of 6?
True
Let s(d) = 36*d + 1755. Is s(0) a multiple of 27?
True
Let r = 71 + -66. Is 9 a factor of r/(-40)*-4*120?
False
Suppose 2*c - 3 = 3*a, 3*c - 4*a - 6 = 1. Does 30 divide 1081/c + 16/(-144)?
True
Suppose 0 = -t + 2*x + 2, 5*t + 5*x - 8 + 43 = 0. Let y = t + 7. Suppose l = -2*v + y*v - 52, -2*v + 110 = -4*l. Is 27 a factor of v?
False
Let r(i) = -i**2 + 2*i + 3. Let u be r(0). Suppose -u*a + 2*a = -3. Is -2 + a + 26*4 a multiple of 35?
True
Suppose -10*w + 137 + 263 = 0. Is w a multiple of 4?
True
Suppose 0 = -0*w + 3*w - 12, 5*d = 2*w + 1532. Is 22 a factor of d?
True
Suppose -3 = 3*r + 2*s - 4, -2*r - 2 = 4*s. Is (-24)/6*r/(-2) - -2 a multiple of 4?
True
Suppose 11*p - 11 + 1243 = 0. Let f = p - -164. Does 26 divide f?
True
Suppose 7*w = 2*w + 15. Let o be 1 - w*4/(-3). Let v = o - -11. Is 8 a factor of v?
True
Suppose 0 = 3*w + 5*w - 736. Let b be (-11)/(1 - (0 + 2)). Let g = w + b. Is g a multiple of 18?
False
Suppose -4*q - 12 = -7*q. Suppose -2*b + 67 = -3*x, -4*x = -q*b + 79 + 61. Is 19 a factor of b?
True
Let m(k) be the third derivative of k**4/24 + k**3/2 + 16*k**2. Is m(0) a multiple of 3?
True
Suppose 2 = o - 2. Suppose -3 = 2*p - 7. Suppose o*g - 134 = p*g. Is g a multiple of 18?
False
Is (-2795)/(-3) - (30/(-9) - -3) a multiple of 32?
False
Let r(y) = -y**2 + y + 2. Let c be r(9). Let v = c - -79. Is 2 a factor of v?
False
Let h be (5 + (-35)/10)*54. Let v = 14 - 35. Let q = v + h. Is 20 a factor of q?
True
Let d be 1285/11*1 - 34/(-187). Let n = -55 + d. Is 11 a factor of n?
False
Suppose 14*f - 10*f = -2*y + 3380, 2*f + 5*y - 1698 = 0. Does 19 divide f?
False
Let u = 1162 - 727. Does 29 divide u?
True
Suppose 0 = 5*z - l - 4079, 3*z - 2450 = -11*l + 9*l. Is z a multiple of 68?
True
Let b be 5/(351/87 + -4). Let u = b - 73. Is u a multiple of 16?
False
Let v = -2370 - -3111. Is 57 a factor of v?
True
Let j be (5 - 5) + 0 + -1. Let o be 2 + j + -2 + 1. Suppose o = -u + 5 + 6. Is 3 a factor of u?
False
Suppose 4*t - 5*w = 246 + 275, 2*t = 3*w + 263. Is t a multiple of 2?
True
Let m(w) = 2*w**2 - 9*w + 6. Let o be 3 - 3*(-5 - -4). Is m(o) a multiple of 7?
False
Suppose v = -0*v. Let n = 3 - v. Suppose -n*p = 5*w - 258, w + 5*p + 0*p - 34 = 0. Is 18 a factor of w?
True
Let q(k) = -3*k + 15. Let v be q(5). Is (16 + v)*(-20)/(-16) a multiple of 17?
False
Suppose 8*i - 1635 = 3381. Is i a multiple of 11?
True
Suppose -9 + 81 = -6*r. Let o(a) = -a**2 - 13*a - 17. Let x be o(r). Let b(q) = -22*q - 9. Is 23 a factor of b(x)?
False
Suppose -2*c - 38 + 6 = 0. Let g(z) = -24*z + 1. Let w be g(-1). Let i = w + c. Is i even?
False
Let k = 13 + -11. Let t(a) = 75*a**2 + 2*a - 3. Let u be t(k). Suppose 0*d = s + 4*d - 74, 3*d = 5*s - u. Does 17 divide s?
False
Let r(g) = 2*g**3 - 2*g**2 - 6*g + 21. Let l be r(6). Suppose -y - 3*i + l = 2*y, 321 = 3*y - 3*i. Does 46 divide y?
False
Suppose 2*t - 5678 = -18*x + 14*x, x + 2*t - 1421 = 0. Does 43 divide x?
True
Suppose 0 = 3*r - 553 - 161. Is r a multiple of 17?
True
Let q(i) be the first derivative of 2 + 8*i + 2/3*i**3 + 5*i**2. Is q(-7) a multiple of 18?
True
Suppose -4*v + 3*v = 0. Let m(w) = 2*w + 195. Let c be m(v). Let n = c - 125. Is n a multiple of 14?
True
Let u(a) = 69*a**2 - 4*a - 5. Let b be u(-1). Let i = 80 - b. Does 10 divide i?
False
Let w be 24/(-20)*15/(-6). Suppose -340 = -w*k - k. Suppose -6*i = u - i - k, 0 = u + 4*i - 85. Does 23 divide u?
False
Let g(x) = -3 + 15 + 6*x**2 - 5*x**2 + 7*x. Let d be (-1)/(0 - (-2)/18). Is g(d) a multiple of 10?
True
Suppose -2*s + 490 = 4*u + u, -4*s - 294 = -3*u. Suppose 3*i - i - 3*y = 112, 3*y - 56 = -i. Let c = u - i. Is 14 a factor of c?
True
Suppose -4*h + z + 20 = 0, 5*h + 3*z - 12 = 13. Does 29 divide (-82 - h)/((-6)/4)?
True
Let r = 34 + -25. Suppose 0 = -r*u + 6*u + 153. Let w = -21 + u. Does 15 divide w?
True
Let a(n) = -6*n + 4. Suppose -7*d + 14 = -35. Let s = d + -10. Is 9 a factor of a(s)?
False
Suppose k + 86 - 510 = 0. Does 15 divide k?
False
Let c(z) = z**3 + 7*z**2 - 8*z + 6. Let f be c(-8). Let h = 1 - 5. Let u = f - h. Is u a multiple of 10?
True
Let s be (-369)/6*8/(-3). Suppose 4*n = 4*t - s, 200 = 4*t + 4*n + n. Does 15 divide t?
True
Suppose -5*l + 65*g - 69*g = -21466, -3*l + 12878 = 2*g. Does 13 divide l?
True
Is 13 a factor of (10*2/10)/((-2)/(-199))?
False
Let a(l) = 4*l + 18. Let o be a(-7). Let s(v) = v**3 + 13*v**2 + 13*v - 1. Is s(o) a multiple of 13?
True
Let p(f) be the second derivative of -f**4/12 + 7*f**3/3 + 19*f**2/2 - 3*f. Let z = 15 - 2. Does 10 divide p(z)?
False
Let n(z) = 38*z + 34*z - 70*z - 19*z**2. Let x be n(3). Let i = 243 + x. Is 28 a factor of i?
False
Let m(p) = -37*p**3 + 4*p**2 + 5*p. Let x(t) = 36*t**3 - 4*t**2 - 4*t. Let y(n) = -3*m(n) - 4*x(n). Does 35 divide y(-2)?
False
Suppose -106 = -6*s - 94. Let j be (6/4)/((-9)/300). Let w = s - j. Is w a multiple of 13?
True
Suppose 48*x - 64*x + 4992 = 0. Is 26 a factor of x?
True
Let h = -180 + 317. Is h a multiple of 4?
False
Let h = -130 - -220. Does 18 divide h?
True
Let v(j) = 25*j**2 + 7*j + 4. Let n be v(-5). Suppose -12*y = -9*y - n. Suppose 6*b - 108 - y = 0. Is b a multiple of 18?
False
Suppose 0 = -23*p + 53228 + 28468. Is 29 a factor of p?
False
Let k = -2728 + 3917. Does 41 divide k?
True
Let w = -3 + 7. Let l = w + -3. Let b(y) = 41*y. Is 6 a factor of b(l)?
False
Suppose -10926 + 1342 = -16*b. Is b a multiple of 30?
False
Suppose -4*y + y = -12. Let n(p) = -p - 1. Let g(q) = -9*q. Let u(h) = y*n(h) - g(h). Is 7 a factor of u(5)?
True
Let l(i) = -4*i - 20. Let a be l(-6). Suppose z = 3*t - 665, -3*t + a*z = 2*z - 670. Does 22 divide t?
True
Let b = -2671 - -4295. Is 28 a factor of b?
True
Let m(k) = -k**2 + 2*k + 1. Let z be m(4). Let d be ((-18)/z)/((-6)/(-126)). Let l = d + -36. Is 9 a factor of l?
True
Let u be 194/4 + ((-5)/(-10) - 0). Let l = 137 + u. Is l a multiple of 8?
False
Let w(a) = -a**3 + 12*a**2 + 5*a - 32. Suppose 3*p - 7 = -u + 4*p, -2*u + 19 = -p. Is 7 a factor of w(u)?
True
Let f(o) = 8*o**3 + 6*o**2 - 29*o + 48. Is f(6) a multiple of 18?
True
Let p 