l(s) a multiple of 24?
True
Suppose 750*o + 2443783 = 43333033. Is o a multiple of 17?
True
Let c = 13 - 7. Suppose -3*d + 2*t = c - 29, 0 = t + 4. Suppose -z - 2*b - 35 + 186 = 0, -d*z = 4*b - 725. Does 25 divide z?
False
Let q(b) = 224*b + 30. Let d be q(7). Does 13 divide 5 + 0 + d/34?
True
Suppose -194*z + 152712 = -7*z + 2*z. Does 4 divide z?
True
Let u = 9604 + -3364. Does 80 divide u?
True
Suppose -q - 48117 = -5*g, -87*g + 28852 = -84*g + 2*q. Is 149 a factor of g?
False
Let x(s) = -14*s + 948. Does 6 divide x(-18)?
True
Let n(c) = 108*c**2 - 323*c + 3364. Is 24 a factor of n(10)?
False
Let q be 1202 + (5 + -1 + -7)*1. Let c = q + 343. Does 15 divide c?
False
Let o(l) be the second derivative of -27/2*l**2 + l**3 + 3*l + 0. Is o(16) a multiple of 23?
True
Suppose -337*z + 324*z + 132904 + 56558 = 0. Is 42 a factor of z?
True
Suppose 0 = 5*i - 14 - 11. Suppose -570 = -5*y - i*a, -6*a + a = y - 130. Is 11 a factor of y?
True
Suppose -7 = -2*n + 7. Suppose n*b = 3*w + 3*b - 1758, -w + 591 = -3*b. Is 24 a factor of w?
False
Let q = 115 + -111. Suppose 0 = -q*b - 4*b + 1344. Suppose -14*s + b = -0*s. Is 2 a factor of s?
True
Does 23 divide (3501/2)/((-9)/288*-16)?
False
Suppose 172*o - 8199603 = -224*o + 1387557. Does 35 divide o?
False
Let a = -31 + 36. Suppose -2*r = -5*j + 98, -5*j = -j + a*r - 52. Is -12*(-3 + 3/j*14) a multiple of 4?
True
Let k(b) = 2*b**3 + 3*b**2 + 4*b + 8. Let t be k(-2). Is 5 a factor of (-4104)/81*(0 - (-15)/t)?
True
Let m(k) = 3*k**2 + 12*k + 4*k**2 - 3*k**2 + 16. Let g = 596 + -603. Is 32 a factor of m(g)?
True
Let y = -43969 + 89663. Is 67 a factor of y?
True
Let l = 79 - 73. Let b be l/4 + 121/(-22). Let p(n) = n**2 - 8*n - 30. Does 5 divide p(b)?
False
Suppose -17097 = -11*k - 30*k. Suppose -k = -v + 193. Is 25 a factor of v?
False
Let w(p) = -59*p**3 + 9*p**2 - 7*p - 21. Does 54 divide w(-3)?
True
Let b = -2750 + 2792. Is b a multiple of 3?
True
Let t(y) = 20*y + 4804. Is 44 a factor of t(-51)?
True
Let s(f) = f**3 + 5*f**2 + 3*f. Let g(p) = p**3 - p**2 + p + 5. Let b be g(0). Suppose 2*w + 9 = 2*t + b, -2*w - 3 = -3*t. Does 2 divide s(w)?
False
Let z = 204 + 426. Is z a multiple of 51?
False
Let y = 1575 - -580. Is y a multiple of 19?
False
Let d be 15 + -6 + -5 + 133*3. Let c = 676 - d. Does 13 divide c?
True
Let o = 20 - 21. Let a = 2 - o. Suppose 0 = 2*i - 4*b - 82, -a*b = -2*i - 5*b + 76. Does 13 divide i?
True
Let n = -440 + 623. Let p = 232 - n. Is p a multiple of 4?
False
Let u(a) = -33*a**3 - a**2 - 7*a - 6. Let v be u(-1). Suppose -4*l = -k + 212, -251 = -k - 2*l - v. Is k a multiple of 11?
False
Let l = 199 + -97. Let k = -21 + l. Is 28 a factor of k?
False
Suppose 0 = -19*f + 14*f + 111*f - 68688. Is 2 a factor of f?
True
Let o = -33 - -23. Let j(q) = 2*q + 4*q + q**2 - 4071 + 4085. Does 6 divide j(o)?
True
Suppose -5*y + 457 = -3*q - 2766, 4*q - y + 4286 = 0. Let p = 1679 + q. Is p a multiple of 12?
False
Suppose 660764 = -30*d + 127*d. Does 26 divide d?
True
Let g(p) = 46*p**3 - 8*p**2 + 8*p - 22. Let i be g(9). Does 12 divide i/138 - 4/(-3)?
True
Suppose 5*m = 8 + 2. Suppose 0 = m*b - 6*b - 3*h + 53, 8 = -b - 5*h. Let y = 22 - b. Is y a multiple of 5?
True
Suppose i - 9*k - 49 = -4*k, 3*i - 5*k = 157. Suppose 43*y + 6380 = i*y. Is 29 a factor of y?
True
Let j = 46 + -52. Let i be j/10 + 224/40. Suppose 18 = i*y + 3. Is 2 a factor of y?
False
Let s(b) = 2*b + 916. Is 34 a factor of s(-33)?
True
Let h(f) = -253*f - 585. Does 9 divide h(-5)?
False
Suppose 0 = 4*b, 10*m = 6*m + b + 184600. Is m a multiple of 325?
True
Suppose 0 = 20*n - 70928 - 42592. Is 172 a factor of n?
True
Let i be 0/(10/4*18/45). Suppose 10*q - 16473 + 5033 = i. Is 44 a factor of q?
True
Let a(t) be the second derivative of -t**5/10 + t**4/2 + 2*t**3 - 11*t**2/2 + 32*t. Does 5 divide a(4)?
True
Let q be (-873)/(-12) + 0 - 3/(-12). Let l = 63 - q. Is 17 a factor of (-11)/((-55)/l) + -2 + 106?
True
Let i(x) = -15*x + 75. Let t be i(3). Is 28 a factor of (672/t)/(2/15)?
True
Suppose 2*h - 4*d + 780 + 38 = 0, 5*h + 2033 = 4*d. Let p = -317 - h. Is 22 a factor of p?
True
Suppose 0 = -3*b + 18*b - 38569 - 13091. Is b a multiple of 28?
True
Suppose 0 = a + 12 + 62. Let h be -194 + 8 + (-2)/(-1). Let l = a - h. Is l a multiple of 22?
True
Let u = 97 + -94. Suppose -5*p + 3*q + 180 = 5*q, 4*q - 122 = -u*p. Is 34 a factor of p?
True
Suppose -4*a = -12, 0 = k + k - 2*a - 4. Suppose -5*b - k*s = -29 - 76, 27 = b - 5*s. Is (-250)/(-7) + b/77 a multiple of 18?
True
Let j = -1849 - 2146. Is (-2)/(3 - j/(-1330)) a multiple of 19?
True
Suppose 5*b - 57 = 1068. Let i = b - -154. Suppose 0 = -6*f - 91 + i. Is f a multiple of 19?
False
Suppose -5*v + 4*h = 60, 18 = -7*v + 6*v + 2*h. Let m be (v/12)/((-8)/6)*4. Does 14 divide (242/(-8))/(0 - m/8)?
False
Suppose 5*m - 8276 = -x, -1631 - 3353 = -3*m + 4*x. Is 69 a factor of m?
True
Let t = 2318 + -2294. Let a(k) = 27*k + 17 + 0*k**2 + 16 - k**2. Is 21 a factor of a(t)?
True
Let x = 37992 + -15108. Does 14 divide x?
False
Let q = -109 - -95. Let f(i) = -51*i - 13. Let h be f(q). Suppose 3*s - 2*z - h = 0, -5*s + 1164 = -0*s + z. Is s a multiple of 11?
False
Let q(w) be the second derivative of w**5/20 - 7*w**4/12 - w**3/2 + 9*w**2/2 + 64*w - 2. Does 46 divide q(9)?
False
Let v be 550/(-4) - (-54)/(-36). Let l = 133 + v. Let r(c) = -6*c**2 - 44*c - 9. Is r(l) a multiple of 4?
False
Suppose -16 = -n - 4. Does 51 divide (-1*51)/(((-20)/n)/5)?
True
Let j = 32 - 32. Suppose j = 8*n + n. Suppose z - 10*z + 99 = n. Is 11 a factor of z?
True
Suppose 22 = 4*a - 2*t, -3*t + 0*t = 4*a - 17. Let c be -3 + -8 + 5 + a. Is c/(-4) - 11440/(-64) a multiple of 12?
False
Let z be 64/14 + 3*(-1)/(-7). Suppose 12 = -n - 3*n, -g - 3*n = z. Suppose d = 3*v + 38, d + g*d = 2*v + 242. Is d a multiple of 10?
True
Suppose 11*r = 137 - 38. Is 19 a factor of (r/(-6))/(-4 - (-11838)/2964)?
True
Let f(w) = 150*w + 27. Let i be f(-3). Let m = i - -653. Does 64 divide m?
False
Let g(m) be the first derivative of m**6/72 - m**4/24 + 2*m**3/3 + 36. Let z(r) be the third derivative of g(r). Is z(3) a multiple of 18?
False
Suppose 86*u - 239258 = 55*u. Does 45 divide u?
False
Is 81 - 89 - (-1 + (-11763)/3) a multiple of 19?
True
Suppose -3*m - h + 23292 = -1970, -h - 16848 = -2*m. Does 131 divide m?
False
Let n(b) = -104*b - 10 + 34*b - 2 - 28 + 24*b. Does 18 divide n(-13)?
True
Let z(t) = 37*t**3 + 8*t**2 - 12*t + 9. Let w be z(4). Suppose -w = -y - 8*y. Suppose 13*u - 10*u = y. Is 13 a factor of u?
True
Suppose 2*h - 2*g - 17906 = 0, -4*g + 17909 = 2*h - 7*g. Is h a multiple of 179?
True
Suppose -20*w - 97*w + 332966 = -249928. Is 47 a factor of w?
True
Suppose -4431 - 22377 = -8*x. Is 13 a factor of x?
False
Is 45 a factor of 1567 - (-1 + 11/((-66)/42))?
True
Let u(s) = 71*s**2 - s. Let p be 1 + (3 - 2*-13). Let j = p + -29. Is 7 a factor of u(j)?
True
Let u = -23 - -35. Let b = 19 - u. Suppose k - 36 = b. Is 13 a factor of k?
False
Let d = 18 - 17. Suppose 2*k + d - 5 = 0. Suppose -j + k*x = x - 32, 5*j + 3*x = 120. Does 5 divide j?
False
Suppose -4*w = -0*w - 5*d - 471, 0 = 3*w - d - 345. Suppose 0 = 113*j - w*j + 2. Is 3*j/(7/(784/12)) a multiple of 3?
False
Suppose -5*x + 5 + 40 = 0. Suppose 0 = -d - x + 15. Suppose -320 = -d*q + 46. Is 8 a factor of q?
False
Let w(f) = f**2 - 13*f + 22. Let y = 16 - 5. Let s be w(y). Suppose 2*m + 5*t = -m + 274, s = -5*m - 3*t + 478. Is m a multiple of 15?
False
Suppose 28*o = 33*o - 4*f - 198, -5*o = -3*f - 201. Suppose o*k = -32*k + 7918. Is 6 a factor of k?
False
Let d(m) = -m + 22. Let a be d(4). Suppose -6*l = -3*l - a. Suppose 4*t - l*x = -3*x + 212, 0 = 4*x - 16. Does 8 divide t?
True
Let a(v) = -4*v**3 + 17*v**2 + 50*v + 27. Does 11 divide a(-9)?
False
Let l = 213 + -183. Suppose -f - k + l = -63, 3*f = 3*k + 249. Is 12 a factor of f?
False
Suppose -4*t + 0*t = h - 236, -463 = -2*h + t. Suppose h*s - 238*s = -264. Is 24 a factor of s?
False
Let w(n) = -n**2 - n - 1. Let a(k) = 9*k**2 - 4*k + 19. Let y(t) = a(t) + 6*w(t). Is y(7) a multiple of 9?
True
Does 36 divide (0 + 67)*124 - (-232)/29?
True
Let y(f) = -6*f + 5*f**3 - 1 + 6*f**2 - f - 2*f**3 - 21*f**2. Does 13 divide y(6)?
True
Let u = 5340 + -4472. Is 14 a factor of u?
True
Let q be (-22)/8 - (-3)/(-12). Let k(i) be the thir