de y(-6)?
False
Suppose 6 = 4*f + 3*p, f - 10 = 6*f - 5*p. Suppose q - 14 - 3 = f. Does 6 divide q?
False
Let y = 11 + -7. Suppose 2*t + t + 72 = 2*s, 5*t - 166 = -y*s. Does 13 divide s?
True
Let r(y) = 31*y - 6. Let q be r(2). Suppose 0 = -4*p - q + 144. Is 11 a factor of p?
True
Let j(r) = -3*r**2 + 6*r. Let g be j(4). Let l = -8 - g. Does 4 divide l?
True
Let h(j) = -j**3 - 1. Let t be h(2). Let g = -5 - t. Suppose -g*p + 175 = -a, -5*a - 6 = -3*a. Is 17 a factor of p?
False
Let b = -47 - -95. Suppose p - b = 3*p. Is 14 a factor of 6/p + 154/8?
False
Let h = 312 - 213. Is h a multiple of 21?
False
Let r(c) = c**3 - 18*c**2 + 6*c + 18. Is r(18) a multiple of 21?
True
Suppose -20 = 5*n, 4*r - 3*n - 2*n - 20 = 0. Let l(v) = 0*v + 5*v**2 - 7 + r*v + v**3 - 3*v. Is l(-5) a multiple of 4?
True
Let r be -36*(-3 + (-4)/(-1)). Let x = 68 + r. Does 13 divide x?
False
Let r be 0 + 33 + 4 + -2. Suppose 12 = -4*u, j - 2 - r = 3*u. Is 14 a factor of j?
True
Suppose -4*s - 2*o = 0, -3*s + o = -2*s. Suppose 4*c - 188 = -s*c - 2*t, 2*t + 180 = 4*c. Is 23 a factor of c?
True
Suppose -h + 6 = -f, f + 3 = -1. Suppose -2*t + 3*t = 28. Suppose 3*w = h*l - l + t, 3*l = -4*w + 33. Is w a multiple of 9?
True
Let v(l) = l**3 + 8*l**2 + 7. Let c be v(-5). Suppose -c - 34 = -5*z - 3*r, -2*z + 59 = -3*r. Is z a multiple of 7?
False
Suppose u - 4*d = 5*u - 4, 3*d = -u - 3. Let j = u - -6. Does 7 divide j?
False
Suppose -f - f = -168. Suppose 2*d = 6*d + f. Let j = 38 + d. Is 6 a factor of j?
False
Let d = -4 - -7. Suppose 0 = 2*g - d*g - y + 68, 5*y + 236 = 4*g. Is 32 a factor of g?
True
Let d be (1 - 23/1) + -2. Is d/10*20/(-3) a multiple of 8?
True
Let z(u) = 34*u. Let l be z(2). Suppose j - l = -j. Suppose 3*b - 2*i - 22 = 0, j = 7*b - 2*b - 4*i. Does 5 divide b?
True
Suppose -107 = 5*g + 38. Let v = 40 + g. Is v a multiple of 3?
False
Let w(a) = 18*a**2 + 1. Let x be w(-1). Suppose -v + 4*v = -2*f + 15, 0 = -v + 5*f - 12. Suppose v*g = 2*g + x. Does 8 divide g?
False
Let n(c) = -3*c - 3. Let s be n(-2). Suppose -3*m - s = 0, 0*u - 4 = u + 2*m. Does 6 divide 11 + 1 - (-1 - u)?
False
Let v(p) = p**3 - 4*p**2 - 7*p. Is v(6) a multiple of 15?
True
Let f(p) = -p**2 - 9*p. Let a(s) = -2*s**2 - 5*s - 2. Let x be a(-3). Does 11 divide f(x)?
False
Let i be (-8)/(-4) + (-11 - -2). Let r = i + 15. Is 6 a factor of r?
False
Suppose -u + 155 = -713. Is 12 a factor of u/18 + (-8)/36?
True
Let j(s) = -s**3 + 8*s**2 + 2*s + 11. Does 21 divide j(5)?
False
Does 8 divide 4*(2 - 0/(-3))?
True
Suppose -2*m - 5*z + 24 + 11 = 0, -4*m = -5*z - 25. Is m a multiple of 5?
True
Suppose 0 = 2*z - 6 - 0. Suppose z*t - 20 = -t. Does 4 divide t?
False
Suppose -z - 3*i + 81 = 0, 4*z + i - 192 = 99. Let b be 4*(5 + -4)/2. Suppose w + v - 30 = 0, 5*v = -b*w - 0*w + z. Is w a multiple of 13?
True
Let w(j) = -2*j + 6. Let q be w(-5). Suppose 9 + 19 = -4*s - 4*o, -3*s - 2*o = 25. Let u = s + q. Is u a multiple of 3?
False
Suppose f + g = 25, -41 = -f - 5*g + 4. Is 4 a factor of f?
True
Suppose -4*w + 79 = 7. Is 9 a factor of w?
True
Is (-2 + 1)/(7/602)*-1 a multiple of 21?
False
Suppose 0 = -5*i + 3*i + 80. Suppose -x - 4*x = -i. Let g = 8 + x. Is 8 a factor of g?
True
Let o = -20 - -122. Is o a multiple of 13?
False
Suppose 5*l - 145 = -2*v, -v - 5*l = 2*v - 225. Does 10 divide v?
True
Let r = 22 - 16. Suppose 4*n = -3*c + 3, -r*n - 2 = 2*c - 2*n. Is 2 a factor of c?
False
Is 3 a factor of 8/4 - 4 - -37?
False
Let p(x) = -x**3 + 7*x**2 - 6*x - 9. Let t(z) = -z**3 + 7*z**2 - 5*z - 8. Let i(g) = 3*p(g) - 4*t(g). Is i(7) a multiple of 11?
False
Is (-316)/(-8) + 1*1/(-2) a multiple of 2?
False
Suppose -2 = m + 10. Is 9 a factor of 41/2 + 6/m?
False
Let g(m) be the second derivative of -2*m**5/5 - m**3/6 - m**2/2 + 2*m. Let a = 0 - 1. Does 8 divide g(a)?
True
Suppose 0 = 2*i - x - 40, i + 0*i - 2*x - 14 = 0. Does 4 divide i?
False
Let a = 11 - 7. Let m be (-4)/6 - (-34)/(-3). Is 5 a factor of a/(-6) - 128/m?
True
Let p = 17 - 12. Suppose -3*w - 155 = -5*o - w, -2*o + 41 = -p*w. Is o a multiple of 11?
True
Let t = -88 + 185. Is t a multiple of 27?
False
Let q(h) = -h**3 + 36. Is q(0) a multiple of 18?
True
Suppose 0*p + 2*p = -3*s + 62, 3*p + 60 = 4*s. Let j = -4 - -10. Suppose -4*i = -j*i + s. Does 9 divide i?
True
Suppose 0 = r - g + 2 - 3, 5 = -3*r - 5*g. Suppose r = 2*q - 4*i - 128, 8*i - 3*i - 29 = -q. Is q a multiple of 27?
True
Let j be 2 - -4*(-1)/2. Let c be (-5 + 1)/(-2 - j). Suppose -3 - 2 = t - c*v, 0 = -4*t - 5*v + 45. Does 2 divide t?
False
Suppose -q - 2*y = -53, 4*q - 5*y + 40 = 252. Is q a multiple of 30?
False
Suppose 325 = 5*y - 3*s - 2*s, 335 = 5*y - 3*s. Is 14 a factor of y?
True
Let w(t) = -t**3 + 10*t**2 + 13*t - 12. Let z be w(11). Is 13 a factor of (-12)/60 - (-362)/z?
False
Suppose 2*y - 116 - 32 = 0. Let f be (-3)/2*10/(-3). Suppose -2*m - y = -3*r, -f*r + 56 = -3*r - 3*m. Is 13 a factor of r?
False
Let b = 7 - 5. Let f(y) = 1 + 1 - y + 0*y + y**b. Does 14 divide f(4)?
True
Let s(a) = 3*a**2 - 10*a + 15. Let i(f) = 2*f**2 - 5*f + 8. Let h(u) = -5*i(u) + 3*s(u). Is h(-5) a multiple of 3?
False
Let x be (-2)/(0 + 4)*-4. Suppose -2*u - 2 - x = 0. Does 25 divide 0/2 + (-100)/u?
True
Let r be ((-2)/(-8))/((-4)/(-48)). Suppose -5*j = -r*j - 6. Let v = 7 - j. Does 2 divide v?
True
Let k(p) = -14*p**3 + 2*p**2 - 3. Let q be k(3). Let y = -240 - q. Let a = y - 86. Does 18 divide a?
False
Let m be (1 - -2*1) + 0. Suppose 2*p - m*p = -5. Suppose -21 = -p*o + 24. Is o a multiple of 5?
False
Suppose 3*n + 2*l - 318 = 0, 4*n - 459 = -l - 30. Is 27 a factor of n?
True
Is 1561/35 - (-4)/10 a multiple of 9?
True
Suppose 2*r = 8*r. Suppose -2*h = -5*w + 85, 2*h + r*h - 10 = 0. Is 9 a factor of w?
False
Suppose 3*v = 5*v - 4, 3*h - 3*v - 18 = 0. Let j = 19 - 24. Let w = h + j. Is 3 a factor of w?
True
Is ((-100)/(-6))/((-8)/(-12)) a multiple of 10?
False
Let n be 16/6*(-6)/(-4). Suppose n*d - 36 = -0*d + 2*r, -d + 9 = -3*r. Is 9 a factor of d?
True
Does 5 divide (-212)/(-20) - (0 + 4/(-10))?
False
Let t(a) = -a - 5. Let u be t(-6). Suppose b = -u + 2. Is ((-1)/b)/(1/(-5)) a multiple of 2?
False
Is 3 a factor of (-2 - -2 - 1)*-6?
True
Suppose -441 = -4*y - 5*n + 289, -929 = -5*y + 2*n. Is y a multiple of 37?
True
Suppose 7*j = 8*j - 148. Is 41 a factor of j?
False
Suppose 5 + 13 = -3*a. Let i(b) = -b. Let h be i(a). Does 19 divide (-15)/h*-16*1?
False
Suppose 2*w - 10 = -3*w. Let c = 10 - w. Is c a multiple of 8?
True
Suppose k + 0*o - o - 31 = 0, 4*o + 60 = 2*k. Is k a multiple of 16?
True
Suppose -16 = 5*s - 41. Suppose 2*c = c + s*u + 16, -6 = -3*u. Is 13 a factor of c?
True
Let t be ((-1)/3)/(4/(-600)). Suppose 0 = x + 18 + 10. Let y = x + t. Is y a multiple of 22?
True
Let r be -2*(-7)/2 + -2. Suppose x + 0*x + 2 = 0, -r*g + 4*x = -153. Does 9 divide g?
False
Let o(s) = -25*s - 1. Let x be o(-1). Let b = 53 - x. Does 16 divide b?
False
Let r = 14 + -10. Suppose -r = -4*n + 8. Let k = n + 11. Does 14 divide k?
True
Let s = 84 - 32. Let c = s - 18. Does 14 divide c?
False
Does 33 divide 2 + 4/((-4)/(-31))?
True
Let i(h) be the third derivative of h**8/10080 + h**7/1008 + h**6/180 + h**5/60 + 3*h**2. Let v(q) be the third derivative of i(q). Does 5 divide v(-3)?
False
Let h = -3 + 5. Suppose -4*s = -h*s - 4*p, -3*s = 5*p. Suppose 2*y + 2*y - 140 = s. Is 15 a factor of y?
False
Suppose 2*j = -2*l - l + 11, -2 = l - 5*j. Suppose 3*a - 2*f = l*f + 633, 2*f = 0. Suppose -2*p - 9 = -5*s + a, 5 = p. Is s a multiple of 23?
True
Suppose -9*s + 5*s - 28 = 0. Let h = -63 - -34. Let l = s - h. Is l a multiple of 11?
True
Let c be -4*(1 + -2)*4. Let g be (-1215)/(-35) - 2/(-7). Let z = g - c. Does 8 divide z?
False
Let r(s) = -2*s**3 - 3*s**2 + 3*s + 4. Let d be r(-3). Suppose 5*h = 6*h - d. Does 14 divide h?
False
Suppose -5*g + 57 = -38. Suppose -2*k = -5*j + 2*k + g, 2*k = -j + 1. Suppose 4*x - 90 = -5*o, 3*o + x = j*x + 32. Is o a multiple of 7?
True
Suppose -t + 32 = -184. Does 27 divide t?
True
Suppose 3*x - 4 = -h, 2*x - 5 - 7 = 4*h. Let w be -4*x/4*-2. Suppose w*r - 206 - 26 = 0. Is r a multiple of 15?
False
Suppose 11 = 2*t - 27. Let h = 47 - t. Does 15 divide h?
False
Let i be 0/(0 - 2/(-2)). Let h be (i - -1) + (-10)/1. Let s = 35 + h. Does 9 divide s?
False
Let j(c) = 10*c - 3. Let x(y) = -y**3