. Let u(f) = -4*m(f) + 3*z(f). Is 13 a factor of u(18)?
True
Is 23 a factor of (-4966)/(-3) + (-6 - (-120)/18)?
True
Suppose -67*n = -694639 + 113012. Is n a multiple of 11?
False
Suppose 0 = g - 12 + 10. Let c(m) = -4 - 16*m**g + 20*m**2 + 6 - 11*m. Is c(8) a multiple of 10?
True
Let b be (0 + 7)*114/133. Let h be ((-46)/(-4))/((-15)/b - -3). Suppose d + 12 = h. Is 10 a factor of d?
False
Let z be -6 + 7 - 1 - -158. Suppose -p + 214 = z. Is p a multiple of 4?
True
Suppose -4*v - 138 = -2*n, 0 = 3*v - 8*n + 3*n + 114. Let u be 479/(-7) + v/(-77). Is u/(-51)*33/1 a multiple of 11?
True
Suppose 4*m = 5*g + 53, -58 = -5*m + 2*g - 4*g. Suppose m*f = 23*f - 5082. Is 21 a factor of f?
True
Suppose 451*m + 37275 = 472*m. Does 12 divide m?
False
Let g be 6/(-4)*-4899*12/54. Let r = g - 1163. Is 47 a factor of r?
True
Suppose 5*n + 6*n = -572. Let c = -104 - n. Let l = c - -55. Is l a multiple of 3?
True
Let z be (-90)/(-12)*36/(-5). Suppose r + 5 = -3*m - 27, 30 = -r - 4*m. Let x = r - z. Does 8 divide x?
True
Let m(v) = -2*v**2 - 258*v + 50. Does 21 divide m(-50)?
False
Let k(u) be the first derivative of u**3/3 + u**2 - 41*u + 89. Is k(-15) a multiple of 28?
False
Let u be (26/(-78))/((-1)/447). Let m = 208 - u. Is 14 a factor of m?
False
Let u(b) = -b**2 + 3*b + 9. Let g be u(0). Suppose -g*j + 18*j = 54. Suppose -2*k - j*y = -3*y - 96, k - 26 = 4*y. Is 14 a factor of k?
True
Let s(z) = -55*z - 126. Let b be s(-7). Suppose m - b = -c, -30*m + 25*m = -c - 1325. Does 44 divide m?
True
Let v = 17 - 13. Let u(x) = 6*x**2 + 3 + 0 + v - 5*x. Is u(3) a multiple of 7?
False
Suppose 4*u = 5*h + 1222, 0 = -3*u + 4*u + 2. Does 9 divide (h/5)/((-4)/(-10 - -30))?
False
Let q(g) = 2*g**2 + 4*g + 3. Let w be q(-2). Let y(j) = 27 - 15 - 10 - 35*j**w + 2*j - 91*j**3. Does 9 divide y(-1)?
True
Suppose 3*g - 2*q - q = 0, -4*g = 5*q. Let m(u) = -u - 31*u + 29 + 3*u + 29*u - 2*u**2 - u**3. Is 3 a factor of m(g)?
False
Suppose -m - 15*m = m - 285549. Is m a multiple of 13?
False
Suppose 133752 = 4*a - 5*h, 9*h - 20237 = a - 53737. Does 137 divide a?
True
Let v(c) = 39*c**2 - 27*c + 41. Is 39 a factor of v(3)?
False
Let g be 8180/(-15) - 4/(-3). Let x = 967 + g. Is 14 a factor of x?
False
Suppose -7*m + 21293 = 5*t - 5*m, 3*m - 12 = 0. Does 190 divide t?
False
Let i = -29469 - -55445. Does 191 divide i?
True
Suppose -g - g - 3*w = 0, -2*w = -2*g - 20. Is g/33 + (-13032)/(-44) + 1 a multiple of 33?
True
Suppose 0 = -2*h + 2, 8*h - 65 = -2*u + 5*h. Does 31 divide u?
True
Let j(d) = 2*d**3 - d**2 - d - 4. Let f be j(2). Suppose 5*s + 4*v - 2 = 0, 0 = s - 3*v + 5 + f. Does 31 divide (-18)/(-45)*(-310)/s?
True
Let u = 54913 - 31558. Does 135 divide u?
True
Does 96 divide 4/(-74) + 41277933/3293?
False
Let y be (975 - (-9)/(-3)) + -2. Suppose -y - 85 = -5*d. Suppose d - 536 = -5*h. Is h a multiple of 13?
True
Suppose -15*z - 1840 = -11*z. Let v = z + 685. Does 25 divide v?
True
Suppose -11*s = -8*s + 21. Let n(f) = -14*f - 17. Let p be n(s). Let g = p + -5. Is g a multiple of 19?
True
Suppose 326 = 35*m - 199. Is 36*m*((-9)/(-12))/1 a multiple of 5?
True
Let q = 170 + -81. Let w(s) = 13*s - 101. Let r be w(17). Suppose m - q = r. Is m a multiple of 19?
True
Suppose -1 = -x + 2. Let n = -53 - -55. Suppose x*c + n*l = 437, 2*c + 2*l - 203 = 89. Does 29 divide c?
True
Let i(q) = 2*q**3 - 5*q**2 - 5*q + 12. Let n be i(4). Let u = n - 33. Suppose -u*m = -5*f - 11*m + 88, -15 = 5*m. Does 2 divide f?
True
Suppose -20*x = -37*x + 287385. Is x a multiple of 61?
False
Let m(h) = -h**3 - 32*h**2 + 19*h + 53. Let s be m(-37). Suppose -s = -11*b + 273. Does 42 divide b?
True
Suppose 0*h - h + 73878 = 20*h. Is h a multiple of 5?
False
Suppose 2*m = -2 - 4, s = -m - 3. Suppose h - 2733 = 8*o - 12*o, 2*o + h - 1365 = s. Is o a multiple of 14?
False
Suppose -52 = -q - q. Suppose -q*f = -31*f + 10. Suppose 0 = 4*j + 2*v - 162, 0*j + f*v - 39 = -j. Does 7 divide j?
False
Let i = -37 + 56. Suppose -3 = 3*c, 15*b - i*b + 1077 = -c. Is b a multiple of 38?
False
Let q = 370 + -365. Suppose -3 = 3*d, -5*y + q*d - 4555 = -10*y. Does 76 divide y?
True
Let y(i) = 29*i - 339. Let b be y(-12). Let u = -655 - b. Is u a multiple of 7?
False
Let h(r) = 63*r**2 + r**3 - 63*r**2 + 1 + 1 + 2*r. Let x be h(-2). Let w(n) = -n**2 - 11*n + 29. Does 39 divide w(x)?
True
Let z(w) = -20*w - 9. Let j be z(-1). Suppose 1 + j = r. Is r a multiple of 6?
True
Suppose 0 = 17*l - 4494 - 25035. Let x = l - 1230. Does 13 divide x?
True
Suppose -5*k = 11*y - 6*y - 38680, 3*k + 5*y - 23200 = 0. Is 10 a factor of k?
True
Suppose 3*j - 31 = 5*z, -3*z - 23 = -4*j - 0. Suppose -j*l = 5*n - 1199, -13*l + 12*l + n = -589. Is l a multiple of 25?
False
Let k(f) = -17*f + 1190. Is k(-93) a multiple of 12?
False
Let w(c) = 4*c - 28. Let i be w(-13). Let u be 5 - (-46*(-5 - -4) - 3). Let v = u - i. Is v a multiple of 6?
True
Is (((-610)/(-20))/(2/(-14)))/((-28)/112) a multiple of 22?
False
Let b(i) = -i**2 - 21*i + 62. Let f be b(0). Suppose -f = -5*c - 4*k, -5*c + 36 = -3*k - 5. Does 2 divide c?
True
Suppose 4*m + 262 = c - 241, 3*c - 1498 = m. Suppose -300 = -501*g + c*g. Is g a multiple of 10?
True
Let d(p) = -p**3 + 10*p**2 + 2*p + 30. Let y be d(7). Let b = y + -5. Is 10 a factor of b?
False
Suppose 2*i - 233 = -3*b + 3665, 4*b - 2*i - 5174 = 0. Is b a multiple of 18?
True
Let l(d) = -d**3 + 20*d**2 + 16*d - 22. Let n = 467 - 447. Is 23 a factor of l(n)?
False
Suppose -114*d + 11760 = -53*d - 58*d. Does 112 divide d?
True
Suppose -2*z - 15 = -7. Is (-18)/99 - z/44*5612 a multiple of 10?
True
Let n(x) = -13*x + 197. Let r be n(15). Suppose -10*w = b - 6*w - 547, 0 = -b + r*w + 541. Is b a multiple of 16?
False
Let b = 492 + -351. Let s = 657 + b. Is s a multiple of 79?
False
Let a be 13 + 4/12*6 + 3. Suppose -a*p - 270 = -27*p. Is p a multiple of 30?
True
Let x = 274 - 232. Is ((-1148)/x)/((-1)/((-3)/(-2))) even?
False
Suppose -2*p - 5*l = -380 - 857, 2489 = 4*p - 5*l. Suppose -9*c = -387 - p. Is 4 a factor of c?
True
Suppose g + 903 - 3326 = -j, 7*g - 4*j = 16972. Is 3 a factor of g?
True
Let k(l) = 2*l**2 + l + 2. Let a be k(1). Suppose 0 = v + 2*g - 63 - 59, -2*v = a*g - 242. Does 7 divide v?
True
Suppose -537 = -2*b - 7*y + 12*y, 4*b + 5*y = 1119. Let k = b - -131. Is 11 a factor of k?
True
Suppose 4*h + 3*u + 11 = 2*h, 3*h - 5*u = 31. Suppose 1 - 11 = -h*w. Suppose -215 = -5*y - w*o, -84 = -4*y - 3*o + 91. Is 12 a factor of y?
False
Does 104 divide (-28 - (-1581)/62)*9924/(-5)?
False
Let m(v) = -80*v - 519. Let t(u) = 120*u + 778. Let p(o) = -7*m(o) - 5*t(o). Is p(-15) a multiple of 18?
False
Suppose 2*k - 5029 = -3*l + 1551, 9856 = 3*k + l. Suppose -3*z - 2482 = -6*z + n, -5*n = 4*z - k. Is z a multiple of 15?
False
Let n be -1*(0 + 3) - (-3 - 2). Suppose -2*p + n = 0, y - 5*p = 2*y - 67. Suppose 6*x + 32 = y. Is x a multiple of 5?
True
Let b be (-4)/1 + -3 + 7. Suppose b = 6*a - 605 - 175. Does 10 divide a?
True
Let a be (-49)/((12/8 - 1) + 0). Does 4 divide ((-164)/6)/(a/147)?
False
Suppose 3*s = r - 15 - 14, -5*r + 77 = 2*s. Suppose r*o - 1223 = -373. Does 10 divide o?
True
Suppose -6*i = -i. Suppose i*o - 2290 = -o. Is 16 a factor of 1*(-6)/33 - o/(-11)?
True
Suppose 2*o - 6*o + 5*u = -57, -5*o + 60 = -4*u. Is ((-22)/o)/(-5 + 2034/408) a multiple of 10?
False
Let u = -121 - -54. Let h = u + 64. Let w = 34 + h. Does 5 divide w?
False
Suppose 3*o = 3*h - 24, 4*h - 2*o = -o + 20. Suppose -h*w = -1361 - 175. Is w a multiple of 70?
False
Let c = 267 + 202. Let k = -460 + c. Is k a multiple of 5?
False
Let g(c) = 6*c**2 + c**3 - 7*c**2 + 3*c - 37 - 3*c**2. Is 3 a factor of g(6)?
False
Does 50 divide (-21 + 18)*(1 + 206/(-6))?
True
Let y(w) = 22*w**3 + 3*w**2 + 136*w - 1280. Is 25 a factor of y(9)?
True
Suppose 5*w - 4430 = -5*o, -5*o + o - 5*w + 3544 = 0. Suppose 2*b - o = 2008. Is b a multiple of 28?
False
Let z(v) = -4*v**2 + 6*v - 4. Let j be z(1). Let m(c) be the first derivative of -13*c**2/2 - 3*c + 2. Is m(j) a multiple of 11?
False
Let h = 79 - 29. Let n = h - 45. Suppose 5*z = 5*r + z - 696, -n*r + 3*z = -692. Does 8 divide r?
True
Let t = -5885 + 9836. Is 9 a factor of t?
True
Suppose 3*k = -5*y + 371, 2*y = 5*k + y - 665. Suppose l + 5*b = -k + 469, 3*b - 1297 = -4*l. Is 23 a factor of l?
True
Suppose 0 = 523*n - 52