) + (-128)/16. Let u(p) = 5*p**2 + 3*p + 9. Let d(o) = m*i(o) - u(o). Does 2 divide d(-6)?
False
Let q(u) be the second derivative of -143*u**3/6 - 4*u**2 - 14*u. Is 6 a factor of q(-1)?
False
Suppose -3*g - 844 = -6*g + l, l - 1396 = -5*g. Does 10 divide g?
True
Let w(y) = y + 1. Let l(k) = 3*k**2 - 3*k + 2. Let q = -12 + 13. Let x(j) = q*l(j) - 2*w(j). Is 32 a factor of x(-5)?
False
Suppose 13091 = -81*q + 100*q. Is q a multiple of 7?
False
Let n be (-42)/(-35)*70/2. Suppose -d + n = d. Does 7 divide ((-7)/d)/((-1)/21)?
True
Let v(x) = -x**3 - x + 23. Let t be v(0). Let y = t - 50. Let c = 8 - y. Does 6 divide c?
False
Let b = -498 + 2313. Is 33 a factor of b?
True
Let n(k) = 8*k**3 - 13*k**2 + 8*k - 6. Let j be n(6). Suppose -9*u + j = 267. Is u a multiple of 22?
False
Let b(c) = c**2 + 8*c + 3. Let k be b(-8). Is 4 a factor of (-28)/(-7) + (k - 0)?
False
Let c(t) = -11*t**2 - 28*t - 21. Let u(z) = -4*z**2 - 9*z - 7. Let o(r) = 3*c(r) - 8*u(r). Does 25 divide o(-8)?
True
Let f = 96 + -45. Suppose -3*h + 5*q = -21, 0 = -2*h + 6*q - 2*q + 16. Suppose 0 = h*y - f - 59. Is y a multiple of 19?
False
Let d(z) = -3*z**3 - 2*z**2 + 1. Let i be d(-1). Let m(l) = 10*l**2 + 3*l - 2. Let q be m(i). Suppose -2*j + q = -j. Does 14 divide j?
False
Let g = 61 - 58. Is (23/(-2))/(g/(-144)*4) a multiple of 16?
False
Suppose 0 = t - 2*t + 132. Let k = 224 - t. Let x = -50 + k. Is 13 a factor of x?
False
Let v(g) = -2*g**2 + g + 4. Let o be v(3). Let s(q) = q**3 + 10*q**2 - 10*q + 11. Let b be s(o). Suppose b*h = 3*h - 393. Does 37 divide h?
False
Let c(y) = 8*y + 7*y**2 - 3 + 1 - 8*y**2. Let a be c(7). Suppose -3*v - a*g = -153, 4*v = -3*g - 66 + 281. Does 21 divide v?
False
Let h be (-1 + ((-3)/3 - 246))*-1. Suppose 13*a = -1 + h. Is 5 a factor of a?
False
Is (-120)/(-1*(-9)/(-12)) a multiple of 16?
True
Let h = -213 + 1638. Is 19 a factor of h?
True
Suppose v + 2*v - 9 = 0. Suppose 0*t - 3*g = -5*t + 802, 0 = v*g + 12. Suppose 1 = 3*m - t. Is 12 a factor of m?
False
Let y(w) = 6*w**2 - 2*w + 3. Let z(f) = f**2 + 11*f - 8. Let x be z(-12). Let g be (-1)/(-3)*(x + 5). Is 9 a factor of y(g)?
False
Let r = 62 - 77. Does 19 divide (r/12)/(1/(-76))?
True
Suppose 0 = 139*u - 148*u + 8325. Does 37 divide u?
True
Suppose -v - 14 = 5*a + 13, -3*a = -4*v + 7. Does 12 divide -2 - (a - -1 - 46)?
True
Let n be (-180)/4*-2 + 3. Suppose -3*h + 4*h = n. Does 28 divide -3 + (h/3)/1?
True
Suppose -p - 51 = -2*g, 27 = -0*g + g - 2*p. Suppose 2*o + 24 = -0*t - t, -15 = 5*o. Let s = g + t. Is 2 a factor of s?
False
Let o be 3*(12/(-27))/(4/(-3)). Is -2 - -5 - o - -68 a multiple of 7?
True
Suppose 3*x = 383 + 1084. Suppose 22*r - x = 19*r. Is 12 a factor of r?
False
Let l(v) = -v**2 - 7*v + v + 0*v**2 - 2 + 3*v. Let t be l(-2). Let b(p) = -p**3 + p + 33. Does 17 divide b(t)?
False
Let v(a) = -44*a - 226. Is 10 a factor of v(-12)?
False
Let h = -54 + 126. Is h a multiple of 6?
True
Let f(q) = 6*q + 1. Let v be f(-6). Let u = -8 - v. Suppose 3*o - 9 = u. Does 3 divide o?
True
Suppose 4*x = 3*t - 1348, 8*t + 1378 = 11*t + 2*x. Is 12 a factor of t?
True
Let d be -57 - (2 + -2)/(-2 - -4). Let h = -50 - d. Does 7 divide h?
True
Let o(q) = -2*q**3 + q**2 + 36. Let f(s) = s - 2. Let j be (-28)/(-21) + 4/6. Let t be f(j). Is 8 a factor of o(t)?
False
Let t(f) = 5 + 8*f**2 - 10*f - 12*f + 15*f. Does 22 divide t(2)?
False
Let k = -873 + 1049. Is k a multiple of 22?
True
Let u be 9/(-18)*-6*(-1 + 2). Is 3*(6 + (u - -2)) a multiple of 29?
False
Suppose -3*p = a + 9 + 28, -2*p + 2 = 0. Let k = -22 - a. Is k a multiple of 18?
True
Let a be (-2 + 1 + 1)/(-1 + 4). Suppose -5*c + 101 + 239 = a. Does 9 divide c?
False
Let a = -7 + 10. Suppose 0 = p - a*p + 6. Suppose p*f - f = 152. Is 26 a factor of f?
False
Suppose 3*b - 8*b + 20 = 0. Suppose -4*l = -2*m - 9 - 1, b*l + m - 19 = 0. Is 2 a factor of l?
True
Suppose 3*b + 586 = 4*b + 3*i, 0 = -2*b + 5*i + 1194. Does 16 divide b?
True
Suppose -4*o + 5*g + 9500 = 0, -2*o + 5*g + 4748 = 2*g. Does 14 divide o?
True
Let k be (-6)/4*(-2 - -6). Let r = -150 + 136. Let v = k - r. Does 5 divide v?
False
Let s = -389 - -753. Is 10 a factor of s?
False
Suppose -152*a + 153*a = 2*t + 61, -t - 4 = 0. Does 10 divide a?
False
Let t be (-1 - 180)/((-1)/1). Suppose -5*c + t = -154. Does 21 divide c?
False
Suppose -41*s = -36*s - 15. Suppose 3*c = r - 2*r + 5, 0 = -s*c + 3*r + 21. Is c a multiple of 3?
True
Let a(q) = -41*q**3 - 4*q**2 - 14*q - 32. Does 23 divide a(-3)?
True
Is 54 a factor of (7448/(-35))/(8/4)*-10?
False
Suppose 4*l - 103 = 4*z + 65, z - 4*l + 48 = 0. Suppose 55 = 4*v + 271. Let y = z - v. Is 7 a factor of y?
True
Let p = -232 - -652. Does 84 divide p?
True
Let j(b) = b**2 - 6*b - 4. Suppose 2*u = -u + 21. Let g be j(u). Let a(r) = 12*r - 7. Is 29 a factor of a(g)?
True
Let m(f) = f**3 + 43*f**2 - 62*f + 51. Does 6 divide m(-44)?
False
Let v = 79 - 19. Let z = v + -32. Is z a multiple of 14?
True
Suppose -3*l + 0*l = -21. Let o be 1/l - (-220)/28. Suppose -6 = -2*i + o. Is i a multiple of 3?
False
Let x be 9/((-162)/348) - (-2)/(-3). Is 5/x + 81/4 a multiple of 20?
True
Is -3 - 8/((-32)/1668) a multiple of 46?
True
Let r(s) = -4 + s**2 + 4*s**2 - 4*s - s**2 + 6*s. Let w be r(2). Suppose h + h = w. Is h a multiple of 3?
False
Let h = -66 + 76. Let f = 106 - h. Is 16 a factor of f?
True
Suppose -29188 - 61879 = -19*u. Does 26 divide u?
False
Let h be 3 + (-1 - -2) + 3. Let w(i) = -h + i**3 + 0*i**3 + 9*i + 9 + 10*i**2. Is 31 a factor of w(-6)?
False
Let v(o) be the first derivative of -o**2 + 17*o + 6. Does 18 divide v(-14)?
False
Let t = 25 - 28. Is 36 a factor of -2*t/((-18)/(-147))?
False
Let t(x) = -2*x + 3*x**2 + x + 25*x**3 - 5*x**2 - 90*x**3. Let m be t(-1). Suppose -5*c - 4*j = -108, -3*c = -6*c - 2*j + m. Is 8 a factor of c?
False
Let l = -262 + 330. Is l a multiple of 4?
True
Suppose 6*z - 175 - 443 = 0. Is 14 a factor of z?
False
Suppose b = 6*b - 3*i - 9, -6 = 2*b + 2*i. Is 53 a factor of 257/(-3)*(b + (-7 - -4))?
False
Suppose 1699 = 9*c - 12350. Is c a multiple of 40?
False
Suppose -5*b = -2*h - 4, 0 = -3*h + 5*h - 3*b. Let n = h - -2. Suppose n*z + 62 = 7*z. Is z a multiple of 19?
False
Let r(g) = -g**2 - 7*g. Let y be r(-7). Suppose -j + y*j = -4*h - 94, 3*j = h + 18. Is 211/3 - (-8)/h a multiple of 14?
True
Suppose -3*j = -36 - 24. Does 10 divide j?
True
Suppose 22 = -3*d - 80. Let x = -16 - d. Is 8 a factor of x?
False
Suppose 3*z + 24 = 5*z. Let w(c) = -c**2 + 14*c + 26. Is w(z) a multiple of 27?
False
Does 5 divide (0 - 6/(-12))*-4*-109?
False
Let a(x) = x**2 + 2*x - 28. Let n be (1 + 44)*(-1)/10*4. Does 20 divide a(n)?
True
Suppose -2*o - 3 = -19. Let w = o + 14. Let r = w - 18. Is r a multiple of 2?
True
Let t be -1 + 28/5 + 4/10. Suppose t*d + 4*w - 170 = 0, 3*w - 112 + 10 = -3*d. Is d a multiple of 4?
False
Let j be (8 + -4)*1 + -1. Suppose -5*h = 4*o - 68, -1 = -2*o + j. Does 11 divide h?
False
Let b(g) = g**3 - 5*g**2 + 28*g - 12. Does 47 divide b(9)?
True
Suppose r - 2*r = -3. Suppose r*w = -y + 2 + 6, 2*y + 2 = 3*w. Is 0 + w + -3 + 25 a multiple of 8?
True
Let y be -6*(-4)/(-6)*(-5 + 4). Suppose 0*i + 15 = -3*i, -y*z = -3*i - 99. Does 16 divide z?
False
Suppose 2*k - 2*y + 72 = 3*k, 325 = 5*k + 3*y. Suppose 2*q - 48 = k. Is 55 a factor of q?
True
Let d = 37 + -33. Let a be d*(-292)/8 - 0. Let s = a + 248. Is s a multiple of 23?
False
Let q(y) = y**3 - y**2 - 4*y + 387. Is q(0) a multiple of 43?
True
Suppose k = -0*k - 14. Suppose 0 = 3*r - 2*c + 135, -3*r - 3*c - 53 - 82 = 0. Let s = k - r. Is s a multiple of 8?
False
Let q = 588 - -43. Is 17 a factor of q?
False
Suppose -3*n - 7 + 51 = -2*u, -5 = 5*u. Let c be ((-4)/(-10))/((-3)/(-180)). Let h = c - n. Does 10 divide h?
True
Suppose -q - 10 = -3*q. Let t be ((-4)/q)/(1/5). Is t/(-10) - (-193)/5 a multiple of 13?
True
Suppose 2*i - 3*i + 4 = 0. Let p be 2 - (-6 + 2)/i. Suppose p*r - 80 = r. Is 21 a factor of r?
False
Let o(i) be the second derivative of i**4/12 + 13*i**3/6 + 7*i**2 + i. Let g(m) = -47*m + 173. Let r be g(4). Is 11 a factor of o(r)?
True
Let v(r) = -r**3 + 6*r**2 + r - 4. Let o be v(6). Let u be (o/6)/((-8)/(-24)). Let j = u + 19. Is 8 a factor of j?
False
Suppose 9*m + 652 + 1886 = 0. Let y = -102 - m. Does 30 divide y?
True
Is 24 a factor of (143 + 1)/