g + 9. Let y be a(7). Suppose 0 = -5*c + w*x + 185, 4*x - y + 0 = 0. Does 8 divide c?
False
Suppose 3139 = 17*i - 7078. Does 18 divide i?
False
Let j = -414 + 603. Is 9 a factor of j?
True
Suppose -2*o + 3*g = -21, -g = 2*o - 6*g - 31. Let q(r) = -r + 21 + o - 1 + 6. Is 29 a factor of q(0)?
True
Suppose -4*f - 191 = -3. Let i = 17 - f. Suppose -i = -4*w - 2*d, -4*w - 3*d - 16 = -5*w. Is w a multiple of 7?
False
Suppose 0*x = -3*x - 153. Let h = 85 + x. Let y = h + 28. Is 31 a factor of y?
True
Suppose 0 = -2*r + r + 2. Suppose -s = 4*c - 16, -4*c + c = -r*s - 23. Is c a multiple of 5?
True
Suppose 0*g + 653 = 4*i + g, -5*g + 673 = 4*i. Does 9 divide i?
True
Let u(f) = -f**3 + f**2 + f + 1. Let n(k) = -3*k**3 + 20*k**2 + 21*k - 16. Let w(y) = -n(y) + 4*u(y). Is w(-15) a multiple of 5?
True
Let l(t) = -4*t + 6*t - 3*t + 8 + 3*t. Let y be l(-14). Let j = 0 - y. Is 10 a factor of j?
True
Let a be -116*261/(-12)*2/6. Let t = a + -441. Is t a multiple of 20?
True
Let s(n) = 13*n + 109. Is s(21) a multiple of 25?
False
Let s(q) = -q**2 - 39*q**3 - 4 + 11*q**2 + 15*q + 40*q**3 - 3. Does 7 divide s(-7)?
True
Suppose x = -5, 8*v + 5*x - 511 = 7*v. Is v a multiple of 18?
False
Suppose -5 = -r, -15*m = -12*m + 5*r - 3622. Is m a multiple of 49?
False
Let d(r) = -r**3 + 13*r**2 - 6*r + 12. Let g be d(12). Suppose -3*y - g = -2*f - 458, 5*y + 3*f - 617 = 0. Does 15 divide y?
False
Let s = 1414 + 1303. Is 11 a factor of s?
True
Let u be 198/36*10*(-1 - -3). Let v = u + -61. Does 25 divide v?
False
Let g(f) = f**2 + 15*f + 2. Let s be g(-15). Suppose i + 90 = s*i. Suppose -6 = -2*d, -5*d - 24 = 3*b - i. Is b a multiple of 11?
False
Suppose 51 = -5*w + i, -5*i + 11 + 44 = -5*w. Let m(z) = z**3 + 11*z**2 + 9*z + 14. Is 6 a factor of m(w)?
True
Let r = 5 - 2. Suppose 0 = 2*v + 5*p + 5, 3*v - 5*p = r + 2. Suppose v*c + 3*c - 80 = -4*j, 5*c - 144 = 4*j. Is c a multiple of 18?
False
Let z(l) = -l**3 - 8*l**2 + 12*l - 9. Let u be z(-9). Is 8 a factor of (-938)/(-9) - (-8)/u?
True
Suppose 10 = 4*z + z. Let d = -24 + 28. Suppose d = -z*b, o + b - 2 = 2. Is o even?
True
Suppose -v + 168 = v. Let i be (4/(-10))/(5/(-25)). Suppose 3*d + 10 = -i*d, 0 = 3*q - 3*d - v. Is 13 a factor of q?
True
Let x(s) = s**3 - 6*s**2 + 3*s + 3. Let r(g) = g**2 + 1. Let a be r(-2). Suppose -4*l - 6 = -a*l. Is 7 a factor of x(l)?
True
Let o(k) = -k**2 - 5*k - 7. Let q be o(-5). Let r(p) be the first derivative of -p**2 + 7*p + 12. Is r(q) a multiple of 13?
False
Suppose 22 = 2*h - 38. Let l = h - 20. Is 10 a factor of l?
True
Let h(b) = b**3 - 6*b**2 + 2*b - 9. Let i be h(6). Suppose -i*x - 6 = -42. Is 3 a factor of x?
True
Is 16 a factor of 1 + 24/32*212?
True
Suppose 5*f = -0*f + 3930. Let n be (-5)/((-6 - -3)/f). Is (-1)/(-2) + n/20 a multiple of 11?
True
Let q be 3*(32/(-12))/(-2). Let h = q - 6. Is 19 a factor of (h + 1)*(-23)/1?
False
Let o = 31 - 27. Does 3 divide (-9)/(-36) - (-15)/o?
False
Let j = -3 - 8. Let h be 35/j + 4/22. Is ((-36)/(-7))/(h/(-21)) a multiple of 18?
True
Let l be ((0/1 - -1) + -1)/1. Suppose -3*o + 4*y - 112 = -7*o, -y + 5 = l. Is o a multiple of 2?
False
Let x(n) = 12*n**3 + 4*n - 3. Let w be x(3). Is w*(-2 - 28/(-12)) a multiple of 37?
True
Suppose -6*q - 18 = -24. Let i(b) = 53*b**3 + b - 1. Does 53 divide i(q)?
True
Let i = -66 - -66. Suppose 0 = 3*f - i*k - 3*k - 102, -5*f - k = -200. Is f a multiple of 16?
False
Let v = 76 + -31. Let m = v + -17. Is 14 a factor of m?
True
Suppose 0 = j - i - 363, 7*i = 5*j + 11*i - 1788. Is 6 a factor of j?
True
Let h = 1111 - 1012. Is 59 a factor of h?
False
Let r = -178 - -123. Suppose -3*y = -2*y - 2, 0 = x + 5*y + 69. Let h = r - x. Does 8 divide h?
True
Let b(v) = -v**2 - 6*v + 8. Let g be b(-7). Let n be 9*(g - 14/3). Is 16 a factor of -4 + (-2 - n) + 1?
False
Let m(q) = 7*q + 82. Does 18 divide m(26)?
False
Let f be 3/24*2 + 3642/24. Suppose q - 3*q = -f. Is 11 a factor of q?
False
Let p(z) = -4*z + 58. Let s be p(13). Let i(x) = 2*x**3 - 6*x**2 - 14*x + 8. Does 28 divide i(s)?
True
Suppose 4*w = 8*w - 20. Suppose -w*j = -9*j + 348. Suppose -6*k + j - 21 = 0. Does 11 divide k?
True
Let r = 160 + -154. Let l(h) = h**2 + 6*h - 4. Let n be l(-7). Is 6 a factor of n/(r/(-4)) + 37?
False
Let x(m) = m**2 + 6*m + 22. Let s be x(9). Suppose 0 = -6*j - s + 1237. Does 36 divide j?
True
Let p(n) = 19*n**3 - 3*n**2 + 7*n - 5. Does 11 divide p(2)?
False
Suppose 2*r - 2*x - 414 = 0, r - 804 = -3*r - 2*x. Let j = r - 105. Does 12 divide j?
False
Let v(y) = 94*y + 1218. Does 52 divide v(0)?
False
Let u(i) = 704*i + 6. Is u(1) a multiple of 12?
False
Let r(y) = y**3 + 4*y**2 + 2*y + 1. Let g be r(-4). Let j(b) = 7*b. Let x(s) = -36*s - 1. Let k(z) = -11*j(z) - 2*x(z). Is 9 a factor of k(g)?
False
Let j be (3/1)/((-39)/(-26)). Suppose -4*h + j*b = -1154, -5*h - 5*b + 559 = -3*h. Let g = -192 + h. Is 23 a factor of g?
False
Is 4 a factor of (7 - 6) + 215 + 8?
True
Suppose 32*z - 34*z = -268. Let o = z + -70. Does 21 divide o?
False
Suppose 0 = 6*o - o - 15. Let x(j) = 2*j**2 + 3*j**2 - 4*j - j**o + 7*j + j**2. Does 9 divide x(6)?
True
Let d(t) = 25*t + 4. Let v be (-13)/(-5) - (72/20 - 3). Does 9 divide d(v)?
True
Suppose -4*a + x - 128 = 0, -5*a + 24 = -5*x + 169. Let b = -31 + a. Let s = 118 + b. Does 27 divide s?
True
Suppose -129 = -7*c - 10. Suppose 151 = 4*f - c. Is 19 a factor of f?
False
Let d = -11 + 12. Let q(p) = 111*p + 1. Does 27 divide q(d)?
False
Let v = 29 - 17. Does 24 divide (-635)/(-10) + 3/v*2?
False
Let m(r) = 2*r**3 - 51*r**2 + 27. Is m(26) a multiple of 37?
True
Let m(p) = -3*p**2 + 19*p. Let f(i) = -16*i**2 + 95*i. Let g(j) = -2*f(j) + 11*m(j). Is 21 a factor of g(9)?
False
Suppose -3*c + 16 - 1 = 0. Suppose -u = -c - 0. Suppose 204 = u*q - q. Does 17 divide q?
True
Suppose -864 = -3*s + s. Is s a multiple of 24?
True
Let m = -3 + 0. Suppose -9 + 1 = 2*u + 4*f, 5*f = 25. Is 20*(u/(-4) + m) a multiple of 6?
False
Let r(d) = -d**3 + 7*d**2 + 4. Suppose 8 = 2*a - 6. Let j be r(a). Is 19 a factor of 78*(j/3 - 1)?
False
Suppose 2*a = 3*a + 9. Let w(i) = i**3 + 10*i**2 + 8*i - 5. Let x be w(a). Suppose -23 = -x*j + 77. Is j a multiple of 25?
True
Suppose 10*w = 8*w - 40. Let t = w + 105. Does 17 divide t?
True
Let u(t) be the second derivative of t**3/6 + 7*t**2/2 - 27*t. Suppose -3*x + 0 + 5 = j, -4*x - 3*j + 15 = 0. Is u(x) a multiple of 2?
False
Suppose 0 = -2*d + d - 5*i, 38 = 3*d - 4*i. Suppose 0 = 13*s - 11*s - d. Suppose 29 = s*p - 1. Does 3 divide p?
True
Let x(w) = 4*w**2 + 5*w + 11. Is x(12) a multiple of 16?
False
Suppose -51 - 55 = -m. Suppose -2*a = -m - 56. Suppose -5*q = -0*q + i - 133, -a = -3*q - i. Is 14 a factor of q?
False
Let h = -853 + 1223. Does 4 divide h?
False
Suppose 5*r - 12*r + 588 = 0. Is (-28)/2*r/(-24) a multiple of 17?
False
Let f(k) be the first derivative of -k**4/4 - 4*k**3 - 6*k**2 - 6*k - 2. Let c be 8/44 - ((-536)/(-44) + -1). Is f(c) a multiple of 3?
False
Let j(z) = 5*z + 35. Let c be j(-5). Is (3 - 6 - 2)*(-104)/c a multiple of 10?
False
Suppose 0 = 4*w + r - 21, -2*r + 3*r - 5 = 0. Suppose -64 = w*q - 5*q. Let k = -46 + q. Is 5 a factor of k?
False
Let v = -66 + 114. Let p = v - 70. Is 3 a factor of -2*(-4)/((-16)/p)?
False
Let t(k) = -8*k**3 + 3*k**2 - 7*k - 16. Does 31 divide t(-3)?
True
Suppose -2*p - 4*s + 113 = -341, 3*s - 678 = -3*p. Is p a multiple of 75?
True
Suppose -u = -91 + 1. Suppose -3*l = -0 + u. Let d = 46 + l. Is d a multiple of 16?
True
Is (9/(-12))/((-60)/1280) even?
True
Let i(r) be the second derivative of r**5/10 - r**4/4 - r**3 + 7*r**2/2 - 10*r. Is 16 a factor of i(3)?
True
Let o = 12 - -19. Let l = o + 17. Is l a multiple of 12?
True
Let o be (-204)/10 + (-52)/(-130). Is (-2282)/o + 6/(-60) a multiple of 11?
False
Let z = 22 - 19. Suppose -14 = -3*d - o + 170, 0 = z*d + 2*o - 188. Is d a multiple of 6?
True
Let h = -19 + 25. Let q = h - 3. Suppose -10 - 65 = -q*s. Is s a multiple of 7?
False
Suppose -5*h + 3*h + 5*s = -136, -250 = -4*h - s. Is 7 a factor of h?
True
Let d = 17 - 14. Suppose d*y - 115 = 59. Is y a multiple of 29?
True
Suppose 0 = -2*t - 3*a + 12, 3*t - 4*t + 2*a = 8. Suppose 0 = -5*l - t*l + 25. Does 5 divide l?
True
Let g be 125/2 + 2/(-4). Suppose 18 + g = y. Suppose 4*c + c - y = 0. Is 8 a factor of c?
True
Suppose 0 = -4*f + 