70. Does 5 divide (-6)/(-9) - d/(-6)?
True
Let n(w) = 8*w + 4. Suppose 5*t + 4*f - 25 - 3 = 0, 4*f + 4 = 3*t. Is 18 a factor of n(t)?
True
Suppose -a + 5*u = -27, 0 = 2*a + 3*u - 26 - 41. Is 13 a factor of a?
False
Let c be (-21)/6 + (-3)/(-6). Let g be 11/(-2) + c/(-2). Let y(k) = -7*k. Is y(g) a multiple of 11?
False
Let d(a) = -12*a + 2. Let w be d(5). Let i = -16 - w. Is i a multiple of 21?
True
Let i(z) = -z - 3*z + 4 + 5*z - 1 - z**2 - z**3. Is 9 a factor of i(-3)?
True
Let z(w) = w**2 + 12*w - 3. Let g = -19 - -6. Is z(g) a multiple of 2?
True
Let l(q) = 2*q**2 + 20*q - 17. Is l(-17) a multiple of 21?
False
Let q(r) = 17*r + 1. Let x(u) = -u + 1. Let p be x(0). Does 9 divide q(p)?
True
Let o be (-1)/(10/6 - 2). Let j(b) = b**3 - 2*b**2 - 3. Let r be j(o). Suppose 3*q = r + 45. Does 17 divide q?
True
Suppose 3*a + 5*v - 7 = 0, 5*v - 8 = 2. Is 18 a factor of (a - 9)/((-4)/26)?
False
Let c = -28 + 95. Does 10 divide c?
False
Let i = -27 - -39. Let c = 18 - i. Is 23 a factor of (-952)/(-21) - (-4)/c?
True
Suppose 2*y = 7*y - 910. Suppose 5*h - 160 = 3*g + y, 2*g + 272 = 4*h. Suppose 75 - 7 = 2*n + 3*c, -2*n - 2*c = -h. Does 8 divide n?
False
Is 86/7 + 14/(-49) a multiple of 10?
False
Let u = -20 + 32. Is u a multiple of 2?
True
Suppose 5*l = 4*s - 8, 0 = -0*s - 4*s + 2*l + 20. Is (-4)/(-28) + 139/s a multiple of 10?
True
Suppose 0*l - u = l - 4, 2*u + 13 = 5*l. Let q(w) = -l*w**2 + 4*w + w**2 + 4*w**2. Is 16 a factor of q(-4)?
True
Let h = 1 + 187. Does 47 divide h?
True
Let t = 60 + -37. Suppose t*l = 27*l - 148. Is l a multiple of 12?
False
Let v = 16 - -38. Is v a multiple of 9?
True
Let o(i) = 11*i**2 + i - 1. Let x be o(1). Suppose 3*w = d + x, 2*d = -2*w - 2 + 4. Let z(u) = 4*u**2 - u + 3. Does 18 divide z(w)?
True
Let a(k) = 4*k. Let f be (-10)/(-15) + (-52)/6. Let m(w) = w**2 + 6*w - 10. Let p be m(f). Is a(p) a multiple of 7?
False
Is 40 a factor of ((-40)/6 + 0)*-18?
True
Suppose u - 651 = -2*i, -5*u + 6 = -19. Is i a multiple of 11?
False
Let b(r) = -r - 2. Let q be b(-1). Does 7 divide (-73)/(-3) + q/3?
False
Suppose 0 = -4*q - 3 + 11. Suppose -4*r + 0*r + 83 = -3*m, q*r + 5*m = 61. Is 11 a factor of r?
False
Let a = 95 + -69. Is 26 a factor of a?
True
Let s(t) = t**3 + 8*t**2 + 7*t + 6. Let y be s(-7). Is 3/((-1)/y*-1) a multiple of 6?
True
Let m(l) = -l**3 + 4*l**2 + 4*l + 3. Let f be m(-2). Let w(v) = 4*v + 18. Let q be w(-7). Let k = f + q. Is k a multiple of 9?
True
Suppose 477 - 2421 = -9*d. Is d a multiple of 18?
True
Suppose -8 = -3*m + 10. Is m a multiple of 5?
False
Let v(h) = h**3 - 3*h**2 + 3. Let g be v(3). Suppose -2*z = -g*j - 83, 5*z = 4*j + 152 - 32. Let x = j + 52. Is x a multiple of 9?
True
Suppose -8*j = 4*j - 192. Is j even?
True
Let h = -242 - -377. Suppose 4*x + x = h. Is x a multiple of 12?
False
Let q = -7 + 7. Suppose q = -0*b + 3*b - 12. Suppose b*d - 7 = 9. Is d a multiple of 2?
True
Let f(t) = -t**2 + t + 13. Let q be f(0). Let o(x) = -5*x**3 - 2*x**2 - x - 1. Let k be o(-2). Let a = k - q. Does 10 divide a?
True
Suppose -4*d - 4 = 3*z + 5, -2*d = -4*z - 12. Suppose d = y + 3*y - 428. Suppose -5*s + 113 + y = 0. Does 25 divide s?
False
Let p(c) = 2*c - 2. Suppose -z + 0 = -2. Is p(z) a multiple of 2?
True
Suppose 14 = -i + 3*i. Let u be 2/2 - (-1 + 0). Suppose -5*r + 20 = 0, -n + r - i = -u*n. Does 3 divide n?
True
Let f(a) = 2*a + 11. Let b be f(-8). Let q = b - -5. Suppose q*v + 2*v = 24. Does 6 divide v?
True
Let w = -112 - 34. Let k = -103 - w. Is k a multiple of 11?
False
Let f be 9/15 + (-21)/(-15). Suppose 0 = -5*x + 2*g + 19, f*g + g - 9 = 0. Is 4 a factor of x?
False
Let w(c) = -c**2 + 14*c - 10. Let i = 10 - 0. Does 10 divide w(i)?
True
Let h be 5*-1*(-16)/20. Suppose 0 = -3*l - 3*c + 6, h*l - 6 = -2*c + 4. Suppose 5*o - 12 = l*y + 74, -2*o - y = -30. Is o a multiple of 10?
False
Let g(q) = q**2 - 3*q - 2 + 3*q**2 - q**3 + 3*q. Does 4 divide g(2)?
False
Is (-4)/10 - 668/(-20) a multiple of 11?
True
Let l = 329 + -192. Let h = l - 93. Does 15 divide h?
False
Suppose 0 = -p + r + 7, -5*p = 3*r - 7 - 4. Suppose -2*v = -6 - 8. Suppose v = -0*d + d - 3*a, -p*a + 44 = 4*d. Does 5 divide d?
True
Let f = -3 - -3. Let l = -5 - -8. Suppose -4*h = -l*j - 57, h - 3*j + f = 3. Is h a multiple of 6?
True
Let k(q) = -q. Let l(x) = -3*x - 3. Let g(b) = -6*k(b) + l(b). Let o be g(7). Does 17 divide 310/o - 6/27?
True
Let u(j) be the second derivative of 7*j**4/12 + j**3/2 + j**2 + 2*j. Let h = -9 - -7. Does 8 divide u(h)?
True
Suppose 2*s - 3*s = -33. Is s a multiple of 11?
True
Suppose -4*u + 2 + 2 = 0. Suppose n = s - u, 4*n = -2*s - 0*s + 26. Suppose -s*f = 5*v - 80, 0 = 5*v - 2*f - f - 120. Is 11 a factor of v?
False
Suppose 0 = -2*h - h + 12. Let y(b) = 2*b**3 - 6*b**2 + 3*b + 2. Is 13 a factor of y(h)?
False
Suppose -z + 15 = 2*z. Suppose 20 = -4*v, z*q = 3*v - v + 5. Let x = q + 31. Is x a multiple of 11?
False
Let b = 7 - 1. Suppose -b*z = -2*z. Suppose 5*l - 71 + 1 = z. Is l a multiple of 7?
True
Is (-2)/(-9) - (-2849)/99 a multiple of 11?
False
Suppose 2*l + 34 = 5*f, 0*f - f - 4*l - 2 = 0. Does 3 divide f?
True
Suppose 570 = 4*g + 206. Is 13 a factor of g?
True
Let i(p) be the first derivative of 9*p**2/2 - 6*p - 3. Is 24 a factor of i(7)?
False
Is -2 + 5/((-10)/(-336)) a multiple of 29?
False
Let j(y) = -y**3 + 6*y**2 - 4*y. Let b be j(5). Suppose -b*h = -4*c + 23, -2*h + 5*h = -3*c + 51. Is (-3)/c + 73/4 a multiple of 9?
True
Let p(o) = 3*o + 28. Is 44 a factor of p(20)?
True
Let c = 10 + -7. Suppose -5*t = c*v - 64, 3*t - 20 - 20 = -v. Does 14 divide t?
True
Let s(t) = 19*t + 3. Suppose 2*m + 9 = o - 4, 3*m = -5*o. Does 30 divide s(o)?
True
Let n = 5 - -49. Is n a multiple of 18?
True
Suppose -3*y - 2*y + 5*z = 45, -5 = -5*y - 5*z. Let n be 39/2*8/y. Let g = -3 - n. Is g a multiple of 18?
True
Let s be 2 - -23*1/1. Let v = s - -18. Does 9 divide v?
False
Let t be 2/(-4) - 12/8. Does 2 divide t/((5 + -2)/(-3))?
True
Suppose 0 = 4*a - 3*a - 14. Is 23 a factor of a*(1 - (-8)/2)?
False
Let l = 0 + 5. Is l a multiple of 5?
True
Suppose -4*h = h - 265. Does 14 divide h?
False
Is 15 a factor of (12 + -7)*26/5?
False
Let m = 0 + 18. Let k be (-10)/(-25) + m/5. Suppose k*j - 27 = 41. Does 6 divide j?
False
Suppose 1450 = 5*z + 3*m - 2*m, 5*z = m + 1440. Does 15 divide z?
False
Suppose 21 = 2*p - 41. Suppose 4*q - p = 73. Is 15 a factor of q?
False
Suppose 2 = -3*u - u - 2*d, 13 = -u - 3*d. Suppose 0*x = -u*x + 2. Is 11 a factor of -2*(x + (-25)/2)?
False
Suppose -4*h - 26 = -2*l - 0*l, 4*h + 14 = -2*l. Let r = 5 - l. Does 9 divide r/(-5)*(-4 + -41)?
True
Suppose -3*s + 12 + 6 = 0. Suppose -5*g + s = -79. Suppose 0*v - v = -g. Is 6 a factor of v?
False
Suppose -168 = 4*u + u + 4*b, -u = 5*b + 21. Let s(j) = 2*j**2 + 2*j. Let l be s(5). Let a = l + u. Is a a multiple of 12?
True
Suppose 30 = -0*n - n. Does 23 divide 228/5 - n/75?
True
Let v = 11 - 7. Suppose 216 = -k + v*k. Suppose b + 2*b - k = 0. Is b a multiple of 13?
False
Suppose 0 = 3*a - 2*a - 30. Is 15 a factor of a?
True
Suppose -d - r = -15 - 4, -4 = r. Is 23 a factor of d?
True
Let j(s) = s**3 + 6*s**2 + 3*s + 8. Is j(-4) a multiple of 7?
True
Let w(m) = -m**3 + 11*m**2 - 19*m + 17. Is 10 a factor of w(7)?
True
Let i(r) = r + 1 - r + r. Is i(5) a multiple of 3?
True
Let k(c) = c**3 - 6. Let n be k(0). Let f(r) = r**2 + 2*r. Is f(n) a multiple of 8?
True
Let w(k) = 5*k**3 - 4*k**2 + 11*k + 20. Let d(n) = -n**3 + n**2 - 2*n - 4. Let i(a) = -11*d(a) - 2*w(a). Suppose -4*l + 12 = -0. Is 3 a factor of i(l)?
False
Let j = 16 - 7. Let n(a) = -a**3 + 10*a**2 - 5*a - 9. Does 8 divide n(j)?
False
Suppose -5*o + 49 = 9. Let z be (-6)/(-3) - -14*o. Suppose -y = 2*y - z. Is 19 a factor of y?
True
Let i(q) = q**2 + 7*q - 5. Let z be i(-8). Let a be (-64)/((z - 4)/2). Suppose 5*l - l - 4*s = a, -3*l + 5*s = -100. Does 11 divide l?
False
Suppose -5*l + 159 = 3*o, -2*o + 3*o - 54 = -2*l. Let i = o - -33. Does 24 divide i?
False
Let y = 5 + 3. Let h(l) = 3*l + 10. Does 17 divide h(y)?
True
Suppose -2*n - 21 = n. Suppose -6*l + 12 = -5*l. Let i = l + n. Does 3 divide i?
False
Suppose 0 = c + 8 - 2. Let l = c + 71. Does 16 divide l?
False
Suppose 0 = -3*p - 0*p + 72. Suppose 2*r - 3*r + p = 0. Does 8 divide r?
True
Let z = -4 + 66. Is 14 a factor of z?
False