 o + 4*v - 167 - 149 = 0. Is 7 a factor of o?
True
Suppose -3*f = f - 36. Suppose 9*r = 12*r + f. Let z(t) = -29*t + 1. Is 11 a factor of z(r)?
True
Let r(k) = 5*k**2 + 43*k + 4. Let w(n) = 3*n**2 + 21*n + 2. Let u(g) = 2*r(g) - 5*w(g). Let l(p) = -1. Let d(t) = 5*l(t) - u(t). Is 9 a factor of d(-7)?
False
Suppose 0 = -5*t + 295 + 260. Let f be ((-20)/(-6))/(t/(-18) - -6). Is (28/f)/7 - 502/(-10) a multiple of 17?
False
Let n(l) = 117*l**2 - 163*l - 639. Is n(-4) a multiple of 5?
True
Let g(t) = -t - 7. Let v be g(-7). Let b(f) = 70*f + 3. Let n be b(1). Suppose 2*y + 0*y + 5*u = n, v = 4*y - u - 201. Does 13 divide y?
False
Let v(u) = -u. Let q be v(-3). Suppose -3*a = -5*i - 22, -3*a + 18 = -6*i + 3*i. Suppose -a*l + 37 = -q*l. Does 15 divide l?
False
Suppose -77418 = -1453*p + 1435*p. Is 8 a factor of p?
False
Suppose 2*b - 4*r - 868 = 0, -2*b - 3*b + 2200 = 5*r. Let m = b + -321. Does 35 divide m?
False
Let y(q) = 3*q**3 + 12*q - 21. Let x(s) = s**2 + 4*s - 55. Let d be x(6). Is 23 a factor of y(d)?
True
Let p(v) = v**2 + 6*v - 1. Let a = -24 + 20. Let i be p(a). Let f(x) = -2*x + 14. Is f(i) a multiple of 11?
False
Let b(g) be the first derivative of -5*g**2/2 + 4*g + 91. Is 3 a factor of b(-5)?
False
Suppose -20*o + 77 = -23. Let z be -1*(0 + o) + 1343. Let u = z + -954. Is u a multiple of 13?
False
Let u = -21349 + 37140. Does 30 divide u?
False
Let u(d) = 2*d - 34. Let q be u(18). Suppose -133 = o - q*o. Suppose -i + 52 = 4*s - 0*s, -o = -4*i - s. Does 8 divide i?
True
Suppose 57*l - 3711 - 165 = 0. Does 28 divide (-3)/((l/112)/(-17))?
True
Let x be ((3 - -1) + 605)*2/2. Suppose -43*g = -40*g - x. Is 11 a factor of g?
False
Let i(q) = -1897*q - 14562. Does 4 divide i(-13)?
False
Suppose 11*a + i - 69 = 6*a, -a + 13 = i. Let u = 313 - a. Let j = 579 - u. Does 40 divide j?
True
Suppose 315*z + 143*z = 21068. Does 7 divide z?
False
Let y(d) be the third derivative of 2*d**4/3 - 3*d**3/2 - 4*d**2. Let f(m) = -4*m + 31. Let l be f(7). Is 13 a factor of y(l)?
True
Does 4 divide (600/36)/25 + 682/3?
True
Does 10 divide (-535)/(-2)*1568/40?
False
Let f(m) = -2*m**2 + 2*m - 5. Let d be f(4). Let a = -30 - d. Is (-4)/((-8)/2) + 52 + a a multiple of 14?
False
Suppose -3*v + 5*t = 3*t, 15 = -5*t. Let u be (-3 + (-24)/(-9))/(v/54). Let a(c) = 4*c - 6. Does 15 divide a(u)?
True
Suppose -3*p = -3*o - 21, 3*o - p + 5*p = 0. Let y be ((-35)/5 - o)/(6/8). Does 32 divide (y - -6)/(-6)*444/(-2)?
False
Let d be 107/7 - (-20)/(-70). Let u(h) = -6*h**2 + 94*h + 12. Does 2 divide u(d)?
True
Let p(x) be the third derivative of -x**6/120 + x**5/20 - x**4/12 - x**3/2 - 44*x**2. Is p(-6) a multiple of 9?
True
Suppose 4*t - u - 2*u = -1109, -3*t - 837 = -4*u. Let r = -51 - t. Suppose r = 4*i + y, 2*i + y - 3*y = 102. Is 14 a factor of i?
False
Is 13 a factor of (-402)/(-5)*(-2080)/(-48)?
True
Let m(q) = -409*q + 844. Does 65 divide m(-24)?
True
Let w be (0 - -14)*(-270)/(-60). Suppose 3*m = -4*y + 171, -5*m + 2*m = -2*y + w. Is 9 a factor of y?
False
Let j = 8585 + -5018. Is j a multiple of 170?
False
Let q(l) = l**3 + 11*l**2 + 2*l + 21. Let b(g) = g**3 - 6*g**2 + 2*g + 1. Let t be b(2). Let z be q(t). Is 13 a factor of 2/1 + z + 90?
True
Is 10 a factor of 2/(-18) - (-3486)/(-18)*(-329)/21?
False
Suppose -2*i - 11 = -35. Suppose -w + 1 = -3*d - i, 2*w - 20 = 3*d. Suppose 160 = w*z - 365. Is z a multiple of 15?
True
Suppose 44*x - 45*x + 3*q = -1719, -5*x + q + 8693 = 0. Does 15 divide x?
True
Suppose 45*s - 50275 = 40*s + 5*d, 3*s + 4*d = 30214. Is 129 a factor of s?
True
Suppose 4*a = -2*i + 27450, -3*i - 3447 = -4*a + 24018. Does 143 divide a?
True
Suppose 288*b + 15 = 283*b, -2*w + 28716 = 4*b. Does 9 divide w?
True
Let w(u) = 380*u - 46. Let b be w(4). Suppose -x - 2*t = -736, 5*x + 3*t - b = 3*x. Is x a multiple of 13?
False
Let q be (9/(-1))/(-3)*-14. Is 14 a factor of 422 + (-4)/(-3)*63/q?
True
Is (9/(-72))/((-5)/14120) a multiple of 8?
False
Suppose -7*j + 2483 = -1598. Suppose 0 = 5*s - j - 1177. Is 32 a factor of s?
True
Let c = -246 - -267. Suppose -19*h - 102 = -c*h. Does 12 divide h?
False
Let x = -17 + -2. Let f be 93/(-9) - (10 - -4)/(-42). Let z = f - x. Is z a multiple of 9?
True
Suppose 97 = -13*q + 6. Suppose -y + 5 + 3 = 3*w, 0 = -3*w - 5*y + 16. Does 6 divide (w - 76/14)*q?
True
Let w(r) be the first derivative of 2*r**3/3 + 25*r**2/2 - 10*r - 14. Let f be w(-13). Suppose -z - 5*a = -41 - 33, 3*z - 198 = -f*a. Is z a multiple of 11?
False
Suppose -454 = -20*y + 386. Is 45*(y/(-9))/(-7) even?
True
Let o = 17 + -15. Suppose -5*u + 3*r = -2*r + 165, 0 = -o*r + 6. Let l = u - -134. Is 28 a factor of l?
False
Let q = -31194 + 44574. Does 12 divide q?
True
Suppose 68*r = 27*r + 135300. Is 82 a factor of r?
False
Let r(c) = -c**3 + 16*c**2 - 27*c - 9. Suppose 5*y = 5*v + 45, 6 = 5*v - 19. Let w be r(y). Suppose 0 = 2*i - w*u - 105, 3*u + 1 = -2. Is i a multiple of 10?
True
Suppose -3*k = 5*v - 8668, -3490 - 5173 = -5*v + 2*k. Let a = v + -998. Does 21 divide a?
True
Suppose -4*v = 2*o - 5692, 27 = -v + 31. Is 11 a factor of o?
True
Let i = 180 + -186. Does 30 divide 6/(-9) - (1 + 4558/i)?
False
Let f = 2550 + -318. Does 12 divide f?
True
Let j = 25997 - 10286. Does 179 divide j?
False
Let x(z) = -4*z**3 - 6*z - 1. Let i(f) = 16*f**3 + 24*f + 2. Let n(c) = -2*i(c) - 9*x(c). Let y be (16/(-6))/(6/(-9)). Is 57 a factor of n(y)?
True
Suppose 2*u - 9173 = -l, 2*l + 1 - 7 = 0. Let t = -2709 + u. Does 14 divide t?
True
Let q = -2573 - -3028. Does 13 divide q?
True
Let v(h) = h**2 + 7*h + 10. Let b be v(-5). Let d be (-2 + b - -219)*5. Suppose d = 7*w + 308. Is 26 a factor of w?
False
Let s = -26880 + 42315. Is 15 a factor of s?
True
Suppose 2*c - 24 = -2*c. Suppose 0 = -c*r + 10*r + 4. Is ((-53)/1 + r)/((-60)/90) a multiple of 15?
False
Let h(u) = u**3 + u**2 - u + 9. Let c be h(0). Suppose b - 10 = 2*m, -m - 4 + c = 0. Is b a multiple of 18?
False
Suppose 642 + 102 = 2*l. Does 46 divide l - (-3)/(18/(-24))?
True
Let a(i) = -i**3 + 130*i**2 - 362*i - 1116. Is a(126) a multiple of 14?
False
Let a(t) = -t**3 + 8*t**2 - 9*t + 12. Let v be ((-55)/66)/(1/(-6)). Let b be a(v). Suppose 0 = g + 3*g + 2*k - b, 18 = g + 3*k. Does 2 divide g?
False
Let d(n) = 815*n**2 + 476*n + 946. Does 4 divide d(-2)?
False
Let o = -144 + 203. Let w = o - 16. Is (4/(-2))/((-2)/w) a multiple of 24?
False
Suppose 0 = 47*l - 50*l. Let o be (l/1 - 30)*16/(-12). Suppose s - 100 = o. Does 28 divide s?
True
Let r = -2026 + 4598. Does 3 divide r?
False
Let u be 128722/55*(-15)/(-6). Suppose -6*k - 3*n + 5836 = -k, 2*n + u = 5*k. Suppose -9*j = 215 - k. Is 16 a factor of j?
False
Does 41 divide ((-23)/(-46) - (-28)/8)*(-64587)/(-12)?
False
Suppose 0 = -199*b + 46157 + 149261. Does 28 divide b?
False
Let d = -25251 - -33146. Does 23 divide d?
False
Let w(m) = 17*m + m**2 - 9 - 8*m + 0. Let h be w(-16). Suppose 2*c - h = -3*l, -5*c = 2*l - 3*l - 232. Is c a multiple of 11?
False
Suppose 28*t - 26*t + 1619 = k, -2*t = k + 1617. Let o = -782 - t. Does 9 divide o?
True
Let k(c) = -c + 13. Let t be k(32). Let d(x) = 36*x**3. Let j be d(-1). Let b = t - j. Does 9 divide b?
False
Let c = -650 + 650. Suppose c = -45*t + 8*t + 8325. Is 15 a factor of t?
True
Suppose 3*f + o = 8757, 3*f = -2*o + 5376 + 3375. Is 7 a factor of f?
False
Suppose 5*z - g = -4976, -z + 249 = 4*g + 1240. Let s = -329 - z. Is 74 a factor of s?
True
Suppose 486*i = 483*i - 2*r + 12110, -4*i + 16156 = 4*r. Does 252 divide i?
True
Let g(z) = 646*z**2 + 720*z - 4305. Is 137 a factor of g(6)?
False
Suppose 5*t - 626 = 579. Let l = 379 - t. Let g = l - 51. Does 15 divide g?
False
Suppose 3*a - 4*s - 82 = 0, 128 = 4*a + 6*s - 2*s. Let z be 4/14 + a/(-7). Is 25 a factor of (-75)/(z/8*2)?
True
Let k(h) = h**2 - 20*h - 13. Let f be k(21). Let g(l) = 44*l - 56. Is g(f) a multiple of 37?
True
Let d = -1482 - -2080. Let c = 1044 - d. Does 46 divide c?
False
Let t(g) be the second derivative of g**3 - 33*g**2/2 - 83*g. Is t(28) a multiple of 2?
False
Let n(c) = 64*c**2 + 427*c + 2528. Is 4 a factor of n(-6)?
False
Suppose -104*a - 5 = -103*a. Let d be (5 + a)*(-2)/4 - -40. Suppose -i = 0, 5 = 3*k + 4*i - d. Is 3 a factor of k?
True
Let v be ((-6)/(-8))/(399/(-196) + 2). Let t = v + -12. Is 24 a factor of (-34 - -7)*(t/9 + 2)?
False
Su