ultiple of 32?
True
Let j(n) = -8*n - 12*n + 35*n - 23. Is 14 a factor of j(9)?
True
Let i = -30 + 650. Is 4 a factor of i?
True
Let v(s) = 10*s**2 + 2*s + 10. Does 20 divide v(9)?
False
Let g(v) = -v**2 + 4*v + 2. Suppose -3*p - 4*x - 1 = -6, 3*x = -p. Let a be g(p). Let c(j) = -j**3 + 5*j**2 + 4*j - 3. Is c(a) a multiple of 17?
True
Suppose 42*v = -25 + 487. Is v even?
False
Suppose 5*z - 15 = 2*w - 54, 29 = 2*w + 5*z. Let g = w - -19. Is 6 a factor of g?
True
Suppose -10 + 14 = -y. Let w = y + 8. Suppose -w = -3*o + 5*t, -o - 3*t = -2*o. Is o a multiple of 3?
True
Let b = 126 - 60. Suppose -185 = 5*h - 205. Let t = b - h. Is t a multiple of 22?
False
Suppose -4*c - 6 = -c. Let s(r) = 2*r**2 - 4 - 230*r**3 - 3*r**2 - 2*r + 229*r**3 + 0 + 3. Is s(c) a multiple of 7?
True
Suppose -5*z + 706 = -3*z - 4*v, 5*z + 5*v - 1690 = 0. Is z a multiple of 6?
False
Let g(w) = 44*w + 25. Let b be g(12). Does 37 divide ((-16)/(-32))/(b/276 - 2)?
False
Suppose -64*z + 4*o - 7832 = -69*z, 4*z - 6274 = o. Is 16 a factor of z?
True
Let m(v) = 127*v**3 + 3*v**2 - 1. Let f be m(1). Is (f/6)/(2*2/24) a multiple of 25?
False
Let k be -6*(-2)/(-12)*-4. Suppose 0 = -n - n - 4*h + k, -6 = -3*n + h. Suppose s - 7 = -n. Does 2 divide s?
False
Let p(w) = -6*w**2 + 5*w - 4. Let v(s) = -s**2 - s - 1. Let f(k) = -p(k) - 2*v(k). Is 11 a factor of f(2)?
False
Let v(p) = -6*p + 2. Let j(s) = 6*s - 3. Let b(r) = -4*j(r) - 3*v(r). Let m(d) = -6*d + 7. Let z(n) = -3*b(n) + 2*m(n). Does 4 divide z(2)?
True
Let z = 22 - 22. Suppose 2*x + 18 = 3*d, 2*d + 7 = -5*x - z. Suppose 3*n - 167 = -4*s - 15, -4*s - 240 = -d*n. Is n a multiple of 14?
True
Let v = 15 - 12. Suppose v*n + 5*m = 2*n + 3, 4*m + 2 = -3*n. Is n/(-11) - 62/(-22) a multiple of 2?
False
Suppose -41*s + 38*s = -684. Is s a multiple of 32?
False
Let i = -119 + 669. Does 55 divide i?
True
Let o be 2*-1 + (3 - -3 - -10). Let m = 77 - o. Is 9 a factor of m?
True
Let n(j) be the third derivative of -j**6/60 - j**5/60 + j**4/24 + 7*j**3/2 - 3*j**2. Is n(0) a multiple of 21?
True
Let d = 2315 + -666. Is d a multiple of 12?
False
Suppose -2*y = -5*y + 3. Let c(l) = -y + 10 - 1 + 6 + l. Is c(-10) even?
True
Let q = -78 - -168. Is 15 a factor of q?
True
Let f(c) be the third derivative of -c**4/12 + 25*c**2. Does 13 divide f(-15)?
False
Is -7 - (0 - 1) - -225 a multiple of 36?
False
Let p = -576 + 1341. Is 17 a factor of p?
True
Let l = -1698 + 2534. Does 76 divide l?
True
Suppose 2 = r - 9. Suppose -2*x - r = 21. Let o = x - -50. Is 26 a factor of o?
False
Suppose 110*d - 7620 = -17*d. Is 12 a factor of d?
True
Let o be 52/20 + (-6)/(-15). Suppose o*k - 32 = -0*k - 4*n, -2*n + 10 = 0. Suppose -14 = -3*p - 5*t, 4*p + k*t = 5*p - 16. Is p a multiple of 4?
True
Let u(x) = 2*x - 5 + 18*x - 11*x. Is u(10) a multiple of 18?
False
Suppose 3559 = 5*j + 2*l, 3*j + 4*l - 2840 = -j. Is 23 a factor of j?
True
Suppose -4*i + 4*m = -17 - 3, 0 = 2*i + 2*m - 6. Suppose q + 2*q - 123 = 3*b, -5*q + 206 = -i*b. Suppose 5*o = q + 168. Does 14 divide o?
True
Let m = -6 - -6. Suppose m = -4*u - 4*c + 20, 6*u = u - 3*c + 19. Suppose 5*b = -5*z + 165, -1 = z - u. Does 16 divide b?
True
Suppose -2031 = 12*g - 6339. Is g a multiple of 23?
False
Suppose 4*u = -5*w + 40, 0 = -5*u - w + 69 - 19. Suppose -18*c + u*c + 128 = 0. Does 8 divide c?
True
Suppose 9*z - 3 + 12 = 0. Is 5 a factor of 0 + z/(-4) - 398/(-8)?
True
Let x(a) = -a**2 - 2*a + 3. Let l(u) = u**2 - 1. Let p(i) = -2*l(i) - x(i). Let g be p(2). Is 13 a factor of (g/((-3)/(-159)))/(-1)?
False
Let t be 1/(-1)*(2 - -1). Let v(l) = l**3 + 2*l**2 - 3*l - 3. Let x be v(t). Is 10 a factor of (-30)/(5/(10/x))?
True
Let q be (-20)/2*(-6)/(-15). Does 42 divide (-2)/(855/(-3260) + (-1)/q)?
False
Suppose -2*x - 8 = 0, 20*m + 5*x = 18*m + 7528. Is m a multiple of 51?
True
Is (-16)/152 + 7194/114 a multiple of 6?
False
Let d(s) = -8*s**2 + s**3 - 8*s + 3 + 2*s**2 + 4. Let w be d(7). Suppose -z - 15 = -2*j - w*z, 4*j - 20 = 4*z. Does 7 divide j?
False
Is 49 a factor of 16062/18 + 14/(-6)?
False
Let j(p) = -22*p + 6. Let m be j(-15). Suppose 0 = 5*y - y - m. Is 14 a factor of y?
True
Suppose 696 = 4*i - 2*w, -3*w + 149 = i - 39. Is 11 a factor of i?
True
Let l(g) = g - 10. Let s be l(10). Suppose 2*n - 2*w - 27 = -w, s = -n + w + 11. Let i = n + -6. Is i a multiple of 10?
True
Is (-1137)/(-7) + 297/(-693) a multiple of 6?
True
Let y(o) = o**3 + 12*o**2 + 4*o + 50. Does 44 divide y(-10)?
False
Suppose -6*k + 111 + 525 = 0. Suppose b - k = -22. Does 12 divide b?
True
Suppose 3*f - 6*x + x = -14, -2 = 5*f - 3*x. Suppose -5*w = 3*p - 59, -f*p = -w - 0*p + 17. Is w a multiple of 13?
True
Suppose 41*z + 4*x = 42*z - 4844, -4838 = -z + x. Is z a multiple of 52?
True
Suppose 4*l - 20 = -5*b, 3*b - 2*l + 10 = 5*b. Suppose b = -30*u + 33*u - 456. Is u a multiple of 38?
True
Let i(q) = q - 8. Let p = 6 - -6. Let a be i(p). Suppose 0 = -k - a*k + 100. Does 15 divide k?
False
Suppose 7*d + 2 = 6*d. Let q be ((-7)/14)/(d/4). Is 7 a factor of 30*(-2 + 3)*q?
False
Let b = 1935 + -1750. Is 9 a factor of b?
False
Let u(l) = -6*l**2 + 1 + 4*l**2 + 14*l**3 + 13*l**3. Let a be u(1). Let w = a - 18. Does 2 divide w?
True
Suppose -4*u - 52 = -3*g - 8, -u = -1. Is g a multiple of 7?
False
Let b = -2333 + 3578. Is b a multiple of 5?
True
Let h(u) be the third derivative of u**6/120 + 3*u**5/20 - 5*u**4/12 + 2*u**3 + 10*u**2. Suppose -2*i - 2*k - 16 = -6, -4*k = 5*i + 30. Is 8 a factor of h(i)?
False
Let t = -20 - -22. Let r(a) = 5*a. Is r(t) a multiple of 3?
False
Let a(f) = -16*f**3 - f**2 - 4*f. Let h be a(-2). Suppose 0*n = -x - 2*n + h, -4*x = -n - 564. Is x a multiple of 20?
True
Let m(o) = -o**3 - 22*o**2 + 5*o + 1. Let a be m(-22). Let b = -76 - a. Is 17 a factor of b?
False
Let m = -54 + 59. Suppose m*t = 129 + 51. Is t a multiple of 12?
True
Suppose 0*s = -s + 5*k - 7, k = -2*s + 8. Is -1 + s*((-38)/(-6) - 2) a multiple of 12?
True
Suppose 1320 = -2*k + 10*k. Is k/(-44)*88/(-3) a multiple of 22?
True
Suppose 0 = 6*i - 13 - 5. Suppose 5*l - 16 = l + n, 0 = l - i*n + 7. Is l a multiple of 2?
False
Let h(y) = -26*y + 112. Is h(-15) a multiple of 13?
False
Let l = -117 - -117. Suppose l = z - 0*z - 2*c - 152, -2*c = -5*z + 728. Does 24 divide z?
True
Suppose 11*f - 240 - 1883 = 0. Let z = f + -46. Is 10 a factor of z?
False
Let c = 15 + -2. Let m be c/((1 - -2) + -2). Suppose 2*f + m = 61. Is f a multiple of 24?
True
Suppose -4*c = -3*y + 1757, -496 = -2*y + 4*c + 682. Is 12 a factor of y?
False
Suppose 4*s = -4*w + 1932, 16*w = 11*w + s + 2409. Does 8 divide w?
False
Let m(d) = -d**3 + d. Let g = 14 + -14. Let o be m(g). Suppose o = 5*j - j - 16. Does 3 divide j?
False
Let p(z) = -26*z. Let b be p(2). Let t(j) = -j - 20. Let x be t(14). Let v = x - b. Does 6 divide v?
True
Suppose -10*q = -12*q. Let j be -2 - (-6 - q) - -1. Suppose 0*g = -j*g + 425. Does 21 divide g?
False
Let z(g) = 37*g - 148. Is z(17) a multiple of 6?
False
Suppose -5*z - 5*s = -1505, -s + 651 = 2*z + 48. Does 24 divide z?
False
Suppose -543 = -2*z - 5*y - 128, 1012 = 5*z + 4*y. Is z a multiple of 5?
True
Let z(q) = -q**3 + 9*q**2 + 11*q. Let l be z(10). Let n(w) = -w**2 + 7*w + 9. Let j be n(l). Let c = 26 + j. Does 5 divide c?
True
Suppose -4*g = 4*p - 8*g + 36, -4*p - 63 = 5*g. Is p/(8/(480/(-9))) a multiple of 16?
True
Suppose -k = -x + 2*x - 40, -4*x - k + 166 = 0. Is 13 a factor of 2/6 - (-3934)/x?
False
Suppose -2*w + 6 + 14 = 0. Let z = w + -10. Suppose -2*c - 3*c + 85 = z. Does 17 divide c?
True
Suppose -4*a + 818 + 1208 = -3*j, j + 2538 = 5*a. Is a a multiple of 122?
False
Let j(r) = -r**3 - 2 + 0*r**2 - 2*r**3 - 3*r - 3*r**3 - r**2. Is j(-2) a multiple of 12?
True
Suppose -10*d = -1500 - 1320. Does 31 divide d?
False
Let r(l) = -l**2 - l. Let g(i) = -7*i**2 - 7*i - 2. Let b(x) = g(x) - 6*r(x). Let y be b(-10). Let f = y + 146. Is f a multiple of 18?
True
Let j(w) = w**2 - 3*w + 5. Suppose -4*g = -4*p + 40, -5*p = -4*p - 3. Does 25 divide j(g)?
True
Suppose -4*w = -3*w - 5. Let o = 11 - w. Is 2 a factor of o/(-3)*-3 + 1?
False
Let w = 146 + 148. Is w a multiple of 14?
True
Suppose -9*n = -8*n - 75. Is n even?
False
Let q(l) = 570*l**2 + 7*l - 23. Does 10 divide q(3)?
False
Let f = -10 + 15. Let v = 7 + f. Suppose -v*l = -8*l - 288. Is l a multipl