actor of -45*(34/(-10) - -1)?
False
Let i(p) = 2*p**2 + 2*p + 3. Suppose 2*h = 3*h + 2. Is 6 a factor of i(h)?
False
Is 6/(-15) + (-1108)/(-20) a multiple of 11?
True
Let d(x) = -x**2 - 11*x - 4. Let l be d(-10). Let a be (l/(-4))/(6/(-56)). Suppose 6*p - 43 = -3*y + p, 0 = -y + 4*p - a. Does 4 divide y?
False
Suppose 0*x - 210 = -4*a + x, 2*x = -4. Suppose 5*k - 26 - 94 = 3*m, 5*m = -k + a. Let h = k - 19. Is 8 a factor of h?
True
Let b = -79 + 156. Is 7 a factor of b?
True
Let b(i) = -i + 280. Let x be b(0). Suppose -2*v + x = 3*v. Does 28 divide v?
True
Let m(x) = x**3 - 3*x**2 - 6*x + 6. Is m(5) a multiple of 4?
False
Is 2*(-1 + 76/8) a multiple of 4?
False
Suppose 2*x = -4*b + 116, -5*b - 5*x + 46 = -104. Suppose -193 = -5*y - b. Is y a multiple of 11?
True
Suppose 12*l - 10*l = 0, 3*a - 4*l - 810 = 0. Is a a multiple of 37?
False
Suppose -4*d = 4, 2*g - d - d - 6 = 0. Does 18 divide 0/5 - (g - 66)?
False
Let v(n) = n**2 - 4*n - 3. Let l = -1 - -5. Let s be v(l). Is 10 a factor of (3/4)/(s/(-48))?
False
Suppose 0 = r + r - 3*p - 126, 5*r + 3*p - 357 = 0. Does 6 divide r?
False
Suppose 11 = 3*z + 5. Suppose z*t + 4*o - 36 = 2*o, -5*o = -t + 12. Does 14 divide t?
False
Let s(p) = -3*p**3 + 4*p**2 - 4*p + 5. Let c be s(-5). Suppose -2*g + 2*i = -10, 0*i = -2*g - 2*i + 14. Is 2/g + c/12 a multiple of 17?
False
Suppose p + 0 = -2*r - 9, 0 = 4*r - p + 33. Is 9 a factor of ((-18)/r)/((-2)/(-14))?
True
Let x(p) = 7*p - 7. Let k(n) = 4*n - 4. Let o(t) = 11*k(t) - 6*x(t). Suppose 2*v + y = 9, 8*y - 3*y + 53 = 4*v. Does 6 divide o(v)?
True
Let q(b) = 4*b**2 - 3*b - 2. Is 2 a factor of q(2)?
True
Suppose 3*x - 5*x - 32 = 0. Let p = 10 - x. Suppose y = -y + p. Is y a multiple of 8?
False
Let h be -1*3 + 0/(-6). Is 10 a factor of (h - 1)/(4/(-22))?
False
Suppose 3*l = -2*d + 9 + 94, 0 = d + 5*l - 69. Is 11 a factor of d?
True
Let j(u) = 5*u - 9. Let t be j(7). Suppose 33 + 37 = 4*g + 3*l, 2*g - 3*l = t. Is 16 a factor of g?
True
Suppose -f = 13 - 20. Is f a multiple of 3?
False
Suppose 6*s - 4*s = 0. Suppose o + s*o - 10 = 0. Is 10 a factor of o?
True
Let h(y) = -y - 1. Let n be h(-4). Suppose -n*u - 36 = -3*x, -5*x + 11 = -2*x + 2*u. Is x a multiple of 5?
False
Suppose 16 = -5*c + 5*j + 1, -4*j + 24 = 2*c. Suppose -5*a = 5*z - 12 + 32, -c*z = -5*a - 6. Let f = 8 + a. Is f a multiple of 3?
True
Let n = 17 - 11. Does 3 divide n?
True
Let b(m) = m - 13. Let x be b(-3). Suppose -3*i + 38 - 120 = 2*h, 4*i + 96 = 4*h. Let j = x - i. Is 10 a factor of j?
True
Let i(h) = -24*h. Let n be i(-3). Suppose -m - 2*m = -n. Is 6 a factor of m?
True
Let c = 48 - -3. Does 17 divide c?
True
Suppose 46 - 311 = -5*g. Does 21 divide g?
False
Suppose 0 = a - 0*a - 4*j - 45, -3*j + 35 = 2*a. Is 18 a factor of a?
False
Suppose -3*i - 10 = -5*j - 1, -2*i + 1 = -j. Suppose 3*d - 55 = -i*d. Is 11 a factor of d?
True
Suppose 3*k + 6*i - 2*i - 23 = 0, -4*k - 5*i = -30. Suppose 88 + 16 = 4*n. Suppose 2*s - 26 = k*y, -4*y = 2*s - 0*s - n. Does 6 divide s?
False
Suppose -421 = -12*k + 839. Is 10 a factor of k?
False
Let d(t) be the third derivative of t**4/24 + 2*t**3 - 4*t**2. Let q be d(-10). Suppose -q*p - 22 = -3*p. Is p a multiple of 11?
True
Let y be 1/((-2)/114 - 0). Let f = y - -83. Is f a multiple of 13?
True
Let t = -3 + 8. Suppose p + 3*i = 39, -3*p + 0*i = -t*i - 61. Does 21 divide p?
False
Suppose -3*c = -0*c - z - 18, 0 = -3*c - 3*z + 6. Suppose 4*x = 3*g - 73, c*x - 18 = 5*g - 138. Does 12 divide g?
False
Let z = 162 + -155. Is z a multiple of 3?
False
Is 30 a factor of (2 - 30/9)/((-2)/270)?
True
Suppose 9*l - 4*l + 10 = 0. Does 29 divide 10/20 + (-163)/l?
False
Is 11 a factor of (-9)/(36/(-728)) + 5?
True
Let z(h) = 242*h**2 + 4*h - 2. Is 30 a factor of z(1)?
False
Suppose 0 = -10*p - 454 + 2054. Does 40 divide p?
True
Let d(f) = f**2 - 3*f + 1. Let b be d(2). Is (b/(-3))/((-4)/(-96)) a multiple of 8?
True
Let l(n) = -n**2 - 7*n + 3. Let r be l(-7). Does 14 divide r*((-25)/(-3) + 1)?
True
Let x be 2/8 - 42/8. Let w(i) = -4*i - 21. Let a(f) = 2*f + 11. Let o(j) = 11*a(j) + 6*w(j). Is 5 a factor of o(x)?
True
Let k(h) = h + 1. Let p be k(3). Suppose -i + 30 = 4*i. Suppose -p*a + 39 = x, a + 80 = i*a - 5*x. Is 11 a factor of a?
True
Let v = 35 + -21. Let k be 1164/42 - (-4)/v. Suppose 3*h = -3*b + 31 + 20, -4*h + k = -4*b. Does 12 divide h?
True
Let c be 114/(-4)*4/(-3). Suppose -j + c = -5. Is j a multiple of 19?
False
Suppose 6*f - 325 = 95. Is 14 a factor of f?
True
Suppose -32 = -4*v + 8. Let f = -3 + v. Suppose 0 = -m + f - 1. Is 3 a factor of m?
True
Let n(d) = -7*d**3 - d**2 - 2*d - 2. Is 5 a factor of n(-1)?
False
Let a(y) = 2*y**2 + 4. Let d be a(-2). Suppose -b + 155 = 2*r - 282, -3*b - 1087 = -5*r. Is r/d + 6/(-36) a multiple of 9?
True
Let a(j) = 3*j - 2. Is a(10) a multiple of 12?
False
Suppose 9*y - 6*y - 21 = 0. Suppose y*x = 2*x + 105. Is x a multiple of 7?
True
Let h = -32 - -58. Let j = 41 - h. Does 15 divide j?
True
Let o be (-5 - -45) + 1 + -2. Let w = 6 + o. Does 18 divide w?
False
Let t = -118 + 254. Does 17 divide t?
True
Suppose g - 5*g - z + 355 = 0, -4*z = -12. Does 22 divide g?
True
Let v = 2 + 13. Let i be (20/(-12))/((-2)/6). Let h = v - i. Is h a multiple of 6?
False
Let v = -15 + 18. Suppose 4*o - 12 = 0, 3*m + v*o - o = 18. Is m a multiple of 4?
True
Let o(v) = -5*v - 9. Let z(j) = -j - 2. Let m(i) = -2*o(i) + 9*z(i). Let p be m(3). Suppose k - p*k + 20 = 0. Is 9 a factor of k?
False
Is 7 a factor of (42/(-8))/((-3)/16)?
True
Suppose -v - 8 = -20. Suppose f + v = 5*i, -7*i = -3*i + 4*f. Suppose -36 = i*y - 5*y. Does 4 divide y?
True
Suppose s = 3*s - 10, h + 4*s - 31 = 0. Is h a multiple of 11?
True
Suppose 2*t = 16 + 98. Does 14 divide t?
False
Suppose -u + 1 - 4 = -2*n, -6 = -n - 4*u. Suppose -5*s = -3*k + 110, 0*k + k - n*s - 36 = 0. Does 20 divide k?
True
Let a(n) = 4*n**2 + n**2 - 4*n - n - 1 + 2*n. Suppose -4*h - 11 = -3. Is a(h) a multiple of 11?
False
Suppose 3 = k - 1. Let y be k + -1 - (2 + -2). Suppose -y*o + 27 = -21. Does 8 divide o?
True
Suppose 713 = 5*k + 2498. Let d = k - -539. Suppose 5*s - d = -42. Is s a multiple of 11?
False
Suppose -22 = -2*p - 4*x, 4*p - 3*x = 6*p - 26. Does 4 divide p?
False
Suppose -15 = j + 40. Let g be (j/20)/((-2)/16). Suppose -14 = -2*y + g. Is 6 a factor of y?
True
Let z(x) = 8*x - 2*x + 9*x. Is 4 a factor of z(1)?
False
Let a = 58 - 30. Does 14 divide a?
True
Let d be (-6 - -1)*2/5. Suppose -2*o + 4 = -6*o. Does 9 divide (-1 + o)/(d/22)?
False
Let q = -53 + 20. Let b = 79 + q. Is 17 a factor of b?
False
Suppose 0 = -5*y + 3*y + 128. Is y a multiple of 16?
True
Let z = 11 - 22. Let b = -7 - z. Is 3/(((-6)/b)/(-1)) even?
True
Let d(u) = -u**3 + 6*u**2 - u + 8. Let v be d(6). Suppose 3*j - v*j - 8 = 0. Is 8 a factor of j?
True
Suppose 0*z - 238 = -2*g - z, 2*g - 2*z = 244. Does 10 divide g?
True
Let v(q) = q**3 - 6*q**2 - 8*q - 6. Is v(8) a multiple of 35?
False
Let f(y) = -2*y - 5. Let m(t) = t + 1. Let w(p) = f(p) + 3*m(p). Let d be w(8). Is 20 a factor of (196/6)/(4/d)?
False
Suppose 0 = 3*j - 131 - 40. Is j a multiple of 19?
True
Let w = -6 - -8. Suppose -3*o + w*o + 23 = h, -o - 4*h + 35 = 0. Does 8 divide o?
False
Is 3 a factor of ((-22)/(-6))/(1/(-3))*-1?
False
Let c be (18/4)/((-6)/8). Is 2 a factor of (-26)/(-10) - c/15?
False
Let k = 1 + 13. Let s be (-47)/(2*2/(-8)). Suppose -2*h - k = -s. Is 14 a factor of h?
False
Let h(q) = -q**2 + 4*q - 4. Let t(m) = -1. Let r(c) = h(c) - t(c). Let s(i) be the first derivative of r(i). Is s(-5) a multiple of 7?
True
Let r(x) = -x - 5 - 7*x**2 + 3 + x**3 + 10*x. Let u be r(6). Is -1*u/6*-6 a multiple of 8?
True
Let k = 68 - 24. Let z = -26 + k. Is 6 a factor of z?
True
Suppose 5*a + 3*v = 185, 15 = -3*v - 0. Is 10 a factor of a?
True
Suppose -6 = -p - 3. Suppose -j - 86 = -p*j. Is 11 a factor of j?
False
Let d(n) = -2*n**3 + n**2 + 3*n + 2. Suppose -3*b - 4 = -b. Is d(b) a multiple of 8?
True
Does 3 divide 1/((-4 - (-476)/120)/(-1))?
True
Let j = -1 - -4. Suppose 0*m = j*m, -30 = -5*h - 4*m. Does 6 divide h?
True
Does 16 divide (144 - -1) + -1 + 0/1?
True
Let a(v) be the second derivative of v**3/6 + 2*v. Let s be a(3). Suppose -4*r + s*u + 229 = 0, -2*u = -4*r - 4*u + 214. Does 21 divide r?
False
Is 132/5 + (-21)/(-35) a multiple of 9?
True
