*b. Is 19 a factor of b?
False
Suppose -6*r = -r + 40. Is (r - -4 - -3)*-8 a multiple of 3?
False
Let n be 1/(-1) + (-1 - 3). Let u = 6 + n. Let l = 9 - u. Does 4 divide l?
True
Let m(b) = b**3 + 13*b**2 + 13*b + 12. Let h be m(-12). Suppose -2*l + 11 = z, -3*z - 3*l = -h*l - 33. Is z a multiple of 5?
False
Let x(i) = -152*i - 7. Is 46 a factor of x(-2)?
False
Let t(q) = -9*q - 1. Is 16 a factor of t(-2)?
False
Suppose -3*m = -m + 3*j - 12, -m + 6 = 5*j. Let f(g) = 5*g + 4. Let a(u) = u. Let h(b) = a(b) + f(b). Is h(m) a multiple of 20?
True
Let a(l) = -10*l**2 - 3*l + 5*l**3 + l - 6*l**3 - 6. Is 14 a factor of a(-10)?
True
Let q = 17 - 12. Suppose -4*d = 5*b - d - 93, d + 109 = q*b. Does 8 divide b?
False
Suppose 0*v - v = -11. Is v a multiple of 11?
True
Suppose r = -a + 17, -2*a + 8 = 2. Is r a multiple of 7?
True
Let c = 86 - 125. Let f = 63 + c. Is 12 a factor of f?
True
Let t = 4 + 10. Suppose -13 = 3*g + t. Does 4 divide (-3)/g*3 - -3?
True
Let p(i) = i**3 - 4*i**2 + 5*i + 4. Let c(n) = -n**3 - 7*n**2 - 8*n - 6. Let o be c(-6). Let f(q) = q**3 - 6*q**2 + q - 2. Let g be f(o). Is 8 a factor of p(g)?
True
Let k(v) = v**2 + v + 2. Let l be k(-2). Suppose -4*a + 29 - 9 = -5*o, -a + l*o = -5. Is a even?
False
Let u(r) be the first derivative of -40*r**3/3 - 3*r**2/2 + 4*r + 2. Let y be u(-4). Does 10 divide y/(-21) + (-4)/(-14)?
True
Let r = -11 + 40. Is r a multiple of 12?
False
Let m(i) = -3*i - 13. Let d be m(-6). Suppose 0 = -d*l + 7*l - 168. Does 23 divide l?
False
Suppose -7*r = -3*r - 104. Does 15 divide r?
False
Let o be -2 + -1 + 4 + 77. Does 19 divide (-1)/2 + o/4?
True
Suppose -4*u + 26 = -2*u. Let h = u + -3. Is 3 a factor of h?
False
Let r(l) be the first derivative of 3*l**2/2 - 4*l - 3. Is r(10) a multiple of 9?
False
Suppose -2*t - 21 + 127 = 3*r, -122 = -3*r + 2*t. Let d = -26 + r. Is d a multiple of 6?
True
Let s(u) = u**3 + 5*u**2 + u + 3. Let a = -5 + 2. Is s(a) a multiple of 8?
False
Let s(n) = -n**2 - 7*n - 2. Let m be s(-6). Suppose m*o - 111 = o. Is o a multiple of 10?
False
Suppose c - 2*c = 2. Let i(t) = -t**2 - 5*t - 2. Let l be i(-5). Is 8 a factor of -1 - c - (l - 13)?
True
Let q(p) = -7*p - 1. Let w be q(-1). Suppose -l = -3*f + 5, 3*f - 25 = -w*l + 2*l. Suppose 3*k + l*y = 68 + 34, 2*k - 2*y - 54 = 0. Is k a multiple of 10?
True
Let z(i) = -6*i**3 - 2*i**2 + i - 2. Let l(m) = 3*m**3 - 2*m**2 + 1. Let d be l(1). Let u be (6/6)/((-1)/d). Is z(u) a multiple of 21?
False
Suppose -3*y + 39 - 10 = -w, 0 = 3*y - 12. Let h = w - -33. Suppose 2*u - 24 = -2*m, h = 5*u + 4*m - 45. Does 13 divide u?
True
Let c(n) = -5*n - n**2 + 5*n - 1 - n - 51*n**3 - n. Does 17 divide c(-1)?
True
Suppose -50 - 510 = -20*j. Does 7 divide j?
True
Let s = 185 - 53. Suppose 5*q - s = 2*q. Is q a multiple of 9?
False
Let y be (-2)/(-8) - 105/(-28). Suppose 4*l - 28 = -z, y*l - 56 = -2*z - 0*l. Does 9 divide z?
False
Let x be (-10)/(-25) - 346/(-10). Let p(r) = -r**3 + 11*r**2 - 12*r - 3. Let l be p(10). Let h = l + x. Is 6 a factor of h?
True
Does 12 divide (-1)/(2/6)*-24?
True
Is 36 a factor of ((-112)/6 + -2)/(8/(-60))?
False
Let t(v) = -8*v - 1. Let a(p) = p**2 + 8*p - 5. Let i be a(-8). Does 13 divide t(i)?
True
Let f(l) = l. Let h be f(3). Let o be (6/(-9))/(-1)*h. Suppose -4*v + 2*d + 3*d = -19, v - 21 = -o*d. Is v a multiple of 11?
True
Suppose -4*c + 71 = -3*f, -3*c = -2*f - 23 - 31. Is c a multiple of 19?
False
Suppose 0*y = 3*y + 18. Let o be (-32)/y + (-1)/3. Suppose 46 = 3*r - 3*b - b, -4*r = -o*b - 61. Is 7 a factor of r?
True
Suppose 3*r = -0*r + 192. Does 20 divide r?
False
Let x(m) = m - 9. Let w be x(12). Let n(o) = -w*o - o + 7 - o**2 - 2*o + 0*o**2. Is n(-5) a multiple of 12?
True
Suppose 7*b - 70 = 2*b. Does 7 divide b?
True
Suppose 0 = 2*b + 8, -3*v + v - b - 10 = 0. Let c = -6 - -4. Is 11 a factor of 24 - (v - 2/c)?
False
Let o(w) = -w + w**3 + 4 - 2*w - 6 + w**2. Let v be o(-2). Does 10 divide (2 - v) + 2*4?
True
Let y be -43 + (-7)/(7/2). Is 4 a factor of y/(-12) + (-4)/(-16)?
True
Suppose 3*k + 21 = 4*o, 3*k + 1 + 5 = -o. Let z be o*((-20)/(-6) + -2). Suppose 48 = -2*d + z*d. Is d a multiple of 8?
True
Suppose 146 = 7*g - 134. Does 12 divide g?
False
Let q(s) = -13*s**3 - 3*s**2 - 3*s - 16. Is 54 a factor of q(-3)?
False
Suppose 7*p - 3*p - 12 = 0, p = -3*g - 75. Let y(f) = -7*f + 4. Let c be y(3). Let s = c - g. Is 5 a factor of s?
False
Suppose 5*g + 72 = 3*s - 71, -2*g - 214 = -4*s. Is s a multiple of 28?
True
Suppose -y + 4*v = -8, 4*v + 65 = 4*y - 27. Suppose 6*t - 2*t = y. Suppose 3*c = -12, 4*p - 3*c = -t*c - 4. Is 3 a factor of p?
True
Let x = -179 + 124. Let d be 2/(-9) - x/45. Does 12 divide d + -3 + (-72)/(-3)?
False
Let f(g) = -g - 3. Let n be f(-5). Let j be ((0/2)/2)/(-2). Suppose j = -5*s + w - 5*w + 70, 5*s - 40 = n*w. Does 4 divide s?
False
Let u(m) = -2*m**3 - 2*m - 4. Is 7 a factor of u(-3)?
True
Suppose -2*r = 4*t + 42 - 10, r + 20 = -3*t. Let j = -13 + 31. Let c = r + j. Is c a multiple of 3?
False
Suppose -2*y = -0*y - 62. Does 6 divide y?
False
Suppose 8*y + 0*y - 480 = 0. Is y a multiple of 10?
True
Suppose -y + 6*d = 5*d - 306, 15 = -3*d. Does 58 divide y?
False
Is 10 a factor of (-8)/(-2)*28/8?
False
Let b(v) = -v**2 + 7*v - 9. Let u be b(6). Let i = u + 5. Does 11 divide (-2)/(204/(-99) + i)?
True
Suppose -7*t - 6*t = -2184. Is t a multiple of 21?
True
Let t(n) = -2*n**2 + 0*n**2 - 8*n - 3 + n**2. Is 3 a factor of t(-6)?
True
Suppose 4*r - 156 = -2*g, -2*g + g - 5*r + 69 = 0. Does 21 divide g?
True
Suppose -y + 17 = 3. Is y a multiple of 7?
True
Let o(w) = w - 2. Let v(d) = d + 16. Let p be v(-8). Let c be ((-30)/p)/(15/(-40)). Is 3 a factor of o(c)?
False
Suppose -4*j + 2*i = -616, -5*i = -4*i - 4. Is j a multiple of 13?
True
Let h(b) be the third derivative of b**6/120 + b**5/60 - 49*b**3/6 + 2*b**2. Let z be h(0). Let y = -23 - z. Is y a multiple of 11?
False
Suppose -y = 2*c - 14, 3*c - 2*y - 28 = -0*y. Is c a multiple of 2?
True
Let c(g) = g**3 - 11*g**2 - 4. Let q be c(11). Is 12 a factor of ((-10)/5)/(q/78)?
False
Let z(v) = 4*v - 4. Let q = 2 + 1. Let s = 8 - q. Is z(s) a multiple of 8?
True
Is 5/((-175)/(-3556)) - 2/(-5) a multiple of 35?
False
Suppose j - 8 = -3. Suppose 0 = 2*z + d - 64, 2*d + 2*d + 186 = j*z. Is z a multiple of 17?
True
Let t = 34 + -12. Is 16 a factor of t?
False
Suppose -3*z - 18 - 97 = g, 74 = -2*z + 2*g. Let l(d) = 7*d + 2. Let u be l(9). Let x = u + z. Does 14 divide x?
False
Let f(m) = -2*m**2 - 37*m + 20. Does 10 divide f(-17)?
False
Let w(z) = 16*z. Let a = -2 + 4. Does 13 divide w(a)?
False
Let t = -25 - -57. Is 16 a factor of t?
True
Let r(p) be the third derivative of p**7/840 - p**6/180 - p**5/30 - p**4/24 + p**3/2 + 3*p**2. Let j(x) be the first derivative of r(x). Is 15 a factor of j(4)?
True
Suppose -5*x - 2*g - 666 = 0, 2*x + g + 135 + 131 = 0. Let d = x - -83. Let m = d + 75. Is m a multiple of 12?
True
Suppose 4*t - 5 = y + 5*t, y - 25 = 5*t. Suppose -i + 4 + 43 = -4*g, y = -5*i + 2*g + 145. Is 15 a factor of i?
False
Is (-1)/(-4)*3216/12 a multiple of 17?
False
Suppose 0 = p + 3*p - 60. Suppose -v + p = -6*v. Is 14 a factor of ((-54)/2)/(3/v)?
False
Let k = 90 - 22. Does 17 divide k?
True
Let a(k) be the third derivative of k**4/24 + 2*k**3 - k**2. Let m(l) = -l**2 + 2*l - 1. Let f be m(-2). Does 2 divide a(f)?
False
Let f(w) = 7*w - 7. Suppose -2*l = -3*b - l - 1, 0 = l + 2. Let n(y) = -5*y. Let z be n(b). Is 16 a factor of f(z)?
False
Let t(g) = g**3 - 4*g**2 + 6*g - 8. Is t(4) a multiple of 8?
True
Suppose x + 5 = 0, x = -2*p - 2*p + 439. Does 16 divide p?
False
Let m = 102 - 39. Let z = -34 + m. Suppose 0 = -i - k + 17, -k + z = i - 6*k. Is 8 a factor of i?
False
Let n = 270 + -172. Suppose -2*r + 110 = 3*p + 28, 4*p - 3*r = n. Is 13 a factor of p?
True
Suppose -7 = -4*v + 1. Suppose -5*d + v*d + 18 = 0. Does 6 divide d?
True
Suppose -4*c = -2*i - 114, -4*c = 4*i - 2 - 130. Does 10 divide c?
True
Suppose -4*k + 143 + 33 = 0. Suppose 0 = 5*x - 2*x - i - 28, 5*x - i = k. Does 8 divide x?
True
Suppose 0 = h + h + 8, -a + 4*h = -111. Does 21 divide a?
False
Suppose 0 = -5*i + 4*z + 106 + 159, -4*i = -5*z - 221. Suppose -5*x = -21 - i. Suppose -1 = -3*d + x. Is 3 a factor of d?
False
Suppose 10*k = 5*k + 400. Let x = 118 - k. Is x a multipl