4 divide b?
False
Let x = 23 + -20. Suppose 0 = -4*i + 3*y + 111, y + y = -4*i + 126. Suppose 5*h + 5*o = i, o - 15 = -x*h - 3*o. Is h a multiple of 9?
True
Let h(q) = -q - 3. Let w be h(-6). Suppose k + w*k + 39 = t, 75 = 3*t + 2*k. Is 11 a factor of t?
False
Let b be ((-5)/3 + 2)*15. Suppose 2*l + b*o - 59 = 54, -4*o - 296 = -4*l. Is 23 a factor of l?
True
Suppose -10 = -2*o + 2*f, -o - 2*f = -2*o + 10. Let i = o - -26. Is 13 a factor of i?
True
Let o(v) = v + 8. Let i(c) = c - 7*c + 0*c + 3*c - 25. Let f(l) = -6*i(l) - 17*o(l). Is f(-8) a multiple of 4?
False
Suppose y + 3*v = 17, -y = -5*y + 2*v + 138. Let n = 28 + y. Is 17 a factor of n?
False
Suppose 0 = -x - 3 + 1. Let z(o) = 4*o + 3. Let n be z(x). Is 3 a factor of n*1*(-6)/10?
True
Let c be (1 - (-1 + 2))/(-2). Suppose c = -w - 4*w + i + 122, w - 4*i - 13 = 0. Is w a multiple of 9?
False
Suppose -2*h - h - 39 = 0. Let p = h - -31. Is p a multiple of 18?
True
Let f(u) = 10*u**2 - 9*u + 6. Does 33 divide f(4)?
False
Let u = -21 + 23. Let p = -44 + 96. Suppose 3*m - 52 = -u*j, -3*j + p = -j + 4*m. Does 13 divide j?
True
Let n be (4/(-4))/(2/12). Let y be ((-54)/5)/(n/40). Suppose 5*d - y = 2*d. Does 12 divide d?
True
Suppose -3 = 2*p + 3*y - 22, 0 = -5*p - 4*y + 30. Suppose 2*i + 3*i - 22 = 4*z, -p*z - 8 = -i. Is 0 - -1 - (i - 9) a multiple of 4?
True
Let x(t) = t**2 + 3*t + 1. Let z be x(-3). Suppose 3*r - 22 = -z. Is 2 a factor of r?
False
Let v(d) = -10*d. Let x = 4 + -6. Is 10 a factor of v(x)?
True
Let z(m) = m**3 - m**2 - 3*m + 40. Is 8 a factor of z(0)?
True
Let j(k) = -10*k + 8. Does 27 divide j(-10)?
True
Suppose -2 = 2*o - 3*o. Is (o/1)/(2/33) a multiple of 14?
False
Let q = 6 - 3. Suppose 0 = -5*u + l - 29, q*l = -5*u - 5 - 28. Is 160/(-15)*u/4 a multiple of 12?
False
Let f = -10 + 32. Does 11 divide f?
True
Let z = 15 + -30. Is (6/(-15))/(3/z) a multiple of 2?
True
Let y = -4 + 6. Does 10 divide (-714)/(-35) + y/(-5)?
True
Suppose -2*c = 5*h - 420, -3*h - 2*c - 84 + 336 = 0. Suppose h = 2*y + 2*y. Does 21 divide y?
True
Is (-210)/(-25) + 3/5 a multiple of 7?
False
Suppose -2*d - 3 = -1. Let z be (-4 - d)/(2/8). Is 4 a factor of (2 + z)*2/(-2)?
False
Let v(z) = 4*z + 3. Let k be v(6). Let f = -16 + k. Does 4 divide f?
False
Suppose 4*s - 23 - 107 = -2*x, -3*s - 260 = -4*x. Suppose x = 2*q - 5*k - 1, -5*q + 165 = 3*k. Does 16 divide q?
False
Suppose -236 = -n - 4*u, 436 = 2*n - 3*u + 2*u. Suppose -n = -4*c + 8*c. Let o = c - -105. Is 20 a factor of o?
False
Let p be (-20)/(-5) + -1 + 1. Let v(b) = -1 + b**2 + 2*b**2 - p*b**2 - 9*b. Is 12 a factor of v(-7)?
False
Suppose 0 = 3*u - 13 - 2. Suppose -5*b + 5*x = -135, 3*x = -u*b - x + 90. Does 14 divide b?
False
Let p(z) = -z**3 + 4*z**2 - z - 1. Let i be p(3). Suppose 0 = b - 0*b - i. Is b a multiple of 4?
False
Is (-3)/(-6)*194 - 1 a multiple of 16?
True
Suppose 0 = 5*z - 10 - 10. Suppose 414 = z*j + 134. Does 24 divide j?
False
Suppose -65 = -0*x + 5*x. Let c = x + 24. Is c a multiple of 11?
True
Suppose 3*a - 180 = -a. Is a a multiple of 13?
False
Let x = 31 + 8. Does 7 divide x?
False
Let r(m) = m**3 + 5*m**2 - 8*m - 9. Let j be r(-6). Let t be -1*(18 - 9/j). Let i = 39 + t. Does 12 divide i?
True
Does 21 divide ((-32)/22)/(-8) + 229/11?
True
Let y(c) = 12*c**2 + c - 1. Let l be y(1). Let r = -3 + l. Does 9 divide r?
True
Let i(d) = d**2 - d - 3. Let c be i(-7). Let h = 74 - c. Let j = -5 + h. Is 9 a factor of j?
False
Suppose i - 2 = -3*g, 0*i + 5 = 5*g + 2*i. Let v be (g - -63)/((-6)/9). Is (v/(-12) + -3)*4 a multiple of 19?
True
Let h = -784 - -1168. Suppose 3*m = -m + h. Suppose n + 2*n - m = -5*i, 3*n - 33 = -2*i. Is 13 a factor of i?
False
Let g(p) = -55*p + 2. Let i be g(-2). Let q = -27 + i. Is q a multiple of 22?
False
Let c(d) = -d**3 - 4*d**2 - d + 6. Let h be c(-5). Let i(z) = 22*z**2 + z - 2. Let o be i(1). Let a = h - o. Is 15 a factor of a?
True
Suppose 116 = 5*s - 564. Does 34 divide s?
True
Let d(q) = -20*q - 4. Let u be d(-6). Suppose 5*y - u = 234. Suppose 0 = -4*r - 14 + y. Does 7 divide r?
True
Suppose -32 + 122 = 5*m. Is m a multiple of 5?
False
Let o = -13 - -46. Let q = 111 - o. Does 13 divide q?
True
Suppose 5*c + 10 = -4*o, 3*o + 2 = 2*c - 17. Suppose -5*i + 24 = -c*i. Is ((-16)/i)/((-2)/14) a multiple of 14?
True
Does 34 divide 4/(-1) - (-11 + -95)?
True
Suppose 5*t + 0*o + o = 97, 3*t = 3*o + 69. Suppose 4*d - t = 2*h, 5*h = -d - 0*h - 6. Is 2 a factor of d?
True
Suppose 5*b + 408 = 9*b. Is 25 a factor of b?
False
Let w(o) = o**3 + o**2 + 4*o + 1. Let i be w(3). Let d = i - 32. Does 17 divide d?
True
Let p be 9/(-2)*(-8)/(-6). Let d be (4/6)/(p/(-27)). Suppose -d*k + k = -6. Is 3 a factor of k?
True
Does 9 divide -66 - -130 - (1*-3 - 0)?
False
Does 10 divide 399/18 - (-4)/(-24)?
False
Let x(a) = -a**2 - 25*a + 32. Is x(-23) a multiple of 9?
False
Let o(s) = 7*s + 1. Suppose -18 = -3*w - 9. Is 11 a factor of o(w)?
True
Let n be 3 - 10 - (-2 - -4). Let p(y) = -2*y - 7 + 4 - 1. Is 6 a factor of p(n)?
False
Let i(p) = -p**3 + 2*p**2 + p - 1. Let b be i(-3). Let c = b - 14. Is c a multiple of 10?
False
Suppose -s + 435 = 2*i + 110, 0 = 3*i - s - 475. Suppose 0*a - i = -4*a. Is a a multiple of 22?
False
Let a(t) = 2*t - 4. Let z(s) = 2*s - 3. Let v(h) = 6*a(h) - 7*z(h). Does 7 divide v(-15)?
False
Let k(z) = 22*z - 1. Let c = -7 - -8. Is 5 a factor of k(c)?
False
Suppose 3*t - 68 = t. Is 11 a factor of t?
False
Let l(i) = 1 - 4 + 0 + 2*i + 2. Let q be l(1). Let p = q - -9. Is 10 a factor of p?
True
Let g(u) = -u**3 + 3*u**2 + u - 4. Let p be g(3). Is (p - -4) + (1 - -16) a multiple of 5?
True
Suppose s + 4*s + w - 594 = 0, 4*w + 220 = 2*s. Is 12 a factor of s?
False
Suppose -5*j - r = -132, 2*r - 74 = -3*j + 4*r. Is j a multiple of 16?
False
Let l be -6*(-3)/(-9)*-2. Suppose 8 = -0*s + l*s. Suppose 84 = s*z - 0*z. Is 13 a factor of z?
False
Let o(n) = 2*n**3 - 5*n**2 - 3*n - 1. Let r be o(4). Suppose -10 = 5*h - r. Is h a multiple of 5?
True
Let n = -84 + 100. Is n a multiple of 3?
False
Let r = -8 - -10. Let j(y) = 4*y**3 + y**2 - y - 1. Is j(r) a multiple of 14?
False
Let n(s) = 11*s + 16. Does 12 divide n(6)?
False
Let v(d) = d**2 + 14*d + 15. Is 9 a factor of v(-14)?
False
Let y = -118 - -333. Is y a multiple of 12?
False
Suppose -2*n - n = 0. Suppose 4 = 2*l, f + 0*f + 2*l - 52 = n. Is 9 a factor of f?
False
Suppose -l - s = -4 - 19, 5*s = 3*l - 53. Is 4 a factor of l?
False
Suppose -m + 213 = -4*r, 2*r = 4*m - 945 + 107. Is 19 a factor of m?
True
Let v = 28 - 5. Is v a multiple of 2?
False
Let x(h) = h**3 - 5*h**2 + 6*h - 5. Let c be x(4). Let b = 1 + c. Is 1/(-1) - (b - 25) a multiple of 20?
True
Let a(j) be the first derivative of -3*j**5/20 - j**4/4 + j**2/2 - 2*j - 1. Let i(h) be the first derivative of a(h). Is 8 a factor of i(-2)?
False
Let t be (-1)/4 - 54/8. Let n = 12 + t. Suppose -4*y + n*q = -7 - 14, -5*y - 5*q + 15 = 0. Does 4 divide y?
True
Suppose q - 88 = -7. Is 27 a factor of q?
True
Let r(t) = -t**2 - 12*t - 10. Let l be r(-7). Suppose -l = 5*a, p + 2*p - 362 = -2*a. Does 14 divide (1/2)/(2/p)?
False
Let p be (14 - -10)/(6/4). Suppose -3*s = -p - 23. Is 13 a factor of s?
True
Does 2 divide (-6)/5*(-5)/2?
False
Let p(v) = -v**3 + 3*v**2 + v - 2. Is p(-2) a multiple of 4?
True
Suppose -10*x + 7*x + 18 = 0. Is x a multiple of 3?
True
Let d be (0 - -4)*(-6)/(-8). Suppose c + 0*c = -d*w - 15, -15 = -c + 3*w. Suppose -33 = -c*t - 3*t + 5*b, -2*t + 2*b + 18 = 0. Is 6 a factor of t?
True
Let p(q) = 5*q**3 + 2*q**2 - q - 2. Is p(2) a multiple of 11?
True
Let x = -14 + 25. Let s = x - 7. Is 2 a factor of s?
True
Let p(b) = -b**2 + 4*b + 2. Let s be p(5). Let u(l) = 7*l**2 + 3*l. Does 26 divide u(s)?
False
Suppose 4*z = -5*z + 1296. Is z a multiple of 16?
True
Let q(z) = 96*z**2 + 9*z - 9. Is q(1) a multiple of 14?
False
Let q(y) = -2*y + 8. Suppose 2*i + 22 = 3*t, -2*i - 4*t + 10 = t. Does 5 divide q(i)?
False
Let u = 365 + -212. Suppose 2*a - u = -a. Is a a multiple of 17?
True
Is 25 a factor of (6 + 0 - 2) + 404?
False
Let k(a) = -a**3 + 9*a**2 - 7*a + 8. Let s be k(7). Suppose -5*p + s = 17. Is p a multiple of 4?
True
Let l(k) = k**3 - 3*k**2 - 4*k - 1. Let c be l(4). Is 3 a factor of 1/c - 8*-1?
False
Let r(f) = f**2 - 9*f + 8. Does 8 divide r(13)?
False
Let f(o) = 19*o + 1. Let i be