9 = -c*n. Is n a multiple of 12?
True
Does 15 divide (-658953)/(-81) + 10/(-45) + 6?
False
Does 146 divide (-39)/((-663)/66946) + 4?
True
Let q(c) = 628*c + 298. Does 60 divide q(1)?
False
Let y = 3730 + 302. Suppose -108 = -10*v + y. Is v a multiple of 11?
False
Let z(m) = m - 48. Let b be z(-23). Let v = b - -284. Is 11 a factor of v?
False
Suppose 4*q + o + 981 = 0, -3*q + 489 = -5*q - o. Let m be 5/(105/q) + (-2)/7. Is 4 a factor of (m/14)/((-3)/126)?
True
Suppose 3*y = 5*t - 10 - 18, 4*t - 19 = -y. Suppose 5*o = -t*b + 280, 0 = -4*b + o + 202 + 32. Is b/(-145) + (-1)/(5/(-92)) a multiple of 2?
True
Suppose 3*s - 2*m - 141 = 0, 5*s - 235 = 5*m - 2*m. Suppose 0 = -3*b - 5*v - 63 + 354, -3*b = v - 303. Let q = b - s. Does 11 divide q?
True
Suppose 0 = -4*d - d - t + 18785, 0 = -3*t. Is d a multiple of 17?
True
Let j(b) = 261*b**2 + 14*b - 46. Is j(2) a multiple of 9?
True
Let i(d) = 5*d**2 + 54*d + 107. Let t(u) be the second derivative of u**4/6 + 3*u**3 + 18*u**2 + 7*u. Let f(p) = -4*i(p) + 11*t(p). Is 37 a factor of f(15)?
True
Suppose 3*w + 5*b = 2*w + 13, 18 = 4*w + 3*b. Suppose -2*g = w - 1. Is 4/(-4)*-51 - g a multiple of 25?
False
Let b(n) = -95*n + 275. Is b(-5) a multiple of 6?
True
Let t be (-11)/(33/27)*1. Does 4 divide -2*(-885)/4*(-6)/t?
False
Does 10 divide 931/266*(-5*6)/((-3)/62)?
True
Suppose 2*w = 11*w - 2160. Let c = 354 - w. Is c a multiple of 38?
True
Suppose d + 42 - 13 = 2*t, -4*d - 2*t - 136 = 0. Let u = d + 169. Is 8 a factor of u?
True
Suppose 5199 = 2*a + 243. Suppose 108420 - 8025 = 97*g. Suppose -g = 13*k - a. Is 22 a factor of k?
False
Let c = -182 + 187. Suppose 5 = -b - 4*v, -4*v = 3*b - c - 4. Is b a multiple of 3?
False
Let r(x) = x**2 + 24*x + 192. Is r(23) a multiple of 7?
False
Suppose 3*v = -4*r - 16, 3*v - 4*r + 3*r = -26. Is 2/v + (3537/36 - 12) a multiple of 39?
False
Let w(j) = -1423*j - 5392. Is w(-8) a multiple of 20?
False
Let u = -5414 + 13621. Is 29 a factor of u?
True
Let j be (138/(-92))/((-1)/360). Suppose -67*r = -71*r + j. Is r a multiple of 20?
False
Suppose 2*l + 4*l - 1962 = -12*l. Is 41 a factor of l?
False
Let u = -8098 + 33088. Is u a multiple of 42?
True
Let m = 294 - 273. Is 28 a factor of 2207/16 - m/(-336)?
False
Let d(p) = -2*p**2 - 39*p - 52. Let n be d(-18). Suppose 2*l + 4*i - 52 = 0, -n*l - 5*i = -2*i - 55. Does 8 divide l?
True
Let d(q) = 4*q**2 - 6*q + 33. Let b be d(9). Suppose 2*a = -237 + b. Is a a multiple of 2?
False
Suppose -4*w + 5*x + 15835 = 0, 305*w = 310*w - 5*x - 19795. Is w a multiple of 24?
True
Let g = -5139 + 7705. Suppose -g = -5*a + 2*k, -9*a + 6*a + k + 1540 = 0. Is 5 a factor of a?
False
Let w = 1259 + 2974. Is w a multiple of 83?
True
Let x(y) = 21*y**2 - 45*y + 50. Is 55 a factor of x(-9)?
False
Suppose -3*i + 5*n + 35296 = 0, i - 11742 = 55*n - 50*n. Is 113 a factor of i?
False
Let m(x) = -x**2 + 26*x - 45. Let j(h) = h + 15. Let u be j(0). Let l be m(u). Suppose -14*o + l = -11*o. Is o a multiple of 2?
True
Suppose 2*c - 4*n + 9*n - 16906 = 0, c - n = 8446. Is c a multiple of 44?
True
Suppose -4*x + 2 = -10. Suppose -2*w - 2*w + 637 = -x*h, 4*h + 316 = 2*w. Let a = 235 - w. Is 11 a factor of a?
False
Let w(i) be the first derivative of -i**2/2 - 5*i - 8. Let k be w(-3). Is 26 a factor of (42/(-15) - 4)/(k/40)?
False
Suppose 44 = 19*t - 127. Suppose 5*q + 3*b = 2847, -2*q - t*b + 4*b = -1135. Is q a multiple of 7?
False
Let t = -44 + 48. Let i be 128 + -1 - 8/t. Suppose 0 = -3*o + 4*g + 262, -2*o + 48 = -3*g - i. Does 18 divide o?
False
Suppose 0 = -7*z - 1511 + 5921. Let c = z - 216. Is 30 a factor of c?
False
Let r(s) = -23*s + 8 - 11 + 91*s - 13. Let y be r(-4). Let z = y - -512. Does 14 divide z?
True
Suppose 71*n - 66*n - 10 = 0. Suppose 17 - 1 = n*s - 4*x, -2*s + 3*x + 14 = 0. Let v(m) = -m**2 + 15*m - 8. Is 8 a factor of v(s)?
False
Suppose a - 690 = -0*a - 3*o, 5*o = 2*a - 1435. Let r = -471 + a. Let p = -150 + r. Is 19 a factor of p?
False
Suppose -67 = -7*k - 18. Let d = 15 + k. Let o = d - 2. Is o a multiple of 10?
True
Let q = 42 - 12. Let p(i) = 14*i**3 - 3*i**2 - 7*i - 6. Let y be p(-2). Let z = q - y. Does 15 divide z?
False
Let x = 41482 + -22553. Is x a multiple of 23?
True
Suppose 0 = -5*d + 25 - 5. Suppose 5*r + 21 = -3*n, n - 15 = d*r - 2*r. Is ((-6)/r - -142) + (-1 - -2) a multiple of 24?
True
Let y = -4532 - -7010. Is 9 a factor of y?
False
Let y(b) = -b + 1. Let x(l) = -5*l + 2. Let q(j) = -x(j) + 4*y(j). Let v be q(10). Is (36/(-10))/(v/(-40)) a multiple of 12?
True
Let a(f) = 2*f**2 + 11*f - 6. Let g be a(-6). Suppose 0 = 2*b - 5*h - 149, 199 = 2*b + 5*h - g*h. Suppose -2*t + 19 = -b. Is 8 a factor of t?
False
Suppose 7*n + n + 112 = 0. Let q be (-7)/n + 23/(-2). Is (-32)/(-12)*-3*q a multiple of 14?
False
Suppose 4*m - 17 = -3*t + 10, 0 = 4*m - 12. Suppose -j - j + y = 8, -4*y + 17 = -t*j. Does 8 divide 30/j*4/(-3)?
True
Does 8 divide (-505 - -15)*57/(-30)?
False
Let k(r) = r**2 + r - 3. Let o be k(-3). Let a be 1/(-9) + (-53)/9. Is 6 a factor of a/15 - (o + (-157)/5)?
False
Let m = -37 + 45. Let q(p) = 9*p**3 - 8 - p**2 - p + 12*p**2 - m*p**3. Does 21 divide q(-10)?
False
Suppose 2*p + 24789 = 2*k + 3915, k + 2*p = 10437. Is 71 a factor of k?
True
Let x be (4/3)/((-48)/(-36)). Suppose -2*y + 5*z = 4, -3*y + z + 4*z = x. Suppose y*t - q = 869, t + 4*q = -80 + 348. Is t a multiple of 24?
True
Let u(m) = -3*m**2 - 18*m - 26. Let i(o) = 2*o**2 + o - 1. Let x(a) = -i(a) - u(a). Is x(-20) a multiple of 24?
False
Let i = -115 + 632. Let b = i + 33. Does 35 divide b?
False
Suppose -181*j = -159*j - 30492. Is 10 a factor of j?
False
Suppose -35 = 6*p + 25. Let m be p/(-6) + 4 + 2/(-3). Suppose 2*t + 5*r = 49, t + m*r - r - 20 = 0. Is 8 a factor of t?
True
Suppose -2*z - 2*m + 16 = -12, 0 = -z + 4*m + 39. Let a(o) = -z*o - 18*o + 66 + 57*o - 18*o. Is a(21) a multiple of 19?
False
Let g be 135 - ((-1)/(-10) + 108/120). Let h be (-4)/(-2) + 1 + 0. Suppose -x - s = -59, -s = 2*x - h*s - g. Is 21 a factor of x?
True
Let g(p) = 11*p**3 - 2*p**2 + p + 2. Let x be -1 - -8*5/10. Suppose x*h + 10 - 31 = 5*k, -4*h - k = -5. Does 14 divide g(h)?
True
Let g = 6237 - 3806. Is g a multiple of 13?
True
Is (-14)/3*(-26914218)/5558 a multiple of 16?
False
Suppose -3*b + 5*b = -4*l + 314, -l = -2*b - 66. Let c = l - 44. Let q = -15 + c. Is q a multiple of 13?
False
Let u be ((-6)/(-2))/(126/(-48) - -3). Suppose u*o - 688 = -0*o. Is 10 a factor of o?
False
Let q = 37 - 33. Suppose 0 = -0*h - h + 2, -5*m - q = 3*h. Does 9 divide (-7 + m - 0)*-9?
True
Let h(x) = -6*x + 16. Let z(f) = 12*f - 32. Suppose -5*k - 41 = 4*u, 2*k + 2*u - 3*u = -19. Let i(q) = k*h(q) - 4*z(q). Is 19 a factor of i(9)?
True
Is 3 a factor of 486750/1155 - 8/(-14)?
False
Let d = -124 + 127. Suppose 0*a = -d*l + 2*a + 21, l - 5*a = 20. Suppose 3*b + 3 = 0, q - l*b = -b + 27. Is 18 a factor of q?
False
Let g = -2208 + 14143. Is g a multiple of 38?
False
Suppose -4*y = -4*n - 0*n + 92, 0 = -4*n - y + 117. Is 29 a factor of n*1/(1/7)?
False
Let h(p) = -6*p**2 + 19*p. Let j(q) = q**2 - 4*q. Let b(r) = 2*h(r) + 11*j(r). Let a be b(-4). Suppose -a = -3*t + 73. Is t even?
False
Let j = -28 + 27. Is 6 a factor of (9/(-9))/(j/36)?
True
Does 20 divide -2*(-18 + 16 - 5424/2)?
False
Suppose 93*l - 201*l + 7098 = -94*l. Is 6 a factor of l?
False
Suppose 0 = 3*o + 3*o + 714. Let v = o + 178. Let f = -42 + v. Is 3 a factor of f?
False
Suppose -39*y + 38*y = 275. Let q = -261 - y. Does 5 divide q?
False
Let d(t) be the third derivative of -11*t**4/24 + 13*t**3/2 + 17*t**2. Let c be d(6). Is 4 a factor of 45/(-1)*c/45?
False
Suppose 5488 - 88944 = -9*q + 31159. Is 15 a factor of q?
True
Suppose 0 = -3*s + 12, -206 = -2*k - 5*s + 6*s. Let c = 633 - k. Is 24 a factor of c?
True
Let u(p) be the first derivative of -12*p**4 + 4*p**3/3 + 3*p**2 + 7*p - 105. Does 45 divide u(-2)?
False
Let o(c) = 380*c**3 + 30*c**2 + 68*c + 20. Let n(s) = -76*s**3 - 6*s**2 - 13*s - 4. Let p(j) = 16*n(j) + 3*o(j). Is 21 a factor of p(-2)?
True
Suppose -3*z + 8 = -7, z = -5*q - 30. Let p(x) be the second derivative of -3*x**3/2 - 8*x**2 + 32*x. Is 14 a factor of p(q)?
False
Is -6 - (1 - -1 - (31 + 1234) - 7) a multiple of 79?
True
Let f = -137 + 134. Let h(o) = -5*o**2 + 4*o**2 + 9*o + 6 + 4*o**2 - 2*o**3. Is 6 a factor