+ 2346 = 0, 2*v + 129 = 3*d - 6874. Is d a multiple of 123?
False
Let r = -468 + 958. Does 8 divide r?
False
Suppose 0 = 2*g - 101 - 37. Let i = 40 - g. Let p = -17 - i. Is 12 a factor of p?
True
Let n be (-1257)/9*(-7 + 4). Let u = -255 + n. Is u a multiple of 45?
False
Let y be (-28)/(-21) - 8/(-3). Suppose 0 = m - 10 + y. Does 5 divide m?
False
Let k(a) = -4*a**3 - a**2 + 10*a + 17. Does 7 divide k(-4)?
True
Let b(t) = t**2 + 29*t + 4. Let s be b(-26). Let v = 115 + s. Does 41 divide v?
True
Let p(v) = v**2 - 21*v + 14. Let h be p(25). Suppose 5*j = 559 - h. Is 17 a factor of j?
False
Suppose -38282 = -16*o - 938. Does 74 divide o?
False
Let o(h) = 5*h**3 - 3*h**2 + 2*h + 1. Let a(t) = -t**3. Let m = 8 - 14. Let y(v) = m*a(v) - o(v). Does 5 divide y(-3)?
True
Suppose 4*j = -2*k - 142, -5*j = -4*k - 4*j - 239. Let r = k + 91. Suppose r = z + 4*z. Is 6 a factor of z?
True
Suppose -2*r - 101 = 5*g, -g + 10 = -2*g + 3*r. Let h = -9 - g. Let k = h - 3. Is k a multiple of 6?
False
Let j = 11 + 3. Let n be (-8 + (-300)/(-36))/(1/123). Let w = n - j. Is 27 a factor of w?
True
Suppose 2*n + 2 = s + 5, 2*n - 9 = -s. Suppose n*u + 4*d = 137, -3*d - 216 = -0*u - 4*u. Let l = u + -29. Does 22 divide l?
True
Suppose -p = -2*n + 2098, -n - 7*p + 1049 = -11*p. Does 27 divide n?
False
Suppose -3*k + 5*k - 54 = -4*f, -15 = -5*k. Is 20 a factor of (-4)/(f/(-389)) - 1/(-3)?
False
Let q = 2 + 55. Suppose -5*h - 5*b + 78 = -q, -3*h + 5*b = -121. Does 16 divide h?
True
Let x(w) = -372*w + 666. Does 48 divide x(-5)?
False
Suppose 2*o = -3*a + 3, 5*a - 20 = 4*o + 7. Suppose 3*q - 16 = -5*s + a*s, 25 = 4*q - s. Suppose -2*c + 30 = q. Does 12 divide c?
True
Suppose -n - 2*f + 1586 = 0, -9*n + 1583 = -8*n - f. Is n a multiple of 40?
False
Let o = 1047 + -928. Does 16 divide o?
False
Suppose 7874 = 5*v + 569. Let b be (-3)/(-3) - 0 - v. Does 22 divide 4/(-10) + b/(-25)?
False
Let s = 14 - 22. Let d be 1214 - -2 - s/2. Does 3 divide 10/(-55) + d/55?
False
Suppose -5*m - l = -2524, 3*m + 80*l - 81*l = 1508. Is 47 a factor of m?
False
Let p = -48 - -40. Is (-4)/(-1) + (p - -11) a multiple of 3?
False
Let w = 84 + -21. Let a = 9 + w. Suppose l + 3*l = a. Does 6 divide l?
True
Let f(h) = h**3 - 4*h**2 + 3*h. Let t be f(3). Suppose -y - 88 = k, t*k + 88 = -y - 4*k. Let m = y - -136. Is 24 a factor of m?
True
Let b(m) = 4*m - 22. Suppose -4*r = 5*d - 53, -4*d + 49 = -4*r + 5*r. Is 5 a factor of b(d)?
True
Suppose -11*i + 12 = -8*i. Suppose -2*a - 5*o = 12, -4*a + i*o = -0*a - 32. Suppose 163 = a*q - 21. Is 23 a factor of q?
True
Let j(z) = 4*z**2 - 4*z - 5. Let y(l) = l**3 - 10*l**2 - 10*l - 3. Let m be y(11). Suppose -12 + m = c. Does 25 divide j(c)?
True
Let l = -64 - -36. Let p = l - -49. Is p a multiple of 6?
False
Let t(v) be the first derivative of -v**2/2 + 8*v - 11. Let k be t(4). Suppose -22 = k*m - 166. Does 10 divide m?
False
Let z(h) = -h**3 - h**2 + h + 13. Let a be z(0). Suppose -r - 5*b = -b + a, -4*r = 5*b + 41. Is 3/((-27)/30)*r a multiple of 12?
False
Suppose -62*g = -48*g - 5712. Does 10 divide g?
False
Suppose -6 = -90*l + 91*l. Is ((-173)/(-3))/((-2)/l) a multiple of 17?
False
Suppose -3*k - 3*b - 18 = -93, 4*k + b - 85 = 0. Is 5 a factor of k?
True
Suppose k = -0*k + 4, 2*k + 24 = 2*c. Let t = -8 + c. Is 2 a factor of t?
True
Is 43 a factor of 0 + 6*(-301)/(-14)?
True
Let i(j) = -8*j - 1. Suppose -2*a - 21 = -11. Does 12 divide i(a)?
False
Does 2 divide 438/20 - (-40)/400?
True
Suppose -4*y - 4*q = -3*q - 787, -4*q + 390 = 2*y. Does 6 divide y?
False
Suppose 2*h + 2*s - 344 = 0, -3*s - 709 = -2*h - 2*h. Is 5 a factor of h?
True
Let h(j) = 5*j - 6. Let v be (-3)/(-6) + (-45)/(-6). Let p be h(v). Suppose 0 = 4*d - 126 - p. Is 13 a factor of d?
False
Suppose -3*j + 5*j - 326 = 2*v, j - 5*v - 179 = 0. Let z = j - 75. Does 14 divide z?
True
Suppose 61 = 6*z - 149. Suppose 3*v = x - z, 5*x - 2*v = -v + 133. Suppose x*d = 31*d - 255. Is d a multiple of 13?
False
Let h = 2456 + -1037. Does 43 divide h?
True
Suppose 9 = 4*m + 1. Suppose 0 = -4*q + m*q - 3*y + 153, q = -5*y + 87. Does 8 divide q?
True
Let o = 4 - 13. Let m(a) = 2*a**2 - 9*a - 3. Let s(d) = -3*d**2 + 10*d + 3. Let p(b) = -4*m(b) - 3*s(b). Does 10 divide p(o)?
True
Suppose 10 = 5*k - 7*k, 2*g - 562 = -4*k. Is 8 a factor of g?
False
Suppose 3*d = 10 - 7. Suppose g - d = 1. Suppose -2*c = g*y - 56, c + 76 = 3*y - 0*c. Is y a multiple of 10?
False
Let u be 8/(-12) - (-4)/6. Suppose -c + u = -1, -z = 3*c - 179. Is 18 a factor of z?
False
Let c be -1*(-2 + -1) - (-61 - -5). Let z(b) = b**3 - 7*b**2 + 4. Let x be z(6). Let h = x + c. Is 9 a factor of h?
True
Let k be (-24)/(-16)*(-52)/(-3). Let o = k - 2. Is 12 a factor of o?
True
Suppose 4*p - 621 = 383. Let v = 440 - p. Let x = -135 + v. Is 14 a factor of x?
False
Suppose 22*f - 520 = -18*f. Is f a multiple of 13?
True
Suppose -1 - 10 = 11*h. Does 7 divide 32 - (h + 1 - -4)?
True
Let i(m) = m**3 + 6*m**2 + 7*m + 10. Let k be i(-5). Suppose -4*p + 100 = -5*a, p + k*a - 25 = -a. Does 25 divide p?
True
Suppose -4*s + 116 + 464 = 0. Suppose -3*g + s = -38. Does 9 divide g?
False
Suppose 17*f - 5*i = 16*f + 4198, 21077 = 5*f + 4*i. Does 86 divide f?
False
Suppose 0 = -2*f - 5*r + 14, 2*r - 4 = -4*f + 8. Suppose f*g - 4 = 70. Does 37 divide g?
True
Does 7 divide (13 - (-375)/(-30))/((-2)/(-1876))?
True
Suppose 2*t - 438 = -0*t + 4*d, -2 = -d. Suppose 4*b + v + t = -0*b, -4*v + 208 = -4*b. Let y = b - -99. Does 11 divide y?
True
Is 4 a factor of 810/3 + 6 - 0?
True
Let j = -47 - -49. Suppose -3*h + 168 = 3*v, 0*h - 166 = -3*h - j*v. Is h a multiple of 18?
True
Let j(p) = -p**2 + 2*p - 3. Let a be j(0). Let c(q) = q**2 - 3. Does 6 divide c(a)?
True
Let p(l) be the second derivative of 197*l**4/12 - l**3/2 + 3*l**2/2 - 17*l. Is 47 a factor of p(1)?
False
Let a be (-13 - -11) + 6 + -1. Suppose -2*z + a*w + 54 = 0, w - 27 = 4*z - 5*z. Does 9 divide z?
True
Let w = 445 - 203. Does 3 divide w?
False
Let p = -74 - -79. Suppose 5*q - 2*v = -7*v + 125, 2*v = p*q - 104. Is 11 a factor of q?
True
Suppose 3*t - 103 - 250 = 4*o, -2*t - 3*o + 207 = 0. Is t a multiple of 12?
False
Does 18 divide 16/(-28) - ((-7848)/14 - -2)?
True
Let d(w) = w**2 + 2*w + 1. Let x be d(-5). Let h = x - 12. Is h a multiple of 2?
True
Suppose 4*z - 18 = 22. Suppose 10*q - 5*q + z = 0. Is 15 - (6/q)/(-3) a multiple of 10?
False
Let q(y) = 12*y + 85. Does 8 divide q(37)?
False
Suppose y - 691 = -5*o + 162, 0 = -3*o - 5*y + 525. Is 34 a factor of o?
True
Let p(u) = -4*u + 1. Let x be p(2). Does 17 divide -1 + (-30)/(-42) + (-121)/x?
True
Let n = 98 + -88. Suppose -532 = -4*c - n*a + 7*a, -3*a + 665 = 5*c. Is 7 a factor of c?
True
Suppose -14 - 3 = -t. Suppose 137 = 4*p + t. Let o = 78 - p. Is 13 a factor of o?
False
Let x(v) = -3 + 8*v + 4 + v**2 - 5. Let c be x(5). Suppose -2*a + 3*a - c = -5*o, a - 58 = -4*o. Does 13 divide a?
False
Let n(p) = -3*p**2 - 17*p + 1. Let b be n(-9). Let g = -49 - b. Is g a multiple of 20?
True
Let m(f) = 83*f + 29. Is 18 a factor of m(3)?
False
Let o(j) be the third derivative of j**5/30 + j**4/4 + 4*j**3/3 - 12*j**2. Does 14 divide o(-5)?
True
Suppose 70*w + 8958 - 43398 = 0. Is 6 a factor of w?
True
Let g(h) be the second derivative of -h**3/6 - 3*h. Let j be g(0). Is 28 a factor of (-12)/(-6) - (j - 54)?
True
Let q(r) = 3*r**2 - 5*r - 66. Is q(12) a multiple of 64?
False
Let r be 30/(-20) - 42/(-4). Let t be (-34)/(-10) + r/15. Let p = 15 + t. Does 7 divide p?
False
Suppose 0*p = p + 3*o - 266, 3*p + 2*o = 798. Suppose 5*b = -l + p, -3*b + 166 = -2*l + l. Is b a multiple of 8?
False
Let z be ((-70)/15)/((-2)/9). Let m(t) = -t**3 + 10*t**2 - 9*t - 11. Let p be m(9). Let q = p + z. Is 5 a factor of q?
True
Let w(i) = 4*i**2 - 12*i + 8. Is w(5) a multiple of 17?
False
Suppose -4*u = -884 + 156. Does 7 divide u?
True
Let j be (-2)/(-4) + 53/(-2). Let m(o) = o**2 - 12*o + 13. Let c be m(9). Let h = c - j. Is 5 a factor of h?
False
Suppose 7*b - 5*b - 4 = 0. Suppose -2*f = b*f + 28. Let t(l) = -l**3 - 6*l**2 + 3*l - 10. Does 18 divide t(f)?
True
Let a(q) be the third derivative of q**6/120 - 2*q**5/15 - 7*q**4/8 - 2*q**3 - 13*q**2. Does 25 divide a(11)?
False
Let w = 9 - 14. Let d(o) = o**2 + 4*o - 5. Let y be d(w). Suppose y = 2*h - 68 - 10. Does 9 divide h?
False