= h + 7 - 3*h - 2*h. Let r be s(3). Does 4 divide c(r)?
False
Is 17 a factor of (-20057)/(-5) + -21*(-10)/350?
True
Let u(w) = w**3 + 3*w**2 - 4*w + 5. Let t be u(-4). Suppose -4*q - 2*v = -36 - 382, 4*q = -t*v + 415. Is 21 a factor of q?
True
Suppose 11707 = 19*g + 4*g. Does 12 divide g?
False
Let t(u) = 257*u - 571. Does 59 divide t(12)?
False
Suppose -z + 516 = z. Does 38 divide z?
False
Is 631 - (-16 + (-4 - -9)) a multiple of 9?
False
Let x(y) = y**3 + 14*y**2 + 13*y + 2. Let f be x(-13). Suppose f*z = 96 + 8. Suppose 3*v - z - 26 = 0. Does 26 divide v?
True
Let v = 104 - 101. Suppose -u + 43 = v*s, -5*u + 50 = 3*s + 3. Does 2 divide s?
True
Let b(z) = z**2 + 6*z + 5. Let o be b(-5). Suppose o = -5*c - 39 + 224. Is c a multiple of 9?
False
Let p(r) = 7*r**2 - 37*r - 241. Is 127 a factor of p(-18)?
False
Suppose -t + 1069 = -g, -5*t + 3802 = -4*g - 1544. Is t a multiple of 58?
False
Let j be 2*(9 + -5 - (-335)/(-2)). Let y = j - -546. Is y a multiple of 24?
False
Suppose -3*w + 444 = i, 0 = 5*i - 7*i - w + 908. Does 6 divide i?
True
Let o(x) = 3*x**2 - 3. Let v be o(3). Let w be ((-3)/9)/(4/v). Let c = 3 - w. Does 5 divide c?
True
Suppose 0*m - 5*m = -5*s - 15935, -s = -3*m + 9559. Is 118 a factor of m?
True
Let u = 504 + 616. Is 40 a factor of u?
True
Let w(k) = -16*k - 2. Let i(u) = 63*u + 8. Let a(v) = 6*i(v) + 22*w(v). Is 10 a factor of a(1)?
True
Suppose -122*y = -102*y - 32400. Does 81 divide y?
True
Suppose 0 = 4*d + 4*u + 11 - 43, 5*d + 3*u = 36. Suppose d*r + 176 = 632. Is 16 a factor of r?
False
Let o = -16 - -14. Is (292/8)/(o/(-4)) a multiple of 18?
False
Suppose -3*u - 10 - 187 = 2*h, 3*u = h + 76. Let j = 149 + h. Is 29 a factor of j?
True
Let i(h) = -h**3 - 3*h**2 - 3*h - 3. Let j(k) = -2*k**2 + 2*k + 1. Let b be j(2). Does 6 divide i(b)?
True
Let o = -208 + 122. Let j = 126 + o. Is j a multiple of 5?
True
Suppose 5*u - 3883 = -63*q + 61*q, 2 = -2*q. Does 7 divide u?
True
Suppose -283 = -4*k + 285. Suppose k = 4*o - 7*n + 2*n, -146 = -4*o + 3*n. Suppose -5*h - o = -93. Is 11 a factor of h?
True
Suppose 81 = -j + 80. Let g(k) = 1 + 2 - 31*k**3 - 2. Is g(j) a multiple of 9?
False
Suppose -2*c + 12 = -0*c. Suppose 0 = c*q - 2*q - 20. Suppose 8*u - 66 = q*u. Is 14 a factor of u?
False
Let d be (-20)/(-5) - 8 - -17. Suppose 0 = -m + 2*h + 12, 5*h + d - 1 = -2*m. Suppose -2*i + 212 = -4*u, m*i - 5*u + u = 436. Is i a multiple of 28?
True
Let u(c) = -c**2 + 4*c + 14. Let y be u(6). Suppose -28 - 32 = -3*d + 2*o, -40 = -y*d - 2*o. Let i = d - -8. Is i a multiple of 26?
False
Let n = 14 - 9. Suppose n*r + 5*y + 414 = 4*y, 3*r + 4*y + 245 = 0. Is 1 - 2 - (r - -5) a multiple of 22?
False
Let v = 2208 + -1599. Is v a multiple of 7?
True
Let y(h) = -h**2 - 19*h - 18. Let a be y(-18). Suppose -3*l + 48 = -l + 4*k, 5*l + 2*k - 80 = a. Is 7 a factor of l?
True
Suppose 21*l = 18*l - 84. Does 15 divide (-108)/(-7) + 12/l?
True
Let y(v) = -v**2 + 11*v + 14. Let i be y(12). Suppose -t - 62 = -p - 0*t, -124 = -i*p - 4*t. Does 11 divide p?
False
Let q(n) = -n**3 - n + 45. Let h be q(0). Suppose -119 = 5*s + 2*o, -31*o = 4*s - 32*o + 90. Let c = s + h. Is c a multiple of 5?
False
Suppose 4*f + 4*n = 216, -4*f + 151 + 49 = -4*n. Suppose k = 2*b + f, 4*k = 2*b + 78 + 112. Is k a multiple of 46?
True
Let n = 766 - 410. Is 25 a factor of n?
False
Suppose -q + 33 - 10 = 0. Suppose -q - 37 = -5*s. Is 3 a factor of s?
True
Let y(t) be the first derivative of -9 + 1/4*t**4 + 12*t - 7/3*t**3 - 7*t**2. Does 23 divide y(9)?
False
Suppose -5*g - 258 = -8*g + 3*f, -4*f = -2*g + 162. Does 7 divide g?
True
Let f = 14 + -10. Suppose -f*q + 67 = -21. Suppose b + q = c, b + 4*b = c - 18. Is 6 a factor of c?
False
Is 21 a factor of -630*(42/12 - 4)?
True
Let m = -621 - -853. Is m even?
True
Suppose 2*w - 200 = 772. Does 10 divide w?
False
Let g(i) = i**3 - i**2 - 13*i + 11. Let w be g(9). Suppose -5*n - z + 0*z = -w, 5*n - 5*z = 530. Is 36 a factor of n?
True
Suppose -3*i + 7 = g - 2, 5*i = 5*g - 5. Suppose -3*n = -g*l + 148 - 28, 0 = l + 4*n - 60. Does 7 divide l?
False
Let x = -17 + -114. Let q = -78 - x. Is q a multiple of 7?
False
Let v(g) = -46*g - 160. Does 19 divide v(-12)?
False
Suppose 0 = -5*b + 196 + 704. Suppose -4*l - 3*u + 0*u = -178, 2*u = -4*l + b. Does 4 divide l?
False
Is 4/4*(24 + (-8 - -4)) a multiple of 2?
True
Let f(h) = -h**3 - 11*h**2 - 32*h + 20. Is 50 a factor of f(-10)?
False
Suppose u = 5*d + 47 + 7, -10 = d - u. Let n = 17 + d. Suppose 2*y = n*y - 80. Is y a multiple of 11?
False
Suppose -p - h = -3*p - 64, 161 = -5*p + 2*h. Let u = p + 105. Does 12 divide u?
True
Is 4 + (5 - -733 - 4) a multiple of 18?
True
Suppose -6*g + 3*g - 4*w + 309 = 0, 2*g = -2*w + 206. Is 51 a factor of g?
False
Let l = 181 + -11. Is l a multiple of 10?
True
Suppose -6*k + k = -985. Let g = k + -28. Is 13 a factor of g?
True
Let p(b) = 7*b**2 + 6*b - 40. Does 9 divide p(-8)?
True
Let x be 2/(-8) + 9/4. Suppose 3*d + 0*m + 2*m = -9, d + m = -4. Is 7 a factor of (d - 1)*-4*x?
False
Let a(r) = 11*r - 11. Let m be a(8). Let j be 14/m + (-57)/11. Let h(s) = s**3 + 6*s**2 - 5*s + 4. Is 9 a factor of h(j)?
True
Let q(l) = -7*l**3 - 4*l**2 - 12*l + 8. Does 24 divide q(-3)?
False
Suppose 3*w + 4 = 19. Let n = 16 - 3. Let u = w + n. Is 3 a factor of u?
True
Let n(p) = 76*p**2 + 7*p - 15. Is n(3) a multiple of 16?
False
Let k be (-11 + 29)*(-18)/(-4). Let l = k - 55. Does 26 divide l?
True
Let n(m) = m**3 + 4*m**2 + 5*m + 1927. Does 81 divide n(0)?
False
Suppose -t - 4*t = -5. Let q be -2 - 1*(t - 6). Suppose q*z - 5*r = 61, -2*r - 26 = 2*z - 72. Is 22 a factor of z?
True
Let f = -43 - -52. Suppose -971 = -f*t + 82. Does 13 divide t?
True
Suppose 0*c + 4*k = -3*c + 6178, -c - 3*k = -2061. Is 42 a factor of c?
True
Let y = 43 + -115. Let p be (-24)/y*(-6)/(-1). Is 8/p + (-56)/(-4) a multiple of 11?
False
Let f(v) = v**3 - 1. Let h(r) = -r**2 + 1. Let y(p) = f(p) - 3*h(p). Does 9 divide y(2)?
False
Suppose 47*g - 33*g = 8554. Is g a multiple of 47?
True
Suppose -18*m + 20*m - 600 = 0. Suppose 0 = 15*j - 10*j - m. Does 15 divide j?
True
Let t(p) = -2*p**2 - 4*p + 1. Let j be t(-3). Let i(q) = 91*q + 4 + 93*q - 186*q. Is 7 a factor of i(j)?
True
Suppose 0 = -5*c + b + 25, -c + 0*c + 2*b + 5 = 0. Suppose c*k + 5*n = 105, 4*k - 2*n - 79 = -7*n. Is k a multiple of 7?
False
Let j = 752 - 422. Suppose x = 3*x - j. Does 34 divide x?
False
Suppose -a + 6 = 2*a. Suppose 0 = -7*p - 3*p + 710. Suppose 2*m = -a*r + 108, 0 = -4*r + 3*m + 124 + p. Does 14 divide r?
False
Does 59 divide ((-26961)/44)/19*-84?
False
Let y be 2/(((-2)/87)/(-2)). Let x(z) = 2*z**2 + 6*z + 6. Let o be x(-2). Suppose o*q - 14 = y. Is 29 a factor of q?
False
Let d(s) be the third derivative of s**6/120 - s**5/10 - s**4/6 + s**3 + 5*s**2. Suppose 5*z - 5*u - 20 = -0*u, -1 = -z + 2*u. Is d(z) a multiple of 9?
True
Suppose 0 = -2*t + 53 - 13. Suppose -4*o - 20 = 0, t + 36 = 3*g - o. Does 8 divide (-4)/8 + g/2?
True
Suppose 0*v + 4*v = 88. Is (-18)/12*v/(-3) even?
False
Let s(b) = -b**2 + 33*b + 56. Is 20 a factor of s(31)?
False
Let x = -30 - -45. Is 12 a factor of (3 - -1)*(x/2 - 1)?
False
Let v be 0/((-4)/4 + 3). Suppose 2*s + 5*d = 11 + 46, v = 5*s + d - 200. Is s a multiple of 41?
True
Let v = 20 + -14. Suppose -2*h - 3*i = -v, 2*h + 0 = -5*i + 2. Suppose 2*o + 2 = h. Is o even?
True
Let b = -44 - -57. Is 2890/26 + (-2)/b a multiple of 20?
False
Suppose -4*k - 16 = 0, -4*o - o = -4*k - 1236. Suppose -2*q - o = -5*q + 4*d, d = 5. Is q a multiple of 5?
False
Let s(p) = -p**3 + 7*p**2 + 8*p - 15. Let u be (2/(-6))/(9/(-243)). Let x be s(u). Let c = 149 + x. Does 20 divide c?
False
Let b be (10/(-6) - -3)/((-2)/(-3)). Suppose 0 = -b*q + 12*q - 440. Does 7 divide q?
False
Let y be (1*28/(-21))/(2/(-18)). Does 37 divide (-1712)/12*y/(-8)?
False
Suppose n + 118 = 3*n. Let q = n - 19. Does 18 divide q?
False
Let m = -994 - -1200. Is 16 a factor of m?
False
Let z be 54/21 - (-4)/(-7). Let p = 170 - z. Is 42 a factor of p?
True
Suppose 5*q + 4*b + 58 = 3*q, 3*q = -b - 87. Let x = q - -46. Is 17 a factor of x?
True
Suppose 2*g - 5*g - 18 = 0. Let o = g - -78. Does 24 divide o?
True
Suppose n - 2512 = 7*x - 3*x, 4*n + 2*x = 10084. Is 105 a factor of n?
True
Suppose 2*m + 17*l = 13*l + 1712, 3400 = 4*m + 2*l. Does 132 di