a = 2*a - 292. Suppose 3*y + 14 + a = 2*s, 0 = 3*y - 5*s + 96. Does 7 divide (-6)/y - (-106)/9?
False
Let q = -15 - -25. Let r = 17 - q. Is r/35 - (-778)/10 a multiple of 26?
True
Let k be (-5 - 11)/(2/3). Let z be (-2)/2 + (-5 - -152)/3. Let x = z + k. Is 24 a factor of x?
True
Suppose -13 = -2*f - m, -f - 21 = -4*f - 2*m. Suppose 0 = -2*a + f + 9. Is (8 + 4 + -8)*a a multiple of 14?
True
Suppose -135 = g - 1143. Does 9 divide g?
True
Let y(r) = -29*r - 11. Let f be (2 - 15/9)*18. Let z be y(f). Let m = -104 - z. Is m a multiple of 14?
False
Let q(x) = x**2 + x. Let y be q(1). Suppose -3*r + 60 = -y*r. Suppose 4*l = 2*l + r. Does 6 divide l?
True
Let a be (-4)/(-6)*(-117)/(-26). Suppose a*d + d = 36. Is d even?
False
Let y(s) = s**2 + 13*s + 4. Let x be y(-13). Suppose 0 = 3*b - 16 + x. Suppose 35 = -2*k + 4*o + 179, b*o - 60 = -k. Is 17 a factor of k?
True
Let a = 20 - -48. Let l(c) = -c**3 + 15*c**2 + 16*c + 3. Let k be l(16). Suppose -k*m = m - a. Is m a multiple of 13?
False
Suppose 40 = 12*a - 8*a. Is a*((-840)/(-25))/4 a multiple of 21?
True
Let v(o) = -o + 11. Is 19 a factor of v(-8)?
True
Let c(r) be the second derivative of -7*r**3/6 + 11*r**2/2 + r. Is 10 a factor of c(-7)?
True
Let b = 91 - 43. Is b a multiple of 16?
True
Does 16 divide 110/2 - (10 - 1)?
False
Does 66 divide ((-396)/55)/(3/(-110))?
True
Let k(h) = h**3 - 12*h**2 + 8. Let i be k(13). Suppose n - 19 = -5*p, 3*n - 2*n - 7 = -2*p. Suppose -p*g = -g - i. Is g a multiple of 21?
False
Let d(t) = -2*t + 45. Let b be d(21). Suppose -h + 130 = 4*y, y = 4*h + b*y - 548. Does 24 divide h?
False
Let x(h) = -6*h + 7. Let a be x(-5). Suppose 5*i = 3 + a. Is i a multiple of 7?
False
Let g(b) = -5*b + 23. Let c(h) = -h - 6. Let n be c(11). Does 18 divide g(n)?
True
Let t be 16 + ((-60)/15 - 1*-4). Let k(v) = -v**3 + 16*v**2 + 8*v - 24. Is 10 a factor of k(t)?
False
Let l = 48 - 45. Suppose l*t + z = -0*t + 194, -5*z = -5*t + 290. Is t a multiple of 9?
True
Let p be (6/(-2))/((-30)/40). Suppose 518 = p*s + 5*a, -4*s + 526 = -2*a + 3*a. Is 11 a factor of s?
True
Let n(b) = -16 - 2*b + b + 3*b - 3*b. Let i be n(-11). Let p(f) = -f**3 - 5*f**2 - 3*f + 7. Is 8 a factor of p(i)?
False
Let l be (-6)/(-4)*(-32)/(-6). Let z(u) = u + 2. Let r be z(l). Suppose d + r - 39 = 0. Is d a multiple of 15?
False
Let a(h) = -1 - 2*h**2 + 3*h**2 + h + 7*h + 6. Let b be a(-7). Is (b*6)/((-6)/28) a multiple of 14?
True
Suppose 3*g - 15 = -0*g. Suppose 57 = -g*q + 8*q. Is q a multiple of 9?
False
Let o be 1 + (2 - -1)/3 - -105. Suppose 4*t = -2*k + 3*k - 10, 5*k - t = o. Does 2 divide k?
True
Let w(m) = 5*m - m**3 - 3*m**2 + 2*m**2 - 5 + 2*m + 5*m**2. Let u be w(5). Suppose u*d - 44 = 4*d. Is d a multiple of 24?
False
Is (-2 - (0 - 98) - 6) + -2 a multiple of 11?
True
Suppose -3*m = m - 16. Let i be 6/84*0*2/12. Suppose m*b + i*b - 140 = 0. Is b a multiple of 11?
False
Let t = -1445 + 3329. Is 49 a factor of t?
False
Suppose 21*u + 710 = 26*u. Suppose 5*s = 0, 2*h - u = -2*s - 40. Does 4 divide h?
False
Let r(w) = w**3 - 8*w**2. Suppose -4*c - m + 37 = 0, 0 - 15 = -3*m. Let j be r(c). Suppose 4*g - 12 = -0*a - a, j = -3*g - 2*a + 4. Is g even?
True
Let n(l) = l**3 - 6*l**2 + 4*l - 13. Let w be n(6). Let y = -6 + 9. Suppose y*i = 64 + w. Is i a multiple of 18?
False
Let h be 25 - (0*(-4)/12)/1. Let p = h + 183. Does 11 divide p?
False
Let v(q) be the second derivative of -2*q**3 - 10*q**2 - 26*q. Suppose 0*s = -s - 8. Is 19 a factor of v(s)?
True
Suppose 5*g - 51 = 4*g + 3*o, 5*g - 285 = 5*o. Is g a multiple of 5?
True
Suppose -46*c + 47*c = 1001. Does 91 divide c?
True
Is 33 a factor of 21/7*1089/9?
True
Let w(d) = -28*d + 28. Does 28 divide w(-9)?
True
Suppose -77*q + 81*q - 4*a = 4392, -2*q - 3*a + 2216 = 0. Is q a multiple of 6?
False
Let d(n) = n**2 + 11*n + 27. Does 25 divide d(13)?
False
Suppose d - 63 - 6 = -5*y, 0 = -4*y + d + 48. Let z = -10 + y. Suppose z*v = -3*k + 21, 4*v + 2*k - 6*k - 36 = 0. Is v a multiple of 4?
True
Let c(g) = 2*g + 6 - 3 - 4*g**2 - 1. Let v be c(-1). Does 17 divide (-1383)/(-27) + v/18?
True
Let w = 511 + 72. Does 20 divide w?
False
Suppose g + 0*w - 1 = -w, 0 = 5*g + 3*w - 9. Does 28 divide 6 + -4 + 120 + -1 + g?
False
Suppose -7 + 16 = 9*d. Is 4 - 159/((-3)/d) a multiple of 23?
False
Suppose 0 = -4*x + 940 - 100. Suppose 7*g - 2*g = x. Is g a multiple of 3?
True
Let z(g) = g**2 - 8*g + 11. Let p be z(7). Suppose 0 = 3*y - p*f - 164, 2*f - 230 = -5*y - 0*y. Does 16 divide y?
True
Let d = -44 + 64. Suppose 0 = v + v + d. Let g(p) = p**2 + 4*p. Is g(v) a multiple of 20?
True
Suppose 4*j - 5*v - 1082 = 1786, v = j - 716. Is j a multiple of 13?
False
Let v = 115 - 39. Is 19 a factor of v?
True
Suppose -3*j = -12 - 3. Suppose -3*a + 22 = -j*p + 7, -5*a + 4*p + 12 = 0. Let y = 15 + a. Is 5 a factor of y?
True
Suppose -5*w - 1 = 3*m, 4*w - 3 + 20 = 3*m. Let q(b) = -14*b**2 - 4*b - 1. Let o(n) = 27*n**2 + 7*n + 2. Let c(p) = 4*o(p) + 7*q(p). Is 13 a factor of c(m)?
True
Let k be (-7 + 6)*(4 - 4). Let j(r) = r**2 + 2*r + 112. Does 16 divide j(k)?
True
Let v be ((4 + -4)/4)/(0 + -1). Is 13 a factor of 60 + 6 - (2 + (-1 - v))?
True
Is 2 a factor of 21*9/63 - (-32 + 0)?
False
Let y = -1434 - -2505. Does 21 divide y?
True
Suppose -4*b + 129 = -u - b, 0 = -2*u - 4*b - 238. Let t = -25 - u. Is 14 a factor of t?
True
Suppose 3*b - 42 = -3*d, 2*d - 3*b + 6*b = 26. Is d + -14 - (-17 + 1) a multiple of 13?
False
Let l = -24 + 23. Let a(q) = -3*q**3 + 3*q + 2. Let y be a(l). Does 29 divide (-3*29)/(y + -3)?
True
Let u = 270 - 108. Let k = u - 18. Does 36 divide k?
True
Let f(o) = 33*o**2 + 3. Let w be (6/9)/((-2)/(-9)). Let n be f(w). Suppose -n = -6*k + k. Is k a multiple of 15?
True
Suppose 0 = 5*w + 16 + 134. Let t = w + 30. Suppose 5*y - 9*y + 148 = t. Does 22 divide y?
False
Suppose -100 = -0*w - 5*w. Let v = -71 + 67. Let b = v + w. Is b a multiple of 6?
False
Let z(b) = 0 - 1 + 6 + 3*b + 2*b**2. Let f be z(-4). Suppose 0 = n - 80 + f. Does 11 divide n?
True
Let o = -1190 - -1689. Is 32 a factor of o?
False
Let j = 95 + 73. Let q = j - 46. Does 11 divide q?
False
Let r = -1970 + 2530. Does 27 divide r?
False
Let z(c) = -3*c**3 - 6*c**2 + 5*c + 20. Is 20 a factor of z(-5)?
True
Let x = -189 - -72. Let v be 4/26 - 567/x. Let u = -3 + v. Does 2 divide u?
True
Let u be (-7 - -11) + -13 + -1. Let t(c) = -c**2 - 17*c - 10. Is 14 a factor of t(u)?
False
Let b be ((-5)/(-2))/((-3)/42). Let d = -89 - b. Let y = -10 - d. Does 11 divide y?
True
Let h(a) = a**3 - 9*a**2 - 1. Let d be h(9). Is d/(-2)*-38*-5 a multiple of 17?
False
Suppose -4*y = -3 - 17. Suppose y*a + 3*a - 336 = 0. Is a a multiple of 7?
True
Let c(z) = -z**3 - 16*z**2 - 27*z + 16. Let u be c(-14). Is u/9 + (-5)/(315/(-7294)) a multiple of 25?
False
Let m be (-38 - 3 - -3)/(2/(-4)). Let p = 191 - m. Is 54 a factor of p?
False
Suppose -3*t = -5*g - 7*t + 63, 2*g - 5*t = 45. Is 15 a factor of g?
True
Let d(o) = -4*o**3 - 5*o**2 - 8*o - 4. Let t be d(-4). Let u = 300 - t. Is 37 a factor of u?
False
Let i = -15 + 490. Does 5 divide i?
True
Let p(b) = 2*b**2 + b + 3. Let x be p(-5). Let j = x - 69. Is 9 a factor of -3 - (-7)/(j/(-36))?
True
Suppose -r = 3 - 8. Suppose 4*s + 200 = 4*n, 0*n = -4*n + r*s + 202. Does 12 divide n?
True
Suppose 5*n - 58 + 8 = 0. Suppose i + 1 = -2*o + o, -2*o = -i + 8. Suppose -y - n = -g, g - y = i*y + 2. Is 12 a factor of g?
False
Is 37 a factor of (0 - 72/42)/(1/(-1477))?
False
Let x(k) = 433*k**2 + 30*k + 2. Is x(2) a multiple of 27?
False
Suppose -5*z + i + i = 156, i + 27 = -z. Is 7/(-5*2/z) a multiple of 7?
True
Let c be 6*((-9)/(-2) - 4). Let a(j) = -17*j**2 - 6*j + 7. Let u(s) = 18*s**2 + 7*s - 8. Let b(w) = -5*a(w) - 4*u(w). Does 15 divide b(c)?
True
Let f = -265 + 505. Let n be f/108 + (-2)/9. Suppose n*h - 4 = 0, 0 = 5*c - 2*h - 31 - 10. Is 9 a factor of c?
True
Is 15 a factor of (2/(-4))/((-7)/(-84)) + 651?
True
Suppose -2*a = 6, 1 = -g - 3*g - 3*a. Suppose 0 = -0*d + 2*d - g. Let o(n) = 51*n**3 + n**2 - 2*n + 1. Is o(d) a multiple of 16?
False
Suppose -l + 4*d + 13 = 0, 8*l - 3*l + 3*d = -4. Let i be l/(2/(-2))*-78. Suppose -i = -2*f - 22. Is f a multiple of 14?
True
Let n = 9 + -3. Suppose -n*g + 1156 - 382 = 0. Is g a multiple of 19?
False
Let q = -687 + 1263. Suppose -4*u + q = 4*u. Is 