Does 4 divide a?
False
Suppose -3*n + 2*v + 6 = 0, -5*n - 3*v + 4 = -6. Suppose n*h = 47 + 1. Is h a multiple of 7?
False
Let q = 12 - 7. Suppose 2 = -4*v - q*k - 0, -4*k = 4*v. Does 7 divide 69/(-6)*v/(-1)?
False
Let s(l) = -l**3 - 15*l**2 + 2*l + 30. Let i be s(-15). Suppose i = 2*f - 66 - 26. Is f a multiple of 23?
True
Let r be 2/3*54/12. Suppose 5*y + 2*l - 27 = -l, -r*y + 2*l = -20. Suppose -y*k + 3*k = -171. Is k a multiple of 19?
True
Let k(r) = r + 15. Let f be k(-11). Suppose -12 = -f*i + 8*i. Is 4 a factor of 18 + i + (2 - 5)?
True
Suppose -211*g + 220*g - 5499 = 0. Is 12 a factor of g?
False
Is 13 a factor of (-3)/1 - (-135 - -15)?
True
Let f = 98 + 182. Is 40 a factor of f?
True
Suppose -9 = -3*t, n - 3*t - 273 = -0*n. Suppose n = 2*s - 6*q + 4*q, 3*s + q - 407 = 0. Suppose 2*b - 38 = 3*y + 93, -2*b = 3*y - s. Does 17 divide b?
False
Let x be 11/4 - (-15)/(-20). Suppose -1 = 2*o + 5*m, x*o + 0*m - 44 = 4*m. Is o a multiple of 4?
True
Let s(w) = -w**3 - 6*w**2 - 2*w - 2. Let i be s(-6). Suppose 4*r - 2 = i. Suppose j - r = -5*x + 12, 25 = -5*j. Is 2 a factor of x?
True
Let c = -450 - -558. Is 27 a factor of c?
True
Let i be ((-3)/(-6))/(1/(-18)). Let k = i - -12. Suppose -186 = -k*q + 3*y, -2*q - 2*q - 2*y + 272 = 0. Is 33 a factor of q?
True
Suppose 0 = -2*m - 5*u + 26, -4*m + 0*m + 16 = u. Suppose 5*b - m*k = 827, b - 3*b = -4*k - 342. Is b a multiple of 19?
False
Does 3 divide 2*147/6 - 7?
True
Suppose -3*s = 19*s - 9240. Is s a multiple of 15?
True
Suppose -885 = -5*b + k - 0*k, 0 = -4*k - 20. Suppose 7*p - 3*p - b = 0. Is 11 a factor of p?
True
Let i(s) = 7*s + 4. Let r = -33 - -37. Is i(r) a multiple of 16?
True
Is (10/15 - (-4)/12) + 54 a multiple of 7?
False
Let r(h) = 3*h**3 - 3*h**2 + 3*h - 3. Suppose 4*k - 15 = -3. Let p(b) = -b + 5. Let f be p(k). Is 4 a factor of r(f)?
False
Suppose 3*i - 1 = 5*w - 149, 4*w + 5*i - 148 = 0. Let f(v) = 2 - 6*v + w + 5*v. Is 17 a factor of f(0)?
True
Suppose 5*i + 2397 = 22*i. Is 47 a factor of i?
True
Let c be (-2*1)/((-9535)/1905 - -5). Suppose -4*b + c = 61. Does 16 divide b?
True
Suppose -2*m = s + 6, 2 = -3*s - 2*s - 3*m. Suppose s*t + 60 = 6*t. Suppose -3*p = -6*p + 5*o + t, -2*p = -o - 10. Is 3 a factor of p?
False
Let i be (-32)/(-3) + 2/(-3). Let z = i + -4. Suppose -v - 100 = -z*v. Is v a multiple of 7?
False
Suppose 3*p = 2*p + 1, 7 = 4*x - 5*p. Suppose -8 = -2*k, -x*g = -4*g + 5*k + 140. Does 10 divide g?
True
Let n be 2/6 + 11/(-33). Suppose z = -2*i + 163, n = i + 2*z + z - 94. Is i a multiple of 19?
False
Suppose -4*x = -g - 510, -5*x + g = 3*g - 644. Suppose 0 = 2*p + 2*c - x, 136 = 2*p - 0*c - 2*c. Does 11 divide p?
True
Let z(s) = s**3 - 10*s**2 + 12*s - 32. Does 11 divide z(10)?
True
Suppose -2*o - 11*g = -10*g - 358, -4*o = 5*g - 704. Is 31 a factor of o?
False
Let p(y) be the first derivative of y**4/4 - 7*y**3/3 + y**2/2 + 7*y + 1. Let o(g) = 4*g - 21. Let i be o(7). Is p(i) a multiple of 4?
False
Is 9 a factor of 144/42*(3 - 2/(-4))?
False
Let b(i) = -i**2 - i. Let h(j) = -j**2 + 10*j + 19. Let z(c) = -3*b(c) + h(c). Is z(-7) a multiple of 2?
True
Let k(l) = 22*l**2 - 8*l - 62. Is k(9) a multiple of 15?
False
Does 13 divide 1 + 2 + (782/2 - 4)?
True
Let u(f) = -f**2 - 6. Let p be u(0). Let q(w) be the first derivative of -3*w**2/2 - 2*w + 1. Is q(p) a multiple of 12?
False
Suppose -b + 202 = n - 45, 5*b - 2*n = 1270. Does 18 divide b?
True
Let h = 24 - 21. Suppose h = -2*f + 4*b + 15, 0 = f - 4*b - 8. Suppose o + o - 54 = -5*i, -f*o = -3*i - 160. Is o a multiple of 16?
False
Suppose 0 = -0*q + q + 4*z - 25, 5*q = -4*z + 45. Suppose -2*o + 33 = q*l, 3*o = 4*l - 20 - 11. Suppose p + 0 = l. Is p a multiple of 6?
False
Let s = -13 - -32. Suppose 2*m - v + 9 + 9 = 0, 3*m = -5*v - 53. Let k = m + s. Is k a multiple of 6?
False
Let v(t) = t**2 + 5*t - 2. Let o be v(-6). Let s(m) = m**2 + 5*m - 4. Let c be s(1). Suppose -2*j + l = -39, -c*j - o*l + 27 = -l. Does 6 divide j?
True
Is 68 a factor of ((-57995)/14)/(-5)*2*1?
False
Suppose -o - 2*o - 5*q + 1275 = 0, 4*o + q - 1683 = 0. Is 28 a factor of o?
True
Suppose 0 = 2*m + 4*u - 68, m - 5*u + 6 = 19. Let a = 39 - m. Is 11 a factor of a?
True
Let p be (-50)/5*(-10)/4. Let c = 10 - p. Let d = 26 + c. Is 11 a factor of d?
True
Let n be (-2)/(-5) + (-446)/(-10). Let r = n + 31. Does 29 divide r?
False
Suppose -4*b + 3*l + 354 + 294 = 0, 486 = 3*b - 3*l. Is 3 a factor of b?
True
Let y(s) = s**3 - 5*s**2 + 5*s - 4. Let u = 7 - 3. Let q be y(u). Suppose 3*l - 1 = -7, -3*f + l + 32 = q. Is f a multiple of 10?
True
Let q(t) = -t + 21. Suppose 3*n + 4*o - 65 = -8, -3*o = 2*n - 39. Is 3 a factor of q(n)?
True
Suppose -5287 - 5918 = -27*f. Is f a multiple of 21?
False
Suppose -5*o + 9*o - 728 = 0. Suppose -3*p - o = -4*p. Is 14 a factor of p?
True
Suppose -i + 42 = -4*f, 3*i + 2*i - f = 172. Let b = i + -26. Does 2 divide b/2 + 5 + -1?
True
Let f(g) = 49*g - 122. Is f(34) a multiple of 51?
False
Suppose 2*d + 34 = p, 4*p + 0*d - 161 = 3*d. Is p a multiple of 6?
False
Suppose 60 = t - 6*t. Is (t - -32)/(1/12) a multiple of 16?
True
Is 76 a factor of (-5)/(90/(-4)) - 141456/(-108)?
False
Let c = -618 + 786. Does 113 divide c?
False
Let l(f) = 24*f**2. Let i(q) = -q**2 - 4*q + 4. Let v be i(-6). Let o = 9 + v. Does 5 divide l(o)?
False
Let k(b) = b**3 + 61*b**2 + 162*b - 9. Is k(-58) a multiple of 24?
False
Let f(d) = 67*d**3 + 4*d**2 + 3*d + 1. Let v be f(-2). Let a = -347 - v. Let i = a + -119. Does 10 divide i?
False
Let u be (-10)/4*80/(-100). Let x = 7 + u. Is 9 a factor of x?
True
Suppose 0 = 4*j + 12 + 8. Let s = 3 - j. Is 6 a factor of s?
False
Let v = -6 - -4. Let h = v - -29. Suppose 0 = -2*j - j + h. Is j a multiple of 3?
True
Let l(y) = 4*y**3 - 6*y**2 + 22*y - 44. Does 15 divide l(3)?
False
Let c = 14151 - 9714. Does 51 divide c?
True
Let a(w) be the third derivative of w**4/12 - w**3/6 + 5*w**2. Is a(2) a multiple of 2?
False
Let c(l) = -l + 10. Let j(g) = 5*g - 40. Let q(f) = 9*c(f) + 2*j(f). Let x be q(-8). Suppose -3*p - 147 = -3*n, -x*n + 37 + 46 = -5*p. Does 14 divide n?
False
Let y = -6 - -8. Suppose y*c = 5 + 85. Suppose c = 2*w + 9. Is w a multiple of 18?
True
Let d(u) = u - 3. Let p be d(3). Suppose -27*t + 19*t + 272 = p. Is t a multiple of 17?
True
Suppose b + 2*a = 6*b - 844, 0 = 2*b - 4*a - 344. Suppose -5*n = -0*n. Suppose -7*k + 9*k - b = n. Does 21 divide k?
True
Suppose 3*r - 324 = -r - 4*i, -4*i - 215 = -3*r. Is r a multiple of 2?
False
Let j(c) = -17*c + 2*c**3 - 20*c + 38*c - 3*c**2 - 2. Let a be j(2). Let s(x) = 2*x + 7. Is 3 a factor of s(a)?
True
Suppose -1268 = 2*l + 2*l. Let u = -171 - l. Does 29 divide u?
False
Suppose -4*q + 2*q + 500 = 0. Suppose 0 = -3*o - 2*g + q, 0*o + 4*o - 331 = -5*g. Suppose m + 3*m = o. Is m a multiple of 21?
True
Let r = -127 - -195. Let t = r + -28. Is 16 a factor of t?
False
Let r(j) be the first derivative of 7*j**3/3 - 3*j**2/2 - 4*j - 16. Is r(4) a multiple of 16?
True
Suppose 0 = -2*i + 1696 - 560. Is i a multiple of 71?
True
Let c(t) = t - 9. Let d be c(12). Suppose -d*a = -2*a - u - 17, 46 = 3*a - 2*u. Is a a multiple of 7?
False
Let u be (-12)/(4 + (-556)/136). Suppose -4*b = -4*c + 2*c + u, -4*c + 2*b = -296. Is c a multiple of 19?
True
Let k(x) = -26*x**3 - 4*x**2 + 4*x + 1. Let f be k(3). Suppose 0 = 4*z + 5*a + 135, -162 = 3*z - 5*a - 52. Is 21 a factor of (-2)/(-7) + f/z?
True
Suppose 45 + 99 = 2*r. Suppose -q + 3*j - 7*j - 3 = 0, -2*j = -q - 3. Is q/(-4) - r/(-32) even?
False
Let x = 68 - 74. Is x/(-8) - 2145/(-52) a multiple of 22?
False
Let h(u) = u**2 - 18*u + 112. Is 28 a factor of h(0)?
True
Let f be 6/2 + (-2736)/(-8). Suppose 2*b = 5*b - f. Is 23 a factor of b?
True
Let j(l) = 34*l**3 + l**2 - l. Let m(c) = -2*c - 21. Let h be m(-12). Let f be ((-3)/9)/(h/(-9)). Is j(f) a multiple of 17?
True
Suppose -16*w + 8796 - 332 = 0. Is w a multiple of 23?
True
Suppose 6710 = -16*m + 26*m. Is 61 a factor of m?
True
Let m = 1425 - 669. Is m a multiple of 7?
True
Does 18 divide (33/(-88))/((-4)/6112)?
False
Let a = -1839 + 2274. Is 6 a factor of a?
False
Let o(y) = y**2 - 11*y - 251. Is 9 a factor of o(-20)?
True
Let d(t) = -4*t**3 + t**2 + t. Let m be d(-1). Let x(o) = -5*o + 3 - 3 - 2 + 24*o. Is x(m) a multiple of 29?
False
Suppose -2*u - 1101 = 5*n, -n =