- 958. Does 75 divide v?
True
Let b(w) be the third derivative of w**4/24 + 5*w**3 - 2*w**2. Let k = -492 + 514. Does 26 divide b(k)?
True
Is 47 a factor of 1/2*1898 - (3/(-3) + 3)?
False
Suppose -102*j + 97*j - 5 = 0. Let z be (0/15)/(j*(0 + 1)). Suppose z*u = u - 31. Is 3 a factor of u?
False
Is 126 a factor of (148979/190 - 1/10)*8?
False
Let n be (-36)/(-54) + (-602)/(-6). Let r = n - 153. Let k = r - -148. Does 32 divide k?
True
Let h(n) = n**2 + 11*n + 10. Let v be h(-11). Let x(f) = -f + 13. Let j be x(v). Suppose 0*u = d - 2*u - 14, 105 = 5*d - j*u. Is d a multiple of 13?
False
Suppose -o + 2*c - 142 = -701, 0 = -o + c + 553. Is 8 a factor of o?
False
Let r(u) = -5*u**3 - 15*u**2 + 3*u + 8. Let a be r(-3). Let d(c) = -4 - 9*c + 8*c - 13*c. Does 3 divide d(a)?
False
Let x be (216 + -18)/(3/(-6)). Let i = 497 + x. Is 5 a factor of i?
False
Suppose -28*l = -1674 - 2134. Let w = l + -93. Does 9 divide w?
False
Let p(s) = 179*s**3 - 8*s**2 - 23*s + 100. Does 6 divide p(4)?
False
Suppose -6*u + 11*u - 25 = 0. Let h = -9 - -13. Suppose 370 = 3*b - c - h*c, 624 = u*b - c. Is 14 a factor of b?
False
Let w be (-6)/(-4)*476/(-21) + 2. Let l be (-2)/((-8)/3 - -2) - w. Suppose -4*z = -587 + l. Is z a multiple of 23?
True
Suppose -828739 - 1364259 - 666602 = -120*f. Is 151 a factor of f?
False
Let g(u) = u**3 + u**2 + 2. Let c be g(0). Suppose -b - o = -c*b + 8, -b + 13 = 4*o. Suppose 32 = b*i - 8*i. Does 6 divide i?
False
Let i = 258 + 1052. Is i a multiple of 10?
True
Does 114 divide 4930950/162 + (-20)/(-540)?
True
Suppose 149*y - 2904 = 141*y. Suppose -2*m + y = 2*g - 5*m, 0 = 2*m + 2. Is 9 a factor of g?
True
Let b(k) = 339*k + 10638. Is 220 a factor of b(138)?
True
Suppose 4*y + 36480 = 5*j, -77*y + 7320 = j - 73*y. Is 10 a factor of j?
True
Suppose 0 = -21*w + 25*w + 1916. Let v = 27 - w. Does 22 divide v?
True
Suppose 10*s + 30*s + 7*s = 4888. Is s a multiple of 52?
True
Let t = 41092 - 24156. Does 9 divide t?
False
Let s(o) = o**3 - 2*o**2 - 12 - 4 + 23 - 11*o**2 - 13*o. Suppose -2*f + 3*f - 14 = 0. Is s(f) a multiple of 6?
False
Suppose -2*q - 141 = -5*u, 4 = -5*u - 11. Let z = q + 458. Does 10 divide z?
True
Suppose -4*o + 357 = 4*c - 3*o, 5*c - 455 = -3*o. Suppose -97*k + 2736 = -c*k. Does 4 divide k?
True
Suppose 0 = w - 2*c + 8, -6 = 3*w - 3*c + 3. Suppose -5*f = -2*i + 20, -2*f - 1 = 3*i - 12. Is 51 a factor of (2 - (2 - f))/w - -225?
False
Let q = 20614 + 7988. Is 14 a factor of q?
True
Suppose -9*g = -14*g + 5840. Suppose g = 4*f + 2*n, n = -5*f - 0*f + 1463. Suppose -f - 592 = -5*z. Is z a multiple of 20?
False
Let k be (-70)/21 + (-22)/33. Is (k + -6040)/(-6 + 2) a multiple of 10?
False
Let d = -158 - -162. Suppose 0*r + 3*c = d*r - 508, 5*r - 624 = c. Does 19 divide r?
False
Suppose -8*n + 6*n + 4336 = 0. Let h = n + -1152. Suppose 4*u - 4*m + 366 - 1718 = 0, m = 3*u - h. Is u a multiple of 22?
False
Suppose m - 625 = -n, 4*m + 769 = n + 144. Suppose 0 = 9*f - 1355 - n. Suppose -3*a = -4*a + 4*o + 110, 3*o + f = 2*a. Is 22 a factor of a?
True
Is (-1375)/22*(-5916)/145 a multiple of 3?
True
Let s(t) = t**3 + 9*t**2 + 12*t - 12. Let i be s(-7). Suppose 0 = i*k - 10. Suppose k*a = 9*a - 264. Is 33 a factor of a?
True
Let j(a) = -29*a**3 + 6*a**2 + a - 1. Suppose -5*y + 2 + 3 = 5*f, f + 8 = -4*y. Is j(y) a multiple of 14?
False
Let y(q) = q**3 - 44*q**2 - 232*q - 68. Is 13 a factor of y(54)?
False
Suppose 15*i = -2*i + 85. Suppose 2*t - 3*h - h = 104, -20 = -i*h. Does 10 divide t?
True
Let y(a) = 558*a - 336. Is y(14) a multiple of 28?
True
Let d = -121 + 125. Let g(s) = 59*s - 39. Let k be g(d). Let b = k - 17. Is 18 a factor of b?
True
Let z(l) = 9*l + 18. Let a be z(-9). Let n = a - -70. Does 13 divide 117/(1*((-42)/(-4))/n)?
True
Let c(p) = 2*p**3 - 44*p**2 - 119*p + 223. Is c(28) a multiple of 35?
False
Let j be -22 + 0 - (-1 + -1). Let p = 24 + j. Suppose 3*a - 64 = -y + 4*a, -p*y - 5*a + 238 = 0. Is 31 a factor of y?
True
Let i = -32 + 45. Suppose 9*y = i*y - 600. Suppose -2*a = 36 - y. Is a a multiple of 18?
False
Suppose 41*w - 135594 = -21*w. Is w a multiple of 28?
False
Suppose 410*h = 293*h + 291681. Is 12 a factor of h?
False
Suppose 13*j - 185*j = -82*j - 1468350. Is j a multiple of 15?
False
Let k = -78 - 359. Let b = 559 + k. Does 2 divide b?
True
Suppose -2*p - 17 = 37. Let b = -39 - p. Is 8 a factor of (b/8 + 1)*-16?
True
Let c be -3 - (-2 + (3 - 2)) - -329. Let j = 645 + c. Suppose 0 = 13*o - 4*o - j. Does 23 divide o?
False
Let j be (-35)/(-21) - 2/(-6). Suppose -j*v - 2 = -6. Suppose 4 = 4*s, 3*o - v*s + 0*s = 298. Is o a multiple of 25?
True
Suppose -3*c - 36547 = -5*s, -3*s - 192*c = -191*c - 21917. Does 3 divide s?
False
Let t(q) = 837*q + 7038. Does 3 divide t(-4)?
True
Suppose -3358 = -19*y + 14*y - m, -2*y + 3*m = -1350. Is y a multiple of 12?
True
Suppose -176*a + 4*z + 4 = -172*a, a - 4*z + 14 = 0. Let m(f) be the first derivative of f**4/4 - 4*f**3/3 - 3*f**2/2 - 1. Is 9 a factor of m(a)?
True
Let i(w) = -19*w**3 - 4*w**2 + 12*w + 35. Is 90 a factor of i(-5)?
True
Let d(r) = r**2 + r + 3. Let f be d(-4). Let y(o) = o - 1. Let g(b) = -1. Let p(c) = g(c) + 6*y(c). Is p(f) a multiple of 13?
False
Suppose -3 = -p, -2*k + 2*p + 4 + 6 = 0. Suppose 68 = t - k. Is t a multiple of 4?
True
Is ((-315)/6)/(-3)*(-25)/(-70)*788 a multiple of 70?
False
Suppose 3*u = -3*m + 15630, 0 = -145*m + 146*m + 5. Is u a multiple of 35?
True
Let r = -5678 + 6710. Does 3 divide r?
True
Suppose -3*g + 1049 = -i, 2*g = 4*i - 9*i + 671. Suppose 0 = -3*k - 0*k + g. Suppose k = 5*l - 3*l. Does 28 divide l?
False
Let d(u) = 18*u**3 - 2*u**2 - 4*u - 16. Let p be d(7). Let c be -1 - (p/(-40) + (-1)/5). Let i = -102 + c. Is i a multiple of 12?
True
Suppose -5*f + 8*f - 5*n = 505, -8*n + 479 = 3*f. Is f a multiple of 11?
True
Suppose 0 = 523*y + 43723 + 184341 - 1778759. Is y a multiple of 5?
True
Suppose 12*h = 11*h + 62. Let z = 56 - h. Let a(s) = -2*s**2 - 15*s - 7. Is a(z) a multiple of 11?
True
Let n be (-18)/3 - (-5)/((-10)/1704). Let s = n + 1260. Is 10 a factor of s?
False
Suppose -5*a + 13*i = 18*i - 465, 2*i = -3*a + 276. Is 3 a factor of a?
True
Let y(c) = 2*c + 12. Let z be y(-5). Suppose -z*v + 165 = -7*v. Let q = v - -41. Is q even?
True
Let z(o) = -4*o - 13. Let y be z(-4). Is 51 a factor of (-28)/98 - (y - (-1474)/(-14))?
True
Let n(c) = c**2 - 2*c + 366. Let f be n(0). Suppose -3*o = 5*p - f, 0*p - 237 = -3*p + 4*o. Suppose 3*j + 2*w - 11 = p, -5*w - 84 = -4*j. Is 6 a factor of j?
False
Let a(f) be the first derivative of f**3 + 3*f**2/2 + 10*f - 39. Is a(5) a multiple of 5?
True
Let y(m) be the third derivative of -5*m**4/8 - 52*m**3/3 + 9*m**2 + 4*m. Is y(-10) a multiple of 16?
False
Let l be 8/(-28) - 144/(-14). Suppose -25*d - 10*d = 0. Suppose d*g + g = l. Does 10 divide g?
True
Suppose -56*v + 57*v - 2*q = 46221, -4*v - 2*q + 184904 = 0. Is 215 a factor of v?
True
Let y(i) = i**3 + 9*i**2 - 3*i + 22. Let d be (-30)/9 - (-3)/9. Let r be -10 - d - (-2*2)/(-2). Does 7 divide y(r)?
True
Suppose -19*t + 11*t = -160. Does 17 divide 10934/35 - 8/t?
False
Let k(a) = -5*a + 6. Let x be k(14). Let m = x + 124. Is m a multiple of 20?
True
Let z = -1350 + 3259. Does 24 divide z?
False
Let r = -75 - -48. Let z = -42 - r. Does 13 divide z/(-2)*26/3?
True
Suppose 534 = -28*i + 814. Is i a multiple of 10?
True
Is 41 a factor of (25 + (-3584)/64)/((-370)/369 - -1)?
True
Let n(j) = -25*j**3 + j**2 - 22*j + 10. Is n(-8) a multiple of 90?
True
Let l(c) = c**3 - 8*c**2 + 5*c - 17. Let q(a) = a**2 + 3*a + 8. Let f(k) = 4*k - 16. Let t be f(4). Let v be q(t). Is l(v) a multiple of 5?
False
Let k = -12 - -15. Let z be 36/24*(-8)/k. Let s = 6 - z. Is s a multiple of 5?
True
Suppose l = -2*a - 7, 0 = -5*a - 10*l + 6*l - 13. Is (5 + 95/a)*(5 - 21) a multiple of 32?
True
Let l = -9268 - -16825. Suppose 0 = -13*m + l - 732. Is m a multiple of 41?
False
Let g(n) be the third derivative of -n**8/20160 - n**7/315 - 19*n**6/720 + 7*n**5/20 + 26*n**2. Let s(q) be the third derivative of g(q). Does 33 divide s(-10)?
False
Let f(u) = -660*u - 9. Let h be f(1). Let t = h + 994. Is 25 a factor of t?
True
Suppose -5*t = -2*a + a + 14715, -5*t = a - 14795. Does 40 divide a?
False
Let u(i) = 959*i + 9343. Does 148 divide u(31)?
True
Let j(f) = -214*f - 