 7*p + 17. Let k(x) = -4*x**3 - 2*x**2 - 7*x - 18. Let y(a) = 5*f(a) + 4*k(a). Does 3 divide y(8)?
False
Let i be 347/(-3) + 2/3. Let z be i/15 - (-2)/(-6). Is 17 a factor of 469/28 - 2/z?
True
Suppose -2268 + 14643 = 45*f. Is 8 a factor of f?
False
Suppose m - 23 = -5*v, 6*m - 3*m + 4*v - 14 = 0. Let q = m + 2. Suppose q*k - 23 = -k. Does 13 divide k?
False
Let h = 1728 + -739. Is h a multiple of 43?
True
Let a = -1432 - -1881. Does 23 divide a?
False
Does 32 divide 3 + (-4)/(-8)*(3 - -10871)?
True
Let j be -1*(-11)/(33/18). Let u be (j/(-9))/((-1)/6). Suppose 0*o - 5*o = u*t - 275, 4*o - 337 = -5*t. Is 20 a factor of t?
False
Suppose -146 = -5*j + 1834. Suppose 40*m - 84 = -4. Suppose t + m*t - j = 0. Is t a multiple of 27?
False
Let f be (-12)/42 + (-24)/14. Let u be (f + -5)*(-30)/(-35). Let b = 0 - u. Does 6 divide b?
True
Suppose 2*h - 3*k = -40 - 12, -5*h = 3*k + 172. Let v = 44 + h. Does 2 divide v?
True
Let v = 43 + 305. Is 29 a factor of v?
True
Let x(d) = 19*d + 43. Let z(q) = q + 24. Let s be z(-13). Is x(s) a multiple of 14?
True
Suppose -2*z + 6*z = 3*b - 24, -4 = 2*b + 4*z. Suppose -a - x + 4 + 160 = 0, -457 = -3*a + b*x. Is a a multiple of 35?
False
Let z = -494 - -974. Is 21 a factor of z?
False
Let s(t) = t**2 - 6*t + 11. Let b be s(5). Suppose -1 = n + g - 4*g, 5*n - b = 4*g. Does 12 divide n/(-2) + 74/2?
True
Let a(r) = -7*r - 3. Let g(l) = 5*l + 2. Let k(j) = -5*a(j) - 8*g(j). Let s be k(-5). Suppose s = 4*d - 3*d. Does 16 divide d?
False
Suppose 0 = 4*j - j + 6. Let i(h) = -7*h + 2. Does 4 divide i(j)?
True
Suppose -8*n = -4*n. Suppose -3*s = -2*k - 0*k - 5, n = -4*s - k + 14. Is s - 3 - (-4 + -133) a multiple of 39?
False
Let g = -1392 + 1552. Is 53 a factor of g?
False
Let m be -1 + 59 + (0 - -2). Suppose 0 = 4*r - 5*s + 177, -2*r - 90 + 2 = -2*s. Let z = m + r. Does 17 divide z?
True
Suppose 4*i = 2*p + 142, -2*p = -23*i + 27*i - 130. Does 34 divide i?
True
Suppose -8*x + 5*x = -4*m + 115, -3*x - m - 140 = 0. Let z be (-1)/(-2) + 89/2. Is 219/z + (-6)/x a multiple of 5?
True
Let d(n) = 12*n - 156. Does 4 divide d(16)?
True
Suppose -5*a - 27 = -2*a. Let y be (-261)/(-81) - (-2)/a. Suppose 0 = -2*l - y*l + 60. Is l a multiple of 10?
False
Let w = 49 - 45. Suppose 4*u + 4*f - 128 = -0*u, 5*f = w*u - 164. Is 10 a factor of u?
False
Let j = 441 - 79. Is j a multiple of 11?
False
Let s(x) = 4*x**3 - 9*x**2 + 3*x - 8. Let a be s(3). Let i = -4 + -17. Let f = i + a. Does 7 divide f?
True
Suppose -172*p = -184*p + 5736. Is p a multiple of 10?
False
Suppose 4*p - 20 = 0, p + 34 = -4*l + 7. Let u = l - -4. Let j = 12 + u. Is 8 a factor of j?
True
Suppose -24*a = 3*a - 8640. Does 7 divide a?
False
Suppose 2 = l, -9*o + 10*o - 1324 = 2*l. Is 5 a factor of o?
False
Let h(c) = -30 - 4*c - c + 0*c + 16. Is 5 a factor of h(-6)?
False
Suppose -4*p + 16*p = 7020. Is p a multiple of 65?
True
Suppose -219 = -l - m, 3*l - 3*m + 98 = 737. Suppose -6*d - l = -12*d. Does 18 divide d?
True
Suppose -6*a = -3*a + 6. Is 10 a factor of a - -6 - 104/(-4)?
True
Let w be (-2)/3*(-121 + -2). Suppose -w - 104 = -6*j. Is 13 a factor of j?
False
Let o = -1427 - -2039. Suppose o + 655 = 7*s. Is s a multiple of 38?
False
Suppose 0 = 2*d - 198 - 82. Is 10 a factor of d?
True
Let j = 5983 + -2876. Does 13 divide j?
True
Suppose 0 = -6*u - 1 + 13. Suppose -j + b = -u*b - 141, -5*j + 657 = b. Is 33 a factor of j?
True
Let b(d) = 65*d + 137. Is b(14) a multiple of 5?
False
Suppose 3*u - 2915 = -2*q + 2426, 1785 = u - 4*q. Does 28 divide u?
False
Suppose -23*a = -25555 + 531. Does 23 divide a?
False
Does 25 divide 1*1/(((-5)/(-41))/5)?
False
Suppose 4*y = -2*h + 14800, -4*y - h = -11255 - 3541. Suppose -19*v + y - 487 = 0. Is v a multiple of 13?
True
Let n = -1772 - -1734. Let h(u) = -u**3 + 7*u**2 + 6*u - 8. Let t be h(6). Let x = n + t. Is x a multiple of 3?
False
Let w = -23 + 25. Let l(i) = 2 - 9 + 2*i - 8*i + w*i**2. Does 22 divide l(6)?
False
Suppose 5*v = 456 + 394. Suppose 0 = -23*z + 47 + 45. Suppose k - 5*t = -2*t + 45, -z*k = -2*t - v. Is 14 a factor of k?
True
Let g = -1487 - -1687. Does 50 divide g?
True
Let h = -1216 - -1389. Is 4 a factor of h?
False
Let n = 12 - 16. Is 6 a factor of n/(-10) - (-318)/30?
False
Let r be 1/(-3) + 7/21. Let d(z) = z**2 - z**3 + 14 + r*z + 3*z - 4*z. Does 12 divide d(0)?
False
Let q(r) = -5*r + 8. Let s be q(-10). Let p be s - (-3)/(-6)*-6. Suppose 3*b - 44 = 5*x - 0*x, 2*b + 3*x = p. Does 19 divide b?
False
Suppose -184 = 3*y + 2660. Is 15 a factor of (-6)/(-14) - y/42?
False
Let l be (-6 - -3)/(-1 - -2). Does 2 divide (-9)/(-18) - 2*l/4?
True
Let y = -1 - -4. Let f = -88 - -90. Suppose -f*h = y*h - 165. Is 13 a factor of h?
False
Suppose 0 = -3*u + u + 10. Suppose -u*r + 10 = -15. Suppose r*t = 8*t - 39. Is 3 a factor of t?
False
Let c(a) = a**3 + 25*a**2 - 12*a - 13. Is c(-25) a multiple of 12?
False
Is 10 a factor of (-32528)/1070*(-5)/2?
False
Let c = 463 + -83. Suppose -12*p = -7*p - c. Suppose -p = -0*q - 2*q - m, 5*q = -2*m + 188. Is q a multiple of 18?
True
Suppose -56*q - 26782 = -83678. Does 14 divide q?
False
Let y = -186 + 1174. Is y a multiple of 19?
True
Let g(x) = x**3 + 2*x**2 - 23*x + 6. Is g(6) a multiple of 52?
True
Let g be 288/(5 + -3) + -5. Let b = g - 90. Is 12 a factor of b?
False
Suppose 4*q - 434 = 2*q + 4*t, 1109 = 5*q + 2*t. Is 13 a factor of q?
True
Let x(f) = -7*f**2 + 7*f - 3. Let r(o) = 20*o**2 - 21*o + 8. Suppose 30 = 6*c - c. Let w(u) = c*r(u) + 17*x(u). Is 3 a factor of w(8)?
False
Suppose -2*l + 106 = 5*w + 406, -4*w - 240 = -3*l. Is 16/w*(-3)/2*255 a multiple of 34?
True
Suppose q - 12 = 3*w, -3*q + 0*w = -5*w - 20. Suppose q = 3*r - 4*a - 528, 3*r - 109 - 419 = 5*a. Is 25 a factor of r?
False
Does 38 divide (6 + -1)*(-492)/(-20)?
False
Let b(t) = t**2 + t + 4. Let p be b(4). Suppose 2*x - p - 52 = 0. Is 9 a factor of x?
False
Suppose 0 = 207*m - 216*m + 8127. Is m a multiple of 21?
True
Suppose -11250 = -19*s + 4*s. Is s a multiple of 30?
True
Let q = -10 - -15. Suppose -q*o = -o + 84. Let t = o - -47. Does 13 divide t?
True
Let o(u) = u**2 - 4*u + 1. Let q be o(3). Suppose 2*i + 3*i + 330 = 5*f, -4*i = 16. Let d = f + q. Does 12 divide d?
True
Suppose -5*x - 2308 = 2*m + 704, -3*x - 1809 = 3*m. Does 20 divide -5 + (-115)/(-25) - x/5?
True
Let s be 54/45*(74/6 + 1). Does 54 divide (-218)/(-4) + (-2)/s*4?
True
Let w(v) = -11*v - 2. Let f(t) be the second derivative of 17*t**3/3 + 5*t**2/2 - 6*t. Let s(z) = -6*f(z) - 17*w(z). Is 24 a factor of s(-4)?
True
Suppose 5*n + 4*h - 44 = 0, 1 + 2 = n - 5*h. Let q(m) = 7*m + 6*m - 3*m - m**3 + 132*m**2 + 3 - 125*m**2. Does 4 divide q(n)?
False
Suppose 3*x = -t + 25, -19 - 24 = -5*x - 3*t. Suppose -p + 0*p + 3*z = x, -19 = -2*p - z. Is 7 a factor of p?
True
Suppose -2*x = 24 - 34. Suppose 4*k + 2*l - 119 = 3*l, 44 = k - x*l. Does 23 divide k?
False
Let k(c) = c**2 - 4*c + 3. Let r be k(2). Let w be (r - 0/(-2)) + -17. Does 11 divide (w/(-7))/((-9)/(-84))?
False
Let v(g) = -g + 6. Let d be v(4). Suppose 11*x - d*x = 2268. Does 12 divide x?
True
Suppose -4*h + 2*a = a, h - 2*a + 7 = 0. Let y(z) = -7 + 22 - 2*z - 14 + 62*z**2. Is y(h) a multiple of 22?
False
Let r be ((-9)/45)/(2/(-10)). Suppose -r - 3 = -f. Let g(q) = q + 1. Is g(f) a multiple of 2?
False
Let v(q) = q**2 - 16*q + 74. Is 5 a factor of v(13)?
True
Let f(x) be the first derivative of -x**4/4 + 7*x**3/3 + x**2 - 2*x + 6. Does 9 divide f(4)?
True
Let j(l) be the third derivative of l**5/60 + l**4/4 + 7*l**3/6 + 2*l**2. Let q be (-102)/10 - 4/(-20). Is j(q) a multiple of 11?
False
Suppose 2*l + 4 + 12 = 0. Let u = 32 + l. Does 8 divide u?
True
Suppose h = 439 + 1469. Does 48 divide h?
False
Suppose -4*s + 3 = 3. Suppose -c = -6*c - 4*j + 397, -3*c + 5*j + 253 = s. Does 9 divide c?
True
Suppose 3*n + 3*j = 4176, -5*j = -12*n + 15*n - 4176. Is n a multiple of 20?
False
Let j be 9 - -1 - 1 - 4. Let f = 14 - j. Does 9 divide 6*3 - f/(-3)?
False
Suppose -4*c = 7*c - 374. Is 5 a factor of c?
False
Let i(u) = 2*u**2 + 3*u + 3. Suppose 2*g - 9 = o, -5*g - 4*o + 18 - 2 = 0. Is 18 a factor of i(g)?
False
Suppose 13*a + 860 - 12209 = 0. Is a a multiple of 4?
False
Let x = -114 + 116. Does 3 divide x + 4/(-2) + 21?
True
Suppose 3*j = -0*j + 2*x + 455, 3*j + x - 452 = 0. Is j a multiple of 1