- l. Is 5 a factor of 12 + (-1)/((-3)/d)?
False
Suppose -4*a + 3 = -61. Is 5 a factor of a?
False
Suppose 0*q = q - 8. Suppose 2*m + 0 = q. Suppose 2*x + 2*x = 5*r - 65, -m*x = 2*r - 26. Does 11 divide r?
False
Suppose -5*h = -2*k - 20, h - 6*h - 3*k - 5 = 0. Let c = h + 1. Suppose 2*g = -4*a + 49 - 15, g - 22 = c*a. Is g a multiple of 19?
True
Suppose 13 = 3*a - 5*x, 4*a - a - 2*x = 16. Let v = -5 + a. Let q(i) = 36*i**2 + i. Is q(v) a multiple of 13?
False
Suppose -l + 1 = 0, 0*l + 15 = 5*s + 5*l. Suppose 4*f - 146 = s*f. Is f a multiple of 30?
False
Let k = -17 + 28. Let y = -6 + k. Suppose 0*a + 1 = -4*a + y*h, -3*h = -5*a + 15. Is 6 a factor of a?
True
Let l be ((-33)/(-4))/(-3)*-4. Let o = l - -21. Does 16 divide o?
True
Let s(x) = x - 1 + 5*x - x**3 + 0*x - 2*x. Is 7 a factor of s(-3)?
True
Let q(o) = 0*o - 4*o - 2*o + o. Does 6 divide q(-2)?
False
Suppose 25 = v - 5*c - 20, -2*c = 3*v - 84. Suppose 3*h - 5*h + v = 0. Does 15 divide h?
True
Suppose 0 = -5*r + 13 + 2. Suppose 0*o - r*o = -3*k - 105, 177 = 5*o - 3*k. Does 16 divide o?
False
Let k be (-3)/(-2) - 5/(-10). Let j(z) = 6*z**k + z**2 + z - 1 + 3. Is j(-2) a multiple of 14?
True
Let r(y) = y**3 + 4*y**2 + 4*y + 2. Let c be r(-2). Suppose -w - 19 = -c*w + a, -3*a = 4*w - 76. Does 7 divide w?
False
Is (1/(-4))/((-2)/8) - -16 a multiple of 17?
True
Let k(t) = t**2 - 3*t - 3. Does 15 divide k(-7)?
False
Is -4 - ((-165)/(-10))/(12/(-64)) a multiple of 7?
True
Is 4 a factor of 2/6 - (-799)/51?
True
Let h(f) = f**2 - 6*f + 1. Does 8 divide h(-4)?
False
Let s(g) = g**2 - 3*g. Let r be s(3). Let b = r + -16. Let f = 10 - b. Is f a multiple of 10?
False
Suppose -50 = -4*z - 2*w, 4*z + 4*w + 8 = 60. Does 7 divide z?
False
Let l(j) = -5*j - 4. Suppose -2*t = -u - 0*t - 13, 2*t = -u + 3. Is l(u) a multiple of 7?
True
Let c = -4 + 49. Is 9 a factor of c?
True
Let r(a) = -a**2 - 6*a + 3. Let v be r(-6). Let z be (-2)/(0 - 2)*v. Let i = 3 + z. Is i a multiple of 2?
True
Is 3 a factor of (-2)/4 + 195/10?
False
Is 9 a factor of 26 - (6/3 + 2)?
False
Suppose 0 = -5*q - 3*u + 740 + 441, -3*u - 723 = -3*q. Does 34 divide q?
True
Suppose -w = s - 60, -60 = -w - 5*s - 0. Does 12 divide w?
True
Let n(h) = 1 + 0 - 4*h**3 + h - 3*h**2 - h. Is n(-2) a multiple of 19?
False
Let p(u) be the second derivative of 5*u**3/2 + u**2/2 - 3*u. Let t be p(1). Is -3 + 4 - -1*t a multiple of 8?
False
Let l(b) = -b**2 + 7*b. Let d be l(6). Does 25 divide (-91 + 2)*d/(-6)?
False
Let f be 4 + 1/((-2)/4). Let m(q) = 0 + 3 - 8*q - 6 + f. Is 4 a factor of m(-1)?
False
Let y(q) = -q**3 + 23*q**2 + 5*q + 11. Does 21 divide y(23)?
True
Is 8 a factor of 4/(-14) - (-303)/7?
False
Let b(z) be the second derivative of 2*z**3 - z**2/2 + 3*z. Let y(r) = 35*r - 3. Let s(w) = 17*b(w) - 6*y(w). Does 19 divide s(-8)?
False
Let c(j) = -j**2 + 6*j + 3. Let y be c(5). Let s(k) = 5*k**2 - 7*k - 7. Let i(o) = -7*o**2 + 11*o + 11. Let f(p) = y*s(p) + 5*i(p). Is 13 a factor of f(-2)?
False
Let b = 43 + 44. Is 27 a factor of b?
False
Let n(q) = -q**3 - 7*q**2 - q - 2. Let d be n(-7). Suppose 0 = 3*o + d*r - 172 - 7, 4*o = 2*r + 256. Does 5 divide (2/(-6))/((-3)/o)?
False
Let y be (-1)/(-3) - 66/(-18). Suppose -x - 3 + 24 = -4*a, y*a - 4 = -4*x. Suppose 5*w + 20 = 0, -x*c + 2*w - 3 + 71 = 0. Is 8 a factor of c?
False
Let g(y) = 9*y - 40. Is 6 a factor of g(10)?
False
Suppose x - 18 = -4*n + 60, -n = -2*x + 147. Is 12 a factor of x?
False
Suppose 5*z - 3*z - 2 = 0, -z = -v - 6. Let o be ((-2)/4)/(v/40). Suppose o*u - 72 = -0*u. Is u a multiple of 8?
False
Let n(d) = -5*d**3 - 3*d**2 + d + 2. Let l(i) = i**3 + 5*i**2 - 5*i + 4. Let f be l(-6). Is 16 a factor of n(f)?
False
Let t = -22 + 31. Let i be ((-2)/3)/(1/(-3)). Suppose -o + 4 - 1 = -i*r, 3*r - t = 0. Is o a multiple of 4?
False
Suppose 4*q - 118 = -8*k + 3*k, 2*q - 64 = -5*k. Does 6 divide q?
False
Let m = 326 - 120. Let k be (-248)/(-6) + (-2)/(-3). Suppose 4*i + k = m. Does 16 divide i?
False
Suppose -5*t - 2*t = -266. Is t a multiple of 8?
False
Is 9 a factor of (-4 - 55/(-10))*78?
True
Does 5 divide (-18)/(-63) + (-66)/(-14)?
True
Suppose -3*o + 33 = s, -o - 3*o - 2*s = -42. Let v(q) = 6*q - 13. Is 18 a factor of v(o)?
False
Suppose 6*k - 95 = 25. Is k a multiple of 5?
True
Let w(v) be the second derivative of -v**3/6 + 2*v**2 + 8*v. Is 5 a factor of w(-11)?
True
Suppose 5*b - 300 = 2*b + 4*y, -b - 3*y = -87. Does 12 divide b?
True
Suppose 5*d - b - 79 = 158, 3*d - 129 = 5*b. Does 12 divide d?
True
Suppose b + 107 = -4*r, 5*r + 0*r + 4*b = -120. Let k = 47 + r. Is k a multiple of 10?
False
Let s be 5/(-10) - (-30)/4. Let f = 72 + -37. Let u = f - s. Does 14 divide u?
True
Is 28 a factor of ((-16)/20)/(2/(-335))?
False
Is 6972/70 + (-2)/(-5) a multiple of 25?
True
Suppose 0 = 3*s - k + 2*k - 10, 2*s - 10 = k. Suppose 0 = s*r - 8*r + 36. Is r a multiple of 9?
True
Let i(d) = -3*d - 3. Is 4 a factor of i(-5)?
True
Let r = -15 - -21. Is 7 a factor of ((-1)/(-3))/(r/126)?
True
Let c be (-5)/10 - (-45)/6. Let w = c + 18. Does 7 divide w?
False
Suppose -4*m + 4*h + 4 = 0, 0*h + 5*h = 15. Suppose 1 = m*v - 43. Is v a multiple of 4?
False
Does 3 divide ((-12)/10)/((-5)/75)?
True
Let w = -50 + 75. Let u = 41 - w. Is 16 a factor of u?
True
Does 25 divide ((-5)/(-10) + -1)*-136?
False
Let c(b) = b**3 - 6*b**2 + 2. Let w be c(6). Suppose -4*l = -3*j - 89, 4*l + w*j - 97 + 23 = 0. Is l a multiple of 10?
True
Let s(v) = -v**3 + 5*v**2 - 1. Let f be ((-16)/12)/((-2)/3). Let j be s(f). Suppose -50 = -3*n - j. Does 5 divide n?
False
Let n(q) = q + 152 + 3*q**2 - 3*q**2 + q**3. Let i be n(0). Does 6 divide 2/13 - i/(-26)?
True
Let a = -38 + 232. Is a/8 - 2/8 a multiple of 19?
False
Let i(k) = k**2 + k + 4. Suppose 2*z = -5 - 1. Let b be i(z). Suppose n - b - 6 = 0. Is n a multiple of 12?
False
Is (-19 - -15) + 3*3 a multiple of 2?
False
Suppose -192 = -t - 3*t. Is t a multiple of 16?
True
Suppose 0 = -4*x - 5*z + 249, 3*x - z + 6*z = 188. Let m = -37 + x. Is 12 a factor of m?
True
Let i(v) = v**2 - 10*v - 20. Does 14 divide i(14)?
False
Suppose 5*a - 91 = 149. Is a a multiple of 5?
False
Does 6 divide ((-1 + 22 + -2)/(-1))/(-1)?
False
Is 15 a factor of 238/8 + (-2)/(-8)?
True
Suppose -6*a = -0*a - 234. Is a a multiple of 13?
True
Let g(t) = -9*t - 12. Let s be g(-8). Suppose -2*z = 3*z - s. Does 6 divide z?
True
Let g be 6*((-6)/9)/(-1). Suppose 3*x - 9 - 19 = -4*b, -2*b + 44 = g*x. Is 12 a factor of x?
True
Is 25 a factor of ((-2)/(-6))/(6/1350)?
True
Let v(n) = -110*n**3 + n**2 + n + 1. Let f be v(-1). Let p = 73 - f. Let w = -26 - p. Is w a multiple of 6?
True
Does 11 divide (3 - (-732)/14) + (-4)/14?
True
Let z be 66/15 - (-4)/(-10). Let a = 6 - z. Is (-2)/a - (-5 + 1) a multiple of 2?
False
Suppose 5*b = 5*v - 160, 4*v = -b - 0*b + 123. Let x = v - 4. Is x a multiple of 27?
True
Let f = 261 - 173. Suppose 5*u = u + f. Is 7 a factor of u?
False
Suppose -4*v + 14 = s - 4, -4*v + 10 = -3*s. Suppose -14 = -s*n + 2*l, l = -2*n - 2*l - 6. Does 6 divide 2/4*(15 - n)?
True
Let r(w) = w**2 + 2*w - 5. Let c be 1/4 + (-21)/4. Let q be r(c). Does 15 divide 146/q + 4/10?
True
Let j be -6*(-2 - 6/(-9)). Let t(l) = l + 1. Let h be t(j). Suppose -c = -1 - h. Is c a multiple of 5?
True
Let d(b) = 4*b + 3. Is 7 a factor of d(4)?
False
Let t be (-2 - -3)/(-3)*-3. Is 5 a factor of -2 - t/((-1)/26)?
False
Let t(c) = 2*c**3 - 7*c**2 + 11*c + 6. Does 17 divide t(5)?
True
Suppose 2*s - 3*m + 1 = -8, -10 = 5*s + 5*m. Let w(j) = -2*j**3 - 2*j**2 + 5*j + 4. Does 14 divide w(s)?
False
Let d(f) be the third derivative of -f**6/120 + 2*f**5/15 - f**4/12 - f**3/2 - f**2. Is d(6) a multiple of 19?
True
Suppose 48 = c + 2*c - 5*z, -c - 2*z + 16 = 0. Does 8 divide c?
True
Suppose -4*a - 5 = a. Let r = 0 + a. Is -1 + (29 - 1) + r a multiple of 9?
False
Let g(w) = w - 2. Let j be g(5). Suppose -j*a + 6*a + 3 = 0, u - 4*a = 35. Is 7 a factor of u?
False
Let x = 4 - 0. Is x/(-18) - 390/(-54) a multiple of 7?
True
Let o(u) = 3*u + 3*u + 2 - 2*u. Let v(f) = 2*f - 6. Let i be v(4). Is 10 a factor of o(i)?
True
Let a(l) = -l**3 + 23*l**2 - 11*l + 35. Is 11 a factor of a(22)?
False
Let p be (0 - 3)*2/(-3). Suppose p*z + 4 = -3*w, 0 = -2*w + w - 3*z - 13. Suppose w*v + 0*v + 2 = 0, -2*h + 5*v + 39 = 0. Does 17 divide h?
True
Let x(m) = -m