)?
True
Let n be 1*3 - 5/5. Let c(d) = 5*d + 2*d - d**2 - 7 + n*d**2 - 5*d. Is 7 a factor of c(-6)?
False
Suppose 0 = 4*d + d - 0*d. Suppose d = 2*m - 5*k - 29, 0 = 3*m + 5*k - 2*k + 9. Suppose -2*a + 272 = m*a. Is 5 a factor of a?
False
Suppose 12*f = -2924 + 15692. Does 38 divide f?
True
Suppose -5*g + 94 = 79. Suppose g*l + l - 48 = 0. Suppose 3*d = 4*h + 50, 2*h + l = 2. Is d a multiple of 10?
True
Let l(i) = -27*i - 60. Let j be l(-18). Let k = -188 + j. Is 17 a factor of k?
True
Let m be (-10*1)/((-15)/120). Suppose 0 = -81*w + m*w + 315. Is 21 a factor of w?
True
Let m = 548 - 431. Let a = 649 - m. Is a a multiple of 37?
False
Let u(s) = 9*s - 9. Let k be u(1). Suppose 9*h - 52 + 7 = k. Suppose -3*c + 32 = h*w, -w = -2*w + 2*c + 9. Is w even?
False
Let h be (-2 + 3)/(2/(-8)*-2). Let g(f) = 6*f**2 - 2*f + 6. Let j be g(6). Suppose w = -t + j, h*t + t = -5*w + 634. Does 16 divide t?
True
Let l(g) = 8*g**2 + 25*g - 19. Let d be l(-6). Let w = d - 71. Is 12 a factor of w?
True
Does 62 divide 4 + (0 - 0) + -509*(-21 + 7)?
True
Suppose -1213 = p - 10613. Does 200 divide p?
True
Suppose 4*f - 289 = -k, 235 = 3*k - 4*f - 616. Suppose k = 6*d - 45. Does 38 divide d?
False
Let u be (2/18)/((-6)/(-54)). Let f(a) = 6*a**2 + 2*a. Let s be f(u). Let p(r) = -r**3 + 9*r**2 - 8*r + 12. Does 12 divide p(s)?
True
Let s be 4479 + 0/(3 + -5 + 4). Is 33/44 - s/(-12) a multiple of 17?
True
Let b be (4/6)/(14/(-21)). Let m(f) = -308*f + 7. Is 4 a factor of m(b)?
False
Suppose -69*j = -71*j - 2. Is 40 a factor of (j + 2/(-4))*28308/(-63)?
False
Let d(m) = -2*m**3 - 2*m**2 + 8*m + 4. Let w be d(-3). Let c be -3 - ((-1106)/10 - w/40). Suppose 21*r = 22*r - c. Is 27 a factor of r?
True
Suppose -59*j + 12 = -65*j. Is 58 a factor of (-2084)/(-12) - j/6?
True
Let k be (1326/85)/(-2 - (-111)/60). Let s = -19 - k. Does 2 divide s?
False
Let r(h) = 154*h**2 + 201*h - 8. Is r(6) a multiple of 10?
False
Is 17 a factor of 3/(-7) - (-422224)/28?
True
Does 21 divide -108*(1 - 4655/57)?
False
Let y be (1*33)/(1/(16/6)). Let g = 52 - y. Is (-9*g/8)/((-2)/(-4)) a multiple of 24?
False
Let f = 53529 + -36788. Does 101 divide f?
False
Suppose s - 2264 = -s + 1468. Does 6 divide s?
True
Let k(t) be the third derivative of t**5/120 + 43*t**4/24 + 15*t**3/2 - 37*t**2. Let h(x) be the first derivative of k(x). Does 9 divide h(11)?
True
Let j be 4/(-38) - 996/(-76). Let s(q) = -22*q + 21. Let d(c) = -c**2 - 23*c + 22. Let g(o) = -2*d(o) + 3*s(o). Is g(j) a multiple of 27?
False
Let o be 2100/(-55) - (-10)/55. Let b = -72 - o. Is (-4)/b + 11182/34 a multiple of 13?
False
Let u = -56 - -50. Does 7 divide (-1)/(-3) - u/((-72)/(-1004))?
True
Suppose 78*u - 79*u = -16*q + 86012, -3*q - 4*u = -16144. Is q a multiple of 28?
True
Suppose 0 = -4*l + 8*l - k - 22, 13 = 3*l + k. Suppose -l*v + 0*v - 74 = -3*f, -3*f - 4*v + 65 = 0. Suppose 43 = i - f. Does 5 divide i?
False
Suppose -7*g + 50837 = -21963. Is g a multiple of 26?
True
Let c(i) = 160*i**2 - 479*i + 2367. Is c(5) even?
True
Suppose -1394 = -h + 3*q, 49*q + 4192 = 3*h + 45*q. Suppose 4*n = -2*s + 18, -3*s + 33 = 4*n - 6*s. Suppose -h = -8*m - n*m. Is 25 a factor of m?
True
Suppose -2*s - 2472 = -6*s. Let n = s - 363. Is 20 a factor of n?
False
Does 83 divide 2324/((-34)/(-6) - (-350)/(-70))?
True
Let p(h) = -h**2 - 11*h + 26. Let k be p(-8). Is 25 a factor of k*(-4 - 0)*(1 + -2)?
True
Let p = -493 + 493. Is 11 a factor of (-22 - p)/((9 + -11)/74)?
True
Let m be (-2)/(-1)*1 + 0 - 12. Let i be m/(-20) - (-761)/2. Let b = i + -206. Is b a multiple of 26?
False
Let b = -7417 + 7617. Is b a multiple of 20?
True
Let n = 79 - 68. Let c(m) = -m**2 + 18*m + 13. Is 10 a factor of c(n)?
True
Let k = -1541 - -902. Let l = k - -1299. Does 15 divide l?
True
Let x = -20999 - -40293. Is 34 a factor of x?
False
Suppose 369520 = 5679*f - 5656*f + 85079. Does 13 divide f?
False
Let l(k) = 11*k**2 + 55*k - 378. Does 7 divide l(8)?
False
Let m = -18293 - -37091. Does 13 divide m?
True
Suppose -2*p = p - 6, p = -z + 23492. Suppose -z = -19*d - 11*d. Is d a multiple of 11?
False
Suppose 4*k + 2*v - 121476 = 0, -55550 = 5*k - 3*v - 207417. Is 66 a factor of k?
False
Suppose 164816 = 23*o + 43*o - 215344. Is o a multiple of 18?
True
Let n(v) = -11*v - 62. Let g(t) = -20*t - 123. Let a(s) = -3*g(s) + 5*n(s). Let j be a(-11). Suppose -j*q = -8*q + 100. Is q a multiple of 5?
True
Let b(c) = -c**3 - 6*c**2 - 2*c + 7. Let m be b(-5). Let d(s) = s**3 + 8*s**2 + s + 16. Let a be d(m). Is (a - -1)/(2/8) a multiple of 12?
True
Let h = -384 - -390. Is 69 a factor of h/6*7 + 782?
False
Let p(r) = -r**3 - 2*r**2 + 5*r - 2. Let u be (-182)/35 + 4/20. Is p(u) a multiple of 6?
True
Let j(c) = 5*c - 23. Let l be j(21). Let m = l - 96. Does 49 divide (98/8)/(m/(-56))?
True
Suppose 2*y - 5596 = -2*b, 2*y = 4*b - 0*y - 11174. Does 5 divide b?
True
Let c = -323 + 645. Suppose 5*o = 1357 - c. Is 23 a factor of o?
True
Suppose q = -2*q - 0*q. Suppose q = -5*n + 989 - 139. Is (33/(-55))/(168/n + -1) a multiple of 5?
False
Let w be (3 + -205)/(6/57). Let d = -1002 - w. Is d a multiple of 61?
False
Let k = 15 - 31. Let w be -8*(12/k)/3. Suppose 0 = f + 3, -w*q + f = 3*f - 82. Is q a multiple of 16?
False
Let t = 52 - 50. Suppose -3*d + t*d = 3*s - 67, 3 = 3*s. Suppose 0 = 5*c - 356 - d. Does 12 divide c?
True
Let g = -24194 + 24638. Is g a multiple of 37?
True
Let b(t) = -t**3 - t**2 - t + 1. Let q(w) = 4*w**3 - 19*w**2 - 22*w + 34. Let j(a) = -3*b(a) - q(a). Let g be j(23). Does 22 divide 2/g - (-1580)/18?
True
Suppose 2*d + 4*u = 14, -8*u = 5*d - 9*u - 24. Suppose d*w = 3*t + 1930, 2*t + 16 - 26 = 0. Is 10 a factor of w?
False
Let x(b) be the second derivative of b**6/144 + 7*b**5/30 - 4*b**4/3 + 5*b. Let h(f) be the third derivative of x(f). Is h(12) a multiple of 16?
False
Suppose 7*c + 15 = 43. Does 39 divide (1 - 1055/(-20))*c?
False
Let m(i) = -11*i - 33. Let w be (-6 - 27/(-3))*(-46)/6. Does 22 divide m(w)?
True
Suppose -3*h + 7*h + 12 = -3*m, 3*h = -9. Suppose -3*k - k + 20 = 0. Suppose -b + 5 = 3, m = -k*v - 2*b + 764. Is 19 a factor of v?
True
Let g be ((-3)/(-4) - (-17693)/52) + 0. Let r = g - 265. Is r a multiple of 76?
True
Does 36 divide (8350/8)/((-17)/(-680)*5)?
False
Does 6 divide 59370/(-9)*93/(-155)?
False
Let k(c) = 364*c**2 + 26*c - 75. Is k(2) a multiple of 2?
False
Let g be 4/(-5) - (-20)/25. Suppose g = 3*b + 127 - 175. Is b a multiple of 4?
True
Let m be 2 + 1512 - (-2 + 5). Suppose m + 833 = 4*x + 2*l, -3*x - 2*l + 1759 = 0. Does 13 divide x?
True
Let l be 4/(-10)*(-245)/14. Suppose 0 = -l*p + 1241 + 1629. Is p a multiple of 45?
False
Let a(j) = 2*j**3 + 3*j**2 - 9. Let w be a(3). Let l = w - 54. Is 3 a factor of l?
True
Does 11 divide (-32)/2 + 2251550/245?
True
Suppose 0 = -3*n - 679 + 685. Suppose -4*s + d = -2250, n*d = 4*s + 960 - 3212. Does 61 divide s?
False
Let y = 73 + -85. Let c(a) = a**3 + 12*a**2 - 3*a - 18. Let r be c(y). Let d = -11 + r. Is 4 a factor of d?
False
Let x be 2*(10/6)/(4/6). Suppose -k + 12 = -x*k. Is 6 a factor of (k + 39)*6/8?
False
Suppose -2*v + 5*o = -6992, 11*o = 4*v + 8*o - 13956. Does 57 divide v?
False
Let t = -3931 + 4111. Is 4 a factor of t?
True
Let k(s) = -989*s - 3. Let i be k(-1). Suppose -2*o = -19*o + i. Does 3 divide o?
False
Let t(n) = -n**3 - 6*n**2 - 5*n + 4. Let r be -5*(10/(-65) - 45/(-39)). Let m be t(r). Suppose m*q - 3*q = 71. Is 19 a factor of q?
False
Suppose -6*v - 1430 = -16*v. Suppose 28 + v = b. Is b a multiple of 4?
False
Suppose 64 = 3*r + r. Let q be -3*r/(-12) - 2. Suppose -q*o + 0*o + 156 = 0. Does 18 divide o?
False
Is -10494*(20/(-15) - (0 + -1)) a multiple of 22?
True
Suppose -2604 = d + 2*v, -2*d + 4*v - 5232 = -0*v. Let w be d/(-35) - (-9)/21. Is 6 a factor of 3 + (-6 - -2) + -2 + w?
True
Is 7/(28/(-12))*-909 + -1 + 4 a multiple of 65?
True
Let l = -148 - -158. Is 24 a factor of (-1955)/l*(6 + -8)?
False
Let b = 18672 - 6785. Is b a multiple of 47?
False
Let o be (129/6)/(4/8). Let h = -39 + o. Suppose -4*m + 196 = 4*b, 5*m + h*b + 0*b - 246 = 0. Is m a multiple of 18?
False
Let t(n) = 2*n**2 - 53*n. Let v be t(-12). Let p = v - 352. Does 14 divide p?
False
Let f(a) = -7*a - 13. Let u be f(-2). Does 21 divide ((-2 - 3) + 4)/u*-439?
False
Let p be (-18)/15 + ((-6)/(-15))/2. Is 6*9/54*(7