 Suppose -2*b = -4*n + 24, p*n - 3*b = -6*b + 41. Is 4 a factor of n?
False
Suppose -c - 2*q = 0, 3*c - 2*q - 4 + 20 = 0. Let p(i) = -2*i**3 - 6*i**2 - 2*i - 2. Is p(c) a multiple of 19?
True
Suppose -7*y + 8*y - 28 = 0. Does 7 divide y?
True
Suppose -p = -2 - 0. Let a be 1/p - (-1)/(-2). Suppose v + 45 = 2*c - a*c, 5*c - 3*v - 113 = 0. Is c a multiple of 11?
True
Is 7 a factor of (-5)/((-75)/72)*5?
False
Suppose 9*w - 751 + 76 = 0. Is 26 a factor of w?
False
Let r be (-3)/(-12) + (-28)/(-16). Suppose -27 = -3*m - r*t, -4*t - 9 = -m - 0. Is m a multiple of 3?
True
Suppose 2*j = 5*j - 24. Let g = j + -5. Is g even?
False
Suppose -169 = 5*j - 859. Does 23 divide j?
True
Let v = -6 + 10. Suppose -7*j + 4*j + v*l + 69 = 0, 2*l = -6. Is 12 a factor of j?
False
Let g(t) = -6*t - 11. Is g(-6) a multiple of 7?
False
Suppose -x = 4*x - 35. Let k(d) = d**2 - 6*d - 2. Is 5 a factor of k(x)?
True
Suppose 2*g = -0*g - 3*t + 28, 4 = 3*g - 5*t. Let u(r) = -3*r - 6. Let p be u(g). Is 13 a factor of -20*4/p*6?
False
Suppose 2*t + 36 + 20 = 0. Let y = t + 50. Does 19 divide y?
False
Suppose 0 = 3*f + 199 - 685. Does 27 divide f?
True
Let z(a) = 3*a - 3. Let t(b) = -b**2 + 1. Let w be t(-1). Suppose w*n - 8 = -4*n. Is 2 a factor of z(n)?
False
Let r be (2 - 5/2)*-266. Let s = 199 - r. Does 22 divide s?
True
Let f(w) = 2 + w**2 + 1 - 2 - 10*w + 0*w**2. Let y be f(10). Suppose 2*s - 3*b = 10, 4*b - 7 = y. Does 3 divide s?
False
Suppose 76 = 3*y - y. Is y a multiple of 19?
True
Suppose r + 5*a + 72 = 0, 3*a - 121 = -5*r - 437. Let g = r - -137. Does 25 divide g?
True
Let c(l) = 7*l**2 - l. Let i be c(1). Let w = -49 + i. Let b = w + 84. Is b a multiple of 12?
False
Let d(t) = t**3 + 4*t**2 - 2*t + 3. Let p = -9 - -5. Does 3 divide d(p)?
False
Suppose 0 = -2*d - i - 5, 2*i + 15 = -i. Suppose 2*c - 154 = -3*t - d*t, 4*c = 5*t - 220. Is t a multiple of 16?
True
Let x(o) = -o**3 + 2*o**2 + o. Let l be x(-1). Suppose 0 = l*c + 2*v - 50, -4*c + 3*v = -58 - 21. Is c a multiple of 9?
False
Suppose -3*r + 4 = -29. Let c(h) = h**2 + 7*h + 5. Let d be c(-7). Let n = d + r. Is 13 a factor of n?
False
Let m be 4/3*(-2 - -5). Suppose 3*q + 5 = m*q. Is 4 a factor of q?
False
Let a = -69 + 90. Does 3 divide a?
True
Let z be (-4)/(-6)*(-30)/(-4). Let i = z - 3. Suppose 3*q - 34 = i*q. Is q a multiple of 18?
False
Let o(s) = -21*s - 3. Let j(r) = r. Let l(c) = -18*j(c) - o(c). Does 9 divide l(5)?
True
Let y = 612 - 297. Suppose 0 = -4*v + 205 + y. Suppose 4*r + r = v. Is 13 a factor of r?
True
Suppose 5 = -5*v, 0*l = -3*l + 3*v + 18. Let a(k) = 8*k + 2. Is 19 a factor of a(l)?
False
Let c(t) = 7*t**3 + 0 - 4*t**2 + 2 - 6*t**3 - 4 + 2*t. Does 3 divide c(4)?
True
Suppose -102 = -3*m + 5*d, 2*m + d - 74 - 7 = 0. Let k = 72 - m. Is k a multiple of 10?
False
Suppose -d + 2 = -1. Let w be 654/9 - (-4)/(-6). Suppose -d*n = -6, -n = -y + 6*y - w. Is y a multiple of 8?
False
Let z = 9 - 7. Let l(v) = 33*v - 5. Is l(z) a multiple of 17?
False
Let t = -27 - -59. Is t a multiple of 13?
False
Is 11 a factor of (11/(-4))/(3/(-48))?
True
Let t(f) be the second derivative of -f**3/2 + 17*f**2/2 - 4*f. Is t(-13) a multiple of 14?
True
Suppose 0 = -9*w + 10*w - 56. Is 56 a factor of w?
True
Let o(g) = 8*g**2 - 4*g + 1. Let y be o(-3). Suppose 3*b = 5*b + l - y, 0 = -b + 5*l + 26. Is 13 a factor of b?
False
Let j(o) = o**3 + 18*o**2 - 21*o + 42. Does 10 divide j(-19)?
True
Let o = 8 - 5. Suppose 2*z + 124 = 3*d, 0 = -o*d + 4*z - 0*z + 134. Suppose 5*x = 3*x + d. Is x a multiple of 6?
False
Suppose 3*v - 82 - 44 = 0. Does 14 divide v?
True
Let k(h) = -h**3 + 5*h**2 + h + 5. Let r(p) = 4*p - 3. Let m be r(2). Does 4 divide k(m)?
False
Let z(u) = -u**3 - 14*u**2 - 27*u - 1. Does 5 divide z(-12)?
True
Let p be (-4 + 33/9)*0. Suppose -2*z + p*z = -106. Is z a multiple of 11?
False
Let x(i) = 91*i**2 - i. Is 10 a factor of x(1)?
True
Let t be (-3)/(-2) - 15/(-2). Suppose -99 = -4*d + t. Is d a multiple of 9?
True
Suppose 2*s - 385 = -3*d, 0*d = -2*d - 10. Is s a multiple of 40?
True
Let t(f) be the second derivative of -f**3/3 - 9*f**2 + 6*f. Does 2 divide t(-10)?
True
Let n(a) = -a**3 - 6*a**2 + 5*a + 4. Let z be n(-7). Suppose 2 + z = 4*b. Suppose -2*k = 3*q + 11, -5*k - 21 = -3*k + b*q. Is k a multiple of 2?
True
Let y be 2/(-12) + 2260/24. Let h = -56 + y. Does 22 divide h?
False
Suppose -2*z - 6 = z. Let w = 4 + z. Does 16 divide (6/5)/(w/50)?
False
Let t = 0 + -3. Let c = 22 + t. Is c a multiple of 10?
False
Let p be 1 - 5/((-5)/4). Suppose -23 = -2*u - p*l, -4*u - 3*l + 16 = -23. Is 9 a factor of u?
True
Let n = 310 + -177. Suppose -3*j + 4*a = -0*j - 85, -5*j + n = 2*a. Is 22 a factor of j?
False
Let x be (3 - -6)/3 + -82. Let j = -45 - x. Is 17 a factor of j?
True
Let m(g) = g**3 - 6*g**2 + 9*g - 18. Is m(6) a multiple of 18?
True
Is (14 + -11)/(1/10) a multiple of 18?
False
Let l be (4/6)/((-6)/(-9)). Suppose -i + 5 = -l. Suppose -4*s = 5*y - 43 - 70, 3*s - i = 0. Is 10 a factor of y?
False
Let t be (48/28)/((-2)/(-7)). Let d = -2 + t. Suppose -d*r + 4*n = -3*r - 1, -n = -3*r + 14. Does 3 divide r?
False
Let n(j) = -4*j + 2. Suppose 7*w - 3*w = 8. Let h be n(w). Is 8 a factor of (-30)/(-4)*(-8)/h?
False
Let h(c) = c + 59. Is 22 a factor of h(0)?
False
Let j = 4 + -1. Suppose 69 = -5*q - o - 23, q = j*o - 12. Let c = q - -31. Is c a multiple of 9?
False
Suppose -2*q + 166 = 3*g - g, -415 = -5*g - 2*q. Is g a multiple of 22?
False
Suppose 5*c - h + 30 = -2*h, 2*h - 5 = 3*c. Let v(a) = -7*a - 3. Is 32 a factor of v(c)?
True
Let m = -11 - -18. Suppose 2*d = m + 1. Suppose -d*u + 4*f = -124, -5*u + f = -0*f - 159. Is u a multiple of 16?
True
Suppose -i - 4 = -5. Let a be ((-2)/i)/((-2)/(-5)). Is 278/10 + (-1)/a a multiple of 16?
False
Let i = 7 - -19. Is 4 a factor of i?
False
Let m = 10 - 14. Let g(d) = -d**2 + 5*d + 3. Let k be g(m). Let a = 26 - k. Does 20 divide a?
False
Let t = -17 - -27. Let p(q) = q**3 - 9*q**2 - 5*q - 5. Is 15 a factor of p(t)?
True
Let m(t) = t**2 + 7*t + 6. Let o be m(-6). Suppose 4 = -3*b + 4*d - 1, o = 3*b + 3*d - 30. Does 3 divide b?
False
Let n(a) = 4*a - 53. Is n(27) a multiple of 11?
True
Let b = -1 - -3. Suppose -r = -b*r. Suppose r = 4*h - 2 - 6. Is h a multiple of 2?
True
Let p(x) = -3*x + 4. Does 2 divide p(-1)?
False
Suppose -3*q = -3*n + 21, -2*q + 7 = q + 4*n. Let f = q + 3. Suppose 0 = -f*w - w + 14. Is 11 a factor of w?
False
Let b(j) = j. Let n = 0 - -2. Let s be b(n). Let h(o) = 7*o**3 - 2*o**2 - o - 1. Does 12 divide h(s)?
False
Suppose 0 = l + l. Suppose -15 = -q - 3*p, 5*p - 15 - 5 = l. Suppose -4 = m, -q*m + 55 = 5*n - 123. Is 16 a factor of n?
False
Let k(s) = s**3 + s**2 - 2*s + 3. Suppose -11 = 3*j - 5*h, h - 4*h = -5*j + 3. Does 12 divide k(j)?
False
Let x(s) = 2*s**3. Let w be x(-1). Is ((-120)/(-18))/(w/(-9)) a multiple of 22?
False
Let s(f) = 4 + 2*f**2 + 12*f - 3*f**2 + 3. Let i = 8 + -1. Is s(i) a multiple of 11?
False
Let k(s) = -10*s. Is k(-3) a multiple of 30?
True
Let l(q) = -q**3 + 5*q**2 + 5*q - 4. Let u be l(5). Let i = u + -5. Does 8 divide i?
True
Let c(y) = y**2 - 11*y + 12. Let b be c(10). Suppose -5*r - h + 69 = h, -b*r + 18 = 4*h. Does 7 divide r?
False
Let k(m) = -m**3 + 6*m**2 + 9*m - 9. Let b be k(8). Let w = -17 - b. Is 16 a factor of w?
True
Let p be -1*2*(-7)/2. Let i(y) = -3*y**3 + 7*y**2 + 5*y - 6. Let z(d) = 16*d**3 - 35*d**2 - 26*d + 29. Let f(s) = 11*i(s) + 2*z(s). Is 8 a factor of f(p)?
False
Let o be (-2)/6 + (-11)/3. Let d(q) = -17*q + 1. Does 22 divide d(o)?
False
Suppose 50 = -4*s + 9*s. Suppose -x - 219 = -4*w - 2*x, s = -2*x. Is 18 a factor of w?
False
Let x(z) = -32*z - 4. Is x(-2) a multiple of 20?
True
Let u = 31 + 70. Suppose 5*k + 6 = u. Does 7 divide k?
False
Let f = 0 - 1. Is 1/(-2)*26/f a multiple of 13?
True
Suppose 3*u = -187 + 502. Is 30 a factor of u?
False
Let y(i) = 3*i - 6. Let h be y(4). Suppose c = -5*x + 22, -x - 3*c = -16 + h. Suppose 3*z - x*a = 47, 84 = 5*z - 3*a + 2*a. Is 10 a factor of z?
False
Let n = 201 - 117. Is 20 a factor of n?
False
Let z = 57 + -20. Let o = z + -6. Is o a multiple of 18?
False
Suppose -c = -0*c + 5*w - 45, 0 = 2*c - w - 68. Suppose a = 1, 5*a - c = -s + 4*s. Let q = 18 + s. Does 3 divide q?
False
Suppose 2*d - 62 = -0*d. Does 18 divide d?
False
Let v be 4/(0/(-2) 