 4*f - 18. Let n(a) = a**2 + 12*a + 41. Let s be n(-6). Is k(s) a multiple of 27?
True
Let p be -3*265/(-30) + 3/2. Does 23 divide ((-161)/p)/(((-6)/2)/120)?
True
Let a = 42 - 39. Suppose -4*h + 1 + a = 0. Does 19 divide ((-51)/(-4))/(h/4)?
False
Let q = -347 - -352. Is (-1)/(q/936)*70/(-21) a multiple of 48?
True
Let p = 49 - 44. Suppose -2*q + 9 = d, 0*q + q + 1 = p*d. Suppose 4*o - 416 = -q*o. Does 13 divide o?
True
Suppose 2*v + g + 1 = -11, 0 = 4*v - g + 36. Let y be (v/6)/((-8)/(-108)). Let o(c) = c**3 + 18*c**2 - 2*c - 20. Is o(y) a multiple of 16?
True
Let q be 4/(-14) - (9/(-126) - 15/70). Let u be 6*2/6*2. Suppose q = -u*v + 18 + 262. Does 22 divide v?
False
Let y(i) = -i**3 + 2*i**2 - 3*i + 1138. Let d be y(0). Suppose d = 2*l + 302. Does 19 divide l?
True
Let t = -8 - -9. Let p be (3 + t/4*-14)*-590. Let y = p - 209. Is 8 a factor of y?
False
Suppose a + 109 - 2173 = 1885. Is a a multiple of 11?
True
Suppose 3*i = -3*i + 1956. Suppose -i*p + 321*p + 3220 = 0. Is p a multiple of 22?
False
Suppose -3*c + 6522 = 5*m, 100*m + 8766 = 4*c + 95*m. Does 20 divide c?
False
Let c be (-10)/(6 - (7 - 3))*-10. Let q = -134 - -220. Let i = q - c. Is 12 a factor of i?
True
Let m = -250 + 254. Is 11 a factor of 264/(-16)*(-57 - m/4)?
True
Suppose -525533 = 2*z - 95*z + 439714. Does 97 divide z?
True
Suppose -4*a = 16, -4*y + 12955 = -2*a - 5349. Is y a multiple of 38?
False
Suppose 23 = p + 107. Let m = 13 - p. Is 5 a factor of m?
False
Does 14 divide (-2594309)/(-327) + (-10)/(-3)?
False
Let p(b) = 2*b**3 - b**2 + 13*b + 9594. Does 117 divide p(0)?
True
Let f = 987 - 982. Let d = -7 - -13. Suppose 5*l = -f*m + 520, d*m + l - 512 = m. Is 24 a factor of m?
False
Is 92 a factor of -7 + (9957/(-12))/((-42)/168)?
True
Let w = -904 + 872. Let x be 2/(-7) - (-1434)/21. Let t = w + x. Does 30 divide t?
False
Suppose 1824414 = 113*w + 48*w - 927720. Is 259 a factor of w?
True
Let x = 20470 + -16528. Is x a multiple of 9?
True
Let n(r) = 114*r + r**2 + 150*r - 277*r - 18. Let j = -29 + 48. Is n(j) a multiple of 34?
False
Let f = -16 - -14. Let s(q) = -q**2 - 2*q - 2. Let b be s(f). Is b/(-9) + (-3840)/(-216) a multiple of 18?
True
Let n = 18727 - 11907. Is 10 a factor of n?
True
Suppose -8*f - 27818 + 121770 = 0. Does 16 divide f?
True
Suppose j + 3*m - 6 = 0, -2*m + 1 + 3 = -2*j. Suppose j = 2*b - u - 2857, u + 6527 - 816 = 4*b. Is 75 a factor of b?
False
Suppose 2*r - z = r - 3, -4*r = 4*z - 4. Let n be 2 + (-1 - -2) - 2*r. Suppose -6*k = 5*x - 3*k - 100, -n*k = -25. Is x a multiple of 3?
False
Let g be 66814/121 + 6/(-33). Suppose w = -7*w + g. Is 16 a factor of w?
False
Let f(h) = 8*h + 16. Let j(y) = 6*y - 102. Let q be j(19). Is 14 a factor of f(q)?
True
Is 214 a factor of (0 - (-2 + (-5)/(-5)))*4072?
False
Let j(m) be the third derivative of m**6/120 + 11*m**5/60 + 5*m**4/12 + 5*m**3 + 2*m**2. Suppose 4*n + 39 = -4*q + 15, -4*n + 12 = 0. Is j(q) a multiple of 40?
False
Let x(g) = -5*g - 4. Let u(n) = 3*n + 3. Let j(h) = 8*u(h) + 5*x(h). Let c be j(0). Suppose -c*o - 8 = 0, -5*p + 282 = -0*p - o. Does 8 divide p?
True
Suppose 13262 = 16*z - 14018. Is 155 a factor of z?
True
Does 4 divide 7 - ((-14)/147 + (-46994)/42)?
False
Suppose x - 14 = -x - 2*k, -28 = -4*x + k. Let g be (-5)/35 + 43/x. Suppose g*a - 527 = 937. Does 35 divide a?
False
Suppose 3*c + 3*u = 30, c + 3*u + 18 = 4*c. Let a be (1/3)/(c/144). Suppose -a = -2*p, -4*q = -4*p + p - 231. Is 15 a factor of q?
True
Let o be 1*-1*(0 + 2). Let p be (-2 + -10)*1/o. Let x(w) = w**2 - 3*w - 5. Does 2 divide x(p)?
False
Suppose 3*j + 2277 = p, 7*p = 2*p + 30*j + 11295. Is p a multiple of 9?
True
Suppose 4 = -b - 2*c, -b + 2*c + 11 = 7. Suppose 3*v + j - 2903 + 621 = b, v - 768 = -4*j. Is 76 a factor of v?
True
Let t = -544 + 544. Suppose -95*l + 100*l - 365 = t. Is l even?
False
Let z be -9*((-40)/12 - -3). Let t be 2*z/3 + 1. Suppose -148 = -4*m - m - h, 98 = t*m - 4*h. Is 15 a factor of m?
True
Let b = -319 + 323. Suppose 52 = b*y + 4*h, 5*h = -3*y + 7*y - 25. Is y a multiple of 9?
False
Let h be 27/(-108)*2*1*0. Suppose 21*l - 47*l + 45994 = h. Does 61 divide l?
True
Suppose -2*b - 2*h = 0, 9*h - 10*h = -3*b. Suppose b = 3*m - 23*m + 5040. Is m a multiple of 63?
True
Let h(l) = 3*l**2 - 6*l - 432. Does 149 divide h(24)?
False
Let u(g) = 5*g**3 + 2*g**2 - 18*g + 177. Does 81 divide u(7)?
False
Let w be 3/18 + 33725/(-30). Let d = 2089 + w. Is 6 a factor of d?
False
Let c be (-94)/(-10) + (48/5 - 10). Suppose -c*l = 4422 - 12288. Is 67 a factor of l?
False
Suppose -5485*s + 2117520 = -5312*s. Is s a multiple of 72?
True
Suppose -7*z + 6 = -4*z. Let r(p) = p + 49. Let v be r(-15). Suppose 114 = z*y + v. Is 10 a factor of y?
True
Suppose -l - 1 + 4 = -2*d, 3*d + 18 = -3*l. Let z be -7 - (3 + l + -1). Let k(t) = -t**3 - 2*t**2 + 15*t + 6. Does 12 divide k(z)?
True
Let y be (-9 + 5)*(-2)/4. Suppose -y*a - 30 = 3*a. Let n = 76 - a. Is n a multiple of 29?
False
Let r be (-48)/(-20)*(-120)/9. Let z = r + 43. Suppose -p + z = -70. Is p a multiple of 12?
False
Suppose v = -3*u - u - 363, 5*v = 3*u + 255. Does 11 divide (396/(-10))/(18/u)?
True
Is 113 a factor of (-452)/16*6*7216/(-132)?
True
Does 13 divide (0 + 17654)/(-60 + 62)?
True
Suppose -2*g + 11 = -0*g - s, 23 = 3*g + 5*s. Let i(y) = y**2 - 10*y + 26. Let c be i(g). Suppose 5*f - 4*o - 112 = 0, 3*o = -c*f + 41 + 13. Is 4 a factor of f?
True
Suppose 4*q = 3*w - 6*w - 5, 0 = 2*w + 4*q + 6. Suppose -4*g = 7 + w, 3*o - 2350 = -g. Is o a multiple of 55?
False
Let h(u) = 7*u**2 - 3*u. Let d be h(-1). Let k = -14 + d. Does 22 divide (-3)/k - 1398/(-24)?
False
Suppose -3*z + 602 - 2 = -246. Does 141 divide z?
True
Suppose -188 = 4*g - 20. Let t = g + 46. Is 3 a factor of t/(-14) + 1/(21/384)?
True
Let p be -7 + (25/5 - 7). Is 2/(-6) + p/((-81)/1281) a multiple of 25?
False
Let j = -136 + 133. Is 26 a factor of (12/j)/(1 - 0) - -134?
True
Suppose -k + 1 = 0, -97*k + 211942 = 3*g - 99*k. Does 20 divide g?
False
Suppose 22 = 5*z - 4*x, 12 = -x - 3*x. Is 0 - (-329 + z + 1) a multiple of 38?
False
Does 12 divide (2*5424/28)/(24/84)?
True
Let f = 24 - 24. Let r be 4/(8/6) - f. Suppose -11 = -a + 5*p, 4*a - r*p - 44 = -p. Is a a multiple of 11?
True
Let v = 2390 - 2121. Is v a multiple of 2?
False
Suppose 12 = 35*h - 29*h. Let l be 7/(-7) - -5 - h*1. Suppose -n - f + 41 + 18 = 0, 3*n = l*f + 187. Is n a multiple of 22?
False
Let s = 1892 + -1069. Is 20 a factor of s?
False
Let x(i) = -i**2 + 14*i - 16. Let v be x(13). Does 14 divide (2/v)/(36/(-6102))?
False
Let d be 2*(-189)/(-12)*(-2)/3. Is 8 a factor of (-150)/(-9)*(d - -45)?
True
Suppose -12 = f - a, -3*f = 4*a - 0*a + 15. Let o = 29 + f. Suppose -w = -2*u - 10, 0 = -2*w - 2*u + 6 + o. Is w a multiple of 3?
True
Suppose 2*p = 2*q + 318, 807 = -11*p + 16*p - q. Does 12 divide p/(-9)*(-206)/4?
False
Let n(b) = -271*b - 2223. Does 13 divide n(-39)?
True
Is ((-3 - (-651)/(-6))*202)/(12/(-24)) a multiple of 223?
True
Let a = 25 + -15. Suppose 0 = a*m - 5*m + 60. Is (1/12 + (-3)/m)*6 a multiple of 2?
True
Suppose -28307 = -25*h + 57943. Does 4 divide h?
False
Let n(w) = -3*w**2 - 2*w**2 + w**3 - 4*w - 9*w - 7*w**2. Let f be n(13). Suppose 3*t = t + 2, 4*s - 4*t - 508 = f. Is 6 a factor of s?
False
Let v = -447 + 578. Let t = 69 - 28. Let h = v - t. Does 5 divide h?
True
Suppose -b - 4*f = -2590, -11*f + 12*f - 4 = 0. Is b a multiple of 33?
True
Suppose -4*s - 8 = -8*s. Suppose -3*t - s*r = 205, 5*t + 3*r + 201 = 2*t. Let n = t - -126. Is 5 a factor of n?
True
Let q = 2007 + 16562. Is 29 a factor of q?
False
Is (-16502090)/(-574) + 2/(-7) a multiple of 259?
True
Suppose -406*j - 507662 = -447*j. Is j a multiple of 82?
True
Suppose 2*i - 606 = -2*g, -2*i - 7*g + 9*g = -602. Let c = i - 211. Does 3 divide c?
False
Let b(u) = -14*u**3 - 15*u**2 - 179*u - 3. Is b(-8) a multiple of 82?
False
Suppose 6 = -k + 2*b, k - 3*b + 4*b - 6 = 0. Suppose k*q + 13695 = 17*q. Does 11 divide q?
True
Suppose 788 + 11 = 17*q. Let g = 113 + q. Is g a multiple of 16?
True
Let c(j) = j**3 + 14*j**2 + 6*j + 24. Suppose 5*h + 21 = -34. Let r be c(h). Suppose 3*n + r = 6*n. Is n a multiple of 7?
False
Let u(a) = a - 11. Let r be u(6). Let y be 4/10 + (-188)/r. Suppose 50 = c - y. Is 18 a factor of c?
False
Suppose -2*n - 4*u = 12, -u - 25 