. Is 14 a factor of d(3)?
False
Let n be (6/(-8) + 2)*4. Suppose 3*l = -2*f + 109, 44 = n*l + 2*f - 135. Let b = l + -12. Is b a multiple of 9?
False
Suppose 6022 = 13*h - 7849. Is 10 a factor of h?
False
Let h(a) = a**3 - 6*a**2 - 3*a - 7. Let t be h(5). Let n = t + 87. Suppose -r + n = 2*y + r, -4*r = y - 35. Does 5 divide y?
True
Suppose 45*d = 61*d - 2160. Does 23 divide d?
False
Suppose -3*m + 5 = 2*c + 1, 2*m = c + 12. Suppose 3*n - 6 = 4*f, -2*n + 3*f - m = -4*n. Suppose l - n*l = -66. Is l a multiple of 28?
False
Let c(r) = -13*r**3 + r**2 + 17*r + 7. Is c(-5) a multiple of 10?
False
Suppose -6027*q + 6035*q - 3936 = 0. Is 4 a factor of q?
True
Suppose 3*h + 13 = 7. Is (-622)/(((-8)/10)/(h/(-5))) a multiple of 50?
False
Let o(n) = -n**2 - 10*n - 12. Let q be o(-8). Suppose 8 + 12 = q*v. Suppose 0 = v*z + 10, 3*h + z + 52 = 4*h. Does 25 divide h?
True
Let n(q) = -q**3 + q**2 - q + 8. Let d be n(0). Let u(b) = -3*b - 4. Let m be u(d). Let h = m + 46. Is 6 a factor of h?
True
Suppose -t - 84 = -i, -4*t - 522 = 3*i - 165. Let o be (2 - 1)/(1/151). Let s = o + t. Is 15 a factor of s?
False
Suppose -9*z = -7*z - 3*a - 717, 0 = 5*z + 2*a - 1802. Is z a multiple of 10?
True
Let c = 41 - 15. Let l = 57 - c. Suppose -2*k = n - 3*n + 46, 2*n + k = l. Is 9 a factor of n?
True
Suppose 3*j = 5 + 7, 0 = -3*d - 4*j + 19. Let i be (0 + 0)/(d + 2). Suppose -3*k + m - 18 + 85 = 0, 5*k - m - 115 = i. Does 11 divide k?
False
Suppose 2*w = -b + 13, -5*w + 5 = b - 29. Suppose -312 = -w*q + 5*q. Is q a multiple of 39?
True
Let m = 756 + -291. Suppose -95*v = -100*v + m. Is 31 a factor of v?
True
Suppose 0*y - 4*y = -4*m + 28, y = 5*m - 39. Does 13 divide (-1707)/(-9) + m/(-12)?
False
Let i(o) = -2*o - 4. Let m be i(-8). Let d = 15 - m. Suppose -d*u = -0*u - 15. Is 3 a factor of u?
False
Let v be (15/(-4))/(-3) + (-6)/(-8). Suppose -61 = -4*p + o, -o = p + v*p - 44. Is 11 a factor of p?
False
Let b = 115 - -68. Is b a multiple of 19?
False
Suppose 15*j = -9*j + 8400. Is 11 a factor of j?
False
Let l(r) = -2*r**2 + 3*r + 10. Suppose 0 = -0*o + 2*o - 8. Let z be l(o). Is 5 a factor of (4/z)/((-2)/50)?
True
Let t = 10 + -5. Let i(j) = -j**2 + 5*j - 2. Let k be i(t). Is 228/8 + 3/k a multiple of 27?
True
Suppose 0*j - 99 = -j. Is j a multiple of 9?
True
Is (8 - (-260)/(-30))*(-407 - 1) a multiple of 7?
False
Suppose 0 = 6*y - 2*y. Suppose t - 93 = 6*d - d, y = t - d - 73. Does 20 divide t?
False
Suppose -1390 = 9*n - 11083. Does 34 divide n?
False
Let r(u) = 2*u**2 + 23*u + 42. Does 18 divide r(-30)?
True
Suppose -66*u = -63*u - 741. Is u a multiple of 13?
True
Let h be (2/(8 + -2))/(4/24). Is 1/(h/10) - -331 a multiple of 24?
True
Let b(c) = c**3 + c**2 - 8*c - 37. Is 60 a factor of b(6)?
False
Let n(q) = q**3 - 20*q**2 - 21*q + 24. Let x = -16 + 37. Is n(x) a multiple of 8?
True
Let r = 68 + -66. Suppose 4*n - 19 - 25 = 0. Suppose -v - n = -r*v. Is 11 a factor of v?
True
Suppose 5*b - 139 = 6. Suppose 0 = -2*x + 4*c + 164, 4*x + b = 4*c + 341. Is 12 a factor of x?
False
Suppose -3*f + 156 = -0*f. Does 52 divide f?
True
Let p(z) = -z + 1. Let v be 2/(-2)*5/5. Let x be p(v). Suppose 2*w - 5*k - 52 = 0, -x*w + 2*k + 84 = 5*k. Is 22 a factor of w?
False
Let y(f) be the third derivative of -f**4/24 + 13*f**3/6 + 4*f**2. Let o be y(9). Suppose o*g + 3*h = 3*g + 4, g - 20 = h. Is g a multiple of 16?
True
Let k(x) = x**3 + x**2 + 1. Let j be k(-2). Let v be 3/9*(-3 - j). Suppose 0 = 4*y - v*y - 56. Is y a multiple of 14?
True
Let h(g) = -g**3 - 5*g**2 - 3*g + 4. Let i be h(-3). Let v(o) = -o**3 - 2*o**2 - 4*o. Let f be v(i). Suppose 0 = -2*s + 17 + f. Is s a multiple of 14?
True
Suppose 0 = -3*b + d + 2613, 5*b + 8*d - 4359 = 11*d. Does 40 divide b?
False
Let f be ((-16)/(-10))/(32/80). Suppose -v - v + 68 = f*j, 5*v - 3*j - 209 = 0. Suppose -26 - v = -5*g - 3*z, z - 2 = 0. Does 3 divide g?
True
Suppose 7*c - 5*o = 5*c + 4508, -o = 4*c - 8972. Is 41 a factor of c?
False
Let k(s) be the third derivative of s**5/60 + s**4/6 + 8*s**3/3 + 3*s**2. Is k(-5) a multiple of 7?
True
Suppose 11*y - 2102 = 1968. Is 17 a factor of y?
False
Let g be (-5)/(-2)*(-2 + 1 - -3). Suppose g*s + 2*i - 659 = -251, 4*s - 4*i - 304 = 0. Is s a multiple of 6?
False
Is ((-5735)/(-20) - 2) + (-1)/(-4) a multiple of 15?
True
Let j(r) = 62*r - 130. Is j(5) a multiple of 30?
True
Let f(j) = 2*j + 33. Let d be f(-15). Let x be (4/(-3) + 2)*d. Does 19 divide (2 + 59/2)*x?
False
Let x(a) = 3*a**2 + 114. Is 21 a factor of x(-12)?
True
Let z(p) = -15*p**2 + 1. Let u be z(3). Let v = u + 252. Is 18 a factor of v?
False
Let h(j) = 2*j + 3. Let n be h(0). Suppose n*u + 13 = 34. Does 2 divide u?
False
Is (-1357)/(-3) - (-1)/(-3) a multiple of 5?
False
Suppose -4 - 1 = k. Let r(g) = 4*g - 12. Let o(z) = -5*z + 12. Let w(t) = k*o(t) - 6*r(t). Is w(-9) a multiple of 2?
False
Let d be (3/(-6))/((-4)/4000). Suppose d = 5*n - 0*n. Is 18 a factor of n?
False
Let u = 11 + -9. Suppose u*y + 0*y = -2*g + 4, y = 2. Let b(x) = x + 24. Is 8 a factor of b(g)?
True
Let p(m) = -4*m - 29. Let l be p(-12). Let h = 23 - l. Does 4 divide h?
True
Let d(a) = -14*a - 10. Let r be d(-2). Let w(f) = f + 37. Is 10 a factor of w(r)?
False
Let f(k) = k + 27. Let d(n) = -n + 1. Let p(x) = 4*x + 23. Let v(a) = -2*d(a) + p(a). Let g be v(-6). Is f(g) a multiple of 4?
True
Let k(u) = -u**2 - 8*u + 9. Let v be k(-8). Suppose 1752 = v*l + 402. Is 15 a factor of l?
True
Suppose -q - 1003 = -3*u, 9*u - 341 = 8*u + 2*q. Is 9 a factor of u?
True
Suppose 2*h = -h - 39. Let w = -48 - h. Let u = 21 - w. Is 10 a factor of u?
False
Let p(k) = -k**2 + 6*k + 9. Let z be p(7). Let d(a) = 9*a + z + 4 - 2 - 7. Is 13 a factor of d(5)?
False
Let g(b) = -1 + 5 - 3 - 6*b + 3 + 7*b**2 - b**3. Let y be g(6). Suppose -2*r + y*r - 5*x - 14 = 0, -3*r = x - 55. Is 17 a factor of r?
True
Suppose r + 2*p - 266 = -3*r, -4*r + 3*p + 251 = 0. Does 13 divide r?
True
Does 2 divide (436 - (-2 + 2)) + -35 + 39?
True
Suppose 0 = -3*l + 4*o + 56, 0 = 2*l - l + 2*o - 12. Suppose -d + 4*d - 38 = -2*r, l = 4*d. Is 4 a factor of r?
False
Is 1047 + ((-2)/1)/(4/2) a multiple of 81?
False
Suppose 0 = -5*t + 25, 2*m + 5*t = -3 + 198. Does 9 divide m?
False
Let r(s) = s + 7. Let p be r(-7). Suppose p = 4*h - 2*l - 42, l - 1 = 2*l. Does 5 divide h?
True
Suppose 0 = 4*w - 10 - 6. Suppose -11 = -5*c + w*v + 60, -4*c - v = -61. Does 15 divide c?
True
Let c(y) = -14*y**2 + 4*y. Let p(a) = 29*a**2 - 9*a. Let d(j) = -5*c(j) - 2*p(j). Let u(o) = -11*o**2 + 2*o. Let w(s) = 6*d(s) + 5*u(s). Does 3 divide w(-1)?
False
Let l(v) = 6*v. Let y be l(-1). Let b be ((-420)/(-7))/(y/(-8)). Suppose 2*t = -2*t + b. Does 20 divide t?
True
Suppose 6*q + 39 = 7*q + n, -4*q + 177 = -3*n. Is q a multiple of 21?
True
Let l be (-1 - (-116)/8)/(2/60). Suppose -l = -5*y + 315. Does 16 divide y?
True
Suppose -3*r + 78 = 24. Let c = r - -4. Is 994/c + 24/(-132) a multiple of 15?
True
Let x be 2/(-6)*3*3/(-1). Suppose -g - 2*m = -116, -m - 117 = -x*g + 245. Is 24 a factor of g?
True
Let m(z) = 21*z + 46. Is 5 a factor of m(4)?
True
Suppose 5*c - 5*z - 2346 - 389 = 0, 3*z = c - 545. Suppose 5*p + 196 = 2*v, 5*v + 3*p - c = p. Is v a multiple of 12?
True
Let f(n) = -n**2 - 3*n - 8. Let o(g) = 3*g**2 + 11*g + 32. Let w(d) = -9*f(d) - 2*o(d). Is 40 a factor of w(-8)?
True
Let p(j) = 2*j**3 - j**2 - 5*j + 3. Let r(a) = 2*a**3 - a**2 - 4*a + 3. Let v(d) = 6*p(d) - 7*r(d). Does 10 divide v(-4)?
False
Suppose -46*q = -17*q - 78909. Is q a multiple of 59?
False
Let q = 7 + -4. Let h(c) be the third derivative of 5*c**4/12 - 5*c**3/6 - 36*c**2. Is 7 a factor of h(q)?
False
Let w be (12/6 - -148)*(2 + -1). Let v = 255 - w. Does 15 divide v?
True
Let a(p) be the second derivative of 3*p**3 + 9*p**2/2 - 6*p. Is a(2) a multiple of 5?
True
Let t(r) = -4*r - 12. Let q(c) = -c**3 - 4*c**2 + c - 8. Let v be q(-5). Let z = -24 + v. Is t(z) a multiple of 12?
True
Suppose 4*f = 102 + 46. Let y = f - 20. Let i = 56 - y. Is 13 a factor of i?
True
Does 5 divide (-7088)/(-48) - 8/(-6)?
False
Let n = 1 + 5. Suppose 4*k + 0*k - 48 = 0. Let v = k - n. Is v a multiple of 3?
True
Suppose 5*s + 785 = 2*o - o, -5*o + 3844 = 2*s. Is o a multiple of 69?
False
Let o(a) = a**2 - 14*a - 53. Let d be o(-11). Suppose -3*z + d = -z. Does 37 divide z?
T