ultiple of 12?
False
Let y(q) = -q**2 + 6*q - 6. Let t(l) = -6*l**2 + 31*l - 30. Suppose 0 = -5*w + 3*w + 22. Let a(p) = w*y(p) - 2*t(p). Does 6 divide a(-7)?
False
Let r(b) = -2*b**2 - 54*b + 25. Is 7 a factor of r(-25)?
False
Let l be (-1)/(1/(3/3)). Let s(h) = 30*h**2. Is s(l) a multiple of 10?
True
Suppose -3*b = -2*d - 4 + 1, 5*b + 3*d = 24. Suppose 0*z = -b*z + 108. Does 12 divide z?
True
Let j(g) = 5*g - 4*g**3 + 7*g**2 + 5*g**3 - 3 + 0*g. Let d be j(-6). Suppose d*o - 114 = -0*o. Does 19 divide o?
True
Suppose 0*g + g = 13. Is 10 a factor of g?
False
Let z be (-20)/3*(-30)/(-4). Let m = z - -88. Does 8 divide m?
False
Let p be 15/(-2)*(-6)/5. Let m = p + -1. Is 7 a factor of m?
False
Let k = 29 + -21. Is k a multiple of 6?
False
Suppose 0 = -5*u - 10, -s + 5*u + 98 = -74. Let r = s + -98. Does 32 divide r?
True
Let s(b) = -3*b + 6. Is 12 a factor of s(-6)?
True
Let i be (-69)/4*(-10 + 2). Suppose 5*m + 2*r - i = 0, 6*m = 2*m - 2*r + 112. Is 13 a factor of m?
True
Suppose 0 = -5*p + 16 - 6. Suppose 37 = -p*b + 121. Does 17 divide b?
False
Suppose -3*s + 6*s - 204 = 0. Is s a multiple of 16?
False
Suppose -o = 2*o - 312. Is 8 a factor of o/12 + (-6)/9?
True
Let d = -4 - 2. Let n be d/(-12) + (-179)/(-2). Suppose -4*f + 7*f - n = 0. Is 15 a factor of f?
True
Let a = 70 + 0. Let k = a - 36. Does 17 divide k?
True
Suppose 37 = 3*z + 1. Suppose -w = 3*w - 2*r - z, r - 4 = 0. Is w - 7 - (0 + -56) a multiple of 20?
False
Let i = 24 + -12. Let b(o) = 4*o - 17. Is b(i) a multiple of 31?
True
Let y = -17 - -29. Suppose -3*x + y = x. Suppose r + x*r = 48. Is r a multiple of 7?
False
Suppose 5*b - 28 = 17. Suppose b*i - 60 = 4*i. Suppose -2*j - j = -i. Does 4 divide j?
True
Let i(p) = p**3 + 6*p**2 - 6*p - 12. Does 11 divide i(-5)?
False
Let q(m) = 3*m**2 + 2*m - 2. Is 6 a factor of q(-2)?
True
Let t = 23 - -30. Is 15 a factor of t?
False
Let a = -3 - 4. Let z = -4 - a. Suppose 0 = z*l - 13 - 41. Is l a multiple of 9?
True
Let m(v) = -2*v + 6. Let k be m(4). Let j be (k/(-4))/((-1)/(-182)). Let r = -52 + j. Is 15 a factor of r?
False
Is 15 a factor of (-3)/(-6) + (-99)/(-6)?
False
Let h be (-22*(-3 - 0))/(-1). Let o = 117 + h. Is 17 a factor of o?
True
Suppose 4 = -4*q + 12. Let b(t) = -t - t + t**q - 1 + 0. Does 12 divide b(-4)?
False
Let i(c) = -16*c + 1. Suppose 0 = -3*d - 3 - 0. Is i(d) a multiple of 17?
True
Let l be 2 + 4/(0 + 2). Suppose 2*d - 42 = -0*q + q, -92 = -4*d + l*q. Let r = 0 + d. Is r a multiple of 11?
False
Suppose 484 = -z - 5*r, 0 = -r - 4*r + 5. Is 13 a factor of z/(-21) + 2/(-7)?
False
Suppose 10*k + 12 = 3*r + 5*k, 1 = 2*r - k. Let z(b) = -13*b + 1. Is 7 a factor of z(r)?
True
Let i = 75 + -67. Is 8 a factor of i?
True
Is 30 a factor of 2/2*41/1?
False
Let t = 1 - 3. Let z(l) be the third derivative of l**5/15 + l**4/24 + l**3/6 + 7*l**2. Does 15 divide z(t)?
True
Suppose u = -2*y + 4*u - 30, 0 = -4*u. Suppose 3 = -h + 1, 4*h = -3*m + 64. Let w = m + y. Is w a multiple of 4?
False
Let l(p) = 0*p - 4*p**2 + p - p**3 + 3*p. Let w be l(-5). Suppose 5*q - i = 151, -w*q - 4*i - i = -175. Is 20 a factor of q?
False
Let x be 3*(-2 - -7) - 0. Does 8 divide ((-96)/x)/(2/(-5))?
True
Let y(b) = b**2 - 6*b - 7. Let l be y(8). Suppose 4*d = -p + 17, -2*p + l = -2*d + p. Does 3 divide d?
True
Suppose -2*d + 7*d + 16 = 3*r, -5*r - 35 = 4*d. Let g(o) be the third derivative of -o**4/6 - o**3/6 - o**2. Is 14 a factor of g(d)?
False
Let m = 38 + -31. Does 5 divide m?
False
Let x be (15/(-25))/(1/(-5)). Suppose -3*g = r - 4*r + 57, x*r - 54 = 2*g. Let l = r - 2. Is 14 a factor of l?
True
Suppose 2*b + l - 44 = 98, 0 = 2*b - 4*l - 162. Is b a multiple of 15?
False
Let k = 111 + -61. Let f be 2/9 - k/(-18). Suppose -i = -f*w + 3*i + 34, i = -4*w + 39. Is 5 a factor of w?
True
Suppose 0 = -8*r + 35 + 109. Is r a multiple of 18?
True
Let i(b) = b**3 + b**2 - 4*b - 2. Let f be i(-3). Let p = f - -56. Is 24 a factor of p?
True
Let m = -5 - 1. Let b(w) = w**3 + 6*w**2 - 6*w. Let d be b(m). Does 9 divide (d/10)/(2/10)?
True
Suppose -4*u = a - 76 + 13, 5*u - 3*a = 83. Does 4 divide u?
True
Is (-2)/8 - (-679)/28 a multiple of 12?
True
Let d = -287 - -454. Is d a multiple of 21?
False
Let y be 15/(-5)*(-10)/(-6). Is 14 a factor of -2*14/(3 + y)?
True
Let h(d) = -d + 24. Let b = 10 - 7. Suppose 0 = b*p - 6*p. Is 20 a factor of h(p)?
False
Let g(u) = -u - 8. Let q be g(-6). Let y be 6 + q/(-1)*-1. Suppose -m + 37 = 5*s, -5*m = -y*s - 73 + 4. Is m a multiple of 6?
False
Let b = 8 - 17. Let q(l) = -6*l - 6. Is q(b) a multiple of 12?
True
Let m(b) = 2*b - 4. Let l(x) = -x - 3. Let q be l(-6). Let o be m(q). Suppose j - 5*j + o*w + 34 = 0, 0 = -5*j + 4*w + 47. Does 3 divide j?
False
Let i(n) be the third derivative of n**6/120 - n**4/6 + n**3/6 - 2*n**2. Let b be i(-3). Let v = 9 - b. Is 10 a factor of v?
False
Let o(j) = -16*j**3 + 4*j**2 + 3*j + 6. Is 15 a factor of o(-3)?
True
Let h = 197 + -101. Does 16 divide h?
True
Let i(h) = h**2 - 9*h + 20. Is 8 a factor of i(12)?
True
Let i = -1 + 0. Let m be i + (-2 - -1 - -1). Is (m/2)/((-5)/120) a multiple of 5?
False
Suppose t - 1287 = -4*h - 0*h, t - 321 = -h. Is 55 a factor of h?
False
Let a = 52 + -36. Is 8 a factor of a?
True
Suppose -5*c = 12 - 17. Is 10 a factor of 1 + (33 - (c - -1))?
False
Suppose -1 = -3*z - 3*s - 10, -2*z - 4*s = 14. Suppose k - 3*x = 18, 0 = x - 0*x + z. Is 15 a factor of k?
True
Is (-2)/(-5) - (-8879)/65 a multiple of 13?
False
Let n(v) = 17*v**3 + 1 - 5*v**3 + 4*v**3. Let m(y) = y**2 - 3*y - 3. Let j be m(4). Is n(j) a multiple of 14?
False
Let f(q) = -7*q + 7. Let l be f(-7). Let v = 95 - l. Is 15 a factor of v?
False
Let s(g) = -g**3 - 5*g**2 + 3. Let d be s(-5). Let r = 5 + d. Does 3 divide r?
False
Let y(j) = -j**3 + 7*j**2 - j + 9. Let k be y(7). Suppose -5*t + z + 218 = 0, -98 = -k*t + z + 3*z. Is t a multiple of 18?
False
Suppose 2*u = -2*u - 2*w + 102, 12 = 4*w. Let j = 55 - u. Does 14 divide j?
False
Let i = 40 + 24. Suppose -n = -3*n - i. Is 3/((-9)/n)*3 a multiple of 16?
True
Let d = 5 + 6. Let u = d + 7. Is ((-2)/6)/((-2)/u) a multiple of 2?
False
Let z = 60 + -23. Let y = z - 18. Suppose -2*k = 8, 0 = -5*h + 3*k + 23 + y. Is h a multiple of 3?
True
Suppose 0*i - 2*i + 8 = 0. Suppose -s + 5*b + 3 = -i, 2*s - 3*b - 35 = 0. Is s a multiple of 9?
False
Suppose 3*c + 0 = 12. Suppose -c*u + 2 = -i, -5*i = -i - 5*u - 25. Is i a multiple of 10?
True
Suppose 0 = 2*d - 5*d. Suppose d = n + 3 + 2, -2*u - 2*n + 68 = 0. Suppose -g = -4*l + 42, u = 3*l + 4*g - g. Is l a multiple of 11?
True
Let d = 53 - 35. Is 5 a factor of d?
False
Let r(k) = 11*k - 10. Does 20 divide r(10)?
True
Let x = -13 + 25. Does 6 divide x?
True
Let x(z) = z**2 - 5*z - 9. Let j be (21/(-12))/(1/(-4)). Does 2 divide x(j)?
False
Let f = -2 + -5. Let l(o) = -o**3 - 25 - o + 31 - 8*o + 2*o**2 - 10*o**2. Is l(f) a multiple of 19?
False
Suppose 3*b = -4*r + 272, 0*r - 3*r - b + 199 = 0. Is 13 a factor of r?
True
Let h = 352 - 208. Is h a multiple of 48?
True
Let q = 0 - -3. Suppose 0 = q*z - 6*z. Suppose 0 = -z*h - 2*h + 16. Is 8 a factor of h?
True
Does 38 divide ((-21)/7)/((-6)/296)?
False
Let b = 216 + -112. Does 26 divide b?
True
Let j(t) be the second derivative of t**4/12 + t**3/6 + 7*t**2 + t. Does 4 divide j(0)?
False
Let j(r) = r**2 + r - 4. Let m be j(-3). Suppose -m*o + 99 = o. Does 7 divide ((-16)/6 + 3)*o?
False
Let x(r) = r. Let i be x(4). Let p be 6/i*(-8)/3. Let a(d) = -d**2 - 8*d - 4. Does 10 divide a(p)?
False
Let i = -15 + 20. Does 4 divide i?
False
Let b(i) = i**3 + 4*i**2 - i + 4. Let r be b(-4). Let t = r + -4. Is t even?
True
Let f(l) = -l**3 + 10*l**2 - 10*l - 8. Let w(q) = -5*q - 17. Let n be w(-5). Is f(n) a multiple of 12?
False
Let j(t) = 5*t**2 - 3*t - 6. Let a(p) = p + 1. Let k(g) = 3*a(g) + j(g). Let s be k(5). Suppose -3*m + s = 5*z + 28, z = -5*m + 186. Is 19 a factor of m?
True
Suppose -2*k = -0*k - 40. Is k a multiple of 10?
True
Is (3/9)/((-8)/(-792)) a multiple of 4?
False
Does 9 divide 141/(-6)*4/(-2)?
False
Suppose 0*q + 4*a - 46 = -2*q, 0 = -2*a - 6. Is 3 a factor of q?
False
Let g(p) = p**2 + 9*p - 10*p - 1 + 0*p**2 + 3. Is g(3) a multiple of 4?
True
Let h(c) be the first derivative of -5*c**2 + 1/3*c**3 + 7*c - 3. Is 10 a factor of h(11)?
False
Let d(h) be the second de