d?
True
Let q(s) = s**3 + 8*s**2 + 2*s + 9. Let y be q(-8). Let z(k) = -k**2 - 11*k + 5. Does 18 divide z(y)?
False
Let i(t) = -t - 10. Let p be i(-10). Suppose p*d - 4*v = 3*d, -2*v - 14 = -2*d. Suppose d*c + c = 345. Does 26 divide c?
False
Let k = 1300 + 1138. Is 23 a factor of k?
True
Suppose 11*k - 57 = -24. Let a(m) = -m**3 - 2*m**2 + 5*m + 4. Let l be a(-3). Is (-22)/((l + -4)/k) a multiple of 10?
False
Suppose -37*i + 65280 = -13*i. Is 28 a factor of i?
False
Suppose -l - 512 = -3*k + 58, -k - 5*l + 174 = 0. Is 7 a factor of k?
True
Let y = 24 - 20. Suppose -3*m + y = 7. Let p(h) = -41*h - 1. Is 8 a factor of p(m)?
True
Let t be (88/(-10))/((-36)/90). Suppose -g - 6 = t. Is 25 a factor of g*8/12*-3?
False
Let j(l) = -l**2 - l + 3. Let v be j(-4). Let x be (13/3)/(v/189). Let a = -58 - x. Is a a multiple of 16?
False
Let f(b) = 2*b + 2. Let u be f(-1). Suppose 0 = 4*m - u*m + 4. Let w(a) = -37*a - 1. Does 12 divide w(m)?
True
Let m(g) = -5*g**2 + 17*g - 20. Let x(b) = -4*b**2 + 16*b - 19. Let p(l) = -5*m(l) + 6*x(l). Let c be p(-13). Let o = 5 + c. Is 17 a factor of o?
True
Let s = 30 + -31. Is 1 - 198/3*s a multiple of 23?
False
Suppose 3*g - 23 = -4*t - 2, -5*g = t - 18. Suppose t*r = -4*s - 0*s + 93, -r + 23 = 4*s. Does 9 divide r?
False
Let w = -1608 - -3988. Does 93 divide w?
False
Suppose 5*n + u = -122, -n + 8*u - 14 = 3*u. Let p = n + 25. Let r(w) = 29*w. Is 7 a factor of r(p)?
False
Let s = -5 - -27. Let n be 150/s + (-4)/(-22). Let y = n + 41. Is y a multiple of 12?
True
Suppose 0 = 5*b + 3*m - 1, -2*b + 3*b + m + 1 = 0. Suppose 7 + 3 = -2*x, -3*i - b*x + 23 = 0. Does 6 divide i?
False
Let f(q) = 4*q**2 + 180*q + 108. Does 108 divide f(-54)?
True
Let l(c) = c + 2. Let m be l(1). Suppose -2*b = m*h - 6*h + 252, 0 = -4*h - 4*b + 356. Is 14 a factor of h?
False
Suppose -820 = -5*w + n, -3 = -2*w - 2*n + 325. Does 12 divide w?
False
Suppose -4*d + 7908 = -2*g, 2*d = -7*d + 4*g + 17794. Is d a multiple of 44?
False
Suppose -2004 = 19*s - 21*s. Does 36 divide s?
False
Let q be -2*(24/3)/4. Let s be q + 4 + (-19)/(-1). Let o = 33 - s. Is 12 a factor of o?
False
Let p(l) = 1030*l + 254. Is 21 a factor of p(5)?
False
Let u be (3 - 28/12)*3. Is (-68)/(-6)*(1 + u) a multiple of 17?
True
Let k(i) = -16*i - 116. Does 4 divide k(-10)?
True
Let i = -30 - -32. Suppose 0 = -i*v + 80 + 34. Is 6 a factor of v?
False
Suppose -4*f - v = -1293, 11*v = 6*v + 25. Is f a multiple of 15?
False
Suppose -3*q + 30 = -2*q. Let v = 50 - q. Let c = v - 6. Does 9 divide c?
False
Is ((-10682)/(-245))/((-6)/(-165)) a multiple of 109?
True
Suppose 5*a - 3*f = -9, f - 3*f + 6 = 2*a. Suppose 5*s + a = -n + 3, n - s - 27 = 0. Does 23 divide n?
True
Let s(f) = -29*f**3 - 3*f + 7*f - 4*f + 1. Suppose d = -g + 2, 4*d + 2*g = -0 + 2. Is s(d) a multiple of 15?
True
Suppose 0 = -3*c - 2*c + 40. Suppose -3*s - c = -h + s, 5*h = s + 21. Is 10 a factor of 40/15*15/h?
True
Let v be (-1)/((-6)/(-8))*-15. Suppose 172 = v*h - 268. Is 11 a factor of h?
True
Suppose 0 = -3*f - s + 4430, -6*f + 5902 = -2*f - s. Does 82 divide f?
True
Let l(r) be the first derivative of r**4/4 + 10*r**3/3 - 13*r**2/2 + 10*r - 2. Is l(-11) a multiple of 12?
False
Let q(u) = u**3 + 8*u**2 + 3*u - 9. Let r(o) = -o**3 + 7*o**2 - 9*o + 1. Let a be r(6). Let b = 11 + a. Is 9 a factor of q(b)?
True
Let f = -196 + 67. Suppose 0 = 4*j - 5*p + 2*p + 321, -351 = 4*j + 3*p. Let t = j - f. Is t a multiple of 9?
True
Suppose -5*l + 4*v + 3 = -2*l, -5*v = 4*l - 35. Suppose l*p + 870 = 2345. Is 59 a factor of p?
True
Is 5 a factor of (-1616)/(-18) - (-34)/153?
True
Let s(v) = -11*v**2 + 26*v**2 + 149 - 13*v**2 + 19. Does 7 divide s(0)?
True
Let k(q) = 194*q + 8. Does 11 divide k(4)?
False
Suppose -2*i + 7 = -b + 21, 0 = -2*b + i + 13. Suppose b*m = 2*m + 32. Is 5 a factor of m?
False
Does 58 divide -2 + (-5622)/(-22) + 6/(-11)?
False
Let q = -616 + 934. Does 6 divide q?
True
Let h = 250 + 231. Does 13 divide h?
True
Let q = -51 + 60. Let y = q - -31. Is 18 a factor of y?
False
Let d(w) = 10*w + 5. Let t be d(-12). Let g = t + 187. Does 36 divide g?
True
Let r(j) = 4*j**2 - 105*j + 57. Is 11 a factor of r(34)?
True
Let u be (-90)/24 + (-1)/4. Let m(x) = 3*x**2 + 3*x. Let s be m(u). Suppose c - s = -2*c. Is 6 a factor of c?
True
Let i = -37 + 289. Suppose 5*h - h = i. Is h a multiple of 7?
True
Is (1*(4 - 325))/((-3)/2) a multiple of 32?
False
Let g(u) = u**3 + 20*u**2 + 18*u - 24. Does 12 divide g(-14)?
True
Suppose 0 = -s - 0*s - 6. Let m(n) = 11*n**2 - 13*n - 27. Let u(k) = -5*k**2 + 6*k + 13. Let b(c) = -4*m(c) - 9*u(c). Is 13 a factor of b(s)?
True
Let n = 344 - 149. Does 18 divide n?
False
Let w = 133 + 23. Is 26 a factor of w?
True
Suppose -x + 5*x - 2*a - 414 = 0, 0 = -4*a + 20. Let v be ((-2 - -1) + 5)*1. Suppose 4*p - v*w = 136, -w + x = 3*p - 3*w. Is 11 a factor of p?
False
Suppose 5*t + 5*b + 21 + 19 = 0, -5*b - 25 = 0. Let r = t + 0. Let c = 18 - r. Does 7 divide c?
True
Let p = 24 + 163. Is p a multiple of 11?
True
Let m(w) = w**3 - 8*w**2 - w + 8. Let i be m(8). Let k = 5 + i. Suppose 0 = k*n - 53 - 12. Is 3 a factor of n?
False
Suppose 3*k + 3 = -4*i, -5*i + 3 + 17 = -k. Suppose -3*r - i*r + 276 = 0. Does 6 divide r?
False
Suppose 3 = 3*m, -4*z + 4*m = -2*z - 906. Is z a multiple of 13?
True
Let s(i) = 2*i**3 + 50*i**2 - 30*i + 25. Is s(-25) a multiple of 7?
False
Suppose -3*a + 28 = -2. Suppose -a = -t - 3. Let d(n) = 3*n + 6. Is d(t) a multiple of 15?
False
Does 18 divide 0 - (-7133)/(21/3)?
False
Suppose 0 = 7*l - 4 - 3. Is (4/2 + 178)/l a multiple of 18?
True
Let w(p) = -4*p + 4. Suppose 8 = 4*v - 4*y + 24, 0 = 4*v - 3*y + 11. Suppose 0 = 5*n + 16 - v. Does 3 divide w(n)?
False
Let m = 692 - 303. Is 11 a factor of m?
False
Suppose 14*m - 5820 = -m. Does 5 divide m?
False
Suppose 14*w - 2791 - 1227 = 0. Does 41 divide w?
True
Let y(w) = -2*w**3 + 2*w**2 + w - 1. Let t be y(2). Let b be t*(-1)/(-7)*-2. Suppose 0 = 3*m + 2*p - 46, -5*m - b*p = -3*p - 55. Is 10 a factor of m?
False
Let u(q) = q**2 + 3*q + 5. Let d be u(-3). Suppose 0 = 2*f - 3 - d. Suppose -f*j + 97 + 103 = 0. Does 25 divide j?
True
Suppose o - 108 = -8*o. Is 26 a factor of (278/(-4) - 4)*o/(-9)?
False
Suppose 0 = 3*n - 214 - 206. Is -4 - n/(5/(-1)) a multiple of 4?
True
Suppose -9 = 3*u - 3. Let n be u*((-3)/(-6) - -1). Does 25 divide -45*1*(n - -2)?
False
Suppose 4*i + 267 = -2*s + 1711, 5*i + 2*s = 1804. Is 6 a factor of i?
True
Let u = -9 - -9. Suppose u = -4*q - h + 14, 2*h + 10 = 7*h. Suppose -32 = -q*i + 118. Is 10 a factor of i?
True
Let s(x) = x**3 - 5*x**2 + 5*x + 1. Let o be s(4). Suppose 4*g - 5 = -3*r + 7, 5*g + o*r = 20. Suppose 3*h = 36 - g. Does 6 divide h?
True
Suppose 0 = 34*c - 38*c + 108. Suppose -4*k + 2*y - 18 - 12 = 0, 27 = -2*k - 3*y. Let m = k + c. Does 18 divide m?
True
Let h(v) = v**3 - 8*v + 2. Let r be h(3). Suppose 0 = -r*c + 802 - 92. Suppose -c = -6*l + 110. Is 9 a factor of l?
False
Suppose 10*w = -4 - 26. Does 25 divide 22/(-6) - w - (-304)/6?
True
Let a(r) = 4*r - 81. Let b be a(20). Is 15 a factor of (3/(-24)*-4)/(b/(-292))?
False
Suppose -2*q + 2439 = 7*q. Is 14 a factor of q?
False
Is (-3 + 7*84/(-5))*-5 a multiple of 24?
False
Suppose -3*b = 4*s - 12, 2*s - 3*b - 5 = 1. Suppose -s*k - 180 = -4*k. Suppose -3*g - 3*g = -k. Is 19 a factor of g?
False
Let s(g) = 2*g**2 - 6. Let o be s(-8). Let a = -21 + o. Does 28 divide a?
False
Let c(o) = -18*o**3 + 2*o**2 + 9*o + 27. Does 101 divide c(-7)?
False
Suppose -4*o = 10*o - 98. Suppose -5*i - 350 = -o*i. Is i a multiple of 25?
True
Let s be ((14/(-4) - -3)*0)/(-2). Suppose -r + 0*r + 42 = -3*v, -3*r + 2*v + 119 = s. Does 13 divide r?
True
Let x = 304 - -2450. Is x a multiple of 81?
True
Let t(y) = -y**2 + 12*y - 6. Suppose -z - 3*s - 2*s = 0, 5*s = 4*z - 25. Does 8 divide t(z)?
False
Suppose 6*a - a + 17 = y, 3*y = a + 9. Let k be (2 - (-4)/(-6))*a. Does 10 divide (-2 - 17/4)*k?
False
Let f = 17 - 15. Let m = f + -2. Suppose -26 = -2*y - 2*w, m = 3*y - 0*w - w - 55. Does 4 divide y?
False
Let b(z) = 3*z**3 - 2*z**2 - z + 2. Let q be 2*4/8*2. Is b(q) a multiple of 3?
False
Suppose 1774 - 4516 = -6*h. Is h a multiple of 101?
False
Let k(n) = 2*n + 10. Let q be k(-9). Let u be (10/q)/((-1)/4). Suppose l - 2*l = -u. Is l a multiple of 5?
True
Let y(s) 