 - -510. Does 40 divide q?
True
Let o(f) = 16*f - 76. Let z be o(5). Suppose -666 = -z*x + 150. Is x a multiple of 21?
False
Suppose -10 = -12*y + 11*y. Let s(k) = -k**3 + 13*k**2 - 24*k - 9. Is 8 a factor of s(y)?
False
Let r(v) = v**3 + 8*v**2 + 9*v - 11. Does 2 divide r(-6)?
False
Is 7 a factor of 2 - ((-4)/(-2) + -85)?
False
Suppose 22 = 3*z + 2*z + 2*k, z - 4*k - 22 = 0. Suppose 428 = -2*y + z*y. Is y a multiple of 48?
False
Suppose 5*l = -3*j + 24, -3 = 3*j - 2*l - 27. Let h(t) = 16*t**3 - 4*t**2 + t - 1. Let r be h(-3). Is 14 a factor of r/(-32) + (-6)/j?
True
Let h(i) be the third derivative of 11*i**5/60 + i**4/3 + i**3 + 6*i**2. Does 10 divide h(-4)?
True
Let t(j) = 38*j**2 + 377*j - 12. Is t(-10) a multiple of 18?
True
Is 312/72*(1 - -446) a multiple of 13?
True
Suppose -10*r + 11*r - 33 = 0. Let y = 169 - r. Is y a multiple of 34?
True
Let o be (28/21)/((-2)/3). Let r be (-8 - -3)/1 - o. Does 24 divide ((-288)/(-20))/(r/(-15))?
True
Suppose -13*o + 1010 = -8662. Is 12 a factor of o?
True
Let y(w) = -9*w**3 + 4 + 4*w - 4*w**2 + 9*w**3 - w**3 + 5*w**2. Is 23 a factor of y(-6)?
False
Suppose l + l - 3*k - 15 = 0, -5*k - 25 = l. Let b(p) = p + 85. Is b(l) a multiple of 17?
True
Let n = 12 + -16. Let i be n + (-8)/(-4) - -12. Is 15 a factor of 2/(-4)*(-98 + i)?
False
Suppose 0 = 4*w + d - 11, 0*d + d = -5*w + 13. Suppose 20 = -2*p + 2*q, 0 = w*p - 6*p - 5*q - 85. Let x = p + 29. Does 5 divide x?
False
Let m(p) = -5*p + 21*p + 15*p + 9 + 7*p. Is 39 a factor of m(3)?
False
Is (-32 - -33)/((-2)/(-576)) a multiple of 9?
True
Suppose 4*a = -5 - 3. Let k(h) = -9*h**3 + 4*h**2 + 2*h - 2. Is 41 a factor of k(a)?
True
Let t be ((-24)/3)/((-6)/(-27)). Let l = t + 85. Is l a multiple of 49?
True
Let c be (13 + -1)*4/((-84)/(-7)). Suppose s = -2*d + 210, 3*d - 131 = -c*s + 704. Does 15 divide s?
False
Suppose 2*y + 197 = -5*j, 0 = -3*y - j + 74 - 337. Let f = -42 - y. Is f a multiple of 5?
False
Is (-954)/(-8)*(-800)/(-120) a multiple of 46?
False
Suppose -471 = -2*f + 3*k, -k - 139 = -f + 96. Does 39 divide f?
True
Let b = 401 - 403. Let x = -225 - 477. Does 21 divide x/(-7) - b/(-7)?
False
Let p(j) = j**3 + 9*j**2 + 5*j - 7. Let q(c) = 2*c + 4. Let i be q(7). Suppose 7*x - 4*x = -i. Is p(x) a multiple of 26?
False
Let x(c) = 74*c - 20. Let j(k) = 2*k**2 + 11*k - 4. Let m be j(-6). Is 32 a factor of x(m)?
True
Suppose 5*x = 1456 - 331. Suppose -2*n + x = 43. Is n a multiple of 18?
False
Let i(j) = -j**2 + 20*j - 15. Is 12 a factor of i(8)?
False
Suppose 11 = -r + 4*f, -9*f = 3*r - 6*f - 12. Let j(h) = 4*h**2 + h. Let y be j(1). Suppose -b - r = -w - 0*w, y*w - 33 = -2*b. Does 2 divide w?
False
Let f be (41 + 1)*(-7 + 42/4). Suppose 170 = 5*b + 5*r, -4*r = r + 25. Suppose -2*i + b = -3*p - f, -i = -4*p - 98. Is 23 a factor of i?
False
Suppose -3*a + 0*w = 4*w - 367, 4*a + 3*w = 501. Is 10 a factor of a?
False
Let x = -53 + 53. Suppose x = -2*h - 5*s + 160, 2*s + 4 = -0*s. Is h a multiple of 6?
False
Is 2*3*(46 + 2 + 0) a multiple of 6?
True
Let w(q) = 5*q**2 + 10*q - 47. Is 6 a factor of w(-8)?
False
Suppose -95*p + 62*p + 495 = 0. Does 5 divide p?
True
Suppose 22*l + 4 = 23*l. Is 26 a factor of -1 + 5/l + 2075/20?
True
Let u(z) = -z**3 - 7*z**2 - 2*z - 4. Let b be 1/6 - (-303)/18. Suppose -b = p - 10. Is u(p) a multiple of 3?
False
Is (-7052)/(-7) - (-56)/98 a multiple of 42?
True
Let w = -81 - -1462. Does 15 divide w?
False
Let q(y) be the first derivative of -y**3 - 17*y**2/2 - 2. Does 4 divide q(-5)?
False
Suppose 11*b - 3191 - 219 = 0. Does 5 divide b?
True
Let w(z) = 466*z**2 + 11*z - 9. Does 36 divide w(1)?
True
Let y(q) = 4*q**2 + 17*q + 74. Does 2 divide y(-8)?
True
Is 897/12 + (-8)/(-32) a multiple of 5?
True
Let v(l) = -l**3 + 11*l**2 + 11*l + 14. Let k be v(12). Suppose -29 = -u + 4*r, -k*r = 3*u - r - 61. Does 8 divide (-2 - -38)*14/u?
True
Suppose h + h = 46. Suppose 19*i + 60 = h*i. Does 7 divide i?
False
Let b be (-387)/(-27) - 4/(-6). Let y(q) = q**2 - 11*q + 45. Is 21 a factor of y(b)?
True
Let m(i) = -i**3 - 4*i**2 - 7*i - 4. Let v be m(-2). Does 18 divide -1*1/v*-2*101?
False
Let r(y) = y**3 + 5*y**2 + 3*y + 12. Let b be r(-5). Does 6 divide 12/(7 + b) + 3?
True
Let p be (364/(-6))/((-14)/(-63)). Does 25 divide -2 + 7/2 - p/2?
False
Is 1242 - (5/6 + 328/(-48)) a multiple of 16?
True
Let c(k) = -11*k**3 + k**2 + 2*k. Is 25 a factor of c(-3)?
True
Suppose -m = -3*r - 18 + 431, -r = -2*m - 851. Let a = m + 671. Is 24 a factor of a?
False
Let r(s) be the third derivative of -5*s**4/24 + 4*s**3/3 + 2*s**2. Suppose 0 = 11*v + 4*v + 135. Does 18 divide r(v)?
False
Suppose 422 = 2*p + 2*s, 5*s + 7 - 2 = 0. Does 19 divide p?
False
Suppose 0 = 3*u + 4*g + 10, 4*g + 14 = -u - 0*u. Suppose -u*w + 3 = -w. Suppose -a = w*a - 152. Is 14 a factor of a?
False
Let m(y) = -y - 2. Let l be m(-6). Suppose -40 = -22*j + 114. Suppose l*b = 2*g + 107 - j, -5*b = -4*g - 128. Is 5 a factor of b?
False
Suppose f - 54 = -2*f. Let d = f - 20. Is d/(-4) + 297/6 a multiple of 26?
False
Suppose 7*y - 9435 = 5251. Is 111 a factor of y?
False
Let j(k) = -19*k - 428. Is j(-24) a multiple of 28?
True
Suppose 9*o - 11*o = 5*w - 9, -5*w - 76 = -3*o. Let c(u) = 8*u - 1. Let q be c(1). Let d = o + q. Is 13 a factor of d?
False
Let a(i) = i + 53. Let m be a(-27). Let g = 15 + -7. Let c = g + m. Is 29 a factor of c?
False
Let v(u) = -3*u - 8. Let x be v(-10). Suppose x = -11*o + 176. Is o a multiple of 7?
True
Let c be -10 - ((-8)/(-4) + -1). Let f = 35 + c. Is 6 a factor of f?
True
Let c = -1957 - -3439. Does 38 divide c?
True
Let v(t) = 3*t**3 - 8*t**2 + 6*t + 17. Is 24 a factor of v(7)?
True
Is 26 a factor of 91*5*18/15?
True
Does 15 divide -2 + -3 - (15 + -245)?
True
Suppose 15*p - 3*p = 4644. Is p a multiple of 9?
True
Suppose -4*v + 0*v = -x + 498, 0 = -3*x - v + 1559. Is 37 a factor of x?
True
Let z be 4*(470/8 + -2). Suppose 0 = 3*v + 4*a + 156, z = -6*v + 2*v + a. Let l = -28 - v. Does 7 divide l?
True
Suppose -8*l - 37 + 53 = 0. Is 2 a factor of l?
True
Let k(n) = -4*n - 1 + 5*n**2 + 1 - 6*n**2. Let q be k(-3). Does 15 divide 71 + 1 + q/3?
False
Let h(o) = -o**3 - 3*o**2 + o - 3. Let l be 5/(-2)*(-12)/(-10). Let u be h(l). Is (-251)/u - 1/(-6) a multiple of 11?
False
Let p be (-4)/(-6) - 112/24 - -9. Suppose -p*x = -8*x + 678. Does 57 divide x?
False
Let y = -168 - -265. Is y a multiple of 19?
False
Suppose 87 = 2*d - 5*d. Let l = 41 + d. Is 12 a factor of l?
True
Suppose 34*o - 39*o = 4*a - 220, -175 = -4*o - 3*a. Is o a multiple of 38?
False
Let g = -157 - -185. Does 6 divide g?
False
Let t be 28/(-12)*-1*3. Let q be 4 + (t + -4 - 9). Does 18 divide q/6 - 1072/(-12)?
False
Suppose 2*p = -2*u + 526, 2*p + 1321 = 7*p - u. Suppose 6*t = p + 276. Is t a multiple of 13?
False
Let p(f) = 3*f**3 + 3*f**2 - 2. Let q be p(2). Suppose o - 4*z = 56, -5*z - q = -o + 19. Is 23 a factor of o?
False
Let t(o) = 2*o - 8. Let v be t(6). Suppose v*r - 97 = 1107. Is 43 a factor of r?
True
Let b(c) = 34*c**2 - 5*c - 131. Is b(-10) a multiple of 14?
False
Suppose -z + 218 = 5*c, -415 = -4*z + 2*c + 391. Is 7 a factor of z?
True
Suppose -b + 220 = -r - 1253, 3*b = r + 4421. Does 25 divide b?
False
Suppose -2*u + 8 + 154 = 0. Suppose 5*m + 2*n = 51 + 9, -5*n - u = -4*m. Is m a multiple of 14?
True
Suppose 2*q = -k + 6*k - 349, k - q - 71 = 0. Let j = k - 10. Does 19 divide j?
False
Let a be (-2)/(-7) + 72/(-56). Let r be (-6)/(-12)*10/a. Is ((-136)/r)/(4/10) a multiple of 18?
False
Let r = -1985 + 3662. Does 43 divide r?
True
Let d be (154/21)/((-1)/(-3)). Let p = d + -57. Let b = -19 - p. Is 16 a factor of b?
True
Let l = 48 + -44. Suppose -3*y + 2464 = l*y. Is 42 a factor of y?
False
Let m(k) = k**3 - 7*k**2 + 3*k + 6. Let c be m(7). Let l(f) = -f**2 - 12*f + 12*f - 5 - c*f**3 + 6. Is l(-1) a multiple of 9?
True
Suppose 0 = -14*p + 18*p - 864. Is 11 a factor of ((-8)/6)/((-12)/p)?
False
Let s(b) = 4*b + 35. Let f be s(-8). Suppose 3*w + 12 = 0, k + f*w - 57 = -w. Does 9 divide k?
False
Suppose -73*i + 64*i + 6831 = 0. Is i a multiple of 11?
True
Is 8 a factor of 357/(-28) + 12 - 2886/(-8)?
True
Suppose -57 = 4*z - 5*l, 2*l + 0 = -6. Let r = 8 + z. Is 14 a factor of (-424)/r + 8/(-20)?
True
Let m(x) be the first derivative of -2*x**2 + 13*x - 12. Does 9 divide m(-11)?
False
S