= 7*n - 4*n + 6. Does 10 divide 29 + n + 5 + -2?
True
Let j be 598/(-18) + 8/36. Let b = -18 - j. Is 5 a factor of b?
True
Let z = 28 - -53. Is 27 a factor of z?
True
Suppose 0*c + 4*c - 156 = 0. Suppose -37 - 38 = -5*p. Suppose -p + c = 2*o. Does 6 divide o?
True
Suppose 3*n = 6*n - 360. Is n a multiple of 12?
True
Let l be 43/1 - (2 + -4). Suppose j - l = 5. Does 14 divide j?
False
Let v(i) = -i**2 - 6*i. Let l be v(-5). Suppose -2*t - 4 = -t, l*b = -4*t + 1194. Does 17 divide (-4)/16 - b/(-8)?
False
Suppose 0 = 3*z + 4*n - 3 - 40, -2*n = 2*z - 32. Is 14 a factor of z?
False
Suppose 20 = -5*y - 0. Let k be ((-258)/(-4))/((-3)/y). Suppose 5*m = g + g + k, -3*m + 3*g = -48. Is 9 a factor of m?
True
Let k(d) = 8*d**2 - d. Let c be k(-1). Let l(y) = -4*y**3 + 3*y**3 + 7*y + 9*y**2 - 6*y. Does 9 divide l(c)?
True
Suppose 2*a + 2*a = -56. Let q = -5 - a. Is 9 a factor of q?
True
Suppose -2*t + 500 = -7*t. Does 17 divide (-28)/(-35)*t/(-2)?
False
Suppose -5*d = -4*i, 2*d + i - 21 = -2*d. Suppose 0 = -v - 2*v. Suppose k + 35 = 2*c, -d*c + k + 2*k + 67 = v. Is c a multiple of 19?
True
Let t = -9 + 9. Let w(i) = 1 + t - 4*i + i + 6. Does 12 divide w(-12)?
False
Let o(t) = -t**2 - 33*t - 32. Is o(-26) a multiple of 37?
False
Let b(h) = -h**3 + 10*h**2 + h + 5. Let x be b(10). Let s = 6 + -10. Is 18 a factor of (72/x)/(s/(-30))?
True
Let q(c) = -8*c + 10. Let r be q(-5). Suppose -f = -r - 10. Does 15 divide f?
True
Is (-6)/((-5)/30 + 5/38) a multiple of 14?
False
Suppose 9 = -5*o - 16, -2*c = 3*o + 7. Let b = -3 + c. Is b/4 + 124/16 a multiple of 5?
False
Let j = 9 + -3. Does 14 divide (-2)/6 + 170/j?
True
Let h(n) = 0*n + 0 + n**3 - 8*n**2 - 7 - 9*n. Let p be h(9). Let l = p + 21. Does 14 divide l?
True
Let q = 6 - -13. Suppose 3*p + 5*f + q = 0, 5*f + 2 = -2*p - 9. Let w = 5 - p. Is 13 a factor of w?
True
Is ((-46)/6)/(52/(-12) - -4) even?
False
Let q be (-116)/(-5) + 4/(-20). Suppose -q = -s - 4. Is 8 a factor of s?
False
Suppose -35 = -c - c + 3*z, -2*z = c - 14. Is (-3 + c)/1 + -3 a multiple of 10?
True
Suppose h - 2*k = k + 41, k - 173 = -3*h. Suppose -3*o + m + h + 42 = 0, m = 4. Suppose -5*c = -o - 76. Does 6 divide c?
False
Suppose -158 = 4*f - 4*x - 582, 4*f = 2*x + 418. Does 16 divide f?
False
Let l = 8 + -14. Let r = 7 - l. Is r a multiple of 5?
False
Suppose -q + 10 = 4*q - 4*k, 0 = -4*q - 4*k + 8. Suppose 4*l = -i - 5, 0*i + i + 1 = -q*l. Is -6*(-2 - -1)*i a multiple of 7?
False
Does 30 divide (-15)/(-3) - 1525/(-5)?
False
Let g = -21 + 23. Suppose -3*m - g*y + 62 = -9, -5*y = 5*m - 120. Is m a multiple of 21?
False
Let b be 2/((-8)/6)*6. Let j(d) = -4*d - 4. Is j(b) a multiple of 16?
True
Let a = -35 - -60. Let t be (-10)/a - 22/(-5). Suppose -5*m - 3*v = -68, -14 = t*m - 2*v - 64. Is 13 a factor of m?
True
Suppose -u - 3*z + 72 = -88, 0 = -4*u + z + 588. Is 39 a factor of u?
False
Let r(k) = -38*k + 1. Let w be r(-1). Let x = -27 + w. Does 4 divide x?
True
Suppose -4*r + 10 = -2*c, r + 2*r + 2*c = 11. Suppose 3*p + 384 = 5*u - p, 4*u = r*p + 307. Is u a multiple of 25?
False
Suppose -5*z + 6 = -14. Suppose 70 = -z*x + 9*x. Does 14 divide x?
True
Suppose -384 + 84 = -2*f. Does 29 divide f?
False
Let y = -164 - -251. Suppose -4*g - j = -4*j - 339, g - y = 3*j. Suppose u - 5*u = -g. Is u a multiple of 8?
False
Let f(i) = -i**3 + 6*i**2 + 5*i - 7. Let z be 3*3*(-12)/(-18). Is f(z) a multiple of 23?
True
Suppose -5*w - y + 207 = 0, -5*y + 0*y + 111 = 3*w. Is 6 a factor of w?
True
Let t(q) = 4*q + 1. Let s be t(-5). Let m = 13 + 14. Let u = s + m. Is u a multiple of 8?
True
Suppose 9*v - 115 - 83 = 0. Is 3 a factor of v?
False
Let p(t) = t - 5. Let z be p(8). Let d = -5 + z. Is 3 a factor of 8 + 0/(6/d)?
False
Suppose -5 - 5 = -l. Does 10 divide l - (0/1)/2?
True
Does 33 divide -365*(0 + (-3)/(-30)*-6)?
False
Suppose 0 = -0*s + 4*s - 168. Is 56/21*s/8 a multiple of 14?
True
Let z be 9/2 - 5/10. Suppose 9*d - z*d = 85. Is d a multiple of 5?
False
Suppose 70 = -2*z + 200. Suppose 3*r + o - 13 = 26, -z = -5*r - 4*o. Is 11 a factor of r?
False
Let a(q) = 10*q**2 - q. Is 2 a factor of a(-1)?
False
Let w(s) be the first derivative of s**3/3 + 5*s**2/2 - 10*s - 3. Let f be w(-7). Let n(a) = 7*a - 4. Is 24 a factor of n(f)?
True
Let x be -4*3*3/6. Let f(u) = u**3 + 7*u**2 + 4*u - 4. Let l be f(x). Suppose l*i = 3*i + 65. Is i a multiple of 13?
True
Let v(k) = -12*k - 6. Is v(-2) a multiple of 8?
False
Suppose 89 = l - 48. Is l a multiple of 31?
False
Let u(o) = o**3 + 4*o**2 - o + 4. Is 2 a factor of u(-4)?
True
Let g = 11 - -2. Is 13 a factor of g?
True
Suppose 5*g - 61 = 109. Is g a multiple of 14?
False
Let k(o) = -o**3 - 7*o**2 - 8*o - 2. Let n be k(-6). Suppose -4*z + n = -106. Let a = -18 + z. Does 6 divide a?
False
Does 9 divide (0 - -2 - 6) + 40?
True
Let k(q) = -3*q - 4. Let r be k(-3). Suppose 3*t = 8*t + 4*l - 200, 0 = r*l + 25. Does 22 divide t?
True
Suppose 6*k - 2*k + 104 = 0. Let d be (352/(-2))/(-4) - 0. Let a = d + k. Is a a multiple of 18?
True
Suppose 831 + 33 = 4*w. Is w a multiple of 24?
True
Suppose 3*s + 12 = 0, -n + 2*n = -2*s - 67. Suppose 5*h - 5*u - 435 = 0, u - 2 + 4 = 0. Let v = h + n. Is 16 a factor of v?
False
Let f = 6 - -3. Is f a multiple of 3?
True
Let a = 7 - -63. Does 14 divide a?
True
Suppose -21 = -3*g - 3. Is 11 + -3*(-2)/g a multiple of 6?
True
Suppose -33 = 5*w - 313. Does 8 divide w?
True
Let x = -7 + 5. Let u = -2 - x. Suppose -z - 4*z + 105 = u. Is 13 a factor of z?
False
Suppose 44 = x + 8. Is 12 a factor of x?
True
Suppose 5*b - 3*b - 110 = 0. Suppose 15 = -2*k + 2*f + b, -4*k + 2*f + 78 = 0. Suppose -2*x = 4*g, 2*x - 3*g = k + 9. Is x a multiple of 5?
False
Does 11 divide ((-266)/6 + 4/12)/(-1)?
True
Let t = -148 - -244. Is t a multiple of 24?
True
Suppose 3*a - 23 = 7. Is a a multiple of 10?
True
Suppose -204 = -4*d + 4*c, 0 = 3*d + 2*c + c - 165. Suppose -d = -3*f + 52. Does 14 divide f?
False
Suppose -4*c + 3*i = 4*i - 151, 131 = 4*c + 5*i. Does 15 divide c?
False
Let k(x) be the first derivative of -x**4/4 + 7*x**3/3 - 5*x**2/2 + x + 2. Suppose -2 = -4*s + 14. Is 19 a factor of k(s)?
False
Let r(b) = 3*b + 3*b**2 - 3*b - 1. Let g = -11 - -13. Does 4 divide r(g)?
False
Suppose -2*h = -6*f + f + 13, -5*f = -5*h - 25. Let q(p) = -13*p + 3. Is q(h) a multiple of 11?
True
Let x(g) = g**3 + 10*g**2 + 7*g - 13. Suppose 0 = -b - 3*b - 36. Does 5 divide x(b)?
True
Suppose 0*f + 15 = 3*f. Let x be 24/15*f/2. Suppose 4*g = -x*n + 92, -2*n = -0*g - 5*g + 87. Is g a multiple of 10?
False
Let u(b) = 6*b**3 + b. Let j be u(1). Suppose 3*s - j*s = -28. Is s even?
False
Let u(c) = 4*c + 3. Does 2 divide u(0)?
False
Let d(g) = 4*g - 15. Is d(6) a multiple of 4?
False
Suppose 5*j + 2*x = -2*x + 256, 3*j + 5*x = 164. Does 16 divide j?
True
Suppose -j + 2*j = 100. Is j a multiple of 25?
True
Let q = 585 + -393. Does 16 divide q?
True
Suppose -15*p = -19*p + 44. Does 24 divide (p/2)/(1/10)?
False
Suppose -n - 5*n + 54 = 0. Suppose n = q - y, -5*y = -q - 0*q + 13. Is q even?
True
Does 11 divide 2*-2*(-44)/16?
True
Let z(d) = 5*d**2 + 3. Is z(-2) a multiple of 11?
False
Is 32 a factor of (4/(-2)*16)/(-1)?
True
Let q be (7/35)/(2/10). Let a(z) = z + 1. Let v be a(q). Suppose 96 = 2*i + v*i. Is 12 a factor of i?
True
Does 13 divide 3/(-2)*(-26)/39*228?
False
Is 33 a factor of (-324)/(-24)*(-8)/(-3)?
False
Suppose -4*l - 2*x + 435 = -69, 5*l - 628 = -2*x. Does 28 divide l?
False
Let h(y) = -5*y**2 + 8*y + 7. Let l(k) = k + 1. Let b(g) = -h(g) + 6*l(g). Let r be b(4). Let f = r + -48. Does 13 divide f?
False
Suppose 24 = 2*g + 10*j - 5*j, -4*g + 2*j = 0. Is g even?
True
Let v(g) = 3*g + 3*g + 13 - g**3 + 4*g - 10*g**2 - 1. Is v(-11) a multiple of 23?
True
Suppose -5*m + 70 - 5 = 0. Suppose m + 3 = 2*r + 4*w, 2*r - 17 = -3*w. Is r a multiple of 7?
False
Suppose -3*m = -2*b - 177, 5*m - 138 = 2*b + 157. Does 15 divide m?
False
Let h be ((-40)/(-16))/(1/16). Suppose -2*f - 4*w = -0*w - 150, 2*f + 5*w - 149 = 0. Let z = f - h. Is z a multiple of 13?
False
Let a be (-1)/((6/(-14))/3). Let k(z) = -z**3. Let b(s) = 4*s**3 + 7*s**2 - 3*s - 8. Let d(q) = -b(q) - 5*k(q). Does 15 divide d(a)?
False
Let g(z) be the first derivative of 4*z**3/3 - 3*z**2/2 + 1. Let q be g(5). Suppose -10 = 5*a - q. Does 15 divide a?
True
Let c(o) = -o -