- 3. Suppose g*k = -i + 463, -5*k + 447 + 7 = -2*i. Is 11 a factor of k?
False
Let s(h) = -8 - 2*h**2 + h**2 + 5*h - 2 + 4*h. Let c be s(7). Suppose 2*z = c*z - 6. Is z a multiple of 3?
True
Suppose o + d = 301, 0 = -5*o + 3*d - d + 1498. Is o a multiple of 15?
True
Suppose -3*k + 226 + 605 = 0. Is 23 a factor of k?
False
Let z be (-129)/(-4) - (-11)/(-44). Suppose 4*h - z = 2*h. Is h a multiple of 8?
True
Let m be (30/(-20))/((-3)/94). Suppose -m = s + 13. Does 13 divide 4/(-10)*(s + 0)?
False
Let n = -71 - -75. Suppose -2*w + 21 = -g, -w + 2*w + g = 3. Suppose w*c - n*c = 104. Is 26 a factor of c?
True
Suppose -4*h + 506 = 4*f + 134, 289 = 3*h + 5*f. Does 49 divide h?
False
Let y = 170 - -73. Suppose 0 = -h + 10*h - y. Does 3 divide h?
True
Suppose -3*k + 2*r + 709 = 3*r, -5*k + 1205 = -3*r. Is 7 a factor of k?
True
Let g(h) = h - 8. Let k be g(13). Suppose k*o + f - 256 = 5*f, f = -o + 44. Is o a multiple of 16?
True
Suppose -22 = 3*k + 2. Let m be k/(-6)*(-54)/(-12). Is 12 a factor of -36*3*(-2)/m?
True
Let a(s) = -158*s + 135. Is a(-9) a multiple of 59?
False
Let z(o) = 13*o - 3*o - 6 + 18 - 2*o**2 + 3*o**2. Let u = -14 + 5. Does 2 divide z(u)?
False
Suppose -4*j - 2 = -5*j. Suppose 3*p = p + 6, j*c = 4*p + 34. Is 8 a factor of c?
False
Let v be (4/3)/((-17)/(-51)). Suppose 3*m = -2*m + v*i + 158, 2*i = -m + 26. Does 10 divide m?
True
Let c(u) = u**3 + 7*u**2 - 26*u + 5. Does 13 divide c(4)?
False
Suppose j = 3*o + 1500, -3*j - j - 2*o + 6056 = 0. Is j a multiple of 14?
True
Suppose -3*q = -7*p + 5*p - 26, -2*p - 2 = 0. Is 8 a factor of q?
True
Let j(p) = 9*p + 12. Let v(f) = 10*f + 11. Let q(x) = 7*j(x) - 6*v(x). Does 12 divide q(6)?
True
Let j(z) = z**2 - z + 1. Let o(t) = -t**2 + t - 18. Let w(h) = -2*j(h) - o(h). Let u be 4*(-5)/10 - -2. Is w(u) a multiple of 4?
True
Let x(a) = -a**2 + 9*a - 15. Let r be (-198)/(-88) - 3/(-4). Does 3 divide x(r)?
True
Suppose -647 = 5*a - 3*v + 4*v, 0 = 5*a + 3*v + 651. Let l = -77 - a. Is 8 a factor of l?
False
Suppose -5*t - 11 = -11. Suppose d - 253 - 91 = t. Is d a multiple of 52?
False
Let o(p) = 13*p**2 - 2*p + 3. Let t(i) = i**2 + 6*i + 17. Let c be t(-7). Let j be ((-9)/6)/((-18)/c). Is 15 a factor of o(j)?
False
Suppose 4*f - w = 0, -3*f = -4*w - 0*w. Suppose f = 3*s + 3*i - 537, -2*i - 175 = -s - 7*i. Is s a multiple of 28?
False
Let z(r) = -r**3 - r + 10. Let q be z(0). Let d be (8/q)/(5/(-150)). Let v = d - -38. Is 10 a factor of v?
False
Let r be 256/(-18) - (-6)/27. Let g = r + 30. Suppose -4*i + 7*b + g = 3*b, -4*b - 22 = -5*i. Does 6 divide i?
True
Suppose 2*t = -5*v + 150, -t + 2*v - 6*v + 72 = 0. Is t a multiple of 16?
True
Let j(v) = 57*v**2 + 30*v - 63. Is 56 a factor of j(5)?
True
Let b(q) = -q + 12. Let o be b(9). Let k be (-1)/(-2) - o/(-6). Suppose k + 14 = p. Is p a multiple of 12?
False
Let i(w) = -w + 90*w**2 + 5 - 78*w**2 + 15 - w**3. Does 3 divide i(12)?
False
Let k = 13 + -9. Let q(g) = 4*g**2 - 2*g + 4. Is 15 a factor of q(k)?
True
Let r(s) = -2*s**2 - 11*s - 1. Let d be r(-8). Let f = d - -81. Suppose 0 = m - 5*m + f. Is m a multiple of 10?
True
Let c(x) = 6*x - 23. Is c(5) a multiple of 7?
True
Let p = -2824 + 5501. Does 32 divide p?
False
Let k = 14 + -9. Let t(x) = 39*x - 3. Let g(f) = -20*f + 2. Let v(m) = k*g(m) + 3*t(m). Is 6 a factor of v(1)?
True
Let m = 39 + -25. Suppose -m*o + 10*o + 208 = 0. Does 31 divide o?
False
Suppose -32 = 4*u - 92. Suppose 6 = -3*p - 3, g + 7 = -3*p. Does 20 divide u/(2 - 3/g)?
False
Let z be ((-1)/2)/((-4)/(-104)). Let o(p) = p**3 + 14*p**2 + 12*p - 9. Let c be o(z). Suppose -4*b - 44 = -c*x, -x - 3*b = -6*x + 57. Does 12 divide x?
True
Let x(w) = w**3 + 4*w**2 - 6*w + 4. Let p = 25 + -15. Let b be 10/25 - 54/p. Is x(b) a multiple of 9?
True
Let y(f) = 2*f + 14. Suppose w - 8*w = -28. Is 15 a factor of y(w)?
False
Suppose -11*o + 906 = -2834. Is o a multiple of 10?
True
Let a(o) = -2*o - 5. Let d(m) = -6*m - 14. Let k(i) = 16*a(i) - 5*d(i). Let j be k(-5). Suppose -10*h + 7*h + 285 = j. Is 20 a factor of h?
False
Is 2 + (40/(-50))/(4/(-2230)) a multiple of 4?
True
Suppose -3*f = 15, h = -2*h - 2*f - 28. Does 23 divide ((-4)/h)/((-14)/(-3381))?
True
Let r(v) = -v - 13. Let i be r(-15). Suppose -f - i = 0, f - 90 = -5*m + 123. Is m a multiple of 8?
False
Let k be -108*(-1 + 1 + -1). Suppose -5*x - 75 = -835. Let m = x - k. Is 22 a factor of m?
True
Let w be 6/4*1820/(-30). Does 29 divide (4 + w/(-35))/(2/60)?
False
Let q = -32 - -16. Let m be 1 - 3 - (q + -2). Is m/(-12)*(-27)/2 a multiple of 6?
True
Let p(x) = -x**2 + 6*x + 1. Suppose -4*m - 2 = 2*h, -3*h = -5*h + 5*m + 16. Does 2 divide p(h)?
True
Suppose 5*s = -8*s + 52. Let r(k) = 33*k - 18. Is 33 a factor of r(s)?
False
Let p(t) be the second derivative of -13*t**6/360 + t**5/120 + 13*t**4/12 - 2*t. Let c(b) be the third derivative of p(b). Is c(-4) a multiple of 21?
True
Let s = 73 + -78. Let d = 0 - s. Is d a multiple of 2?
False
Suppose -52544 = 86*h - 150*h. Does 2 divide h?
False
Let t(a) be the third derivative of a**6/120 - a**5/20 - a**3/3 + 7*a**2. Let b be t(-3). Is 14 a factor of (90/20)/((-6)/b)?
True
Let g(x) = -29*x**3 + x**2 - 2*x. Let z be g(-2). Suppose -5*b + 157 + 243 = -4*a, 3*b + 5*a = z. Does 8 divide b?
True
Suppose -3*v = 3*u, -2*u = 5*v - 7*v + 8. Suppose -y = y - 2*l - 290, v*l = -4*y + 562. Is 26 a factor of y?
False
Let p(o) = -o**3 + 6*o**2 + 16*o. Let h be p(8). Suppose 9*r - 4*r - 425 = h. Is r a multiple of 17?
True
Let q(w) = -3*w - 3. Let k be q(-3). Suppose -f = -11 + k. Suppose -m + 41 = -f. Does 12 divide m?
False
Let o = 143 + 377. Does 11 divide o?
False
Let u = 10 + -6. Suppose -g + 4*o - 9 = -2*g, 2*o = u*g + 18. Is 17 a factor of (-6)/(-3)*(g - -37)?
True
Suppose -3*z = -2*z - 5. Let i(p) = 2*p + 18. Does 4 divide i(z)?
True
Let c be (6/2)/(30/(-20)). Let j be (0/2 + c)/2. Is 25 a factor of j/9 + (-226)/(-9)?
True
Does 3 divide 118 - 10/(-4)*2?
True
Suppose 0 = -5*w + 5*a - 0*a + 5, -2 = 2*w - 4*a. Suppose -w*y + 111 = 3. Is 18 a factor of y?
True
Suppose 4*y = -4*b + 20, -2*b + y + 1 = 3. Is ((-2)/((-16)/(-14)))/(b/(-100)) a multiple of 25?
True
Let t = -300 + 320. Is 2 a factor of t?
True
Suppose 4*n = 2*n - 4*g - 16, 2 = -2*g. Let x be n/21 - (-6485)/35. Suppose 4*b = 67 + x. Is 21 a factor of b?
True
Let s = 1327 - 785. Is 6 a factor of s?
False
Let u = -37 - -41. Suppose -u*h = -330 + 14. Does 20 divide h?
False
Is 28 a factor of ((-599)/(-4))/((-6)/(-24))?
False
Suppose -4*i + 5*b + 325 = 0, 3*i = -10*b + 8*b + 215. Is 5 a factor of i?
True
Let z = -1587 - -2347. Is 76 a factor of z?
True
Let v(w) be the second derivative of 1/20*w**5 - 1/3*w**3 - 2*w**2 + 0 + 1/4*w**4 + 4*w. Is v(3) a multiple of 13?
False
Let n = -10 - -10. Suppose -5*w + 0 + 45 = n. Does 3 divide w?
True
Suppose -5*p - x + 27 = 0, -5*p - 31*x = -26*x - 35. Let h(m) be the second derivative of 7*m**3/2 - 2*m**2 - m. Does 16 divide h(p)?
False
Suppose -12*h + 543 = -11*h - 4*r, 4*h - 2144 = 2*r. Is h a multiple of 53?
False
Suppose 5*t = r + 14, -3*t = -4*r - 10 - 12. Let d(m) be the second derivative of m**5/20 - m**3/6 + m. Is d(t) a multiple of 3?
True
Let m(t) = -2*t**2 - 18*t - 13. Let l be m(-8). Suppose -3*c + 21 + l = 0. Does 7 divide c?
False
Let c(g) = g**2 - 7*g + 2. Let u be c(6). Suppose 0 = 3*s - d - 202, -4 = 4*d + 12. Is 11 a factor of (2 + u)/((-3)/s)?
True
Let v(z) = z**3 - 20*z**2 - 14*z + 29. Is 16 a factor of v(21)?
True
Let k = -33 + 98. Let g = k - -67. Is g a multiple of 12?
True
Is (-16)/(-12)*-27*(-50)/6 a multiple of 15?
True
Let i(r) = -r**3 - 6*r**2 + 6. Let d be i(-6). Suppose 2*a - 4*f = 482, a - d*a = -5*f - 1215. Is a a multiple of 14?
False
Let w(u) = u**2 + 12*u - 20. Let d be w(-14). Suppose 5*h - 3*l = -d*l - 5, 2*h - 2*l - 18 = 0. Is h even?
True
Suppose -269 - 1059 = -3*d - 4*o, 8 = 4*o. Does 11 divide d?
True
Let i = -70 + 142. Suppose -11*n = -7*n - i. Let f = n + -1. Does 5 divide f?
False
Suppose -s - c + 140 = 11, 0 = -2*s + 5*c + 279. Is s a multiple of 11?
True
Is 75 a factor of 820 - 0 - (-2 - (-5 - -8))?
True
Let v = 552 + -306. Is 12 a factor of v?
False
Suppose 0 = -13*v + 6397 + 3353. Is 50 a factor of v?
True
Suppose 0 = -4*r + 4*c - 20, 0*r - 4*r = 3*c - 1. Is (-30 + -2)/(4/(-22 - r)) a multiple of 16?
True
Su