 z**2 + z. Let i(d) = k(d) + q(d). Is i(x) a multiple of 7?
True
Suppose -r - 5*o + 1057 = -567, -4*o = 0. Is 14 a factor of r?
True
Suppose 5*t = -0*t - 5*w + 45, t = 3*w + 9. Does 9 divide t?
True
Let x = 38 + -69. Let p = x + 70. Is p a multiple of 16?
False
Suppose -27*z = 6*z - 330. Does 2 divide z?
True
Let q be 6/21 + (-44)/7. Let k(v) be the first derivative of v**4/4 + 5*v**3/3 - 3*v**2 + 3*v - 5. Does 3 divide k(q)?
True
Suppose -1858 = -8*f + 6206. Is f a multiple of 25?
False
Let k = 2137 - 1354. Does 10 divide k?
False
Suppose 7*k = 2*k - 15, -9 = -3*g - 4*k. Is ((-5)/5 - g)/(-2) a multiple of 4?
True
Suppose 0 = -4*r - 3*m + 1076, 2*r + 157*m = 152*m + 552. Does 8 divide r?
False
Let t(f) be the first derivative of -f**3/3 - 7*f**2/2 - 10*f - 4. Let u(s) be the first derivative of t(s). Is 4 a factor of u(-6)?
False
Suppose 0 = f + 101 - 290. Suppose 3*j - f = -0*j. Is j a multiple of 12?
False
Let m be (40/15 + -2)*(-354)/(-4). Suppose m - 780 = -7*b. Does 14 divide b?
False
Let d(o) = 3*o**2 - 16*o - 15. Does 12 divide d(-9)?
True
Suppose -14*y - y + 23715 = 0. Is 93 a factor of y?
True
Let s(f) = f**3 - 9*f**2 - 6*f - 3. Let g be s(10). Let m = 74 - 68. Suppose -q = -g + m. Is q a multiple of 11?
False
Is 61 a factor of -427*(0 - (-9)/(-9))?
True
Let w(b) = -31*b - 47. Let i be w(-19). Let k = i - 319. Is 11 a factor of k?
False
Let k(s) = -3*s + 7. Let f be k(-6). Let v = -11 + f. Suppose 0*x + v = 3*g + x, g - 2*x - 14 = 0. Is g a multiple of 6?
True
Suppose 3*n + 4*y - 85 = 0, 5*n - 5*y = 84 + 116. Let d = n - -3. Does 7 divide d?
False
Suppose -934 = -0*k - 3*k + w, 2*k + 5*w = 600. Does 7 divide k?
False
Let a = -521 - -759. Does 37 divide a?
False
Suppose -d - 340 = -3*i, -456 = -4*i + 8*d - 4*d. Is i a multiple of 28?
False
Suppose 3 = 3*u + 6. Let a be (u - (-1 + 3))*9. Is (-2)/(-9) + (-480)/a a multiple of 10?
False
Let m(x) be the first derivative of x**7/840 + x**6/72 - 7*x**5/120 - x**4/4 - x**3/3 - 7. Let d(p) be the third derivative of m(p). Does 15 divide d(-4)?
False
Let w(s) = -s**3 - 15*s**2 - 11*s + 42. Let p be w(-14). Is (p + 3 - (2 + -59)) + 0 a multiple of 6?
True
Is (-25 - -37)/(1*1/24) a multiple of 72?
True
Let p(t) = 2*t**2 + 6*t + 8. Does 9 divide p(-12)?
False
Let d(j) = j**3 + 11*j**2 + 11*j + 5. Let i be d(-9). Suppose 3*a = -2*g + 51, a + 2 = -3*g + i. Is g a multiple of 7?
True
Let q = 0 - 239. Let h = q + 357. Is 18 a factor of h?
False
Let w be (12 - 11)/((-1)/(-2)). Is 13 a factor of 499/7 + w/(-7)?
False
Suppose -3*d + 1010 = -1678. Does 112 divide d?
True
Is (414/5)/(42/280) a multiple of 23?
True
Let z be (-4)/((-8)/124*1). Suppose -3*m + 116 = m + 2*a, -m + 2*a + 39 = 0. Suppose z = 5*r + 4*w - m, -78 = -4*r - 5*w. Does 17 divide r?
True
Suppose 2*v + 1 - 2 = -u, -2*u - 3*v + 3 = 0. Suppose -z - 399 = -u*y, -5*y + y = 4*z - 516. Is 44 a factor of y?
True
Suppose -3*s = -2*l - 2, s + s = -4*l - 20. Does 9 divide (l*(-1)/(-1) + -5)*-15?
True
Let r be ((-1 - -2)*0)/1. Suppose 3*w + 2*v - 16 = -w, r = -4*w + v + 4. Suppose -11 = -w*x + 125. Is 34 a factor of x?
True
Let o be 84 + (3 - (6 - 3)). Suppose -o = -4*w + 4. Is 13 a factor of w?
False
Let f = 17 - 17. Suppose -2*x = -2*g - 2, -5*g + f*x + 35 = 5*x. Suppose 2*c - g*w - 22 = 0, -c + 10 + 11 = -4*w. Is c a multiple of 5?
True
Let d be 10/(0 + -1)*(-2)/4. Suppose d*g = -4*b + 129, 4*b - 2*g = b + 114. Does 4 divide b?
True
Let h = -1882 - -3163. Is 40 a factor of h?
False
Let i(f) = 6*f - 13. Let q be i(9). Suppose -l = -3*a - 0*l - 23, 5*a + q = -l. Let w = a + 26. Does 9 divide w?
True
Let u(c) = -c + 9. Let o be u(4). Suppose h + 6 = b - 2*b, -o*h = 3*b + 20. Is (5/2)/(h/(-6)) a multiple of 5?
True
Let x = 51 + -31. Suppose 0 = -16*i + x*i - 84. Is i a multiple of 14?
False
Let j(r) = 2*r + 7. Let g be (-2 + (-12)/(-8))*-4. Let d be (g/(-6))/(2/(-30)). Is j(d) a multiple of 4?
False
Let f(w) = 3*w**3 + 5*w**2 - 9*w - 4. Let u(r) = -8*r - 11*r - 7 + 9*r**3 - 4*r**3 + 2*r + 10*r**2. Let n(h) = 7*f(h) - 4*u(h). Is n(5) a multiple of 14?
False
Let z(c) = -c**3 + 3 + 6 + 2*c - c**2 - 3. Does 9 divide z(-3)?
True
Is 4*-4*(-783)/72 a multiple of 6?
True
Let o = 36 - 21. Let z = 6 - o. Is (-21)/z - 2/(-3) a multiple of 3?
True
Suppose -26*d = -26817 + 8773. Is d a multiple of 28?
False
Suppose 5*n - 5 = 0, -2*t - 31*n + 1182 = -27*n. Does 17 divide t?
False
Let b be (-1)/3 - (-32)/6. Suppose b*p - p - 5*n = 2, -5*p + 13 = -n. Suppose p*h + o - 58 = 0, 0 = -2*o + o + 1. Does 11 divide h?
False
Let d(h) be the first derivative of 1 - 5/2*h**2 + 8*h. Is 11 a factor of d(-8)?
False
Does 81 divide 6/5 + 531356/245?
False
Let k(q) = -4 - 4 - 13*q + 6 - q**2 - 5. Does 21 divide k(-9)?
False
Does 11 divide ((-2)/6)/((-22)/(-66)) + 211?
False
Let x(r) = r**2 + 6*r - 4. Let i be x(-7). Let w(u) = 8*u**2 - 2*u**2 - 1 - 3*u**i + 2*u**3 + 10*u. Does 12 divide w(7)?
False
Let j = 49 - 55. Let s(z) = -z**2 - 16*z - 12. Does 12 divide s(j)?
True
Let s be 1/(-3) - 4452/(-18). Let u = 371 - s. Is u a multiple of 31?
True
Let j = -18 - -30. Suppose 2*c - j = 32. Is (14 - 17) + (c - 0) a multiple of 12?
False
Suppose 17 = 4*m - s, 4*s = -3*m + s + 9. Suppose -d - 5*q + 4 = -3*q, 3*d + m*q = 14. Suppose -3*k - 96 = -d*k. Is k a multiple of 16?
True
Suppose 6*t = -3*t + 990. Suppose -2*q = -6*q - 308. Let k = q + t. Is k a multiple of 9?
False
Let u(i) = -i**3 + 31*i**2 + 17*i + 24. Let x be u(32). Let s = 654 + x. Is s a multiple of 22?
True
Let y(l) = -3*l**2 + 68*l + 56. Is y(18) a multiple of 77?
True
Let q be (-1774)/(-4) + -2 + 1/2. Suppose 5*p = q + 38. Is p a multiple of 48?
True
Suppose -3*x = -14 + 2. Suppose -5*b + 197 = x*n - 2*n, n = -5*b + 106. Let y = n + -53. Does 16 divide y?
False
Let p be ((-1)/(4/174))/((-18)/24). Let l = p - -242. Is 50 a factor of l?
True
Let r = 1823 - 531. Is r a multiple of 76?
True
Let l = 913 + -645. Is 29 a factor of l?
False
Let w(c) = 21 - 41 + 24 + c**3 - 4*c - 7*c**2. Is 3 a factor of w(8)?
True
Let a = 392 + -150. Suppose 5*o = -62 + a. Is 6 a factor of o?
True
Does 8 divide (-322 - -6)*7/(-14)?
False
Let z(u) = -7*u + 217. Does 8 divide z(21)?
False
Let b = -18 - -10. Let c(d) = d**3 + 9*d**2 + 7*d + 4. Is 11 a factor of c(b)?
False
Let c be 1/5 - (-4)/(-20). Let u = 250 - c. Is u a multiple of 39?
False
Let j = -89 + 65. Is 11 a factor of (22/j - 10/(-60))*-264?
True
Let l = -923 + 969. Does 2 divide l?
True
Let f(i) = -i - 14. Let g be f(-13). Let s(u) = -u**2 + u - 1. Let r(h) = -5*h**2 - 4*h - 4. Let l(o) = g*r(o) + 4*s(o). Does 16 divide l(5)?
False
Does 19 divide -2 - (-27)/15 - 117764/(-295)?
True
Let d be -165*(5/3 + -2). Suppose 0 = -5*x - d + 140. Is 12 a factor of x?
False
Suppose 22*o - 28*o + 1296 = 0. Is o a multiple of 12?
True
Let h(j) = -j**3 - 4*j**2 + 1. Let b be h(-3). Let g = b + 17. Is 4/8*2 + g a multiple of 4?
False
Is 5 a factor of (8 - 9) + (1 - -144)?
False
Let w = -2327 - -3580. Is w a multiple of 8?
False
Let u(b) = -5*b - 7. Let t be u(-2). Suppose -5*g + 492 = 3*a, -t*g - a = g - 395. Is g a multiple of 34?
False
Let c = -86 + -190. Let x = c + 173. Is 21 a factor of (-4)/12 - x/3?
False
Let x(w) = -3*w**2 - 24*w + 20*w - 1 - 10*w**3 - 89*w**3. Does 11 divide x(-1)?
True
Let t be (3 - (-21)/(-6))/((-4)/(-32)). Is 23 a factor of ((-2)/6)/(t/2184*2)?
False
Let u(r) be the second derivative of 6*r**2 + 1/12*r**4 - 3/2*r**3 - 2*r + 0. Is 12 a factor of u(9)?
True
Suppose -3*w - 6 = -6*w. Let x be 170/(-4)*(32/20 + -4). Suppose -j - x = -w*j. Is j a multiple of 21?
False
Let j(y) = -4*y + 53. Let i be j(12). Suppose 5*u + 2*h = 93, -i*h + 119 = 5*u + 29. Is u a multiple of 2?
False
Let i be (-15)/2*4/(-6). Suppose -i*s + 766 = -2*l, -4*l = -5*s - 5*l + 772. Does 25 divide s?
False
Let r(v) = v**3 + 10*v**2 + 7*v - 4. Let j(m) = -m**3 - 5*m**2 + 7*m. Let n be j(-6). Is 14 a factor of r(n)?
True
Suppose 4*g + 18 = -4*c + 450, 220 = 2*c + g. Is c a multiple of 39?
False
Let c = -62 + 65. Suppose c*x + 71 = 386. Is x a multiple of 45?
False
Suppose 0 = -3*r - 697 + 2464. Is 19 a factor of r?
True
Suppose -v - 1695 = -4*g, 2*g - 2*v - 2*v - 844 = 0. Is g a multiple of 36?
False
Suppose 11*i + 4*o = 6*i + 231, 2*o = -3*i + 137. Let z = 12 + i. Does 11 divide z?
True
Let n(o) = o**3 - o**2