 i(-3) a multiple of 5?
False
Let l(s) = s**3 + 21*s**2 + 3*s - 7. Does 47 divide l(-20)?
False
Let h be 1 + (2 - 2) + 2. Suppose -4*b + h*o - 5 = -6, -2*b + 3*o - 7 = 0. Suppose 3*s - 196 = -b*s. Is 13 a factor of s?
False
Let w(f) = f**3 + 19*f**2 + 3*f + 33. Does 16 divide w(-7)?
False
Suppose 8*l - 5*l = 279. Let a = 100 - l. Is a even?
False
Let u be (-2)/(-7) + 38/(-133). Suppose -v + l + 88 = u, 15 = -5*l - 0*l. Is v a multiple of 27?
False
Let m(o) = o**2 - o - 2. Let i be m(-7). Let f = i - -16. Is 22 a factor of -1*f/3*-3?
False
Suppose 5*z - 3*z = 2*a - 148, -3*a + 217 = -2*z. Is 63 a factor of a?
False
Let o be -1 + (5 - -1) + -3. Suppose 2*h - 4*k - 8 = 0, -o*h + k + 23 = -0*h. Is 7 a factor of h?
True
Let b(d) = -2*d**3 - 134*d**2 + 130*d - 53. Does 109 divide b(-68)?
False
Let w be 108/30 + (-2)/(-5). Let s = w + -2. Suppose -8 = -b - 2*u, 5*b - 2*b - 16 = s*u. Does 4 divide b?
False
Suppose 29 = 18*n - 17*n. Suppose 33*y - n*y - 1032 = 0. Does 40 divide y?
False
Suppose c = 6*c + 370. Does 5 divide ((-2)/(3 + -2))/(4/c)?
False
Suppose -391 - 154 = -5*m. Let j = -32 - -37. Suppose 3*l = 3*d - 47 + 158, 0 = -2*l - j*d + m. Is l a multiple of 29?
False
Let t be (-30)/(-4)*8/3. Let a = -36 + t. Is 6 a factor of (1 - (-132)/a)*-4?
False
Let s(u) = -3*u**2 + 8*u + 2. Let d be s(7). Let q = d + 156. Let j = q - 40. Is j a multiple of 13?
False
Let s(a) = -105*a - 77. Is 48 a factor of s(-4)?
False
Let n(h) = 2*h**2 + 31*h + 99. Is 20 a factor of n(-27)?
True
Let c(b) = -9*b**2. Let u be c(-1). Let w be u/(-2) + 12/24. Suppose w*v - 5*d - 50 = 0, -2*v + 5 = 2*d - 23. Does 10 divide v?
False
Suppose -33*j + 8*j = -5250. Does 3 divide j?
True
Let s = 26 + -52. Let u = s + 28. Suppose j + h = 41, -4*j + u*j = -5*h - 75. Is j a multiple of 10?
True
Let b(p) = -9*p - 2*p**3 - 2*p**2 - 6 + 2*p + 3*p. Is 14 a factor of b(-4)?
False
Let n be 110/(-44)*12/(-10). Suppose -n*r = -8*r - 490. Let v = 17 - r. Does 24 divide v?
False
Let l = -25 + 25. Suppose -q = 2, 3*o - 4*q - 179 - 39 = l. Is 3 a factor of o?
False
Let n be (-9)/12*(-5 + -7). Suppose -v = -2*v + n. Is 9 a factor of v?
True
Let h(j) = j**3 - 22*j**2 + 104*j - 49. Is h(20) a multiple of 66?
False
Suppose -30*r + 286 = -28*r. Is r a multiple of 72?
False
Let x = 9 + -1. Let q be (36/x)/((-2)/4). Is (-1 - q/15)*-55 a multiple of 9?
False
Suppose -3*u + 17901 = -2*m, 0 = -5*u + 6*u + 8*m - 5993. Is 14 a factor of u?
False
Suppose -t + 5 = 2, 3*z = 4*t + 36. Suppose z*v - 311 = 1417. Does 36 divide v?
True
Suppose 2*t = 5*z + 364 + 470, 3*z - 2116 = -5*t. Suppose 136 = 6*h - t. Is h a multiple of 31?
True
Suppose -3*z = -289 + 52. Is z a multiple of 29?
False
Let y = -5 - -4. Let c(b) = 116*b. Let d be c(y). Let w = -61 - d. Does 18 divide w?
False
Suppose 12 = b - 46. Let d = b + -22. Is 9 a factor of d?
True
Suppose -50*z = -46*z - 12. Let a be 17*-2*3/(-2). Suppose -3*m + a - z = 0. Does 7 divide m?
False
Let v = 17 - 12. Suppose -v*s = -4*y + 41, 3*s - 3 - 6 = 0. Suppose y*n = 12*n + 56. Does 14 divide n?
True
Is 13 a factor of 5/(-25)*-249*5?
False
Suppose -914 - 2734 = -19*r. Is r a multiple of 12?
True
Suppose 3*c + 30 = 5*g, -4*c = -2*g - g + 40. Is 37 a factor of 2/10 + (-1108)/c?
True
Let b = 29 - 26. Suppose 3*w - q - 111 = 0, -b*w = -4*q - 82 - 20. Let i = w - 25. Is i even?
False
Suppose -8*c - 64 = -16*c. Does 8 divide c?
True
Let x = 23 + -3. Suppose 2*d - x = -2. Does 3 divide d?
True
Let p = -327 - -1057. Is p a multiple of 30?
False
Let w(f) = -98*f + 1. Let b be 3/(-3)*-2 + 12/(-4). Does 11 divide w(b)?
True
Let o be (-56)/(-6)*(-27)/6. Let d = o + 71. Suppose -2*h + 66 = 4*k, h - 5*k = -3*k + d. Does 6 divide h?
False
Suppose -3*s = 3*w + 74 + 421, 505 = -3*w - 5*s. Let q = -18 - w. Does 17 divide q?
False
Suppose 0 = 3*u - 23 + 176. Let r = u + 71. Does 7 divide r?
False
Let g = -98 + 146. Is 4 a factor of g?
True
Suppose -4*q + q = d + 69, -2*q - 4*d = 56. Let x(a) = a**2 + 20*a - 18. Does 13 divide x(q)?
True
Let b = 35 - 25. Let i be (4/b)/((-2)/(-60)). Suppose -2*w = -7*q + 2*q - i, -w + q + 6 = 0. Is 3 a factor of w?
True
Suppose p - 3*k = 213, -3*k + 2*k = 5*p - 985. Does 9 divide p?
True
Let p be (2 + (-7)/2)*-12. Let a = -69 - -23. Let l = p - a. Does 24 divide l?
False
Let j(y) = y - 3. Let g(n) = -3*n + 7. Let o(f) = -6*g(f) - 11*j(f). Let t be o(2). Suppose 0 = 5*l - 3*u - 144, t*u - 130 = -4*l - 0*u. Is 11 a factor of l?
False
Let n(w) = w**3 - 4*w**2 - 6*w - 3. Let p be n(6). Suppose 5*o - 10 = -0*o. Suppose a - s = p, -4*a = -3*a - o*s - 37. Is a a multiple of 12?
False
Suppose -4*b + 8*p + 156 = 3*p, -4*b + 156 = 3*p. Let r = b + -22. Suppose -r = -5*f + d, -5*d = -3*f - 0*f + 19. Is 2 a factor of f?
False
Let u(t) = t**3 - 2*t**2 + 2*t + 1. Let f be u(2). Suppose -f*x + 208 + 317 = 0. Suppose -5*j = -15, 2*c = -0*c + j + x. Is 18 a factor of c?
True
Suppose -170 = -7*m + 82. Suppose 0 = i + 19 - 7. Let q = i + m. Is q a multiple of 12?
True
Suppose 41*x - 1474 = -3*b + 39*x, 3*b = 5*x + 1460. Does 14 divide b?
True
Let m be (30/25)/((-898)/300 - -3). Suppose -5*g + 2*g + 3*h + m = 0, 4*h = -5*g + 300. Is 21 a factor of g?
False
Let w(b) = -b**2 + 4*b + 6. Let q be w(6). Let t be 2/(q/3) + 5. Let s = t + 13. Is s a multiple of 17?
True
Let o(f) be the first derivative of 2*f**3/3 + f**2/2 + 51*f + 2. Let r be o(0). Does 26 divide 4/6*r - -3?
False
Let z(g) = -2*g**3 + 78*g**2 + 96*g - 87. Is 19 a factor of z(40)?
False
Suppose 2*t + 4*o - 10 = 0, -3*t + 13 = -2*t + 4*o. Let i be -1*5*3/t. Suppose 295 = 5*n + i*a, 0*a + 307 = 5*n + 2*a. Is 21 a factor of n?
True
Let f(b) = -b**3 + 19*b**2 + 30*b - 25. Suppose -3*d + 35 = -5*q, -3*q + 2*q = -5. Is f(d) a multiple of 25?
True
Suppose 0 = 4*o + 15 - 31. Suppose 2*i = -2*u + 158, 2*i = 3*u + o*i - 242. Is u a multiple of 14?
True
Let y be 96/7 + (-2)/(-7). Let g = y - -6. Suppose d = -3*m + g, -4*m = 3*d - 6*m - 38. Does 7 divide d?
True
Let m(o) = o**3 + 10*o**2 + 4*o. Let w(x) = -x**3 - 10*x**2 - 16*x - 7. Let f be w(-8). Is m(f) a multiple of 16?
False
Suppose 51*m + 35094 = 90786. Does 9 divide m?
False
Let g(w) be the second derivative of w**4/12 + 7*w**3/6 - 13*w**2/2 + 7*w. Is 5 a factor of g(-10)?
False
Let s(o) = 4 - o**3 + 0*o - 2*o - 4*o + 5*o**2 + o. Let t = -20 - -23. Is s(t) a multiple of 5?
False
Let o(y) be the second derivative of y**3/6 + 13*y**2/2 - y. Let a be o(-9). Does 5 divide (-1)/a + 259/28?
False
Suppose 12*r - 13*r + 12 = 0. Suppose 0*w - w = -3*l + 24, -3*l - 5*w = -6. Suppose -r = -3*i + 2*k, 2 + l = 3*i - 3*k. Is i a multiple of 5?
False
Let i = 10 + 20. Let t = 100 - i. Is 26 a factor of t?
False
Let z(a) = a**2 + 5*a - 10. Let p = 39 - 34. Is z(p) a multiple of 40?
True
Let i = -1 + 4. Suppose -i*t = -12, 6*z + 2*t = z + 133. Does 15 divide z?
False
Suppose 0 = -17*d + 35 + 50. Suppose -d*s - 4*p - 20 = -448, 2*p = -5*s + 424. Is s a multiple of 42?
True
Let a(f) = 3*f**2 - f - 4. Let q be a(4). Suppose -s = -153 - q. Suppose 4*t + 0*c - 385 = 5*c, 0 = -2*t + 3*c + s. Is t a multiple of 20?
False
Suppose -4*h + x = 2*x - 2240, 0 = 4*h - 3*x - 2240. Is h a multiple of 40?
True
Let x(m) = m - 9. Let j be x(7). Let f(d) = -d**3 + 3*d**2 + 2*d + 1. Does 4 divide f(j)?
False
Let y = -75 + 171. Let t = y + -39. Does 19 divide t?
True
Let f(q) = 14*q**2 - 2*q + 4. Let y = 23 - 21. Is f(y) a multiple of 15?
False
Let q = -3 - -1. Let b be (18/(-15))/(4/(-10)). Does 2 divide q*(b - (-18)/(-4))?
False
Let x = -90 - -222. Let g = -64 + x. Is g a multiple of 17?
True
Let o = 36 - 30. Suppose u + o = 78. Is 12 a factor of u?
True
Suppose 55 = 4*r + 19. Suppose 48*n - 50*n - 6 = 4*w, 0 = n + w - 1. Suppose r*y = n*y + 96. Is 12 a factor of y?
True
Suppose 0 = 7*j - 8 - 27. Suppose -5*q - 4 = o, 5*o - 60 = j*q - 10*q. Is 8 a factor of o?
True
Suppose -r = 10 - 39. Suppose 3*w + r = a, 2*w + 42 = 4*a - 2*a. Is a a multiple of 5?
False
Let p be (((-9)/(-2))/3)/(2/8). Let k(d) = d**2 + 2*d + 2. Is 10 a factor of k(p)?
True
Let u(m) be the third derivative of m**6/120 - m**5/30 + m**4/6 - m**3/3 - 5*m**2. Let j be (-4)/12 - 10/(-3). Is 6 a factor of u(j)?
False
Let u = -102 + 256. Does 11 divide u?
True
Let h(p) = 2*p**3 - 2*p**2 + 6*p - 6. Let y = 33 - 22. Let t = 15 - y. Is h(t) a mult