2 - 13*l - 25. Let p be 2/1 - (-8 + (5 - 1)). Let b(s) = s**3 - 8*s**2 + 14*s + 5. Let t be b(p). Is q(t) a multiple of 11?
False
Suppose 3*s - 3*d - 48 = 0, 14 - 126 = -5*s - 3*d. Let r = s + -21. Is 15 a factor of (-1)/(r/3*(-4)/(-240))?
True
Suppose 362 = 3*y + 4*z, -3*y - 3*z - 97 = -463. Does 9 divide y?
True
Suppose 72*i - 47*i - 247250 = 0. Is 115 a factor of i?
True
Let t(i) = i**3 - 25*i**2 + 30*i - 64. Let j be (-96)/64 + (-102)/(-4). Is 18 a factor of t(j)?
False
Let o = 11237 - 4480. Does 117 divide o?
False
Let r be (12/(-8))/(1/(-2)). Suppose 0 = -r*f, v = 2*f + 5 + 13. Does 22 divide 4*45*(v/4 - 4)?
False
Let u(d) = -245*d - 10513. Is 12 a factor of u(-89)?
True
Let v(k) = -4*k**3 + k**2 + 4*k + 22. Let i(y) = y**3 + y**2 - y. Let z(n) = 3*i(n) + v(n). Let j be z(5). Is (4774/110 + -1 + j)*5 a multiple of 37?
True
Suppose -p = p + 194. Let d = 162 + p. Suppose 60*y - d*y + 140 = 0. Does 7 divide y?
True
Let w(v) = 2*v**2 - 14*v - 90. Suppose 4*i - 76 = 3*q, -4*q = -11*i + 9*i + 88. Is 9 a factor of w(q)?
True
Let u(q) = 6*q**3 - q**2 + 28*q - 22. Does 5 divide u(9)?
False
Let m(w) = -29*w + 297. Let s be m(10). Suppose 58*i = s*i + 74970. Is 11 a factor of i?
False
Let m(n) = -24*n + 26. Let z = 136 + -142. Does 10 divide m(z)?
True
Suppose -16*d + 7588 = -4044. Suppose -2*w = -d + 97. Is w a multiple of 35?
True
Let z be -2 + 2/2 + 49 + 8. Let x = z - -34. Is 18 a factor of x?
True
Let s(g) = -1002*g + 5411. Does 26 divide s(-67)?
False
Let n(d) = -d**3 + 14*d**2 + 24*d - 81. Let v be n(15). Suppose v*i = 57*i + 3*o - 4449, 0 = i - 2*o - 1498. Is 16 a factor of i?
True
Let g(l) = 80*l - 660. Does 19 divide g(13)?
True
Let w(l) = -3*l**2 - 4*l + 12. Let a = 66 - 71. Let t be w(a). Let b = 86 - t. Is 50 a factor of b?
False
Suppose -2*k - 695 = 6*s - s, -5*k - 1729 = 4*s. Is 29 a factor of (k/(-4) - -1) + (-1)/4?
True
Let h(p) = -4*p + 28 + 11*p**2 - 2*p + 2*p - p**3 - 2*p. Is h(7) a multiple of 13?
True
Let l(q) = -2*q**2 + 13*q - 13. Let w be l(7). Let n(y) = -y**3 - 20*y**2 - 8. Let j be n(w). Does 6 divide j/36 + (-4548)/(-54)?
True
Let w(t) = t + 15. Let i be w(-12). Suppose 3*x = 3*g - 603, -3*g + x + 583 = i*x. Is 16 a factor of g?
False
Does 8 divide (6/(-4))/((-3)/(-9))*(-35262)/81?
False
Suppose 0 = 3*o + 20 - 26. Suppose 52 = -o*j - 0*j. Let n(z) = -z**3 - 25*z**2 + 18*z - 8. Does 25 divide n(j)?
True
Suppose -5*s - 5988 = 7*s. Let a = -260 - s. Is 14 a factor of a?
False
Let q(u) = -u**3 + 23*u**2 - 40*u - 38. Let l be q(21). Does 11 divide 2138/8 + (-1)/l - 3?
True
Let f(o) = -17*o**2 + o + 295. Let d be f(0). Let p(l) = -22*l**2 + 4*l + 3. Let q be p(-3). Let s = d + q. Is s a multiple of 6?
False
Let m(k) = -2*k. Let z be m(0). Suppose w = 5*b - 395, -2*b + z*b + 176 = -4*w. Suppose u = -u + b. Is 10 a factor of u?
False
Suppose 3*f - 14 - 35 = o, 3*f - 2*o - 44 = 0. Is 17 a factor of (-5 + 96/f)*912?
False
Suppose 3*p + 930 = 3*z - 2*z, -4*p + z = 1240. Let m = 140 - p. Suppose -q + 7*q - m = 0. Does 5 divide q?
True
Let g(c) = c**3 + 12*c**2 - 11*c - 3. Suppose 0 = -5*l + 4*o + 23, 0 = 2*l - 5*o - 20 + 4. Suppose l*u + 15 = 0, -28 = 2*m + 4*u + 16. Is 32 a factor of g(m)?
False
Let w(t) = t**2 - 5*t - 40. Let i be w(9). Does 8 divide 0 + i - (-57 - (-2 + -2))?
False
Suppose -3*b + 2*n + 90 = -67, 5*b = n + 271. Suppose 13*t - b = 2*t. Suppose -5*s + 3*i + 25 = -237, s - t*i - 48 = 0. Is s a multiple of 14?
False
Let b(p) = -3*p - 48. Let m be b(-21). Let h(k) = -m + 9 - 6 - 17*k. Does 14 divide h(-4)?
True
Let m(y) = -21*y - 6. Suppose -4*k = -12, 3*h - 4*k = 8 - 14. Let q be 1 + (-8)/h - -1. Is m(q) a multiple of 9?
True
Let v be (-386 + -1 + -1)*(-43 + 41). Let g = v + -540. Is 59 a factor of g?
True
Suppose -2510 - 4180 = -3*u. Suppose 1105 = 5*n - 3*n + 3*t, 0 = 4*n + 2*t - u. Is 28 a factor of n?
True
Suppose 3*z = 13 - 7. Suppose 0 = -4*i - z*y + 259 + 41, 375 = 5*i + 3*y. Is i a multiple of 16?
False
Let r = -118 + 128. Suppose 0 = r*q - 1763 - 4357. Does 51 divide q?
True
Let b(y) = -74*y - 188. Let u be b(-4). Suppose 0 = 17*g - 13*g - u. Is g a multiple of 27?
True
Suppose g = x + 4, 0*x - 2*g = -5*x - 26. Does 14 divide x/(-27) - -2*(-2678)/(-36)?
False
Let j(w) = w**3 - 9*w**2 - 24*w + 32. Let o be j(11). Let h(p) = 88*p + 110. Does 11 divide h(o)?
True
Suppose 16 = -44*l + 52*l. Suppose -3*u + 8*u = -5*x + 280, 0 = -l*u + x + 121. Is u a multiple of 8?
False
Suppose -15 = -w - 12. Let h(b) = -b**3 + 5*b**2 - 4. Let n be h(w). Let a = n - -28. Is a a multiple of 13?
False
Let r = -257 - -626. Does 3 divide r?
True
Let f = 357 + -350. Suppose -1296 = -f*m + 4*m. Is m a multiple of 12?
True
Suppose 0 = 6*p - 8 - 16. Suppose -2*n - 48 = 5*u, -p*n + 4*u = -3*n - 2. Let g = n + 60. Does 23 divide g?
True
Is (-2 + 1)*(-39356 - -390) a multiple of 23?
False
Suppose -37418 + 53758 + 67009 = 27*c. Is 21 a factor of c?
True
Let j(g) = -19*g**3 - 9*g**2 - 20*g - 414. Does 54 divide j(-13)?
True
Suppose -99012 = 106*u - 387968. Does 11 divide u?
False
Let k be 39*1 + 1*(-4)/4. Let f be 6/(-14) + (1 - k/(-7)). Is 3 a factor of 1/f*-2 - (-64)/3?
True
Does 44 divide (-74 - -398)*87/6?
False
Let m be ((-8)/10)/((-6)/30). Let f = 276 - m. Does 11 divide f?
False
Let j = 112 + -345. Let g = 79 - j. Suppose 3*h + 0*h = g. Does 13 divide h?
True
Suppose -2*q + 8910 + 18328 = 3*b, -2*q + 27226 = -3*b. Is q a multiple of 16?
True
Suppose -530 = -2*p + 114. Suppose -d + 31 + 790 = 5*u, 0 = 2*u + 2*d - p. Is u a multiple of 13?
False
Let u(g) = 286*g + 381. Is 35 a factor of u(59)?
True
Suppose 4*g + 9710 = z, 28*g - 24*g = 2*z - 19412. Does 42 divide z?
True
Is 86 a factor of ((-10827)/(-6) + (-15)/(-10))/1?
True
Let t(l) = -13*l**2 - 2*l + 1. Let z be t(0). Is 16 a factor of -4 - -448 - (z - 5)?
True
Suppose 4*s - 8684 = -4*n, 0 = -n + 1056*s - 1051*s + 2189. Is n a multiple of 60?
False
Let a be (-150)/(-30) + -73 + -1. Does 4 divide 3 - 10/(10/a)?
True
Let q(m) = m**2 + 4*m - 16. Let j(u) = 12*u + 6. Let r be j(-1). Let f be q(r). Let n = 4 - f. Is n a multiple of 4?
True
Let c(b) = 2*b**3 + 2*b**2 + 18*b - 4. Let o(u) = 12*u - 7. Let k be o(1). Does 10 divide c(k)?
False
Let n(v) = -200*v + 1493. Is 5 a factor of n(0)?
False
Let z be (-66)/(-18) + 2/(-3). Let c be 13/(65/30) + z + -1. Does 11 divide (-1 + c - -3) + 1?
True
Suppose 0 = -12*z + 7*z. Suppose 7*v + 2170 - 7210 = z. Is v a multiple of 16?
True
Suppose 5*c = 4*q + 115061, -835*q = 2*c - 834*q - 46014. Is 173 a factor of c?
True
Let w(a) = -a**3 + 6*a**2 + a - 30. Let m be w(5). Suppose -3*p - 150 = -c, m*c + 2*c + 5*p = 311. Is c a multiple of 10?
False
Suppose 19 - 27 = -2*r. Suppose 3*b - 284 = 5*b + 2*u, -r*b - 577 = -5*u. Is (-3)/7 - b/7 a multiple of 3?
False
Suppose -4*u + 7*u + 4*y = 13916, 4*u - 18580 = y. Let p = u - 3029. Is p a multiple of 19?
True
Let q(r) be the third derivative of r**4/4 + 74*r**3/3 + r**2 + 9. Does 35 divide q(24)?
False
Let b(q) = 292*q + 594. Let v be b(-2). Let h(y) = 3 - y**2 - 6 + 22*y - 5. Does 7 divide h(v)?
True
Suppose -9*c + 5*c = 16, -10 = 3*z + 4*c. Suppose -z*d - 2*m + 38 = 0, 2*d = 5*d - 5*m - 65. Suppose -t + d - 11 = 0. Does 3 divide t?
True
Is (-27)/((-486)/12) - 1/(6/(-7274)) a multiple of 3?
False
Is 4/(-12) - 418902/(-99) a multiple of 35?
False
Let f(t) = 2*t**2 + 6*t - 26. Let l = -169 - -244. Suppose l = -10*g + 5. Does 4 divide f(g)?
False
Let a = -879 + 879. Suppose 2569 = 5*i - 2*i + k, -i - 2*k + 853 = a. Is 61 a factor of i?
False
Let w(d) = d**2 - 76*d - 783. Does 57 divide w(93)?
True
Let b(n) = -3*n - 11. Let a be b(2). Is a/((-425)/(-120))*100/(-3) a multiple of 10?
True
Suppose -5*o - 8 = -5*m + 7, 3 = m. Is (-7)/35 + (201/5 - o) a multiple of 10?
True
Let q = -476 + 212. Let l = 317 + q. Does 11 divide l?
False
Suppose -3*h - 3 = 2*k - 0*h, 4*k = -4*h + 4. Let l = -5878 + 5876. Is 92/k - (l + (-21)/(-9)) a multiple of 6?
False
Let g = 22 + -19. Suppose g*p - 10 = 5. Suppose -2*c = p*l - 165, -l - 2*l + 99 = -2*c. Does 9 divide l?
False
Suppose -10*v - 1314 = 116. Let h = -152 - v. Let r = h - -26. Does 4 divide r?
False
Let c(q) = -q**3 - q**2 + 7*q - 3. Let o be c(-4). Let f(k) = -k + 19. Let l be f(o). Suppose -n - n = 2*z - 240, l*n + 3*z - 235 = 0. Is 14 a factor of n?
False
Suppose 0 