0 = 2*l + 4*o - 2*o - 284. Is l a multiple of 29?
False
Let b be (-2 - 0)/(4/(-46)). Suppose 7 = -4*d + b. Suppose -2*t = d*o + o - 55, -23 = -t + 2*o. Is t a multiple of 10?
False
Suppose 0 = -4*k + b + 107, -b + 45 = 2*k - 4. Does 7 divide k?
False
Let o be 1 - 2/((-4)/10). Suppose -o*v + k + 39 = -v, 3*v + 5*k - 1 = 0. Let c = 16 - v. Is c a multiple of 4?
False
Let n(z) = -4*z - 1. Suppose -3*t - 3*k - 8 - 4 = 0, 2*k = -5*t - 11. Let j be n(t). Suppose j*a - 45 + 12 = 0. Is a a multiple of 11?
True
Suppose -3 = 5*l - 4*c + 3, -3*c + 14 = l. Let n(f) = 3 - l*f**3 - f - f + 4*f. Is 6 a factor of n(-2)?
False
Let v(x) = -2*x - 5. Let m be (-14)/(-2)*(-5 + 4). Does 9 divide v(m)?
True
Suppose -3*o - 2*o = -190. Does 12 divide o?
False
Suppose -p = 2*p. Suppose p*x = x - 4. Suppose -d - 2*j = -49, d + x*d + 5*j - 220 = 0. Is d a multiple of 18?
False
Is 11 a factor of (-1366)/(-4) - (-11)/(-22)?
True
Suppose 328 = 5*q - 3*q. Does 24 divide q?
False
Let a(d) = -2*d + 1. Let l be a(-2). Suppose -3 = -l*u + 7. Does 2 divide u?
True
Does 16 divide (-278*(-2)/12)/(15/45)?
False
Let f = -27 + 35. Is f even?
True
Suppose 0*m = -3*m. Suppose 2*s - 6*s + 108 = m. Suppose -s = -k + 11. Is k a multiple of 19?
True
Suppose -l + 34 + 11 = -3*q, -5*l = -2*q - 186. Is 12 a factor of l?
True
Let l = -1 - 1. Let v be (-3)/3 + (-8)/l. Suppose 2*q + 36 = 4*g, q + 2*q + 33 = v*g. Does 7 divide g?
True
Suppose 5*b - 4*g + 5 = g, -11 = 3*b - 5*g. Suppose d + b*d = 16. Suppose 4*k + d*j = 44, 0*k = 4*k + j - 35. Is k a multiple of 8?
True
Let m(b) = -2*b - 9. Let s be m(-6). Let f = s + 0. Let j = 15 - f. Does 7 divide j?
False
Let c(q) = 4*q**2 + 3*q - 11. Let t(v) = -5*v**2 - 4*v + 11. Let m(x) = -4*c(x) - 3*t(x). Is m(0) a multiple of 7?
False
Is 6 - 3/1 - (-4 - -1) even?
True
Suppose -3*d - 5*x - 12 = -2*d, 0 = 2*d + 2*x. Suppose 10 = d*o - 68. Is 13 a factor of o?
True
Let r = -26 - -53. Is r a multiple of 27?
True
Suppose 218*h + 1512 = 221*h. Does 20 divide h?
False
Let k(r) = r**3 + 16*r**2 + 9*r - 3. Is k(-14) a multiple of 30?
False
Suppose 0 = g - 1 - 1. Suppose -22 - g = -4*y. Is y a multiple of 3?
True
Let h(c) = c**3 - 16*c**2 - 2*c + 19. Does 46 divide h(17)?
False
Let l(o) = o - 1. Let p(j) = -37*j. Let i(s) = -l(s) + p(s). Let x = 3 + -4. Does 10 divide i(x)?
False
Let m(c) = c**3 + 2*c**2 + 3. Let x be m(-3). Does 15 divide x/(-21) - 103/(-7)?
True
Suppose -7 = -4*b + 53. Is 3 a factor of b?
True
Suppose -2115 = -20*w + 5*w. Does 8 divide w?
False
Suppose -4*n + 5*r - 64 = 3*r, -9 = n - 4*r. Let d = n + 28. Is 5 a factor of d?
False
Let p be ((-3 + 119)/4)/1. Let i = p - -18. Does 15 divide i?
False
Let f be (-2)/(-3) - 5/3. Is 4/(8/(-26))*f a multiple of 13?
True
Let p(y) = y**2 - 3*y + 3. Let b be p(3). Let c be (-2)/b + (-159)/(-9). Suppose -d = 2, 3*r - 2*r - d - c = 0. Is 14 a factor of r?
False
Suppose -2*o + 5*q + 14 = 0, -52 = -4*o + 6*q - 2*q. Does 10 divide o?
False
Let i(w) = w**3 - 12*w**2 + 2*w - 11. Does 4 divide i(12)?
False
Let s = 14 - -46. Let p = -19 + s. Is p a multiple of 11?
False
Suppose 4*w + 0 = 8. Suppose -4*p + 10 = -w*f, -4*p + 40 = p + 3*f. Is p a multiple of 4?
False
Suppose 6 = -2*n + 3*l - 6, -3*l = n - 12. Suppose n = 7*c - 5 - 23. Does 3 divide c?
False
Let h(x) = x + 1. Let n be h(1). Suppose 0 = -5*f + 3*a + 10, 3*f = -n*a - 2*a + 35. Suppose -2*l + 8 = -5*d, 2*l - f*l + d = -25. Is l a multiple of 9?
True
Let r = 33 + -18. Suppose 8*h - 5*h = r. Is h a multiple of 3?
False
Let o(z) = -z + 18. Let d be 5 + -2 + (-1)/(-1). Let p be 1/4 - d/16. Does 7 divide o(p)?
False
Let y(d) = 2*d**2 - 11*d - 7. Is y(8) a multiple of 5?
False
Suppose -1 + 13 = 4*z. Is 3 a factor of z?
True
Suppose 3*g = -4*d + 98, -2*d = g + 2*d - 30. Is g a multiple of 13?
False
Suppose 4*a + 24 = v, -5*v - 15 = -4*a - 71. Let g(w) = -48*w + 11 + 29*w + 22*w. Is 15 a factor of g(v)?
False
Suppose j = -4*j + 100. Let w be 50/4*(-108)/(-15). Suppose -2*q + j = -w. Is 20 a factor of q?
False
Let l(w) be the second derivative of -w**3/6 + 2*w. Let b be l(-5). Let u(d) = 6*d - 6. Is 12 a factor of u(b)?
True
Does 36 divide (-648)/10*20/(-6)?
True
Suppose -2*q = 2*q - 140. Is q a multiple of 20?
False
Let a(j) be the second derivative of j**5/20 - 7*j**4/12 - 5*j**3/6 - j**2 + 2*j. Let r be a(8). Let i = 2 + r. Is 11 a factor of i?
False
Let v(y) be the second derivative of 11*y**4/12 + y**3/6 + y**2/2 - y. Is 7 a factor of v(-1)?
False
Suppose -z = 7 - 90. Does 22 divide z?
False
Suppose -87 = -4*t + 41. Let l(x) = -x**3 + 2*x**2 + 3*x + 4. Let d be l(3). Let i = d + t. Does 13 divide i?
False
Is 7 a factor of (-1)/(-2) - ((-37)/2 - -6)?
False
Let w(m) = -m**2 - 14*m - 11. Let a be w(-13). Suppose -2*x - a + 18 = 0. Does 4 divide x?
True
Let r(y) = 7*y - 10. Let z be r(8). Let p = z + -22. Is p a multiple of 7?
False
Suppose -3*s = -0 - 6. Let n be -1*s/4*0. Is 4 a factor of -1 + 8 + 1 - n?
True
Suppose 0 = 5*o + g - 23, -2*o + 22 = 2*o + 2*g. Suppose z = o*l - 44, 3*l - 3*z - 19 - 5 = 0. Does 6 divide l?
True
Let x = 3 + -3. Is (0 - (x - 3))*8 a multiple of 21?
False
Suppose 0 = i + 4*s - 13, -6*s = -i - 3*s + 34. Is i a multiple of 11?
False
Suppose 5*f - 324 = -2*m + 42, -3*m - 4*f + 563 = 0. Is 9 a factor of m?
False
Suppose k - 1250 = 2*b - 7*b, -4*k = -3*b + 750. Is b a multiple of 25?
True
Is -3 - (-93 - 3)/4 a multiple of 7?
True
Let z(w) = -w**3 - 8*w**2 - w - 3. Let r be z(-8). Suppose 0 = -r*l + 22 + 53. Let p = l + 24. Is 20 a factor of p?
False
Suppose 2*m + 192 = v - m, -4*v + 5*m + 775 = 0. Does 10 divide v?
False
Let i(c) = 28*c + 3. Let p be i(-2). Let r = -33 - p. Is 16 a factor of r?
False
Let x(h) = 23*h - 19. Does 44 divide x(8)?
False
Let f(r) = 2*r**2 + 3*r - 5. Let u be f(-4). Suppose 0 = 3*m + 5*z - 67 + u, -3*z = -15. Is m a multiple of 3?
True
Suppose -2*p = 3*f - p - 262, 2*f - 3*p = 171. Suppose -9*w = -6*w - f. Suppose -2*g + w = 1. Is g a multiple of 4?
False
Let a = -30 - -77. Let m(f) = f**3 - 5*f**2 - 5*f. Let w be m(6). Suppose -3*s - r = -a, 42 = 2*s - 4*r + w. Is s a multiple of 5?
False
Let m(b) be the first derivative of 32*b**2 - 7. Is 34 a factor of m(1)?
False
Let r(d) = 32*d**3 + d**2 - 2*d + 1. Is r(1) a multiple of 8?
True
Suppose 2*a - 2 - 10 = 0. Does 2 divide a?
True
Suppose 2 + 510 = 4*b. Is 16 a factor of b?
True
Let v(s) = -s**3 - 30*s**2 - 42*s - 3. Does 22 divide v(-29)?
True
Suppose 2*d + t - 17 = 0, 3*d - t - 19 = d. Is d a multiple of 9?
True
Suppose 5*u + 824 = 2*p, -5*p + 2075 = -8*u + 3*u. Is p a multiple of 26?
False
Let c = 11 + -6. Suppose -42 = c*j - 132. Is 18 a factor of j?
True
Suppose -113 - 110 = -j - 5*l, 5*j - 2*l - 1088 = 0. Is 21 a factor of j?
False
Let h(y) = 10*y + 4. Is h(6) a multiple of 16?
True
Let x(q) = -2*q + 5. Let n be x(5). Let d(j) be the second derivative of j**5/20 + 5*j**4/12 + 3*j**2 + j. Is d(n) a multiple of 6?
True
Let w(f) = f**2 - 4*f - 5. Let d be w(5). Let r = 497 - 270. Suppose -5*j - 3*h + r = d, j + j = -h + 90. Does 15 divide j?
False
Suppose 0 = 2*z - 5*h - 223, 12 = -5*h - 3. Does 20 divide z?
False
Let a(m) = -m**3 - 6*m**2 + 7*m + 2. Let f be a(-7). Suppose -u - 1 = g - 4, -5*u + f*g + 43 = 0. Is u a multiple of 5?
False
Suppose -3*r = 3*n - 2*n - 4, 3*n - 12 = 4*r. Let l = r + 2. Suppose -8 = -u - 4*t, -u - l*t + 46 = u. Is u a multiple of 14?
True
Suppose 0 = -4*s + 3*l + 3 - 2, s = -3*l + 19. Let q(k) = k + s + 3 - 7. Is q(5) a multiple of 5?
True
Let a(s) = 5 + 0 - 5 - 4*s. Let n be a(-1). Suppose -n*i + 2*i + 118 = 0. Is i a multiple of 16?
False
Let d(k) = 65*k + 2. Let z be d(-2). Is 16 a factor of ((-1)/(-1))/((-4)/z)?
True
Let b be (-2)/(-4) - (-9)/6. Suppose 0 = -b*c + 3*s + 13, 4*c - s - 7 = 4. Does 12 divide 24 - (c - 2/1)?
True
Suppose 113 = 3*p + 5*c, -c = 3*p + c - 110. Is p a multiple of 10?
False
Let f be 58/18 - (-8)/(-36). Suppose -5*a - f*h = -135, -5*h + 25 = -0*h. Does 7 divide a?
False
Suppose -3*w = 3*j - 9, 2*w = -j - 2*j + 13. Is 6 a factor of j?
False
Suppose 2*b = 17 - 9. Suppose 0*p + 5*p + g = 382, 2*g - 308 = -4*p. Suppose -4*w + p = 4*r, -2*w - 2*w = b. Is r a multiple of 10?
True
Let t = -22 - -66. Does 20 divide t?
False
Let a(y) = 16*y**2 - 2*y + 2. Is 3 a factor of a(1)?
False
Let a = 3 - 5. Let i = 23 - a