uppose 1665 = -2*r - 7*r. Let n = 240 + r. Does 16 divide n?
False
Let w = -109463 + 160723. Is 44 a factor of w?
True
Suppose -4*q + 4*y = -36 - 172, q + 4*y = 27. Let p = 63 - q. Does 13 divide (-1 - p)/(14/(-266))?
False
Suppose 83*h = 87*h - 2936. Let m = h - 336. Is m a multiple of 5?
False
Let a(f) = 32*f + 60. Let k be a(7). Suppose -b - 2*b - 5*u = -452, u = 2*b - k. Is 18 a factor of b?
True
Suppose 0 = 22*w - 606962 + 84110. Does 17 divide w?
True
Let w(d) be the first derivative of -d**7/20 + d**6/360 + d**5/120 + d**3/3 + 4. Let b(y) be the third derivative of w(y). Is b(-1) a multiple of 5?
False
Suppose 4*a + a - 20 = 0. Suppose 26 + 10 = a*g. Let d = 63 + g. Is d a multiple of 15?
False
Let d be (-37)/74 + (-3978)/4. Let x = d + 1855. Is x a multiple of 20?
True
Let t = 608 - -1440. Does 6 divide t?
False
Suppose 0 = -n - 2, -4*g + n + 74 = -4*n. Suppose -g*y + 1219 = -5261. Is 21 a factor of y?
False
Let w be ((-356)/(-10))/(-7 + (-8395)/(-1200)). Is 16 a factor of w/(-44) - (-4)/(-22)?
False
Let n(a) = -2*a**2 - 16*a - 16. Let u be n(-4). Suppose 6 = 2*x, -5*z + 12*x - u*x = -362. Is 3 a factor of z?
False
Suppose -5*r - 4*n = -2090, -4*n + 402 = r - 0*r. Suppose 12*u - 706 = r. Is u a multiple of 19?
False
Let w(h) be the second derivative of h**4/12 - 31*h**3/6 - 87*h**2 - 2*h - 1. Is w(39) a multiple of 6?
True
Let v = 9496 + -4147. Is v a multiple of 6?
False
Is -46 - -17 - -7 - -9454 a multiple of 131?
True
Suppose -2*g + 18 = 4*g. Suppose -221 = -3*w + 40. Suppose -3*x = 4*f - w, g*f - 5*x + 3*x - 78 = 0. Is f a multiple of 4?
True
Let y(f) = f**3 + 6*f**2 - 26*f + 5. Let x be y(-9). Let h be 17 - (3 + x - (-2)/1). Suppose h*g - 12*g = 1008. Is 40 a factor of g?
False
Suppose 2*g - 2*f - 20 = 0, -45 = -5*g + 4*f - 0*f. Suppose -4*z - 56 = g*m, 4*z - 4 = -0*z. Let v = 15 + m. Is v a multiple of 3?
True
Is 4*(-20)/((-440)/61897) a multiple of 31?
False
Let a(c) be the first derivative of 44*c**3/3 - 3*c**2 - 15*c + 14. Is 57 a factor of a(-3)?
True
Let j = -1 + 2. Let v = 1717 + -1747. Does 3 divide (v + j + 0)/(-12 + 11)?
False
Suppose 2*i - 4277 = 5*p, p - 5727 + 14254 = 4*i. Does 45 divide i?
False
Suppose -z = 5*b + 2835, 3*b - 4*z + 1701 = -8*z. Let j = 1327 + b. Is 19 a factor of j?
True
Let f(z) = 61*z**2 + 18*z - 195. Is f(7) a multiple of 40?
True
Let d(v) be the first derivative of v**4/2 + 17*v**3/3 + 5*v**2/2 + 6*v - 28. Is 18 a factor of d(-6)?
False
Let u be (1/2)/(6/24). Suppose -u*n + 14 = -n. Suppose -5*x + n + 86 = 0. Does 5 divide x?
True
Let k(n) = 3*n. Let j be k(6). Let b be 2698/20 - 34/(-340). Let g = b - j. Is g a multiple of 9?
True
Let s(z) = -z**2 - 7*z. Let x be s(-6). Is 22 - (-4)/(x/6) a multiple of 13?
True
Suppose 2*b + q = 294, 2*q + 0*q + 572 = 4*b. Suppose -28*p - 4235 = -105*p. Suppose 4*y = b + p. Is y a multiple of 25?
True
Let v(g) be the second derivative of g**4/6 - 4*g**3 - 8*g**2 + 2*g - 2. Is v(16) a multiple of 16?
True
Suppose 1075 = 5*o + q, -4*o + 0*q + q + 869 = 0. Suppose o = 9*t - 1152. Is t a multiple of 21?
False
Suppose 2*h = 5*n - 6752, 0 = -3*n + 154*h - 150*h + 4054. Is 213 a factor of n?
False
Suppose 10310 = 15*l - 59877 - 146308. Is 51 a factor of l?
True
Let o = -689 - -219. Let f = o - -824. Is f a multiple of 59?
True
Let q = 905 - 197. Is q a multiple of 31?
False
Suppose -2*k = 163 - 179. Suppose 964 = 2*d - 4*j, 3*d + 11*j - 1455 = k*j. Does 7 divide d?
False
Let o(v) = v**2 + 172*v + 470. Does 97 divide o(78)?
False
Let p = 136 - -23. Let a = p - -729. Does 37 divide a?
True
Let l = 117 - 114. Suppose -304 = l*y - 697. Does 6 divide y?
False
Let u = -255 - -259. Suppose -u*a + 1527 = -t, -a - 3*t = -2*a + 379. Is 81 a factor of a?
False
Suppose 4*b + 14 = -3*x - 206, 5*b = -3*x - 272. Let a be (-2154)/26 - (-3 + (-656)/(-208)). Let o = b - a. Is o even?
False
Suppose -1144 = -4*o + 5*x, -2*o = -7*x + 8*x - 572. Suppose -8*a + 3*a - o = -4*h, 2*h - 4*a - 140 = 0. Does 3 divide h?
False
Suppose 24 = -4*h - 3*t, 2*h + 8 + 2 = -t. Let q be ((h + 1)/(-4))/(8/(-16)). Is 22 a factor of 77/(6*q/(-12))?
True
Let w be -11 - -2 - (-2 + (-2)/1). Is (w - 24/(-4))*37 a multiple of 7?
False
Let p(a) = 2*a**3 + 12*a**2 + 30*a. Is 100 a factor of p(9)?
True
Let f = -50 + 49. Let t be (2 - (-2 + 3))*(f + 0). Is -4*(4 + t + -34) a multiple of 15?
False
Suppose 8*b - 4*b - 5*x - 1365 = 0, 342 = b - x. Suppose -t + 215 = p, -2*p + 95 + b = 4*t. Does 5 divide p?
True
Suppose -5*d + 3*d = -58. Let b = d - 27. Suppose b*m - 26 = 5*g, 14 = m + 3*g - 21. Is m a multiple of 3?
False
Suppose -45*k + 40*k + 150 = 0. Let s(g) = -g**3 + 32*g**2 - 54*g + 65. Is 13 a factor of s(k)?
False
Let g = 11102 - 9443. Is 79 a factor of g?
True
Let g(q) = 5*q**3 + 28*q**2 + 38*q - 117. Let t(r) = r**3 + r + 2. Let p(d) = -g(d) + 6*t(d). Is 8 a factor of p(29)?
False
Let y(n) = -n**2 - 18*n - 75. Let z be y(-8). Suppose -z*h + 14*h - 810 = 0. Does 11 divide h?
False
Let y be -3 - (-128)/12 - (-4)/(-6). Suppose -y*d - 46 = -298. Does 3 divide d?
True
Let c(j) = -j + 2. Let p be c(2). Suppose -3*y + 27 = -4*g, 4*g = 861*y - 862*y + 9. Suppose y*z - 865 - 647 = p. Does 21 divide z?
True
Suppose 2*l - 8 = 0, -4*n + 19 = 2*l + 7. Let f(h) = 139*h**3 - h**2 - h + 1. Let j be f(n). Let z = 311 - j. Is z a multiple of 13?
False
Let r = -1058 - -1885. Let i = r + -736. Does 7 divide i?
True
Let k = -603 + 605. Suppose 5*u = 2*h + 3988, 3*u - 507 - 1889 = k*h. Is u a multiple of 11?
False
Suppose n - 473 - 215 = 4*f, 0 = 3*n + 3*f - 1989. Let c = 899 - n. Is c a multiple of 7?
True
Suppose 22 = 7*i - 6. Let h(t) = 15*t. Let u be h(i). Let x = 110 - u. Is x a multiple of 5?
True
Suppose 2*d + 10*d = 31296. Suppose -10*p = 6*p - d. Is 8 a factor of p?
False
Suppose -5*b = -1519 - 1111. Let w = b - 17. Does 15 divide w?
False
Let r(f) = f + 1. Let o be r(7). Let p be (-15 + 0)*(o/5)/(-2). Suppose 17*t = p*t + 2175. Does 62 divide t?
False
Let b = 16971 + -11098. Suppose -22*v + b + 10451 = 0. Is v a multiple of 23?
False
Let t be 6/(-10) + (-296517)/(-195). Suppose -4*r + 902 = i - 618, t = 4*r + 2*i. Does 38 divide r?
True
Suppose 0 = 3*j + 8 + 7. Let m(b) = 2*b + 70. Let k be m(-30). Does 18 divide (36/k)/(j/(-150))?
True
Let z(s) = -s**3 - 9*s**2 + 5*s + 5. Let o be z(-12). Suppose 48 + 178 = 3*d + c, 5*d + 2*c = o. Does 5 divide d?
True
Suppose -6*x + 10 = -4*x, 4*x = -5*s + 2375. Suppose n = -2*k + 559, 4*n - s = -2*k + 85. Is k a multiple of 10?
True
Suppose -12*q - 35 = -7*q. Let v(k) = 2*k**2 + 4*k + 10. Let o be v(q). Suppose -49 = -3*j + o. Is 9 a factor of j?
False
Does 3 divide 124 - (-8)/2*-1*(-27 + 26)?
False
Let y = -5 - -8. Let k be (6495/(-9))/(55/(-33)). Suppose -3*r - y*d + 612 = 0, 5*d = -3*r + 187 + k. Does 40 divide r?
True
Suppose 10*n - 6*n - 24 = 4*k, 2*n - 21 = 5*k. Let r(s) = -40*s - 32. Is r(k) a multiple of 35?
False
Suppose 1276947 + 332010 = 53*w - 8815. Is 12 a factor of w?
False
Let q(w) = 1963*w + 731. Does 173 divide q(8)?
True
Suppose 7*n - 11*n = -1592. Suppose -3*q - 4*u = -n, q + u + 388 = 4*q. Let c = q + -85. Is 12 a factor of c?
False
Let i(f) = -3*f**2 - 4*f + 51. Let a be i(10). Let r = a + 380. Is 4 a factor of r?
False
Suppose 4*k - 10 = -6*k. Let x be (-72)/(-16)*(-2)/(-3). Does 2 divide k*(x - 9)*-2?
True
Suppose -210 = 3*m - 4*s, -10*s = -m - 6*s - 78. Is 41*(m/(-8) + 26/(-104)) a multiple of 24?
False
Suppose 5*g - 43*g + 2023752 = -g. Is g a multiple of 344?
True
Let n(h) = 3*h**3 - 23*h**2 - 78*h + 696. Is n(18) a multiple of 12?
True
Let f(w) be the second derivative of 313*w**4/6 + 3*w**3/2 - 3*w**2 - 228*w. Does 19 divide f(1)?
False
Let b = -5137 + 9918. Is 56 a factor of b?
False
Suppose 4*k = -4*t + 2*k + 972, -5*t - 3*k = -1216. Suppose 8*v - 1538 + t = 0. Does 27 divide v?
True
Suppose 9*d = 6*d + 39. Suppose 16*c = d*c + 6. Suppose c*x - 20 = -14. Is x a multiple of 3?
True
Let k = -1448 - -4318. Is 43 a factor of k?
False
Let w = 428 - 424. Suppose -w*k + 6033 = 2041. Is k a multiple of 30?
False
Suppose -3*m + 5*d + 83 = 0, 2*m + 0*m = 4*d + 58. Let q(j) = -15*j. Let k be q(1). Let l = k + m. Is 3 a factor of l?
True
Suppose 0 = -2*f + k + 339, 11*f - 12*f = k - 165. Does 51 divide (-1538)/(-6) + (-224)/f?
True
Suppose -4*d + 8 = 2*i + 2*i, 4 =