t a(z) = 8*z + 69. Let y(v) = -2*v**2 - 12*v + 6. Let l be y(-7). Does 2 divide a(l)?
False
Does 132 divide -158*((-7)/(56/(-414)))/(6/(-4))?
False
Suppose 2598 = -4*v + 8*v + 2*b, 3*v = 3*b + 1926. Is v a multiple of 26?
False
Is 2158 + 0 + 392/(-49) a multiple of 3?
False
Let q = -33 + 36. Let z be 3*q + (4 - 6). Suppose 3*t - z - 197 = 0. Is 9 a factor of t?
False
Suppose -33*j + 188654 + 99348 = -7*j. Is j a multiple of 26?
False
Let d(i) = -3*i**3 + 10*i**2 + 61*i + 45. Does 14 divide d(-10)?
False
Let i = -8 - -10. Is ((-352)/(-12))/((-48)/27 + i) a multiple of 22?
True
Is ((-54)/15 - -4)*(-15740)/(-4) a multiple of 7?
False
Suppose 4*i + 16 = 0, 6*j + 5*i + 1424 = 3*j. Let x = j - -644. Is x a multiple of 8?
True
Let k(a) = -44*a - 879. Let i be k(-20). Let h be (2 - 2)*2/4. Is 24 + (h + i)*-2 a multiple of 11?
True
Let q be 0*(1/(-2) + 1). Let u(b) = 2*b**2 + 14*b - 1500. Let f be u(-35). Suppose q = 5*i - i - f. Is i a multiple of 23?
True
Suppose -1030*a - 6450 = -1073*a. Is a a multiple of 15?
True
Suppose 3 - 15 = -6*p. Suppose -4*s + 13 = p*z - 15, -2*z + 68 = -4*s. Is 24 a factor of z?
True
Let y(c) = -c**3 - 3*c**2 + 6*c + 6. Suppose 4 = w - 6. Let x(k) = -2*k**3 - 5*k**2 + 13*k + 12. Let f(v) = w*y(v) - 4*x(v). Is 19 a factor of f(-7)?
True
Let k(r) = -r + 19. Let g be k(19). Suppose g = z - 187 - 52. Suppose -b = -4*f + z - 86, -f + 5*b = -43. Is f a multiple of 19?
True
Suppose -1 = n - 2*p, 3*n = -4*p + 2 - 5. Let q be ((n - -3) + -2)*-1. Suppose 2*c - 87 + 33 = q. Is 8 a factor of c?
False
Let d be 6 - (-2 - (-5902)/(-1) - 6). Suppose 10*n = 22*n - d. Does 11 divide n?
False
Let i(s) = -4*s + 269 + s**2 + 0*s - 262 - 5*s. Let v be i(8). Does 18 divide (-4)/(-10)*(3 + (v - -248))?
False
Let r = 594 - -60. Is 15 a factor of r?
False
Let p(i) = -4*i**3 - 2*i**2 + 4*i + 2. Let s be 2 + (-3798)/(-30) + (-4)/(-10). Let q = s - 132. Is p(q) a multiple of 10?
True
Suppose 0 = -1153*x + 1123*x + 68100. Is 99 a factor of x?
False
Suppose 10*p - 1 - 79 = 0. Suppose 7*a + 38 = p*a + 5*y, 5*y + 250 = 5*a. Is 48 a factor of a?
True
Suppose 81*i = 83*i - 60. Is 9 a factor of (437/3 - 20/i) + -3?
False
Let x(v) = -55*v**2 - 9*v - 40. Let s be x(-4). Let p = 1504 + s. Does 60 divide p?
False
Let z = -87 + 85. Let u be (1 + 0 + z)*-4. Suppose 945 = 3*j + u*j. Is 11 a factor of j?
False
Suppose -33*h + 3*d = -34*h + 1552, h - 2*d = 1562. Does 30 divide h?
False
Let m be 4/(-2) + 3 + 0 + 1. Suppose -27 = 3*d - 4*a, m*a = -4*d - d - 19. Does 9 divide 42/2 + (4 + -8 - d)?
False
Suppose -3*r + 7 - 18 = 2*f, -12 = -f + 2*r. Suppose s - f = -s, -s + 871 = q. Is 29 a factor of q?
True
Let k be (-3 - 45)/(-8) + 3. Suppose -14*b + 9959 = k*b. Is b a multiple of 7?
False
Let d = 25237 + -8482. Is d a multiple of 15?
True
Let l(z) = 11*z**2 - 3*z + 5. Let v be l(2). Let d = -49 + v. Is (-2050)/(-40) - d/8 a multiple of 10?
False
Suppose 0 = 1351*j - 1065*j - 10173592. Is j a multiple of 13?
False
Let t(d) = -d**3 - 16*d**2 - 14*d + 51. Does 3 divide t(-19)?
False
Suppose 0 = -7*t + 489 - 104. Suppose -2*o = 9*o - t. Suppose o*g = s + 4*s + 70, 5*g - 70 = -s. Is g a multiple of 14?
True
Let f be (-1)/(29/(-14) + 2). Suppose -38 = 3*z - f. Does 12 divide (-196)/(-2) + 6/z*-4?
False
Let y(d) = 65*d**3 - 21*d**2 + 40*d + 50. Is 157 a factor of y(5)?
True
Let b(p) = 15*p + 37. Let v(x) = -x**2 - 30*x - 74. Let y(j) = -11*b(j) - 6*v(j). Is 7 a factor of y(-12)?
True
Is (-20)/(-50) - (-28716)/10 a multiple of 55?
False
Let r = 115 + -40. Let c = -151 + 97. Let a = c + r. Does 4 divide a?
False
Let l = -4048 - -6446. Is l a multiple of 58?
False
Suppose 12*w - 39 = 33. Suppose -244 = -l - w*h + 2*h, -226 = -l + 5*h. Does 16 divide l?
False
Suppose -q + 2*x + 2979 = -741, 4*q - 14845 = 3*x. Is 6 a factor of q?
False
Let u be (-1 - -4)/(9/33). Suppose -9803 - 339 = -u*z. Is z a multiple of 17?
False
Let j(k) = k**3 + 9*k**2 - 2*k - 4. Let m be j(-9). Suppose m*c - 750 = 9*c. Is 15 a factor of c?
True
Suppose -5*p - 2*k = -25, -3*p + k - 186 = -201. Suppose -74 = -n + 12*g - 10*g, p*g = -5*n + 370. Does 3 divide n?
False
Let b(x) be the first derivative of -13*x**2 + 29*x + 15. Let w be b(-6). Suppose -4*u - 161 = -5*l, -4*u + w = 5*l + 56. Does 11 divide l?
False
Suppose -5*h = -744 - 336. Suppose 4*o = -2*k + h, k = -5*o - 3*k + 273. Is o a multiple of 12?
False
Suppose 0 = -2*u - q + 14233, 2*q + 15008 = 3*u - 6345. Is 31 a factor of u?
False
Let w(s) = s**2 - 20*s - 28. Let y be w(20). Is (33/(-2))/(6/y*1) a multiple of 11?
True
Suppose -5458 = 145*f - 150*f - 2*c, -4*c = -f + 1096. Is f a multiple of 52?
True
Let r(n) = n**2 - 9*n + 3. Let z be r(0). Suppose 2*o = -10, 77 - 2 = 2*s + z*o. Is s a multiple of 9?
True
Let w = -129 - -237. Suppose -b + 3*q + w = 0, -7*q - 104 = -b - 5*q. Is 41 a factor of b?
False
Let u be 2 + -85*(4 - 3). Let g = u + -25. Let y = 252 + g. Is y a multiple of 24?
True
Let p be 4/(-6)*3*209/(-22). Suppose -p*l + 588 = -1635. Is l a multiple of 9?
True
Suppose -277 - 216 = -17*c. Is 29 a factor of (-10*c - 0)*(-3)/6?
True
Let l(c) = 81*c**2 - 1762*c - 72. Does 34 divide l(29)?
False
Let l = 142 - 139. Let z(p) = -14*p**2 - 6*p + 19. Let k be z(l). Let w = k - -285. Is w a multiple of 16?
True
Suppose 36*s + 308 = 3*x + 38*s, -100 = -x + 2*s. Suppose a + 0*a - x = 0. Is 3 a factor of a?
True
Let r(h) = -24*h**3 + 3 + 16*h**3 + 16*h**3 - 3*h. Let m be 4 + 2 + -3 + -1. Is 21 a factor of r(m)?
False
Is 638/22 + -21 + 21173 a multiple of 59?
True
Let q = -206 + 8744. Is q a multiple of 7?
False
Suppose -h + 120 = 4*h. Let o(q) = -3*q - 4. Let v be o(-3). Suppose v*l - 76 = h. Is 10 a factor of l?
True
Does 8 divide (-25842)/(-2) + 2*(-2 - 2)?
False
Let o(a) = -23*a**3 + a**2 - 6*a - 4. Is 3 a factor of o(-3)?
False
Let y = 84 + -81. Suppose -4*d = 3*u - 35, -5*d + 4*u + 2 = -y. Suppose -d*g - m + 256 = 0, 0 = g - 5*m - 18 - 54. Is 6 a factor of g?
False
Let i be 24/(-9)*6/4 + 4. Suppose 5*m = -2*c - i - 7, -3*m - 2*c - 5 = 0. Does 26 divide (((-158)/6)/(m/(-9)))/(-1)?
False
Let i = 262 - 260. Suppose 0 = 3*p - 6*t + i*t - 1366, -2290 = -5*p + 4*t. Is 14 a factor of p?
True
Let c(r) = 30*r**2 - 20*r + 49. Suppose -8 = -5*g + 3*g - w, -3*g + w + 7 = 0. Is 36 a factor of c(g)?
False
Let d be (-4596)/(-10) + (-60)/100. Suppose 0 = d*z - 461*z - 12. Let w(y) = -y**3 + 13*y - 12. Is w(z) a multiple of 21?
True
Let t be 8/(-12)*-3 + -6. Let f(q) = -q**2 + 16*q - 35. Let k be f(11). Is 15/k - 1/t - -38 a multiple of 3?
True
Suppose -2*m + 4*t + 1944 = 2*m, -494 = -m - 3*t. Suppose 0*b + 2*b = w + m, 5*w + 746 = 3*b. Is b a multiple of 22?
True
Let l = 13 + -13. Suppose l = -24*u + 21*u + 528. Does 44 divide u?
True
Suppose -7*u + 59439 + 2027 = -7043. Is u a multiple of 32?
False
Let z = 12427 + -10215. Does 9 divide z?
False
Let w = -7738 - -11379. Is 11 a factor of w?
True
Suppose -33050 = -69*m + 64*m - 5*b, -2*m + 13238 = 5*b. Is m a multiple of 61?
False
Suppose -4*f + 3403 = -x, 3*x + 655 + 1904 = 3*f. Does 17 divide f?
True
Let s(n) = 45*n + 6. Let y be s(5). Suppose 167 + y = 2*l. Is 20 a factor of l?
False
Let t(g) = g**3 + 3*g**2 + 9. Let r be t(-3). Suppose 27*l - r*l = 9288. Does 26 divide l?
False
Let q = 29 - 24. Suppose -401 = -4*j - q*w, 0 = 5*j - 3*w + w - 460. Let l = j - 10. Is 14 a factor of l?
True
Let b(o) = o**3 - 6*o**2 + 3*o + 6. Let d = -17 - -11. Let t be ((-4)/6)/(d/63). Is b(t) a multiple of 19?
True
Let y = -41035 + 67771. Is y a multiple of 12?
True
Suppose -7*k + 5*k - 35208 = -4*w, -5*w + 2*k + 44013 = 0. Is 93 a factor of w?
False
Let s = -1057 - -21826. Is s a multiple of 23?
True
Suppose 2*f - 4*y = 58, 2*f + 4*y - 152 = -2*f. Suppose -3*i = -f + 35. Does 43 divide -1*3 + (260 - (4 - i))?
False
Suppose -38*y - 3427 = -55601. Does 16 divide y?
False
Let j be ((-4)/(-6) - 0)/((-2)/(-15)). Suppose z = -4*k + 44, 70 = 2*z + j*k - 30. Is 10 a factor of z?
True
Suppose 209*h = 181*h + 254184. Is 65 a factor of h?
False
Suppose -463*h - 461*h = -912*h - 158292. Is 18 a factor of h?
False
Let d(y) = 97*y**2 - 3*y + 4. Let c be 0 + 0 + (4 - 2) + 2. Suppose 0 = -c*i - 16 + 20. Is d(i) a multiple of 14?
True
Suppose 0 = b - 5*b + 1108. Let g = -449 - -555. Let z = b - g. Is 13 a factor of z?
False
Let k = 122 - 47. 