be l(3). Suppose -3*m - q = -t, -88 = -3*t - 7*m + 3*m. Is t a multiple of 10?
False
Let d(w) = 4*w**3 - 12*w**2 + 8*w + 2. Let n(c) = c**3 - c**2 + c. Let l(g) = d(g) - 5*n(g). Is l(-8) a multiple of 13?
False
Suppose 8*b - 617 = 1151. Does 25 divide b?
False
Suppose -3*v + q = -v - 648, -3*v - 5*q = -972. Does 18 divide v?
True
Suppose 0*a - 178 = 2*a. Let l = a - -132. Does 26 divide l?
False
Suppose 4*c + 0*c = 216. Does 18 divide c?
True
Let m(b) = -b**2 - 7*b + 4. Suppose 3*w = -0*w + 15. Suppose -5*h - 7 - 3 = -3*o, 0 = 4*o - 5*h - w. Is m(o) a multiple of 7?
True
Let o = -13 + 23. Suppose o = a + a. Is 2 a factor of a?
False
Let a(g) = -5*g - 1. Let l be a(-5). Let f = -6 + l. Does 7 divide f?
False
Let a(h) = -6*h + 4. Let n(f) = f**3 - 8*f**2 + 2*f - 9. Let q be n(8). Let t(l) = -4*l + 3. Let j(y) = q*t(y) - 5*a(y). Is j(2) a multiple of 5?
True
Let g(w) be the third derivative of w**5/20 - w**4/12 - w**3/3 + w**2. Let s be g(2). Suppose -s - 8 = -m. Is 10 a factor of m?
False
Does 26 divide (0 - 1*-1) + -7 + 58?
True
Let l = -46 + 67. Is 21 a factor of l?
True
Suppose 5*b - 13 = 2. Suppose b*c - 27 = -4*p + 4, 0 = -4*c + 5*p. Is c a multiple of 5?
True
Suppose 2*d - 27 + 7 = 0. Let j be (-8)/10*(-75)/d. Suppose 0 = -2*g + j. Is g a multiple of 3?
True
Let s be (-2)/8 - 411/(-12). Suppose -3*r + 133 = 4*y, -3*y + 2*y = r - s. Let j = y - 12. Is j a multiple of 9?
False
Suppose -5*s + 31 = -19. Is 10 a factor of s?
True
Let n(b) = -b**2 - b + b**3 + 2*b**3 + 2 + 0*b**2 + 2*b**3. Does 18 divide n(2)?
True
Does 29 divide 1/6 + (-521)/(-6)?
True
Let c(g) be the second derivative of -g**3/2 + g**2/2 - 2*g. Let d be c(-5). Suppose -3*b + 42 = 3*h, b - h - d = 2. Is 10 a factor of b?
False
Let w = 8 - -32. Suppose -4 = 2*d - w. Is 6 a factor of d?
True
Is 27 a factor of (-1876)/(-49) + (-2)/7?
False
Suppose -a = -2*a + 3. Suppose 15 = 4*t + a. Suppose -q = 3*q + t*h - 97, q = 3*h + 43. Is q a multiple of 14?
True
Suppose 2*c + 3*u - 205 = 4*u, 0 = -c - 2*u + 115. Is 16 a factor of c?
False
Let p be -5 + 2 + 9 - 2. Suppose -2*s + p*s = 26. Is s a multiple of 3?
False
Let p = 3 - -1. Suppose 5*x - 13 = j + 15, p*x + 5*j - 5 = 0. Is x a multiple of 2?
False
Suppose 0 = 5*h - 3*h - 10. Suppose 0 = -4*i + h*i + 4. Is (-1)/i - 35/(-4) a multiple of 9?
True
Let h(u) be the second derivative of -u**3/3 + 3*u**2/2 - u. Let q be h(4). Let y(t) = -t**3 - 5*t**2 - 3*t - 1. Is 7 a factor of y(q)?
True
Let m = 11 - 6. Suppose 39 = -m*w + 184. Does 10 divide w?
False
Let m(j) = -3*j - 13. Suppose n + 2*n = -9, -4*a + n - 25 = 0. Does 8 divide m(a)?
True
Suppose -23 = -5*k - 8. Suppose 5*c - 213 = k*v, -3*v + 9 = -3. Is c a multiple of 15?
True
Suppose -4*c + 492 = 2*c. Does 23 divide c?
False
Let g = 3 - 3. Suppose g = -0*o + 2*o - 90. Suppose 9*b = 4*b + o. Is 5 a factor of b?
False
Suppose 4*p - 455 = 2089. Let i be 1/4 + p/16. Suppose i = 2*o + 3*o. Is 8 a factor of o?
True
Let i(j) = -j**3 + 6*j**2 - 2*j - 3. Let d(m) = m**3 + 7*m**2 - 8*m + 5. Let z be d(-8). Is i(z) a multiple of 4?
True
Suppose 34 = -5*m - 16. Let r be m/(-4)*(33 + 3). Suppose -4*j = -j - r. Does 11 divide j?
False
Let a(p) = -p**2 + 5*p - 2. Let m be a(4). Let w be m - 0 - (-4)/4. Suppose 3*g + 2*g - 65 = w*u, 0 = -3*u - 15. Is g a multiple of 10?
True
Let l = 41 + -57. Let z = l - -22. Is (2 + 0)/2 + z a multiple of 4?
False
Let s = -92 + 50. Let h be (-10068)/s - 2/(-7). Suppose 0 = -6*l + l + h. Is l a multiple of 16?
True
Suppose 3*o - 79 = -25. Is 18 a factor of o?
True
Let t(r) = -r**2 - 2*r + 53. Is 4 a factor of t(0)?
False
Let h be (-9 - -7)/((-2)/3). Suppose -3 = -f - 5*c, -2*c = f - h*f + 18. Let p = f + -3. Is 4 a factor of p?
False
Let f be (1 - 1)/(2 - 1). Suppose 3*o - 3 = -f*o. Does 7 divide 10*(-4)/(-2*o)?
False
Let n = 10 + -2. Let i = 53 - n. Is i a multiple of 15?
True
Let f(o) = o**3 + 0 - 3 + 8*o**2 + 2*o + 7*o - 4*o. Is 24 a factor of f(-4)?
False
Suppose 9*t - 6*t - 93 = 0. Does 31 divide t?
True
Suppose -2*s = -7*s. Suppose 5*u + 136 = 3*n, s*u = n - 2*u - 46. Is n a multiple of 14?
True
Let m = 146 - 25. Is m a multiple of 15?
False
Let m = 53 - 21. Does 32 divide m?
True
Suppose 20 = -k + 5*k. Let i(m) = m**3 - 4*m**2 + 3. Let l be i(k). Suppose 0 = -4*t + l + 12. Does 8 divide t?
False
Let a = -123 - -179. Is 14 a factor of a?
True
Is 15 a factor of 227/1 + (-2)/1?
True
Let g(j) = -2*j + j - 6*j**3 + 2 - 5*j**2 + 5*j**3 - 3. Does 4 divide g(-5)?
True
Let g(i) = -i**3 + 6*i**2 + 9*i + 2. Let j be g(7). Let x = j - 10. Does 6 divide x?
True
Let y be 1/(-2)*(-1 + 1). Let g be y/((1*-3)/3). Suppose g = -j + 16 + 28. Does 22 divide j?
True
Let u(n) = n**2 - 9*n. Let c be 6/9*3 - -9. Is u(c) a multiple of 11?
True
Suppose -5*x + 0*x = -5*f - 45, -10 = -5*x - 2*f. Is 30/5*x/2 a multiple of 8?
False
Suppose 0 = 7*i - 926 + 261. Is i a multiple of 17?
False
Suppose -8*p = -14*p + 1110. Is p a multiple of 54?
False
Suppose 3*a = -a + 16. Let v(n) = -n**2 + 6*n - 6. Let u be v(a). Suppose -u*q - 3*j = -8, q - 2*q + j = -14. Is 5 a factor of q?
True
Does 26 divide (-3 - -3 - -82) + -4?
True
Let i be ((-21)/28)/((-1)/(-4)). Let z be (13/i)/(2/6). Let w = z + 21. Does 4 divide w?
True
Suppose 4 = 3*k + 7, -4*u + 602 = -2*k. Is u a multiple of 49?
False
Suppose 0 = 2*t + 2*m - 174, 6*t - 441 = t + m. Suppose -4*i + t = v, -i - 4*i - 4*v + 110 = 0. Is i a multiple of 16?
False
Suppose 5*c + 5*f - 12 = 23, 3*f = 5*c - 11. Suppose l = -c + 22. Is 7 a factor of l?
False
Does 8 divide (-3*(-256)/(-12))/(-1)?
True
Let y = 100 + 2. Suppose -y - 22 = -4*k. Let t = k - 16. Does 7 divide t?
False
Let x = 2 + -3. Let n(z) = z**2 - z. Let u be n(x). Suppose o + 5 = u*o. Does 3 divide o?
False
Suppose -476 = -4*s - 20. Let o = -58 + s. Is o a multiple of 28?
True
Let s(i) = -i**3 - i**2 - i + 3. Let t(m) = m**3 + m**2 - 3. Let c(d) = 3*s(d) + 4*t(d). Let l be 148/52 - (-4)/26. Does 12 divide c(l)?
True
Let d(m) = -3*m. Suppose 8*s - 3*s + 20 = 0. Is 12 a factor of d(s)?
True
Suppose -2*t = -z + 92, -z - 8 = 5*t - 100. Suppose 2*x - 64 = 26. Let g = z - x. Is g a multiple of 12?
False
Let z(m) = -2*m - 12. Let s be ((-16)/6)/(4/12). Let g be z(s). Suppose 5*b + g*r - 167 = 0, -2*b - 5*r + 6 = -71. Is 14 a factor of b?
False
Suppose -10*s = 3*s - 2340. Is s a multiple of 18?
True
Let y = 95 + 10. Is y a multiple of 15?
True
Let w = 5 - 3. Let k(h) = 5*h - 1. Let j be k(w). Let n = j - 5. Is 4 a factor of n?
True
Let l(o) = 4*o**2 + 2*o + 1. Let y be 14/35*1*-5. Is 13 a factor of l(y)?
True
Let c(u) = u**2 + 6*u + 5. Let n be c(-5). Let g(z) = -2 + 3 + 8 + z**2. Does 9 divide g(n)?
True
Suppose 0 = -5*y + 6*x - x - 155, y + 21 = -x. Let p = 49 - y. Is 25 a factor of p?
True
Let j be 4/(-14) - 1010/(-7). Suppose -b = 3*b - j. Does 10 divide b?
False
Let k = 10 + -8. Suppose 0*n - 24 = -k*y - 2*n, y - 18 = 5*n. Suppose 0*o + o = y. Is o a multiple of 7?
False
Suppose -111 - 39 = -2*i. Does 15 divide i?
True
Let w(q) = q**2 + 9*q - 6. Let n be w(-10). Let k(a) = -2*a - 8 + a + n*a. Is k(9) a multiple of 16?
False
Let h(r) = r**2 + 10*r - 15. Is h(-15) a multiple of 20?
True
Suppose -5*s + 175 - 15 = 0. Does 16 divide s?
True
Let z(g) = g**3 + 17*g**2 - 23*g - 18. Is z(-18) a multiple of 19?
False
Let n(w) = -w**3 - 3*w**2 + 3. Let f(a) = a**3 - 2*a + 2. Let b(z) = -z**3 - z**2 + 3*z - 1. Let x(v) = 4*b(v) + 3*f(v). Let h be x(-5). Is n(h) even?
False
Suppose 5*o - 3*o = 30. Is o a multiple of 15?
True
Suppose -3*f = -7 - 5. Suppose 2*t - 5*d - 1 - 68 = 0, -f*d - 4 = 0. Is t a multiple of 16?
True
Is 9*(-5 - (-38)/6) a multiple of 4?
True
Let v(u) = -14*u**3 - 2*u**2 - 2*u - 1. Let a be v(-2). Suppose -4*y = -t - a, -2*t = y + 4 - 42. Is 14 a factor of y?
True
Let g = 201 + -109. Is g a multiple of 9?
False
Let s = -63 - -140. Is s a multiple of 11?
True
Is 915/20*(-8)/(-6) a multiple of 7?
False
Let k(m) = 0*m**2 - 6*m - 8*m - m**2 - 4. Is 25 a factor of k(-10)?
False
Suppose -5*o = -3*o + 6. Let i = o + 1. Does 11 divide ((-1)/i)/((-3)/(-66))?
True
Let f(m) be the first derivative of m**2 + m - 2. Let n be f(-2). Is 8 a factor of n/((-3)/26) - 2?
True
Suppose 3*t = 2*t. Suppose t = v - 4 + 1. Suppose 0 = v*r + 9 - 108. Is r a multiple of 19?
False
Suppose 94 = 4*k - 10. Suppose -5