Is 22 a factor of t(-3)?
True
Let j = -1751 + 5657. Does 62 divide j?
True
Suppose 3*u + 9 = -3*h, -4*u = 2*h - 9*u - 22. Let x(r) = h - 7*r**2 + 1 + 9*r**2 - r. Does 10 divide x(4)?
True
Is (-4240)/(-28) - (-2 - (-51)/21) a multiple of 4?
False
Let v(d) = d**2 + 8*d + 7. Let l(w) = w**3 - w**2 - w - 7. Let f be l(0). Let a be v(f). Is -18*(a - (-16)/(-12)) a multiple of 12?
True
Suppose 0 = 2*a - 0 + 40. Let r be ((-48)/a)/((-6)/(-100)). Let s = r - 18. Is 11 a factor of s?
True
Suppose 0 = -5*a + p + 891, 180 = -3*a + 4*a - 2*p. Is a a multiple of 21?
False
Let d = 528 - 320. Does 4 divide d?
True
Suppose 0 = -247*m + 255*m - 704. Does 22 divide m?
True
Let m(w) = w**2 - w. Let n be m(2). Suppose o = -z + 33, o - 3*z - 27 = n*z. Suppose -4*u = -0*u - o. Does 3 divide u?
False
Suppose -3*g + 4*k - 10 = 2*k, 5*k = 4*g + 18. Is 27 - g*(-3 - -1) a multiple of 4?
False
Suppose -2917 = -13*y + 10733. Does 15 divide y?
True
Is 400/8*((-198)/(-4) + 4) a multiple of 19?
False
Let p = -340 - -482. Suppose -8 = -5*t + p. Is t a multiple of 24?
False
Let s(g) = 13*g**3 + 6*g + 2*g**2 + 2 - 3*g - 12*g**3. Let z be s(-3). Let r = z - -43. Is 16 a factor of r?
False
Let a(f) be the first derivative of -f**3/3 - 2*f**2 + 3*f - 6. Let i be a(-5). Let r(l) = 3*l**2 - l - 2. Is r(i) a multiple of 3?
True
Suppose -2*q = 5*p - 4*q - 61, 0 = 5*p + 5*q - 75. Let t = 8 - 8. Suppose -15*x + p*x + 48 = t. Is 24 a factor of x?
True
Let l = -3 - -7. Suppose c - 1 = 2, 2*v - 32 = l*c. Does 6 divide v?
False
Suppose -2*a + 5*v + 31 = a, 3*a = v + 11. Suppose -40 = -a*s + 6. Does 3 divide s?
False
Is 1086/4*((-290)/30 + 11) a multiple of 14?
False
Let d be (8/(-5))/((-1)/(-10)). Let i(f) = 5*f - 3*f + 0*f + 12 + f**2 + 12*f. Does 13 divide i(d)?
False
Let i(h) = -1. Let y(n) = 7*n - 7*n + n + 9. Let x(p) = 18*i(p) + 2*y(p). Is 5 a factor of x(6)?
False
Let g(l) = -l**2 + l + 11. Let b be g(0). Suppose -b*x + 10*x = 2. Let h(a) = 3*a**2 - a. Does 14 divide h(x)?
True
Suppose 4177 + 8948 = 25*n. Is 9 a factor of n?
False
Let j = 2493 + -1337. Does 141 divide j?
False
Suppose 901 = 2*f + 261. Does 10 divide f?
True
Suppose 0 = -7*x - 116 + 1138. Suppose -x + 416 = 2*g. Is g a multiple of 9?
True
Let z(v) = 2*v**2 + 3*v - 25*v**2 + 0 - 2 + 8*v**2 + 3*v**3. Is 22 a factor of z(6)?
False
Let d(z) = -z + 2. Let m be d(1). Is 15 a factor of (-448)/(-10) + m/5?
True
Let o = -28 + 157. Let a = 232 - o. Does 19 divide a?
False
Let w be 4/6*-6 + 73. Suppose -4*o - 4*g = g - w, -4*o = 4*g - 64. Does 6 divide o?
False
Let x(k) = 0*k - 6 + 18*k + 3. Let q be x(2). Does 11 divide 88/q*1*6?
False
Let x(z) = z**2 + 6*z - 2. Let c be x(-5). Let v = c - -114. Is 16 a factor of v?
False
Let w = 1030 + 1747. Does 21 divide w?
False
Let b(w) = -w**3 + 3*w. Let x be b(-4). Let a = -3 + x. Does 10 divide a?
False
Suppose 1 = -4*i + 2*t - 3*t, -2*t - 2 = -i. Suppose i = -5*s + 27 + 18. Is 2 a factor of s?
False
Let s = -15 + 50. Let h = s + -17. Suppose -4*w + h = -102. Does 10 divide w?
True
Let x(c) = 2*c**3 + c**2 + 3*c + 4. Let g be x(-3). Let z = g - -90. Is z a multiple of 10?
True
Is ((-2 - -5) + -4)*(-1175 + 11) a multiple of 40?
False
Let y(z) be the third derivative of -7/30*z**5 + 7/3*z**3 + 0*z - 1/120*z**6 - 13/24*z**4 + 0 - 2*z**2. Is 10 a factor of y(-13)?
False
Suppose -4*g = -2*c + 6*c - 4168, c - 1036 = g. Is c a multiple of 23?
False
Suppose -503 = -13*o + 3501. Does 11 divide o?
True
Suppose 2*k - 8 + 42 = 0. Let n = 2 + k. Does 16 divide (-42)/((n/4)/5)?
False
Let z(p) be the second derivative of p**3/6 + 2*p**2 - 4*p. Let r be z(-3). Suppose -r - 14 = -5*m. Is 3 a factor of m?
True
Let o(n) = -n**3 - 33*n**2 + 34*n + 45. Is 20 a factor of o(-34)?
False
Let w = 1954 - 1417. Does 37 divide w?
False
Let s(w) = w**3 + 19*w**2 - 17*w + 27. Let i be s(-20). Let h = -37 - i. Is 20 a factor of (110/h)/((-2)/4)?
False
Let o = 3 + -67. Let w be ((-10)/8)/(16/o). Suppose -5*a - w*n + 325 = 0, -2*a + 0*n - 5*n = -142. Does 18 divide a?
False
Suppose 9*i + 18*i = 4860. Does 15 divide i?
True
Let c(b) be the first derivative of -17*b**5/120 - b**4/24 + 10*b**3/3 + 7. Let t(v) be the third derivative of c(v). Does 14 divide t(-2)?
False
Suppose 0 = 11*r - 30*r + 38. Let q = 104 - 32. Suppose r*v = -2*v + q. Does 5 divide v?
False
Let m = 0 + 5. Suppose 5 = m*s - 0*s. Is (-2)/(s*(-2)/10) a multiple of 5?
True
Let v be -2*1/(6/(-9)). Suppose -208 = -x - v*x. Suppose 5*u = 8 + x. Does 4 divide u?
True
Let f(b) = b**2 + 9*b + 10. Let k be f(-5). Is 52 a factor of 1/(-3) + k/6 + 262?
True
Suppose -5*r - 10 = -2*g + 65, 4*r = 5*g - 162. Does 6 divide g?
True
Suppose 51 - 27 = 4*b. Suppose -3*v + 162 = b*v. Is 9 a factor of v?
True
Let b(h) = 4*h**2 + 12*h + 24. Is b(-7) a multiple of 6?
False
Is (-1979 + 9)*((-70)/25)/7 a multiple of 65?
False
Let k(w) = 2 + w**3 + w**3 + 2*w**2 - w**3 + 4*w. Let x be k(-2). Is 19 a factor of ((-152)/x)/(6/9)?
True
Let c = -6231 + 9176. Is c a multiple of 86?
False
Let p(c) = 9*c**2 - 7*c + 3. Is p(12) a multiple of 27?
True
Let i = -681 - -978. Does 9 divide i?
True
Let s(q) = -q**2 + q + 1. Let u be s(0). Let m be 17/u - (12 - 12). Suppose -5*g + 75 = 5*k, -m = -4*k - 5. Is g a multiple of 3?
True
Let k(q) = 1038*q**2 - 56*q. Is 98 a factor of k(-1)?
False
Let a = 7 - -1. Suppose -a*t = -3*t + 20. Is (-2 - 12/t)*55 a multiple of 17?
False
Suppose -2*q + 109 - 31 = 0. Let m = q - 14. Does 6 divide m?
False
Is (-4)/(-1)*(-49850)/(-200) a multiple of 66?
False
Let d be ((-6)/(-4))/((-12)/(-72)). Is 5 a factor of 23 - (d/(-6) - (-27)/6)?
True
Suppose 4*x + 46 - 2 = 4*z, z + x - 1 = 0. Suppose -z = 2*l + q - 15, 4*l + 7 = 3*q. Suppose -l*s = -13 - 5. Does 4 divide s?
False
Let d be 1*(-3 + 1) + 0 + 2. Suppose 5*f - 2*y - 1043 = d, -2*f = f + y - 628. Is f a multiple of 31?
False
Let r(q) = -2*q**2 + q + 2. Let h be r(2). Let p be h/10 + (-102)/(-30). Is 3 a factor of p + 3 + -2 + 2?
True
Let z = -40 - -34. Let s = z - -20. Is s a multiple of 4?
False
Suppose 1645 = 12*m - 2303. Is 9 a factor of m?
False
Let i be (-2 - (2 - 3)) + 1. Suppose -2*c - 18 + 6 = i. Let a(r) = r**2 + 4*r + 3. Does 15 divide a(c)?
True
Suppose 46*r = 109202 + 12882. Is 23 a factor of r?
False
Let j = 22 + -20. Suppose h - 32 = 4*m, -5*h - j*m + 190 = -7*m. Is 8 a factor of h?
True
Suppose 20664 = -3*n + 27*n. Is 7 a factor of n?
True
Let a(o) = -28*o**2 - 4*o - 4. Let g be a(-2). Let f be 2 - (g/3 + -1). Suppose f = -2*p + 249. Is p a multiple of 22?
False
Let b(m) = -m**3 + 14*m**2 + 12*m - 123. Is b(11) a multiple of 3?
True
Let f(l) = 124*l - 68. Is f(7) a multiple of 19?
False
Let n(r) = -390*r**3 + r**2 + 2*r + 1. Let m be n(-1). Suppose o - m = -4*o. Is o a multiple of 13?
True
Suppose -4*v = -0*v - 2648. Let d be 30/(-40) + v/8. Suppose g = 3*g - d. Does 15 divide g?
False
Suppose 30 = -4*f + 6*f. Suppose 13*k = f*k - 172. Does 38 divide k?
False
Suppose -15*q + 2496 = 17*q. Is 3 a factor of q?
True
Suppose 51*k = 53*k - 3064. Is k a multiple of 4?
True
Let d(y) = y - 3. Let s be d(14). Let r = s - -4. Is r a multiple of 15?
True
Let w(j) be the second derivative of -41*j**3/6 - 11*j**2/2 + 16*j. Does 7 divide w(-3)?
True
Let k = 138 - 75. Suppose -4*u - 3*u = -k. Is u a multiple of 9?
True
Let z(u) = -12*u - 6 - 12*u**2 + 0*u**3 + 0 + 0 - u**3. Let r be z(-11). Let j(h) = -h**3 + 6*h**2 - 5*h + 6. Does 4 divide j(r)?
False
Suppose -h = -o - 3, -2*o + 13 = 4*h + 49. Let b be ((-36)/o - -3)*4. Suppose -3*x + 0*x = -c - b, 2*x = -c + 15. Does 6 divide x?
False
Let v be (-21)/(-15) - 6/15. Let u(j) = -2*j + 2*j + j - 3*j + j**2 + v. Is u(-3) a multiple of 16?
True
Suppose t - v = 4*t + 24, 3*v = 3*t + 24. Let m = 18 + t. Does 3 divide m?
False
Suppose -12 = 6*f - 36. Suppose 146 + 814 = f*g. Is 18 a factor of g?
False
Suppose -6 - 26 = -8*j. Suppose -j*t - 2*c + 807 = 3*c, -1025 = -5*t - 3*c. Is 52 a factor of t?
True
Let h(a) = 12*a**2 + 10*a - 5. Let n be h(11). Let f be 4/(-14) - n/63. Does 13 divide (-640)/f + 2/5?
True
Let z be (16 - 16)/((-1)/(-1)). Suppose z = -a + 2*b + b + 18, 0 = 3*a - 4*b - 54. Is a a multiple of 6?
True
Let d(z) be the first derivative of -11*z**4/4 - z**3/3 + z - 5. Let l be d(-2). Let c = l + -51. Is 13 a factor of c?
False
Let c be 36/9 + -2 + 31. Sup