*4 - 35*g. Does 16 divide k(-6)?
True
Suppose -1914 = -3*l - 0*l. Suppose 4*h - q - 2547 = 0, h - l = q - 2*q. Suppose 7*i - h = 714. Is 33 a factor of i?
False
Suppose 578*z - 1132*z - 54692 = -565*z. Does 67 divide z?
False
Suppose 2974818 = -422*j + 704*j. Is 137 a factor of j?
True
Let s be (-225)/(-1) - (0 + -1). Let n(x) = -x**3 - 37*x**2 - 37*x + 107. Let t be n(-36). Let y = s - t. Does 6 divide y?
False
Suppose 2*o = 30*a - 25*a + 29433, 29316 = 2*o + 8*a. Is o a multiple of 79?
True
Let y be (-17)/(-170) - 4921/10. Let o = 1864 + y. Does 98 divide o?
True
Suppose -34*b - 32070 = 5*b - 105702. Does 4 divide b?
True
Let h(u) be the second derivative of 3*u**3/2 - 17*u**2 + 25*u. Let k be h(4). Suppose k*q - 333 + 75 = 0. Does 6 divide q?
False
Let z = 1971 + -1716. Is 115 a factor of z?
False
Suppose -3 = -g - 3*o + 8, 5*o = -2*g + 20. Let u = 75 + -69. Suppose -g*j - 68 = -u*j. Does 45 divide j?
False
Let n = 12703 + -7904. Does 7 divide n?
False
Let i(r) = -4*r**3 - 4*r**2 - 3*r - 1. Let u(w) = w**2 + 0*w**3 + 3 + 5*w**3 + 3*w + 2*w**2 - 1. Let t(z) = 4*i(z) + 3*u(z). Is t(-8) a multiple of 18?
True
Does 10 divide (-2744324)/(-679) - ((-1)/7)/(2/4)?
False
Is 6196/(-3)*(17 - 23)/(4 - 2) a multiple of 23?
False
Let q(u) = 854*u**2 - 846*u - 4195. Does 13 divide q(-5)?
True
Let z = -46 + 7. Let f be (-1*3)/(z/26). Suppose 3*b - 6 = 0, f*r + b - 200 = 2*b. Is r a multiple of 31?
False
Does 4 divide (1480/(-14))/(32/(-112))?
False
Let v(m) = -m**2 - 20*m - 42. Let n(g) = 2*g**3 - 10*g**2 - 47*g - 14. Let f be n(8). Is v(f) a multiple of 7?
True
Suppose 0 = 10*m - 9164 + 954. Does 2 divide m?
False
Let z(h) = 41*h**3 - 852*h**2 - 17*h + 24. Is z(21) a multiple of 23?
False
Let i = -424 - -432. Does 6 divide 2*-1*(i + 3171/(-14))?
False
Let y(s) = 9*s - 51. Let f be y(5). Is ((-820)/f)/(43/258) a multiple of 41?
True
Does 7 divide -10 - -1658 - -3*(-6 + 5)?
True
Let k be (-1)/5*300/(-15) - 3. Is 23 a factor of (k + 298)*18/6?
True
Suppose 0 = -6*s + 2*s - p + 133, -4*p - 12 = 0. Let q be (8/(-12))/(s/18 - 2). Suppose -5*t = q - 41. Does 2 divide t?
False
Does 16 divide 102/272*45620/15 + 6/(-4)?
False
Let x(g) = 3*g**3 + 2*g**2 - 7*g. Let y be x(3). Let p = 850 + y. Is p a multiple of 16?
True
Let t = 104 + -173. Let p = 360 - t. Does 13 divide p?
True
Let v = 13086 - 11621. Does 9 divide v?
False
Suppose 3*f - 1722 = -237. Suppose -3*l + 411 = 3*q, -4*q - 2*l + 45 = -f. Suppose q = -0*u + 7*u. Is 3 a factor of u?
False
Let l be (3 - 3)*(4 + -6 + 1). Suppose 5*h + 3*u - 787 - 2558 = l, 0 = -3*h - u + 2011. Is 84 a factor of h?
True
Let v = 34 - 36. Is 18 a factor of 4*(1452/(-36))/(v/6)?
False
Let b = -56 + 56. Suppose b*j - 7*j + 672 = 0. Is j a multiple of 11?
False
Let t(g) = g**2 - 11*g - 14. Let b(p) = 2*p**2 - 32*p - 41. Let o(j) = 4*b(j) - 11*t(j). Let i be o(9). Let l = -173 - i. Is 30 a factor of l?
False
Let x(o) = -o**3 - 16*o**2 - 14*o + 12. Let d be x(-15). Let a be d*1*(-2335)/15. Suppose 0 = 3*j - 325 - a. Is j a multiple of 44?
True
Suppose 5*a = -d + 354, -5*d - 3*a - 128 + 1810 = 0. Let r be 2/11 + (-30)/165 + d. Suppose -q - x + 86 = 0, 6*q - 2*q - x = r. Is 7 a factor of q?
True
Let i(q) = 3*q**2 + 20*q + 29. Let f be i(-16). Let g = f + -300. Is 59 a factor of g?
True
Let p(h) = -10*h - 28. Suppose -2 + 54 = -4*s. Let l be p(s). Suppose -3*v + l = -2*o, 3*o + 34 = v + o. Is 17 a factor of v?
True
Suppose 2*v - 1 = q + 4*v, q + 1 = 3*v. Let a be (q + 13/(-2))*2376/165. Let m = 278 + a. Is m a multiple of 23?
False
Let r = 369 - 1385. Let m = -566 - r. Does 6 divide m?
True
Let p(o) = 45 - 2*o + 5*o - 2*o. Let s = -3568 + 3576. Is 11 a factor of p(s)?
False
Suppose -119862 + 49647 = -126*f - 29*f. Is 7 a factor of f?
False
Let z(s) = 1370*s + 746. Is z(16) a multiple of 14?
True
Suppose 0 = -0*d + 7*d - 2327 - 1544. Does 8 divide d?
False
Suppose 5*k + 3*y = 6*k - 23280, 2*y - 116315 = -5*k. Does 15 divide k?
True
Let q = -99 - -1350. Suppose -48*p = -2109 - q. Is 30 a factor of p?
False
Suppose -4*g + 8102 = -3*z - 6886, g - 3747 = 3*z. Is 30 a factor of g?
False
Suppose 28*s - s = 621. Let i(k) = 3*k**2 - 15*k - 102. Is i(s) a multiple of 38?
True
Let n(h) = 101*h**3 - 2 + 21*h**3 + 4*h + 62*h**3 - 3*h**2. Does 14 divide n(2)?
False
Suppose -1009 = 2*f - 4*i - 23419, 3*i - 56051 = -5*f. Is f a multiple of 11?
True
Let g = 2441 + -2019. Does 2 divide g?
True
Suppose 2*i = -2*n + 8, 0 = -5*i - 9 + 4. Suppose -2*g - g - 9 = 0, -n*g = -2*p + 9. Is 58 a factor of p + 2 + 1*240?
False
Let h(j) = -j**3 + 5*j**2 + j + 5. Let i be ((-1)/2)/((-10)/980). Let c = i - 44. Is 5 a factor of h(c)?
True
Let p(o) = -4*o**3 - 2*o**2 - 3*o - 2. Let j be p(-1). Suppose 0 = 5*a + j*z - 2*z + 36, 4*a + 32 = -4*z. Let q(y) = -5*y - 16. Is q(a) a multiple of 2?
False
Let d = 16889 + 3851. Is d a multiple of 170?
True
Let m(i) = i**3 - 11*i**2 + 11*i + 20. Let h = -281 - -293. Does 21 divide m(h)?
False
Let h = 6651 - 2528. Is 2/(-12) + h/42 a multiple of 27?
False
Suppose 13*p - 41539 = 12879. Is p a multiple of 23?
True
Suppose 0 = -4*k + 6*j - 4*j - 4, 0 = 5*j. Let w(b) = -809*b**3 - 3*b**2 - 3*b + 1. Is 45 a factor of w(k)?
True
Let w(q) = -4*q**3 - 2*q**2 + 11*q - 45. Is 18 a factor of w(-5)?
False
Let z(d) = d**3 + 6*d**2 - 9*d - 9. Let v be z(-7). Let y(b) = 3*b - v - 12 + 16*b**2 + 16. Does 18 divide y(-2)?
False
Let f(x) = 100*x + 94. Let q be f(-10). Let v = q + 1526. Does 31 divide v?
True
Let q(a) = 259*a**3 + a**2 - 3*a + 1. Suppose 6 = -8*i + 14*i. Is 18 a factor of q(i)?
False
Let d = 937 - 205. Let s = 1577 - d. Is s a multiple of 65?
True
Let q = 148 - 245. Let o = q - -128. Does 2 divide o?
False
Suppose -49*c - 4*a - 59276 = -51*c, 5*a = c - 29629. Does 17 divide c?
False
Suppose -f - 20 = -5*f + b, -4*b = -f + 20. Suppose -2*t = -3*x + f, -3*x + t + 1 = -2*x. Is x a multiple of 2?
True
Suppose 0 = -o + 5 + 1. Is 27 - ((o - 1) + -2) a multiple of 6?
True
Suppose 3*z - 7 = -u + 2*u, 3 = -z + 3*u. Suppose 3*q - 24 = -4*h, z*h + 2 = 2*q + 3. Suppose 2*f = 0, 364 = 6*b - 2*b - q*f. Is 13 a factor of b?
True
Let n = -2850 - -6156. Is n a multiple of 35?
False
Let c be (-123 + 6)/(2*(-3)/72). Suppose 8*f + 5*f - c = 0. Does 9 divide f?
True
Let v be 2910/7 + (-2)/(-7). Suppose 543*y - 18423 = 474*y. Let q = v - y. Is 25 a factor of q?
False
Let l be 1/(3 + (-224)/76). Let w(q) = 53*q - 161. Is 18 a factor of w(l)?
True
Let c(d) = -2*d + 2. Let s be c(0). Let v = 3 + s. Suppose 18 = 5*n + 3*l - 111, 3*n - 57 = v*l. Is n a multiple of 8?
True
Let t = 5 - 3. Let n(v) = -v**3 - 6*v**2 + v - 4. Let i be n(-8). Suppose -t*k + 5*k - 101 = -4*l, -4*l = -4*k + i. Is k a multiple of 17?
False
Let o(d) = -20*d - 166. Let i be ((36/(-45))/(-2))/((-2)/80). Is 14 a factor of o(i)?
True
Let t = 81 + 727. Let b = t + -437. Does 44 divide b?
False
Suppose -5*n + 4*y = -7*n - 168, 2*n - 5*y + 177 = 0. Is 13 a factor of (n/(4/2))/((-26)/182)?
False
Suppose 43054 = 2*i + 4*z, 153*i = 152*i - 3*z + 21528. Is 25 a factor of i?
True
Let v(w) = -6*w + 97. Let b be v(6). Let m = -42 + 79. Let l = b - m. Is l a multiple of 6?
True
Let x(o) = -3*o**2 - 10*o - 754. Let m(a) = 2*a**2 + 7*a + 754. Let s(p) = 4*m(p) + 3*x(p). Does 36 divide s(0)?
False
Let p = -507 + 891. Let n = -3235 + 4007. Let v = n - p. Is v a multiple of 14?
False
Is 53279/4 + 671/(-488)*(-2)/11 a multiple of 72?
True
Suppose -5*g - s - 36 = 3*s, 4*s + 12 = g. Let a = 4 + g. Suppose a = 5*n - 10, -5*i - n + 36 = -3*n. Does 4 divide i?
True
Suppose -2*t + 14263 = 4*u - 14845, 2*t = 5*u + 29081. Is 14 a factor of t?
False
Let b = 11590 - -3337. Does 86 divide b?
False
Let j(w) = -128*w**3 + 2*w**2 + 3*w + 5. Let r be j(-2). Let o = r + -659. Is 50 a factor of o?
False
Let d = -729 + 732. Suppose -2*n - 8 = -3*o, -5*n + 14 = o - 0*o. Suppose -55 = -d*k + 5*t, -29 + 9 = o*t. Does 10 divide k?
True
Let p(n) = n**2 - 4*n + 20. Let v = 153 + -170. Is 29 a factor of p(v)?
True
Does 13 divide 2 - (171220/(-84) + 6/(-9))?
True
Suppose 5*f - 4 = -3*r + 5, -4*f = 4*r - 4. Let b be (-28)/42 + 8/f. Suppose b*t - 62 - 106 = 0. Is t a multiple of 28?
True
Suppose -26728 - 14033 = -17*c - 1423. Is 20 a factor of c?
False
Let p(n) = -n**2 + 3*n + 3. Let q be p(4). Let s be 4/((0 - 2)/4*q). Is 4 a factor