e f = 3*y - 15. Does 15 divide y?
True
Suppose -5*c = m - c + 4, -4*c = 4*m - 20. Let q be m/10*(0 + -5). Does 10 divide (q/(-6))/(2/60)?
True
Suppose -86 = 4*k - 4*m + 18, -4*k + 2*m = 110. Let n = 4 - k. Suppose 2*w - t = -0*t + 57, -w - t + n = 0. Is 11 a factor of w?
False
Let f = -8 - 3. Let w = f + 23. Does 12 divide w?
True
Let z be (4/(-10))/1*-10. Suppose -z*p + 3*j = 223, 111 = -2*p - 2*j + 3*j. Is ((-3)/5)/(1/p) a multiple of 11?
True
Let i be 6/(-24) + (-1)/(-4). Let t = i - -3. Is t a multiple of 3?
True
Suppose -708 = -2*f - 2*f. Suppose -2*z - f = -3*p, -4*p - 119 - 65 = 2*z. Let x = z + 131. Does 15 divide x?
False
Let x = 3 - -1. Suppose x = j + j. Does 7 divide (j/5)/((-1)/(-35))?
True
Suppose 7*y - 2*y - 160 = 0. Does 3 divide y?
False
Let k(b) = b**2 + 3. Let v be k(-6). Let q be 4/10 + 28/5 + -2. Suppose q*z - z = v. Does 13 divide z?
True
Suppose 0 = 14*v - 9*v - 715. Is 21 a factor of v?
False
Suppose b - 100 = -b. Is b a multiple of 22?
False
Suppose 5*x - 853 = -13. Suppose 0 = 2*u + u - x. Is 28 a factor of u?
True
Let a(y) = 6*y**2 - 19*y + 5. Is a(5) a multiple of 6?
True
Suppose -d = -4*y - 4 - 1, -5*y = -4*d + 9. Is y/((-4)/(-34))*-2 a multiple of 11?
False
Let a(n) be the first derivative of n**2/2 + n - 3. Let f be a(1). Does 21 divide f + (0 - (2 - 21))?
True
Does 10 divide ((-6)/2 - (1 + -7)) + 37?
True
Let p = -5 + 8. Suppose 4*m - 3*r - 33 = 0, p*r = -2*m + 10 + 11. Is 9 a factor of m?
True
Suppose -98 = -5*d + 3*d. Is d a multiple of 14?
False
Suppose o - 88 = -4*b, 8 = -b - b. Does 8 divide o?
True
Suppose h = -3*t + 39, 0*h = 3*h + 3*t - 111. Does 9 divide h?
True
Suppose 8*o = 4*o - 856. Let b = -140 - o. Is 13 a factor of b?
False
Suppose 0 = -w - 4*h + 14, 6*w + 5*h = w + 25. Suppose 11 = -z + 5*y, 0 = 3*z - w*z + 3*y - 13. Suppose 52 = -0*t + z*t. Does 8 divide t?
False
Let h(a) = a**2 - 4*a. Let j be h(5). Suppose j*g + 16 = 66. Does 5 divide g?
True
Suppose 3*x + 0*x - 9 = 0. Let q(u) = u**2 + 8*u + 4. Let f(a) = -7*a - 4. Let p(t) = 6*f(t) + 5*q(t). Is 13 a factor of p(x)?
False
Let t be 1/(-2)*4*-2. Suppose -35 = -t*y - 3. Does 2 divide y?
True
Suppose 0 = -4*q + 3*w + 4, 3*q - 4*w = -7*w - 18. Let s be q*(1 + -2) - 0. Suppose -3*p + p - 21 = -3*t, 2*t + s*p - 4 = 0. Does 3 divide t?
False
Let p(r) be the first derivative of -r**4/4 - 2*r**3/3 + 3*r**2/2 - 1. Let o(z) be the second derivative of p(z). Is o(-4) a multiple of 10?
True
Suppose 0 = -2*p + 4*b + 28, 3*p - 2*b + 0*b = 34. Is 2 a factor of p?
True
Let l(d) = -d**3 + 6*d**2 - 3*d + 1. Suppose 3*h = 2*h + 7. Let u = h + -2. Is 6 a factor of l(u)?
False
Suppose 5*s - 9*s = -28. Let a(h) = -h + 4*h + 12 - 2 + h**3 - h - 7*h**2. Does 12 divide a(s)?
True
Suppose -13*o + 810 = -8*o. Is 27 a factor of o?
True
Let p(a) be the third derivative of -a**6/120 + a**5/12 - a**4/12 + a**3/6 + 2*a**2. Let t be p(4). Does 24 divide 1*t*(-16)/(-6)?
True
Suppose -6*i = -i - 85. Is 2 a factor of i?
False
Suppose -10 = 5*u - 40. Does 10 divide 3 - -1*(u + 1)?
True
Is 33 a factor of 253 - (0 + 11 + -5)?
False
Is (2/7 + (-1005)/(-35))*1 a multiple of 2?
False
Suppose 0 = 5*p - 0*p - 15. Suppose -120 = -3*f - 0*f. Suppose -h - 10 = -2*a, a + 3*a = -p*h + f. Is 4 a factor of a?
False
Let s = 7 - 5. Suppose 3*a - 4*d = -3 + s, -2*a = 2*d - 18. Is a even?
False
Suppose 20*g - 996 = 17*g. Is g a multiple of 47?
False
Let n = 10 + -8. Suppose g + 466 = n*g. Is 26 a factor of (-6)/(-27) + g/9?
True
Let m be ((-2)/(-4))/((-1)/76). Let d = m + 69. Does 13 divide d?
False
Suppose -m = -4*m - 45. Is 23 a factor of (6/m)/(1/(-115))?
True
Suppose 12*k = 15*k - 780. Does 14 divide k?
False
Let i(z) = -z**2 - 9*z - 3. Let k be 2 + (-6 - -1) - 3. Does 10 divide i(k)?
False
Is 2 a factor of 56/26 - 18/117?
True
Let l(x) = 5*x**2 - x - 1. Let b be l(-1). Suppose -b*k = -k - 96. Is k a multiple of 12?
True
Let l be 32/((-2)/8*-4). Suppose -4*v + 40 = 5*r, -4*r + v - 5*v + l = 0. Is r a multiple of 3?
False
Suppose -2*d - 25 = -3*c, -3*d + 7*d = -4*c. Suppose 0 = -2*r - c*i + 408, -3*i + 2*i = 2*r - 416. Is r/7 - 5/(-35) a multiple of 15?
True
Suppose 0 = 7*c - 3*c - 16. Does 14 divide (-79)/(((-12)/3)/c)?
False
Suppose -p + 37 = -6. Is p a multiple of 20?
False
Let m be (24/(-40))/(1/(-5)). Suppose 4*p + 70 = 2*j, 2*j - 4*p = -m*j + 151. Does 13 divide j?
False
Let p be 5222 + 0 - (-2 - 0). Let z be 4/(-14) - p/(-56). Suppose -4*b + b = -z. Is b a multiple of 13?
False
Let g(m) = -m**2 + 10*m - 12. Is 6 a factor of g(7)?
False
Let b(r) = r**2 - 3*r - 7. Let d be b(5). Suppose 0 = -o + 3*o - 4*t - 68, 2*o = d*t + 68. Is 17 a factor of o?
True
Suppose 2*h - 5*i = -23, -5*h - 4 - 76 = -5*i. Let g = -3 - h. Does 8 divide g?
True
Suppose 2*s - 3*a = 4 - 27, -4*a = 3*s + 77. Suppose -l = -y - 2*l - 33, -2*l = -8. Let v = s - y. Is v a multiple of 13?
False
Let c(g) = g**2 - 3*g - 1. Let l be c(-4). Let q be 4/18 + (-166)/18. Is 345/l - 2/q a multiple of 13?
True
Let u(b) = -3*b + 9. Let y be u(8). Let j be (-4)/8 + 71/2. Let o = y + j. Is 9 a factor of o?
False
Let x(b) = -b**3 - 10*b**2 - 8*b + 8. Does 7 divide x(-10)?
False
Let h be (-4)/1*51/(-6). Suppose h = 2*y - 18. Does 19 divide y?
False
Let f = -48 + 81. Suppose 0 = 5*m + 17 - 42. Suppose m = -j + f. Does 12 divide j?
False
Let v = 16 - -8. Is v a multiple of 8?
True
Let b = -286 + 476. Let f(q) = q**2 - 7*q - 2. Let t be f(8). Is 12 a factor of (-4)/6 + b/t?
False
Let v be -1*2 + 0 - -706. Suppose -3*r = -4*h + 888, 0 = 3*h + r - v + 51. Is h/6 + (-2)/(-4) a multiple of 17?
False
Is 17 a factor of 68/2 - (3 + -5)?
False
Suppose -128 - 40 = -8*w. Does 2 divide w?
False
Let p(o) be the third derivative of o**4/12 - 5*o**3/6 - o**2. Does 4 divide p(7)?
False
Let p(a) = a**3 + 12*a**2 + 12*a + 14. Let s be p(-11). Suppose -s*d + 2*w = -144, -2*d - 4*w + 25 + 55 = 0. Does 21 divide d?
False
Let d(b) = -16*b - 3. Let r(w) = -3*w + 1. Let h be r(1). Is 8 a factor of d(h)?
False
Let t = -4 - -4. Suppose 21 = g + 2*g + 2*w, 21 = 3*g - 4*w. Suppose -3*d - p + 31 = t, -3*p + 33 = -3*d + g*d. Is d a multiple of 11?
False
Suppose 2*y + v = -2*v + 310, 10 = 5*v. Is y a multiple of 38?
True
Let v be (4/(-5))/((-8)/(-20)). Let x be (-5 + 1)*(-10)/(-4). Is 2*1/v - x a multiple of 8?
False
Suppose 4*z + 6 = -10. Does 14 divide (-104)/z + (-6)/(-2)?
False
Is (-3)/((-21)/2089) - (-4)/7 a multiple of 50?
False
Let o = -2 - -2. Suppose o = 5*z - 25 - 30. Is 6 a factor of z?
False
Suppose 0 = -5*u - 0 + 5. Suppose z - 1 = u. Does 10 divide (2/5)/(z/50)?
True
Suppose -2*c - 5*h + 26 = 0, 4*h + 32 = 8*c - 3*c. Suppose 3*x + c = -x. Is x/(-6) + 440/12 a multiple of 17?
False
Suppose 3*s - 11 = -35. Is 126/15 - s/(-20) a multiple of 3?
False
Let t(r) = -9*r - 3. Let s = -3 - -1. Does 5 divide t(s)?
True
Let y(i) = -i. Let w be y(-4). Suppose 0 = z + 4, 0 = -2*q - w*z - 2 - 4. Suppose -40 = -0*g - q*g. Does 3 divide g?
False
Suppose -2*f - 104 = -k + 60, 0 = -2*f - 3*k - 148. Let v = f + 125. Is v a multiple of 12?
False
Let c be (-19 - -3)/((-6)/21). Let n = 78 - c. Let j = n + -12. Does 7 divide j?
False
Let b(d) = d + 1. Let u be b(-6). Let t be (4/5)/((-2)/u). Suppose -28 = -t*z - 0*z. Does 10 divide z?
False
Suppose -2*b - 28 + 0 = -5*w, 0 = w + 5*b - 11. Let r(q) = 2*q**2 - 9*q. Is 5 a factor of r(w)?
False
Suppose 2*q - 32 = -0*q. Let y = 0 + q. Does 16 divide y?
True
Suppose -4*q + 25 = q. Suppose 0 = 3*m + 15, -q*f + m = 6*m + 10. Suppose -52 - 35 = -f*d. Is 14 a factor of d?
False
Let g(y) be the first derivative of y**3/3 + 5*y**2/2 - 2*y - 2. Is g(-6) even?
True
Let m = -4 - -9. Is 2 a factor of m?
False
Let m(c) = -2*c - 2. Let z be m(-5). Let a be 576/(-2)*4/z. Is 6/(-21) - a/14 a multiple of 7?
False
Suppose 3*x - 2*t - 604 = 0, 410 = 2*x + t - 6*t. Is x a multiple of 18?
False
Suppose -m + 6*m - 15 = 0. Is -59*m/6*-2 a multiple of 20?
False
Suppose 168 = 3*f - 7*f. Let w = -26 - f. Is w a multiple of 8?
True
Let p(q) = q**2 - 9*q. Let a be p(9). Does 11 divide (-264)/(-6) - a/(-1)?
True
Let g = -70 - -47. Is 8 a factor of 1 - g - (8 + -10)?
False
Let h(u) = u - 1. Let y(l) = -11*l + 7. Let i(n) = 4*h(n) + y(n). Suppose 5*a + 2 + 18 = 0. Is 14 a factor of i(a)?
False
Let c(l) = -l**2 + 4*l. Let n be c(3). Let f = 16 - n. Is f a mult