 13*j - 156. Does 138 divide v(-5)?
True
Is 29 a factor of ((-5872)/(-6))/2*34869/788?
False
Suppose 8 = -2*o - 3*t, 3*o - 56*t = -53*t + 18. Suppose -16 = -4*d, -4*d + 1664 = o*f + 82. Is f a multiple of 29?
True
Suppose 3*o - n - 710 = 0, 4*o - n - 4*n - 965 = 0. Suppose -5*u - 3*b + 1175 = 0, -11*b = -u - 13*b + o. Is 11 a factor of u?
False
Suppose -2*a = -5*j - 53, 0 = -j + 3*j - 2. Suppose 0 = -24*c + a*c - 10. Is (-21*c/(-12))/(1/10) a multiple of 29?
False
Let h be ((-6)/(-9))/(3/18). Suppose 2*j + 6 = 5*j. Suppose j*s + h*f + 6 = -0*s, -3*s = -4*f - 41. Is 7 a factor of s?
True
Let y(g) be the third derivative of g**5/30 + 13*g**4/24 - 25*g**3/6 + 5*g**2 - 13. Is y(-13) a multiple of 35?
False
Suppose 2*z - 11*m + 8*m = 1598, -3*m = -8*z + 6392. Does 17 divide z?
True
Suppose 3*g - 10 = g + 2*b, 0 = -5*g + 4*b + 22. Suppose 0*i + 10 = g*i. Suppose -4*d + 5*m = -465, -3*m + 2*m = -i*d + 597. Is 11 a factor of d?
False
Let x = 72 - 32. Suppose -4*q - 4*f = -x, -4*q + 12 = -2*f - f. Suppose q*z = 541 - 1. Does 47 divide z?
False
Let j(x) = -x**3 + 35*x**2 + 33*x + 129. Let c be j(36). Is 1127 - (102/18 - 14/c) a multiple of 66?
True
Let z = -24 + 18. Let i(v) = -v**3 - 6*v**2 - 6*v - 21. Let q be i(z). Let h = q + 9. Does 7 divide h?
False
Let r(q) = -6*q - 6 + 8*q**2 + 27*q**3 - 5*q**3 - 23*q**3. Is r(6) a multiple of 5?
True
Let z(u) = -4*u**3 - 21*u**2 + 44*u - 5. Let n(k) = 3*k**3 + 21*k**2 - 43*k + 5. Let x(v) = -3*n(v) - 2*z(v). Let y be x(-23). Does 10 divide (-4268)/y*(-10)/4?
False
Suppose 0 = -4*g + 5*o + 44, -2*o = 4*g - 21 + 5. Is 24 a factor of 4/26 + (g - 72968/(-91))?
False
Suppose -2*v - 6 = 0, -77608 = 16*s - 21*s + v. Does 187 divide s?
True
Suppose 0 = 2*f + b - 28, -4*b - b = -4*f + 70. Suppose f*p + 2895 = 12*p. Is p/14*-4 + 2/7 a multiple of 47?
False
Let f be 3/12 + (-154)/(-56). Let t = f - -309. Does 52 divide t?
True
Let w = 269 - 250. Suppose 4*o - 3*j = 44, -18*o - 4*j - 11 = -w*o. Is 2 a factor of o?
False
Let o be (-4 - (5 - 4)) + -593. Let a = o + 870. Is 16 a factor of a?
True
Is 44 a factor of -13 + (5366470/474 - 2/3)?
True
Suppose -7*t = -6*t + 36. Let m = -36 - t. Suppose -76 = -m*r - r - 4*o, -2 = o. Is r a multiple of 28?
True
Does 263 divide -34*((-165)/(-11) - 541)?
True
Let p be (37/(-4))/((-9)/72). Let i be -7*8/(-24)*(1 + p). Suppose -170 = -v - 2*u, -2*v + v - u + i = 0. Is 19 a factor of v?
False
Let j(b) = 11*b**3 - b + 1. Let q be j(1). Let g(k) = 37*k + 3. Let t be g(q). Suppose -t + 15 = -5*o. Is 19 a factor of o?
False
Let f(l) = -2*l**3 + 5*l**2 + 14*l + 5. Let a be -1 + -4 - (1 - 1). Is f(a) a multiple of 17?
False
Suppose 3*s - 5049 = 5*c + 35408, 40450 = 3*s + 2*c. Does 4 divide s?
True
Let a = 1 - 1. Let o be ((-9)/15)/((-21)/70). Suppose -4*s + 30 = 3*t, a*s - 4*s - o*t = -32. Is 3 a factor of s?
True
Suppose -93*u = -89*u. Suppose 2*t + 4*t - 18 = u. Suppose 2*d - 68 = -t*q - 0*q, -3*q + d + 65 = 0. Is q a multiple of 20?
False
Let i(b) = 146 - 33 + 76 + 2*b. Is i(17) a multiple of 9?
False
Let s(y) = -4*y - 25. Let b be s(-7). Suppose -4*z = 5*h - 1560, -10*h + b*z = -7*h - 909. Is 3 a factor of h?
False
Does 2 divide (24/7)/(23/((-1449)/(-18)))?
True
Suppose 2*k + a - 98 = 2*a, 3*k + a = 157. Suppose -5*f = 5*x + 90, 0 = -2*x + 3*f - 10 - k. Let n = 103 + x. Does 8 divide n?
True
Suppose -3*g + 36 = 4*p, -3*p + 4*p = -4*g + 61. Suppose 412 = -14*s + g*s. Suppose -7*o + 4 + s = 0. Is 5 a factor of o?
True
Suppose -119*i - 148 = -123*i. Let s = i - 21. Is s a multiple of 16?
True
Let y(n) = 15*n - 4. Let b be y(-2). Suppose 2*s = -5*w + 20, -s + 9 = 4*w + 2*s. Is 3 a factor of w/6 + b/(-2)?
True
Let c = -245 - -249. Let o be (-4)/20 + 9/(-5). Does 2 divide 86/c - (-3)/o?
True
Let y(r) = 3*r**2 + 14*r + 1. Let v be y(-6). Suppose i + 18 = v. Suppose 0 = -6*f - i*f + 377. Does 22 divide f?
False
Let u(y) = y**3 + 4*y**2 + 3*y - 1. Let t be u(-3). Let a be t + (119 - 4) - 2. Suppose a = 9*l - l. Is 3 a factor of l?
False
Suppose -3*r = -6*r + 27. Suppose 0 = r*o - 11*o + 88. Suppose 0 = -3*m - 2*b + 308 - o, -5*m + 2*b + 424 = 0. Is 12 a factor of m?
False
Suppose -71 = -15*o - 11. Suppose 3*p = g - 234, 566 + 348 = o*g - p. Does 4 divide g?
True
Suppose -197*u = -102*u - 102*u + 17094. Does 111 divide u?
True
Let w be 12/(-3) - (0 - 38). Suppose 10*q = -w - 6. Is 19 a factor of 2 + (q - -6) + (1 - -211)?
False
Let c(i) = 310*i**3 - 2*i**2 + 5*i + 6. Let t be c(-1). Let x = 601 + t. Let o = 554 - x. Is o a multiple of 58?
False
Let j(q) be the first derivative of -q**4/4 - 10*q**3/3 + 6*q**2 + 9*q - 2. Let r be j(-11). Let g(i) = 7*i**2 - i - 4. Is 14 a factor of g(r)?
False
Let u(b) = -6*b**3 - 18*b**2 - 195*b - 4. Is 25 a factor of u(-8)?
False
Let z(s) = s**2 - 8*s + 676. Is z(0) a multiple of 52?
True
Does 18 divide 2572912/528 - (-4)/66?
False
Let h = 899 - 634. Let w = h + 575. Is w a multiple of 21?
True
Let v be 2/3 - (-595)/255. Suppose 2*o = d - 14 - 27, 41 = d - v*o. Does 2 divide d?
False
Let k(i) = 50*i + 50. Let d be k(-1). Suppose d = -4*l + 4*h - 37 + 173, 3*h = -2*l + 68. Is l a multiple of 6?
False
Let l be 8/3 + (-4)/(-24)*2. Let x(c) = -c**l - 5*c - 7 + 0 - 2*c**2 + 6 + 4*c. Is x(-4) a multiple of 5?
True
Let h = -655 - -4477. Does 91 divide h?
True
Let a = 2166 + -1338. Is a a multiple of 85?
False
Suppose -2*t - 2*s = -3*s + 14, -2*t + 6 = 4*s. Is ((-2)/4)/(t/1800) a multiple of 16?
False
Let w(f) = 9*f**2 - 1089*f + 392. Is w(136) a multiple of 32?
True
Let x = -51 - -56. Suppose 0 = 5*f - x*k - 380, -2*f - 2*k = -k - 149. Suppose 5*a - 270 = f. Is 13 a factor of a?
False
Let m(j) = -23*j**2 + 13*j - 16. Let c(a) = -a**3 + 21*a**2 - 13*a + 15. Let z(w) = -6*c(w) - 5*m(w). Is 15 a factor of z(4)?
False
Let b = 7 - 4. Let v(f) = -41*f - 41. Let s be v(-7). Suppose z + z - s = 2*r, -4*r = b*z - 355. Does 10 divide z?
False
Let x(u) = -11*u**3 - 3*u**2 + 6*u + 12. Let m be x(-4). Let y = m - 394. Does 11 divide y?
False
Let m = 448 - 88. Suppose m = 6*r - r. Is r a multiple of 25?
False
Suppose -1502*x - 29988 = -1509*x. Is 21 a factor of x?
True
Let p(z) = 42*z**3 + 5*z**2 - 57*z - 8. Does 161 divide p(6)?
False
Let f = 167 + -75. Let m = f + 16. Does 12 divide m?
True
Let t be 2/(8/4)*3. Suppose 0 = -t*d - d + 48. Does 4 divide d/(-8)*(-64)/12?
True
Suppose 4*f - d = 55, 3*f + 0*d = -5*d + 24. Suppose f*u = 17*u - 2912. Is 14 a factor of u?
True
Let i(j) = -j**2 - 6*j + 10. Let h be i(3). Let v be (h - -15)*(-1)/2. Is (-5 + -3)/(v/(-10)) a multiple of 16?
True
Suppose 47928 + 44765 = 39*v - 321487. Is 60 a factor of v?
True
Let r(c) be the third derivative of c**6/40 + c**3/6 - 23*c**2. Let a be r(-1). Does 7 divide (3/a)/(9/(-168))?
True
Suppose 3*i - 2*k - 3*k = -8, -5*i = 4*k + 1. Let t be ((-12)/(-36))/((-2)/(-6)*i). Does 7 divide 20*-1*21/6*t?
True
Suppose 0 = 3*c - 3*s - 2*s - 12339, 4*c - 3*s = 16463. Is c a multiple of 3?
False
Is (5814/(-45) - -22)*-90 a multiple of 144?
True
Suppose -7*r = 51 - 72. Suppose 5*q - 82 = r*j, 34 = 2*q + 4*j - 4. Is q a multiple of 12?
False
Let c(f) = -16 + 5*f + 1 + 3*f - 6*f. Let t be c(9). Suppose -4*y = -20, -2*p = -p - t*y - 45. Is 20 a factor of p?
True
Suppose 0 = -1375*y + 1411*y - 11016. Is y a multiple of 16?
False
Suppose 0 = -24*a + 214 + 242. Does 19 divide a?
True
Suppose -12*y + 7344 = -6*y. Is (4/((-4)/(-3)))/(108/y) a multiple of 4?
False
Suppose -14667 = -5*u - 4*v, 4*u + 2*v = 6*v + 11748. Suppose 100 - u = -5*m. Is 63 a factor of m?
True
Suppose -30*t = -38*t - 10680. Is 30 a factor of 72/(-54) + t/(-9) + 3?
True
Suppose -m + 117 = 8*m. Suppose -m*k + 16*k = -24. Does 6 divide (-18)/5*(2 + 1 + k)?
True
Let u = -114 + 215. Let w be 1*(-7)/(-1) + -2. Suppose -164 = -w*r + u. Is 6 a factor of r?
False
Let p(c) = -6*c - 110. Let v be p(9). Let u = v - -185. Does 14 divide u?
False
Suppose -11 = 3*h - 47. Suppose 0 = -h*z - z - 1339. Let s = z - -116. Does 13 divide s?
True
Let n(u) = u**2 + 10*u + 21. Let i be n(-8). Suppose -i*z + 5*q = -90, -5*q - 24 = -2*z + 6. Suppose z*j - 22 = 19*j. Is 6 a factor of j?
False
Let r be 1/(-10) + (1 - 3831/(-10)). Is 15 a factor of 288/r + (0 - 2517/(-4))?
True
Suppose -372*b + 378*b = 48222. Is b a multiple of 112?
False
Let d(m) = m**2 + m + 1. Let l(n) = 7*n + 8. L