*z(w). Let j be g(-4). Does 13 divide (j/15)/(4/66)?
False
Suppose 3*x - x + 4 = 0. Let s(k) = -13*k**3 - 4*k**2 - 4*k - 3. Is 17 a factor of s(x)?
False
Is (-3)/(3/(-997)) + 273/(-39) a multiple of 10?
True
Suppose -4*m + 4*j = -1516, 2*m + 244 - 1002 = j. Is 27 a factor of m?
False
Let n(m) = 7*m + 14. Suppose -72 = -5*u - 27. Does 15 divide n(u)?
False
Suppose 4*l - 504 = -8*l. Is 42 a factor of l?
True
Let p = 226 - 166. Is p a multiple of 12?
True
Let k(m) = -m**3 - 2*m**2 - 8*m - 10. Is 16 a factor of k(-6)?
False
Suppose -a = 5*d - 1751 - 764, 3*d = -2*a + 5037. Is 24 a factor of a?
True
Let f = 43 + -26. Let q = 45 - f. Suppose -q = 3*o - 7*o. Is o a multiple of 3?
False
Let f(v) = v**3 + 7*v**2 + 7*v + 8. Is f(-4) a multiple of 28?
True
Suppose 0 = -17*o + 11*o + 1764. Does 3 divide o?
True
Suppose 2204 = z - 28. Is z a multiple of 31?
True
Let d be (4 - 18*-29) + -4. Suppose 4*u = v - 158, -3*v - 3*u - u = -d. Does 17 divide v?
True
Suppose -d - 3 = -2*n, 0 = -d - 2*d - 15. Let c be 4 + -5 - (n - 3). Suppose c*u - 2*o - 83 = 0, -4*o = -6*u + 2*u + 108. Is u a multiple of 6?
False
Is -55*((-648)/(-30))/(-6) a multiple of 7?
False
Let a(r) = 4*r - 4. Let z be a(2). Suppose -y + 4*h = -121, 0 = -z*y - 3*h + 487 - 79. Is 6 a factor of y?
False
Suppose o = -4*o - 4*a + 3384, 5*o + a = 3396. Is o a multiple of 8?
True
Suppose 3*x - 316 = -289. Suppose -205 = x*n - 916. Is n a multiple of 14?
False
Suppose -5*x + 24 + 11 = 0. Suppose -x = g + 3*l + 1, -2*g = -5*l - 39. Is 2 a factor of g?
False
Suppose -3 = 2*v - 5*v. Let a(b) be the second derivative of 17*b**5/5 + b**3/6 - b**2/2 - 8*b. Is 17 a factor of a(v)?
True
Let x be 2/(-6)*3*-3. Suppose 0 = -x*c - 0 + 48. Suppose 5*d = 5*n + 180, n = -3*n + c. Is 20 a factor of d?
True
Is 125/(-2)*(202/(-5) - -10) a multiple of 50?
True
Let k = -181 - -349. Does 3 divide k?
True
Let b be -1 - -1 - (-20 + 0). Let j = -377 - -421. Let d = j + b. Is 19 a factor of d?
False
Suppose 32*s + 5*s - 42735 = 0. Is s a multiple of 77?
True
Suppose 8*g + 441 - 2889 = 0. Does 51 divide g?
True
Suppose -3*d - 5*n = -109, -n = -3*d + 79 - 0. Let a = d - 20. Suppose -3*s + a*s = 80. Does 5 divide s?
False
Is 18 a factor of (-58 + 118)*(11 - 2)?
True
Let i = -81 + 84. Let g(k) = 10*k**3 + 3*k - 4. Does 25 divide g(i)?
True
Let f = 64 + -122. Let k be 3*f/(-18)*3. Let b = k + -5. Does 20 divide b?
False
Let g(c) be the third derivative of -c**6/120 + c**5/12 + 7*c**4/24 - 2*c**3/3 + 4*c**2. Let f be g(6). Suppose 45 = 5*y - f*y. Is y a multiple of 5?
True
Suppose -l = -0*l - 22. Let v = -299 - -300. Does 11 divide l + (-3)/3 + v?
True
Let i = 498 + -108. Does 3 divide i?
True
Let c = 27 - 22. Suppose -2*z + c*m + 22 = 0, 5*z - 4*m - 5 = 4*z. Does 17 divide z?
False
Suppose 6351 = 3*r - 2*n, -3*r - 4*n + 1130 + 5221 = 0. Does 73 divide r?
True
Let f(d) = 15*d**2 + 6*d - 2. Does 70 divide f(-8)?
True
Let a(c) be the second derivative of -5*c**3/3 - 7*c**2 - 2*c. Is 8 a factor of a(-7)?
True
Suppose -57 = -3*s - 3. Suppose 5*p - 5*a + 0*a = 25, 4*p - 3*a = s. Suppose -5*z + i + 175 = -15, p*z = -2*i + 127. Does 13 divide z?
True
Let w(r) = 6*r**2 - 12*r - 105. Is 53 a factor of w(16)?
False
Suppose -1269 = -3*q - 3*u, 3*q = 7*q + 2*u - 1688. Let p = -284 + q. Is 23 a factor of p?
False
Suppose -166*p + 164*p = -10. Suppose -p*w + 792 = 7*w. Is w a multiple of 22?
True
Let v(f) = 116*f**2 + f + 3. Let i be v(2). Let u = i + -238. Is u a multiple of 33?
True
Let z(l) = 8*l + 37. Let i be z(-15). Let s = i - -124. Is s a multiple of 5?
False
Suppose 0 = 6*d - 2322 - 18666. Is 106 a factor of d?
True
Let h(z) = 5*z**2 - 2*z + 1. Let s be h(1). Suppose -2*l + 281 = s*v - 3*l, -4*l = -12. Is 22 a factor of v?
False
Does 41 divide (35 + -31)*369/4?
True
Let r = -424 + 704. Does 20 divide r?
True
Let x = 637 - 261. Suppose -4*t - x + 24 = 0. Is 2 a factor of t/(-33) - (-2)/6?
False
Let j(q) be the first derivative of 2*q**3/3 - 5*q**2/2 + 2*q + 3. Let i be j(2). Suppose 0 = -4*g - i*g + 104. Is 9 a factor of g?
False
Let r(v) = -1 - 8 + 10 + v**2 - v**3. Let s(u) = -5*u**3 + 4*u**2 + 7. Let f(i) = -6*r(i) + s(i). Is f(4) a multiple of 11?
True
Suppose 2*r + 0*r = 28. Let f = r - -91. Suppose -4*a = -8, v + 4*v - f = 5*a. Does 23 divide v?
True
Suppose 8*r - 1558 = -4*v + 3*r, -v = -2*r - 396. Is v a multiple of 14?
True
Let v = 485 - -2378. Does 21 divide v?
False
Suppose -3*r + v + 559 = 0, 2*r = -2*v + 496 - 118. Let n = 427 - r. Is n a multiple of 12?
True
Is 15 a factor of 6047/12 + 82/984?
False
Suppose -o + 14 = -2. Let h = o - -11. Is 9 a factor of h?
True
Let c(j) = 2*j**2 - 38*j + 54. Does 15 divide c(24)?
False
Let s = 2 + 8. Let p(u) = -s*u + 4*u + 0 + 9*u + 2 + 17*u**2. Is 4 a factor of p(-1)?
True
Let w(a) = a - 1. Let u(r) = -r**3 + 3*r**2 - 3*r + 1. Let q(s) = -s - 13. Let b be q(-10). Let z(i) = b*w(i) - u(i). Does 2 divide z(3)?
True
Let h(c) = -3*c**2 + 30*c. Let k be h(10). Suppose 5*l - 8*l + 432 = k. Is l a multiple of 24?
True
Suppose -4*x - 26 = 10. Let p(n) = -n - 4*n - 13 + 4. Is p(x) a multiple of 16?
False
Let d(f) = f**2 + 32*f - 123. Is d(-51) a multiple of 18?
True
Suppose 46 + 3 = -q. Let l = q + 86. Is l a multiple of 21?
False
Let u(y) = 3*y**2 + y. Let t be u(0). Suppose 5*h - 4*s - 700 = t, 2*h = -5*s + 164 + 83. Does 34 divide h?
True
Let c(x) = 10*x**2 - 18*x + 11. Is c(-4) a multiple of 27?
True
Let r(u) = -4 + u**2 + u**2 - 2 + 4*u + 2. Does 11 divide r(4)?
True
Let i(f) = f**2 - 2*f + 1. Let z be i(4). Let m = -8 - z. Let t = m - -25. Is 7 a factor of t?
False
Let j = -12 - -3. Is (-2)/(-9) - 448/j a multiple of 10?
True
Let k = 31 - 33. Let g(b) = -4*b**2 + 5*b + 4. Let s(h) = 17*h**2 - 19*h - 15. Let v(t) = k*s(t) - 9*g(t). Does 17 divide v(8)?
False
Suppose 0 = 5*u + 33*z - 31*z - 250, -2*z = 0. Is 9 a factor of u?
False
Let b(z) = 25*z + 247. Is b(0) a multiple of 13?
True
Let i be 44/14 + (-5)/35. Suppose 8*d = i*d + 50. Is d a multiple of 8?
False
Let m(u) = -26*u - 8. Let g be m(-7). Suppose 2889 = 7*l + 719. Let f = l - g. Is 34 a factor of f?
True
Let j(t) = -9*t**3 + 10*t**2 + 19*t + 1. Let m(k) = 5*k**3 - 5*k**2 - 10*k. Let d(l) = -6*j(l) - 11*m(l). Does 27 divide d(-6)?
True
Let o(p) = 66*p**3 + p**2 - 2*p - 3. Let z(i) = i + 1. Let k(x) = -o(x) - 3*z(x). Is 8 a factor of k(-1)?
False
Let y = 864 + -236. Is 17 a factor of y?
False
Let z = -25 - -31. Does 8 divide 128/(z/(-9)*-3)?
True
Let r(p) = 46*p**2 - 9*p + 8. Is r(3) a multiple of 79?
True
Let u = -7 - 1. Let z(p) = p**3 + 7*p**2 - 9*p - 1. Let i be z(u). Suppose -24*x + 25*x = i. Is x even?
False
Suppose -91*k + 2223 = -88*k. Does 57 divide k?
True
Let i be (-9 - -8)*(0 - -1). Let k = 22 - i. Does 10 divide k?
False
Let r = 13856 - 9441. Is r a multiple of 34?
False
Suppose 5*f + 2 = -5*v - 3, -5*v = 20. Suppose 3*n + 5*d = 203, -n - f*d + 62 = -7*d. Suppose 5*p = 181 - n. Does 23 divide p?
True
Let q = 94 + 278. Does 12 divide q?
True
Let o(l) = 4*l**3 + 6*l**2 - 11*l. Is 23 a factor of o(6)?
False
Suppose 376 = 4*s - 5*g - 7518, 3*g = -5*s + 9886. Is 38 a factor of s?
True
Let q(n) = n + 6. Suppose -7 = -2*d + 3*d. Let b be q(d). Is 33*b*(-5)/3 a multiple of 11?
True
Let f(v) = 14*v**2 + 13*v - v**3 - 2*v**2 - 15 - 8*v. Let a be f(12). Suppose -a = 3*m - 4*m. Does 16 divide m?
False
Suppose -b + 10 = 4*b. Let w be 64/1 - (b + -2). Suppose -w = -3*g - g. Is g a multiple of 4?
True
Let t(x) = -x - 13. Let y be t(-6). Let d = 291 + -282. Let m = d + y. Is m a multiple of 2?
True
Let x = 37 + -33. Suppose -5*q + 44 = -x*q. Is q a multiple of 11?
True
Let j(u) = 6*u**2 - 6*u - 1. Let t(w) = w + 1. Let m(y) = j(y) + 5*t(y). Is m(4) a multiple of 28?
False
Let v = 2 - 5. Is (18/6)/(v/(-14)) a multiple of 2?
True
Let w = -5 + 11. Let o(g) be the third derivative of -g**5/60 + 11*g**4/24 - 7*g**3/6 + 68*g**2. Is 13 a factor of o(w)?
False
Is 47 a factor of -94*2*21/(-4)?
True
Let n be (460/16)/((-2)/(-8)) - -2. Suppose b + n = 2*b. Is b a multiple of 13?
True
Let v = -98 + 241. Let q = v + -86. Is q a multiple of 19?
True
Let w(x) = 3*x**2 + 9 + 3*x - 4*x**2 + 9*x. Let p be w(8). Let l = p + 1. Does 14 divide l?
True
Suppose 4*w + 5*k = 4305, 3*w + 4*k = 1479 + 1749. Is 54 a factor of w?
True
Suppose -t = 3*s - 469 - 486