77*d - 4945. Is 14 a factor of i(13)?
False
Suppose 84*d - 5*s - 16250 = 83*d, 4*d = 2*s + 64892. Is d a multiple of 14?
False
Let p(w) = -w**2 + 6*w + 10. Let i be p(7). Let f be 2 - 1/(45/12 - 4). Suppose -444 = i*o - f*o. Is 33 a factor of o?
False
Suppose -295 = -12*p + 701. Let k = p - 80. Is 15 a factor of (-2 + k)/(9/1215)?
True
Let i = 18845 - 7121. Does 6 divide i?
True
Let t(f) = -f**3 + 115*f**2 + 130*f - 520. Is t(116) a multiple of 24?
True
Let t(u) = 15*u + 45. Let l(k) = -2*k - 69. Let p be l(-27). Let j(w) = -w**2 - 14*w + 24. Let q be j(p). Does 20 divide t(q)?
True
Let l(z) = -z**3 - 4*z**2 + 31*z + 10. Let i = 93 + -102. Is 9 a factor of l(i)?
False
Suppose -1072 = 31*g + 237*g. Let l(b) = -11 + 3 - 16*b - 4. Does 26 divide l(g)?
True
Let n = 61 - 50. Does 2 divide ((-1)/(-3))/(n/13959*9)?
False
Suppose 3*z = 6*z - 33. Let w = -11 + z. Suppose w = 4*m - 3*d - 120, m - 5*d - 13 = -0. Is m a multiple of 33?
True
Suppose 4*y - 30225 - 14936 = 4*m + 9959, m = 0. Does 80 divide y?
False
Let n(c) = -5*c + 32 - 4*c + 6*c + 4*c. Let o be n(8). Let i = 87 - o. Does 16 divide i?
False
Suppose -5*l + 5*g - g + 43 = 0, l - 4*g + 1 = 0. Let v(w) = 26 + 5*w + l + 5. Is v(0) a multiple of 17?
False
Let t = 2270 + 3008. Is 11 a factor of t?
False
Suppose m - 5 = -c + 6, -4*c - 3*m = -43. Suppose 9*d - 11*d + c = 0. Suppose -4*z - d*l + 19 = 0, 6 = z - l - 1. Does 2 divide z?
True
Suppose n - 4946 = -5*b, b = 3*b + 5*n - 1960. Suppose 0 = -31*o + 21*o + b. Does 2 divide o?
False
Suppose 0 = -150*k + 36*k + 586188. Is k a multiple of 99?
False
Let l(t) = -7*t**2 + 12*t - 25. Let y be (12/8)/((-2)/(-12)) - 3. Let i be l(y). Let o = -117 - i. Is 11 a factor of o?
True
Suppose -5*g + 10885 = 321*t - 316*t, 0 = -4*g - 5*t + 8708. Does 163 divide g?
False
Suppose 0 = -5*f + 5*s + 44570, -5*f - 7*s + 47354 = 2772. Is 13 a factor of f?
False
Suppose -3*l - 5562 - 4843 = -5*r, 10445 = 5*r + 5*l. Does 14 divide r?
False
Let c = -724 - -1192. Let i = 1365 - c. Does 41 divide i?
False
Let s = 30041 + -17193. Is 22 a factor of s?
True
Suppose -171*t = -157*t - 21938. Let u = -1004 + t. Is u a multiple of 14?
False
Suppose -5*j + n = -7687, 3*n = -5*j + 4814 + 2885. Does 6 divide j?
False
Let w(z) = 33*z - 69. Is w(7) a multiple of 9?
True
Let q = -29 + 33. Let x(s) = q - 2*s**2 + 20*s**3 - 52*s**3 - s**2 - s + s**2. Is x(-2) a multiple of 31?
False
Suppose 4*x + 9*x = 23*x - 83700. Does 6 divide x?
True
Suppose -17097 = -4*d - y + 13286, d = 3*y + 7586. Is d a multiple of 155?
True
Is (211014/(-28) - 26/91)/((-12)/24) a multiple of 30?
False
Suppose 0 = -u + 5*o + 2388, 3*u - 12009 = -2*u + 2*o. Is u a multiple of 27?
True
Suppose -12*x + 40671 + 77805 = 0. Is 9 a factor of x?
True
Let t(d) = -21*d + 4. Let v be t(-17). Let c = v + -176. Suppose -305 = -5*z + c. Is z a multiple of 14?
True
Let i(x) = x**3 - 17*x**2 + 13*x - 28. Let n be i(22). Suppose 4*f + 2066 = -4*j + 5650, -3*j + 2*f + n = 0. Let g = -599 + j. Does 44 divide g?
False
Let c = -5077 + 6885. Does 24 divide c?
False
Let i = 118 + -121. Does 18 divide 8/(-10)*3*70/i?
False
Suppose 11*v - 10*v = -4*x + 6, -4*x + 12 = -2*v. Let h(m) = 42*m**2 - 3*m + 3. Does 5 divide h(x)?
True
Let u(m) = m**2 - 6*m + 4. Let t be u(2). Let p be ((-14)/t + -6)*92/(-2). Suppose -3*k - k + p = o, -2*k + 121 = o. Does 9 divide o?
False
Suppose -31*b + 174*b = 482196. Is 11 a factor of b?
False
Let w = 295 + -718. Is 7 a factor of (w/(-6))/((-22)/(-44))?
False
Let n be (240/8)/(2/8). Suppose -2*x - n = -8*x. Does 27 divide 1/(x/408*(-3)/(-15))?
False
Let i = -55 + 27. Let a be (1 + 0 - 1)/(-27 - i). Suppose 4*g - 825 + 153 = a. Is g a multiple of 39?
False
Suppose -8 = -2*j - 0. Is (j*2889/144)/((-2)/(-16)) a multiple of 6?
True
Let j = -9 + 43. Suppose -x + 0*a = -4*a - 23, -5*a = -2*x + j. Suppose -5*u + 418 = o, -x - 323 = -4*u - 3*o. Does 14 divide u?
True
Does 27 divide -7864*(8/(-6) + 6/18)?
False
Let k(c) = c**3 + 7*c**2 - 9*c - 2. Let v be k(-6). Suppose -v*d - 650 = -101*d. Is d a multiple of 2?
True
Does 11 divide -17 + 9 - ((-16496)/4 + 2)?
True
Let b be 3/(9*6/306). Suppose -b*j - 197 = -843. Is j a multiple of 3?
False
Let v = -1993 + 3331. Is 4 a factor of v?
False
Let s(n) = 2*n**3 - 16*n**2 - 6*n + 308. Is 64 a factor of s(13)?
True
Suppose -10*h = -58903 - 18487. Is 109 a factor of h?
True
Let f(n) = -28071*n - 999. Is 141 a factor of f(-1)?
True
Let k be 3/6*(2/1 - 2). Suppose k = -15*y + 25*y - 2890. Is y a multiple of 16?
False
Suppose -1928941 = -60*a - 80941. Is a a multiple of 80?
True
Let g = 4532 - -4223. Is g a multiple of 3?
False
Let s(r) = -3*r + 29. Let z be s(-10). Let t = -49 + z. Is 3*5/t + (-558)/(-4) a multiple of 47?
True
Suppose 5*v = v + 2016. Let k(o) = -o**3 + 8*o**2 + 8. Let x be k(8). Suppose -j = x*j - v. Is 8 a factor of j?
True
Let o = 806 - 250. Suppose 0 = 3*g - 4*q - 800, -8*g + 6*g = 3*q - o. Does 34 divide g?
True
Suppose -740*x = -691*x - 579082. Does 162 divide x?
False
Let f = 487 - 334. Suppose 6*c - f + 33 = 0. Let m = c - 17. Is 2 a factor of m?
False
Let c = 71996 - 32096. Is 25 a factor of c?
True
Let d(o) = 77*o**2 - 8*o - 14. Let m = 124 - 126. Is 31 a factor of d(m)?
True
Suppose -d = -4*w - 9485, 11*d - 16*d = 5*w - 47525. Is d a multiple of 117?
False
Suppose 0 = 5*k + 4*z - 11, 2*z = z + 4. Let y be 21/(-14)*(k - (-17)/(-3)). Let r = y + 44. Is r a multiple of 9?
True
Let c(d) be the first derivative of 2*d**3/3 + 25*d**2/2 + 83*d + 46. Is 22 a factor of c(-16)?
False
Suppose -c = 4*c + 5*z, 0 = 4*c - 4*z. Suppose 0 = -4*b - 5*v + 795, 4*b + 2*v - 810 = -c*v. Is b a multiple of 7?
False
Let s be 7/28*(-2 + 46). Let z(y) = -y**2 + 22*y - 98. Does 4 divide z(s)?
False
Let o = 16 + -11. Suppose -3*s + 52 = -4*z, -s - o*z = -z + 4. Suppose i - 25 = -s. Is 4 a factor of i?
False
Let a(f) = 3*f - 62. Let y(r) = 3*r - 62. Let g(h) = 2*a(h) - 3*y(h). Is g(-19) a multiple of 7?
True
Suppose 0 = 5*i + 15, -163*m + 168*m - 132441 = 2*i. Is 80 a factor of m?
False
Suppose -46*q + 2363347 = 963935. Is q a multiple of 12?
False
Suppose -p + 47403 = 4*h, 2442*h = 2437*h - 3*p + 59259. Is h a multiple of 30?
True
Let a(m) = 71*m - 188. Let u be a(3). Suppose 55*r - 60*r + u = 0. Is r a multiple of 4?
False
Let b(r) = r**3 + 60*r**2 + 27*r - 1310. Is b(-59) a multiple of 3?
False
Suppose 4*j = 12, 2*q + 60 = -3*j - 33. Let b be (-6)/3 + q + 4. Let a = b - -105. Is 14 a factor of a?
True
Suppose 0 = 51*b - 29*b + 87*b - 299968. Is b a multiple of 32?
True
Suppose h + 6 + 27 = 0. Is (176/h)/((-2)/81) a multiple of 24?
True
Suppose 70*b = -5*h + 75*b + 3615, -2*h + 1439 = 5*b. Is 5 a factor of h?
False
Let f(v) = 62*v. Let y be f(1). Suppose 29*z = 18*z + 462. Suppose -2*h + y = -z. Is 13 a factor of h?
True
Suppose -274*m + 222832 = -716364 - 195438. Does 82 divide m?
False
Suppose -106*x + 216074 = -86*x - 3166. Is 58 a factor of x?
True
Suppose 245*x - 842981 = 157*x + 306915. Is x a multiple of 86?
False
Let y(i) = 237*i**3 + i**2 + 4*i - 2. Let r be y(2). Suppose -3*n = 2*m - 2835, r = 2*n - m - 3*m. Is n a multiple of 22?
False
Suppose 0 = -37*j + 861068 + 334772. Suppose -j = -9*o - 23*o. Does 50 divide o?
False
Is 7 a factor of 143584/32 - (0/5 + -5)?
False
Let j be -12*-103*(-1)/(-4). Let k be (-1)/(((-28)/(-804))/7). Let c = k + j. Is c a multiple of 18?
True
Let g be 3/(-6) + -3 + (-129)/(-6). Suppose 5*x - 63 = -g. Is (-537)/(-6) + 3 - x/6 a multiple of 13?
True
Let v(c) = -7*c + 13. Let y be v(0). Does 13 divide (-15)/(-13) - 2/y - -103?
True
Let z = 38 + 84. Let k = 473 + z. Is 57 a factor of k?
False
Is -1*4/(5/(-3140) - 0) a multiple of 11?
False
Suppose -18 = 9*k - 18*k. Suppose 0 = -2*y - k*m - 10, m + 3 = -3*y - 6. Is y - (1 - 12/3 - 66) a multiple of 17?
False
Let r = -38339 - -56499. Is 40 a factor of r?
True
Suppose -8*n = -457 - 215. Suppose 0 = 8*j - 156 - n. Is 5 a factor of j?
True
Let k(c) = -114*c**2 + c + 15229. Is k(0) a multiple of 97?
True
Let v(q) = -q**2 - 32*q - 27. Let t be v(-19). Suppose t = 14*g - 3*g. Is g a multiple of 4?
True
Let z(b) = 6*b**2 + b - 8. Let h(f) = 2*f**3 + 4*f**2 + 4*f + 2. Let y be h(-2). Does 7 divide z(y)?
False
Suppose -3740 = -14*w + 13*w - i, -5*w + 18700 = 3*i. Is w a multiple of 22?
True
Suppose -g 