3*h + 729 = -18*n. Is n a multiple of 6?
True
Let r = -138 + 203. Let t = 42 - 84. Let s = r + t. Is s a multiple of 9?
False
Let f(d) = d**2 - d + 5. Let v be f(0). Let s = v + -1. Is (12/(-5))/(s/(-20)) a multiple of 7?
False
Let m = -108 - -51. Let l = 137 + m. Is 16 a factor of l?
True
Let r(q) be the first derivative of -11*q**2/2 + 3*q - 2. Let g be r(2). Let n = 13 - g. Is n a multiple of 12?
False
Suppose -46*q - 21*q + 50317 = 0. Is 8 a factor of q?
False
Let h = 824 - 458. Let v = 8 + -3. Suppose -v*b + q + 613 = 3*q, 3*b = -3*q + h. Is 41 a factor of b?
True
Let p be (-171)/76 - 2/(-8). Let w = p + 21. Is 11 a factor of w?
False
Suppose -3721 = -k + d, 18*d = -k + 22*d + 3718. Is 18 a factor of k?
False
Suppose -3*o = -4*o + 5. Let p(k) = 3*k - 6. Let d be p(o). Suppose -3*m - 2*q + 22 = 0, -2*q = -m - 3*q + d. Is 2 a factor of m?
True
Is 26 a factor of ((-84)/(-16) - 2)*536?
True
Suppose b - 45 = -2*v, 3*v + v - 20 = 0. Does 9 divide (-10)/b - (-762)/21?
True
Let v = 7 + -4. Suppose v*r + 4*x = -3, 4*r + 1 = x - 3. Let a = 7 + r. Is a a multiple of 6?
True
Let k(i) = -10*i - 17. Let f be k(-5). Let o = -20 + f. Suppose -2*m - 4*v + 66 = 0, -5*m + 134 = -v + o. Is 14 a factor of m?
False
Is 62 a factor of 10/(-35) + 84510/21?
False
Does 5 divide 12/9 - 38724/(-36) - 5?
False
Is 13 a factor of (-1126472)/(-304) + 2/(-4)?
True
Suppose -5*a + 26*t - 23*t = -58, 0 = 4*a - 3*t - 47. Let x(j) = -4*j. Let b be x(-5). Let k = b - a. Is k a multiple of 9?
True
Let j(x) = -2*x**2 - 8*x + 1. Let h be j(-7). Let w be (-2)/2 + (-4 - h). Suppose -39 = -3*n - 2*c, -9 = -3*n - 4*c + w. Is 11 a factor of n?
True
Let o = 631 - -154. Does 7 divide o?
False
Let t = 40 + 348. Is 46 a factor of t?
False
Let x = -304 - -411. Does 5 divide x?
False
Suppose -3*l - 3*n = 9, l + 5*n = 2*n - 7. Suppose 0*m = -4*m - 5*c + 48, 2*m - 24 = -3*c. Let h = l + m. Does 3 divide h?
False
Let n = -325 + 405. Is n a multiple of 4?
True
Let k(m) = 6*m**2 + 2*m + 3. Let o be k(-1). Suppose 0 = q + 2*t - 5, -4*q + 44 = 3*t - t. Let j = o + q. Is 10 a factor of j?
True
Suppose -4*g = -5*g. Suppose g*s = -s + 2. Let i(l) = 8*l**3 - 1. Does 16 divide i(s)?
False
Let q(b) = -2*b + 1. Let l be q(-4). Suppose -l*m + 1761 - 429 = 0. Does 37 divide m?
True
Let m(l) = l**3 - 3*l + 2. Let p be m(-2). Is 2 a factor of (-1 - p - 41)*(-2)/4?
False
Suppose 0 = 5*s + 58*h - 55*h - 5425, -5*h = 0. Is 23 a factor of s?
False
Let o(m) = 2*m**2 + 15*m + 12. Let g(k) = -4*k + 8. Let r be g(4). Is o(r) a multiple of 20?
True
Let r = -30 - -34. Suppose 4*o - 12 = u - 3*u, 3*u = -r*o + 14. Suppose 4 = 3*m - 2*m, -4*m + 308 = u*l. Is 30 a factor of l?
False
Is 7 a factor of (-15232)/(-63) + (16/(-18))/(-4)?
False
Is (-50046)/(-380) - 3/(-10) a multiple of 66?
True
Let j(g) = g**2 + 12*g + 5. Let c be j(-7). Let y = c + 117. Is 7 a factor of y?
False
Let p be 2/(4/(-2)) + 922. Suppose p - 2531 = -5*i. Does 23 divide i?
True
Let u(p) = -11*p + 1. Let y be 1 + 6/4*(0 - 2). Is u(y) a multiple of 3?
False
Suppose h = -2 - 9. Let c = 0 - h. Suppose 6*f = c*f - 240. Is f a multiple of 16?
True
Suppose 2255 = 4*y - c - 4590, 3*c + 3425 = 2*y. Is y a multiple of 59?
True
Let c be 9/15 + (-148)/(-20). Let r be (-1 - -2 - -1)*32. Suppose c*u - 4*u = r. Does 5 divide u?
False
Let f(n) = -n**3 - n**2 + 16*n + 15. Is 3 a factor of f(-6)?
True
Suppose -5*h + 5*b + 12 = -8, b - 12 = -3*h. Suppose -2*y - 2*d = -0*d - 356, h*y - 5*d = 730. Suppose 0 = -4*z + z + y. Is z a multiple of 15?
True
Suppose -6*a = -0*a + 12. Does 7 divide a/(-3) - 3648/(-36)?
False
Let y(s) = s**3 - 6*s**2 + 4*s + 1. Let m be y(10). Suppose -m + 84 = -7*t. Is 19 a factor of t?
False
Let o = -19 - -17. Does 16 divide 1014/9 + o/3?
True
Let a(l) = l**3 + 9*l**2 - 3*l - 5. Let p = 14 - -4. Let f = p + -27. Is a(f) a multiple of 5?
False
Suppose 7143 + 1127 = 10*j. Does 12 divide j?
False
Is 55 a factor of (-2)/(-7) - (-3560504)/1043?
False
Let v(s) = -133*s + 3. Let l(g) = -g**3 + 6*g**2 - 6*g + 4. Let c(a) = -a**3 - 2*a**2 + a - 1. Let x be c(-3). Let j be l(x). Is v(j) a multiple of 38?
False
Suppose 5*f - 95 = -85, 2*t + 3*f = 1036. Does 30 divide t?
False
Let i(x) = -x**3 + 2*x**2 + x - 2. Let n be i(2). Suppose n*v - v + 1 = 0. Does 20 divide 2 + (0 - v - -30)?
False
Suppose -2*m = 63 + 269. Let d be (5/(-3))/(1/69). Let r = d - m. Is r a multiple of 17?
True
Suppose -439 = -v + 3*k + 857, v - 1276 = -2*k. Is v a multiple of 21?
False
Let a(d) = -d**3 + 9*d**2 - 6*d - 16. Suppose -14 = 62*u - 64*u. Does 4 divide a(u)?
True
Let w be 3/((-3)/1 - -4). Suppose 0 = w*y - 6*y + 633. Suppose z = -j + 43, -5*z - j + y = -0*z. Does 25 divide z?
False
Suppose 0 = -197*u + 198*u - 306. Does 58 divide u?
False
Let b(m) = m**2 - 8*m + 6. Let t(v) = -v - 1. Let w(a) = b(a) - t(a). Is 23 a factor of w(12)?
False
Let q(a) = -33*a + 845. Does 33 divide q(0)?
False
Suppose 0 = 5*w + 15, 0 = -4*i + 3*i + 4*w + 8. Let b be ((-2)/(-4))/(i/(-32)). Suppose 4*v = b, 3*t + v + 50 = 6*t. Is 16 a factor of t?
False
Let w = 0 + 5. Suppose -2*v + w = -v. Suppose -v*c + 46 + 4 = 0. Is 10 a factor of c?
True
Let h = -235 - -491. Is 16 a factor of h?
True
Suppose 0 = -4*t - 2*b, -4*t + b - 8 + 2 = 0. Does 19 divide -10*(-2)/(-4)*(-7 + t)?
False
Suppose -4*a - 4*n - 552 = 0, a - 4*n = -n - 142. Let d = a - -219. Is 40 a factor of d?
True
Let r = 444 - 308. Is r a multiple of 8?
True
Let f = 26 + -22. Suppose 0 = -f*c - 67 + 311. Does 14 divide c?
False
Suppose -16 = -5*j + j. Suppose 2*y - 17 = -p, j*p + 9 = 6*y - 3*y. Let z = y + -4. Does 3 divide z?
True
Let r be (-69)/((-4)/4) + -2. Suppose 0 = -2*f - 99 - r. Is 21 a factor of f/(-2) + (-3)/(-6)?
True
Suppose -s - s = -3*a + 6, -2*s - 2*a + 14 = 0. Suppose 0 = -v, 4*d - s*v - v = 600. Does 16 divide d?
False
Let a(q) = 19*q**2 - 5*q - 14. Is a(-5) a multiple of 81?
True
Let q(w) = -w**3 - 4*w**2 - w - 2. Let i be q(-4). Suppose 4*x - 44 = 4*j - i*j, 5*j = -3*x + 20. Is 5 a factor of x?
True
Suppose -6*h = -5*h. Suppose -2*d - 1 = -5. Suppose h = i - 3*z - 23, -d*i + 2*z = i - 90. Is i a multiple of 12?
False
Let f = -12 - -12. Suppose f = -5*j + 28 + 37. Is j a multiple of 3?
False
Let j = -149 - -151. Suppose 382 = j*z - 18. Does 8 divide z?
True
Suppose 4*w + 4*n - 4 = 0, w + 4*n = -9 + 4. Let d(s) = 8*s + 7. Is 11 a factor of d(w)?
False
Suppose 18 = -3*r + 12*r. Suppose 0*d - 126 = -r*d. Is 10 a factor of d?
False
Let t = -9 - -1. Let h = 7 + t. Let b = h + 51. Is 11 a factor of b?
False
Suppose -5*v - 283 = 26*s - 27*s, 2*s - 573 = 3*v. Is s a multiple of 27?
False
Let j be -5*1*(-144)/45. Suppose c - 4*i = -12, -2*c + 0*c - j = -4*i. Let a = c + 14. Does 3 divide a?
False
Let r be 2*5*(-1)/2. Let y = -87 + 89. Let n = y - r. Is 2 a factor of n?
False
Is -4 + (-1557)/(-6) - (-1)/(-2) a multiple of 31?
False
Let o = -73 - -181. Suppose -3*i = -0*i - o. Is 9 a factor of i?
True
Let b(y) = y**2 - 5*y - 2. Let p be b(4). Is 16 a factor of (-18)/(2*p/32)?
True
Let v = 53 + 77. Is 4 a factor of v?
False
Suppose -6633 = f - 10*f. Does 19 divide f?
False
Let t(n) = -n**3 + 65*n**2 - 61*n + 118. Is 14 a factor of t(64)?
False
Let f = 684 + -394. Suppose -7*p = -4 - f. Is p a multiple of 5?
False
Suppose 0*c = c + 4*a - 19, -4*a + 12 = 0. Let x = c - 10. Does 22 divide 3*((-22)/x)/1?
True
Suppose -2 = 2*m, -4*i + 1008 = 5*m - 487. Does 25 divide i?
True
Let m(t) be the first derivative of -9*t**2 + 2*t + 7. Let r be m(-1). Is ((-15)/15)/((-2)/r) a multiple of 9?
False
Suppose 2*i = 3*i - 31. Let a = i - 18. Does 2 divide a?
False
Suppose 20 = 4*q, 0 = -o + 4*q - 2*q + 42. Suppose o = -y - y. Does 10 divide (40/(-6))/(y/39)?
True
Suppose -4*u = -252 - 64. Suppose -6*v + 3*v = 138. Let x = u + v. Is 11 a factor of x?
True
Suppose -7384 = -7*l - 1287. Is l a multiple of 10?
False
Let x(n) = 22 - n**2 - 11*n + 2*n**2 + 0*n**2 - 2*n**2. Is 8 a factor of x(-10)?
True
Suppose -u + 17*u = 2496. Is u a multiple of 13?
True
Let o be 304/(-22) - (-10)/(-55). Let n = 20 + o. Is n/(-12) - 13/(-2) a multiple of 2?
True
Suppose -p + 2*s = -10, -3*s + 0*s - 20 = -4*p. Suppose 0 = -t + 4, -3*t + 2 = -p*g + g. Suppose -g = 2*k - 134. Is k a multiple of 16?
False
Suppose 0 = 4*y - q - 892 - 30, -4*y + 4*q = -928. Suppose y = 3*s - 58.