1987. Does 72 divide f?
False
Suppose 2*r = 6, -18*z + 336 = -9*z - 5*r. Let m = -10 + 14. Suppose -5*k + 6*k = m*u + 42, u = -2*k + z. Is 22 a factor of k?
True
Suppose 0 = -z + r - 3, -2*r = -z - 7*r - 9. Let b = 9 + z. Let g(f) = 2*f**3 - 6*f**2 - 5*f + 3. Does 14 divide g(b)?
False
Let r be (-15*(-15)/(-9))/(-1 + 0). Suppose -j = -r + 3. Let q = -16 + j. Is 3 a factor of q?
True
Let y = -50 - -53. Suppose 0 = 4*x - 0*n - y*n - 1535, -x + 374 = -4*n. Suppose 34 = 7*i - x. Is i a multiple of 12?
True
Let n = -125 + 129. Suppose -p = y - 276, -10*y + 5*y = n*p - 1383. Is y a multiple of 15?
False
Suppose 9 + 47 = 28*z. Suppose -3*f = z*u - 14, u - 3 = 3*f - 32. Is 4 a factor of f?
True
Does 54 divide -315*447/(-12) + 9/36 - 2?
False
Let x(u) be the second derivative of 13*u**4/12 + 7*u**3/3 - 4*u**2 + 82*u. Is 65 a factor of x(-5)?
False
Let v be 1/2*4 - 177. Let x be (v/14)/(3/12*-1). Suppose b = -r + x, 3*r = -r - 2*b + 206. Is r a multiple of 6?
False
Suppose -220 = -u - 44. Suppose 0*v + 4*v + 3*j + 140 = 0, 0 = -4*v - 2*j - 140. Let z = v + u. Does 31 divide z?
False
Let m = -5975 - -8062. Is m a multiple of 3?
False
Let b(o) = o**3 + 2*o**2 + 9*o + 72. Let n be b(-4). Does 34 divide ((-85544)/n)/(-17) - 0/(-2)?
True
Let w(y) = -y**3 - 56*y**2 + 58*y + 302. Is w(-62) a multiple of 30?
True
Let v be 1 + 18/(-14) + (-2748)/(-14). Suppose 5*q + 3*l - v = 0, -l = q - 12 - 28. Does 5 divide q?
False
Suppose 19*p - 20*p = -45. Suppose -n + 6*n = -100. Let y = p + n. Is 3 a factor of y?
False
Suppose 5*u + r = 445, 5*u - 4*r = -38 + 483. Suppose -90*p + u*p = -25. Is p a multiple of 25?
True
Let q = 234 - 111. Suppose 6*o - 4*o = -106. Let k = o + q. Is k a multiple of 14?
True
Let l(q) = -61*q**2 - 1023*q - 34. Is l(-14) a multiple of 53?
True
Let l(k) = k**2 - 4*k + 246. Let r be l(0). Suppose 2*i = 4*i + y - 485, -i + 3*y = -r. Is 37 a factor of i?
False
Suppose -3*o = -k, -2*k - k - 4*o = -65. Suppose 0 = -5*f + a - 386, -4*a + 235 = -3*f - 0*f. Is 22 a factor of -8*k/70*f?
True
Let m(p) be the second derivative of -p**5/10 - p**4/2 - 3*p**3 - 31*p**2 + 18*p - 3. Is m(-7) a multiple of 38?
True
Let t be (-2374)/(-5) + (133/(-35) - -4). Let a be 0/2*2/4. Suppose 6*u + 91 - t = a. Is u a multiple of 33?
False
Let b = 92 + -87. Suppose -2*p = 10, -i + 2*p + 143 + b = 0. Does 46 divide i?
True
Suppose -100*r = 8*r - 42768. Is r a multiple of 22?
True
Is 57 a factor of (-169)/(-143) - 4/22 - 10730*-4?
True
Let k(x) = x + 11. Let v be k(-9). Suppose v*d + w = 472, -3*d + 4*w = -486 - 211. Suppose m - 255 = -5*z, 5*z = -0*z + 3*m + d. Is z a multiple of 20?
False
Let w(a) = 52*a - 34. Let f(q) = 26*q - 17. Let g(b) = 7*f(b) - 3*w(b). Let c be g(7). Let m = c - 106. Is 14 a factor of m?
False
Let t(k) = 3*k**2 + 14*k + 5. Let q be t(-8). Suppose 2*c = 0, -6*c + q = 5*u - 4*c. Does 5 divide u?
False
Let b be (-20)/(-6)*(6 + (-54)/12). Suppose -i + 4 + 1 = -5*c, -b*i - 3*c - 59 = 0. Let z(o) = -3*o + 24. Does 18 divide z(i)?
True
Suppose -4*d - 25 = -9*d. Suppose -y = -d*i - 239, 0*i + 701 = 3*y + i. Is y a multiple of 18?
True
Let r = -6 + 0. Let a be r/9 + -554*(-4)/12. Suppose 21*g - a = 17*g. Is g a multiple of 15?
False
Let t(s) = 3*s - 81. Let k(h) = -h**3 - 8*h**2 - 9*h + 14. Let j be k(-7). Let o be t(j). Suppose -a + o*u + 2*u + 255 = 0, 2*a = u + 492. Is 35 a factor of a?
True
Suppose 28*z = 34*z + 1080. Let a = 916 + z. Does 18 divide a?
False
Is (15417/12*20/(-15))/(3/(-110)) a multiple of 11?
True
Let q = -13412 + 43002. Is q a multiple of 269?
True
Suppose -3*c + 13208 + 11654 = -22151. Is c a multiple of 22?
False
Suppose 0 = 14*i - 2421 - 25915. Does 44 divide i?
True
Let b = -46 - -114. Suppose 3*a - x + 56 = 0, -4*a - x = -4*x + b. Let m(r) = r**2 + 17*r - 41. Is m(a) even?
False
Let s(d) be the first derivative of -d**3/3 - d**2 - 4*d + 32. Let i be s(-4). Does 20 divide (-3)/(-27)*3 - 1796/i?
False
Suppose 3*g - 40 = -5*f - 2*g, -f - 10 = -5*g. Let t be -80*(100/f)/(-2). Is 12 a factor of ((-3)/(-2))/(12/t)?
False
Let q be -162 + ((-8)/2 - 2). Does 3 divide (8/10 - q/35)*5?
False
Let d(s) = s**3 - 4*s**2 - 3*s - 5. Let f be d(5). Let t = 1038 - 963. Suppose -135 = -f*j + t. Is j a multiple of 5?
False
Let p = 215 + -215. Suppose 0 = -3*h - 4*u + 1631, p*u - 544 = -h - u. Is 9 a factor of h?
False
Suppose 0 = 5*k + 9*k - 210. Is 28 a factor of (-3*1 + 60/k)*196?
True
Suppose 3*r + 8 - 41 = 4*i, -2*r = -i - 7. Let x = 34 + i. Suppose -20*y = -x*y + 410. Is y a multiple of 8?
False
Suppose 4*c - 4*d = -5*d + 13, -2*c + 2*d = -4. Let w = c + 77. Does 10 divide w?
True
Let s = -24 + 18. Let f be ((-627)/9)/((-2)/s)*-1. Suppose -10*z = -111 - f. Is z even?
True
Suppose -i - 3*i + 0*i = 0. Let z = i - -80. Does 20 divide z?
True
Let d be (-2)/((23 + -22)/(2*1)). Let n(l) = -l**2 + 8*l + 5. Let s be n(11). Is 34 a factor of 68 + (s/(-8) + d)*0?
True
Suppose -8*g + 1081 = -2615. Is g a multiple of 42?
True
Let r(x) = -x**3 - 2*x**2 + 2*x + 122. Let m be r(0). Does 3 divide 3 - 1 - (85 - m)?
True
Suppose 69*m - 2773600 = -59*m + 1983136. Is m a multiple of 27?
False
Is 13 a factor of ((-167)/7)/((-168)/15288)?
True
Let d(q) = q**3 - 17*q**2 - 3*q - 30. Let v be d(18). Suppose -13*j + v = -9*j. Is j a multiple of 12?
True
Let t(k) = 2*k**2 - 4*k + 4. Let v be t(1). Suppose -4*c + v*c = -608. Is c a multiple of 25?
False
Does 57 divide (-6)/7 - ((-317759)/91 - -18)?
False
Let s = 1152 - -94. Suppose -w + 2*q = -257, s = 5*w + q + 2*q. Is w a multiple of 2?
False
Let b(w) = -14*w + 11. Suppose y = 4*u + 21, y + y + 2*u - 12 = 0. Suppose 40 = -17*c + y*c. Is b(c) a multiple of 27?
True
Let n = -38 - -37. Is (30*(-1)/n)/(17/476) a multiple of 56?
True
Let z be -1 + 12 + 6 + -14 + 6. Suppose z*d + 58 = 1858. Is 40 a factor of d?
True
Let m = 14773 - 37. Is m a multiple of 20?
False
Is 17493/(-6)*1584/(-308) a multiple of 102?
True
Is 61 a factor of -9 + 152/16 - 14637/(-6)?
True
Let m(g) = -6*g - 61. Let o be m(-11). Is 45 a factor of (o/(-10)*-45)/((-3)/(-138))?
True
Let a = -36 - -41. Suppose -a*l = -5*i + 411 + 9, 3*i = -4*l + 252. Is i a multiple of 52?
False
Does 66 divide ((-153)/(-18))/((-28)/(-57736))?
False
Let d = -165 - -167. Suppose 5*u - 826 = d*h, -2*u + h = 4*h - 319. Is 41 a factor of u?
True
Let c = 339 + -336. Suppose -15*b + 11*b + 1665 = v, c*b + 1644 = v. Does 69 divide v?
False
Let v = 38 + 615. Let s = v - 386. Is s a multiple of 8?
False
Suppose -3*v + 2*u - 1716 + 5234 = 0, 5846 = 5*v + u. Is v a multiple of 117?
True
Suppose 15*b + 44*b = 306151. Does 76 divide b?
False
Let r = -11 + 3. Is 525/(-14)*r/3 a multiple of 3?
False
Suppose -5*l + 121 = 3*y, -5*l - 294 = -5*y - 119. Is y a multiple of 23?
False
Is 3 a factor of ((-8)/5 - 1)/(((-1066)/(-11830))/(-41))?
False
Let o be ((-104)/2)/((-196)/147). Suppose 14 = -m + 3. Let w = m + o. Is 15 a factor of w?
False
Suppose -605*q = -609*q + 180. Suppose 0 = 43*v - q*v + 1746. Does 14 divide v?
False
Suppose s - a + 11 = 0, -4*s - s + a = 47. Is 5/((-15)/s) + 525 a multiple of 33?
True
Let s(h) = 651*h + 1979. Is 26 a factor of s(-2)?
False
Let l(k) = 5*k + 45 - 14*k + k**2 + 0*k - 13*k. Does 27 divide l(22)?
False
Let t(z) = 635*z**2 - 6*z - 3. Let x be t(-1). Let j = x + -366. Does 8 divide j?
True
Let k(p) = 4*p - 138. Let d be (-4 - -1*47/1) + 5. Is k(d) even?
True
Let m(n) = 35*n - 10. Let g(f) = -12*f + 188. Let j be g(15). Is 10 a factor of m(j)?
True
Let z be 3/2 - (-3409)/14. Let u = z - 70. Does 35 divide u?
True
Suppose -34*p = 2*o - 39*p - 18, 6 = -2*o - p. Is 35/45 + o + 6135/27 a multiple of 6?
False
Let i = 36600 + -36439. Does 52 divide i?
False
Let q = 11240 - 6515. Is q a multiple of 24?
False
Suppose 3*u - 5*z - 26 = 0, -4*u - 10 = -5*u + 2*z. Suppose -5*d - 172 = -3*r - r, 30 = r + u*d. Is 6 a factor of r?
False
Does 22 divide (-5)/(-24)*4 + (169612/(-24))/(-1)?
False
Let p = 72 + -36. Let o(t) = t**3 - 18*t**2 - 4*t + 2. Let v be o(18). Is 18 a factor of (p/(-14))/(((-8)/v)/(-4))?
True
Let r(h) = -72*h**3 - 25*h**2 - 33*h + 115. Is 19 a factor of r(-9)?
False
Suppose -40*y + 39921 = -51399. Does 67 divide y?
False
Let u(y) = -10*y**2. Let p be u(1). Let g = 82 + p. Does 36 divide g?
True
Let m be 1378/3 - 1/3. Suppose -12*x = -38 + 86. Does 17 divid