3 a factor of x?
False
Let s(v) = v + 10. Let c be 1*6 + 0 - 1. Let u(i) = 2*i + 21. Let o(j) = c*s(j) - 2*u(j). Does 8 divide o(0)?
True
Suppose -5 = -0*l + l. Let o = l + 13. Is 8 a factor of o?
True
Let s be (-860)/(-18) - 2/(-9). Suppose 0 = -3*n + n + s. Is 12 a factor of n?
True
Suppose 4*z + 5 = 17. Suppose -z*o + 122 + 76 = 0. Does 20 divide o?
False
Let l be ((-40)/(-25))/((-2)/(-35)). Let j = 3 + l. Is 12 a factor of j?
False
Let x be (-876)/16 - 1/4. Let o = x - -118. Does 21 divide o?
True
Suppose -5*z + 0 = -45. Is 3 a factor of z?
True
Suppose 3*v = 4*v - 72. Suppose -5*b = x + 30, 5*x - 3*b + 154 = -24. Let a = x + v. Is a a multiple of 13?
False
Suppose x + 4 = 9. Suppose 5 = -l + 2, x*a - 147 = 4*l. Is a a multiple of 9?
True
Is (-6)/(-4)*2 + 27 a multiple of 9?
False
Let o(h) = h**3 + 20*h**2 + 15*h + 21. Does 35 divide o(-19)?
False
Let f = 482 + -242. Suppose -3*z = -5*r + f, -z - 3*z - 96 = -2*r. Does 16 divide r?
True
Suppose x = 3*n - 2, -4*x - 3*n + 5*n + 32 = 0. Let w = 2 + 0. Suppose w*j + x = 3*j. Does 5 divide j?
True
Suppose 0 = -5*k - 35 - 5. Let b = 4 - k. Does 12 divide b?
True
Suppose g + 18 = 2*g. Is (g/4)/((-5)/(-50)) a multiple of 20?
False
Let j be (0 - 2/2) + 3. Suppose 0*m - 4*m + j*r - 12 = 0, 3*m = -2*r - 2. Is m*1/(-6)*33 a multiple of 11?
True
Suppose -2*t + 123 = t. Suppose -9 = -3*p, 0*p = -4*v + p + t. Is 2 a factor of v?
False
Let o = 77 - 2. Does 28 divide o?
False
Let x(n) = -n**3 + 9*n**2 - 3*n - 4. Is x(8) a multiple of 15?
False
Let x = -76 - -116. Is 18 a factor of x?
False
Let w be 532/(-6) - 10/(-15). Suppose b = -0*b - s + 6, 2*s = 3*b - 18. Does 7 divide b/(-4)*w/12?
False
Suppose -4*u + 99 = d, 0 = 4*u - 5 - 7. Let i(t) = 8*t - 3. Let f be i(-7). Let j = f + d. Does 14 divide j?
True
Suppose 3*k - 82 = -2*v + k, -v + 38 = 4*k. Suppose -4*g - v = 46. Let b = g + 32. Is 5 a factor of b?
True
Let h(r) = r**3 - 8*r**2 + 6*r + 10. Let f be h(7). Suppose 0 = -f*m - 5*s + 55, 2*m - s - 17 = 37. Is 13 a factor of m?
False
Let v = 17 + 16. Does 11 divide v?
True
Suppose -3*i = -f + 31, 0 = 2*f - 3*i + 7*i - 32. Suppose 4*v = f + 2. Does 5 divide v?
False
Let x(y) = 2*y**2 + 1. Suppose v = 3*v + 2. Let p be x(v). Suppose p*h = -3*l + 51, h + 5*l = 26 + 11. Does 4 divide h?
True
Let k(l) = 5*l**3 + l**2 + l - 1. Let q be k(-2). Let g = q - -92. Is 15 a factor of g?
False
Let v = 526 + -320. Let b = v - 122. Suppose 3*k - k - o - 68 = 0, -3*k - 3*o = -b. Does 16 divide k?
True
Let b = -76 - -137. Is 13 a factor of b?
False
Suppose -53 = -o + g, 88 = -5*o + 3*g + 343. Does 18 divide o?
False
Let u(w) = w**2 - 1. Let q be u(-3). Let y be ((-12)/q)/(6/(-8)). Suppose -y*r + 63 = r. Is 8 a factor of r?
False
Let f(j) = 3*j - 17. Does 7 divide f(12)?
False
Suppose 0 = -0*x - 3*x + 6. Suppose x*u - u - 37 = 0. Does 14 divide u?
False
Is (7 - 4) + (0 - -8) a multiple of 11?
True
Let l = 73 - 52. Is l a multiple of 21?
True
Suppose k = 4 + 1. Let n = k - 1. Is n a multiple of 2?
True
Let a be -2 - (5 + -2)*-1. Let s be a*6 + -1 + 0. Suppose -43 = -s*c + 32. Does 7 divide c?
False
Let k = 187 + -115. Suppose 0*q - 5*q - 3*u + k = 0, -4*q + 64 = 4*u. Does 12 divide q?
True
Let i(r) = -3*r + 59*r**2 - 10 - 58*r**2 + 10*r. Is 5 a factor of i(-9)?
False
Suppose 64 = -4*x + i, -x - 2*i - 48 = 2*x. Is (4/1)/(x/(-24)) even?
True
Suppose -2*j - j = -207. Does 14 divide j?
False
Let l(f) = f**2 + 5*f - 3. Let j be l(-6). Let x be 2 + (5 - (-3)/j). Suppose -x*o + 4*o = -120. Is o a multiple of 15?
True
Suppose -2*d - 101 = x - 351, -x + 256 = -4*d. Is x a multiple of 28?
True
Let i be ((-2)/3)/((-6)/(-9)). Is (0 - -1)*i*-6 a multiple of 3?
True
Let z = 23 + -11. Does 6 divide z?
True
Let w be ((-1)/3)/((-11)/165). Suppose -k - 5*l = -21, w*k = -0*l + 4*l + 18. Does 4 divide k?
False
Is 8 a factor of 8/(-6) - (-674)/6?
False
Let m = 4 + -2. Let k be m - 1 - -2*1. Let j = k - -6. Is 9 a factor of j?
True
Let h = 57 + 42. Does 20 divide h?
False
Let j be (-11)/((-22)/312) - 1. Let w = j - 84. Does 19 divide w?
False
Let d = -14 - -141. Suppose -2*q - 43 = -d. Is q a multiple of 14?
True
Let c(i) = i**2 + 4*i + 1. Let y be c(3). Suppose 52 = 2*z - y. Does 13 divide z?
False
Suppose -4*x + 3*d - 19 = 0, 0 + 24 = -4*x + 4*d. Let h(f) = -20*f**3 + f**2 - 1. Let j be h(x). Suppose 4*k + 4 - j = 0. Is k a multiple of 2?
True
Let c = -97 - -167. Is 10 a factor of c?
True
Suppose 4*b + 292 = 8*n - 5*n, -4*n = 3*b - 381. Is 19 a factor of n?
False
Suppose 0 = w - 12 - 43. Suppose b = 6*b - w. Does 4 divide b?
False
Suppose 7*p = 4*p + 6. Is ((-42)/(-35))/(p/10) a multiple of 3?
True
Suppose j + 2 = -6. Let q(s) be the first derivative of -s**4/4 - 7*s**3/3 + 3*s**2/2 + 5*s - 2. Does 15 divide q(j)?
True
Let z be (-9)/2*4/(-6). Let t(o) = o**3 - 10*o**2 + o - 6. Let v be t(10). Suppose v*x - 20 = 0, 0*c - z*x + 63 = 4*c. Does 6 divide c?
True
Let v(c) = 5*c - 2. Does 23 divide v(5)?
True
Is 27 a factor of (-2 + -4 - -223) + -1*1?
True
Let n(d) = d**2 - 10*d + 2. Does 11 divide n(11)?
False
Let k(z) = 11*z + 6. Is 21 a factor of k(6)?
False
Suppose 0 = -4*n - 0*n + f + 33, -5*n - 5*f + 10 = 0. Let v = 11 - n. Suppose -5*j + 3*j = v*d - 30, d + 5*j - 21 = 0. Is 5 a factor of d?
False
Let n be 3 - -3*(1 + 5). Suppose 0 = 3*z + 5*i - 47, 0*z - z + i = -n. Is z a multiple of 19?
True
Suppose 4*b - 6 = b. Suppose 4*h - 2*c - 2*c = 4, -20 = -b*h - 4*c. Suppose -3*u = 2*u + h*i - 104, 1 = i. Is u a multiple of 10?
True
Let a(n) = -n**3 - 21*n**2 - 2*n - 1. Is a(-21) a multiple of 13?
False
Let p(s) be the first derivative of s**4/4 - 10*s**3/3 + 11*s**2/2 - 4*s + 1. Is 6 a factor of p(9)?
False
Let t = 133 + -117. Is t a multiple of 3?
False
Let s(o) = 6*o**2 - o + 4. Let u be s(4). Let i be (1 - 1) + u/1. Suppose -3*d - d + i = 0. Is 13 a factor of d?
False
Suppose -2*i = -5*i - h + 46, 2*h - 78 = -5*i. Does 12 divide i?
False
Suppose 4*r = 5*z - 290 - 91, -3 = -3*r. Is 11 a factor of z?
True
Let z(v) be the second derivative of v**7/315 - v**6/240 - v**5/120 - v**4/6 + v. Let j(w) be the third derivative of z(w). Is j(-2) a multiple of 16?
False
Suppose -4*b - a + 6*a = -204, -2*b + a + 96 = 0. Is 23 a factor of b?
True
Suppose 0 = -4*t - 2*f + 28, 58 = 5*t - f + 9. Is 3 a factor of t?
True
Let s = 15 - 7. Let f(j) = 2*j - 7. Is 6 a factor of f(s)?
False
Let p be ((-11)/(-3))/(-1)*-3. Let x = p - 7. Suppose v - x*v = -48. Is v a multiple of 7?
False
Let y(t) = -t - t**2 + 0 + 8 + 15*t. Is 16 a factor of y(10)?
True
Let z(u) = u**3 - 4*u**2 - 7*u + 9. Is 18 a factor of z(6)?
False
Suppose 2*z - z = -y + 148, z + 2*y = 152. Is 24 a factor of z?
True
Suppose -4*n + 9 - 1 = 0. Let w(t) = 0*t**3 + 0*t**3 - 2 + 3*t**3 - t - 2*t**2. Is 12 a factor of w(n)?
True
Suppose -10*u = -9*u - 75. Is 25 a factor of u?
True
Is ((-130)/15)/((-2)/30) a multiple of 24?
False
Suppose 0 = 3*i + 2*p - 603, -i - 3*p = -212 + 11. Suppose 0*o - 3*o + i = 0. Is o a multiple of 14?
False
Suppose 0 = 6*b - 9*b + 5*n + 647, -3*n = b - 225. Is 10 a factor of b?
False
Suppose 0 = -3*r + r + 90. Does 4 divide r?
False
Suppose 5*p - 1172 = -r, 10*p - 5*r - 1160 = 5*p. Is p a multiple of 30?
False
Suppose -4*b + 184 + 120 = 0. Suppose 3*c - b = 2*d, 4*c = 2*c + 5*d + 58. Is 12 a factor of c?
True
Suppose 3*y - 2*x - 12 - 11 = 0, -x = -2*y + 14. Suppose 0 = -j + 2, 4*p - 22 = -y*j + 8. Let c(l) = 8*l. Does 17 divide c(p)?
False
Suppose -5*s + 4*t = -92, 2*t = s - 2*t - 12. Is s a multiple of 10?
True
Let w be 1 + 2 + -1 - 10. Is ((-12)/w)/((-6)/(-56)) a multiple of 14?
True
Let s(j) = 9*j**3 - 12*j - 11. Let c(z) = -z**3 + z + 1. Let o(b) = 22*c(b) + 2*s(b). Does 12 divide o(-2)?
True
Suppose 3*r + 152 = 7*r. Is r a multiple of 27?
False
Let r(x) = -x**3 - x**2 + 3*x. Suppose 3*h + 13 = 4. Is 3 a factor of r(h)?
True
Let q(c) = -10*c - 2. Suppose 3*u + 20 = -5*t, 5*t + 4*u + 20 = 3*u. Does 15 divide q(t)?
False
Let s(u) = -u + 36. Does 4 divide s(-7)?
False
Let h = 11 + -7. Suppose 2 = 4*q + g - 3, -3*q - 4*g = -20. Suppose -3*k - 2*w + 22 = q, -24 = 5*w - h. Does 8 divide k?
False
Let c = 7 + 11. Let b = c + 4. Is 11 a factor of b?
True
Let u(i) = -3*i - 8. Let f be u(-12). Suppose -n = -q + f, q + 3*n + 6 = 26. Is q a multiple of 13?
True
Let j be (-1 - 1) + -3*26. 