of f?
True
Let u = 2827 + -721. Suppose -6*i + i - 4*o = -u, -5*o + 20 = 0. Let q = i - 285. Does 30 divide q?
False
Is ((-8)/10)/((-262)/2382235) a multiple of 17?
False
Let s be 5 - (-2)/((-2)/3). Suppose 0*j + j - s*m - 16 = 0, 5*j + 2*m - 116 = 0. Suppose -v - j = -2*v. Is v a multiple of 11?
True
Suppose 5*s + w - 34878 = 0, 4*w - 4562 = -3*s + 16358. Is s a multiple of 37?
False
Let w be (7 + -1 - -1)/(18/54). Suppose -19*s = -w*s + 528. Does 44 divide s?
True
Does 22 divide (-16)/6 + (-216448)/(-267)?
False
Let r(c) = 6*c**2 - 14*c - 10. Let m(f) = -f**2 + f. Let t(x) = 5*m(x) + r(x). Suppose -3*y + 4*y = -5*p + 36, 3*p - 37 = -2*y. Does 3 divide t(y)?
True
Suppose -10464 = -3*x - 2100. Does 41 divide x?
True
Let h = 3887 - 3746. Does 3 divide h?
True
Let p(v) = 3*v**3 - 3*v**2 + 2*v + 2. Let o = -645 - -648. Does 2 divide p(o)?
True
Suppose -3*k + 2463 = -3*p, 3*p + 2284 = 4*k - 1002. Is k a multiple of 21?
False
Suppose -3063 - 32382 = -3*r. Does 43 divide r?
False
Let x(z) = -5*z + 5. Let q be x(-7). Let u = q - 103. Let c = -30 - u. Does 15 divide c?
False
Suppose -21*p + 103695 = 29292. Is p a multiple of 16?
False
Suppose 6*l + 4*l - 30783 - 48437 = 0. Is l a multiple of 20?
False
Let g(w) = -69*w - 6. Suppose v - 21 = -18. Suppose r + 4 = -a + 1, 5*r - a = -v. Is 7 a factor of g(r)?
True
Is 15 a factor of 12622/((-5)/(-12) + 98/392)?
False
Suppose -5*y + 5*w + 280 = 0, -3*w - 12 = -0*w. Does 49 divide ((-7475)/y)/(1/(-4))?
False
Suppose -220800 = 3*u - 18*u. Suppose 29*n = 6*n + u. Does 64 divide n?
True
Let r be (4/12)/((-3)/(-108)). Suppose -28 - r = -4*h. Suppose -l - 3 = -4*u - h, -4*l + 41 = -3*u. Does 5 divide l?
False
Suppose 0 = 3*l + 5*l - 5944. Suppose 0 = -18*a + l + 229. Is 54 a factor of a?
True
Let s(t) be the second derivative of -t**4/12 - 4*t**3/3 - 2*t**2 - 23*t. Let g be s(-7). Suppose d - 142 = -g. Is 28 a factor of d?
False
Let b(z) = 540*z**2 - 27*z + 100. Does 15 divide b(5)?
False
Let k(i) = -i**2 + 4*i - 3*i + i + 9*i - 24. Let r be k(8). Suppose 0 = j + 3*l - 35, -3*j + r*l - 5*l = -117. Is j a multiple of 22?
True
Suppose -11*v = v - 204. Suppose v = 5*h + 232. Let i = 55 + h. Is i a multiple of 6?
True
Suppose -14*d + 39767 = -22790 + 5591. Is 18 a factor of d?
False
Let c(v) = 17*v + 106. Let z(p) = 50*p + 319. Let w(j) = -11*c(j) + 4*z(j). Does 83 divide w(5)?
False
Is 71 a factor of (-210)/(-71 - -36)*(710/(-12))/(-1)?
True
Let a(t) be the second derivative of -67*t**5/120 - 5*t**4/12 - 5*t**3/3 - 7*t. Let m(l) be the second derivative of a(l). Is 31 a factor of m(-2)?
True
Suppose -36*q + 31*q = -80. Suppose -3*w - 7 = -q. Suppose d = f + 18, -w*f = -4*d - 0*f + 69. Is d a multiple of 13?
False
Suppose -17 + 2 = b + 4*i, 3*b - 3*i - 30 = 0. Suppose -4*g = n - 76, n + 0*n + 95 = b*g. Suppose 453 = 22*k - g*k. Does 7 divide k?
False
Let y be ((-1990)/70)/(1/(-7)). Let x = y - -206. Is x a multiple of 29?
False
Let p(b) = b**2 + 3*b + 14. Suppose -3*q + 8 = 2*v - 68, 0 = -2*v - 8. Suppose 3*w = 7*w + 2*c - q, -w + 3*c + 7 = 0. Is p(w) a multiple of 42?
True
Let v = 2834 - -750. Does 4 divide v?
True
Suppose 109*q - 59451 = -40*q. Is q a multiple of 3?
True
Let g be 2*1 + 4*(-5)/10. Let m be -3*(g + 970)/((-12)/4). Suppose m = i + 9*i. Is i a multiple of 23?
False
Suppose -5*f = -5*v + 68265, 0 = -31*v + 33*v + 4*f - 27306. Is v a multiple of 9?
True
Suppose 0 = -2*r - 2, -3*r = -2*s - 2*r + 9. Let n be (-50)/(-13) + s + (-200)/52. Suppose -n*d = -2 - 110. Is d a multiple of 7?
True
Suppose 0 = 5*c - x + 117 - 155, -2*c - 2*x = -8. Suppose c*n = 8*n, 0 = -3*w - 5*n + 1581. Is 110 a factor of w?
False
Let z(u) be the first derivative of u**3/3 - 8*u**2 + 8*u - 9. Does 11 divide z(20)?
True
Let z(u) be the second derivative of -u**5/20 + 3*u**4 - 95*u**3/6 + 19*u**2/2 - 81*u. Does 64 divide z(33)?
False
Let p(l) = l**3 + 46*l**2 - 46*l + 184. Is p(-47) a multiple of 3?
False
Suppose 0 = -5*u - 0*u + 235. Let q be 2/((10/85)/(-1)) + 2. Let f = u - q. Is f a multiple of 8?
False
Let w(u) = -2*u - 3. Let q be 69/(-21) - 6/(-21). Let t be w(q). Suppose t*x + 1 - 4 = 0, 0 = -2*k - 3*x + 19. Is 8 a factor of k?
True
Suppose 0 = 11*t - 4*t - 4984. Suppose -2*p - t = -4*h, -6*h + p = -703 - 373. Is 9 a factor of h?
True
Let y be 618 - (1 - -5)/(-2). Suppose 4*a - 3057 = -a + 4*d, -a + 4*d = -y. Is a a multiple of 21?
True
Let t(z) = z**2 + 7*z + 8. Let s(m) = m**2 - 12*m + 14. Let r be s(10). Let o be t(r). Suppose -3*d = o*l - 82, -19 = 4*d - 3. Is l a multiple of 13?
False
Suppose -13*u + 99*u - 50*u - 700920 = 0. Does 55 divide u?
True
Suppose 15*b = 22*b - 91. Let h be (-6)/(-2)*1*(b + -12). Suppose 0 = -0*j - h*j + 141. Is 14 a factor of j?
False
Does 11 divide ((-12)/(-16))/((-12)/441936*-11)?
False
Let v(b) be the first derivative of 23*b**3/3 + b**2 + b + 24. Let p = 6 - 7. Does 11 divide v(p)?
True
Is (-1439 + 14)*1/(3/(-8)) a multiple of 8?
True
Suppose -21*k = -2*q - 18*k + 34363, -3*q + 51577 = 2*k. Does 10 divide q?
False
Suppose 73*l - 50704 - 99603 = 0. Does 12 divide l?
False
Let a(n) = -84*n**2 + 3*n + 7. Let m be a(5). Let o be m/3*(-2 - 1). Suppose 5*z + 398 = o. Is 56 a factor of z?
True
Let t(o) = 55*o**2 - 79*o - 666. Is 15 a factor of t(-9)?
True
Let y(l) = -l**3 - 8*l**2 + 41*l - 54. Does 33 divide y(-21)?
True
Suppose 117*j - 79*j + 824753 = 3150353. Is j a multiple of 36?
True
Let c be (1/(-2))/(19/2850). Is 10 a factor of 17 - 11 - (c + 1)?
True
Let v be 21/14 + (-2)/(-4). Suppose 4*x - 75 - 42 = -o, -o + 141 = -v*x. Is o a multiple of 9?
False
Let x(k) = 69*k**2 + 28*k + 546. Is 7 a factor of x(-18)?
False
Let j = -30 - -25. Let a be (2 + -4 - j) + -1*3. Let d = 90 + a. Is 15 a factor of d?
True
Suppose -4*m = -6*m + 20. Suppose -m*o + 147 = -603. Let c = o + -47. Is c a multiple of 4?
True
Let c be (-276)/(-230)*(-1220)/(-6). Suppose -548 - c = -6*i. Is 22 a factor of i?
True
Is 70 a factor of -3 + (-568)/(-184) + (-116372)/(-92) + -5?
True
Suppose u - 8990 + 715 = -2*m, 0 = 4*m + 5*u - 16559. Is m a multiple of 25?
False
Let f = 644 + -2513. Let w = 2927 + f. Is 54 a factor of w?
False
Let s(u) = -u**3 + 4*u**2 - 2*u. Let n be s(3). Let r = -17 - 8. Does 3 divide 1*n/((-15)/r)?
False
Let y(l) = 99*l**2 + 5*l + 78. Let k be y(-6). Suppose 344*d = 351*d - k. Is d a multiple of 12?
True
Let k(p) = -9*p**3 + 4*p**2 + 4*p - 24. Let i be k(4). Let s be (-6)/45 + 3868/(-15). Let u = s - i. Does 41 divide u?
False
Let o(v) = 347*v - 369*v - 12*v**2 + 322 + 13*v**2. Is o(35) a multiple of 37?
True
Let r = -717 - -20418. Is r a multiple of 33?
True
Let f = -55 - -113. Let y = -54 + f. Is 27 a factor of ((-16)/(-20))/(y/630)?
False
Let a = 39 + -26. Suppose 3*q = -5*g + 55, -3856*g + 3860*g - 47 = -3*q. Suppose -3*x + 240 = 3*i, -q*i + a = 4*x - 312. Does 7 divide x?
False
Let z(d) = -d**2 - 16*d - 3. Let x be z(-18). Let f = x + 43. Suppose -f = -i - 4*t + 29, -3*t = 2*i - 86. Is i a multiple of 8?
False
Let d(y) = 33*y - 9. Suppose -4*i + 48 + 16 = 4*a, -4*i - 3*a = -61. Does 10 divide d(i)?
True
Let a(w) = -751*w - 12858. Is 15 a factor of a(-20)?
False
Suppose 5*j + 3*l - 3269 = 25625, 0 = 2*l + 4. Does 34 divide j?
True
Let c = 43 - 43. Suppose c = -6*q - 3 + 21. Suppose 3*y = 4*u + 82, -y + q*u = y - 55. Does 13 divide y?
True
Let i be (-4)/4*150*10/(-3). Suppose -34*h + i = -33*h. Is 20 a factor of h?
True
Suppose -14*r = -4*r - 3650. Let y = -167 + r. Is 21 a factor of y?
False
Let y = 77 - 64. Let w(x) = -x**3 + 15*x**2 - 13*x + 39. Does 13 divide w(y)?
True
Is -33 - -25 - (-166980)/(4 + 0) a multiple of 14?
False
Let r(w) be the third derivative of -w**5/60 - w**4/4 - w**3 + 13*w**2. Let s be r(-4). Suppose 8*x + s*x - 90 = 0. Is x a multiple of 3?
True
Let z(w) = 137*w**2 - 476*w - 12. Is z(13) a multiple of 16?
False
Let p be 21/(-28)*(-4 - (-2 + 2)). Suppose 0 = k + k - 4*b - 18, 4*k - p*b = 16. Let x(g) = 17*g - 2. Is 6 a factor of x(k)?
False
Suppose -2*b + 3*k = -25, 5*b = 6*k - 8*k + 91. Suppose 11*v - b*v = -258. Is v a multiple of 43?
True
Let k(c) be the third derivative of -c**7/840 + c**6/360 + 13*c**4/12 + c**3 + 8*c**2. Let n(i) be the first derivative of k(i). Is n(0) a multiple of 9?
False
Is -5 + (-24)/(-30)*2230 a multiple of 62?
False
Let h(d) = -19*d + 5. Let