a factor of c?
True
Let c(j) = 10*j**3 - j**2 - 5*j + 4. Let p be c(1). Suppose -p*b = -3*b - 5. Is -52*b*28/(-16) a multiple of 13?
True
Let q = -20 - -25. Suppose 0 = -l - 3*y + 1328, q*l + 5*y - 3033 = 3587. Suppose -l = -12*j - 482. Is 10 a factor of j?
True
Suppose -92069 = -32*f - 15749. Does 34 divide f?
False
Let j(z) = -358 - 322 + 710 - 5*z. Does 27 divide j(-21)?
True
Let w be (-12 - 0 - -6) + 2885. Suppose 7*c - w = -625. Does 7 divide c?
True
Let z(t) = 354*t**2 + 28*t - 138. Is z(7) a multiple of 23?
False
Let r = -949 + 33384. Does 24 divide r?
False
Let o(t) = 11*t**3 - 22*t**2 - 13*t + 67. Does 10 divide o(10)?
False
Suppose -u - 3*u = -2*i + 744, 0 = -4*i + 4*u + 1472. Suppose -2*g - 2*x = -i, 2*x - 849 = -3*g - 307. Is 13 a factor of g?
False
Does 26 divide (-47606)/6*((-231)/462)/(2/24)?
True
Is (40/25 + -1)/(((-34)/(-1860))/17) a multiple of 2?
True
Suppose d - 2*k = 692, -5*d + 2*k + 3433 = k. Let v = 1976 - d. Is v a multiple of 59?
False
Is -2 + ((-20)/60*(1 + 8) - -587) a multiple of 97?
True
Let t = 68 - -75. Suppose 15*i - 52 = t. Does 10 divide i?
False
Is 3573 + 1 + (-1 - (-16 - -22)) a multiple of 87?
True
Suppose -2*a = 5*o - 84, -2*o + 0*a + 51 = -5*a. Suppose -8*v = o*v - 31174. Is v a multiple of 19?
False
Does 69 divide (-1959 - -3)*((-70)/(-30) - 10)?
False
Suppose 0*z + 4*a = -5*z - 1, -2*a = 8. Suppose 5*g = 3*f + 2*f - 5, 0 = 2*f - 3*g - z. Suppose f = -2*c + 6, 3*c - 33 = -t - 2*c. Is 17 a factor of t?
False
Let a(s) = -2 - 173*s + 5 - 12 + 391*s - 10. Does 14 divide a(3)?
False
Suppose 19*w + 18 = 22*w, -3*b - 2*w = -44211. Is 10 a factor of b?
False
Is -2*-173*15/2 a multiple of 22?
False
Let r(b) = -14*b - 15*b + 6 + 35*b - 8*b. Let z be r(2). Is z/13 + 3030/78 a multiple of 14?
False
Let u be (-18)/(-9) + -2*1. Suppose 4*a - 4*n - 12 = 0, -5*a - 6 = -u*a + 2*n. Suppose -w - 2*o + 11 = 3*o, a = -5*w + 2*o + 28. Does 6 divide w?
True
Let g(u) = 129*u**3 - 17*u**2 + 83*u - 3. Is g(5) a multiple of 304?
True
Let d(i) be the first derivative of 2*i**2 - 8*i + 27. Let q be d(12). Let p = 96 - q. Is p a multiple of 6?
False
Is 49 a factor of 2*-2*2/((-56)/106617)?
False
Suppose 0*z + 20046 = 33*z + 6*z. Is z a multiple of 32?
False
Let i be 15/(-9)*3 + (-127)/1. Let x = i + 335. Does 7 divide x?
True
Let u(g) = 52*g**3 + 4*g**2 - 2*g + 4. Is 25 a factor of u(2)?
False
Let d be -2 + -21*(-3 - 16/(-6)). Suppose -d*r = -24*r + 5130. Does 15 divide r?
True
Suppose 0 = 3*r + 3*v - 20 - 1, -5*r = 2*v - 23. Suppose 5*s - 360 = r*s. Does 10 divide s?
True
Let l = -2388 + 7284. Is l a multiple of 57?
False
Let f(h) = h**3 - 12*h**2 + 12*h + 13. Let a be f(11). Let o = a + -27. Does 10 divide ((-20)/o)/(2/18)?
True
Let o(n) = -19*n - 86. Let l be o(-6). Does 19 divide 140/l*(-114)/(-5)?
True
Suppose 3*t - 8 = -4*r, -5*t - 5*r = -0*t - 15. Suppose 11 + t = -n. Let g = n - -51. Is 6 a factor of g?
True
Let p = 100 + 1330. Does 55 divide p?
True
Let s = -843 - -843. Let z(f) = 39*f + 80. Is z(s) a multiple of 5?
True
Let t(u) be the third derivative of -u**4/24 - 4*u**2. Let k be t(-2). Suppose -k*y = -15 - 95. Does 17 divide y?
False
Let v(w) = 22*w**2 - 13*w - 22. Suppose -4*p - 4*d + 3 = -33, -2*p + d = -12. Is v(p) a multiple of 74?
False
Suppose -3638830 = -165*h + 3504378 - 1153048. Is 16 a factor of h?
True
Suppose 0*q - 6*q = -132. Let f = q + -19. Suppose -k = f, -5*k + 14 = 2*v + 5. Is v a multiple of 2?
True
Let i be (26 - 4) + (-7 - -7). Let j = 10 + i. Is j a multiple of 7?
False
Suppose -8*g + 5*g = -2895. Suppose m + 3*m - 2*d = 958, 4*m = -5*d + g. Suppose -n + 60 = -4*t, -m = -4*n + t + 2*t. Is 12 a factor of n?
True
Let g be ((-4)/(-5))/((-11)/((-1650)/(-20))) - 7. Let y be (6/(-10) - -1)*230. Let h = y + g. Does 6 divide h?
False
Suppose 4*b - 20 = -2*t, b = -3*t + 5*b. Suppose 5*v - 128 = 2*m + 2*m, t*m + 16 = v. Is 3 a factor of v?
False
Let s be 4/8*-6 + (-369)/(-3). Suppose -18*n - 2*n + s = 0. Does 25 divide (344/12)/(1/n)?
False
Let q = 109 - -62. Suppose 3*g = -q - 117. Let w = -68 - g. Is w a multiple of 8?
False
Let j be 160/(-30) + 4/(-6). Let r = -447 + 613. Let b = j + r. Does 22 divide b?
False
Let y = 491 + 3058. Does 35 divide y?
False
Suppose -10*t + 6*t = -388. Let i be (0 - t)/1 + -1 + -1. Is 29 a factor of (i + (5 - 4))*1/(-2)?
False
Let a(p) = 464*p**3 + 2*p**2 + p - 3. Let g be a(1). Let b = -119 + g. Is b a multiple of 23?
True
Let t(g) = -g**2 - 17*g - 49. Let o be t(-13). Suppose 3*j - 2*n = j + 522, 2*j = -o*n + 547. Does 30 divide j?
False
Let z(g) = 82 + 5*g - 3*g**3 - 102 - 4*g + 2*g**3. Is z(-6) a multiple of 18?
False
Suppose -86*q + 1833399 = -1567557. Is q a multiple of 338?
True
Suppose 2*h - 2586 = -3*y, 3*h = -5*y + 5937 - 2059. Suppose -52*j + 60*j = h. Is j a multiple of 18?
True
Let d = -62 - -62. Let o be (12/15)/(d + 6/15). Suppose 3*i - 567 = o*k - 105, i + 5*k = 154. Is 18 a factor of i?
False
Let u be 1985/(25*(-9)/(-90)). Suppose 3*q + 258 = m, -3*m + 3*q + q = -u. Is m a multiple of 5?
True
Let l(t) = 370*t + 14. Let c be (-735)/(-686) - (-1)/(-14). Is 16 a factor of l(c)?
True
Let w = 430 + -435. Let p(d) be the second derivative of d**5/20 + 2*d**4/3 + d**3 + 2*d**2 - d. Is 14 a factor of p(w)?
False
Suppose 9*r - 7*r + z = 0, -r + 4*z - 9 = 0. Let p(y) = -139*y**3 - 2*y**2 - 91*y**3 + 3*y**2 + 0*y**2. Is 19 a factor of p(r)?
False
Let b(r) = 2*r - 5. Let s be b(5). Suppose 5*h + s*n + 25 = 0, -n = 3*n - 4. Let f = 13 - h. Is f a multiple of 15?
False
Suppose c + 0 = 5. Let f(d) = d**2 + d. Let p be f(c). Suppose -3*x = -x + h - 30, p = 2*x - h. Is 4 a factor of x?
False
Does 92 divide 18/(-27) + (-11)/(198/(-74136))?
False
Let r(q) = -q**2 + 10*q - 24. Let y be r(7). Let k be ((-80)/y)/((-2)/(-6)). Suppose 240 = 3*b - 2*x, 0*b - b - 3*x = -k. Is b a multiple of 26?
False
Suppose -3*f - 4*i - 23 = 35, 58 = -5*f + 3*i. Is (-1617)/f*32/4 a multiple of 28?
True
Let w(p) = p + 1. Let z be w(-1). Suppose z*b + 2*b - 45 = -3*s, -b = -4*s + 60. Is s even?
False
Let x(i) = i - 17. Let m = 30 + -13. Let k be x(m). Does 38 divide 219 + 17 + (k - 3)?
False
Let r = -91 - -91. Suppose 4*g = d - 367, -710 = -2*d - r*g - 4*g. Let x = d - 69. Does 29 divide x?
True
Let d be 8/(-3)*(-25 + 1). Suppose 59*r + 1100 = d*r. Is r a multiple of 4?
True
Suppose -1511 = -48*x + 147*x - 1137734. Is 65 a factor of x?
False
Let m be 20/3 + (-4)/6. Suppose -16 = -5*y - m. Suppose -j + y*j + 3 = 0, 96 = d - 4*j. Does 5 divide d?
False
Let o(j) be the first derivative of -440*j + 26 - 4*j**2 - 2*j**2 + 435*j. Does 11 divide o(-5)?
True
Does 13 divide 18/(9 - 45) - (-88161)/6?
False
Does 15 divide (16407/(-522) + 4/(-58))/((-27)/6336)?
False
Let g(d) = -2*d**2 + 27*d - 11. Let y be g(13). Suppose 2*o = -y*h - 110, 3*o + 0*o - 100 = 2*h. Let x = h - -59. Is x a multiple of 3?
True
Let w(q) = 33*q - 1074. Is w(42) a multiple of 22?
False
Does 8 divide (-22)/77 + (-828832)/(-112)?
True
Let b = 62 + -60. Suppose -5*k + 35 = b*k. Suppose -k*x = -2*o - 842, -3*o - 162 = -x - o. Does 17 divide x?
True
Suppose -53*q + 47*q = -36. Suppose -z = -4*v + 34 + 74, -4*v - 5*z + 84 = 0. Suppose v = q*i - 28. Does 6 divide i?
False
Let q = 484 + 1085. Does 40 divide q?
False
Suppose 9*x + 14 = 10*x. Suppose 0 = -c - 4*m + 9, -3*c - 4*m + x = -5. Suppose -5*t = -s - 6 - 0, -c*s + 4*t = -33. Is s a multiple of 3?
True
Is 35 a factor of (-21720)/480*(-54 + -2)?
False
Let a be (-13 - -5)/(0 + (-1)/4). Suppose -3*i - a = -5*t, 4*i + 28 = 3*t - 0*i. Suppose -2*z + 4*r + 126 = 0, -4*z + 3*z + t*r = -69. Is z a multiple of 13?
False
Suppose -x + 5*m + 2 = 0, x + 2 = 3*m + 4. Let r(y) = -6 + 27*y**x - 47*y**2 - 12*y + 27*y**2. Does 29 divide r(-4)?
False
Let s(a) = 6*a**2 - 16*a + 63. Let k = -96 - -105. Let t be s(k). Suppose t + 310 = 5*f. Is 13 a factor of f?
True
Is 13 a factor of 18/1*5*(-9645)/(-75)?
False
Suppose 0 = 9*f - 39*f - 37*f + 474762. Does 26 divide f?
False
Suppose -1186560 = 12*j - 3*j - 112*j. Does 15 divide j?
True
Let p(t) = -t**3 + 5*t**2 + 2*t + 6. Let k be p(6). Let w be k/63 - 23/(-7). Let b(h) = 15*h + 10. Is b(w) a multiple of 16?
False
Let v be 3 + (-3)/(3 - 0). Suppose -5*k = -v*q + 7*q - 20, -35 = -5*q - 2*k. Suppose -2*c + 11 = -q. Does 3 divide c?
False
Is (3818 - 2) + -10 + 