= -5*c - 32. Is 38/b*(-2880)/(-40) a multiple of 57?
True
Let y = 21251 - 9020. Is 81 a factor of y?
True
Suppose -4*m = 4*t - 5512, -2*t = m - 1594 - 1159. Is 11 a factor of t?
True
Let m = -5417 + 5419. Let h be ((-4)/5)/((-2)/725). Suppose -3*z + h = m*w + 2*w, -z + 92 = -w. Is 13 a factor of z?
False
Let t(b) = -55*b + 891. Does 49 divide t(-23)?
True
Suppose -3*w - 10740 - 6056 = -5*s, 10084 = 3*s - 5*w. Is s a multiple of 146?
True
Is 1*(8 - 12)*(1 - 458) a multiple of 19?
False
Let x(u) = -u**2 + 17*u - 66. Let j be x(6). Let q(r) = r**2 + 16*r + 43. Is q(j) a multiple of 2?
False
Let c(m) be the first derivative of -m**3/3 - 11*m**2/2 - 20*m - 21. Let k be c(-7). Suppose -2*z + 1320 = k*z. Is z a multiple of 15?
False
Let k be 6/(-2)*(-11)/11. Suppose -g + 74 = -2*g - 4*w, 143 = -2*g - k*w. Let z = g - -138. Is z a multiple of 5?
False
Let u = -2177 + 8273. Is u a multiple of 60?
False
Let x = -4827 - -6035. Is x a multiple of 4?
True
Let j(x) = 3*x + 16. Let b(z) = -9*z - 48. Let g(r) = 6*b(r) + 17*j(r). Suppose -15*d = -12*d + 24. Is g(d) a multiple of 8?
True
Let t = 35998 + -20680. Is 9 a factor of t?
True
Let u be 1/(-5) + 5/25. Suppose -i + 4*s + 384 = u, 5*i = s + 758 + 1181. Suppose -i = 6*g - 1288. Is g a multiple of 25?
True
Suppose 23*u = 19*u + 16. Suppose u*h + 7 - 19 = 0. Let i(p) = 2*p**2 + p - 3. Is 3 a factor of i(h)?
True
Let u(v) = -9 - 13*v**2 + 4*v**2 - 2*v + 14*v**2. Let x be u(-7). Suppose -7*j = -12*j + x. Does 9 divide j?
False
Is 45 a factor of ((-33)/22)/((-877347)/125334 - -7)?
False
Let k = -500 + 804. Is 38 a factor of (3/(-2) + 0)/((-3)/k)?
True
Suppose -d + 3432 = 3*d - 2*u, 2*d + u - 1704 = 0. Is d a multiple of 38?
False
Let w = 240 + -121. Suppose -2 + 4 = t, -r + 5*t = -w. Does 5 divide r?
False
Let x(i) = -4*i**2 + i**2 + 0*i**2 + i**2 + 3 - 9*i**3 - 5*i + 7*i**2. Is 17 a factor of x(-3)?
True
Suppose -55 = 5*k - 4*o, 22*o - 21*o + 33 = -3*k. Let b(h) = 2*h - h - 4*h + 3. Is b(k) a multiple of 14?
False
Suppose 0 = -0*f - 5*f. Let h = -38 + 42. Suppose f*j - h*j = -96. Is 6 a factor of j?
True
Let j(x) = -2607*x + 714. Is j(-2) a multiple of 12?
True
Let v = -12072 + 22866. Let h be v/147 - (-6)/(-14). Let g = -37 + h. Does 6 divide g?
True
Suppose 99153 = 33*d - 4*d - 245019. Is 69 a factor of d?
True
Let o = 168 + -105. Let n = o - 39. Suppose w - n = -8. Does 16 divide w?
True
Let f = 180 + -170. Is ((-9 - -7) + -8)*(-236)/f a multiple of 36?
False
Suppose 0 = -3*n + 63 - 33. Let h(s) = 3*s - 27. Let l be h(n). Suppose 3*t = -l*t + 624. Does 13 divide t?
True
Let w be 248/4 - -8 - -8. Is 786 + 14/(-112) + w/(-16) a multiple of 71?
True
Let t(j) = 4*j - 17. Let p(s) = -3*s + 18. Let i(z) = 5*p(z) + 6*t(z). Does 3 divide i(8)?
True
Is 90/36*(-1344)/(-20) a multiple of 12?
True
Let t(y) = -26*y - 6. Let x be (-8480)/1378 + ((-4)/(-26) - 0). Is 6 a factor of t(x)?
True
Suppose 74 = 4*f - 3*u - 30, -4*u = 16. Suppose j = 56 + f. Is j a multiple of 19?
False
Suppose -3*w - 3*o - 147 = 0, -w - 52 = -0*w + 4*o. Let j(d) = 4*d**2 - d - 17. Let r be j(-4). Let l = r + w. Is 3 a factor of l?
True
Let v(i) = 2*i**3 + 40*i**2 - 352. Does 41 divide v(16)?
False
Suppose -q - 5*c = -5286, 29*c - 30*c = q - 5290. Is q a multiple of 17?
False
Suppose p + 1 - 3 = 0. Let g(f) be the second derivative of f**5/20 - f**4/6 + f**3/6 + 9*f. Is g(p) even?
True
Let x = -49 - -51. Suppose u - 20 = -x*v, 3*u = 2*u - 3*v + 19. Does 11 divide u?
True
Is ((-808)/88 - -9)*-47729 a multiple of 22?
False
Is 12 a factor of (-17 - (-24 + 6)/3) + 11543?
True
Suppose 5*g = 2*r - 42567, 4*r - 3*g = 50058 + 35055. Is r a multiple of 34?
False
Let n = 7339 + -784. Does 95 divide n?
True
Let l(m) = m**3 + 79*m**2 - 108*m - 158. Is 6 a factor of l(-80)?
True
Suppose -2*h - 524 = -4*c, -5*c + 2*h - 5*h = -655. Let w = -99 + c. Let u = 40 - w. Is 4 a factor of u?
True
Suppose -2*r - 608 + 65 = -3*r. Is 181 a factor of r?
True
Let q be -45 + 38 - (-176 + 0). Suppose 7*y = -3*o + 2*y + 512, -o + q = 2*y. Does 7 divide o?
False
Let b(p) = 1387*p - 1811. Does 27 divide b(38)?
True
Let p = 40 - -103. Let j = p + 1. Is 24 a factor of j?
True
Let m be (-762)/(-10) - 7/35. Let g be 2/(-8) + 988/(-16). Let b = g + m. Is 6 a factor of b?
False
Let o = 473 + -463. Suppose -3*h = -6*u + o*u - 4420, 3*u = -5*h + 3326. Is 19 a factor of u?
True
Let y be 6/(-6) + 3/1. Suppose -y*j + 3*n = -9, 5*j - 2*n + 0*n - 17 = 0. Suppose 0 = -0*t - j*t - 4*a + 128, 0 = -5*t + 3*a + 165. Does 18 divide t?
True
Let l(z) = 415*z**2 + 537*z - 1616. Does 136 divide l(3)?
False
Let j(f) = -6*f**2 - 3*f + 14. Let y be j(6). Let x be (y/6)/(-5)*9. Let a = x + -34. Is 8 a factor of a?
True
Suppose -4*m - 3*w + 32461 = 0, 3*m - 3*w = 24002 + 328. Is 196 a factor of m?
False
Let b = 252 - 252. Suppose -3*u + 6*u + n - 1622 = 0, b = -u + 3*n + 554. Is 31 a factor of u?
False
Let h be ((-3088)/(-32))/((-1 + 3)/(-6 - -10)). Suppose 0 = z - 3*i + 4 - 198, 4*i + 577 = 3*z. Suppose -4*o + z = n, h = 3*o + o - n. Is o a multiple of 16?
True
Suppose -g = 2*g - 15. Suppose 3*a + 10 = g*a. Suppose -a*b + 0*c + 3*c + 672 = 0, 3*b = 3*c + 402. Is 25 a factor of b?
False
Let l(c) = 13*c + 55. Let b be l(-4). Suppose -16 = 4*z, 0 = -b*a + 10*z - 11*z + 1823. Is a a multiple of 72?
False
Let z(h) = 2*h**3 - 12*h**2 + 16*h - 12. Let y = -173 - -181. Is z(y) a multiple of 22?
False
Is (-90 + 1)/(-3 - 40303/(-13448)) a multiple of 328?
True
Let u = -4228 - -5754. Is u a multiple of 38?
False
Let h = 5 + 57. Let p(j) = 105 + h - 92 - j**2 - 2*j. Does 25 divide p(0)?
True
Suppose 2*f + 3*n = -f, 4*n + 12 = 0. Suppose 5*i + f*t = 1415, -2*i + 3*i = t + 283. Is 13 a factor of i?
False
Let r(n) = -7*n + 2. Suppose 0 = -2*h - 3*c + 4, 7*h + 2*c + 1 = 2*h. Let a be r(h). Suppose 3*p - 297 = -a. Is p a multiple of 32?
True
Let n be (249/(-4))/((-3)/(-2))*-2. Let u = n + 57. Suppose y - u = -4*y. Is 17 a factor of y?
False
Suppose -8*o - 27749 = -3*u - 7*o, 3*u + 3*o - 27777 = 0. Is u a multiple of 6?
True
Let t(i) be the third derivative of i**4/3 + 35*i**3/3 + 27*i**2 - 2. Let f be t(-20). Let q = f + 138. Is q a multiple of 6?
True
Suppose 24*g - 10955 - 3985 = 15*g. Is 20 a factor of g?
True
Let c be 3 + 10/(-3) + (-340)/(-12). Let k be ((-627)/6)/((c/(-8))/(-7)). Let h = k - -365. Is h a multiple of 13?
True
Suppose 2*u - 14 = 4*y, -u = -0*u + 3*y - 22. Let m(t) = t**3 + u*t**2 + 5*t - 24*t**2 - 6*t**2 + 32. Is 11 a factor of m(17)?
False
Let p(c) = 21*c + 21. Let d be p(5). Suppose 322 = -y + 4*y + x, -y - 5*x + d = 0. Is 10 a factor of y?
False
Let z = 49 - 29. Suppose -8*p + 4*p - 10 = -2*a, -3*a + 15 = 2*p. Suppose -2*u - 211 = -3*h - 3*u, p = -4*u - z. Is 12 a factor of h?
True
Suppose -17*h + 5880 = 18*h. Let k = h + 644. Does 10 divide k?
False
Suppose 0 = l + 3 - 7. Suppose 3*v + 29 = 3*w + 2*w, 3*v = -l*w + 34. Is 7 a factor of w?
True
Let t(y) = -120*y - 322. Let m be 8/(-6)*(-1 + 66/12). Is t(m) a multiple of 9?
False
Suppose -f = -5*p + 21, -11 = -4*p - 14*f + 9*f. Suppose 221 = -p*x + 2*s + 1869, -3*x - 5*s + 1262 = 0. Is x a multiple of 46?
True
Let l = 49 + -42. Let r be l/(-21) + -22*(-5)/6. Let u = r - 3. Is 13 a factor of u?
False
Suppose 5*h - 8*h = 6. Let p be -1*(-20 + 5)*h/(-3). Suppose 0 = -p*d + 14*d - 1548. Does 13 divide d?
False
Suppose -257*b - 4295243 = 30*b - 11169467. Is 59 a factor of b?
False
Suppose 4*y + 2*b = 935 - 59, -3*y + 662 = 4*b. Suppose -y = -4*w - 2. Is w even?
True
Let s(c) = -21*c - 168. Let v be s(-8). Suppose v = -0*w - w + 5*y + 514, 3*w = 5*y + 1582. Is 6 a factor of w?
True
Suppose 3*g + 290*t - 295*t - 30230 = 0, 4*t + 20154 = 2*g. Does 25 divide g?
True
Let k = 18 + -14. Suppose 2*v - 1077 = -3*v - 3*q, k*v - 5*q = 869. Is 9 a factor of v?
True
Does 89 divide 884215/40 - 12/32?
False
Suppose -p = -3, -4*p + 3136 = -2*l + 22298. Does 3 divide l?
False
Suppose 8 = -11*d - 3. Is 13 a factor of 389 + 13 - (d + -3 + 3)?
True
Suppose 2*a + 5*z = 1875 + 5349, -18130 = -5*a + 5*z. Is a a multiple of 3?
False
Suppose 51*p - 100905 = 20*p. Is p a multiple of 35?
True
Let q be (3 + 2)/(-1 + 44/43). Let r = -118 + q. Does 21 divide r?
False
Let f(l) = -7*l + 2. Let t(r) = -2*r + 29. Let a be t(15). Let q be f(a). Suppose 2*m - q = 15. Does 5 divide m?
Fa