3*n**2 - 2*n + 3. Let p be z(-3). Is d(p) a multiple of 6?
False
Does 64 divide (0 + 9)/(15/640)?
True
Let j(d) = -d + 1. Let a(w) = w**3 - 10*w**2 - 12*w + 9. Let x be a(11). Let c be j(x). Suppose -3*b = -5*p - 243, 2*b - 162 = p - c*p. Does 27 divide b?
True
Is 24 a factor of 7 + -3 + -3 + 8*25?
False
Let k be (-1)/2*(12 - 0). Let b(u) = u**2 + 5*u - 6. Let i be b(k). Suppose i = 5*r - 2*x - 90, 2*r - 18 = x + 17. Does 4 divide r?
True
Let h(l) = -l**2 - l + 21. Does 2 divide h(0)?
False
Let c(b) = b - 6. Let u be (-7 - -2)/(3/(-6)). Let m be c(u). Let o(w) = 9*w + 5. Is o(m) a multiple of 31?
False
Let o(s) = 4*s**2 + 28*s - 253. Is o(-18) a multiple of 8?
False
Let f(b) be the third derivative of b**4/6 - 7*b**3/6 - 6*b**2. Let a be f(3). Let h(c) = -c + 14. Does 9 divide h(a)?
True
Let v be (84/36)/(1/3). Suppose 0 = -v*w + 8*w - 30. Is 15 a factor of w?
True
Suppose 72*z + 4798 = 74*z. Is 12 a factor of z?
False
Let f(p) = p**3 + 2*p**2 - 2*p - 2. Let a be f(-2). Let o = a - -13. Is 5 a factor of o?
True
Let p be 21/2*(-280)/(-15). Let j = p + -94. Is j a multiple of 17?
True
Let z = 412 - 132. Is 14 a factor of z?
True
Suppose 4*k + k - 4*h - 8 = 0, -3*k - 3*h + 21 = 0. Suppose 3*t - 118 = -2*u, -k*t = -3*u - 62 - 101. Is 20 a factor of t?
True
Let k be 8/2 - (64 + 3). Let w = k - -138. Is w a multiple of 15?
True
Suppose -m + 6*i + 1300 = 4*i, 0 = -2*i. Is 25 a factor of m?
True
Suppose 22 = -m - 4*q, m - 3*q + 15 = -0*q. Let c be (-197)/(-2) + (-9)/m. Suppose 3*h + 3*b = c, -38 = -h - 0*h - 2*b. Is h a multiple of 14?
True
Let l be -7 - -5 - (-21 + 1). Let x = l - 13. Let j = 1 + x. Does 3 divide j?
True
Let g(z) = -z - 24. Let m be g(-18). Let v(q) = 2*q**3 - q**2 - 3*q - 3. Let a be v(-2). Let x = m - a. Does 8 divide x?
False
Let d(z) = 3*z - 62. Let j be d(22). Suppose -5*o + j*k = -o - 196, 4*k = 8. Does 4 divide o?
False
Suppose -a = -2*a + 45. Is 3450/a*(-3)/(-2) a multiple of 23?
True
Let h(r) = -3*r - 9. Let o be h(-10). Suppose o*g - 22*g = -144. Suppose -6*v + g = -2*v + 3*x, 3*v - 108 = x. Is 12 a factor of v?
True
Suppose -4*n - m - 452 = 0, -4*n + 3*n - m = 113. Let r = -35 - n. Is r a multiple of 13?
True
Suppose -5*n - 15 = -5*r + 5, -14 = -4*r + 3*n. Suppose m - h - 36 = 0, -h + 112 = 3*m - r*h. Is 9 a factor of m?
False
Suppose n + 3*b = -6 - 2, 5*n + b = -54. Let o(v) = -2*v**2 - 21*v + 13. Is o(n) even?
True
Let v(k) = -k**3 - 23*k**2 + 72*k + 39. Is v(-26) a multiple of 11?
False
Let h(w) = w**3 + 4*w**2 - 9*w + 2. Let l(j) = 3*j**3 + 13*j**2 - 26*j + 5. Let i(a) = 8*h(a) - 3*l(a). Let t be ((-24)/(-15))/(4/(-20)). Does 12 divide i(t)?
False
Let n = -227 + 263. Does 12 divide n?
True
Suppose 2*z - 2*t = -t - 1, 4*t + 18 = -3*z. Let m be 6/z + 0/(-6). Let d(a) = -a**3 + a**2 - 3*a - 4. Does 14 divide d(m)?
False
Let x = 2 + 0. Suppose n = -2*q - 11, x*q - 23 = 5*q - 5*n. Is 10 a factor of q*((-40)/(-6))/(-2)?
True
Let a = 169 + -166. Suppose -4*r + 696 = a*o, 0 = -0*r - 2*r - o + 348. Does 27 divide r?
False
Let u be -5 + (1 - -2) - -4. Suppose -f = -u*f + 21. Does 3 divide f?
True
Suppose -22 + 58 = 3*s. Suppose -s = -3*a, -a - 536 = -2*b - b. Is b a multiple of 12?
True
Suppose 5*k - 20*r = -15*r + 3880, r = 2. Is 7 a factor of k?
False
Let p = -336 - -654. Let r = p - 196. Is r a multiple of 26?
False
Is ((-2)/(-3))/(38/(-171))*-875 a multiple of 7?
True
Let m(y) = y**2 + y - 69. Let u be m(0). Let c = u + 111. Suppose 3*q = 2*q + c. Is q a multiple of 14?
True
Let j(k) = 7*k**3 + 3*k**2 + k + 5. Let z be j(5). Suppose -40*h = -45*h + z. Does 32 divide h?
True
Suppose 0 = 4*w + 2*i - 1994, 2*w - 258 - 754 = 2*i. Does 13 divide w?
False
Does 107 divide 1601 - (11 + -13) - -2?
True
Suppose -4*k - 36 = -0. Let m = k + 8. Does 18 divide m + 34 + (3 - 0)?
True
Let n(p) be the first derivative of p**3/3 - 7*p - 1. Suppose b + 4*b - 30 = -5*j, 0 = -3*b. Is n(j) a multiple of 6?
False
Suppose -2*h - 148 = -4*f, -3*f - 39 + 148 = -2*h. Let y = f + -15. Does 17 divide y?
False
Let o(l) = 14*l**2 - 2*l - 1. Let k be o(-1). Suppose -44 = -14*i + 10*i. Let u = k - i. Is 4 a factor of u?
True
Suppose 0 = -i + 6*i - 245. Let k = 71 - i. Does 22 divide k - ((-1)/(-1) + -1)?
True
Let b = 203 - 100. Let z = b - 73. Is z a multiple of 6?
True
Let m be (-3)/(-12) + 635/20. Let s = m - 2. Is 6 a factor of s?
True
Is 964/6 - 56/(-168) a multiple of 9?
False
Let s be (3/(18/76))/(21/(-63)). Let p(k) = -2*k**2 + k - 1. Let f be p(-5). Let o = s - f. Is o a multiple of 16?
False
Suppose -5*k = -4*z - 0*k - 23, -5*z = 4*k - 2. Let g be 1*(z - (-1 + -2)). Let v(j) = 15*j + 1. Is v(g) a multiple of 8?
True
Let w be 86/8 + 8/32. Suppose 2*l + 6 = -2*j + 2, -4*l - w = 3*j. Suppose 84 = 6*o - j*o. Does 14 divide o?
True
Suppose -42*j = -37*j - 15, j - 833 = -2*i. Is i a multiple of 5?
True
Let z(b) = 3*b**3 + b**2 + 7*b - 36. Does 10 divide z(9)?
False
Suppose 0 = -2*o + 5*w + 488, 4*o - 3*w - 948 = -0*w. Suppose o = -69*g + 71*g. Does 16 divide g?
False
Suppose -z + 82 + 38 = 0. Let r = -60 + z. Does 15 divide r?
True
Let z = 433 + -398. Is z even?
False
Suppose -11*u = -13*u + 2100. Is 10 a factor of u?
True
Let s = -80 - -84. Suppose 0 = 3*b - s*u - 294, 5*u - 294 = -0*b - 3*b. Is b a multiple of 13?
False
Let i(b) = b**2 - 11*b - 9. Let u be i(12). Let g(q) = -4*q - 3 - 2*q**2 + 10*q**2 - 1 - 2*q**2 + q**u. Does 11 divide g(-4)?
True
Let r be 1 + (5 + -3 - 2). Suppose b + 2*t + r = 2*b, -4*b = 2*t - 34. Does 2 divide b?
False
Suppose 5*q = 4*q + 2*v + 291, -4*q + 1174 = -3*v. Is q a multiple of 39?
False
Let b(f) = f**3 + 15*f**2 + 2*f + 5. Let g be b(-15). Let u be (g + 1)*-8*1. Suppose -u = -2*r - 78. Does 19 divide r?
True
Let l = 366 - 242. Suppose -10*f = -9*f - l. Is 18 a factor of f?
False
Suppose 22 + 68 = 3*x. Is 30 a factor of 753/5 - 18/x?
True
Let b(g) = g**3 + 14*g**2 + 12*g - 8. Let y be b(-13). Suppose -3*n = 0, 8*d - y*n - 21 = 5*d. Does 3 divide d?
False
Let g(x) = x**3 - 12*x**2 - 4*x - 4. Let f be g(12). Let s = f + 109. Let a = 132 - s. Is 25 a factor of a?
True
Suppose 5*c - 791 = 54. Suppose -5*y + c = -151. Let l = y - 38. Does 13 divide l?
True
Let m be ((-126)/3)/((9/(-2))/3). Let s = 61 - m. Does 12 divide s?
False
Let a be 3/6 + 1/(-2). Suppose 3*y = -2*p + 18, 4*p - 2*y + y - 64 = a. Suppose 0*d = d - p. Does 9 divide d?
False
Let k(y) = y**3 + y**2 + 5*y + 7. Let x(h) = -h**3 - 4*h - 6. Let m(n) = -5*k(n) - 4*x(n). Is m(-5) a multiple of 7?
False
Let o(n) = 137*n**2 - 24*n - 47. Does 14 divide o(-2)?
False
Suppose -23*p + 160 = -19*p. Does 8 divide 1/(p/44*-1 + 1)?
False
Let c(w) = w**2 + 6*w + 11. Let j be c(-6). Let d = j - 15. Is 39 + 4 + 0 + d a multiple of 12?
False
Suppose -19*m - 17*m = -21780. Does 31 divide m?
False
Let v(g) = -65*g - 114. Is v(-18) a multiple of 87?
False
Let u(f) = 223*f**2 + 14*f - 1. Is 8 a factor of u(3)?
True
Let c = -105 + 112. Let w(d) = 2*d**2 + d. Let q be w(-3). Let u = q - c. Does 4 divide u?
True
Let r = -1965 + 2823. Is 7 a factor of r?
False
Suppose -2*u - u + 3*n = -102, 0 = 3*n - 9. Let j = 51 + u. Is 13 a factor of j?
False
Let i(q) = 4*q**2 + q - 2. Let g be i(-2). Suppose 3*v + g = 7*v. Suppose -28 - 128 = -v*u. Is u a multiple of 13?
True
Let w(o) = -7*o**3 - 4*o**2 + 4*o - 10. Let v(d) = 20*d**3 + 13*d**2 - 12*d + 29. Let u(m) = 6*v(m) + 17*w(m). Does 41 divide u(-8)?
True
Let t = 29 + -26. Suppose 60 + 30 = t*u. Does 18 divide u?
False
Let k be -15*1*((-2)/(-5) + -1). Suppose -k*w + 81 = -36. Is w a multiple of 2?
False
Suppose j - 5*d + 9 = -0*j, 4*j + 4*d - 60 = 0. Let k be (6/9)/(4/42). Let i = j + k. Is i a multiple of 18?
True
Let s(i) = 29*i**2 - 2*i - 86. Is 97 a factor of s(-6)?
True
Let h be 1 - 0 - (-70 + -1). Let r = h + -18. Is 13 a factor of r?
False
Suppose -2*z + 476 = -2*l, -5*z = l - 0*z + 244. Let b = l - -359. Is 25 a factor of b?
False
Let y(a) = -a**2 + 23*a - 32. Let v be y(18). Suppose -v = -f - f. Does 3 divide f?
False
Let a be (-6 + 1)*(-30)/2. Let i(f) = -2*f**2 + 39*f - 9. Let q be i(19). Suppose -a = -5*p - q. Does 5 divide p?
False
Let t be (0 - -1)*0/((-14)/(-7)). Suppose -j + 44 - 11 = t. Is j a multiple of 8?
False
Let k(c) = -46*c**2 + c + 1. Let b be k(2). Let v(j) = -j**2 - 17*j + 6. Let p be v(5). Let i = p - b. Does 24