divide i?
False
Let h(f) be the third derivative of -17*f**4/24 - f**3/3 - 7*f**2. Let t be h(-4). Suppose 0*p + d = 4*p - 231, -3*d - t = -p. Is 12 a factor of p?
False
Let x(g) be the third derivative of 0*g + 1/3*g**3 + 5*g**2 + 1/4*g**4 + 0. Is x(4) a multiple of 26?
True
Let r(m) be the third derivative of -m**5/60 + 11*m**4/24 - 13*m**3/6 + 6*m**2. Let x be r(9). Suppose -u + x = -5. Is u a multiple of 4?
False
Let p(b) = b**2 - 11*b - 1. Let m be p(9). Let k = m - -209. Is 10 a factor of k?
True
Let d(j) = -j**3 + 7*j**2 - 5*j - 6. Suppose v - 24 = -3*v. Let l be d(v). Suppose -4*o = -o - 2*t - 160, l = o + t - 50. Is o a multiple of 19?
False
Suppose 4*u - 3*x = 6442, 4*u = 471*x - 474*x + 6430. Does 97 divide u?
False
Let l = 35 - 32. Suppose -7*f + 284 = -l*f. Does 26 divide f?
False
Let a(g) = g**3 - 14*g**2 + g + 3. Suppose f = 5*f - 56. Does 2 divide a(f)?
False
Let f(a) = a + 3. Let j be f(2). Suppose -x + 3*l - l + 5 = 0, 0 = -2*x - j*l + 37. Is 3 a factor of x?
False
Let v(h) = 32*h**2 - 11*h + 5. Is 25 a factor of v(-4)?
False
Let i(g) be the first derivative of -g**3/3 + 6*g**2 - 7*g - 7. Is 7 a factor of i(7)?
True
Suppose -5*m - 28 - 2 = -4*j, m = -4*j + 42. Let i = 4 + j. Does 14 divide i?
True
Is 22 a factor of 28 + -17 - (-333 + 2)?
False
Suppose 3639 = 15*z + 69. Is 38 a factor of z?
False
Suppose -5*m - 430 + 1150 = 0. Does 16 divide m?
True
Suppose 3*v = 31*v - 11312. Is 49 a factor of v?
False
Suppose 69*o - 81400 = -5*o. Is 5 a factor of o?
True
Does 11 divide ((-3150)/200)/(2/(-80) - 0)?
False
Suppose 19094 + 15016 = 15*h. Is h a multiple of 17?
False
Let d(t) = t**3 - t**2 - 3*t. Suppose -8*l - 2 = -26. Is d(l) a multiple of 3?
True
Let u = 2 - -2. Suppose a + u = 0, -4*f - 2*a + 16 = -0*f. Suppose -3*j = -f*j + 36. Is j a multiple of 6?
True
Let d(z) = 1579*z**2 + 5*z. Does 48 divide d(-1)?
False
Let s(f) = -2*f - 16. Let x be s(-10). Suppose x*r - 2*t - 246 = 0, -3*r + 3*t = 2*r - 306. Is 9 a factor of r?
True
Suppose 97*m - 94*m + 1397 = q, m - 7001 = -5*q. Is 20 a factor of q?
True
Let g(f) = 2*f**2 - 5*f + 2. Let c be g(2). Suppose -6 = -2*a - c. Suppose 2*o - a*j = -3 + 81, -5*o + 5*j + 185 = 0. Is 8 a factor of o?
False
Let n(m) = 6*m + 9. Let b be n(14). Suppose 5*x - b = -3*r, -1 = x + 2. Suppose 2*u = -o + 100, -4*u = -5*u + 3*o + r. Does 16 divide u?
True
Let j = 826 - 386. Is j a multiple of 11?
True
Let a(m) = 6*m**2 + 4*m**3 + 6*m - 6*m**3 + 3*m**2. Let s be a(5). Suppose 4*i = -3*y + 27 + 70, s*i = -4*y + 130. Is y a multiple of 12?
False
Let z = 233 + -49. Is z a multiple of 8?
True
Let a(u) = -u**3 - u**2 + u - 5. Let n be a(0). Let v be (-404)/n + 1/5. Suppose 4*d - v = -5*l, -4*d - 3 = -2*l - 49. Is 14 a factor of d?
True
Is -5 - (-5 + -3) - (-745 + 0) a multiple of 17?
True
Let k(v) = 2*v**2 - 52*v - 137. Does 9 divide k(39)?
False
Let k(s) = s**3 - 18*s**2 + 2*s - 31. Let p be k(18). Let i = -1 + 3. Suppose -2*g = -p*h + 210, -2*h = i*g + g - 84. Does 14 divide h?
True
Suppose 10*b - 1690 = -0*b. Is b a multiple of 36?
False
Let a = -9 + 14. Suppose a*o + 6 = 7*o. Suppose 0 = -u - o*r + 33, 27 = 4*u - 5*r - 54. Does 13 divide u?
False
Let o(x) = 2*x**2 - 3*x - 2. Let k(g) = 2*g - 5. Let p be k(5). Suppose i + 5 = 2*w, 9 = -2*i + p*w - 1. Does 20 divide o(i)?
False
Let v(t) = -3*t**3 - t**2 - 2*t - 1. Let u be v(-1). Let j(r) = 74*r - 3. Let a be j(u). Suppose -2*f = -5*d + 272, 2*f + a = 4*d - f. Is d a multiple of 27?
True
Let m(k) = -k**3 - 7*k**2 - 4*k - 6. Let c be m(-8). Suppose c = -3*r + 312. Is 37 a factor of r?
True
Let b(k) = 3*k**3 + 4*k**2 + 6*k + 4. Let y be b(5). Suppose 0 = 4*z + 16, 3*q + 4*z = -0*q + y. Is q a multiple of 32?
False
Suppose -k = -5*k + 4. Let f = k + -14. Let x(p) = -p**3 - 14*p**2 - 15*p - 8. Is x(f) a multiple of 6?
True
Let i = 67 - -20. Suppose -4*s - 2*o + 206 = 0, -3*s = 5*o - 0*o - 158. Let f = i - s. Is 12 a factor of f?
True
Suppose 3*q + u = 130, 2*q + 3*u - 43 = 53. Let p = 897 + -909. Let n = p + q. Does 10 divide n?
True
Let y be 1/((-1)/(-3)) - 73. Let z = y - -118. Is z*(-3)/24*-4 a multiple of 24?
True
Let b be (-18)/4*-10*10/(-75). Is 3*((-595)/(-10) - b/(-4)) a multiple of 29?
True
Let x be 200/52 - 2/(-13). Suppose 3*a - 94 - 157 = x*m, 352 = 4*a - m. Does 44 divide a?
False
Suppose 0 = 3*s - 4*o - 1785, 3*o - 8*o + 1785 = 3*s. Is s a multiple of 40?
False
Let x = -23 - -25. Suppose -2*a - 3 = -x*n - 9, -2*n + 2 = 0. Suppose 0 = a*o + q + 139 - 379, 4*o - 3*q - 240 = 0. Is 13 a factor of o?
False
Does 2 divide 6/8*8648/138?
False
Let v(x) = -18*x + 28. Suppose 0 = 2*b + 11 + 3. Is 14 a factor of v(b)?
True
Let h = 147 + -144. Suppose -h*c = 5*b - 0*c - 345, 0 = -2*b + 3*c + 117. Is b a multiple of 33?
True
Let a(y) = 2*y**3 - 8*y**2 - 7*y. Let t be a(7). Let x = t - 111. Is x a multiple of 19?
False
Suppose 4*w - 2*k = -6*k + 56, 4*k + 48 = 4*w. Suppose 190 = 15*l - w*l. Is 19 a factor of l?
True
Let u be (4/2)/(2/3). Suppose 0 = 6*n + 13*n - 570. Suppose 5*q + 2*c - 121 = 0, -u*q + 4*c + 113 = n. Does 16 divide q?
False
Let v(j) = 3*j**2 + j + 336. Is v(0) a multiple of 8?
True
Let i = 0 + 1. Let f(u) = 3 + 21*u**2 - u - i + 3*u. Does 16 divide f(-1)?
False
Suppose -2*h + z = -5, -2*h + z = 4*z - 17. Suppose n + 111 = h*n. Let u = 16 + n. Is 11 a factor of u?
False
Suppose 5*i - 163 = 32. Let c = -250 + 302. Let x = c - i. Is x a multiple of 3?
False
Let r = -26 + 26. Suppose r = 4*z + 5*i - 143, z = -i + 3*i + 52. Is 8 a factor of z?
False
Suppose -10*h = -h + 954. Let f = -48 - h. Is f a multiple of 24?
False
Suppose 3*o - 35 = -5. Is 26 a factor of (-159)/(-6) + (-5)/o?
True
Let o(r) = -r**2 + r. Let t be o(6). Is (t/1)/(0 + -2) a multiple of 5?
True
Let i(b) = -805*b + 11. Is 12 a factor of i(-1)?
True
Let b = 58 + -41. Suppose -5*y = -b + 42. Does 10 divide (-8)/(17/y - -3)?
True
Let s be 3 - (-1 + 2 + 7). Let m = s - -14. Is m/4*(-1 - -5) a multiple of 3?
True
Let r(u) = u**3 + 15*u**2 - u - 14. Let l(o) = -4*o**3 - 59*o**2 + 5*o + 57. Let f(v) = -2*l(v) - 9*r(v). Let k be f(-16). Let n = -75 - k. Does 40 divide n?
False
Suppose 2 - 6 = r + 2*m, -5*r = -4*m - 36. Is 3*1/4*r a multiple of 2?
False
Is 19 a factor of (-1142)/(-3) - 110/165?
True
Suppose -81 + 1269 = 4*w - 3*m, -3*w - 5*m + 891 = 0. Let v = -164 + w. Is 17 a factor of v?
False
Suppose 12840 = 12*f + 3*f. Suppose -34 - f = -5*r - 3*z, -z + 356 = 2*r. Is r a multiple of 22?
False
Suppose 2*l - 3*h = 28, 4*l - 40 = -0*l + 2*h. Suppose 0 = -7*x + l*x - 80. Is 16 a factor of x?
True
Suppose 5*s + 2*x - 354 = x, 4*x = 4*s - 264. Does 10 divide s?
True
Suppose g + 0*g + 12 = 0. Let q(f) = -3*f**2 + 7*f + f**2 + 3 + 8*f**2 - 5*f**2. Is 21 a factor of q(g)?
True
Let h(x) be the second derivative of -x**3/6 + 23*x**2/2 - 14*x. Is 10 a factor of h(-12)?
False
Let w(q) = q**3 + 9*q**2 - 29*q. Let t be w(-12). Is -3 - -3 - t - (1 - 1) a multiple of 21?
True
Let m(a) = 4*a. Let z be m(1). Suppose -4*b + 47 = 3*c, -28 = -z*b - 5*c + 21. Does 4 divide b?
False
Suppose -2*u - 4 = -3*c, -3*c - 16 = -2*u + 4*u. Is 5 a factor of (5 - 1) + 8 + c?
True
Suppose 0 = -9*d + 117 + 819. Is 8 a factor of d?
True
Let u(g) = 22*g**2 + 9*g + 29. Does 8 divide u(-3)?
True
Let n be (2 + -2 + 1)/(4/(-64)). Does 18 divide (2 - (-356)/n)*(-16)/6?
True
Suppose -10 = -4*s + 2. Suppose -k + 262 = 2*b + k, -s*k = 15. Is 17 a factor of b?
True
Let j(x) = 3*x**3 - 4*x**2 + 3*x - 41. Is 11 a factor of j(9)?
False
Let q(f) be the second derivative of f**4/4 - f**3/2 - 3*f**2 + 12*f. Let d be q(7). Suppose -l = 4*l - d. Is 4 a factor of l?
True
Let u(c) = c**3 + 20*c**2 + 2*c + 20. Let v be u(-20). Let q = -6 - v. Is q a multiple of 14?
True
Suppose -2146 - 368 = -5*j - a, 0 = 5*j - 3*a - 2518. Is j a multiple of 19?
False
Let v = -1224 + 1506. Is v a multiple of 10?
False
Is (4 - 1 - -441) + 0 a multiple of 12?
True
Let g = -153 - -138. Is (g + 11)/((-60)/(-33) - 2) a multiple of 12?
False
Let b(w) = -5*w + 25. Let a(d) = -d**3 - 4*d**2 + 4*d + 8. Let q be a(-4). Does 13 divide b(q)?
True
Let b = 645 - 75. Does 15 divide b?
True
Let v(r) = -25*r - 2. Let c be v(-1). Let q = 52 - c. Let h = q - 1. Is h a multiple of 7?
True
Let a(z) = -196*z - 478. Is 26 a factor of a(-13)?
False
Let z = 50 - -499. Is 2 a factor