3*z - 3*d, -2*d - 6 = -z. Let c be 23/z + 1/6. Suppose -3*w = s + s - 37, 79 = c*s + w. Is 10 a factor of s?
True
Suppose -4*i - 58 = 3*n - 5*n, -15 = 3*i. Does 3 divide n?
False
Let j(g) = 8*g - 2. Let k be j(-4). Let a = -17 - -70. Let i = a + k. Is 10 a factor of i?
False
Let p = -8 - 4. Let r = 17 - 18. Let n = r - p. Does 5 divide n?
False
Let w be (-5)/((-1)/12*2). Suppose 0 = -3*b + w + 39. Is 15 a factor of b?
False
Let k(j) = -10*j**3 - j**2 - 3*j - 3. Let v be k(-2). Let l = v + 6. Suppose -3*r = 31 - l. Is 8 a factor of r?
False
Suppose -p + 2*p = 0. Suppose 4*m + 2*v = 4*v + 2, p = -m - v + 5. Does 10 divide (12 - 0) + (-4)/m?
True
Is 6 a factor of 6/((-6)/(-5)) + 11?
False
Let f be -1 + (-2)/((-2)/15). Let a = f + -11. Is a a multiple of 2?
False
Let b = 70 - 37. Is b a multiple of 5?
False
Let i = 5 - 2. Suppose -i = -3*h - 12. Is 3*((-16)/h + -2) a multiple of 10?
True
Suppose 0*s = 3*a + 3*s + 3, -3*s - 19 = -5*a. Suppose -7 = -m - a*v, -v = v - 2. Suppose -m*h = -22 - 33. Is 5 a factor of h?
False
Let d be (-40)/(-12) + 2/(-6). Suppose m - 4 = -d*m. Suppose 5*j = -l - m - 3, 5*j = -20. Is l a multiple of 7?
False
Suppose 2*v - 13 = -5. Let l be (-3)/3*1*-4. Suppose -3*a - 4 = -a, -v*y - l*a = -160. Does 12 divide y?
False
Let r(v) = -v**2 - 5. Let z be r(0). Let x be (-53)/z + (-21)/35. Suppose 90 = 5*q - x. Is 10 a factor of q?
True
Suppose 54 = 2*q - 36. Suppose -4*h = 3*x - 76, 0 = 5*h + 4*x - 50 - q. Is h a multiple of 11?
False
Let q(h) = -15*h**3 + 3*h + 1. Let c be q(-2). Let p = -79 + c. Is 15 a factor of p?
False
Suppose -4*g - 54 - 206 = -v, -985 = -4*v + 5*g. Does 20 divide v?
True
Let r(u) = u**3 - 9*u**2 + 4*u + 12. Let p be r(9). Is 7 a factor of 664/p - (-2)/12?
True
Suppose -6*v + 3*v - c = -251, 3*c - 261 = -3*v. Is 5 a factor of v?
False
Let n = -31 + 17. Suppose 3*b + 3 = 60. Let t = b - n. Does 12 divide t?
False
Let h = 47 + -13. Let t = 73 - h. Does 11 divide t?
False
Let r(h) = -h**2 + 6*h + 8. Let j be r(7). Suppose y = 2*o - 4, -5*o + y + j + 3 = 0. Suppose o = 2*z - 9 - 55. Is z a multiple of 16?
True
Suppose -y + s + 341 = -97, 4*s - 1776 = -4*y. Let n = 649 - y. Suppose 0 = -4*p - 4*t + n, 21 = p + 5*t - 51. Does 14 divide p?
False
Suppose 388 - 1568 = -4*n. Suppose n = 5*f - 0*f. Suppose -5*z + 95 = 5*o, -5*o + 2*z + 29 + f = 0. Is o a multiple of 9?
True
Let a(g) = -g**2 + 5*g + 1. Let k(j) = -3*j**2 + 10*j + 3. Let z(h) = -5*a(h) + 2*k(h). Is z(-4) even?
False
Let d(m) = 5*m + 52. Does 24 divide d(4)?
True
Let v(n) be the second derivative of 3*n**4/2 + n**3/6 + 2*n. Is 17 a factor of v(-1)?
True
Let c(j) = -9*j - 9. Is 12 a factor of c(-9)?
True
Let r(s) = 4*s**2 + 3*s + 2. Is 12 a factor of r(-2)?
True
Suppose n + w = -0*n + 43, 15 = 3*w. Let p = 6 + n. Is p a multiple of 20?
False
Suppose -5*q = -5*k + 7 + 13, -2*q - 10 = -3*k. Suppose 66 = v + k*v. Does 11 divide v?
True
Let s(w) = 69*w**2 + w. Let v be s(-1). Let b = v - 40. Let j = b - 14. Does 14 divide j?
True
Suppose 4*u - 3*v + 4 = 0, 11 = u + 5*v - 11. Suppose -4*l + 2*f + 2*f + 84 = 0, u*l - 38 = 4*f. Is l a multiple of 10?
False
Suppose 4*s = 3*s + 20. Let g be ((-16)/(-20))/((-2)/s). Is 7 a factor of g/(-12)*(-42)/(-4)?
True
Let m = 9 + -4. Suppose 4*z + 3 = -d - 3, -10 = m*z. Suppose 0*v + 37 = v + 2*b, 3*v - d*b = 71. Does 20 divide v?
False
Let b(s) = 54*s - 2. Let l be b(3). Suppose -k = 4*q - 13 + 38, -4*k + 4*q - l = 0. Let v = -21 - k. Does 8 divide v?
True
Suppose 768 = 3*b - 4*o, 4*o = 2*b - 432 - 80. Is 22 a factor of b?
False
Let a = -3 - -6. Suppose -7*k + 192 = -a*k. Does 20 divide k?
False
Let j(a) = -a**3 - a**2 + 20*a + 6. Is 6 a factor of j(-5)?
True
Let a(q) = q**3 - 12*q**2 + 25*q - 20. Is a(10) a multiple of 15?
True
Let g(x) = x**3 - 3*x**2 + 3*x - 2. Let j be g(2). Suppose j*i = -3*i + 27. Does 3 divide i?
True
Suppose 0 = -5*v + 5*l + 25, -4*v + 8 = -l - 3. Let g be ((v - 0) + -4)*4. Let q = g - -22. Is 9 a factor of q?
False
Is 14 a factor of ((-115)/10)/((-3)/36)?
False
Let n = -21 - -14. Let m(h) = -h**2 - 7*h + 3. Let y be m(n). Suppose y*j + 0*j - 15 = 0. Is j a multiple of 5?
True
Suppose -3*x = -2*x - 4. Let i(z) = 0*z + 3 + 3 - x + z. Is 2 a factor of i(5)?
False
Does 10 divide 26 + (1 - -3) + 0?
True
Let h(y) = 8*y + 3. Let m be h(9). Suppose 2*u - 7*u = -m. Suppose -3*q + u + 63 = 0. Is q a multiple of 13?
True
Let z(b) = 2 - b - 6 + 2 + 0 + b**2. Is 10 a factor of z(5)?
False
Let d = 32 + 16. Is d a multiple of 8?
True
Let t(v) be the first derivative of v**4/2 - 7*v**3/3 - v**2/2 - 2*v + 2. Is 17 a factor of t(5)?
True
Let b(l) = -7*l**2 + 2*l + 1. Let j be b(-1). Let f = 12 + j. Is 3 a factor of f?
False
Let v = 5 + -5. Suppose -4*a = -v*a - 120. Is a a multiple of 15?
True
Let p = -94 + 121. Does 5 divide p?
False
Suppose -4*s + 20 = 2*t, -15 + 5 = -2*s + 4*t. Suppose i = -s*x, 3*i + x = -x + 26. Is i a multiple of 10?
True
Suppose g + 6*g = 1092. Is 45 a factor of g?
False
Suppose 4*a + 5 + 15 = 0. Is ((-27)/(-5))/((-1)/a) a multiple of 10?
False
Suppose 330 = -d + 6*d. Suppose -3*s - s = 0. Suppose 0 = -5*w + 20, -2*f + s*f + d = 2*w. Is f a multiple of 15?
False
Suppose -3*m + 4*a - 7 = -1, 4*a = -2*m + 16. Suppose 0 = -m*l - 0*l + 12. Is 4 a factor of l?
False
Suppose -4*h + 240 = 8. Is h a multiple of 29?
True
Let r(h) = h**3 - 4*h**2 + 2*h - 3. Let g = 5 - 1. Let d be r(g). Suppose -d*s = -60 - 15. Does 9 divide s?
False
Let p(h) = h + 1. Let d be p(4). Suppose -4*i - d*t + 68 = -t, -i + t + 15 = 0. Is 16 a factor of i?
True
Let j be 2/6 + 31/(-3). Let q = -6 - j. Is 2 a factor of q?
True
Let n(a) = -a + 1. Let z be ((-1 - -1) + -1)*0. Suppose 3*j - 5*l + 4 = z, 14 = -2*j - 2*j - 2*l. Is n(j) a multiple of 4?
True
Let q = 7 + -11. Is -4*(-1 + q - -3) a multiple of 7?
False
Let x be (-9)/3 + 9 + 0. Suppose 3*g + x = 0, -3*y - 2*g = -7*y + 68. Does 4 divide y?
True
Let g(j) = 9*j**3 - j**2 + 6*j - 6. Let n(w) = -5*w**3 + w**2 - 3*w + 3. Let v(k) = 6*g(k) + 11*n(k). Does 16 divide v(4)?
False
Suppose 4*b + 35 - 155 = 0. Does 6 divide b?
True
Let d be 27/(-12)*(-16)/6. Suppose c = d*c + 2*z - 225, 5*z + 213 = 4*c. Let p = c + -26. Does 11 divide p?
False
Let l(o) = 6*o**2 - 21*o + 3. Is 24 a factor of l(7)?
False
Let r(d) = -3*d**3 - 2*d**2 - 2*d - 2. Let l be r(-2). Suppose -30 - l = -2*f. Is 12 a factor of f?
True
Suppose -3*t + 2*d = -3*d + 4, -2*t = 3*d - 29. Suppose t*f - 4*f - 27 = 0. Does 9 divide f?
True
Suppose 2*q = q - 2*p + 5, -4*q + 11 = -p. Suppose -q*j - 8 = j. Does 2 divide j/(-6)*-2*-9?
True
Let n = 125 - 58. Is n a multiple of 17?
False
Is 77 - (-1 + 3) - -3 a multiple of 26?
True
Let t(i) = -i**2 + 8*i + 4. Let p be t(10). Let m = 31 + p. Is m a multiple of 8?
False
Suppose -4*v = -2*v + 28. Let k = v - -29. Is 4 a factor of k?
False
Let g = 4 - 12. Let s = -2 - g. Does 3 divide s?
True
Let i(k) = 62*k**2 + k - 1. Let s be i(1). Is 12 a factor of 2/(-5) - s/(-5)?
True
Let w = -7 - -82. Does 25 divide w?
True
Let j(g) = -2*g**3 - g**2 - 4*g - 3. Let n be j(-2). Suppose 2 = -2*h + 6. Suppose n = h*k - 7. Is k a multiple of 7?
False
Let h(l) = -l**3 + 13*l**2 - 12*l + 8. Does 2 divide h(12)?
True
Suppose -2*z = -89 + 37. Is 6 a factor of z?
False
Let z(u) = -2 - 7*u**2 + u**2 - u**3 - 3 + 1 + 6*u. Is 2 a factor of z(-7)?
False
Suppose 0 = w - 44 - 106. Does 30 divide w?
True
Suppose 2*m - 3*m + 33 = 0. Is m a multiple of 11?
True
Suppose 6*m - 6 = 4*m. Suppose -2*t = m*t - 40. Is 4 a factor of t?
True
Suppose -5*z = -107 - 3. Let n(k) = k**3 + 11*k**2 + k + 8. Let j be n(-11). Let t = j + z. Does 14 divide t?
False
Suppose 10*n - 133 = 47. Does 6 divide n?
True
Suppose -3*k = -h + 2*h - 81, -5*h + 335 = k. Is 1/(2/h*3) a multiple of 8?
False
Suppose 4*i - 475 = -95. Let s = i - 59. Is 10 a factor of s?
False
Let o = -59 + 93. Suppose -3*s - 2*i + 30 = 0, -i - i = -5*s + o. Let v(f) = 4*f - 9. Is 12 a factor of v(s)?
False
Does 18 divide 8/(-12)*846/(-4)?
False
Let s = -15 + 7. Let a(l) = -l**3 - 9*l**2 - 9*l + 4. Let y be a(s). Suppose 0 = -3*z + i + 70, 2*i + y = z - 13. Does 10 divide z?
False
Let k be (-4 - -3)/(0 - 1). Let s be (-2*k)/((-6)/24). Let d = s + 0. Is 3 a factor of d?
False
Let z = -44 - -72. Let w = 1 + z. Does 16 divide w?
False
Let r = 21 + -31. Is 5 a fa