 a(d). Let n(h) = h**3 - 6*h**2 - 6*h + 2. Is n(u) a multiple of 2?
False
Suppose -3*o + 590 = 2*h, -6*o - h + 981 = -o. Does 26 divide o?
False
Suppose -2*l + 993 = -669. Does 14 divide l?
False
Suppose 13*j + 1214 = 15*j. Is 13 a factor of j?
False
Suppose 23*k - 1224 - 18 = 0. Is 5 a factor of k?
False
Let u = 6 + -4. Let p(n) = -n**2 + 2*n + 3. Let j(v) = -v**3 + 2*v**2 - 3*v - 3. Let y(r) = -2*j(r) - 3*p(r). Is 4 a factor of y(u)?
False
Let s be (-406)/(-3) - (-1)/(-3). Suppose 9*m = 405 + s. Does 20 divide m?
True
Suppose -14996 = -5*q - b, 4*b = 63*q - 67*q + 11984. Is q a multiple of 10?
True
Is 1 + -1 + (475 - -5) a multiple of 30?
True
Let v = -40 - -32. Is 8 a factor of (-2*3)/(2/v)?
True
Suppose -2*i - 3 - 1 = 0. Let j be 2 + (-1 - 0/i). Let b = j - -13. Is 14 a factor of b?
True
Is 53 a factor of 3 + 100/(-32) - 71246/(-112)?
True
Let d(t) = 5*t**2 - 11*t + 20. Let w be d(9). Suppose w = 10*a - 84. Is 41 a factor of a?
True
Let m = 555 + 509. Is m a multiple of 19?
True
Let o(r) = -r**3 + r**2 - 2*r + 117. Let w = -64 - -64. Is o(w) a multiple of 13?
True
Let j(p) = 27*p - 12. Suppose 10 = 3*m - m. Let d be j(m). Suppose -57 = -4*f + d. Is f a multiple of 15?
True
Does 4 divide 59*(0 + (-3 - -4))?
False
Let f be (-1 - (-2 + -9)) + -2. Suppose f*s - 6*s = 60. Suppose 25 = 2*y + 3*y - 5*i, s = y + 4*i. Is y a multiple of 10?
True
Let q = -33 + 40. Suppose -1827 = -14*f + q*f. Does 41 divide f?
False
Suppose -1557 = 3*k + 2199. Does 13 divide k/(-6) - ((-12)/9)/(-2)?
True
Let m(l) be the first derivative of l**4/4 + 10*l**3/3 - l**2 + 12*l - 7. Is m(-10) a multiple of 8?
True
Let l(r) = r + 12. Let y be l(-13). Let g be 0*y/(-3) - 84. Let h = g + 124. Is 9 a factor of h?
False
Suppose 256*s + 3180 = 266*s. Does 11 divide s?
False
Let q(u) = 17*u**2 - 12*u + 11. Is q(-5) a multiple of 30?
False
Let w be 12 - (3 - (0 + -1)). Let x be (3 + 0)*w/6. Is 29 a factor of (-6 + x)/((-3)/87)?
True
Let l be -1*(-3 + -4 + 6). Let t = 5 - l. Suppose 160 = t*o + o. Is o a multiple of 8?
True
Let v = 411 - 266. Is 13 a factor of v?
False
Suppose -280 = -4*r - r. Suppose -4*i = -36 - r. Is i a multiple of 9?
False
Let n(a) = -1. Let c(f) = f - 11. Let q(w) = -c(w) - 5*n(w). Let z be q(16). Suppose -2*m + 2 = z, m - 2*m + 81 = 4*i. Does 5 divide i?
True
Let n(f) be the first derivative of f**4/4 + 10*f**3/3 + 9*f**2/2 + 2*f + 11. Let t be n(-9). Suppose -t*h - 2*h + 139 = x, -x = -3*h + 113. Does 12 divide h?
True
Let k = 349 + -319. Is k a multiple of 5?
True
Is 8 a factor of (-1 - 6)/((24/387)/(-8))?
False
Let o(j) = -8*j + 101. Does 13 divide o(-2)?
True
Let q = -96 - -211. Is q a multiple of 33?
False
Suppose 0 = -14*p + 13*p - 2*v + 9, 4*p - v = -9. Suppose 146 = 3*j - 19. Does 33 divide ((-99)/55)/(p/j)?
True
Let s = 39 + -27. Suppose s*n - 9*n - 576 = 0. Is 25 a factor of n?
False
Suppose -u + 83 = -5*p + 25, -2*u = -5*p - 126. Is 34 a factor of u?
True
Let n be 118*(-3)/(-6) + -4. Suppose -n = 7*y - 12*y. Is y a multiple of 5?
False
Suppose 11028 = 26*f - 14*f. Is 45 a factor of f?
False
Let p = -8019 + 13409. Is p a multiple of 14?
True
Let x(g) = g**3 - 9*g**2 - 15*g + 13. Let j be x(11). Let a = j - 131. Is (-8)/(-4) - (a - -2) a multiple of 15?
False
Let w = 714 + 288. Is 6 a factor of w?
True
Let h = 8779 - 5256. Does 13 divide h?
True
Let s = 129 + 159. Suppose 0 = -4*o + 5*g + 288, -4*o + 2*g + s = -0*g. Is o a multiple of 18?
True
Let l(k) = -2*k**2 - 26*k + 29. Let a be (440/(-9))/4 + 4/18. Is l(a) a multiple of 7?
False
Suppose 2*t - 4*l - 19 = 3*t, 23 = -2*t - 3*l. Let g = 398 + -396. Is 11 a factor of (-11)/g*(t - -5)?
True
Let l(n) = -n**3 + 6*n**2 - 2*n + 6. Let s be l(5). Let d be -4 + 7/(s/(-6)). Is 9 a factor of (d/(-4))/(1/30)?
True
Suppose 3*u = 4*y - 1028, 6*y - 3*u - 508 = 4*y. Is y a multiple of 65?
True
Let j(s) be the first derivative of 19*s**3/3 + 3*s**2 - s - 13. Does 18 divide j(2)?
False
Let g = 479 - 276. Suppose 4*k = 5*d + 165, 6*d + g = 5*k + 3*d. Let h = k + -24. Does 4 divide h?
True
Suppose 7*q - 4598 - 15877 = 0. Is q a multiple of 15?
True
Let i = 218 - 108. Suppose -i = -r - r. Is r a multiple of 20?
False
Let j(h) = h**3 + 2*h**2 + h + 44. Suppose -p = -5*p - p. Is 11 a factor of j(p)?
True
Suppose -211 - 196 = -11*s. Is 2 a factor of s?
False
Let d(t) be the third derivative of t**5/30 + t**4/8 + 3*t**3/2 + 21*t**2. Is 9 a factor of d(6)?
True
Let d(r) = -10*r**3 - r**2 - 19*r. Is d(-4) a multiple of 14?
True
Suppose 5*f + 4*g = g + 1349, -g + 3 = 0. Does 35 divide f?
False
Suppose 12*h - 5*y - 573 = 11*h, 1116 = 2*h - 4*y. Does 6 divide h?
False
Let o = 54 - -21. Let y = o + -14. Is y a multiple of 4?
False
Suppose 30*g - 32*g - 3*u = -543, 0 = -2*g - 4*u + 544. Is 18 a factor of g?
True
Suppose 0 = -4*f - 4*g - 804, -2*g = -2*f - g - 411. Does 11 divide (63/(-6))/(18/f)?
False
Suppose -5*i - 4*a + 2004 = 0, 5*i + 5*a = 6*i - 424. Does 10 divide i?
False
Suppose -90*m = -91*m + 322. Is m a multiple of 18?
False
Let q = 18 + -10. Let a be -2*(-4)/q*3. Suppose a*z - 51 = -5*j, -4*z + 12 = -j - 79. Does 17 divide z?
False
Suppose 2*m - 170 = m - 5*q, -2*m + 312 = 3*q. Let a be (-6)/(-5)*(-30)/(-9). Suppose m = a*u + 6. Is 25 a factor of u?
False
Is -3 + 3 - ((-2706)/3 - -4) a multiple of 77?
False
Let z(o) = 434*o + 153. Is 79 a factor of z(3)?
False
Suppose 2*b = 3*t + 8, 0*t + b = -5*t + 4. Let y(o) = 23*o**2 + o - 1. Let j be y(1). Suppose -c + 0*c = -4*d - j, t = -3*c - 2*d + 27. Is c a multiple of 6?
False
Suppose 1099 = 3*k - m, k - 368 = -0*k + 2*m. Let r = -174 + k. Suppose -r + 0 = -4*h. Is 8 a factor of h?
True
Let o be 1 - (-9)/(3 + 0). Suppose -9 = -3*r + 3, 0 = 4*c - 5*r + 44. Does 23 divide (4/c)/(o/(-426))?
False
Suppose 2*j + 638 = 2*f - 3*j, -4*f + 1286 = -5*j. Is 29 a factor of f?
False
Suppose -3*n + 7 = 2*o - 17, 0 = 2*n - 2*o - 16. Let z(c) = -1 + 5*c - c - 5 + 22. Does 16 divide z(n)?
True
Let l be 168/(-32)*36/3*1. Let s = 440 - 288. Let i = s + l. Is 19 a factor of i?
False
Let h(n) = 1659*n**2 - 19*n - 1. Does 13 divide h(-1)?
True
Suppose -4*n + 0*n + 8 = 0. Suppose -2*i = 2*m - 26, 0 = n*m + 3*i - 8*i - 19. Let b = -9 + m. Is 3 a factor of b?
True
Suppose 584 = -3*h + 7*h. Suppose -3*f + f = -10, -2*f - h = -2*k. Does 24 divide k?
False
Let n(w) = 5*w + 20. Let x be n(5). Suppose -5 = -t, d + x = 2*d + 3*t. Is 5 a factor of d?
True
Suppose 6*c - c = 5. Let n(d) = -5*d**2 + 16*d**2 + 17*d**2 - 5*d**2 + 1. Is 5 a factor of n(c)?
False
Suppose 19*d - 21*d = -74. Let t = 35 + d. Is 9 a factor of t?
True
Let i(q) = -q**3 + 3*q**2 + q + 4. Suppose -161*m + 160*m = 5. Is i(m) a multiple of 6?
False
Is 21 a factor of 266/(13/24 - 9/(-72))?
True
Let c be -3*(2 + -6)/12. Suppose -c + 2 = l. Is 1*33 - (l - -2) a multiple of 15?
True
Is 36*-3*(-40)/30 a multiple of 16?
True
Is -2 + (-19)/(152/(-17040)) a multiple of 28?
True
Let o(i) = -5*i - 6 - 4*i + 21. Let x be -22*2/(-55)*-5*3. Does 41 divide o(x)?
True
Let z be ((-36)/24)/((-6)/(-8)). Is 19 a factor of 38*z/12*-15?
True
Let q(v) = 3*v - 7. Let g be q(3). Suppose 5*f + g*x - 388 = f, f + 4*x - 104 = 0. Is 24 a factor of f?
True
Is (-2895)/(-75) + (-2)/(-5) a multiple of 38?
False
Is (-1434)/(-16) + 77/56 + -1 a multiple of 10?
True
Let t(y) = y**2 + 2*y - 3. Let n be t(3). Suppose -3*r - 5*k = -10 - 3, -5*k = 2*r - 7. Is ((-8)/r)/((-2)/n) a multiple of 4?
True
Suppose -d = 5*a - 670, -3*a = -4*d + 7*d - 1986. Is 30 a factor of d?
True
Let m be (-3)/6*(-3)/((-3)/4). Does 9 divide (-1137)/(-9) + m - 1/3?
False
Let c(y) be the third derivative of 0 + y**2 + 0*y - 1/12*y**4 - 3/2*y**3. Does 5 divide c(-13)?
False
Suppose -5*g = 3*c + 5, 4*c - 2*g = -7*g. Suppose 3*n - 2*n = -c*r + 9, 3*r - 2*n = 8. Suppose -4*m = -3*m - r*d - 16, 48 = 3*m + 2*d. Is m a multiple of 16?
True
Suppose p + 4*c + 10 - 32 = 0, -2*c + 2 = -4*p. Suppose -5*h + 7 + 18 = 5*w, -25 = -3*h + p*w. Does 7 divide h?
True
Let m be 1*(2 + -3 - -6). Suppose -5*p - 62 = -f, -p - 4*p - 50 = m*f. Let c = p - -22. Does 2 divide c?
True
Let l(s) = s**2 - 10*s - 5. Let a be l(11). Suppose -a*v + 31 = -23. Let z = v - -15. Does 8 divide z?
True
Let s(h) = 3*h + 16. Let g be s(-4). Let j(w) = 4*w**2 + 2*w + 6. Is 13 a factor of j(g)?
True
Let u(q) be the first derivative of 3*q*