 w - 2*y - 245. Is 10 a factor of w?
False
Suppose 3*n - 5*n = -10. Let i = 40 - n. Suppose b - 13 - 12 = 2*k, 0 = -2*b + k + i. Is 4 a factor of b?
False
Suppose 2 = -3*h + 11. Suppose 0 = -5*c + h*c + 12. Does 3 divide c?
True
Let s be -3 + (-6)/(-2) + 2. Is (-53)/((-1)/(3 - s)) a multiple of 20?
False
Suppose 3 = i + u - 0, 3*u + 5 = 4*i. Suppose -9 = -i*a + 73. Does 21 divide a?
False
Suppose -27 = -8*j + 517. Does 7 divide j?
False
Is (-1164)/(-30) + (-1)/(-5) a multiple of 8?
False
Let m = -154 - -226. Is m a multiple of 8?
True
Let t(d) = 7*d - 4. Is t(8) a multiple of 12?
False
Let b be (-2 - 0 - 4) + 3. Let n(m) = -m - 6. Let o be n(b). Let f = o - -28. Is 12 a factor of f?
False
Suppose -2*r - 60 = -6*r. Does 3 divide r?
True
Let k(g) be the first derivative of -g**6/120 - g**5/60 + g**3/2 - g**2/2 + 2. Let f(s) be the second derivative of k(s). Does 13 divide f(-4)?
False
Suppose 160 = 7*q - 3*q. Is 12 a factor of q?
False
Let b(k) = k + 3. Is 2 a factor of b(3)?
True
Suppose 0 = -4*f + 2*c + 138, 5*f + c = 4*f + 36. Suppose f = -5*y + 255. Is (2/(-4))/((-2)/y) a multiple of 5?
False
Let n(p) = -5*p**3 + p**2 - 3*p - 5. Let w(o) = -6*o**3 + 2*o**2 - 4*o - 6. Let m(q) = -7*n(q) + 6*w(q). Let k = 8 - 5. Is 3 a factor of m(k)?
False
Suppose 0 = -2*k + 3*k + 5. Let x = 11 + k. Is 3 a factor of (-32)/x*12/(-8)?
False
Let j(s) = s**2 - 2*s + 57. Is 62 a factor of j(10)?
False
Let v(a) = -2*a + 4. Let c be v(-3). Let s = 6 - c. Is 6 a factor of (-82)/(-7) - s/14?
True
Let o be 92/(4*-1) + 3. Let z = 34 - o. Does 27 divide z?
True
Let v(y) = -6*y**3 - 2*y**2 + 2*y + 2. Is v(-1) a multiple of 3?
False
Let p be 4/(-6) - 790/(-15). Let w = -16 + p. Does 18 divide w?
True
Let y(b) = -b**3 - b**2 + b + 1. Let k(p) = -2*p**3 - 13*p**2 + 10*p. Let j(n) = k(n) - y(n). Does 9 divide j(-13)?
False
Suppose -651 - 101 = -8*d. Does 16 divide d?
False
Let r(c) = -49*c + 8 + c**2 + 0*c**2 + 57*c. Does 8 divide r(-9)?
False
Let s(h) = -2*h**2 + 5*h - 3. Let g be s(-4). Let z = 103 + g. Is 24 a factor of z?
True
Suppose -3*q - 16 = -5*l, -2*q = 4*l - 6*l + 8. Let t be (q - -3)/((-2)/(-6)). Let k = t + 4. Is 7 a factor of k?
True
Let t = 35 - 16. Does 3 divide t?
False
Suppose 4 = -0*p + 2*p. Let c(i) = i + 5. Let f be c(-7). Does 16 divide f - (p + 0 - 28)?
False
Let r(y) = 44*y**3 + 1. Does 15 divide r(1)?
True
Suppose 0 = 115*j - 119*j + 124. Does 6 divide j?
False
Let x be 2262/(-30) + (-4)/(-10). Let z = x - -108. Is z a multiple of 16?
False
Suppose 8 + 1 = -z. Let y be (-3)/(-3 - z/2). Let f = y - -14. Does 6 divide f?
True
Let a be 242/10 + (-1)/5. Suppose -7*d = -3*d - a. Is d even?
True
Let r be -2 + (0 - 1) + 5. Suppose g - 9 - 11 = -r*k, 2*k - 20 = 3*g. Suppose -5*p - k + 30 = 0. Is p even?
True
Suppose -11 + 5 = -2*w. Suppose 0 = -t - 0 + w. Does 2 divide t?
False
Suppose 3*j = -0*v + 3*v + 24, -4*j - v + 32 = 0. Let d(t) = -j - 3 - 2*t + 1. Is 7 a factor of d(-9)?
False
Let g(k) = -17*k**3 + k**2 + 6*k + 5. Is 10 a factor of g(-2)?
False
Let j = 59 - 35. Let z = 49 - j. Is 9 a factor of z?
False
Let r(p) = -22*p**2 - 2*p - 1. Let d be r(-1). Let s = d - -4. Let g = 30 + s. Does 7 divide g?
False
Let u(y) = -3 + 0*y**2 + 3*y - y**2 + 2*y**2 - 2. Is u(-5) a multiple of 3?
False
Suppose -2*x - 79 = 27. Let l = -37 - x. Is l a multiple of 15?
False
Let z = -8 + 22. Does 11 divide ((-36)/7)/((-3)/z)?
False
Suppose -7*o = -3*o + 5*x - 7, 0 = -3*x - 3. Let n(z) = 17*z - 4. Is 17 a factor of n(o)?
False
Let y = 20 + -8. Is 3 a factor of y?
True
Let d(q) = q**3 + 10*q**2 + 11*q - 5. Let t be d(-8). Suppose t = 4*x - l - 57, -2*x + 28 = -5*l. Is x a multiple of 15?
False
Let l = -82 + 118. Is 12 a factor of -1 + l + 0 + -2?
False
Let u be (-142)/(-1) - (-1 - 1). Let t = -126 - -86. Is u/5 + (-8)/t a multiple of 11?
False
Let c be (2 - 2)/4*-1. Suppose -132 - 78 = -5*q. Suppose -q = -c*y - 3*y. Is 6 a factor of y?
False
Let k = 359 - 200. Is 16 a factor of k?
False
Is 13 - (-3 + 15/3) a multiple of 3?
False
Let k(g) = g - 5. Let d be k(6). Let t be 1*(d + 8)/3. Is 4 a factor of (-3 - 3)/t - -14?
True
Let m be 9/6 + 2/(-4). Let n = 3 - m. Suppose u - 20 = -n*k, -u - 2*u + 54 = 4*k. Is u a multiple of 8?
False
Let o(x) = 1 + 3*x + 3*x - 2 + 2. Is 10 a factor of o(2)?
False
Let o be (24/20)/(3/10). Suppose -211 = -3*w + r, 328 = o*w - 4*r + 36. Suppose -3*t = -3*i + 27, -3*t + w = 4*i - 2. Is 6 a factor of i?
False
Let n(u) = u**3 + 14*u**2 + 5*u - 2. Let d be n(-12). Let y = d - 144. Suppose 3*h - y = 4*k, 5*h - k - 118 = h. Is h a multiple of 16?
False
Let f = -4 - -7. Suppose -f*p = -8*p + 55. Suppose -5 = o, 4*y + 5*o - p = 2*y. Does 9 divide y?
True
Let u = 136 + -52. Does 28 divide u?
True
Let w(o) = -5*o + 2*o + 0*o + 2*o**2 - 3*o + 5. Let u be w(9). Suppose -3*h - 78 - u = -4*a, a - 2*h = 54. Is a a multiple of 13?
False
Let v be 0 + 1 - (-3 + 1). Suppose v*b - 6 = 5*b. Does 3 divide b/(-2)*(-5 - -9)?
True
Is -1 + 5/((-10)/(-88)) a multiple of 19?
False
Let t(o) = 12*o - 3. Let d be t(-4). Let p = -9 - d. Is p a multiple of 11?
False
Let o = -6 + 9. Suppose 7*p - 20 = o*p, 5*i + 3*p - 30 = 0. Suppose i*m - 2 = b + 13, -5*m - b = -17. Does 3 divide m?
False
Suppose 0 = -30*b + 32*b - 6. Is b even?
False
Let x(l) = l**3 + 9*l**2 + 8*l + 4. Let a be x(-8). Suppose 0 = a*h - 27 - 101. Does 16 divide h?
True
Let b(z) be the third derivative of z**6/120 - z**5/30 - z**4/24 - z**3/2 - z**2. Suppose 5 + 4 = 3*l. Is 3 a factor of b(l)?
True
Suppose -k = -4*a + 2*a + 2, -k = -4*a + 4. Suppose k = 5*r - 15 - 15. Does 3 divide r?
True
Let j(s) = 12*s + 4. Let g be j(-3). Let m = 20 + g. Let h = -2 - m. Is h a multiple of 5?
True
Let h(l) = l + 5. Does 3 divide h(12)?
False
Suppose -h - 3 = 3*b + 2*h, -11 = -b + 3*h. Is 13*(b + -1) + -2 a multiple of 7?
False
Let u = 1 + -1. Let g(m) = -m**3 - 3*m**2 - 5. Let n be g(-4). Suppose -4*p + n + 1 = u. Is 3 a factor of p?
True
Let y(j) = 0 + 3*j**2 - 2*j**2 + j - 1. Is 11 a factor of y(3)?
True
Let j(v) = v**2 + 5. Does 5 divide j(0)?
True
Let l(k) = -3*k**2 + 11*k + 2. Let x(r) = -5*r**2 + 21*r + 5. Let c(q) = -7*l(q) + 4*x(q). Is 4 a factor of c(-7)?
False
Let a(v) = 2*v**3 - 2*v**2 - 3*v + 2. Let s be a(2). Is (-6)/s*152/(-6) a multiple of 16?
False
Let s(r) = -2*r**2 + 2*r + 1. Let f be s(-1). Let p be f/(3/2) - -5. Suppose 2*n = -3*k - p*n + 24, -k + n + 16 = 0. Is 13 a factor of k?
True
Suppose 2*u = -u + 6. Suppose 0 = u*m - 5*r + r - 48, 4*m + 2*r - 46 = 0. Is m a multiple of 5?
False
Suppose l + 10 = 5*l - 5*d, 0 = -l - 3*d - 6. Suppose -3*u + 4*u - 21 = l. Does 7 divide u?
True
Let j be (1 - 1)/2 + 3. Let i(p) be the first derivative of 3*p**2 + 2*p - 5. Is 10 a factor of i(j)?
True
Let t(r) = -4*r**2 + 3*r + 0*r**2 + 0*r**2 + 0*r**2 - r**3. Is 7 a factor of t(-5)?
False
Let o = -112 + 167. Suppose -5*n - 13 = -2*f + 15, -3*f + o = -n. Is 16 a factor of f?
False
Is 18 a factor of 46 - ((-12)/(-4))/1?
False
Let l(u) = 2*u + 2. Let a = 25 - 18. Let t be l(a). Suppose -4*o = -0*o - t. Is o even?
True
Let l(x) = x**3 + x**2 + x - 2. Let d be l(0). Let i be 0 - (-3 + 1) - d. Suppose v + 0*v = i. Is 4 a factor of v?
True
Let w = -127 + 365. Does 13 divide w?
False
Let s(n) = -n**3 - 9*n**2 + 4*n + 7. Let j(l) = -l**3 - 8*l**2 + 5*l + 7. Let q = 7 - 5. Let u(m) = q*s(m) - 3*j(m). Is u(-6) a multiple of 14?
False
Suppose 0 = 15*z - 6*z - 180. Is z a multiple of 4?
True
Suppose 0 = -b + 7*z - 6*z + 96, 0 = b + 3*z - 92. Is b a multiple of 13?
False
Let s = -2 - -5. Suppose 3*p = s*i, 12 + 8 = 2*p + 2*i. Let h = p + 1. Is 6 a factor of h?
True
Suppose 504 = -5*s + 9*s. Is s a multiple of 18?
True
Let m be -1 + (-1)/2*-74. Suppose -3*t = -2*t - m. Is 13 a factor of t?
False
Let a be 100*(2 + -3 - -3). Suppose -68 - a = 4*w. Let x = w - -110. Is x a multiple of 15?
False
Let k(t) = t**2 - t - 2. Let c be k(2). Let f(g) = g. Let z be f(c). Suppose -3*r + 21 = d, -4*r - 132 = -4*d - z*r. Does 15 divide d?
True
Suppose 0 = -w - 12 + 42. Is w a multiple of 4?
False
Let m(p) = -p**3 - 8*p**2 - 7*p. Let x be m(-7). Suppose x = -3*d + 2*w + 71, 2*w - 5 = 5. Is 12 a factor of d?
False
Let z(a) = -a**3 - 14*a**2 - 12*a + 6. Let k be z(-13). Let p(h) = -5 + 4 - h + 4. Is p(k) a multiple of 10?
True
Suppose y = -2*m + 55, -220