 - 2). Suppose q = x*o - 92, -26 - 25 = -3*o + 2*q. Does 12 divide o?
False
Suppose -208 = -2*y + 136. Suppose -385*p - 468 = -381*p. Let x = p + y. Is x a multiple of 16?
False
Let f = 50 + -86. Let r be (9 - 12) + (1 - f). Let x = 37 + r. Is x a multiple of 20?
False
Suppose -3*a - 8 = -11*h + 6*h, 3*a + 2*h = -1. Let n be (a/(-2))/((-2)/(-12)). Suppose -101 = -3*c + 7*u - 2*u, -n*c + 121 = -u. Is 14 a factor of c?
True
Let s be 1 + 6 + (-4)/1. Let y be (-18)/15*(-5)/s. Suppose 2*g - 116 = -y. Is g a multiple of 11?
False
Let y be (-4)/(-4) - (-3 - -4). Let n be (0 + 0)/3 + -1. Is 2 a factor of y/n - (-4)/1?
True
Let s be (4/6)/((-4)/(-12)). Let o be (6/4)/(s/4). Suppose o*a - 52 = -2*h, 24 + 8 = 2*a + 4*h. Does 9 divide a?
True
Is -34 + 34 - -16*22 a multiple of 11?
True
Let o(h) = -2*h + 5. Let y be o(-5). Suppose 5*c = -0 - y, -4*j + 687 = 3*c. Suppose 3*z - j = 45. Is 17 a factor of z?
False
Let f(a) = 55*a**2 - 90*a + 475. Is f(5) a multiple of 7?
True
Let h be 1992/(-20)*((-2 - 0) + -3). Suppose 5*n = -2*a + a + h, 0 = -4*a + 12. Does 11 divide n?
True
Suppose -4*c = c + m - 20, -19 = -3*c - 2*m. Suppose -4*v - c*v = -196. Is 7 a factor of v?
True
Suppose -10*z + 961 = 21. Is z a multiple of 5?
False
Let x(b) = -3*b**3 - 2*b**2 + 5*b + 1528. Does 8 divide x(0)?
True
Let i be ((-4 - -9)*(-2)/(-5))/2. Let n(v) = 80*v**3 - 2*v**2 + v. Is n(i) a multiple of 38?
False
Let w = -822 + 1292. Does 49 divide w?
False
Suppose 5*o - 32 = -4*r + o, r - 2*o + 4 = 0. Is 8 a factor of -8*(-30)/r*24/36?
True
Let o(g) = 4*g**2 - 21*g - 21. Is o(7) a multiple of 2?
True
Let m(g) = -g**2 + 3*g + 1. Let w be ((-20)/12)/(1/(-15)). Let x = 27 - w. Is m(x) a multiple of 2?
False
Let d = -1132 - -2407. Is d a multiple of 51?
True
Suppose 10*k + 0*k - 60 = 0. Suppose 3*v = 9, -k*v + v - 81 = -m. Is 12 a factor of m?
True
Suppose -n + 4*n - 25 = f, 2*n - 10 = -f. Let j(g) = -g**3 + 9*g**2 - 12*g - 4. Is 5 a factor of j(n)?
True
Let h(z) = 30*z**2 + 27*z + 4. Is h(-3) a multiple of 12?
False
Let n be 5 + 6/14 - (-9)/(-21). Let j be (-14)/(-8) - 1/(-4). Suppose -j*z - 72 = -n*z. Is 4 a factor of z?
True
Suppose 4*j = -2*x + 10, -4*j - 5 = -2*x - x. Suppose 0 = -x*p - 12, 7*d + 2*p = 2*d - 683. Is 1*(d/(-3) + 3) a multiple of 16?
True
Let x = 1904 - 1185. Is x a multiple of 27?
False
Suppose -3*q = -y + 5*y - 9, 3*y - 4 = -5*q. Let g(s) = s + 3. Let u be g(y). Suppose -11*j + u*j + 160 = 0. Is j a multiple of 12?
False
Let b(p) = 6*p**2 - 8*p - 28. Does 14 divide b(7)?
True
Let w(q) be the third derivative of q**6/120 - 7*q**5/20 - 5*q**4/6 + 7*q**3/2 - 7*q**2. Does 6 divide w(22)?
False
Suppose 200 = -2*c + q, 0 = c + c - 4*q + 200. Let w = c - -200. Is 15 a factor of w?
False
Suppose -a - 4*p = -344, -4*p - 304 = 29*a - 30*a. Is a a multiple of 33?
False
Let p(k) = k**2 - 5*k + 6. Let o be p(4). Suppose -5*c = 2*s - 7, -o*s - s + 4*c = 24. Does 11 divide ((-22)/s)/(3/30)?
True
Let o(z) be the third derivative of z**4/24 - 4*z**3/3 - 4*z**2. Let i be o(0). Is -2 - -4 - i*11 a multiple of 25?
False
Is 552*1/((-9)/(-18)) a multiple of 23?
True
Suppose 0 = 2*y + 2*h - 1952, -y - 4*h + 583 = -387. Does 28 divide y?
False
Suppose -22680 = -2*t - 22*t. Is 63 a factor of t?
True
Let z be -2 + (4 - (3 + -2)). Let h be 12/4 - z - 11. Does 16 divide h/2*140/(-30)?
False
Let i(v) = v - 2. Let c be i(-2). Does 28 divide 9/(18/c)*-56?
True
Suppose -2*u + 80 = -4*w, -4*w = -u + 8 + 24. Let k = u - 0. Is k a multiple of 33?
False
Let u be -2*(-1 + 3/6). Suppose -2*o + u = -5. Let k(g) = g**3 + 5*g**2 - 4*g. Does 18 divide k(o)?
False
Suppose 686 = 10*y - 1534. Does 14 divide y?
False
Let x = -1 + 1. Suppose 0 = 3*g + 2*g - 5, 0 = -4*y - 4*g + 12. Suppose 4*h + y*u - 262 = x, -u + 5*u - 320 = -5*h. Does 11 divide h?
False
Let q = 509 - 152. Let a be -2*1*q/6. Let w = 170 + a. Does 18 divide w?
False
Let n(x) = 2*x**3 + 2*x**2 + 2*x + 3. Let a be n(-3). Let y = 599 + -533. Let r = y + a. Is r a multiple of 10?
False
Suppose -20 + 2 = 3*s. Let h(b) = -19*b + 3. Is h(s) a multiple of 39?
True
Suppose -10*q = -32*q + 10230. Is 15 a factor of q?
True
Let o(r) be the third derivative of r**6/120 + 13*r**5/60 - r**4/24 - 13*r**3/6 + 5*r**2. Let h be o(-13). Suppose h = -d - 0*d + 63. Is 21 a factor of d?
True
Let u(q) = q**3 + 6*q**2 - 4*q + 6. Let k be 2/4 + 10/(-4). Let b be -6 - -2 - (k - -3). Is 13 a factor of u(b)?
False
Suppose -5*z = 2*f - z - 12, -4*f + 4*z - 12 = 0. Suppose f = -10*m + 3*m + 763. Suppose 40 - m = -y. Does 23 divide y?
True
Let h(d) = -3*d - 16. Let c be h(-11). Let u(k) = 28 + k**2 - c - 5*k + 0*k**2. Does 17 divide u(6)?
True
Suppose -t + 6*t = -15. Let r be (-2 - t)/(1/3). Suppose 15 = -r*v, 4*v + 5 = 4*k - 115. Does 8 divide k?
False
Let d(w) = 22*w**2 + 20*w + 9. Is 27 a factor of d(9)?
True
Suppose -9 = 4*u + 5*m, 0 = -2*u + m + 4*m - 27. Is ((-186)/(-9))/((-4)/u) a multiple of 21?
False
Let i(n) = 4*n**3 + n**2 + n - 1. Let m be i(1). Let g = m - -63. Let c = -18 + g. Does 16 divide c?
False
Let t = 10 + -18. Does 30 divide 22/t + 1/(-4) - -76?
False
Let o be (-3 - -4)*-1*27. Let s be 6/o + (-21)/27. Is s + 0 + -2 - -30 a multiple of 9?
True
Is 7 a factor of 2 + 0 + (48 - -181)?
True
Let b = 69 + -38. Suppose b*q - 26*q - 160 = 0. Does 6 divide q?
False
Suppose 5*x + 2*o + 17 = -o, 2*o + 13 = -5*x. Let g be x/(-2) + 44/8. Suppose 0 = -2*b + g*b - 28. Is 7 a factor of b?
True
Let s(l) = -391*l + 391*l - 4 + 11*l**2. Is s(3) a multiple of 19?
True
Let r = 4567 - 2747. Is r a multiple of 26?
True
Let v be (-11)/(-5) + (-32)/(-40). Suppose 5*m = v*m + 66. Does 26 divide m?
False
Let q(y) = 31 + 20*y**3 + 0*y**2 + y**2 - 33 + 2*y. Is 35 a factor of q(2)?
False
Let c = 13 + -29. Let s be 9/12 + 636/c. Let l = s + 59. Is l a multiple of 14?
False
Let s = 21 - 15. Let l be 26/s + 4/(-12). Suppose -y - y = 6, j + l = -5*y. Is 2 a factor of j?
False
Does 20 divide -772*((-78)/36)/13*3?
False
Suppose -3*s + 1 + 2 = d, -2*d - 5*s + 5 = 0. Suppose 0 = -d*k - 4*k. Suppose -5*c + 35 + 50 = k. Does 17 divide c?
True
Suppose 4 = 4*r + 28. Let l(n) = -2*n - 9. Let t be l(r). Suppose -4*g + 59 = 3*h - 9*g, -3*g = -t*h + 51. Is h a multiple of 11?
False
Let n be (-3 + -1 + 8)/2. Does 8 divide 30 - ((-25)/5 + n)?
False
Suppose -v = 4*o - 108, -2*v - 5*o = 2*v - 443. Does 16 divide v?
True
Let n(x) = -x**2 + 7*x + 4. Let a be n(7). Suppose 0 = -0*p - a*p. Suppose p = -2*b + 101 - 29. Does 12 divide b?
True
Is (2/10)/((-10)/(-18950)) a multiple of 18?
False
Suppose r - 7440 = -11*r. Does 20 divide r?
True
Let t be ((-6)/5)/(3/(-10)). Suppose -m = -t*m + 303. Suppose 4*y - m - 79 = 0. Is y a multiple of 9?
True
Let c be -2 + 1 + 0 - -26. Suppose 2*h = 7*h + c. Is (2 + -7)*3/h even?
False
Let a(w) = -4*w**3 + 5*w**2 - 23*w - 13. Let q(b) = b**3 - b**2 + 6*b + 3. Let z(k) = -6*a(k) - 22*q(k). Does 23 divide z(5)?
True
Suppose -5*u + 1938 = -1702. Is 27 a factor of u?
False
Suppose 3*b = -11 - 1. Let p(c) = 2*c + 5. Let m be p(b). Is (m - -24 - -2) + -3 a multiple of 11?
False
Suppose -29*h + 6131 = -162. Does 5 divide h?
False
Suppose -7265 = -40*i - 1905. Is i even?
True
Suppose -3*a + 5010 = -45*i + 43*i, -5*a - 5*i = -8350. Is 74 a factor of a?
False
Let x(m) = 2 - 8 - 7 + 8*m + 14*m. Let f be x(9). Suppose 5*d - f = -5*w, -3*d - d = -4*w + 172. Is w a multiple of 20?
True
Let g = -11 + -6. Let p = 16 + g. Is 23 a factor of 0 + 3 + p - -44?
True
Does 10 divide -2 + -4 + (-13)/26*-862?
False
Suppose 0 = 5*c - 5, -4*c = -0*k + k + 88. Let l = 226 + k. Does 32 divide l?
False
Let a(n) = 8*n + 9. Is a(16) a multiple of 15?
False
Let g(c) = c**3 - 11*c**2 + 11*c + 13. Let x(p) = p**3 - 10*p**2 + 12*p - 11. Let l be x(9). Let a = l + -6. Is 13 a factor of g(a)?
False
Let h(d) = -d**3 + 3*d**2 + 2*d - 2. Let s = -15 + 13. Is h(s) a multiple of 4?
False
Suppose -2*n + 264 = 4*h - 470, 349 = 2*h - 5*n. Does 24 divide h?
False
Let w = -4 + -12. Let t = 57 + w. Is 7 a factor of t?
False
Let o be 91 + 3/(2 + -5). Suppose 6 = 3*k - o. Suppose 2*s = k + 30. Is s a multiple of 31?
True
Suppose 6*c - 13 - 11 = 0. Suppose -2*f + 232 = c*b, -4*f + 5*b = 8*b - 444. Does 18 divide f?
True
Is 4 - (309/(-6))/((-7)/(-14)) a multiple of 15?
False
Suppose -3*p + 31 = -5*s, 2*p + 5*s - 3*s = -6. Is