ctor of b?
True
Let u = 9712 + 1758. Does 155 divide u?
True
Let w = -3 + 8. Suppose w*j = l + 1404, 5*l + 123 = j - 177. Does 14 divide j?
True
Let g(a) be the first derivative of -a**3/3 + 22*a**2 - 34*a + 40. Does 70 divide g(30)?
False
Suppose 2*i = -4*n + 2494, -i = 4*i + 4*n - 6253. Let c = i + 827. Does 13 divide c?
True
Suppose -5*y - 38 = -4*j - 0*j, 16 = -3*y - j. Let n be (-1760)/(-24)*(135/y)/(-5). Let b = n + -180. Does 25 divide b?
True
Let y(f) be the third derivative of f**6/60 - f**5/15 + 13*f**4/12 - 5*f**3/2 - 120*f**2. Is 21 a factor of y(6)?
False
Suppose i - 21 = -5*t, 5*i - 3*t + 6*t - 83 = 0. Let s = -6 + i. Is s a multiple of 6?
False
Suppose 69*o - 76*o = -1736. Suppose b - 4*f = 354 + o, -4*b + 3*f + 2408 = 0. Is b a multiple of 14?
True
Suppose -34*n - 8*n - 6*n = -671808. Does 126 divide n?
False
Suppose 1014 + 1116 = 15*n. Suppose 4*o = 5*f + 893, 3*o - 4*f - 812 = -n. Is o a multiple of 6?
True
Suppose -3*p + 3*d + 9 = 0, -4*p + 23 - 3 = 4*d. Suppose o - 2 = -2*t + p, -3*t + 10 = o. Suppose 5*c - 3*f - 89 = 6, -5*f = t*c - 113. Is c a multiple of 22?
True
Let b = -53 + 46. Let y be (8 + 0)/(b + 9). Suppose -i = 3*w - 48 - 40, 352 = y*i - 3*w. Does 4 divide i?
True
Suppose -4*v + 0*k + 192 = -4*k, -174 = -4*v - 2*k. Suppose 0 = -a - y + 181 - v, -5*y = -2*a + 286. Suppose -30 = -2*w + a. Is w a multiple of 28?
True
Suppose 4*o + 8594 = 2*p, -23135 + 1626 = -5*p + 2*o. Is p a multiple of 31?
False
Let n = -66 - -71. Suppose -n*i + 17 = -4*m, m + 0*m = 4*i - 18. Suppose 5*t = -5*f + 205, m*t - 5*t + 130 = -4*f. Is t a multiple of 6?
True
Let w be (2/(-10) + 0)/((-2)/290). Suppose 34*f - 75 = w*f. Is 2 a factor of f?
False
Let a be -2 - 6/6*-2. Suppose -4*s - 4*m - 344 = a, 0*m - 246 = 3*s - m. Let i = 119 + s. Is 6 a factor of i?
True
Suppose -4*n = 12, 18 = 2*l - 6*n + 4*n. Suppose 10*b = 13*b - l. Suppose c = -b*c + 297. Is 19 a factor of c?
False
Suppose -325*j + 321*j - 792 = -11060. Does 66 divide j?
False
Let g(j) be the third derivative of j**6/120 + 4*j**5/15 + 5*j**4/12 + 3*j**3 + 2*j**2 - 49*j. Is g(-6) a multiple of 5?
False
Does 5 divide 9/(-6) - 247/(-38) - -8735?
True
Suppose 323 = -2*o + 3*h, 4*o - h + 2*h = -625. Let s = 202 + o. Is s a multiple of 15?
True
Let o = 1755 - 445. Does 49 divide o?
False
Suppose -4*n - 3329 = -l, -5*l + 24*n + 16770 = 29*n. Is 12 a factor of l?
False
Let j(s) = -s**3 - s**2 + 22*s - 5. Let c be j(4). Suppose v - c*v - 3*h - 92 = 0, -4*h = -5*v - 184. Is v/(-4 - 1) - (-4)/(-1) a multiple of 2?
True
Suppose -4*f = -3*x + 531, 5*x - 2*f - 463 = 422. Does 14 divide 10 + x - 1/1?
False
Let h = 496 + -306. Suppose -95*x = -94*x - h. Is 30 a factor of x?
False
Let n = 312 + -309. Suppose t - 3*r - 97 = 384, 1498 = n*t + 2*r. Is t a multiple of 15?
False
Does 5 divide 17/(204/(-120))*2145/(-25)?
False
Let h = 757 - 323. Let x = h - 254. Does 15 divide x?
True
Suppose 5*b = -3*c + 6, 5*c = b - 20 + 2. Suppose -3*u + 120 = b*p - 24, -248 = -5*u - 3*p. Suppose -9*q = -u - 92. Is 2 a factor of q?
True
Let o(f) be the second derivative of f**7/1260 + f**6/120 - f**5/15 + 2*f**4 + 44*f. Let j(p) be the third derivative of o(p). Is 33 a factor of j(7)?
True
Let w(p) = -p**2 - 8*p - 13. Let j be w(-5). Suppose 0 = -6*s - 46 - j. Does 5 divide ((15/(-2))/(-3))/(s/(-48))?
True
Suppose -8*y = 3*h - 13*y - 45, y - 47 = -5*h. Does 9 divide 6/((20/33)/h)?
True
Let h(z) = z + 23. Let y(x) = -x**2 + 17*x + 3. Let s be y(17). Suppose 0 = w - s*j + 8, 3 = -w + 4*j - 3. Is 5 a factor of h(w)?
False
Suppose -7*k + 4526 + 37593 = 0. Is k a multiple of 27?
False
Let b = 209 - 225. Let x = 454 + b. Is 12 a factor of x?
False
Suppose -k - 4*g + 5 = 0, 4*k + g + 32 = -k. Let p(c) = 9*c - 12. Let u be p(k). Let o = 108 + u. Is o a multiple of 11?
True
Is 76 a factor of (-585263)/35*-1 + -3 - (-6)/5?
True
Let s(z) = -z**2 + 73*z - 152. Is s(60) a multiple of 35?
False
Suppose 25*y = -93053 + 1245203. Is y a multiple of 48?
False
Suppose s - 58 = 3. Suppose 3*q - 398 = -4*m, 58*m + 267 = 2*q + s*m. Is q a multiple of 3?
True
Suppose -3*o - 367 + 19 = 0. Let r = 16 + o. Let m = -66 - r. Is 8 a factor of m?
False
Suppose -20*p = 1750 - 11568 - 8182. Is 12 a factor of p?
True
Let j(s) = 8*s**2 - 155. Let z be j(11). Suppose 3*m + 735 = z. Is m a multiple of 7?
False
Suppose -5*g - 428 = -2*f, -g - 436 = -4*f + 2*f. Let m = f + -139. Does 40 divide m?
True
Suppose 0 = 122*h - 16*h + 8056. Suppose 0 = 4*u - 0*u - 860. Let d = h + u. Is 10 a factor of d?
False
Suppose 3*b = 4*l + 7*b - 11896, -2*l = b - 5941. Does 18 divide l?
False
Suppose 2*s = -f + 69766, 7*s - 2*f = 8*s - 34874. Is s a multiple of 190?
False
Let j(t) = -273 + 40*t**2 + 15*t**3 - 45*t + 264 - 13*t**3. Is 18 a factor of j(-21)?
True
Let c be (-140)/(-84) - (-1 + 2/3). Suppose -2*r - c*k + 12 = -0*k, 5*k = 2*r + 9. Suppose -2*z = -3*t - z + 133, 0 = -r*t + 3*z + 135. Does 22 divide t?
True
Suppose 15843 = 22*g + 4953. Suppose -k - 75 = -g. Is 56 a factor of k?
False
Let o = -525 + 531. Let c(v) = -v**2 - 7*v + 103. Is 5 a factor of c(o)?
True
Let x(k) = -5*k - 24. Let j be (-34)/6 - 2/6. Let o be x(j). Suppose o*y + 215 = 11*y. Does 13 divide y?
False
Let d(p) = p**3 + 35*p**2 + 50*p + 83. Does 17 divide d(-24)?
True
Let s(c) = -3*c + 4. Let z be s(10). Let v be z/6 - (-5)/15. Does 11 divide (160/24)/(v/(-18))?
False
Suppose 2*l + 11 = 17. Suppose 7*y = 6*y + l. Suppose 0*q + 2*q - 10 = 0, 4*q = y*x + 5. Is 2 a factor of x?
False
Suppose 65*r - 7107 = 62*r. Is 62 a factor of r?
False
Let f(p) = -48*p**3 - 3*p**2 - 14*p + 12. Let y(v) = 2 - 5*v**3 - 6*v**3 - v**2 - 5*v - 5*v**3 + 2. Let r(i) = -3*f(i) + 8*y(i). Is 12 a factor of r(2)?
True
Let o(s) = s**3 - 5*s**2 - s - 15. Let m be o(6). Suppose -2*t - m = -5*t. Suppose t*v - 282 = 358. Is 16 a factor of v?
True
Let q(k) = 5*k + 16*k - 5*k - 18. Suppose -t + 75 - 69 = 0. Does 19 divide q(t)?
False
Let i = 16 + -13. Suppose 68 = i*t - 13. Suppose 26*m - t*m = -28. Does 14 divide m?
True
Let x(i) = 1119*i**2 - 9*i - 23. Is x(-1) a multiple of 65?
True
Let u(f) = 245*f - 1289. Is u(11) a multiple of 67?
False
Is 118 a factor of (-96 - 3990)*8/(-18)?
False
Let f(m) = m**2 - 39*m + 190. Let k(t) = -t**3 - 11*t**2 + 6*t - 28. Let q be k(-12). Does 41 divide f(q)?
True
Let o(p) = 8*p. Let d be o(-1). Let x(m) be the second derivative of m**3/6 + 9*m**2 - 26*m - 2. Is x(d) a multiple of 5?
True
Suppose 0 = -37*d + 10*d + 17*d + 63170. Is d a multiple of 116?
False
Let h(q) = 2*q**2 + 402. Let p be h(-41). Suppose p = 8*i - 5076. Is 85 a factor of i?
True
Suppose o - 12 = 4*q, 6*o = 4*o + q + 10. Suppose u = 20 - o. Does 7 divide u?
False
Suppose -40*v = -30*v - 50. Suppose 4*c - 67 = -x, -2 + 99 = 4*c - v*x. Is c a multiple of 9?
True
Let m(a) = 10*a**2 - 15*a - 6. Let z be ((-3)/5 + 0/16)*-10. Does 16 divide m(z)?
False
Suppose -3*u = 50 - 464. Let p = u + -37. Suppose -p + 27 = -y. Is 37 a factor of y?
True
Let c(r) = r**3 + 4*r**2 - 10*r + 14. Let z be c(-6). Suppose -2444 = -z*s + 56. Is 13 a factor of s/8 + (-1)/4?
True
Let i(b) = 6*b**2 + 3*b. Suppose 3*c + 0 - 5 = 2*x, 0 = -4*x - 16. Let v = -3 - c. Does 13 divide i(v)?
False
Let u = 29 + -28. Let c be 5 + u + 4/(-1). Suppose -c*j = 2*s - 140, -4*s - 295 = -4*j - 5*s. Is j a multiple of 25?
True
Suppose 2*z = j - 2681, 19*z = 22*z + 9. Does 25 divide j?
True
Let f be (11 - 10)*(11 - (1 - 3)). Does 75 divide ((-18)/(-10))/(f/9815)?
False
Let k = 86374 + -14635. Is 15 a factor of k?
False
Suppose 7*l - 796 = -145. Suppose -l = -6*h - 15. Is h a multiple of 3?
False
Let s = 130 - 125. Suppose i = 5*j - 1200, -2*j + 7*j = s*i + 1200. Does 40 divide j?
True
Suppose -209 = 3*f - 1673. Let w = f + -441. Does 3 divide w?
False
Let b(n) = -n**3 + 11*n + 15. Let t be b(6). Let m = t + 315. Is 12 a factor of m?
True
Suppose -21353 = -1338*a + 1337*a - 5*z, a - 4*z = 21281. Is 72 a factor of a?
False
Suppose 3*q + 4*c - 14 = 0, 0 = 55*q - 54*q + c - 4. Suppose 18*m - 16*m - 1250 = q*x, -m + 3*x + 615 = 0. Does 68 divide m?
False
Is 35 a factor of (5460/(-52))/((-2)/218)?
True
Suppose h - 73 - 55 = 0. Let u = h - 426. Let b = -102 - u. Is 20 a factor of b?
False
Suppose 4*z + 103*c = 98*c + 75639, 0 = -3*z + 2*c + 56758. Is 17 a factor of z?
False
Let j