4. Is 5 a factor of c?
False
Let t = -614 - -1452. Let u = t - 262. Is u a multiple of 9?
True
Suppose f - 7*k + 8*k = 4328, 0 = -5*f - 3*k + 21642. Is f a multiple of 34?
False
Suppose -5*t + f - 76643 = -249513, 0 = 10*t + 2*f - 345760. Is 28 a factor of t?
False
Let z(f) = f**2 - 6*f + 43. Let m be 34/(-4) + (-5 - (-27)/6). Is 70 a factor of z(m)?
False
Let w(o) = 18 + 2*o**2 - o - 3*o - 5 + 0. Let q be w(-5). Suppose 4*h = -5*d + 188, -d + q = d - h. Is d a multiple of 2?
True
Suppose 3*z - 641 = 2*s + 4, 5*z - s - 1068 = 0. Suppose 0 = 7*g - 1606 + z. Does 66 divide g?
False
Let u(t) = -t**2 - 7*t - 8. Let h be u(-4). Suppose 0 = -h*m - 9 + 33. Suppose 0 = 5*p + 5*i - 390, -4*p - 2*i + 288 = -m*i. Is 15 a factor of p?
True
Let s(x) = 277*x + 42. Let o be s(-6). Let y = 850 + o. Let c = y + 1080. Is c a multiple of 26?
False
Let c = 1136 + -762. Suppose -495 = -5*v - 3*l, -18*v = -22*v + 2*l + c. Is v a multiple of 8?
True
Let u = 8 + 425. Is 14 a factor of u?
False
Let n(f) = -2*f**2 - f + 384. Let k be n(0). Suppose z - q - k = 0, 6*q = 3*z + 10*q - 1124. Is 10 a factor of z?
True
Let g(c) = -8*c + 68. Let r = -119 + 124. Is 20 a factor of g(r)?
False
Let y(v) = v**2. Let c(h) = 74*h**2 - 2*h - 20. Let d(a) = 2*c(a) - 44*y(a). Let w(z) be the first derivative of d(z). Is 24 a factor of w(1)?
False
Let m(x) = 6*x**3 + 7*x**2 - 2*x - 8. Let k(z) = z**3 + z**2 - 1. Let g(j) = -10*k(j) + 2*m(j). Is 6 a factor of g(3)?
True
Suppose 0 = -3*u - c + 52, -2*u + 2*c = -59 + 11. Suppose -3 = 4*o - u. Is 10 a factor of -4*(0 + o + -24)?
True
Suppose -5*p + 1512 = -1263. Suppose -3*v = 2*z - p, -v - 3*z - 740 = -5*v. Does 5 divide v?
True
Let y = 631 - 893. Let j = -147 - y. Does 4 divide j?
False
Suppose 152*w - 153*w + 6 = 0. Suppose 0 = -5*p - 4*g + 5988, -2*g + 0 = w. Is 60 a factor of p?
True
Let s be (5/(10/14))/(-2 - -1). Is 31 a factor of (-2)/42*s - (-4740)/9?
True
Let w = 313 - 258. Suppose -f = -w - 569. Is 16 a factor of f?
True
Let s = -414 - -1479. Let w = s - 631. Does 62 divide w?
True
Suppose 5*l + 7*p - 9*p - 33237 = -3727, 0 = 3*p. Is l a multiple of 7?
False
Let r = 13165 + -7126. Does 10 divide r?
False
Suppose -4*i = -0*i - 2236. Let s(k) = -k**2 + 26*k - 163. Let c be s(12). Suppose c*y - i = 361. Is 8 a factor of y?
True
Let f(y) = -10*y**3 - 24*y**2 - 26*y + 30. Does 39 divide f(-6)?
True
Let h(m) = -m**3 + 13*m**2 - 6*m + 24. Let p be h(13). Let q = 67 + p. Suppose -7*z - 210 = -q*z. Is z a multiple of 3?
False
Let i be 9*((-4)/12 - -1). Let n be (-1 - 11/(-3))*(-99)/i. Let b = n - -99. Is 11 a factor of b?
True
Suppose -h + 212 = -5*u, -3*h = h + 3*u - 733. Suppose -2*l + t + h = -413, t = -5*l + 1500. Does 54 divide l?
False
Suppose 3*i - 3*c = 110 + 112, 0 = -4*i - 5*c + 278. Suppose 6 = 12*v - 42. Suppose 224 = 2*n + 3*x + i, 324 = v*n - 4*x. Is 10 a factor of n?
False
Let a(m) = 9*m**2 + 5*m - 17. Let u be a(-4). Let o = 440 - u. Is o a multiple of 21?
False
Suppose -a - i = 3*i - 10, -2*a - 4*i = -20. Suppose r - 22 = -a. Suppose 16 + r = 2*m. Is 10 a factor of m?
False
Let g = -4820 + 8223. Is 4 a factor of g?
False
Let v = 27914 - 11884. Is 7 a factor of v?
True
Let l(f) = 2*f**3 + 11*f**2 + f - 20. Let w be l(-5). Suppose w = 17*t - 5*t - 6696. Does 19 divide t?
False
Is 13 a factor of (1/2)/(77/(-88) + 1) + 13971?
True
Suppose 0 = -19*u - 20*u + 37*u + 46956. Is u a multiple of 129?
True
Let z be (5 + -33)*(-48)/84. Suppose -w = -5*j - 183 - 277, 0 = -4*j - z. Is w a multiple of 8?
True
Suppose -64*v = 52*v - 106*v - 62400. Does 160 divide v?
True
Suppose 567487 + 2883678 = 84*k + 410365. Is k a multiple of 13?
False
Let y(o) be the first derivative of -o - o**2 - 2/3*o**3 - 42 - 16*o**4. Is y(-1) a multiple of 7?
True
Let z = 8 - 8. Suppose z = -2*n - 5*j + 2567, 5*n + j - 4800 = 1583. Is 40 a factor of n?
False
Suppose 4*t + 41145 = 9*t - 5*g, t = 2*g + 8230. Is t a multiple of 68?
True
Suppose 219*m - 1875744 = 2461301 + 261955. Is 120 a factor of m?
True
Suppose -29*o + 3*i + 18831 = -26*o, -6*o + 37617 = 3*i. Does 56 divide o?
True
Let o = -1386 - -2402. Is 3 a factor of o?
False
Suppose -11*o - 6350 = -96392 - 12808. Is o a multiple of 34?
True
Let r(h) = -h**3 + 6*h - 3. Let x be r(-4). Let m = -34 + x. Suppose -5*q + 3*v = -2*v - 50, -m*v = 2*q - 15. Is q a multiple of 3?
True
Let q = -24 - -12. Let j be 15*(1/(-9))/(q/36). Suppose 0 = -j*c + 4*c + 108. Is 27 a factor of c?
True
Let c = 86 - 67. Let m = 23 - c. Suppose -m*d - 4*r + 60 = -0*d, -d = -5*r + 15. Is d a multiple of 10?
True
Is 26 a factor of -1 + (-3)/3 + (-2 - -2454)?
False
Let a(f) = -5*f**3 - 3*f**2 + 4*f - 2. Let z be a(-5). Let h = 16 + -13. Suppose 3*o = -h*s + 7*s - z, 2*o = 0. Is s a multiple of 12?
True
Let x(g) = 170*g**2 - 2*g + 1. Let m = -19 + 10. Let b be (-1 - 1)/(-5 - m - 6). Is 26 a factor of x(b)?
False
Let v be 2 - (-6 + 4 + 4). Suppose 2*k + 2*r - 498 = v, 4*k - 5*r = -r + 980. Does 3 divide k?
False
Suppose 620*d = 642*d - 167310. Does 59 divide d?
False
Let h(x) = x**2 - 3*x + 13. Let d(u) = -6*u**3 + 1. Let z be d(-1). Let t be 14/4 + z/14. Does 10 divide h(t)?
False
Let b(p) = p. Let q(i) = 7*i**2 - 9*i + 6. Let z(d) = 4*b(d) + q(d). Does 15 divide z(3)?
False
Let n be (-3)/(-6)*(-12)/(-2). Let k be (((-8)/n)/4)/(1/(-6)). Suppose -2*b - 9 = -p, b + 12 = p - k*b. Is p a multiple of 2?
False
Let i(u) be the third derivative of u**8/20160 + u**7/720 + u**6/120 - 8*u**5/15 - 16*u**2. Let a(q) be the third derivative of i(q). Does 7 divide a(6)?
True
Let s(p) be the third derivative of 5*p**4/4 - 2*p**3/3 + 15*p**2. Let w be s(10). Does 4 divide w/12 - (-3)/9?
False
Let w(f) = -165*f + 99. Is w(-12) a multiple of 99?
True
Is 35 a factor of 5*(-2)/(-155) + 7062000/744?
False
Let n(u) = 84*u**2 + 23*u + 46. Let h be n(-2). Let p = h - 208. Is p a multiple of 18?
False
Let u(b) = 3*b**2 - 5*b - 7. Let p be u(3). Let z be (-2)/(-4) - ((-525)/14)/p. Suppose 4*j + z = 200. Does 12 divide j?
True
Let y be ((-504)/(-140))/((-1)/(1*-30)). Let k = y + -106. Suppose -2*i - 3*g = k*g - 45, -i + 5*g + 30 = 0. Does 2 divide i?
False
Let y(q) = -q**3 - 28*q + 243. Let v be y(9). Is 74 a factor of (v - 2)*-1*(-14)/(-5)?
True
Let g = -8508 + 8782. Is 137 a factor of g?
True
Is 38 a factor of (-23)/((-2185)/965162) - (-3)/(-5)?
False
Let v(q) = 455*q + 765. Is 15 a factor of v(15)?
True
Is 18 a factor of 5*1384 - (-104)/(-31 - -18)?
True
Let i(k) = k - 27. Let y be i(30). Let x(q) = 78*q - 24. Does 7 divide x(y)?
True
Suppose 5*f = -f + 1884. Suppose -41 - f = 5*b. Let m = b - -91. Does 16 divide m?
False
Is (1581/9*(17 + 67))/2 a multiple of 119?
True
Let m = 452 + -443. Let w(o) = 40*o + 54. Is 8 a factor of w(m)?
False
Let r = -12687 + 32760. Is r a multiple of 33?
False
Let a(z) = -29*z - 75. Let k(v) = 142*v + 376. Let u(j) = 11*a(j) + 2*k(j). Is u(-3) a multiple of 12?
False
Suppose 22*o + 12000 = 42*o. Suppose 2002 = o*d - 593*d. Is 26 a factor of d?
True
Let g(n) = 9*n + 1. Let f be g(-1). Let d(s) = 2*s**2 + 41 + 37 - 142 + 51 - 7*s. Is d(f) a multiple of 19?
True
Let i(z) = z**2 - 12*z + 24. Let u be i(19). Let k be (2 + -2*2)*45. Let h = u + k. Does 10 divide h?
False
Let u(a) be the third derivative of 6*a**6/5 - a**5/20 + a**4/6 - a**3/3 + 73*a**2. Is u(1) a multiple of 13?
True
Is 30 a factor of (-492672)/(-112) - 6/(-42)?
False
Suppose -j = 2*x - 116, 98 + 240 = 3*j + x. Suppose -3*q - q = -j. Is 19 a factor of 0 - (-7)/(q/272)?
False
Let v(f) = -30*f + 105. Let q be v(-28). Suppose 3*c + q = 10*c. Does 45 divide c?
True
Let j(k) = -321*k**3 - 2*k**2 + 32*k + 118. Does 153 divide j(-4)?
True
Suppose -4*f - 2312 - 1872 = -2*g, 0 = -f + 4. Is g a multiple of 30?
True
Let l = -958 - -1462. Let r = 714 - l. Is r a multiple of 10?
True
Suppose 522646 = 65*x - 124689. Is 27 a factor of x?
False
Let i = 3857 + 881. Does 23 divide i?
True
Suppose 19*l - 2688 = -408. Suppose -l = -43*r + 42*r. Is r a multiple of 40?
True
Suppose 5*v = 4*k - 121, 2*v + 5*k + 1 = v. Let p(j) = -j**3 - 4*j**2 + j + 10. Let o be p(-7). Let a = o + v. Does 11 divide a?
False
Suppose -2*r = -o - 4*r + 2, -5*r = -4*o - 31. Does 43 divide -3*(3 + o) - -169?
True
Suppose -5*y + 4*w + 2 - 8 = 0, -3*w = 3*y - 18. Suppose -2*j = y*j - z - 57, -3*j = -4*z - 59. I