87 - 521. Is 7 a factor of n?
True
Let l(g) = -26*g + 3. Let o(b) = -b**3 - 10*b**2 - 2*b - 17. Let n be o(-10). Suppose 5 = n*x - 8*x. Does 7 divide l(x)?
False
Is (2 + 2 + -5)/((-4)/3440) a multiple of 3?
False
Suppose -3539 = -3*p + 8548. Does 17 divide p?
True
Let g(a) = a**3 + 4*a**2 - 3*a + 4. Let b be g(-5). Let n(h) = -5*h**2 - 8*h - 4. Let o(l) = -l**2 - l - 1. Let f(k) = -n(k) + 4*o(k). Does 12 divide f(b)?
True
Let b = 10 - 10. Suppose b = 3*n - n - 12. Is 3 a factor of n/(-4*(-1)/2)?
True
Let a(m) = 94*m + 136. Is a(10) a multiple of 48?
False
Suppose 31 = 6*l - 29. Is (-1)/5 - (-1062)/l a multiple of 28?
False
Let d(a) = -63*a + 110. Is d(-30) a multiple of 15?
False
Suppose 28*c = 26471 + 3209. Is 25 a factor of c?
False
Suppose 2*z - 855 = 245. Is 55 a factor of z?
True
Let f(c) be the first derivative of -c**2/2 - c - 1. Let j be f(-4). Suppose j*k - 68 = 13. Is k a multiple of 9?
True
Suppose 4*t - 4*l + 28 = 0, 4*t - 6*l + l = -32. Is 31 a factor of (-2)/(-11) + -5430*t/66?
False
Let s = 825 - -82. Does 24 divide s?
False
Let z be (2 + -1)/((-4)/332). Let l = 36 - z. Does 7 divide l?
True
Let m be 15*(3 + (-86)/14)*-21. Is 10 a factor of m/14 + (-8)/(-28)?
False
Suppose 3*x = -t + 3026, -5*x = -10*x - 5*t + 5050. Does 12 divide x?
True
Suppose -6*y = 311 + 127. Let u = y - -102. Is 8 a factor of u?
False
Let m = -2033 - -3682. Is 34 a factor of m?
False
Let o = 121 - 248. Let j = o - -145. Does 11 divide j?
False
Suppose 6*w = 7920 - 2418. Is w a multiple of 59?
False
Let l(p) = 2*p + 6. Let a(k) = 3*k**2 - 5*k - 4. Let s(r) = 8*r**2 - 14*r - 11. Let m(v) = 11*a(v) - 4*s(v). Let w be m(-3). Does 4 divide l(w)?
False
Suppose 1269 = 5*z - h - 1617, -4*z + 2316 = h. Is z a multiple of 17?
True
Suppose 3*n - 2*n = 6. Suppose 3*q = -0 + n. Is 17 a factor of 10/15*153/q?
True
Let f(j) = j**2 + 4*j - 79. Let u be f(0). Let z = 250 - u. Is 41 a factor of z?
False
Let p = 30 - 32. Does 3 divide (-46)/(-6)*5 - p/3?
True
Let f(i) = -i**3 + 12*i**2 - 11*i + 21. Let g be f(11). Suppose -4*a + g = -15. Does 2 divide a?
False
Suppose 14 = -3*b - 25. Let h = b + 127. Is h a multiple of 19?
True
Is 61 a factor of -4 - 1963/(-1) - 2?
False
Suppose 18*n = 11*n. Suppose 7*d + 28 - 224 = n. Is 8 a factor of d?
False
Let x = -149 + 419. Is x a multiple of 27?
True
Does 6 divide ((-28)/3)/(4/(-18))?
True
Is 2 a factor of ((-172)/(-6))/((-4)/(-6))?
False
Let u = -44 + 94. Does 10 divide u?
True
Let i = 70 + -76. Let s(p) = p**2 - 11*p - 18. Does 3 divide s(i)?
True
Let z(s) = -s**2 + 13*s - 18. Let r be z(5). Is ((-5)/(-5))/1*r a multiple of 11?
True
Let c(a) = a**3 - 14*a**2 - a + 17. Let s be c(14). Suppose -106 = -s*d + 122. Suppose 4*z + d = 4*k - 2*k, 5*k = -z + 135. Is 7 a factor of k?
True
Let w(j) = -2*j**3 - 27*j**2 - 20*j - 7. Is w(-13) a multiple of 5?
False
Suppose 0 = -9*h + 1089 - 162. Suppose 3*z = 5*q + 29, -4*z - 5*q - 6 = -h. Does 5 divide z?
False
Suppose -a + m + 3 = -16, 3*a + 3*m - 69 = 0. Is 7 a factor of a?
True
Let w = -3 + 19. Suppose -52 = -4*u - w. Is 2 a factor of u?
False
Let k = -1004 - -1089. Is k a multiple of 17?
True
Suppose -z = -115 - 47. Does 18 divide z?
True
Let x(r) be the first derivative of 7*r**2/2 + 3*r - 2. Is x(6) a multiple of 8?
False
Suppose 44*t - 62*t + 6840 = 0. Is 38 a factor of t?
True
Suppose -3*g = -6*g - 27. Suppose -3*a - 2*a = -165. Let y = g + a. Does 5 divide y?
False
Let w be 15/(7 + -4) - 3. Does 16 divide ((-21)/w)/(8/(-128))?
False
Let z be (12/(-66) + 9/(-11))*3. Is 42 a factor of (3/(-2))/(z*6/2088)?
False
Let j = -62 + 262. Does 25 divide j?
True
Suppose -4*w + 5*b = -11572, -58*b + 53*b - 2878 = -w. Is w a multiple of 46?
True
Let c = -767 - -2063. Is c a multiple of 48?
True
Let v be 1*(0 + (-3)/6)*0. Suppose -20*h + 21*h - 170 = v. Does 29 divide h?
False
Let p = -2 - -5. Suppose 16 = n + p*n. Is 3 a factor of n?
False
Suppose 3*m + 196 = 34. Let x = m - -102. Suppose -4*t - 5*q + 173 = -x, -5*t + 273 = 3*q. Is 18 a factor of t?
True
Let q be 4/14 - (-20)/28. Let c be -3*(q + 50/(-6)). Let s = c + -11. Does 3 divide s?
False
Let c(t) = -2*t - 14. Let g be c(-13). Suppose 3*u = -4*n - 2, 0*n = -u + 5*n + g. Does 16 divide (-72)/(-1 + u/(-4))?
True
Let k(j) = 6*j**2 + 5*j + 22. Let a(b) = 5*b**2 + 4*b + 23. Let u(d) = 5*a(d) - 4*k(d). Is u(0) a multiple of 7?
False
Suppose 17 = -4*i + 5*h, -4*h + 0*h = -3*i - 12. Is 14 a factor of (-69)/6*-8*(-12)/i?
False
Let d(a) = a**3 - 4*a**2 - 4*a. Let m be d(5). Let k(z) = -z + 5. Let n be k(3). Suppose 4*t = 4*i - 200, 2*i = m*i - n*t - 146. Is i a multiple of 18?
False
Let z(o) = -o**3 + 13*o**2 - 16*o + 6. Let w(c) = 2*c - 11. Let a(h) = -h + 5. Let n(b) = -5*a(b) - 2*w(b). Let i be n(14). Is 20 a factor of z(i)?
False
Suppose -4*a = -0*h - 3*h - 2933, -3*a + 3*h + 2199 = 0. Let r = -368 + a. Does 61 divide r?
True
Does 11 divide 311 - ((-14)/(-6) - (-32)/48)?
True
Suppose -13*t - 12 + 116 = 0. Suppose -a + t + 28 = 0. Is 7 a factor of a?
False
Let o = 20 + -14. Suppose -o = -4*k + 2. Suppose -4*q + 48 = -k*q. Is 12 a factor of q?
True
Suppose 0 = -169*g + 165*g + 3260. Is g a multiple of 8?
False
Let a = 0 + 4. Suppose -a*h + 1 = -7. Suppose -55 = -4*d - d + 5*g, d - h*g = 12. Is 5 a factor of d?
True
Suppose -j + 0*j = -f + 5, -5*f = -2*j - 4. Let a(i) = -15*i - 20. Is a(j) a multiple of 17?
True
Let c(m) = -m**2 - 8*m + 10. Let k be c(-9). Let v(f) = 59*f - 10 - 55*f + 7 + 41*f**2. Is v(k) a multiple of 6?
True
Let a be (-9)/(-27)*2 - 28/6. Let w(k) = 4*k**2 - 3*k - 16. Does 30 divide w(a)?
True
Let u be 0*(-4)/(16/2). Suppose 4*s = -u*s + 400. Does 22 divide s?
False
Let r be (3 + -19)*(-3)/6. Let k = -6 + r. Suppose 0 = 5*w - 2*d - 147, 0 = -w + k*w - 2*d - 23. Is w a multiple of 8?
False
Let x = 191 - -169. Is 30 a factor of x?
True
Let x(b) = -b**3 - 6*b**2 - 3*b - 12. Let z be x(-5). Suppose 0 = -4*v - 17 - 19. Let y = v - z. Is 4 a factor of y?
False
Let x = -241 + 71. Let t = x - -390. Is t a multiple of 44?
True
Let h(w) = -14*w**3 - w**2 + 2*w - 4. Suppose -7*g - 6 = 8. Is h(g) a multiple of 4?
True
Let o(x) = -x**3 - 3. Let d be o(0). Let c(a) = -3*a**2 + 5*a + 3. Let v be c(d). Let t = v - -88. Is t a multiple of 18?
False
Let u(j) = 165*j - 2. Let k be u(1). Suppose -3*v + k - 10 = 0. Let s = v - 12. Does 13 divide s?
True
Let f = -4 - -8. Let h be (-210)/((-12)/f) + -4. Suppose -4*o + 4*p = -124, -2*o - 3*p + h + 1 = 0. Does 17 divide o?
False
Let y(x) = -3*x**2 - 8*x - 6. Let u(j) = -5*j**2 - 12*j - 9. Let v(f) = -5*u(f) + 8*y(f). Let m be v(5). Is 2 a factor of (12/(-20))/(m/(-10))?
False
Let u(m) = 6*m - 2*m**2 - m**3 - 13*m + 5*m. Let r be u(-2). Suppose -2*l - 5*w + 85 = 0, -r*l + 2*w = w - 115. Is l a multiple of 10?
True
Let c(o) be the second derivative of -5*o**4/24 - 2*o**3 - 3*o**2/2 + 5*o. Let l(m) be the first derivative of c(m). Does 18 divide l(-8)?
False
Let x be ((-1)/1 - 3) + 4. Suppose -f = 5*q - 0*f - 272, x = q + 3*f - 60. Does 32 divide q?
False
Suppose -4*n + 689 = -2*s - 1591, -5*n = -3*s - 2850. Is n a multiple of 10?
True
Is 68 a factor of 1021 + -3 + 4/(1 - -1)?
True
Let d = -48 - -52. Is 15 a factor of (-2)/(-9) + 2019*d/108?
True
Let g be 34/9 + (-10)/(-45). Let q = g + -1. Let f(n) = n**3 + n**2 - 3*n. Does 23 divide f(q)?
False
Let z(a) = 447*a + 8. Does 59 divide z(4)?
False
Let w = -11 - -16. Suppose w*f - 2*b + b - 92 = 0, 0 = 3*f - 5*b - 64. Is f a multiple of 6?
True
Let k(u) = -4*u**3 - 12*u**2 - 3*u. Let c(h) = -5*h**3 - 13*h**2 - 3*h + 1. Let f(g) = 5*c(g) - 6*k(g). Does 6 divide f(7)?
False
Suppose -6*b + 394 + 416 = 0. Suppose 2*m - 35 = b. Is 17 a factor of m?
True
Suppose 85*v = 101*v - 1024. Is 3 a factor of v?
False
Suppose -4*a - 77 = 3*d, 53 = -3*a - d - 11. Let u = 2 - a. Is 15 a factor of u?
False
Suppose 7*w = 584 + 249. Let a = 159 - w. Is a a multiple of 5?
True
Let y = 1637 - 987. Does 25 divide y?
True
Let a(s) be the second derivative of -s**5/20 - s**4/2 - s**3/6 - s**2 - 6*s. Let g be a(-6). Suppose -2*f - 3*f - j = -80, f = g*j + 16. Is 7 a factor of f?
False
Let j(g) be the first derivative of -g**2/2 - g - 2. Let k be j(-7). Does 4 divide (-20)/(-6) + k/9?
True
Let a(k) = -k + 8. Let w be a(5). Suppose w*o + 0*o = 189. Is o a multiple of 21?
True
Suppose v +