6))?
False
Suppose -551*g - 24834 + 111441 = -542*g. Does 4 divide g?
False
Suppose -111*k = -112*k. Suppose k = 12*l - 8*l - d - 248, 16 = -4*d. Does 8 divide l?
False
Let r(u) = 9*u**2 - 46*u - 24. Suppose 30 = 7*p - 4*p. Does 52 divide r(p)?
True
Let w = 32582 + -21725. Does 18 divide w?
False
Let a(n) = 5*n - 16. Let r(z) = 9*z - 31. Let u(g) = 5*a(g) - 3*r(g). Let l be u(9). Let q(o) = 4*o**2 + 15*o + 11. Is 36 a factor of q(l)?
True
Suppose 7*h - 35275 = -8787. Is h a multiple of 86?
True
Suppose -170168 - 18202 = -18*o. Does 115 divide o?
True
Let d(m) = -m**3 - 26*m**2 + 13*m + 39. Let v be d(-27). Suppose 63 = 8*o - v. Is 10 a factor of o?
True
Let q = 4817 - 4190. Does 19 divide q?
True
Let i be (-16)/(-4) + 2 + -3. Let n(c) = 10*c**2 - 12 - 42*c**3 + 80*c**3 - 39*c**i. Is 27 a factor of n(7)?
True
Is 12 a factor of 2 - (29*-67 + (-9 - -4) + 6)?
True
Let o = 428 - 252. Suppose 184*t - o*t - 2448 = 0. Is t a multiple of 18?
True
Is 18 a factor of (-225)/60*38*(-48)/1?
True
Let j(x) = 5*x**2 + 5*x + 5. Let w be j(-1). Suppose -w*a + 1204 = -1366. Suppose -n - 5*z = 28 - 134, 4*n = -2*z + a. Is n a multiple of 10?
False
Let w(p) = -28*p**3 + 2301*p**2 - 54*p - 122. Is 114 a factor of w(82)?
True
Suppose -4*m + u + 30 = 0, 3*u - 22 = -4*m + 2*m. Let t(s) = s**2 + 19*s - 15. Let q be t(-20). Suppose -q*r + 0*c + 24 = -3*c, -r + m = c. Does 6 divide r?
True
Suppose 3 = -0*d - d, 2*d - 30 = -3*s. Suppose -332 + 3848 = s*t. Is t a multiple of 11?
False
Suppose 60*h + 157*h - 585394 = 39566. Does 9 divide h?
True
Suppose 70 = 4*o + o. Suppose 19*p - 1860 = o*p. Is 31 a factor of p?
True
Let u(v) = 12*v**2 + 3. Suppose 0 = 2*f - 2. Let j(a) = a**2 - 1. Let y(t) = f*u(t) + 6*j(t). Is y(2) a multiple of 23?
True
Suppose -140 = -3*k + 130. Suppose 0*o + 10*o - k = 0. Is 2 a factor of o?
False
Let p(j) = -j**3 + 4*j**2 + 29*j - 112. Let o be p(5). Is 8418/39 + o/52 a multiple of 54?
True
Suppose -109446 = -18*h - 32832 + 107670. Is 146 a factor of h?
False
Let o(n) = -37*n - 20. Let j(i) = -3*i**2 - 8*i - 8. Let z be j(-1). Let a be o(z). Let k = a - -32. Does 21 divide k?
False
Is 2917 - (68/20 - 4)*5 a multiple of 5?
True
Suppose -o + 47528 = -4*d, 77260 = 5*o + 3*d - 160334. Is 108 a factor of o?
True
Suppose 0 = 7*a - 20*a + 7696. Suppose -4*n + j + 788 = -j, -a = -3*n + j. Is n a multiple of 9?
True
Let f = -9590 - -57385. Does 79 divide f?
True
Suppose 35*p + 25*p = 57*p + 129060. Is 180 a factor of p?
True
Let k be (-41)/(-5) - 1*5/25. Let p(h) = -2 - 1 - 2 + 4*h. Is p(k) a multiple of 7?
False
Let g(l) = -l**3 - 8*l**2 + 9. Let v be g(-8). Suppose 467 = u - 3*h, u - v*h + 11*h = 452. Does 43 divide u?
False
Suppose 0 = -4*c + d + 361, d + 209 = 3*c - 62. Let f = -86 + c. Suppose f*q + 157 - 493 = 0. Is q a multiple of 14?
True
Suppose -g - 12 = -3*l, l - 4 = -13*g + 15*g. Suppose -l*p + 191 = 3*q - 203, -p + 102 = -q. Is p a multiple of 5?
True
Let y(i) = -3*i - 10. Let m = 52 - 57. Let n be y(m). Suppose 3*q = q - n*p + 72, -2*p = 2*q - 72. Is q a multiple of 9?
True
Let d be ((-128)/224)/(2/(-14)). Suppose 0 = -5*f - 3*j + 1441, d*j + 46 - 324 = -f. Is 5 a factor of f?
True
Suppose 8*i + 0*i + 11201 = 45761. Is 27 a factor of i?
True
Let g(c) = -4*c**2 + 3*c - 29 + 0*c**3 + c**3 - 4*c**3 + 32. Let n be g(-2). Suppose 3*a + 0*r - 3*r - 312 = 0, n*r = 20. Is 12 a factor of a?
True
Is 62 a factor of (4/(-6))/((-1)/39732)?
False
Let p(n) = 2*n**2 + 28. Let t be p(0). Suppose t = 4*u + 4*s, -s = -2*u - 6*s + 29. Is 5 a factor of (2 - u*2)/(22/(-297))?
False
Let j(x) = x**2 + x**2 - 9*x - 9*x - 3*x**3 - 9. Is j(-5) a multiple of 13?
False
Suppose -7*o - 23*o - 9*o + 834678 = 0. Is o a multiple of 58?
True
Let v be ((-108)/15)/(((-108)/(-680))/(-9)). Suppose -96 = 3*y - v. Is y a multiple of 13?
True
Suppose -14*z = 12699 - 31795. Does 62 divide z?
True
Let c = 14 - 11. Suppose 0 = -c*q + v + 41, q - 5*v + 3 = -2. Suppose -2*y - 2*g = -14, -3*g + q = 2*y - 3. Is y even?
False
Let h = 7 - 3. Let n be ((-132)/66)/(3/((-9)/2)). Suppose -4*f - 8 = 0, n*r + 403 = h*r + 4*f. Is 49 a factor of r?
False
Let s(n) = n**3 + 8*n**2 - 5*n + 21. Suppose -44*h + 40*h = 28. Is 8 a factor of s(h)?
False
Let g(h) = -3*h**2 + 17*h + 6. Let l be g(5). Let n be 1144/l - (3/2 - 2). Suppose -y + n = -4*q, 0 = -5*y + y + 5*q + 310. Is 8 a factor of y?
True
Let i(q) = 17*q + 3. Let j be i(1). Let k = j - 21. Is 9 a factor of k + -45*(3/5 - 1)?
False
Let g(v) be the third derivative of v**5/30 + 7*v**4/8 + v**3/6 - 15*v**2. Let r be g(-14). Is (12 + -10 - (1 + -2)) + r a multiple of 17?
True
Let u(j) = -2*j**3 + 27*j**2 + 37*j + 4. Does 218 divide u(13)?
True
Let u = -9533 - -15045. Does 55 divide u?
False
Suppose 8*l + 4482 = 26*l. Suppose 5*m = 231 + l. Is 6 a factor of m?
True
Suppose 4*g = -501 + 261. Is 19 a factor of ((-285)/g)/((-2)/(-32))?
True
Let l(c) = -115*c**3 - 11*c**2 - 8 + 121*c**3 + 12*c + 4*c**2 - 3*c. Is l(6) a multiple of 37?
False
Let s(p) = -16*p + 193. Let u be s(10). Let b(h) = -2*h**3 + 6*h**2 + 7*h + 2. Let c be b(5). Does 9 divide (c/5)/(u/(-220))?
False
Is 13 a factor of (33925/(-175) - -55)/(3/(1890/(-4)))?
False
Let i(o) = -o**3 + 20*o**2 - o + 29. Let j(u) = -u**3 + 20*u**2 + 31. Let n(h) = -5*i(h) + 4*j(h). Is 36 a factor of n(20)?
False
Suppose 0*y - 6 = -m + 2*y, 3*m + 12 = -4*y. Suppose m = 5*i - 2*g - 904, 149 = i + g - 29. Does 13 divide i?
False
Let a = -602 + 606. Let i(x) = 12*x**3 - 6*x + 12. Is 27 a factor of i(a)?
True
Let b be 4/1 + 1951 + (-7 - -2). Suppose 143*j = 138*j + b. Is 10 a factor of j?
True
Let x(d) = 2*d**3 - 51*d**2 - 627*d - 65. Is 11 a factor of x(35)?
True
Let z be 23/(-5) - -4 - (-22696)/(-40). Let h = -505 - z. Does 7 divide h?
True
Let t = -251 + 300. Suppose 0 = q - t - 47. Is 16 a factor of q?
True
Let a = 61372 - 38346. Is 7 a factor of a?
False
Let j = 10263 - 7221. Is j a multiple of 39?
True
Let s(y) = -35*y + 10 - 2 + 7 - 19*y**2 - y**3. Let k be 17*3/(-12)*4. Is s(k) a multiple of 4?
True
Suppose 3*a - 85 + 67 = 0. Is 6 - (-15)/(18/a) a multiple of 3?
False
Let h be 285/25 + (24/(-10))/(-4). Let l be (6*8/h)/1. Suppose l*x - 27 - 240 = -3*r, 2*x - r = 121. Is 6 a factor of x?
False
Let n be ((-14)/(-105)*-5)/(1/(-6)). Suppose -n*k - 4*u + 6*u + 4446 = 0, 0 = -u + 3. Is k a multiple of 53?
True
Suppose 11*k - 20 = -5*w + 13*k, 2*w - 3*k = -3. Does 27 divide (w - (-15)/20)*48?
True
Let q(s) = -9*s + 4. Let n be q(-14). Suppose 0 = 2*y - 5*m + 10, -4*y - 4*m = -5*m - 16. Suppose y*v - n - 590 = 0. Is v a multiple of 16?
True
Suppose 133*l - 136*l = -51. Suppose -289 - 1037 = -l*o. Is 7 a factor of o?
False
Suppose -12*y + 14*y = 6. Suppose -252 = -4*p - 2*w, -9*p + 118 = -7*p + y*w. Is 4 a factor of p?
False
Let v(g) = 68*g + 11. Suppose -10 = -2*n + h - 0, n - 5 = 2*h. Is 5 a factor of v(n)?
False
Let w be (-24)/(-32) + (-1 - 7/4). Let m be (-1)/(2 + -1)*-104. Let b = w + m. Is b a multiple of 8?
False
Is 15 a factor of (-17 + 10)/(2*3/(-1878))?
False
Suppose 4*y - 20 = 0, -5*y - 39 + 272 = 2*q. Let d = q + -50. Let u = d - 23. Is u a multiple of 9?
False
Suppose g = -5*j - 2701 + 18540, 3*j + 5*g - 9499 = 0. Does 190 divide j?
False
Let j(q) = -q**2 - 71*q + 186. Is 9 a factor of j(-29)?
True
Let z = 10 + -35. Let q = z - -10. Does 14 divide 16 + 10/q*3?
True
Suppose 129 - 117 = -6*l. Let w be (-1)/((-2)/(-8)) + -1. Is 11 a factor of 2*w/((-15)/51) - l?
False
Let c = 156 - 118. Let j = -36 + c. Suppose j*w + 12 = -w, -w = 5*v - 556. Is 16 a factor of v?
True
Let n be 14/(-49) + (-560454)/(-21). Is 16 a factor of n/56 - (17/(-7) + 3)?
False
Let i = -7363 + 10555. Does 12 divide i?
True
Suppose -76160 = -938*h + 921*h. Does 7 divide h?
True
Let q = -1 + -8. Let n = -118 + 142. Let z = n + q. Is 3 a factor of z?
True
Let j = 3674 + -2005. Does 16 divide j?
False
Suppose -19 + 67 = 4*p. Let a be p/(-28) - (-48)/14. Suppose -a*o = -0*o - 72. Is 24 a factor of o?
True
Let p(h) = 118*h**2 - 1083*h + 65. Does 6 divide p(15)?
False
Suppose 245*r - 527796 = 137*r. Is r a multiple of 3?
True
Suppose 4*f = 24*f - 233220. Suppose f = 6*s + 2601. Is 19 a factor of s?
False
Let k(o) = 2*o**2 + 18*o + 21. Let v be k(-8). Suppose -t + 4*t - 696 = 0. Suppose t = v*g - 578. Is g a multiple of 35?
False
Suppose -u 