 z = -16 + 35. Let k = z + 50. Is 24 a factor of k?
False
Let m(c) = c - 1. Let l(p) = -3*p + 3. Let q(w) = -l(w) - 2*m(w). Suppose 0*n = 3*n + 5*i - 8, i = 5*n - 32. Does 4 divide q(n)?
False
Is (2 - 1)/(4/324) a multiple of 23?
False
Suppose -4*d - d - 5 = 0, a + 2*d - 1 = 0. Is 3 a factor of a?
True
Let d(a) = 20*a - 1. Let k be ((-20)/(-35))/(4/14). Is d(k) a multiple of 13?
True
Suppose -3*l = -309 - 147. Is 38 a factor of l?
True
Suppose -25 = -5*i - 0*i. Suppose c - j + 4 = 4*c, 20 = 4*c + i*j. Suppose 2*s + 5*r + 0 - 57 = c, s = -2*r + 26. Does 9 divide s?
False
Suppose -2*s = 2*n + 10, 0 = 5*n + s - 0*s + 17. Is (-30)/(6/n) - 4 a multiple of 11?
True
Let d be 5 + (1 - (0 - -1)). Let r = 16 - 4. Let u = r + d. Is 12 a factor of u?
False
Let b = -34 - -358. Is b a multiple of 36?
True
Let n(b) = -b**2 + b + 1. Let h be n(0). Does 9 divide (h - -26) + 0/2?
True
Let p be 3/9 + 440/12. Let q = -3 + p. Is q a multiple of 17?
True
Is 11*4*8/4 a multiple of 18?
False
Let o(t) = 9*t - 5. Let c be o(3). Let i be (3/2)/((-3)/(-116)). Suppose c - i = -3*u. Does 12 divide u?
True
Let h(b) = b**3 - 2*b**2 + 4*b - 3. Let t be h(2). Suppose -t*j + j - 12 = l, 3*l - 20 = 2*j. Is l even?
True
Let u be (-6)/(-21) + 12/7. Suppose -32 = -u*b + 18. Is b a multiple of 8?
False
Let r(h) = -2*h - 9. Let w be r(-6). Suppose 5*v - 108 = 127. Suppose -3*p + 7 - v = -4*i, 0 = 2*i - w*p - 26. Is i a multiple of 7?
True
Suppose 0 = -y - 3 + 8. Does 4 divide y?
False
Suppose -4*s + 301 = 3*s. Is 9 a factor of s?
False
Suppose -957 = -9*u - 2*u. Is 29 a factor of u?
True
Suppose 0*c + 5*c - 420 = 0. Is 17 a factor of c?
False
Let r = 172 + -122. Suppose 4*l + 20 = 5*z - 13, -23 = 4*l - 3*z. Is -4 + r - (l + 2) a multiple of 23?
True
Let j be (2/(-4))/(1/4). Let n(s) = -2*s + 4*s + 0*s + 2*s**2 - 3*s**3 + s. Does 13 divide n(j)?
True
Is 11 a factor of 8/(-12) - 334/(-6)?
True
Suppose 0*y + 3*y = 0. Suppose y*a - 45 = -3*a. Does 5 divide a?
True
Suppose -6*l + 28 = -122. Is 25 a factor of l?
True
Suppose 5*j - 195 = -c, -6*j = -3*j + 5*c - 117. Suppose 2*h - j = 7. Suppose 0 = m - h - 1. Is m a multiple of 17?
False
Let a(l) = -3*l - 2. Let t be a(-2). Does 15 divide t/18 - (-1209)/27?
True
Let u(f) = 2*f**2 - 10*f - 1. Let v(p) = 2*p + 1. Let b be v(3). Is 11 a factor of u(b)?
False
Let n(j) be the first derivative of j**4/4 + 5*j**3/3 - 7*j**2/2 - 3*j - 2. Let a be n(-6). Let t(l) = 6*l. Is t(a) a multiple of 9?
True
Let c be (-4)/3*6/(-4). Suppose 4*t - l - 29 = 0, 2*t + 4*l + 10 = c. Is t a multiple of 2?
True
Does 8 divide 2/15 + ((-3948)/(-90) - 2)?
False
Let q(s) = s**3 + 6*s**2 - 16*s - 8. Is q(-7) a multiple of 19?
False
Let u(y) = 17*y**3 + y**2 - 2*y + 1. Is 3 a factor of u(1)?
False
Let u = -363 + 531. Is u a multiple of 42?
True
Let t(v) be the third derivative of -v**6/120 - v**5/60 + 3*v**3/2 + v**2. Let x be t(0). Let u = x - 4. Is u a multiple of 3?
False
Let u(w) = w**3 + 8*w**2 - 5. Is u(-6) a multiple of 18?
False
Suppose 0 = 2*s - 9 - 11. Is s a multiple of 5?
True
Let h(k) = k**3 + 11*k**2 - 15*k - 16. Let t(r) = 2*r**3 + 22*r**2 - 31*r - 32. Let p(u) = -7*h(u) + 3*t(u). Does 6 divide p(-12)?
False
Let d = 10 - 10. Let z(f) = f + 9. Is z(d) a multiple of 2?
False
Let f(p) = 2*p + 9. Let c(h) = -h - 4. Let u(d) = -5*c(d) - 2*f(d). Let b be u(2). Suppose 2*r = b*r - 6. Does 2 divide r?
False
Let t(s) be the third derivative of s**7/840 + s**6/360 - s**5/120 - s**4/12 + s**3/3 - 2*s**2. Let c(i) be the first derivative of t(i). Does 4 divide c(2)?
True
Let z = 18 + 50. Suppose -s + z = 3*s. Is 17 a factor of s?
True
Let p(r) = -r**3 - 6*r**2 - 5*r + 2. Let s be p(-5). Is ((-32)/12)/s*-18 a multiple of 12?
True
Let s = -18 + 21. Suppose -2*t - y + 24 + 35 = 0, -53 = -2*t - 3*y. Suppose 0 = 2*m - 2, 7*m - t = -d + s*m. Is d a multiple of 24?
False
Let w(s) = 2*s**3 + 15*s**2 + 23*s - 4. Let h(f) = -f**3 - 8*f**2 - 11*f + 2. Let q(j) = 5*h(j) + 2*w(j). Is 2 a factor of q(-9)?
True
Let r(s) = -s**2 + 11*s - 7. Let l be r(10). Suppose -4*k + l*h = h + 224, k + 3*h = -42. Let o = 92 + k. Is 16 a factor of o?
False
Suppose 3*f + 84 = 3*u, 0*u - 3*u - 56 = 2*f. Let g = -16 - f. Does 4 divide g?
True
Let d(x) = x**3 - 2*x**2 - 3*x - 4. Suppose 97 = 4*c + 17. Suppose 0 = -m - 4*m + c. Is 16 a factor of d(m)?
True
Suppose 5*c - 13 - 27 = 0. Suppose 5*t - c*t = -39. Is t a multiple of 13?
True
Let a be (0/(-2))/(4/2). Suppose -5*b + k + 190 = a, 0*b + 2*k = -b + 49. Suppose -9 = -3*h + b. Does 16 divide h?
True
Suppose -4*w + 3*w = -3*y - 31, 0 = -w - 2*y + 6. Does 4 divide w?
True
Let r = 140 - 100. Is r a multiple of 5?
True
Let t(f) = f**2 - f - 10. Let m be t(0). Let j be (1 - 4) + (-2 - m). Suppose j*v + 3*x = 5 + 23, 2*x = 3*v - 32. Is 3 a factor of v?
False
Let o(t) = 3*t + 4. Suppose 4*s + j - 20 = -j, 4*j = 5*s - 12. Suppose s*i - 4*b - 16 = -i, 0 = -4*i - b + 17. Is o(i) a multiple of 8?
True
Let z(d) = 2*d**2 - 2. Let b be z(6). Suppose -b = -5*l + g, -l + 3*g + 42 = 2*l. Does 4 divide l?
False
Let i = -1 - 1. Is i/(-6)*111/1 a multiple of 13?
False
Suppose -2*j - 8 - 2 = 0, -5*n + 5*j = -820. Does 10 divide n?
False
Let i be 32*-1*9/(-12). Let p = -6 + i. Suppose 0*h = h + 4*t - p, -5*t = 20. Is 17 a factor of h?
True
Let b(w) = w**3 + 16*w**2 - 8*w - 4. Is 31 a factor of b(-16)?
True
Is 8 a factor of (-4)/(-22) - 735/(-11)?
False
Let x be (2/(-2))/((-3)/9). Suppose -4*v - x*c = 0, 6*v - c = 2*v. Suppose 4*p - 4*n - 60 = v, p + 39 = 6*p + 4*n. Is 5 a factor of p?
False
Suppose -2*h = -d + 3*d - 10, -2*h + d = -10. Is 4 a factor of h?
False
Suppose -2 = -2*s, -5*x - 2*s - 225 = -7*s. Let g be (-140)/x - (-4)/(-22). Suppose 2*n + g = 11. Is 4 a factor of n?
True
Suppose -2 = g - 65. Is g a multiple of 21?
True
Let y(n) = -9*n**3 - 3*n**2 - 5. Let r(q) = -27*q**3 - 10*q**2 + q - 16. Let p(t) = -2*r(t) + 7*y(t). Is p(-2) a multiple of 24?
False
Suppose 4*o + 4*q = 32, 2*o = 5*o - 2*q + 1. Suppose b + 9 = 2*c, -b + 4*c + o = -2*b. Let l = b - -19. Does 10 divide l?
False
Is 7/(105/(-20))*-3 a multiple of 4?
True
Let n = 15 + 36. Does 17 divide n?
True
Let y = -16 + 22. Let a(q) = -q**2 - 10*q + 2. Let c be a(-8). Let j = c - y. Is 6 a factor of j?
True
Does 12 divide (192/112)/((-2)/(-14))?
True
Let q(b) be the first derivative of -b**3/3 + 2*b**2 + 7*b - 3. Is q(5) a multiple of 2?
True
Suppose -m - m = -3*n - 73, -m = -2*n - 35. Is 5 a factor of m?
False
Let x = -57 - -79. Is 10 a factor of x?
False
Suppose u - 4 = -u. Suppose 4*s = 2*h + 6, u*s - 15 = 3*h + 2*h. Suppose -4*w + w + 60 = s. Is 10 a factor of w?
True
Let i be 22/(2/3*1). Suppose -4*q - a + 2*a + 262 = 0, -3*q - a = -200. Let l = q - i. Is 13 a factor of l?
False
Let h(q) = 5*q**2 + 3*q - 11. Does 12 divide h(5)?
False
Is 14 a factor of (84/(-5))/(0 - 3/15)?
True
Let p = -51 - -82. Let a be -3*(-1)/(-3)*p. Let l = 12 - a. Does 17 divide l?
False
Suppose -5*q = 3*m - 54, q - 4*m = -2 - 1. Is 12/(-54) - (-533)/q a multiple of 20?
False
Suppose 3*i - 2*i + 8 = 3*r, i + 6 = 2*r. Suppose 0*k = -r*k + 34. Does 13 divide k?
False
Let y(r) = 4*r**2. Suppose 0 = -p - 2 + 3. Let d be -3*(2 - p) + 1. Does 8 divide y(d)?
True
Let z(k) = k**3 + k**2 - k + 1. Let x(c) = -4*c**3 - 11*c**2 + 8*c - 7. Let w(q) = x(q) + 3*z(q). Let f be -9*(4 - (-2 + 5)). Is 16 a factor of w(f)?
True
Let v = -12 - -8. Does 5 divide 1/(-2) - 26/v?
False
Let r = -18 - -21. Suppose -3 - 3 = -2*g, -3*p + r*g + 216 = 0. Does 25 divide p?
True
Suppose 4*t + 102 = -134. Let c = -19 - t. Is 10 a factor of c?
True
Let f(i) = i**2 - 6*i - 10. Does 30 divide f(10)?
True
Suppose 6*f = 2*f - 40. Let z be f - (-1)/(-1)*-1. Is (-24)/z + 2/6 a multiple of 2?
False
Let h = -1 + 3. Suppose h*a = -3*a + 60. Is a a multiple of 6?
True
Let w(q) = q**3 - 3*q**2 + 2*q - 3. Let v be w(3). Suppose -107 = -5*o + v. Is o a multiple of 9?
False
Suppose 4*b - 6 = 5*b. Let y = b + 8. Is (-80)/(-2) - (-4 + y) a multiple of 15?
False
Suppose 0 = -2*o - 36 - 4. Let q = o - -33. Is 13 a factor of q?
True
Suppose 2*l + 4 = 3*l. Suppose q - 2 = 2*p, l*p - 2*p - 10 = 0. Does 5 divide q?
False
Suppose 3*k + 273 = 3*n, n = -3*k - 0*k - 269. Let s = k - -134. Is 17 a factor of s?
False
Let p = 107 + 148. Is 15 a factor of p?
True
Let j = 3 + -1. Suppose 17 =