Let k = f + l. Is k a multiple of 7?
False
Let i(b) = 61*b**2 + 7*b + 7. Is 11 a factor of i(-6)?
False
Let r(u) = -u**3 - 5*u**2 + 6*u + 8. Let s be r(-7). Let z = s - 28. Does 9 divide z?
True
Let k = -1461 + 2497. Is 6 a factor of k?
False
Let k be -4 - (-2 + 2/(-1)). Let w be (k/(-2))/(3 + -1). Suppose 3*r + r - 300 = w. Does 18 divide r?
False
Suppose 6 = -3*j, 4*y - 4 - 6 = -3*j. Suppose -y*o = -221 - 147. Is 4 a factor of o?
True
Let s = 13 + -20. Suppose -4*l = -5*x + 27, 0*l - 5*x = l - 12. Is 14/4*(l - s) a multiple of 7?
True
Suppose 0 = 11*v + 6*v - 17017. Does 11 divide v?
True
Let g be ((-1)/2)/(1/(-72)). Suppose 9*k - 3*u - 6 = 7*k, -8 = 4*u. Suppose 4 = -2*b - 4*x - x, k = -5*b - x + g. Is 3 a factor of b?
False
Suppose -4*j - 142 + 4 = -3*u, 4*u + 157 = -5*j. Let x = -11 - j. Does 9 divide x?
False
Suppose 5*l + 114 = -3*x + 544, -2*x = -2*l - 260. Suppose o - 6*o = x. Let r = 33 - o. Is 11 a factor of r?
False
Let c = 1 - -4. Let x(z) = z**3 - z**2 - 8*z + 3. Let o be x(c). Is 868/o - 6/(-27) a multiple of 7?
True
Let j = -8 - -24. Let l be 202/3 + j/24. Suppose -2*k + 32 = -4*c - l, -c = -k + 49. Does 18 divide k?
False
Suppose q + 3*m = -33, 2*q + 6*m - 2*m + 62 = 0. Let o = 61 + q. Suppose 3*z - o = z. Is 5 a factor of z?
False
Suppose -3*h + 358 = g, 4*h + 98 = g + 573. Is 17 a factor of h?
True
Let f(y) = -17*y + 13. Let r(l) = 17*l - 12. Let u(n) = 2*f(n) + 3*r(n). Does 17 divide u(3)?
False
Suppose 4*q = -o - 3, 6 = q - 4*q. Let f = 0 + 13. Let z = f - o. Does 4 divide z?
True
Let i(x) = -x**3 - 6*x**2 - 3*x + 418. Does 13 divide i(0)?
False
Suppose -3*u - 3 = 0, 3*m - 3*u - 1940 = -u. Is 38 a factor of m?
True
Let a be (-2 + 2 + -1)*-5. Suppose -4*k + 12 = 0, k + 366 = a*g + 3*k. Is g a multiple of 10?
False
Let r(g) = g**3 - 3*g**2 - 2*g + 13. Let o be r(8). Suppose 383 = 4*a - 2*l - 25, -4*l = 3*a - o. Is a a multiple of 38?
False
Let j(n) = n**3 - 6*n**2 + 9*n - 39. Does 15 divide j(9)?
True
Let p(j) = j. Let o be p(4). Suppose o*h = 2*h + 4. Is (114/(-9))/(h/(-3)) a multiple of 19?
True
Is 1005189/282 - (2 + 10/(-4)) a multiple of 37?
False
Let g(h) = -h**2 - 6*h + 1. Let m be g(-6). Does 16 divide (m - -125) + 4/2?
True
Let h(f) = f**3 - 6*f**2 - 7*f + 3. Let a be h(7). Suppose -7*w + 32 = -a*w. Is 8 a factor of w?
True
Let v = 477 + -250. Is v a multiple of 9?
False
Let o = -17 - -19. Let a be (18/(-12))/(o/(-28)). Let z = a + -6. Is 15 a factor of z?
True
Let o(v) = 17*v**2 + 9*v - 1. Is o(-5) a multiple of 6?
False
Suppose 285 = 3*a - 2*i, -a - 4*a + 3*i = -474. Is 4 a factor of a?
False
Let a = 2077 + -1483. Is a a multiple of 6?
True
Suppose -2*c = c - 12. Suppose 5*i + c*g - 400 = 0, -5*i - 2*g + 400 = g. Is 40 a factor of i?
True
Suppose -40*o + 1650 = -35*o. Does 15 divide o?
True
Does 26 divide 834 - (0/(-5) + 7) - 5?
False
Let a(d) = 5*d**2 + 4*d + 51. Does 7 divide a(-10)?
True
Let p(d) = d**3 - 10*d**2 + 8*d - 11. Suppose -11*n + 15*n = 32. Let f be p(n). Let v = f - -128. Is 25 a factor of v?
False
Let v = -18 - -22. Let z(y) = -y**3 + 4*y**2 - 2*y + 6. Let h be z(v). Is (h + 3)/((-5)/(-255)) a multiple of 27?
False
Is 58 a factor of (3 - 6/(-3)) + 273 + 1?
False
Let q be (-1*(-2 + 1))/(3/(-9)). Is 2/4*(-318)/q a multiple of 9?
False
Let r(t) = -6*t - 8. Suppose 3*v + 24 = -5*v. Does 5 divide r(v)?
True
Let x(u) = 25*u**2 - 7*u + 12. Let g be x(4). Suppose 7*r - g = 3*r. Does 12 divide r?
True
Suppose 4*i - 2*g = 18, -17 = 4*i + 4*g + g. Let s(n) = 0*n - 55 - n + 45 + 2*n**i. Is 15 a factor of s(-5)?
True
Let a(r) = 9*r**3 + 2*r**2 - 3. Let z be a(2). Let o = z - 60. Is o a multiple of 3?
False
Let w(z) = z**3 + 4*z**2 - 10*z - 2. Suppose 80 - 68 = -3*f. Is w(f) a multiple of 26?
False
Suppose 4*u - 5*u = 3*x - 57, -26 = -x + 2*u. Does 4 divide (-18 + x)/(4/38)?
False
Let d be -3*82/(-18)*27*-1. Let f = -230 - d. Is 31 a factor of f?
False
Let f = 1602 - 1250. Is f a multiple of 16?
True
Let z = 70 - 73. Suppose 5*d - 3*d = -12. Is z/d - (-231)/6 a multiple of 13?
True
Is (-1)/((-130)/25 - -5) - -1096 a multiple of 15?
False
Let j(n) = n**3 - 22*n**2 - 28*n + 170. Does 65 divide j(24)?
True
Does 9 divide (-1)/6 + (-4862)/(-12)?
True
Let v = 3070 - 1770. Suppose -4*p - 3*k + 952 + 88 = 0, v = 5*p - k. Does 29 divide p?
False
Let p(f) = f**3 + 4*f**2 + 5*f + 12. Let k be p(-5). Is (-1 - (-5)/3)*(-1995)/k a multiple of 35?
True
Let x be 4/(12/(-3)) - -6. Does 7 divide -1 - (3/5 + (-48)/x)?
False
Let l = -67 - -103. Is l a multiple of 12?
True
Let a be (-3)/1 - (30 + 1). Let l = 55 + a. Suppose 0*d = d - l. Is d a multiple of 7?
True
Let h = -212 + 267. Is h a multiple of 5?
True
Suppose -p + h - 14 + 30 = 0, 4*p + h - 49 = 0. Suppose -p*a = -2*a - 308. Is 6 a factor of a?
False
Is (-68)/(-28) + -2 + (-1520)/(-14) a multiple of 27?
False
Suppose 0 = 4*n + 23 - 3. Is n/((-25)/826) - 4/20 a multiple of 33?
True
Let u be 2/((-2)/(-2 - 2)). Suppose 5*t = u*c + 168, -t - 2*t = 3*c - 90. Is t a multiple of 5?
False
Let o = -1 + 3. Suppose 0*u = u - x + o, -3*u + 4*x - 7 = 0. Is 4 a factor of u/((-36)/33 - -1)?
False
Let u be (-2)/(-45)*3 + (-364)/(-195). Suppose -78 = -3*o + u*o. Is 13 a factor of o?
True
Let l(a) = 11*a - 19. Let q be 1/((-4)/(26*-2)). Let r be l(q). Suppose -5*m - s = s - r, -3*s - 90 = -4*m. Is 8 a factor of m?
True
Is (-6 + 4)*(-216 - 3 - 3) a multiple of 37?
True
Let s = 982 - 564. Is 38 a factor of s?
True
Suppose 0 = -20*o + 10034 + 9066. Is o a multiple of 15?
False
Suppose 775 = -10*y + 3405. Is 55 a factor of y?
False
Let b = 2 - -33. Is 7 a factor of b?
True
Let k(l) = 4*l - 3*l - 6*l - 5*l + 50. Is 11 a factor of k(-6)?
True
Let k = -579 + 1899. Is k a multiple of 11?
True
Suppose 0 = 2*m - 325 + 225. Let w be (-2 + -2)*6/(-8). Suppose w*g + 2*g = m. Does 10 divide g?
True
Suppose -2*r - c + 12 = -3*c, 2*r + 4*c - 30 = 0. Suppose r*i - 1667 + 407 = 0. Does 28 divide i?
True
Let b be 6 + -8 - (-3 + 1 + -2). Suppose b*z = -q + 60, -116 = -4*q + 2*q - 5*z. Does 17 divide q?
True
Suppose -2*b - 2*b = 268. Let s be b*1/(-1 + 2). Let w = s - -145. Is w a multiple of 26?
True
Suppose -i + 72 + 41 = 0. Suppose -i = 6*a - 1625. Does 48 divide a?
False
Let o(t) = 8*t**2 + 7*t - 39. Is o(5) a multiple of 4?
True
Suppose -46 - 2 = 4*g. Let n be (-50)/g + (-2)/12. Suppose -3*r + n*m = -97, 155 = 5*r - m - 35. Is 13 a factor of r?
True
Suppose 14*r - 12*r - 676 = 0. Is r a multiple of 16?
False
Let n(d) = d**2 - 7*d. Let x be n(6). Suppose -8*v - 53 - 75 = 0. Is 6 a factor of x*1*72/v?
False
Suppose 33*m + 80 = 38*m. Does 8 divide m?
True
Let a(u) be the first derivative of 1/4*u**4 + 5*u - 5 + 3/2*u**2 + 5/3*u**3. Is 5 a factor of a(-4)?
False
Let k = -33 + 1008. Is 41 a factor of k?
False
Let w(x) = -8*x - 2. Let c(r) = 17*r + 5. Let h(t) = 69*t + 20. Let s(o) = 9*c(o) - 2*h(o). Let k(p) = -3*s(p) - 7*w(p). Is 8 a factor of k(3)?
True
Let r(w) = 4*w + 8. Let u be r(-4). Let h = u - -16. Does 2 divide h?
True
Suppose 0 = 3*j - 7 - 5. Suppose -j*u + y + 104 = 0, -y = 3*u - 2*y - 77. Does 9 divide u?
True
Suppose 0 = 4*d - 0*d - 12. Suppose -4*g + d = -g. Is -3 + g - (-5 - -1) even?
True
Suppose 0 = 7*l - 2*l - 440. Let g be (-7)/(-2) - (-2)/(-4). Suppose g*d - 68 = l. Is 28 a factor of d?
False
Suppose 3*w - 2*q = -3, -2*q + 3 = -5*w + 2. Does 22 divide (-11 - w)*57/(-12)?
False
Suppose 2*j = -3*l + 8, 3*l - 9 = -2*j - j. Suppose 5*f - l*f = 75. Is 11 a factor of f?
False
Suppose 0*t + 3*t + 4*r = -4883, 8148 = -5*t + 3*r. Is (3 + (-32)/12)/((-3)/t) a multiple of 22?
False
Let s = 1725 + -1096. Is 17 a factor of s?
True
Let n = 16 - 7. Does 39 divide ((-4)/(-18)*48)/(1/n)?
False
Suppose -54*k + 17140 = -44*k. Is 28 a factor of k?
False
Let d be (-2)/(-3)*-3 - -42. Suppose 3*s = 6*s, 0 = n - 5*s - d. Is n a multiple of 13?
False
Let q(k) = -k**3 + 2*k**2 - 2*k + 1. Let a be q(1). Suppose a = 5*i - 25 - 0. Is 5 a factor of i?
True
Suppose 3*v - 369 = 3*s, 5*s - 3*v + 0*v + 609 = 0. Let z = 136 + s. Is z a multiple of 16?
True
Let f = 83 + -37. Is 23 a factor of f?
True
Suppose -x = 4*x - 1995. Is 21 a factor of x?
True
Let o = -6 - -10. Suppose 5*t = 2*p - 2, 2*t + p = -4*p + 5. Suppose -2*i + 5*n + 52 = t, -o*n - 13 = 3. Is i a multiple of 8?
True
Let g(j) = -j**3 - 2*j**2 - j + 3. Let m be 