a factor of g?
True
Suppose 4*u - 4*w = 3216, 808 = -7*u + 8*u + w. Does 13 divide u?
True
Let k(g) = -3*g - 24. Let f be k(-6). Let j be -1*f/3*2/2. Suppose -4*z + 42 = 2*n - 0*z, -j*n + 47 = 5*z. Is 2 a factor of n?
False
Let b be (-462)/(-30) + 6/(-15). Let h be (-4 + b + 3)/2. Suppose -4*f + 2*m + 98 = h*m, 2*f - m = 56. Is 6 a factor of f?
False
Let p(f) be the third derivative of f**5/20 - f**4/12 - 2*f**3/3 + 20*f**2. Let g be p(-2). Let n = g - 2. Is n even?
True
Is (-167479)/(-78) - 7/6 a multiple of 38?
False
Suppose 32*w - 37*w = 4*l - 56753, -l - 34028 = -3*w. Is 42 a factor of w?
False
Is (105/(-63))/(3/(-1446)) - 8/24 a multiple of 19?
False
Let k(j) = -8*j**3 - 27*j**2 - 42*j + 31. Is k(-11) a multiple of 182?
False
Let p(n) = -3*n**3 - 48*n**2 - 139*n + 8. Is p(-23) a multiple of 34?
True
Let i be (13 - (-846)/(-72))*(3 + 1). Let k be 28/1 - (2 - 3). Suppose -k = -n - i. Does 12 divide n?
True
Suppose 1493892 = 247*v + 59*v. Is v a multiple of 22?
False
Let d(p) = -3*p**3 + 255*p**2 + 50*p - 141. Does 2 divide d(85)?
False
Let d(s) = -3*s + 6. Let a be d(-5). Let x be (-4)/3 - (-3220)/a. Let n = x - 71. Does 14 divide n?
False
Suppose 7642 = 5*r - 968. Suppose 0 = 4*t + 4*g - 1812, r = 5*t - 3*g - 527. Is t a multiple of 46?
False
Suppose -h + 530 = 4*h. Suppose 2*b - h = -2*m, 0 = -m + 4*m + b - 163. Suppose -121 - m = -4*u. Does 22 divide u?
True
Let z(c) be the second derivative of 10*c**3 + 53*c**2 - c + 44. Is 13 a factor of z(3)?
True
Suppose 25566 = 15*d - 59595 - 23829. Is 42 a factor of d?
True
Suppose 615966 - 1538682 = -228*v. Is v a multiple of 15?
False
Suppose -10*j + 12*j = 262. Suppose -8*y + j = -173. Is y a multiple of 12?
False
Let n = -12 - -19. Suppose 17 = -n*w + 45. Is 4 a factor of (-5358)/(-133) - w/14?
True
Suppose -87*o = -94*o + 56. Let x(l) = l**2 + 4*l - 9. Let k be x(-7). Let p = k + o. Does 4 divide p?
True
Suppose -3*g = -4*l + 56 + 142, 5*g = -10. Does 15 divide (-2076)/15*(-360)/l?
False
Suppose 57 = 2*q + 65, -4*j = 3*q - 10644. Is 5 a factor of j?
False
Suppose 22*t = 12*t + 100. Let r(i) = i**3 + 38*i + 43. Does 59 divide r(t)?
False
Let w(t) = 25*t**2 - 39*t + 8. Let p be w(-13). Suppose -x = 5*z - 0*z - p, z + 4*x = 967. Does 38 divide z?
False
Let p(b) = 3 + 77*b**3 - 11*b - 2*b**2 + 3 + 0*b**2 + 0 + 6. Is p(1) a multiple of 19?
True
Let m be ((-2)/2)/(656/(-132) + 5). Let q = m + 35. Does 5 divide 804/28 - 2 - q/(-7)?
False
Let v(i) = 112*i - 680. Is 4 a factor of v(11)?
True
Suppose 0 = 2*t + v - 18, 0*v = -3*t + 5*v + 40. Suppose 2459 = t*k + 369. Is k a multiple of 8?
False
Let s = -834 - -1445. Suppose -3*m = 5*y - 2008 + s, 276 = y + 4*m. Is y a multiple of 27?
False
Let v = -217 - -291. Suppose -v = -15*g + 61. Is g a multiple of 2?
False
Let f = -12535 + 14525. Is f a multiple of 8?
False
Let w = -217 - -576. Suppose 1162 = 5*v - o + w, -3*v + 473 = -5*o. Does 23 divide v?
True
Let z = -19771 + 35527. Is 52 a factor of z?
True
Let p be (98/(-294))/(2/4548). Let o = p - -1581. Is o a multiple of 13?
False
Suppose -8*z + 9*z - 3416 = -4*o, 5*o = -4*z + 13708. Is z a multiple of 12?
True
Let d(i) = -19*i + 110. Does 39 divide d(-4)?
False
Let j be (656/(-492))/((-4)/(-15)). Let q(z) = -36*z - 40. Let u(t) = -396*t - 441. Let m(c) = 45*q(c) - 4*u(c). Is 19 a factor of m(j)?
False
Let p be (-144)/(-32)*16/6. Let u be (-1)/4 - (0 + (-39)/p). Is 10 a factor of (u*10/3)/(7/21)?
True
Let j be (4/3)/(2/6) + 0. Suppose j*f = -f - 4*v + 17, 0 = 2*f + v - 8. Suppose 8*d - f*d = 162. Does 13 divide d?
False
Let q(o) = 7 + 61 + o**2 - 3 - 8*o + 0*o - 5. Is q(18) a multiple of 5?
True
Suppose -4*u = 2*m - 404, -40 = -u + 2*m + 66. Suppose u*h = 94*h + 2240. Is 10 a factor of h?
True
Let d(n) be the third derivative of 0*n - 10/3*n**3 - 1/6*n**4 + 1/60*n**5 + 0 - 7*n**2. Does 10 divide d(11)?
False
Suppose -2*r = b, -r = -6*r + 2*b. Suppose r = 4*o + 3*o - 147. Suppose 0 = o*i - 16*i - 95. Does 19 divide i?
True
Suppose 0 = -2*d + 6*i + 40796, 26*d = 23*d - 2*i + 61260. Is 32 a factor of d?
True
Let v(g) = 5*g**3 + 14*g**2 - 59*g - 379. Does 7 divide v(12)?
True
Suppose 3*h + 863 = -2*s, 8 = 3*h + s + 876. Let b(d) = d**3 - 38*d**2 - 42*d - 75. Let k be b(39). Let q = k - h. Is 11 a factor of q?
True
Suppose 18*m - 13*m = -195. Let b = m - -41. Suppose -b*i + 108 = 4*p, 5*p - 134 = -0*i - 2*i. Is 5 a factor of p?
False
Suppose 0 = 5*d + 3*n - 16591, -2*d + 2*n + 5881 + 749 = 0. Does 107 divide d?
True
Suppose 2*y - 39 = -t, 5*y + 3*t - 78 = 7*t. Let r(b) = -5*b + b + 40 + b - 8*b + b + b**2. Is r(y) a multiple of 23?
True
Suppose 26*t = 107143 - 5230 - 22691. Is 17 a factor of t?
False
Suppose -2*i - 18 - 36 = -2*l, 0 = i - 3. Is (-420)/3*l/(-50) a multiple of 21?
True
Let b = -205 - -216. Suppose -b*x + 80 + 1020 = 0. Is 20 a factor of x?
True
Let i(z) = -527*z**3 - z**2 + 1. Let r be i(-1). Does 35 divide r + -1 - (11 - 10)?
True
Let n = 16664 - 11084. Is 90 a factor of n?
True
Suppose 35 + 79 = 6*d. Suppose 40 = 24*y - d*y. Is 4 a factor of y?
True
Let w(r) = 7*r**3 + 11*r**2 - 216*r - 129. Does 13 divide w(15)?
False
Suppose 7*a - 29 - 118 = 0. Suppose 0 = 17*t - a*t + 2780. Suppose t = 3*g + 242. Does 17 divide g?
False
Is -45 - -18 - -27 - (-20972 + (0 - -2)) a multiple of 45?
True
Suppose -5*t + 2*h + 297 = -h, 3*t = 3*h + 177. Let n = 64 - t. Suppose -n*u + 0*u = -252. Does 12 divide u?
False
Let l(y) = y**3 - 16*y**2 - 27*y - 10. Does 11 divide l(21)?
True
Let l = -1419 + 3087. Suppose 4*t - l = -3*i, 5*t - 948 = 4*i - 3203. Is i a multiple of 10?
True
Let r(a) = 24*a - 194. Let k be r(8). Is (-10)/k*1034/55 a multiple of 3?
False
Let w be ((-6)/5)/(-2*15/500). Let b be 7 + w/(-4) + 2. Suppose b*x - 312 = 2*i, -3*x + 6*i = 2*i - 234. Is 8 a factor of x?
False
Let p(a) = 131*a**2 - 4*a + 3. Suppose 27 = -7*m + 10*m. Let t be 3/2 + (-4)/(m - 1). Is p(t) a multiple of 26?
True
Suppose -q + 22*q + 243478 = 44*q. Does 67 divide q?
True
Let m = -237 - -237. Suppose m = -2*h + 5*s + 288, -4*h = -3*s + 4*s - 576. Is 16 a factor of h?
True
Suppose 3*x - v = -0*x + 18, -2*v = -2*x + 12. Suppose x*j - 11 = -5. Is 12 a factor of 6/((-4)/(-40)*j)?
True
Suppose y - 1615 = -3*v + 21101, 0 = 2*v - 4*y - 15102. Is 2 a factor of v?
False
Let b be (-1)/(2/(-258)) + (6 - 5). Suppose -5*k - 4*i = -432, -137 - b = -3*k - 5*i. Is k a multiple of 14?
True
Suppose -3*x + 18 = -12. Suppose 0 = -4*h - 2 + x. Suppose s - h*k - 3*k = 7, -2*s - 4*k = -56. Is 6 a factor of s?
False
Let x = -8505 + 11970. Does 64 divide x?
False
Let f = 7561 + -3495. Does 19 divide f?
True
Suppose 9*x - 92 + 38 = 0. Is 2 a factor of x/14 + 890/14 + 3?
False
Suppose 86*m - 106737 - 120389 = 0. Does 56 divide m?
False
Let f(s) = 13*s**2 - 45*s - 259. Let r(p) = 7*p**2 - 23*p - 130. Let g(c) = 6*f(c) - 11*r(c). Is g(-29) a multiple of 11?
True
Suppose -34*x - 34560 = -46*x. Does 34 divide x?
False
Is 20 a factor of 1*-6*(782/(-3) - (-64)/(-24))?
True
Is (8550/8)/25*640 a multiple of 60?
True
Is 1/((-3)/18) - 1/((-1)/4425) a multiple of 9?
True
Let m = -7103 - -11149. Does 34 divide m?
True
Suppose -5*j - 3*m = 78 - 847, -4*j + 2*m + 624 = 0. Let q = j - -24. Is q a multiple of 3?
False
Let k(w) = -3*w + 35. Let x = 20 + -22. Let p(n) = -3*n + 34. Let c(l) = x*p(l) + 3*k(l). Does 5 divide c(6)?
False
Suppose -p - 4*q = -2*p + 29, 5*q = -25. Suppose -p*c = -3*c - 18. Suppose c*f + 5*t - 145 = 0, 2*f + 4*t = f + 53. Does 9 divide f?
True
Is (16 - 18/3)*76 + (2 - -4) even?
True
Suppose 2*x - 7*x = 4*t - 3688, -x = 3*t - 2766. Let p = t + -597. Let w = p + -201. Is 31 a factor of w?
True
Suppose -4*w - 4*f = -40, 5*f - 15 = w + f. Let d(b) = 2*b + b + 17 - 2*b - 18 + 3*b. Is d(w) a multiple of 19?
True
Let i(r) = -715*r + 2815. Does 49 divide i(-6)?
True
Let n(t) = t**2 - 8*t - 1. Let j be n(4). Suppose 8*f + 0*f - 272 = 0. Let x = j + f. Is x a multiple of 13?
False
Suppose -78*q + 24 = -75*q. Is ((-2745)/(-10))/(3/q) a multiple of 59?
False
Suppose -15120 = -14*s - s. Suppose 9*r + s = 12*r. Is 9 a factor of r?
False
Suppose 43493 = 2*l - 5*c - 31309, 0 = -l + 5*c + 37416. Is l a multiple of 93?
True
Let x(i) = 245*i**3 - 9*i**2 + 11*i + 73. Does 96 divide x(5)?
True
Suppose -936386 = 123*w - 185*w. Does 62 divide w?
False
Suppose 0 = 9