q. Is 14 a factor of c?
True
Let q(b) = 825*b**2 + 412*b - 3160. Is 52 a factor of q(8)?
True
Let n(u) = 2*u + 326. Let q be n(0). Suppose 2*t + 3*r + 0*r = q, 5*t - 796 = 2*r. Does 20 divide t?
True
Suppose 290*w - 301*w = -58487. Does 76 divide w?
False
Suppose 7*o - 73 = 4. Let d(m) be the second derivative of -m**5/20 + m**4 - m**3 + 11*m**2 + 12*m. Is 9 a factor of d(o)?
False
Let t = -16 - 80. Let f = -94 - t. Suppose -f*g + g = -151. Does 20 divide g?
False
Suppose 0 = -2*q - 2*q - 5*a + 14, -2*a = -q + 10. Let c(b) = -11*b - 43. Let z(j) = 5*j + 22. Let y(l) = q*c(l) + 13*z(l). Is y(8) a multiple of 6?
False
Let r = -6659 + 13711. Does 173 divide r?
False
Let z = 118 - 166. Let f = z + 51. Is 6 a factor of f/(17/(-9) + 2)?
False
Suppose 7 = -6*a + 19. Suppose -3 - a = -q - d, q - d - 1 = 0. Suppose 4*w - 126 - 79 = -3*o, q*w = -2*o + 154. Does 17 divide w?
False
Does 107 divide 4842/1 + 4 + -7 + 0/5?
False
Let u = 8309 + -7337. Does 162 divide u?
True
Let i = -64 + 70. Suppose 4404 = i*n - 1536. Is n a multiple of 18?
True
Let y be (-4 - (-24)/(-20))*30. Let h = y - -691. Suppose -i = p - 6*p + h, 0 = -p + i + 103. Is p a multiple of 10?
False
Let l be 6 - -5 - (-1 + (-6 - -5)). Let i be ((-29)/1)/((-2)/24). Suppose -l*u = -9*u - i. Is 5 a factor of u?
False
Let z = 4737 + 8115. Is 108 a factor of z?
True
Does 80 divide (6496/(-348))/(1/(-30))?
True
Let p be 12/2 + (8 + 0)/(-4). Suppose -3*t + t + 4*f = -64, -2*f + 168 = p*t. Is t a multiple of 8?
True
Suppose 0 = 3337*p - 3331*p - 1110. Does 16 divide p?
False
Is ((-117614)/(-8) - 2) + (13 - (-612)/(-48)) a multiple of 105?
True
Suppose 5*q - 103662 = -2*b, q - 45*b - 20712 = -42*b. Does 18 divide q?
False
Suppose 2020 = 5*d - 10*d - v, 3*v - 15 = 0. Let i = -156 - d. Is 44 a factor of i?
False
Suppose -69946 = -213*y + 35*y + 11578. Is y a multiple of 38?
False
Let d(m) = -14*m**3 - 10*m**2 - 18*m + 13. Let a be d(-6). Suppose -a = -4*c - 377. Is 7 a factor of c?
True
Suppose -a - 8 = -2*a. Suppose 2*g + 24 = a*g. Suppose -g*s + 21 = -5*j - 18, s - 2*j - 6 = 0. Is s a multiple of 8?
True
Is 20 a factor of (-25690)/4*1816/(-1589)?
True
Let z(n) = -9*n + 49. Let m be z(5). Suppose -7*q + 3*q + 459 = h, -m*q - 451 = -h. Does 13 divide h?
True
Suppose -4*g - 4*h + 71436 = 0, 2*g = -77*h + 82*h + 35725. Does 79 divide g?
False
Suppose -612721 - 113183 = -144*i. Does 71 divide i?
True
Let l(q) = -3*q + 32. Let v be l(-26). Is 15 a factor of 2999/5 - (-22)/v?
True
Let s = 397 - 642. Does 72 divide (7/(s/1350))/((-6)/168)?
True
Let s be 14/(-10) - 24/40. Is (-11)/(66/(-1692)) + s a multiple of 8?
True
Let q(p) = 751*p**2 - 6*p + 82. Is 236 a factor of q(-8)?
False
Let q = -11836 - -19928. Does 34 divide q?
True
Suppose -5*a - 15*a = -23940. Suppose -5445 = -27*q + a. Does 33 divide q?
False
Let m(c) = 410*c - 715. Does 48 divide m(7)?
False
Let v(b) be the third derivative of 5*b**4/24 + 101*b**3/6 - b**2 - 3. Is v(35) a multiple of 12?
True
Let x(h) = 3*h**2 + 77*h - 1123. Does 17 divide x(28)?
False
Let m(u) = u**3 + 67*u**2 - 2*u + 486. Is m(-67) a multiple of 155?
True
Let a = 6279 - 3441. Is 43 a factor of a?
True
Let w(i) = -2*i**3 + 43*i**2 - 20*i - 21. Let a be w(21). Suppose a = 2*l - x - 809, 3*l = l + 4*x + 794. Does 37 divide l?
True
Suppose -p + 11 = -3*o, -5*p - 2*o + 38 + 34 = 0. Suppose 936 = -p*i + 4072. Is 29 a factor of i?
False
Let m = -533 - -763. Suppose y = -3*y - 2*n + m, 0 = -3*y - 4*n + 185. Suppose -2*x + 380 = 4*t, -y = -t - x + 39. Is 16 a factor of t?
True
Let l = 9375 + -6270. Does 15 divide l?
True
Suppose -12*r - 1395171 = 999165. Does 60 divide (-1 + 9/7)/((-56)/r)?
False
Suppose 24*x - 52 = -2*x. Let p(n) = 7*n**2 - 2*n + 2. Is p(x) a multiple of 21?
False
Let l = 1 - 27. Is 2 - 6 - 13/(l/228) a multiple of 12?
False
Let o(r) = -r**3 + 7*r**2 + r - 10. Let z be o(7). Suppose -2*n = 4*w - 190, -2*n - 5*w = -0*n - 194. Is (n - z) + -4 + 1 a multiple of 29?
True
Let c(b) = -b**2 - 14*b - 22. Suppose 0 = 2*u, -r + 6*u + 3 = 2*u. Suppose 3*w - r*a + 27 = 0, a + 12 = -w - a. Does 9 divide c(w)?
True
Suppose 4*f - 12 = -0, -2*c = 5*f + 165. Let q be c/16 + (-60)/160. Let j(t) = -t**3 - t**2 + 4*t - 9. Is j(q) a multiple of 21?
True
Let x(v) = -v**2 - 22*v - 3. Let s be x(-22). Let p be -5 + 840 + -1 + s. Suppose -p = -4*u + u. Does 33 divide u?
False
Is 12685 - ((-19)/76 + 301/(-28)) a multiple of 111?
False
Let m = 208 - 214. Does 11 divide 1995/14 + (-3)/m?
True
Suppose -875*g = -876*g + 238. Is g a multiple of 5?
False
Suppose 4*u = 2*u + 28. Let p(t) = 26*t - 144. Is p(u) a multiple of 17?
False
Let b be (-19 - -9)*(-3)/15. Suppose b*u = 813 + 153. Is 7 a factor of u?
True
Suppose -94*t = -91*t - 9. Suppose s - 98 = -m, -2*m + t*s = 3*m - 450. Is 3 a factor of m?
True
Let o be ((-8)/(-10))/(7/35). Let i(h) be the first derivative of 4*h**2 + 3*h - 59. Does 7 divide i(o)?
True
Let i = -124 + 128. Let l(h) = 7*h**3 - 5*h**2 - 8*h + 1. Let w(z) = z**3 - z**2 - 1. Let k(m) = l(m) - 3*w(m). Is k(i) a multiple of 28?
True
Let n = 105 + -100. Suppose -n*i + 4235 = 5*t, -t - 2*i = -6*t + 4249. Is 13 a factor of t?
False
Suppose 0 = -2*p - 4, -5*p - 13645 = -38*f + 35*f. Is f a multiple of 15?
True
Suppose -627*h + 658*h - 120903 = 90331. Is 10 a factor of h?
False
Let y(h) = -11*h**3 - 2*h**2 - h + 2. Let v be y(1). Let n = 12 + v. Is 8 a factor of (4/(-1) - -210)/(n + 2)?
False
Let n = -191 + 308. Suppose 40 = -k + n. Is 27 a factor of 4/7*k/11 - -77?
True
Let r(p) = -468*p - 196. Is r(-13) a multiple of 22?
False
Let p(i) = -1115*i**3 - 8*i**2 - 24*i - 43. Is p(-3) a multiple of 51?
False
Let m(t) = 9*t**2 - 149*t + 48. Does 32 divide m(48)?
True
Suppose 192 = -25*u - 7*u. Is 23 a factor of (-1357)/u + 5/(-30)?
False
Suppose -5*v = 3*d - 84254, 0 = -2*v + 2*d - 5*d + 33698. Is v a multiple of 20?
False
Suppose 3*l - 6898 - 11126 = 0. Is 5 a factor of l?
False
Is (2380 - -1) + -5 - -3 a multiple of 96?
False
Let y = -2124 + 6066. Does 111 divide y?
False
Let o = -3551 - -1660. Let p = o + 3235. Is p a multiple of 56?
True
Let v(f) be the second derivative of -4*f**3/3 - 23*f**2/2 + 6*f. Is 3 a factor of v(-15)?
False
Suppose 7*p - 13 - 1 = 0. Suppose 8 = -2*y - p. Is 34 a factor of 2/(-5) + (-877)/y?
False
Let y be (-110)/(-14) + ((-64)/8)/(-56). Does 10 divide 1*(155 + (-8)/y)?
False
Let f(q) = -54*q + 4319. Is 17 a factor of f(10)?
False
Suppose 0 = -5*y - 5*d + 65690, -2*y = -2*d - 32955 + 6691. Suppose -9325 - y = -10*v. Is v a multiple of 25?
False
Let b(w) = -38*w + 96. Let d be b(-9). Suppose 2*k + o = -3*o + d, 0 = -3*o. Is k even?
False
Let y(b) = -b**3 - 10*b**2 + 10*b - 14. Let o be y(-11). Is (-477)/(-318)*482*(-1)/o a multiple of 6?
False
Suppose -4*d - 18*d - d + 138 = 0. Let w = 226 - -166. Suppose -d*l - l = -w. Is l a multiple of 7?
True
Suppose -9*z + 2 = 2*h - 10*z, 3*z - 21 = -3*h. Suppose h*d + p = -d + 649, -4*p = -3*d + 463. Is 23 a factor of d?
True
Let f(q) = 4*q**2 + 42*q - 22. Let o be f(14). Suppose 0 = -l - 4*u + 702, -4*l + 1424 + o = -u. Is 15 a factor of l?
False
Suppose -3*m - 5*s + 1519 = 0, 11*m = 8*m + 3*s + 1503. Is 10 a factor of m - -5*(48/20 + -3)?
True
Let c(g) = -26*g + 120. Let l be c(5). Does 26 divide ((546/15)/1)/((-2)/l)?
True
Let u(x) = -2*x + 20. Let j be u(8). Suppose 108 = 4*s - j*b, 19 + 0 = s - 3*b. Is 7 a factor of s?
False
Let u = -972 - -964. Is 50 a factor of 200*(u + 136/16)?
True
Suppose 0 = -2*j + 4*n + 19388, -3*n + 2*n + 9706 = j. Does 21 divide j?
True
Suppose 19 = 5*a + 4. Suppose h + 0*h + 45 = 2*w, 2*w - 39 = a*h. Is w a multiple of 12?
True
Let n = 2 + 4. Let u(c) = 7*c + 10. Is 26 a factor of u(n)?
True
Suppose -x = 7 - 2, -3*h + x + 35 = 0. Suppose 4 = -h*a + 44. Suppose 4*w - 3*y = 302, -a*y + 288 = -w + 5*w. Is 30 a factor of w?
False
Let x(b) = 5*b + 40. Let w be x(-7). Does 37 divide 424 - 20 - (2 - w)?
True
Let t be 5*-1 - (95 + -2858). Suppose -t = -18*b + 2750. Is 6 a factor of b?
True
Let k(p) = -p**3 + 11*p**2 - 5*p + 6. Let x = 634 + -625. Is 41 a factor of k(x)?
True
Let a(x) be the second derivative of x**7/1260 - x**6/144 - x**5/12 + 4*x**4/3 + 36*x. Let k(s) be the third derivative of a(s). Does 17 divide k(-5)?
False
Let u = -55053 - -92366. Is 31 a factor of u?
False
Let h = -87