 divide 335 + (6 - (-2 + 6))?
False
Let q(s) = -4*s**3 - s**2 + s + 1. Let i = -4 - -3. Let o be q(i). Suppose -5*j = 5, o*v - 64 = -0*j + 4*j. Does 20 divide v?
True
Let r = -78 - -82. Let x = 11 - 48. Is 9 a factor of r + (-2 - (x - -3))?
True
Suppose 6*w - 1037 + 767 = 0. Does 9 divide w?
True
Suppose -8*j - 112 + 600 = 0. Suppose -2*s = s + 3*k - 192, -2*k - j = -s. Is s a multiple of 11?
False
Suppose -h - 83 = -4*p, -2*p - p = -h - 63. Suppose -7*l + 2*l = -p. Suppose l*v - 14 = -s, -6*v - 3 = -3*v. Is s a multiple of 5?
False
Let n = -27 + 567. Is 5 a factor of n?
True
Let r be -5*(-2)/(3 - 1). Let z be (-19002)/(-34) + 60/510. Suppose r*v + 184 = z. Does 25 divide v?
True
Let x = -3 + 7. Suppose -80*w = -70*w - 170. Suppose -7 = s + x*p, p = s - 3*p - w. Is s a multiple of 5?
True
Suppose -6 = 4*x - 18. Suppose -x*c = c + 68. Let r = 16 - c. Is 22 a factor of r?
False
Suppose 0 = -3*m - 556 + 1009. Does 30 divide m?
False
Let v(d) = 4*d**2 - d. Let z be v(1). Let x be (1 - 46)*(-4)/z. Let r = -33 + x. Is r a multiple of 12?
False
Suppose 4*i - 1026 = -5*i. Let q = i - 94. Does 5 divide q?
True
Suppose -3877 = -27*u + 6680. Does 8 divide u?
False
Suppose -z - 3 = 3. Let v be 3 + z + 3 - 30. Let f = v - -45. Is 13 a factor of f?
False
Let t be 152/40 - 1/(-5). Suppose -t*y + 48 = -0*y. Does 10 divide 363/y + 2/(-8)?
True
Let r(k) = -7 + 6*k**2 - 2*k**3 + k**3 - 6*k**2 + 8*k**2 - 6*k. Let n be r(6). Let h = -15 + n. Is 14 a factor of h?
True
Let t = -21 - -16. Let u(o) = -o**2 - 4*o + 1. Let l be u(t). Let r = 55 + l. Does 21 divide r?
False
Let v(m) = 3*m + 12. Let q be v(-3). Suppose -102 = u - q*u. Is 23 a factor of u?
False
Let c be 14/63 + (-68)/(-18). Suppose -114 = -2*q + 5*y, 3*q - c*y - y - 181 = 0. Is 12 a factor of q?
False
Let j(g) = -28*g - 218*g**3 + 219*g**3 - 1 + 19*g**2 - 13. Is 28 a factor of j(-20)?
False
Suppose 2*o = 2*i - 2, -5*i - 4*o + 2*o - 9 = 0. Let b be 1/(i - 82/(-84)). Let w = b - -81. Is 22 a factor of w?
False
Does 17 divide 62/341 + -1*(-51045)/33?
True
Suppose -500*g - 21484 = -504*g. Is g a multiple of 38?
False
Suppose 2*c + c - 12 = 0, -76 = 5*n + c. Let v = n + 9. Let l(q) = -3*q - 7. Is 5 a factor of l(v)?
False
Let l = 19 + 7. Let t = -14 + l. Suppose -58 + t = -2*s. Does 23 divide s?
True
Does 10 divide (140/21)/((15/99)/5)?
True
Let d = 251 - 146. Suppose 3*f - 3*v = 4*f - 367, -5*f = 5*v - 1815. Suppose -4*s = -f + d. Is s a multiple of 26?
False
Suppose -4*y + 99 = 27. Let r(l) = -8*l - y + 21 - 6*l. Does 17 divide r(-2)?
False
Let o = 27 + -25. Suppose 2*q - 11 = -t, -4*q + o*t + 17 = 3*t. Suppose -5*j + q*w + 105 = -0*j, -j + w = -19. Does 11 divide j?
False
Let j(q) = q**3 - 33*q**2 + 80*q + 59. Does 29 divide j(32)?
True
Suppose -3*g + 9*j = 5*j - 428, 5*j = 3*g - 427. Does 13 divide g?
False
Suppose 0 = 2*u + m, u + u + 5*m = -8. Is u*(-20)/(-8)*2 a multiple of 5?
True
Let n(c) = 5*c**2 + 6*c + 24. Does 52 divide n(-15)?
False
Suppose -5*n + 1051 = -79. Let b(m) = -m**3 + 6*m**2 + 3*m + 6. Let u be b(5). Suppose -n + u = -5*t. Is t a multiple of 24?
False
Let k = -6 - -3. Let h = k + 7. Does 2 divide h?
True
Is 18 a factor of 14337/(-18)*(-12)/(-54)*-3?
False
Let p = 1124 - -747. Does 35 divide p?
False
Suppose -3*r = 3*t - 249, t - 2*r = 2*r + 108. Is t a multiple of 12?
False
Let r = 69 + 917. Does 3 divide r?
False
Suppose -4*y + 656 = -31*s + 33*s, 3*s - 3*y - 993 = 0. Does 10 divide s?
True
Let d(j) be the third derivative of -j**5/60 - j**4/12 + 5*j**3/3 - 4*j**2. Is d(-4) even?
True
Suppose -303 + 9 = -6*k. Is 49 a factor of k?
True
Suppose -12 = -v + 2*v. Let m(a) = -a**2 - 10*a + 15. Let n be m(v). Is 11 a factor of n/3 + 2 + 23?
True
Let k be (-4 + 5)*(-2 + 2). Is 13 a factor of 16 - (5 - 2 - k)?
True
Let r(q) = 10*q**3 + 13*q**2 + 19*q - 6. Let u(o) = 5*o**3 + 6*o**2 + 9*o - 3. Let n(p) = 4*r(p) - 9*u(p). Is n(-2) a multiple of 45?
True
Let q(u) = -u**2 + 9*u - 15. Let w be q(3). Suppose 5*f = -0*f - w*j + 1028, 5*j - 396 = -2*f. Does 42 divide f?
False
Let f(u) = 2*u + 1. Let x be f(5). Let c(s) = 4*s + 26. Does 10 divide c(x)?
True
Let c(z) be the second derivative of z**5/20 - 5*z**4/3 - 17*z**3/6 - 15*z**2 + 10*z. Is c(21) a multiple of 9?
True
Does 7 divide (1 - (-25)/3)*9?
True
Suppose 8 = 5*r - 3*r. Suppose -z - r = 5. Let c = -1 - z. Is c even?
True
Does 70 divide (-1 - -733) + 9 + -5?
False
Let y(f) = 142*f + 9. Let z be y(8). Is 33 a factor of 2/7 - z/(-35)?
True
Let y = 2286 - 1269. Is y a multiple of 9?
True
Suppose 6*w - 11*w + 15 = 0. Suppose -w*u + 8*u = -5*g + 160, -5*g - 4*u = -158. Is g a multiple of 8?
False
Let h(y) = 11*y**2 + 19*y - 17. Let g(b) = 0*b**2 - 10*b - 5*b**2 + 16 - 7. Let k(a) = -13*g(a) - 6*h(a). Does 21 divide k(6)?
False
Suppose -4*s + 1 - 15 = -2*i, 0 = 5*i - s - 17. Suppose 0*d + i = d. Suppose 3*b + d*b = 570. Is b a multiple of 19?
True
Suppose 0 = -3*h + n + 411, 3*h = 2*h + 5*n + 151. Suppose 1436 = -2*i - h. Does 29 divide i/(-9) + (-2)/6?
True
Suppose 4*b - 18*b = -42. Suppose 6*h + 240 = 3*c + b*h, 4*c - 312 = 2*h. Is 19 a factor of c?
True
Suppose -m + 1 = -2*m. Let i = m - -25. Let h = i - 6. Is 9 a factor of h?
True
Suppose -g - 2*y - 49 = -101, -4*g + 244 = -4*y. Is g a multiple of 4?
False
Suppose 5*g = -5*f - 45, 0*g + g + 1 = f. Let z(a) = -a**3 - 2*a**2 - 4. Is z(f) a multiple of 3?
False
Let w(s) = -3*s. Let v be w(-2). Suppose 3*d = v*d. Let q = 6 + d. Does 3 divide q?
True
Let l = -6 - 0. Let p = 6 + l. Suppose 7*x - 5*x - 24 = p. Is 5 a factor of x?
False
Suppose 1184*w - 1768 = 1182*w. Does 83 divide w?
False
Let g(p) = 7*p**3 + p**2 - p. Let t be g(1). Is t*((-28)/6)/(18/(-27)) a multiple of 7?
True
Suppose 0*v - 4*v = -128. Suppose 0 = 2*h + 3*o - 5*o + v, -4*h - 58 = 2*o. Is (8/20)/((-1)/h) a multiple of 3?
True
Let o(n) = -n**3 - 3*n**2 + 2*n + 3. Let d be o(-3). Let u = 5 - d. Let l = 38 - u. Does 15 divide l?
True
Suppose 15 = 2*l + m, -6*m = -2*l - 2*m. Suppose 2*v - 8 = 0, -l*p + 490 = -p - 5*v. Suppose 0 = -5*f + 2*f + p. Is f a multiple of 17?
True
Let i be 1/(3*4/60). Suppose i*d - 2*x = 44, x = d + 4*x - 19. Suppose -d*q + 7*q + 252 = 0. Is 18 a factor of q?
False
Let k(p) = 35*p**2 - 15*p + 76. Is k(-8) a multiple of 21?
True
Suppose -5165 - 4635 = -7*d. Is d a multiple of 100?
True
Let a = 437 + -312. Is 3 a factor of a?
False
Let q = 18 - 43. Does 32 divide (1 + q)*(3 + 125/(-15))?
True
Let c be (-19)/(1*(-4)/12). Let b = c - 34. Does 10 divide b?
False
Let h = -1 - -2. Let j(a) = -28*a**2 + 8*a - 1. Let t(g) = g**2 - 5*g + 1. Let u(c) = -j(c) - 2*t(c). Is 14 a factor of u(h)?
False
Suppose 0 = -2*n + 2 + 4. Suppose -q - 5*o + 48 = 0, 0*q - 2*o + 196 = n*q. Let j = q + -40. Is j a multiple of 4?
True
Suppose 2 = -3*j - 4, -5*x - 5*j = 0. Is 27/((-1 - 0) + x) a multiple of 9?
True
Suppose 0*w + 15*w - 13740 = 0. Is w a multiple of 7?
False
Let l = -1176 + 1384. Is l a multiple of 16?
True
Suppose 45*r = 40*r + 3910. Does 46 divide r?
True
Suppose 6*n - n + 3*q - 2922 = 0, 4*q = -n + 581. Does 9 divide n?
True
Let t(i) = -1155*i**3 - 3*i**2 + 4. Does 17 divide t(-1)?
True
Let c(u) be the third derivative of u**6/30 - u**5/20 + u**4/12 - 2*u**3/3 - 11*u**2. Is 13 a factor of c(2)?
False
Let j = 28 + -30. Is 488/56 - j/7 a multiple of 4?
False
Suppose 0 = -3*b - w + 1138, -3*w = 4*b - 2245 + 721. Does 42 divide b?
True
Suppose 19 = -3*b - 26. Let v be (-15 - -12)/(1/(-13)). Let q = b + v. Is 8 a factor of q?
True
Let n be (-1 - (-21)/9)*12. Let b be n + 1 + 0 - -3. Let j = b - 12. Is j a multiple of 4?
True
Let u = 118 - -33. Let v = u + -103. Does 6 divide v?
True
Suppose -5*f + 6*f - 3 = 0. Suppose p = r - 4*p + 8, 24 = -f*r + 4*p. Is 12 a factor of (-230)/r + 27/108?
False
Suppose 0 = -13*j + 2*j - 132. Suppose -c = 2*c - 84. Let s = j + c. Does 8 divide s?
True
Does 115 divide 52646/16 - (-33)/(-88)?
False
Let p(f) = 3*f**2 - 7*f + 7. Suppose s - 27 = 5*a, -5*s - 5 = 5*a + 10. Let j = 6 - s. Is p(j) a multiple of 10?
False
Let i(v) = -13*v + 111. Is i(6) a multiple of 3?
True
Let b = 79 + -82. Is 45 a factor of b - (3 - (1 - -410))?
True
Let v be (4/(-3))/((-4)/9). Suppose -v*u = -2*s - u + 2, -3*s - 5*u + 35 = 0. Suppose 0 = -s*a - f + 174, -2*a + f + 7 + 64 = 0. Is 13 a factor of a?
False
Suppose 0*j