 12 divide c?
False
Let l(v) = v**2 - 15*v + 30. Let o be l(13). Suppose h + 3*z - 264 = 0, 1252 = 5*h + 2*z - o*z. Does 21 divide h?
True
Suppose -3*f - 12 = -3*c, -3*c + 0*f = -f - 4. Let y = 115 - c. Does 9 divide y?
False
Does 80 divide (2 - 3)/(((-6)/652)/3)?
False
Suppose 0 = -8*v + 1247 - 127. Is v a multiple of 89?
False
Suppose n + 5*m + 8 = 0, 6*n + 9 = 4*n - 3*m. Let x(v) = -4*v**3 + 3*v**2 + 10*v + 9. Is 10 a factor of x(n)?
False
Let x be (-6)/8 + (-57)/(-12). Let g be (-5)/(-2) - 2/x. Suppose g*d - 83 = 5. Is d a multiple of 11?
True
Let i(u) = u**3 + 9*u**2 + 16*u + 17. Let l be i(-7). Suppose w - c - 65 = l*c, 4*c + 187 = 3*w. Is w a multiple of 33?
False
Let c = 14 - -11. Suppose 77 = -2*o + c. Let x = 89 + o. Does 16 divide x?
False
Is 9 a factor of (-1233)/(-12) - ((-40)/(-5))/(-32)?
False
Suppose -449 = -i + 2*d, i - 5*d + 99 = 542. Is 5 a factor of i?
False
Suppose 3*z - l + 31 = 5*z, -4*l - 71 = -5*z. Let u = 5 + 0. Suppose b + u = z. Is b even?
True
Let k = 84 + -81. Suppose -4*u - k*t = -9*u + 354, u - 68 = 2*t. Does 22 divide u?
False
Let f(t) be the first derivative of -2*t**2 - 14*t + 1. Let o be f(-6). Suppose -11*h + o*h + 18 = 0. Is h a multiple of 18?
True
Let o = 916 + -706. Does 117 divide o?
False
Suppose 0 = -2*n + 21 + 3. Let x be (-301)/(-42) + (-2)/n. Suppose -j + 0*j + x = 0. Does 6 divide j?
False
Suppose -70*f + 66*f + 280 = 0. Is 9 a factor of f?
False
Suppose -4 + 20 = 4*m. Suppose -4*l = -3*k - 5, -m*l + 2*l + 4 = 0. Does 8 divide -1*k/1 + 17?
True
Let x = 67 + -55. Suppose -4*o = x - 204. Is o a multiple of 26?
False
Is 7 a factor of (-9)/(162/(-444))*(1 + 38)?
False
Let r be ((-33)/9 - -3) + 40/15. Let m = 0 - 0. Suppose 3*j = -5*z + r*z + 54, m = -5*j - 3*z + 94. Does 10 divide j?
True
Let m(p) = -2*p**2 + 11*p**2 - 2*p**2 + p**3 + p**2 + 3*p - 2. Let h be m(-5). Suppose h = 6*l - 278. Is 19 a factor of l?
False
Let c(s) be the second derivative of s**5/20 + 2*s**4/3 - s**3/3 + 3*s**2 + s. Let i(l) = l**2 + 3*l - 8. Let o be i(-3). Is 8 a factor of c(o)?
False
Suppose 38*a + 199820 = 135*a. Is a a multiple of 46?
False
Suppose -8*n + 415 = g - 6*n, -4*g + 4*n = -1684. Is 23 a factor of g?
False
Is -1 - 6/((-6)/533) a multiple of 28?
True
Let s = -8497 - 16395. Does 9 divide 2/9 - (s/63)/4?
True
Let h(n) = -11*n**3 - 7*n**2 - n + 1. Does 14 divide h(-5)?
False
Suppose 0*u = -o + 4*u - 19, 9 = -o + 2*u. Let b(l) = 5*l**2 + l**2 - 6*l - 5 - o + 3 - l**3. Does 2 divide b(4)?
False
Suppose 952 + 320 = 6*d. Let z = 395 - d. Is z a multiple of 35?
False
Let m(l) = -l**3 + 17*l**2 - 20*l + 2. Is m(14) a multiple of 15?
False
Let t = 230 - 76. Does 13 divide t?
False
Suppose -5*o + 11902 = 7*k - 5*k, 4*k = -o + 2384. Does 70 divide o?
True
Let k(h) = -h**3 + 10*h**2 - h + 12. Suppose r = 14 - 4. Let v be k(r). Suppose -3*m - 8 = -v*y - 0, -5*y = 2*m - 58. Is y a multiple of 10?
True
Let v(j) = -j**3 - 5*j**2 + j + 8. Let x be v(-5). Suppose -8 = 2*i, 6*i = 4*r + x*i - 724. Does 24 divide r?
False
Is (2 - -568) + (-8 - -6) a multiple of 19?
False
Suppose -14*k - 532 = -1988. Suppose 2*s - 20 = -2*r, 2*s - 2*r = -0*r. Suppose -4*f + s*f = k. Is 27 a factor of f?
False
Let t = 3157 - 697. Is 30 a factor of t?
True
Let c = 5 - 12. Let h = 18 + c. Let f = -7 + h. Is f a multiple of 4?
True
Is 3 a factor of (-15)/(-6) + (-2 - (-28)/8)?
False
Let d = 353 - -23. Does 36 divide d?
False
Is 390/(-325)*(2294/(-6) + -1) a multiple of 5?
True
Suppose 4*u - 3*y = 183, -3*y = 3*u - u - 87. Let a(m) = -m**3 + 9*m**2 - 2*m + 20. Let w be a(9). Suppose -w*f = f - u. Is 8 a factor of f?
False
Let q(p) = 5*p**3 - 2*p**2 + 3*p - 2. Let g be q(1). Suppose -101 = -g*k + 7. Does 11 divide k?
False
Let h be 1 + 2 + (4 - 3). Suppose -3*a - h = 3*y - 2*y, -3*a - 3*y - 6 = 0. Is 11 a factor of ((-3)/(-9))/(a/(-57))?
False
Let b = -124 + 50. Let q = -26 - b. Does 7 divide q?
False
Let u(c) = 23*c + 16. Let j = -19 + 27. Does 10 divide u(j)?
True
Suppose 0 = -2*p + 5*r + 10, 3*r - 2 = p - 7. Suppose -p*g = 42 - 212. Does 8 divide g?
False
Let u(r) = 2258*r**2 + 7*r - 1. Does 45 divide u(-1)?
True
Let n be (-211)/(-6) + 7/(-42). Let z = n - 20. Is z a multiple of 5?
True
Let i be -22 - -17 - 423/(-1). Suppose 3*c + 877 = 5*p + 237, i = 3*p + 5*c. Is p a multiple of 23?
False
Suppose -8*k + 819 = k. Let o = k - 46. Is 7 a factor of o?
False
Let a = 7 + -5. Let d(z) = -4*z - 9*z + 18*z + 6*z**a - 7*z - 8. Is d(-5) a multiple of 38?
True
Let x(g) be the second derivative of -16*g**3/3 - 33*g**2 - 29*g. Does 25 divide x(-13)?
True
Suppose -3 = 3*i, -i + 4 = a - 3*i. Let h(j) = 5*j**3 + 9*j**a - 10 + 0*j**3 - 2*j**3 - 2*j**3 + 7*j. Does 13 divide h(-7)?
True
Let h(z) = -9*z**3 - 5*z**2 - 5*z - 5. Let c(y) = -2*y**3 + 21*y**2 - 11*y + 7. Let o be c(10). Is 16 a factor of h(o)?
True
Suppose 5*t + t - 1680 = 0. Suppose -9*k + t = -260. Is 6 a factor of k?
True
Let k be (-132)/(-28) - (-2)/7. Suppose k*y - 3*m - 25 = 46, -y + 25 = 3*m. Is 16 a factor of y?
True
Let t(j) be the first derivative of -j**4/2 + 2*j**3/3 - 15. Is 4 a factor of t(-1)?
True
Is 23 a factor of (-2)/18 - 14495/(-45)?
True
Suppose -256 = -42*w + 34*w. Does 16 divide w?
True
Suppose 7*v - 3 = 6*v. Suppose -a - v*i = -44, 0*a - 4*a + 3*i = -176. Is 10 a factor of a?
False
Suppose -5*x = 2*o + 3 - 15, 5*o + 32 = 3*x. Suppose -a + 70 = x*a. Is 14 a factor of a/35 - (-416)/10?
True
Let a = 849 - -189. Is a a multiple of 37?
False
Let c be ((-4)/(-6))/(3582/891 + -4). Let i = c - -11. Does 11 divide i?
True
Let v(j) = -j**3 - 18*j + 1 + 18*j**2 + 21*j - 3. Is v(18) a multiple of 13?
True
Suppose 5*j = 1 + 9. Suppose 0*s - 4*x - 44 = -j*s, -5*s + 3*x + 82 = 0. Does 5 divide 7/(3 - s/5)?
True
Is 4 a factor of (-64)/(-6)*8100/432?
True
Let z(j) = 2 - 27*j + 4 + 3. Let u be z(-6). Suppose 2*c + 3*g = 26 + 88, -u = -3*c - 5*g. Is c a multiple of 19?
True
Is (64/(-20))/(-8) - (-1269)/15 a multiple of 85?
True
Let k = 535 - 264. Suppose -8*d = -k - 57. Is 8 a factor of d?
False
Let m be (-41)/(((-9)/(-2))/9). Let j = m - -154. Does 22 divide j?
False
Suppose 3*h = -6, -566 = -j + 6*j + 3*h. Let o = -34 - j. Does 28 divide o?
False
Suppose -3*c + 4*y + 145 = 0, -4*c + y + 149 = -66. Is 13 a factor of c?
False
Is (-2)/10 + 3368/40 a multiple of 3?
True
Does 8 divide ((-737)/(-5) - -7)/(2/5)?
False
Is -7 + (-110)/(-20)*550 a multiple of 14?
False
Let g = 13 - 10. Suppose 3*p = 105 + g. Does 18 divide p?
True
Let b(y) be the second derivative of y**5/20 - y**4/4 + 4*y**3/3 - y**2 - 5*y. Is 11 a factor of b(5)?
True
Let c(m) = m**3 - 5*m**2 - 5*m - 8. Let k be c(6). Does 30 divide 1*(0 + (k - -3) + 78)?
False
Suppose 19341 = 13*h + 7602. Does 43 divide h?
True
Let x = 85 + -81. Is 215 - ((0 - 4) + x)/1 a multiple of 13?
False
Does 135 divide (-3)/(-9) - (-90692)/84?
True
Suppose 0 = u + 3*u. Let l = u + 5. Suppose -2*t - l*j + 13 = 0, j + 25 = 4*t - 12. Is 3 a factor of t?
True
Let v(m) = -m**3 + 25*m**2 + 19*m - 69. Is v(18) a multiple of 77?
True
Let b = -822 + 873. Let v(q) = 23*q**2 - 3*q - 2. Let f be v(-2). Let o = f - b. Does 15 divide o?
True
Suppose 44*s - 42*s = 416. Is 13 a factor of s?
True
Let i(o) = o - 49. Let l be i(15). Let z be (-436)/22 + 2/(-11). Let m = z - l. Does 11 divide m?
False
Suppose -365 = 13*q - 18*q. Let o = -46 + q. Is o a multiple of 24?
False
Let n be (-56)/6*(-81)/(-18). Let x = -21 - n. Does 5 divide x?
False
Suppose -o = 3*o + 3*a + 19, -3*o - 4*a - 16 = 0. Let w be (100/(-8) + 10)*(-8)/(-5). Is 3 a factor of 3 + (o - 16/w)?
True
Let k(u) be the third derivative of -41*u**4/12 + u**3/2 + 4*u**2. Let x be k(-2). Suppose -2*y = -v + 45, x = -5*v + y + 419. Is v a multiple of 17?
True
Let h be 2/(-2) - (-3)/(3/13). Let v = h - -23. Is 5 a factor of v?
True
Suppose -4*p = 5*y - 2419, -3*p - 393 = 5*y - 2211. Does 86 divide p?
False
Let m(f) = -f**3 + 9*f**2 - 11*f - 15. Let i(h) = -h - 1. Let d(p) = 4*i(p) - m(p). Let b be d(8). Suppose -2*c - 3*c = -v + 23, b*c + 3 = 0. Does 11 divide v?
False
Suppose 4*a + 5*j = 147, 2*a - 3*j + 28 = 3*a. Suppose -c + 5*h + 7 = 0, 5*h + 6 - 1 = 0. Suppose 2*s + 4*p = 146, s - c*p - a = 34. Is s a multiple of 15?
True
Let a be 5 - (-2 + 1 + 0). Suppose 2*l - 2*k = -a*k + 66, 177 = 5*l - 2*k. Is l a multiple of 5?
True
