+ 5*b, -25 = 17*b - 22*b. Is 3 a factor of w?
True
Suppose 2*h - 98 = 4*t, -66*h - 245 = -71*h + 2*t. Does 2 divide h?
False
Let f be -1*(-72)/14 - (-2)/(-14). Suppose 2 = v + f. Let i(m) = -2*m**3 - 3*m**2 - 2*m + 5. Does 6 divide i(v)?
False
Let b be (1 - -1)/(-1 + 0 + 0). Let v be 1/(-1) - (14/b + 4). Is 30 a factor of (v - -1)*(1 - (2 + -31))?
True
Let a = 482 - 168. Let c(l) = -9*l + 19 - a*l**3 + l**2 + 317*l**3 + l**2. Is c(3) a multiple of 17?
False
Let p(n) be the first derivative of 1/3*n**3 - 12 - 11*n**2 + 30*n. Does 5 divide p(22)?
True
Suppose -2*s = 8, -r + 2*s = -4 - 7. Let t(h) = h**3 + 13*h**2 - 94*h - 70. Let y be t(-18). Suppose -r*l + 116 = 5*v, l - 67 = y*v + 2*v. Does 21 divide l?
False
Let w(y) = 7*y**2 - 27*y + 14. Let n(m) = -15*m**2 + 55*m - 26. Let t(j) = 6*n(j) + 13*w(j). Is t(22) a multiple of 7?
False
Let w be 2/(-13) + 1215/39. Let u = 134 - w. Is u a multiple of 8?
False
Suppose -2*h + 3*j - 8 = 0, 5*j - 3*j - 8 = 0. Suppose 105 = 5*y + h*y. Does 7 divide (96/(-10))/(-6)*y?
False
Suppose 2*t + 1 + 2 = -y, -5*y - 7 = 2*t. Let x be 1 + y*4 + (0 - -3). Suppose -62*d + 67*d - 755 = x. Is 18 a factor of d?
False
Let h(g) = 164*g - 3. Let r be h(1). Suppose 0*b - r = -7*b. Suppose -3*m + 31 = -b. Does 9 divide m?
True
Let b = -1 - -25. Suppose -8*n = -144 + b. Suppose 5*c - 395 = -2*i - 0*i, 0 = 3*i - n. Is 6 a factor of c?
False
Suppose -8*s + 6 = -9*s. Let g be (-5)/(-15) + (-4)/s. Is (g/2)/(7/1526) a multiple of 26?
False
Let i = -15454 - -25554. Is i a multiple of 22?
False
Suppose 0 = 3*y - u - 1824, -4*y + 0*u + 4*u + 2432 = 0. Is y a multiple of 2?
True
Let s(z) = z - 8. Let u be s(9). Let k be u/(-4) + 2691/12 + 2. Suppose k = 2*g - 74. Does 25 divide g?
True
Suppose 55*b - 114*b + 445443 = -343505. Does 123 divide b?
False
Let l be (-4732)/(-60) + 4/30. Suppose -17*r - 10449 = -44*r. Suppose 2*z + l = r. Does 22 divide z?
True
Is 150884/10 + ((-684)/(-90))/(-19) - -3 a multiple of 77?
False
Let q(n) = 2*n**2 + 8*n - 7. Let c be q(-5). Suppose c*j + 243 = 5*a + 2*j, 2*j = -4*a + 186. Does 16 divide a?
True
Let g(s) = 4*s + 36. Let r be g(-8). Suppose 3*b - r*b + w = -2, 0 = -3*w - 6. Suppose 38*y - 35*y - 30 = b. Is 2 a factor of y?
True
Let b(t) = -2*t - 1. Let i(n) = -221*n - 77. Let s(g) = 6*b(g) + i(g). Does 22 divide s(-3)?
True
Suppose 5*f + 4*z - 60 = -0*f, -4*f + 7 = -5*z. Suppose -f*b - 130 = -9*b. Is b a multiple of 6?
False
Suppose l - 2340 = -5*k + 1686, -4056 = -l + 5*k. Does 2 divide l?
False
Let g = 1448 + 103. Suppose 6*l - 2673 = g. Suppose 5*p - l = p. Is 16 a factor of p?
True
Let g(h) = -165*h + 6. Let d be g(-41). Suppose 46*v - 42495 = d. Is v a multiple of 51?
True
Suppose -635*t + 571*t = -1231744. Is 9 a factor of t?
False
Suppose -79*b = -53607 - 336179. Is 2 a factor of b?
True
Let s = 32 - 30. Suppose 24 = -2*t + s*m - 2, 4*t = -4*m - 12. Does 37 divide (35/4)/((-1)/t + 0)?
False
Let x(p) = -3*p**2 - 17*p - 17. Let c be x(-4). Suppose n - 154 = 2*q - 669, -4*n = -c*q + 760. Is 5 a factor of q?
True
Let q = -13 + 15. Suppose -243 = -q*i + 337. Suppose 0 = 4*t - 2*t - i. Does 29 divide t?
True
Is 18 a factor of 10998/(-13)*(5 + (-2 - 5))?
True
Let k = 1602 + 633. Does 32 divide k?
False
Let v = -7699 + 11224. Suppose -5*o - v = -30*o. Does 7 divide o?
False
Suppose -11 = -4*c - 2*r + r, -5 = r. Suppose -14*g = -c*g - 11*g. Suppose g = -10*l + l + 171. Is l a multiple of 3?
False
Let g(y) = y**2 - 2. Let s be (6/15)/(6/(-30)). Let m be g(s). Suppose m*c = -5*l + 144, 0*c - 2*c - 4*l = -148. Is 26 a factor of c?
False
Suppose -a - 5*y - 470 = -3*a, 476 = 2*a - 2*y. Let h be (1/4)/(-1 + (-372)/(-368)). Suppose h*r - a = 22*r. Does 24 divide r?
True
Let r(u) = 2*u. Let p be r(4). Let j = -8418 - -8425. Let i = j + p. Is 5 a factor of i?
True
Let o(k) = 21*k**3 - 29*k**2 - 25*k + 22. Let r be o(41). Is r/869 - (-6)/(-22) a multiple of 23?
False
Let d be (1632/10)/((-18)/120). Let r = 1838 + d. Is 10 a factor of r?
True
Let v(w) = 204*w**2 - 104*w + 209. Does 19 divide v(2)?
True
Suppose 0 = -27*m + 23*m + c + 24813, m - 6201 = c. Does 92 divide m?
False
Let v = 7320 - 3587. Does 18 divide v?
False
Suppose 14*v - 18*v + 20 = 0, -5*v = 3*s - 3160. Suppose 29 = -4*k + 181. Is 11 a factor of (-8)/(-5)*s/k?
True
Does 28 divide (-426 - -28640) + (-12 - -1)?
False
Suppose -133*v = 39*v - 101207 - 53249. Does 3 divide v?
False
Suppose -3*r + 2 = -a - 3, 5*a = 5*r - 5. Suppose 11*t - 333 = r*t. Does 6 divide t?
False
Suppose -94 = -z + 2*w, -5*w + 21 = 1. Let q be ((-2)/4)/(2/(-116)). Let v = z + q. Does 11 divide v?
False
Suppose 21*b + 10*b - 224016 = -17*b. Does 8 divide b?
False
Let o be (-12)/(-1 + -1) + 1. Suppose -3*b + o = 4*b. Is 135*(b/2 - 2/20) a multiple of 9?
True
Let d(b) be the third derivative of b**6/120 - b**5/60 + b**4/4 - 3*b**3 - b**2. Let h = 1122 - 1118. Is 10 a factor of d(h)?
False
Let i(c) = 26*c**2 - 385*c - 87. Does 21 divide i(39)?
True
Let z(u) = 1483*u - 1107. Is 144 a factor of z(9)?
True
Let k = -2436 + 22152. Is k a multiple of 48?
False
Let n be (0 + -540)/(-3)*(-12)/(-30). Suppose -5*h - c + 120 = 0, -n = -19*h + 16*h - c. Does 17 divide h?
False
Does 18 divide (-42119)/(-12) + (-4)/192*-4?
True
Suppose -1268*f = -1241*f - 202014. Is f a multiple of 14?
False
Is 10 a factor of 547/((-56)/35 + (-21)/(-10))?
False
Does 15 divide (27/(-18))/((-2)/28260)?
True
Is 15 a factor of ((-46)/4)/((-22801)/760 - -30)?
False
Suppose -20 + 13700 = 9*v. Suppose 6*g - 688 = v. Is 34 a factor of g?
False
Let o = -349 - -520. Suppose -349 = 4*y - 8*y + 3*t, 5*t = 2*y - o. Suppose -j = p + 3*j - y, -5*j = -2*p + 137. Does 29 divide p?
False
Suppose 21*n - 381544 = -324252 + 531548. Does 40 divide n?
True
Is (1 - 286/2)/(-48 - -50)*-11 even?
False
Let r(q) = 2333*q - 6948. Is 27 a factor of r(18)?
True
Let r = -6147 + 6429. Does 3 divide r?
True
Suppose -u + 9153 = -6776. Is 17 a factor of u?
True
Let p = -43 + 51. Let j be 13356/48 - (-6)/p. Suppose -4*v = v - 3*a - j, -a = -v + 57. Is v a multiple of 6?
True
Let n = 6052 - 3392. Is n a multiple of 14?
True
Suppose 4*s = -0*u - 2*u + 1878, -4*u + 4 = 0. Let b be 4*(s/14 - (2 - 0)). Suppose 21*a + b = 24*a. Is 15 a factor of a?
False
Let j(u) = -2*u**3 - 54*u**2 + 224*u - 120. Is j(-33) a multiple of 25?
False
Let l = -104 + -29. Let g = l + 205. Is g a multiple of 8?
True
Let r(c) = 269*c + 101. Is r(11) a multiple of 60?
True
Let h = -40 + 44. Is 10 a factor of h + 1304/6*(-33)/(-22)?
True
Let g(j) = -j**3 - 4*j + 8. Suppose 55*k - 16 = 51*k. Let t be g(k). Is 3 a factor of t*(3 + 75/(-20))?
True
Suppose 0 = -0*l - l + 59. Suppose 0 = -3*k + l + 10. Let u = k + -17. Is u a multiple of 6?
True
Suppose 2399970 = 64*g + 234850. Is 17 a factor of g?
True
Let r(n) = n**3 + 27*n**2 - 3622*n - 72. Does 5 divide r(-75)?
False
Let j(f) = 15*f**2 + 3*f + 3. Let h be j(-2). Let m = h + -52. Suppose -24 - 156 = -m*y. Is 9 a factor of y?
True
Let b(c) = 8*c**3 + 50*c**2 + 64*c + 8 - 14*c**2 - 7*c**3. Is b(-34) a multiple of 6?
True
Suppose 5*b - s - 71677 = 0, -14*b + 13*b - 3*s + 14345 = 0. Suppose 339*r = 347*r - b. Is 28 a factor of r?
True
Let m(z) be the third derivative of z**5/12 - 11*z**4/8 + 2*z**3/3 - 2*z**2 + 17*z. Does 48 divide m(-7)?
True
Let p = 244 + -202. Suppose 57*v - p*v = 5910. Is 42 a factor of v?
False
Let h be (-2)/30*-10*(-3)/(-2). Is 20/(-4) + h/(5/1705) a multiple of 14?
True
Let x = 66865 + -35326. Is x a multiple of 90?
False
Does 3 divide 4/26 + (-3959050)/(-650)?
False
Let h(w) = -2*w**2 - 30*w - 25. Let c be h(-14). Suppose 0 = 5*y - 4*v - 429, 0*y + 5*v = -c*y + 250. Is y a multiple of 13?
False
Let c be 3/(6/2645) + (-5)/10. Suppose 4*p = -3*z + 3*p + c, 5*z = 2*p + 2196. Does 44 divide z?
True
Let z be 22/3 - (-12)/18. Suppose z*b - 333 = 835. Is 25 a factor of b?
False
Let f = 19 + -34. Let j be 49*(-1 - f/5). Let v = 182 - j. Is v a multiple of 11?
False
Let v(y) = y**2 + 13*y - 83. Let a be v(-18). Suppose -2*p + a*p = 120. Does 3 divide p?
True
Suppose 5*f - 80 = -5*j, 0 + 3 = 3*j. Let g = f - 13. Is (-130)/45*-15 - g/(-3) a multiple of 10?
False
Let z(f) be the third derivative of f**7/840 - f**6/60 + f**5/40 + f**4/4 + 5*f**3/6 - 15*f**2. Let u(t) be the first derivative of z(t). Does 6 divide u(6)