pose -s*h + 13865 + 11095 = 0. Is 39 a factor of h?
True
Let f = -14671 - -19907. Does 28 divide f?
True
Let v = -645 + 645. Is (-8)/(-12)*(v - -103 - 1) a multiple of 19?
False
Let v(f) = f**3 - 9*f**2 + f - 5. Let n be v(9). Suppose -7*p = -24 - n. Suppose -p*i = 3*s - 162, 2*i - 4*s + 3*s = 86. Does 10 divide i?
False
Suppose 0 = 3*v + 5*s - 27, v - 3*s - 13 = -6*s. Suppose 2*h + 3*h + 25 = 0, v*g - h = 37. Is (-4)/g*4 + 155 a multiple of 9?
True
Let l be (-10)/25 + (-933)/5. Let q = -168 - l. Does 3 divide q?
False
Suppose -14*x + 17*x - 61457 = -l, 0 = -3*x - 5*l + 61441. Does 183 divide x?
False
Let l(u) = -23*u - 3. Let i(o) = -22*o - 1. Let c(y) = -3*i(y) + 2*l(y). Does 16 divide c(21)?
False
Let k be (-5)/(-2) - 42/(-4). Suppose 0 = -4*x + 7 + k. Suppose -4*w - 51 = -x*c - 156, -162 = -5*w - 4*c. Is 6 a factor of w?
True
Suppose -19*x = -330431 - 83345 + 116426. Is 10 a factor of x?
True
Suppose 12*y - 20615 = 23821. Suppose -2105 = -11*i + y. Is i a multiple of 11?
True
Let z = 9789 + -6408. Is 182 a factor of z?
False
Let y = -28017 + 39663. Is y a multiple of 18?
True
Let h(z) = 293*z**3 - 4*z**2 + 3*z. Let t be h(1). Let o = -193 + t. Is o a multiple of 3?
True
Let o(a) = 5*a**2 + 16. Let y(m) = m**2 - m + 1. Suppose 0 = -18*v + 21*v + 12. Let j(g) = v*y(g) + o(g). Is j(5) a multiple of 19?
True
Let t = -85712 + 150323. Is 38 a factor of t?
False
Let f(i) be the first derivative of i**4/4 - i**3 + 3*i**2 - 7*i + 11. Let l be f(4). Let q = 71 - l. Is 4 a factor of q?
False
Let d be 4/66*-3 - 70/(-22). Let c(f) = -70*f - 1. Let z be c(-2). Suppose -d*m + z = -23. Is 9 a factor of m?
True
Suppose 5*f - 3*t = 18307, -289*f - 3*t - 10989 = -292*f. Does 16 divide f?
False
Does 18 divide -20*(5 - -1)/24 - -2940?
False
Let y = 30 + 14. Let z = 51 - y. Suppose 2*o + 3*m = -9, -3*o - 5*m + z - 23 = 0. Is 2 a factor of o?
False
Suppose 0 = f - 0*f - 4*y - 185, 3*f = 5*y + 534. Suppose 20*k - 24 = 12*k. Suppose -k*s = -2*n - 574, -3*n = s - 0*n - f. Does 21 divide s?
False
Let o(k) = 5*k**2 - k + 2. Let a be o(-7). Let i = a - 220. Is i a multiple of 33?
False
Let z(w) = w**3 - 18*w**2 + 6*w - 44. Let p(a) = 10*a - 62. Let h be p(8). Let y be z(h). Is (21/42)/(1/y) a multiple of 4?
True
Let t(r) = r**3 + 16*r**2 + 26*r - 52. Let k be t(-15). Let j = k - -358. Does 3 divide j?
True
Let w = 50 - 53. Is ((-1)/w)/(-9 + 20956/2328) a multiple of 23?
False
Suppose 0 = -44*u + 39*u - 3*c + 217, u = 3*c + 29. Let b = u + 52. Is 17 a factor of b?
False
Let s(u) = -55*u**3 + 13*u**2 + 21*u + 126. Is s(-6) a multiple of 84?
True
Let y be (-21)/63 - (-16232)/6. Suppose -8*c + 13*c - y = 0. Is 19 a factor of c?
False
Let b(o) = -14 + 5 - 3*o**2 - o**3 + o - 6*o - 2*o + o. Does 31 divide b(-4)?
True
Suppose 3*h + 3*l - 116 = 220, -2*l - 466 = -4*h. Suppose 0 = 3*d - 5*r - h - 364, -4*r = 4. Does 74 divide d?
False
Let j = 1850 + -1193. Is 2674/18 - (-292)/j a multiple of 10?
False
Suppose 0 = 9*r - 462 + 1866. Let x = 466 + -162. Let z = x + r. Is z a multiple of 28?
False
Suppose 0 = 3*y - 65 - 223. Suppose -y = -c - 4. Suppose 2*q + l + 25 - c = 0, q + 3*l = 31. Is q a multiple of 9?
False
Suppose 8*z - 10*z + 62323 = 3*y, 0 = 3*y - z - 62326. Is 75 a factor of y?
True
Let q = -17 - 15. Let l = 33 + q. Is (-216 + 4)*(-1)/(3 + l) a multiple of 9?
False
Suppose 5*k + 7 - 27 = 0. Suppose -5*h - k*i = -4*h, -5*i + 3 = 2*h. Suppose -211 = -h*s + 85. Is s a multiple of 23?
False
Let g(k) = k**3 - 16*k**2 - 3*k + 38. Let p be g(16). Let h be (-1)/5 - 322/p. Let r = -10 + h. Does 11 divide r?
True
Suppose -z - 2*q = 3*q - 65, z - q - 71 = 0. Let o be ((-52)/8)/((-1)/(-2)) + 5 + -6. Is o/z + 1382/10 a multiple of 21?
False
Let m(q) = -q**3 - 2*q**2 - 7. Let l(s) = -s**2 - 6*s + 11. Let f be l(-8). Is 2 a factor of m(f)?
True
Suppose 15*q = 8*q + 24*q - 199920. Is q a multiple of 24?
True
Let d(p) = 471*p - 3939. Is 9 a factor of d(11)?
True
Let j = 59 + 100. Let z(c) = 16*c + 96. Let g be z(-6). Suppose 7*f - j - 93 = g. Does 18 divide f?
True
Let g(u) = 13*u**3 + 60*u**2 + 61*u + 8. Let b(r) = 7*r**3 + 31*r**2 + 30*r + 4. Let n(z) = 11*b(z) - 6*g(z). Is n(-17) a multiple of 5?
True
Let k be (22/6)/((-1012)/168 - -6). Let m = 7 - k. Does 23 divide m?
True
Let l = 5340 + -2550. Is 15 a factor of l?
True
Let d(s) = 436*s - 1122. Is 11 a factor of d(11)?
True
Let j(m) be the first derivative of m**3/3 - 7*m**2 + 6*m + 5. Let l be j(-7). Suppose -3*i = 5*h - l, 0 = 3*h - 5*i - 79 - 6. Is h a multiple of 10?
True
Suppose 0*g + g + 4 = -4*r, 2*r = 4*g + 16. Suppose 5*v = 2*k - 392, -k + 3*k - 4*v - 396 = r. Suppose 5*x = 3*a - 481, -a + k = 2*x + 42. Is 13 a factor of a?
False
Let j = -23 + 14. Let g(z) be the third derivative of -z**4/4 - z**3/3 - 25*z**2 + 3. Does 13 divide g(j)?
True
Suppose -23 = -21*d + 19. Suppose j - 3*i = d*i + 570, 3*i = -3*j + 1728. Is j a multiple of 25?
True
Let h be ((-64)/6)/((-24)/(-252)). Let j = 167 + h. Is 10 a factor of j?
False
Suppose -w = -4*x - 20, -4*x - 47 = -4*w - 15. Suppose -37*r + 19008 = -w*r. Does 7 divide r?
False
Suppose -149*w + 164*w = 22440. Does 44 divide w?
True
Let x(n) = 559*n - 607. Is x(6) a multiple of 41?
True
Let w = -70 + 74. Suppose -3*b = -4*s - 816, -w*s - 1360 = -5*b - 0*b. Is 19 a factor of b?
False
Suppose 67*s - 12318 - 16626 = 0. Is s a multiple of 114?
False
Let f = -90 + 77. Is (1 + f)/((-22)/660) a multiple of 15?
True
Let d = 937 - -23075. Does 46 divide d?
True
Let l = -434 + 655. Let y = l + 4. Suppose 6*n - n - y = 0. Does 6 divide n?
False
Suppose -17*i - 99 = 2757. Let h = i + 240. Is 12 a factor of h?
True
Let u = 41546 - 16058. Is 59 a factor of u?
True
Let l(n) = -56*n - 14. Let t be l(-4). Let b = t - 54. Is b a multiple of 26?
True
Suppose 0 = -5*m + m + 3*j - 515, -257 = 2*m - j. Let g = 72 + m. Let z = g + 90. Is z a multiple of 14?
False
Does 76 divide ((-2930)/879)/(((-21)/(-5814))/(-7))?
True
Let u(g) = 34*g**2 - 258*g + 5. Is u(-5) a multiple of 55?
True
Let p be 1873/4 + 2/(-8). Let i be (p/(-14))/(-3)*(28 + -21). Let h = 83 - i. Is h even?
False
Let h(z) = 10*z - 25. Let c be h(2). Let d be ((-10)/c)/((-1)/((-6)/4)). Suppose -2*r + 488 = d*v, 7*v - 3*v = -8. Does 13 divide r?
True
Is ((-2811)/3)/((-51)/204) a multiple of 76?
False
Let q(j) = j + 24. Suppose 49 = 5*n + b - 16, -4*n - 4*b + 52 = 0. Let f = n - 19. Does 6 divide q(f)?
True
Is (103412/1255)/(2/20) a multiple of 25?
False
Suppose -5*n + 17213 = 4*d - 9175, 4*d - 5268 = -n. Is 22 a factor of n?
True
Suppose -j - 211 = -h + 312, -2*h + 1048 = -j. Let d = h + -283. Is 11 a factor of d?
True
Let d = 793 - -117. Is d a multiple of 104?
False
Suppose 5*b + 2*y - 540 = 0, 4*b - 417 - 22 = -3*y. Let k = 210 - b. Let o = k + -40. Is 16 a factor of o?
True
Let g(d) be the first derivative of 10*d**2 - 37*d + 17. Let l be g(12). Let q = l - 133. Is 11 a factor of q?
False
Let v(x) = 15*x + x**2 + 6*x - 32*x - 10*x - 68. Let u be v(24). Is 20 a factor of (150/u)/((-3)/(-16) - 0)?
True
Suppose 3*v = v + 1638. Suppose -2*k = n - 169, 5*n + 11*k = 14*k + v. Is n a multiple of 11?
True
Suppose -4*b + 6*z = 2*z - 60, 0 = -2*b - z + 30. Let p = 44 - b. Is 10/(-5) + p - 3 a multiple of 8?
True
Let l be 1160 - (2 - 4 - -6 - 5). Suppose 5*q - g + 0*g = 5805, -q + l = 4*g. Suppose 0 = -5*z - 3*i + q, -z + 4*z - 701 = -4*i. Is z a multiple of 54?
False
Suppose -3*m - 3 = -2*m, 4*m + 176 = 2*q. Suppose -q = n - 515. Is 28 a factor of n?
False
Let w(m) = 5 + m - 4*m - 24. Let a be w(-17). Is 3 a factor of (a/6)/((-10)/(-45))?
True
Let u = 44 + -82. Let h = u + 44. Suppose -q - h*q = -1505. Is 12 a factor of q?
False
Let u = 1096 + -2846. Let i = -994 - u. Does 36 divide i?
True
Let o(i) = 1724*i - 2067. Does 33 divide o(5)?
False
Let j(h) = h**2 + h - 10. Let g be j(-5). Suppose -78 - 232 = -g*k. Suppose -k*v + 28*v + 261 = 0. Does 10 divide v?
False
Suppose -4*x - 18*n + 21*n = -98636, -5*n = 20. Is x a multiple of 14?
False
Suppose 12*q + 8 = 16*q. Let l(h) = 21*h + 84. Let n(i) = -11*i - 42. Let g(b) = q*l(b) + 5*n(b). Is 7 a factor of g(-7)?
True
Let g(b) = 2*b**2 - 9. Let k = -1 - -5. Let y be g(k). Let d = 41 - y. Is d a multiple of 6?
True
Let c be 678/(-4) - 10/20. Let x = c - -340. Suppose -p + 6*p = 2*f + x, 3*p = -3*f + 123.