 7 divide d?
True
Let o = 40 + 4. Does 17 divide o?
False
Suppose -4*s = p - 31, -2*s = -3*p + 2*p - 17. Suppose s*o - 5*o = -6. Is (o - -1)/((-1)/13) a multiple of 9?
False
Let g be (-12)/5*(-1 - -6). Let z(a) = -a**3 - 8*a**2 - 7*a - 3. Let i be z(-6). Let d = g - i. Is d a multiple of 8?
False
Suppose -14*n + 13*n = -15. Is 5 a factor of n?
True
Let o(x) = -17*x**3 + 2*x**2 + 2*x - 2. Let g be o(-2). Is g/8 + 3/(-12) a multiple of 14?
False
Let b(y) be the third derivative of y**5/60 - 7*y**4/24 - 2*y**2. Let t be b(6). Is ((-10)/3)/(t/54) a multiple of 11?
False
Let z(c) = 2*c**3 - 4*c**2 + 3*c - 2. Let q be z(2). Let x(n) = 5*n - 8. Does 6 divide x(q)?
True
Let v(k) = 2*k**2 + 11*k - 21. Is 14 a factor of v(-9)?
True
Let k be 494/10 + 16/(-40). Suppose n + 2*c = 3*c + 17, 2*n - 5*c - k = 0. Does 6 divide n?
True
Let l(v) be the first derivative of v**4/4 - 2*v**3 + 3*v**2/2 + 2. Let i be l(2). Let d = i - -20. Is d a multiple of 5?
True
Let f be (-7)/(-3) - 2/6. Suppose -394 = -2*q + 2*j, 0 = -f*q - j + 152 + 245. Suppose 17 + q = 5*l. Is l a multiple of 10?
False
Suppose -3*h + 9 = -3. Suppose 0*d - 3 = 3*d, n - h = -4*d. Is n a multiple of 3?
False
Let r = -7 - -7. Suppose -b - 5*w - 4 = r, -2*b + 3*w + 92 = 3*b. Does 15 divide b?
False
Let l = 152 + -24. Is l a multiple of 8?
True
Let t(o) = o**2 + 8*o. Suppose -y + 22 = -3*y. Is 13 a factor of t(y)?
False
Let c = -88 - -139. Suppose 2*r - 59 - 59 = -5*u, -2*u + c = -3*r. Is 10 a factor of u?
False
Suppose -y + 18 = -5*j, -2*j - 28 + 172 = 5*y. Does 9 divide y?
False
Let b(m) = -3*m + 1. Let q be (1 - 1)*(4 + -3). Suppose -2*n - 2 = 2*k, 5*k - 2*k - 2*n + 13 = q. Does 9 divide b(k)?
False
Suppose 176 = 5*q + 4*k, -5*k = -k + 4. Is q a multiple of 16?
False
Suppose 4*m + 5*t = 76, -5*m = -0*t + 4*t - 86. Is m a multiple of 14?
True
Is 16 a factor of (-24)/2*(7/(-2) + -3)?
False
Let s(g) = g**3 + 11*g**2 - 6*g - 4. Let q be s(-6). Let z be q/18 + 4/18. Does 10 divide 150/8 + 3/z?
False
Let g(i) = 5*i**3 + 2*i**2 - 1. Does 7 divide g(2)?
False
Let o be (-44)/10 - (-10)/25. Let j be (-16)/o + 0 + 0. Suppose a = -j*a + 60. Is a a multiple of 10?
False
Let x = -120 - -204. Does 14 divide x?
True
Let i = 50 + -35. Suppose 0 = -5*p + i + 5. Suppose 0 = -p*d - 7*y + 3*y + 40, -20 = -2*d + y. Is 5 a factor of d?
True
Let i(o) = -133*o**2 + 1. Let l be i(1). Let y = 191 + l. Does 27 divide y?
False
Let a = 517 + -313. Does 18 divide a?
False
Is -14*(-116)/24 - (-4)/12 a multiple of 4?
True
Suppose 0 = 3*b + v + 2*v - 141, 0 = -b + 5*v + 77. Let i = -40 + 25. Let l = i + b. Does 15 divide l?
False
Is 35 a factor of 70*(-32)/(-8)*(-2)/(-4)?
True
Suppose 3*q - 141 = 3*t, -q + 5*q + 2*t = 212. Let c be q/1 + -2 + 2. Suppose -c - 59 = -5*f. Is 11 a factor of f?
True
Suppose 0 = f, -3*v - 3*f + 51 = f. Is v a multiple of 7?
False
Suppose 20*n = 17*n + 66. Does 11 divide n?
True
Is (-2 - (-5440)/28) + 4/(-14) a multiple of 12?
True
Suppose 4*u = 0, -3*o - 3 + 21 = -5*u. Let s = o + -2. Suppose s*a = 3*f - 70, 2*f + 3*a + 10 = 68. Is f a multiple of 9?
False
Suppose -z + 3 = -0*o - 5*o, -4*z + 5*o + 12 = 0. Suppose 2*p + 4*m = 42, -3*p - z*m + 4 = -50. Is 8 a factor of p?
False
Let d(g) = 3*g**3 + 2*g**2 - 5*g - 4. Let k be d(-3). Let n = k + 97. Is n a multiple of 15?
True
Is 9 a factor of 14 + (-4)/((-3)/3)?
True
Suppose -4*c - 5*z = c - 295, c - z - 51 = 0. Does 15 divide c?
False
Let a = 16 + -26. Let d be a/(-25) + 206/10. Does 21 divide 6/((-15)/d + 1)?
True
Is 4 - (-3 - 17) - 2 a multiple of 3?
False
Let b(i) = i**3 + 7*i**2 - 2*i. Let d = -7 + 1. Does 16 divide b(d)?
True
Suppose -4 = h - 3*s - 2, 0 = -5*h - 2*s + 58. Does 2 divide h?
True
Is 14 - (-1 - (-1 + -1)) a multiple of 4?
False
Let r = 21 + -76. Let h = r - -13. Let l = -28 - h. Is l a multiple of 13?
False
Let g(j) = -5 + 21 + j**3 + 0*j**3. Is 8 a factor of g(0)?
True
Let t(u) = 10*u - 46. Is 18 a factor of t(19)?
True
Let k(n) = -7*n**3 + 4*n - 1. Is 10 a factor of k(-2)?
False
Let x = -78 - -56. Let t be (-22)/(-6)*1*9. Let v = x + t. Is 9 a factor of v?
False
Let f(h) = h**2 + 2*h - 2. Is 6 a factor of f(-4)?
True
Suppose -25 = -3*r - 2*r. Suppose 556 = r*l + 91. Let u = l - 61. Does 21 divide u?
False
Suppose -g + 4*v + 36 = 0, 4*g - v = 2*g + 58. Does 14 divide g?
True
Let g be 4/(-2) - (-1 - -22). Let r = g - -41. Is r a multiple of 9?
True
Suppose -263 = -6*k + 175. Does 20 divide k?
False
Let a(s) be the first derivative of 10*s**3/3 + s**2 - 2*s - 4. Does 12 divide a(-2)?
False
Let y = -10 + 30. Suppose -4*o = o - 4*n - 22, -5*o + 5*n + y = 0. Suppose z + 5*v = 48, 12 = z - v - o. Is z a multiple of 23?
True
Let p = -75 + 120. Does 21 divide p?
False
Let f = -54 + 30. Let a = f + 42. Is a a multiple of 9?
True
Is 15 a factor of (-75)/(-4) - 2/(-8)?
False
Let p = -38 - -39. Suppose 82 = -3*s + 5*s. Let w = s + p. Is 13 a factor of w?
False
Suppose -2*x + 2 = 2*o, 0 = 3*o + 4*x - 0*x. Suppose o*d = -d. Suppose r - 42 + 12 = d. Is 16 a factor of r?
False
Is 4 a factor of -6*(-7 + 4 + 1)?
True
Let b(q) = q**3 - 7*q**2 + 9*q - 23. Is b(9) a multiple of 44?
True
Let x(a) = 7*a - 33. Does 11 divide x(22)?
True
Suppose 3*x + 132 = 4*y, -y + 6*y - 5*x - 170 = 0. Is y a multiple of 10?
True
Suppose -12*v + 440 = -7*v. Is 11 a factor of v?
True
Let a(m) = m**3 - 5*m**2 + 4*m - 5. Let b(y) = y**2 + y - 2. Let j be b(-3). Suppose 0 = t - 5, -j*t + 2*t + 5 = -k. Does 13 divide a(k)?
False
Let a = -109 + 130. Does 21 divide a?
True
Let q(x) be the second derivative of x**5/60 + 5*x**4/24 + 7*x**3/6 + 3*x**2/2 + x. Let h(d) be the first derivative of q(d). Is 3 a factor of h(-5)?
False
Let y(w) = -11*w. Let f(a) = 3*a - 1. Let k be f(1). Let d(s) = -s**2 + 3*s - 3. Let x be d(k). Is y(x) a multiple of 11?
True
Let t be ((-18)/(-8))/((-6)/(-32)). Let d be (2 - 2)*4/t. Suppose -22 = -d*q - 2*q. Does 10 divide q?
False
Suppose 0*t = -t - 7. Let s = 20 + t. Does 6 divide s?
False
Let i be 2/8 - 10/8. Let l = i - -8. Suppose -d + 1 = -l. Is d a multiple of 8?
True
Let v(p) = -5*p - 1. Let h be v(-1). Suppose 3*y - 3*q = 4*y + 3, h*q + 7 = -y. Is y a multiple of 5?
False
Let g = 5 + 3. Suppose -2*x + 4*x = g. Is 2 a factor of x?
True
Suppose -5*u - 39 = -139. Is u a multiple of 20?
True
Let w = 418 + -225. Suppose w = 4*p - 183. Is 28 a factor of p?
False
Suppose 2*p + 15 + 3 = 5*t, 0 = -4*p - 16. Let i be 212/6 + 2/3. Suppose -x - 72 = -t*a - 15, -x + i = a. Does 11 divide a?
False
Does 7 divide 1 - -1 - 240/(-15)?
False
Let m(k) be the first derivative of -k**4/24 + 11*k**3/6 - k**2/2 - 4. Let q(v) be the second derivative of m(v). Is q(-8) a multiple of 8?
False
Let q(x) = -x**2 - 11*x. Let a be q(-5). Suppose 2*d - 3*d = -3*m - 32, 2*d + 3*m = 28. Let g = a - d. Is g a multiple of 5?
True
Suppose 14 = j + 3*l, -7*l + 30 = 5*j - 2*l. Let m(h) = 8*h - 9 - 5*h**j + 5*h**2 - 2*h + 2*h**2. Does 20 divide m(-7)?
False
Let f(l) = -l**3 + 6*l**2 + 3*l. Let g(z) = -z**2 + z. Let q(k) = f(k) - 2*g(k). Let a be (-2)/(-8) - (-31)/4. Does 4 divide q(a)?
True
Let n = 4 - 2. Let u(l) = 3*l**2 + 1 + l**2 - n*l + 0*l**2. Does 10 divide u(-2)?
False
Suppose 0 = -2*v, -3*c - 4*v + 1 = -4*c. Is 4 a factor of (2 + c)/(7/84)?
True
Suppose 0 = 3*u - 6*u + 492. Suppose l = -3*l + u. Let d = -15 + l. Is 23 a factor of d?
False
Let u(a) = -a + 6. Let q be u(-6). Let h be -5 + 7 + (-4 - -4). Suppose y - h = q. Is 11 a factor of y?
False
Suppose -1052 = -5*r - 4*f + 818, 2*f + 766 = 2*r. Is 13 a factor of r?
False
Suppose 0 = y + 3*k - 11, -k - 16 = -y + 3. Let d = y + -5. Does 10 divide d?
False
Suppose -40 - 5 = -5*y. Let m(a) = -a - 3. Let d be m(-3). Suppose 0 = -c - 4*z - 2, -4*c + y*c + 2*z - 44 = d. Is 4 a factor of c?
False
Let g(q) = -q + 7. Let u be (-100)/(-8)*8/(-10). Let x be g(u). Suppose 0 = z - l - 26, -z + 19 = l - x. Is 13 a factor of z?
False
Suppose h = 4*u + 10, 5*h - 5*u = -u + 18. Suppose c = -2*c - r + 161, 0 = -5*c - 2*r + 268. Suppose c = 3*x - h*x. Does 24 divide x?
False
Let i = 27 - 7. Suppose 3*m + i = 5*m. Is m a multiple of 5?
True
Let v = -164 - -75. Let t = 125 + v. Does 18 divide t?
True
Suppose -14 = -h - 5*p, -4*h - 4*p = 21 - 77. Is h a multiple of 4?
False
Let y(c) = -c - 3. Let h be y(-3). Suppose h = 2*l + 3*l - 335. Is l a mu