+ 6*n. Let t be a(4). Suppose 0 = -f - t + 45. Is f a multiple of 12?
True
Let p = 18 - 12. Let m be (-3)/1*p/(-9). Is 10 a factor of -48*m*8/(-12)?
False
Let f(k) = k**3 + 8*k**2. Suppose 8*c - 9*c = 8. Let i be f(c). Suppose -5*n + 0*n + 35 = i. Is 3 a factor of n?
False
Is 40 a factor of (-8796)/(-20) - 4/(-20)*1?
True
Let n(f) = 3*f**2 + 15*f + 18. Is n(14) a multiple of 51?
True
Is 6*3/6 - (-71850)/50 a multiple of 31?
False
Let p(i) = -i**3 - 2*i**2 + 2*i - 3. Let s be p(-4). Let g be 287/s - 2/(-6). Is 15 a factor of g/(-2)*30/(-7)?
True
Let z(q) be the second derivative of q**5/40 + q**4/6 + 5*q**3/6 - 2*q. Let i(w) be the second derivative of z(w). Is i(3) a multiple of 4?
False
Let c(b) = -b**2 - 3*b + 16. Let m be c(-5). Is 34 a factor of m/(-1 + 1/(-2)) - -140?
True
Suppose 4*v - 247 = 417. Suppose v = 6*r - 4*r. Is r a multiple of 4?
False
Let j = -154 + 222. Does 11 divide j?
False
Let a be 10/8 - 8/32. Let y = -23 - a. Is (9/(-12))/(2/y) a multiple of 3?
True
Suppose 34 + 68 = 3*c. Is c a multiple of 17?
True
Let g be 25/(-5)*(-3 - -2). Suppose 2*a = -2*a + 12. Suppose -g*h = -3*p + 63, 4*p + 2*h - 84 = -a*h. Does 5 divide p?
False
Suppose -10*a + 1142 = 222. Let c = 169 - a. Does 22 divide c?
False
Let m = -475 + 1124. Does 11 divide m?
True
Suppose 6*q + 0*q = 18. Suppose 4*o - q*i - 46 = -0*i, -3*o - 4*i = -22. Does 3 divide o?
False
Suppose 0 = -2*m + 5 - 41. Suppose -3*t - 8 = -5*t. Let q = t - m. Is 18 a factor of q?
False
Let n = 151 + -103. Is 12 a factor of n?
True
Let m be (-5)/(4 - 5) + -11. Is -7*(-1 + (-51)/m*-2) a multiple of 7?
True
Let t(k) = -3*k + 25. Let f be t(10). Let q = 31 - f. Is 12 a factor of q?
True
Let w(z) = -25*z**3 - 5*z**2 - 2*z + 4. Is 4 a factor of w(-2)?
True
Let c = -163 - -632. Does 12 divide c?
False
Let f = -25 + 63. Suppose 3*o = f + 4. Let q = -8 + o. Is q even?
True
Let a = 41 - 36. Is (4 + (-25)/a)*-4 even?
True
Let w(u) = 2*u**2 + 18*u - 12. Let i be w(8). Suppose 2*l = 4*l - i. Is l a multiple of 41?
False
Is (20/3)/((-13)/((-4563)/18)) a multiple of 26?
True
Suppose 5*y - 27 = 8*z - 4*z, 3*y = 3*z + 15. Suppose -8*s = -y*s - 4. Suppose 1 + 7 = -3*b + s*i, -i + 13 = 2*b. Is b a multiple of 4?
True
Let v(m) = m**3 - 4*m + 163. Does 4 divide v(0)?
False
Let b = 25 + -22. Suppose -y + 3*y + 104 = 2*t, -56 = -t - b*y. Does 19 divide t?
False
Let u = 67 - 57. Suppose -4*m = -u*m + 600. Is 11 a factor of m?
False
Let y(c) = -c**3 - 3*c**2 + c + 1. Let n be y(-5). Suppose n = v - 18. Is 8 a factor of v?
True
Let r(t) be the first derivative of -9*t**4/2 + t**2/2 - 12. Does 17 divide r(-1)?
True
Let t = -1297 - -3529. Does 12 divide t?
True
Let n(l) = 158*l - 5. Let j be n(1). Suppose 30*y - j = 27*y. Does 17 divide y?
True
Suppose 388 = 2*f - 588. Suppose 20*h = 18*h + f. Does 36 divide h?
False
Let q = -354 - -1136. Is q a multiple of 46?
True
Suppose 4*h - 5 = 3, o - h = -1. Let y be (14/42)/(o/357). Suppose -6*w + w - 3*t + 201 = 0, t - y = -3*w. Is 12 a factor of w?
False
Is 6/(-3)*(-9)/(99/21505) a multiple of 39?
False
Suppose -5*z + 2 = 27, -2*z = -2*l + 384. Is 45 a factor of l?
False
Suppose 4*u - 1220 = -5*m, 4*u + 915 = 7*u + 3*m. Does 32 divide u?
False
Suppose -r + 1 = 3*i - 1, 5*r = -4*i + 21. Is 7 a factor of (r/(-10) + (-3)/(-30))*-100?
False
Suppose -10 = 2*k - 2*o, 2*k - 10 = -2*k - 2*o. Suppose 4*z - 329 = -3*l - 2*l, 2*l = -2*z + 130. Suppose k = y + 17 - l. Does 26 divide y?
True
Let n = 291 + 2139. Does 81 divide n?
True
Let l = -1 - -6. Suppose -21 = -l*m - b + 299, -4*m + 240 = 4*b. Suppose -3*d = 2*d - m. Does 9 divide d?
False
Let p = 338 - 223. Does 23 divide p?
True
Suppose -5*y + m = 232, 2*y + 109 = -11*m + 6*m. Let f = y + 157. Is 30 a factor of f?
False
Let g(m) = m**2 + 18*m + 22. Let w be g(-17). Let x(j) = 0*j**2 + j**2 - 3 + 3*j - j. Is 9 a factor of x(w)?
False
Let y(i) = -41*i + 127. Is y(-11) a multiple of 17?
True
Let o be 8*((-28)/(-16) - 3). Let j = o - -15. Suppose -88 = -2*r + 4*i, j*r + 0*i + 2*i = 244. Is r a multiple of 16?
True
Suppose 1009 = 5*d - 1151. Suppose -w + q = 4*w - d, 342 = 4*w - 2*q. Is w a multiple of 26?
False
Let x = -62 - -92. Is x a multiple of 30?
True
Let y = -488 - -678. Is y a multiple of 7?
False
Suppose -3*b - 4*g = -8*b + 188, 0 = b + 3*g - 30. Let r(n) = -15 + 15*n - 21 + b. Does 9 divide r(3)?
True
Let u = -300 + 207. Let l = u + 170. Is l a multiple of 17?
False
Let j(z) = -z**3 - 8*z**2 - 13*z + 11. Is 2 a factor of j(-6)?
False
Let l(i) = -i**3 + 19*i**2 - 24*i + 6. Is l(7) a multiple of 25?
False
Let v(t) = -5 - 3*t**3 + 4*t**3 + 3 - 2*t + 3. Let i be v(1). Is i + 0 + -3 - -57 a multiple of 14?
False
Suppose -q = -5*q. Suppose -14*y + 11*y + 270 = q. Is y a multiple of 15?
True
Let d(r) = 13*r + 4. Let m(v) = 14*v + 4. Let c(x) = 5*d(x) - 4*m(x). Does 22 divide c(2)?
True
Let s = -14 - -16. Suppose s*n + 4*u + 0*u = 64, 5*n - 5*u = 235. Is 21 a factor of n?
True
Suppose i - 2 - 1 = 0. Suppose 2*h + 144 = i*h. Does 9 divide h?
True
Suppose w - 12 = 6. Let a = -3 + w. Is a a multiple of 5?
True
Let s be 40/(-7 + 3)*4. Is (144/(-20))/(3/s) a multiple of 24?
True
Let p = 1112 + -772. Suppose 0 = 4*s - 2*g - p, -133 = 4*s - 3*g - 473. Does 17 divide s?
True
Suppose -14 - 13 = -4*n + 3*i, -3*n - 3*i = 6. Suppose -41 = -c + 5*t, n*c - 10*t = -5*t + 103. Does 31 divide c?
True
Suppose 1 = -z - 1. Let c = z - -1. Is 3 a factor of 10 - (6/(-2) - c)?
True
Suppose -h - 4 = 0, -5*u - 4*h = -0*u - 4814. Is 15 a factor of u?
False
Suppose -5*h + 5*t = -3255, 3*h - 1835 = 2*t + 113. Suppose 4*l = 5*q + 497, -q + h = 5*l + q. Does 32 divide l?
True
Suppose -l + r + 0*r = 42, 3*r + 74 = -2*l. Let z be (l/(-12))/(2/3). Let q = 19 + z. Is 10 a factor of q?
False
Let y = 1920 - 655. Does 23 divide y?
True
Let b(o) = -2*o**3 - 27*o**2 - 22*o + 21. Does 25 divide b(-14)?
True
Let r(m) = m**2 - m + 7. Let o be r(-5). Let u = -19 + 1. Let t = u + o. Is 5 a factor of t?
False
Suppose -2*c - 3*c = -s + 119, -2*c - 134 = -s. Suppose -5*l = -s - 11. Is 6 a factor of l?
False
Suppose 2*z = -3*z + 245. Let l = z - 3. Suppose -r + 4*w = -l, r = 2*w - 3*w + 31. Does 25 divide r?
False
Suppose -5*y - 31 - 287 = -4*q, 5*q + 213 = -3*y. Let g = y + 114. Is 48 a factor of g?
True
Suppose -760 = -8*c - 288. Let a(w) = -33*w**3 - w**2. Let i be a(1). Let k = c + i. Is k a multiple of 12?
False
Suppose -2*o - 5*b = -b - 38, -o + 27 = 4*b. Suppose 0 = -o*x - x + 708. Is x a multiple of 5?
False
Let o(w) = -w**3 + w - 11. Let h be o(0). Let j = 11 + h. Suppose -4*v = -j*v - 60. Is 15 a factor of v?
True
Does 22 divide 660/24*58 - 1*-2?
False
Let v(o) = o**2 - 16. Suppose 2*w = 4*m - 6 + 24, 3*m = -4*w + 36. Does 13 divide v(w)?
True
Let f(a) = -3*a**3 - 5*a**2 - 3. Let i be f(-3). Suppose 0 = -3*d + i. Does 11 divide d?
True
Suppose -l = 2*l - 18. Does 5 divide (-45)/15*(-56)/l?
False
Let t = -62 - -183. Does 25 divide t?
False
Let b(p) = -1 - p**2 + 0*p + 6*p + 6*p**2 - p**3 - p. Let y be b(5). Suppose w + y = 5*w. Is w a multiple of 6?
True
Let t = -41 + 44. Suppose m + 5*h = -t*m + 47, 3*m + 3*h - 36 = 0. Is 13 a factor of m?
True
Suppose 37*w = 227 + 809. Is w a multiple of 2?
True
Suppose -1567 = -5*b + 2*w, 0 = 2*b - 3*w - 657 + 39. Is b a multiple of 45?
True
Suppose 2*j + 0*j + 868 = 4*h, 5*j - 638 = -3*h. Is h a multiple of 12?
True
Suppose 7*j + 0*j = -0*j. Suppose j = -6*b - 487 + 1927. Is b a multiple of 38?
False
Let o(f) = f**3 - 39*f**2 + 5*f + 42. Does 30 divide o(39)?
False
Let p(g) = -6*g - 4. Let z be p(-6). Suppose -w - 125 = -7*a + 2*a, -z = -2*a + 4*w. Does 8 divide a?
False
Let q be 156 + 2/(-2) + -1. Suppose q = 3*w + o, 4*w + 30 = -o + 237. Let f = w + -22. Is 15 a factor of f?
False
Suppose 0 = -b + 3*q, 0*b - 5*b = 2*q - 85. Is 15 a factor of b?
True
Let m(a) = 6*a**2 + 16*a + 12. Is 4 a factor of m(-4)?
True
Let b(d) = 3*d**3 + d**2 + d - 13. Is b(3) a multiple of 5?
True
Is ((-3)/(-48) - (-88)/(-384))*-7806 a multiple of 71?
False
Let f = -171 - -99. Let g = -31 - f. Is 8 a factor of g?
False
Let s(t) = -t + 1. Let m = 3 + -1. Let z be s(m). Is (45 - z) + (0 - -2) a multiple of 16?
True
Let o be (-2)/(((-76)/75 - -1)*-6). Is 18 a factor of (-2*585/o)/((-2)/(-5))?
False
Let z be (9/(-3))/(2 + -1). Let a be (-10)/(-5) + z -