b a multiple of 131?
True
Suppose -29*a = 13*a - 168. Suppose 3*x = -a*u + 286, x - 4*u + 7 = 81. Does 4 divide x?
False
Suppose -p - 4*v + 409 = 2*p, 0 = -2*p - 4*v + 270. Let t = p + 109. Suppose u + 3*u = t. Does 16 divide u?
False
Let i be ((-7)/(-2))/(1/18). Let s be (i/(-42))/((-1)/2). Suppose -50 = 3*p + 5*j - 175, s*p - 3*j = 93. Is p a multiple of 7?
True
Suppose 4*n - 3*f - 20643 = 0, 1268*n + 5*f + 5165 = 1269*n. Is n a multiple of 15?
True
Suppose -511 = 5*a + 2*t, -3*a + 2*t = -3*t + 288. Let l = -75 - a. Suppose -22*f - 468 = -l*f. Is 16 a factor of f?
False
Let m(t) = 259*t**2 - 434*t. Is m(4) a multiple of 42?
False
Is (113 - 112) + (1342 - (2 + -1)) a multiple of 22?
True
Let r = -31117 + 58260. Is r a multiple of 32?
False
Suppose 0 = -39*s - 40100 + 154760. Is 7 a factor of s?
True
Suppose 11*a - 9392292 = -883*a + 75*a. Is 47 a factor of a?
True
Let n = -375 + 186. Let g = -62 - n. Is 3 a factor of g?
False
Let u(k) = k**3 + 23*k**2 - 4*k - 53. Is u(-23) a multiple of 39?
True
Let j = 36309 - 35917. Is 8 a factor of j?
True
Is (8 - -107)/(1*(-2)/(-10)) a multiple of 13?
False
Let r = -14485 + 29819. Is r a multiple of 11?
True
Let j be (985 - 1)/(6 + (-96)/18). Suppose r = 5*d + 455 - 171, -5*r + j = 3*d. Is r a multiple of 6?
True
Let y = 15 - 24. Let k be (6/y)/((-9)/(5238/4)). Let g = k + 149. Is g a multiple of 46?
False
Let d = 4819 - 4208. Is d a multiple of 6?
False
Suppose -4*p + 19*l = 20*l - 6890, -2*p = 5*l - 3418. Does 37 divide p?
False
Let h(z) = -2*z**2 + 780*z - 700. Is 25 a factor of h(100)?
True
Let g be -5 - (-13)/(-1)*-1. Suppose -24*a + g*a + 288 = 0. Is 9 a factor of a?
True
Let s(p) = 2*p**2 + 8*p + 12. Let u be s(-4). Suppose -u = -y + 4*l, -l - 98 = 14*y - 19*y. Does 2 divide y?
True
Let x = 9917 + -9912. Does 5 divide x?
True
Let y(p) = p**3 - 24*p**2 - 173*p + 126. Is 13 a factor of y(32)?
True
Suppose 2*w + 224 - 224 = 0. Suppose 2*g + 4*u - 5*u - 11 = w, 25 = 5*u. Is 4 a factor of g?
True
Suppose 17*a + 18*a = 4340. Is 29 a factor of (a/(-2))/(19/((-2622)/12))?
False
Let h be ((-85)/(-3) - 1)*(-2 - -5). Suppose -3*m = -5*m + h. Suppose a - 2*q - m = 3*q, a - 53 = q. Is 14 a factor of a?
True
Let d(w) = 111*w**2 + 68*w - 415. Does 153 divide d(6)?
False
Let o = 70 + -60. Suppose -3*j + o + 32 = 0. Does 14 divide 220/j - 6/(-21)?
False
Let x(j) = -j**3 - 38*j**2 + 32*j + 185. Does 63 divide x(-47)?
False
Suppose -21 = -2*w - 13. Let o be (-9)/(-3) - ((-16)/w)/4. Is 24*(4 + o + -7) a multiple of 7?
False
Let r be 1/(-2)*192/(-8). Suppose 0 = -7*d + 3*d + r. Suppose d*k + o - 5*o - 332 = 0, 4*k - 448 = 4*o. Is 29 a factor of k?
True
Let w(x) = -76*x**3 + x**2 + 2*x + 4. Let k be -5 - 5/10*-6. Is 37 a factor of w(k)?
False
Let y = -14824 + 23680. Does 36 divide y?
True
Is 42 a factor of ((2 - 2) + -33588)*(13 + (-324)/24)?
False
Let n(p) = 127*p - 418*p**3 - 253*p + 1 + 127*p. Does 38 divide n(-1)?
True
Let k = 1073 - -4617. Is 10 a factor of k?
True
Let l(x) = x**3 - 6*x + 22. Suppose 40 = -2*p - 3*p. Let w be l(p). Let z = -226 - w. Does 12 divide z?
True
Suppose -13456 = -5*b + 2*o, 52*b = 53*b + o - 2680. Is 43 a factor of b?
False
Let b(z) = 31*z - 20. Let q(j) = -62*j + 40. Let u(y) = -186*y + 120. Let n(w) = 16*q(w) - 5*u(w). Let l(s) = 5*b(s) + 3*n(s). Is 14 a factor of l(-3)?
False
Let x(y) = -556*y - 44. Is 46 a factor of x(-5)?
False
Let x = -3187 + 5287. Is x a multiple of 30?
True
Suppose 255*o - 1490712 = -104*o + o. Is o a multiple of 12?
True
Let m = -455 + -18. Let b = -419 - m. Does 2 divide b?
True
Suppose q + 0 + 3 = 0. Let y(f) = -f**3 + 4*f**2 + f - 1. Let n be y(q). Suppose -4*m + 481 = -n. Does 12 divide m?
False
Let b(r) = 3*r + 939. Is b(62) a multiple of 6?
False
Let h(k) = -29*k - 131. Let p be h(-5). Suppose 0 = -5*f + p*b - 12*b + 708, 4*f = 2*b + 566. Does 11 divide f?
False
Let k(p) = -351*p + 10325. Does 125 divide k(-112)?
False
Let o be 4*-2*(-1)/(-4). Let l(a) = -8*a + 2. Let c(w) = -7*w + 2. Let i(p) = 3*c(p) - 2*l(p). Is 6 a factor of i(o)?
True
Let f(k) = -k**3 + 10*k**2 + 3*k - 28. Let a be f(10). Let l(u) = a*u + 14*u - 7*u + 18. Does 18 divide l(16)?
True
Suppose 0 = -3*f + 5*b - 6 + 1, 3*b = -5*f - 65. Let r be (-4)/f - (-210)/(-150). Is (0 + r)/((-4)/180) a multiple of 9?
True
Let c = -18 + 19. Let m be 145/(-116)*(-4)/c. Suppose m*v - 8*v = -870. Is 58 a factor of v?
True
Let l be 39/(-26)*(-32)/(-12). Is 20 a factor of 6*((-4)/l - 176/(-12))?
False
Does 12 divide (1*42/6 + -3)/(8/4748)?
False
Suppose 4*c - 151 = w, 18*w = 5*c + 15*w - 180. Does 5 divide c?
False
Suppose 2*k + 132 = 8*k. Let u(m) = m**2 - 22*m + 59. Does 59 divide u(k)?
True
Let t(z) = z**3 + 46*z**2 - 18*z - 169. Is 31 a factor of t(18)?
True
Suppose -4*k - 48 = s, -4*s + 4*k = 209 - 77. Is 33 a factor of (614/(-8))/(9/s)?
False
Suppose d + 0*d + 3*j - 54 = 0, 0 = -d - 2*j + 52. Suppose -4*q = -284 + d. Is q a multiple of 27?
False
Let x(m) = 180*m + 5342. Does 14 divide x(60)?
True
Suppose -129*w - o + 9676 = -128*w, -3*o = 4*w - 38705. Does 67 divide w?
False
Suppose -30 = -16*d + 18. Is 29 a factor of (16 + -89)/((-32)/10 + d)?
False
Let g be 10*(-4 - (-1282)/10 - 3). Let u = g - 413. Is 47 a factor of u?
True
Let k(u) = u**3 + 2*u**2 - 6*u - 9. Suppose 16*r - 71 = 25. Is 14 a factor of k(r)?
False
Let m = -1071 + 1085. Suppose 5*j - 5*i = -435, -j - 4*i = 2*j + 240. Does 14 divide j/(7/m*8/(-6))?
True
Let n(b) = -b**3 - 12*b**2 - 5*b + 16. Let l be n(-11). Let u = -51 - l. Is (-1*143 + 3)/(u/2) a multiple of 20?
True
Let t = 129 + -209. Let k(d) = -d**2 + 22*d + 22. Let b be k(12). Let z = t + b. Is 31 a factor of z?
True
Let d be ((0 + -5)/(-1))/(2/10). Suppose -3 = d*s - 26*s. Is 20 a factor of s/(-7) + 1001/49?
True
Suppose -90*j + 92*j - 1038 = 0. Let s = -279 + j. Does 48 divide s?
True
Does 9 divide (-11 - -14 - 3) + 3459?
False
Is 30 a factor of -11 - (5 + -6) - -4268?
False
Let l(p) = 6*p**2 + 15*p + 13. Let j be l(17). Let f = 3279 - j. Is f a multiple of 14?
False
Suppose z - 2*k - 66 = -9, -4*z + 4*k = -216. Suppose z - 132 = -t. Let q = 161 - t. Does 8 divide q?
True
Suppose -2*r + r = -3*g - 372, -4*r + 5*g = -1481. Suppose 0 = 19*u - 3124 + r. Is 51 a factor of u?
False
Let j = -115 + 115. Suppose 2*z = 2*h - 290, -h - 3*z + 81 + 44 = j. Does 5 divide h?
True
Let x(z) = -z**2 - 3*z + 7. Let u be x(-4). Suppose u*v + 22 = 103. Suppose p = 4*p - v. Does 2 divide p?
False
Let l be 26*(-1 + 12/8). Suppose 7*p + l = -1. Does 23 divide ((64/10)/(-8))/(p/345)?
True
Let h = 288 - 283. Suppose h*s = 7 + 113. Is 24 a factor of s?
True
Suppose 531*q - 42253922 = -15898268. Is q a multiple of 166?
True
Let p(d) = -5777*d**3 + d**2 - 4*d - 2. Does 85 divide p(-1)?
True
Suppose 5*r - 5*p + 5 = 0, -r - 13 = 3*p - 8*p. Is 36 a factor of -108*5/((-15)/r)?
True
Let h(u) be the third derivative of u**5/30 + u**4/6 + 10*u**3/3 + 10*u**2. Let a be h(8). Let d = -104 + a. Is 19 a factor of d?
True
Suppose -312*m + 316*m - 81868 = 0. Does 101 divide m?
False
Suppose 0 = 3*w - 3*k - 30, 38 = -5*k + 13. Suppose -w*j = -4*o - 495, -5*j + 8*j - 297 = 3*o. Is 9 a factor of j?
True
Let g be 121/(-4 + 19/2 + -5). Suppose -12*t = -1606 - g. Is t a multiple of 11?
True
Let y(k) = -296*k - 4160. Is 52 a factor of y(-52)?
True
Let j(z) be the third derivative of -7*z**4 - 4*z**3/3 - 5*z**2. Let b(a) = 167*a + 9. Let y(t) = -4*b(t) - 5*j(t). Is y(2) a multiple of 58?
True
Let k = 2228 - 1502. Is 2 a factor of k?
True
Suppose 5*m = 3*p + 342443, -5*m + 112410 + 230034 = -4*p. Is m a multiple of 372?
False
Suppose -138 = -r + 3*l + 209, 4*r - 4*l = 1428. Let c = -307 + r. Is c a multiple of 2?
False
Let n(l) = l**3 - 12*l**2 + 6*l + 20. Let a be n(10). Is 39 a factor of (56/10)/((-2)/a)?
False
Let c be 78/(-9) + (-1)/3. Let d(i) = -2*i**2 - 3*i**2 + 0*i + 4*i**2 + 5*i + 9 + 2*i**2. Is d(c) a multiple of 9?
True
Is (-21471)/(-15) + ((-54)/(-15))/6 a multiple of 6?
False
Suppose 5*u + 4 = 39, -3*u + 23682 = 3*d. Is 10 a factor of d?
False
Let w(u) = -4*u**3 - 16*u**2 - 7*u + 7. Let l be w(-4). Suppose 0 = 43*o - l*o - 960. Does 15 divide o?
True
Let u be -78*(-4)/(-30)*-25. Let k be u/(-8)*(-208)/10. Suppose 512 = 9*y - k. Does 22 divide y?
True
Suppose 0 = -71*z + 60*z + 19844. Let u = -892 + z. Does 16