True
Suppose 2*u = -u - 6. Let m(j) = -24*j + 6. Does 27 divide m(u)?
True
Let n(b) = -1 + 5*b + 0 + b**2 - 3 - 2. Is n(-11) a multiple of 15?
True
Suppose 2 = -2*h, -2*h + 235 = k - 7*h. Let n = k + -141. Is 15 a factor of n?
False
Is 19 a factor of (-1516)/(-7) + ((-60)/(-42) - 2)?
False
Suppose 3*a = -0*a + 6. Suppose 0 = -4*j + h + a*h + 108, -4 = h. Is 2/(-6) + 752/j a multiple of 5?
False
Suppose 295 + 546 = 5*j + 4*p, -j - 2*p + 173 = 0. Is j a multiple of 15?
True
Let v = 176 + -85. Suppose -5*w = -5*r - 395, 3*r + v - 18 = w. Is 16 a factor of w?
False
Suppose -20 = -3*a - 4*z, 2*z = -z + 6. Suppose -20 = 4*y, -3*y + 745 = a*b - 0*y. Is 10 a factor of b?
True
Suppose -4*r + 4*f = -372, r - 106 = 2*f - 17. Is r a multiple of 29?
False
Does 27 divide (4/8)/((-4)/(-34600))?
False
Suppose -2*u + 100 = 2*b + b, -u = 4. Let z be (1*12)/((-6)/(-4)). Let k = z + b. Is k a multiple of 11?
True
Let g(p) = -315*p + 4. Is g(-1) a multiple of 29?
True
Let q(x) = x**3 - 10*x**2 - 11*x - 7. Let v be q(11). Let s(k) = 2*k**2 + 6*k - 10. Is 23 a factor of s(v)?
True
Let d = 5 + -2. Suppose g = -s + 19, 9 - 69 = -d*g - 4*s. Is g - (0/2)/2 a multiple of 5?
False
Let o = 15 + -29. Let n(r) = -4*r + 30. Does 26 divide n(o)?
False
Is 7 a factor of ((-2080)/(-5))/1 - (0 - 4)?
True
Let f be ((-12)/5)/((-2)/30). Suppose 4*a = 6*a + f. Let x = -14 - a. Is 3 a factor of x?
False
Suppose -2*h + 178 = 2*h + 2*i, 4*h + 4*i - 180 = 0. Does 8 divide h/6 - 12/(-18)?
True
Suppose -9 - 1 = -3*r + 2*l, 4*r = -2*l + 4. Suppose -r*s = 8 - 18. Suppose 0 = 2*a - s*q - 0*q - 112, -20 = -5*q. Is a a multiple of 22?
True
Let m = 627 + 2644. Is m a multiple of 11?
False
Let i(u) = u**2 + 23*u - 76. Does 14 divide i(6)?
True
Let f = 2730 + -1531. Is f a multiple of 14?
False
Let q(s) = 15*s - 29. Is 13 a factor of q(46)?
False
Let g be -2 - -8 - -3 - 2. Suppose 20 = -112*s + 107*s. Let f = g + s. Is 2 a factor of f?
False
Suppose -8*b + 6 = -11*b, 5*i - 1905 = 5*b. Does 9 divide i?
False
Is 48 a factor of 4 - (-548)/4 - -3?
True
Suppose 2*a + 28 = 3*l + 128, 2*l + 66 = 2*a. Let i = 53 + l. Is i a multiple of 6?
False
Suppose 41 - 83 = -f. Is 4*f - 0/1 a multiple of 24?
True
Let u(x) = -x - 43*x**2 - 42*x**2 - 2*x + 91*x**2 - 12. Is 41 a factor of u(5)?
True
Suppose 9*u - 3991 = 5. Is 74 a factor of u?
True
Let j(v) = v**3 + 10*v**2 + 4*v - 39. Let h be j(-9). Suppose 0 = -7*b - h*b + 910. Is 7 a factor of b?
True
Let d(x) = 2*x**2 - 8*x - 23. Is d(9) a multiple of 25?
False
Suppose -14 = -14*w + 70. Is 26 a factor of -778*(-3)/w + -2?
False
Suppose -60192 = -27*d + 15*d. Does 132 divide d?
True
Let b(m) = -7 - 2*m + 15*m**2 - 2 + 2 + m**3 + 0. Is b(-15) a multiple of 4?
False
Suppose 5*v - 3*n = 4306, -28*v - 2*n = -23*v - 4296. Is v a multiple of 86?
True
Let a(z) = -22*z**2 + 5*z + 2. Let q(g) = 44*g**2 - 11*g - 5. Suppose -8*b + 20 = -13*b. Let n(c) = b*q(c) - 9*a(c). Is 23 a factor of n(1)?
True
Let f be 6/(-4)*456/18. Let g be (1 + -7)*19/f. Suppose -m - g*q = m - 136, 126 = 2*m - 2*q. Is m a multiple of 13?
True
Let m = 65 - 54. Suppose 8*r + 72 = m*r. Does 12 divide r?
True
Is (-2)/(-7) + (-78474)/(-231) a multiple of 13?
False
Let n be 2 + (-3 - -3) + 2. Let z(f) = 7*f**3 - 11*f**2 + 4*f - 5. Let s(l) = -l**3 + l**2 - l + 1. Let x(i) = -6*s(i) - z(i). Does 8 divide x(n)?
False
Suppose 4*b - 2*h - 3028 = -0*b, 3779 = 5*b - h. Does 38 divide b?
False
Let o(c) = 3*c**2 - 7*c + 4. Let w be o(2). Suppose l + 2*f = 90, 3*l + w*f = -0*l + 278. Is 12 a factor of l?
False
Let q = -4 + 7. Suppose 294 = q*s - 3*m, -5 = -m - 3. Is s a multiple of 28?
False
Let p(j) = -j**2 - 13*j + 17. Let u be p(-14). Suppose -2*f - 164 = -2*w, u*w + 4*f - 68 - 164 = 0. Is w a multiple of 10?
True
Let a = 14 + -124. Let t = a + 159. Does 12 divide t?
False
Let b = -2240 + 2615. Is 5 a factor of b?
True
Suppose 4*h = -j - 497, 2*h - 2*j = j - 259. Let y = h - -182. Is y a multiple of 19?
True
Let v(t) be the third derivative of t**8/20160 + t**6/240 + t**5/60 - 5*t**2. Let j(g) be the third derivative of v(g). Does 7 divide j(-5)?
True
Is -5 + 9 - (1 + 0)*-3310 a multiple of 74?
False
Let k = -72 - -74. Suppose 5*c + s + 2*s = 74, -k*c + 28 = 2*s. Is c a multiple of 14?
False
Let p = -237 - -756. Does 18 divide p?
False
Let f be (-32)/(-18) - (-2)/9. Let o be 2 + (-22)/99 + 488/9. Suppose o = f*i + 16. Is i a multiple of 5?
True
Does 25 divide 1761/9 + 3 - 8/(-6)?
True
Let u(i) = -i**2 + 2*i - 1. Suppose 3*s = m + s - 7, 0 = -4*s - 12. Let l be u(m). Suppose l = -p + 4 + 14. Is 18 a factor of p?
True
Let u(v) be the third derivative of 7*v**4/24 - 2*v**3 + v**2. Let j(p) = 3*p - 41. Let r be j(15). Does 16 divide u(r)?
True
Let j(v) = -v - 14. Let y be j(-12). Let g be (2/(-2))/(y/74). Let i = g + -29. Does 5 divide i?
False
Suppose -2*y + 0*y = l - 1221, -3*y = -4*l + 4884. Is 37 a factor of l?
True
Let b(s) = s**3 - s**2 - s. Suppose 0*r = 2*r - 8. Is b(r) a multiple of 14?
False
Let b be (-1103)/(-4) - (-11)/44. Suppose -n + b = n. Suppose 2*i - n = 66. Is i a multiple of 25?
False
Suppose -2*y + 394 = -90*h + 85*h, 4*y - h = 770. Does 96 divide y?
True
Let f(p) = 7*p - 17. Let z be f(3). Suppose -z*c + 38 = -130. Does 4 divide c?
False
Let n(z) = 3*z + 43. Is n(7) a multiple of 8?
True
Suppose 6*n = 9*n + m - 503, 0 = -5*n + 4*m + 810. Is 31 a factor of n?
False
Suppose -3*k + 884 - 176 = 0. Let l = -114 + k. Suppose 4*j + r + 30 = l, 2*r - 8 = 0. Is 22 a factor of j?
True
Let f = 1 - -2. Is (-1562)/(-8) + f/4 a multiple of 26?
False
Let v = 58 - 161. Let i = v + 130. Is i a multiple of 9?
True
Is (-30)/9*(-1440)/100 a multiple of 12?
True
Let d be 116/36 + 4/(-18). Let v = d - 6. Does 17 divide (1 - (3 + -40)) + v?
False
Suppose -12*r + 57 = -9*r. Does 2 divide r?
False
Suppose -9 = 4*z - 7*z. Suppose -z*x = 2*x - 325. Is 13 a factor of x?
True
Let f(d) = -268 + 3*d**2 + 275 + 2*d**2. Is 25 a factor of f(3)?
False
Let u(i) = i + 10. Let g be u(-4). Suppose 88 = g*f - 2*f. Is (f - 1) + -8 + 11 a multiple of 10?
False
Let s = -195 - -126. Let u = -11 - s. Is 8 a factor of u?
False
Let u(o) = 9*o + 56. Does 19 divide u(-2)?
True
Let m = 7149 - 4489. Is m a multiple of 11?
False
Let j be ((-22)/6)/((-2)/6). Let f be j*(0 + 16)/4. Let a = 78 - f. Is 13 a factor of a?
False
Let d = -36 + 32. Does 17 divide (d/(-6))/((-4)/(-204))?
True
Let u(i) = -86*i - 850. Does 2 divide u(-14)?
True
Let t be 8 + -3 + 3 + 0. Let v(h) = h**2 + 4*h + 14. Is 15 a factor of v(t)?
False
Let m(j) = 46*j - 3. Let s be m(5). Let k = 450 - s. Is k a multiple of 32?
False
Let h = -15 + 16. Let q(k) = -h - 5 + 3 - 7*k. Does 30 divide q(-6)?
False
Let j(p) = -p**2 - 29*p - 58. Does 48 divide j(-22)?
True
Suppose 43*a + 3840 = 48*a. Suppose 0 = 3*j - 33 - a. Is 17 a factor of j?
False
Suppose 2*l - 3*y - 123 = 0, -l + 3*l - 5*y - 133 = 0. Is l a multiple of 27?
True
Let d = 383 - 228. Is 7 a factor of d?
False
Let l(y) = -665*y**3 + y**2 + 9*y + 8. Is 9 a factor of l(-1)?
False
Let v(b) = -248*b - 6. Is 36 a factor of v(-3)?
False
Does 13 divide (-5206)/(-8) - (-72)/(-96)?
True
Let r(s) = -s**2 - 36*s - 108. Is r(-22) a multiple of 25?
True
Let k(l) = l - 6. Let y be k(7). Let t(n) = 0 - 3*n - 3*n**2 - y - n**3 - 2 + 1. Is 21 a factor of t(-5)?
True
Let h be (150/(-9))/(4/(-6)). Suppose 4*z - 2*s = 5 + 1, -s = 5*z - h. Is z a multiple of 4?
True
Let r(z) = -z**3 - z**2 + 3*z - 1. Let y be r(-3). Is y/(-12)*(-282)/4 a multiple of 16?
False
Suppose 4*s - 728 = -3*i + 403, -5*i - 841 = -3*s. Suppose -3*y = -2*y - s. Suppose -5*h = -5*m + 360, 4*m - y = 2*h - 4*h. Is m a multiple of 37?
False
Let r(y) = 8*y**2 - 23*y + 8. Is 24 a factor of r(8)?
True
Let w(i) = -i**2 - 73*i. Is w(-31) a multiple of 93?
True
Suppose 2422 = 30*p - 16*p. Is 8 a factor of p?
False
Let i(a) = -a + 15. Let b be i(5). Let o(p) = p**2 - 8*p + 20. Is o(b) a multiple of 18?
False
Let d be (2 - 5)/(3/(-426)*6). Suppose d*b - 72*b + 114 = 0. Is b a multiple of 39?
False
Does 14 divide 6/(-18)*-21 - (-1 - 1364)?
True
Suppose 2*t + 4 = 14. Suppose t*d - 3*d = -4*z + 36, -5*d + 6 = -2*z. Suppose -4*r + 121 = -z. Does 8 divide r?
True
Suppose 3*z + 5 - 17 = 0. Suppose -5*r + 11 = -z*r. Is r even?
False
Suppose 3*l + 126 = 720. Is l a multiple of 9?
True
Suppos