 Does 15 divide d - (-11)/(33/150)?
False
Let i be 4/12*0 - -9. Let c = i + -6. Suppose 39 + 11 = h + 3*d, 100 = 2*h - c*d. Does 10 divide h?
True
Suppose 2*s - 459 = -s. Suppose 14*h = 5*h + s. Is 11 a factor of h?
False
Let u = 76 + -79. Let q be (1 + (-1)/2)*6. Does 11 divide -3 + (48 - u)/q?
False
Let p(o) = -3 - 1 + 15*o**2 + 3*o - 12*o**2. Let a be p(-3). Suppose 2*x + 0 = a. Is 6 a factor of x?
False
Suppose -5*j = -5*v + 2435, -2*j - 583 = 4*v - 2513. Does 22 divide v?
True
Let s(u) = -u**2 - 6*u - 4. Suppose 4*x = -1 - 19. Let r be s(x). Let c = 8 + r. Does 3 divide c?
True
Let j = 135 + 0. Suppose 4*u + 49 = -k, -4*k - j - 40 = -5*u. Is (54/k)/((-6)/100) a multiple of 4?
True
Suppose -13*r = -3*r. Is 2 a factor of (-2 - r)/1*-1?
True
Let l(y) = y**2 + 10*y + 6. Let h be l(-7). Let s = h + 31. Does 8 divide s?
True
Suppose -3*m + 4*z + 22 = 5*z, 0 = m + 4*z. Suppose -15 = 3*d - m*d. Is 16 a factor of ((-48)/d)/(3/(-6))?
True
Suppose 204 = -6*v + 7*v. Let m = -118 + v. Does 21 divide m?
False
Let z be 1 + 1 + (-12 - 4). Let o be (-90)/21 - 4/z. Is 57/o*(-8)/3 a multiple of 9?
False
Suppose 50*v - 299088 = -43*v. Does 16 divide v?
True
Let p(d) = 9 - 52 + 4 + 9*d. Is p(9) a multiple of 21?
True
Let k(z) = 3*z**3 - 9*z**2 + 6*z + 20. Let r(s) = s**3 + s**2 + s + 1. Let h(l) = -k(l) + 2*r(l). Does 6 divide h(10)?
True
Let a be 8/(-32) - 23/4. Is (a - -31) + (0 - 1) a multiple of 19?
False
Let u(n) = -n**3 - n**2 + 6. Let g be u(0). Let t(f) = -f**2 + 2*f - 12. Let s(i) = -2*i**2 + 4*i - 25. Let w(r) = 2*s(r) - 5*t(r). Does 10 divide w(g)?
False
Let i(t) = -t**2 - 6*t - 6. Let z be i(-5). Let m(j) = -44*j. Does 11 divide m(z)?
True
Let i = 104 + -102. Is 10 a factor of ((-86)/43)/((i/19)/(-2))?
False
Suppose 0 = -4*j + 25*j - 76167. Is j a multiple of 93?
True
Suppose 0 = 3*d + 2*b + 8, 4*b - 3 + 19 = 0. Let h(n) = -1 + d*n**2 + 0*n**2 + 0 - 2*n + 2*n**2. Is 11 a factor of h(3)?
True
Suppose 3*z + 8*r + 10 = 6*r, 10 = -4*z - r. Is (3 - 2) + (2 + z - -52) a multiple of 27?
False
Suppose 53*m - 72*m = -56240. Is m a multiple of 80?
True
Let k(l) be the third derivative of l**4/8 + 7*l**3/6 - l**2. Is k(8) a multiple of 30?
False
Let v(l) = -l - 1. Let m be v(-3). Suppose -7*u + 30 = -m*u. Let j(b) = b**3 - 4*b**2 - 5*b + 8. Is 14 a factor of j(u)?
False
Suppose 2*n - 3*g - 87 = -n, 0 = -4*g + 4. Suppose 3*l + 1 = 5*u, -1 = -2*l + 5. Suppose 17 - 1 = w + 3*h, -4*h = u*w - n. Does 13 divide w?
True
Let p(o) = 4*o**2 - 3*o - 2. Let b be p(2). Suppose 7 = -3*c + 4*a, 0 = 4*c + 2*a - b - 12. Suppose -196 = -10*k + c*k. Is 7 a factor of k?
True
Suppose 5049 = 33*z - 2541. Is z a multiple of 43?
False
Let h(k) = 36*k**2 + 4*k + 14. Is h(5) a multiple of 81?
False
Suppose -17 - 37 = -3*z. Let h = z + -15. Suppose -h*j - j = 2*b - 260, j + 2*b = 65. Does 15 divide j?
False
Let s(x) = -4*x - 11. Let k be s(-5). Does 3 divide k*(-4 - 13/(-3))?
True
Let h(n) = n - 3. Let z be h(0). Let q be -15*z/((-45)/12). Does 13 divide q/12*(-65 - 0)?
True
Is 50 a factor of (-10)/35*4200/(-8)?
True
Let q = -1931 + 2902. Does 114 divide q?
False
Let a(j) = -j**2 - 9*j + 6. Let x be a(-10). Let c(q) = -19*q - 11. Is c(x) a multiple of 12?
False
Let g(v) = v**2 - 2*v + 1. Let l be g(-1). Suppose 0*j = -l*j, -q - j + 37 = 0. Is 11 a factor of q?
False
Let q(o) = -29*o - 147. Is 3 a factor of q(-8)?
False
Let h(a) = a**3 + 3*a**2 - 22*a + 24. Is 9 a factor of h(6)?
True
Let m(o) = o - 9. Let g be m(14). Suppose 3*q - g*q + 184 = 0. Let n = q + -48. Is n a multiple of 12?
False
Suppose 5*g + 2*h = 15, 3*g - 3*h = -g + 12. Suppose -g*f + 0 + 22 = l, 5*f - 5*l - 30 = 0. Is f a multiple of 7?
True
Let q(a) = -2*a**3 + a**2 + 6. Let d be q(-4). Does 10 divide (0 - -2)/(5/d)?
True
Is -6*(-9)/216 - (-534)/8 a multiple of 4?
False
Let z = -309 - -309. Let g(k) = 16*k**3 - 6*k**2 - 6*k - 149. Let h(x) = -3*x**3 + x**2 + x + 30. Let t(o) = 2*g(o) + 11*h(o). Does 16 divide t(z)?
True
Is 230/(-92) - (-8642)/4 a multiple of 26?
True
Let h(i) = -1162*i - 106. Is 10 a factor of h(-3)?
True
Let w = 547 - 408. Is 7 a factor of w?
False
Let f(i) = 2*i**3 - i**2 - 2*i + 2. Let s be f(2). Let n = s - 10. Suppose -3*y + 103 = -2*c, n = -c - 2. Is 12 a factor of y?
False
Let u = -80 + 157. Let s = 153 - u. Does 19 divide s?
True
Suppose -4*l - l + 875 = 0. Suppose -30*v = -25*v - l. Is v a multiple of 7?
True
Let x = 11 - 7. Let r(m) = -m**3 + 6*m**2 - 5*m - 4. Let t be r(x). Suppose t*v = 3*v + 25. Is 3 a factor of v?
False
Suppose -1733 = -5*d - 4*f + 62, -5*f - 1795 = -5*d. Suppose d = 4*q - b, 4*b + 267 - 1 = 3*q. Is 15 a factor of q?
True
Suppose -13*x - 875 + 6881 = 0. Suppose 5*v + 102 = x. Is v a multiple of 9?
True
Let y = 34 - 53. Let n = -13 - y. Suppose k - n = -2*j + 57, -3*k + 177 = 3*j. Does 20 divide k?
False
Let o be 3/(-6) - (-21)/6. Let w = o + -5. Is 19 a factor of (19/2)/((-1)/w)?
True
Suppose 0 = b + 4*s - 463, -5*b = s + 2*s - 2400. Suppose -11*x + b = -2366. Does 28 divide x?
False
Suppose -4*g = -5 - 11. Suppose 0 = -v + g*v + 2*z + 4, -3*v - 10 = -4*z. Does 12 divide (v*9)/(8/(-20))?
False
Suppose 0 = 10*c - 7*c. Suppose c = -3*j + 143 - 38. Is j a multiple of 7?
True
Let y = 18 + -18. Suppose v = -y*v + 53. Is 15 a factor of v?
False
Let z(n) = -n**3 + 5*n**2 + 5*n + 2. Let s be z(6). Is 2/s + 195/10 a multiple of 19?
True
Let q = -467 + 818. Is 9 a factor of q?
True
Let i(d) be the third derivative of d**6/120 - d**5/15 - d**4/24 + d**3/2 - 3*d**2. Let z be i(5). Let k = 45 - z. Does 11 divide k?
True
Let w(j) be the second derivative of j**5/20 + 11*j**4/12 + 5*j**3/2 + 15*j**2/2 + 35*j. Is w(-9) a multiple of 42?
True
Suppose -4*w = -16, -21*w + 22*w = -5*s + 4584. Is s a multiple of 33?
False
Suppose -t + s = -6*t + 153, -2*t = -4*s - 48. Suppose -4*b + w = -27, 4*b + b - 5*w - t = 0. Is b a multiple of 5?
False
Let t be 0 - -4 - (5 - (-2 - -7)). Suppose t*w = 29 + 7. Is 9 a factor of w?
True
Suppose 8 = 4*m + o, 0 = -4*m - 2*o - 2*o + 20. Suppose 26 = 2*b + w + 3*w, 0 = b - w - m. Suppose d - b*d = -64. Does 16 divide d?
True
Let d = -1256 + 2147. Does 18 divide d?
False
Let o = -1271 - -3377. Is 13 a factor of o?
True
Let c = -6 - -8. Let g(j) = -11*j**2 + 12*j + 25. Let d(t) = -3*t**2 + 3*t + 6. Let s(f) = c*g(f) - 9*d(f). Is s(3) a multiple of 19?
False
Suppose -2*o + 660 = -600. Does 45 divide o?
True
Let u(l) be the third derivative of -l**4/12 + 2*l**3/3 - 8*l**2. Let i be u(5). Does 17 divide 34 - -3 - i/(-2)?
True
Let r = -30 - -108. Is 13 a factor of r?
True
Let x be 1 + 1 + 0 - (-36)/12. Suppose -5*y = -x*g - 70, g - 6*g + 38 = y. Does 6 divide y?
True
Let k(s) = 7*s - 119. Let d be (-1)/(1 + 9/(-6)). Let x(r) = 3*r - 60. Let f(t) = d*k(t) - 5*x(t). Is f(0) a multiple of 19?
False
Let r(j) = j**3 + 5*j**2 + j - 5. Let c be r(-5). Let l = c - -7. Is 8 a factor of ((-2)/5)/(l/60)?
True
Let l(n) = 124*n - 14. Is 39 a factor of l(2)?
True
Suppose -21*h = -4*h - 12427. Is 29 a factor of h?
False
Let y = -28 - -3. Let x = 45 + y. Is x a multiple of 20?
True
Let p = -33 + 39. Suppose -3*k + 4*k = 0. Suppose p*m - m - 420 = k. Is 25 a factor of m?
False
Let a = 21 - -13. Suppose 5*q - 16 - a = 0. Let d(h) = 4*h + 6. Does 26 divide d(q)?
False
Let o(m) = 174*m**2 + 34*m - 14. Is o(4) a multiple of 29?
False
Let l(q) = -q**2 - 2*q + 1. Let g be l(-1). Suppose g*c - 336 = -5*r - 27, -4*r - 2*c + 248 = 0. Does 8 divide r?
False
Let q = -212 + 1876. Is q a multiple of 8?
True
Suppose 3*m = 1 + 5, p - 2659 = 5*m. Is p a multiple of 17?
True
Suppose 0 = 21*f - 87*f + 165792. Does 29 divide f?
False
Suppose 125 = 6*y - 247. Let u = 105 + y. Is 18 a factor of u?
False
Let a(l) = -2*l + 16. Let j = -23 - -12. Is 19 a factor of a(j)?
True
Let m(i) = 9*i - 8. Is 8 a factor of m(8)?
True
Let c(t) = 2*t**2 + 4. Let v be -2 + 16/(-12)*3. Let x be c(v). Suppose 0*p + x = 4*p. Is 19 a factor of p?
True
Let c(k) = 11*k + 20. Let t = 103 + -95. Does 12 divide c(t)?
True
Let f(h) = -h**2 + 3*h. Let z be f(4). Let n be 2/(-8) + (-161)/z. Let i = n - 26. Is 7 a factor of i?
True
Is 11 a factor of 8/(-10) + (-4 - (-64881)/45)?
False
Let t(p) = -60*p - 239. Let g be t(-2). Let j = 589 - 412. Let n = g + j. Is n a multiple of 16?
False
Is 59 a factor of (8/(-2))/((-24)/7872) - -