ppose 3*m + 44 - 275 = 0. Let n = -51 + m. Is 13 a factor of n?
True
Let z(k) = 3*k**3 - 20*k**2 - k - 8. Is z(8) a multiple of 16?
True
Let t(p) = 198*p + 118. Is 22 a factor of t(6)?
False
Let w = -788 + 1227. Does 56 divide w?
False
Let t = -449 + 1043. Is 27 a factor of t?
True
Let m(p) = 4*p - 5*p + 12 + 2*p. Is 5 a factor of m(-5)?
False
Let f be -2 + 1 + 3/(-3). Let z = f + 7. Suppose -v = -u - 2 + 10, -20 = -u - z*v. Is 10 a factor of u?
True
Suppose -a = y - 308, 3*y - 200 - 1028 = -4*a. Is a a multiple of 4?
True
Let w(q) = q - 6. Let r be w(-2). Is 23 a factor of ((-92)/(-8))/((-2)/r)?
True
Let u(z) = 3*z**2 - 15*z - 1. Let m(j) = -j**2 + 5*j. Let r(q) = -7*m(q) - 2*u(q). Is 12 a factor of r(-2)?
False
Let i be 14/(-3) - 40/(-60). Is ((-14)/i)/((-3)/(-30)) a multiple of 21?
False
Is 7 a factor of -3 - (5 + (4 - 64*12))?
True
Let j be 2/(-8) + 126/56. Is (-2 - (-52 - 3)) + (j - 1) a multiple of 8?
False
Let z(b) = -5*b - 1. Suppose -4*m - c = -12, 8 = 5*m - 3*c - 7. Let g be z(m). Let a = g + 19. Does 3 divide a?
True
Let u(d) = 9*d - 2. Let n(s) = -28*s + 6. Let m(w) = -2*n(w) - 7*u(w). Suppose 22 = -4*f - 7*f. Is 12 a factor of m(f)?
False
Let y(c) = c**2 - 2*c - 5. Let a be y(5). Suppose 5*d - a = 0, -3*z = -2*d + 30 - 173. Is 13 a factor of z?
False
Let k be (11/33)/(2/84). Let v = k + 82. Does 24 divide v?
True
Let a(f) = f**3 - 12*f**2 + f - 8. Let i be a(12). Suppose -w + 8 = i. Suppose -w*t = -2*t - 112. Is 15 a factor of t?
False
Does 13 divide 1 - -22 - (-70 + 67)?
True
Suppose -5*c = -5*y - 1545, 2*y - 615 = -2*c + 5*y. Is 8 a factor of c?
True
Suppose -177 = -9*k - 33. Suppose -10*n = -k - 134. Is n a multiple of 7?
False
Suppose 88 = -5*u + u. Let d = 40 + u. Is 17 a factor of 310/18 + (-4)/d?
True
Let k(u) = u**3 + 32*u**2 + 40*u + 14. Is k(-29) a multiple of 22?
False
Let x(g) = g**3 - 6*g**2 + 7*g + 6. Let f be x(5). Suppose 0 = -3*o - o + f. Suppose -17 - 123 = -o*h. Does 16 divide h?
False
Suppose -n - 2*t - 3682 = -4*n, -4*t = -2*n + 2468. Is n a multiple of 72?
True
Let f be 140/(-25) + 4/(-10). Let i(l) = -13*l**2 - 5*l + 16. Let u(r) = -7*r**2 - 2*r + 8. Let k(x) = -3*i(x) + 5*u(x). Is 18 a factor of k(f)?
False
Let p be (-1544)/(-16) + (-3)/2. Suppose -5*v + 5*b = 285, 0*b + 4*b - 284 = 5*v. Let f = p + v. Does 14 divide f?
False
Let j(l) be the second derivative of -13*l**3/3 - 29*l**2/2 - 33*l + 1. Is j(-7) a multiple of 9?
True
Let v = -15 - -6. Is (32 - -2)/((-39)/v - 4) a multiple of 17?
True
Let u(d) = -d**2 + 4*d - 3. Let r be u(4). Let f(m) = -2*m**3 - m**2 - 2. Does 22 divide f(r)?
False
Let s be (27 + 1)*(-42)/(-12). Suppose 3*g + s = o, -6*o + 2*g = -7*o + 93. Is 8 a factor of o?
False
Let t = 1410 + -877. Is t a multiple of 2?
False
Suppose 6*f = 1313 - 323. Suppose y - 6*y + f = 0. Suppose 3*o = 2*o + y. Is 11 a factor of o?
True
Let i(l) be the third derivative of -l**4/24 + 4*l**3 - 9*l**2. Is 5 a factor of i(14)?
True
Let i = 200 + -170. Is i a multiple of 15?
True
Let j(f) = -4*f**3 - 11*f**2 + 13. Does 2 divide j(-5)?
True
Suppose 22*t - 162 = 13*t. Is 9 a factor of t?
True
Let d = -23 - -17. Let j be d/12*(1 + 37). Is (0 + -1)/(1/j) a multiple of 4?
False
Is 14 a factor of (4 - 9) + 3 + 380?
True
Suppose -41*z = -40*z - 137. Suppose -2*x = -3*w + 336, 5*x = 3*w - z - 199. Does 14 divide w?
True
Let o = -48 + 112. Let d = 0 + o. Is d a multiple of 12?
False
Suppose 108 - 9 = -9*d. Is d*(1 - (-1 - 2 - -5)) a multiple of 11?
True
Let t be (-3)/(-4) - 149/(-4). Let c = t - 31. Is c a multiple of 2?
False
Let g be -1 - (-4 + 1) - 3. Let k be 7/g*(-12)/7. Suppose -4*r + k = -84. Is r a multiple of 12?
True
Let s be 7/7 + (10 - -1). Suppose -c = -5*v + 18, 0 = -v - c + 4*c + s. Suppose -3*o - 2*u + 37 = 0, -v*u + 2*u = -2*o + 13. Is 5 a factor of o?
False
Let m(w) = -16*w. Let i(r) = r**3 - 11*r**2 - 11*r - 18. Let x be i(12). Is m(x) a multiple of 12?
True
Let c be 8 + -1 + 0/2. Suppose -6*i = -c*i. Suppose u + 4*r = r + 41, i = -5*r - 10. Is u a multiple of 18?
False
Let l = 64 + 0. Let v = l + -30. Is v a multiple of 17?
True
Does 18 divide -5*(-1302)/(-35)*-1*6?
True
Let m = 604 + 238. Is m a multiple of 45?
False
Let w(g) = -g + 26. Let u be w(0). Is u - (-1 - 3) - -3 a multiple of 7?
False
Suppose -5*v + 244 = -4*l, -6*l + 4*l = -4*v + 200. Is 3 a factor of v?
False
Suppose 4*b - 8 = 0, 4*m + 16*b - 17*b = 758. Does 19 divide m?
True
Suppose w = 0, -3*w = -3*b + w + 1212. Is b a multiple of 12?
False
Let p = -1607 + 3059. Is p a multiple of 28?
False
Suppose -4*x + 526 = 134. Is x a multiple of 16?
False
Suppose 40*s - 12*s = 588. Is s a multiple of 3?
True
Suppose -v = -2*v. Does 8 divide (v + 6)/(9/72)?
True
Let k be (-8 - -20)*(-3)/(-6). Suppose -4*g + 106 = 2*n, -g = 4*n - k*g - 186. Is 49 a factor of n?
True
Let u = -356 + 602. Is u a multiple of 17?
False
Let o be 7 - (-3 - 5/(-1)). Suppose -w + 26 = 5*b - 25, o*w = -4*b + 150. Is w a multiple of 9?
False
Suppose 3*l + 16 = 7*l. Suppose l*d + 456 = 10*d. Does 12 divide d?
False
Let o(u) = -u**3 - 6*u**2 - 2*u - 7. Let v(k) = k**2 - 6*k - 6. Let q be v(6). Let t be o(q). Let s(z) = 2*z - 1. Does 3 divide s(t)?
True
Let c(p) = -5*p - 5. Let t(x) = -4*x - 5. Let g(k) = 2*c(k) - 3*t(k). Let y be g(-2). Let m(b) = 36*b**3 - b + 1. Does 32 divide m(y)?
False
Let w(y) = -y**2. Let k(o) = -o**3 - 9*o**2 - 12*o - 2. Let f(v) = k(v) + 4*w(v). Let z be f(-12). Is 2/2*(-22)/z a multiple of 2?
False
Suppose 3*x - t + 527 = -0*t, 0 = -4*x + 2*t - 704. Let k = x + 295. Does 20 divide k?
True
Let s(o) = 2*o**2 - 2*o + 20. Does 5 divide s(6)?
True
Suppose -5*y + 4*r + 40 = 3, -5*r - 15 = 0. Suppose y*h - 9*h = -168. Is h a multiple of 14?
True
Suppose -18*p = -19*p + 495. Is 3 a factor of (-6)/9*p/(-10)?
True
Let n(x) = -x**3 + 7*x**2 - 5*x - 1. Let k be n(6). Let j be ((-220)/77)/((-2)/14). Suppose -j - 21 = -v + k*g, g = -5*v + 179. Is 11 a factor of v?
False
Let z = 20 - 10. Let s be 30/9*105/z. Let n = s + -11. Is n a multiple of 17?
False
Let l(k) = 8*k - 2. Let m(n) = 17*n - 5. Let d(v) = 13*l(v) - 6*m(v). Let u be d(6). Does 7 divide u - (0 + 6)/(-3)?
False
Suppose -3*j = -3*x + 30, -2*x + 22*j - 23*j + 5 = 0. Let i be -1 + 1 - (-1 + 7). Is 6 a factor of 8/i*(-150)/x?
False
Suppose -3*l + 7*l - 312 = 0. Is l a multiple of 14?
False
Suppose 3 = 3*q, q + 4 = -d - 13. Is (d/(-5))/(5/25) a multiple of 7?
False
Let s = -9024 - -13098. Is 97 a factor of s?
True
Let c(w) = -6*w - 6. Let x(d) = -5*d - 4. Let t be x(2). Let b = t + 7. Is 18 a factor of c(b)?
True
Let l(j) = 1 - 37*j + 1 - 4*j. Is 10 a factor of l(-1)?
False
Suppose -6*w = 4*m - 7998, 3*w - 1881 + 7857 = 3*m. Is m a multiple of 21?
True
Let s(q) = 11*q**2 - 2*q. Let n(k) = -k**2 - 7*k - 2. Let g be n(-6). Let b(o) = -o**3 + 3*o**2 + 3*o + 2. Let h be b(g). Is s(h) a multiple of 21?
False
Let i = 29 - 24. Suppose -4*u = u + 2*b - 220, 2*u = i*b + 88. Is u a multiple of 11?
True
Let s = -161 - -225. Is s a multiple of 27?
False
Let z = -19 + 23. Suppose l + z*l - 15 = 0. Suppose 0 = -4*a - 5*j + 23, -5*a - j = l*j - 31. Is a a multiple of 4?
False
Let u(n) = -n**2 + 11*n + 15. Let z be u(12). Suppose z*d - 5*q - 133 = 0, -2*d = d - q - 137. Suppose -d - 6 = -4*j. Is j even?
False
Let g = 35 - -58. Let m = g + -59. Does 5 divide m?
False
Let u = 632 + -476. Does 4 divide u?
True
Let i be (-91)/(-3) - (-1)/(-3). Let d be 4/6 - (6 - 220/30). Suppose d*o + o = i. Is o a multiple of 3?
False
Suppose 3*b = -0*b - 3*y + 144, -5*b + 5*y = -220. Suppose 3*l - b - 44 = 0. Is l a multiple of 15?
True
Let d be 1/2 + 7/2. Suppose d*y = -5*a - 5, 2*a + 4*y - 45 = 7*a. Does 8 divide (-2)/10 - 121/a?
True
Let p(o) be the second derivative of o**4/12 + 5*o**3/6 + 41*o**2 + o + 1. Is p(10) a multiple of 19?
False
Let f(l) = 17*l**2 + 12. Does 40 divide f(-2)?
True
Let y = -20 + 15. Let v(b) = 10*b**3 - 25*b**2 - 30*b - 3. Let m(g) = 7*g**3 - 17*g**2 - 20*g - 2. Let c(l) = y*v(l) + 7*m(l). Is 15 a factor of c(7)?
False
Let c(o) be the second derivative of -o**5/20 + 5*o**4/12 + 7*o**3/6 - 7*o**2/2 + 330*o. Let j = -4 - -9. Is c(j) a multiple of 4?
True
Let n = -177 + 195. Does 54 divide 9/(n/8) + 322?
False
Let l(g) = g**2 + g + 12. Let v = -23 - -17. Does 24 divide l(v)?
False
Let c = 245 + -120. Let n = 