65 = 33. Suppose -296 = -g*q + 5*v, -v = 2*q + 11 - 283. Does 69 divide q?
True
Let l be 20/3 + 4*4/(-24). Suppose 0 = u + l*u. Suppose u = -2*i + n + 39, 0*n - 39 = -3*i - 5*n. Is i a multiple of 6?
True
Let m = -5 - -8. Suppose 107*n - 114*n = -21. Suppose 0 = -n*d - 12, -m*y + 2*d = -d - 84. Is 22 a factor of y?
False
Let b = 10 + -33. Let l be 1 + -1 + (154/(-22))/(-7). Is l*b/3*(-18)/6 a multiple of 13?
False
Suppose -6974*h = -6979*h + 99675. Is h a multiple of 15?
True
Is (15/6 - 889/14*-145) + 1 a multiple of 151?
True
Suppose -20*i + 36*i = 18848. Is 19 a factor of i?
True
Suppose -188782 = -2061*w + 2057*w - 2*z, 5*z + 47212 = w. Is w a multiple of 56?
False
Let x(q) = q**3 + 23*q**2 - 26*q - 53. Let t(f) = -4*f**3 - 70*f**2 + 78*f + 161. Let d(u) = -2*t(u) - 7*x(u). Does 35 divide d(21)?
True
Is 9 a factor of 624/572 + 985862/22?
False
Is 13 a factor of ((-893)/94 - -6)*(60400/(-14))/2?
False
Suppose 244*t = -2*q + 245*t + 2766, -q + 3*t + 1388 = 0. Does 44 divide q?
False
Let y(a) be the third derivative of -a**5/30 - a**4/8 - 7*a**3/2 - 21*a**2. Let m be y(-5). Let t = m - -107. Is t a multiple of 5?
False
Let r(u) = 24*u - 28. Is r(17) a multiple of 115?
False
Suppose 0 = -3*m - 5*k - 383, 8*k - 11*k = 2*m + 255. Suppose f = 2*l - 94, -4*f + 5*l - 132 = 259. Let r = f - m. Is r a multiple of 11?
True
Suppose -4*c - 2*q + 28 = 0, 0 = 4*c - 3*q - 10 - 18. Suppose 10*o - 3 = c*o, 0 = -h - 3*o + 6. Does 2 divide h?
False
Suppose -47240 = -40*b - 5015 - 2425. Is b a multiple of 25?
False
Let x = 569 + -577. Let u(l) = -l**3 - 3*l**2 - 4*l - 16. Does 7 divide u(x)?
True
Suppose -5386 = 44*d - 54*d - 116. Is 110 a factor of d?
False
Let l = 502 + -258. Suppose -7*c - 183 = l. Let d = 112 + c. Is d a multiple of 12?
False
Suppose -19102 = -2*q + 4*d, 2*d + 7 - 19 = 0. Does 2 divide q?
False
Let t(b) = -b**2 - b. Let j be t(0). Let s(h) = 290 + h - h**3 + j*h**3 - h + 2*h. Is s(0) a multiple of 18?
False
Suppose 0 = -108*l - 65*l + 123*l + 317500. Is l a multiple of 4?
False
Let n(w) = -w**3 - 65*w**2 + 19*w - 939. Is n(-66) a multiple of 3?
True
Let j = 2156 - 1400. Suppose -8*p + 9*p - j = 0. Is 12 a factor of p?
True
Suppose -2*m = -3*c + 17, -4*c = -m + c + 9. Is (-6452)/m + -2 + 7/4 a multiple of 47?
False
Let k(a) = 5*a**2 + 0 + 5*a + a + 2. Let c be 2*(-15)/10*1. Is 12 a factor of k(c)?
False
Let t(p) = -p**3 + 5*p**2 - 6*p + 11. Let v be t(4). Suppose v*b - x = 1313, -8*x + 10*x + 10 = 0. Is 4 a factor of b?
True
Let o(x) be the third derivative of -x**6/120 - x**5/5 - 25*x**4/24 + x**3 - x**2 + 24*x. Is 51 a factor of o(-12)?
True
Let j(v) = 2*v - 46. Let i be j(27). Does 54 divide -1*(-5)/20 - (-2670)/i?
False
Let r be (8/10)/(-4)*0. Suppose 33*c - 2390 - 3583 = r. Is 4 a factor of c?
False
Let g(q) = 4633 + q - 4666 - 5*q. Suppose 5*a + 2 = -4*b - 40, -5*a + 2*b - 54 = 0. Is 5 a factor of g(a)?
False
Let u = -537 + 548. Let k(j) = 7*j**2 + 9*j - 25. Does 35 divide k(u)?
False
Suppose -w - 6*w = -2128. Is (36/(-16))/((-12)/w) a multiple of 19?
True
Let u(m) = 9*m - 68. Let d be u(8). Suppose 5*l - d*l = 294. Does 14 divide l?
True
Let v be 8/(-44) + 13262/(-22). Let w = 734 + v. Is w a multiple of 11?
False
Is 39 a factor of ((-61)/2)/(30/(-4380))?
False
Suppose -564*r - 47980 = -584*r. Is r a multiple of 27?
False
Suppose -2*p = -2*j + 364 - 2682, 4*p + 5*j - 4600 = 0. Is p a multiple of 11?
True
Let m(s) = -103*s + 7. Let i = -32 + 34. Let j be m(i). Does 22 divide j/(-3) - 1/3?
True
Suppose 113*h - 4798880 = 370079. Is 15 a factor of h?
False
Let w(h) = h + 13. Let u be w(-4). Let p be (-1 + 34/4)/(u/12). Suppose 512 = 18*k - p*k. Does 8 divide k?
True
Suppose -22 = 2*w - 2*k, -2*k = -w - 0*w - 8. Let j(b) = 12*b - 5 - 26 + 57*b - 84*b. Is j(w) a multiple of 21?
False
Let w(s) = 10772*s**2 + 139*s + 140. Does 27 divide w(-1)?
True
Let l = -394 - 116. Let p be l*(16/(-10))/4. Does 3 divide (1 - 1/3)/(4/p)?
False
Let i be 2 + 2 - (1 - 4). Suppose 3*c + i*c = 4840. Let t = c - 296. Does 14 divide t?
False
Let j(c) = c**2 + 11*c + 6. Let w(p) = 2. Let v(a) = -j(a) + 6*w(a). Does 12 divide v(-9)?
True
Suppose -3*l + 10*l - 560 = 0. Let p = 230 + l. Is p a multiple of 31?
True
Let o(a) = a**3 + a**2 - 23*a - 19. Let s be o(-5). Does 16 divide (14/(-5))/(s*4/4960)?
False
Let v(t) = t**3 + 36*t**2 + 28*t - 8. Does 6 divide v(-26)?
True
Let w(l) = 2*l + 1. Let g(j) = -11*j - 33. Let p(s) = g(s) - 3*w(s). Is 33 a factor of p(-10)?
False
Let d(u) = -5*u + 65. Let j be d(13). Suppose j = 13*a - 2*a - 1474. Is 10 a factor of a?
False
Suppose -4*a - a - 3*z = -46, -4*a - 5*z + 42 = 0. Let k(c) = 3*c**2 + 2*c - 30. Let p be k(a). Let i = p - 90. Does 17 divide i?
False
Let m(j) = -j**2 + 4*j + 6. Suppose 0 = 3*x - 3*n + 21, -5*x + 1 - 36 = -3*n. Let s be m(x). Let l = 60 - s. Is l a multiple of 43?
False
Let z be -7*1 - (-19 + 15). Let v = z + 5. Is 14 a factor of 74 + v + 0 + 1?
False
Let m(b) = b**2 + 22*b + 105. Let r be m(-6). Suppose -11*y + 15580 = r*y. Does 8 divide y?
False
Suppose -2220596 = -52*t - 292*t + 60*t. Is 7 a factor of t?
True
Is 3/8 - (91 + -89 + 129549/(-8)) a multiple of 130?
False
Suppose 100*i - 102*i - 4374 = -5*z, 4*z - 4372 = 2*i. Let s = -1226 - i. Is 66 a factor of s?
False
Suppose 337*i - 342*i + 4994 = -a, -4*a - 1976 = -2*i. Is i a multiple of 8?
True
Let a(i) = i**3 - 15*i**2 - i + 19. Let g be a(15). Let t be g/(-28) + (3693/(-21) - -1). Let q = 85 - t. Does 20 divide q?
True
Let o(r) = -51*r**3 + 39*r**2 + 49*r + 42. Is o(-6) a multiple of 104?
True
Does 5 divide ((-1)/(-30) + (-4)/(-24))*12085?
False
Suppose -4*t = 3*q + 4, 11*q - 6*q + 15 = -5*t. Does 9 divide (-4)/(-3) + q + (-2853)/(-27)?
True
Let t = 9544 + -2105. Is t a multiple of 17?
False
Let h(t) = 25*t - 87. Let k be h(-36). Is 11 a factor of k/(-6) + ((-7)/(-2) - 3)?
True
Suppose -64*n + 311564 = -21*n + 30*n. Is n a multiple of 97?
True
Let d be ((-40)/(-6) + 0)*(-264)/20. Let t = d - -250. Does 27 divide t?
True
Let f be (9/2 + -4)*4. Suppose 5*o - 334 = -b, 3*b = 2*o + f*b - 128. Let z = o - 45. Is z a multiple of 9?
False
Let a = 175 + -168. Suppose 4*z = 5*q - 2183, a*q - 2*z - 1311 = 4*q. Is q a multiple of 58?
False
Let q(n) = n**3 + 13*n**2 - n + 8. Let g be q(-13). Suppose 5*o = 3*w + 91, g = -4*o + 5*o - 2*w. Is 2 a factor of o?
False
Let p be (-1)/(-2) + 3*1/2. Suppose -80 = -3*a - p*a. Is 16 a factor of 1 + (3 - a)*-3?
False
Let b = -12 - -6. Let j be (-4)/(-12) - 10/b - -28. Let t = 65 + j. Is t a multiple of 22?
False
Suppose -4*k + 4170 = 2*a, 2075 = a - 4*k + k. Does 87 divide a?
False
Let v(o) = o**3 + 7*o**2 - 23*o - 41. Let p be v(-9). Suppose -3*h - 3*i = -894, 353 = h - p*i + 55. Does 9 divide h?
False
Suppose -105 = 46*n - 11*n. Is 47 a factor of (-47)/1*(1 + -8 + n)?
True
Suppose 241500 = 292*l - 269*l. Is 100 a factor of l?
True
Suppose -5*n + 13661 + 4616 = 3*a, 0 = -4*a + n + 24377. Does 22 divide a?
True
Suppose 1088 = f - 3*i, -i + 6*i - 10 = 0. Let l = 3018 - f. Is l a multiple of 27?
False
Let b(j) = j**2 + 16*j - 47. Let l be b(-22). Suppose -l*a - 7380 = -95*a. Is a a multiple of 18?
True
Let t(j) = -2*j**2 - 22*j + 28. Let o be t(-12). Let q(u) = 60*u + 14. Let g be q(o). Suppose 2*n - 18 = g. Is n a multiple of 34?
True
Suppose 2 = 3*x - 4. Suppose 0 = x*q - 10*s + 5*s - 21, 4*q = 2*s + 18. Does 8 divide q*(-22)/(-3) - -1?
False
Let h(z) = 3*z + 110. Let l be h(-35). Suppose -165 = -l*c + 4*c. Is 55 a factor of c?
True
Let y be (-63)/12 - (-2)/8. Let v(i) = -18*i**3 - 6*i**2 - 3*i - 5. Let u be v(y). Is u/25 - -5 - (-2)/(-5) a multiple of 8?
False
Let v = -90 - -308. Is (-14)/((-112)/24) + v/2 a multiple of 5?
False
Suppose -2*q + 36 = -2*l - 5*q, -2*l = 4*q + 36. Is 4/l + (-1 - 389/(-9)) a multiple of 11?
False
Suppose -15*h + 19*h - 3886 = -5*l, 5*h + 5*l - 4860 = 0. Is h a multiple of 9?
False
Let x be -95 + -4 + 1/((-3)/(-18)). Let o = x + 96. Is ((-8)/o + -1)/(18/(-162)) a multiple of 25?
False
Suppose 0 = 2*m - o - 5627, 3*m - 9868 = 2*o - 1430. Does 11 divide m?
True
Suppose -2*i = -x + 5860, 0 = -2*x + 5*i - 0*i + 11714. Is x a multiple of 140?
False
Does 14 divide (-60)/160 + -17103*21/(-72) + -4?
True
Let m(d) = 220*d**2 + d + 4. Let t be ((-18)/(-9))/8 - (-9)/(-4). Is m(t) a multiple of 63?
Tru