True
Suppose -9*b + 6*b = 213. Let m = -49 - b. Is m a multiple of 6?
False
Let c(h) = -h**3 + 7*h**2 + 10*h + 3. Let l(s) = -4*s**2 + 1 + 2*s**2 + 6*s - 5*s**2 + 6*s**2. Let d be l(5). Is 33 a factor of c(d)?
True
Let s(i) = -i**3 + 21*i**2 - 18*i - 28. Let w be s(20). Suppose 198 = -10*a + w*a. Does 18 divide a?
False
Suppose 3*x = 4*t - t + 915, -x + 315 = -3*t. Let m = 539 - x. Is 27 a factor of m?
False
Is 26 a factor of (-10 - -8) + (3 - -384)*1?
False
Suppose 9*k - 138 - 78 = 0. Let v = 36 - k. Is 12 a factor of v?
True
Let z(r) = -r**2 - 53*r - 382. Does 3 divide z(-12)?
False
Let o(z) = z**3 + 2*z**2 - 8*z + 2. Let x be o(-4). Suppose 0 = -4*a + 12, -x*p + 4*a + 64 = -56. Does 6 divide p?
True
Let l be (-21 + -2 - -1)/1. Let m = l + 19. Does 8 divide 2 - ((m - 2) + -3)?
False
Let h(g) = -2*g**2 - 22*g - 30. Let j be h(-9). Is (-38)/(2*j/(-30)) a multiple of 19?
True
Suppose 0 = -6*i + 599 + 295. Suppose 5*w + i = k, 5*k - 872 = -2*w - 208. Is 12 a factor of k?
False
Suppose 4*g = 9*g - 2*o - 4806, o - 3850 = -4*g. Is 78 a factor of g?
False
Let z be (-1 + 1 - 0)*(-7)/(-14). Suppose -4*y + z*y = -168. Does 11 divide y?
False
Let u = -8 - -10. Let t(s) = -22*s + 1. Let g be t(u). Let l = g + 117. Is 17 a factor of l?
False
Suppose 19 = 4*w - 2*w + 5*n, -3*n = 5*w - 19. Let i be -1 - -64*(0 - w). Let t = -84 - i. Is 11 a factor of t?
False
Let m be ((-24)/(-14))/((-14)/(-1421)). Suppose -7*u + m = -141. Is 13 a factor of u?
False
Let p = -11 + 12. Let y(j) = j**3 - j + 22. Let w be y(0). Is 15 a factor of (w + (0 - 1))*p?
False
Let r(s) = -s**2 + 4*s + 2. Let g be (-1 - 2) + 0 - 0. Let o(k) = -1. Let q(c) = g*o(c) + r(c). Is q(4) a multiple of 4?
False
Suppose -3*q = 0, 15 = 2*k + k - 5*q. Suppose -3 - 77 = -k*i. Is 8 a factor of i?
True
Suppose 0 = -2*m + 3 + 1. Suppose -114 + 2 = -m*z. Is 14 a factor of z?
True
Let x = -17 + 38. Suppose 2*r - 147 = 3*v, 5*r - 5*v = x + 359. Is 27 a factor of r?
True
Suppose -15 + 45 = k - 2*p, -3*k + 5*p + 88 = 0. Is 36 a factor of (-2)/(-12) - k/12 - -72?
False
Let u(w) = 19 + 9*w**2 - 4*w**3 + 3*w + 3*w**3 - w - 6*w. Let v(p) = 2*p**3 - 18*p**2 + 7*p - 37. Let k(y) = -7*u(y) - 4*v(y). Does 18 divide k(8)?
False
Does 18 divide (-1)/((-3)/12) + 445 + 10?
False
Let v(x) = -9*x**3 - x - 2. Suppose 0 = -b - 0*b - 2. Let j be v(b). Suppose j - 12 = 3*d. Is 4 a factor of d?
True
Suppose n - 351 = 716. Is n a multiple of 17?
False
Does 44 divide (-6)/(-6 + 36) + (-5812)/(-10)?
False
Let c be (-3)/4*-1 - (-75)/(-100). Suppose -3*b + 4 + 125 = -3*t, c = -4*b + t + 181. Is 23 a factor of b?
True
Is 1*26 - ((-18)/6 - -4) a multiple of 2?
False
Suppose -196*s - 30450 = -211*s. Does 70 divide s?
True
Does 28 divide ((-32)/(-24))/((-1)/(-399))?
True
Let m be (-2)/8*-2*-46. Let n = m + 29. Does 2 divide n?
True
Let h(y) = y**3 + 3*y**2 - 2*y. Let m be h(-3). Suppose -2*w + a = -3*a - 12, -a - 13 = 2*w. Is (-276)/(-18) - w/m a multiple of 8?
True
Let p = 684 + -394. Does 10 divide p?
True
Suppose -5*c - 25 = -10. Does 24 divide -22*c*(-16)/(-12)?
False
Let j(a) = a**2 + 3*a - 15. Suppose 2*z = -0*z + 20. Let g = z + -4. Is 8 a factor of j(g)?
False
Let u = -414 + 743. Is u a multiple of 7?
True
Suppose 2*n - n + 14 = 0. Let d(a) = -15*a - 18. Does 24 divide d(n)?
True
Is 73 a factor of ((-195)/117)/(1/(-834))?
False
Let s = 30 - 32. Let j = 11 + s. Is 9 a factor of j?
True
Let l = -35 - -153. Suppose 8 = -4*t + q - l, -5*t = -4*q + 152. Let j = -16 - t. Does 16 divide j?
True
Let r(b) = b**2 - 7*b + 2. Let h be r(7). Suppose -5*i + 5 = -5*c, -h*i + 32 = -0*i + 4*c. Does 10 divide 15/(-2)*(-8)/i?
True
Suppose -4*c = -3*r - 100, -9 + 84 = 3*c + 2*r. Is 25 a factor of c?
True
Suppose 5*x = -4*r + 1861, -4*r = x - 2*x - 1855. Is 16 a factor of r?
True
Let p(d) = d**3 - 2*d + 8. Let l be p(0). Suppose -l*g + 217 = -47. Does 11 divide g?
True
Let q = 662 - 321. Suppose 3*x - q + 35 = 0. Is x a multiple of 17?
True
Let y(a) be the second derivative of a**5/60 + 3*a**4/8 - 3*a**3/2 + 9*a. Let h(i) be the second derivative of y(i). Is h(-3) a multiple of 3?
True
Let q(s) = -53*s - 532. Is q(-12) even?
True
Let s(c) = 25*c - 15. Let d be s(-3). Does 19 divide 722/18 + 10/d?
False
Let v(j) = 5*j - 13. Let o be v(3). Suppose -o*f - 4*a = -3*f + 80, 5*a + 331 = 4*f. Does 14 divide f?
True
Is 1*((-237)/(-9) + 6/9) a multiple of 9?
True
Suppose -5*b + 10*b - o = 27, 0 = -b - 5*o - 5. Suppose 3*p - 12 = -f, 0*p = -4*p - 3*f + 11. Suppose -31 = -b*a + 4*u - 0*u, p*u - 12 = -a. Is 3 a factor of a?
False
Suppose 2 = -o, 4*h + 9 + 17 = -5*o. Let c = 95 + h. Does 7 divide c?
True
Let y(j) = 2*j**2 - 62*j + 71. Is y(35) a multiple of 27?
True
Let o(z) be the third derivative of -17*z**4/24 - z**3/6 - 13*z**2. Let d be o(-1). Suppose -d*q = -12*q - 72. Is 5 a factor of q?
False
Let a(f) = -f**2 + 8*f + 21. Let d be a(11). Let w(q) = -5*q - 27. Is w(d) a multiple of 11?
True
Let q(h) = -h**3 - 5*h**2 + 7*h - 2. Let w be q(-7). Suppose w = k + 17. Is 10 a factor of k?
True
Let s(v) = -203*v - 349. Is 90 a factor of s(-23)?
True
Does 8 divide (-2)/8 + (3 - 4105/(-20))?
True
Suppose -68 = 5*l + 72. Let u = -41 - -99. Let m = l + u. Is m a multiple of 8?
False
Suppose 0 = -2*r - 0*r + 40. Suppose 42 = -4*d + y, 0 = -d - y - 0*y - 13. Let m = d + r. Does 8 divide m?
False
Suppose -16*f + 3272 = -3224. Is 14 a factor of f?
True
Is 7 a factor of (-20)/6*2610/(-75)?
False
Suppose 43640 = -5*z + 25*z. Is 16 a factor of z?
False
Does 38 divide (-1 - 50)*(18 - 3113/33)?
False
Let p be (3 - 3) + (-40)/(-2). Suppose 11*o = 7*o + p. Suppose -o*i = 33 - 233. Is 8 a factor of i?
True
Suppose -4*u = 3*o, -7*o + 2*o + 4*u = 32. Is 21/o*28/(-3) a multiple of 9?
False
Let s(z) = -z**2 - 11*z + 2. Let n be s(-5). Let a be 3 + -3 - n*-2. Suppose 3*r + 4*j = a, -3*r + 56 = -j + 12. Does 16 divide r?
True
Suppose 10 = 2*k, -3*k - 14 = 4*f - k. Suppose -39 = 2*p + 3*j, -52 = 3*p - 7*j + 5*j. Let g = f - p. Is 3 a factor of g?
True
Let d(w) = w - 12. Let h be d(10). Let v be -3 + -29 + (h - -3). Let b = v - -47. Is b a multiple of 14?
False
Let l(d) = d**2 + 11*d + 69. Is 39 a factor of l(-18)?
True
Suppose -3*v - 3*w + 516 = 0, 5*w = 2*v - 358 + 21. Is v a multiple of 19?
True
Let a(x) be the third derivative of -x**4/12 + 4*x**3/3 - 2*x**2. Let f = 35 + -45. Does 7 divide a(f)?
True
Let r = 142 + -107. Is 2 a factor of r?
False
Suppose -z - 2 = -4. Suppose o + 2*m - 72 = 0, -z*o + 212 = -4*m + 84. Does 34 divide o?
True
Suppose -7874 = -4*s + z, -21*z + 3928 = 2*s - 17*z. Is s a multiple of 123?
True
Let w = -7 + 7. Suppose w = 3*s - 413 + 5. Does 17 divide s?
True
Does 11 divide 89 - ((-19)/9 - 18/(-162))?
False
Let z(f) = -2*f + 22. Let m be z(11). Suppose -5*n + 420 = -m*n. Does 21 divide n?
True
Let n = -184 - -123. Let p = n - -190. Does 13 divide p?
False
Let x(h) = 123*h - 624. Is x(15) a multiple of 37?
True
Let l(v) = -6*v**3 - 119*v**2 - 9*v - 20. Does 10 divide l(-20)?
True
Let h = 3 + 1. Suppose -h*o + 5 = -7. Suppose 80 = 7*a - o*a. Is a a multiple of 20?
True
Let d be 436/(-8)*(4 + (4 - 10)). Suppose d + 143 = 14*z. Does 2 divide z?
True
Let u(x) = -2*x**2 + 2*x + 5. Let q be u(6). Let j = 248 - q. Suppose 3*z + j = 4*n, 4*z = 12 - 0. Does 13 divide n?
True
Let u be (-2688)/54 + (-6)/27. Let d = u - -126. Is d a multiple of 4?
True
Let a(w) = -15*w**3 + w**2 - 4. Is a(-2) a multiple of 60?
True
Suppose 4*r - 14 = -2*k, -5*r = -2*r - 6. Does 17 divide 2/k*(-3 - -105)?
True
Suppose -8*r - r = -27. Suppose -r = -v + 3*g + 21, -3*v = -5*g - 52. Does 3 divide v?
True
Let u(l) = -78*l**3 + l**2 - l - 1. Let t be u(-1). Let g = -58 + t. Is 3 a factor of g?
True
Let y = -2277 - -3213. Is y a multiple of 36?
True
Let y(h) = h**3 + 6*h**2 - 2*h - 3. Let u(q) = -q**3 + q - 5. Let k be u(0). Let n be y(k). Suppose 0 = 2*v - 6*v + n. Is v a multiple of 4?
True
Suppose 0 = 17*k - 19*k. Suppose -3*y + 159 = 2*n - k*y, -n - y = -81. Is n a multiple of 7?
True
Let f be ((-6)/(-3) + -1)/((-4)/(-1128)). Suppose -2*n + 0 = -f. Does 24 divide n?
False
Let k = 91 - 170. Let i be (-1 + 0)*-1*k. Let n = i - -115. Does 6 divide n?
True
Let i(x) = -x**3 + 4*x**2 + 5*x - 1. Let l be i(5). Does 35 divide (630/(-27))/(l/3)?
True
Suppose 4*r - 6*f - 24 = -2*f, -6 = -3*r - f.