ivide o/((-1)/(-25) - 0)?
False
Let o(l) = -l**3 - 16*l**2 - l - 5. Is o(-16) a multiple of 2?
False
Suppose -2*i = 5*s + i - 7, -3*i + 15 = -3*s. Let b = s + 17. Does 4 divide b?
True
Let w = 8 + -5. Let z(f) = f**2 + 1 + 1 + 1 - f. Is 9 a factor of z(w)?
True
Let g = -65 - -193. Suppose 4*b - g = 2*b. Does 16 divide b?
True
Let d = 3 + -2. Let b be ((d - 1) + -1)*0. Is (b - 2) + (-12)/(-1) a multiple of 6?
False
Let g(l) = l**3 + l**2 + 4. Let k be g(0). Suppose -2*y - 1 = -s, 2*y - 25 = -k*s + 9. Is s a multiple of 7?
True
Let s = 9 + -7. Is 48/1 - (2 - s) a multiple of 24?
True
Suppose 0 = j + 4*j + 25. Let t be (0 - -4)*j/(-4). Suppose 15 = t*x - 35. Does 5 divide x?
True
Let x(m) = -19*m + 44. Let u(a) = 5*a - 11. Let t(y) = 9*u(y) + 2*x(y). Let g be t(9). Let r = -32 + g. Does 10 divide r?
True
Let i(s) = 8*s - 11. Is 13 a factor of i(10)?
False
Suppose 2*c - c - 91 = -3*s, s = 2. Is c a multiple of 17?
True
Let y be -8 - (3 + 1/(-1)). Let s be y/3 - (-5)/15. Is 5 a factor of s*(-2)/(12/26)?
False
Does 8 divide (6480/25)/8 + (-2)/5?
True
Let w be (3/6)/1*0. Suppose 0 = -w*m + m - 4. Is m a multiple of 2?
True
Let t = 12 + -7. Does 5 divide (2 - t/2)*-22?
False
Suppose y - 5*y + 100 = 0. Suppose y = -0*i + i. Is 19 a factor of i?
False
Suppose 3 = k - 1. Suppose 0 = -2*o + 4*n + 6, -11 = -2*o - n + k*n. Is o a multiple of 4?
False
Suppose 14 + 6 = 4*x. Let s(b) = b**3 - 6*b**2 + 7*b - 5. Does 2 divide s(x)?
False
Let q be ((-4)/10)/((-6)/(-30)). Is 8 a factor of (q/(-5))/((-1)/(-40))?
True
Let z(f) = -27*f**2 + 3*f + 5. Let r(a) = -13*a**2 + 2*a + 3. Let p(g) = 7*r(g) - 4*z(g). Does 16 divide p(-1)?
True
Let m be (-88)/(-9) - 10/(-45). Suppose -3*j - 4*a + 89 = 25, -5*a = m. Is 10 a factor of j?
False
Suppose -c + 4*x = -23, 3*c + 26 = 4*c - 3*x. Is 23 a factor of c?
False
Let r(c) = 2*c + 5. Let w be r(-4). Let z = w + 3. Suppose 3*l - 4*l + 36 = z. Is l a multiple of 18?
True
Let d be (-3 - -2)*(2 - -1). Suppose 4*c + 1 - 17 = 0. Does 5 divide c*3 + (-9)/d?
True
Let d(u) = -u**3 - 7*u**2 - u - 6. Let l be d(-7). Does 23 divide ((1 - l) + -23)*-1?
True
Let l(i) = -i**3 + 5*i**2 + 6*i + 10. Is 5 a factor of l(5)?
True
Let k = -23 + 21. Is 0 - k - (-5 + -104) a multiple of 37?
True
Let m = 71 - -5. Does 19 divide m?
True
Let b = 33 - -7. Does 8 divide b?
True
Suppose 0*j = -3*j + 15. Suppose -a = j*v - 9, v + 0*v - 1 = -a. Is 2 a factor of v?
True
Suppose -5*y = 7*y - 72. Is y a multiple of 3?
True
Let b be (-16)/12 - (-1)/3. Suppose 6*q + 60 = q. Does 25 divide (-669)/q - b/4?
False
Suppose 5 = n, -w + 0*w = -2*n + 7. Suppose -b + w*b - 52 = 0. Is b a multiple of 8?
False
Suppose 0 = -3*o + 2*o + 4*x + 161, 4*o + x - 678 = 0. Is 13 a factor of o?
True
Suppose -3*x + 4*x = 2. Suppose -x*u + 3*p - 74 = -7*u, 2*p + 20 = u. Suppose 0 = -0*i + 4*i + u, -i + 22 = d. Is 13 a factor of d?
True
Suppose -5*k + 2 - 6 = -2*s, 4*k = 5*s - 10. Suppose k*l = -l + 19. Is 9 a factor of l?
False
Suppose 0 = j + 3*j + l - 387, -5*j = 4*l - 470. Is 12 a factor of j?
False
Let i = -103 + 111. Is 8 a factor of i?
True
Let w = 22 - 17. Let v(t) = 4*t - 3. Does 17 divide v(w)?
True
Let o(r) = -r**3 - 1. Let m(p) = -4*p**3 + 7*p**2 + p - 4. Let l(c) = -m(c) + 5*o(c). Does 3 divide l(-7)?
True
Let q(x) = x**3 - 2*x**2 - x - 4. Let j be q(3). Let h(f) = 6*f**2 - 3*f + f**3 + 0*f + j*f + 8. Is h(-6) a multiple of 7?
True
Let o = 146 - 95. Is o a multiple of 17?
True
Let p = -55 + 75. Is 9 a factor of p?
False
Suppose 11*q = 12*q - 24. Is q a multiple of 24?
True
Let b = -73 + 379. Is b a multiple of 34?
True
Suppose -3*r - 2*z = -147, 3*r + z = 2*z + 156. Suppose 3*q - 36 = r. Does 10 divide q?
False
Suppose 0 = -5*y - 2*y + 854. Is 11 a factor of y?
False
Suppose -3*m - n + 26 = 0, -n - 3*n + 8 = 0. Does 14 divide m/(-4)*(0 - 7)?
True
Let i = 87 + 39. Does 39 divide i?
False
Let w be 2 + -1 + (4 - 2). Let i = 9 - w. Is 6 a factor of i?
True
Let o(b) = -41*b + 6. Is o(-2) a multiple of 22?
True
Suppose 5*v - o - 53 = 0, -3*v + 3*o + 5 = -2*v. Does 4 divide v?
False
Let p(w) = w**3 - 6*w**2 + 3*w - 14. Is 4 a factor of p(6)?
True
Let l(n) = 3*n**2 - 8*n - 5. Suppose -d + 5*d - 19 = -f, -2*f = 10. Does 19 divide l(d)?
False
Suppose -5*v + 3*x - 4 = 5, -x = 2*v - 3. Suppose 0*i - i = 4*g + 137, -2*g - 63 = -5*i. Let f = v - g. Does 17 divide f?
True
Is (21/2)/(42/112) a multiple of 14?
True
Suppose 0 = -4*c + c + 3. Is 16 a factor of (c/(-2))/((-4)/384)?
True
Does 12 divide 24/7*(15 + -8)?
True
Does 7 divide 1/(2/(-28)*2/(-15))?
True
Let o(h) = h**2 + 6*h - 11. Is 4 a factor of o(-8)?
False
Let i(c) = -2*c**3 + 3*c**2 + 2*c. Does 4 divide i(-2)?
True
Let d(w) = w**2 - 6*w - 1. Does 6 divide d(7)?
True
Let p be -3 - 1*(-8)/1. Suppose -27 - 24 = -o + 5*w, -p*o = -2*w - 140. Does 8 divide o?
False
Let c(q) = 5*q**2 + 3*q - 2. Suppose 3*y = -v + 3 - 1, 0 = -4*v + 4*y + 8. Is 15 a factor of c(v)?
False
Let c be (-18)/(2 + 0) - 0. Let a(k) = -8*k - 19. Let r(f) = 4*f + 9. Let d(j) = -6*a(j) - 13*r(j). Is 18 a factor of d(c)?
False
Suppose 2*a - 47 = -3*u - 1, -3*u - 84 = -3*a. Suppose -3*i + 19 = -a. Let j = i - -2. Is 17 a factor of j?
True
Suppose 0 = -l + 23 + 7. Is l a multiple of 6?
True
Let r(q) = 183*q + 2. Let b be r(-1). Let f = -127 - b. Does 16 divide f?
False
Suppose -25 = 3*t + 5*o, 4*t + 2*o = -2*o - 20. Suppose -665 = -t*y - y. Does 16 divide (-4)/6 - y/(-21)?
False
Suppose 4*w - 404 = l + 4*l, 0 = 4*w - 2*l - 404. Is w a multiple of 26?
False
Does 5 divide 6 + 88/(-12) - 244/(-3)?
True
Let x = 17 + -85. Let q(f) = -7*f**2 + 4*f - 4. Let m be q(4). Let r = x - m. Does 14 divide r?
False
Let o(b) = b**2 - 9*b - 6. Let t be o(11). Let c = -3 - -9. Suppose v + c - t = 0. Is v a multiple of 10?
True
Let u be 99*(0 + 3/9). Suppose -l + 32 = 2*o, 0 = -2*o + 5*l + u + 23. Is 7 a factor of o?
False
Let g = -103 + 362. Does 37 divide g?
True
Let x(j) = 10 + 7*j**2 + 6*j + 2*j - j**2 - 7*j**2. Does 5 divide x(8)?
True
Is (9/(315/(-868)))/((-2)/15) a multiple of 31?
True
Does 23 divide (-2)/(-8) + 892/16?
False
Suppose -3*l - 18 = -84. Does 4 divide l?
False
Let k(s) = -5*s - 4. Suppose -3*m + l - 5 = 0, 2 = -4*m + 2*l - 2. Does 10 divide k(m)?
False
Suppose 12*d + 108 = 15*d. Does 7 divide d?
False
Let l be (2 - -1)*20/12. Suppose q + 198 - 2 = 5*f, l*q = 20. Does 20 divide f?
True
Let w = -6 - -9. Let v(b) = b - 5. Let l be v(w). Is 19 + -1*l/(-1) a multiple of 6?
False
Suppose -3*c - 31 = -0*x + 2*x, -5*x + 3 = -4*c. Does 16 divide 67 - ((-3 - c) + -1)?
True
Suppose 0 = -0*l + l - 20. Does 5 divide l?
True
Let v = 9 + -5. Is 13 a factor of 102/v + (-3)/(-6)?
True
Suppose 4*g - 44 = 320. Is g a multiple of 14?
False
Let q = -9 - 31. Suppose h = 3*h - 22. Let u = h - q. Is u a multiple of 22?
False
Suppose t + 4*o = 8, -5*o - 1 = 4*t - 11. Suppose t = 5*x - 4*x - 8. Is x even?
True
Let f = 18 + 14. Does 16 divide f?
True
Suppose -3*w = 2*n - 567, 4*n + 0*w = -w + 1119. Is n a multiple of 19?
False
Let a be (-28)/(-10) - (-4)/20. Suppose 3*i - 9 = -a. Is 3 a factor of (i/(-4))/(2/(-44))?
False
Let l(r) = 3*r**2 - 2*r - 14. Let m be l(8). Suppose 4*b = -0*w + 3*w - m, 3*w - 3*b = 159. Is 19 a factor of w?
False
Let j = -256 - -375. Let k be 1*j + 4/4. Suppose 7*n = 4*n + k. Is n a multiple of 20?
True
Suppose -4*x + 756 = 9*d - 7*d, 0 = -3*d + 5*x + 1079. Is 34 a factor of d?
False
Let z be (3 - 0)/(1/3). Suppose 2*y - z = y. Is y a multiple of 9?
True
Let c(s) = -s + 14. Let n(x) = -2*x + x**3 - 8 - 6*x**2 + 7*x + 0*x**3 - 2*x. Let b be n(6). Is c(b) a multiple of 4?
True
Let u be 0 - (2 + 2 + -1). Is (-3)/(9/(-60)) - u a multiple of 5?
False
Let t(c) = -c**2 + 10*c - 6. Is 4 a factor of t(5)?
False
Is (-38)/(-4)*(6 - -2) a multiple of 27?
False
Let s = 150 + -128. Does 22 divide s?
True
Let n(x) = 2*x**3 - 2*x**2 - 2*x - 2. Let i be n(3). Is 14 a factor of i*1/2*2?
True
Suppose -3*i - 59 = -92. Is i a multiple of 3?
False
Suppose 130 = 4*n - 74. Is 35 a factor of n?
False
Suppose 39 = 3*s - z, 0 = 4*s - 6*s + z + 26. Suppose -2*u + s = -7. Is 5 a factor of u?
True
Suppose 0*w = -3*n + 5*w - 14, n + 18 = 5*w. Let v = 9 - n. Does 2 divide v?
False
Suppose -c = 1 - 5. Suppose 3*r + 56 = 3*u - u, 186 = 5*u + c*r. Is 19 a factor of u?
False
Let t(u) be the first deriva