 = -5*n + 158. Is 6 a factor of n?
False
Suppose -644 = -2*j - 2*k, -k + 480 + 168 = 2*j. Is 70 a factor of j?
False
Let f = -59 - -97. Let a = 77 - f. Suppose -209 + 31 = -5*h + 2*b, h + 3*b = a. Is h a multiple of 12?
True
Let b = 200 + -96. Let g = b - 20. Does 21 divide g?
True
Let k be 6/(-9)*1140/(-8). Let h = k + -45. Is h a multiple of 25?
True
Let q = 24 + -21. Suppose 5*u - q*u - 22 = -2*n, -25 = -3*u + n. Suppose -165 = 6*b - u*b. Is b a multiple of 37?
False
Let r = -917 - -1784. Is r a multiple of 8?
False
Let s = -16 + 31. Let r = -11 + s. Suppose 32 = r*x - 0. Is x a multiple of 4?
True
Let v be ((-40)/(-25) + -2)*1*-5. Is (v + -1)*(-78)/(-6) - -2 a multiple of 3?
True
Let a = 441 - 254. Suppose 2*w - 420 = -5*v, 2*v - w = 2*w + a. Is v a multiple of 29?
False
Suppose 3*g = -g + 16. Let w = 20 - 8. Suppose w = -2*r + g*r. Is r a multiple of 6?
True
Let n(b) = -20892*b + 3. Let j be n(-1). Is j/245 - (-2)/(-7) a multiple of 17?
True
Let h(v) = v**2 + 15*v - 345. Does 9 divide h(25)?
False
Suppose 0 = -3*f - i + 21, -2*i = -0*i. Suppose -4*k - 5*s + 32 = -f*s, 0 = 3*k - 3*s - 27. Is 2 a factor of k?
False
Suppose -6*k - 16095 = -43*k. Does 15 divide k?
True
Let g = -753 + 1167. Is 46 a factor of g?
True
Suppose 0 = 24*t - 57*t + 56826. Does 21 divide t?
True
Let p = -19 - -829. Is p a multiple of 34?
False
Suppose 8*f = 13*f - 965. Let a = f - 126. Is a a multiple of 7?
False
Let v = 401 - 330. Is 9 a factor of v?
False
Is 1*659 - (-100 - -109) a multiple of 10?
True
Let x = -342 - -220. Let d = x - -156. Is d a multiple of 12?
False
Let i(w) = 49*w - 28. Is 7 a factor of i(4)?
True
Suppose 5*h = s - 77, 0 = s - 0*s + 2*h - 112. Let i = -3 - s. Let y = i - -153. Does 16 divide y?
True
Let s = 86 + -196. Is (-4)/(-22) + (-5)/(s/1448) a multiple of 14?
False
Let l(o) = -9*o**2 - o - 4. Let w be l(3). Let i = w + 201. Is 6 a factor of i?
False
Suppose f + r - 477 = -3*r, 9 = 3*r. Does 15 divide f?
True
Let i(r) = r**3 - 20*r**2 - r - 16. Let u(s) = s**3 - 19*s**2 - 15. Let m(j) = 2*i(j) - 3*u(j). Let d be m(17). Is 26 a factor of -3 - -6 - d - -2?
True
Let j be 2/7*(-7)/(-2). Let o = 4 - j. Is -1*(o + 0) + 19 a multiple of 8?
True
Suppose 2*z + 0*z = m + 178, 0 = 5*z + 2*m - 436. Is 8 a factor of z?
True
Let s(h) = -2*h**2 - 16*h + 19. Let x be s(-9). Is 1624/(-87)*(-1 + -2*x) a multiple of 5?
False
Let h(v) = v**2 - v + 2. Let p be h(0). Suppose -p*s - 9 = -5*t, 3*s - t + 39 = -2*t. Is 5/(-30) + (-242)/s a multiple of 13?
False
Let o(j) = j**2 - 37*j - 32. Let b be o(-20). Suppose -3*u = -2*w + 452, -5*w + 0*u + b = -2*u. Is w a multiple of 8?
False
Let c(z) = -9*z - 107. Let h be c(-10). Let y = 28 + -2. Let g = y + h. Is g a multiple of 9?
True
Let q = 30 + -26. Suppose -a + 8 = 3*l, -2*l + 50 = q*a + l. Is 6 a factor of a?
False
Let q(h) = 3*h**2 - 2*h - 8. Let y be q(6). Suppose 5*r - 4*l + 17 = 0, -4*r - 2*l + 7*l = 19. Let m = r + y. Does 23 divide m?
False
Suppose -a + 0 = -2. Let k = 82 - 75. Suppose 0 = -3*i - a*i + 5*l + 115, 5*l + k = -i. Does 18 divide i?
True
Suppose -1828 = -2*a - 736. Is a a multiple of 26?
True
Let a = 0 + 11. Suppose 0 = -a*z + 2355 + 1242. Is 43 a factor of z?
False
Let f(o) = 3*o + 4. Suppose 0 = 13*l - 17*l + 32. Is f(l) a multiple of 28?
True
Suppose 0 = 5*x - 2*g - 305, 4*x + 138 = -2*g + 382. Does 10 divide x?
False
Let t = -18 + 20. Let w(j) = j**3 + 5*j**2 + 6*j + 9. Let x be w(-3). Suppose x*q = t*q + 140. Does 20 divide q?
True
Let y = -797 + 895. Is 7 a factor of y?
True
Let z be (-3)/(-6) + 14/4 + -4. Does 38 divide -33*(-1 + (z - 4))?
False
Suppose 0*b = 4*b + r - 31, -r = 5*b - 40. Suppose -5*w - 12 = -b*w. Suppose -o - 2*o + 94 = 2*u, w*u - 156 = -5*o. Is o a multiple of 10?
True
Let q = -360 - -558. Does 4 divide q?
False
Let i(v) = 3*v + 27. Let f be -15*(50/(-15) + 3). Let z be ((-4)/f)/(7/70). Is 2 a factor of i(z)?
False
Let i = -25 - -20. Let x be i/(-20) - 2/8. Let a = x - -15. Is 5 a factor of a?
True
Suppose 537*l - 529*l = 1456. Is l a multiple of 7?
True
Let l = -9 - 11. Let r(d) = d**2 + 12*d - 28. Is r(l) a multiple of 22?
True
Let m be (-12)/54*(-3 - 15). Let o(w) = 2*w**3 - 14*w**2 + 7*w + 5. Let a(g) = -3*g**3 + 21*g**2 - 11*g - 7. Let h(d) = -5*a(d) - 8*o(d). Does 13 divide h(m)?
True
Let c(y) = -742*y**3 - 3*y**2 - 3*y. Is c(-1) a multiple of 53?
True
Let b = 12 - 9. Let v(g) = -12*g**2 + g**b - 4*g + 0*g**3 - 9 - 5*g - 3*g. Is 3 a factor of v(13)?
False
Let o(n) = -n**3 + 11*n**2 + 26*n - 20. Is 38 a factor of o(8)?
True
Suppose -3*t = -j - 4*j + 4057, 0 = -4*j - t + 3249. Is 58 a factor of j?
True
Suppose 1792 = 5*d + 3*d. Is d a multiple of 28?
True
Suppose 4*o + 0*h - 5*h = 8, -4*o + 8 = -4*h. Suppose -k - 3*z + 215 = 0, 0*k - 4*z - 480 = -o*k. Is 46 a factor of k?
True
Let m(f) = 8*f**2 - 2*f + 1. Let s be m(1). Let b be s*(6/(-2) + 0). Is 8 a factor of (-330)/b - (-6)/21?
True
Suppose -32*x = -34*x + 14. Let i(d) = -2 - 3*d + d**2 + 2 - 4. Is i(x) a multiple of 12?
True
Is (-896)/(-2) + (-4)/(-2) a multiple of 41?
False
Let l(o) be the first derivative of o**5/5 - o**4/12 - o**3/6 - o**2/2 + 11*o + 6. Let x(c) be the first derivative of l(c). Does 5 divide x(2)?
True
Let c(i) = 0*i**2 - 16 + 4*i**2 - 12*i + 2. Let j(g) = -3*g**2 + 11*g + 13. Let o(n) = 5*c(n) + 6*j(n). Does 14 divide o(-5)?
True
Is (27/9)/(6/1286) a multiple of 33?
False
Let u be (-5937)/(-3) - (1 + 3). Suppose -c + 395 = 2*r, c - 5*r = -4*c + u. Suppose x - c = -4*x. Is 16 a factor of x?
False
Let y(l) = -23*l + 9. Let z be y(13). Let m = -35 - z. Is 17 a factor of m?
True
Let p = -11 + 15. Suppose -4*k - 3*g = -5, -k + g = -6 + 3. Suppose 0 = -z - k*z - b + p, -5*z - b + 10 = 0. Is z a multiple of 3?
True
Let d be (-4)/(-3)*63/(-6). Let p = d + 20. Suppose 5*y + 15 = -2*u, -5*u - p*y + 15 = -4*y. Does 2 divide u?
False
Is 19 a factor of 5586/10 + 12/30?
False
Let f(p) = -2*p**3 + 98*p**2 + 109*p - 174. Is f(50) a multiple of 13?
False
Suppose 0 = 2*b + 4*y - 1660, 3*y = -2*b + 5*y + 1678. Does 6 divide b?
False
Suppose -5*w - 24 = 11. Let m(x) = 5*x - 5. Let s(o) = 2*o - 3. Let z(t) = -4*m(t) + 9*s(t). Is z(w) a multiple of 3?
False
Suppose -k + 517 = -150. Let s = 947 - k. Suppose -100 + s = 4*w. Is 15 a factor of w?
True
Let c = 0 - 2. Is 12 a factor of c/12 - 247/(-6)?
False
Let r = -110 - -889. Is 19 a factor of r?
True
Suppose 2*m = -2*b + 814, 4*m + m + 3*b - 2041 = 0. Is m a multiple of 5?
True
Let q be 3*(-3)/((-9)/10). Does 24 divide (-2012)/(-20) - 6/q?
False
Suppose 863 = 5*t - i + 68, -t = i - 153. Let c = 277 - t. Does 20 divide c?
False
Let i(p) = p**2 + 4*p + 13. Let m(z) = -z**3 + 2*z**2 + z - 6. Let b be m(2). Is 11 a factor of i(b)?
False
Let t be (138/(-23))/(1/(-20)). Let v be ((-16)/(-2))/((-2)/(-19)). Suppose -5*x + 29 = p - v, -5*x + t = 4*p. Does 7 divide x?
False
Does 40 divide (-10923)/(-21) - (-7)/(-294)*6?
True
Let i(p) = p**3 + 13*p**2 - 8*p + 45. Does 5 divide i(-11)?
True
Let x be 5*((-12)/(-24))/((-2)/(-4)). Suppose 3*q = x*t + 173, 4*q + 7 - 223 = 3*t. Is q a multiple of 17?
True
Suppose 4*c - 3210 + 9134 = 4*w, 4*w + 3*c - 5945 = 0. Does 53 divide w?
True
Let c(n) be the third derivative of -11*n**4/2 + 25*n**3/6 + 6*n**2. Is c(-2) a multiple of 38?
False
Suppose 2*i = 3*u - 2481, -4*u = -5*i - 949 - 2352. Is 21 a factor of u?
False
Suppose -17 = -4*o - 33. Does 29 divide (0/2 - -1)/(o/(-644))?
False
Let c be -4 + (2 - 1) + 42. Suppose -66 = -3*z + c. Does 5 divide z?
True
Let i(z) = 2*z + 6. Suppose o = 9 - 4. Let t be i(o). Suppose t = -2*g + 64. Does 12 divide g?
True
Suppose -2 = -c + 3*c. Let z(u) = -5*u**3 + u**2 + u. Let n be z(c). Suppose -3*k + 0*w + w = -170, -n*k + 281 = -4*w. Does 19 divide k?
True
Let v(n) be the third derivative of n**4/24 + 8*n**3/3 + 13*n**2. Is v(14) a multiple of 6?
True
Let p(l) = l**2 + 7*l - 3. Let y be p(-11). Suppose 2*x + y = 5*m, -5*x - 8 = m - 3*m. Does 18 divide 646/m + (-10)/(-45)?
True
Let x(o) = o**2 - 32*o + 62. Let m be x(30). Let y(j) be the first derivative of j**3 - j**2 + j + 2. Is y(m) a multiple of 2?
False
Let h = 64 + -132. Let n be (-4)/6 + h/(-12). Suppose n*c + 4*j = 98, 3*c - 44 = 5*j - 0*j. Is 6 a factor of c?
True
Let q = -24 - -30. Let u(h) = -h**3 + 6*h**2 + 4*h - 6. Is u(q) a multiple of 9