 = -i - i - 9. Suppose -w + 0 + 1 = 0, -i*w + 89 = 2*v. Does 12 divide v?
False
Let i(b) = b - 7. Let h be i(8). Let a be (-5)/(-2*h/144). Suppose 3*x + 360 = 3*r + 2*r, -2*x = 5*r - a. Does 24 divide r?
True
Let g(r) = -r**3 + 21*r**2 + 22*r + 4. Let z be g(22). Suppose 7*w - z*w - 480 = 0. Is w a multiple of 32?
True
Suppose 0 = 4*p - 2*p. Suppose 4*f = -p*f + 780. Suppose -2*y = 3*y - f. Does 13 divide y?
True
Let w(d) = 3*d - 3. Let t be w(4). Let a(m) = -m**3 + 10*m**2 - 4*m - 21. Is 6 a factor of a(t)?
True
Let j be ((-18)/15)/((-6)/(-20)). Let k be j/(-6) - (-41)/(-3). Let i(n) = -n**3 - 13*n**2 - 5*n + 1. Is i(k) a multiple of 23?
False
Suppose 3*b = 5*d - 9984, 4*b = -4*d + 8*b + 7992. Does 15 divide d?
True
Let q(r) = -9 + 2*r + r + r - 2*r. Is q(8) a multiple of 2?
False
Suppose 0 = 5*v - 6*v - 3. Let q(a) = a**2 + 4*a - 7. Let n be q(v). Let d(i) = -i**3 - 10*i**2 - 7*i - 10. Is 9 a factor of d(n)?
False
Let u be ((-5)/3)/(4/12). Let x(h) = -2*h - 13. Let s be x(-8). Does 21 divide s*(16 - (u - -2))?
False
Let k be ((-2 - 1) + -21)/((-3)/(-4)). Let l = -22 - k. Does 2 divide l?
True
Let r = 129 + -66. Let a = 39 - r. Does 7 divide (-1 - a) + 2 - -2?
False
Let k(u) = 4*u**2 - 2*u - 1. Let q be k(-1). Is 36 a factor of (4/(-4) + 0 + q)*36?
True
Let o be -2 + 42 + 15/(-5). Suppose -5*i + 214 = -3*b + 51, i - o = 5*b. Is i a multiple of 31?
False
Let b = 20 - -7. Suppose b*r + 420 = 29*r. Is r a multiple of 21?
True
Is 2 a factor of 6 + 2075/10*32/40?
True
Let y(i) = 9*i - 33. Let a(s) = 2*s**2 - 6*s - 5. Let q be a(5). Is 17 a factor of y(q)?
True
Suppose 3*x - 429 = -h, -7*h + 2109 = -2*h + 3*x. Is h a multiple of 20?
True
Suppose 2*h = 5*a + 469, -11*h + 233 = -10*h - 2*a. Is h a multiple of 3?
False
Suppose -3*v - w = -0*w + 928, -320 = v - 5*w. Is 22/(-121) + v/(-11) a multiple of 14?
True
Let c be ((-8)/(-5))/(7/35). Suppose c*n = 5*n + 33. Is n a multiple of 7?
False
Let p = -295 + 535. Is 48 a factor of p?
True
Let a(s) = s**2 + 18*s. Suppose 6*v + 36 = 4*v. Let x be a(v). Is (-3)/(3 + x) + 49 a multiple of 9?
False
Is (3/(-2))/(45/(-13230)) a multiple of 63?
True
Suppose 0*b - 5*b + 160 = 0. Suppose -2*d + 68 = -b. Is 7 a factor of d?
False
Let i(o) = -19*o - 18. Does 55 divide i(-14)?
False
Is 1 + -5 - (-10 - -7 - 1409) a multiple of 11?
True
Let r be (0 - (-2)/(-4))*0. Suppose -2*x - x + 3*b + 120 = r, 2*x - 5*b - 83 = 0. Does 13 divide x?
True
Let d = 289 - -38. Is 17 a factor of d?
False
Suppose -i - 5*y = -67, -i + 2*y + 58 = -2*y. Let h = i + -2. Is h a multiple of 10?
True
Let s(a) = -1 + 10*a + 71*a**2 - 22*a + 12*a. Does 10 divide s(-1)?
True
Let g(n) = 2*n**2 + 15*n - 13. Let v(t) = t**2. Let s(j) = g(j) - 3*v(j). Is s(11) a multiple of 5?
False
Let o(k) = -k**3 - 4*k**2 - 6. Let z be o(-4). Let f = z - -32. Is 26 a factor of f?
True
Let b(s) be the second derivative of s**4/12 - 5*s**3/3 + 9*s**2/2 - s. Is 21 a factor of b(-5)?
True
Suppose -n + 1244 = 4*v, -4*v + 25*n + 1244 = 21*n. Does 11 divide v?
False
Let h = 76 + 53. Suppose 2*a - 26 = -a + 5*i, 5*a + 3*i + 2 = 0. Suppose -h = -5*w + a*w. Does 19 divide w?
False
Let w = 800 - 442. Does 11 divide w?
False
Let y(j) = j**2 - 9*j + 23. Let a be y(7). Does 11 divide 3/(a*(-3)/(-585))?
False
Suppose 0*v + 8 = -3*v - 4*z, -4*v = 2*z - 6. Suppose -v*m + 12*m = 704. Does 19 divide m?
False
Let o(k) = -k**3 + 8*k**2 + 20*k - 13. Is o(7) a multiple of 56?
False
Let t be (-16)/(-6)*24*-5. Let u be (1/2)/((-5)/t). Is 17 a factor of u - (-3 + 1)*1?
True
Suppose -2*d + 192 + 62 = 0. Suppose 0 = g + 1, 5*g + d = 4*b - 38. Does 8 divide b?
True
Suppose n - v - 8 = 0, 8 = 3*n - 0*n + v. Does 4 divide n?
True
Let w(h) = 2*h**2 + 3*h - 4. Let v be w(-6). Let f = v + -14. Does 18 divide (f/10)/(4/20)?
True
Let p(y) = -y**2 + 9*y + 9. Does 3 divide p(3)?
True
Let q(g) = g**2 - 18*g + 21. Let k be q(17). Suppose 2*o + n - 230 = 0, 4*o - k*n - 22 = 426. Is o a multiple of 38?
True
Let q(n) = -n**3 - 5*n**2 - 5*n + 2. Suppose -17*i + 15*i = -22. Let p(c) = -3*c**3 - 16*c**2 - 15*c + 5. Let l(s) = i*q(s) - 4*p(s). Is l(-5) a multiple of 17?
False
Suppose j - q = 1, 6*j - 4*q = j + 2. Let f be (-16)/(j/(-4)*-4). Suppose f + 48 = 4*d. Is 12 a factor of d?
False
Suppose -375*p - 246 = -378*p. Is p a multiple of 11?
False
Suppose -4*a = 2*j, -14 = -4*j - j + 4*a. Suppose 70 = 4*q - r + 12, 4*q = j*r + 60. Let t = 27 - q. Is t a multiple of 4?
False
Suppose -3*u - 4*l + 96 = -55, -3*u = l - 148. Does 7 divide u?
True
Let j(z) = -153*z**3 + z**2 - 1. Let n = -43 - -42. Is 12 a factor of j(n)?
False
Suppose -1243 = -11*m - 0*m. Let x = 151 - m. Does 38 divide x?
True
Let m = -12 - -15. Suppose 2*c + m*c = 10. Is (-68)/(0/c + -1) a multiple of 20?
False
Let g(v) = -v**3 + 8*v**2 - 7*v. Let l(s) = -6*s**3 + 41*s**2 - 34*s + 1. Let d(t) = 11*g(t) - 2*l(t). Is d(-7) a multiple of 6?
True
Let c be (-1 + -2 - -2)/((-8)/(-1128)). Let n = -92 - c. Is n a multiple of 7?
True
Does 11 divide 277/2*(-29 + 31)?
False
Let v(f) be the third derivative of -f**6/120 - f**5/15 - f**4/24 + f**3 + 7*f**2. Let o be v(-3). Let u = 8 - o. Is u a multiple of 3?
False
Let x(c) = 17*c**2. Let y be (9 + -9)/(-3*1). Suppose y - 8 = -4*s. Does 17 divide x(s)?
True
Suppose -202 = -5*c + 118. Is c a multiple of 29?
False
Suppose 18821 = 24*g - 1219. Is g a multiple of 36?
False
Let m(d) = d**2 + 10*d + 7. Let g be m(-9). Let s be 0 + 3 + (g - -2). Suppose p - 6*p = s*n - 62, -3*n + 36 = 3*p. Is p a multiple of 5?
False
Let r = 372 + -307. Does 13 divide r?
True
Let n(h) = 7 - 5 + 13*h + 0*h**2 + 9 + 2*h**2. Let p be n(-8). Suppose 5*y = p + 45. Does 10 divide y?
False
Does 21 divide 6/(-48) + 414638/112?
False
Let a = 420 - 369. Is 17 a factor of a?
True
Suppose -3*s - 3*m + 24 = 0, -m + 5*m - 8 = 2*s. Suppose s*v = -2*h + 176, 7*h - 100 = -2*v + 3*h. Is 8 a factor of v?
False
Let h(x) = -x**3 + 11*x**2 - x + 13. Let c be h(11). Suppose 7*k - 45 = c*k. Does 5 divide k?
False
Let k(v) = v**2 + 11*v + 2. Let y be k(-11). Suppose -2*s = w - 1 - 6, -y*s - 7 = -w. Suppose 11*n - 64 = w*n. Is 3 a factor of n?
False
Suppose -3 + 57 = -9*d. Is 26 a factor of (-340)/d + (-9)/(-27)?
False
Let t(s) = 18*s + 34. Suppose -5*x = l - 14, 2*l - 3*x = 3 - 1. Is t(l) a multiple of 12?
False
Let d = -149 - -299. Suppose 0 = 43*k - 37*k + 546. Let s = k + d. Does 13 divide s?
False
Let h(x) = x**2 + 2*x + 5. Let w be h(0). Suppose o = 2*f + 133, 526 = -o + w*o - 2*f. Is o a multiple of 8?
False
Let n be -1 - 2 - (-6 + 6 + -5). Suppose 5*u + 135 = n*r, 4*u = 2*r - 5*r + 214. Is 14 a factor of r?
True
Suppose -25*d = 14*d - 4056. Suppose 2*u = 8, u = 5*z - 2*z - 146. Let j = d - z. Does 15 divide j?
False
Let k be (1 - 0)/((-3)/42). Let b be (-174)/(-4) + (-7)/k. Let m = 62 - b. Is 5 a factor of m?
False
Let j be (2 - 4/2) + 46. Suppose 2 = -n - 5*h - 5, 5*h = 2*n - j. Is n a multiple of 13?
True
Let v = 5983 - 1803. Is 126 a factor of v?
False
Let f(j) = -2*j + 49. Let w be f(13). Let l = 11 + w. Is 5 a factor of l?
False
Suppose 3*v = -3*n + 2157, -3*n + 813 = -2*v - 1349. Is n a multiple of 10?
True
Is (-18100)/(-225) + 12/(-27) a multiple of 20?
True
Let p = 197 + -32. Does 16 divide p?
False
Let s(p) = p**2 - 9*p + 3. Let d(g) = -2*g + 1. Let v be d(3). Let k(x) = 2*x**2 - 26*x + 8. Let q(l) = v*k(l) + 14*s(l). Is q(-4) a multiple of 14?
False
Let f(o) = -3*o**2 + 9*o + 26. Let d be f(9). Let j = -40 - d. Is 16 a factor of j?
True
Suppose 2*g - 74 = 15*q - 12*q, -4*g = -2*q - 140. Is g a multiple of 2?
True
Suppose 2*g - 6*t = -4*t + 2680, 0 = 5*g - t - 6716. Is g a multiple of 8?
True
Let s(w) = -w**3 - 31*w**2 - 99*w + 52. Is 13 a factor of s(-28)?
False
Let k = 1159 - 340. Is 17 a factor of k?
False
Let r = 71 - 47. Suppose r = 6*n - 30. Is n a multiple of 9?
True
Let f(l) = l**3 - 18*l**2 + 9. Let j be f(18). Suppose v + 0*v - j = 3*y, v - 39 = -3*y. Is 3 a factor of v?
True
Suppose 5*f + 2*p - 38 = 0, 0 = 4*f - 2*f + 4*p - 28. Suppose -m = -98 - f. Is m a multiple of 26?
True
Let c be 4 + (1 + -4)/(-3). Suppose 3*d + z = 916, -5*d + 1545 = -c*z + 3*z. Is d a multiple of 29?
False
Suppose -p + l - 11 = 0, 4*l - 8 = 2*p - p. Let c(u) = -u - 10. Let r be c(p). Suppose -4*n = r*h - 218, 4*h + 2 = 2*h. Is n a multiple of 11?
True
Let