 -a - 0*a + n. Is a a multiple of 12?
True
Is (-4)/(-6) + (-40)/(-3) even?
True
Let n = 12 - 8. Let j(o) = n*o + 2*o + 8 - 5*o + 14 + o**2. Does 11 divide j(0)?
True
Suppose 82 = 3*b - 14. Is b a multiple of 8?
True
Let v(l) = 3*l**2 + 2*l + 1. Let x(y) be the first derivative of -y**3/3 + 3*y**2 + 4*y + 3. Let p be x(7). Is v(p) a multiple of 22?
True
Suppose -4*i + 293 - 77 = 0. Is 10 a factor of i?
False
Let j(a) = 4*a**3 - a**2 - 2. Let q be (-1)/(3/3) + 2. Suppose -2*r - q + 5 = 2*t, -2*t + 2 = r. Is 13 a factor of j(r)?
True
Let f = 27 + -11. Is f/7 + 14/(-49) even?
True
Suppose -n + 174 = 3*i, 3*n - 237 = -i - 3*i. Does 19 divide i?
True
Let d(z) = -z**3 + 18*z**2 - 13*z - 21. Is d(17) a multiple of 47?
True
Let x(c) = -c**2 + 2*c + 3. Let g be x(3). Is (-1 - g)*(-19 - 0) a multiple of 7?
False
Let d(m) = 3*m**2 + 2*m - 4. Let b be 4/(-2) - -5 - 0. Let v be d(b). Let f = v + 3. Does 16 divide f?
True
Let w = 88 + -147. Let m = w - -99. Is 20 a factor of m?
True
Suppose -183 = -5*k + 3*u - 4*u, 0 = 3*k - 5*u - 93. Is k a multiple of 9?
True
Suppose -7*z = -5*z. Suppose -l - 4*l = -30. Is 13 a factor of 2/(l/135 - z)?
False
Let w be 8/(-20) + (-4)/(-10). Suppose 5*z + 2 - 27 = w, 5*z - 27 = 2*i. Let j = 4 + i. Does 3 divide j?
True
Suppose 0 = -5*c + 3*u - 119 - 139, -c + u - 50 = 0. Let k = 32 + c. Is (k/(-6))/((-2)/(-6)) a multiple of 11?
True
Suppose 0 = -5*p + 112 + 8. Is p a multiple of 8?
True
Let k = 82 - -5. Does 28 divide k?
False
Suppose -k + 48 = 3*m - 4*k, -k = -2. Is m a multiple of 3?
True
Let w(c) = 2*c - 2. Let r be w(2). Let m be (r/(-4))/((-1)/2). Let k = m - -4. Is k a multiple of 2?
False
Let j be (-27)/(-6) - (-2)/(-4). Suppose 0 = q - j - 7. Is q a multiple of 4?
False
Suppose -4*z + 3*m = -942 - 82, -4*z - 3*m = -1024. Is 16 a factor of z?
True
Let q = 191 + -157. Is q a multiple of 7?
False
Let x = 55 + -77. Let y = 69 + x. Does 25 divide y?
False
Let u(t) = 2*t - t - 4*t - 3. Suppose -3*p = j + 5 + 3, 4*j + 14 = -3*p. Is u(p) even?
False
Suppose -6 = -4*r - 14. Let w be r + 1/1*30. Is (-1 - -1) + w + 4 a multiple of 12?
False
Suppose 0 = x + 2*x + 9. Let j be (x - -7)*(-1)/(-2). Suppose -9 = -3*c, 4*u - 4*c - 2 = j*u. Is u a multiple of 2?
False
Suppose -5*c - 3*m + 357 + 115 = 0, 3*m = c - 98. Is c a multiple of 21?
False
Suppose -5*l = -3*h + 8*h - 295, h - 248 = -4*l. Is 9 a factor of l?
True
Let p = 10 + -7. Suppose 0 = -p*c + 4*q + 41, 0*c + 3*q = 3*c - 36. Does 7 divide c?
True
Let w(l) be the third derivative of l**6/120 + l**5/12 + l**4/12 + l**3/3 - 3*l**2. Is 7 a factor of w(-4)?
False
Let a(g) = g**3 + 6*g**2 + 8*g + 9. Is a(-4) a multiple of 9?
True
Suppose -2*m + m = 2. Let h(u) = -7*u - 3. Is h(m) a multiple of 4?
False
Suppose 0 = z + 4*j, -z + j = 2*z - 39. Is 10 a factor of z?
False
Is -3*(-788)/42 - (-6)/(-21) a multiple of 5?
False
Let o(a) = a + 5. Suppose -4*d - 24 = -8. Let t be o(d). Let u = t + 5. Is 3 a factor of u?
True
Suppose -4*f + 21 = -3. Is (f - 4) + (1 - -2) a multiple of 2?
False
Let a = -40 - -173. Is 11 a factor of a?
False
Let y(m) = 6*m**2 - 5*m + 7. Is 16 a factor of y(2)?
False
Is 10 a factor of (-2)/10 - 51/(-5)?
True
Suppose -26 = 10*h - 12*h. Let w(a) = 2*a**2 + 7*a + 6. Let d be w(-5). Let y = d - h. Is 5 a factor of y?
False
Suppose 2*j - 3*j - 17 = 0. Let o = 12 + j. Let d(w) = w**3 + 4*w**2 - 7*w - 7. Is 3 a factor of d(o)?
True
Let r be ((-10)/6)/(2/(-6)). Suppose 3*q = -4*t + 3, q + 12 = r*t - 2*t. Suppose -5*u - 2*h + 128 = 0, h + 11 = t*u - 57. Is u a multiple of 12?
True
Suppose -z = -3*z + 70. Is 9 a factor of z?
False
Let n be (-378)/(-22) + 22/(-121). Suppose -c + n + 5 = 0. Is 5 a factor of c?
False
Let f = 31 - 26. Is 5 a factor of f?
True
Suppose -14 = -4*m - 6. Suppose 4*n + o - 31 = -2, m*o = -6. Is n a multiple of 6?
False
Suppose -1319 + 167 = -8*h. Does 15 divide h?
False
Let o be (-1)/(-4) + (-309)/(-12). Suppose -5*y - o = 4. Does 3 divide 22/3 + y/(-9)?
False
Let q(d) = -d**3 - 2*d**2 + 3*d + 4. Let t be q(-5). Suppose 0*l + 2*l = t. Is 16 a factor of l?
True
Suppose -i = 3*g + 3, 0 = -3*i - 2*g - 5 + 3. Suppose 4 = -4*s + 4*c, 2*s + i*c = c - 2. Let v(o) = -44*o - 1. Does 15 divide v(s)?
False
Suppose -3*t + 5 = -i, 0 = -2*i - 5*t + 18 + 16. Does 7 divide i?
True
Let a be (-35)/(-21) - (-2)/(-3). Let m be a/((-74)/(-36) + -2). Suppose l + l - m = 0. Is 4 a factor of l?
False
Let z = 110 - 66. Does 11 divide z?
True
Let b(w) be the second derivative of 5*w**3/6 + w**2/2 + w. Let g be b(-2). Let d = 13 + g. Does 2 divide d?
True
Is 18 a factor of (36/(-5))/((-9)/45)?
True
Suppose -5*u + 6 = 21. Let v(j) = 2*j**2 + 4*j + 2. Is 8 a factor of v(u)?
True
Let o = 8 - 4. Suppose j + o*j - 105 = 0. Suppose -3 = 2*i - j. Is i a multiple of 5?
False
Let y(l) be the second derivative of -l**3/6 - 5*l**2/2 + 2*l. Let x be y(-6). Let a(d) = 10*d**2 - 2*d + 1. Is a(x) a multiple of 4?
False
Let j = -21 - -14. Let w(a) = a**2 + 5*a + 6. Is w(j) a multiple of 10?
True
Let w be (8/(-12))/(1/(-9)). Suppose 0 = p - w - 4. Is p a multiple of 10?
True
Let y(h) = -5*h + 6 - 1 + 4 + 3*h**2. Let j be y(6). Suppose -3*r + r + j = -v, 2*v = -4*r + 170. Is 20 a factor of r?
False
Suppose 20 - 244 = -4*b. Let a = b - 35. Does 7 divide a?
True
Does 24 divide (576/80)/((-1)/(-20))?
True
Suppose 4 = -4*d, -3*t + 7 = -4*d - 3. Suppose -56 = -t*y - 4*o, -y + 5*o + 46 = -10. Is y a multiple of 14?
False
Suppose 2*z + 5*n = 39, 4*z + 12 = 2*n + 54. Is z a multiple of 3?
True
Is 15 - (-4 + 4 + 0) a multiple of 15?
True
Let m be 4716/28 + (-6)/14. Suppose 3*x - 3*y = m, x - 68 = 3*y + y. Is 26 a factor of x?
True
Suppose -29*f + 32 = -25*f. Let l = 14 - f. Is 6 a factor of l?
True
Let r = -128 - -304. Is 22 a factor of r?
True
Suppose -l = -2*l - 5. Let u = l + 5. Does 2 divide (4 - 1)/(u - -1)?
False
Let a(z) = -z**2 + 4*z - 1. Let v be a(3). Suppose 3*d = 4*q - 13, -3*d + v*d = -4*q - 1. Let s(l) = -2*l - 7. Is s(d) a multiple of 4?
False
Let x(m) be the third derivative of -5*m**4/8 - 3*m**3/2 + 6*m**2. Is x(-4) a multiple of 12?
False
Let g = 118 - 76. Suppose n - 32 = -h, -4*h - g + 174 = 2*n. Does 12 divide h?
False
Suppose 2*a = a - 2. Is 3 a factor of (a + -1)/(36/(-48))?
False
Suppose -2*r = -2*d - 2, 5*d + 55 = -5*r - 0*r. Let a be 0 + d*1/(-2). Suppose -a*y - y = -84. Is 8 a factor of y?
False
Let d(b) = 7*b**2 - 3*b - 4. Is d(-4) a multiple of 30?
True
Let h = 35 + -54. Let a = 40 + h. Is a a multiple of 13?
False
Suppose -40 = -0*m + 2*m. Let a = m - -52. Is a a multiple of 16?
True
Let r = -36 + 38. Is r even?
True
Let n = 4 - 1. Let t(m) = -2*m + 3. Let q be t(n). Is (-2)/q - 10/(-3) even?
True
Let m = -13 - -15. Does 2 divide m?
True
Suppose 4*m - o - 983 = 394, 5*o - 1395 = -4*m. Does 24 divide m?
False
Suppose -256 = -9*q - 49. Is 5 a factor of q?
False
Let j = 117 + -73. Let m = j + -25. Is 12 a factor of m?
False
Let k = -118 - -274. Suppose -f = -5*d - 66, 0*d + d = 3*f - k. Is f a multiple of 17?
True
Suppose -n + 48 = 3*n. Suppose n = 4*b - 64. Is b a multiple of 4?
False
Let h be (0 + 1)/((-1)/(-10)). Let y = -10 - h. Is (-2)/5 - 688/y a multiple of 12?
False
Let x(m) = m**2 - 4*m + 3. Let f be x(5). Let t = f + 2. Does 7 divide t?
False
Let s = 4 - 5. Does 12 divide ((-6)/(-8))/(s/(-48))?
True
Let r(q) = -3*q - 5. Let d be r(-5). Is 9 a factor of ((-24)/d)/((-2)/15)?
True
Let r(g) = 5*g**3 - 2*g**2 + 3*g - 3. Does 10 divide r(2)?
False
Suppose -3*y - 9 = 3. Is 5 a factor of (-30)/y*(-20)/(-6)?
True
Let q = 131 + -96. Is q a multiple of 5?
True
Suppose u + 2*u - m = 16, 0 = 3*u - 4*m - 10. Suppose z + 45 = u*z. Is 7 a factor of z?
False
Let l be 15/(21/6 + -2). Let c be 13/(-5) + (-4)/l. Does 5 divide -6*-5*(-1)/c?
True
Does 6 divide (4 + 2 + -4)*3?
True
Let u(p) = -p**2 - 4*p - 1. Let i be u(-2). Suppose 3*m = -0*v + 3*v - i, 2*v = 5*m - 10. Is 13 a factor of (1 - v)/((-1)/7)?
False
Let x = -7 + 12. Let h = x - -58. Is h a multiple of 8?
False
Suppose 5*s - 5*u - 240 = 0, 2*s - 2*u = -6*u + 66. Is s a multiple of 14?
False
Suppose 870 = -5*b + 10*b. Let c = -117 + b. Is 19 a factor of c?
True
Let h = 58 + -28. Is h a multiple of 10?
True
Let i(n) = 2*n**3 + 5*n**2 + 2*n + 1. Let t be i(-3). Does 3 divide ((-9)/(-6) + -2)*t?
False
Does 30 divide 16/6*(-801)