Let n = 7 - -8. Is (-18)/n*(-41 - -1) a multiple of 24?
True
Let q(y) = 9*y**2 + 2*y. Let c be q(6). Suppose 5*r + 3*i = 5*i + c, -3*i - 141 = -2*r. Does 6 divide r?
True
Suppose -407 - 601 = -8*y. Let f = 192 - y. Is 6 a factor of f?
True
Let k(i) = 4*i**2 + i - 4. Let q be k(2). Let w = q + -9. Suppose w*x = 4*x + 41. Is x a multiple of 6?
False
Let d(y) be the first derivative of -5 + 7/3*y**3 + 0*y + 1/2*y**2 - 1/4*y**4. Is d(5) a multiple of 11?
True
Suppose -4*i + 2*o + 564 = 0, 0 = 4*i - 3*o - 237 - 323. Does 13 divide i?
True
Is (-8395)/(-80)*4 - (-1)/4 a multiple of 10?
True
Let l be (10/(-4))/(3/(-48)). Let d = -5 + 5. Suppose 3*h = -d*k - 5*k + 87, h - l = 2*k. Does 17 divide h?
True
Suppose 6*b - 393 = 267. Is 12 a factor of b?
False
Does 15 divide 6/(10/25 + 0)?
True
Let q(v) = 3*v**2 - 3*v**2 + 11*v**2. Suppose -8*j = -4 - 4. Is 11 a factor of q(j)?
True
Suppose 0 = -4*q - 4*y - 443 - 397, 3*q + 670 = 5*y. Let k = -23 - q. Suppose -k = -3*u + a, -4*u = u + 3*a - 306. Is u a multiple of 17?
False
Suppose -4*l - x - 2*x = -3, 24 = 3*l - 5*x. Let q(i) = 10*i**2 + 9*i - 3. Is q(l) a multiple of 19?
True
Let q(i) = -45*i + 139. Is q(-26) a multiple of 64?
False
Does 10 divide -4 - ((2 - 433) + -3)?
True
Let o be 36/(-27)*(-6)/2. Suppose 10 = -o*j + 6*j. Suppose 4*h + v - 17 = 20, 33 = h + j*v. Is 2 a factor of h?
True
Suppose 0 = 11*r - 5422 - 23354. Is 109 a factor of r?
True
Let k(x) = 2 - 18 - 7*x + 10 - 6*x. Let n be k(-6). Let z = 142 - n. Is 35 a factor of z?
True
Let x(w) = w**3 - 14*w**2 - 50*w - 15. Is 42 a factor of x(19)?
True
Suppose 41*f + 4*f - 59670 = 0. Is 12 a factor of f?
False
Suppose -8*d + 20 = -6*d. Suppose -4*c = -d*c + 210. Does 5 divide c?
True
Suppose -40 = 14*s - 838. Is s a multiple of 21?
False
Suppose -5*w + 42 = 2*w. Suppose 4*k - w*k = -128. Is 9 a factor of k?
False
Let x be 3 - (-7 - -5)*(-3)/2. Suppose 4*u - 6*u + 5*d + 1 = x, -u = 3*d - 17. Is u a multiple of 8?
True
Let j(w) = -3*w + 29. Let o be j(10). Let s(q) = 36*q**2 + 3*q + 2. Does 7 divide s(o)?
True
Suppose -5*f = -0*i - 4*i - 132, 0 = f + 4. Let m = i - -218. Suppose -2*w = -7*w + m. Is 20 a factor of w?
False
Let v(a) = -a**3 - 8*a**2 - 4*a + 11. Suppose -16 = -0*z + 2*z. Let k be v(z). Suppose 0 = -4*l - 3*t + 261, -217 = -3*l + 5*t - k. Does 21 divide l?
True
Let q be 4 + -1*1 + -57 + 112. Let h = -3 + 5. Suppose 44 = h*t - 2*o - q, -2*t + 99 = -5*o. Is t a multiple of 13?
True
Suppose 5*q = 5*p - 2*p - 915, 3*p + 4*q = 915. Is p a multiple of 71?
False
Let a = 29 + -29. Suppose -4*h - k + 120 = a, h + 4*k + 109 = 4*h. Is 25 a factor of h?
False
Suppose 31*q = 11*q + 4620. Is q a multiple of 11?
True
Let i(n) = 10*n**3 + 6*n**2 - n - 12. Is i(4) a multiple of 10?
True
Suppose 0 = -7*a - 0 - 21. Is 45 - (a + 2 + -2) a multiple of 8?
True
Let d(g) = -g**3 - 6*g**2 - 4*g - 20. Suppose 5*q + 40 = -0. Is d(q) a multiple of 7?
True
Let k(z) = 86*z - 44. Is 9 a factor of k(2)?
False
Let r = 339 - -189. Suppose -19*j + 16*j = -r. Is 16 a factor of j?
True
Suppose -z = -7*z - 156. Let r = 34 + z. Let k(t) = 2*t**2 - 6*t + 8. Does 13 divide k(r)?
False
Suppose -r - 7 - 12 = -3*k, -5*r - 5 = 0. Suppose 3*d - 5*d + k = 0. Does 3 divide d?
True
Suppose 5*l + 5*n = -25, 2*l = 2*n - 0*n - 14. Let b(i) = -9*i - 6*i**2 - 6 + 5*i**2 + 0*i**2. Is 4 a factor of b(l)?
True
Let g = 4 + 0. Suppose y - o = 5, 3*y + 2*y - 4*o - 20 = 0. Suppose -2*m + 3*r - r + 8 = y, 13 = g*m - r. Does 2 divide m?
False
Suppose 5*j = 5*n - 3215, -3*n - 648 = -4*n + 2*j. Is n a multiple of 29?
True
Let g be (-21)/27 - 10/45. Is 9 a factor of g/(3/(-123)) + -4?
False
Suppose -5*s - 7*s + 48 = 0. Suppose -5*d - 396 = -s*r, 4*r - r - 3*d = 300. Does 16 divide r?
False
Is (-9 - (-686)/28)*16 a multiple of 16?
False
Let l(x) = 2877*x**2 + 58*x + 58. Does 32 divide l(-1)?
False
Let i(s) = -26*s**2 - 2*s - 203 + 198 + 40*s**2 + 7*s. Let d = 3 + -1. Is 19 a factor of i(d)?
False
Let z(p) = p**3 + 6*p**2 + p + 13. Let q be z(-6). Let r be (q - (4 + 0)) + -1. Is 7 a factor of (-6)/3*(-21)/r?
True
Is 32 a factor of 694/((9/(-6))/(12/(-16)))?
False
Suppose -4*l - 3 = -l. Let r = 2 + l. Let f = r + 23. Is 8 a factor of f?
True
Let h(l) be the first derivative of l**2 - 13*l - 9. Let t be h(6). Is 8 a factor of 15 + (t - 0 - -4)?
False
Suppose -5*m + 993 - 318 = 0. Is m a multiple of 7?
False
Suppose 548 = 4*o - 292. Is o a multiple of 15?
True
Suppose 0 = -7*v + 76 + 78. Let x(m) = m**2 - 22*m + 18. Does 18 divide x(v)?
True
Suppose p - 3 = -2*p + 3*u, -p - u = -7. Suppose -p*s + 100 = s + 3*g, 2*s + 3*g - 40 = 0. Is s a multiple of 4?
True
Let w(b) = 181*b**2 + 11*b + 11. Is w(-1) a multiple of 14?
False
Let q = 50 - 29. Suppose q = 5*n - y - 49, 0 = 2*y. Is n a multiple of 5?
False
Let y = -167 + 335. Is y a multiple of 14?
True
Suppose -123*c + 1836 = -120*c. Does 6 divide c?
True
Let u be 10*4/8*-1. Let q(d) = d**2 + 5*d + 3. Let i be q(u). Suppose -2*r - 15 = -i*r. Is r even?
False
Suppose -2*r = 323 - 1203. Suppose b = -7*b + r. Is 9 a factor of b?
False
Suppose 4*d = 9*d - 290. Let u = 154 - d. Is u a multiple of 12?
True
Let s = 9 + -10. Let u be (s + (-1)/(-3))*-6. Suppose -6 = 3*b - u*b. Is 3 a factor of b?
True
Let z(x) = 36*x**2 + 5*x + 6. Let p(c) = c**2 + c + 1. Let m(j) = -5*p(j) + z(j). Suppose -s = -g, 2*g + 2*s = 7*s - 3. Does 32 divide m(g)?
True
Suppose 4*v + 253 - 69 = 0. Suppose 2*t = 3 - 23. Let p = t - v. Is p a multiple of 12?
True
Let b(v) = -20*v + 19. Let h be b(-4). Suppose -h = -4*z - 5*z. Is z a multiple of 9?
False
Let i = 5498 + -3698. Is 30 a factor of i?
True
Does 170 divide 12234/(-54)*-12 - 12/(-9)?
True
Let f(w) = 139*w**2 - 3*w - 4. Does 42 divide f(-2)?
False
Let g be (3 - (-5)/(-1)) + 2. Suppose g = 3*x + 5*j - 311 + 45, 0 = -x - 2*j + 89. Suppose 3*f + 3 - x = 0. Is f a multiple of 7?
True
Is (102/12 - 13)/((-2)/124) a multiple of 3?
True
Let k = -750 + 2559. Does 20 divide k?
False
Suppose -4*c = 10*v - 12*v + 1242, 0 = -3*v + 4*c + 1857. Is 41 a factor of v?
True
Suppose 6 + 8 = -3*w - 5*z, -5*w + 2*z = -18. Suppose 2*c + w*m = 4*c - 16, 4*m + 26 = 2*c. Let p(x) = 9*x - 5. Does 16 divide p(c)?
False
Suppose 7*w - w - 1404 = 0. Suppose -7*r = -8*r + w. Is 39 a factor of r?
True
Suppose -4*n - 5*d = -463, 557 = 5*n + 2*d - 3*d. Is 11 a factor of n?
False
Let z(h) = -144*h**2 + 2*h + 1. Let p be z(-1). Suppose -4*s - 2*x = -1056, 246 = s - x - 3*x. Let i = s + p. Is 34 a factor of i?
False
Let i(f) be the second derivative of -f**5/20 + f**3/2 + 9*f**2/2 + 2*f. Is 33 a factor of i(-5)?
False
Suppose 0 = 3*k + 4 - 7. Suppose -12 - k = -b. Is 6 a factor of b?
False
Let u = 184 + -142. Is 964/6 - (-14)/u a multiple of 23?
True
Suppose b - 20 = -2*b - 4*j, 5*b + j = 22. Let h(p) = p - 5. Let w be h(b). Does 9 divide (-5)/((-20)/(-92))*w?
False
Let i(z) = z**2 - 2*z - 4. Is 4 a factor of i(-5)?
False
Let i(c) = c**2 - 2*c + 10. Let r be i(7). Suppose -2*p + 10 = l, -l = 4*l + 5*p - r. Let g = l - -20. Is g a multiple of 14?
True
Suppose 4*p = -18*r + 19*r - 51, 0 = -3*r - p + 205. Is r even?
False
Let d(k) = -91*k + 202. Is d(-7) a multiple of 17?
False
Let q(t) = -t**2 - 9*t - 11. Let f be q(-7). Suppose p + 3*o + 4 = -1, -4*p - 20 = f*o. Let u = 30 + p. Is u a multiple of 25?
True
Suppose o - 4 = 1. Let h(s) = 2*s**2 + 6*s - 2. Let m be h(5). Suppose 62 + m = o*d. Is d a multiple of 14?
True
Let a(y) = -2*y**2 - 3*y + 4. Let b be a(-3). Let s = 8 + b. Is 3 a factor of (s + -30)/(-3) - 0?
True
Suppose -3*h + 1960 = 5*a + 2*h, 0 = -5*a - h + 1944. Does 48 divide a?
False
Suppose -4*d = x + 16, 5*d + 4*x + x = -35. Let p = d + 11. Is 4 a factor of p?
True
Let k = -777 + 907. Is k a multiple of 65?
True
Let t(d) = 4*d**3 - 3*d**2 + 3*d - 3. Suppose 4*g = 5*s - 13, g - 5*s = -0*s - 22. Suppose 3*r + 3*b + 3 = 15, -g*r - 4*b = -13. Is t(r) a multiple of 32?
False
Suppose 4*c + c = -4*n + 19, -n + 5*c = -11. Suppose 3*h - 631 = -u, 2*h + 839 = n*h - u. Suppose -24*j = -19*j - h. Does 10 divide j?
False
Let w(t) = 2*t**3 + 33*t**2 - 23*t + 16. Is 40 a factor of w(-16)?
True
Suppose 0 = -3*n - 11*b + 6*b + 874, n - 5*b - 318 = 0. Does 9 divide n?
False
Let n = -21 + 34. Suppose -7*b + n*b = 48. Is 4 a factor of b?
True
Let u(o) = -o**3 + 4*o**2 + 6*o - 1. Le