-3*c - 6, -m - 3*m + 12 = 0. Is 6 a factor of r(c)?
True
Let a = 61 - 50. Is (-770)/((a - 8) + -1 + -3) a multiple of 22?
True
Let f(k) = -5*k**2 - 303*k - 608. Does 106 divide f(-39)?
True
Suppose -3*n + 261 = 5*j + 11, 4*j = -16. Suppose 1 = -3*w - 3*s - 5, 14 = -3*w - 5*s. Suppose 4*q = q + 3*h + n, -w*q - 2*h = -68. Is 8 a factor of q?
True
Suppose -3*u + 0*p + 15 = 3*p, 2*u - 3*p = 0. Suppose 5*d = u*d - 194. Let g = 162 + d. Does 9 divide g?
False
Let w(v) = v**3 + 2*v - 6. Let d be (-21)/(-6) - (-4)/(-8). Let j be w(d). Suppose -g + j - 23 = 0. Does 3 divide g?
False
Let c be (3 + 3)/3 + -1 + 87. Let v = -42 + c. Suppose 30 = 4*u - v. Is 8 a factor of u?
False
Let a(j) = -3 - 58*j - 3*j - 252*j. Is a(-1) a multiple of 9?
False
Let s be 15/12 + 1*(-9)/(-12). Suppose 4*i - 6*i + s*b = -1572, -4*b + 1542 = 2*i. Is i a multiple of 55?
False
Suppose -17*r + 80429 = -28337. Suppose -1558 - r = -18*z. Does 9 divide z?
False
Let k(p) = p**3 - 4*p**2 - 3*p - 4. Let o be k(5). Suppose -2*v + 2 = 5*a - 21, o = 2*a. Suppose -v*g - 4*g = -496. Is 7 a factor of g?
False
Let y be 1 + -5 - (1 + -6 + 7). Let g be (y/(-4) - 1)*0/8. Suppose g*b + 929 = 5*b + 2*s, 0 = 3*s - 6. Is 37 a factor of b?
True
Suppose m - 3*j - 1000 = 0, m - 2*m = 5*j - 960. Suppose 2*w - m = -5*z, 0 = 5*w - 0*w + 3*z - 2415. Is w a multiple of 40?
True
Let c be -3 - (-1 + 5) - 41. Suppose -w - 2*w = -156. Let j = c + w. Is j a multiple of 3?
False
Let j(g) = 2*g - 169. Let d(u) = u - 85. Let x(v) = -11*d(v) + 6*j(v). Let s be x(0). Let a = 87 + s. Is 2 a factor of a?
True
Let l(h) = 27*h - 3. Let d be l(1). Let i = d - 21. Suppose -i*z = -4*f - 300, z + 4*f = 3*z - 200. Is z a multiple of 12?
False
Let w(j) = 5*j + 2. Let k(f) = -5*f - 2. Let c be ((-8)/3)/(((-24)/(-9))/(-4)). Let x(z) = c*w(z) + 5*k(z). Is 4 a factor of x(-9)?
False
Let g(s) = -2*s**3 + 84*s**2 + 132*s - 110. Does 274 divide g(39)?
False
Suppose -4*r - 3*a + 0*a - 745 = 0, -5*a = -5. Let w = r - -302. Suppose 0 = h - 3*p - 201, -h + 107 + w = 4*p. Is h a multiple of 41?
False
Is -1 + 7 + (-319465)/(-181) a multiple of 31?
False
Let a = -186 - -192. Suppose -a*h = -910 - 998. Does 28 divide h?
False
Suppose -3 = 2*d + 5*k - 9, 3 = d + k. Suppose -3 + 4 = d*s - 5*g, 0 = -3*s - 4*g + 10. Suppose 4*m - 750 = s*h, 2*h - 277 = 5*m - 1212. Is m a multiple of 13?
False
Let n = -37744 - -55503. Is 214 a factor of n?
False
Suppose 25*m - 54111 = 37714. Is m a multiple of 6?
False
Suppose 40*g = 16*g + 16*g + 25120. Does 105 divide g?
False
Let a(r) = r**3 + 161. Let g be a(0). Suppose 6*l = 23*l - 85. Let s = g - l. Is s a multiple of 39?
True
Let h(f) = f**3 + 9*f**2 + 9*f + 14. Let z be h(-8). Suppose -2*u + z = -0*u. Suppose -2*t + 3*d + 3 = 6*d, u*t + 3*d - 12 = 0. Is t a multiple of 3?
True
Let h be 2/3 - (-2)/(-3). Let l(c) = -149*c + 22. Let x be l(-2). Suppose h = -5*w + 5*t + x, -3*w - 2*t + 66 + 136 = 0. Does 29 divide w?
False
Suppose 0 = 5*r - 1641 - 1384. Suppose -3115 = -10*c - r. Is 4 a factor of c?
False
Let o(p) = -157*p - 1 + 22 - 4. Let x be o(-4). Let h = -424 + x. Is 17 a factor of h?
True
Let v(n) be the first derivative of n**4/4 - 5*n**3/3 + 4*n - 5. Let f be v(-2). Let q = 72 + f. Is 11 a factor of q?
False
Let r = -3808 - -13998. Is 9 a factor of r?
False
Suppose 8*c + 2*v - 2970 = 4098, -5*c + 4398 = -2*v. Is c a multiple of 2?
True
Let q be ((-77)/(-42))/((-1)/(-6)). Let w(c) be the second derivative of c**5/20 - 2*c**4/3 - 11*c**3/3 - c**2/2 - 146*c. Is 8 a factor of w(q)?
True
Suppose 4*u + 10716 = 164*n - 161*n, -4*n - 2*u + 14244 = 0. Is 11 a factor of n?
True
Let j(k) = -3 - 16*k**2 + 233*k**3 - 12 - 234*k**3 - 29*k. Let n be j(-14). Is (747/18)/(3/2 + n) a multiple of 7?
False
Let d be (-2)/(0 - 6) - 17/51. Let j be 1/2*((-12)/6 - d). Let i(a) = -139*a - 3. Is i(j) a multiple of 26?
False
Suppose -3*w + 4124 = m, -5*w + 7381 - 497 = -m. Is 16 a factor of w?
True
Suppose -140*g = 122*g + 36*g - 20562. Is 57 a factor of g?
False
Let w be (-17 - -14) + (4 - -1). Suppose -75 = -3*x - w*p + 6*p, -4*x + 5*p = -101. Suppose 55 = 3*y - x. Does 2 divide y?
True
Let p be (-2 + 1 - 0) + 186/(-6). Let a = -31 - p. Let f = 34 + a. Is f a multiple of 5?
True
Suppose 3*y - 13 = -4. Let z(p) = -1 + y + 14*p**2 - p**3 - 2 - 8 + 34*p. Is z(16) a multiple of 2?
True
Suppose 10326 = -22*a + 27*a - d, 0 = -6*a - 2*d + 12404. Is a a multiple of 20?
False
Suppose 4*s - 28 = 4*g, -s + 5*g + 0*g = 5. Suppose -2*v - 2 = -s. Suppose v*t = -6*t + 1850. Is t a multiple of 38?
False
Suppose 0 = -13*w - 23*w + 10728. Suppose g - 2*k - 54 = 0, 4*k = 9*g - 14*g + w. Is 46 a factor of g?
False
Let c(p) = -p**3 - 6*p**2 - 11*p - 7. Let g be c(-4). Suppose -g*y = 4*y - 2043. Does 32 divide y?
False
Let f(d) = 3*d**2 + 54*d - 3308. Does 5 divide f(-57)?
False
Let w(r) = -111*r + 39. Let c be w(-2). Let g = c + -213. Is g a multiple of 24?
True
Does 13 divide (-26601)/(-33) + (-138)/66 + 2?
True
Suppose -26312 = -2*o + 5*u, -7*u + 38293 + 1175 = 3*o. Does 10 divide o?
False
Suppose 5*p = 8*p. Let r be 432/(p - 4) + -2. Let o = r - -187. Is 14 a factor of o?
False
Suppose -11 = -4*h + 5, -p + 4*h = -974. Suppose 14*l + p = 20*l. Does 15 divide l?
True
Suppose -4*v - 4*m + 24 = 0, 2*v - m = 10 - 1. Suppose 0 = -5*h + 4*t, -8 = -3*h - v*t + 29. Suppose -8*c = -h*c - 404. Does 28 divide c?
False
Let m(q) = 3*q**3 - 5*q**2 + 14*q + 16. Is 24 a factor of m(3)?
False
Suppose -d - d - f = 57, -145 = 5*d + 3*f. Let h(g) = -g**3 - 4*g**2 - 7*g + 1. Let a be h(-5). Let u = d + a. Is u a multiple of 35?
True
Let v be (2 - -5)*(2 - (-16)/(-28)). Let t be 4/(-10) + 94/v. Does 12 divide (-2)/3 - t/((-81)/330)?
True
Let y(u) = -7*u**3 + u**2 + u**3 + u + 0*u**2 + 7*u**3 + 4. Let k be y(0). Suppose -k*m + 72 = -3*m. Is m a multiple of 22?
False
Let s(t) = -t**3 + 23*t**2 - 13*t - 58. Suppose -36 = -2*x - 4*i, 4*x - 9*i - 84 = -11*i. Is s(x) a multiple of 7?
True
Suppose -2*m + 68308 + 39910 = 4*l, -m - 4*l + 54099 = 0. Is 41 a factor of m?
False
Let z(f) be the second derivative of f**3/6 + 23*f**2/2 + 2*f + 1. Let b be ((-9)/(-6))/(1/(-2)). Does 6 divide z(b)?
False
Suppose 734 - 2939 = -9*f. Is ((-588)/f)/((-2)/(-660)*-1) a multiple of 12?
True
Let n = -898 - -1411. Suppose -n = -4*f - 9. Does 14 divide f?
True
Is 28 a factor of ((-210)/(-360)*3)/(1/448)?
True
Let x(q) = 1149 - 2305 + 1145 + 35*q. Let r(l) = -2*l**3 - 2*l**2 + 3*l + 2. Let s be r(-2). Is 35 a factor of x(s)?
False
Let s(o) = 10*o + 18 + 1 + 2*o. Let c(n) = 17*n**2 + 97*n - 20. Let h be c(-6). Is s(h) a multiple of 24?
False
Suppose 50693 = 2*k - 5*z, -64*z + 61*z + 25352 = k. Is 13 a factor of k?
False
Suppose 5*p = -m + 1357, 0 = 3*m + 2*p - 4214 + 195. Suppose 0 = -4*h - 3*h + m. Is 31 a factor of h?
False
Let f be (1974/(-105))/(8/(-30))*110. Suppose 0 = 8*x - f + 1355. Is 84 a factor of x?
False
Let g be (-31 + 506)*(2 - 1). Suppose 3*i + 4*l = 680, 2*l - 1157 + g = -3*i. Is 76 a factor of i?
True
Let b = -19 - -41. Suppose -b*q + 17*q = -3045. Does 21 divide q?
True
Let q(c) = -21*c + 6. Let z(v) = -7*v + 38. Let f(w) = w + 20. Let o be f(-14). Let b be z(o). Does 31 divide q(b)?
False
Suppose -658590 = -10*w - 38*w - 152526. Is w a multiple of 46?
False
Let x be ((-3)/((-3)/2))/(-1). Let s = -941 - -919. Let u = x - s. Does 8 divide u?
False
Let o(p) = -43*p - 2101. Is o(-87) a multiple of 9?
False
Let h(r) = 96*r + 23. Let c be h(9). Suppose 12*x - c - 877 = 0. Suppose 6*g - 579 = -x. Is g a multiple of 12?
True
Let g(i) = -1346*i + 774. Is g(-13) a multiple of 16?
True
Let l(z) = -79*z**2 - 110*z + 6. Let u be l(6). Does 9 divide (75/2)/(-5)*u/55?
True
Suppose -3608 = 4*r - 4*l - 0*l, -4*l = -3*r - 2711. Let p = r + 1422. Is p a multiple of 43?
False
Let b be 2/(-10) + (-15)/(-75). Suppose -3*m + 75 = -b*m. Suppose a - 5*v - m = 0, 55 = -0*a + a + 5*v. Does 11 divide a?
False
Suppose -3*s = 5*c - 15, 2*c = -5*s - 3*c + 15. Suppose 25 = 7*y - 2*y, -2*v + 4*y + 1740 = s. Suppose -2*m + 13*m - v = 0. Is 10 a factor of m?
True
Let d = 232 + -228. Suppose -5*f + 21 = -4, -d*f = 5*w - 70. Is w a multiple of 6?
False
Let x(k) = -964*k - 5496. Is x(-11) a multiple of 5?
False
Let f(q) = -5*q**3 - 32*q**2 + 32*q - 196. Is 92 a factor of f(-17)?
False
Let r(v) = -v**3 - 