= j*i - 8, 0 = -c + i + 1. Is 2 a factor of c?
True
Let m(l) = l**2 + 4*l + 2. Let g be m(-4). Suppose -3*x - x - g*f = -88, 0 = 5*x - f - 96. Let d = x + -12. Is 4 a factor of d?
True
Suppose 2*o - 30 = -2*g, -3*g = 4*o - 67 + 20. Does 11 divide g?
False
Let s(o) = -o + 2*o - 3*o + 4 + 3*o. Is s(0) a multiple of 4?
True
Suppose 38 = -3*h - 28. Let s(q) = -q**3 - 5*q**2 + 6*q + 1. Let a be s(-6). Let d = a - h. Does 16 divide d?
False
Let r = -32 - -109. Is 7 a factor of r?
True
Suppose 0 = -2*d - 2*d + 3*h + 824, -5*h - 412 = -2*d. Suppose 5*j + 102 = x + 311, 5*j - 4*x = d. Is 14 a factor of j?
True
Let o be (1/2)/((-2)/(-64)). Let c = o - 6. Suppose 8 = 3*h - c. Is 3 a factor of h?
True
Suppose 21*l = 30*l - 171. Does 19 divide l?
True
Suppose -3*q = 4*h - 184, -h - h = -5*q - 92. Suppose -h = -m + 10. Is 28 a factor of m?
True
Does 12 divide (1 - (-26)/(-14))/((-24)/336)?
True
Let q(d) = 4*d**2 + 15*d + 10. Is q(-6) a multiple of 16?
True
Let u(l) = l**3 + 5*l**2 - 7*l + 1. Let f be u(-5). Let q be -4*(-3)/(36/15). Suppose -q*p = -39 - f. Does 15 divide p?
True
Suppose -3*y + 3 = -0. Does 7 divide -1 + y + 0 + 8?
False
Let s = 187 - 178. Is 3 a factor of s?
True
Suppose -2*o - o + 29 = 2*c, -3*o = -2*c + 23. Let b = c + -7. Does 2 divide 16/b - 4/6?
True
Let n(y) = -y. Let s be n(-1). Let f(c) be the first derivative of 23*c**3/3 - c**2/2 - 1. Is f(s) a multiple of 9?
False
Let p = 6 + -11. Let o = p - -5. Suppose f - 28 + 3 = o. Is f a multiple of 12?
False
Let u(i) = 3*i**2 - 2*i - 3. Let f be u(-2). Suppose 6*n - 5*t + 10 = n, n - f = -2*t. Does 7 divide n - 2 - (0 + -13)?
True
Let r = 273 + -197. Is 3 a factor of r?
False
Let b be 552/10 + (-1)/5. Suppose 0 = 2*i + 4*y - y + b, -2*i - 67 = -y. Let s = 90 + i. Is s a multiple of 15?
False
Suppose j + 39 = -4*d + 114, -4*d = -4*j + 240. Is j a multiple of 16?
False
Let u(c) = 5*c + 1. Is 23 a factor of u(9)?
True
Let k = 103 + -49. Does 18 divide k?
True
Let s(w) = w**2 - 7*w - 3. Suppose -11 = -h - 2. Is s(h) a multiple of 15?
True
Let u be 4/3*66/(-4). Let i = u - -42. Is i a multiple of 20?
True
Let z be 46 - 1/(-2)*-4. Let j(n) = -5*n + 15. Let s be j(-7). Suppose -4*k = 3*m - z, -5*k + s = 5*m - 0*m. Does 5 divide k?
False
Let p(o) = -o + 8. Suppose m + 1 = 7. Let d be p(m). Suppose d*z - 25 = -3*z. Is 3 a factor of z?
False
Suppose 136 = -4*v - u, v - 3 + 52 = -4*u. Let l be -5*(-1 - v/15). Does 12 divide (-212)/l + 1/(-3)?
False
Suppose -3*y + 4*y = 2. Does 23 divide (-71 + y)*(-2)/6?
True
Let g(j) = -3*j**2 + 2*j**2 + 10*j + 1 + 5 + j**3 + 9*j**2. Is g(-6) a multiple of 11?
False
Suppose 5*z = 3*l - 1, 0*l + 2*l - 34 = -5*z. Does 7 divide l?
True
Let b(z) be the second derivative of -z**4/12 - z**3 + z**2 + z. Let d be b(-6). Suppose 0 = 4*x - d*x - 20. Is 5 a factor of x?
True
Let x(d) = -d**2. Let y be x(-2). Let q = 38 + y. Is q a multiple of 16?
False
Let z(u) = -u + 6. Let a be z(3). Suppose -5*s - f = -113, -4*s + f + 94 = a*f. Is 22 a factor of s?
True
Let z be (8/(-20))/(1/5). Let a = 4 + z. Suppose d = y + 10, 4 = a*d - 5*y - 7. Is 8 a factor of d?
False
Let f be -2 + (-1 - -3)/1. Suppose 2*b = 11 - 3, -o + 2*b + 42 = f. Does 23 divide o?
False
Let m(j) = -2*j**3 - 5*j**2 - 8. Does 10 divide m(-4)?
True
Suppose 277 = 3*p - 2*x, 0 = 2*p + x - 2*x - 186. Is 19 a factor of p?
True
Is (-32)/(-8)*7/4 even?
False
Suppose 5*y - 3*h - 15 = 0, y + 3*y = 2*h + 10. Let f = 5 - y. Suppose 3*u = -3*t + 90, f*t + 4*u = 6*u + 150. Is t a multiple of 15?
True
Suppose -29*u + 21 = -26*u. Is u a multiple of 2?
False
Let g = 43 - -2. Suppose -240 = -4*p + 4*k, -p + 4*k = -2*p + g. Suppose p = 2*m + m. Is m a multiple of 18?
False
Let m(x) = 7*x**3 - 8*x**2 + 6. Does 5 divide m(2)?
True
Let r(i) = 2*i**3 - 2*i**2 + 4*i - 2. Let g(o) = 2*o**2 + 2*o - 1. Let y be g(-2). Does 23 divide r(y)?
True
Suppose 0*y = a - y - 99, 4*a + 2*y - 372 = 0. Is a a multiple of 26?
False
Let m(g) = -3*g - 9 + 5*g - g + 0*g. Let i be m(7). Let o(w) = -12*w - 2. Does 7 divide o(i)?
False
Let r be (-16)/(2 + -6)*1. Is 20*(r/(-10) - -2) a multiple of 16?
True
Suppose 2*s - 3*s + 1 = 0. Suppose m + l + 1 = -s, m - l + 10 = 0. Does 3 divide (9/m)/(2/(-8))?
True
Let d(n) be the third derivative of -1/12*n**4 - 1/120*n**6 - 1/30*n**5 + 0 + 1/2*n**3 + 0*n + n**2. Is d(-3) a multiple of 9?
True
Let j(n) = 3*n**2 - 5*n + 5. Let q be j(5). Let o = 94 - q. Suppose d - 5*s + 7 = o, -2*d = -s - 46. Is d a multiple of 13?
False
Let d(f) = -f - 4. Let v be d(-8). Is 7*((-1)/1 + v) a multiple of 15?
False
Let i(w) be the first derivative of 3*w**2/2 - 7*w + 3. Does 7 divide i(7)?
True
Let o = 11 - 6. Suppose 12 + 13 = o*y. Suppose -5*a = u - 20, -100 = -y*u - 0*a + 2*a. Is u a multiple of 10?
True
Suppose -10 - 18 = -a. Suppose 4*q = -0*q + a. Suppose q + 3 = z. Does 10 divide z?
True
Suppose -2*f = -5*m + 38, 0 = 3*m + 2*f - 27 + 1. Does 4 divide m?
True
Is 7 a factor of 40/28*7*1?
False
Let y be 2/2 - (-3)/1. Suppose 3*b - 79 = -5*s, y*b + 141 = 9*b - s. Is 14 a factor of b?
True
Let f = 21 - -37. Is 18 a factor of f?
False
Let x be (-6)/(-9)*6 + 2. Is ((-57)/x)/((-1)/2) a multiple of 8?
False
Suppose p + 0*p = 0. Suppose p*d - 10 = -5*d. Suppose 2*f - 30 = -d*w, 0*w + 36 = 2*w + 4*f. Is 6 a factor of w?
True
Suppose 0*f = -5*f - 620. Let v = -72 - f. Is v a multiple of 13?
True
Let u = -15 - -21. Let h be u/(-21) + (-46)/(-14). Let m = h - -15. Does 18 divide m?
True
Let s = 25 + -17. Does 7 divide s?
False
Let d be 502/(-14) + 1/(-7). Does 11 divide (14/(-8))/(1/d)?
False
Let w(m) = -18*m - 2 - 3 - 3. Let i be w(-7). Suppose -5*j - 6*z = -2*z - i, -4*j = 3*z - 94. Is 10 a factor of j?
False
Suppose -2*p + 2*n = -0*n - 26, -4*p = 2*n - 82. Does 10 divide p?
False
Suppose -57 = -y - 15. Does 13 divide y?
False
Suppose 3*d + 2*o + 2*o = 383, 2*o = 5*d - 621. Is d a multiple of 23?
False
Let z(r) = -r**2 + 13*r - 12. Is z(11) a multiple of 10?
True
Is (-3 + -17)*3/(-2) a multiple of 6?
True
Suppose b - 78 + 251 = 4*f, 4*f - 3*b - 183 = 0. Let o = f - -22. Is o a multiple of 32?
True
Let k be 6/15 - (-12)/(-5). Is 125/5 + (-2)/k a multiple of 9?
False
Let o(a) = -8*a - 22. Is 9 a factor of o(-5)?
True
Suppose 6*s + 20 = 2*s. Is 3 + -2 + (-90)/s a multiple of 5?
False
Does 16 divide (-408)/(-4) + 3 + -1?
False
Let f(b) = b**2 - b + 1. Let z be f(0). Let n = -3 + 2. Does 4 divide (n*z)/(2/(-20))?
False
Let k(n) = 10*n + 1. Let z(c) = 10*c + 1. Let w(i) = 2*k(i) - 3*z(i). Is w(-2) a multiple of 19?
True
Let f(s) = s**2 + 2*s - 13. Does 7 divide f(6)?
True
Let q = -152 + 267. Is 23 a factor of q?
True
Suppose 0 = -4*n - 3*d + 56, 0*n = -2*n + d + 18. Is 5 a factor of n?
False
Does 13 divide (40/(-15))/((-1)/60)?
False
Suppose 15 = d + 4*d. Let o = 8 + -5. Suppose 12 = m + 2*q - 1, o*m - 39 = -d*q. Does 13 divide m?
True
Let i = 421 + -201. Suppose -i = -r - 4*r. Suppose x = -3*x + r. Is x a multiple of 10?
False
Let j(z) = z**3 + 7*z**2 - 3*z + 1. Let i(p) = -p**3 - 9*p**2 + p + 2. Suppose 2 + 16 = -2*u. Let g be i(u). Is j(g) a multiple of 11?
True
Suppose 3*q + 3*l = -6, -4*q + 4*l - 6 = 6*l. Let f be 3 - (-1 - 1/q). Suppose 0 = -f*g + 30 + 24. Does 9 divide g?
True
Suppose -4*w - 2*n = 3*n - 57, 44 = 3*w + 5*n. Suppose 3*c + 39 = 4*i, -3*i + 4*c = -w - 18. Is 9 a factor of i?
True
Let b be 12/(-5)*(-90)/(-27). Does 24 divide -9 - b - (1 + -81)?
False
Suppose 0*v = -v - 192. Does 9 divide 3/(4*(-4)/v)?
True
Suppose -4*b - 8 = -z, 2*b = -2*b - 8. Suppose o = -2*m - 0*m + 13, 0 = -3*o + 3*m + 57. Suppose z = -i - 0*i + o. Is 7 a factor of i?
False
Suppose -2*k + 0*k = -92. Is 15 a factor of k?
False
Suppose 0 = -3*d + 5*b + 6, 4*d + 0*b - 8 = -b. Is 7/((-7)/d) + 28 a multiple of 13?
True
Let o(b) = -b + 7. Let v be o(0). Let u = v + -15. Let x(a) = -a**3 - 9*a**2 - 8*a + 5. Does 4 divide x(u)?
False
Let h be (-155)/(-3) - 4/6. Let r = h - 3. Is 24 a factor of r?
True
Let a(x) = -2*x**3 - 2*x**2 + 1. Let m be (1 - 2/(-2))/(-1). Is 3 a factor of a(m)?
True
Let b = 186 + -114. Does 18 divide b?
True
Let u = 0 + 1. Suppose -u - 3 = -x. Suppose -4*p + q + 3*q = -88, x*q + 20 = 0. Is p a multiple of 17?
True
Let n(w) = 20*w + 2. Is n(9) a multiple of 13?
True
Suppose -y + 0 = -14. Suppose -3*d + 50 = 2*d. Let c = d + y. Does 8 divide