se
Let m(c) = -c**3 - 8*c**2 - 2*c - 14. Let d be m(-8). Suppose d*v = -3*v. Suppose z - 34 - 10 = v. Does 22 divide z?
True
Let q = -1644 + 2549. Does 44 divide q?
False
Let o(k) = -2*k**2 + 8*k - 8. Let u be o(9). Let d be (0 + 1)/(14/u). Is d/(-3) + 16/24 a multiple of 3?
True
Let a = -552 - -956. Is 42 a factor of a?
False
Does 8 divide 256/(-3*6/(-40 - -4))?
True
Suppose 4*j = 5*l + 790, 2*j + l = 15 + 387. Suppose 2*c + 2*k - 51 = 179, -2*c + 4*k = -j. Is 6 a factor of c?
False
Suppose -7*x = -2*x. Suppose 0*v - v + 6 = x. Let f = 33 + v. Is f a multiple of 13?
True
Suppose -5*q - 4766 + 1325 = -3*p, -5713 = -5*p + q. Is 142 a factor of p?
False
Let z = 1 - -2. Let d be 28 + 1 + (-9)/z. Is (10/4 + -2)*d a multiple of 4?
False
Let q(u) = 32 - 6*u - 32. Is q(-18) a multiple of 22?
False
Let b be 8/68 + 4/(-34). Is -10 + 73 + (b - 1) a multiple of 26?
False
Suppose -x - 360 = -7*x. Let z = x - 48. Is z a multiple of 3?
True
Is 20 a factor of ((-6)/(-8))/(24/11936)?
False
Suppose -7 = s + 4*l, -s - 3*l - 6 = -0*l. Let u(g) = g + 6. Let o be u(s). Suppose -3*c + 5*f - o*f = -85, 3*f = -3*c + 75. Is 27 a factor of c?
True
Suppose -1571 + 1745 = t. Is 9 a factor of t?
False
Let v(z) = -3*z + 13. Let x(p) = -2*p**2 - 5*p + 3. Let s be x(2). Does 17 divide v(s)?
False
Let d = -120 + 127. Suppose -9*h = d*h - 1600. Is 9 a factor of h?
False
Suppose 515 = 8*m - 1333. Does 21 divide m?
True
Let f be (77/(-14))/((-2)/(-4)). Let q = 9 + f. Let s = q - -7. Does 2 divide s?
False
Suppose 3*b + 3 = 30. Is 974/b - 4/18 - -1 a multiple of 17?
False
Let b be 4/(-6) + (-145)/(-15). Suppose b = p + 2. Suppose 240 = -2*f + p*f. Is f a multiple of 12?
True
Suppose -6*q = -q + 295. Let l = 26 + -43. Let g = l - q. Does 28 divide g?
False
Suppose -17*w + 2929 = -1967. Is w a multiple of 17?
False
Let o = 6 + -13. Let i(m) = m**2 + 6*m - 5. Let f be i(o). Suppose 2*h = -f*r + 34, -38 = -2*r - 2*h + h. Does 8 divide r?
False
Suppose 3*v = 5*b - 10*b + 556, -v + 184 = 2*b. Does 32 divide v?
True
Suppose 2*h = -4*i + 2532, 2*i = -3*h + 381 + 3405. Does 20 divide h?
True
Is 12*(-254)/(-7 - 1 - -5) a multiple of 60?
False
Suppose 5*c = -l + 2105, 2*c - 595 = -5*l + 270. Is 14 a factor of c?
True
Suppose -94 = -29*j + 27*j. Let a = j + -22. Is 5 a factor of a?
True
Let s be ((-5)/5)/(1 + -2). Suppose t = -5*w + 8, -2*t + 4*w - 14 = t. Is 10/(t - -5 - s) a multiple of 3?
False
Let l(i) = 6*i**2 + 78*i + 71. Is l(-18) a multiple of 14?
False
Let m be 1/3 + 17/3. Suppose 2*q - m = 2*a, -2 = 2*q - 0*q - 4*a. Suppose 12*d - q*d - 370 = 0. Is d a multiple of 27?
False
Let n(p) = 2*p**2 - 7*p + 5. Suppose -c - 3*c = -20. Suppose -3*u - 4*s = -0*u - 29, -3*u - c*s + 31 = 0. Is 18 a factor of n(u)?
True
Let d(s) = 103*s - 12. Does 50 divide d(4)?
True
Suppose -6*v = -1737 - 603. Is 13 a factor of (v/9)/(2/3)?
True
Let s = 301 - 112. Is 55 a factor of s?
False
Suppose -k - 5*f - 13 = -5*k, 2*f = -2*k + 2. Suppose 3*u - k*u = -4*n + 107, -5*u + 59 = 3*n. Is 3 a factor of n?
False
Let g(z) = 2*z**3 - 18*z**2 + z - 7. Let w be g(9). Let m(c) = 1 + 3 + 0 + 15*c. Does 17 divide m(w)?
True
Suppose 3*y = 2*y + 3. Suppose -s = -y*s + 72. Suppose -4*r = -2*r - s. Does 18 divide r?
True
Let k = 164 + -67. Let n = k + -25. Does 12 divide n?
True
Let u be (-28)/(-4)*-1 + 3. Let h = u + 19. Does 3 divide h?
True
Suppose -u = -4*w + 2*u - 5, 4*u + 5 = 3*w. Let k(z) = -4 - 3*z**3 + 2*z**3 + 2*z**3 + 8*z**2 - 16*z + 22*z. Is k(w) a multiple of 12?
False
Suppose 2*p + 0*p = 2*v - 2, -3*p + 9 = 0. Suppose 2*z = 1 + 3. Suppose 0 = 2*r - 4, v*w + 5*r - 60 = z*w. Is 14 a factor of w?
False
Let i(h) = -h - 9. Suppose -1 = -2*k - 27. Let r be i(k). Suppose 0 = 2*v + 3*y - 75, 27 = v + r*y - 18. Is 11 a factor of v?
True
Let p(d) = -1 + 16 + 36 - 3 + 5*d. Is p(-4) a multiple of 2?
True
Suppose -10*k = -8*k - 2272. Is 17 a factor of k?
False
Let t be 7 + 6*(-6)/9. Suppose c = 2*w + t*c - 252, 3*w - 4*c - 406 = 0. Does 29 divide w?
False
Let d(h) = -h**2 + 6*h - 5. Let z be d(5). Suppose -43 = 3*i - z*i - 4*f, -i - 26 = f. Does 7 divide i/(-2)*10/15?
True
Let k = 4 + -2. Let a be (0 + (k - 0))/1. Is a - 0 - 1*-57 a multiple of 19?
False
Let h be (8/(-5))/(3/15). Let x = -14 - h. Is 10 a factor of (104/(-3))/(4/x)?
False
Suppose -6*j = -5*j - 2. Is 19 a factor of 12/j*(5 - -7)?
False
Does 109 divide 6/(-8)*(-411520)/240?
False
Suppose d + 3*z = 260, 8*d = 6*d + 2*z + 520. Is 33 a factor of d?
False
Let v(u) = 2*u - 3. Let f be v(-2). Let k(p) = -7*p + 16. Let l be k(f). Let m = -5 + l. Is m a multiple of 17?
False
Let w(a) = a**3 + 10*a**2 + 4*a - 7. Let p = 28 - 37. Is 19 a factor of w(p)?
True
Let u(g) be the second derivative of 9*g**3 + g**2 - 5*g. Let r be u(5). Suppose -4*j + 74 = -3*j - 3*m, 4*m = 4*j - r. Does 17 divide j?
False
Suppose -60*f = -88*f + 59976. Is 17 a factor of f?
True
Suppose -4*h - 8*i = 2*i - 8978, -2*h + 3*i + 4449 = 0. Does 12 divide h?
True
Let f = 528 - -132. Does 22 divide f?
True
Suppose 2*t + 0 - 10 = 0. Suppose 0 = -3*n + 5*h + 29, 2*n + t*h = -n + 19. Is n a multiple of 8?
True
Let x(a) = -7*a - 10. Let l = -10 + 4. Does 8 divide x(l)?
True
Let k(c) = -c**2 - c. Let r be k(0). Let z be r - (-3)/(-6)*6. Let l = z + 21. Is 8 a factor of l?
False
Let m(t) = -7*t - 5*t**2 + 3*t**2 + 7*t**2. Does 6 divide m(3)?
True
Let u = -84 - -103. Suppose 183 = u*g - 273. Does 6 divide g?
True
Is 26699/10 - (-37)/370 a multiple of 15?
True
Is 6 a factor of 538*1 - (36 - 40)?
False
Let b(x) = -2*x**2 - 2*x - 4. Let g be b(-6). Let a(p) = p**2 - 9*p - 82. Let h be a(-11). Let n = h + g. Does 20 divide n?
False
Let w be -1*((-35)/(-25) + (-2)/5). Does 6 divide ((-3)/(3 + -2) - -34) + w?
True
Suppose 31*c = 32*c + 3*i - 167, 457 = 3*c - 2*i. Is c a multiple of 22?
False
Let u be 10/(-40) + 187/(-4). Let j be 1 + 1 + 0 - -90. Let c = j + u. Is c a multiple of 15?
True
Let i(p) = p**3 + 5*p**2 + 2*p + 10. Let t be i(-5). Suppose -2*r = 4*y - 112, t = r - 2*r - 5*y + 44. Is 11 a factor of r?
False
Let r(d) be the third derivative of -d**6/120 + d**5/5 - d**4/12 + 5*d**3/6 + 4*d**2. Let a be r(11). Suppose 0 = 4*v - a - 200. Is v a multiple of 30?
False
Let n(h) = -h**3 + 2*h**2 + 9*h + 4. Let s(p) = p**3 - 3*p**2 - 10*p - 4. Let u(b) = 6*n(b) + 5*s(b). Let v = 103 + -109. Does 11 divide u(v)?
True
Suppose -5 = 5*g + 4*r, -5*g = -3*g + 5*r + 19. Suppose j - 2*w + g*w = 174, 5*j + 4*w - 870 = 0. Is j a multiple of 32?
False
Let v be 5/((-15)/(-426)) + -4. Suppose 0 = 4*w + b + 111, b = -5*w - v - 0. Let i = w - -43. Does 8 divide i?
True
Let i(k) = -k**3 + 19*k**2 + 2. Let t be i(19). Suppose t*h = -5*q + 378, 0*q + 223 = 3*q + 5*h. Is 19 a factor of q?
True
Suppose -4*w - 2391 = -7*w. Is 37 a factor of w?
False
Let c be (2/6)/((-4)/(-36)). Let y(z) = c + 1 + 4 - 6*z. Is y(-7) a multiple of 28?
False
Let r be (4 - 0) + 0/(-14). Suppose -r*n = -n - y - 215, n + 3*y - 75 = 0. Does 24 divide n?
True
Let n(r) be the third derivative of 7*r**5/60 - r**4/8 + 5*r**3/6 - 16*r**2. Does 12 divide n(2)?
False
Suppose 70 = -2*s + 334. Suppose -s = -8*o + 36. Suppose 4*i + i - 54 = -2*h, 3*h + o = i. Is 6 a factor of i?
True
Let a = -120 - -12. Is (a - -20)*2/(-4) a multiple of 8?
False
Suppose -3*z + 20 = i + 3*i, 5*i + 4*z - 26 = 0. Suppose -6*r + p - 39 = -3*r, -4*p + 72 = -5*r. Is (-615)/r + i/(-8) a multiple of 13?
False
Is 2*(-6232)/(-14) - 72/252 a multiple of 138?
False
Suppose -16 = -y + 4*x, y - 5*y + 31 = -5*x. Let w be (-15 + 17)/(y/6). Is (1 - 2) + 240/w a multiple of 11?
False
Let a = -109 + 99. Is 10 a factor of 48*(a/24)/((-4)/32)?
True
Is 19 a factor of 3/2*(12 - -26)?
True
Let b(l) = l**3 - 16*l**2 + 19*l. Let o be 493/34 - 2/(-4). Let a be b(o). Suppose -w = -5*w + a. Is 15 a factor of w?
True
Suppose 0 = 3*l + 15, 4*m + 2*l - 2 = -0. Is (4/(-2))/((-2)/m) a multiple of 2?
False
Does 21 divide 1*((15 - 13) + 132 + -1)?
False
Let c be 2/(-7) - 6/(-21). Let l(f) = -35*f**2 + 6 - f**3 + 13*f**2 + 22*f**2. Is l(c) even?
True
Is (-2294)/(-9) + (-4)/72*-2 even?
False
Let t = -656 - -1119. Is 37 a factor of t?
False
Let t(b) = -b**3 - 7*b**2 - 11*b + 1. Let f be t(-5). Suppose f*s = 788 - 194. Does 9 divide s?
True
Is 12 a factor of 46233/297 - 1/(-3)?
True
Is 4 a factor of 3/(6/(-14))*(-31 - 