-17. Does 3 divide 2/4 - (-28)/z?
False
Suppose 0*g + g + 5*q - 11 = 0, 3*g = -2*q + 33. Let l(t) = -t - 5. Let r be l(0). Let j = r + g. Does 6 divide j?
True
Suppose v = 3*v. Suppose 0 = 4*x + 3*s + 27, -x - 5*s + 8 - 2 = v. Let p = x - -16. Does 5 divide p?
False
Let y = 0 - 0. Suppose y = q, -4*q - 14 = -4*d + 38. Is 7 a factor of d?
False
Let v(d) = -64*d. Let s be v(1). Suppose 5*t + 4*r = -153, 2*t + 24 = r - 45. Let g = t - s. Is 11 a factor of g?
False
Suppose -3*z + 26 + 247 = 0. Suppose z + 35 = 3*v. Does 22 divide v?
False
Suppose -2*p = 2*p + j - 160, 2*p + j - 78 = 0. Is 8 a factor of p?
False
Let n(v) = 2*v**2 - 3*v - 4. Is 27 a factor of n(5)?
False
Let f(b) = b**3 - 5*b**2 - 3*b + 9. Let k be f(6). Let c be 0/(2 + (1 - 4)). Suppose 2*y = -3*w - y + 45, -2*w + y + k = c. Does 14 divide w?
True
Suppose -5*p = 0, -3*p - 12 = -4*l - 4*p. Let r be 0/((-3)/l) + 2. Suppose 0 = 2*h + r*h - 20. Is 2 a factor of h?
False
Let h(w) = 3*w**2 - 3*w. Let b be h(2). Suppose -3*t = -4*t + b. Does 11 divide 116/3 + (-4)/t?
False
Let o = -74 + 127. Does 6 divide o?
False
Let x(p) = p**2 - 6*p - 13. Let l be x(7). Suppose -3*v + 6 = -6. Does 10 divide v/l + 105/9?
False
Let j = -60 - -123. Suppose -5*c + 2*a + j = -76, 104 = 4*c + 2*a. Is c a multiple of 11?
False
Suppose -3*q + 5*g = 4, -3*q - 5*g + 20 = 2*q. Let a = 21 - -14. Suppose h - 4*f = 4*h - 36, a = q*h - f. Is h a multiple of 9?
False
Suppose -2*m - 56 = -3*m - 4*v, 88 = 2*m + 2*v. Suppose 0 = 5*u - u - m. Is 10 a factor of u?
True
Is 13 a factor of 26*2/12*3?
True
Suppose 3*t = 10 + 20. Let h = 3 - t. Let w = h + 20. Is 6 a factor of w?
False
Let a = -5 + 5. Suppose 2*i - 4 = a, -i + 124 + 88 = 5*b. Suppose -3*d + m = -58 + 10, -4*m - b = -2*d. Is d a multiple of 7?
False
Let f = -98 + 210. Suppose 2*w - 4*w = -f. Is 13 a factor of w?
False
Let t = 6 - -68. Is t a multiple of 13?
False
Let h = 7 - 10. Is (-24)/(-9) + 2/h even?
True
Suppose -t + 8 = v, -4*t + v - 13 = -4*v. Suppose t*z + 2 = 5. Does 11 divide (0 + 27)*(z - 0)?
False
Let l(n) = -n**2 - 11*n - 10. Let q = 9 + -33. Let b = q - -17. Is 9 a factor of l(b)?
True
Let m be -1*2 - (4 + -69). Suppose 3*d - 18 = m. Does 9 divide d?
True
Let i be 42*-1*24/(-28). Suppose 2*o - i + 0 = 0. Is 20 a factor of o/(-15)*(-150)/9?
True
Suppose 6 = 4*j - 10. Let z(t) = -t - 13. Let n be z(-16). Suppose -j*a + 3*c = a - 188, 2*c + 112 = n*a. Is a a multiple of 17?
False
Let m = 7 + 26. Is m a multiple of 25?
False
Let g(n) = 4*n**3 - 2*n**2 + 2*n - 1. Let z be g(1). Suppose q + 2*q + 2 = 2*m, -4 = 4*q - z*m. Suppose -q*x + 48 = 2*x. Does 12 divide x?
True
Let z(u) = -2*u - 1. Let o be z(-7). Let v = 41 - o. Is v a multiple of 14?
True
Let l(u) = -4*u**3 + u**2. Let b be l(-1). Suppose -5*v + b*z = -25, -3*v + 10 + 3 = -2*z. Is 18 a factor of -34*3/(-2) + v?
True
Suppose 5*n + 52 - 242 = 0. Is 32 a factor of n?
False
Suppose 0 = 4*v - 39 - 5. Let h(t) = 2*t**3 - 5*t**2 + 12*t - 3. Let b(n) = n**3 - 3*n**2 + 6*n - 2. Let z(d) = v*b(d) - 6*h(d). Is z(-4) a multiple of 18?
True
Let n = 3 - 3. Suppose 0*p + 2*p + 228 = n. Let a = 167 + p. Is 19 a factor of a?
False
Let x be 2/(-6 + 3 - -4). Let d(k) = k**3 + k**2 + 4*k + 3. Let c be d(-3). Let y = x - c. Is y a multiple of 15?
False
Is 11 a factor of (264/(-16))/((-2)/4)?
True
Let o be (410 - -1)*(-1)/(-1). Suppose 0 = 3*u - 0*h + h - o, -135 = -u - h. Suppose 2*v + v = u. Does 18 divide v?
False
Let t(j) = 54*j**3 - 2*j**2 + 3*j. Is 11 a factor of t(1)?
True
Let z(n) = n**3 + 4*n**2 - 5*n + 1. Let j be z(-5). Suppose 5*l = -3*c + 4, -5*l + 5 = 2*c - j. Suppose -m = l*m - 27. Does 9 divide m?
True
Let s = 57 - 96. Let r = s - -87. Does 14 divide r?
False
Let s = 5 - 0. Suppose -3*n = s*z - 2*z - 15, -2*n + z = -25. Does 3 divide n?
False
Suppose 4*v - 5*b - 11 = -32, 1 = b. Let k(m) = -m**3 - 4*m**2 - 3*m + 2. Is k(v) a multiple of 7?
True
Suppose -513 = -4*c - 33. Does 35 divide c?
False
Let b(v) = 9*v - 14. Let k be b(7). Let u(d) = -12*d - 3. Let y be u(-2). Let t = k - y. Does 14 divide t?
True
Let u = -3 + 7. Let j = u + 9. Does 5 divide j?
False
Let r = -5 - -12. Does 7 divide r?
True
Suppose 3*i = 3*o + 186, 5*i + o - 326 = 2*o. Is i a multiple of 16?
False
Is 13 a factor of (0 + 2)/((-63)/65 + 1)?
True
Let y(b) = b + 5. Let p be y(0). Suppose -p*f = 5, 5*f - 6 + 44 = 3*i. Is 11 a factor of i?
True
Suppose 0 = -4*z + 5*y + 170, -6*z - 2*y + 156 = -2*z. Does 20 divide z?
True
Let y = 267 - 150. Does 19 divide y?
False
Suppose -16 - 49 = -5*o. Let i = 6 - o. Let u = i + 15. Does 8 divide u?
True
Let l = 55 + -100. Let b = l - -73. Is b a multiple of 17?
False
Let t = 47 - 23. Is 24 a factor of t?
True
Suppose -2*g - 112 = -4*g. Is 11 a factor of 0 + (-1 - g/(-4))?
False
Suppose -3*p = -457 + 97. Is p a multiple of 24?
True
Let y(a) = 3*a**2 + 6*a - 4. Does 12 divide y(4)?
False
Let o = 6 + -7. Let a be (69/(-6) - o)*-2. Is 8 a factor of a + 1 - (-2 - 0)?
True
Suppose t - 2*s = -5, 6*t - 3*t - s = 0. Let g = 6 - t. Does 2 divide g?
False
Suppose -5*i - 4*u + 14 = -33, 4*i = 2*u + 48. Is i a multiple of 11?
True
Suppose 67*h - 61*h = 72. Is 6 a factor of h?
True
Let u = 151 + -56. Does 29 divide u?
False
Let g = 127 - 49. Does 13 divide g?
True
Suppose -7*k + 3*k - 190 = -5*s, 5 = k. Is 6 a factor of s?
True
Let c be 5*-1*6/(-15). Suppose 4*r = 2*x - 26, 26 = c*x - 8*r + 3*r. Is x a multiple of 13?
True
Suppose -8*y - 7*y = -1155. Is 20 a factor of y?
False
Suppose -33 + 8 = -5*u. Suppose -2*k - u*h = -11, k - 5 = -k + h. Suppose 0*z = k*z - 21. Is z a multiple of 7?
True
Let j(l) = l. Let t be j(4). Suppose 0 = t*m - m. Suppose m = -z + 3*z - 84. Does 18 divide z?
False
Let v(h) = h**2 + 7*h + 1. Is 7 a factor of v(5)?
False
Let d(v) = -4*v - 6. Let n be 6/9*(-8 + 2). Does 6 divide d(n)?
False
Let t be 3/5 + (-2)/(-5). Does 16 divide 31 + t - 0/(-3)?
True
Suppose 4*r = 47 + 17. Suppose 5*q = -4*n + 102 + r, 2*q = 4*n + 36. Is 15 a factor of q?
False
Let s(w) = -2*w + w + 11 - 11*w - w**2. Is 4 a factor of s(-12)?
False
Suppose 5*r - i - 7 = 0, r + 0*r = i - 1. Suppose r*m - 30 = -m. Does 4 divide (m/6)/((-2)/(-12))?
False
Let i(x) = -4*x - 2. Does 10 divide i(-11)?
False
Let g(u) = -2*u - 14. Does 10 divide g(-12)?
True
Let p(n) = -n - 1. Let w(r) = -r**2 + r - 3. Let q be w(0). Let h be p(q). Suppose -h*l - 18 = -5*l. Is l a multiple of 5?
False
Let k be (12/(-15))/((-4)/10). Is 9 a factor of 0/k + 9 + 0?
True
Is (16/(-20))/2*1*-15 a multiple of 5?
False
Is 12 a factor of 28/210 - (-718)/15?
True
Let k be (-2)/(-2) + (-1)/(-1). Suppose -k*h + h = -11. Is h a multiple of 7?
False
Suppose 4*q + 2 = 2*n, -3*q + 4*q = 2*n - 5. Let i = q + 0. Is (((-225)/(-3))/3)/i a multiple of 9?
False
Is 36 a factor of ((-3)/(-4))/(1/96)?
True
Suppose 3*u - 2*z = -8, -u - 3*z = 4*u - 12. Suppose u*c + 4*c + 56 = 0. Does 5 divide 10/35 + (-206)/c?
True
Let b(f) = 11 - 5*f**2 + 13*f - 2 + 8*f**2. Is b(-6) a multiple of 12?
False
Let t(s) = -s**3 - 5*s**2 - 5*s - 1. Let k be t(-4). Let a be 12/18 - (-142)/k. Suppose 4*p - 6*p = -a. Does 12 divide p?
True
Suppose 0 = -2*z - 2*n + 62, 0*z - 4*n + 68 = 2*z. Let s = z + -20. Is 4 a factor of s?
True
Let v(s) = 2*s**2 + 7*s - 6. Let u be v(-7). Let h = u + -28. Is 6 a factor of h?
False
Let w = -83 + 139. Is w a multiple of 28?
True
Let m(z) = 10*z + 10. Is m(3) a multiple of 37?
False
Suppose 3*w = 11 + 7. Let j(a) be the first derivative of -a**3/3 + 9*a**2/2 + 2*a - 4. Is 10 a factor of j(w)?
True
Let u be -11 + (1 + -3)*1. Let b = -3 - u. Is b a multiple of 6?
False
Let t = -15 - -164. Is t a multiple of 28?
False
Suppose 2*i - j = 41, 48 + 46 = 3*i + 5*j. Is i a multiple of 23?
True
Let g(j) = j - 8. Let m be g(9). Suppose -3*r + 143 = 4*p, 2*r + 2*r + 4*p = 188. Is 18 a factor of (m + r)/2 + 1?
False
Is (6/10)/(11/495) a multiple of 9?
True
Suppose 5*t = -2*d - 24, -6*t + 12 = -4*d - 7*t. Is 3 a factor of (-21)/(-2) - d/4?
False
Let o(q) be the second derivative of q**7/2520 + q**6/720 + q**5/30 + q**4/6 - q. Let l(p) be the third derivative of o(p). Is 10 a factor of l(-3)?
True
Suppose -7*n + 784 = -84. Suppose -2*x = -4*x + n. Is x a multiple of 21?
False
Does 2 divide 2/2*(0/1 - -5)?
False
Let m(l) = 3*l**2 - 7*l + 2. Does 28 divide m(-5)?
True
Suppose 