 - 41. Does 19 divide c(3)?
True
Suppose r - 951 = 2*o + 1909, -5*r + 2*o + 14348 = 0. Is r a multiple of 6?
False
Suppose g = -n + 9, 7*n = 4*g + 2*n - 72. Let t = -11 + g. Is 34 a factor of (-4)/(2*t/(-102))?
True
Let y = 145 + -33. Suppose y = -3*u + 2*b + 1213, -734 = -2*u - b. Is 11 a factor of u?
False
Let j(z) = 17*z**3 - 2*z + 3. Let o be j(1). Let w(i) = 3*i - 51. Let f be w(o). Does 32 divide (-5*(-1)/f)/(42/5292)?
False
Let l be 12/162 - (-11137)/189. Let j be 214/3*15/10. Let v = j - l. Is 19 a factor of v?
False
Suppose 0 = 42*l - 51*l - 1269. Let w = l - -813. Is w a multiple of 56?
True
Suppose -28*i - 55 = -33*i. Suppose f - 4*p - 11 = i, p + 5 = 0. Suppose f*v + 178 = 4*v. Is v a multiple of 38?
False
Let m = -617 + 637. Let d(b) = -4*b + 33 + 4 + 3*b. Is 3 a factor of d(m)?
False
Let z = 43 - 31. Let a be (z/(-9))/(3/90). Does 4 divide (51/6 - 4)*a/(-6)?
False
Let b(k) = 21*k + 137. Let d(z) = 43*z + 273. Let j(t) = 5*b(t) - 3*d(t). Does 14 divide j(-13)?
False
Let s(m) = -m**2 - 16*m - 16. Let n be s(-15). Let l be (n/(-4) - 108/48) + 3. Is (729/(-18))/(l/(-4 - -2)) a multiple of 9?
True
Suppose 18*t + 66 = -15*t. Let q(j) = -156*j - 32. Does 28 divide q(t)?
True
Let j = -638 - -382. Let q = j + 297. Does 16 divide q?
False
Let y = -289 + 194. Does 10 divide y/57 + (-9250)/(-6)?
True
Suppose 0 = 6*l - l + 5*o - 1670, -5*o - 25 = 0. Let q = -254 + l. Is 3 a factor of q?
False
Let h(r) = r**3 - 3*r**2 - 4*r + 3. Let j be h(5). Let m = -75 + j. Let v = m + 45. Is v even?
False
Let p = 7458 - -7249. Is p a multiple of 27?
False
Is (-8 + (-115)/(-15))*(-10266 - 6) a multiple of 11?
False
Suppose 4*g + 32 = -4*n, -6*g - 10 = -5*g + 2*n. Let p(m) = -4*m**3 + 7*m**2 + 8*m + 16. Is 69 a factor of p(g)?
False
Let f(g) = -2*g**3 - 15*g**2 + 12*g + 985. Does 4 divide f(-25)?
True
Suppose w = o - 6, 2*w - 11 + 3 = -2*o. Suppose 5*q + 5*a = q + 4348, -o*a = 2*q - 2164. Suppose q = -v + 5*v. Is v a multiple of 21?
True
Is (-586)/(-4)*8 - (-25)/(200/(-48)) a multiple of 70?
False
Let x(q) = -q - 7. Let o be x(-7). Suppose 4*j + 3*h - 27 = o, 2*h - h - 8 = -j. Suppose -4*a + 2*k = -148, -5*a + a - j*k + 128 = 0. Is a a multiple of 7?
True
Let y(i) = 5*i + 80. Let o be ((-6)/(-8))/(898/(-112) + 8). Let p be 16*(o/(-8) + -4). Is y(p) a multiple of 30?
True
Let q(k) = 6*k**3 - 5*k**2 - 30*k + 104. Is 56 a factor of q(4)?
False
Let t(u) = 2*u - 25. Let i(k) = 2*k - 27. Let w(a) = -3*i(a) + 2*t(a). Suppose 3*r - 6 - 27 = 0. Does 2 divide w(r)?
False
Let r be 3/12 + (-36)/16. Let l be 3*r/(-3) + (-1260)/(-2). Suppose -3*a = a - l. Is 30 a factor of a?
False
Let y(b) = -2*b + 196. Let v be y(-28). Is 7252/v + 4/18 a multiple of 28?
False
Let x(r) = 2177*r**2 + r + 3. Does 13 divide x(1)?
False
Suppose -4*v + 6851 = n - 7933, -n = -3*n. Does 44 divide v?
True
Does 4 divide (-54)/(-63) + (-115332)/(-56)*(-4)/(-42)?
False
Let p be (252080/(-14))/(-5) - (-2)/(-14). Suppose 2*r - 2*l + 6*l = 1450, 5*r - p = -4*l. Is r a multiple of 19?
False
Let t(f) = -71*f + 491. Let b(q) = -24*q + 164. Let i(l) = -8*b(l) + 3*t(l). Is i(-15) a multiple of 14?
True
Suppose -100*i + 273941 = -50059. Is 36 a factor of i?
True
Let k be (1 - (2 - 0)) + 70. Let i(s) = 4*s + 14. Let q be i(-2). Let j = k + q. Is 14 a factor of j?
False
Let v be ((-5)/4)/((-2)/160). Let t(m) = m**2 + m - 4. Let f be t(7). Let o = v + f. Does 20 divide o?
False
Suppose -304151 = -79*h + 191574. Is h a multiple of 134?
False
Is 39564/(-10)*(-20 + (-175)/(-10)) a multiple of 63?
True
Suppose 36*a - 24569 = 3223. Let q = -421 + a. Does 59 divide q?
False
Let h = 14659 - 11569. Is h a multiple of 2?
True
Let v be 342/15 - (-2)/10. Let i = 25 - v. Does 8 divide (i/3)/((-32)/(-624))?
False
Let q(z) be the first derivative of 5*z**3/3 + z**2 - 7*z + 3. Let w be q(-4). Let t = 152 - w. Is 10 a factor of t?
False
Suppose 5*o - 67085 = 5*i - 10*i, i = -2*o + 13419. Suppose 43*c - i - 11525 = 0. Is 13 a factor of c?
False
Let t(d) = 3*d**3 + 6*d**2 - 27*d + 5. Suppose -124 = -y - 117. Is 51 a factor of t(y)?
False
Let u(s) = 3*s**2 + 9*s + 10. Let q(y) = -y**2 + 1. Let x(m) = -4*q(m) + u(m). Let z be x(-3). Let o = -2 + z. Is o a multiple of 10?
True
Suppose 5*u - 67*c - 41732 = -71*c, 5*c = u - 8329. Does 56 divide u?
True
Let n = -69 + 53. Let g = n - -21. Suppose -388 = -g*q + 3*o, -107 = -2*q - 3*o + 65. Does 16 divide q?
True
Suppose k + 67 = 471. Suppose -k*s = -409*s + 640. Is s a multiple of 39?
False
Is 3*1 + (19 - (-2172 + 19)) a multiple of 145?
True
Let d(q) = -25*q**3 + q**2 - 10*q - 2. Let a be d(-4). Suppose -27*r + c - 2481 = -30*r, -c = -2*r + a. Is r a multiple of 84?
False
Suppose -5*b - 154 = -1744. Let k be (0/(12 + -4))/2. Suppose 4*o - n - 314 = -k*o, 4*o = -n + b. Does 5 divide o?
False
Let l = 53 + -48. Let s(o) = 2*o**2 - 10*o + 4. Let n be s(l). Is (n/(-3))/(-4) - (-1169)/21 a multiple of 14?
True
Suppose -5*k = -2*k + 9. Let v be 160/(-30)*k/2. Let r(d) = -d**2 + 21*d - 9. Is r(v) a multiple of 19?
True
Let y = 37470 + -11341. Is y a multiple of 53?
True
Suppose 0 = -39*q + 363336 + 304032. Is q a multiple of 23?
True
Let w be 1/(-8 - 607/(-76)). Let a(d) = 8*d**3 - 3*d**2 - 3*d - 3. Let u be a(3). Let z = w + u. Is z a multiple of 13?
False
Suppose -98*a + 102*a - 67922 = 16318. Is a a multiple of 20?
True
Let q(j) be the third derivative of j**5/60 - j**4/4 + 221*j**3/6 - 3*j**2 + 11. Is 15 a factor of q(0)?
False
Suppose -237*m - 1702 = -239*m. Let a = m + -600. Does 3 divide a?
False
Suppose 35*a = -19207 + 10286 + 82421. Is 5 a factor of a?
True
Let u = -286 + 288. Suppose 5*q = 5, -2*i + 1105 = u*i - 3*q. Does 28 divide i?
False
Let g(z) = z**2 - 4 + 0*z**2 + z**2 - 7*z. Let p = -631 + 626. Is 10 a factor of g(p)?
False
Let g(n) = -27*n - 5. Let z be g(-4). Suppose -3*c - 36 = 2*f, 2*f = -3*f - c - z. Is 4 a factor of (301/f)/(1/(-3))?
False
Suppose -2483712 = -199*w - 15*w - 138*w. Is 36 a factor of w?
True
Let v = -11775 - -12741. Does 6 divide v?
True
Suppose 3*x + 7092 = 4*b + 7*x, 0 = 5*b - 2*x - 8858. Let t = b + -782. Is t a multiple of 15?
True
Suppose 0 = 3*m - 3*q - 12, 0 = -66*m + 69*m - 2*q - 10. Is 12 a factor of 3354/4 - ((-42)/28 + m)?
False
Let w be 2/(-4)*29*(-20)/(-5). Let g = w - 21. Let h = 96 + g. Is 10 a factor of h?
False
Let m be ((-4)/6)/(12/(-234)). Let x(v) = 2*v - 22. Let g be x(m). Suppose 66 = b + 4*s - 2*s, -g*s = -2*b + 100. Is b a multiple of 10?
False
Is 7 a factor of (-11)/2*300132/(-693)?
False
Suppose 2*u = s + 209, -29*s = -25*s - 2*u + 812. Is 26 a factor of (1 + s/(-6))*280/12?
False
Suppose 3*o + 8 = -28. Is (o/(-10))/(10/2275) a multiple of 2?
False
Let l(y) be the first derivative of 2*y**3/3 + 3*y**2/2 - 11*y - 24. Let m be l(-5). Does 26 divide 560/m*(5 - 6/3)?
False
Does 5 divide (-4)/20*3 - (14 + 56768/(-80))?
True
Let x(p) be the second derivative of 0 - 20*p - 37/2*p**2 - 7/6*p**3. Is x(-19) a multiple of 7?
False
Let z = -6662 - -11789. Is 37 a factor of z?
False
Suppose 0 = -4*r + 2*y + 2 - 24, 0 = -2*y + 2. Let l be (-76)/(-20) + -3 - 1/r. Let d(k) = 334*k + 2. Is 48 a factor of d(l)?
True
Suppose -u - 5*m - 2 = 0, 2*u + 4*m - 5 = -3. Suppose -4*p + 3*p = u*q + 35, -3*q - 15 = -3*p. Is 1585/25 + 4/q a multiple of 28?
False
Let l(v) = 16*v**2 - 4. Let o = 25 + -25. Suppose o = 12*z + 21 + 15. Does 20 divide l(z)?
True
Let d = 109 - 59. Let c(t) = 56*t + d*t + 41 - 152*t + 50*t. Is c(-8) a multiple of 9?
True
Suppose 99*c - 4*f = 96*c + 99814, -4*c = f - 133079. Is 10 a factor of c?
True
Suppose -55*z = 154*z - 1073880 + 162849. Does 32 divide z?
False
Suppose -4*z + 3*y + 30 = -4, 8 = 4*y. Does 14 divide (-97)/((z/(-3))/10)?
False
Suppose 2*n = -21*n + 230. Is n/5 + -1 + 753 a multiple of 13?
True
Suppose -2*m + 7*m = -50. Let o be (-3)/(-6)*(-8)/m*-100. Let u = o + 48. Is 4 a factor of u?
True
Suppose 0 = 2*o - 3*p - 10701, -36*p + 40*p + 5363 = o. Is 13 a factor of o?
True
Suppose 11*m + m = 96. Suppose -r + 208 = -m. Suppose -2*u + p + 637 = r, p - 206 = -u. Does 11 divide u?
True
Let c(u) = -3770*u**2 + u + 1. Let f be c(1). Let q = -2609 - f. Suppose 605 = 4*z + 3*y - 331, -5*z - y = -q. Is z a multiple of 31?
False
Suppose 7*a - 9*a = 0. Suppose a = -14*q - 1186 + 4770. Is q a multiple of 20?
False
Let s(f) be