8) a multiple of 27?
True
Suppose 3*s + 1 = -14. Let m(p) = p**3 + 12*p**2 - 7. Is 8 a factor of m(s)?
True
Does 7 divide (-3)/((-6)/2)*509?
False
Is 387 - (-4 + 6 + 5) a multiple of 22?
False
Let u = 26 - 26. Suppose -4*g = 2*i - 62, u*i + 38 = 3*i - 5*g. Is 21 a factor of i?
True
Suppose -15*z + 10*z + 670 = 0. Is 22 a factor of z?
False
Let d(a) = 25*a + 182. Does 32 divide d(-6)?
True
Suppose -4*c + 5*c = -294. Is c/(-3) - (-6)/(-15)*5 a multiple of 27?
False
Let d = -41 + 380. Suppose 0 = -5*m + d + 171. Does 17 divide m?
True
Let t(c) = -c**3 - 2*c**2 + 1. Let v be t(-1). Suppose 4*h - 288 = -v*h. Let q = -40 + h. Is q a multiple of 16?
True
Let l(t) = -8*t + 12. Let u be l(-9). Let i be u/(-3) - (-2 + 4). Does 11 divide (-9)/((-51)/i - 2)?
False
Let r be (-10)/4*(-12)/15. Let d = 64 + -60. Is r/(-8) + 377/d a multiple of 26?
False
Suppose -94 = 5*v + 91. Let r = 52 + v. Suppose -b - 3 + r = 0. Is 12 a factor of b?
True
Let f be -31 - ((-5)/(-1) - 3). Let s be (-272)/(-44) + 6/f. Does 13 divide s/21 + 540/21?
True
Let f = -83 + 197. Let u = f + 48. Suppose -4*g + u = -2*g. Does 27 divide g?
True
Let j = -72 + 37. Let s = 65 + j. Does 15 divide s?
True
Suppose -13 = -a - 51. Let r = 53 + a. Is r a multiple of 5?
True
Suppose 3*n + 6*b - 3558 = 0, -4*n - 10*b = -8*b - 4762. Is 13 a factor of n?
False
Suppose -5*p = p - 30. Suppose -k - 216 - 298 = -p*l, -4*k = 2*l - 188. Is l a multiple of 24?
False
Suppose 5*p + 17*u - 22*u = 2655, 3 = -u. Is p a multiple of 48?
True
Is 18 a factor of -1*(4 + (-2 - -3)) - -239?
True
Let r = -29 + 24. Is 1 + 0 + (-5)/r even?
True
Let h = 35 - 18. Let t = h + 13. Is t a multiple of 10?
True
Let t(j) = -j**2 - 17*j - 8. Let d be t(-18). Let o = d - -84. Does 16 divide o?
False
Suppose 14*q - 3601 = 3483. Does 30 divide q?
False
Let m(u) = -u**3 - u**2 + u - 107. Let t(j) = 2*j**3 + 2*j**2 - j + 107. Let r(f) = -3*m(f) - 2*t(f). Does 27 divide r(0)?
False
Is 439 - (-30)/10*2 a multiple of 3?
False
Suppose -21 = -2*p + 5*j + 763, 3*p = j + 1163. Is 43 a factor of p?
True
Let r(o) = -6*o + 12. Suppose -3*n = -2*f - 3*f + 6, 5*f = 2*n + 4. Suppose 2*p = -2*w - f*p - 16, 0 = 4*w - p + 17. Is 18 a factor of r(w)?
False
Let h = -16 + 14. Let v = h + 1. Is v - 1 - (-3 + -13) a multiple of 6?
False
Let j(s) = 40*s - 226. Does 10 divide j(18)?
False
Suppose 0 = 4*f + m - 47, f - 3*m - 2 = -0*f. Suppose 53 = c + f. Is c a multiple of 14?
True
Is 18 a factor of ((-54)/8)/(105/(-2800))?
True
Suppose -w - 180 = -i, w = 5*i + 59 - 219. Suppose 3*v = x - 268, 6*v = v. Let r = x + w. Is r a multiple of 28?
False
Suppose 0 = -4*o + 3*o + 5. Suppose -44 = o*h - 199. Let b = 61 - h. Does 14 divide b?
False
Suppose 0 = -2*x + 43 + 63. Suppose -29 = -2*c + x. Is 22 a factor of 1*(-1 + 4 + c)?
True
Suppose -t = 2*t - 15. Let o be (10/t)/((-2)/12). Is 33 - o/(-4) - -2 a multiple of 8?
True
Let o(c) = 58*c + 6. Is 4 a factor of o(1)?
True
Let i(b) be the first derivative of -b**4/4 + 5*b**3/3 - 6*b - 5. Is i(4) a multiple of 9?
False
Let q(w) = -4*w - 1. Let n be q(-1). Suppose 0 = -n*x + 29 + 55. Is x a multiple of 5?
False
Let h(o) = -o**2 - 5*o + 17. Let a be h(-7). Suppose -7 + 322 = a*g. Does 29 divide g?
False
Suppose 4*r = -4*u + 324, -3*u + 244 = 4*r - 80. Is r a multiple of 48?
False
Suppose 8930 = 5*y + 2980. Does 70 divide y?
True
Let s(f) = 17*f - 152. Does 10 divide s(14)?
False
Does 25 divide (33/(-22) + -1)*-170?
True
Let p be (2/(-4))/(13/(-650)). Let q = 159 - p. Is q a multiple of 21?
False
Let q = 747 - 369. Does 21 divide q?
True
Suppose 0 = 2*v + 54 - 290. Suppose v + 15 = f. Is f a multiple of 19?
True
Let b = -74 + 74. Suppose b = q - 3*q + 12. Is q a multiple of 6?
True
Let i = 164 - -672. Does 38 divide i?
True
Let f be (6 + -1)*1 - 3. Let q be (-3)/(-6)*f + 12. Let p = q + -7. Is 2 a factor of p?
True
Suppose -3*w + 1477 = -d, 3*d = -2*w + 568 + 435. Does 13 divide w?
True
Let j = 35 + -133. Let l = j + 242. Is l a multiple of 36?
True
Suppose a - 7 = -2*c, 17 = 4*c + 3*a - 0*a. Suppose 4*d = 3*x + 932, -3*d - 65 = -c*x - 763. Does 23 divide d?
True
Suppose -r - 27 = -5*l, -3*r - 8 = -5*l + 23. Suppose 8*f = -7 + 31. Suppose -l*j + 10 = -f*j. Is j a multiple of 4?
False
Suppose -v = -w, 4*v + 4*w - 13 = 3. Suppose 2*y = -v*y + 164. Suppose 71 = 4*n - y. Is 6 a factor of n?
False
Suppose 0 = 5*f + 3*z - 26, 0 = 4*f - f - z - 10. Suppose 0 = 3*i - f*i + 5. Is (-60)/18*(-24)/i a multiple of 8?
True
Let t(s) = 4*s. Let x be t(-7). Let u(d) = d**2 - 4*d - 1. Let l be u(-5). Let c = x + l. Is c a multiple of 10?
False
Suppose -5*i + 10*i - 20 = 0. Does 23 divide -1 + -2 + i + 92?
False
Let a(l) = 61*l**2 + 2*l + 1. Let p be a(-1). Let z = p - -63. Is 16 a factor of z?
False
Suppose -i = -11*i - 120. Is (-16)/(-6)*-19*i/8 a multiple of 19?
True
Let z = 86 + -42. Let r = 3 + z. Is r a multiple of 27?
False
Let m = -2879 - -4105. Does 10 divide m?
False
Suppose -3*x = -4*x + 220. Let g = x - 120. Let k = 190 - g. Is k a multiple of 29?
False
Suppose 0*m - 260 = -2*m. Is m even?
True
Suppose 0 = 64*r - 70*r + 684. Does 38 divide r?
True
Let x(c) = 2*c**2 + 32*c + 13. Let w be x(-13). Let o = -39 - w. Is o a multiple of 16?
False
Suppose -49 - 91 = -14*d. Suppose -d*f + 7*f = -525. Does 25 divide f?
True
Let t(m) = -88*m + 884. Is t(9) a multiple of 20?
False
Let m be 2 - (5/2)/((-9)/54). Suppose -18*z = -m*z - 240. Does 15 divide z?
True
Let m = 296 + -143. Does 8 divide m?
False
Let o = 109 - 60. Let b = o - 37. Is 6 a factor of b?
True
Let i = 20 + -24. Is 6 a factor of (2/i)/(-1 - 426/(-432))?
True
Suppose 3*y = -4*a + y + 470, -y = 1. Let m = a - -17. Is m a multiple of 18?
False
Let p(j) = 9*j**2 - 7*j + 1. Let l(y) = 2*y. Let t(c) = 6*l(c) + 2*p(c). Does 3 divide t(1)?
True
Let j = -6 - -3. Suppose 13*k = 8*k - 5. Is 16 a factor of (-10 - k)/j - -50?
False
Let l(w) = -w**3 + 5*w**2 - w + 5. Let h be l(5). Suppose h = 4*j - 5*y - 436, -j + 2*y = -3*j + 236. Is j a multiple of 37?
False
Let k be 17/((6/3)/2). Let w = 40 - k. Is 3 a factor of w?
False
Does 34 divide 3 - 2 - -596*27/18?
False
Suppose -4*x = x + 3*u - 3, -3*x - 4*u + 4 = 0. Suppose x*k = 9*k - 675. Does 23 divide k?
False
Is 16 a factor of (-12)/(3 + (-1116)/368)?
True
Let s(x) = 4*x**2 + x - 2. Suppose -3*h + u = -4, -3*h - 3*u + u = -10. Is 16 a factor of s(h)?
True
Suppose -5*w = -15, 4*t + 2*w - 2166 = -t. Does 54 divide t?
True
Suppose -5*i - 5*o - 1260 = -9*i, -2*o + 1575 = 5*i. Does 21 divide i?
True
Suppose 17*c = 9*c + 3864. Is 40 a factor of c?
False
Let m(n) = -6*n - 22. Let k(u) = -1 + 0 + 2*u + 4 + 4. Let l(d) = 8*k(d) + 3*m(d). Is 10 a factor of l(-12)?
False
Let m = -26 + 29. Suppose m = -u + 5. Is u a multiple of 2?
True
Let s be ((-1)/(0 - 1))/(-1). Is 8 a factor of s/3 - 4097/(-51)?
True
Suppose -2*z - 13*z = -4020. Does 47 divide z?
False
Suppose 2*g - 425 = -5*i + 636, 3*g + 4*i = 1574. Is g a multiple of 7?
True
Suppose -5*c + 158 = -227. Let j = 181 - c. Suppose 5*l - j = 21. Does 7 divide l?
False
Suppose 0 = 153*i - 143*i - 7400. Is i a multiple of 37?
True
Let u(z) = -13*z - 30. Let v be u(-20). Suppose 0*r = 4*k + 3*r - v, 114 = 2*k + r. Is k a multiple of 8?
True
Suppose 0*u = -5*u + 495. Suppose -b - 18 = 22. Let y = u + b. Does 19 divide y?
False
Let s(c) = -3*c - 11. Let y be s(-8). Suppose 2*h - 2*j = 2*j + 24, h + 3*j + y = 0. Suppose -t = -5*d - 57, 0 = -h*t + d + 2*d + 100. Does 17 divide t?
False
Let x = -21 + 21. Suppose a + 5 = -6*o + 2*o, 5*a - 5*o - 25 = x. Suppose -2*f = -2*l - 0*f + 46, 5*f + a = l. Is 14 a factor of l?
True
Let d(m) = -m**2 + 8*m + 2. Suppose 2*o + 4*o = 30. Let x be d(o). Suppose 8 + x = 5*s. Is 2 a factor of s?
False
Let b(o) = o**2 + 11*o + 10. Let y be b(-10). Suppose -a + 239 = a - 5*v, y = -4*v - 12. Suppose 0 = 2*t - 5*l - a, -t + 56 = l - 0*l. Is 10 a factor of t?
False
Let x(q) = -q + 17. Let p(j) = 2*j - 33. Let u(a) = a**2 - 13*a + 24. Let c be u(11). Let f(s) = c*p(s) + 5*x(s). Is f(13) a multiple of 6?
True
Suppose 2*c - 4*f + 6 = c, c + 4*f - 2 = 0. Does 11 divide 1712/12 - 1*c/6?
True
Is 4 a factor of 49 - (-8 + -1)/3?
True
Let d(f) = f**3 - 2*f**2 - 5*f - 10. Let k(t) = -t + 1. Let u(h) = -1. Let s(y) = -2*k(y) + 2*u(y). Let b be s(5). Is d(b) a multiple of 16?
False
Sup