03*c**3 - c**2 + 3*c - 2. Let f be g(w). Let x = f - 29. Is x a multiple of 16?
False
Suppose -720 = 7*d - 2*d. Let v = -79 - d. Suppose 5*z + v = s, 0 = -5*s + 2*z + 137 + 142. Is s a multiple of 15?
False
Suppose -g = -2*t - 79, g - 53 - 56 = -4*t. Let r be 14/(-28) + g/(-2). Let a = r - -61. Is 6 a factor of a?
False
Suppose -7*c + 399 = -14*c. Is 8 a factor of (-11)/(11/c) - 7?
False
Let s = -39 + -40. Let j = s + 79. Does 12 divide (j - 14)*24/(-2 - 2)?
True
Let f = -17408 + 22365. Does 2 divide f?
False
Let u(x) = 2962*x + 10741. Does 12 divide u(6)?
False
Let s = 6790 - 3579. Is s a multiple of 13?
True
Let w = 20747 - 11185. Is 97 a factor of w?
False
Let y(g) = 846*g - 512. Does 34 divide y(4)?
False
Suppose 66180 = 288*f - 276*f. Suppose -z + 1086 = -4*y, 13*z - f = 8*z + 3*y. Is 14 a factor of z?
True
Let z be 1*-8 + 24/6. Let x = z - -76. Suppose -2*p - o = -x, 0*p - 3*p = -5*o - 95. Is p a multiple of 35?
True
Suppose -2*c = -3*g - g, -3*g + 4*c = 0. Suppose -2*l - 4 = g, 0 = 2*x - 0*l - 3*l + 12. Let b = x + 76. Does 17 divide b?
False
Let q(r) = -104*r + 684. Is q(-15) a multiple of 22?
True
Let n = -500 - -3383. Suppose 13*u - n = 393. Is 28 a factor of u?
True
Let z = -317 + 1619. Suppose 419*p - 416*p - z = 0. Is 7 a factor of p?
True
Is 6 a factor of -24 - (-3406)/143 - 89500/(-22)?
True
Let d(z) = z**2 - z + 1. Let a = 19 + -17. Let t(v) = 3*v**2 - 5*v + 2. Let h be t(a). Does 3 divide d(h)?
False
Let n(s) = s**2 + 9*s - 7. Let a be n(-10). Suppose 0*l - 20 = -4*l + a*y, -2*y = l - 5. Suppose -36 = -d - l*k, 4*d + 3*k - 11 = 48. Is d even?
False
Let m(b) = b + 19. Let j be m(19). Let u = 201 - j. Let v = u + -115. Is v a multiple of 12?
True
Suppose 1221 + 739 = 8*u. Let c be (-4 - 0) + 3 + u. Suppose -5*j - 5*n = -580, n - 2*n = -2*j + c. Is 24 a factor of j?
True
Let w(r) = 51*r**2 - 318*r + 71. Is 76 a factor of w(21)?
True
Let p(z) = -72 - 2*z - 18*z**2 - 14*z - z**2 - 28*z + 13*z**3. Let q(y) = -3*y**3 + 5*y**2 + 11*y + 18. Let l(m) = -2*p(m) - 9*q(m). Does 9 divide l(9)?
True
Let d(x) = -10*x**3 - 3*x**2 + x + 3. Let r be (-12)/15 - (-1)/(-5). Is d(r) a multiple of 3?
True
Let a = -186 + 188. Does 30 divide 1*a/(0 + 6/669)?
False
Suppose -435 = -n - 4*m + m, 0 = 5*n - m - 2207. Suppose l + 2*h - 406 = 0, 2*l - 3*l + 5*h = -n. Is 26 a factor of l?
True
Let d(c) = -c**3 - 3*c**2 - c + 1. Let b be d(-3). Let z be (b/(-8))/(303/102 + -3). Suppose -z*l = -15*l - 22. Is l a multiple of 11?
True
Let a = 43 + -44. Let j = -32 - -21. Does 10 divide (-11 - j) + (-86)/a?
False
Let g(f) be the second derivative of f**4/2 + 2*f**3/3 + 54*f**2 + 2*f - 97. Is 46 a factor of g(15)?
True
Does 40 divide (-924)/(-77) - (2 - 3110)?
True
Let p(t) = 1 - 31*t - 20*t + 39*t + t**3 + 9*t**2. Suppose 3*z + 0*z + 27 = 0. Is p(z) a multiple of 7?
False
Let y(x) = -3*x - 2. Let l be ((-336)/(-40))/(3/20). Suppose -4*h = -0*h + l. Is y(h) a multiple of 24?
False
Suppose 0 = n + 1, 132*q - 64 = 131*q + 2*n. Let p = 45 - -45. Let g = q + p. Does 20 divide g?
False
Let p be (0 + (8 - 4))/(2/1). Let x be (3 + -2)*(1 + -1)/p. Suppose -2*u + 100 + 0 = x. Does 10 divide u?
True
Let h(d) = 79*d + 5. Let a be h(8). Does 17 divide a/(-91) - (0 + -1418)?
True
Let n(h) = 16*h**2 - 6*h + 5. Suppose -y - 2*i - 19 = -6*y, i = y - 5. Let b be n(y). Suppose 0 = -l + b - 79. Is l a multiple of 25?
False
Let r(i) = 18*i**3 + 6*i**2 - 11*i + 44. Does 26 divide r(6)?
True
Let n(q) = -q**2 + 62*q**3 + 12*q**3 + 3*q - 4 + 4 - 2. Is 10 a factor of n(1)?
False
Suppose -45*u = 143*u - 12596. Does 2 divide u?
False
Suppose 45472 = -15*u + 44*u. Let j = u - -42. Is 101 a factor of j?
False
Suppose 19*z - 23*z - 1510 = -2*q, -5*z - 3775 = -5*q. Does 5 divide q?
True
Let b = 1714 - 1412. Does 13 divide b?
False
Let t be -4 - 6/(6/(-7)). Suppose -3*c + 22 = 4*v, c - t*v - v = 2. Suppose -6*f - c = -7*f. Is f a multiple of 6?
True
Suppose 3*y = -9 + 45. Let k = -63 + 114. Suppose 11*w + k = y*w. Does 3 divide w?
True
Let n(i) = i**2 + 3*i + 3. Let o be n(-3). Let s be 6/(-9) + 62/o. Is 2 a factor of 1*s - 22/11?
True
Suppose -61*n + 14059 + 588926 = 0. Is n a multiple of 15?
True
Let p = -2094 + 24054. Is 20 a factor of p?
True
Is 18/(54/17805) + -15 a multiple of 20?
True
Let b = 31 + -63. Let j(c) = -c**2 - 60*c - 51. Is 65 a factor of j(b)?
True
Let g(i) = i**3 - 18*i**2 + 17*i + 21. Let v be (6 + -5)/(2/34). Let r be g(v). Suppose 14*z - r*z = -770. Is z a multiple of 19?
False
Let k = 21149 + -14408. Does 21 divide k?
True
Is 35 a factor of (0/2 - 35)*(603 + -652)?
True
Is (-2763322)/(-114) + -13 + 8/(-3) a multiple of 16?
True
Let u = -3148 + 4696. Does 9 divide u?
True
Let r(h) = 3*h + 3. Let f be r(2). Suppose -f*a + 0*a + 36 = 0. Suppose a*t = 58 + 62. Is 18 a factor of t?
False
Let u = 13634 + 2206. Is u a multiple of 11?
True
Suppose 237*s = 116*s - 683572 + 4865453. Does 272 divide s?
False
Let s be 4/(84/267) + (-4)/(-14). Let t(y) = -4*y - 45 - 22 - 3 + s. Is t(-17) a multiple of 11?
True
Let f(n) be the second derivative of n**4 + n**3 - 14*n**2 + 150*n. Is f(-12) a multiple of 37?
True
Let p = -86 + 163. Suppose -a + p + 195 = 0. Does 16 divide a?
True
Let p = -684 - -1389. Suppose 5*c - p = -3*y, 0 = 37*y - 39*y. Does 3 divide c?
True
Does 15 divide -3 + -13 + (-275412)/(-18) + (-1)/(-3)?
True
Suppose -3*g - 21 = -6. Let v = -82 + 32. Let b = g - v. Is 35 a factor of b?
False
Let c(m) be the second derivative of m**4/12 + m**3/2 + 3*m**2 - 3*m. Let h be c(-2). Is 20*(25/2 - h) a multiple of 34?
True
Let k = 91701 - 55772. Is 320 a factor of k?
False
Suppose 0 = -21*w - 910 + 2779. Let g be ((-3)/(-2))/1*42. Let a = w - g. Is a a multiple of 3?
False
Suppose 2*p - 1047 = 5*c - 4560, -c - 2*p = -705. Suppose 8*b - c = 889. Suppose -b - 57 = -8*z. Is 7 a factor of z?
False
Let j(b) = b**3 + b**2 - b. Let f(r) = -7*r**3 - 14*r**2 + 15*r - 12. Let z(c) = -f(c) - 6*j(c). Suppose 3*g + 11 = -13. Is z(g) a multiple of 21?
True
Does 154 divide (-7)/(35/2)*-15785?
True
Let j be 0 + (-2 - -3 - 4/1). Let h be (27/(-6))/(j/52). Let k = h + -19. Is 13 a factor of k?
False
Let m(z) = -8*z - 119. Let n(a) = 41*a + 594. Let d(j) = -11*m(j) - 2*n(j). Does 7 divide d(-19)?
True
Let c = -109 + 102. Let h = c + 17. Suppose h*o = 6*o + 96. Is 8 a factor of o?
True
Suppose 79*r - 59 + 217 = 0. Let a(z) = 16*z**3 + 3*z**2 - 2*z + 7. Let l(w) = -w**3 + w - 1. Let g(v) = -a(v) - 4*l(v). Is 17 a factor of g(r)?
True
Let f = 46900 + -6916. Is f a multiple of 49?
True
Let s be (40/22 + (-18)/(-99))/1. Is (-4)/7 + ((-8200)/(-70))/s a multiple of 29?
True
Let y = 44 + -57. Let o(i) = -i**3 - 13*i**2 - 6*i - 13. Let q be o(y). Suppose -19*u + q = -14*u. Does 6 divide u?
False
Let u(p) = -p**2 - 38*p + 8. Let v = 221 - 228. Is 9 a factor of u(v)?
True
Suppose 15*x = 3 + 27. Suppose 154 = 3*h + x*u - 108, -2*h + 3*u = -153. Suppose -30*g + 32*g - h = 0. Does 42 divide g?
True
Suppose -2*i = 5*p - 21418, -18*i + 22*i - 4280 = -p. Is p a multiple of 46?
False
Suppose 3*n - 2*b - 117 = 0, -5*n + 25*b = 28*b - 176. Does 15 divide (68 + -29)/(3/n)?
False
Let m be 1*(6 + -3 - 0/1). Suppose m*h = -3*h + 2*h. Let u(v) = -5*v + 8. Does 3 divide u(h)?
False
Let q(r) = -221*r + 4814. Does 12 divide q(-35)?
False
Let x(p) = -37*p - 60. Let b(i) = -72*i - 118. Let y(m) = -4*b(m) + 7*x(m). Is 24 a factor of y(0)?
False
Suppose -3*r + 9 = -9. Suppose -r*d + 106 = 94. Is ((-319)/(-22))/((-3)/(-96)*d) a multiple of 29?
True
Suppose -240 = -8*g + 144. Let a = g + 90. Is a a multiple of 9?
False
Suppose 5*z - 2*z - 11 = 4*q, -z + 12 = -3*q. Let y be 6 - -1 - (q - -8). Suppose -y - 62 = -2*r. Is r a multiple of 3?
True
Is (9 + (-133)/14)*-10022 a multiple of 25?
False
Let c(h) = 2*h**3 - 60*h**2 + 29*h - 41. Let q be c(30). Let n = q - 460. Is n a multiple of 13?
False
Let o = 1534 + -1041. Is 12 a factor of o?
False
Let c(r) = -100*r**3 + 17*r**2 + 4*r - 1. Let n(b) = 49*b**3 - 8*b**2 - b. Let y(d) = 4*c(d) + 9*n(d). Is y(1) a multiple of 3?
False
Suppose 0*k = -4*q - 4*k + 2972, -12 = -4*k. Let s = q + -283. Is s a multiple of 11?
False
Let v(a) = 3308*a**2 + 11*a + 35. Is 29 a factor of v(-2)?
False
Suppose -6823 = -a - 1009. Suppose 0 = 8*y - 42*y + a. Is y a multiple of 19?
True
Suppose -4*s = -b - 639, -