- -2. Is (-290)/(-8) + (-3)/o a multiple of 16?
False
Suppose 4*a + 4*v = -28, 4*v - v = 5*a - 5. Let x = a + 7. Suppose -x*b = -4*g - 30, -5*b + g - 9 = -39. Is 2 a factor of b?
True
Let o = 132 + -93. Is 8 a factor of o?
False
Suppose 3*f + 20 = 7*f. Suppose -f*l - 25 = -150. Is 15 a factor of l?
False
Let n be 2/9 + (-2)/9. Suppose -2*z + 4*s - 50 = -0*s, n = -z - 3*s - 20. Let h = 35 + z. Is h a multiple of 12?
True
Is 24 a factor of (-714)/(-15) + 2/5?
True
Let z = 12 + -9. Suppose 46 = -i + z*i. Is 23 a factor of i?
True
Let r(y) = 2*y**2 - 20*y + 18. Is 17 a factor of r(13)?
False
Suppose g + 14 = 3*w, 0*g + 4*g = 5*w - 28. Let c(p) = 9*p**2 + 2*p - 1. Is 11 a factor of c(g)?
False
Let h = -49 + 72. Is 6 a factor of h?
False
Let j(y) = y**2 + 4*y - 1. Let s be j(3). Suppose 0 = -0*z - 5*z - s, 2*p - 5*z = 40. Is 4 a factor of p?
False
Suppose -2 = b - 1, -3*s + 4*b + 274 = 0. Is 30 a factor of s?
True
Let t = -57 + 115. Is t a multiple of 7?
False
Suppose -6*s = 60 - 336. Does 35 divide s?
False
Suppose 33 = 4*k - 2*s + 13, 18 = 2*k - 5*s. Suppose 2*j + 3 = -5*r, k = -5*r - 4*j - 7. Let n = r - -29. Does 15 divide n?
True
Suppose 3*z + 2*c - 165 - 43 = 0, 3*z - 5*c = 194. Is z a multiple of 34?
True
Let w = -9 - -7. Does 4 divide ((-70)/(-42))/(w/(-6))?
False
Let c(d) = 5 - d**2 + 13*d + d**3 - 8*d**2 - 3*d. Let p be 9 + 0 + 0 + -1. Is c(p) a multiple of 7?
True
Let j(g) = -g**2 - 9*g + 13. Let a be j(-10). Is 15 - 1/3*a a multiple of 6?
False
Suppose -2*g = -2*o + 416, -841 = -o - 3*o + g. Let n = o + -144. Is 18 a factor of n?
False
Does 26 divide ((-4)/5)/((-2)/240)?
False
Is (26/4 + 2)*10 a multiple of 23?
False
Let h(m) be the third derivative of -m**6/120 + m**5/12 + m**4/24 + m**3/2 - 2*m**2. Is h(5) a multiple of 8?
True
Let q(g) = g**3 - 7*g**2 - 3*g - 11. Let k(p) = -3*p**3 + 13*p**2 + 6*p + 23. Let x(m) = 2*k(m) + 5*q(m). Does 9 divide x(-9)?
True
Does 4 divide 2*((-2)/3)/(4/(-42))?
False
Let r = 85 - 49. Is 32 a factor of r?
False
Let h(b) = 3*b**2 + 6*b - 12. Does 20 divide h(-6)?
True
Let s(i) = 4*i - 6. Is 13 a factor of s(8)?
True
Suppose -5232 + 1877 = -11*x. Is x a multiple of 37?
False
Let v(h) = 22*h - 10. Is 13 a factor of v(3)?
False
Suppose 220 = -4*w + 56. Let m = 68 + w. Is 5 a factor of m?
False
Let w(p) = -p**3 + 8*p**2 - 7*p - 8. Let d be w(7). Let l = 5 + d. Let s(y) = 5*y**2 + 3*y. Does 12 divide s(l)?
True
Is 27 a factor of (-494)/(-6) - 0 - (-4)/(-3)?
True
Suppose 0 = -0*y - 3*y + 45. Suppose -3*v + 0*v - 4*d = -49, v - y = -d. Does 10 divide v?
False
Let b = -12 - -16. Suppose 2*f + 45 = 5*f. Suppose b*s = f + 5. Is 4 a factor of s?
False
Let c(q) = 2*q**2 - 3*q. Let j = -1 - 0. Let i be (0 + j)*(-16)/4. Is c(i) a multiple of 12?
False
Let h(r) = -r**2 + 38*r + 16. Does 47 divide h(18)?
True
Let f = 131 + 3. Is f a multiple of 22?
False
Suppose -143 = -4*j - w - 2*w, -5*j = 3*w - 175. Suppose 0*d - j = -d. Is 16 a factor of d?
True
Suppose 0 = -5*w + 12*w - 399. Does 19 divide w?
True
Let d(p) = p + 20. Let r be d(-6). Let w = r + -11. Does 3 divide w?
True
Let i(n) = -50*n. Suppose d - 2 = -0. Let t = -3 + d. Is i(t) a multiple of 25?
True
Suppose -4*i + 68 = 2*r, 3*r + 4*i = 3 + 91. Is 23 a factor of r?
False
Let l(h) = -h**2 + 7*h + 2. Let k be l(7). Suppose 0 = z + 1 - k, 0 = s + 3*z - 45. Does 21 divide s?
True
Let l(u) = -3*u + 2. Let r be l(-4). Suppose -r = -k - k. Is 7 a factor of k?
True
Let d(a) = a**2 + 4*a - 3. Let v(b) = -5*b + 2 - 4*b**2 - b + 5*b**2. Let z be v(6). Is d(z) a multiple of 9?
True
Let h(o) be the first derivative of o**4/4 - 7*o**3/3 + 7*o**2/2 + 4. Is h(6) a multiple of 3?
True
Suppose 0 = m + 4*t + 67, -4*t = -0*t + 8. Is 14 a factor of m/(-3) - (-1)/3?
False
Suppose 0 = p - 15 - 7. Suppose -o - 3 = -p. Is 6 a factor of o?
False
Suppose 205 + 26 = 2*b + 5*t, 5*t = -3*b + 339. Does 27 divide b?
True
Let j = 342 + -113. Is j a multiple of 25?
False
Let q = -52 - -72. Is q a multiple of 4?
True
Let o = 1 - 8. Let w(b) = -4*b + 1. Let u be w(o). Suppose -2*c + 0*t + 3*t = -u, -4*t - 52 = -4*c. Is c a multiple of 10?
True
Let r(o) = -o**3 - 2*o**2 + o - 3. Does 8 divide r(-4)?
False
Let y = -81 + 127. Is 23 a factor of y?
True
Let t be 88/2 - (-1 + 1). Suppose 0 = 2*c + 2*c - t. Is 5 a factor of c?
False
Let t(m) = 3*m + 1. Is 2 a factor of t(4)?
False
Suppose -46 = -4*v - 6*x + 4*x, -2*v + 5*x - 7 = 0. Suppose 2*a - v - 15 = 0. Suppose 3*c + 2*m = a + 16, 2*m + 32 = 2*c. Does 7 divide c?
False
Let p(x) = -x**2 + 5*x + 3. Let f(o) = -2*o + o**3 + o**3 + 2*o**3 - 3*o**3 - 2 + 3*o**2. Let c be f(-3). Is p(c) a multiple of 7?
True
Suppose -2*v = -2*a + 20, v + 2*v = a - 40. Is 3 a factor of (-51)/v - (-4)/(-10)?
True
Let i be 20/(-3)*114/(-4). Let f be 2/6 - i/3. Let j = 91 + f. Is 14 a factor of j?
True
Suppose -4*r + 4 = 2*j, 0 = r - 4 - 0. Let k be (-21)/j*-2 - -3. Let l = k - -26. Is 11 a factor of l?
True
Suppose -3*y + 24 = 2*x + 2*y, -20 = -2*x - 4*y. Is 2 a factor of x?
True
Let z(w) = w - 3. Let c be z(5). Suppose 4*m - 35 = -c*s - 3, -4*m - 5*s = -32. Is 4 a factor of m?
True
Let a = 19 - 33. Is (-13 - a)/((-1)/(-9)) a multiple of 5?
False
Let l(k) = k**3 + 6*k**2 + 8*k + 7. Let t be l(-5). Is 25 a factor of 3/t - 3212/(-32)?
True
Let b(h) = h**3 + h**2 + 2. Let m be b(0). Suppose 5*g + f - 193 = 0, 4*g - m*f = 163 - 17. Is 7 a factor of g?
False
Suppose -6*r = -o - r + 22, 0 = -2*o - r. Suppose -w = 5*u + 52 + 13, 0 = o*u - 3*w + 43. Is 3 a factor of (6/(-3))/(4/u)?
False
Let f(l) be the second derivative of -l**4/12 - 5*l**3/6 + 5*l**2/2 - l. Is f(-4) a multiple of 9?
True
Is 14 a factor of (-56)/(-5)*(-105)/(-42)?
True
Suppose -2*b + 16*m + 546 = 17*m, -2*b + 3*m + 538 = 0. Is 15 a factor of b?
False
Suppose 5*a + 43 + 17 = 5*g, -a = 2. Does 3 divide g?
False
Suppose -g + 72 = 2*g. Suppose -20 = -4*b - k, -b - 2*k = 3*b - g. Suppose 0 = -5*p - b*l - 40 + 154, 3*p + 5*l = 71. Is 22 a factor of p?
True
Let t(o) = o. Let n(x) = -x - 2. Let f(p) = n(p) - 3*t(p). Let g be f(-6). Suppose -4*k + g = -62. Is 21 a factor of k?
True
Suppose 11 = 2*y - 5. Let g(w) = -4*w**2 + 7*w**2 + y*w**2 + 0*w**2. Is g(1) a multiple of 11?
True
Let v be (-14)/(-8) + 1/4. Suppose -v*z - 14 + 78 = 0. Is 16 a factor of z?
True
Let x(n) = 5*n**2 - 5*n + 6. Let d be x(4). Suppose k + 15 = d. Is k a multiple of 21?
False
Let b(u) = -u + 11. Let f be b(9). Is 13 a factor of ((-117)/(-6))/3*f?
True
Suppose -4*i + 624 = -2*i. Suppose c = 3, 5*c - c = -5*n + i. Suppose g - n = -g. Is 16 a factor of g?
False
Let g = -8 + 118. Let p = -58 + g. Is p a multiple of 13?
True
Let p = 36 + 16. Suppose 4*n = p + 72. Does 17 divide n?
False
Let a(g) be the second derivative of -1/3*g**3 - 4*g**2 + 0 + 5*g. Is 6 a factor of a(-8)?
False
Suppose 0*a + 4 = 2*a. Is (1 - -2)*18/a a multiple of 20?
False
Let o(n) = n - 4. Let t be o(6). Let u(k) be the third derivative of 7*k**4/24 - k**3/2 - 4*k**2. Is 10 a factor of u(t)?
False
Suppose -t - 3*s - 8 = 0, -4*t = -3*s - 0*s + 2. Let d be (t + 1)/(1/(-29)). Let f = d + -15. Does 5 divide f?
False
Does 15 divide (30/9)/(-2 - 19/(-9))?
True
Suppose -2*t + 2*f = t - 26, f - 42 = -4*t. Let q be 2/(-4) - 10/(-4). Suppose 3*b - b = q*s - t, -5*s + b = -45. Is s a multiple of 7?
False
Suppose -3*b + 4 = 3*d - 2, 0 = -b + 3*d + 10. Suppose b*j - 8 = 3*j. Is 8 a factor of j?
True
Suppose -l + 2*l = 1. Let c(r) = -5*r - 2*r - r**2 + 1 - l. Does 4 divide c(-5)?
False
Let g = -25 - -55. Suppose 4*b - 7*b + g = 0. Is 10 a factor of b?
True
Let g be (8/24)/((-2)/138). Let a = 65 + g. Is a a multiple of 17?
False
Let x(q) = q**3 + 4*q**2 - 3*q + 2. Let t = -9 + 5. Is x(t) a multiple of 7?
True
Let k be (112/10)/((-4)/(-20)). Is k/(-42)*-6*8 a multiple of 16?
True
Suppose 3*d - 2*d = 41. Suppose 2*s = 1 + d. Is s a multiple of 14?
False
Let q = -41 + 80. Is 9 a factor of q?
False
Let s(t) = -11*t. Let z be s(-1). Suppose 0 = 6*g - z*g + 380. Suppose -c = -2*m - 2*m - 10, 4*c - g = -2*m. Does 9 divide c?
True
Let u(l) = -2*l**3 - 4*l**2 - 6*l - 5. Let s be u(-4). Let r = s - 4. Is 22 a factor of r?
False
Let u be 0 - (48 + 0/(-1)). Let t = u + 87. Is t a multiple of 12?
False
Let b = -46 + 78. Is 5 a factor of b?
False
Let a = -56 - -98. Does 6 divide a?
True
Let p(a) = -a**2 - 12