True
Let j be 2 + -2 - (1 - 2). Let u be (8/10)/(5/(-25)). Does 3 divide u - (-13 - (-4 + j))?
True
Is (1 + -3)*(48992/((-32)/4) + 0) a multiple of 45?
False
Let n be (-6*417/(-6))/((-9)/(-6)). Suppose -8*i + n = w - 5*i, 2*w + 2*i - 552 = 0. Does 8 divide w?
False
Let r = 4 + 8. Let k(u) = -152*u + 16. Let j be k(-1). Is 41 a factor of (-3 + j/9)/(1/r)?
False
Let v be -5 + 10 + (2 - 0). Let u(d) = d**3 - 8*d**2 + 8*d - 4. Let f be u(v). Suppose -3*a + 21 = 2*s, -7*a = -4*a + f*s - 21. Is a a multiple of 2?
False
Let t be -2 - -1 - (-8 + -13). Let x = -23 - -9. Let g = x + t. Is g a multiple of 6?
True
Suppose -4*h + 3*h + 26 = 0. Suppose 0 = -x - 0 - h. Let z = 64 + x. Does 6 divide z?
False
Let x = -240 - -244. Suppose -2*d = -2*y - 1623 - 19, -841 = -d - x*y. Is 55 a factor of d?
True
Let k(v) = 40*v + 595. Does 45 divide k(-7)?
True
Let y = 71 - 73. Let l(z) = -9*z - 4. Let v(d) = -d**2 - d. Let p(x) = l(x) - 6*v(x). Is 8 a factor of p(y)?
False
Let q(a) = a**3 - 19*a**2 + 18*a + 24. Let y be q(18). Does 4 divide ((-12)/y)/(1/(-26))?
False
Suppose 0 = 3*w - 9, 0 = -31*q + 29*q + 5*w + 1443. Is q a multiple of 23?
False
Let x be 9*(-5)/(-75)*(4 - -1). Suppose x = 4*s - s. Does 13 divide s + 2 + (-129)/(-3)?
False
Is 38 a factor of (0 - 0 - -2)*(498 - -1157)?
False
Let o(a) = 41*a**2 - 8*a + 7. Suppose -149*c = -146*c - 3. Is 4 a factor of o(c)?
True
Let d(y) = 2261*y + 16. Is 151 a factor of d(4)?
True
Suppose 0 = -r - 6, -217*r + 2160 = 2*l - 215*r. Does 5 divide l?
False
Let p be 8/(-20) - (-16)/(-10). Let x be (-924)/(-78) + p/(-13). Suppose -x = -c + 26. Is 8 a factor of c?
False
Suppose -20 = o - 5*m, -46*o = -41*o + 2*m - 35. Suppose -2*h = -o*x - 967, 5*x - 86 = h - 582. Does 56 divide h?
False
Suppose -72*n = 2*m - 71*n - 421, 0 = 5*m + 5*n - 1040. Suppose 2*a - 585 = m. Does 21 divide a?
True
Let a be 1925/35 - (2 + 0 + 1). Suppose 0 = 15*n - a*n + 1517. Is n a multiple of 41?
True
Let i(k) = k. Let g(h) = -16*h - 22. Let t(m) = g(m) + 6*i(m). Let a be t(-5). Let d = 56 - a. Does 10 divide d?
False
Let l(i) = 484*i**2 - 28*i - 5. Let q be l(-2). Suppose -2*c = -15*v + 20*v - 2471, -q = -4*v - 5*c. Is 17 a factor of v?
True
Suppose -113*g + 1042968 = 737415 - 985133. Is 94 a factor of g?
False
Is 13 a factor of -8 - (1/2 + (-135877)/98)?
True
Is 22 a factor of (483516/555)/(6/160)?
True
Let w be -5*(-12)/(-90)*(-12 - 0). Suppose -7*i = -w*i + 952. Is 14 a factor of i?
True
Let n(a) = a**2 + 104*a + 550. Does 69 divide n(0)?
False
Let r be (-2)/(-7) + 5790/21. Let h be (906/(-4))/((-72)/(-48)). Let p = r + h. Is 28 a factor of p?
False
Let i(b) be the third derivative of -13*b**4/8 - 3*b**3/2 + 6*b**2 - 2. Does 4 divide i(-3)?
True
Let o(a) be the third derivative of a**5/10 + a**4/4 - a**3/3 + 6*a**2. Let v(x) = -5*x**2 - 6*x + 3. Let d(h) = 6*o(h) + 7*v(h). Is 48 a factor of d(15)?
True
Let y = -27 + 31. Suppose -2*z + y*z - 4 = 0, 3*r = 5*z + 266. Let p = -74 + r. Is p a multiple of 6?
True
Let b be -4 - ((-16)/(-4) - 40364). Suppose -30*u - 8586 = -b. Does 13 divide u?
False
Let n be -4 + -1 + 240/1 + 3. Let g = n - -644. Is g a multiple of 42?
True
Does 12 divide 4*69/(-92) - 25*-75?
True
Let d be (-154)/(-3) + (-2)/6. Suppose 16*k - 22*k + 238 = 11*k. Suppose -k*s = -11*s - d. Is 3 a factor of s?
False
Let t(h) = -6*h**2 - 12*h - 5. Let w(m) = 4*m + 5*m**2 - 3 + 0*m + 8*m + 7. Let y(d) = 4*t(d) + 5*w(d). Does 20 divide y(8)?
True
Suppose 6*j + 31 = 10*j + n, -2*j - n = -15. Suppose -2*s + j*o + 1552 = 4*o, 2*o + 6 = 0. Is 55 a factor of s?
True
Let a(o) = 5*o**3 - 10*o**2 + 11*o + 38. Let n(c) = 14*c**3 - 31*c**2 + 32*c + 111. Let j(t) = 17*a(t) - 6*n(t). Does 5 divide j(-16)?
True
Let d(p) = -13*p - 47. Let k be d(-4). Suppose 530 = 8*i - 3*i - 2*z, 2*i - 233 = k*z. Is 11 a factor of i?
False
Suppose 3*x + 0*x + 75 = 0. Let b = -19 - x. Suppose -3 = -h - b*m + 3*m, -h = -m - 3. Does 2 divide h?
False
Suppose 6 = -7*l + l. Let f be l/6*2 - (-154)/21. Suppose 9*b - f*b = 86. Does 9 divide b?
False
Suppose 4*f - 4184 = -3*d, -4*f - 19 = -3. Does 40 divide d?
True
Suppose 20 = 5*g + 50, -2*x - 3*g = -6238. Does 99 divide x?
False
Let s = 29247 + -26079. Does 31 divide s?
False
Let p(b) = -7*b**2 + b - 72. Let c(i) = 12*i**2 - 2*i + 144. Let z(r) = -2*c(r) - 5*p(r). Is z(-8) a multiple of 16?
True
Let x = 7705 + -7315. Does 10 divide x?
True
Let m(b) = 28*b + 273. Let u be m(-9). Suppose 378 = u*z - 294. Is z a multiple of 2?
True
Suppose -l - 15507 = -2*w, 5*l - 10 = 3*l. Does 35 divide w?
False
Let q(x) be the first derivative of -x**4/4 + 10*x**3/3 + 49*x**2/2 - 4*x + 55. Is 7 a factor of q(13)?
True
Let f(m) = m**2 - 9*m + 42. Let w be f(8). Suppose -546 = 20*p - w*p. Is p a multiple of 13?
True
Let o = 960 - 450. Let t = -136 + o. Is 22 a factor of t?
True
Suppose -18*z = -22*z. Suppose 4*v - 16 - 4 = z. Suppose 0 = 6*h - v*h - 23. Is 23 a factor of h?
True
Is (-3)/((-66)/390698) - -9 a multiple of 8?
True
Suppose 40*x + 8 = 36*x. Does 11 divide (x + 9/12)*-32?
False
Suppose 0 = -2*a + n + 12989 + 16772, 5*a + n - 74413 = 0. Is a a multiple of 14?
True
Let t be 2/(-8) - 135/36 - -196. Suppose -5*f + t - 27 = 2*q, -3*q = -f - 256. Is 17 a factor of q?
True
Suppose 0 = -12*d + 645 + 1407. Is d a multiple of 19?
True
Suppose 4*k + 20 = 4*s, 0*k + 5*s = k + 25. Suppose p + 7 = -5*f, -2*f + p + p - 10 = k. Is 1*(f - 31)*-1 a multiple of 24?
False
Let m(n) = -13*n**2 + 45*n**2 - 17*n**2 + 11*n - 13*n**2 - 6. Let i be m(-6). Suppose 3*w - 5*w + 3*a = -105, i = 2*w - 5*a - 111. Does 16 divide w?
True
Let b(c) = -264*c + 90. Let s be b(-24). Suppose -17*f = -31*f + s. Does 9 divide f?
True
Let b(k) = 226*k**3 + 20*k + 20 - 114*k**3 + 15*k**2 - 111*k**3. Is b(-8) a multiple of 28?
True
Is 5054 - (0 + (-28)/(-20))*-5 a multiple of 83?
False
Let z = 185 - 183. Suppose -z*p + 261 = 3*v + p, -4*v + 4*p + 372 = 0. Is 45 a factor of v?
True
Suppose -49*y = -n - 44*y + 7542, 4*n + 4*y - 30120 = 0. Is 14 a factor of n?
True
Let r(k) = -k**3 - 52*k**2 - 140*k - 206. Is r(-50) a multiple of 6?
True
Let f = -15 - -23. Let g(p) = -9*p + 195. Let s be g(22). Is (49 - s)*2/f a multiple of 5?
False
Let v(h) = 78*h**2 - 539*h + 13423. Does 20 divide v(26)?
False
Let m be ((-525)/(-70))/((-10)/(-8)). Does 40 divide -1227*m/(-36)*2?
False
Is 15 - 55/5 - -3466 a multiple of 37?
False
Let d be 1597/(-13) + 4/(-26). Let l = d - 6. Does 2 divide 6*4/(-32) + l/(-12)?
True
Suppose 2451 + 39788 = 220*j - 165441. Is 8 a factor of j?
True
Let h = 979 + -442. Is h even?
False
Let h(j) = 23*j**2 - 10*j + 6. Let t be h(6). Suppose 0 = 6*m - 9*m + t. Suppose 5*x - m = 492. Is 10 a factor of x?
True
Let u be (-6)/96*-8*0. Does 10 divide 0 + u + 7 + 8 + 125?
True
Let l = -180 - -179. Is 284 + (5 - 4)*l a multiple of 9?
False
Let f = -135 + 143. Let s(k) = 5*k - 2. Is s(f) a multiple of 10?
False
Let h = 237 + -217. Suppose 16*i = h*i - 260. Is i a multiple of 20?
False
Let d = 420 + -420. Suppose 0*f - 4*f + 1148 = d. Is 33 a factor of f?
False
Let u = 58 - 55. Suppose -u*m + 67 = 61. Suppose -4*i - 60 = v - 2*v, m*i - 90 = -v. Does 10 divide v?
True
Suppose -4*a + 10536 = 2*p, -3*p - 7*a = -4*a - 15801. Suppose 134 = 12*n - p. Does 9 divide n?
True
Suppose -7*i + 8*i - 110750 = -24*i. Is i a multiple of 106?
False
Suppose 13*j - 2*n = 11*j + 12148, -3*j - 6*n + 18276 = 0. Is j a multiple of 304?
True
Let f = 4779 + -4038. Is f a multiple of 57?
True
Suppose 0*l - 30 = -5*z - 5*l, 4*z - 4*l = -8. Let p(y) = -36*y**3 + y**z + 4*y**2 - 6*y**2. Is 6 a factor of p(-1)?
False
Suppose 0 = -20*h + 102 + 238. Suppose -3*u - h*u + 5900 = 0. Is 8 a factor of u?
False
Let j(b) = -27*b - 511. Is 20 a factor of j(-44)?
False
Let g(h) = -154*h**3 - h**2 - h. Let p be g(-1). Suppose -p - 102 = -4*o. Does 9 divide o?
False
Let f be (-3 - 0)*(112/(-12) + 4). Suppose -12*l - 32 = -f*l. Suppose l*g + 7*g - 3330 = 0. Is 37 a factor of g?
True
Let r = -104 + 2316. Does 28 divide r?
True
Suppose -3*u = -2*u - 4. Let h(a) be the second derivative of a**5/20 - a**4/12 + a**3/3 - 3*a**2 - a. Does 50 divide h(u)?
True
Let k = 208 - 150. Does 19 divide (5 - k)*(2 - 21)?
True
Let i(n) = -n - 3. Suppose -2*t - 4*l = -4, 2*t + 11 + 25 = 4*l. Let c be i(t). Suppose -c*y + 232 = x, -5*y - 3*x = 