z + z = 0. Suppose 2*q - 4*q + 20 = 5*u, -q - 2*u + 8 = z. Suppose -2*a - 5*k + 72 = q, 5*a - 3*k - k - 147 = 0. Is a a multiple of 17?
False
Let d = -24 - -22. Let z(u) = -2*u + 7*u**2 - 3*u**2 - 2*u**2. Is z(d) a multiple of 10?
False
Let z = 1698 - 1184. Suppose 0 = -3*p - 5*a + 752, -4*a + 42 = -2*p + z. Is (-2)/4 + p/8 a multiple of 11?
False
Let m(f) = f**3 - f**2 + f. Let d be m(3). Is d + -1 + (2 - 4) a multiple of 11?
False
Suppose -5*b + 26 + 4 = 0. Let n(t) = t + 8. Is n(b) a multiple of 3?
False
Suppose -5*x - 23 = -v, -x - x - 5*v + 7 = 0. Is (-28 + 2)/(x + 2) a multiple of 13?
True
Suppose 4*u = -8, -80 + 6 = 5*o - 3*u. Is 5 a factor of (25/20)/((-2)/o)?
True
Let n(u) = -u**3 - 7*u**2 + 19. Is n(-8) a multiple of 8?
False
Let z be (1 - -1)/((-2)/(-3)). Let u = 4 + 5. Suppose -4*o + u*o = -15, z*m - 3*o - 147 = 0. Is m a multiple of 17?
False
Let t be (-5)/15 - (-14)/6. Suppose 0 = -t*x + 18 + 40. Is x a multiple of 7?
False
Let u be 68/12 - 2/3. Suppose -2*o + u = -o. Is 5 a factor of o?
True
Let q(s) = -5*s + 3. Let v(h) = -4*h**2 + h - 1. Let b be v(1). Does 6 divide q(b)?
False
Let i(w) = 4*w**3 - 3*w**2 - 2*w + 4. Is i(2) a multiple of 10?
True
Suppose 0 = 5*a + 4*y - 156 + 52, 20 = a + y. Is a a multiple of 8?
True
Let p(g) = -g**3 + 5*g**2 - g + 5. Let f be p(5). Is 6 a factor of (f + 2 - -7) + 2?
False
Let l = 34 - 13. Is 72/7 - 6/l a multiple of 9?
False
Suppose 2*b - 5 = b, -5*g - 10 = -4*b. Let t(z) = z**3 - 4*z**2 + z + 4. Let n be t(3). Is (-2 - -8 - g) + n even?
True
Suppose 8 = 3*k - 10. Let r be 3*(k/(-9))/1. Let h = 4 + r. Is h even?
True
Suppose 5*m - 220 = -30. Is m a multiple of 14?
False
Suppose -b = b - k - 351, 2*b = 2*k + 354. Is b a multiple of 58?
True
Suppose 0 = -5*u - k - 47, 2*u - 2*k = 2*k - 10. Let d = u + 13. Is 4 a factor of d?
True
Suppose 3*a - 42 - 483 = 0. Suppose -a = -0*i + 5*i. Let o = 70 + i. Is o a multiple of 13?
False
Let x(u) be the third derivative of -41*u**6/120 - u**5/30 + u**3/6 - 4*u**2. Does 20 divide x(-1)?
True
Let m = 577 - 320. Is 41 a factor of m?
False
Suppose 3*m = -5*b + 226 - 32, b - 38 = -m. Does 11 divide b?
False
Let w be (0 - 1)*3/(-3). Let a(b) = 39*b**3. Is 18 a factor of a(w)?
False
Suppose -3*p = -3*z - 237, -4*p - z = z - 346. Is p a multiple of 14?
True
Let i(j) = 2*j - 6. Suppose 66 = 4*o + 2*o. Is 3 a factor of i(o)?
False
Let v be (-84)/(-18) + (-2)/(-6). Is 3 a factor of 5/(v/3) + 1?
False
Let l = 50 + -15. Is l a multiple of 6?
False
Suppose 401 = 10*a - 89. Is a a multiple of 19?
False
Let k(m) = m - 3. Let b be k(4). Let s = b + 4. Does 2 divide s?
False
Suppose x = 2, 4*x + 56 = u + 3*u. Does 4 divide u?
True
Let d(t) be the second derivative of 23*t**3/6 - t**2 - 2*t. Is d(2) a multiple of 17?
False
Let u(p) = p**2 + 7*p - 4. Let f be u(-9). Is 5 a factor of (f/(-8))/((-1)/8)?
False
Let b(f) = -f**3 - f**2 + 4*f + 6. Let o(i) = -3*i**3 - 2*i**2 + 11*i + 19. Let n(y) = -7*b(y) + 2*o(y). Does 4 divide n(-4)?
True
Let k be 2/4 - (-5)/(-2). Is 17 a factor of k - (37 + 0)*-1?
False
Let d(j) = 14*j**3 - j**2 + j + 1. Does 35 divide d(2)?
False
Let d be ((-2)/2)/((-6)/24). Suppose -d = 4*l - 68. Is 7 a factor of l?
False
Suppose 0 = -2*m + 13 - 11. Let r(h) = h**3 - 2*h**2 - 2*h + 2. Let s be r(3). Suppose -4*p - s = -3*l - 19, p + m = 3*l. Is p a multiple of 5?
True
Let z be (-279)/(-21) + (-6)/21. Let n be -2 + (2 - z*-3). Suppose 0 = 2*d + n - 99. Is 10 a factor of d?
True
Suppose -3*y + 0*y = -12. Suppose 0 = -4*z - 5*m - 14, z - 4 = 3*z + y*m. Is (-64)/(-6) + 4/z a multiple of 4?
False
Let a = 0 + -3. Does 14 divide -1 - -11*(5 + a)?
False
Is 19 a factor of (-133 - -3)/(-1) - (-8 - -5)?
True
Let c(i) = 10*i + 1. Suppose 5*s - 22 + 4 = -2*v, -2*s = 3*v - 5. Let x be c(s). Suppose -2*p + 14 = -4*u, -u - 3*u - x = -5*p. Is p a multiple of 9?
True
Suppose -5*w + 4*u + 106 = 0, 2*u + 2*u + 70 = 3*w. Suppose -w = -5*q + 47. Suppose -91 + q = -3*z. Does 13 divide z?
True
Suppose -20 = -2*l - 2*l. Let r = l - -9. Suppose -3*d + 4*a - 11 = -32, -2*d + 4*a + r = 0. Is d a multiple of 7?
True
Suppose h - 2*p - 16 = -3*h, 0 = 2*p - 8. Let t = h + 2. Is 8 a factor of t?
True
Let r(u) = -61*u - 5. Is 13 a factor of r(-2)?
True
Let p be 6/(-2) - 6*-1. Suppose 6*o - 2*o = 4*l + 176, 0 = -p*o - 3*l + 126. Is 14 a factor of o?
False
Does 39 divide 835*3*(-8)/(-60)?
False
Let q be -4 + 1 - (-2 + -4). Suppose -5 = -q*l + 34. Is l a multiple of 12?
False
Let t(r) = -r**2 - r + 1. Let d be t(2). Let x = d - -5. Is 39 - x*(-2)/4 a multiple of 15?
False
Let m(p) = -4*p**3 + p**2 - p + 2. Let j be m(-2). Suppose -2*a - 4*d + j = d, -d = -a + 13. Is 15 a factor of a?
True
Let l(u) be the second derivative of 5*u**4/12 - 5*u**3/6 - u**2/2 - 5*u. Is l(4) a multiple of 10?
False
Let m(a) = -3*a**3 - 2*a**2 + 1. Let b be m(-1). Suppose -3*x + 201 = 3*g, b*x = -g + 35 + 34. Does 17 divide g?
False
Let r(u) = -u**2 + 10*u + 9. Is 9 a factor of r(10)?
True
Let f(h) = -h**2 + 3. Let m be f(0). Does 14 divide (m + -16)/((-1)/2)?
False
Suppose 28*g - 1928 = 20*g. Is g a multiple of 15?
False
Suppose 0 = 5*o + 10, 0 = 5*h - 2*o + 6*o - 12. Let z be (-4 + h)/(1/1). Suppose 4*v - 72 = -z*v. Is v a multiple of 6?
True
Suppose -15 = -5*m - 3*s - 2, -2*m - 10 = 5*s. Suppose 0 = -p + m. Suppose 2*r - 30 = -2*k, 2*r + p = -5*k + 47. Is r a multiple of 4?
False
Is 191 + (56/42)/(2/(-6)) a multiple of 17?
True
Suppose -86 - 94 = 5*h. Does 14 divide (-2008)/h + 4/18?
True
Let g(y) be the second derivative of y**3/6 + 25*y**2/2 - 2*y. Is 15 a factor of g(0)?
False
Let f(v) = -v**2 - 9*v + 10. Let l(w) = -w - 4. Let u(h) = h**3 - 3*h + 2. Let z be u(2). Let m be l(z). Is f(m) a multiple of 13?
False
Let o be 3*34/(-6)*-2. Suppose -o = c - 3*c. Does 14 divide c?
False
Suppose 3*r = 2*c + 215, -2*r = r + 5*c - 229. Is r a multiple of 15?
False
Is 14 a factor of (-10565)/(-20) + (-6)/(-8)?
False
Suppose 39*m = 42*m - 195. Is 4 a factor of m?
False
Let d = 15 - 9. Suppose -62 = -4*i + d. Is 15 a factor of i + (-4)/(1 + 1)?
True
Let p = -14 + 7. Let d = -8 - p. Does 10 divide (15/1*d)/(-1)?
False
Let c(f) = -3. Let p(r) = 4*r - 5. Let k(l) = 6*c(l) - 3*p(l). Is k(-4) a multiple of 15?
True
Let f(v) = 31*v + 2. Let h be f(3). Suppose -6*w + h = -w. Is w*(2 + 1 + -2) a multiple of 9?
False
Is 10 a factor of (-1014)/(-15) - 6/10?
False
Let k = -8 + 12. Suppose -4*m + k + 8 = 0. Suppose 5*w - 7*w = 2*l - 26, -m*w = l - 35. Is w a multiple of 6?
False
Let t = -36 + -23. Let l = t + 101. Is 16 a factor of l?
False
Is (2 + (-60)/8)*-12 a multiple of 13?
False
Suppose -2*x + 3*x = -10. Let z = x + 14. Suppose z*u - 58 = -2*l, 5*u - 2*u + 3*l = 48. Does 13 divide u?
True
Suppose -181 = -5*u - 6. Is u a multiple of 14?
False
Suppose 4*t + 2*a = 6*t - 24, -4*t + 5*a + 48 = 0. Let s = t + -3. Does 9 divide s?
True
Let l be (-2 - 1) + 9 + -2. Suppose -l*f = 4*g - 64, -2*f - 4*g + 40 = -6*g. Is f a multiple of 18?
True
Let v(u) = -u**2 + 2*u + 4. Let p be v(4). Let i be ((-2)/3)/(p/(-6)). Is 19 a factor of (46 - i) + 1 + 0?
False
Let v = -38 + 56. Is 9 a factor of v?
True
Suppose -2*x = f - 19, 3*x = f - 0*x - 29. Does 23 divide f?
True
Suppose 5*z = 1 - 11. Is 6/2 - (z + -1) a multiple of 6?
True
Let b be (455/10)/(1/(-2)). Let x = -49 - b. Does 21 divide x?
True
Let i(l) = 98*l + 2. Does 15 divide i(1)?
False
Let t(w) = 4*w - 17. Let q be t(5). Is (-27)/(-6)*10/q a multiple of 9?
False
Suppose 6*z - z = 15. Let c = 171 + -174. Is 14 a factor of z/3*(12 - c)?
False
Let z = 3 + 69. Is 11 a factor of z?
False
Let i be -2*-3*(-1)/2. Let h be (-1 - i) + (1 - 1). Suppose 1 = -5*s + m + 32, 3*m = h*s - 15. Does 6 divide s?
True
Let d = 66 + -40. Let m be (-3 - 0)/(18/(-12)). Suppose -4*p - m = -d. Is p a multiple of 3?
True
Suppose 0 = -5*d + z - 122, 56 = -5*d + 5*z - 54. Let g = 76 + d. Is g a multiple of 12?
False
Suppose -3*c + 6*c - 249 = -5*g, -446 = -5*c + 2*g. Does 15 divide c?
False
Let m(z) = -3*z - 2*z**2 + 3*z**2 + 5*z. Let f be m(-2). Let r = f + 10. Is r a multiple of 10?
True
Suppose 3*j - d - 11 = 0, 2*j - 2 - 4 = 2*d. Does 2 divide j?
True
Let d be (-9)/(-3)*(-1)/(-3). Let r be (7 - 6) + 7 + d. Is (-2)/r - (-344)/9 a multiple of 19?
True
Let t be (10/(-4))/(-5)*-6. Let s(i) be the third derivative of i*