-2*b - 35. Let q(z) = -5*j(z) - 24*l(z). Let p be q(13). Let w(x) = x**3 - 7*x**2 - 11*x + 2. Is w(p) a multiple of 6?
False
Let q be (8/(-16))/((-6)/(-4) - 1). Let o be (4 - (-57)/(-3))*q. Is (-10)/o*54/(-2) a multiple of 13?
False
Let d = 65 - -433. Let q be d + 1 + (-14)/(-7)*-2. Suppose -3*t + 3*s + q = 129, s - 580 = -5*t. Is t a multiple of 33?
False
Suppose 0 = -17*r + 14*r - 6. Let y be r*(-2)/(4/82). Suppose -320 = -4*p - 4*g, p + y = 2*p + 2*g. Is p a multiple of 26?
True
Suppose -3*b = 2*d + 7129 - 32587, 4*b - 33945 = -3*d. Does 43 divide b?
False
Suppose -306*i + 301*i = -10. Suppose 3*q + 891 = 4*k, 0 = 3*k + 5*q - i*q - 684. Is k a multiple of 9?
True
Let x be 287/82*(-60)/(-14). Let c(s) be the second derivative of -s**5/20 + 7*s**4/6 + 8*s**3/3 + 27*s**2/2 - 2*s. Is c(x) a multiple of 7?
True
Let l(j) = 56*j**2 + 6*j - 5. Let c be l(4). Let o(t) = 5*t + 24. Let d be o(-4). Suppose -6*i - 2*w = -d*i - 374, -c = -5*i + 5*w. Is i a multiple of 37?
True
Is 9871 - (-10)/4*(-20)/(-225)*18 a multiple of 23?
False
Let f(h) = -h - 4. Let p be f(-4). Let g(a) be the first derivative of -3*a**2/2 + 29*a + 223. Is g(p) a multiple of 17?
False
Let v = -173 + 175. Suppose -v*b + 974 = 5*w, 0*w = -5*b + 3*w + 2466. Is b a multiple of 16?
False
Suppose 19*g + 3671 = 21*g - l, 0 = 5*l - 5. Is 33 a factor of g?
False
Suppose 17*k - 1920 = 12*k + 5*q, 4*q - 1145 = -3*k. Let d = k + -208. Does 19 divide d?
False
Suppose 4*g = 2*r + r + 114, -5*g + 131 = 2*r. Let j(t) = 4*t**3 + 4*t**2 + 4*t + 2. Let v be j(-2). Is 9 + (-18)/g + v/(-6) a multiple of 9?
False
Suppose s + 3 = 8. Suppose -s + 7 = n. Is 5 a factor of (55/10 + -4)/(n/32)?
False
Suppose 0 = 2*i - 5 + 13. Let z = -7 + i. Let q(w) = w**3 + 12*w**2 + 10*w + 3. Is q(z) a multiple of 14?
True
Let h(n) = 4*n + 24. Let z be h(6). Let l = 299 - z. Does 12 divide l?
False
Suppose -124 + 16 = -27*m. Suppose 0*i + 8 = -2*i - 3*x, 0 = -m*i - 5*x - 12. Is 2 a factor of i?
True
Suppose -169*r + 320896 = -1203484. Is 82 a factor of r?
True
Let m = 8138 + -4186. Does 49 divide m?
False
Let w(z) = z**3 - 2*z**2 + 6*z + 3. Suppose 4*v + 6 = 6. Suppose v*l - 24 = -3*l - 3*u, 0 = -2*u + 4. Does 16 divide w(l)?
False
Suppose 0 = 5*u - 132 - 163. Let p = 10 + u. Is p a multiple of 4?
False
Let i(z) = -14*z**2 + 11*z - 14 + 19 + 23 + z**3. Let f be i(13). Suppose -f*d + 193 = -5*l - 52, 4*l = -2*d + 236. Does 10 divide d?
True
Suppose -7*w + 4272 = -3*w. Suppose -4*s - 3*c + w = 0, 278 = s - 0*s - 2*c. Let f = -122 + s. Is 31 a factor of f?
False
Let t = -28 - -31. Suppose t*l = -0*l + 2313. Suppose -5*u + l = a, -5*a = -2*u - a + 304. Is 25 a factor of u?
False
Suppose -n - 132 = -179. Suppose -56*y + n*y = -4968. Is y a multiple of 70?
False
Suppose -5049 = -3*h - 3*l, -215*h + 218*h - 2*l - 5074 = 0. Does 8 divide h?
True
Suppose 168*x + 546960 = 216*x. Does 43 divide x?
True
Let j = 81 + -78. Suppose -3*c + j = 0, -5*x + 2*c = -3*x + 20. Does 32 divide (-1140)/x + 9/((-27)/(-4))?
True
Let k = 107 - 108. Does 16 divide (-10353)/17*k/3?
False
Suppose 4*d = o - 41, 5*d + 74 = 4*o + 9. Is (-3)/d*4 - (-536)/3 a multiple of 20?
True
Let t(u) = u**3 + 17*u**2 - 32*u - 20. Suppose 9*c + 25 = 7*c - 5*g, 0 = -5*c - 5*g - 70. Is 70 a factor of t(c)?
True
Let k(y) = -y**2 + 24*y + 6. Let q(z) = -4*z**2 + 96*z + 24. Let r be (9/15)/(2 + 58/(-30)). Let a(l) = r*k(l) - 2*q(l). Does 38 divide a(14)?
False
Let g(r) = r**3 - 11*r**2 + 13*r - 25. Let f be g(10). Suppose 4*n = 10*c - 8*c + 152, -f*n - c = -176. Does 15 divide n?
False
Suppose -616115 = -132*b + 1615609. Is 53 a factor of b?
True
Let g = -3299 - -5144. Let k = g + -638. Does 63 divide k?
False
Suppose 4*o - 2*a - 91 = 497, 2*o - 2*a - 292 = 0. Let j(z) = o - 72 - 7*z + 5*z. Is 23 a factor of j(-20)?
False
Suppose 5*w + 3473 = 2*g + 235, 0 = 2*w + 4*g + 1300. Let z = w + 1020. Does 12 divide z?
True
Suppose -i + 3*h - 16 = 0, 2*i + 4*h - 8 + 0 = 0. Let s be (2/i)/((-3)/6). Is 28 a factor of -15*s/6*-16?
False
Suppose -15536*a + 26910 = -15527*a. Is a a multiple of 26?
True
Suppose 486*m - 485*m = -4*f + 19546, -4*m = -4*f - 78304. Is 10 a factor of m?
True
Let w(o) = -2*o**2 + 52*o + 1. Let m be w(26). Suppose 0 = 3*z + 4*g + 10, -z - 5 = 2*g - m. Is (z + 0)/(20/(-90)) a multiple of 3?
True
Is 9 a factor of (-1340 - -5)*9*(-48)/60?
True
Suppose 2*p = 3*b + 84, 3*p - 63 = -5*b + 63. Suppose -j - p = -217. Suppose -j = -2*u - 5*a, a = -0*a - 1. Does 17 divide u?
False
Does 70 divide 1/2 - (-14 - (-217910)/(-28))?
False
Let w(z) = 6*z**2 + 8*z + 8. Let d be w(-5). Let h = 214 - d. Is 8 a factor of h?
True
Let h(g) = -145*g**3 - 3*g**2 - 39*g. Is 12 a factor of h(-4)?
False
Suppose p + 9*o = 5*o + 11320, 0 = 3*p + 3*o - 33969. Does 14 divide p?
False
Is (78/(-10))/((-32)/6880) a multiple of 16?
False
Let x = 4784 - 1309. Is 4 a factor of x?
False
Let d = 84 - 279. Let z = 286 + d. Suppose -90*c - 241 = -z*c. Is c a multiple of 29?
False
Let p(k) be the first derivative of -4*k**2 + 4*k + 4. Let j be p(-1). Does 4 divide ((-8)/j)/(3/(-18))?
True
Let w = 3130 - -7521. Is 12 a factor of w?
False
Let g(p) = p**2 + 15*p - 31. Let w = 10 - 26. Let m be g(w). Let v(d) = d**2 + 12*d - 32. Is v(m) a multiple of 13?
True
Suppose -12 = -5*k + 3. Suppose -k*u - 4*d - 286 = 0, u - 5*d - 475 = 6*u. Let y = u - -166. Does 12 divide y?
True
Let m be (-6164)/(-6) + 6/9. Suppose 285 + 1000 = 5*p - 4*f, 4*p = -5*f + m. Let s = 459 - p. Is 20 a factor of s?
False
Let y be (70/5)/(1 + -2). Let a = 19 + y. Suppose 0 = -a*q + 34 + 571. Is 11 a factor of q?
True
Let r be ((-57)/(-18) - 14/21)*2. Suppose 4*c = -r*b + 957, -2*b + 2*c = -2*c - 394. Is b a multiple of 15?
False
Let l be -49*40*(-8)/16. Let m = -644 + l. Is 30 a factor of m?
False
Suppose 0 = g + 4, 0 = 11*t - 6*g + 5*g - 24215. Is 6 a factor of t?
False
Let n(c) = -3*c**3 + 7*c**2 + 4 - 8 + 2*c**3. Suppose 5*q = z + 31, 8 + 8 = 3*q + 2*z. Is n(q) a multiple of 8?
True
Suppose 4*i - 8000 = -16*i. Suppose -23*r = -7*r - i. Is 4 a factor of r?
False
Let j(b) = 35*b + 1. Let f = -21 + 25. Let r be ((0 - 4)/f)/(-1). Is j(r) a multiple of 9?
True
Let k be 6/24 + 171/4. Suppose -13*q = -12*q - k. Is q a multiple of 43?
True
Suppose -w = -4*z + 3467, 29*w - 34*w + 872 = z. Is z a multiple of 9?
False
Let d be (-6 - -3)/(-3)*-89. Let k = d - -79. Let v(p) = -3*p - 10. Is 2 a factor of v(k)?
True
Let s(u) = 14*u - 27. Let x be s(2). Is 8 a factor of (99 + 13)*(x + 4 + -3)?
True
Let g(u) = u**3 + 5*u**2 + 3*u + 1. Let c be g(-1). Suppose -3*k = -j + 409, 4*j - 1260 = j - c*k. Does 13 divide j?
False
Suppose 5*i + 4*q = 42, -5*q + 2 + 13 = 0. Let t be (-8)/24 + (-424)/i*1. Let w = 118 + t. Is w a multiple of 6?
False
Suppose 0*i - 7*i + 105 = 0. Let y be (85 + 2)*1*5/i. Suppose -25*j + y*j = 224. Is j a multiple of 4?
True
Suppose 0 = 3*i + 2*a + 2, -2*i - a = i - 2. Suppose 2*w = 3*n - 2096, 0*n + i*n + w - 1402 = 0. Suppose -6*p + n = -p. Does 14 divide p?
True
Let x = 3844 + -1051. Does 7 divide x?
True
Let w(p) = p**3 - 7*p**2 + 7*p. Let q = 35 + -29. Let f be w(q). Is 14 a factor of ((-27)/18)/(f/(-376))?
False
Suppose -520651 - 334935 = -64*o + 359518. Is o a multiple of 22?
True
Let a be -2 - 3*-2 - (-9 + -870). Suppose 4*t + a - 2775 = 0. Let d = t + -313. Is 32 a factor of d?
True
Let s(g) = -2*g**2 + 16*g + 42. Let v be s(10). Suppose -v*q + 237 = l, -6*q + 7*q - 2*l - 126 = 0. Is 20 a factor of q?
True
Does 12 divide ((154944/(-60))/3)/(4/(-10))?
False
Suppose b - 5*a - 6214 = 0, 4284 = b + a - 1882. Is 98 a factor of b?
True
Let f(l) = -1313*l + 1573. Does 20 divide f(-19)?
True
Is 6 a factor of 35/(-20) + (-22)/((-1144)/478179)?
False
Let x(h) = -6955*h + 2630. Is x(-6) a multiple of 56?
False
Suppose -26*l = -35*l + 27. Suppose 2*p = -5*v + v + 56, 0 = l*p - 4*v - 114. Is p a multiple of 3?
False
Let n = 65 + -40. Let s = n - -4. Let w = 43 - s. Does 7 divide w?
True
Suppose 120*j = 123*j - z - 2297, -5*z = j - 787. Does 13 divide j?
True
Let n = -26 - 97. Let j = n - -128. Suppose -j*w + 668 = -377. Does 11 divide w?
True
Suppose 0*x = 4*x - 4*y - 64, -4*y - 53 = -3*x. Suppose 13*f - 116 = x*f. Is 29 a factor of f?
True
Suppose -6*s = -16*s + 30. Suppose h + 8 = 4*q, 5*h + s*q = -q + 32. Suppose -h*j + 82 = -202. Doe