a factor of l?
True
Is -1 + 5 + -2 - -38 a multiple of 20?
True
Suppose -2*n - 8 = 0, k + 3*n + 177 = -2*k. Is 5 a factor of 5/2*(-308)/k?
False
Suppose 0 = 9*s + 55 - 190. Is 14 a factor of s?
False
Let j(s) = -3*s**2 + 8*s**2 + 1 - 4*s + 2. Let r be j(2). Suppose 2*v + 24 = 2*t, 5*v + 35 = 4*t - r. Does 10 divide t?
True
Let y = -10 - -45. Let u = 60 - y. Is 8 a factor of u?
False
Let p = -4 - -1. Let x be -12 - p*(-2 + 1). Let g = 8 - x. Is 12 a factor of g?
False
Let m(a) = -9*a**3 + 3*a**2 + 3*a + 2. Is 17 a factor of m(-2)?
False
Suppose 0*o - 111 = -3*o. Let w = o - 24. Does 12 divide w?
False
Suppose y = 4*y - 33. Does 9 divide y?
False
Let z(j) = 5*j + 13. Is z(8) a multiple of 5?
False
Let k(o) = o**3 - o**2. Let h be k(1). Let r(x) be the second derivative of -x**5/20 - x**4/12 + x**3/6 + 15*x**2 - 2*x. Does 15 divide r(h)?
True
Is -1 + -1 + 26 + 1 a multiple of 25?
True
Suppose 5 = -2*v - 5*j, -3*v + 4 = -5*j - 1. Suppose 5*k - 40 = -v*k. Is 8 a factor of k?
True
Let p(g) = 43*g. Let y be (2/(-10))/(1/(-5)). Let l be p(y). Suppose -2*f + 9 + l = 0. Does 12 divide f?
False
Suppose -4*x + 84 = -120. Is 26 a factor of x?
False
Let k(h) = 35*h - 1. Let c be k(3). Suppose -3*w + 5*w = c. Is 24 a factor of w?
False
Suppose 2*m + m + 3*y = 573, 575 = 3*m + 5*y. Suppose 3*v + 64 = m. Is 22 a factor of v?
False
Let a = 8 - 8. Suppose 2*f - 9 - 31 = a. Is 10 a factor of f?
True
Let y be (-1 + -82)*5/(-5). Is y/3 - 1/(-3) a multiple of 18?
False
Let c = 27 - -9. Is 18 a factor of c?
True
Suppose 0 = -3*j - t + 134, -4*t = 3*j + t - 130. Is 13 a factor of j?
False
Let w(b) = -b**2 + 4*b + 3. Let r be w(4). Suppose 0 = -2*f - 3*x, -3*f + 2*f - 3 = r*x. Is 2 a factor of f?
False
Let b(w) = -w**3 - 3*w**2 + 8*w + 7. Suppose -c = -4*h - 3, 3*c - 5*h = -4 - 1. Is b(c) a multiple of 7?
False
Suppose -2*c - 29 = -5*x, -2*c = -0*x + x - 1. Suppose -28 = -5*m + x*n + 97, -3*n = m - 21. Does 8 divide m?
True
Suppose 5*a = 4*j - 33, a + 10 + 5 = 5*j. Suppose 4*q + 4 = c + 18, 3*c = -j*q + 28. Does 9 divide (2 - c)/(6/(-33))?
False
Let c = 16 + 22. Suppose -5*q + c = -4*q. Does 19 divide q?
True
Suppose 25*u + 40 = 26*u. Is 20 a factor of u?
True
Suppose 0 = -5*s - 2*w + 750, 0 = s + 3*s + 2*w - 598. Does 33 divide s?
False
Suppose 0 = 4*c + 16 - 0. Let u(r) = -6*r - 6. Is u(c) a multiple of 14?
False
Let o = -12 - -17. Suppose 4*v + 5*m - 2*m = 291, -v = 2*m - 79. Suppose o*l + 4*i = v, -3*l + 38 = -i - 0. Does 7 divide l?
False
Let w = 60 + -35. Is 4 a factor of w?
False
Suppose 0 = 5*m - 0*m - 5. Suppose -m = j - 14. Does 4 divide j?
False
Let g be 4/14 - 531/21. Let n = -15 - g. Does 7 divide n?
False
Suppose -3*r + 3 = 0, -2*r = d - 6*r + 1. Suppose -3*g = -q - 1, 0 = -2*q - 5*g - 7 - 6. Is (q/d)/((-2)/27) a multiple of 11?
False
Suppose 3 = 2*d - 1. Suppose -d*u + 4*n = 2*n + 20, 4*u + 3*n + 19 = 0. Let t = 3 - u. Does 7 divide t?
False
Let d(k) = -k**2 - 6*k - 7. Let o be d(-5). Is 4 a factor of o/4*(-9 - 1)?
False
Let q(x) = x**3 - 12*x**2 - 7*x - 14. Let r be q(13). Suppose 3*j = -j + r. Is 8 a factor of j?
True
Let w = -4 + 5. Suppose d = -0 + w. Is ((0 + -1)*-27)/d a multiple of 9?
True
Let a(q) be the first derivative of 2*q**3 - q**2/2 - q - 2. Does 19 divide a(-2)?
False
Let o = -312 + 567. Is o a multiple of 16?
False
Suppose 92 = -4*t + 6*t. Let p = 94 - t. Does 12 divide p?
True
Let z(r) = -7*r**3 + 2*r**2 - 1. Let k(a) = 7*a + 2. Let j(o) = 6*o + 3. Let q(n) = -6*j(n) + 5*k(n). Let g be q(-7). Is 4 a factor of z(g)?
True
Let s be (-1 - 0) + (0 - -1). Suppose 4*q = -u + 47, -2*q - 3*u + s*u + 31 = 0. Suppose -g + 2*d = -35, 0 = g + 3*d + 1 - q. Is 11 a factor of g?
False
Suppose 4*i - 23 = -3. Let v(k) = 2*k**3 + 3*k**2 + 2*k + 2. Let r(p) = p**3 - p**2 + p - 1. Let a(d) = -3*r(d) + v(d). Is 11 a factor of a(i)?
False
Suppose r + 3*g - 23 - 19 = 0, 2*r - 76 = -4*g. Does 18 divide r?
False
Let l be 20/30 + 22/(-6). Is 24 a factor of (0 - (l - -6)) + 51?
True
Let n = -15 + 26. Is 11 a factor of n?
True
Let f(r) be the third derivative of r**6/120 + r**5/60 + 19*r**3/6 + 4*r**2. Is f(0) a multiple of 19?
True
Let l = -9 - -19. Let v = 16 + l. Is v a multiple of 6?
False
Let j = 1 + 1. Suppose -j = -2*r + 6. Is r a multiple of 4?
True
Let v be -3 + 1 + -5 + 4. Let p = v + 41. Suppose 3*w = 5*c + 63, w - 4*c = 2*w - p. Is 18 a factor of w?
False
Let p be ((-4)/(-10))/(4/60). Let u(f) = f**3 - 7*f**2 + 7*f - 4. Is u(p) even?
True
Is 4 a factor of 1/4*(6 + 86)?
False
Suppose h - 3*h = -14. Let a = h + -12. Is 6 a factor of (-87)/a - (-6)/(-15)?
False
Suppose 2*b + 3*q - 6*q - 19 = 0, -6 = -2*q. Does 4 divide b?
False
Let y be (-1 + 7)*(-2)/(-6). Let j(i) = -i**y - 3*i + 9 - 1 - 3*i. Is 3 a factor of j(-6)?
False
Let s = -16 + 35. Suppose s = 2*z - 3*h, -z + h + 41 = 4*z. Suppose 4*g = z + 12. Does 2 divide g?
False
Suppose -j + 1 = -2. Suppose -2*r - 3*d = -2, 2*r - j*d - 2 = -4*d. Does 10 divide 96/3 - (r + 1)?
True
Let u(b) = 37*b - 1. Suppose -n = -2*f - 2, -4*f + 0 + 2 = n. Let y be u(n). Let h = y + -24. Is h a multiple of 18?
False
Suppose -5*h + 22 - 2 = 0. Let x(b) = -h*b - 8 - 2*b**2 - 4*b**3 + 3*b**3 + 3*b**2 + 7*b**2. Is 11 a factor of x(7)?
False
Suppose 2*h - 3*h = 3*w - 196, -h = 4*w - 263. Does 14 divide w?
False
Let o(p) = 45*p - 9. Is o(3) a multiple of 18?
True
Let f(c) be the first derivative of -4/3*c**3 - c**2 - 1/4*c**4 + 3 - 2*c. Is 6 a factor of f(-4)?
True
Let t(k) = -10*k + 9. Does 17 divide t(-7)?
False
Let v = 11 - 6. Let n(t) = t. Let c(y) = -y**2 + 3*y + 4. Let k(z) = -c(z) + 3*n(z). Is 9 a factor of k(v)?
False
Let n(a) = -a**2 + 11*a + 4. Let s = 10 - 2. Is 19 a factor of n(s)?
False
Is 2 - (-64)/(-36) - (-480)/27 a multiple of 6?
True
Let v(n) = -n**3 - 11*n**2 - 13*n + 20. Is v(-10) a multiple of 9?
False
Suppose 5 = -h - 9*b + 4*b, -24 = -4*h + 2*b. Suppose -3*n + 4*z = 22, -h*n + 5*z - 40 = -0*n. Is -1*(6/3 + n) a multiple of 8?
True
Let w(f) = f**3 + 14*f**2 + 10*f - 9. Does 10 divide w(-13)?
True
Suppose -5*i = -10*i + 3*h + 125, -5*h - 25 = 0. Let p = 1 + i. Does 4 divide p?
False
Let m be (-58)/3 - 1/(-3). Let j = 30 + m. Is 2 a factor of j?
False
Let g(a) = -45*a + 2. Is 6 a factor of g(-1)?
False
Let d = 29 + -4. Is 25 a factor of d?
True
Suppose 0 = -y - 2*y + 3. Let t = y + -1. Suppose 12 = -4*a + 3*b - 7*b, -a + 4*b + 22 = t. Is a even?
True
Suppose 0 = 5*d - 5*n - 435, -4*d + 318 = n - 20. Is d a multiple of 5?
True
Let z(l) = 2*l**2 + 4*l - 3. Let o be z(-5). Suppose -o = 2*w - 63. Is w a multiple of 18?
True
Let v(w) = -5 + 3*w**2 + 3 + w**3 + 0*w + w. Let r be v(-2). Suppose 2*n = -r*n + 52. Does 13 divide n?
True
Suppose 5*s - 151 = 99. Does 10 divide s?
True
Let p be 2/7 + 96/(-42). Is 3 a factor of (3 + p)/(2/14)?
False
Suppose 4*o - 13 - 11 = 0. Let m = o + -2. Suppose -4*n = m*k - 112, 4*k + 83 = 3*n + 6. Does 14 divide n?
False
Let c(w) = -2*w + w**2 + 0*w**2 - 6 - 1. Is c(-5) a multiple of 14?
True
Suppose s + s - 30 = 0. Is 3 a factor of s?
True
Let u(j) = 18*j**2 + 4*j - 3. Let m be u(3). Let v = -108 + m. Suppose 2*b + v = 5*b. Does 13 divide b?
False
Let z = 133 + -88. Does 9 divide z?
True
Let l = -21 + 11. Let o be -157 + -1 + 1*2. Is -5*(o/l)/(-3) a multiple of 13?
True
Let x = 129 - 12. Does 13 divide x?
True
Suppose 4*x - 8 = 12. Suppose -x*g + 12 = 3*k + 32, 4*g + 16 = k. Suppose 5*i = 4*y + 58, -y + 3*y - 6 = k. Does 14 divide i?
True
Let r be 0 + (1 + 3 - 2). Suppose a + 16 = 4*u, 5*a - r*u + 70 = 26. Let q = -5 - a. Does 3 divide q?
True
Let t(k) = 4*k**3 + k - 1. Let j be t(1). Suppose 3*c + 357 = -0*c. Is (-5)/(-20) - c/j a multiple of 10?
True
Let w = 180 - 334. Let z = w + 300. Suppose 4*o = 34 + z. Does 16 divide o?
False
Let g(s) = s**3 - 7*s**2 + 6*s + 1. Let v be (-1)/3 + (-19)/(-3). Let q be g(v). Is 12 - (q + (3 - 1)) a multiple of 9?
True
Suppose 0 = -3*r + o + 4*o + 103, -3*o = 2*r - 56. Is r a multiple of 13?
False
Let m be (22/(-4))/((-4)/(-8)). Let j = 0 - m. Does 11 divide j?
True
Let q(w) = -3*w - 5. Is 5 a factor of q(-5)?
True
Let b(o) = -o + 4. Let d be b(7). Let m = d - -16. Suppose 2*a - m = 31. Is 13 a factor of a?
False
Let n(y) = y**2 + 3*y. Suppose -3*g - 2 = -8. Suppose -13 = g*h - 1. Is 9 a factor of n(h)?
True
Suppose 2*n + 3*c = 2*c - 1, -2*n 