et r(z) = -2070*z - 324. Is 27 a factor of r(-3)?
True
Let g(m) = -3*m**3 + 44*m**2 + 15*m + 2. Let s be g(15). Is 22 a factor of (-3)/s*13/((-26)/264)?
True
Let y be (-712)/44 + (-2)/(-11). Let s(h) = -h**3 - 15*h**2 + 4*h - 5. Let f be s(y). Does 17 divide (1*2)/(11/f)?
True
Let c = -176 - -1944. Suppose -5*p - 8*p = -c. Is 22 a factor of p?
False
Suppose -21*g + 16*g = -30. Is 7 a factor of (4 - g)/(-2)*91?
True
Let w(q) = -551*q + 23163. Does 11 divide w(-42)?
False
Let w(h) = -3184*h**3 - 3*h**2 - 1. Is 15 a factor of w(-1)?
True
Suppose -783 = -36*r + 6957. Suppose 131 = -3*f + 2*f. Let n = r + f. Does 14 divide n?
True
Suppose y = -3*b + 9, 6 = 2*b - 0*b + 2*y. Suppose -b*c + n + 96 = -0*c, -c - n = -28. Suppose -420 = -35*a + c*a. Is a a multiple of 15?
True
Suppose 0 = -4*q + 5*q + 515. Let w = 170 + q. Let r = -177 - w. Is 56 a factor of r?
True
Let v = -516 + 286. Let x = 175 - v. Is x a multiple of 45?
True
Suppose -5*t + 120*o - 125*o = 65, 4*o = 4. Suppose 2*k = -h + 166 + 103, h - 539 = -4*k. Let b = t + k. Does 15 divide b?
False
Suppose -3*d + 2*r + 939 = 0, -2*d - 5*r - 1259 = -6*d. Let b = 535 - d. Does 12 divide b?
False
Suppose 14*m + 1694784 = 62*m. Suppose m - 9658 = 15*b. Does 19 divide b?
True
Let q be -5*(3 - -1 - 5). Suppose q*d - 31 = -6. Suppose 0*r = -v - 3*r + 183, 3*v - 545 = -d*r. Is v a multiple of 12?
True
Let i = -1981 - -1981. Let p be (-2)/(-7) + 12/7. Suppose 0 = -p*q - i*q + 134. Is 9 a factor of q?
False
Let j be (-3)/(9/(-35))*3. Suppose -2*l = -j*l + 2244. Does 2 divide l?
True
Let s be (-3168)/540 + (-2)/15. Is (-1)/s - 54587/(-114) a multiple of 19?
False
Let a be 922/(-6) - 3/9. Let o = -1034 - -1036. Is (o/(-7))/(22/a) a multiple of 2?
True
Is 91*(14 - 2160/(-56)) a multiple of 8?
True
Is 362 a factor of 9516 - 92 - 24/2?
True
Let b be (-2 + -3)*((-42)/30 + 1). Suppose 4*u = 2*w + 910, -20 = -6*w + b*w. Does 12 divide u?
False
Let p(a) = a**2 - 16*a + 38. Let i be p(12). Let q be (6 - 1)*(-10)/i. Suppose -q*c + 42 = 2*c. Is c a multiple of 4?
False
Suppose 0 = -3*r + 27 - 219. Is (80/r)/((-1)/136) a multiple of 13?
False
Let x = 19 - 16. Is 4 a factor of 4*(-164)/(x - 7)?
True
Suppose 0 = -j + 2*k - 7*k + 434, 4*k - 1688 = -4*j. Let l = j - 100. Does 11 divide l?
True
Let l = -728 + 1067. Does 14 divide l?
False
Suppose 0 = u + 21*u. Is 54 a factor of (u/6 - -1)*417?
False
Let c(p) = 13*p**2 + 22*p + 6 - 11*p - 2*p**2 + 8 + p**3. Let f be c(-10). Suppose 3*b + 4*k - 135 = 6*k, -f*b + 180 = 2*k. Does 7 divide b?
False
Let u(l) = -l**3 - 20*l**2 - 24*l - 4. Suppose 314 = -7*c + 167. Does 18 divide u(c)?
False
Is 2264 + 2/(-6)*-24 - 2 a multiple of 44?
False
Suppose 31*l - 66*u = -61*u + 1450790, -3*l - 3*u + 140406 = 0. Does 15 divide l?
True
Suppose -32*j = -4*q - 36*j + 3276, q = -7*j + 837. Let w be (-94)/(-14) + 2/7. Suppose q = w*d + d. Is 17 a factor of d?
True
Let d = 3706 - -5516. Is 8 a factor of d?
False
Let w = 10592 - -254. Is 92 a factor of w?
False
Let q = 331 - 324. Suppose q*p - 15*p = -736. Is p a multiple of 92?
True
Suppose -n + 5*u + 59440 = 0, 8*n - 9*n + u = -59464. Is n a multiple of 95?
True
Let o(z) = -z**3 - 8*z**2 + 22*z - 16. Let d be o(-10). Is 2/d*4 - 227/(-9) a multiple of 25?
True
Let l be 3/((-8)/96*-9). Suppose -5*q + 0*k - l*k = -1072, q + k - 214 = 0. Is q a multiple of 4?
True
Suppose 0 = -5*y - 7*y + 864. Suppose -2*h - v + 382 = 0, 0 = h - v - v - 201. Suppose -y - h = -5*k. Is 11 a factor of k?
False
Let r = -662 + 326. Let h = 150 + r. Let s = h - -298. Is s a multiple of 13?
False
Let i be (-4682)/5 - ((-28)/(-5) + -6). Let q = i + 1580. Is q a multiple of 46?
True
Let p = 9517 - -7218. Is 26 a factor of p?
False
Let i(u) = -u**3 - 2*u**2 - 3*u - 3. Let k(l) = 3*l + 4. Let p be k(-2). Let m be i(p). Suppose w - m*t + 2*t = 75, -4*w = -2*t - 304. Does 11 divide w?
True
Let t = 27724 - 8580. Is t a multiple of 25?
False
Let p be (-7)/((-14)/(-4))*(-6)/3. Suppose 5*t - 5*u = 860, 3*t = p*t + u - 164. Is 12 a factor of t?
True
Suppose 5*c + 19035 = 5*r, r - 3804 = -14*c + 16*c. Is r a multiple of 30?
True
Let s be (-85 - 4) + (1 - (-2 - -4)). Is 1036/(-6)*5/(s/27) a multiple of 6?
False
Suppose 0 = 5*o - o - 20, -4*x - 5*o = -6617. Is 103 a factor of x?
True
Suppose -4826 + 17174 = 12*c. Let h = c - -52. Is h a multiple of 45?
False
Suppose 0 = -5*r - 2*j + 3*j + 304, -3*r = 2*j - 172. Let w = 64 - r. Suppose -p = p - w*u - 82, -4 = u. Is 33 a factor of p?
True
Let v(b) = -4*b + 23. Let o be v(5). Suppose 5*j - 2*q + o*q - 411 = 0, -2*j - 4*q + 150 = 0. Is j a multiple of 36?
False
Let c be ((-410)/4)/(2/12*-3). Suppose 9*s - c = 308. Let l = 4 + s. Does 5 divide l?
False
Suppose -41*h = -12*h - 197374. Does 80 divide h?
False
Let z = 71 + 79. Is (26/(-39))/(149/z + -1) a multiple of 8?
False
Let c(t) = 491*t**2 + 92*t + 216. Is 68 a factor of c(-6)?
True
Suppose 5*g - 6219 = 3136 - 555. Does 13 divide g?
False
Let j be 6/21 + (-4)/(84/237). Does 27 divide (2 + -152)/(1 + j/9)?
True
Suppose 0 = 4*q - 2*g - 3296, 2*q = -g - 886 + 2534. Does 8 divide q?
True
Let z = 27 - 18. Let l(y) = 15*y - 32. Let a be l(z). Let p = a - -16. Is 17 a factor of p?
True
Let s be (228/(-9))/(-2) - (-4)/(-6). Suppose -261 = -s*f + 591. Let w = f + -36. Is w even?
False
Let x be 16/7 + 18/(-63). Let o be 3/((-33)/x) + 13870/55. Suppose -10*y + 7*y + o = 0. Is y a multiple of 20?
False
Let r = 13323 + -2606. Is 37 a factor of r?
False
Suppose 5*k + a - 15116 = 0, -5579 = -2*k - 2*a + 461. Is 20 a factor of k?
False
Is (9133 - -11)/9 - 0/(0 - -1) a multiple of 4?
True
Suppose -80 = 4*q - 20*q. Suppose -q*j + 185 = 2*h - 235, -10 = 2*h. Is j a multiple of 2?
True
Suppose 5*y - 10*y - 4*b = -10566, y - 2118 = 4*b. Does 71 divide y?
False
Let l be 1*(-5)/15*(-66)/(-2). Is 7 a factor of 3/((-973)/244 + l + 15)?
False
Let u(f) be the third derivative of -25*f**4/24 - 11*f**3/3 - f**2. Let d(r) = r**2 + 29*r + 161. Let p be d(-8). Does 24 divide u(p)?
False
Suppose 35*i = 1119929 + 1452394 - 233448. Is 13 a factor of i?
False
Let s(k) = -9*k + 45. Let j = -115 - -100. Is 18 a factor of s(j)?
True
Let p = -69 + 73. Suppose 0 = -p*w + 2*w + 6. Is 8 a factor of (1024/96)/(1*2/w)?
True
Suppose -5*u = 25, u + 0*u = 5*r + 2610. Let x = 918 + r. Suppose 3*p - x = -3*l - p, -4*p = -20. Is 25 a factor of l?
True
Let o(g) = -39*g. Let l be o(-1). Is 11 a factor of (-88)/(-6)*l/26?
True
Is 78 a factor of (-202)/((7/(-728))/(15/20))?
True
Let z(q) = q**2 + 21*q + 15. Let d(t) = t**3 - 6*t**2 - 10*t + 4. Let v be d(7). Let g be z(v). Let x = g + 158. Is x a multiple of 16?
False
Suppose -3*j + 8*j = 295. Let g be 16/6*(j + (-8)/(-2)). Suppose 0 = -4*c + c + g. Is c a multiple of 28?
True
Suppose 3635 = 2*a + 3*n, 36*n - 7261 = -4*a + 33*n. Is 3 a factor of a?
False
Suppose 7*w = -232*t + 231*t + 60347, -2*t = 5*w - 120685. Does 14 divide t?
True
Let t = 16 + -14. Does 24 divide 6/(-6)*t - -458*1?
True
Let r(c) = -36 + 49 - 162 - 88*c. Is 37 a factor of r(-8)?
True
Suppose -7*j = -5 - 9. Let p(h) = -h**3 - h**2 + 4*h - 4. Let s be p(j). Does 16 divide (-6)/24 - 258/s?
True
Let f be (15/(-2))/(51/(-136)). Let s = f + 26. Does 23 divide 75/(-5)*s/(-5)?
True
Let j(c) = -5*c**2 + 23*c + 31. Let x be j(5). Suppose -4*k + 10 = -4*n - 6, 4*k = -3*n + 16. Suppose n = 22*g - x*g - 20. Is g a multiple of 10?
True
Let n be 2/(-4)*4 + 14*1. Let u be 28 + (-2)/(8/n). Suppose -h = m - 0*h - 29, 5*h + u = 0. Is m a multiple of 17?
True
Suppose -31*h + 197 = -144. Suppose -h*l + 833 = -3347. Is 20 a factor of l?
True
Suppose 38*c + 232*c = c + 2247226. Is c a multiple of 96?
False
Let k = 20 + -16. Suppose -1130 = -5*h - q - 4*q, k*h - 908 = -2*q. Does 15 divide h?
False
Let g = 18 + -23. Let o be (5 - 63/15)/((-2)/g). Suppose -o*k + 190 = -194. Is k a multiple of 16?
True
Let a be (-1)/(59/(-29) - -2). Let j be 0 + -2*(5 + -8) - 1. Suppose t - 153 = -j*s - 2*t, s - t = a. Is 10 a factor of s?
True
Let n(s) = -5*s - 3. Let d be n(-1). Is d/11 + 3626/22 a multiple of 17?
False
Let b be 200/(-16)*(10/25 + -2). Suppose 3366 = -b*a + 29*a. Is a a multiple of 22?
True
Suppose 44*s + 117*s + 722427 = 3037929. Is s even?
True
Let b = -2122 + 4010. Is 8 a factor of b?
True
Let t(d) = 11*d + 490. Is 26 a factor of t(-19)?
Fa