0?
True
Let s(i) = 6*i**3 - 3*i**2 - i + 2. Let z be s(2). Suppose 0 = 33*h - z*h + 315. Is 7 a factor of h?
True
Let f be 37/13 + 4/26. Suppose 0*y - 4*y = -3*b - 21, 0 = 4*y + f*b - 3. Suppose 226 = y*x - 41. Does 21 divide x?
False
Let z(h) = 14*h**2 + 8*h + 8. Let w(u) = u**2 + u + 1. Let p(c) = -14*w(c) + 2*z(c). Is 27 a factor of p(-2)?
True
Suppose 2*q - 318 = -5*v, -4*q + 6 = 2*v - 118. Suppose 32 + v = -2*u. Does 6 divide (u/20)/((-6)/15)?
True
Suppose -3*y - 4*i = 8, y + 6 = i + i. Does 6 divide (141 - 0) + y*(-3)/(-3)?
False
Let c = 125 - 154. Let y(f) = f**3 + 29*f**2 - 3*f - 17. Is y(c) a multiple of 8?
False
Let t = -1779 + 1889. Is 10 a factor of t?
True
Suppose -6*f = -3 - 9. Suppose 216 = f*n + n - u, 3*n + u - 222 = 0. Is n a multiple of 13?
False
Let d(w) = w**2 - 6*w. Let a be (-2 - 4)/3 + -5. Let v be d(a). Let h = 151 - v. Is 20 a factor of h?
True
Suppose 0 = -4*u + 3*k + 691, -u - 2*k + 57 + 124 = 0. Is u a multiple of 16?
False
Suppose 5*l = o - 13, -2*o = 8*l - 3*l + 4. Suppose -19 - 87 = -2*w. Is w/5 + l/(-5) a multiple of 11?
True
Suppose 16 = -5*y + 26. Suppose y*d = 75 - 5. Is d a multiple of 7?
True
Let n(s) = s**2 - 3*s - 2. Let q be n(4). Suppose -3*w - i + 6 = 0, q = 3*w + 3*i - 4. Is 1*(3 + 6/w) a multiple of 6?
True
Let h(k) = -2*k**2 - 2*k + 5. Let w be h(-3). Let y(q) = -q**3 - 10*q**2 - 23*q - 6. Is y(w) a multiple of 4?
True
Let v(s) = -10*s**3 - 2*s**2 - 2*s - 3. Suppose 0 = 4*m + 9 + 3. Let i = m - -1. Does 20 divide v(i)?
False
Suppose -25*z = -18*z - 1764. Is (-2)/(-6) + z/54 a multiple of 5?
True
Suppose 0 = 5*l + 4*t - 21 + 68, -3*t - 23 = 2*l. Does 14 divide 10/3*7/(l/(-45))?
False
Let p(h) = 14*h - 6*h - 7 - 21*h. Suppose -2*a - 5*f = a + 17, -4*a - 20 = 4*f. Does 15 divide p(a)?
True
Suppose 527*t - 525*t - 148 = 0. Is t a multiple of 5?
False
Let k(l) = l + 1. Let t be k(2). Suppose y + 4*n = -18, 4*y - t*n - 22 - 1 = 0. Suppose -y*i = 4*g - 64, 5 = i - 4*g - 3. Does 8 divide i?
True
Let u(m) = -m**3 + m**2 - 6*m - 7. Let i(g) = -g**3 - 5*g - 7. Let q = -15 - -9. Let p(a) = q*i(a) + 5*u(a). Is 7 a factor of p(-5)?
True
Let r = -170 + 254. Does 21 divide r?
True
Is 11 a factor of (-4)/(-50) + (-288904)/(-2450)?
False
Suppose -b - 2*b = -42. Let f = 17 - b. Suppose 4*g - 86 = 4*p - 22, f*g - p = 40. Is g a multiple of 6?
True
Let b(f) = -f**2 + 27*f - 38. Is 11 a factor of b(17)?
True
Let m(z) = z + 18. Let k be m(-8). Suppose k = -s + 30. Is 5 a factor of s?
True
Suppose -4*u + 1853 = 5*c, -5*u = 2*c - 1033 + 285. Is 4 a factor of c?
False
Let c(v) = -v**3 - 5*v**2 - 4*v - 2. Let z be c(-3). Let p be (-2)/2*z + 1. Suppose -p + 3 = -o. Is 3 a factor of o?
True
Let i(y) = 7*y + 36. Let m be i(4). Suppose 4*k + m = 168. Does 2 divide k?
True
Suppose 3*o - 39 = -0*o. Suppose -o*x + 216 = -7*x. Does 9 divide x?
True
Let y(w) = -w**3 + w**2 + 4*w - 4. Let r(t) = t**2 - 6*t - 30. Let x be r(9). Does 10 divide y(x)?
True
Suppose v - 115 = -4*s, 0*v - 2*s = -2*v + 210. Does 19 divide v?
False
Is (3 - 3) + 386 + -6 a multiple of 76?
True
Is 34 a factor of (5 - (-21)/(-9))*102?
True
Let l be (3 + 39/(-9))*-6. Let b = l - 5. Suppose p + 2*v - 4 - 1 = 0, v = -b. Is p a multiple of 10?
False
Suppose -4*x + 160*s + 342 = 163*s, 0 = -3*x + 4*s + 269. Is x even?
False
Let g(b) = -199*b + 76. Does 64 divide g(-1)?
False
Suppose 0 = -310*a + 312*a - 936. Does 82 divide a?
False
Is (-16)/(-12)*(55 - (5 - 4)) a multiple of 20?
False
Let g(s) = -s**3 - 7*s**2 + 7*s + 19. Let z be g(-9). Let x = -78 + z. Is x a multiple of 8?
True
Let z(i) be the third derivative of -i**6/40 + i**5/20 + i**4/24 + i**3/2 - 4*i**2. Does 20 divide z(-3)?
False
Let q(c) = 6*c**2 - 6*c + 4. Let w be q(-4). Let l = -54 + w. Suppose 46 = 2*i - l. Is 20 a factor of i?
False
Suppose -5*v = -2*f - 67, -4*v + 6*v - 2*f = 28. Let o = 11 - 7. Let n = v - o. Is 3 a factor of n?
True
Let h(n) = 329*n - 36. Does 30 divide h(2)?
False
Let d = 111 + 163. Is -1 + 1 + d + 12 a multiple of 13?
True
Let l(j) = j**3 - 4*j**2 - 12*j + 2. Let r be l(6). Suppose 0 = -r*c + 43 + 111. Is c a multiple of 11?
True
Let t = -1071 - -1759. Is t a multiple of 16?
True
Suppose 0 = 2*t + 3*t - 165. Suppose -5*b - t = -4*a, 15 = -4*b + b. Let k = 11 - a. Does 9 divide k?
True
Let r be (26 + 2)*(-3)/(-6). Let g = r - -14. Is g a multiple of 14?
True
Let a = -26 + 22. Let t(z) = -z**2 + 13*z - 14. Let d(g) = g**2 - 14*g + 13. Let r(m) = a*t(m) - 5*d(m). Is 12 a factor of r(9)?
True
Suppose -a - 4 = -3*a. Suppose -a*r + x + 6 = -3, 3*r - 11 = 4*x. Suppose r*m - 400 = -100. Is m a multiple of 17?
False
Let s(u) be the second derivative of -u**5/20 - 11*u**4/12 + 7*u**3/3 - 5*u**2/2 - 6*u. Let z be s(-12). Let m = 7 - z. Is 8 a factor of m?
False
Is 6 a factor of (1 + -7)*((7 - 12) + -174)?
True
Is 15 a factor of 1 - (-1 - 1/(-2))*58?
True
Let m(p) = 7*p + 80. Does 4 divide m(35)?
False
Let t(l) = -3*l**3 + 16*l**2 + 12*l - 34. Let n(r) = -2*r**3 + 11*r**2 + 8*r - 23. Let v(p) = 7*n(p) - 5*t(p). Is v(4) a multiple of 3?
True
Does 56 divide (-122356)/(-182) + (-1)/((-7)/(-2))?
True
Let y(q) = 3*q**2 + 9*q + 11. Does 30 divide y(-15)?
False
Let a(u) = -3*u**2 - 11*u - 15. Let x be a(-6). Let v = x - -68. Does 11 divide v?
True
Let n = 19 - 15. Does 14 divide (-1372)/(-21)*6/n?
True
Suppose -w - 66 = -5*i + 89, 2*w + 160 = 5*i. Let n = 240 - i. Is n a multiple of 14?
True
Let b = 25 - 25. Suppose -5*n + i = 5*i - 375, -i = b. Is 17 a factor of n?
False
Suppose -2*l - 174 = 4*h, 0 = 2*h - 2*l - 3*l + 105. Let y = h - -74. Is 3 a factor of y?
False
Let q = 6 + -4. Suppose -11 = -q*c - 3. Suppose -c*b - b = -130. Is b a multiple of 16?
False
Let z = -12 - -14. Suppose -z*j - 3*j = -195. Is 10 a factor of j?
False
Suppose -3280 = -48*h - 112. Is h a multiple of 19?
False
Suppose -10*g + 360 = -8*g. Is 15 a factor of g?
True
Suppose 0 = -5*u - 5*p + 441 + 1364, -4*p = -4*u + 1412. Is 13 a factor of u?
False
Let z(a) = a - 6 + 9 + 31. Is z(14) a multiple of 6?
True
Suppose 4*o - i - 189 = 0, 2*i + 3*i - 89 = -2*o. Let h = o + 2. Suppose 4*n - 7 = h. Does 4 divide n?
False
Let f(c) = c**2 + 11*c + 24. Let r be f(-6). Does 17 divide -2 + (2/3 - 416/r)?
True
Let z be 4/3*2 + 6/(-9). Suppose 4*d - 2*d = -3*c + 116, z*c = 4. Is d a multiple of 8?
False
Let m = 59 + -25. Suppose m + 158 = 4*a. Is 6 a factor of a?
True
Suppose -7*q = 14 + 21. Let u = q - -10. Suppose u*h - 4*h = 13. Is h a multiple of 13?
True
Let d(b) = 218*b + 1. Let w be d(1). Suppose 2*o = 2*g + 378, -4*g = o + g - w. Suppose 6*y - o - 70 = 0. Does 12 divide y?
False
Suppose -8 = 4*i - 6*i. Suppose -i*u - 174 = 2*p, -u - 2*u - 4*p = 128. Let z = u - -74. Is z a multiple of 10?
True
Is 29 a factor of 193 + 30*2/12?
False
Let m(x) = -8*x - 7. Let k be m(-9). Suppose 5*o - 158 = 3*a - 5*a, 0 = 2*o - a - k. Is 7 a factor of o?
False
Let a be 607/2 - 0 - (-1)/(-2). Let q = a - 163. Does 16 divide q?
False
Does 52 divide (679 - (5 - (1 + 1))) + 0?
True
Let v(a) = -93*a - 8. Let x(l) = -31*l - 3. Let z(u) = 4*v(u) - 11*x(u). Is 16 a factor of z(-1)?
True
Let k = -1570 - -2308. Is 6 a factor of (2/3)/(12/k)?
False
Let g = -10 - -13. Suppose -g*t + 3 = v - 14, 5*v = 3*t - 5. Suppose 107 = 3*p + t*q - 3, 5*p = -3*q + 194. Is 17 a factor of p?
False
Let y = 977 - -1811. Does 17 divide y?
True
Let b(d) = -496*d**3 + 3*d**2 - d - 1. Is b(-1) a multiple of 35?
False
Is 28 a factor of 6/(-12)*(-6)/(-3)*-1176?
True
Let u(t) be the second derivative of -t**3/2 + 55*t**2/2 - 20*t. Does 3 divide u(10)?
False
Suppose k - 25 = -4*k. Let d = 7 - 9. Is d/k + 1576/40 a multiple of 16?
False
Is -5*(4 + (-5931)/15) a multiple of 6?
False
Is 4 + (14/21)/(12/71370) a multiple of 41?
False
Let p = -81 + 258. Let o = p - -21. Is 39 a factor of o?
False
Let s be 0 + (-3 - 0) + 5. Let h be (16/(-20))/(s/5). Is 14 a factor of 36 - h - (-1)/1?
False
Let g = 143 + -140. Suppose 3*h + 2*k = 372, 316 = 5*h - g*k - 285. Does 18 divide h?
False
Suppose 2*y - 3*o = 809, -32*y = -29*y - 2*o - 1211. Does 31 divide y?
True
Let i = -821 + 1994. Does 46 divide i?
False
Let i(u) = u**3 + 31*u**2 + 84*u + 63. Does 25 divide i(-26)?
False
Let w be 15 + (-3)/((-3)/2). Let b(q) = -q**3 - 2*q**2 + 2. Let t be b(-2). Suppose t*v = v + w. Does 6 divide v?
False
Let w(