44 a factor of 530/(-18) - -29 - 124231/(-9)?
False
Let h = 9083 + -5237. Does 6 divide h?
True
Let d(k) be the third derivative of -k**5/60 + 5*k**4/3 + 4*k**3/3 + 7*k**2. Is 19 a factor of d(28)?
False
Let v = 715 + -503. Suppose -r = -0*r - v. Suppose 0*m = 4*m - 4*y - r, -5*y = 2*m - 85. Does 10 divide m?
True
Let b(x) = -9*x**3 - 2*x**2 - 26*x - 59. Is 4 a factor of b(-4)?
False
Is 54 a factor of (-3790)/(((-595)/56)/17)?
False
Let j(x) = 22*x - 170. Let o be j(8). Suppose 3*s = -9, h - o*h = -3*s - 334. Is h even?
False
Let c be (2 - 1*0/4) + 5. Suppose -26 = -c*n + 2. Suppose g + 4*k - 107 = 0, -5*g = -n*k - 305 - 278. Is 19 a factor of g?
False
Let s(g) = -28*g**2 + 6*g - 19. Let r(p) be the first derivative of 14*p**3/3 - 3*p**2/2 + 9*p - 21. Let l(y) = -7*r(y) - 4*s(y). Is l(3) a multiple of 28?
False
Suppose -5*b = 3*q - 3986, -4*q = -2*b - 3*b - 5303. Suppose q = d - 181. Is 52 a factor of d?
True
Let h = -24156 + 24802. Does 22 divide h?
False
Suppose -737*s + 734*s = -162. Is 4 a factor of (s/(-30))/(9/(-12))*5?
True
Suppose 153*c - y + 31342 = 157*c, 5*c + 5*y = 39170. Is 110 a factor of c?
False
Suppose 0 = 3*o + 3, g + 4*o = -3*g + 4. Suppose g*b = b - 5*f + 20, b + 3*f = 12. Suppose u - 3*m = -u + 308, b = -4*u + m + 626. Is 23 a factor of u?
False
Let j be 4 + 6 + 5 + -11. Suppose j*p - 1122 = 3*p - 4*m, 0 = -3*p - m + 3355. Does 26 divide p?
True
Is 48 a factor of (-7 - 660/84)*-42?
True
Let b = -853 + 1440. Suppose -b = 2*x + 5*v - 1814, 5*v - 5 = 0. Suppose 2 - x = -3*d. Is d a multiple of 19?
False
Suppose 4*d - 1794 = 5*u, -u + 32 = d + 398. Let z = 518 + u. Is 12 a factor of z?
True
Suppose -3*s + 6*s = 1179. Let p = 39 + s. Is p a multiple of 36?
True
Let s be -2*1/2 + 19. Let p = s + -28. Is 24 a factor of p/(-30) - (248/(-3) + 1)?
False
Suppose -2*f - 2 = -2*b, 5*b = -2*f + 6*b + 1. Let m = 195 + -111. Suppose -4*p = f*p - m. Is 3 a factor of p?
False
Let s be (-3)/4 - 135/(-36). Suppose -3*u = 4*d + 9, d - s*d - 32 = -4*u. Is 118/8*(4 - (-2 + d)) a multiple of 33?
False
Let d be (6 - (0 + 5))*(1 + -2). Let a be (-1474)/((-3)/3 + d). Suppose -4 = -c, c = 5*q + 4*c - a. Is q a multiple of 29?
True
Suppose v = -2*f - 2011 + 6792, 0 = 3*v + 9. Is f a multiple of 6?
False
Let c(p) = 208*p**2 - 17*p + 7. Is c(7) a multiple of 160?
True
Is 6 a factor of (63/(-105) + 3054/15)*1?
False
Let n(l) = -l**3 - 7*l**2 + 2*l - 13. Let c be n(-8). Let x = 9 - 11. Let t = c + x. Is 9 a factor of t?
False
Let q = 38 - 33. Let x be 4/(-14) - 94*(-190)/35. Suppose 2*g + u - 510 = -3*g, 3*u = q*g - x. Does 6 divide g?
True
Suppose 21*g = 219819 + 341511. Does 17 divide g?
False
Suppose 0*a + 35 = -7*a. Let i(x) = -x**2 - x + 23. Let n be i(a). Suppose 3*c + c - 96 = 4*b, -3*b + 96 = n*c. Is c a multiple of 14?
True
Let l = -16708 + 31888. Is l a multiple of 122?
False
Suppose -4*w + 134588 = 2*r, 6*r - 67286 = -2*w + r. Is 268 a factor of w?
False
Let w(n) = n**3 + 2*n**2 + n. Let q be w(2). Suppose 2*c = 2*m + 10, 0*m - q = -5*c - 2*m. Suppose -c*v = -18 - 102. Does 6 divide v?
True
Let l be (-1)/(-12) - 249/(-36). Suppose 3*q + 1979 = 4*d, -l*d + 3*q = -5*d - 997. Is d a multiple of 10?
False
Let d = -258 - -942. Is d a multiple of 12?
True
Let k(w) = 368*w + 1184. Is k(26) a multiple of 42?
True
Suppose -3*q + 20 - 11 = 0, -f = -4*q - 6484. Is 28 a factor of f?
True
Is 6 a factor of (-180)/210 + (-14881)/(-7) + 3 + -4?
True
Suppose -936 - 324 = 70*f. Suppose 2*a + 2*a = -5*g - 16072, 16072 = -4*a - 3*g. Is 20 a factor of a/f - -2 - 2/9?
False
Let m(g) be the second derivative of -3*g**5/10 + g**3/6 + 8*g. Let x be m(-1). Let z(a) = 12*a**2 - 7*a + 35. Does 14 divide z(x)?
False
Let v(g) = -g**3 + g**2 + g - 3. Let b be (-2)/(-5) - (-136)/10. Suppose 4*h + b = 2. Is 10 a factor of v(h)?
True
Suppose -14*c + 83 = -13*c. Does 7 divide c?
False
Let x(m) = -92*m - 255. Does 5 divide x(-3)?
False
Let f = -6652 + 7420. Is 12 a factor of f?
True
Let j be (-1 - (-6)/5) + 45/25. Suppose 0 = 5*g + j - 27. Suppose 0*t - 4*s = -2*t + 256, g*t = -4*s + 570. Does 20 divide t?
False
Does 10 divide (4444/(-1010))/(18354/(-18350) - -1)?
False
Suppose -9*p - 45 = -54. Does 23 divide ((-1976)/(-12) + -2)/(p/3)?
False
Let o(j) = j - 49. Let v be o(0). Let u = v + 174. Is 5 a factor of u?
True
Let y = 195 + -175. Let n = -1 - 0. Let u = y + n. Is 18 a factor of u?
False
Suppose i - 2450 = -5*p + 19037, -p = -3*i + 64413. Is i a multiple of 32?
True
Does 11 divide 3297630/615 - (4 + -2 + 3)?
True
Let g(a) = 284*a**3 + 5*a**2 - 6*a - 16. Does 22 divide g(3)?
False
Let m = 497 + -497. Suppose -x + 3*h = 4*h - 407, -4*x + 3*h + 1614 = m. Is x a multiple of 32?
False
Let v(r) = r**3 - 34*r**2 - 1. Let y be v(34). Let b(i) be the third derivative of -31*i**4/24 - 2*i**3/3 - 2*i**2. Is 6 a factor of b(y)?
False
Let d(t) = -15*t + 133. Let h(c) = -14*c + 131. Let q(w) = -2*d(w) + 3*h(w). Does 28 divide q(-26)?
False
Let y = 781 - -1007. Suppose o - 2*o = 4, -4*o = -2*j + y. Is 52 a factor of j?
False
Let q = 285 - 84. Let s = q - 101. Is s a multiple of 34?
False
Suppose -3*q + 14 = 5*s - 13, -5*s = -5*q - 35. Let n be (s/10)/((-1)/(-85)). Suppose 5*c - n = 274. Is 13 a factor of c?
True
Let h = -30 - -33. Suppose -h*j = -8*j + 1050. Suppose 14*g = 9*g + j. Is 22 a factor of g?
False
Let b(v) = -3*v - 20. Let u(w) = -1. Let q(g) = -b(g) - 4*u(g). Suppose 0 = 3*f - 6*f - 15, 5*p = -4*f + 20. Does 8 divide q(p)?
True
Suppose 9*w + 5498 = -910. Let g = 1138 + w. Is g a multiple of 23?
False
Let z = 127 - 146. Let g = 124 + z. Is 21 a factor of g?
True
Let c be (6/4)/((-9)/24) - -8. Suppose 0 = -5*g + c*g + 44. Is 22 a factor of g?
True
Is 7 a factor of (44 - -2860) + 3*3?
False
Let r(c) = c**3 + 16*c**2 + 14*c + 14. Let w be r(-15). Suppose -5*z - w + 735 = -3*g, 2*z + 5*g - 301 = 0. Let m = z + -83. Is 20 a factor of m?
True
Let x(q) = 17*q + 22. Let u be x(-1). Suppose -s = -u*a - 1271, s + a - 1271 = 3*a. Does 41 divide s?
True
Let b = 18405 - 4443. Does 39 divide b?
True
Suppose x - 4*i - 39 = 204, 921 = 4*x + i. Is 7 a factor of x?
True
Let c = -27 + 482. Suppose 0 = -70*j + 75*j - c. Is 13 a factor of j?
True
Let u(d) = -d**2 - 21*d - 14. Let t be u(-15). Let x be t/(-20) + 2/(-20)*2. Does 23 divide ((-1)/3 - 0)/(x/276)?
True
Suppose a - 2*x - 151 = 0, 5*x = -5*a + 393 + 317. Suppose 0 = -2*v + a + 75. Does 10 divide v?
True
Let z(u) = 7*u**2 - 4*u - 20. Let p(h) = -h**2 - 18*h - 26. Let k be p(-16). Does 16 divide z(k)?
True
Let b = -81 + 83. Suppose 5*c = -3*w + 14, 0 = -3*w + b*w - c + 4. Suppose -w*l = 24 - 177. Is l a multiple of 9?
False
Suppose -3*r + 29 = -4*f, 0 = 2*r - f - 6 - 5. Suppose -12 = -5*h + 3, -p - 1 = r*h. Is (-6*(-2)/p)/((-3)/190) a multiple of 23?
False
Suppose 5*j - 154 - 238 = -3*a, 2*a + 3*j - 260 = 0. Suppose 14*r - 13*r = a. Let l = 207 - r. Does 28 divide l?
False
Let h(k) = 74*k**2 + 494*k + 25. Is 5 a factor of h(-10)?
True
Let w = 2745 - -13780. Is w/(-50)*(-1 + -3) a multiple of 24?
False
Let j(u) = u**3 + 16*u**2 - 4*u - 61. Let v be j(-16). Suppose -v*f - 4*b = -352, 2*f + 3*b = -b + 236. Is f a multiple of 19?
False
Suppose 3*z - 76 = -z. Let s = 859 + -893. Let t = z - s. Is t a multiple of 10?
False
Let q be 304/12*(-12)/(-8). Let c = 32 - q. Is (-3)/(-1*c/(-64)) a multiple of 8?
True
Let b = 1868 + 4324. Is 24 a factor of b?
True
Let x be 12/(-2) + 23 + -15. Suppose -x*f = -f - 187. Is f a multiple of 8?
False
Suppose -g - 1837 = -4*k, -1835 = -9*k + 5*k - g. Suppose 4*z = -235 + k. Is z a multiple of 14?
True
Suppose 0*d - 57 = -3*d. Let c = 3699 - 3683. Suppose i - 9 - c = -q, i = -4*q + d. Is 13 a factor of i?
False
Let s = -8969 + 12917. Does 42 divide s?
True
Suppose -443 = h + x, -12*x - 12 = -16*x. Let z = h + 508. Is z a multiple of 22?
False
Suppose 4*h + 5446 = 4*f + h, 2*h - 5436 = -4*f. Suppose -4*i + 5*i + 2*j = 331, 4*j = 4*i - f. Does 23 divide i?
False
Let f = 25 + -22. Suppose -1 = 3*k - f*i - 4, k - 5*i = 5. Does 3 divide (30 + 22)/(2 + k)?
False
Suppose 19*y = 38*y - 18*y - 49144. Does 233 divide y?
False
Suppose -626 = -5*l - 116. Let k be (4/3)/((-99768)/5256 - -19). Let y = l + k. Is y a multiple of 25?
True
Suppose -13*q + 59205 = -29520. Is q a multiple of 13?
True
Is 1/(5 - 1418/129 - -6) a mu