 of 3*o**5/10 - 5*o**4/24 + 5*o**3/6 - 101*o**2. Is z(1) a multiple of 6?
True
Suppose 3*c - 4*x - 439 - 402 = 0, 0 = -4*c - 4*x + 1168. Suppose 6*u + c = 13*u. Does 3 divide u?
False
Let y(s) be the third derivative of -s**5/60 - 3*s**4/8 - 3*s**3 - 16*s**2. Let x be y(-11). Is 10 a factor of 2 + 24/(-20)*x/6?
True
Suppose -307*i = -312*i - 70. Let r = 21 + -19. Is 15 a factor of -5 - -8 - r - i?
True
Suppose 4*h - 4*x + 4 = 0, 5*x - 2 = h + 3. Suppose 2*l + v - 93 = h, 220 = 4*l - v + 31. Is 22 a factor of l?
False
Suppose -4*r - 2 = -6. Let p be (-3 - -2) + (r + -3 - -283). Let c = p - -119. Is 57 a factor of c?
True
Let n(c) = -3*c**2 - 337*c + 730. Is n(-113) a multiple of 7?
True
Let i(o) = -143*o - 2357. Is i(-24) a multiple of 25?
True
Let w be (-171)/(-3)*(-188)/(-12). Let a = w + -877. Does 4 divide a?
True
Suppose 107*v - 742491 = 8118703 - 2054710. Does 76 divide v?
True
Suppose 49 = 4*v + 1. Suppose r - v = -7. Does 4 divide r + (-2*6/4 - -4)?
False
Suppose 20*b - 7878 - 9402 = 0. Is 27 a factor of b?
True
Let j(t) = -4*t**2 - 25*t + 15. Let y be j(-7). Is 5 a factor of y + (-172)/(-6)*3?
True
Let x be 84/2*(-26)/(-4). Suppose 440 - 110 = 2*j. Let r = x - j. Is r a multiple of 13?
False
Let y = 290 + -235. Suppose -159 = -3*g + m + 2*m, -g - m = -y. Does 27 divide g?
True
Let c = 76 + -73. Suppose -c*u - 468 = -3*g, -3*g - u + 3*u = -464. Does 76 divide g?
True
Suppose -55*o + 52*o = -9516. Does 122 divide o?
True
Let c be 4/((15 - 7) + -7). Suppose -5*u - 42 + 498 = -c*j, 428 = 5*u + 3*j. Does 88 divide u?
True
Let h(r) be the first derivative of -49*r**2/2 - 6*r - 45. Is 38 a factor of h(-4)?
True
Let l(o) = o**3 + 40*o**2 - 33*o - 120. Is l(-28) a multiple of 12?
True
Let t = 123 - 118. Let l be -1 + (-15)/t + 445. Suppose s + 2*g - 147 = 0, -l = -0*s - 3*s - g. Does 49 divide s?
True
Let x = 592 + -341. Let t = x - 20. Is t a multiple of 11?
True
Let t = -709 + 700. Is 10 a factor of 1991/176*12*(-12)/t?
False
Suppose -34*n + 152382 + 35162 = 0. Does 157 divide n?
False
Let c(f) = -f - 29. Let b be c(-20). Let i(a) = 3*a + 50. Let n be i(b). Suppose -4*j + n = -217. Does 14 divide j?
False
Let z be (-1 + -5)/(7/((-42)/9)). Suppose -7*g + z*p + 152 = -3*g, 38 = g - 5*p. Let n = 63 + g. Is n a multiple of 22?
False
Suppose -3*l - 10 = 3*o - 1, -o - 3 = 2*l. Suppose -4*c + 9*c - 2926 = 4*g, l = -3*g - 12. Does 25 divide c?
False
Let u(s) = -4*s - 5. Let q be u(-5). Suppose -d = -4*x + 19, 7*d - 9*d - 8 = -2*x. Suppose -x - q = -2*a. Does 10 divide a?
True
Let x(l) = 99*l + 6. Let f(i) = -51*i - 3. Let q(n) = 5*f(n) + 2*x(n). Is q(-4) a multiple of 10?
False
Let f = -129 - -115. Let q be 11237/119 - (-6)/f. Suppose 2*k = -y + q, 4*y - 4*k - 394 = -66. Does 12 divide y?
False
Let t(j) = 74*j**2 - 9*j - 12. Does 98 divide t(-3)?
False
Suppose 0 = d + 3*a - 4 + 3, -2*d = a - 7. Suppose -d*s + 3*z = -1316 + 253, -3*z + 247 = s. Is 17 a factor of s?
False
Let s(w) = -597 + 1186 - 601 - 100*w + 4*w**2. Is 14 a factor of s(29)?
False
Let n be -14 + 3 + 22 + (1 - 5). Suppose -6627 = n*l - 20410. Does 16 divide l?
False
Let m = 856 - 2002. Let v = -548 - m. Is v a multiple of 13?
True
Suppose 208805 - 58374 = 18*u - 198463. Does 213 divide u?
True
Let y be (-420)/(-48) - 2/(-8). Is 17 a factor of 4 + 1 + 171 + y?
False
Let h = -249 + 378. Let f = h + -99. Is f a multiple of 14?
False
Suppose -25*m + 18*m = -35. Suppose -m*d = -10*f + 13*f - 3805, 4*f = -d + 5045. Is 10 a factor of f?
True
Suppose 8*l - 9*l - 67 = 0. Let t = 73 + l. Does 6 divide 243/t*(-8)/(-12)?
False
Suppose 0 = 11*i - 2590 - 3207. Suppose 0 = 21*x - i - 817. Is x a multiple of 5?
False
Let r = -509 - -509. Suppose 3*v = 6, t + 4*v = -r*v + 369. Is t a multiple of 40?
False
Let r(k) = 454*k + 2718. Is r(9) a multiple of 21?
True
Let l(p) = -94 - 25*p + 10*p**2 - 5*p**2 - 6*p**2 + 66*p. Does 18 divide l(37)?
True
Suppose 0 = -2*f + 96 + 328. Suppose 5*p = 208 + f. Suppose -3*l + 3*i = -0*l - p, -12 = -3*i. Does 16 divide l?
True
Suppose 0 = 4*v - q - 2469, 2*v - 3*q - 1212 = -7*q. Is v a multiple of 11?
True
Let n(p) = -3*p**2 - 1. Suppose -q - 2*s = -s, -3 = 5*q + 2*s. Let h be n(q). Is 8 a factor of 2 + (-150)/(-3) + h?
True
Let n(v) = v + 3. Let s(x) = -1. Let h(d) = 6*n(d) + 6*s(d). Let z be h(-3). Let b = z - -39. Does 12 divide b?
False
Let h(s) = -s**2 - 6*s - 4. Let o be h(-4). Let j = 87 - 84. Suppose o*g - 38 = j*g. Is g a multiple of 15?
False
Suppose -5*t = j + 15, -7*j = -4*j - 2*t - 23. Let z be j/(-25) + (-2)/(-10). Suppose 5*i + 2*g = -g + 155, 4*i - 2*g - 146 = z. Is i a multiple of 20?
False
Let k(u) = -10*u**3 + u**2 + 18*u - 70. Is k(-6) a multiple of 49?
False
Suppose -2*q + 6*q - 12 = -w, 0 = 3*q + 4*w + 4. Is 38 a factor of -3 - (-1 - 151/q)*4?
True
Is 1*-10 - (-6711 + -208) a multiple of 21?
True
Suppose a = -4*n - 2, -43*n - 29 = -2*a - 40*n. Let i(h) = 40*h - 28. Does 93 divide i(a)?
True
Suppose 2*z - 3*i = -0*z + 58, -i + 29 = z. Suppose 5*n = -5*x + 125, x - 2*x - 3*n = -z. Suppose 0 = 5*q + 3*d - 161, -q + 0*d = -4*d - x. Is 8 a factor of q?
False
Let z(f) = -493*f + 622. Is 6 a factor of z(-8)?
True
Suppose 2*r - 316 = 6*r. Let d = r + 83. Suppose -190 = -l - 4*l + 5*u, -d*l - 4*u = -136. Does 9 divide l?
True
Let l = -214 - -105. Let s be (13 - 23)*l/2. Suppose 3*q + 5*u = s, -4*u - u - 195 = -q. Is q a multiple of 37?
True
Let i(m) = -m**3 + 10*m**2 + 6825. Is 7 a factor of i(0)?
True
Suppose 0 = 4*b - r - 4*r - 33, -5*b = -5*r - 40. Suppose -b*y + 5*y = -70. Let x = y + 1. Is 9 a factor of x?
True
Let c(i) = 11*i**2 - 15*i - 279. Does 5 divide c(-12)?
True
Suppose -58632 = -1057*h + 1029*h. Is h a multiple of 21?
False
Suppose 0 = -87*g + 7*g - 50*g + 2772900. Is 15 a factor of g?
True
Suppose -6*q + 19564 + 5120 = 0. Does 11 divide (1 - (-3)/(-2))/((-11)/q)?
True
Let s = 43 + -44. Let l be 85*s/(20/(-16)). Suppose d - l = -d. Does 14 divide d?
False
Suppose 2*b - 7*b - 2326 = -3*n, -3*b = -n + 770. Is 46 a factor of n?
True
Is 5 a factor of (-4 + 6 - (-247)/26)/(2/300)?
True
Let s(y) = 11*y - 41. Let r(z) = 3*z - 15. Let b(d) = -11*r(d) + 4*s(d). Let t(g) = 3*g**2 + 2*g + 1. Let u be t(-1). Does 23 divide b(u)?
True
Let g = 3789 - 1528. Suppose 0 = -5*v + g - 51. Is 36 a factor of v?
False
Suppose 5*u - 81775 = 3*m, -251*u - 81755 = -256*u - m. Does 28 divide u?
True
Suppose -9*x = -23 - 13. Is (3 + x)/((8 + -4)/36) a multiple of 3?
True
Let u(x) = -181*x**3 + 88*x**2 + 578*x + 6. Does 58 divide u(-6)?
True
Suppose -l = -5*g - 1099, 3*l - 2*g = 2740 + 518. Is l a multiple of 4?
True
Suppose 4*n - c = 54352, 93*n - 94*n - 4*c = -13588. Does 79 divide n?
True
Suppose 2*j - 2*g - 9116 = 0, 3*j - 20014 = -4*g - 6305. Is 39 a factor of j?
True
Let i = 11152 - 3361. Does 7 divide i?
True
Suppose 6*l + 4*u - 56740 = 0, -5 = 2*u + 5. Is 16 a factor of l?
False
Let h = -113 + 115. Suppose 3*j - h = -5*v + 62, -2*v + 19 = -j. Does 5 divide v?
False
Suppose 4*u = -a + 3440, 35*a - 4*u - 17104 = 30*a. Is 69 a factor of a?
False
Suppose -b - 3*s - 5 + 0 = 0, 3*b = 2*s + 18. Let r be -1*(b - 2)*(-47)/2. Is (-2)/(-12) - (r/(-6) + -2) a multiple of 10?
True
Suppose -5*s - 49 = 2*a, -2*s - 15 = -2*a - 1. Let h be 1/(3/s*-3) + 131. Let r = 402 - h. Is 45 a factor of r?
True
Let d = 118 - 221. Let i = -98 - d. Suppose 366 = i*b + 2*j, 0 = 4*b - j - 266 - 19. Does 24 divide b?
True
Is (-125760)/(-44) - 2 - (-34)/(-187) a multiple of 42?
True
Suppose 0*u = -3*u + 384. Let c be ((-1)/2)/(-18 + 803/44) - 7. Let w = u + c. Does 17 divide w?
True
Let t(k) = -450*k - 180. Is t(-13) a multiple of 30?
True
Let g(r) = 137*r**2 - 101*r + 10. Is 26 a factor of g(15)?
False
Suppose -5*t + l - 3 = 0, -5*t - 2*l - 5 = -4*t. Let m be (t*(-6)/(-9))/(3/(-9)). Suppose -5*g - m*y = -0*y - 85, 3*g = 4*y + 25. Is g a multiple of 5?
True
Suppose 6*c + 9 = -4*b + 5*c, -4*b = -5*c + 27. Is 2 a factor of (-2 + b)*(5 + -4) - -150?
False
Suppose w = -0*w + 81. Let n = -69 + w. Suppose 1005 = n*a - 1503. Is 19 a factor of a?
True
Suppose 9396*r - 9394*r - 10410 = 0. Is 5 a factor of r?
True
Suppose 732119 = 114*q - 406057. Does 96 divide q?
True
Let m(l) be the first derivative of l**3/3 - 2*l + 24. Let k be m(0). Let h = k + 65. Is 21 a factor of h?
True
Let s(f) = -f**3 - 20*f*