 2*s - 10. Let f be r(8). Let j(p) = 3*p + 4. Let t be j(f). Let q = t + -6. Does 8 divide q?
True
Suppose 0*m - m + 75 = 5*i, -5*i - 3*m + 75 = 0. Suppose -i = 5*k - 10*k. Suppose k*f - 4*f = -65. Does 13 divide f?
True
Let r(s) = s**2 - 6*s + 8. Let j be r(6). Let l = 12 - j. Suppose 0 = 2*w + l*t - 50, -4*w + 115 = -t + 4*t. Is 10 a factor of w?
False
Is 239 + (-12 - -6 - 0) a multiple of 3?
False
Let r = 4934 - 1716. Is r a multiple of 30?
False
Suppose -t = -7*t + 240. Suppose -3*u + 21 = 2*j, -4*u = 2*j - 5*j + t. Is 10 a factor of j?
False
Suppose -47 = -4*r + 5*h, r = -10*h + 5*h + 18. Let j be (-15 + r)/(4/(-150)). Let a = j + -39. Is a a multiple of 7?
False
Suppose -2692 = -4*r + 38*f - 34*f, 4*r + 3*f - 2706 = 0. Is 45 a factor of r?
True
Suppose 8 = 5*f - q, -f + 3*q + 4 = 4*f. Suppose -3*l + f*l = -r, 2*r - 35 = -5*l. Does 2 divide r?
False
Let t be 1*(-1 - (-2)/(-2)). Let z = 16 - t. Does 4 divide z?
False
Let c(d) be the first derivative of d**4/6 + 35*d**3/6 - 3*d**2/2 - 1. Let r(k) be the second derivative of c(k). Does 25 divide r(16)?
False
Suppose j + 2*j - 59 = -t, 4*j = 4. Does 14 divide t - 10 - (4 - 0)?
True
Let u = 76 - 106. Let s = u + 62. Does 25 divide s?
False
Suppose 4*n + s - 289 = -0*s, 228 = 3*n + 3*s. Suppose -49 = -4*c + n. Suppose -5*p = c - 450. Is p a multiple of 23?
False
Let j(l) = 3*l + 39. Is j(29) a multiple of 6?
True
Suppose -h - 4*a - 10 = 3, 0 = 3*h - 5*a + 124. Let g be 39/4 - h/(-44). Suppose 113 = l + g. Is 18 a factor of l?
False
Let l be (-2 - -3)*(49 - 6). Suppose -747 = -4*y - l. Does 41 divide y?
False
Suppose 2 = -t - 3*u, -t - 4*u - 6 = u. Suppose t*i - 20 = 0, -5*i = b + 2*b + 38. Let c = b + 57. Is 12 a factor of c?
True
Suppose 0 = -3*z + 5*m + 5375, 11*m = -3*z + 15*m + 5377. Is z a multiple of 83?
False
Let d be ((-5)/(-15))/((-2)/(-12)). Suppose 60 - 8 = d*a. Does 13 divide a?
True
Let b = 3187 + -1778. Does 15 divide b?
False
Let b(a) = 24*a**2 - 12*a + 20*a**2 - 61*a**2 + 20*a**2 + 9. Let d(s) = s**2 + s - 2. Let u be d(-3). Does 9 divide b(u)?
True
Let b(d) = d + 5. Let u be b(-5). Suppose u = 4*s + 4*m - 124, 4*s - 3*s - 13 = 5*m. Is 14 a factor of s?
True
Does 43 divide (3 + (-19)/(-1) + -7)*18?
False
Is 7 a factor of (-6 - 535/(-5)) + (3 - 2)?
False
Let j = 458 + -341. Does 10 divide j?
False
Suppose 3 = -2*v + 451. Does 5 divide v?
False
Let p(f) = f**2 + 11*f + 9. Let g be p(-10). Is (-1 - g - -10)/(39/195) a multiple of 8?
False
Suppose -5 = 3*z + 2*z - 5*u, -z = 4*u - 19. Let h be (1128/(-9))/(-4)*z. Suppose -6*a + a + 4*c = -h, -74 = -3*a - 2*c. Is a a multiple of 6?
False
Let j(k) = 44*k - 2. Let f be 4 - ((-18)/2)/(-3). Does 6 divide j(f)?
True
Suppose 6*x - 2*x - 12 = 0, 4*x + 72 = 4*c. Suppose d + c = 69. Does 24 divide d?
True
Suppose -30 = -5*n - 45. Let y(r) = r**3 + 5*r**2 + r - 3. Does 12 divide y(n)?
True
Let y(b) = 2*b**3 - 4*b**2 + b - 5. Let h be 9/(-6)*(-3 + 1). Let i be y(h). Suppose 0*k - i = -k. Does 3 divide k?
False
Let g be ((-105)/(-28) - 4) + (-263)/4. Let p = -13 - g. Is p a multiple of 5?
False
Let x(d) = 2*d**3 - 4*d**2 + 4*d - 2. Let k be x(2). Suppose k*t + 14 - 302 = 0. Suppose 5*v + 3*s - t = 4*v, -v - 4*s = -52. Is v a multiple of 6?
True
Suppose 3*z + 3 = 0, -z - 688 = -5*i + 2603. Suppose 0*c + i = 7*c. Does 26 divide c?
False
Let s(o) = -o**2 - 4*o + 725. Does 25 divide s(0)?
True
Let t = 13 + -11. Is 6 a factor of t/6 - (-321)/9?
True
Suppose 3*i = 15, -2*i = -2*w + i + 61. Suppose 0 = y - 20 - w. Is y a multiple of 22?
False
Let l be (-3)/2 + (-498)/4. Is ((-8)/(-12))/((-2)/l) a multiple of 14?
True
Let d(i) = -2 + 3*i**3 - 2*i + i**3 - 3*i**3 - i**2 + 0*i**3. Let z be d(-1). Is 6 a factor of (4 + 0)*(-19)/z?
False
Let d = -4 - -5. Let t(c) be the first derivative of 24*c**2 + 4. Is 13 a factor of t(d)?
False
Let q(l) = -4 - 2 + 2 - 8*l. Is q(-6) a multiple of 22?
True
Let z = -1102 + 1201. Is 40 a factor of z?
False
Let x = 28 - 40. Let w be 6*-10*3/x. Is 2 a factor of (-2)/10 - (-108)/w?
False
Suppose 2 + 10 = 6*x. Let h(g) = 3 - 3*g - 2*g**2 + 0*g**2 - 3*g**2 - x*g**3. Is 27 a factor of h(-4)?
False
Let b = -8 - -11. Suppose -t - 2 = 3*d, b*d + 0*t = t + 2. Is 5 a factor of -1*(-1 - d)*5?
True
Suppose -3*j = -2*j - 360. Does 15 divide j?
True
Suppose 0 = 41*o - 28*o - 780. Does 6 divide o?
True
Let g = -2543 - -5531. Is g a multiple of 18?
True
Let l(c) = c**3 + 11*c**2 + 3*c - 14. Let b be ((-10)/3)/(4/12)*1. Does 7 divide l(b)?
True
Let s(o) = o**2 - o + 15. Let w(q) = -q**3 + q**2 - 7. Suppose 2*z = 5*z. Let r be w(z). Does 23 divide s(r)?
False
Suppose -29*l + 5423 = -0*l. Is l a multiple of 3?
False
Let c = -189 + 117. Does 6 divide c/(-9)*(1 + 8)?
True
Suppose -43 = 3*k - 5*u - 146, -2*u - 114 = -4*k. Let o = k - 2. Let y = o - 14. Is 10 a factor of y?
True
Suppose -g + 2 = -0*g. Let d = 343 - 164. Suppose 29 + d = 4*r + g*h, -3*r = 4*h - 156. Does 26 divide r?
True
Let y be (-10)/(-2) - (0 - -1). Suppose -3*g = 3*q - q - 61, -2*q = y*g - 60. Is 32 a factor of q?
True
Let n(r) = r**3 - r**2 - 4*r - 1. Let v be n(3). Is 2/v + 1066/10 + 7 a multiple of 27?
False
Let a(q) = -10*q - 4. Let j be a(-2). Suppose 4*h - 3 = -2*s + 7, -j = -2*s - h. Is s a multiple of 5?
False
Let r(x) = x**2 + 94. Does 9 divide r(20)?
False
Suppose -2*k - 5*k + 560 = 0. Suppose -o + 3*o - k = 0. Is 20 a factor of o?
True
Let h = 2113 - 382. Does 34 divide h?
False
Let f(c) = c**3 - c**2 + 5*c + 1259. Does 33 divide f(0)?
False
Let z(x) be the third derivative of 1/2*x**4 - 11/60*x**5 + 0*x - 5*x**2 + 1/120*x**6 - 11/6*x**3 + 0. Is 2 a factor of z(10)?
False
Let g = 57 + 519. Is g a multiple of 36?
True
Does 24 divide ((-48)/(-40))/(1/180)?
True
Let z(d) = 45*d**2 - 15*d + 2. Is 31 a factor of z(-1)?
True
Let d(s) = -149*s - 510. Does 4 divide d(-10)?
True
Let n(c) = -5*c**3 - 4*c**2 + 3*c - 5. Let g be n(-4). Suppose -2*a = -59 - g. Is a a multiple of 16?
False
Suppose 5*f - 43 = 137. Suppose 0 = -3*v - 14 + 98. Suppose -5*w - v = -5*x - 2*w, 3*x - f = -3*w. Does 6 divide x?
False
Let l(x) = -129*x + 83. Is 20 a factor of l(-8)?
False
Let l(x) = -x**3 + 7*x**2 - 7*x + 3. Let g be l(5). Suppose 3*h - h + 6 = 0, 2*h + 1986 = 3*z. Is 18 a factor of (-4)/6 + z/g?
True
Suppose 7 = -4*i - 1. Is 22 a factor of 2/(i + (-7)/(644/(-192)))?
False
Let z = -27 + -162. Let w = z + 125. Let v = w + 94. Is 8 a factor of v?
False
Let n(r) = -r**3 - 16*r**2 - 3*r - 20. Suppose -2*m + 5 = 37. Does 28 divide n(m)?
True
Suppose -40 = -5*z - 5*k, 2*z - 3*k - 3 - 8 = 0. Suppose 15 = z*f - 6*f. Is 15 a factor of f?
True
Suppose -2*n = -6, -2*n - 28 = -4*w + 2*n. Let j be (3/2)/(6/(-16)). Is w - 8 - j/1 a multiple of 6?
True
Does 9 divide (51/6 - 5)/(9/2502)?
False
Suppose 4*m = -51*m + 71280. Does 9 divide m?
True
Let d = -2104 + 3337. Is 16 a factor of d?
False
Suppose 0 = -12*v + 851 + 1249. Suppose -176*c + v*c = -26. Is 26 a factor of c?
True
Let j = 943 - 663. Is j a multiple of 8?
True
Is 12 a factor of ((-1449)/46)/(3/(-20))?
False
Let h be 1*(4 - (-2 + 3)). Let n(y) = -3 + h*y**2 + 3*y**2 - 5*y**2 - 6*y + 0. Is n(9) a multiple of 8?
True
Suppose -521 = -10*r - 21. Let s = -9 - 25. Let x = s + r. Is 16 a factor of x?
True
Let q(t) = -t**3 + 4*t**2 + 6*t - 2. Let p be q(4). Let g = p - -2. Is g a multiple of 12?
True
Suppose g + 4*z - 4 + 3 = 0, -g = -2*z - 7. Let r(v) = v**2 - 7*v - 16. Let d be r(9). Let f = g - d. Does 2 divide f?
False
Suppose 2 - 86 = 4*a. Let w = 51 - a. Is 16 a factor of w?
False
Suppose 4*w + 0*r = -r + 6, 6 = w - 2*r. Let k(l) = 26*l**3 - l**2 + l - 3. Does 29 divide k(w)?
True
Suppose 0 = 10*a - 15*a - 530. Let g = -5 - a. Is g a multiple of 10?
False
Let k(m) = 17 - 21*m - 32 + 6*m. Is 15 a factor of k(-9)?
True
Let f = 170 + -147. Let j = -136 - -213. Let q = j - f. Is q a multiple of 18?
True
Let w be 0 + (-4 - (-2 + 2)). Does 13 divide (-3)/w + (-585)/(-36)?
False
Suppose r = -2*i + 16, 0 = r + 6*i - 11*i - 23. Let n(w) = w**3 - 19*w**2 + 24*w - 35. Is n(r) a multiple of 10?
False
Let n = -1151 + 2320. Is n a multiple of 100?
False
Suppose 0 = 2*v + 2*q - 406, 0 = -4*q - 24 + 4. Is 8 a factor of v?
True
Let q(w) = -w + 4. Let s be q(4). Suppose 3*g - 20 - 67 = -4*y, s = 2*g + 5*y - 65. Does 5 divide g?
True
Let g(l) = 2*l**2 + 3*l - 4