6/30 - z**5/60 - z**4/24 - 2*z**2. Does 4 divide j(-1)?
True
Suppose 3*s = 4 - 28. Let g(o) = o**2 + 6*o - 3. Is g(s) a multiple of 3?
False
Let b be (-1 - 1)/(-1 - -2). Let v be b/(38/(-34) + 1). Let t = v - 9. Is t a multiple of 3?
False
Let c(a) = -a**3 + 2*a**2 + 12*a + 1. Let m(j) = -j**3 + 2*j**2 + 11*j. Let i(d) = 5*c(d) - 6*m(d). Does 14 divide i(5)?
False
Is 18 a factor of (-480)/(-9) - 10/(-15)?
True
Suppose 2*b + 5 = -3*b. Let w = b + 6. Let f(r) = r**3 - 6*r**2 + 6*r + 2. Is 3 a factor of f(w)?
False
Let k(i) = i**3 + 5*i**2 - i - 5. Suppose -4*j - 12 = -j. Is k(j) a multiple of 10?
False
Suppose 13 + 35 = 2*g. Is g a multiple of 12?
True
Let h be 88*(0 + 15/12). Suppose z - h = -4*z. Is z a multiple of 11?
True
Let b(d) = 33*d**2 + d. Is 8 a factor of b(-1)?
True
Suppose b = -2*n + 91, -2*n + 4*b + 121 = -b. Does 7 divide n?
False
Let x(z) = 20*z. Let r(v) = -20*v + 1. Let u(l) = -2*r(l) - 3*x(l). Is 18 a factor of u(-1)?
True
Let q(g) = g**3 + 4*g**2 + 3*g + 3. Let a be q(-2). Suppose 10 = -a*w, -3*w - 148 - 8 = -3*z. Let s = -30 + z. Is s a multiple of 10?
True
Let v(c) be the second derivative of -c**5/20 - c**4/2 + c**3/6 + c. Let n be v(-6). Is 5 a factor of 30/(-4)*4/n?
True
Let z be (-3860)/(-55) + 4/(-22). Suppose 4*r - 3*b - z = -7, -3*r + 4*b + 42 = 0. Is r a multiple of 14?
False
Let v(q) = q**3 - 13*q**2 - q + 9. Let y be v(13). Is (-372)/(-28) + y/14 a multiple of 12?
False
Suppose g + 4 = 7. Suppose z + g*z + 12 = 0, 4*n = -4*z + 52. Does 15 divide n?
False
Suppose 0*h = 5*n + 5*h - 5, 3*n + 1 = h. Suppose n = -3*y + 4*y - 18. Does 14 divide y?
False
Let l be -10*-1*(-2)/(-5). Suppose v = -l*v + 160. Is 9 a factor of v?
False
Let b be (1 - (6 + -3)) + 5. Let h = b + 2. Suppose h*x = -7 + 47. Is 8 a factor of x?
True
Suppose 0 = -f - d + 104, 3*f + 2*d - 3*d = 292. Is 4 a factor of (6/9)/(6/f)?
False
Suppose -2*p = p - 9. Suppose 0 = -3*n - p*h + 75, -3*h + 9 + 45 = 2*n. Is 10 a factor of n?
False
Let l be 8/((-2)/9*1). Is 13 a factor of (3 - (-22)/(-6))*l?
False
Suppose -6*x + 3*x + 8 = -4*m, -3*x - 7 = -m. Does 8 divide 49/4 - m/(-20)?
False
Suppose 0 = -2*o - 3*o + 20, 4*g + 2*o - 36 = 0. Let l be (24/(-32))/((-2)/8). Let s = l + g. Is s a multiple of 5?
True
Does 3 divide (-6)/(-9) + (-296)/(-24)?
False
Let k(w) = w**3 + 9*w**2 + 7*w + 3. Is 33 a factor of k(-6)?
False
Suppose -3*t = -o - 6*t + 129, -3*o - 4*t + 372 = 0. Is 20 a factor of o?
True
Suppose d + 3*r - 6*r - 48 = 0, -84 = -2*d + 2*r. Is 13 a factor of d?
True
Let k(p) = -p**3 - 5*p**2 + 7*p + 9. Let u be k(-6). Suppose -t = 5*i - 4, 0 = -u*i - 2*t + 8 - 0. Suppose n + 6 - 22 = i. Is n a multiple of 7?
False
Suppose 0 = 3*x - 0*x - 81. Does 9 divide x?
True
Let u = 18 - 3. Suppose 2*q - 77 = -u. Does 9 divide q?
False
Let o be (-3)/2*(-12)/9. Suppose 3*s = 3*t + 6, s = 3*t - 4*t + 4. Suppose -5*j = -s*h - 88, -o*j - 70 = -6*j + 2*h. Does 9 divide j?
False
Is (-200)/(-8) + 1 + -4 a multiple of 4?
False
Let m(s) = 10*s**2 - 3*s - 2. Is 11 a factor of m(-1)?
True
Let r = 141 + -91. Let c be 1*(-2 + -1 + 3). Suppose 5*p = -c*p + r. Is 10 a factor of p?
True
Does 30 divide -16*60/(-8) - 0?
True
Suppose -4*i + 41 = 9. Suppose -3*p + p = -i. Is (-6)/(-2)*p/6 even?
True
Let o(p) = -p**2 - 11*p - 9. Let u(k) = 4*k + 8. Let h be u(-4). Is o(h) a multiple of 6?
False
Suppose -2*g + y + 200 = 0, 3*y = 2*g - 3*g + 100. Is g a multiple of 25?
True
Let k be (-2)/(-4) - 15/(-2). Let b = -8 + k. Suppose -p + 0*x = x - 8, b = -5*p + 3*x. Is 3 a factor of p?
True
Let m(y) = y**3 - 9*y**2 + 12. Let r be m(9). Let t = r - -3. Does 5 divide t?
True
Let p(j) = j**3 - 7*j**2 - 11*j - 13. Is 6 a factor of p(9)?
False
Suppose -r + 4*r - 205 = -5*q, -164 = -4*q - 4*r. Suppose -23 = -4*l + q. Is l a multiple of 8?
True
Let z(a) = a. Let p(v) = -v**2 + 15*v - 3. Let u(g) = p(g) - 5*z(g). Is 3 a factor of u(9)?
True
Let g(k) = -k**2 - 6*k - 2. Let j be g(-3). Let o be 2 - (-11 - (-5 + 2)). Let t = o - j. Does 2 divide t?
False
Suppose 4*w = 5*w + 14. Does 8 divide 58/7 - (-4)/w?
True
Let k(x) be the first derivative of -x**3/3 - 13*x**2/2 + 11*x + 4. Is k(-10) a multiple of 14?
False
Let w(f) = f**2 - 7*f + 6. Let i be w(7). Suppose -4*b = -i - 6. Suppose -b*s = s - 52. Is 6 a factor of s?
False
Let v(u) = -4*u - 26. Does 18 divide v(-11)?
True
Suppose -2*t = i - 0*t + 1, 3*i + 4*t = -3. Let l be -2 - (i*10)/1. Let w = l - -29. Is w a multiple of 13?
False
Let t(b) = -b + 14. Is t(7) a multiple of 7?
True
Let c be (38/6)/((-2)/(-6)). Let r be (-2 - (-9)/3) + c. Suppose 4*b - 22 = -3*x, -r = -2*x - 2*b - 2*b. Is x even?
True
Let l(x) = 2*x - 6. Let y be l(4). Let h = y + 3. Is 5 a factor of h?
True
Does 17 divide 2/9 + (-69440)/(-180)?
False
Let q(h) = 93*h**2 + 1. Let z be q(1). Suppose 5*p - z = 46. Is 28 a factor of p?
True
Let f(s) = 9*s**2 - 3*s. Is f(2) a multiple of 10?
True
Let o(b) = -2*b - 1. Let s(r) = -r. Let i(q) = 2*o(q) - 6*s(q). Let d be i(3). Is 15 a factor of ((-15)/(-4))/(1/d)?
True
Let s(u) = 5*u**2 - 37*u + 20. Let x(l) = l**2 - 9*l + 5. Let p(q) = -2*s(q) + 9*x(q). Let r = -15 + 9. Does 6 divide p(r)?
False
Is (-147)/(-1)*(0 + 2)/6 a multiple of 10?
False
Suppose 3*w = -2*s + 142, -502 = -5*s + 2*w - 166. Is 22 a factor of (1 - s/(-10))*5?
False
Is ((-16)/4)/1 + 12 a multiple of 4?
True
Let w(v) = 174*v**2 - v. Is w(-1) a multiple of 34?
False
Suppose -g + b + 22 = 3*b, -3*g - 2*b = -78. Does 7 divide g?
True
Suppose -228 - 120 = -3*p. Is 36 a factor of p?
False
Let t(y) = y**2 - 6*y + 7. Let d be 10/(-15)*-3*3. Let j be t(d). Suppose 5*r - 20 = 0, -2*w + 27 = r - j. Does 7 divide w?
False
Suppose 6*y + 125 = 11*y. Is 20 a factor of y?
False
Let s(a) = 2*a**2 + 22*a - 7. Is s(-16) a multiple of 17?
True
Let w(s) = 2*s + 5*s - 3*s + 2 - 2*s. Let y(c) = c**2 + 12*c - 6. Let h be y(-13). Is 7 a factor of w(h)?
False
Let s = -207 + 320. Is s a multiple of 37?
False
Let o(u) = u**2 - 3*u + 3. Let g be (-7)/21 - (-7)/3. Let m(l) = l**2 + 2. Let q be m(g). Is o(q) a multiple of 15?
False
Let g = 45 - 13. Is g a multiple of 32?
True
Suppose 2*d = 45 - 17. Let c = 18 + d. Is c a multiple of 13?
False
Let u be (96/(-56))/((-4)/14). Let y(z) = -z**3 + 7*z**2 + z. Let b be y(u). Suppose 0*q - b = -q. Is q a multiple of 21?
True
Suppose 55 = 4*a - 17. Let h = 31 - a. Suppose 0 = t - 11 - h. Is t a multiple of 13?
False
Let t(d) = -2*d**3 - 4*d**2 - 4*d - 2. Let c be t(-2). Suppose c = 3*n - 6. Is 4 a factor of n?
True
Suppose -4*w = -3*c + 235, 5*c = 5*w + 180 + 210. Is c a multiple of 9?
False
Is 11 a factor of 1 - (9/3 + -37)?
False
Let b = -9 - -13. Suppose -5*l + b*m + 230 = 43, -3*l + 3*m = -114. Is 12 a factor of (l/(-2))/(1/(-2))?
False
Let t = 2 - 1. Is 16 a factor of t/3 - 285/(-9)?
True
Let f(l) = 142*l**2 - 2*l + 1. Let d be f(1). Let g = d + -94. Suppose -33 = -5*c + g. Is 13 a factor of c?
False
Let o = 2 - 4. Does 6 divide 15*3/(-15)*o?
True
Let w = 74 - 36. Is w a multiple of 19?
True
Let p be (2/(-3))/((-6)/9). Let s(a) = -3*a - 7. Let g be s(5). Is 22 a factor of (-1)/(p + 23/g)?
True
Let n(q) = -q**2 - q + 136. Does 9 divide n(0)?
False
Let k(r) = -r**3 + 10*r**2 - 9*r + 7. Let f be k(9). Let z(m) = m**3 - 6*m**2 - 6*m - 3. Let c be z(f). Let g = 7 - c. Is g even?
False
Let r = 18 - 3. Does 3 divide r?
True
Suppose -3*p - 2*p - 470 = 0. Let q = -63 - p. Is q a multiple of 9?
False
Let m(r) be the third derivative of 7*r**4/24 - 3*r**2. Does 14 divide m(6)?
True
Suppose 5 = -3*r + 2*c + 14, 0 = r - 2*c - 3. Let a = 7 - r. Suppose 11 = a*v - 45. Does 14 divide v?
True
Let y(h) = -h**3 + h**2 - h + 4. Let n be 4/8 - (-1)/(-2). Let f be y(n). Suppose -5*u + 4 = -i, f*i = -2*u + 83 - 11. Is 16 a factor of i?
True
Let z(w) = 2*w**2 + 3*w**2 - 3 + w + w. Let r be 1 + -5 + (-2)/(-4)*2. Is z(r) a multiple of 18?
True
Let d(r) = 4*r**3 + 3*r**2 - 10*r + 2. Suppose s + 21 = 4*s. Let l(c) = 4*c**3 + 3*c**2 - 9*c + 2. Let v(a) = s*l(a) - 6*d(a). Is v(2) a multiple of 20?
True
Let k(o) = -4*o + 24. Let z(i) = 3*i - 16. Let y(m) = -5*k(m) - 7*z(m). Let r be y(-8). Suppose r = -2*s - 2*w + 38, -s - 77 = -5*s - 5*w. Does 18 divide s?
True
Let n(t) = t**2 + 7*t + 5. Let b be n(-5). Is 11 a factor of b/10 + (-90)/(-4)?
True
Suppose o + 2*o - 51 = 0. Let p = 10 + o. Is 14