- 80. Does 3 divide a?
True
Let b be 20/7*(-84)/(-24) + 3. Let k(x) = -x**3 + 12*x**2 + 15*x - 15. Let v be k(b). Suppose 12*o - v*o = 52. Is 52 a factor of o?
True
Let l = 35 + -13. Suppose -61 = -5*p + q + 3*q, 22 = 2*p - 4*q. Let z = l + p. Is z a multiple of 5?
True
Suppose 19*i - 6420 = 12238. Let q = -748 + i. Is q a multiple of 2?
True
Let x = 20041 + -966. Is 23 a factor of x?
False
Let a(z) = 94*z - 43*z - 34*z + 29. Let p be a(5). Suppose -5*s = -6*s + p. Is 11 a factor of s?
False
Let x be (26/8)/(-13 + 765/60). Let k = 32 + -14. Let j = x + k. Is j a multiple of 3?
False
Let h(v) be the first derivative of 11*v**2/2 + 9*v + 12. Let c be h(5). Suppose -2*u + c = -2*b, -5*u + b + 180 = 36. Does 7 divide u?
True
Let w(g) = -g**3 + 15*g**2 - 25*g - 8. Let r be w(13). Suppose -2*t + 4*t - 2*q + 100 = 0, -r*t = -q + 266. Let o = 81 - t. Does 23 divide o?
False
Suppose 5*s + c = 25, -5*s = -2*c + 53 - 63. Let q = 33 + -16. Is 1 - (1 - s - q) a multiple of 7?
True
Let c = -32 + 103. Suppose 5*i = -3*t + c, 2 - 3 = -t + 4*i. Suppose 34 = -15*n + t*n. Is 17 a factor of n?
True
Suppose 2*v - 27444 = -4*d, -16*v + 4430 + 2400 = d. Is d a multiple of 6?
False
Suppose 255*j - 2576218 + 53267 = 2740504. Is j a multiple of 10?
False
Let q(b) = -18*b + 2403. Is q(100) a multiple of 9?
True
Let o(t) = -26*t + 6. Let g be o(-4). Suppose u - g = 74. Is 23 a factor of u?
True
Let i(k) = 173*k**2 - 3*k + 16. Suppose -9*b - 21*b + 90 = 0. Is i(b) a multiple of 28?
False
Suppose -2*v - 1 = 3*x, -4*x - 3*v = -0*v. Suppose 5*b = 5*z + b - 24, -2*z + 4*b + 12 = 0. Is 26 a factor of 131 - ((-12)/z)/x?
True
Suppose -167*p - 15 = -172*p. Suppose -p*r + 12*r = 945. Is r a multiple of 35?
True
Suppose -86*v - 166448 = 49*v - 933383. Is v a multiple of 19?
True
Let j = -16 + 51. Let w = j + -26. Let v(c) = c**3 - 6*c**2 - 8*c - 7. Is v(w) a multiple of 41?
True
Let t = -106 - -112. Let o(f) be the second derivative of f**4/6 - 5*f**3/3 + 11*f**2/2 - 5*f. Is 3 a factor of o(t)?
False
Suppose 8487 = v + 3*a, 0 = 5*v - a - 24173 - 18182. Does 12 divide v?
True
Let c be ((-84)/(-35))/((-2)/(-5)). Suppose -c*g + 930 = -3*g. Is 28/21 + g/6 a multiple of 6?
False
Let i(q) = q**3 - 11*q**2 + 29*q - 2. Let w be i(7). Suppose -12*a + 14*a = w*u + 312, 780 = 5*a + u. Is 15 a factor of a?
False
Suppose -2042 = -4*f + d, 1635 = 4*f + 3*d - 415. Let n = -332 + f. Is 18 a factor of n?
False
Is ((-240)/8)/6 - -2665 a multiple of 5?
True
Suppose 55685 = 4*z - 3*c, 4*z - 27537 = -3*c + 28178. Is 5 a factor of z?
True
Let q(p) = 39*p - 7. Let z(a) = -19*a + 3. Let f(o) = 2*q(o) + 5*z(o). Is f(-1) a multiple of 13?
False
Is 13 a factor of 8/76 - (129976/(-209) - 2)?
True
Suppose 4*w - 12 = -0. Suppose 5*k + w*h = h + 240, 2*h = k - 48. Does 25 divide ((-1 - 0) + 101)*60/k?
True
Suppose 0 = -4*h - 0 + 12. Let q(u) = -2*u + u**3 + 3*u + h*u - 3*u**2 + 11 - u**2. Is q(5) a multiple of 8?
True
Suppose 2*x = 7074 + 226 + 10050. Does 5 divide x?
True
Let v = -369 + 381. Is (-8)/v*-549*1 a multiple of 6?
True
Let k(o) = 6*o**3 - 280*o**2 - 77*o - 79. Is k(48) a multiple of 19?
False
Let q(z) = -z**3 - 7*z**2 + 23*z - 14. Suppose 0 = -11*b + 12*b - 25. Suppose -y = 5*m - 4*y + 53, 2*m - 5*y = -b. Is 27 a factor of q(m)?
False
Suppose x + 288 = o - 1679, -4*o + x = -7856. Suppose 0 = -4*k + 5*w + 2594, 5*w - o = 13*k - 16*k. Does 31 divide k?
True
Suppose -3735*q = -3659*q - 93328. Is q even?
True
Suppose -5*c - h + 5*h = -75, 0 = -c + 4*h - 1. Suppose y - 247 = -c. Does 19 divide y?
True
Suppose 5*g + n = 16 - 13, g - 5*n + 15 = 0. Suppose -27*s + 23*s - 3*o + 2255 = g, 5*s = -5*o + 2825. Is s a multiple of 20?
True
Suppose 0 = -21*n + 36*n - 33150. Does 23 divide n?
False
Let f(u) = u**2 - 60*u - 1520. Does 176 divide f(-80)?
True
Suppose -5*i - 3*d = -951, 2*i - 2*d = -52 + 442. Let g = 357 - 153. Suppose -9*u + i + g = 0. Is 23 a factor of u?
False
Suppose 1596 = 2*k - y, -k - 5*y = -189 - 609. Is 133 a factor of k?
True
Suppose 134030 = 39*c - 283075. Is c a multiple of 69?
True
Suppose -5*v = -0*v - 20. Suppose 2*d - 236 = -v*i, 4*i + 423 = 3*d + 59. Suppose 5*o - d = -7*h + 2*h, h = -2*o + 20. Is 4 a factor of h?
True
Does 26 divide 575394/1107 - (-2)/9?
True
Let x(s) = -s**3 - 96*s**2 + 298*s + 85. Let p be x(-99). Let q be 1/(-2 + 1) - -51. Let g = q + p. Is g a multiple of 6?
True
Let c = -3046 + 4191. Does 3 divide c?
False
Suppose -3*h + 45 = 6*h. Suppose r = -3*a - r - 52, h*r + 10 = 0. Let p(s) = -s**3 - 13*s**2 + 47*s + 14. Does 6 divide p(a)?
True
Suppose -3*i + 844 = -2*i - 2*b, -4250 = -5*i - 5*b. Let q = -320 + i. Does 48 divide q?
True
Suppose 2*i = -7*z + 4*z + 1199, -2*z - 4*i = -794. Suppose -127 = -11*u + z. Is u a multiple of 4?
True
Let u(t) = 3*t**2 - 6*t - 4. Let c be u(-1). Suppose 19*a - 17*a = -4, c*l = -2*a + 1891. Does 10 divide l?
False
Suppose 655994 = -466*j + 504*j. Is j a multiple of 26?
False
Let y = 477 + -1655. Let d = -686 - y. Does 12 divide d?
True
Let r be -141*(-4 - -3) - 0. Does 10 divide 1175/r*(-18)/(-5)?
True
Let y = -495 + 500. Suppose -2*q - 408 = -y*q. Is q a multiple of 4?
True
Does 30 divide -1*(250/35 - 7 - (-87739)/(-7))?
False
Let j be -253 - (3 + -3 + -4). Let k = j - -667. Is 11 a factor of k?
True
Let u(k) be the first derivative of k**3 + k**2/2 + k + 13. Let w be u(1). Suppose -5*r + o + 87 = -437, w*o + 20 = 0. Is r a multiple of 13?
True
Suppose -8*j - 173 - 19 = 0. Let t be (-12)/j*(1 + -391). Let c = 11 - t. Does 18 divide c?
False
Let i(f) = 71797*f**3 + 3*f**2 - 2*f + 1. Let v be i(1). Is v/156 + (-1)/4 a multiple of 11?
False
Suppose -439*j + 436*j + 9 = 0. Suppose -j*h + s = 2*s - 3858, 0 = -3*h + 3*s + 3846. Is 62 a factor of h?
False
Let z = 22 + -59. Let y = z + 46. Suppose 0 = -y*q + 490 + 725. Is 27 a factor of q?
True
Let r(w) = -10*w - 3*w - 3*w + 2. Let l be (2/(-4))/((-1)/(-6)). Does 15 divide r(l)?
False
Suppose 5870 = 31*t - 317537 + 42795. Is t a multiple of 66?
False
Suppose 0 = o - 1, 4*o + 0*o = 2*n. Suppose -n*g + 3*h + 830 + 731 = 0, 0 = g + 2*h - 777. Is 63 a factor of g?
False
Suppose 0 = h + 79 - 89. Suppose -r - 22 = -h. Is 3/(-2)*r*(-451)/(-82) a multiple of 20?
False
Let t be 2/(-10) - 3/(-15). Let w(j) = 13*j + 232. Is 8 a factor of w(t)?
True
Suppose -3*j + 15 = 0, 2*j = -0*y - 4*y + 102. Let u(a) = 15*a + 10. Is 5 a factor of u(y)?
True
Let k(n) = n**3 - 4*n**2 - 9*n + 15. Let u be k(6). Let y = u + -30. Suppose y*i - 5*v = 91, -2*i + 33 = -i - v. Does 7 divide i?
False
Let r(a) = 10*a**2 - 2*a + 3. Let c be r(2). Suppose -8*x + 9 = -5*x, 2*o = 2*x - 66. Let w = c + o. Is w a multiple of 6?
False
Let c = 4226 + -2834. Is 8 a factor of c?
True
Is 7 a factor of 6311 - (-1 - 1)*((-16 - -12) + 5)?
False
Let q = -7 - -9. Is (-1)/(12/4440)*(-1)/q a multiple of 37?
True
Let s(c) = 5300*c - 46. Let m(b) = 1059*b - 9. Let k(t) = -16*m(t) + 3*s(t). Is k(-1) a multiple of 30?
True
Let v(f) = 2*f**3 - 107*f**2 + 11*f + 24. Is 93 a factor of v(54)?
True
Let t(c) = 130*c + 2873. Let q be t(-22). Let v(h) = -1 + 17 + 6 + h**2 - 2*h. Is 33 a factor of v(q)?
True
Let l(x) = 534*x**2 - 509*x + 3533. Is 31 a factor of l(7)?
False
Let v(u) = -2*u**3 + 20*u**2 - 3*u + 22. Let r be v(9). Let y = r + -122. Is 35 a factor of y?
True
Suppose 0 = -3*g + 16 - 7. Suppose 0 = 2*n - 3*n + 2*d, 0 = g*n - 4*d. Suppose -2*m + 318 - 36 = n. Does 30 divide m?
False
Is 9 a factor of 14/(-21) + 873026/66 + 0 + 5?
False
Let p = -294 - -561. Suppose 0 = 3*q - 2*q + 3*b - 137, 2*q - b = p. Let g = 238 - q. Is 7 a factor of g?
False
Let w = 14054 + -9804. Is w a multiple of 108?
False
Suppose -178274 = -27*x + 216866 + 234230. Is x a multiple of 30?
True
Suppose -30576 = 1822*d - 1836*d. Is d a multiple of 42?
True
Let x(l) = 28*l - 17. Let b be x(-7). Let y = b - -320. Let s = y - 62. Does 9 divide s?
True
Let s(i) = -6*i - 2. Let a be s(-1). Suppose 5*v = -2*u - 1370, u - 1 - a = 0. Let w = -138 - v. Is w a multiple of 22?
False
Let s = 1147 + 8091. Is 31 a factor of s?
True
Suppose 1326 = 74*x - 71*x. Suppose -2*b = 2*y - 904, 4*y + x = -b + 2*b. Does 50 divide b?
True
Let l = 65 + -98. Let m = l + 33. Suppose 3*d - 63 = 5*n - 938, -n - 2*d + 162 = m. Is 43 a factor of n?
True
Let i(p) = p + 3. Let n(w) = -27*w - 216. Let g(r) = 