False
Suppose -4*o = -9*o + 2205. Is o a multiple of 21?
True
Let g(a) = 7*a**3 - 3*a**2 - 24*a + 21. Does 49 divide g(7)?
True
Suppose -3*d + 4*m + 419 = 54, 2*d = 3*m + 243. Let i = 179 - d. Does 14 divide i?
True
Let a be -4*(-11 + 11 - (2 + -1)). Is 28/24*40 + a/3 a multiple of 16?
True
Let c = 9 + -8. Let z be -189 + c/((-4)/4). Is 14 a factor of z/25*(-2 + -3)?
False
Let b(p) = -p**2 + 7*p + 20. Let h be b(7). Suppose -12*v + h*v = 496. Does 9 divide v?
False
Suppose 6*b - 5*b = 18. Let m = 63 - b. Is 15 a factor of m?
True
Suppose -1052 = -11*z + 81. Let u = z + 32. Does 15 divide u?
True
Suppose 61*t - 18*t = 13803. Does 23 divide t?
False
Let k(z) = -2*z - 20. Let p be k(-11). Suppose -585 = c + p*c. Let q = c - -273. Is q a multiple of 26?
True
Let i(q) = 2*q**2 - 6*q + 5. Let b be i(3). Suppose -3*o - o + 302 = b*x, 0 = 2*o - 2*x - 142. Is o a multiple of 6?
False
Let k(m) = -2*m**3 + 5*m**2 - 3*m + 2. Let w(v) = v**3 + v**2 + v - 1. Let j(p) = -k(p) - w(p). Let g be j(6). Let a = -3 + g. Is 8 a factor of a?
True
Suppose -2365 + 19375 = 21*t. Does 18 divide t?
True
Suppose -129 = -3*a - 2*o + 92, 3*a - 4*o - 233 = 0. Let b be a/(-10)*4/(-3). Let u = 24 - b. Is 4 a factor of u?
False
Let l(x) = -x**2 + 5*x + 3. Let i be l(5). Suppose 6*r - 142 = 3*r - 2*t, -i*r + 140 = 4*t. Does 4 divide r?
True
Suppose -3*d = y - 0*y - 8, y - 5 = -2*d. Suppose -16*v + 13*v + 750 = d*g, 3*v - 3*g = 738. Is 31 a factor of v?
True
Let u = 402 - 207. Is u a multiple of 4?
False
Suppose 0 = -5*m - 3*y + 1061, 5*m + y - 629 - 438 = 0. Is 13 a factor of m/8 + 7/28?
False
Is 11 a factor of (-15268)/(-22) + 2 + -3?
True
Let q = 25 + -23. Suppose 3*y + s = 94, q*s + 142 = 3*y + 2*y. Is y a multiple of 30?
True
Suppose 95*w - 3960 = 86*w. Is 55 a factor of w?
True
Let g(s) = 7 - 1 + 17*s - 4*s. Let w be g(3). Suppose x - 1 = w. Is x a multiple of 23?
True
Suppose -72 - 61 = a. Let k = a + 287. Does 14 divide k?
True
Let w(j) = j - 6. Let n be w(4). Let k be (-15)/(-5) + -1*1. Is n*14/(-8)*k a multiple of 7?
True
Suppose -4*s + 7 = 11, -5*q + 1098 = 2*s. Is 44 a factor of q?
True
Let y(c) = 2*c**3 - 22*c**2 + c - 11. Let q be y(11). Suppose -2*v + 131 = -3*x - q*x, 3*v - 207 = x. Is v a multiple of 14?
True
Suppose 5*j = -3*s + 11, -2*s + 4*s - 4*j = 0. Let q(c) = 6*c**s + 5 - 3 - 3*c**2 - c**3 + 3*c. Is 4 a factor of q(3)?
False
Suppose 40*s - 37*s + 36 = 0. Let r be (1 + -1)*(-6)/s. Is r/((-4)/4) + 38 a multiple of 19?
True
Let i(k) be the first derivative of -k**4/4 + 13*k**3/3 - 6*k**2 + 23*k - 11. Is i(12) a multiple of 4?
False
Suppose 248*f + 9856 = 256*f. Is 88 a factor of f?
True
Let t = 772 - 464. Is t a multiple of 19?
False
Let b(s) = s**2 - 17*s + 18. Let y be b(16). Let g be y + 6 + (-8 - -4). Suppose 156 = 6*k - g*k. Does 28 divide k?
False
Suppose -108*t = -110*t + 2428. Does 40 divide t?
False
Let z(m) = 2*m**2 - 5*m - 11. Let i be z(-7). Let h = -70 + i. Is 25 a factor of h?
False
Is (95/(-76))/(((-4)/(-2))/(-1112)) a multiple of 11?
False
Suppose -i - 32 = -5*i. Is 27 a factor of ((-6)/i)/((-6)/648)?
True
Let i(w) = -w**3 - 6*w**2 - 9*w - 11. Let a be i(-5). Let p be (2 + (-12)/a)*3. Suppose 0 = -p*b + 4*n + 128, -5*b + 165 = 3*n - 129. Is 9 a factor of b?
False
Suppose 10*h - 7192 = -21*h. Is 18 a factor of h?
False
Suppose 0 = -u - 5*g + 7, -22 + 1 = -3*u + g. Suppose 2*v - u = -1. Suppose 0 = v*z + 78 - 327. Does 25 divide z?
False
Let y be 2/(-11) - (-303)/33. Suppose -3*x = -5*g - 24, 4*x + 0 - y = -g. Is 26 a factor of 8/g*234/(-8)?
True
Let p = -151 - -294. Suppose u + 4*u + 405 = 3*r, r = -u + p. Does 21 divide r?
False
Let d(f) = -f**2 + 5*f - 6. Let x be d(3). Suppose 0 = -x*a + 2*a - 48. Is a a multiple of 8?
True
Suppose 32*h = 7334 + 27162. Does 11 divide h?
True
Let p be -1*(0 - (6 + -3)). Let r(k) = 3 + 1 + 5*k + 6*k - k**2 - p*k. Is 3 a factor of r(7)?
False
Let c be -8*(5/(-20) + 0). Let p(i) = -12*i**2 + i - 2. Let s(r) = -35*r**2 + 2*r - 5. Let g(j) = 11*p(j) - 4*s(j). Does 18 divide g(c)?
True
Suppose -10*a + 8*a = -70. Suppose 6*p - a = 5*p. Does 7 divide p?
True
Does 5 divide (-35361)/(-15) + 6/10?
False
Is 9 + -2 - (16 + -154) a multiple of 7?
False
Suppose -842 = 5*b - 3412. Does 28 divide b?
False
Suppose 14 + 4 = 3*q. Suppose 25*p + 76 = 63*p. Suppose -q*j + p*j = -468. Is 24 a factor of j?
False
Suppose 22*z - 2493 = 785. Does 11 divide z?
False
Let c = -16 - -30. Let w be ((-12)/(-14))/(2/c). Suppose -7*l = -w*l - 17. Does 7 divide l?
False
Suppose 3*h - 3*x = -6*x, -5*h + 6 = 3*x. Suppose -5*p = -4*w - 491, -h*p - w = 4*w - 302. Is p a multiple of 9?
True
Let q = 3 - -2. Let r(i) = 3*i - 10. Let g be r(q). Suppose -g*y + z - 6*z + 55 = 0, 8 = y - 2*z. Does 6 divide y?
False
Let b(m) = -5*m - 1. Let l be b(-3). Let q = -9 + l. Suppose -k + q + 5 = 0. Is 8 a factor of k?
False
Let y(h) = h**2 - 2*h + 5. Let b be y(3). Let v(w) = -w**3 + 7*w**2 + 11*w + 1. Does 5 divide v(b)?
True
Suppose -344 = -4*w - 4*k, 3*w + 52 - 311 = -2*k. Is 87 a factor of w?
True
Suppose 29*m = -47*m + 101080. Does 60 divide m?
False
Let d be ((-25)/(-4))/((-1)/(-12)). Suppose -q + d = -0*q + o, 0 = -q - 2*o + 74. Is 43 a factor of q?
False
Let f(n) = -78*n - 32. Does 3 divide f(-1)?
False
Let f = -591 - -691. Does 2 divide f?
True
Suppose 5*s - 5*i - 255 = -0*s, -5*i - 202 = -4*s. Is 16 a factor of s?
False
Let v = -154 + 233. Let d be 2/((12/21)/((-4)/(-14))). Suppose 0 = j - v + d. Is 10 a factor of j?
False
Suppose -4*n = 4*v - 1140, -3*v - 4*n + 0*n + 853 = 0. Does 20 divide v?
False
Let p be ((-69)/(-6))/((-2)/4). Let f = 12 - p. Is f a multiple of 17?
False
Let v(q) = -q**2 - 11*q - 8. Let h be v(-8). Suppose -3*o = -o - h. Does 6 divide o?
False
Suppose 523*h - 18112 = 507*h. Does 12 divide h?
False
Let x be 12/10*15/6. Let q(m) = 14*m + 1 + x + 3. Does 13 divide q(6)?
True
Let m be -2*1/((-3)/9). Suppose -4 = 4*r - m*r. Suppose r*n + 0*n + b - 44 = 0, 2*b - 4 = 0. Does 21 divide n?
True
Suppose -35*m + 582 = -32*m. Suppose 0 = -10*o + 12*o - m. Does 16 divide o?
False
Let u be (-50)/(-4)*(-8)/10. Let y = u + 13. Suppose -y*h + 63 = -111. Is 26 a factor of h?
False
Suppose -3*j - 5*k + k - 153 = 0, 4*k + 208 = -4*j. Let y be (-10)/j + 708/(-22). Let b = 48 + y. Is b a multiple of 16?
True
Let b(n) = -2*n**2 - 3*n - 1. Let k be b(-1). Suppose d = -k*d - 1. Let u = d - -8. Is u a multiple of 2?
False
Let l be -1*(4 - 1) + 60. Suppose 5*y + 6*z = 2*z - 69, 4*y + l = -5*z. Let n = y + 32. Does 9 divide n?
False
Suppose 5*n = -b - 1, 0 = 4*b - n - 0*n + 67. Let s = 111 - 67. Let g = s + b. Is 7 a factor of g?
True
Let u = -192 + 223. Is u a multiple of 3?
False
Let m(g) = -6*g**3 - g**2 - g + 28. Let l(s) = s - 2. Let y be l(-2). Let t(k) = -5*k**3 - k**2 - k + 28. Let q(c) = y*m(c) + 5*t(c). Is q(0) a multiple of 14?
True
Let m(f) be the second derivative of -17*f**5/4 - f**4/4 + f**2 + 16*f. Is 21 a factor of m(-1)?
True
Let c(j) be the first derivative of 2*j**3/3 - 2*j**2 + 3*j + 20. Is c(5) a multiple of 15?
False
Let w(v) = -6*v**3 - 2*v**2 + 4*v - 2. Let r be w(2). Let s = r - -38. Is 1/(-1)*(-85 - s) a multiple of 12?
False
Let n be (-12)/18 - (-8)/3. Suppose -2*d + 3*x = -53, d - 4*x - 36 = -n. Let u = -4 + d. Is 18 a factor of u?
True
Let f = -45 + 557. Does 16 divide f?
True
Suppose 15 - 15 = 6*n. Suppose -b + 2*b + 3 = n, 0 = -5*i - b + 172. Does 7 divide i?
True
Suppose -3 = 4*b - 3. Suppose 28 = -2*g + 82. Suppose b = -k - 2*k + g. Is k a multiple of 3?
True
Let w = 120 - 74. Suppose 0 = -5*t + 7*t - w. Is 23 a factor of t?
True
Let n(r) = r**2 + 10*r + 2. Let d be n(-9). Let j = 10 + d. Suppose -67 - 17 = -j*s. Does 22 divide s?
False
Let x = -50 + 137. Is 27 a factor of x?
False
Let p = 8 - 8. Let c(f) = -f**2 - f + 66. Does 11 divide c(p)?
True
Let s(l) = -14*l**2 - l + 3. Let a(g) = 15*g**2 - 3. Let r(z) = -3*a(z) - 4*s(z). Let d be r(3). Suppose -7*x = -10*x + d. Does 9 divide x?
True
Is 31 a factor of ((-25)/2)/((-2)/100)?
False
Let z = -38 + 23. Let h be z/2*32/(-10). Is 19 a factor of 5 + -2 - (0 - h)?
False
Let l(h) = h**2 + 6*h + 4. Let x be l(-5). Let i be -2*21/6 - -3. Does 13 divide 39 - (-4 + i/x)?
True
Let l(g) be the third derivative of g**6/120 - g**5/12 + g**4/24 + 2*g**3/3 + 3*g**2. Let t be -1 - ((-7