. Is 17 a factor of (-5 - l - 12)*-41?
True
Let d(h) = 27*h - 34. Let g be 15 - (0 - (3 - 7)). Let o be d(g). Suppose 2*x - 268 = -3*p + 3*x, 3*p - 2*x - o = 0. Is p a multiple of 18?
False
Let f be 3 + 20/(-6) + 5522/6. Suppose -3*c - f = -11*c. Suppose -4*z = 5*u - 283, 3*u - 5*u - z = -c. Is u a multiple of 13?
False
Let i = -32 - -41. Suppose 5*p - 13 = 2. Suppose -i = -p*v + 3, 0 = k - 2*v - 82. Is k a multiple of 20?
False
Suppose 0 = 378*n - 374*n - 45992. Is n a multiple of 86?
False
Suppose d - 16370 = 4856 + 3896. Is d a multiple of 23?
False
Suppose -29598 = -14*k + 12*k + 3*b, -3*b = 3*k - 44427. Is k a multiple of 7?
True
Suppose 499*m + 5478095 = 1012*m - 14643817. Does 106 divide m?
False
Suppose 3 = -t + 3*k + 2, 5*t - 3*k - 7 = 0. Suppose -180 = -6*y + t*y - 4*h, -4*h + 131 = 3*y. Is 5 a factor of y?
False
Let u = -44 - -50. Let p be (-14)/28 + u/4. Is 36 a factor of (1 + p + -4)*-119?
False
Suppose -3*h - 2*j - 15 = 0, -3*h + j = 2*j + 18. Is 2*(3 + h + 475/2) a multiple of 18?
False
Let t(j) = 50*j**3 - j**2 + 5*j - 4. Let q be (4 + -2)/(4/(-50)). Let d = q - -26. Is 25 a factor of t(d)?
True
Suppose 7710 = 3*r - 3*o, 4*r - 8*o = -11*o + 10252. Is 21 a factor of r?
False
Let t = 10608 + 11316. Does 21 divide t?
True
Let v(x) = 6*x**2 + 5*x + 2549. Does 14 divide v(0)?
False
Let g(m) = -8*m**3 - 2*m**2 - 24*m - 97. Does 13 divide g(-6)?
True
Let n = 0 + 11. Suppose -4*t = -8*t - 2*p + 20, 0 = -3*t + 5*p - n. Suppose -4*i = 4*w - 124, 4*i + 64 = -t*w + 187. Is 10 a factor of i?
True
Suppose -30*b + 37*b - 504 = 0. Let q = b - -195. Is q a multiple of 41?
False
Does 8 divide (-6)/10 + 1265345/575?
True
Let o = 4 + -2. Suppose 8*z + 3740 = 13*z + 4*f, o*z - 2*f - 1478 = 0. Does 62 divide z?
True
Let b = 2 - 2. Suppose 4*m = -b*m - 32. Let u(h) = -3*h - 2. Does 11 divide u(m)?
True
Let t(q) = -q**3 + 14*q**2 - q + 17. Let n be t(14). Let o be (10 - 2 - n)*-19. Let b = 178 + o. Is 14 a factor of b?
False
Suppose 335 = 6*n + 41. Let r = 548 - n. Suppose -2*j + 49 = 4*i - r, 2*i - 262 = 2*j. Is i a multiple of 15?
True
Let p(c) = 17*c - 109. Let i = -6 + 16. Is 7 a factor of p(i)?
False
Let x(n) = 55*n**2 - 78*n - 1578. Does 51 divide x(-16)?
False
Let r = -612 - -1019. Suppose 523 = 5*s + m, -2*s + 3*m = 2*s - r. Is s a multiple of 26?
True
Let b(m) = -6*m - 2. Let u be b(-1). Let g be 305/15 + u/(-12). Suppose -g = -d + 38. Is 12 a factor of d?
False
Let b(t) = t**3 - t**2 - 2*t + 140. Let v be b(0). Let m = v - 440. Let r = 455 + m. Does 24 divide r?
False
Let l be (-15174)/(-297) - (1 + 10/(-11)). Suppose -60*x + l*x = -3969. Is x a multiple of 9?
True
Suppose 3*i - 21 = 3*r, 0*i + 5*i = r - 5. Let n = 22 + r. Let k = n - -9. Is 17 a factor of k?
False
Let i be 423/81 + 4/(-18). Suppose 895 = 5*j + i*w, w = -3*j - 0*w + 531. Suppose j = 5*f - f. Is 14 a factor of f?
False
Suppose 3*q + 2*l - 1079 = 0, 0 = -0*q + q - 4*l - 341. Let j = 425 - q. Is 4 a factor of j?
True
Let h = -5917 + 5956. Is h a multiple of 18?
False
Let i(k) = 3*k + 53. Let f be i(-18). Is ((-5 - -4)/3)/f*87 a multiple of 4?
False
Let u(n) = -3*n**2 - 9*n + 6. Let x be u(-6). Let a = 48 + x. Let i(t) = 5*t + 140. Is i(a) a multiple of 20?
True
Is 12/(-9) - (-523188)/27 a multiple of 42?
False
Is 2/15 + 0 - 11359895/(-5475) a multiple of 25?
True
Let o(u) = 3*u**3 + 8*u**2 - 56*u + 673. Does 58 divide o(13)?
True
Suppose 1231 + 480 = 5*k + w, -4*k + 1380 = -2*w. Suppose -2 = 2*q, 14*j = 11*j + q + k. Does 33 divide j?
False
Let t be 228/20 - (-8 + (-222)/(-30)). Let b be (-2 - -2)*1*-1. Suppose 4*p - t = -b. Is 3 a factor of p?
True
Let s(c) = 3*c - 72. Let b be s(21). Let q(i) = i**3 + 11*i**2 - i + 31. Is q(b) a multiple of 11?
False
Let n(t) = 773*t + 5452. Is n(37) a multiple of 14?
False
Let f be 132/88*(-1 + (-50)/(-6)). Suppose -i + 12084 = f*i. Is i a multiple of 55?
False
Let i(w) = 4*w**2 - 73*w + 21. Let u be i(18). Let c(k) = 4*k**3 + 2*k**2 - 17*k + 51. Is 9 a factor of c(u)?
True
Let q be ((-18)/4 + 2)/(1/2). Let a(d) = -d - 5. Let o be a(q). Suppose -5*j + 0*l = -2*l - 596, -5*j - 4*l + 608 = o. Does 30 divide j?
True
Suppose -14*g + 12 = -16. Let f be (-1182)/g*3/(-9). Suppose 2*o + 6 = 2*v - 80, -5*v - 4*o + f = 0. Does 33 divide v?
False
Let n be (49956/12)/(2/12). Suppose -n + 5595 = -21*f. Does 11 divide f?
False
Suppose 1795 = 3*u - 4*z - 3043, 4*u - 3*z - 6460 = 0. Is 10 a factor of u?
False
Is (2 - (-4727)/(-116))/((-1)/64) a multiple of 20?
True
Is 38864/10 + 11 + (-468)/45 a multiple of 23?
True
Let v(k) be the second derivative of 12*k**3 - 9*k**2 - k - 2. Does 9 divide v(4)?
True
Suppose -233 - 4117 = -t. Suppose -12*s = -2*s - t. Does 29 divide s?
True
Let a = 90 - 42. Suppose -4*c + 2*w + 2646 = -a, -5*w + 657 = c. Does 21 divide c?
True
Let s be (7 + 235/(-25))*(0 + -1910). Suppose -s = 594*m - 602*m. Is m a multiple of 14?
False
Is 49 a factor of 4/9 + -16 + (-12908)/(-36)?
True
Let z(b) = 2*b**3 - 8*b**2 + 5*b - 8. Let s be z(4). Suppose s = -3*j, -w - 11 = 4*w + 4*j. Suppose 3*g + 4*y = 304, y = -w + 5. Is g a multiple of 17?
False
Suppose -25*p = 23*p - 17232 - 116688. Is 10 a factor of p?
True
Is 4 a factor of (-44)/(-33)*3 - -446?
False
Let f(d) = -7*d - 8*d - 222 - 2*d - 15*d. Is 14 a factor of f(-20)?
False
Let b = 13546 + -6269. Is b a multiple of 9?
False
Suppose 17278*t = 17272*t + 8730. Does 15 divide t?
True
Suppose -14 = -2*w + 30. Suppose 4*t = -2*c + 966, w = 3*t + 10. Does 19 divide c?
True
Suppose -7*n - 25 = -12*n. Suppose n*r + 4*i = -16, -5*r + 5*i + 7 + 13 = 0. Suppose 0 = -3*v - 5*t - 0*t + 48, r = 5*t + 15. Is v a multiple of 3?
True
Let d = -11741 + 29093. Is d a multiple of 240?
False
Let w(v) = -2*v**2 - 4*v + 3. Let k be w(0). Suppose 544 = k*c + 4*x, -4*x - 144 = -2*c + 192. Does 4 divide c?
True
Suppose -517*x + 1056 = -515*x. Let u = x - 467. Is u a multiple of 3?
False
Suppose -15 = 2*n - 5*n + 5*s, -2*n + 2*s = -10. Suppose 2*c + c + 2 = 4*u, -3*c = n*u + 11. Is 14 a factor of 40 + ((-2)/3)/(u/3)?
True
Let c be -6 + (8/6 - 6/(-9)). Let x(d) = -177*d - 11. Let f be x(c). Suppose -97 = -2*r + 3*q + 173, 0 = 5*r - 2*q - f. Is r a multiple of 47?
True
Let m(h) = -7*h - 114. Let y be m(-27). Suppose 3*l - 296 = -2*j - y, 0 = -2*l - 4*j + 142. Does 8 divide l?
False
Let u be 2 + (2*-10)/4. Let k be u/(30/(-4)) + 273/5. Does 10 divide -1 + k - 28/7?
True
Let t = 631 - 626. Suppose 11*f - 1712 = -t*f. Is 15 a factor of f?
False
Let h = -78 + 74. Let v be -2 + (-1 - h - -474). Is ((-2)/2)/((-1430)/v + 3) a multiple of 9?
False
Let o be (-36)/24*(-10)/3. Suppose -5*v + q = -3320, -o*v - 7*q = -2*q - 3290. Does 13 divide v?
True
Suppose -26*k + 124032 = 88*k. Is k a multiple of 68?
True
Suppose -s + 0*s + 3 = 4*p, -2*s - 3*p = -11. Let g = s - -2. Suppose b + 3 = g. Is b a multiple of 3?
True
Suppose 5*j - 4 - 10 = 4*r, 2*j - 3*r = 0. Suppose j*n - 15 = 3*n. Suppose 0 = n*u + 43 - 178. Does 2 divide u?
False
Let u(b) be the first derivative of -2*b - 9/2*b**2 - 6 + 1/3*b**3. Is 20 a factor of u(11)?
True
Let y(p) = p**2 + 2*p - 18. Let w be y(3). Let x(g) = -g. Let i be x(-5). Is 9 a factor of 19/(i + w + -1)?
False
Suppose 4*y + 26 = 2*c, 3*y - 7*y = -5*c + 35. Suppose 3*f = o - 43 + 183, -c*o + 165 = 4*f. Is f a multiple of 9?
True
Let t(i) = -18 + 3 - 15601*i**2 + 15735*i**2 - 14*i. Is 9 a factor of t(-2)?
True
Let w(z) = -72*z**2 - 2*z - 3. Let m be w(-1). Let g = -79 - m. Is 14 a factor of 63/g*180/(-27)?
True
Is ((-2)/(-6))/(((-6)/(-30))/(1908/5)) even?
True
Let t = -201 + 197. Is (-84)/(-63)*(-882)/t a multiple of 42?
True
Let d = -72953 + 112399. Is 12 a factor of d?
False
Let o(v) = 27*v + 45. Let q be o(10). Suppose 346*n - q = 345*n. Does 15 divide n?
True
Does 124 divide (145719/18 - 7)*(-2 - -4)?
False
Let z be -1*2 - 2*(-3 + -1). Let p be 10*(-28)/(-21)*z/16. Suppose p*c = -y + 46, -5*c - 97 = 4*y - 326. Does 39 divide y?
False
Suppose 0 = 2*k - 5*q - 239, -3*k + 531 = -2*q + 200. Suppose 103 = -5*t - 26*w + 30*w, -5*t + 2*w - 99 = 0. Let b = t + k. Is 8 a factor of b?
True
Suppose -75*c + 44*c = -68*c + 352610. Is 10 a factor of c?
True
Suppose r - 1322*s + 1327*s = 13427, -4*s + 26806 = 2*r. Does 60 divide r?
False
Suppose -5*a = x - 27443, -109847 = -4*x + a - 6*a. Does 30 divide x?
False