-4*r + 166. Let a = -54 + b. Is a a multiple of 19?
True
Suppose -13*q + 14*q = 173. Suppose -f + q = -92. Let n = f - 96. Does 13 divide n?
True
Does 92 divide (-82 + -4)/((-2)/174) + 2?
False
Does 131 divide (94/329)/(6/844704)?
False
Let p = 11127 - 3978. Is 3 a factor of p?
True
Suppose 1456 + 988 = 2*a. Let q = 2060 - a. Does 30 divide q?
False
Let a(k) = -k**3 - 24*k**2 + 4*k - 113. Is a(-28) a multiple of 120?
False
Let v(b) = -8*b**3 + b**2 - 3*b + 3. Let l be v(1). Let h(u) = u**3 + 8*u**2 + u - 16. Let x be h(l). Does 9 divide (-2)/13 - (-2968)/x?
False
Suppose 3*g + 20 = -0*i + i, -g + 148 = 5*i. Let h(v) = 26 - i - 6*v - 7*v. Does 18 divide h(-3)?
True
Suppose -26*g - 78540 = -16*g - 120*g. Does 7 divide g?
True
Suppose -2*g + 2120 = 5*n + 3*g, -5*n - 2*g + 2135 = 0. Suppose u - n = -u + 3*l, -2*l = 2. Does 19 divide u?
False
Suppose 16094 = -r + 14*r. Let z = 1907 - r. Is 55 a factor of z?
False
Let s = 77 + -64. Suppose u - s = 2*q, u - 5*q - 19 = 3*u. Suppose 71 = -2*f - 3*w + 280, u*w - 415 = -4*f. Is f a multiple of 37?
False
Let j(b) = -b**3 - 12*b**2 - 2*b + 16. Let x(w) = -w**2 - w + 1. Let l(f) = -j(f) - 5*x(f). Let d be l(-12). Suppose -4*n + n = -d. Is n a multiple of 24?
False
Is 46 a factor of (-2)/(-51)*-3 + (-14676644)/(-578)?
True
Is 11 a factor of (-6 - 322/(-42))/((-5)/(-90642))?
False
Suppose -22*z = 2*z - 48. Suppose -3*v - 110 = -z*q, 275 = 5*q - 8*v + 4*v. Is q a multiple of 10?
False
Suppose 2*o + x = 5, -3 = 3*x + 6. Let j be o/(-3)*(3/(-6) + -1). Suppose 28 = j*y + 3*c - c, -4*c = -y - 1. Is y a multiple of 11?
True
Let a be 36/(-66) - 12/(-22). Suppose -3*j + 5*g + 569 = a, 12*j - 8*j = -2*g + 802. Does 18 divide j?
True
Let m = 518 - -394. Suppose -72 = x - m. Does 28 divide x?
True
Suppose 3*a - 103 = -22*o + 20*o, 0 = 4*o + a - 221. Suppose -5*x = 5, 5*l + o = 3*x + 419. Does 12 divide l?
True
Suppose -2 = 2*d + 3*x - 9, 3 = 3*d - 3*x. Suppose d*r - 3786 = -1066. Is r a multiple of 16?
True
Let b(w) = -w**3 - 19*w**2 - 20*w - 8. Let r be b(-18). Suppose p = -2*p - 39. Let y = r + p. Is 3 a factor of y?
True
Let o be ((-40)/(-6))/(1 + 4/(-12)). Suppose -o*d + 5700 = 5*d. Is d a multiple of 11?
False
Suppose 3*c = 4*o - 467, -7*o + 2*o - c = -560. Is (5 - -2)*(o - -1)/3 a multiple of 14?
True
Let k(c) = 325*c**2 + 1570*c + 31. Is k(-13) a multiple of 64?
False
Let j(q) = -139*q**3 - q**2 - 4*q - 2. Let s be -1*(-4)/20 + (-6)/5. Let o be j(s). Suppose -3*l - o = -8*l. Does 10 divide l?
False
Let a(v) = 7*v**2 - 15*v + 6. Let f be a(-5). Does 19 divide 0 + (f/(-6))/((-18)/513)?
True
Is ((-638666)/(-12))/7 - (7 - 246/36) a multiple of 6?
False
Does 17 divide (-2834148)/(-2060) + (-2)/(-10)?
False
Let p = -306 - -300. Does 2 divide 2/p*(-9)/3*73?
False
Let n = -115 + 117. Is 6 a factor of (n - (-98)/(-5))*(-30)/4?
True
Suppose 4*m + 44469 = 85*m. Is 61 a factor of m?
True
Suppose 5*w - p - 24 + 1 = 0, -p = 3. Suppose w*x - 5*j - 15 - 31 = 0, j = 2*x - 20. Suppose 0 = -6*a + x*a - 171. Is 19 a factor of a?
True
Suppose -m + 3*q = -1811, 5*q + 5533 - 1913 = 2*m. Is m a multiple of 6?
False
Let q(t) = 2*t**2 - 9*t - 12. Suppose 3*y + 123 = -5*v, -32 = 5*y - 5*v + 173. Let f = y - -36. Does 24 divide q(f)?
False
Suppose -73*w + 14795 = -71*w - 5*g, 28 = 4*g. Does 5 divide w?
True
Let b = 35293 + -23114. Is 261 a factor of b?
False
Let u(d) = d**3 - 8*d**2 + d + 4. Let y be u(7). Let i = y - -99. Suppose -i - 237 = -2*g. Is 10 a factor of g?
False
Let t(j) be the third derivative of j**6/90 - j**5/60 - 7*j**4/12 - 35*j**3/6 + 9*j**2. Let m(y) be the first derivative of t(y). Is m(-5) a multiple of 8?
True
Suppose -5*u + 5*x + 1790 = 0, 3*u + u = -x + 1432. Let s = u - 210. Does 11 divide s?
False
Let p = -17 - -16. Let c be (-20)/4*(0 + p). Is 8 a factor of (c + 3 + 0)/1?
True
Suppose 0 = -38*g + 12880 + 1522. Does 10 divide g?
False
Suppose 162006 = 78*x + 121*x - 26049. Does 280 divide x?
False
Suppose -5708*i + 5711*i = -2*r + 80680, -3*i + 3*r = -80715. Does 11 divide i?
False
Let g(o) = -93*o**3 + 18*o**3 - 1 - 11*o**2 + 24*o**3 - 1 + 31*o**3 - 23*o. Is 19 a factor of g(-3)?
False
Let u(x) = 404*x - 250. Is 7 a factor of u(2)?
False
Is 33 a factor of -764*(1243/(-44) - 14)?
False
Suppose 10 + 757 = t + 2*i, 3*i + 12 = 0. Does 20 divide t?
False
Let q(g) = -10*g - 11. Let y(j) = 9*j + 10. Let p(f) = -3*q(f) - 2*y(f). Does 6 divide p(11)?
False
Let r(h) = h**2 - 19*h + 66. Let m be r(15). Suppose 0 = -m*j + 271 + 251. Is j a multiple of 10?
False
Suppose 0 = 2*h - 21 - 143. Suppose 2*t = t + h. Let r = -63 + t. Does 4 divide r?
False
Let o = -6441 - -12813. Is 28 a factor of o?
False
Suppose 0 = -4*p + 4*w + 1428, 2*p + 5*w - 714 = 3*w. Does 2 divide p?
False
Is 32 a factor of (-11 - 435/(-40)) + (-1456645)/(-40)?
True
Suppose 0 = -m - 2*m - 651. Let u = m - -477. Is 10 a factor of u?
True
Suppose -3*o = 2*r + 1323, -o - 22*r + 25*r = 452. Does 37 divide (63/(-14))/(-9) - o/2?
True
Suppose 528575 = 114*a + 49*a - 1270945. Does 23 divide a?
True
Let q = 105 + -45. Suppose 0*z - c - q = -4*z, -2*c = z - 24. Let i = z + 22. Is i a multiple of 6?
False
Suppose 3*k + 3*n = 0, 0 = k - 8*n + 3*n + 30. Let f(b) = -2*b**2 - 19*b - 38. Is f(k) a multiple of 2?
False
Let j(z) = 3714*z - 5082. Does 60 divide j(3)?
True
Suppose 5*f + 3*i - 54 = 0, 3*i + 40 = 3*f + i. Let k = 16 - f. Suppose 0 = k*w - 7*w + 150. Does 10 divide w?
True
Let l be 42/8 + -1 - 3/12. Suppose -20 = -l*x - 4. Suppose x*p - 10 = 3*p. Is p a multiple of 2?
True
Suppose 95375 - 266405 = -148*k + 415198. Does 3 divide k?
False
Let s be (1 - 0)*(60 - 60). Suppose s = -8*g + 2*g + 444. Is g a multiple of 4?
False
Let p be ((-4)/1)/(-24) - (-16335)/162. Suppose 4*l - 3*w = 139, -3*l - w = -0*l - p. Is 17 a factor of l?
True
Let o(y) be the second derivative of -y**3/6 + 5*y**2/2 + 6*y. Let j be o(2). Suppose j*l - 19 - 29 = 0. Is 3 a factor of l?
False
Suppose 575670 = -4657*p + 4688*p. Is 5 a factor of p?
True
Let k = 1779 + -1261. Suppose -581 = -2*y - 3*a, 4*y - k = a + 623. Does 22 divide y?
True
Let w be 2/(-3)*(-171)/(-38). Let n be (-153)/w - -3 - 3. Let t = -33 + n. Is 6 a factor of t?
True
Let u(x) = x**2 - 12. Let v be u(-4). Suppose -3*c - 3*y + 1039 = -254, c - v*y = 421. Let s = c - 266. Is 27 a factor of s?
False
Is 58 a factor of (2204/5)/(24/360)?
True
Let r be 0*((-20)/(-12))/5. Suppose -3*x = 4*s - 8, x + r*s - 6 = 2*s. Does 6 divide (x/3)/((-14)/(-357))?
False
Let a(k) = -105*k - 358. Let b = 474 + -480. Is 8 a factor of a(b)?
True
Let b = 6520 + -4980. Is b a multiple of 110?
True
Let x be (-2 + 6)*2/4*-3. Is (-1783)/x + 34/12 + -3 a multiple of 39?
False
Does 5 divide 35/1*(-8)/(40/(-231))?
False
Let o = -9374 + 13124. Is o a multiple of 140?
False
Let v(g) = 618*g. Let r be v(-1). Let x = -289 - r. Is x a multiple of 65?
False
Suppose 5*n - 96 = 114. Let j = n + -78. Is (4/3)/(-3*8/j) even?
True
Suppose a = -7 + 9, 3*a = 3*m - 3. Suppose w - 331 - 147 = 4*r, -4*r + 1482 = m*w. Does 49 divide w?
True
Suppose -3*h = -103*h + 84500. Does 30 divide h?
False
Suppose 0 = -5*c + 6439 + 11. Does 6 divide c?
True
Let n = -744 + 18502. Is 193 a factor of n?
False
Suppose 2013 = 3*k + 3*b, -4*k + 2719 = -35*b + 32*b. Is 26 a factor of k?
True
Let o(n) = n**3 - 12*n**2 + 21*n - 8. Let b be o(10). Suppose b*s = 2*c - 48, -3*c - s = -1 - 63. Does 7 divide c?
False
Let k(m) = -176*m + 4. Let q(w) = -175*w + 4. Let i(b) = 3*k(b) - 2*q(b). Is 10 a factor of i(-1)?
False
Suppose -9*c = -3*c + 180. Let b be 24/c*(-10)/4. Suppose 5*a + 2*f - f - 86 = 0, -b*f = -a + 26. Does 10 divide a?
False
Let n(c) = -c**3 + 11*c**2 - 2*c + 14. Let u be n(12). Let g = u + 272. Let m = g + -39. Is m a multiple of 11?
False
Let z(p) = 16*p**2 + 20*p + 28. Let y be z(26). Is (y/(-8))/(-3) - (-3)/6 a multiple of 40?
False
Suppose s - 7861 = -3*x, 5*s - 39377 = -20*x + 17*x. Does 173 divide s?
False
Let o(h) = -18487 + h**2 - 3*h**3 + 2*h**3 - 8*h + 18477. Is o(-7) a multiple of 12?
False
Let a = 5472 - 1019. Does 53 divide a?
False
Suppose 0 = -24*n + 6*n + 54. Suppose 336 = k - 240. Does 32 divide ((-6)/(-9))/(n/k)?
True
Let b = -571 - -742. Let f = b + -51. Does 3 divide f?
True
Let f(c) = -8*c - 17. Let i be f(3). Let z = 111 + i. Does 14 divide z?
True
Let c(u) =