 14*o + 24. Let k be z(-17). Does 8 divide r*(-2)/(-4) - k?
False
Let j(f) = -f**3 - f**2 + 12*f + 7. Is 17 a factor of j(-9)?
False
Let t(w) = 2*w + 16. Suppose 5*j = 4 - 14. Is t(j) a multiple of 5?
False
Let q = 662 + -241. Does 9 divide q?
False
Suppose 13*j = 4*j + 5544. Does 28 divide j?
True
Suppose 8*n + 628 = 3*x + 3*n, -5*n = 5*x - 1100. Is 9 a factor of x?
True
Suppose 3241 = 11*z - 2435. Is 15 a factor of z?
False
Suppose 5*t + 11*f - 13*f = 7775, 0 = -4*t - 4*f + 6248. Is 11 a factor of t?
False
Let f(h) = -53*h - 14. Let p be f(5). Let j = p - -419. Does 16 divide (j + -23)*(-2)/(-6)?
False
Let g = -147 + 327. Is g a multiple of 9?
True
Is 81 a factor of 86/(-10) - -8 - 23506/(-10)?
False
Suppose -u = -2*y - 146, 6*y = 3*y + 15. Is u a multiple of 4?
True
Suppose 0*k - 20 = -4*k. Suppose -2*i = -k*h - 47, -h + 3*h = -6. Is 16 a factor of i?
True
Let a(u) = -u**3 - u**2 + 41. Let k be a(0). Let q = k + 14. Suppose q = b - 7. Is 28 a factor of b?
False
Suppose 3*i + 896 + 694 = 3*s, -5*i - 20 = 0. Is 17 a factor of s?
False
Let y(t) = -36*t**2 + t. Let j be y(1). Suppose -4*a = x - 2*a + 52, 3*a = -5*x - 295. Let v = j - x. Is 9 a factor of v?
True
Does 5 divide 12/66 - 5/(220/(-38712))?
True
Suppose -4*c + 864 = 4*c. Suppose 72*j - 71*j = c. Is 11 a factor of j?
False
Suppose -2*i - 4*n = -692, 14*i - 11*i - n - 1024 = 0. Does 17 divide i?
False
Is 2 a factor of (-2)/(1062/1074 - 1)?
False
Is ((-9540)/9 + 8)*(-2)/8 a multiple of 13?
False
Suppose -3*w - 8 = 52. Let q = 22 + w. Suppose -3*i = 4*s - 18 - 221, q*s - i = 117. Is s a multiple of 26?
False
Let b = 271 + 263. Is 21 a factor of b?
False
Suppose -i = -1378 + 378. Suppose -6*q + i = -q. Suppose 2*l + 3*l = q. Is 11 a factor of l?
False
Suppose 16*z + 312 = 19*z. Let q = z + 134. Is q a multiple of 17?
True
Let c = -34 + 57. Suppose -c*h + 20*h = -216. Does 23 divide h?
False
Let h = -110 - -210. Does 12 divide h?
False
Suppose 0 = -5*o + 2*d + 84, 3*d - 2*d = 3. Let z(c) = 2*c - 5. Let r be z(14). Let a = r - o. Is a a multiple of 5?
True
Let f be (-3)/(-1)*(-8)/6. Let l be (f - -1)*(-16)/6. Suppose l + 4 = 2*c. Does 6 divide c?
True
Let b(s) = s**3 + 3*s**2 - 2*s + 3. Let n be b(2). Let v = -14 + n. Suppose v*h = 152 + 208. Is 24 a factor of h?
True
Suppose -21*t = -1140 - 792. Is 24 a factor of t?
False
Let q = 74 + -78. Is 14 a factor of (-319)/(-4) - 1/q?
False
Let k(t) = 5*t**2 - 19*t - 7. Let n be k(6). Let a = n + 13. Is 12 a factor of a?
True
Let x = 156 + -106. Let a be 4/2 - (-13 + 15). Suppose v + 3*q - 31 = a, -x = -3*v - q + 19. Is v a multiple of 19?
False
Let d be -3 + 3 + 1 - -4. Suppose 0 = 2*p + 2*l - 8, 2*p - 13 = l - d. Is p a multiple of 4?
True
Let u(r) = 5*r + 10. Let t(f) = -f - 2. Let n(x) = 11*t(x) + 2*u(x). Let c be n(7). Does 16 divide (36/15)/(c/(-120))?
True
Let k = -35 - -44. Let j = 12 + k. Does 4 divide j?
False
Suppose -4*c + 920 = -4*a, 0 = 12*c - 3*a - 3505 + 709. Is 18 a factor of c?
True
Suppose -12*n - 2*d = -9*n - 91, 3*n + 4*d - 89 = 0. Does 3 divide n?
False
Let x(k) = -59*k**3 + 3*k**2 + 5*k - 3. Let i be x(-2). Let j = -278 + i. Is j a multiple of 10?
False
Let a(z) = 4*z**2 - 26*z + 66. Let g be a(20). Suppose -7*c - g = -13*c. Does 33 divide c?
False
Let n(s) = 23*s + 4. Let t be n(11). Let c = -182 + t. Does 15 divide c?
True
Let t = 84 + 288. Does 31 divide t?
True
Suppose -3*s + 963 + 2117 = j, 4096 = 4*s - 4*j. Does 57 divide s?
True
Let o(x) = 12*x**2 + 11*x + 7. Let z(f) = 6*f**2 + 6*f + 4. Let g(k) = -4*o(k) + 7*z(k). Let b be g(2). Is b/(-2) - (-2 - -5) a multiple of 4?
False
Suppose 0 = c - 4*i - 622, -4*i + 610 = c - 28. Does 70 divide c?
True
Suppose 0 = -8*b + 1454 + 1978. Is b a multiple of 16?
False
Suppose 0 = -3*m + 6 - 0. Suppose -35 + 3 = -m*k. Let s = -10 + k. Is s a multiple of 3?
True
Let r(p) = p**3 + 7*p**2 - 7*p + 6. Is r(-6) a multiple of 10?
False
Let o(w) = 60*w - 84. Is o(3) a multiple of 4?
True
Suppose 20*d = 8135 + 8345. Does 7 divide d?
False
Suppose -5*h + 935 = 2*a, 1379 = 5*a + 5*h - 996. Does 36 divide a?
False
Let d(q) = 30*q + 5. Let p(k) = -k**3 - 7*k**2 - 2*k - 8. Let w be p(-7). Let r be d(w). Let v = -68 + r. Is v a multiple of 39?
True
Suppose -2*f + 3*f + s - 645 = 0, f - 4*s = 620. Is f a multiple of 32?
True
Suppose 0 = -31*p + 26*p + 5230. Is 7 a factor of p?
False
Suppose 4*f = 5*v - 14, -v = v + 4*f. Suppose 11 + 13 = v*q. Does 6 divide q?
True
Let a(d) = -2*d**3 - 5*d**2 + 2. Let c be a(-4). Suppose 5*z + 3*t = -0*t + 110, z - 5*t - c = 0. Does 8 divide z?
False
Let v = 9 + -7. Suppose -b - 3 = 3*z, -2 = v*z - 0. Suppose 0 = -s + r + 92, -3*s + s - 2*r + 176 = b. Does 18 divide s?
True
Let a(c) = 3*c**2 + 12*c - 17. Let b be a(-5). Let t(i) be the first derivative of -5*i**4/4 - i**3/3 + i**2/2 - 3*i + 2. Is t(b) a multiple of 8?
False
Suppose -2*r = -4*c + 3 - 13, -4*r + 20 = 2*c. Suppose 0 = -q + r*q. Suppose q*k = -5*k + 90. Does 9 divide k?
True
Let s(w) = 182*w - 3. Let z be s(1). Let l = z - 139. Does 8 divide l?
True
Let w be ((-2)/(-3))/((-4)/(-6)). Let g be 2*1/(w/(-4)). Let z = g - -19. Is 5 a factor of z?
False
Let t = -3 - -1. Let w(u) = u**2 + 36*u + 371. Let p be w(-14). Is 15 a factor of (p/(-2) + t)*-2?
False
Suppose -4*h - 2 - 6 = 0. Let f be -4 - (3 - -25)/h. Suppose f = 2*b - 104. Is 12 a factor of b?
False
Let u(p) = 17*p**2 + 2*p + 13. Is 13 a factor of u(-4)?
False
Let y be 0/(-3) + (-102)/(-1). Let w = -20 + y. Does 41 divide w?
True
Let k(h) = h**2 + 9*h + 11. Suppose 2 = -3*v - 22. Let r be k(v). Suppose x - r*x = -52. Is 9 a factor of x?
False
Suppose 3*w + 13 = -4*h + 116, h + w = 26. Is h a multiple of 5?
True
Suppose -18 = -3*n - 3*a, 0 = 4*n - 0*a + 2*a - 30. Suppose -w + 43 = n. Is w a multiple of 11?
False
Let v = -680 + 1150. Does 13 divide v?
False
Let l(h) = -3*h + 31. Let i be l(10). Is 35 a factor of (-2)/4 - 351*i/(-2)?
True
Does 13 divide (30/(-6))/(7/(-4004))?
True
Let r(x) be the third derivative of x**6/120 + 7*x**5/60 - x**4/24 - x**3 - 2*x**2. Let h be r(-6). Let a = 101 - h. Does 24 divide a?
False
Let a(y) be the second derivative of y**4/3 - y**3/3 - y**2 - 9*y. Does 14 divide a(3)?
True
Let f(b) = -b**3 - 5*b**2 + 12*b - 11. Let p be f(-7). Suppose 5*c = 3*s - 117, -2*s = -c - p*c - 76. Is 11 a factor of s?
True
Let v(u) = -2*u**2 + 5*u - 2. Let w be v(2). Suppose w = 4*x - 385 - 23. Is x a multiple of 17?
True
Let f = 296 + 680. Is f a multiple of 32?
False
Let m(n) = -n**2 - 20*n - 25. Let k be m(-18). Suppose 3 = 2*g - 1. Suppose -2*q - 5*i - k = 0, g*q - 4*q + 29 = -3*i. Is 7 a factor of q?
True
Let l = 1413 - 1237. Is 22 a factor of l?
True
Let b(m) be the first derivative of m**3/3 - 13*m**2/2 + 12*m - 4. Let j be b(12). Does 2 divide 1 - 5 - (-6 + j)?
True
Suppose 0 = -0*g - 6*g. Suppose -2*v + 4*u = -76, 3*u = -g*u - 15. Is v a multiple of 7?
True
Let w = 21 + 289. Is 13 a factor of w?
False
Suppose -5*d - 3*a = -14, -3*a + 10 = -3*d + 4*d. Does 4 divide (0 - -2) + 1 + d?
True
Suppose 6*n = 17 + 1. Suppose 0 = -c + 1 + n. Is 36 a factor of 604/6 - c/(-12)?
False
Let t be 9/2*24/18. Let d be 974/(-10) - t/10. Is (12/(-7))/(4/d) a multiple of 14?
True
Let n = 80 + -17. Let y = 90 - n. Is y a multiple of 9?
True
Suppose 0 = 124*t - 61*t - 148113. Is t a multiple of 13?
False
Let u(t) = -t**2 - 8*t - 5. Let m be u(-7). Suppose -x - 5 = -m. Is 10 a factor of 21 + (x - -3) + -1?
True
Let d = -128 + 186. Suppose d = -2*y + 2*h, -6*h + 3*h = 0. Let x = 120 + y. Does 16 divide x?
False
Suppose 5*z - 1159 + 226 = -4*t, 0 = -5*t + 3*z + 1157. Is t a multiple of 29?
True
Suppose z - 3 = c - 2*c, 2*z - 2*c - 14 = 0. Let l = z + -6. Does 21 divide 4 + l + -5 + 51?
False
Is 727*(1 - -1) - -4 a multiple of 18?
True
Let h = -849 + 1450. Is h a multiple of 62?
False
Let n be (-6)/(-15) - (828/(-5) - 0). Suppose n = 3*x - 7*l + 3*l, -265 = -5*x - 5*l. Does 8 divide x?
False
Let d(v) = -v**3 + 3*v - 2. Let y be d(-3). Let b be 0/(y/4) + 0. Suppose -3*m - 2 + 14 = b. Does 4 divide m?
True
Let h be (-38 - 36)*(6/4)/3. Let q be 2/(-2) - (0 - 39). Let z = q - h. Is 15 a factor of z?
True
Let x(v) = -6*v - 41. Let b be x(-7). Is 10 a factor of 52/2 - 2/b?
False
Let b(w) = 0 + 2*w**2 - 16*w + 1 + 4 + 1. Is b(8) a multiple of 2?
True
Let m(d) = -