*o - x + 6175, -3*o + 18541 = 5*x. Does 87 divide o?
False
Suppose -23*j + 31*j = 1160. Let k(c) = 15*c - 7. Let n be k(-4). Let u = j + n. Is u a multiple of 13?
True
Let q be -5 - ((-15)/(-3) - 10 - -4). Is 101 + q/(-12)*-3 a multiple of 6?
False
Suppose 21850 = 69*k - 64*k. Suppose k = 15*g - 8965. Does 15 divide g?
False
Does 9 divide 22/6 + ((-58110448)/(-33))/41?
False
Let x(t) = t**3 + 17*t**2 - 21*t - 49. Suppose 2*n - 5*f + 6 = -10, -4*f + 18 = -2*n. Is x(n) a multiple of 18?
True
Let y(w) = 20*w**2 + 103*w + 17. Let n be y(-5). Let k(p) = 3 + 21*p**2 - 3 + p. Is k(n) a multiple of 16?
False
Let d(y) = -5*y - 20. Let r be d(-5). Suppose -4*n + 780 = -r*o, 27*n = 25*n - 3*o + 368. Does 12 divide n?
False
Let c = -21 - -27. Suppose c*q - 60 = 5*q. Let i = -6 + q. Is 18 a factor of i?
True
Let o be 140/(-25) - (1 + (-6)/10). Let m(q) = -62*q - 22. Does 70 divide m(o)?
True
Suppose 18*t - 9166 = 5486. Does 48 divide t?
False
Is (-18)/(-117) - 97377/(-39) a multiple of 47?
False
Let y(j) = -j**3 - 91*j**2 - 278*j - 480. Is 76 a factor of y(-89)?
False
Suppose -3*y - 1419 + 111 = 0. Let l = 792 + y. Suppose 213 + 72 = 3*i - 3*u, -4*u + l = 4*i. Is i a multiple of 30?
False
Let i = -92 + 97. Suppose 5*h + i = 5*l, -5*l - h + 0 = 1. Suppose 2*q - 8*q + 504 = l. Is q a multiple of 9?
False
Let i be (-294)/9*-1*84/4. Suppose z - i = -3*r, -5*r + r = -5*z - 921. Does 4 divide r?
False
Suppose 2*u - k - 18832 = 0, -u + k + 4590 = -4824. Is u a multiple of 125?
False
Suppose -7 = -g, 273 = x + 21*g - 24*g. Is x a multiple of 147?
True
Suppose 5*o = 4*h + 45142, -4*h - 2766 + 47924 = 5*o. Is 6 a factor of o?
True
Is (-10 - 225/(-12))*776 a multiple of 97?
True
Let v be 2/3 + -1 + 15/(-9). Let m be v + -1 + (153 - 4). Let j = -131 + m. Does 15 divide j?
True
Suppose 6*p - 4*p - 4*b = 4836, -b + 4816 = 2*p. Does 8 divide (p/15 + 2)*3?
True
Let l = -3029 + 5168. Is 23 a factor of l?
True
Let y = -31063 - -31903. Does 28 divide y?
True
Is 73 a factor of (-9)/((-27)/5718) + 2?
False
Let s = 18763 + -18556. Does 15 divide s?
False
Let g(t) = -t**3 + 18*t**2 + 17*t + 78. Let v be -7 - (1 - 24 - 3). Does 10 divide g(v)?
True
Suppose -4 = -3*y - a, 2*y + 0*y + 3*a - 12 = 0. Suppose y*o + 2*o = 4*z + 104, -z = 4*o - 190. Is o a multiple of 24?
True
Suppose -1135366 = 140*u - 3421566. Is u a multiple of 23?
True
Suppose -3*d = 22*h - 17*h - 44578, 2*h - 2*d = 17844. Is h a multiple of 13?
True
Let k(w) be the second derivative of 0 - 1/3*w**3 + 3/2*w**2 - 5/12*w**4 - 7*w - 1/20*w**5. Does 8 divide k(-5)?
False
Let h be -4 + (130 - (0/5 - -1)). Let y = -14 + h. Does 7 divide y?
False
Let r be ((-1 + 5 - 6) + 3)*4. Suppose 3*m - 8*m - r*w - 32 = 0, -17 = 2*m + 3*w. Does 7 divide (126/(-8))/7*m - 2?
True
Let l(b) = 589*b + 11. Let m(a) = -a - 4. Let t(j) = -l(j) - m(j). Is t(-1) a multiple of 33?
False
Let g = 19953 - -3819. Is 42 a factor of g?
True
Let f(i) = -i**3 + 13*i**2 - 25*i + 11. Let b be f(10). Let c be b/((-13)/(-4) + -3) - -1. Suppose 2*g = -3*g + c. Is 5 a factor of g?
False
Let l(o) = 88*o**2 - 12*o + 1. Let r be l(-3). Suppose 3*y - r = -z, 2*z + 1092 = -4*y + 8*y. Does 19 divide y?
False
Let q = -24 - -40. Let p be (q/(-4))/2 + 4. Suppose p*l - 58 = l. Is l a multiple of 17?
False
Let t be (-501)/(-33) + (-3)/66*4. Suppose 0 = p - 10*x + 5*x - t, 5*p - 4*x - 12 = 0. Does 9 divide 2/2 - (-35 + p)?
True
Is (-100)/26 - 72/468 - -18618 a multiple of 82?
True
Let u = -217 + 206. Let t(r) = 4*r**2 + 19*r - 8. Is 7 a factor of t(u)?
False
Let a be (-901)/68 + (-20)/(-16). Let l(z) = z - 36. Let m be l(0). Is (-58)/(-6) + a/m a multiple of 3?
False
Suppose -4*t - 5*m = 1, m = 4*t + 5*m. Let p(s) = 5*s. Let a be p(t). Suppose 4*n + a*i - 10 = n, -5*n + 21 = 4*i. Is 2 a factor of n?
False
Let p(a) = -a**3 + 4*a**2 + 24*a + 15. Let y be p(-10). Does 9 divide (y/5 - 4) + 3?
True
Let b be 30/(-3)*(-13)/(130/332). Let y = b - 1. Is 22 a factor of y?
False
Suppose -226 - 863 = -9*r. Let h = r - -319. Is 44 a factor of h?
True
Suppose 17 - 89 = -12*i. Is 2 a factor of 4/i*((-5)/1 + 101)?
True
Let t(r) = -r**3 + 78*r**2 + 159*r - 72. Does 137 divide t(76)?
True
Let w(h) = -4*h + 4. Let j be w(0). Suppose -j*q + 20 = 0, 4*o - 113 - 496 = 3*q. Let n = -68 + o. Does 11 divide n?
True
Let w(c) = c**3 - 27*c**2 + 51*c - 327. Does 105 divide w(27)?
True
Suppose 32*c + 1200988 + 777044 = 228*c. Is 29 a factor of c?
True
Let t be (-960)/(-54) + 4/18. Let f be 5/2*t/30*4. Suppose 9*h = f*h + 174. Is 34 a factor of h?
False
Does 76 divide -684*(-20)/150*235?
True
Suppose -181 = u + 5*w - 14193, 3*u - w = 42164. Does 12 divide u?
True
Suppose 3*j = 6*j - 2*c + 1910, -5*j - c = 3166. Let t = j + 954. Is 20 a factor of t?
True
Suppose -12 = -0*a + 2*a. Let m be 16/a*(-4)/((-64)/(-1020)). Suppose 4*o - 57 + 263 = 5*q, 2*o = -4*q + m. Does 9 divide q?
False
Let p be 1467/(-3)*(-2 + 5 + -2). Let j = -183 - p. Does 18 divide j?
True
Suppose -2*m + 29384 = 11536. Is m a multiple of 20?
False
Let c be -1*2*15/(-10). Suppose 2*w - 4*b = 356, c*b + 882 + 29 = 5*w. Suppose h + 30 - w = 0. Is h a multiple of 11?
True
Let x = -9 + -35. Let s = 46 + x. Suppose -4*i = 4*b - 72, 0 = s*i - 3*i - 4*b + 18. Is i a multiple of 3?
True
Let w(u) = 2*u**3 + 20*u**2 + 21*u + 27. Let z be w(-9). Let q = -51 + 21. Let y = z - q. Does 29 divide y?
False
Let d(g) be the second derivative of g**4/12 + g**3/6 + 17*g**2/2 - g. Suppose 5*y - 20 = -3*k, -4*y = -4*k + 48 - 64. Is 17 a factor of d(k)?
True
Let x be 5*(0 + (-78)/(-15)). Let m = x - 14. Is 3 a factor of ((-8)/m*87)/(-2)?
False
Let d be 3/1 - (3 - 58400). Let o be d/45 + 6/27. Is (o/(-33))/((-2)/6) a multiple of 16?
False
Let g be ((-8)/((-56)/2317))/((-1)/4). Is (g/(-12))/((-3)/(-9)) a multiple of 53?
False
Let h(j) = -j**2 - 34*j - 74. Let l(g) = -g**2 + 31*g + 283. Let a be l(-8). Is h(a) a multiple of 5?
False
Let s(a) = -a**3 + 15*a**2 + 3*a + 13. Let h be s(14). Suppose 4*z + 2*x - 340 = -2*x, -5*x + h = 3*z. Let l = z + -70. Does 3 divide l?
False
Let y = -77 - -101. Suppose 5*i + y = -2*l + 211, -215 = -5*i + 5*l. Does 16 divide (i/9)/(19/9 - 2)?
False
Let w(n) be the first derivative of 9*n**2/2 + 85. Is 9 a factor of w(12)?
True
Suppose -240 = 24*r - 28*r. Let q = -55 + r. Suppose -q*z + 3*g = -0*z - 544, 5*g + 122 = z. Does 53 divide z?
False
Let j(d) = 19*d + 20. Let t be j(6). Suppose -2*i - a - 31 = -t, i - 56 = -2*a. Is 2 a factor of i?
True
Let n(j) be the first derivative of 14*j**3/3 - 3*j**2 + 2*j - 28. Let x be n(5). Suppose -5*l = -10*l + v + x, -258 = -4*l + v. Does 4 divide l?
True
Let t(b) = b**2 + 34*b - 32. Let d be t(-35). Suppose 1290 = 3*w + 3*c, 0*w - d*c = 5*w - 2140. Is 25 a factor of w?
True
Suppose 0 = -k + 5*z + 27871 - 7915, -3*k + 59772 = z. Is k a multiple of 243?
True
Suppose -2*s = -12*s - 1060. Let u = s + 109. Suppose 3*i + 0*k - 701 = k, 2*i - u*k = 479. Is 29 a factor of i?
True
Let q be 1*(-5)/(-2)*2. Suppose -3*d + 6*o - 2*o = -173, 0 = 2*d + q*o - 123. Suppose -d + 167 = 6*z. Does 7 divide z?
False
Suppose s = 3*x + 213, 13*x - 17*x - 12 = 0. Is 3 a factor of s?
True
Let q(n) = -n**2 - 9*n - 2. Let d be q(-8). Suppose 3*r - 27 = d*r. Is 40 a factor of (-16 + 1)*(1 - (-33)/r)?
True
Is -15 + -2 - (-5799 - 18) a multiple of 100?
True
Let v be (-6)/(-9) - (-3)/9. Let x = v - -14. Suppose -x - 49 = -f. Is 10 a factor of f?
False
Let j = 14 + 30. Let v(l) = -3*l**2 - 2*l + 31. Let m be v(4). Let w = m + j. Is 6 a factor of w?
False
Let o be 9 + -12 - (-17 - -134). Let f be ((-285)/(-4))/(1/4). Let x = f + o. Does 14 divide x?
False
Let v = -714 - -28064. Is 25 a factor of v?
True
Suppose 0 = -43*b - 13 - 30. Does 8 divide -4*(b + 4/4*-127)?
True
Let n(b) = 6*b**3 + 6*b**2 + 3*b + 31. Let a(t) = -25*t**3 - 24*t**2 - 11*t - 125. Let v(y) = -2*a(y) - 9*n(y). Is v(-5) a multiple of 9?
False
Let k = -212 + 213. Does 3 divide ((-252)/48 - -5)/(k/(-844))?
False
Let h = 126 - 77. Suppose 0 = 2*w - 2*k + 76, -2*w - 4*k = 3*w + 181. Let n = h + w. Does 11 divide n?
False
Suppose 5*j + 64 = 454. Suppose 4*v = 3*a + 443, v - 2*a - 190 + j = 0. Is 11 a factor of v?
True
Let c(m) be the first derivative of m**3/3 + m**2 + 138*m + 31. Is c(0) a multiple of 4?
False
Suppose 0 = 73*a - 316528 + 109573. Is 5 a facto