?
False
Let m(u) = u**2 + 5*u + 22. Is 12 a factor of m(-8)?
False
Let k be (-12)/3 - (0 + -4). Suppose k = r - 0*r - 46. Is r a multiple of 12?
False
Suppose -2*m - 3*m = -5*a - 100, -5*a + 53 = 4*m. Is m a multiple of 17?
True
Let t(u) = 3*u + 2. Let a(c) = c - 1. Let q(b) = -2*a(b) - 2*t(b). Is q(-7) a multiple of 17?
False
Is 12 a factor of 0 - (-1 + -81 - 0)?
False
Suppose 3*p = p. Suppose -5*h + 172 + 8 = p. Is h a multiple of 18?
True
Let m = -114 + 216. Does 11 divide m?
False
Let s = 10 + -8. Suppose -5*v - 13 = x - 2*x, 3*x - s*v = 52. Is 6 a factor of x?
True
Let k = -10 - -3. Let n = k + 9. Does 10 divide n/(-6)*0 + 24?
False
Let s(f) = 2*f**3 - 3*f**2 - 3*f - 1. Let n be s(4). Let j = -31 + n. Suppose 2*r - r = j. Is 17 a factor of r?
False
Let a(l) = -l**2 - 18*l - 4. Is 17 a factor of a(-6)?
True
Let j(u) = -5*u + 7. Let p be j(-6). Let b be (-1 + p)/(4/4). Suppose 0*i - 4*i = -b. Does 9 divide i?
True
Suppose -3*n + 2*n + 6 = c, -5*n + 20 = -5*c. Let o be (0/(-3) - 4) + c. Let i = 33 + o. Is 10 a factor of i?
True
Suppose 0 = -0*h - 2*h. Suppose -26 + 11 = 4*a + u, h = 4*u + 12. Let l = a + 30. Is 8 a factor of l?
False
Suppose -7*i + 339 - 73 = 0. Is i a multiple of 19?
True
Let l be 2334/21 - (-2)/(-14). Suppose 0 = 5*o + 2*y - l, 84 + 18 = 5*o - y. Is o a multiple of 21?
True
Let p(a) = 2*a**3 + 4*a**2 + 7*a - 1. Let j(z) = 2*z**3 + 5*z**2 + 8*z - 2. Let o(f) = 5*j(f) - 6*p(f). Is 10 a factor of o(-2)?
True
Suppose -5*m = 4*p - 26, m - 2*p + 6 = -0*p. Does 12 divide (36 - m)*(-1)/(-2)?
False
Let c be 1 - (-4)/(-4 - 0). Let y be 1 - (-1 + 1 + -17). Is 20 a factor of (y - (-4)/2) + c?
True
Suppose -i - 2*i = 27. Let c = -2 - i. Does 7 divide c?
True
Let x(q) = 4*q**2 - q - 2. Let c be x(-4). Suppose 2*p - p = 20. Suppose -c = -2*l - p. Does 10 divide l?
False
Suppose 0 = -o + 4*j + 22, 12 = 4*j + 4. Is o a multiple of 28?
False
Suppose -436 = -7*u + 3*u. Let k = u - 63. Is 20 a factor of k?
False
Let u = -120 - -279. Is u a multiple of 17?
False
Suppose -904 = -16*u + 56. Does 10 divide u?
True
Suppose -z - z = -12. Suppose -8*l = -z*l - 72. Is l a multiple of 9?
True
Suppose -4*o - o - 4*a = -30, o + 3 = a. Suppose o*w - 60 = -2*w. Is 7 a factor of w?
False
Let v(r) = 93*r**2 + 2*r + 1. Let o be v(-1). Let n = o + -52. Does 14 divide n?
False
Suppose 8 = -l + 125. Is l a multiple of 13?
True
Does 3 divide (-10)/(2/(-10)*2)?
False
Suppose 7*p - 823 - 80 = 0. Is 14 a factor of p?
False
Let b(f) = 5*f**2 + 13*f + 17. Is b(-5) a multiple of 11?
True
Let w = 37 + 9. Is (-1)/(w/48 + -1) a multiple of 8?
True
Suppose c = 4*m + 56, 2*m = -5*c - 47 + 283. Is 12 a factor of c?
True
Let v = -384 - -664. Is v a multiple of 38?
False
Let s(z) = 32*z. Suppose -3 - 1 = -4*d. Is s(d) a multiple of 14?
False
Suppose -2*b - 6 = -4*q, 0 = -5*b - 3*q - 2*q + 45. Suppose 2*v + 3*v = 0. Let n = v + b. Does 4 divide n?
False
Let j = -148 + 220. Does 13 divide j?
False
Let v(r) = r**2 - 13*r - 14. Does 34 divide v(16)?
True
Suppose 4 - 7 = 3*o - 2*q, -5*o - 5*q - 30 = 0. Does 14 divide 3 + (o + 3 - -21)?
False
Let v(c) = -c**2 - 8*c - 8. Let n be v(-6). Suppose -n*b + 96 = -2*b. Does 13 divide b?
False
Let l = -7 + -20. Let x = -15 - l. Does 12 divide x?
True
Suppose -2*v + 0 - 10 = 0. Let u = v + 8. Does 2 divide u?
False
Suppose -y - 87 = -4*y. Suppose -3*i + y = 4*b, b + 3*b - 17 = i. Let d = b - -7. Is d a multiple of 6?
True
Let s(g) = -g**3 + 3*g**2 - g - 2. Let c be s(2). Let m = c - -1. Suppose -12 = -p - m. Is p a multiple of 6?
False
Let m(d) = -d**2 - 4*d + 2. Is m(-4) even?
True
Suppose 6*d - 3*d = 15, -d = w - 120. Suppose 4*c - 4*h = -7*h + 123, 0 = -4*c + 5*h + w. Is 22 a factor of c?
False
Let x be (-8)/20 - 24/(-10). Let m(a) = 3*a**3 + 2*a**2 - a - 1. Does 19 divide m(x)?
False
Let q be (1/(-2))/(3/(-48)). Does 8 divide 186/q + (-2)/8?
False
Let l = 67 + 1. Does 22 divide l?
False
Suppose 18 = 5*h + 2*d, 4*d + 8 = -0*h + h. Suppose -36 = -2*m - h*q, 4*q - 2 = 6. Is m a multiple of 4?
False
Suppose 3*j = -g + 190 - 65, 2*j + 5*g - 105 = 0. Let z = -14 + j. Is z a multiple of 13?
True
Let k(v) = v**3 - 7*v**2 - 6*v + 4. Is k(8) a multiple of 10?
True
Let p be (-1 + 8 + -2)*1. Let w = p - 2. Suppose 18 = -f + w*f. Is 9 a factor of f?
True
Is (64/(-12))/(-4)*18 a multiple of 21?
False
Let a = 72 + -51. Is a a multiple of 7?
True
Let d be ((-8)/5)/(2/(-10)). Suppose 4*r = 5*r - 8. Is 5 a factor of 2/d - (-78)/r?
True
Suppose -q = 2*q + w - 17, -5*q + 5*w - 5 = 0. Is (-2)/(-4)*56/q even?
False
Suppose -2 = -4*z + 54. Let q = -1 + z. Does 13 divide q?
True
Let o(p) = 22*p**2 + 2*p + 1. Does 7 divide o(-1)?
True
Suppose -2*a + 7 = -2*o - 1, -4*a = -3*o - 19. Suppose 0*l - 5*l = -25, 3*w = 3*l + 57. Suppose 3*q = a*q - w. Is q a multiple of 3?
True
Suppose -30 + 115 = 5*u. Does 17 divide u?
True
Let x be (3 - -1)/(-4)*-4. Suppose 2*a = x*a - 80. Is 15 a factor of a?
False
Let b = 43 + -4. Does 5 divide b?
False
Let w = -22 + 98. Suppose p - 17 = v, p + 2*v + w = 5*p. Is 7 a factor of p?
True
Let c(q) = 2*q**2 + 3*q**3 + 2*q**3 - 3*q**2 - 2 + 3*q - 4*q**3. Is 4 a factor of c(2)?
True
Suppose -o = -5*d + 421, 5*o - 89 = -d + 10*o. Is 28 a factor of d?
True
Suppose 2*a = -0*a + 80. Does 11 divide a?
False
Let k be 9 - (8/4 - -1). Is 11 a factor of (-12)/((-9)/k - -1)?
False
Let r = -1 + 19. Is 3 a factor of r?
True
Let m(r) = -1 + r**2 - r**3 + 2 - 3. Suppose 7 = -w - w - p, 4*w - 3*p = 1. Is m(w) a multiple of 7?
False
Let h = 3 + 0. Suppose c = h*c. Suppose -5*l + c*l + 120 = 0. Does 12 divide l?
True
Suppose 25 = -3*w - 5*q, 4*q = 14 - 34. Let b(l) = 6*l**3 - 6*l - 13. Let s(i) = -5*i**3 + 5*i + 12. Let h(n) = 4*b(n) + 5*s(n). Is h(w) a multiple of 4?
True
Suppose 2 = -2*i + 5*o + 6, -2*o - 8 = -4*i. Suppose -2*x + 2*m + 106 = i*x, -x = 5*m - 10. Suppose -4*b + 115 = -5*h, 0*h - x = -5*h. Does 18 divide b?
False
Let r be -1 - (-5)/((-5)/(-2)). Is 12 a factor of r/(2/34 + 0)?
False
Let s = -14 - -21. Is 4 a factor of 9 + 0 + (s - 4)?
True
Is 17 a factor of (-102)/(-21)*((-50)/(-5) + -3)?
True
Let v(z) = -30*z + 8. Does 32 divide v(-4)?
True
Let w = -26 + 10. Suppose -145 = -2*t - 3*t. Let l = t + w. Is 13 a factor of l?
True
Let t(w) = -2*w**3 + w**2 + w - 2. Is t(-2) a multiple of 11?
False
Let z be (-2)/(2/11 - 0). Let c be -38*(1 - (-3)/(-2)). Let r = z + c. Is 8 a factor of r?
True
Let y be 1 + 3/(-4 - -1). Suppose d + d - 168 = y. Let x = d - 51. Does 12 divide x?
False
Suppose -c - 3 = -l - 0*c, -4*l = 4*c - 20. Let v(o) = o**3 - 3*o**2 - 3*o + 3. Let j be v(3). Is 3 a factor of 18/l*(-8)/j?
True
Let r = 42 + -15. Does 9 divide r?
True
Let x(s) = 0*s - 4*s + 1 + 3*s. Let k be x(-6). Is (4 - k)/(3/(-14)) a multiple of 14?
True
Let i(l) = -l**3 + 13*l**2 - 24*l + 10. Is 23 a factor of i(8)?
True
Let p(f) = -f + 8. Let m be p(9). Let a(x) = -5*x**3 + 3*x**2 - 6*x + 4. Let q(i) = -i**3 - i + 1. Let y(c) = m*a(c) + 6*q(c). Is y(-3) even?
True
Let z = 5 + 25. Does 15 divide z?
True
Let h(d) = -6*d + 3. Let f be h(-6). Suppose -243 = -5*m + 3*o, -2*m + m = -3*o - f. Is m a multiple of 17?
True
Let p = 9 - 7. Let b(f) = 6*f**3 - 3*f**2 + 3*f. Is 14 a factor of b(p)?
True
Suppose 4*x - 12 = x. Suppose 3*a + 3 = 0, a + 1 = w - x. Suppose 3*c - w*c = -10. Is c a multiple of 4?
False
Suppose -3 = -4*g + 77. Suppose 0 = g*u - 22*u + 16. Is 8 a factor of u?
True
Let v(w) = w - w**2 - 2 + 3 + 0*w. Let d be v(0). Suppose -b = 2*y - 8, 19 = 5*y + b - d. Is y a multiple of 2?
True
Let l be 2/(-4)*-4 + -1. Let q be (4/(8/(-6)))/l. Does 8 divide (-49)/q + 2/(-6)?
True
Does 12 divide (8/10)/((-3)/(-180))?
True
Suppose 0 = 2*o - 6 + 4. Let k(f) = 11*f. Does 11 divide k(o)?
True
Does 16 divide ((-95)/10)/((-2)/8)?
False
Suppose 0 = 9*a - 14*a + 50. Is 6 a factor of a?
False
Does 10 divide 1 - (1 + 172/(-4)) - 2?
False
Suppose -l = -x - 65, -4*l = x - 139 - 116. Is l a multiple of 16?
True
Let z(a) = -a**3 - 3*a**2 - 2*a + 3. Let y be z(-3). Is 20 - y/3 - -2 a multiple of 11?
False
Suppose -o + 12 = o. Suppose 5*u - 18 = 5*j + 2, 3*u - j - o = 0. Is ((-1)/u)/((-1)/7) a multiple of 7?
True
Does 40 divide 1810/15 - 4/6?
True
Let m be (2/4)/(1/46). Let f = 41 - m. Does 9 divide f?
True
Suppose -c = -2*c + 1. Does 5 divide (10/8)/(c/4)?
True
Let m(o) = 2*o**