multiple of 2?
False
Suppose -4*w = -10*o + 6*o - 92, 0 = 3*w + 3*o - 39. Suppose -w*j - 23125 = -43*j. Does 25 divide j?
True
Suppose -4*g + 14 = a, 0*a = g + 5*a + 6. Let w be ((-4 - -3)*g)/(1/548). Is 2/(-7) - 1/(28/w) a multiple of 13?
True
Let o be (2 - 38/4)*(-22)/33. Suppose 4*y - 41 = 4*h + 7, y + o*h = -12. Suppose -a + 25 = y. Is 3 a factor of a?
False
Suppose 4*t - 12 = 28. Let a be (t/(-4))/((-25)/10). Suppose 0 = o - a - 3, -l + 5*o = -244. Does 33 divide l?
True
Let k be 1/(-4) + 45/(-40)*6. Let f(q) = 2*q**3 + 14*q**2 + 5*q. Let a be f(k). Is ((-30)/4)/(-3)*(-1218)/a a multiple of 21?
False
Let f be (7 - 13)*(-2)/4. Suppose 0 = -5*c - y + 4*y + f, -2*y = 5*c + 2. Does 51 divide (16/(-6) + c)*(-3366)/44?
True
Suppose 0 = -20*z + 1091 + 669. Suppose -12*y + 92 = -z. Does 11 divide ((-42)/y)/(6/(-360))?
False
Let u(k) = 7*k**2 + 8*k - 3. Let j be u(2). Let h(w) = 3*w - 23 - 27 - 11*w**2 + j - w**3. Is 7 a factor of h(-12)?
False
Let u(c) = -c**3 - c**2 - 9*c - 345. Is 213 a factor of u(-16)?
False
Suppose 0 = -7*r - 351 + 8. Does 38 divide 1473/21*2 - (-14)/r?
False
Let m = 302 + -317. Is 4 a factor of (-3)/m + 7/((-70)/(-118))?
True
Let t be ((-20)/48*4)/(5/(-9)). Suppose 3*a - t*n - 386 = 22, 0 = -4*a - 3*n + 572. Is 4 a factor of a?
True
Suppose -4 = -2*h - 0*h. Let i(d) = -h*d + 3 - 4 + d**2 + 0 - 13. Is 4 a factor of i(7)?
False
Suppose 11*k + 59 = 16*k - 2*p, 3*p = -6. Let w(m) = 68*m - 88. Is w(k) a multiple of 55?
True
Suppose -2*t - 67 + 1451 = 0. Let n = t - 549. Is 27 a factor of n?
False
Suppose 257952 + 84174 = 166*q. Is q a multiple of 16?
False
Suppose 5*v - 50 = 5*o - 8*o, -5*v = -4*o - 15. Let i(p) = -5*p + 2*p - 4*p + 6*p + 14. Does 2 divide i(v)?
False
Let z(a) = 19*a + 441. Does 6 divide z(28)?
False
Suppose 4*s - 10 = 10. Suppose s*c + 0*q = 5*q + 60, -5*c + q = -48. Is c a multiple of 6?
False
Is 30 a factor of (4 - (-39)/(-9))*-18 - -9954?
True
Let b(o) = -14*o - 158. Let l be b(-10). Is 9 a factor of (-33)/9 - -5 - 11964/l?
True
Suppose 0 = -255*f + 302*f - 192465. Is f a multiple of 15?
True
Let g = 39 + 52. Let v = 172 + g. Suppose -5*q = -407 - v. Is q a multiple of 14?
False
Is 13 a factor of (-14)/(-8) - 2066658/(-1384)?
True
Let p = 890 - 452. Suppose -5*b - c + 265 + 488 = 0, 3*b = 4*c + p. Is b a multiple of 22?
False
Is (2/(-4))/(10/(-25604)) - (-1698)/(-1415) a multiple of 3?
False
Let x(s) = s**3 - 57*s**2 + 15*s - 188. Does 139 divide x(57)?
False
Suppose 0 = 41*u - 48*u - 70. Does 66 divide 11/((-275)/3130)*u/4?
False
Suppose 0 = -3*x - 2*c - 58, -4*c - 27 - 9 = x. Let s be (x/6)/((-2)/(-6)). Does 2 divide (s + 0)*(-4 + 3)?
True
Suppose 944*f - 5178 = 941*f. Does 46 divide f?
False
Suppose -q + 34 = 3*n, 6*q + n = 4*q + 78. Is (-5)/q + 708/32 a multiple of 4?
False
Let n(h) = -98*h**3 + h**2 + 6*h + 1. Let o(y) = -6*y + 4. Let b be o(1). Is n(b) a multiple of 37?
True
Let f be (-86)/7 - 12/(-42). Let r be ((-1)/((-5)/(-6)))/(f/40). Suppose 2*i - 28 = 3*t, -2*t + 10 = i - r. Does 7 divide i?
True
Let z(t) be the third derivative of t**6/120 - t**5/4 + 13*t**4/12 + 20*t**3/3 - 7*t**2 - t. Is z(13) a multiple of 4?
True
Let s(q) = 3*q - 5. Let y be s(-22). Let n = -21 - y. Does 15 divide n?
False
Let o(q) = 45*q**3 + 4*q**2 - 6*q + 4. Let g be o(2). Let j = g + -254. Is j a multiple of 10?
False
Let k(v) = -v**2 + 6*v + 29. Let s be k(9). Suppose s*j = -0*j - 2*c + 68, 2*c = 0. Is j a multiple of 4?
False
Suppose 5*p - 690 = 1020. Let a = -125 + p. Does 31 divide a?
True
Suppose -182*u + 171*u + 6732 = 0. Is u/(12 + -6)*4/6 a multiple of 43?
False
Suppose 8*q - 5661 = -1845. Let s = q - 355. Is 4 a factor of s?
False
Suppose l + 5 = 2*m - 4*l, -3*l = 3*m + 3. Suppose 0 = -p - m*p + 6. Suppose -2*z + 80 = p*z. Does 2 divide z?
True
Let w be ((-3)/(-2))/(54/396). Let v(h) = h**3 - 9*h**2 + 19*h - 6. Let d be v(6). Suppose -w*r + 0*r + 1122 = d. Is 34 a factor of r?
True
Let a be (-10)/((-4)/(-10)*(-10)/2). Suppose a + 3 = 2*w. Suppose w*t = 432 - 4. Is t a multiple of 18?
False
Suppose 979*g + 198048 = 1003*g. Is g a multiple of 4?
True
Let y(x) = -x - 3. Let b be y(-6). Suppose -3 = -b*s + 66. Let z = s + 9. Is 16 a factor of z?
True
Suppose 5*h - 3*x + 0*x - 275720 = 0, 6*x - 8*x = 0. Is 66 a factor of h?
False
Is 21 a factor of 35/((112/(-14))/(-4464))?
True
Suppose 30 - 11 = 4*p + m, p - 1 = m. Suppose -p*n + 2124 = f, -n + 231 = 3*f - 300. Does 12 divide n?
False
Suppose 9*w = -w + 90. Let i be w/(-12)*-62*2. Let p = i + -30. Is 9 a factor of p?
True
Let i(v) = 26*v**2 - 41*v - 394. Does 58 divide i(-17)?
False
Let r = 191 - 120. Let q(s) = -54*s**3 + s**2 - 2*s - 2. Let u be q(-1). Let j = r - u. Does 8 divide j?
True
Suppose -4*y - 3*r - 4 = 0, -y = r + r + 6. Suppose -y*u + 147 = -415. Does 5 divide u?
False
Let w(x) = -28*x - 293. Let z be w(5). Let r = z + 488. Is r a multiple of 11?
True
Suppose -71044 + 5492 - 130352 = -16*u. Is 19 a factor of u?
False
Let f(q) = 2*q + 7. Let c be f(-2). Suppose o - 2*o + c*r = 35, r = -o - 43. Let a = 67 + o. Is a a multiple of 15?
False
Suppose -k = -3*w - 3381, -5*w - 18407 = -5*k - 1562. Is 57 a factor of k?
True
Let p = -4178 - -7906. Does 12 divide p?
False
Let k(v) = v**2 + 35*v + 205. Let f(y) = y**3 + 5*y**2 - 16*y + 24. Let o be f(-8). Is 27 a factor of k(o)?
True
Suppose -6*o - 3*o + 45 = 0. Suppose -539 + 2264 = o*i. Is 15 a factor of i?
True
Suppose 41542 = 4*x - 4*b - 26158, -3*b - 84613 = -5*x. Is x a multiple of 7?
True
Let r(k) = -k**3 + 5*k**2 - 2*k + 3. Let y be r(5). Let v(o) = o**2 + 6*o + 5. Let t be v(y). Let c = 18 + t. Is 2 a factor of c?
True
Suppose 4*q = 4*o - 1060, 5*o - o = q + 256. Is 8 a factor of q/(-4) - (-3)/1?
False
Let d be (-17 + -2 - 0) + -3 + 2. Let z = -18 - d. Is ((-72)/27)/(z/(-12)) a multiple of 4?
True
Suppose 22052*m + 74886 = 22066*m. Does 330 divide m?
False
Let v = 215 + -215. Let b(f) = -f**3 + f**2 + f + 43. Does 2 divide b(v)?
False
Suppose -3*n = 3*f - 1389, -5*n - 3*f = -833 - 1488. Does 13 divide n?
False
Let h = -209 + 374. Suppose -2*q + h = 5*n, 474 = 5*q + n + 119. Let t = 14 + q. Is 28 a factor of t?
True
Let c(j) be the first derivative of -j**4/4 + j**3/3 + 3*j**2 - 6*j + 27. Does 10 divide c(-6)?
True
Let s = -314 + 1076. Suppose -3*w - 2*o = 2*o - s, -w - 3*o = -249. Suppose 2*u - w = c, -5*u + 4*c - 6*c = -645. Is 43 a factor of u?
True
Suppose -39 - 21 = -10*h. Suppose -3*q + h = 0, 0*n - 5*q = n - 78. Suppose -6*z = -2*z - n. Is 2 a factor of z?
False
Let i(t) = t**2 - t - 1. Let g(o) = -4*o**2 + 7*o + 3. Let w(y) = g(y) + 3*i(y). Let a be w(3). Suppose -a*u = -6*u + 168. Is 7 a factor of u?
True
Suppose 10*r = -r - 9*r. Is r + (-5276)/(-22) - 4/(-22) a multiple of 14?
False
Let d = -4 - 4. Let k(g) = g**3 - 14*g**2 - 19*g - 10. Let n(m) = -4*m**3 + 43*m**2 + 57*m + 31. Let v(s) = -7*k(s) - 2*n(s). Is v(d) a multiple of 28?
True
Let m = -662 - -1447. Let a = m - 462. Suppose -6*j + a = -301. Does 5 divide j?
False
Let b be 4 + (-15)/(-5) + -5. Suppose 0 = 5*w - 2*r, w + b*r = 4*w. Suppose w*c = -2*c + 112. Does 14 divide c?
True
Suppose -2*c = -2*w + 14, -6*c + 4*c - w = 17. Is 40 a factor of -3 - ((-1983)/7 + c/(-28))?
True
Let r = 166 + -159. Suppose 5083 = -r*l + 24*l. Is l a multiple of 23?
True
Let k = -231 + 235. Suppose o + 115 = -k*w + 399, 0 = -3*w - 2*o + 218. Does 10 divide w?
True
Let h = -16 - -15. Let o be h/((-5)/(-1910)) + -4. Does 12 divide o/(-4) - 10/20?
True
Suppose 3 = 3*d, -5*d + 4 + 0 = -y. Suppose -4*v - i - y = -7, -4*v + 4 = 2*i. Suppose -p = 1, 5*o - v*p + 50 = 177. Is o a multiple of 9?
False
Suppose -112*f = -115*f + 1977. Let u = f - 335. Is 36 a factor of u?
True
Let f = 601 - 919. Let w = -170 - f. Does 17 divide w?
False
Let g(b) = -2*b + 50. Let n be g(33). Let q(f) = f**2 + 14*f - 7. Does 13 divide q(n)?
False
Let z(q) = 2*q**2 + 9*q - 14. Suppose 7 = -2*o - 3*k - 20, -4*o - 51 = 5*k. Let r be z(o). Suppose 5*g - 3*d - r = -8, -3*d = 3*g - 21. Is 5 a factor of g?
True
Let d = -53 + 100. Suppose 2520 = 61*k - d*k. Is k a multiple of 10?
True
Let b(o) = -126*o - 153. Let c be b(-8). Let q = c - 14. Is q a multiple of 29?
True
Suppose 165*c - 157*c + 64 = 0. Is (1 - c/(-2))/((-3)/100) a multiple of 24?
False
Let g(u) = -u**2 - 7*u - 2. Let i be g(-5). L