+ 1528, 2*h = 5*j - 1150. Is j a multiple of 46?
True
Let b = 2 - -19. Let m = 214 + b. Suppose 0 = -3*r + 89 + m. Does 18 divide r?
True
Let y(k) = -k**3 - 19*k**2 - 79*k - 10. Let v be y(-13). Suppose -6*h + v*h = -3*i + 3183, -5*i - h = -5275. Is 16 a factor of i?
True
Let q(h) = -6*h**3 + 51 - 33*h + 11*h - 10*h**3 + 15*h**3 + 22*h**2. Is 6 a factor of q(21)?
True
Suppose -4*w - 3*h + 53473 = 0, 0 = -5*w - 3*h - 18151 + 84987. Does 46 divide w?
False
Let u be (-4)/(-3)*((-57)/6 - 1). Let a(z) = z**2 + 14*z + 30. Let v be a(u). Suppose v - 63 = -o. Does 22 divide o?
False
Suppose 2*s = 5*s + 15, 3*w = -3*s. Let o(l) = -7*l**2 - 5*l - 7. Let t(z) = -11*z**2 - 7*z - 11. Let k(n) = w*t(n) - 8*o(n). Is k(-6) a multiple of 7?
True
Let t(i) be the second derivative of -i**3/3 - 4*i**2 - 15*i. Let y = -36 + 28. Is 4 a factor of t(y)?
True
Let y(x) be the third derivative of 131*x**4/8 + 17*x**3/3 - 21*x**2 - 3*x. Is 14 a factor of y(1)?
False
Let q = -8477 - -11607. Is q a multiple of 10?
True
Let m(z) = z**2 - 34*z + 161. Let t(o) = -7*o + 32. Let q(s) = -2*m(s) + 11*t(s). Does 5 divide q(0)?
True
Let u be (-1 - 51)/((-36)/162). Let x = 1354 - u. Is 56 a factor of x?
True
Is 8 a factor of 538 + 1 + (-39 - -53)?
False
Suppose 4*w + 280 = 11*w. Is 12 a factor of (138 - 2)/(16/w)?
False
Let z = 725 + -703. Let n(r) = 2*r - 4*r - r + 4*r + 54. Does 19 divide n(z)?
True
Suppose -4*i = -6735 - 8381. Does 14 divide i?
False
Let j = -2530 + 3908. Is j a multiple of 53?
True
Let b be (76/(-10) + 4)/((-2)/10). Let k = b + 9. Suppose -c = 5*z - 20 - 7, -c - z + k = 0. Is c a multiple of 9?
True
Suppose -5*f = -2*f - 21. Is 8 a factor of 0 - -154 - (-5 - (-7)/f)?
False
Let k be (1 + -9)/((0 + -1)/1). Suppose 0 = -k*l - 3 - 29. Is 5 a factor of (-3 + (-62)/l)*2?
True
Let k(o) = o**3 - 5*o**2 - 7*o + 9. Let x be k(6). Let u be ((-1248)/18 - -7) + (-2)/x. Is u/(-14)*(-172)/(-6) a multiple of 13?
False
Does 97 divide (-2619)/(-6)*(76 + -788)*1/(-12)?
True
Suppose 29 - 1 = 4*i. Suppose -i*y - 21 = -0*y. Let t(n) = -12*n - 8. Is t(y) a multiple of 14?
True
Let u be ((-42)/(-18))/7*15. Suppose -u*a - 193 = -3*o, 165 = 4*o + 5*a - 34. Is o a multiple of 10?
False
Let k(y) = -53*y - 77. Does 7 divide k(-21)?
True
Let d be 0/((3 - 7) + 2). Suppose 5*q + 10 = 4*o - 11, d = -3*o + 5*q + 17. Suppose -v + 3 = -2*b + 73, -o*v - 35 = -b. Is b a multiple of 35?
True
Let v(m) = 1. Let h(s) = 5*s**3 + 3*s**2 + s - 13. Let k(o) = h(o) + 4*v(o). Let w be k(-4). Let b = -183 - w. Does 42 divide b?
False
Let z = -732 + 749. Suppose 12 = -z*o + 1508. Is 4 a factor of o?
True
Let x(a) = -280*a - 4940. Is 12 a factor of x(-29)?
True
Let q = 432 - 427. Suppose q*i - 295 = -35. Is 4 a factor of i?
True
Let w = -73 + 75. Suppose -4*a + 29*i + 1045 = 30*i, 3*a - 790 = -w*i. Is 26 a factor of a?
True
Does 20 divide 42000 - (-13 - -15)*(-6 - (6 - 8))?
False
Let b(v) = 299*v - 5740. Does 112 divide b(84)?
True
Suppose 9114 = -439*i + 222*i + 224*i. Is i a multiple of 5?
False
Let w(y) = -2*y + 13. Let p(m) be the second derivative of m**2/2 + m. Let x(c) = -3*p(c) + w(c). Does 18 divide x(-4)?
True
Let d(h) = 2*h + 53. Let r be d(-31). Does 24 divide (-3426)/r*(-39)/(-26)?
False
Let m be (-8)/(-4)*-5*24/(-20). Is 8 a factor of (13376/m)/11*(3 - 0)?
True
Suppose -10*t + 2814 = -10986. Suppose 324 = -6*u + t. Is 16 a factor of u?
True
Suppose -25*c + 12 = -22*c. Is c*-6*(-64)/12 a multiple of 16?
True
Suppose c - 1327 = 3*j, -26*c + 21*c - 2245 = 5*j. Let a = -192 - j. Is 12 a factor of a?
True
Let c be (294/12 - -7)/(2/8). Let r be ((-4)/(-6))/((-20)/(-6390)). Let y = r - c. Does 29 divide y?
True
Let a = -461 - 337. Let d = -561 - a. Suppose -4*y - 2*j = -d + 41, -49 = -y + 2*j. Is 7 a factor of y?
True
Let j = -8 + 8. Suppose 2*i = -4*a + 1162 + 240, j = -5*i + 5. Does 56 divide a?
False
Let j = 701 + -21. Let r = j + -410. Does 18 divide r?
True
Let i(s) = s**3 + 17*s**2 + 12*s + 8. Suppose -8*t = -202 - 110. Let m = 23 - t. Is 36 a factor of i(m)?
True
Let w = -645 - -1029. Let a = -60 + 63. Suppose v - 91 = a*b - 7*b, 4*v - 4*b - w = 0. Is v a multiple of 19?
True
Let s = 5843 + -3692. Is s a multiple of 17?
False
Let i(u) = -15*u - 7. Let o(s) = s. Let a(q) = -i(q) - 3*o(q). Is a(14) a multiple of 22?
False
Let w(o) = -o**2 - 31*o + 151. Let r be w(-35). Suppose r*i = 3453 + 14796. Is i a multiple of 21?
True
Let u be 4 - (-4 + (-28)/(-7)). Suppose -4*d = -5*d + 5*l + 138, 458 = 3*d - u*l. Is 41 a factor of d?
False
Does 36 divide (-8)/6 - 4/(-6)*1852886/196?
False
Let f = 5191 - 1034. Let r = -2968 + f. Is r a multiple of 79?
False
Does 51 divide (-7)/(112/(-816))*119?
True
Let c = 26 - 28. Let x be (c - 2)*(700/8)/7. Let u = x + 64. Does 2 divide u?
True
Let w(d) = 12*d**2 - 2*d + 7. Suppose -17 = t - 19. Is 51 a factor of w(t)?
True
Suppose -701 = 7*y - 2843. Let g = y + 208. Does 31 divide g?
False
Suppose 0 = 64*s - 61*s. Suppose u - 2*u + 37 = s. Is u a multiple of 7?
False
Is 2 a factor of (5 - -36 - -11) + -14?
True
Let n(b) = -1272*b + 7271. Is n(-43) a multiple of 405?
False
Suppose -23*g + 70536 + 2880 = 0. Is 42 a factor of g?
True
Let t be 22/((-7 - (-332)/24) + -7). Let f(g) = 20*g + 4. Let r be f(-5). Let v = r - t. Does 19 divide v?
False
Let k(o) = -83*o + 158. Suppose -40 = 5*u + 3*c, -5*u + 30 = -10*u - c. Is 24 a factor of k(u)?
False
Let q(c) = -525*c + 3. Let k be q(-2). Let o = k + -891. Is 46 a factor of o?
False
Suppose 231*l = 234*l + h - 23133, -30854 = -4*l - 3*h. Is 41 a factor of l?
False
Suppose -314*o = -309*o - 110675. Does 95 divide o?
True
Let y = 20664 + -5414. Does 61 divide y?
True
Let y(m) = 27*m - 11. Let f(i) = -i**2 - 12*i - 28. Let a be f(-7). Is y(a) a multiple of 28?
False
Let o = -22417 - -47427. Is o a multiple of 61?
True
Let g = -8 + 13. Suppose 2*c - g = 3. Suppose -3*u + 5*s = -52 - 73, -s - 195 = -c*u. Is 25 a factor of u?
True
Suppose -741 = -4*k - 5*c, -k = 3*c - 78 - 102. Let r(h) = 27*h**3 - 3*h**2 - 13*h + 15. Let f be r(1). Suppose -k = -5*l + f. Does 16 divide l?
False
Suppose 13*v = 8*v - 80. Let t(p) = -2*p**2 - 39*p - 27. Does 10 divide t(v)?
False
Suppose 2795 = 7*j + 2599. Suppose -12081 = j*r - 45401. Is r a multiple of 34?
True
Suppose 4*j = 3*l - 27072, -185*j = 5*l - 186*j - 45086. Is l a multiple of 196?
True
Let t(k) = 74*k**2 + 92*k - 656. Is t(8) a multiple of 112?
True
Suppose 4*r + 2*w = 336, 0 = r - w + 30 - 111. Suppose -5*z - 2*u + 4 + 38 = 0, -4*z - u + 33 = 0. Does 23 divide 15*(r/12 + (-2)/z)?
False
Suppose 4*l = -2*h + 8272, h = 66*l - 61*l + 4157. Does 27 divide h?
False
Let y be 10/(5/(-2)*(-48)/60). Suppose 5*a + 180 = -y*a. Is 5 a factor of a/15*(-20)/12 - -26?
False
Suppose 0 = -84*a + 79*a - 2*s + 15169, -9 = 3*s. Is 70 a factor of a?
False
Suppose -15*k - 1 + 1 = 0. Suppose k = -12*o + 6*o + 66. Is 11 a factor of o?
True
Let d be 99/21 + -1 - 8/(-28). Suppose -90 = -o - d*o. Suppose 0 = 21*l - o*l - 48. Is 4 a factor of l?
True
Let p be (-2)/(-1)*((-3)/(-1) + -1). Suppose j = q + p*j, 4*q + 8 = -4*j. Is -1 + 5 - (-103 + q) a multiple of 10?
True
Let z = 21173 + -17362. Is 56 a factor of z?
False
Suppose c = -37*f + 35*f + 4222, -4*c + 10558 = 5*f. Is f a multiple of 5?
True
Let g = 9662 + -6889. Is g a multiple of 47?
True
Let k = -9851 - -22216. Is 119 a factor of k?
False
Let m(l) = -l**3 - 3*l + 1. Let o(b) = 4*b**3 + 13*b - 4. Let k(n) = 9*m(n) + 2*o(n). Let i be k(0). Is 8 a factor of (i/(-2)*1)/(3/(-372))?
False
Let n(y) = 2*y + 36. Let b be n(8). Suppose -b = 6*g + 44. Let o = 42 + g. Is 26 a factor of o?
True
Let a = 23603 - -37766. Does 37 divide a?
False
Is 6 a factor of (26/39*36/(-8) - -2) + 21919?
True
Let n be 2/(-28) - (-84303)/714. Suppose -113*l - 310 = -n*l. Does 6 divide l?
False
Let l be (-3)/(-2 + 2 - (-6)/(-4)). Suppose 4*q - l*q = 184. Suppose 0 = -12*j + 872 - q. Does 13 divide j?
True
Let b = 18 - 4. Suppose 0*r + b = f - 5*r, -r + 26 = -5*f. Let d = f - -54. Is d a multiple of 12?
True
Let y = 88 + -86. Suppose -y*z = 27*z - 348. Is z a multiple of 5?
False
Suppose -4*i = -46 + 10. Let q(o) = -o**3 + 12*o**2 - 5*o - 60. Is 6 a factor of q(i)?
True
Let w = 43993 + -20658. Is 65 a factor of w?
True
Suppose 2*k - 110 = -4*i, -i - i + 220 = 4*k. Let v = 279 - k. Is 16 a fa