 z = 8 + 4. Let n = z + 17. Is 29 a factor of n?
True
Suppose 1 = 2*r - 49. Let q = 19 + r. Is 16 a factor of q + 5/(15/6)?
False
Suppose -45 = 8*a - 3*a. Let d = -1 - a. Is d a multiple of 6?
False
Suppose 140 = 4*b - 5*g - 87, 257 = 4*b + g. Is 21 a factor of b?
True
Let b = -19 + 4. Is 3 a factor of (-45)/(-4) + b/(-20)?
True
Let b(l) = 0 + 6*l + 6 - 3 - 3*l. Suppose i = -2 + 8. Is b(i) a multiple of 9?
False
Suppose 0 = -3*n - 95 + 275. Is 15 a factor of n?
True
Let f = -2 - 1. Let g = f - -16. Is 13 a factor of g?
True
Let w be 5/(-10)*(-4)/(-2). Does 17 divide 5/((-10)/(-66)) - w?
True
Let b(g) = -g**2 - 6*g + 7. Let p be b(-7). Suppose -3*u + 2*m + 203 = 0, 4*u - u + m - 191 = p. Does 13 divide u?
True
Let m(b) = 6*b**3 + 2*b**2 - 5*b + 3. Is 7 a factor of m(3)?
True
Let h(l) = 10*l + 28. Is 21 a factor of h(11)?
False
Suppose 0 = -5*w, -6*h + 3*h + w + 9 = 0. Let g(a) = 2*a**3 - 3 - 12*a - 12*a**2 - 5*a**h + a**3 + a**3. Does 8 divide g(-11)?
True
Let m(h) = 2*h**2 - 27*h - 7. Is m(15) a multiple of 3?
False
Is 17 a factor of 6/21 + (-5412)/(-21)?
False
Let g = -55 - -93. Suppose -2*f + g = -f + z, z + 2 = 0. Does 10 divide f?
True
Is 9 a factor of (-12*36/(-80))/((-1)/(-5))?
True
Suppose -t = -8*q + 3*q - 84, q - 66 = -t. Does 19 divide t?
False
Let l = -7 - -12. Suppose -60 = -l*b + 120. Is b a multiple of 19?
False
Suppose -3*b = 4*l + 15, -5*l + 2*l + 4*b = -20. Suppose l = 4*m - 0 - 12. Suppose 6 = 2*s + 5*f, 0 = m*s - f - 17 - 9. Does 4 divide s?
True
Let u(j) = j**3 - 9*j. Is 41 a factor of u(5)?
False
Let h(p) = -p**3 - p**2 - 15. Let k be h(0). Is (-564)/k + (-2)/(-5) a multiple of 11?
False
Let p(n) = -13*n + 4 + 12*n + n**3 + n**2 + 21. Is 10 a factor of p(0)?
False
Let w = 8 - -19. Suppose 0 = -5*a - 15, 2*l - 5*a - w = -0*l. Does 3 divide l?
True
Suppose -179 = -4*c + 3*w, -6*w + 12 = -2*w. Is c a multiple of 2?
False
Let g(c) be the second derivative of -c**5/20 + c**4/4 + c**3/3 - c**2 + c. Let n be g(3). Suppose 0 = -3*f - 2*h + 33, -f - 36 = -n*f - h. Does 8 divide f?
False
Suppose i - 17 = 43. Is 15 a factor of i?
True
Suppose 7*l - 36 = 5*l. Let g = -6 + l. Is g a multiple of 12?
True
Let t(b) = 8*b - 2. Let s be t(1). Suppose 5*m = -4*d + 100, 2*m + s*d - d = 57. Does 16 divide m?
True
Let h = -8 + 28. Let c = h - 12. Suppose c = j - 4. Is j a multiple of 9?
False
Let f(v) be the second derivative of v**4/6 + v**3/2 + 3*v**2/2 + 3*v. Is f(3) a multiple of 15?
True
Suppose -3*o = -5*o + 18. Does 17 divide (-2)/6 + 453/o?
False
Is 18 a factor of -2*(-59)/2 - 2/2?
False
Suppose 0 = -b - 3*b + 8. Let s(m) = 2*m - 9 + m + b + 1. Is s(4) a multiple of 3?
True
Suppose 0 = p - 1, -p - 14 = -q - 4*p. Let s = 1 + q. Does 12 divide s?
True
Suppose -8 = -0*j - 2*j. Let u be j/(-8) - (-75)/2. Let s = -10 + u. Is 13 a factor of s?
False
Let u = 0 - -3. Let h = u - 0. Suppose -2*c + h*q + 0*q + 25 = 0, 4*c - 5*q = 49. Is c a multiple of 8?
False
Suppose -3 - 7 = -5*n. Suppose 2*a - 216 = -a. Suppose -a = -n*w - 12. Is w a multiple of 15?
True
Suppose -5*r + 1 = n, 0*r = -2*r + 3*n + 14. Let x be 3*r/1 + 0. Suppose 4*l - 108 = 3*o - 2*o, x*o = -2*l + 68. Does 14 divide l?
True
Suppose -2*b + 8 = -8. Let a = -6 - -8. Suppose -b = -a*f + 10. Is f a multiple of 5?
False
Let u(i) = -i**3 + 2*i**2 - 1. Let l be u(-1). Suppose l*g - 230 = -3*g. Is 23 a factor of g?
True
Let h(q) = -q**3 + q**2 - 2*q - 6. Is h(-3) a multiple of 18?
True
Suppose 0 = -7*c + 112 + 504. Is 7 a factor of c?
False
Let w(y) = -7*y + 1. Suppose -3*c + 12 = -3*n, 0 = n - 6*n - 5*c. Is w(n) a multiple of 6?
False
Let x(l) be the third derivative of -5*l**4/24 - 5*l**3/3 + 2*l**2. Does 10 divide x(-8)?
True
Suppose 5*f = 4*f + 8. Is f a multiple of 4?
True
Let m = -14 + 29. Is m a multiple of 5?
True
Suppose 4*l + 2*r - 8 = 0, -4*l - 4*r = -7*r + 12. Suppose 0 = -l*w - 4*w + 68. Does 17 divide w?
True
Suppose -5*c - 6*x = -2*x - 22, -3*c + 2*x = 0. Suppose -c*i + 17 = -w, -w - 10 = 4*i - 35. Suppose 2*l = i*l - 90. Does 18 divide l?
True
Suppose 0 = -3*v - 2*v + 45. Does 3 divide v?
True
Let m(w) = w**2 + 2. Suppose 4*h + 24 = 4*o - 2*o, -2*h = 10. Suppose -n + 6 = o. Does 7 divide m(n)?
False
Suppose 14 = 3*c - 22. Suppose -j + c + 2 = 0. Does 13 divide (2 - j/(-2))*3?
False
Suppose -3*w + 0 + 12 = 0. Suppose 2*b = w*s - 82, -3*s - 4*b + 34 + 22 = 0. Is 10 a factor of s?
True
Suppose -i - 8 = -3*i. Suppose 2*r + h - 3 = -2*h, 42 = 5*r - i*h. Does 14 divide ((-14)/r)/(1/(-6))?
True
Let c(i) = -i**2 + 14*i - 4. Does 22 divide c(8)?
True
Suppose -15 = -2*k - 11. Does 4 divide (1/k)/((-5)/(-50))?
False
Let c = 223 + -83. Does 10 divide c?
True
Let n(y) = -y**3 + 6*y**2 + y - 3. Let s be n(6). Suppose -5*l - 2*w + 200 = 0, 4*l - w = -s*w + 158. Does 18 divide l?
False
Let t(x) be the third derivative of 0 - x**2 - 1/3*x**3 + 1/6*x**5 + 1/24*x**4 + 0*x. Is t(-2) a multiple of 17?
False
Does 14 divide (-1)/(3/(-463)) + 14/(-42)?
True
Let k = -10 - 9. Let r = -10 - k. Does 11 divide ((-16)/(-6) - 0)*r?
False
Suppose 18*o - 8*o = -170. Let c(w) = 6*w + 5. Let i be c(4). Let j = i + o. Does 9 divide j?
False
Let w(n) = -n - 6. Let r be w(0). Is (r/(-9))/((-2)/(-45)) a multiple of 6?
False
Let z(h) = -h - 3. Let q be z(-6). Suppose -4*y + q*x = -18, 0 = -0*y - y + 3*x + 9. Is y a multiple of 3?
True
Let u = -78 - -51. Let c = 62 - 22. Let h = u + c. Is 5 a factor of h?
False
Suppose 3*b - 5*y - 33 = 0, 0 = -3*b + b + y + 15. Suppose 2*r - 22 + b = 0. Suppose r + 22 = 5*q. Is q a multiple of 6?
True
Suppose 5*a - 28 - 17 = 0. Let z = -5 + a. Suppose -z*g + 10 = -5*u, -u + 2*u = 2*g - 8. Is 5 a factor of g?
True
Suppose -4*w = -i - 105 - 226, i - 257 = -3*w. Does 21 divide w?
True
Let t(v) = 2*v**2 + 3*v. Let y be t(-2). Suppose 0 = -4*g + y*g + 30. Is 15 a factor of g?
True
Let s(w) = -w**3 - w**2 - 2. Let f be s(-2). Let n be (f - -16)/(-1 + 3). Is 10 a factor of 1/(6/n)*14?
False
Suppose 0 = -4*b + 3*b + 3. Suppose 0 = -0*j - b*j + 30. Is 7 a factor of j?
False
Suppose -y = 3*k - 5*k + 4, 20 = -k - 5*y. Suppose -v + 8 = -4*n, k*v - 20 = -v - 2*n. Does 16 divide (v/(-3))/((-1)/3)?
True
Let p = 54 - -10. Does 19 divide p?
False
Suppose 217 + 365 = 5*c - 3*g, c = -2*g + 106. Is (-15)/(-10) - c/(-4) a multiple of 14?
False
Let q be 3*(-4)/14*-7. Suppose 5*i - 35 = -5*r, 0 = -2*r + q*r - 2*i - 34. Does 10 divide (r - 5)*(-14)/(-3)?
False
Let f(t) = t - 4. Let x be f(-4). Let b(w) = 6*w - 21. Let l(h) = -h + 4. Let c(s) = -4*b(s) - 21*l(s). Is 12 a factor of c(x)?
True
Does 18 divide 6/((8/(-26))/(-2))?
False
Let v(k) = k**3 + 17*k**2 - k + 23. Is v(-17) a multiple of 10?
True
Is -5 + 26/5 + 784/5 a multiple of 12?
False
Suppose 5*n + 3*d - 31 = 0, 0*d = -2*d + 4. Suppose n*a - a - 2*y = 178, -y - 43 = -a. Does 23 divide a?
True
Let z(r) = -r**3 - 5*r**2 + 6*r - 2. Let n be z(-6). Let y be n/(-4)*(4 - -6). Suppose 3*s + y*q = 97, -3*q - 9 = -0*s - s. Does 13 divide s?
False
Suppose 0 = 2*a - 4*r - 306, -5*a + 2*r - 288 + 1013 = 0. Let c = a + -97. Does 13 divide c?
False
Suppose 0 = 2*p - d - 67, -p + 0*d + 46 = 2*d. Suppose -6*l + 2*l = 4*a - p, -a + 2*l = -9. Let t = 5 + a. Is 6 a factor of t?
False
Suppose -l + 4 = -q - 3, -4*q - 5*l = 1. Is 2*(90/q)/(-3) a multiple of 15?
True
Does 4 divide 339/24 - (-1)/(-8)?
False
Does 5 divide 640/110 - (-2)/11?
False
Let b = 38 + -23. Suppose 0 = -m + 3*m - h - b, 3 = h. Is 11 a factor of (-68)/(-6) - 3/m?
True
Suppose 23 = m + 4*u, -4*m + 210 = -5*u + 55. Is 7 a factor of m?
True
Let k(y) = -y**3 + 11*y**2 - y + 15. Let w be k(11). Let t(r) = 7*r. Is t(w) a multiple of 14?
True
Let w(y) = 6*y**3 + 2*y - 3. Let i be w(2). Let u = i - 28. Let c = u + -3. Does 9 divide c?
True
Let q = -1 + 5. Suppose i - a - 22 = 0, -i + 114 = q*i - 4*a. Is i a multiple of 13?
True
Let b(g) = g + 24. Let m be b(-14). Suppose -m = -2*x - 3*x. Suppose x*s - 7*s = -260. Is s a multiple of 26?
True
Let r(m) = -m**2 - 8*m + 12. Let x be r(-9). Let y be (x - -2) + -7 + 4. Suppose 0 = -y*q - 2*q + 48. Does 12 divide q?
True
Let u(w) = -3 + w + 0 + 6*w - 2*w. Does 16 divide u(7)?
True
Let j(z) = 3*z**3 + z**2 + 6*z - 10. Does 8 divide j(3)?
False
Let f(s) = -s**2 + 10*s - 10. Suppose -4*y = -9*y + 40. Is f(y) even?
True
Let n = 115 + -52. Is n a multiple of 26?