 be n(f). Does 8 divide ((-3)/(q + -2))/(2/116)?
False
Let j = 13501 - 7427. Does 42 divide j?
False
Let t(z) = -14*z - 43. Let g(u) = 10*u + 44. Let f(a) = -7*g(a) - 6*t(a). Is f(15) a multiple of 16?
True
Suppose 762 = c - 6*p + 10*p, -p = 5*c - 3734. Is c a multiple of 5?
False
Let i = -11720 - -18372. Is 28 a factor of i?
False
Suppose -2*o - 5*x = 2*o + 571, -5*o = x + 740. Let g = 191 + o. Does 3 divide g?
True
Let b be 4/(2/(9 - 8)). Suppose -b*g = -71 - 97. Is 3 a factor of g?
True
Let s = -355 + 8994. Is 198 a factor of s?
False
Let w(r) = 2*r**2 - 29*r + 34. Let k be w(21). Let g = -177 + k. Does 4 divide g?
False
Suppose 4*t - 5*p + 7331 = 22804, 4*t - 2*p - 15482 = 0. Does 13 divide t?
False
Let h = 18 - 14. Let s = 305 - 230. Does 7 divide (s - 2) + (2 - h) + -1?
True
Let o(d) = 14*d + 216. Let n be o(0). Suppose 0 = -11*u + 13*u - n. Is 12 a factor of u?
True
Let w(d) = 30*d**2 + d + 486. Does 32 divide w(0)?
False
Let d be (-36)/10 + 9/15. Let x be 254 - (1 + (d - -5)). Suppose 2*g + x = 3*y, y + 2*y - 259 = 4*g. Does 20 divide y?
False
Is 0 + 292 - (7 - -9) a multiple of 4?
True
Let f = -255 + 375. Let z = -83 + f. Let w = z - -26. Is 9 a factor of w?
True
Let v(m) = -m**2 - 12*m - 5. Let c be v(-10). Suppose 4*l - 27 = -k + 12, 3*l - c = 0. Let q = 9 + k. Is 3 a factor of q?
False
Let l be (3/18)/((-3)/18)*-13. Is (2*l)/(6*(-10)/(-270)) a multiple of 7?
False
Let g = 48 + -48. Suppose -4*s - 4*f + 862 = -714, g = -5*s - f + 1982. Is 27 a factor of s?
False
Suppose 5*x - 2*n - 13 = 0, -4*x - 6*n = -4*n - 14. Does 5 divide (-10)/2 - (-210 - x)?
False
Suppose -3*j + 2*p = -6, 2*p - 6 + 0 = -3*j. Let c be ((-9)/(-2))/(2 + (-3)/j). Does 14 divide 2000/144 - (-1)/c?
True
Suppose -7*k = 22*k - 116. Is 13 a factor of (k/(-14))/(48/(-84))*346?
False
Let g = 18 - 18. Suppose g = -16*u + 269 + 291. Is u a multiple of 4?
False
Let t be (-19684)/57*(-6)/4. Let y = t - 198. Is y a multiple of 10?
True
Suppose -629658 = -246*m + 3147 + 480099. Does 116 divide m?
True
Suppose -1881 = -3*m + 18423. Does 15 divide m?
False
Let j = -364 + 393. Suppose -24*o + 5*v = -j*o + 1110, -2*v = 3*o - 669. Is 22 a factor of o?
False
Let u be (-9)/(-2)*2 + (-96)/16. Let g(p) = -p**2 - 6*p - 4. Let a be g(-3). Suppose d + u*v - 180 = -3*d, 0 = a*d + 5*v - 225. Is d a multiple of 5?
True
Suppose 0 = -33*g + 231401 + 30256. Does 73 divide g?
False
Suppose -2*f + 2*k + 116 = 0, 5*f - 294 = -0*f + k. Let g = -3484 - -3460. Let r = f + g. Is 6 a factor of r?
False
Suppose 0 = 5*c + 5*h + 3495, 0*h = -3*c - 4*h - 2097. Let l = 723 + c. Is 2 a factor of l?
True
Let i(n) = n**3 - n**2 - 2*n + 1440. Let q be i(0). Suppose -7*d = 5*d - q. Does 24 divide d?
True
Let y(v) be the second derivative of 1/2*v**2 + 13/12*v**4 + 0 - 1/3*v**3 + 8*v. Does 28 divide y(3)?
True
Let x be (4/6)/(4/(-36)). Does 3 divide 219 - (-6 - -6)/x?
True
Let r be (-2)/(-8) - 729/36. Let a = r + 12. Is a/(-4) + 31 + -4 a multiple of 22?
False
Suppose 52003 = -11*b + 24*b + 4*b. Is b a multiple of 161?
True
Suppose 12*a - 357 = 327. Let k = 277 - a. Let b = 324 - k. Does 8 divide b?
True
Is 44 a factor of ((-4)/(-2) - (-756)/(-15))*(-6 + -274)?
True
Let p(i) be the second derivative of i**7/2520 - i**6/240 - i**5/5 - 23*i**4/12 + 24*i. Let r(a) be the third derivative of p(a). Is 12 a factor of r(-9)?
True
Suppose -10*v = -7*v - 9. Suppose 2*z + 23 = j, 1 = -z - 0*z - v*j. Let s = 54 + z. Does 11 divide s?
True
Suppose 65*x + 60 = 62*x. Is 30 a factor of ((-1136)/x)/((-4)/(-20))?
False
Let u = -88 + 89. Let t be 78*u + 4 + 0. Let n = t + 16. Is 6 a factor of n?
False
Let s be (-184)/(-44) + 8/(-44). Suppose 3*x + s*x - 518 = 0. Is x a multiple of 42?
False
Let g = 5505 - 4325. Is g a multiple of 5?
True
Let k = 35 - 33. Let s(v) = 4*v - 2*v - 3*v + 0*v + 14*v**k - 4. Is s(3) a multiple of 13?
False
Is 16 a factor of 2755/(957/33)*3572/10?
False
Let u = 610 + -940. Let g = u - -510. Does 45 divide g?
True
Let j(z) = -1. Let t(m) = -6*m + 8. Let w(x) = 24*j(x) + 3*t(x). Let y be w(-11). Suppose 0 = -q + 3*l + y - 26, 2*l + 8 = 0. Is 40 a factor of q?
True
Let j(z) = -100*z**2 - 10*z + 10. Let d(k) = -67*k**2 - 7*k + 7. Let f(p) = 7*d(p) - 5*j(p). Let i be f(1). Let s = i - -80. Is s a multiple of 17?
False
Let r(k) = k**2 + 22*k - 48. Let c be r(-24). Suppose -2*q + 4*i - 6 = c, -6*q + 41 = -q + 4*i. Suppose 0 = q*h + 12 - 62. Is h a multiple of 2?
True
Suppose -4716 + 23376 = 3*l. Is l a multiple of 10?
True
Let n be -3 + 6/((-30)/85). Is 10 a factor of 844/14 - n/(-70)?
True
Suppose -94*o - 13453640 = -273*o. Is 40 a factor of o?
True
Let f be 196*3*(-3)/(-18). Suppose 3*v + 25 - 89 = -4*w, w = 4*v - f. Does 24 divide v?
True
Let w(t) = 4*t**3 - 41*t**2 - 9*t + 25. Is 19 a factor of w(14)?
False
Let c be 2/(-8*(-6)/264). Suppose 1575 + 823 = c*i. Does 7 divide i?
False
Let c(w) = -10*w + 9*w + 0*w**2 + 3*w + w**2 + 176. Is c(-31) a multiple of 117?
False
Suppose -32479 = -18*l + 163541. Is 45 a factor of l?
True
Suppose 50*g - 61*g + 4983 = 0. Let w = -411 + g. Does 14 divide w?
True
Let y(h) = 8*h - 5. Let a be (-10)/(-5 + (5 - 1)). Is 6 a factor of y(a)?
False
Let m be 2/4 + (-230)/20. Let a = -7 + m. Let x(w) = -w**3 - 16*w**2 + 17*w - 23. Is 13 a factor of x(a)?
False
Let p = -1043 + 18012. Is p a multiple of 10?
False
Suppose 36*k - 147379 = -5*k + 752243. Is k a multiple of 106?
True
Suppose 7*w = 8*w - 3*n - 26188, -3*w + 78597 = 2*n. Is w a multiple of 67?
True
Let j(k) = k**3 + 14*k**2 + 25*k - 15. Let b be j(-12). Is 8 a factor of 80/(-25)*(1 - b/(-2))?
True
Suppose -4*r = 3*f - 53, -4*f - f + 98 = -3*r. Suppose 179 = 5*o + f. Is 10 a factor of (-8)/(-6)*210/112*o?
True
Let m = 22 + -18. Suppose -u = -2*f + 87, -298 = 4*u - 2*f + m*f. Is ((-286)/u)/((-1)/(-7)) a multiple of 18?
False
Does 188 divide 849*6/27 + 8/(-12)?
True
Let v(x) = 5*x**2 - 49*x - 24. Suppose 0 = -3*l + u + 59, 2*l + 15*u = 20*u + 22. Is 12 a factor of v(l)?
True
Let z(p) = -27*p + 49. Let f(u) = 26*u - 48. Let l(r) = -3*f(r) - 4*z(r). Is 22 a factor of l(9)?
False
Suppose -5*d + 33*d = 3*d + 275125. Does 71 divide d?
True
Let n(b) = 3*b + 39. Let o be n(-15). Is 33 a factor of (2 - (-45)/o)*-6?
True
Suppose 25250 + 33354 = 26*n. Does 29 divide n?
False
Let r(z) be the third derivative of -z**5/60 - 23*z**4/12 - 34*z**3/3 - 11*z**2 - 3. Is r(-32) a multiple of 38?
True
Let q be (2 + 2)/4 - 718. Let o = -348 - q. Does 5 divide o?
False
Let a = 314 + -309. Suppose 0 = -2*i - o + 548 + 469, a*i - 5*o - 2550 = 0. Is i a multiple of 25?
False
Let h be 11 + 0*(-4)/(-20). Suppose h*m = 6*m + 55. Does 23 divide 196*(11/6)/m*3?
False
Let b be 10/2 + 272/(-17). Let w = 67 - b. Is 26 a factor of w?
True
Suppose 31*d - 36 = 22*d. Let o(n) = 2*n**3 + n**2 - 2*n + 3. Is o(d) a multiple of 26?
False
Let j be ((8/(-2))/(-12))/((-2)/(-18)). Does 10 divide ((-2)/j)/(0 + (-7)/1155)?
True
Suppose -10 = c - 11, 0 = 4*w - 4*c - 5652. Let b = -890 + w. Is 74 a factor of b?
False
Suppose 108 = -16*s - 11*s. Does 40 divide 35*(20/7 - s)?
True
Is 45 a factor of (-341859)/(-28) + (126/(-14))/36?
False
Let y(p) = -15*p**3 + 15*p**2 - 22*p - 82. Let a(d) = -5*d**3 + 5*d**2 - 7*d - 27. Let n(h) = 7*a(h) - 2*y(h). Is n(-4) a multiple of 39?
False
Suppose -8*h + 466 = -6*h. Suppose -29 = g - h. Does 6 divide g?
True
Suppose 0 = -17*p + 12*p + 125. Let z be 15/p*(-20)/(-6). Suppose -3*u - 183 = -3*i, 8 = -2*u - z. Is 8 a factor of i?
True
Suppose 0 = -25*l + 93673 + 18302. Does 19 divide l?
False
Let b(j) = 0*j**3 - 5 - 3*j**2 - 7*j + 8 - j**3 - 25. Let h = 17 - 22. Does 21 divide b(h)?
True
Suppose -4*l + l = -45. Suppose 1037 = l*g - 1168. Suppose 0 = 9*w - g - 771. Is w a multiple of 13?
False
Let a = -16 - -61. Suppose a*y - 40*y - 25 = 0. Is 33 a factor of (51 - 1)*y - 0/18?
False
Suppose -2*x + 4*x = -3*u + 27, -32 = -4*u - 4*x. Suppose 0 = 8*j - u*j - 9, 2*j = m - 132. Is m a multiple of 9?
True
Let b be (-6)/14 - ((-390)/(-70) - 9). Suppose -b*j = 3*s - 729, s = -1 + 2. Does 28 divide j?
False
Suppose w - 4*j - 32 = -2*w, 2*w + 5*j = 29. Is (-21)/14*(-448)/w a multiple of 18?
False
Suppose 8*d + 54 - 78 = 0. Suppose d*g - f = 880, -11 = -4*f - 3. Is g a multiple of 69?
False
Suppose -81220 = -3*n + 2*x, 1672*x + 108294 = 4*n + 1669*x. 