/(j/(-32)) a multiple of 28?
True
Let j(k) = -45*k - 3. Does 34 divide j(-10)?
False
Suppose 4*g + 3*p = 5*g + 19, 0 = -2*g - p - 10. Let w(l) = 2*l**2 + 6*l + 4. Does 28 divide w(g)?
False
Let b(t) = -4*t + 10. Let a be b(0). Suppose -8*p = -6*p - a. Suppose 7*n = 2*x + 2*n - 80, -130 = -p*x - 5*n. Is x a multiple of 6?
True
Suppose 2*i - 3*h = 1142, -1702 = -3*i - 2*h + h. Is 8 a factor of i?
True
Let a(b) = -b**3 - 70*b**2 + 55*b + 174. Is a(-71) a multiple of 9?
False
Let h(b) = b**3 + 3*b**2 + b + 3. Let c be h(-3). Suppose -4 = 3*j + 2. Is 43 a factor of 148/1 + (c - j)?
False
Suppose 0 = -14*v - 7 + 21. Let b(d) = -55*d + 1. Let y be b(1). Does 9 divide y/((-2)/v) - -3?
False
Let d(f) = -2*f**3 - 8*f**2 - 4*f - 2. Is d(-8) a multiple of 12?
False
Let r(x) = -35*x**3 - x**2 + x + 1. Let t be r(-1). Let j be (2/(-3 - 1))/((-2)/(-100)). Let c = t + j. Is c a multiple of 9?
True
Let z(o) = 3*o**2 - 4*o + 1. Let j be (-10)/(-2)*(-9)/(-15). Let a be z(j). Suppose 0*v - 3*g = -v + 33, -4*g + a = 2*v. Is 6 a factor of v?
True
Suppose 0 = -57*u + 6123 + 1686. Is 35 a factor of u?
False
Let c be (-3)/3 - (62 - 1). Let i = -1 - c. Is 9 a factor of i?
False
Is ((-153)/(-4))/(96/3072) a multiple of 70?
False
Let f(l) = 186*l**2 - 33*l - 68. Does 14 divide f(-2)?
True
Let b = -2429 - -2492. Is b a multiple of 3?
True
Let n = 702 + -473. Let i = -526 + n. Is 16/(-3)*i/44 a multiple of 18?
True
Let c(z) = 4*z**2 - 9*z - 20. Let a be c(-7). Suppose 0 = 4*d + 4*p + 163 - 479, -p = 3*d - a. Is d a multiple of 8?
True
Suppose 86 = 2*n - 3*y, -y + 150 = 4*n + 4*y. Suppose 3*v + n = 4*v. Is 20 a factor of v?
True
Let x(o) be the second derivative of 5*o**3/3 + o**2/2 + 7*o. Suppose 0 = -2*i + 3*i - 2. Does 21 divide x(i)?
True
Suppose 0 = -14*v + 30170 + 6286. Is v a multiple of 84?
True
Suppose -38*z = 6602 - 49884. Is 17 a factor of z?
True
Suppose 751 = 2*m + 2*n + 153, m + 5*n = 319. Is 49 a factor of m?
True
Let i be 6358/66 + 4/6. Suppose 0 = -101*w + i*w + 504. Is 18 a factor of w?
True
Let v(o) = -o**2 + 3*o - 2*o + 5*o**2 - o**3. Let a be v(4). Let n(x) = -x**3 + 5*x**2 + 2*x - 2. Is n(a) a multiple of 9?
False
Let j be 2/5 - (-73)/5. Let z be (j/6)/((-1)/(-42)). Let w = z + -54. Is 13 a factor of w?
False
Suppose -4*g + 0*g = -56. Let x(j) = j**2 + 10*j - 11. Let q be x(-11). Suppose q*i = -i + g. Is i a multiple of 7?
True
Suppose 4*s + 348 = 2*m, -4*m = -m + s - 543. Is m a multiple of 8?
False
Suppose 3*x + 14 = 4*w - 13, -3*w + 4 = x. Let v be (4/x)/(4/80). Let l(p) = p**3 + 16*p**2 - 3*p - 22. Is 11 a factor of l(v)?
False
Suppose -27 + 18 = -3*a. Suppose i = -3*i - a*t + 360, 0 = -5*t. Does 18 divide i?
True
Let r(s) = -s**3 + 8*s**2 + 8*s + 13. Let k be r(9). Let c(p) = 2*p**2 + 6*p - 4. Does 7 divide c(k)?
False
Let g = -18 + 22. Suppose 0 = -4*c + 3*q + 121, g*c + 4*q - 2*q = 146. Is 17 a factor of c?
True
Let d = 134 - 47. Is d a multiple of 87?
True
Let a be 6/(-15)*100/(-8). Let z = a + 60. Is 10 a factor of z?
False
Let s(k) = 43*k - 42. Is 11 a factor of s(9)?
False
Let h(b) = b**3 - 10*b**2 + 3*b - 10. Let j be h(7). Let v = j + 238. Does 17 divide v?
True
Let i(q) = -119*q**3 - q**2 + 2*q + 6. Does 5 divide i(-2)?
True
Suppose -3*i = -2*c + 536, -i - 8 = 3*i. Does 5 divide c?
True
Let y = -36 - -28. Let n be -4*(30/y)/(-3). Is 90/2 + (-7 - n) a multiple of 10?
False
Let d = 832 + -490. Is d a multiple of 6?
True
Suppose 1346 - 9326 = -10*p. Is p a multiple of 14?
True
Suppose -2*w - 310 = -7*w. Is w a multiple of 4?
False
Let t(v) = -3 + 7 + 4*v - 3*v. Let x be t(4). Suppose 5*o + 180 = x*o. Does 17 divide o?
False
Suppose -612 = 6*y - 10*y. Does 17 divide y?
True
Let f be 1353/21 + 18/(-42). Suppose 0 = 4*k - f. Is k a multiple of 8?
True
Suppose 64*i - 68*i + 4604 = 0. Does 39 divide i?
False
Does 8 divide 4/18 - 5*6017/(-495)?
False
Suppose 2*x - x - 5*o = -11, -23 = -2*x - 5*o. Does 17 divide (132/18)/(x/84)?
False
Let l = 26 - 28. Is 11 a factor of 3/(9/(-660)*l)?
True
Suppose -182 = -6*w + 1456. Is w a multiple of 21?
True
Suppose 10 = 14*x - 4. Let h(k) = 330*k**2 - 5*k + 2. Does 22 divide h(x)?
False
Let l(k) = -121*k + 2. Suppose 0 = 5*u - 2*f + f + 18, -2*f = -5*u - 16. Let v be l(u). Is v/(-45)*-1*5 a multiple of 15?
False
Let o = -4 + 10. Suppose -2*u - 3*k + 6 = -u, u + k - o = 0. Does 2 divide u?
True
Suppose 13*n - 2823 - 5887 = 0. Is 67 a factor of n?
True
Let o(i) = i**3 - 3*i**2 - 2*i - 9. Suppose -4*m = -6*m + 8. Let r be o(m). Let y(a) = -21*a. Is y(r) a multiple of 21?
True
Suppose 2*d = 3*h - 3*d + 1, 0 = 5*h + 5*d - 25. Let i(r) = 4*r**2 - 6*r + 19. Is 11 a factor of i(h)?
False
Let u = 6298 - 3625. Is u a multiple of 33?
True
Suppose -6*a + 3621 = 1131. Is 48 a factor of a?
False
Let n(t) = 288*t**2 + 3*t. Does 27 divide n(-1)?
False
Suppose 238 = 2*u - 4*c, 5*u - c = -206 + 801. Let y be u/42 + 2/12. Let b(k) = 3*k**2 - k. Is b(y) a multiple of 7?
False
Let m = 10 - 6. Let h(t) be the third derivative of t**6/120 - t**5/30 + 5*t**4/24 - 2*t**3/3 + 15*t**2. Is h(m) a multiple of 10?
False
Let q(x) be the second derivative of 11*x**5/10 - x**4/12 + x**3/6 + 4*x. Does 11 divide q(1)?
True
Let c be 3*1 + (11 - 12). Let t(r) = 8*r + 3*r - 5*r - 14 + r - r**3 - 10*r**c. Is 6 a factor of t(-11)?
True
Let f be (20 - 7) + (-4 - -1). Suppose 3*k = 4*a - f, 4*a - k = -a + 18. Suppose -a*p = d - 50, 7*p + d = 4*p + 37. Does 11 divide p?
False
Is ((-70)/(-21))/(-1)*15/(-2) even?
False
Suppose -4*f + 2024 = 4*k, 5*k + 4*f - 9*f - 2510 = 0. Is k a multiple of 7?
True
Suppose 116 = 2*x + 2*t, 22*x - 17*x - 3*t - 250 = 0. Is 2 a factor of x?
False
Is (12222/147)/((-6)/(-28)) a multiple of 3?
False
Let h(o) = -o**3 - 5*o**2 + 2*o - 2. Let c be h(-7). Let v(n) = n**3 + 11*n**2 + 7*n. Let t be v(-7). Let p = t - c. Is p a multiple of 14?
False
Let j = -54 - -129. Suppose -3*n + 75 = -j. Suppose 10 + n = 5*k. Is 3 a factor of k?
True
Let b = 48 - 73. Let d = b + 45. Is d a multiple of 20?
True
Suppose -4*j + 12 = 3*f - 11, -2*f + 14 = 2*j. Suppose 2*x + f*o - 216 = 0, 2*x - 2*o - 540 = -3*x. Is x a multiple of 14?
False
Let i = 289 - -191. Does 48 divide i?
True
Let y = -3448 + 5928. Is 31 a factor of y?
True
Let m be (-3)/(-2)*168/7. Let p be ((-60)/m)/((-2)/6). Suppose v + z - 11 = 0, -p*z = -2*v + 18 + 11. Does 4 divide v?
True
Let d be 280/2 - 4 - -4. Suppose -21*n + d = -16*n. Is 6 a factor of n?
False
Let t(m) = 7*m**3 - m**2 - 3*m + 2. Let i be t(-3). Is i/(-5) + 6/(-15) a multiple of 10?
False
Suppose 5*z = 7 + 18. Suppose 8*k - 51 = z*k. Is 8 a factor of k?
False
Let h(s) = -6*s - 37. Let t be h(-7). Is t/(-10) - (-141)/6 a multiple of 8?
False
Let j(c) = -2*c**3 - 2*c**2 - 11*c + 328. Is 8 a factor of j(0)?
True
Let h = -27 + 60. Let t(g) = 0 - 1 + 0 - h*g. Does 16 divide t(-1)?
True
Let v = -103 - -217. Is 17 a factor of v?
False
Let g be 2/5*(-1825)/(-5). Suppose g = 6*b - 1084. Is 41 a factor of b?
True
Let o = 16 + -6. Let m(p) = p - 1. Let j be m(3). Let v = j + o. Does 8 divide v?
False
Let f(s) be the second derivative of 19*s**6/120 - s**5/60 + s**3/6 - 5*s**2/2 + 2*s. Let h(q) be the first derivative of f(q). Does 5 divide h(1)?
False
Let c be 17 + (-3)/(-4 + 1). Let z(d) = -d + 23. Is 5 a factor of z(c)?
True
Suppose -9*s + 7*s + 14 = 0. Let j(f) = 2*f**2 - 6*f. Is 17 a factor of j(s)?
False
Let b = -588 - -326. Is 11 a factor of b/(-3) - 2*(-3)/9?
True
Let n(v) be the third derivative of 0 + 1/12*v**5 + 1/6*v**3 + 1/8*v**4 + 0*v - 1/120*v**6 - 5*v**2. Is 14 a factor of n(3)?
True
Is (((-256)/(-10))/4)/(6/525) a multiple of 26?
False
Suppose -2*c = -0*b - b - 12, -9 = -c + 2*b. Suppose c*m = 5*d + 8 + 12, -20 = -5*m - 5*d. Suppose q + 56 = -3*l + m*l, 3*l = -3*q + 150. Is 14 a factor of l?
False
Let g(p) = 430*p - 50. Is g(5) a multiple of 130?
False
Let x = 84 - 43. Let r = 67 - x. Is r a multiple of 4?
False
Let j(f) = f**2 + f + 4. Let t be j(-3). Let h = 27 - t. Is h a multiple of 13?
False
Let u(x) = -x**3 + 4*x**2 + 3*x. Let w(n) = n**2 - 11*n - 9. Let c be w(12). Let a be ((-36)/(-30))/(c/10). Is u(a) a multiple of 5?
False
Let z = 99 + -48. Is 5 a factor of z?
False
Let y(u) = 2*u**3 - 2*u**2 - u + 70. Does 7 divide y(0)?
True
Suppose 4*u + 20 = 9*u. Suppose -5*d + u*d + 16 = 0. Is d a multiple o