3452. Let y = x + -579. Is y a multiple of 5?
False
Let j = 160 + -69. Let r = j - 75. Let c(n) = n. Does 16 divide c(r)?
True
Let b(d) = -3*d - 15. Let f be b(-5). Let n be (4*1)/((-3)/36*-8). Suppose f*z - n*z = -126. Is z a multiple of 6?
False
Let n = 24 + -19. Let i(g) = -g**3 + 5*g**2 - 3*g - 2. Let y be i(4). Suppose y*r = -10, -n*b + 2*r + 768 = -507. Is b a multiple of 25?
False
Suppose 144*h = 205*h - 112301. Is h a multiple of 25?
False
Suppose -3*y + 1396 = -8*y + h, -5*y + 3*h - 1398 = 0. Let t = y - -646. Does 47 divide t?
False
Let o(t) = t**3 + t**2 - 10*t + 14. Let q be o(3). Suppose q*y - 4992 = 7*y. Is y a multiple of 12?
True
Let l = 14877 + 2616. Is 119 a factor of l?
True
Let y(z) be the third derivative of 11*z**5/20 - 5*z**4/12 + 7*z**3/6 + 23*z**2. Does 12 divide y(2)?
False
Let w(q) = -6*q**3 - 2*q**2 + 3*q - 3. Suppose -4*p - 36 = -5*l, 5*l - 42 = -5*p + 3*p. Let j be l/(-3) + (-2)/6. Is w(j) a multiple of 33?
True
Let l be (-2 + 15)/((-1)/(-3)). Suppose q = 37*i - 36*i + 41, 0 = q + i - 33. Suppose q*b - l*b + 464 = 0. Does 13 divide b?
False
Let x(y) = y**2 + 35*y - 111. Let z be x(-38). Is 21 a factor of -331*(0/(-1) - (z + 2))?
False
Let s(r) = -8*r + 62. Let o be s(6). Suppose o + 58 = 4*b. Does 8 divide b?
False
Suppose 20*m = 23*m + 4*u - 2124, -3*m + 8*u = -2196. Is 12 a factor of m?
False
Let m(t) be the third derivative of t**5/60 + t**4/12 + 181*t**3/2 - 8*t**2 + 4*t. Is 49 a factor of m(0)?
False
Let n be 1/((-6)/15 - 11/(-15)). Suppose -5*o - n = -23. Suppose 771 = o*f - 3*i, -5*i = 5*f - 1297 + 342. Is 24 a factor of f?
True
Suppose t - 24133 = -4*r, -20*r + 26*r = 2*t + 36182. Does 377 divide r?
True
Let m = 614 + -614. Suppose 22*o = -m*o + 5236. Is o a multiple of 99?
False
Let u be (4/(-10))/(54/(-270)). Let a(z) = 48*z**2 + 14*z - 29. Does 47 divide a(u)?
False
Let n be (-136)/(-32) - 2/8. Let s = -71 + 99. Suppose n*i + s = 408. Does 13 divide i?
False
Let i(m) = -m + 8. Let x be i(2). Suppose -x*l = -2*l - 216. Is l a multiple of 3?
True
Suppose -2*t - 3*t + 5*m + 6820 = 0, -t + 5*m + 1376 = 0. Suppose 0 = 18*i - 79 - t. Is 16 a factor of i?
True
Let z = -528 + 530. Suppose 3*j + z*u + 64 = 1398, -2220 = -5*j - 5*u. Is 6 a factor of j?
False
Suppose -411 = -8*f + 20045. Does 16 divide f?
False
Let l(d) = -900*d + 1. Let c be l(-1). Suppose -4*o + 3280 = -4*p, 2532 - 70 = 3*o - 5*p. Suppose 10*m - c = o. Is 34 a factor of m?
False
Is (-2 + 5)*(-75757)/(-97) a multiple of 11?
True
Let r(s) = 3*s**3 - 72*s**2 - 34*s + 214. Is r(25) a multiple of 5?
False
Suppose k + 3*k = 112. Let x be (7 - 3 - 1) + (-20)/15*3. Is 7*(x - (-4)/(k/27)) a multiple of 6?
False
Is 34 a factor of -4 - (-6)/9*(68929 + 29)?
True
Let r(b) = -2*b**3 + 5*b**2 - 30*b - 191. Is 13 a factor of r(-11)?
True
Suppose 4*r - 3*u = 88, -6*r + r = 4*u - 79. Suppose -3862 + 23470 = r*i. Is 17 a factor of i?
False
Let k(j) = 960 + 719 - 1399 - 3*j**2. Is 17 a factor of k(0)?
False
Suppose 5*q + 8*q + 105162 = 19*q. Is q a multiple of 159?
False
Let h(i) = -2*i + 53 - 10*i - 56 - 2*i. Let c(x) = -3*x + 10. Let j be c(8). Is h(j) a multiple of 27?
False
Let c = -1979 - -2972. Is 49 a factor of c?
False
Let n = 192 + -222. Does 5 divide ((-19)/n - (-6)/(-45))*128?
False
Suppose 12*g = 14*g - 132. Is g/((-28)/40 + 0 + 1) a multiple of 20?
True
Suppose 9 = -5*m - 6, m = 5*v + 1167. Let l = 486 + v. Is 9 a factor of l?
True
Suppose 14*h - 10*h - 32 = 4*n, 3*h - 28 = n. Is 12 a factor of (-8)/h + 5770/25?
False
Suppose -4*b + 65851 = -5*q + 8*q, 0 = 2*b - 8. Is q a multiple of 133?
True
Let d(r) = 52*r**2 + 48*r - 322. Is 6 a factor of d(7)?
True
Suppose o + 9 = 3*f - o, 3*o + 15 = 5*f. Suppose 26 = f*j - 28. Let w(h) = -h**2 + 21*h - 42. Is w(j) a multiple of 2?
True
Suppose -709*f = 719*f - 1418*f - 295200. Is f a multiple of 48?
True
Suppose -2*a = 5*f + 536, 0*a = -5*a - f - 1340. Let z = -195 - a. Is 18 a factor of z?
False
Suppose 0 = 43*j - 217*j - 151*j + 1579500. Is 3 a factor of j?
True
Let o(n) = 140*n**2 - n + 1. Suppose -u + 7 = 3. Suppose 5*y - y = u*s + 24, -s - 5 = 0. Is o(y) a multiple of 28?
True
Suppose 0 = 7*f + 2273 + 1717. Is 3/12*(3 + (-1 - f)) a multiple of 13?
True
Let f(i) = -i**2 + 37*i - 60. Let j be f(25). Suppose 2*c = -2*a + 5*a + j, 0 = 3*a. Is c a multiple of 20?
True
Suppose 0 = 4*i + 4*f + 234 + 986, -3*i - 905 = 5*f. Let n = -150 - i. Is n a multiple of 4?
True
Let i be -9 + (-55)/(-6) + 53/6. Let q(n) = -2 + 7*n - 11 + 8*n + 3*n. Is q(i) a multiple of 42?
False
Let i(f) be the first derivative of -3/2*f**2 + 18 + 22*f + 1/3*f**3. Is 32 a factor of i(5)?
True
Let v = 89 - 97. Let l be 1*12*(-108)/v. Suppose 4*j + 4*x - 2*x = l, -3*x = 3*j - 117. Is 11 a factor of j?
False
Does 17 divide (207/46)/(84/(-16)) - 244/(-7)?
True
Suppose -2*z + 26906 = 4*q, 153*z + 5*q = 150*z + 40354. Is z a multiple of 9?
False
Is (118 - 128) + 68271/3 a multiple of 43?
True
Let p = -23640 - -33884. Is 328 a factor of p?
False
Let v(l) = -3*l + 125. Let h be 178/(-5) + (-7 - (-264)/40). Is 48 a factor of v(h)?
False
Let s(n) = -2*n**3 - 68*n**2 - 16*n + 32. Let w(t) = -34*t**2 - 4*t - 4. Let z be w(-1). Is s(z) a multiple of 9?
True
Is 42/(-7) + 1 - (-6)/9*21921 a multiple of 72?
False
Let g = 4110 + -3054. Is 88 a factor of g?
True
Suppose 8*l - 757 - 4187 = 0. Suppose 2*z = -z + l. Is 6 a factor of z?
False
Suppose -2*h + 1864 = 3*s - 924, 3*s + 4*h - 2786 = 0. Is 3 a factor of s?
True
Suppose -59*y - 1049801 - 2186149 = -294*y. Is y a multiple of 27?
True
Let y be ((-8)/20)/(5/50). Let l(o) = -20*o - 3. Is l(y) a multiple of 21?
False
Let y(m) = -2*m**3 - 4*m**2 + m + 3. Let s(u) = -u**2 + 8*u - 4. Let n be s(7). Suppose -10 = n*v - 1. Does 3 divide y(v)?
True
Does 163 divide 18/(-27)*-1 + (-1)/((-3)/7822)?
True
Let o be 0 + 272/10 + 2/(-10). Let w = 12 - o. Is 3 a factor of (w/(-20) - 2)/((-2)/48)?
True
Suppose 17*h - 19*h = -210. Suppose -4*c + 4*t = -12, -2*c + 2 + 7 = -5*t. Suppose -c*z + 123 = -h. Does 38 divide z?
True
Let j = 86 - 85. Let b(s) = -10*s + 8*s + s**2 + 0*s**2 + 1 + 32*s**3. Does 13 divide b(j)?
False
Suppose -12*i + 536 + 508 = 0. Let y = 29 - i. Let b = -15 - y. Is b a multiple of 26?
False
Suppose -w - 4*q - 652 = -1704, -4*w + 4186 = 5*q. Is 174 a factor of w?
True
Suppose 5*i = j + j - 6559, -3*j = -i - 1317. Let o = i + 1913. Is o a multiple of 43?
True
Let h be ((-2)/(-4))/((-10)/20). Let d(i) = 8*i**2 + i. Let j be d(h). Let x(p) = 17*p. Is 17 a factor of x(j)?
True
Let b(v) = -v**3 + 17*v**2 - v - 30. Suppose -2*a = -68 + 40. Does 17 divide b(a)?
True
Does 5 divide (39 - -9257) + (-1)/((-1)/(-7)*1)?
False
Suppose -18*q + 12*q = 216. Let i be 3/(-6) + q/(-8) + -1. Suppose -100 = 2*u - 4*u - 4*s, -5*u = -i*s - 315. Does 30 divide u?
True
Suppose -5*t = -0*t - 80. Suppose 3*w = t + 56. Is 24 a factor of w?
True
Let p(u) = -u**3 - 6*u**2 + 6. Let d be (-60)/18 - -2 - (-228)/9. Let t be ((-9)/9)/(4/d). Does 2 divide p(t)?
True
Let p(k) = -k**2 - 3*k + 8. Let t be p(-7). Does 7 divide 527/5 + (t/25)/2?
True
Let h(x) = 11*x - 44. Let p be h(5). Suppose 0 = -p*r + 3*r + 1288. Is 7 a factor of r?
True
Let h be (-12)/(-7)*(-63)/(-18). Suppose h*q + 3 = -9. Is 8 a factor of (-140)/(-2)*(0 - (-3 - q))?
False
Let q(k) = 15 - 39*k**3 + 2*k - 17 - 5*k. Let s = 3 + -4. Is 10 a factor of q(s)?
True
Let k(z) = -z - 2. Let a(h) = 33*h**2 + 5*h - 3. Let o(b) = a(b) + 3*k(b). Is o(3) a multiple of 42?
True
Let b(t) = 8*t + 11. Let c be b(-4). Let m = c - -24. Suppose -k = 2*s - 63, -67 = -k - 6*s + m*s. Is 11 a factor of k?
True
Does 34 divide 595/(-105) + 2/3 + 4663?
True
Suppose -34*h = -433 + 4547. Let v = 355 + h. Does 13 divide v?
True
Suppose -9190 = 10*r - 40960. Suppose -4*g + r = -5*w, 9 + 0 = 3*w. Is 38 a factor of g?
True
Suppose -3*d = -2*j + 319, -5*d - 7 = 8. Does 2 divide j?
False
Let j(y) be the third derivative of y**8/5040 - y**7/630 + 11*y**6/720 - y**5/20 + 47*y**2. Let f(n) be the third derivative of j(n). Is 12 a factor of f(5)?
False
Let m(z) = -284*z**3 - 3*z**2 + 22*z + 24. Is 13 a factor of m(-4)?
False
Let l be (-1 - -3) + (-120)/(-6). Let d = 29 - l. Is d/(4 + 69/(-18)) a multiple of 11?
False
Let h(m) be the second derivative of 5*m**4/12 - m**3/6 + 11*m**2/2 - 23*m. Let x be h(8). Suppo