. Does 8 divide y?
False
Let t(r) = -r**3 - 3*r**2 + 7*r + 1. Let v be t(-5). Suppose -v = d - 3*d. Is 5 a factor of 25/(-20)*d/(-2)?
True
Suppose -2*o = 2 - 18. Suppose 4 = -2*j, -6*q + 2*j = -q - 19. Suppose -100 = q*a - o*a. Is a a multiple of 10?
True
Suppose 2*m - 288 = -m. Is 16 a factor of m?
True
Let t = -4 + 6. Let x(s) = 4 - s**t + s**2 - s**2. Is x(0) a multiple of 4?
True
Does 5 divide 41 + (2 - -1 - 2)?
False
Let t(h) = -h + 10*h**2 - 5 + h**3 - 10*h**2. Is t(4) a multiple of 17?
False
Does 8 divide 3/(-15) - 282/(-10)?
False
Let t = -2 - -4. Let a(o) be the first derivative of 5*o**2/2 + 1. Is 10 a factor of a(t)?
True
Let b(p) = 2*p**3 - 4*p**2 + 2*p + 2. Let g be b(2). Suppose -4*h + 3*r = -2*r - 21, 2*r = h - g. Is h a multiple of 2?
True
Suppose 0*o + o - 2 = 0. Suppose -o*b + 8 = -b. Let g = -5 + b. Is 2 a factor of g?
False
Let v be (-1)/2*2 + 14. Let d be (-4)/(-3)*(-15)/(20/(-4)). Suppose d*y - 5 = 4*b - 65, b - v = -y. Is b a multiple of 14?
True
Suppose -i = 3*i - 84. Is 7 a factor of i?
True
Let k = 71 + -7. Does 16 divide k?
True
Suppose 3*y - 4*d + 8*d - 22 = 0, 0 = 2*y - 4*d - 8. Let c = y + -2. Is 3 a factor of c?
False
Let i = 45 + -25. Suppose f = 5, -5*c + i = -f + 4*f. Let j(l) = 10*l**2 - 1. Does 7 divide j(c)?
False
Suppose j = 4*r - 2*r + 8, 3*r + 6 = 0. Is 4 a factor of j?
True
Let r(p) = -4*p**2 + 4*p + 10. Let b be r(5). Is 4 a factor of (-8)/10*b/4?
False
Let t(g) = g**3 - 3*g**2 + 3*g. Let i be t(2). Suppose -n + 0*l - i*l = -38, 5*l = -5*n + 180. Is 17 a factor of n?
True
Let j(r) be the first derivative of -5*r**2/2 - 6*r + 2. Is 17 a factor of j(-8)?
True
Let q(i) = 2*i**2 - 3*i. Let b be ((-2)/6)/((-3)/18). Let a be q(b). Suppose -a*t - 37 = -2*v - 1, 0 = 2*v - 3*t - 33. Is 11 a factor of v?
False
Let f = 6 + -7. Let v be 1/3*(-15)/f. Suppose -5 = -n + 2*n + 5*p, -v*n - 3*p + 41 = 0. Is 5 a factor of n?
True
Let y(c) = 3*c**2 + 6*c + 1. Let d be y(-4). Let f = d + -18. Is f a multiple of 7?
True
Let d(l) = -l**3 + 7*l**2 + 10*l - 12. Suppose -4*h - 8 = -40. Let f be d(h). Suppose 2*j - 7*j - f*s = -41, j - 3*s + 7 = 0. Does 3 divide j?
False
Let s = -2 + 15. Is 13 a factor of s?
True
Let d be (-2)/(-10) + 38/10. Suppose d*i = 8*i - 72. Is 18 a factor of i?
True
Let c be 2 + 2/(-4)*-190. Let l = c + -59. Suppose l = -3*k + 92. Is 6 a factor of k?
True
Suppose 4*w = 5*p + 74 + 6, 2*w = -3*p + 18. Is w a multiple of 5?
True
Suppose 281 = 3*j - 118. Is 32 a factor of j?
False
Let z(m) = 3 + 3*m + 2 + m - 2*m. Does 5 divide z(5)?
True
Suppose -6*h = -h - 665. Is h a multiple of 19?
True
Let u = 314 - 170. Is 36 a factor of u?
True
Let g = 18 - -1. Does 8 divide g?
False
Let h(u) = -3*u + 8. Does 19 divide h(-10)?
True
Does 12 divide 7/42 - 893/(-6)?
False
Suppose j - 8 = f - 4*f, -3*j - 3*f = -18. Let m be (0 - -47) + (3 - j). Suppose l - m = 4*h - 12, 0 = -4*l + 4*h + 108. Is l a multiple of 11?
False
Let k(b) = b**3 - 9*b**2 + 3*b - 7. Let c(g) = 2*g - 7. Let r be c(8). Is k(r) a multiple of 19?
False
Let h(y) = 2*y**2 - 11*y + 3. Does 12 divide h(9)?
False
Let f be (0 - 236)/(-2) - -1. Suppose 3*b - 10 - f = 0. Is 8 a factor of b?
False
Let c(x) = -2*x + 5*x - 7 + 21. Does 11 divide c(10)?
True
Let r be (-2 + 2)*(3 - 4). Suppose 5*s = -r*s + 50. Does 4 divide s?
False
Let l = -2 + 10. Let t(y) = -y**3 - l*y - 2 + 4 - 7*y**2 + 2*y**3. Does 2 divide t(8)?
True
Let w be (2 - 1)/((-1)/41). Let f = w - -79. Let t = f - 14. Is t a multiple of 12?
True
Suppose -9 = w - 2*w. Suppose -485 = 4*m - w*m. Does 20 divide m?
False
Is (4/6)/((-8)/(-504)) a multiple of 12?
False
Suppose 24 = -0*b - 3*b. Is b/(-20) + 118/5 a multiple of 12?
True
Let b = -2 + 5. Suppose -2*d = 2*z - 182, 2*d + 211 + 237 = 5*z. Suppose -b*s - z = -8*s. Does 9 divide s?
True
Let k(w) be the first derivative of w**2 + 5*w - 1. Let f be k(-4). Let d(m) = m**2 + m + 2. Is 3 a factor of d(f)?
False
Let m be (-84)/(-16) + 1/(-4). Suppose -4*z = 0, -m*c = 4*z - z - 25. Suppose -a = 2*g - c*a - 34, 2*g + 2*a - 22 = 0. Does 5 divide g?
False
Let d(g) = g**3 - 8*g**2 + g - 6. Let s be d(8). Suppose -4*o - s*r - 26 = 0, -2*o + 0*r - 8 = -4*r. Let h = -4 - o. Does 2 divide h?
True
Suppose 0*b + 3*b - 120 = 0. Is 48/b*95/2 a multiple of 13?
False
Suppose 4*q + 3*s = 5*q - 5, -4*q - 2*s + 62 = 0. Is 14 a factor of q?
True
Let q(v) be the third derivative of v**6/120 - 11*v**5/60 + v**4/2 + 2*v**3/3 - 2*v**2. Does 8 divide q(10)?
True
Let b be (-1)/(-5) + 48/10. Suppose -b = -c + 2. Is 7 a factor of c?
True
Suppose -3*y - y = 56. Does 8 divide 3 + (-1 - y) - 0?
True
Suppose 3*r + 34 = -56. Does 14 divide 4/r + (-317)/(-15)?
False
Does 10 divide (20/16)/(3/600 - 0)?
True
Let r = -3 - -7. Suppose 3*b = 8 + r. Suppose 3*i - 2*n = i + 100, b*n = -4. Does 14 divide i?
False
Let y(n) be the second derivative of -n**3/3 - 6*n**2 + n. Let x be (0 - 7) + 30/(-15). Is y(x) a multiple of 6?
True
Suppose 0 = -6*d + 2*d - 20. Let x = d - -41. Is 18 a factor of x?
True
Let i(d) = -d**2 + 8*d + 1. Let t be i(6). Suppose -3*g + 5*m = 17, -2*g - g + 4*m = 13. Suppose -k - g = -t. Does 6 divide k?
True
Let q(x) = -x**2 + 7*x. Let b be q(6). Let r be 8*2/(16/b). Suppose p = 4*p + r, -4*j - 3*p = -50. Does 13 divide j?
False
Let h = 332 + -218. Does 9 divide h?
False
Let u = -4 + 7. Is 2 a factor of u + (2 + 2 - 2)?
False
Let r be (-2 - -1)*(-2 - 0). Let f be 4 + 36 + (-4)/(-2). Suppose 2*a - r - f = 0. Is a a multiple of 11?
True
Let s(q) = -4*q + 10. Let g(m) = -5*m + 9. Let p(c) = 2*g(c) - 3*s(c). Let l = -93 + 101. Is p(l) even?
True
Suppose 5*t - 320 = -5*x, -3*x + 1 = -3*t + 169. Does 20 divide t?
True
Let n(z) = 6*z + 8*z**2 + 2*z + 1 + z**3 - 3*z - 3. Does 14 divide n(-4)?
True
Is 5 a factor of (15 - -10) + (-2)/1?
False
Let v = 378 - 222. Suppose 0 = 4*g - 6*g + v. Is g a multiple of 13?
True
Suppose h = 6*h - 100. Suppose -2*r - 4*o = -8, 7*r = 2*r - 3*o + h. Suppose 0 = -3*y + r*z - 3*z + 82, 0 = 4*z - 8. Is 18 a factor of y?
False
Suppose 4*c - 76 = -0*c - 4*y, -2*c + 39 = y. Does 7 divide c?
False
Let d(p) = -42*p**3 - p - 1. Does 14 divide d(-1)?
True
Let o(f) = -90*f**3 - f - 1. Is o(-1) a multiple of 27?
False
Suppose 4*z - 5*i = 43, z + 0*i = i + 11. Is 3/(1*9/z) a multiple of 3?
False
Let f(a) = a**2 - a - 4. Let o(h) = -2*h**2 - 2*h. Let g be o(-2). Is f(g) a multiple of 14?
False
Let a = -51 - -94. Is 7 a factor of a?
False
Let c = 1 - -7. Is c a multiple of 6?
False
Suppose -142 - 269 = 3*c. Is c/(-5) + (-3)/(-5) a multiple of 14?
True
Let p(m) be the third derivative of -m**5/60 - 13*m**4/24 - 5*m**3/3 + 3*m**2. Is 15 a factor of p(-8)?
True
Suppose -g = 5*w - 25, w + 4*g = -w + 10. Suppose -s = -w*s + 16. Suppose 2*a = -s*l + 232, -3*l - 2*a + 64 = -2*l. Is l a multiple of 28?
True
Suppose 2*i + 501 = -i. Let j = i + 333. Suppose -74 - 72 = -5*r + v, 5*r = -4*v + j. Is r a multiple of 15?
True
Let m be (-96)/(-42) + 4/(-14). Suppose 3*y + 0*y = 3*r, 0 = -4*y + m*r + 4. Suppose y*h - 48 = -h. Is 16 a factor of h?
True
Let r be 1/2 + 15/(-2). Is 9 a factor of 0 + (-4)/(-2) - r?
True
Let t(f) be the first derivative of f**3/3 + f**2/2 + 3*f - 16. Suppose d - 1 + 4 = 0. Is 9 a factor of t(d)?
True
Let s be 23 + 1 + -2 - 1. Suppose -4*k - 5*v + 42 = 0, -4*k + s = 2*v - 15. Does 8 divide 24/2*(-7 + k)?
False
Is 418/12 + (-11)/(-66) a multiple of 7?
True
Suppose 4*z = 117 + 7. Is z a multiple of 7?
False
Suppose 2*m + 2*m + 180 = 0. Is 10 a factor of 5/(m/12 + 4)?
True
Let f(k) = 4*k**3 - k**2 + k - 1. Let p(l) = -l**3 + l**2 - l. Let d(m) = f(m) + 3*p(m). Suppose 0 = 14*a - 10*a - 12. Is 15 a factor of d(a)?
False
Let z = 13 + 11. Suppose 41 = 3*v + 5*i, -4*v - i + 2*i = -z. Is 2 a factor of v?
False
Let j(w) = 4*w + 1. Is 4 a factor of j(25)?
False
Suppose 4*s + 0*b - 96 = b, 2*s - 2*b - 42 = 0. Does 14 divide s?
False
Suppose 2*x - 3*r - 16 = 0, 14 = 5*x - 2*r + r. Suppose -x*v - 15 = -223. Suppose 3*k = -k + v. Does 12 divide k?
False
Let o(p) = 2*p**3 + 20*p**2 - 9*p + 7. Let z(j) = -j**3 - 10*j**2 + 5*j - 3. Let v(c) = 4*o(c) + 7*z(c). Is 11 a factor of v(-10)?
False
Suppose 0 = -2*g - 5*y + 580, -1108 = -4*g + 6*y - 3*y. Is g a multiple of 16?
False
Suppose k - m = 4*m + 38, 5*m = -3*k + 34. Does 11 divide k?
False
Suppose -i = -6 - 7. Does 2 d