)/(8/16). Suppose -4*d - v = a, -3*v - 7 = -d + 3*d. Let j(u) = u**2 + 7*u - 13. Is 19 a factor of j(d)?
False
Suppose -36*a - 196500 = -136*a. Is a a multiple of 25?
False
Suppose -48 = 29*y - 37*y. Let k be 1/(-2)*1*12. Is 9 a factor of (-63)/k*(-1 + y - -1)?
True
Suppose -2796 = -336*o + 330*o. Suppose -u + 332 + o = 0. Does 37 divide u?
False
Suppose 0 = 2*h + 4*v - 966, -84*v + 87*v = 2*h - 973. Is h a multiple of 75?
False
Suppose 38 + 7 = 5*z - 5*s, -3*z - 3*s - 3 = 0. Suppose -2*l + z = -l. Is ((-6)/(-1 + 3))/(l/(-132)) a multiple of 11?
True
Let g be 6/(-3)*60/(-24). Suppose -4*k + 36 = 4*q, 3*q = -4*k + 26 + 6. Suppose -3*m + 525 = -q*n, -g*m + 4*n - 2*n = -889. Does 29 divide m?
False
Let d = -203 + 388. Does 20 divide d?
False
Let l(d) = 38*d - 144. Let a be l(4). Suppose -a*u + 755 = 179. Does 4 divide u?
True
Suppose 3*p - 4*h - 40 = 8*p, 5*h = p - 21. Let n be -126*3*p/24. Suppose 4*l = n + 125. Is l a multiple of 14?
False
Suppose -25952 + 5121 = -2*r - 5*l, 2*r - 3*l = 20871. Is 10 a factor of r?
False
Does 21 divide 3 + (-207905)/(-35) - (10/5)/14?
True
Suppose -4*t = -2*z - 51060, -5*t - 8*z + 10*z + 63828 = 0. Does 32 divide t?
True
Suppose 0 = -2*v + 59 - 17. Suppose -v*o = -20*o + 11. Let a(s) = s**3 + 9*s**2 - 27*s - 5. Is 10 a factor of a(o)?
True
Let y(c) = -c**3 + 5*c**2 - 7*c + 17. Is y(-12) a multiple of 5?
False
Let u(i) = 33*i**2 - 2*i - 2. Let n be u(-1). Suppose -20*l + 19*l = -n. Suppose -t + l + 1 = 0. Is 17 a factor of t?
True
Let n = -722 - -1195. Let f = n - 329. Is f a multiple of 4?
True
Let b = -7415 + 12036. Is 28 a factor of b?
False
Suppose -5*v - 468 + 2953 = 3*w, -2*v = 14. Is w a multiple of 10?
True
Let x = 37826 - 20367. Does 125 divide x?
False
Suppose -2*q + 5*a = -488, 6*q + 4*a - 1187 = q. Let h = q - 98. Is 4 a factor of h?
False
Let a(i) = -622*i**3 + i**2 + 16*i + 24. Is a(-2) a multiple of 11?
True
Suppose -5*j + l + 740 = 0, 4*j = 3*j + 3*l + 162. Suppose -9*t = -6*t - j. Let b = -29 + t. Is 2 a factor of b?
True
Let a(q) be the first derivative of -q**4/4 - 5*q**3 - 19*q**2/2 - 6*q + 18. Let h be a(-14). Suppose 2*i + 12 - h = 0. Is i a multiple of 6?
False
Suppose -5*d = -0*d + 4*a - 5, 0 = -a. Let v be 1*(3 + d - 3). Is 11 a factor of 9 + (v - (-2)/2)?
True
Let p(h) = -18*h - 124. Let i be p(-7). Suppose 0 = i*y + 1365 - 1881. Does 6 divide y?
True
Suppose 33*g + 8712 = 37*g - 4*h, 2*g - 5*h - 4359 = 0. Does 5 divide g?
False
Suppose -1904*y = -1908*y + 8152. Suppose 34*j - 12136 + y = 0. Is j a multiple of 87?
False
Let i = -425 - -375. Let l = i - -411. Is 22 a factor of l?
False
Suppose -146*u = -144*u - 144. Does 11 divide (198/u)/(1/16)?
True
Let n = 30324 - 9248. Suppose -36*y + n = 4228. Is 39 a factor of y?
True
Suppose -88*p + 135554 = -142164 - 246234. Does 26 divide p?
True
Suppose -4*d = -46 + 14. Let w(x) = -x**3 - 6*x**2 + 7*x + 3. Let a(l) = 3*l**3 + 11*l**2 - 14*l - 7. Let q(i) = 2*a(i) + 5*w(i). Does 6 divide q(d)?
False
Suppose -n - 39817 = 13*j - 16*j, 0 = 4*n - 20. Is j a multiple of 22?
False
Suppose -12 = 2*q + 4*m, 4*q + 4*m - 2*m = -54. Let g(j) = -72*j + 57. Is g(q) a multiple of 31?
True
Suppose -5*u = -f - 12142, 0 = 1310*u - 1314*u - 5*f + 9760. Does 15 divide u?
True
Does 17 divide (30/(-18) + 2)*(2 + -2) - -3880?
False
Let d(u) = 3*u**2 + 11*u + 21. Let f be d(-3). Suppose f*l - 999 - 3306 = 0. Is 7 a factor of l?
True
Suppose j - 77 = -2*r + 105, r = -j + 185. Let v(w) = -2*w**2 - 11*w - 5. Let g be v(-7). Let i = j + g. Is i a multiple of 27?
True
Let s(m) = -m**3 - 11*m**2 - 20. Let w(o) = -1. Let f = -46 + 48. Let r(d) = f*w(d) - s(d). Does 6 divide r(-11)?
True
Suppose -2*m + 342 = m. Let u = m + -81. Suppose 2 + u = a. Is a a multiple of 7?
True
Let l = -117 + 229. Suppose -s - 53 = -2*s + 5*p, s = -p + 77. Let i = l - s. Is i a multiple of 10?
False
Is (-3 + 3 + 2)/((-24346)/2436 + 10) a multiple of 4?
True
Let y be (-2)/3 + (45708/18)/(-13). Let l = y - -820. Is 6 a factor of l?
True
Let i(d) = -2*d. Let m be i(-3). Let y(g) = -2*g**2 + 17*g - 8. Let l be y(m). Suppose 0 = 4*v - 5*v + l. Does 11 divide v?
True
Let w be 5 + (-1 - -1)*(-8 + 7). Suppose -w*l - 2020 = -4*p, -4*p - 40*l + 1992 = -38*l. Is p a multiple of 16?
False
Let n = 4421 - 3149. Is 159 a factor of n?
True
Suppose 3103 = j - 2*z, 13438 = 4*j - z + 1012. Does 46 divide j?
False
Let j = -2073 - -3852. Is j a multiple of 6?
False
Let f be (-836)/(-16) + (-12)/(-16). Let l = f - 36. Suppose 3*k - l = 34. Is 5 a factor of k?
False
Suppose 128*k - 122*k - 42 = 0. Suppose -120 = -2*h + 2*u, -2*h + u - 276 = -k*h. Is h a multiple of 2?
True
Let l = -14 - -22. Suppose 6*g - 3139 + 1003 = 0. Is g/l + (-3)/6 a multiple of 21?
False
Let d be 1*-2 - -219 - (20 - 23). Let x = -32 + -110. Let h = d + x. Does 10 divide h?
False
Let x = 373 - 199. Suppose x = 4*j + 2*t, t - 8 = j - 59. Is j a multiple of 4?
False
Suppose -5*c - 4*d = -0*d - 1094, 4*d + 868 = 4*c. Suppose 2*r - c = -2*f, r - 4*r + 303 = -3*f. Let s = r - 66. Does 11 divide s?
False
Suppose -m - 2*c + 1248 + 343 = 0, 0 = -m - c + 1590. Is 10 a factor of m?
False
Suppose 0 = 3*c - a + 28, 17*c - 3*a = 22*c + 42. Let t = 153 + c. Is 8 a factor of t?
True
Let z = 91 - 58. Let j be (-2)/((-6)/z) - 3. Is 14 a factor of (-8)/(-5)*(j + 27)?
True
Suppose -5*l = -f - 3941, 16150 = -4*f + l + 405. Is 51 a factor of (56/(-12) - -5)/((-4)/f)?
False
Suppose 0 = -2*g + g + 3*z - 51, -190 = 5*g - 2*z. Let x = g + 35. Is 12 a factor of (-1083)/(-9) - x/(-3)?
True
Let h(t) = 69*t - 20. Let k be h(-4). Let j = -248 - k. Is 25 a factor of j?
False
Let x(i) = 17*i**2 + 10*i + 998. Is x(-24) a multiple of 211?
True
Let b be (2 - 4/3)*(16 - 31). Suppose -5 = -k + 19. Let t = k + b. Does 8 divide t?
False
Let p(w) = -2*w**3 - 3*w**2 + 2*w + 3. Let c be p(-5). Suppose 2*o - 5*l + c + 73 = 0, -5*o + 4*l = 560. Let n = 163 + o. Is n a multiple of 10?
False
Does 51 divide ((-475174)/(-182) - 10) + 4/26?
True
Suppose 3*m - 13807 - 3497 = -2*r, 28872 = 5*m - 2*r. Is m a multiple of 13?
True
Let c(p) be the third derivative of p**4/8 + 7*p**3/6 + 3*p**2. Let l be c(-3). Is (-16)/l - (4 - 5) even?
False
Suppose 0 = 9*j - 902 - 4822. Suppose -658 = -c - 5*q, 2*c - 3*q - j = 680. Is c a multiple of 7?
True
Let y(b) = -b**2 + 13*b - 9. Let m be y(12). Suppose 3*n - u - 1 = 0, 3 = -n - 0*u - m*u. Suppose j - 108 = -n*j. Is j a multiple of 16?
False
Let r = -313 - -27. Let a = -180 - r. Suppose -4*b + 126 = -a. Is b a multiple of 22?
False
Let f = 16558 - 12538. Is 83 a factor of f?
False
Does 54 divide -7*14/98 - -2603?
False
Let g(j) = -j**3 + 4*j**2 + 19*j - 44. Let t be g(6). Does 6 divide t/(-6) + 4635/27?
False
Let w(h) = 230*h**2 - 64*h - 583. Does 35 divide w(-8)?
False
Let h(s) = 3*s**2 - s + 11. Let n(u) = 4*u**2 + 11. Suppose 0 = 30*g - 29*g + 2. Let k(y) = g*n(y) + 3*h(y). Does 11 divide k(-8)?
True
Let l(h) = h**2 - 12*h + 13. Let j be l(11). Suppose 0 = j*i + 3*c - 566, 2*i - 4*c + c = 578. Is 13 a factor of i?
True
Let t(u) = -15*u + 146. Let i be t(-9). Suppose -8*a + 1465 - i = 0. Is 37 a factor of a?
True
Let r = 20 - 16. Suppose -d + r = -0*d. Suppose 5*j + m = 550, 0*j - 440 = -d*j - m. Is 27 a factor of j?
False
Is 14 a factor of (15 - 33541/(-85))*5?
False
Let s = 4534 - 1268. Does 145 divide s?
False
Let o = 317 + 111. Is 15/12 + o/16 a multiple of 4?
True
Let m(u) = -125*u - 1949. Does 2 divide m(-19)?
True
Let w be ((-369)/54 + 2)*-6. Let f = 202 + w. Is 3 a factor of f?
True
Let b(l) = l**3 - 7*l**2 + l - 1. Let s be b(4). Is 18 a factor of (-6 + s/(-12))*-48?
True
Suppose -5*p = -3*k - 14, 4*k + 0*p = 3*p - 4. Suppose k*u - 5*u - 59 = -4*w, -3*w + 3*u = -45. Suppose -15*h + 60 = -w*h. Is 20 a factor of h?
True
Let w(k) = k**2 - 6*k + 3. Let m be w(2). Let z = -4216 - -4550. Is 38 a factor of m*(-3 - (z/10 + -2))?
False
Let l(u) = 28*u - 6. Suppose 0 = -4*d - 6 + 14. Does 50 divide l(d)?
True
Suppose -138*l + 792156 = -73*l + 461*l. Is 112 a factor of l?
False
Let r(p) = -p**2 + 20*p + 8. Let c be r(7). Suppose l = c + 3. Is 17 a factor of l?
True
Suppose 4*d + 4*x + 604 = 0, -4*d + 3*x - 611 = -35. Let o = d + 156. Does 3 divide o?
True
Suppose 5*l - 678 = 2*l. Let q = 389 - l. Let h = -79 + q. Is 11 a factor of h?
False
Let r = 709 + -