 Let q(a) be the second derivative of f(a). Does 16 divide q(9)?
False
Let i = -2 - 6. Let r be i/16*0/(-2). Suppose 0 = -3*k - r*k + 174. Is 15 a factor of k?
False
Let n(t) = -t**2 + 5*t + 9. Let o be n(6). Suppose 56 = i - s, 3*i + i - 254 = -2*s. Suppose o*k + 4*q - i = 0, 0 = -3*k - 0*q - 3*q + 66. Is 21 a factor of k?
False
Is 103 + (0 - 4) + 4/1 a multiple of 5?
False
Let u = 20 - 15. Suppose -u*n = n - 48. Is n a multiple of 4?
True
Suppose -4*y + 20 = y. Let l = 13 - y. Is 4 a factor of -2 + 15 - (l - 9)?
False
Let g be (-6 - -4 - (-2)/3)*-6. Suppose -g*k + k + 462 = 0. Is k a multiple of 11?
True
Let h = 4 - 7. Is h/(1 - (-52)/(-40)) a multiple of 3?
False
Suppose 7542 = 14*o + 262. Suppose 5*p - o = 5*l, 213 = 2*p + l + 2*l. Does 9 divide p?
False
Let y = 315 - -57. Does 31 divide y?
True
Let v = -283 - -397. Suppose q = -4*s + 477, -3*q = -s + 2*q + v. Is s a multiple of 39?
False
Let w(z) = 10*z. Let f be w(2). Let i = -23 + 8. Does 4 divide (-12)/i - (-384)/f?
True
Suppose 3*w + 6*f - 1399 = 10*f, -498 = -w - 5*f. Does 17 divide w?
False
Does 12 divide (((-1)/(-2))/1)/((-10)/(-8240))?
False
Suppose -5*g + 1551 = 2*t, 5*g = -23 + 8. Is t a multiple of 28?
False
Let d = -30 - -69. Is 4/12*d - 1 a multiple of 4?
True
Let b = -84 + 270. Let h(u) = 20*u - 8. Let q be h(-6). Let o = b + q. Does 12 divide o?
False
Let h = 334 - 247. Is 4 a factor of h?
False
Let d be (-1)/((-24)/26 + 1). Let b be 79 + -3*(-3)/(-9). Let w = b + d. Is 13 a factor of w?
True
Suppose 3*l = -4*f + 1474 + 1261, 0 = -3*l - 3*f + 2736. Is l a multiple of 14?
False
Suppose 181 + 521 = 3*u. Does 16 divide u?
False
Let w = 2292 + -2164. Is w a multiple of 4?
True
Let v(r) = 12*r**2 - 6*r - 60. Is v(-4) a multiple of 6?
True
Let u = -18 - -11. Let f = u - -3. Let c = f + 18. Does 14 divide c?
True
Let y(p) = p**2 + p**2 - p**3 + 3*p**2 + 3 + 4*p. Let g = -696 + 700. Does 18 divide y(g)?
False
Let d(t) = 119*t - 12. Is d(18) a multiple of 10?
True
Suppose 1506 - 24642 = -16*s. Is s a multiple of 55?
False
Let f = 114 - 118. Let s = -23 + 34. Let t = s - f. Does 7 divide t?
False
Let l(a) = a**2 - a - 2. Let m be l(-2). Does 15 divide (m/6)/(6/675)?
True
Let j(f) = 34*f - 3. Suppose 172 - 152 = 5*k. Is 14 a factor of j(k)?
False
Let a = 81 + -76. Suppose -3*m = -a*r + 392, -11*m = -5*r - 9*m + 393. Is r a multiple of 7?
False
Suppose 4*n - 96 = -5*m, n + 2*n - m = 72. Is n + (-1 - -9)/2 a multiple of 13?
False
Suppose -2*d = 2*h - 958, -9 - 1 = 5*d. Is 17 a factor of h?
False
Let g be 9 + 11/((-33)/(-12)). Is 26 a factor of (g/(-3))/(((-10)/84)/5)?
True
Let s = 534 - 66. Does 7 divide s?
False
Let w(r) = 2*r + 5. Let n be w(-7). Let g(j) = -j**3 - 9*j**2 + 5*j + 10. Let b be g(n). Does 8 divide ((-6)/15)/1*b?
False
Let s(a) = -2*a - 5. Let w be s(-12). Let o = w - 41. Is (-9)/(o/7 + 3) a multiple of 19?
False
Suppose 85 = 5*v + 5*r, 0*r + 43 = 3*v + r. Suppose -v*f + 12*f + 5 = 0. Suppose -f*n + 2*d - 44 = -131, 30 = 2*n + 4*d. Is n a multiple of 4?
False
Let c be 1/((-3)/12) - 8. Is 29 a factor of (-870)/c*18/5?
True
Suppose -3420 = 4*w - 23*w. Does 15 divide w?
True
Is 4 a factor of ((-36)/16)/(12/(-2512))?
False
Let g be 6*1/3 + 842/2. Suppose 45 = -3*y + g. Is y a multiple of 9?
True
Let j(n) be the second derivative of 5/12*n**4 - 5*n + 0*n**3 + 0*n**2 + 0. Does 5 divide j(1)?
True
Suppose 0 = 2*k - 5*l + 176, 3*k + 185 = -2*l - 79. Let h = -18 - k. Is h a multiple of 11?
False
Let r(q) be the second derivative of -2*q**3 + 17*q**2 - 9*q. Is 5 a factor of r(-5)?
False
Let n(f) = f + 7. Let d be n(-5). Suppose -2*w = -2*t - 14 + 72, d*w = -10. Suppose -5*m - p = -t, -m + 2*p = -9 + 2. Does 5 divide m?
True
Let z be ((-1)/2)/(4/288). Let g be ((-20)/30)/((-1)/z). Does 6 divide (-3 + 0)/6*g?
True
Suppose 0 = -i - 2*w + 6*w + 28, -5*w = -4*i + 57. Suppose -i*q = 13 + 35. Does 12 divide (q/(-4))/(33/1826)?
False
Let x(i) = -i**2 + 11*i - 8. Let j(p) = p**3 + 5*p**2 - 9. Let c be j(-4). Does 5 divide x(c)?
True
Let z(t) = -60*t - 295. Is z(-31) a multiple of 33?
False
Let y(l) = -l**3 + 30*l**2 + 54*l. Is y(30) a multiple of 18?
True
Let i = 36 + 61. Suppose 2*a - 62 = -z - z, 3*a = -5*z + i. Is 5 a factor of a?
False
Suppose -41*m - 234 + 3514 = 0. Does 2 divide m?
True
Let u = -405 - -832. Is u a multiple of 20?
False
Let j(m) = -m - 3. Let c be j(-5). Let s(z) = 0*z + 22 + c*z**2 - z**2 - 31 + 6*z. Is s(-8) a multiple of 5?
False
Let q be (-69)/21 - (2 - (-48)/(-21)). Does 4 divide (-2)/(-6) - (q + 6/(-9))?
True
Let z(r) = r + 8. Let g be z(-4). Suppose 5*n = 5*l - 2*l + 335, 0 = g*n - 4*l - 276. Does 8 divide n?
True
Let k(y) = 4*y**2 + 21*y - 16. Is k(10) a multiple of 47?
False
Let a be 3*(-4 - (-28)/6). Is (7/a + -1)*8 a multiple of 5?
True
Does 15 divide (-1)/((1 + 3)/(-924))?
False
Let q(g) be the second derivative of -g**5/10 - g**4/3 + g**3/6 + g**2 - 4*g. Let w be q(-3). Suppose h - w = 4. Is 11 a factor of h?
False
Let t(h) = 3*h**2 + 8*h - 4. Let g(x) = -x + 0*x + x**2 + 1 - 2. Let f(m) = -4*g(m) + t(m). Is 12 a factor of f(6)?
True
Let l(c) = -4*c - 3*c + 13*c + 4*c**2 + 3 - 4*c. Does 8 divide l(-3)?
False
Let h(k) = 2*k**3 - 4*k**2 - 13*k + 9. Is 73 a factor of h(6)?
True
Let l be 192/(-16)*6/(-4). Suppose -2*h = -2*o + 14, 3*o - o - 3*h - l = 0. Does 2 divide o?
False
Let m(t) = t**3 - 21*t**2 - 11. Is m(22) a multiple of 23?
False
Let n = -2 - -4. Suppose n*q = -2*q + 32. Let x(g) = g**2 - 6*g - 1. Is 15 a factor of x(q)?
True
Suppose 0 = -24*a - a + 33600. Does 64 divide a?
True
Let d = 22 - 16. Suppose -3*f + 2*f + 2*h + 9 = 0, f + 3*h = -d. Is 2 - (8 - f) - -12 a multiple of 3?
True
Let w(f) = -f**2 + 3*f. Suppose 0 = -g + 10 - 6. Let u be w(g). Does 12 divide (3 + -55)/u - 1?
True
Let h(u) = u**3 + 8*u**2 - u + 6. Let x(i) be the second derivative of -i**5/20 - 2*i**4/3 - 3*i**2 + i. Let n(z) = 2*h(z) + 3*x(z). Is n(-8) a multiple of 5?
True
Suppose 0 = 10*w - 8*w - 160. Is 10 a factor of w?
True
Suppose -m + 166 = 2*f, -184 = -2*m - 3*f + 143. Is m a multiple of 8?
False
Let k be (-25)/(-10)*24/(-15). Is 11 a factor of (-2)/k + 3/(6/197)?
True
Suppose 0 = 4*t - 3*t + 250. Let n = 490 + t. Does 48 divide n?
True
Is 6 a factor of (-13)/(143/6) - 24339/(-33)?
False
Let w(g) = 242*g + 46. Does 53 divide w(2)?
True
Is 20 a factor of (-32340)/(-51) - (-18)/(-153)?
False
Let j = -715 + 1093. Does 12 divide j?
False
Suppose 0 = 4*m - 3 - 5. Suppose m*i - i = 112. Is 22 a factor of i?
False
Suppose -2*l + 6*l - 42 = -2*a, 4*a - 39 = -3*l. Let k = -21 + l. Does 9 divide (162/k)/(6/(-16))?
True
Suppose -5*i + 2*i + 12 = 0. Suppose 4*m = 3*r - 31, -i*r + 17 = -2*m - 21. Let h = r + -4. Does 3 divide h?
False
Suppose 19*q - 6*q = 728. Let k = q - -26. Is k a multiple of 4?
False
Let s(k) be the second derivative of -k**2 + k - 1/3*k**4 - 1/20*k**5 + 4/3*k**3 + 0. Is 13 a factor of s(-6)?
False
Let j = -28 - -33. Suppose -j*k - 24 = -6*k. Is 3 a factor of k?
True
Suppose 3 + 17 = g. Does 10 divide g?
True
Let y(b) be the third derivative of b**7/2520 - b**5/40 - b**4/12 - 3*b**2. Let d(s) be the second derivative of y(s). Is 6 a factor of d(3)?
True
Let n = 231 - 153. Let g = n + -66. Is g a multiple of 2?
True
Suppose 0 = -c - 4*g + 6*g + 333, 4*c - 3*g - 1317 = 0. Is 9 a factor of c?
False
Let y(o) = 69*o - 8. Let z be y(-5). Let i = z - -144. Let v = 299 + i. Is 13 a factor of v?
False
Let g(b) = 72*b + 257. Is 3 a factor of g(5)?
False
Let d(m) = 56*m - 119. Is 9 a factor of d(6)?
False
Let k(f) be the third derivative of 3*f**4/8 - 27*f**3/2 + 7*f**2. Is k(15) a multiple of 20?
False
Is 55 a factor of 2838/26 + 1 + 120/(-780)?
True
Suppose 3*z + 0*w + 4*w = 13, -4*w = 2*z - 10. Suppose d + 311 = z*n, -3*n - 2*d + d + 319 = 0. Is 9 a factor of n?
False
Let p(y) = -y**3 + 7*y**2 + 21*y - 43. Is p(7) a multiple of 13?
True
Let c(s) = 38*s**2 + 17*s - 52. Is 17 a factor of c(8)?
True
Let b = -7 - -41. Suppose -2*k - 4*q = 16, -k + b = -6*k - 4*q. Is 4 a factor of k/(27/12 - 3)?
True
Let r = 0 - -4. Suppose -3*y = -r*y + 2. Suppose -2 = y*s, 0 = -3*u + 5*s + 58 + 52. Does 17 divide u?
False
Let s = -7 + 101. Suppose -4*r - 139 = -5*r - 4*g, r - s = 5*g. Does 24 divide r - -1 - 4 - 1?
False
Let i = -15 + 37. Let l(d) = d**3 - 21*d**2 - 20*d - 16. Is l(i) 