ltiple of 16?
True
Let w be 5184/44 - 8/(-44). Suppose -w = -b + 35. Does 9 divide b?
True
Let z = -12 + 14. Suppose 141 = z*i - 5*i. Let a = 86 + i. Does 13 divide a?
True
Let t(u) be the first derivative of -u**2 + 17*u - 13. Let n be t(6). Suppose n*w + 89 = 3*o, -2*o - 4*w = -6*w - 62. Does 11 divide o?
True
Suppose 3384 = -13*r + 15552. Is r a multiple of 11?
False
Does 4 divide (-50*3/(-24))/((-1)/(-20))?
False
Suppose -25*u + 27*u = 12. Suppose -7*s + 14 = -u*s. Suppose 4 = 3*k - s. Is k a multiple of 3?
True
Let l(j) = -3*j - 7. Let q be l(-3). Suppose q*y = 6*y + v - 10, 5*v = 2*y + 6. Is y*1*(28 - 1) a multiple of 11?
False
Let z be 26/5 + 3*(-4)/60. Suppose -z*a - 192 = -832. Does 32 divide a?
True
Suppose 0 = 5*p + 64 + 346. Suppose w - 162 = -2*d, -d = -3*w + 6*w - 466. Let x = w + p. Does 18 divide x?
True
Let c(b) = -4*b**3 + 3*b**2 + b + 4. Let n be c(-3). Suppose -3*p - p = -n. Is p a multiple of 34?
True
Suppose 0*k + 9281 = 4*v + k, -3*v - 3*k = -6963. Is (-2)/(-5)*v/32 a multiple of 25?
False
Let f = 199 - 135. Let k = f - 62. Is 2 a factor of k?
True
Suppose -13*n = -12*n - 197. Let r = 389 - n. Does 35 divide r?
False
Let y be (16/10)/((-4)/(-1130)). Suppose 713 = -4*v - 563. Let k = v + y. Is k a multiple of 28?
False
Suppose 0 = 4*b - 470 - 3066. Is 26 a factor of b?
True
Let n(h) be the third derivative of 4*h**5/5 + h**4/12 - h**3/2 - 17*h**2. Is 20 a factor of n(2)?
False
Is -5 - (-1)/((-14292)/(-3572) - 4) a multiple of 7?
False
Let v = 50 - 44. Let d = v + 22. Does 14 divide d?
True
Let a(u) = 3*u**3 + 25*u - 280. Is 13 a factor of a(9)?
True
Let y(r) = r**3 + 6*r**2 - 8*r + 9. Let m be y(-7). Let x = m - -2. Is x/(-1 - 6/(-2)) a multiple of 3?
True
Suppose 198 = -11*m - 561. Let f = 157 + m. Is 11 a factor of f?
True
Suppose 0 = 9*c - 6*c + 312. Is 11 a factor of (-1)/(-4) + (-21710)/c?
True
Suppose 3*z = -5*k + 23925, -2*k - 4*z + 2*z + 9566 = 0. Is 15 a factor of (-4)/10 + k/20 + 5?
False
Is (442758/(-4739))/(0 - (-2)/(-14)) a multiple of 11?
False
Let c(p) = -p**3. Let g(x) = x**3 - x**2 + 4*x + 3. Let z(d) = 3*c(d) + g(d). Let f be z(-2). Suppose -f*i + 3*i = -60. Does 8 divide i?
False
Is (168/(-20))/(5/(-75)) a multiple of 14?
True
Let c = 7 - -2. Suppose h - 3*h - 3*o + c = 0, -3*o = h - 12. Does 18 divide (-188)/h + 18/(-27)?
False
Suppose -2*r = o - 2455, -3*o + r + 5570 + 1774 = 0. Is 16 a factor of o?
False
Suppose 7*s = 349 + 316. Suppose 94*q - s*q = -82. Is q a multiple of 9?
False
Suppose 3*j + 2*j = -20, 4*j = -2*o - 16. Suppose q = -o*q + 140. Suppose 5*r - 50 - 107 = 4*i, -4*r + q = 4*i. Does 11 divide r?
True
Let x(t) = 16*t + 30. Let a(p) = p**2 + p. Let d(r) = -a(r) - x(r). Does 5 divide d(-9)?
False
Let h(i) = -i**3 + 20*i**2 - 8*i - 10. Is h(18) a multiple of 26?
True
Let h(i) = 3*i**2 - 7*i + 5. Let b(a) = a**3 - 12*a**2 - 14*a + 17. Let p be b(13). Does 6 divide h(p)?
False
Let m be 0/(2 + 12/(-3)). Suppose m = -p + 5*u + 9, -p + 3*p + 10 = 3*u. Does 3 divide 1 + 4 + -3 - p?
False
Suppose -5*l = -11872 + 2277. Does 61 divide l?
False
Suppose 0 = z - 4*m - 962, 2*m - 1385 = -z - 411. Is 6 a factor of z?
False
Let p(x) = 4*x**3 + 5*x**2 - 7*x + 42. Is p(9) a multiple of 44?
True
Suppose -q = -3*o - 2*q + 2884, -5*o + 2*q + 4792 = 0. Is 15 a factor of o?
True
Let w = 199 - 114. Let x = w + 125. Suppose 7*y - x = 5*y. Does 35 divide y?
True
Let f be 1/(-4) + (-145)/60*-3. Suppose -f*z + 85 = -6. Does 13 divide z?
True
Let b = 9 - 11. Let a = b - -13. Let u = 19 + a. Is u a multiple of 13?
False
Let r(x) = 51*x - 1035. Is 18 a factor of r(51)?
True
Suppose 12 = -3*w, 2*j + 32 = w - 0. Let h = j + 23. Suppose 4*f - 25 = -4*y + 35, h*f - 67 = -y. Is 6 a factor of f?
False
Let v = 528 - 412. Is 20 a factor of v?
False
Suppose 1010 - 3482 = -24*q. Does 2 divide q?
False
Suppose 2*t + 2*q - 29 - 1187 = 0, 4*t = 2*q + 2432. Suppose -t = -25*h + 21*h. Is h a multiple of 9?
False
Let k(d) = -d - 12. Let n(x) = -3*x - 24. Let r(h) = -7*k(h) + 4*n(h). Is r(-8) a multiple of 9?
False
Suppose 2*c + 2 + 30 = 0. Let s(w) = w**2 + 17*w + 4. Let z be s(c). Does 6 divide (-3)/z*(194 - 6)?
False
Let g = -25 + 25. Suppose j + 2*j = g. Suppose j = 4*w + 5*x - 197, 2*w + 4*x - 2 - 98 = 0. Does 24 divide w?
True
Suppose -3*x = 6, 5*p + 4*x = 2*p + 25. Suppose p*a - 490 = 4*a. Is a a multiple of 6?
False
Let x = 20 + -2. Let d = x + 1. Is 9 a factor of d?
False
Suppose 119*n = 114*n + 40. Let t(m) = m**3 - 4*m**2 - 17*m + 12. Is t(n) a multiple of 22?
True
Let i(f) = f + 5. Let m be i(2). Suppose -q = -2*q + m. Is 2/q - 61/(-7) a multiple of 2?
False
Let t = 968 - 715. Is 53 a factor of t?
False
Let i(g) = -158*g + 278. Is 4 a factor of i(-5)?
True
Suppose 2*w + 2*p - 992 = 0, 5*p = 5*w - 2228 - 262. Is 16 a factor of w?
False
Is 15 a factor of 4/(-18) + 1 + (-4529)/(-9)?
False
Let b(s) = -s**3 + 9*s**2 + 11*s - 10. Let y be b(10). Suppose y = 5*i - 74 - 196. Is 2 a factor of (-2)/(-8) - i/(-8)?
False
Let x(w) = w**3 + w**2 + w + 1. Let r(y) = 5*y**3 + 9*y**2 + 6*y + 10. Let q(n) = -r(n) + 4*x(n). Let d be q(-5). Suppose -d*f + 5*f = 17. Does 14 divide f?
False
Suppose -48 = -5*c - 3*c. Let l be -1*1 + c + -4. Is 9*(0 + l) - 1 a multiple of 8?
True
Let w = 14 + -14. Suppose 2*l = -4*c + 402, w = 2*c - 2*l - 84 - 102. Is 7 a factor of c?
True
Let l be 6 + -6 + 19/1. Suppose l*o - 768 = 17*o. Suppose -4*b + 5*i = -o, -b - 96 = -2*b + 5*i. Does 24 divide b?
True
Suppose -3*k = -h + 387, 4*h + 2*k - 1557 = 5*k. Does 51 divide h?
False
Suppose -16*d + 4178 = -2830. Does 17 divide d?
False
Let y(v) be the first derivative of -v**4/4 - 2*v**3/3 - 3*v**2/2 - 2. Let r = 3 - 5. Is 6 a factor of y(r)?
True
Suppose 2*n + 25 = -7. Let p = 66 + n. Is 13 a factor of p + 4/((-8)/6)?
False
Suppose 0 = 4*v + v + 5*l + 210, -5*l = -5*v - 200. Let m = v - -89. Suppose 0*y - m = -2*y. Is 8 a factor of y?
True
Let y = -593 + 835. Does 29 divide y?
False
Let x be (0 - -5)*(49/(-7) + 8). Suppose -x*w + k + 603 - 126 = 0, k - 93 = -w. Does 16 divide w?
False
Suppose 6 + 29 = 5*l. Suppose -r - 456 = -l*r. Does 20 divide r?
False
Let r be (0/(-2))/(-2) + 5. Suppose -3*i + 12 = 0, 4*u = -r*i + 115 + 225. Does 11 divide u?
False
Let j(p) = -p**2 + 31*p + 27. Does 12 divide j(25)?
False
Let j(v) = 2*v**2 + 17*v + 2. Let q be j(-13). Suppose -q = -3*o - 47. Is o a multiple of 4?
True
Let i(k) = -k**3 + 5*k**2 + 5*k + 1. Let d be i(5). Suppose d*l = 27*l - 30. Suppose -p + t = -l, 80 = 4*p - 3*t + 7*t. Does 6 divide p?
False
Let u = 242 + 358. Does 15 divide u?
True
Suppose 0*s = -4*a - 4*s + 3944, -3*s - 2982 = -3*a. Is a a multiple of 19?
False
Let j(t) = -2*t - 11. Let p be j(-10). Let z be (p - 6)*13/(-3). Let i = z + 19. Is 3 a factor of i?
True
Is 9 a factor of (-20)/50 - (-28716)/15?
False
Suppose -96*x + 107*x - 16643 = 0. Does 68 divide x?
False
Let z = -30 + 58. Let k(l) = -l**2 + 36*l + 71. Is 20 a factor of k(z)?
False
Suppose 3*w + 0*w + 3 = 2*t, -3*t + 6 = -5*w. Is 12 a factor of 32 - w/(15/20)?
True
Let w(n) be the third derivative of 0*n + 0 + 1/8*n**4 - 5/3*n**3 + 8*n**2. Is w(14) a multiple of 16?
True
Is 18 a factor of (-196852)/(-377) + (-2)/13?
True
Let m(d) = -4*d - 23. Suppose 5*x - 16 = -5*s - 56, x + 32 = 5*s. Is 8 a factor of m(x)?
False
Let c = -56 + 61. Let m(u) = -2*u - 3 - 3*u + 11*u + 3*u. Does 14 divide m(c)?
True
Let d be 1 + (-3 + -49 - 0). Let x be ((-3090)/(-8))/(d/(-136)). Is 12 a factor of x/65 - (-8)/52?
False
Suppose -133 = 7*h - 6*h. Is 16 a factor of 16/5*(-19)/(h/210)?
True
Suppose 0 = -0*x - 5*x + 45. Let z = 29 - x. Suppose 14 = 2*f - z. Is 17 a factor of f?
True
Let o = -24 - -48. Let h = 86 + o. Does 26 divide h?
False
Suppose 4*z = 7 - 7. Suppose 441 = 4*s - 5*l, s - 3*l = -z*s + 112. Is s a multiple of 11?
False
Let m(z) = -z + 20. Let i be m(15). Let n(g) = g + 3. Let k be n(-3). Does 6 divide i + -2 + k + 15?
True
Let s = -308 - -763. Is 27 a factor of s?
False
Let v = -212 - -339. Does 16 divide v?
False
Suppose 0 = -3*n - 100 - 29. Let p = -29 - n. Is 4 a factor of p?
False
Let h(y) be the second derivative of y**5/60 - y**4/3 + 5*y**3/3 - y**2 + 5*y. Let k(o) be the first derivative of h(o). Does 20 divide k(10)?
False
Suppose -6*r + 18 + 12 = 0. Suppose 2*x - 3*x + 154 = 3*m, r*m + x - 254