actor of c(a)?
True
Let g be (-2)/(-12)*2 + (-2156)/(-21). Let n = g - -5. Is 12 a factor of n?
True
Does 90 divide 8601 - 26*4/(-8)?
False
Let a = 8152 + 3885. Is 111 a factor of a?
False
Suppose -4*q = -5*t - 5*q + 13, t = -4*q + 14. Suppose -2*s + s - 2*i = -9, -t*i = -4. Suppose -s*x = x - 918. Is 22 a factor of x?
False
Let p be 196/10 + 6/15. Is 6/2 + p + 100 a multiple of 43?
False
Let u = 54394 + -37334. Is 7 a factor of u?
False
Let u = 1598 + 83. Is u a multiple of 27?
False
Let m = 127 - 64. Suppose m*q = 67*q - 448. Is q a multiple of 7?
True
Let k = 14 + -5. Suppose -267 = -k*o + 4206. Is 40 a factor of o?
False
Suppose i - 125 - 61 = 0. Let h = i + -133. Suppose 2*z - h = 91. Is z a multiple of 6?
True
Let w = -12303 + 33069. Is w a multiple of 41?
False
Let p be (-1)/9 - 8532/(-243). Suppose p*g = 38*g - 810. Does 22 divide g?
False
Let r(b) be the first derivative of 3*b**4/2 + 7*b**3/3 - 11*b**2/2 - 2*b + 53. Does 9 divide r(4)?
True
Let g be (2 - 4 - -1)/((-4)/920). Let l = g + -111. Suppose k = 313 - l. Is 14 a factor of k?
False
Let h(u) = 18*u + 4. Let t be h(5). Let b = -19 + t. Let y = b + -18. Does 19 divide y?
True
Suppose 2*g - 3664 = 6*y + 1864, 8344 = 3*g + 4*y. Is g even?
True
Let w(z) = 27*z**2 + 3*z + 2. Let f be w(-1). Let d(j) = 3 + f + 23 - 6*j. Does 11 divide d(-6)?
True
Let l be 16/6 + (-8)/(-24). Suppose -1 = -m - 5*g + l, 5*m = -3*g - 24. Is 19 a factor of ((-9)/m)/(1*2/172)?
False
Does 46 divide (-110 - -109)/((-1)/23138)?
True
Let i(y) = 4*y**3 + 10*y**2 - 50*y - 75. Does 37 divide i(14)?
False
Suppose 2*t + 16 = -5*b, -t + 21 = -6*t - 3*b. Let f be ((-4)/18*t)/(4/24). Suppose 2*n + 5*o = 2*o + 331, 3*n - 539 = f*o. Is n a multiple of 25?
False
Suppose -4*a - 4*j + 1096 = 0, 2*a + 21 = -j + 564. Let x = 395 - a. Is 36 a factor of x?
False
Suppose 0 = -49*m - 47*m + 123*m - 631071. Is 21 a factor of m?
True
Let t(z) = -6*z + 3 - 20*z**2 - 18 + 4*z + 21*z**2. Let l be t(0). Is 6/(-45) - 662/l a multiple of 22?
True
Let x(k) = -43*k - 2. Let v = 118 + -120. Does 5 divide x(v)?
False
Let s(o) = -5*o + 145. Let r = 157 - 157. Is 12 a factor of s(r)?
False
Suppose -2730 - 3222 = 1180*v - 1192*v. Does 16 divide v?
True
Let m(u) = u**3 + u**2 + 26*u + 10. Let s(b) = -b**3 + 17*b**2 + b - 6. Let k be s(17). Is m(k) a multiple of 28?
False
Suppose -5*f + 244 = 4*x, -10 = -2*x - 8. Suppose i + 3 = 0, 3*h + 4*i - f = h. Suppose 4*c - 102 = h. Is c a multiple of 3?
True
Let i(s) = s**2 - 7*s - 23. Let y be i(14). Is 17 a factor of (-136)/(-10)*4/(40/y)?
True
Let v = 581 + 5623. Is v a multiple of 141?
True
Let z(q) = 61*q**2 + 26*q - 1003. Does 17 divide z(17)?
True
Suppose 0*o + 4*o = -5*t - 2, 2*o = -5*t + 4. Suppose 0 = t*v + 5*g - 106, 7*v = 5*v - 3*g + 102. Is 34 a factor of v?
False
Let m = 63 - 78. Let t = -2295 + 3823. Does 11 divide 14/105 - t/m?
False
Suppose -3*a + 20 = 4*o, 0 = 2*a + 5*o - o - 20. Let m(i) = -11*i - 358. Let f be m(-33). Suppose f*t - 10*t + 170 = a. Does 9 divide t?
False
Let k be ((-2)/(-2))/1*3. Suppose 205 = k*j + 13. Does 16 divide j?
True
Let o be (0 + 2)/(1/(-7)). Let y(j) be the first derivative of -j**4/4 - 14*j**3/3 - 2*j**2 + 20*j - 1. Is 19 a factor of y(o)?
True
Suppose -24*p = -14*p + 14010. Does 18 divide (-42)/(-6) + 0 - p?
False
Suppose 6 = 3*z + z - 2*c, 0 = -z - 5*c - 15. Suppose 0 = 3*u + 2*p + 122, -1 + z = p. Let f = u + 134. Is f a multiple of 14?
False
Let u(y) be the second derivative of y**5/20 + 31*y**4/24 + 19*y**3/6 + 20*y. Let g(f) be the second derivative of u(f). Does 7 divide g(17)?
True
Suppose 61*m = 80*m + 456. Let l(z) = z**3 - 7*z**2 + z - 3. Let d be l(3). Let c = m - d. Is c a multiple of 4?
True
Suppose 303*p - 154*p = 2200432. Is p a multiple of 104?
True
Let w(i) = 3*i**2 + 99*i - 278. Does 16 divide w(3)?
False
Let i(d) = 3*d**2 - 2*d + 1. Let a be i(1). Suppose -4*u - 10 - 2 = 0. Is (-23)/((u + a)/1) a multiple of 11?
False
Is (-288398)/(-253) - 8/(-92) a multiple of 5?
True
Let f(c) = -5*c**3 + 110*c**2 + 66*c - 25. Is f(22) a multiple of 7?
False
Let m = -277 - -280. Suppose 7*w - m*w + 4*k - 204 = 0, -2*k = 5*w - 240. Does 14 divide w?
False
Let w = 14444 + -6392. Is w a multiple of 61?
True
Suppose 6*c - 6245 - 2665 = 0. Suppose -c = -3*x + 3*p, -x - p - 4*p = -513. Is x a multiple of 15?
False
Let s be ((-524)/(-12) + 1)*12/8. Suppose 3*b - 6*b = -69. Let g = b + s. Is g a multiple of 15?
True
Let h be (-6516)/(-24) + 2/4. Suppose -h = -5*u + 278. Is 3 a factor of u?
False
Let b = -622 + 596. Let h(z) = -6*z**2 - 161*z - 37. Is 14 a factor of h(b)?
False
Let s(u) = -u**3 + 23*u**2 + 25*u. Suppose 3*y + 45 + 105 = 0. Let v = 74 + y. Is s(v) a multiple of 6?
True
Suppose 0 = -2*q - 3*n + 18, n - 15 = -q - 8. Does 29 divide (-1)/q - 36608/(-78)?
False
Let i be (-10)/(-4)*30/15. Suppose -i*n + 289 = -361. Is 5 a factor of n?
True
Let a(f) = 2*f**2 - 37*f - 24. Let d be 15 + (4 + (-3)/2)*2. Is 6 a factor of a(d)?
True
Let u(i) = i - 6 - 4*i**2 + i + 14*i**2. Is u(-2) a multiple of 2?
True
Let j be ((-2)/(-6))/(5/1095). Suppose 0 = j*g - 70*g - 675. Does 45 divide g?
True
Let i(h) = 9*h**2 - 3*h - 3. Let j be i(-1). Suppose -3*z = -s - 539, -203 = 8*z - j*z + 5*s. Does 12 divide z?
False
Let d(g) = g**3 - 14*g**2 + 17*g + 20. Let x be d(13). Suppose c - 66 = -x. Is 10 a factor of 6/(-9)*225/c?
False
Let u(z) = -12*z**2 + 469*z - 57. Is 118 a factor of u(33)?
False
Suppose 2098428 + 895332 = 162*n. Does 10 divide n?
True
Let o(p) = 5*p - 65. Let u be o(14). Suppose -7*d + 6*d + 324 = u*s, 3*s - 1008 = -3*d. Does 9 divide d?
False
Let z(u) = u**3 - 19*u**2 + 17*u + 20. Let f be z(18). Suppose -50 = -c + f*r + 37, -5*c = -2*r - 435. Let q = c - 38. Is q a multiple of 20?
False
Let j be (-42)/30 + (-6)/10 + -103. Let y be (-9121)/j - ((-4)/(-30))/(-1). Let k = 33 + y. Is 10 a factor of k?
True
Let c = -11241 - -18467. Is 67 a factor of c?
False
Suppose 156*x - 406926 = 109*x. Is x a multiple of 39?
True
Let l(m) = -m**3 + 9*m**2 - 13*m - 1. Let n be l(7). Let c be 4/16*n*4. Is 8 a factor of (1*6/3)/(c/69)?
False
Suppose 24*k - 19*k + 1125 = 0. Let b = k + 358. Does 10 divide b?
False
Suppose 2*z = 4*o - 82, z = -3*o + 6*z + 72. Let t = -87 + o. Let k = t + 211. Is k a multiple of 13?
True
Suppose 0 = -3*w - 2*d + 293, 4*w - w + 5*d = 305. Suppose -18*z + 23*z = -w. Let c(q) = -2*q**3 - 39*q**2 - 28*q - 25. Is c(z) a multiple of 19?
False
Suppose 12*r = -3*i + 10*r + 18, r + 3 = 0. Is 17 a factor of 20/i*2 + 114?
True
Suppose 2*t - 370174 = 3297*r - 3301*r, 2*r - 185051 = 3*t. Is r a multiple of 29?
True
Let p = 57 - -76. Suppose r + 2 = -5*o, 2*r - r = o + 4. Suppose -r*x + 56 = -p. Is x a multiple of 7?
True
Let p be 170220/(-105) + (-12)/14. Is p/(-4)*(-14 + 12 + 4) a multiple of 32?
False
Let c(y) = y + 7. Let l be c(-3). Suppose -4*i + 2*i - 3*b + 78 = 0, 76 = 2*i + l*b. Suppose -4*q + 37 = -2*q + w, i = 3*q - 3*w. Is q a multiple of 17?
True
Let n be 2 - 14*(-9)/2. Let l be (-30)/12*(24/(-20) + 0). Suppose l*z = n + 31. Is z a multiple of 4?
True
Let z be (20/(-6))/(-9 - 869176/(-96576)). Is z/160 - 2/(-4) a multiple of 14?
True
Let g(m) = -5*m**3 - 42*m**2 + 10*m - 8. Let r(a) = -14*a**3 - 125*a**2 + 29*a - 24. Let u(f) = 17*g(f) - 6*r(f). Is 81 a factor of u(-5)?
True
Suppose 13*t = 12*t + 62. Suppose 2*j - 324 = -t. Suppose 2*v - 49 - j = 0. Does 18 divide v?
True
Suppose 4*k - 1846 = -4*w - 222, 5*w + 3*k = 2028. Suppose w = 35*l - 10305. Is 26 a factor of l?
False
Suppose 0 = -8*x + 214 + 314. Is (0 + 4)/(x/2409) a multiple of 32?
False
Let y = -2379 - -9297. Is 6 a factor of y?
True
Let y be ((-68)/(-8) - -2)*-2. Let s = y + 86. Let u = 104 - s. Does 5 divide u?
False
Let w(t) = -52 - 3*t - t + 10*t + 14. Let q(p) = -5*p + 39. Let m(y) = 3*q(y) + 4*w(y). Does 7 divide m(7)?
True
Let h = -2264 - -2348. Is 21 a factor of h?
True
Suppose 5*v + 191*y - 190*y - 8534 = 0, 5*y = 2*v - 3446. Does 19 divide v?
False
Let o(a) = -3*a**2 + 89*a + 23. Let j be o(28). Suppose 7*v - 3*v - 28 = 0. Suppose -v*c + j = -243. Is 20 a factor of c?
False
Suppose -142*r - 3*s = -146*r + 2632, -4*s = -5*r + 3290. Is 8 a factor of r?
False
Let j = 10714 + -8229. Does 5 divide j?
True
Let h(y) = -894*y + 69. Does 21 divide h(-10)?
True
Does 9 divide (-26 + 14