 a a multiple of 5?
True
Let m = 1 - 3. Let r = m - -6. Suppose r*x + 4*v - 44 = 0, -6*x = -3*x - 4*v - 33. Does 11 divide x?
True
Does 27 divide (-966)/(-35)*20/6?
False
Let k(y) = y**2 + 8*y - 9. Let d be k(-9). Suppose 5*t - x - 5 = d, -x = 2*x. Suppose -5*u = 4*s - 31, -11 = -u + 3*s - t. Is u a multiple of 2?
False
Suppose 4*f - 36 = -i - 3*i, -5*f + 10 = 0. Suppose -4*n - 2*g + i*g = -49, 4*g + 20 = 0. Does 3 divide n?
True
Let q be (-21)/(-9)*9 + 1. Let u be (-7)/(-2) - 2/(-4). Is 7 a factor of (-260)/(-22) + u/q?
False
Let f(q) be the second derivative of -q**5/20 + q**4/12 + q**3/2 + 2*q**2 - 3*q. Let j be f(3). Is j*-17*(-6)/(-15) a multiple of 12?
False
Let f be (-14 - (2 - 0))*-2. Suppose z - 14 = f. Is 26 a factor of z?
False
Let q be (2/(-4))/((-4)/(-32)). Let s = 3 - q. Is s/(0 + 2 + -1) a multiple of 5?
False
Let i = -6 - -10. Suppose -5*a + 0*w = 2*w - 13, a + 1 = -i*w. Suppose a*t + 168 = 7*t. Is 16 a factor of t?
False
Is 35 a factor of ((-15)/2)/(7/(-98))?
True
Suppose 3*d = q + 588, 2*d - 2*q - 784 = -2*d. Let a = d - 112. Suppose 0 = -3*b + a + 18. Does 12 divide b?
False
Let p(k) = -5*k**3 + 6*k**2 - 2*k + 14. Let d(n) = -9*n**3 + 12*n**2 - 5*n + 27. Let z(h) = 6*d(h) - 11*p(h). Is 14 a factor of z(-6)?
True
Let p = 2 - 3. Is 36/(-3)*p/2 even?
True
Let b = -3 + 7. Suppose -20 = 2*q - b. Is 6 a factor of (-78)/q - 2/(-8)?
False
Suppose -4*t - 21 = -5*t + 3*b, 0 = 2*t + 2*b - 82. Is 3 a factor of t?
True
Suppose -4*s = 4*q - 168, 6*q = -3*s + 4*q + 125. Let z = 39 - 61. Let g = s + z. Does 5 divide g?
False
Suppose -2*i + 74 = 14. Is 10 a factor of i?
True
Let m(u) = u**2 - 7*u + 20. Let v be m(9). Suppose 46 = -4*j - 58. Let s = v + j. Does 4 divide s?
True
Let n(r) = 15*r - 7. Is 7 a factor of n(3)?
False
Let t(r) = r + 11. Let d be 1/(-3) + (-115)/15. Let q be t(d). Suppose -99 = -q*k - 27. Does 12 divide k?
True
Is 42 - (0 - (5 + -1)) a multiple of 7?
False
Let q(h) = 3*h + 6. Let v be q(-5). Let m be 1/3 - 80/(-12). Let y = m - v. Is 10 a factor of y?
False
Let f(h) = h - 5. Suppose 1 = -4*o + p + 40, -p = 3*o - 24. Let x be f(o). Suppose 4*n + x*m = -0*n + 96, -5*m - 55 = -2*n. Does 11 divide n?
False
Suppose -104 = -4*f - 8. Does 4 divide f?
True
Suppose -32 = -0*l - l. Is 8 a factor of l?
True
Let m be (-2 + 0)/((-2)/(-33)). Let l = m + 49. Is l a multiple of 8?
True
Let q(z) = z**2 + 6*z - 5. Let g be (-1)/1 + -2 - 5. Is 11 a factor of q(g)?
True
Suppose 3*g - j = 87 + 41, 0 = 2*g - 5*j - 81. Is g a multiple of 10?
False
Let p = 3 + -6. Let z = 2 + p. Let r = z - -6. Is 5 a factor of r?
True
Let f(r) = -23*r**3 + r**2 - r. Let v be f(1). Let n be 2/(-8) + v/4. Is 18*(6/(-2))/n a multiple of 4?
False
Let i(q) = q**2 - 12*q - 16. Let n = -9 - -23. Does 7 divide i(n)?
False
Let b be (21/(-6))/((-2)/4). Let f = b - 4. Suppose 4*d - 69 = f*h - 2*h, -d + 16 = h. Is d a multiple of 17?
True
Suppose -32 = -x - 0*x. Does 32 divide x?
True
Is ((-59)/(-2))/(3/6) + 0 a multiple of 25?
False
Let j = 158 - 76. Let g = j - 38. Is 22 a factor of g?
True
Suppose -l = l - 86. Is l + (-1 + -2)*1 a multiple of 13?
False
Suppose 5*s + 5*r + 35 = 0, 0 = -0*s - s - 4*r - 1. Let g = s - -25. Let m = g + -3. Is 13 a factor of m?
True
Let g(h) = 2*h + 1. Let p be g(5). Suppose -p = t - 2. Let n = 18 + t. Is 3 a factor of n?
True
Let h = 14 - 7. Suppose 7 + 11 = 4*p + 5*u, 3*u = -2*p + 10. Suppose 0 = -h*y + p*y - z + 55, 2*z - 30 = -2*y. Does 6 divide y?
False
Let d(m) = -m**3 + 5*m**2 + 7*m - 5. Let v be d(6). Does 25 divide (-3 - -2)/(v/(-25))?
True
Let q be (-2)/4 + 738/4. Let a = 60 - q. Is a/(-9) - (-2)/9 a multiple of 12?
False
Let a(h) = -h**2 + 5*h + 2. Let o(q) = q. Let c be o(-3). Let k be a(c). Is 8 a factor of -5*3/15*k?
False
Let g(r) = r**3 - 6*r**2 + 3*r - 5. Is g(6) a multiple of 3?
False
Let i = 43 - 1. Let f be 1*(-4)/(-6)*3. Suppose -5*w + i = -f*w. Is w a multiple of 8?
False
Let a(y) = 4 + 4*y - y - 2*y. Let m be a(0). Suppose 0 = -m*x - 0*x + 40. Is 4 a factor of x?
False
Let m = 12 + 0. Let x = 6 - m. Does 12 divide (2 - 34)*x/8?
True
Suppose 2*t - 4 = v - 65, 0 = -4*t + v - 117. Let r = 35 - t. Is 23 a factor of r?
False
Suppose 0 = 2*l - 8*l + 36. Is 6 a factor of l?
True
Let z = -39 - -60. Is 7 a factor of z?
True
Suppose 3*c - 104 = -c. Suppose 2*v = q - 16, 4*q - 44 = 2*v + c. Is 7 a factor of q?
False
Let i(t) = t**3 - 11*t**2 + 10*t - 4. Let d be i(10). Does 6 divide 3 + d/(4/(-3))?
True
Let s(r) = r + 11. Suppose 7*j - 3*j = 36. Is 10 a factor of s(j)?
True
Suppose -5*r = -0*q + 2*q - 41, 3*r - 4*q = 9. Let u(t) = t**3 + 6*t**2 - 6*t + 6. Let c be u(-7). Let a = r + c. Is 4 a factor of a?
False
Let m(f) = 2*f**2 + f + 16. Is 22 a factor of m(-4)?
True
Suppose 2*h = 5*m - 398, -492 = -5*m + 4*h - 96. Is 8 a factor of m?
True
Does 15 divide (-1 - 0)/((-7)/1785)?
True
Let c be 4 + -14 - (1 + -1). Let q = 22 + c. Is q a multiple of 6?
True
Suppose 3*y = 30 + 21. Let k = y - 24. Let f = -4 - k. Does 3 divide f?
True
Let v(q) = -q**2 + q + 58. Let j be v(0). Let g = -41 + j. Does 6 divide g?
False
Let q be (-4)/(-6)*9/(-1). Let j(v) = -3*v - 4 + 3*v + 1 - v. Is j(q) even?
False
Let y(i) = 24*i - 2. Is y(1) a multiple of 5?
False
Let u = -8 - -6. Is 4 a factor of 22 + (5/(-1) - u)?
False
Is 35 a factor of (0 - (-35)/3)/(9/189)?
True
Let o = -46 + 82. Is 8 a factor of o?
False
Let b be ((-1)/(-1))/(2/4). Suppose 0 = t - b*c + 5, -t - 3*c + 10 + 10 = 0. Is t even?
False
Suppose -z - 4*z = -165. Let a = z + -2. Suppose -2*w + 6 = 0, -9 = x + 2*w - a. Does 7 divide x?
False
Let h(g) = 3*g**2 - 9*g + 6. Let o be h(-7). Suppose -2*m + o = 52. Suppose 68 = 5*r - m. Is r a multiple of 10?
True
Let a = 30 - 26. Suppose -180 = -a*w + 188. Does 23 divide w?
True
Suppose 2*j - 5 = 245. Does 25 divide j?
True
Let g be 5/1 + (-20)/(-5). Does 12 divide (1*g)/((-15)/(-60))?
True
Does 31 divide 3 + 2 + (4 - -208)?
True
Suppose -2*c + 0*c + 5*z + 119 = 0, c - 32 = -3*z. Let i = c - 33. Does 14 divide i?
True
Is 2 a factor of (1 + -1 + 1)/(20/500)?
False
Let l = 13 + 22. Let a = l - -2. Does 22 divide a?
False
Suppose -8*x = -109 - 371. Does 43 divide x?
False
Let f(s) = -3 + 4 - 2 + 3*s. Let j(u) = u**3 - 9*u**2 - 10*u + 5. Let r be j(10). Is 5 a factor of f(r)?
False
Let v(h) = 4*h + 7. Suppose -6 = -3*g + 9. Is v(g) a multiple of 27?
True
Let p = 64 - 38. Is p a multiple of 26?
True
Let j be (-1)/4 - (-21)/4. Let y = -113 - -137. Suppose j*f = 21 + y. Does 3 divide f?
True
Suppose 3*k = -2*k + 40. Does 3 divide k - -2*(-6)/4?
False
Let z(v) = -v**3 - 4*v**2 - 3*v - 2. Suppose -6 = -4*i + 2. Let k be -2*((-8)/i)/(-2). Is z(k) a multiple of 10?
True
Is 1 + 2 + -2 + 74 a multiple of 15?
True
Suppose 5*u - 13 = 7. Suppose -u*x = -x + 48. Let v = x - -24. Does 8 divide v?
True
Suppose r = -r + 4. Suppose r*n - n - 28 = 0. Let b = n + -2. Is b a multiple of 17?
False
Let p(s) = -s**3 + 10 - 4*s**2 - 9*s + 9*s**2 + 4*s**2. Let w = 17 + -9. Is 2 a factor of p(w)?
True
Suppose 3*m = -2*m + 15. Suppose -2*j = 2, -4*j - 23 = -m*t + 8. Does 9 divide t?
True
Suppose 0 = -3*n + 2 + 7. Suppose -4*m = -n*x + 82, -3*m - 112 = -5*x + 21. Is 26 a factor of x?
True
Suppose -3*l + 15 = d - 8, -4 = 4*d. Suppose -7 - l = 5*w. Let x = w - -5. Is 2 a factor of x?
True
Suppose -5*u = 4*m - 4, 6*m = -4*u + m + 5. Let h = 20 + u. Does 8 divide h?
False
Let a = -12 + 14. Suppose -2*y + 2*n - 130 = -3*y, 5*n = -5*y + 655. Suppose -2*m - a = 0, -o - 2*o + y = 3*m. Is o a multiple of 12?
False
Let s = 0 - -4. Is 26 a factor of (s/(-2) - -3) + 77?
True
Let j be 30*(-5)/(5/4). Suppose 3*q - 3*i = q + 22, -4*i = 2*q + 6. Is (1 + -2)/(q/j) a multiple of 12?
True
Let x(w) be the first derivative of 23*w**4/4 + w - 4. Does 10 divide x(1)?
False
Suppose -490 - 410 = -5*j. Is j a multiple of 12?
True
Let s(y) = y**3 + 10*y**2 + 6*y - 10. Does 21 divide s(-8)?
False
Let c = 9 + -23. Let f = -8 - c. Is 5 a factor of f?
False
Let i be 2*1/((-4)/42). Let d = i + 29. Does 4 divide d?
True
Let r(a) = -a**2 + 10*a - 10. Let h be r(9). Is 27 + (h/(-1) - 2) a multiple of 13?
True
Let u(q) = q**3 + 8*q**2 + 4*q + 12. Is 3 a factor of u(-7)?
True
Let v = -1800 - -2646. Let w be v/21 - 2/7. Let y = w + -22. Is y a multiple of 9?
True
Let y = 7 + -4. Suppose 0 = y*d - d - 6, 0 =