 9 a factor of y(b)?
True
Let b(h) = 29*h**3 + 2*h**2 - 2*h. Is b(1) a multiple of 5?
False
Let z be 6/(-8)*8/2. Suppose b = -2*b + 60. Let r = b - z. Is r a multiple of 11?
False
Suppose 29*k - 24*k - 320 = 0. Is k even?
True
Suppose -4*v + 48 = -2*v - 4*s, s = -2*v + 73. Does 5 divide v?
False
Let x = 3 - -1. Let h(a) = -a**2 + 4*a + 3. Let c be h(x). Suppose 44 = -c*g + 116. Does 10 divide g?
False
Suppose -3 = 3*g + 4*a - 213, 3*a = -g + 75. Does 11 divide g?
True
Let n(c) = -4*c - 5. Does 15 divide n(-5)?
True
Suppose f - 5 = -5*b + 2*b, -5*b + 15 = 5*f. Suppose 0 - 14 = -f*i. Is 3 a factor of i?
False
Suppose -1 = -4*u + 3*u. Let r = 4 + u. Suppose -12 = -r*s - 3*n, 3*s - 3*n = -2*n + 10. Is s a multiple of 3?
True
Let u(o) = 2*o**3 - 4*o**2 + 4*o - 10. Is u(3) a multiple of 10?
True
Suppose -110 = -5*m - 0*m. Is m a multiple of 16?
False
Let f = -40 - -78. Does 16 divide f?
False
Suppose -3*p + 387 = 117. Does 15 divide p?
True
Let v = 146 - 82. Does 32 divide v?
True
Suppose 222 + 258 = 5*j. Does 8 divide j?
True
Let f(g) = 13*g + 1 + g + 0 + 3*g. Does 9 divide f(2)?
False
Let w(z) = -4*z - 3. Let m be w(-2). Is ((-66)/(-15))/(1/m) a multiple of 11?
True
Let a = 14 + -8. Does 2 divide a?
True
Let y(a) = -a**3 + 8*a**2 - 6*a - 1. Let f be (-4)/((-4)/5) - 0. Is y(f) a multiple of 14?
False
Suppose 9 = t - 6. Let k(u) = -u**2 - 7*u + 2. Let w be k(-7). Let s = t - w. Is s a multiple of 6?
False
Let g(t) = 2*t**3 + 4*t**2 - t - 3. Does 15 divide g(3)?
False
Suppose 0 = -3*f + 12, 3*t - 70 = 6*f - f. Is 11 a factor of t?
False
Suppose 3*x = -4 - 2. Is ((-159)/12 - x)*-4 a multiple of 14?
False
Suppose 0 = 5*f - m - m - 270, -176 = -3*f + 4*m. Is 13 a factor of f?
True
Let y(k) = 6*k**3 - 2*k + 3. Let j(b) = -3*b**3 + b - 1. Let d(o) = 5*j(o) + 2*y(o). Is 2 a factor of d(-1)?
False
Is 479/4 + 2/(8/(-3)) a multiple of 36?
False
Let y be 8/36 - (-11)/(-9). Let i be 2/y - (1 + -51). Is ((-3)/6)/(-1)*i a multiple of 12?
True
Suppose -124 = -4*j - 2*u, 4*j - 2*u - 114 = u. Does 30 divide j?
True
Suppose 3*r + 2*m - 386 = 0, 5*r + 3*m + 62 = 707. Is 13 a factor of r?
False
Is 12 a factor of 96/20*(2 + (-188)/(-6))?
False
Suppose -3*w = -4*w. Suppose 8 = 4*g - w. Suppose n = -2*l + 6*n + 77, -g*l = -2*n - 80. Does 23 divide l?
False
Suppose -7*g + 5*g + 118 = 0. Is 35 a factor of g?
False
Let f be 2/((-10)/(-4) - 2). Let i(d) = -d**3 + 6*d**2 - 6*d + 6. Let k be i(f). Does 7 divide (k/(-4))/((-3)/12)?
True
Suppose 10 = 5*m, 32 = -3*j + m - 0*m. Is 14 a factor of j/2*72/(-20)?
False
Let c(q) = -3*q + 3. Let b be c(3). Is 7 a factor of (-2)/b - 154/(-6)?
False
Let g(d) = -11*d + 1 - 6*d - d. Is 13 a factor of g(-2)?
False
Let h = -123 + 224. Does 16 divide h?
False
Let t be 1*(-2 + 1) + 1. Suppose -x + 1 = 2. Is x - -3 - t/1 a multiple of 2?
True
Is ((-3)/4)/((-5)/120) a multiple of 9?
True
Let d = 2120 + -1476. Is 15 a factor of d/16 + 2/(-8)?
False
Suppose 2*w = 4*d - 180, -d - 3*w = 2*w - 45. Suppose 2 = -2*b + 12, -x - 4*b + d = 0. Does 8 divide x?
False
Does 3 divide (36 - 13)*(2 + -1)?
False
Let m be 4/(-4 - -2)*-2. Suppose m*j = -j + 20. Suppose 2*h + j = 0, 3*g - 3*h + 39 = 141. Is g a multiple of 16?
True
Let i be 2/(-6) - 2/(-6). Suppose i = -l + 25 - 3. Is 10 a factor of l?
False
Let z(a) = 4*a. Let n be z(2). Suppose 0 = -2*u + 16 + n. Suppose 0 = -4*i + q + 36, -4*i = -2*i - 2*q - u. Does 10 divide i?
True
Let u be (0 + 1)/(13/1898). Suppose 5*k - 4*p = -9*p + 270, 3*k = 5*p + u. Does 26 divide k?
True
Suppose 0 = 4*d - d - 150. Is 10 a factor of d?
True
Let z(h) = h**2 - 3*h + 8. Let x = 28 - 20. Is z(x) a multiple of 13?
False
Let o(x) = -3*x - 3. Let n be o(-3). Suppose 2 = -2*p, n = l - p + 4*p. Is 2 a factor of l?
False
Let s = 0 + -2. Let r = 10 - -5. Let z = s + r. Is 11 a factor of z?
False
Suppose 0 = -4*o + 119 + 1. Suppose 17 + 2 = 2*s + 5*j, 5*s - 13 = -j. Let z = o + s. Does 16 divide z?
True
Suppose 3*o + 0*o = -2*p + 191, -5*o - 4*p = -319. Does 21 divide o?
True
Suppose 0 = 4*t - 8, -3*j = 2*t - 4*t - 8. Suppose 0*u + j*u - 358 = -2*k, -4*k - 241 = -3*u. Is 29 a factor of u?
True
Let w = -223 - -318. Is 33 a factor of w?
False
Suppose 0*g - 2*g + 4 = 0. Suppose -110 = -3*h - g*h. Is 11 a factor of h?
True
Let n(i) = -i**2 - 8*i + 13. Let h be n(-9). Suppose 0 = -h*r - 4*c + 60, 0 = -4*c + 8 + 4. Does 4 divide r?
True
Suppose -3*j + 9 = 5*x - 4*x, 5*j - 2*x - 15 = 0. Let n be 4/2 + 0 + j. Suppose 2*g - 28 = -n*o + 58, 4*o + 2*g = 70. Is o a multiple of 12?
False
Suppose 4*y - 8 = 3*y + 2*u, 12 = -4*u. Suppose y*d - 7*d + 100 = 0. Suppose -2*a + d = -0. Does 5 divide a?
True
Let o(v) = v**2 + 15. Let h(x) = -4*x + 4. Let n(k) = -5*k + 5. Let s(z) = 6*h(z) - 5*n(z). Let c be s(1). Does 5 divide o(c)?
True
Let p(g) = -5*g**3 - g**2 - 2*g - 2. Let f(s) = -s + 1. Let d(a) = -a**2 - a + 4. Let n(y) = -d(y) + 6*f(y). Let l be n(4). Is 13 a factor of p(l)?
False
Suppose 59 = -6*c + 7*c. Is 3 a factor of c?
False
Does 6 divide (-171)/(-4) + (-92)/16 + 5?
True
Let u(v) = v + 1. Let w(y) = 5*y - 26. Let m(z) = 6*u(z) - w(z). Suppose -a = -3*a. Is 12 a factor of m(a)?
False
Suppose 499 + 189 = 2*j. Suppose 4*y + v - 376 = 6*v, -4*y + j = 3*v. Suppose o + y = 5*m, -2*o + 3 = 1. Is m a multiple of 6?
True
Let u = 381 - 228. Suppose -4*k = -3*g - u, 0 = -2*k + 3*k + 5*g - 67. Suppose 0 = -3*o + 75 + k. Is o a multiple of 14?
False
Suppose -2*v + 125 = 5*r, -5*v - 4*r = -r - 360. Is v a multiple of 15?
True
Let a(k) = 3*k**3 - 2*k + 1. Does 7 divide a(2)?
True
Let k(u) be the second derivative of -u**4/12 - 5*u**3/3 - u**2 - 2*u. Suppose 0*v = -5*v - 35. Does 9 divide k(v)?
False
Let f be (-4)/8*13*-16. Suppose -4*q + f = -2*q. Is q a multiple of 13?
True
Suppose -323 = -4*g + n - 78, 3*n = g - 75. Suppose 4*s - g = 24. Is 7 a factor of s?
True
Let s = -35 - -58. Is s a multiple of 10?
False
Suppose 3*i + 53 = m, 0 = 5*i - 3*m + 6*m + 93. Does 5 divide i/(-63) + 33/7?
True
Suppose 15 = -0*y + 5*y. Suppose g = y*q - 3*g - 80, 100 = 4*q - 2*g. Is q a multiple of 6?
True
Suppose 4*v = 4*h - h - 71, 0 = -5*h + 25. Is 1/7 - 516/v a multiple of 12?
False
Let o = -31 + 50. Let f = o + -6. Is 11 a factor of (-5)/((-10)/(-4)) + f?
True
Let l(y) = -y - 10. Let i be l(-8). Is 13 a factor of 119/9 + i/9?
True
Let u = -1 - -45. Is u a multiple of 5?
False
Let r = -16 + 25. Suppose -3*m + r = -21. Is m a multiple of 4?
False
Suppose -3072 = -15*n + 1968. Does 13 divide n?
False
Is 12 a factor of (3 - 0)*(-62)/(-6)?
False
Suppose 4*y - 295 = -c, -5*y - 2*c = 3*c - 350. Does 5 divide y?
True
Suppose -u = 2*u + 72. Let n = u + 43. Let w = n - 6. Is 5 a factor of w?
False
Let a(x) = -18*x - 2. Suppose -5*z + 1 = 11. Is a(z) a multiple of 5?
False
Let h = 7 + -3. Is 13 a factor of h*(-1)/(-2)*13?
True
Let z be (-8)/12*18/(-4). Is (2*z)/((-3)/(-12)) a multiple of 12?
True
Suppose y - 7 = -2. Suppose 0 = -k + y*k - 320. Does 23 divide k?
False
Let j = -1 - -1. Suppose 5*z + 5 = 0, j*g + 4*g - 5*z = 17. Suppose g*c = c + 20. Is 7 a factor of c?
False
Suppose 2*l - 2*h = -8, -3*l = 2*l - 2*h + 8. Let g be 0/((-6)/(-3)) + 0. Suppose l = 3*n - 9 - g. Is n a multiple of 3?
True
Let a(f) = f**3 - 7*f**2 + 5*f + 2. Let h be a(6). Let c = 23 - -2. Let i = h + c. Is i a multiple of 7?
True
Let b(a) = 4*a + 2 - 2*a + 2*a + 0. Does 6 divide b(3)?
False
Let h(f) = -f**2 - 10*f + 5. Let c = 3 + -8. Is 6 a factor of h(c)?
True
Let h(b) = -b**3 + 4*b**2 + 5*b + 2. Let g be h(5). Suppose 0 = g*f - 5*u - 79, 5*f = 2*u - 0*u + 166. Does 15 divide f?
False
Let x(b) = -2*b**3 - 3*b**2 - 4*b - 2. Let j be x(-2). Is j/(-35) + 438/14 a multiple of 12?
False
Let p = 28 + 17. Let v = -18 + p. Is v a multiple of 14?
False
Let n(l) = -l**3 + 5*l**2 + 4*l - 7. Let w be n(5). Let p(x) = x**2 - 11*x + 4. Does 15 divide p(w)?
True
Let u = 841 + -547. Is 18 a factor of u?
False
Let t(v) = v**2. Is 4 a factor of t(4)?
True
Let u(m) = m**3 + 7*m**2 - 10*m + 8. Suppose -3*y = -8*y + 55. Let p = 3 - y. Is 14 a factor of u(p)?
False
Suppose -2*t = 2*z + t - 215, -495 = -5*z + t. Suppose 0 = 3*k + 5*r + 6, 2*r + 2 = -5*k + 11. Suppose -k*h + z = h. Is 25 a factor of h?
True
Suppose -5*i = t + 5 - 2, -2*t = 6. Suppose 66 = 2*z - 5*u, 2*z - u + i*u = 74. Does 19 divide z?
True
Suppose 5*o = o 