 q(r) = 9*a(r) - 4*m(r). Is 14 a factor of q(-2)?
True
Is 15 a factor of (-8)/(-80)*-50 + 230*37?
True
Suppose 13*v = 6*v + 35. Suppose v*p = c - 1055, -20*c + 22*c - 3*p = 2124. Is 15 a factor of c?
True
Let b(t) = 16*t + 11. Let k(f) = 3*f + 2. Let c(m) = 2*b(m) - 11*k(m). Let j(s) = s**2 + 3*s + 7. Let z(v) = 6*c(v) + j(v). Is z(5) a multiple of 14?
False
Let h = 40 - 36. Let s(k) = 4*k**3 - 5*k**2 - 2*k + 2. Is 17 a factor of s(h)?
True
Let x(y) = -3*y + 6. Let l be x(-5). Let m be (-4 - -16)/((-4)/2) - -115. Suppose -l - m = -2*o. Is o a multiple of 22?
False
Let m = 6751 + -3535. Is m a multiple of 134?
True
Is 5 a factor of 88*1165/38 + (-102)/(-969)?
False
Suppose -4*y = -3*p - 0*y - 8, 0 = -p + 2*y - 4. Suppose 0 = -p*s - 6*s + 900. Does 25 divide s?
True
Suppose b = -2*y - b + 16, -b = 2*y - 13. Let o be (8174/305)/(2/(-5)). Does 14 divide y/(20/8) - o?
False
Let s(b) = 39*b - b**2 + 10 - 87*b + 36*b. Let u be s(-6). Suppose 4*x - u - 162 = 0. Is 52 a factor of x?
True
Let s = -297 + 261. Is 7 a factor of (54/s)/((-6)/1796)?
False
Suppose 4*p + 19204 = 3*d, -115*p = -2*d - 118*p + 12797. Is 8 a factor of d?
True
Let r = -79 + 84. Let a(c) = -r - c**2 + 4*c + 6*c - 4 - 3*c. Is 3 a factor of a(3)?
True
Suppose 11*j - 10*j = 6*i - 16727, -5*j = 5*i - 13910. Is i a multiple of 19?
False
Suppose 0 = 5*s + 4*z - 14018, -17*z = -18*z + 2. Is 5 a factor of s?
False
Suppose 90 = -0*t + 5*t. Let y = -38 + t. Does 9 divide (-1)/(y/(-8) - 2) + 20?
True
Let i(t) = 4101*t**2 + 947*t - 948. Does 71 divide i(1)?
False
Suppose 0 = -10*k + 2*i + 49847 + 124501, 5*i - 52282 = -3*k. Does 8 divide k?
False
Let d = -1044 - -2364. Is 15 a factor of d?
True
Let x = 209 - 207. Suppose x*k = 116 - 2. Is k a multiple of 5?
False
Let b be (9/3)/((-3)/2). Let a be b/(-3)*(-11 + 14). Is -2 + 0 + a/(-2) - -65 a multiple of 17?
False
Let n(k) = 10165*k**3 + k**2 - 169*k + 169. Is 34 a factor of n(1)?
True
Let j(m) = -1868*m + 1823. Does 15 divide j(-14)?
True
Suppose x - 24112 = -2*n - 3812, -n + 10157 = 4*x. Is 16 a factor of n?
False
Suppose 5030 = 4*r - 2*r - 330. Does 13 divide r?
False
Suppose 4*q + 414 + 377 = -b, -b + q = 776. Let y = b - -1692. Is y a multiple of 33?
False
Suppose -39355*f + 41888 = -39344*f. Is f a multiple of 9?
False
Let h = -256 - -251. Let s(u) = -130*u - 138. Is s(h) a multiple of 16?
True
Let o be (-2178)/(-27) - 3/(-9). Suppose 6*q - o = 15*q. Let m = 27 + q. Is m a multiple of 3?
True
Is (-228914)/(-21) + 24/(-36) a multiple of 25?
True
Let d(z) = z**3 + 81*z**2 + 301*z - 176. Does 2 divide d(-77)?
False
Suppose 70*y - 2*p = 67*y + 14346, -6*y + 5*p = -28692. Does 65 divide y?
False
Let k(g) = 0*g - 7*g**2 - 6*g**3 + 3*g**3 + 2*g**3 + 5*g + 1. Let n(l) = l**2 - 8*l + 8. Let i be n(4). Does 14 divide k(i)?
False
Let d(p) = 22*p - 64. Let o be d(3). Does 4 divide ((-2331)/(-74))/(o/4)?
False
Suppose 72 = 3*f - 11*f. Let u be f/((-9)/190) + 2/(-2). Suppose 69 + u = 6*r. Does 9 divide r?
False
Let k(w) = -w**3 + 76*w**2 - 37*w + 76. Is 77 a factor of k(75)?
True
Suppose 460*x = 56551641 - 22393881. Is x a multiple of 113?
False
Suppose 4*a = -0*a - 8, a = 5*i - 2. Let p be 31/(-3) - 6/9. Does 11 divide (i - 41)*(p + 10)?
False
Let g be 2*33/6 + -4. Let x be (-3)/(-1 + 2) + g. Suppose -x*a + 3*a + 27 = 0. Is a a multiple of 9?
True
Suppose -1770 = 303*n - 309*n. Is -4*(-9)/(-36) + n a multiple of 21?
True
Suppose 3*h + 0*h = 0. Suppose 58*i - 513 - 1001 + 122 = 0. Suppose g - i + 1 = h. Does 12 divide g?
False
Suppose -7*a + 11010 = w - 3*a, 0 = 5*a. Does 217 divide w?
False
Let u(l) = -2*l**2 - 9*l + 1. Let d be u(-4). Suppose 8*n - d*n + 279 = 0. Let q = 152 + n. Is q a multiple of 7?
False
Let i(v) = 3*v**3 - 40*v**2 - 40*v + 5. Does 37 divide i(15)?
False
Suppose 0 = -273*m - 51*m + 2943216. Does 26 divide m?
False
Suppose 8*m - 3846 = -a + 7*m, 5*a - 19188 = 2*m. Is 96 a factor of a?
True
Let d = 4529 - 4525. Is 2 a factor of d?
True
Suppose -3812 + 13409 = 7*g. Is 14 a factor of g?
False
Let j(u) = u**2 - 10*u + 22. Let v be j(8). Suppose -v*o = -21*o + 8250. Is o a multiple of 50?
True
Let q = 1 + -4. Let b(p) be the first derivative of p**4/4 + 8*p**3/3 + 5*p**2/2 + 2*p - 599. Does 16 divide b(q)?
True
Let u be 12 + -14 - (419*-2 - 2). Suppose -2*x + k + u = -0*k, 0 = -3*k + 6. Suppose x = -52*g + 57*g. Is g a multiple of 14?
True
Let j be (-1 + 13*1)*(-38152)/(-57). Suppose 15*w = j - 1342. Does 49 divide w?
False
Let l(s) = 12*s**3 + 31*s**2 - 176*s + 30. Is l(8) a multiple of 15?
True
Let m(p) = -2777*p - 1186. Is m(-2) a multiple of 127?
False
Let j(k) = -6*k + 6*k + 3*k - 12 - 7*k. Suppose 4*p = -4, -4*o - 4*p - 23 = 17. Is j(o) a multiple of 6?
True
Suppose 2*v + 2*n - 484 = 0, 267 = 4*v - 5*n - 746. Let d = v - -126. Does 58 divide d?
False
Let v(r) = r**3 + 20*r**2 + 28*r - 13. Let k = -65 - -49. Let i be v(k). Suppose 367 = 5*w - i. Does 26 divide w?
False
Let u(q) = -q**3 + 9*q**2 - 6*q - 10. Let k be u(8). Suppose 6*v + 0*v = k. Suppose 0 = -4*f + m + 4*m + 165, 0 = -m - v. Is f a multiple of 21?
False
Let b = 19 - 15. Let c be (-6)/(-4) + 1626/b. Let i = -242 + c. Is 27 a factor of i?
False
Let w = 9031 - 7731. Does 52 divide w?
True
Suppose -52*y - 6 = -54*y, -372 = -3*z - y. Is z a multiple of 3?
True
Let x be 2 + (0 - -2)*(-1659)/(-42). Suppose o + 0 = 3*n + x, 316 = 4*o - 4*n. Does 18 divide o?
False
Let n(d) = d**3 - 11*d**2 - 26*d + 196. Is n(21) a multiple of 10?
True
Suppose 2*p + k = 1019, 5*p + 2*k - 2551 = 3*k. Suppose -w - 3*v = -p, 0 = v + 4*v + 5. Does 19 divide w?
True
Suppose 3*d + i - 1339 = 55419, -i = -11*d + 208122. Is d a multiple of 8?
True
Let p(h) = 34*h + 335. Let t be p(-9). Suppose -3*z - t = -1379. Is z a multiple of 15?
True
Suppose -3*i + 12 = 3*i. Let j(c) = c**i - 7 - 15 + 161*c - 164*c. Is 28 a factor of j(-6)?
False
Is 15 a factor of 340/30*660 + 0?
False
Suppose 19*y = 3834 + 6802 + 16268. Is 59 a factor of y?
True
Let u be (-4)/5 + (-1062)/(-90). Let m(f) = 22 - 3 - f - 2. Is 2 a factor of m(u)?
True
Suppose 0 = 3*k + 5*n - 1200, -6*k - n - 1092 = -3438. Is 31 a factor of k?
False
Let a(i) = -i**3 + 17*i**2 - 26*i + 8. Suppose 0 = -2*n + 13 + 17. Is 17 a factor of a(n)?
True
Let n = 14324 - -12934. Is n a multiple of 231?
True
Is 29 a factor of ((-14)/(-5) - 3)*(36 - 2)*-475?
False
Suppose -13*w + 6604 = -2327. Suppose w = -19*u + 4639. Does 52 divide u?
True
Suppose 0 = -38*y + 3*t + 388582, 23*y + 4*t = 26*y - 30670. Is 7 a factor of y?
False
Let g be ((-25)/(-2))/(18/252). Let l = g + -149. Is l a multiple of 2?
True
Suppose 3*s = -194 + 188. Does 8 divide (((-2)/3)/(-2))/(s/(-228))?
False
Suppose 8*w - 1616 = 1640. Suppose -8*u + w = -241. Is 9 a factor of u?
True
Let c(b) = -278*b + 88. Let a be c(-6). Suppose 4*j - 746 = 5*f + 974, -4*j - 4*f = -a. Is j a multiple of 19?
False
Let c(y) = y**2 + 2. Let a(v) = 136*v**2 + 9*v - 3. Let h(j) = a(j) - 6*c(j). Does 15 divide h(2)?
False
Let p = 63 + -28. Let z = 35 - p. Suppose z = 3*q + n - 53, n + 1 = -3. Is 19 a factor of q?
True
Let j be ((-27)/6)/((-1)/2). Let a be ((-57)/j)/(-2 + (-69)/(-36)). Suppose 419 = 9*q - a. Is 4 a factor of q?
False
Let q(a) be the second derivative of 3*a**5/20 + 5*a**4/12 - a**3/6 - 4*a**2 - 30*a. Let p be q(-5). Let d = -115 - p. Is 23 a factor of d?
True
Let i(h) be the third derivative of h**5 - h**4/24 + 5*h**3/6 + 16*h**2. Is 19 a factor of i(-2)?
True
Let q = -213 + 129. Let s(y) = -92*y - 3163. Let v be s(-34). Let r = v - q. Is 5 a factor of r?
False
Let q = 20 + -25. Let v = q - -193. Is v a multiple of 23?
False
Let m = -33 + 38. Suppose 0 = -5*u + 2*b + 15 - 102, 4*u = m*b - 56. Let j = u + 64. Is 18 a factor of j?
False
Let j(q) be the first derivative of -65*q**2/2 - 7*q - 38. Is 50 a factor of j(-3)?
False
Let x be (4 + 14)*(31/3 - 1). Suppose -398 = -2*i + 4*c, -2*c + 413 = 3*i - x. Is 13 a factor of i?
True
Suppose -99 = 439*k - 436*k. Is 3/k + 3 + (-1827)/(-11) a multiple of 13?
True
Let s(y) = -187*y**3 - 6*y**2 + 6*y + 7. Is s(-3) a multiple of 8?
True
Let v be 2 + 6*(3 - 10/4). Suppose 0*a + v*a + a = 0. Suppose -3*b + 0*p = -p - 66, -2*p = a. Is b a multiple of 11?
True
Let l be (20/8)/((-3)/6). Is 77 a factor of l + 73 - -5 - -4?
True
Let p(z) be the second derivative of -