 a multiple of 4?
True
Let a be (3*-1)/((-66)/88). Suppose -4*w + a*n - 3 + 11 = 0, 0 = -2*w + 3*n + 6. Suppose w*o - 128 = -4*o. Is o a multiple of 8?
True
Let u(b) = -13*b**3 + 4*b**2 + 4*b + 7. Suppose -v + 12 = -4*v + 3*q, 2*v - 5*q = -14. Does 30 divide u(v)?
False
Is 22 a factor of 81 + -84 + 489 + -2?
True
Let o(v) = -v**3 + 6*v**2 - 14*v + 14. Is o(-7) a multiple of 26?
False
Is 22 a factor of (1526 + 12)*(-3)/(-6)?
False
Suppose 6958 = 4*b + 5*l - 2145, 2*b - l = 4555. Is 11 a factor of b?
True
Suppose 4*v = 100 - 16. Suppose -t - 3 = 0, -4*t + 33 = 2*h - v. Does 27 divide h?
False
Suppose 0 = 3*c - 7*s + 2*s + 1, 0 = c - 4*s - 2. Is c/(-10) + 428/10 a multiple of 11?
False
Let h(f) = f + 2. Let r be h(5). Suppose -r*b + 92 = -3*b. Is 23 a factor of b?
True
Suppose 30*d - 3804 = 8796. Is 14 a factor of d?
True
Suppose -2*k + 42 = -k. Suppose 78 + k = a. Suppose a = 5*i - i. Is 15 a factor of i?
True
Let l be (32/20)/(2/5). Suppose 0 = -3*s + l*s - 60. Is s a multiple of 18?
False
Suppose -322*j + 313*j = -1710. Does 3 divide j?
False
Suppose a = 5*n - 5, 0*a + 10 = 5*n - 2*a. Is (n - (7 + -4)) + 34 a multiple of 5?
False
Suppose z + 5 = 2*z + 5*h, 0 = -3*z + 2*h + 15. Suppose z = o + 14. Let a = o + 20. Is 11 a factor of a?
True
Let s be (-400)/(-56) - 1/7. Let r be s + -11 - (-1 + -7). Is 5 a factor of (r - (-2 + -13)) + 1?
True
Let s(l) = -l**2 + 17*l - 28. Let u be s(15). Suppose -179 = u*z - 4*z + 3*o, 4*o - 84 = -z. Is z a multiple of 27?
False
Let q be 33/77 - 36/(-14). Let h(d) = q*d - 8 - 3*d - 3*d. Is 11 a factor of h(-10)?
True
Let c(z) = z**3 + 13*z**2 - 33*z - 37. Is c(-13) a multiple of 4?
True
Let u(a) = 15*a**2 + 5*a - 6. Let s be u(2). Suppose s = 15*p - 7*p. Does 8 divide p?
True
Let b be (-11)/66 - 154/12. Let f = b + 16. Suppose 4*i - 2*w = 264, 0 = f*i + i - 5*w - 270. Is 22 a factor of i?
False
Let c(d) = -d**3 - 4*d**2 - 4*d - 1. Let w(i) = -i**2 - 7*i - 3. Let f be w(-4). Let t be f/(-2) + (-3)/(-6). Does 5 divide c(t)?
True
Let x(q) = 18*q + 43. Does 13 divide x(26)?
False
Suppose -740 = -2*q + 174. Suppose 3*n - 5*f = 416, 2*f - 195 - q = -5*n. Is n a multiple of 36?
False
Let z = 507 + 285. Is z a multiple of 20?
False
Let m(g) = -g**3 + 13*g**2 - 10*g + 6. Let l be m(12). Does 19 divide (-105)/10*l/(-9)?
False
Suppose -4*f = -6*f + 1170. Suppose -9*r + 45 + f = 0. Is r a multiple of 35?
True
Let z = 45 - 45. Suppose z = -6*b + b + 760. Is 38 a factor of b?
True
Let u be ((-21)/(-4))/((-3)/(-36)). Let n = -22 - 7. Let x = u + n. Is 17 a factor of x?
True
Let p(i) = 4*i - 23. Let y be p(7). Is 10 - y/((-10)/8) a multiple of 2?
True
Does 7 divide (5 + -7)*(-637)/14?
True
Let k = -28 - -31. Suppose -z = k - 17. Is 7 a factor of z?
True
Suppose -12*g - 8 = -4*g. Is -1 + -3 + (g + -1196)/(-7) a multiple of 19?
False
Let c be 2/((-4)/(-2))*(9 - 4). Suppose -4*m = c - 41. Is m a multiple of 7?
False
Suppose 278 = 3*y + 74. Suppose 4*p + 0*p = r + 52, 4*p - y = 5*r. Does 4 divide p?
True
Let y(t) = -13*t**3 + 3*t**2 - 2*t. Let a be y(1). Let n = 26 + a. Is n a multiple of 3?
False
Suppose 0*z - 2*z = -4. Let g be 5 - 3/(-6)*z. Suppose -4*y + 5*p = -90, -2*p + g*p = -3*y + 52. Does 10 divide y?
True
Let k(z) = 76*z + 312. Is k(11) a multiple of 59?
False
Suppose -2*p = -a - 113, 3*a - 266 = -8*p + 3*p. Is 4 a factor of p?
False
Let b(g) = 79*g**3 + g**2 - 2*g - 2. Let q be b(-1). Let f = 98 + q. Is 20 a factor of f?
True
Suppose -4*z + 5*u + 1945 = 0, -u - u = 3*z - 1476. Is z a multiple of 5?
True
Suppose -69 = -3*n + n + 3*c, -3*n + 4*c = -102. Let r be 5 - 0 - (-30 - -33). Let z = n + r. Does 16 divide z?
True
Let l(w) be the third derivative of 0 + 0*w + 1/60*w**5 - 3/2*w**3 + 5/24*w**4 - 8*w**2. Is 13 a factor of l(-14)?
True
Suppose -5*b - 3*o = -2165, -b = -3*o - 323 - 92. Suppose 3*x = t + t + b, 0 = -3*t - 6. Is x a multiple of 49?
False
Let x = -89 - -2. Let w = x - 23. Let k = 170 + w. Is 20 a factor of k?
True
Suppose 45*z - 38*z = 574. Is 26 a factor of z?
False
Suppose q - 285 = 60. Is 15 a factor of q?
True
Let m = 2916 - 1656. Is 15 a factor of m?
True
Let w(d) = 17*d**3 - 4*d**2 + 2*d - 1. Suppose 0 = -4*b + 3*b - 4. Let l be w(b). Is (4/6)/((-18)/l) a multiple of 14?
False
Let b(o) = -o + 8. Let q be b(6). Suppose -5*v - q*s - 70 = -3*s, 14 = -3*v - 5*s. Let m = 23 + v. Is m a multiple of 4?
False
Let q(r) be the second derivative of r**4/12 + 4*r. Let c(k) = -2*k**2 - k - 45. Let o(w) = -c(w) - 3*q(w). Is o(0) a multiple of 15?
True
Let w(m) = m**3 + 8*m**2 - m + 4. Let d(y) = y**3 + 4*y**2 - 7*y - 2. Let x be d(-5). Let v = x + -12. Does 24 divide w(v)?
True
Let q(f) = -f**3 - 7*f**2 - 13*f + 5. Suppose -5*t - 25 = -2*o, 0 = t - o - 0 + 2. Is 16 a factor of q(t)?
True
Suppose x - 1 - 4 = 0. Let b(m) = -m**2 - 9*m - 11. Let t be b(-7). Suppose x = l - t. Is l even?
True
Let n(b) = 2*b**2 - b + 50. Is 29 a factor of n(6)?
True
Let a(k) = k**2 + 8*k + 4. Let n(u) = 2*u**2 + 16*u + 7. Let p(i) = 5*a(i) - 2*n(i). Let h(x) = -x**2 - 10*x - 33. Let w be h(-5). Does 3 divide p(w)?
True
Let i(x) = -61*x - 109. Is i(-9) a multiple of 11?
True
Let o be -22 - ((2 - 8) + 0). Suppose 0*r - 3 = r. Is 60*r/o*4 a multiple of 15?
True
Let v be 1812/(-20) - (-4)/(-10). Let o = v + 207. Is o a multiple of 23?
False
Let y be (-115)/(-4) + 5/20. Let m(g) = 2*g + 2*g**2 + 35 - y - 4*g. Is m(4) a multiple of 15?
True
Is 998/4 - -1 - 18/36 a multiple of 14?
False
Suppose g - 5*g + 5*z = -829, -3*g + 628 = -5*z. Does 67 divide g?
True
Suppose -y + 6*n - 164 = 4*n, 5*y + 5*n = -760. Let k = y - -260. Is k a multiple of 13?
True
Let b be -1*(-83 + 6/2). Let d = 144 - b. Is d a multiple of 32?
True
Is 25 a factor of (-3)/1 - (-123970)/46?
False
Suppose 0 = 5*s - c - 85, -3*s - 3*c = -0*c - 69. Let j(h) = 36 - h + 2*h + 5. Is 32 a factor of j(s)?
False
Let v(s) = 3*s - 10. Let a = 10 - 6. Let c be v(a). Suppose -c*w + 71 = -103. Is w a multiple of 29?
True
Let z(k) = k**3 + 4*k**2 - 6*k - 17. Let m be z(-7). Suppose -3*w = 2*c + 124 + 97, w + 67 = -2*c. Let h = w - m. Does 11 divide h?
False
Let i = 246 - 228. Does 6 divide i?
True
Suppose 2*w = 3*q - 3, -w + 0*w = 3*q - 12. Suppose q*c = -95 + 392. Is 11 a factor of c?
True
Let t = -23 - -27. Suppose -n + 5*z = t*n - 260, 0 = -3*n + 5*z + 164. Suppose 0 = 5*g + n - 273. Does 9 divide g?
True
Let i(b) = 12*b - 73. Is i(9) a multiple of 35?
True
Suppose -5*a - 5313 = -28*a. Is 20 a factor of a?
False
Is ((-1875)/(-300))/(2/432) a multiple of 15?
True
Let q(r) = -r**2 + 11*r - 1. Let b be q(5). Suppose -f + 5*l = -41, b = f - l + 2*l. Let v = f + -13. Does 6 divide v?
True
Let n(g) = -53*g + 23. Is 86 a factor of n(-4)?
False
Is 16 a factor of (3/(3/(-160)))/((-104)/832)?
True
Let i = -487 + 1248. Is i a multiple of 17?
False
Suppose 31*i = 17*i - 994. Does 15 divide (0 - 1)*-4 - i?
True
Let t(n) = n**3 + 8*n**2 + 8*n + 1. Let x be t(-7). Let g = -6 - x. Suppose 4*b + 11 - 43 = g. Does 8 divide b?
True
Is 7 a factor of (1 - -1)*(3 - 894/(-12))?
False
Let g = 1783 - 695. Is 17 a factor of g?
True
Suppose -1090 - 870 = -7*a. Is a a multiple of 40?
True
Let k be 2485/(-14) + (-2)/(-4). Let z = 27 - k. Does 34 divide z?
True
Let p = 13 - 13. Let u(c) = -c**2 - c + 1. Let k be u(p). Is (12 + -11)*(3 - k) even?
True
Let i(w) = -w**3 - 57*w**2 + 376*w + 145. Is i(-63) a multiple of 3?
False
Let g(l) = l + 15. Let x be g(-12). Suppose -4*n = -4*c - 108, x*c - 47 = -n + 8*c. Does 11 divide n?
True
Let b be (-3)/(-1)*14/21. Suppose -b*r + 93 = -r. Is r a multiple of 11?
False
Let h(w) = -109*w + 1. Let n = 4 - 9. Let m be h(n). Suppose -k = 5*k - m. Is k a multiple of 21?
False
Suppose 2*m + 2514 - 8815 = 5*y, -4*y - 6300 = -2*m. Does 11 divide m?
False
Suppose 0*f + 449 = f - 4*i, 1379 = 3*f + 4*i. Does 3 divide f?
False
Does 14 divide 9/(-15) + (-2812)/(-20)?
True
Let n(s) = 2*s**2 - 11*s - 2. Let k be n(6). Suppose f - k = -0*f. Suppose -270 = -f*p + 82. Does 25 divide p?
False
Suppose -6*u + 3*u = 0. Suppose -3*v + 8*v + 4*m = 177, u = 3*v + 2*m - 105. Is v a multiple of 20?
False
Does 26 divide 24523/31 - 310/4805?
False
Let r(f) = -56*f**2 + 9*f - 2. Let t(h) = 55*h**2 - 8*h + 2. Let k(n) = 5*r(n) + 6*t(n). Suppose -35*d - 8 = -4*c - 36*d, 23 = 3*c + 5*d. Does 11 divide k(c)?
Fa