. Let l be q(6). Suppose 17*s = 16*s + l. Suppose -4*w + 460 = 4*d, -2*d - s + 245 = 4*w. Is d a multiple of 10?
True
Suppose 7*w - 1613 = 732. Let v = w + -55. Does 28 divide v?
True
Does 21 divide (-156)/(-273) - 11609/(-7)?
True
Does 41 divide (-252)/(-182)*1451 + (-2)/26?
True
Suppose t = -t + 6. Suppose 3*p + t*r = 6 + 18, -2*p + 4*r + 10 = 0. Let n(x) = x**3 - 4*x**2 + 7*x - 16. Is n(p) a multiple of 12?
True
Let c(j) = -1795*j**3 - 4*j**2 - 38*j - 60. Is c(-2) a multiple of 37?
False
Let y = -24167 + 39184. Is 60 a factor of y?
False
Suppose 108*s - 115*s = -16034 - 39588. Is 58 a factor of s?
True
Suppose 0 = -3*c - 2*j + 20, -5*c - 5*j = -49 + 9. Let k(n) = -7*n - 1. Let x be k(-4). Suppose -5*y = -c*y - x. Does 9 divide y?
True
Let u = -27585 + 40002. Is 7 a factor of u?
False
Does 6 divide 29033/8 + (-2499)/(-2856)?
True
Let p = 8 + -4. Suppose 0*s + 5*d = -2*s - 20, 2*s + p*d = -16. Suppose s = -3*f + 2*f + 40. Is f a multiple of 12?
False
Let v(d) = -d**3 - 2*d**2 - 2*d + 1155. Let t be v(0). Let f = -741 + t. Is f a multiple of 69?
True
Let r = -31 - -35. Is 22 a factor of -22*-2*(-2)/r*-13?
True
Let g(v) = -v**3 - 20*v**2 + 42*v - 40. Let b be g(-22). Suppose 2*r = 5*p - 258, 3*r - 196 = -b*p - 8. Does 4 divide p?
False
Let o(k) be the third derivative of 5*k**4/24 + 11*k**3/2 - 3*k**2. Let h be o(17). Suppose -2*q + h + 210 = 0. Does 12 divide q?
False
Let i be 108/(-189) + (-3)/7 + 1. Does 16 divide (-4 + (-59)/(-4) + i)*4?
False
Suppose v - 1364 = -3*a, -82*v = 3*a - 79*v - 1374. Let i = a + -328. Is 5 a factor of i?
True
Suppose 3*w = 5*b + 41960, -37975 = -5*w - 6*b + 32030. Is w a multiple of 9?
True
Suppose 5*k = 2*j - 320, -2*j + 12*k + 302 = 16*k. Suppose 3*r - 287 = -j. Does 2 divide r?
True
Let y be ((-4)/1 - -1)/((-6)/(-28)). Let w(u) = -u**2 - 13*u + 20. Let o be w(y). Is 8 a factor of 16/24 - (-1 - 416/o)?
False
Let b be 6/(-16) - (-58)/(-16). Let p be (b/(-6))/((-2)/48*-2). Is 3 a factor of (p/(64/(-52)))/(2/(-4))?
False
Suppose 4*f - 7*l - 6781 = 0, -4*l - 877 - 825 = -f. Is f a multiple of 65?
True
Suppose 2*r = -4*z + 90, 5*z - 4*r - 120 = -8*r. Let v(o) = 33*o - 196. Is v(z) a multiple of 8?
True
Let p = 15 - 15. Let f(z) = z**2 + 1. Let m be f(p). Is (m + -3)/((-5)/190) a multiple of 7?
False
Suppose 3*o + 28 + 152 = l, 4*o + 2*l + 250 = 0. Let t = 73 + o. Suppose t*n - 1052 = 8*n. Is 40 a factor of n?
False
Suppose -4*s = -m - 45, -11*s - 4*m = -7*s - 40. Suppose -5*o + 4*b = -2204, -s*o - b + 2224 = -6*o. Does 15 divide o?
False
Let p = -8356 + 14589. Does 8 divide p?
False
Is (-12)/(-34) + (-38913399)/(-7973) a multiple of 6?
False
Let m(p) = -p**3 + 5*p**2 + 2*p - 8. Let y be m(5). Suppose -u - y = 3*f, -4*f - 8 = 2*u + 2*u. Does 17 divide -1*(-3 + 230)*(1 + u)?
False
Suppose -129*x + 9*x + 477120 = 0. Is 8 a factor of x?
True
Let h be -3*(0 + 1)*-1. Let n(k) = -k**2 + 33*k + 215. Let s be n(-5). Suppose -5 = -h*y + s. Does 4 divide y?
False
Let l = -22 + 25. Let z(g) = -99*g + 98*g + 8*g**2 - 5 - g**l + 12. Does 15 divide z(6)?
False
Let x(h) = 5*h**2 + 55*h + 1561. Is 20 a factor of x(-25)?
False
Let b be (-6)/2 - (5 + -2 + 3). Let i be (1 + -4)*750/b. Suppose -4*m + i = -2*m. Does 25 divide m?
True
Let u = -77 - -89. Let z(b) = -23*b**3 + 17*b**2 + u*b + 24*b**3 + 0*b - 2*b**2 + 24. Does 37 divide z(-13)?
False
Let y(l) = 10*l**2 + 2*l + 0*l**2 + l**3 + 2 - 1. Suppose 73*w = -330 - 327. Is y(w) a multiple of 16?
True
Let v = 8042 + -1979. Does 43 divide v?
True
Let x(z) = z**2 - 3*z - 13. Let b be x(6). Suppose 287 = k - d, -10*k + 1441 = -b*k + d. Is k a multiple of 18?
True
Let m be ((-4)/3)/((-6)/261). Let q = m - -19. Does 15 divide q/(-3 - (-1 + -3))?
False
Let r(j) = j**3 + 12*j**2 - 48*j + 14. Let o(m) = 6*m - 93. Let w be o(13). Is 31 a factor of r(w)?
False
Let u(t) = -2*t**2 + t + 5. Let s be u(0). Suppose 0 = -2*z - s*r, -4*z = -6*z - 4*r. Suppose 3*q - 33 - 78 = z. Is 18 a factor of q?
False
Let m be (-67)/(-3) - (-6)/36*4. Let p(s) = m - 5*s - 14 + s + 17. Is p(-5) a multiple of 10?
False
Is 623*(32/(-256))/((-1)/8) a multiple of 7?
True
Let u(i) = -55*i**2 - 5*i + 2. Let d be (4/6)/1 - 14/(-42). Let x be u(d). Let s = 16 - x. Is 16 a factor of s?
False
Let g(a) be the third derivative of a**7/1008 + a**6/80 - 11*a**5/60 - a**2. Let m(y) be the third derivative of g(y). Does 9 divide m(7)?
False
Let i(x) = 17 + 9 + 7 + 29 - x. Does 35 divide i(-8)?
True
Let s be (1 + 0)/(21/(-231)). Let a(v) = -5*v**2 - 50*v - 9. Let w(r) = r**2 + 10*r + 2. Let y(c) = s*w(c) - 2*a(c). Is y(-7) even?
False
Let x = -346 - -346. Suppose 3*h + 10*h - 312 = x. Is h a multiple of 6?
True
Let d(x) = -46*x + 24. Let f be d(-3). Suppose -3*v + 4*v - m - f = 0, -5*m = 3*v - 454. Is 79 a factor of v?
True
Suppose 4*v = 576 - 56. Suppose 0 = 4*t + 6*j - 7*j + 478, -3*t - 349 = 4*j. Let r = t + v. Is r a multiple of 8?
False
Does 197 divide 293839/39 + 6 + (-6)/(-9)?
False
Let h(q) = -q**3 - 12*q**2 - 9*q + 1. Let b be h(-11). Suppose -5*t - 630 = -125. Let k = b - t. Is 13 a factor of k?
False
Let o be ((-1)/(-3))/(30/(-630)). Does 43 divide (-70)/o*404/8?
False
Is 3142/(3/(-18) - 273/(-126)) a multiple of 7?
False
Suppose -y - 2*v + 17046 = 295, -67084 = -4*y + 2*v. Is y a multiple of 81?
True
Suppose -5*t + d + 20 = 0, 0*d - 8 = -2*t - d. Suppose 196 = 2*v + t*f, 0*v - f = 2*v - 181. Does 8 divide v?
True
Let p = -317 + 372. Suppose 0 = p*i - 57*i + 612. Is i a multiple of 54?
False
Suppose 2*q - q = -3*y + 26, -3*q = -3*y + 6. Suppose y*i - 11172 = -14*i. Is i a multiple of 14?
True
Let p = 618 + -614. Suppose 10368 = -p*o + 20*o. Is 24 a factor of o?
True
Is ((-654)/(-4))/(8*51/202640) a multiple of 12?
False
Does 53 divide 16221 + -5 + 8 - (10 - 4)?
True
Suppose 7*l - 6 = 15. Let k(a) = 3*a**3 + 0*a**2 - 4*a**l + 6*a**2 + 7*a**2 - 6*a. Is k(11) a multiple of 44?
True
Let c(y) be the first derivative of y**3/3 - 5*y**2/2 - 8*y + 7. Let t be (-2)/4*6/(-3)*-5. Is c(t) a multiple of 7?
True
Let u(o) = -o**2 + 1. Let w(t) = 6*t**2 + 4*t - 15. Let z(q) = 5*u(q) + w(q). Let y be z(-6). Suppose s + y*s - 54 = 0. Is s even?
True
Let b(g) = 2*g**3 + 11*g + 48. Let j(u) = -u**3 - u**2 - 6*u - 24. Let o(h) = -6*b(h) - 13*j(h). Is o(-12) a multiple of 4?
True
Does 13 divide -5 + -1 - (-9184 + (-8 - -9))?
False
Suppose 36*o - 29*o = -14. Does 45 divide -15*19/2*o?
False
Let o(q) = 5*q**2 + 3*q + 42. Let x be o(8). Suppose 308 = 4*n + 4*p - 488, -2*n + p + x = 0. Does 13 divide n?
True
Suppose j - 5 = 1. Suppose -v = -9 + j. Suppose -i - v*u = -135, 3*i - u - 126 = 289. Is i a multiple of 23?
True
Suppose 3*l - 3*h = -l + 20, 10 = 3*l - h. Let y be l/(-6) - (-35)/15. Suppose 3*m + 15 = 0, y*n - 19 = -0*n + 3*m. Is n even?
True
Let j(t) = 32*t**2 + 518*t - 15. Is j(-19) a multiple of 15?
True
Let c be ((-4)/(-3))/(-2*2/12). Let h be 54/24 - (-1)/c. Does 4 divide (h/5)/(4/80)?
True
Suppose 2 = -u - 0*u + 3*l, 6 = u + l. Let z be -4 + u*(-25)/(-2). Let c = -19 + z. Does 6 divide c?
False
Let m = -2 - 19. Let s be 6/39 + ((-1026)/26)/3. Let l = s - m. Is 8 a factor of l?
True
Let m = 7086 + -2833. Is m a multiple of 20?
False
Let g = 131 + -136. Let i = 907 + g. Is 23 a factor of i?
False
Let k = 38 - 25. Suppose -3*u = 4*s - 14, 4*s - 4*u - k = 3*s. Suppose -4*i = -4*a + 76, -s*i + 1 = -0*a + a. Is 16 a factor of a?
True
Let w(n) = 2*n**2 - 4*n - 4. Let x be w(-2). Let f be (-52)/x - (-4)/3. Is 39 a factor of ((f + 22 - 0) + 0)*8?
False
Let v(k) = -1153*k - 601. Is v(-7) a multiple of 10?
True
Let d(g) = -135*g + 67. Let f be d(-6). Suppose 325 = -6*o + f. Does 2 divide o?
True
Suppose -2*q + 43 = 3. Does 3 divide (q/2)/((-20)/(-30))?
True
Let z(f) = 3*f - 32. Let a be z(13). Suppose 0 = 4*r + 4*n - 140, a*r - 3*r + 3*n = 135. Suppose 0 = 5*u - 105 - r. Does 27 divide u?
True
Let j be (8 - 5)*(-3 + (-12)/(-3)). Suppose -156 = -3*a + j*f, 5*a + 3*f - 5*f = 254. Is a a multiple of 18?
False
Let v be 12*(-4 - (-42)/8). Suppose -m - v = -5*l, -3*m = -1 + 16. Suppose -2*a = 6, -l*c + 4*c + 2*a - 460 = 0. Is 35 a factor of c?
False
Let c = 118 + -13. Let s = c - 102. Let p = s + 111. Is 5 a factor of p?
False
Suppose -3*f = r - 33, r + 6*f - 5*f = 31. Is 13 a factor of r/3*4/(-10) + 303?
True
Let o be 1 + -2 - (1 + 6/(-3)). Let x b