ivative of 13*s**5/4 + s**4/12 - s**2/2 - 11*s. Let l be w(1). Let f = l + 15. Is 7 a factor of f?
False
Suppose 5*m - 6 = 3*u - 21, 0 = 2*u + 10. Let c(i) = -i**3 - 2*i**2 + 5. Let v be c(m). Suppose n + 0*n - j - 55 = 0, -v = -3*n - j. Is 14 a factor of n?
False
Suppose h - 1460 + 990 = 0. Suppose -278 = -3*g - a, -5*g + 3*a + 2*a = -h. Does 2 divide g?
False
Suppose 2*g + 10 = 0, 2*g + 33 = 2*z - 29. Let t = 131 - z. Does 5 divide t?
True
Let g be (-40)/(-140) - (0 - 194/7). Suppose 20*p + g = 21*p. Does 4 divide p?
True
Suppose -4*u = -c + 2914, -37*u + 5815 = 2*c - 32*u. Is c a multiple of 10?
True
Let j = -5 - -9. Suppose -2*r - 1 = b - 10, -3*r = j*b - 21. Suppose l + 0*l - r*w = 33, w = 2. Does 39 divide l?
True
Let i(s) = -99*s + 32. Let j(b) = 100*b - 30. Let n(t) = -4*i(t) - 5*j(t). Let l be n(-2). Let h = l - 138. Is 14 a factor of h?
False
Suppose -25*s + 20*s + q = -89, 5*s - 93 = -3*q. Let h(a) = -a**2 + a - 1. Let c(x) = -x**3 + 21*x**2 + 6*x + 23. Let k(n) = c(n) + 3*h(n). Does 14 divide k(s)?
True
Let f be 9 + (17 - 1)/(-4). Suppose -f*z = -x + 4*x - 4006, z - 2*x - 796 = 0. Does 12 divide z?
False
Let r(s) = 72*s**2 - 71*s**2 - 105 - 26*s + 6*s. Is 22 a factor of r(27)?
False
Let n(d) = d**3 - 8*d**2 - 19*d - 14. Let x be n(10). Let k be 4 + 2 - (-3 - (x - -1)). Suppose i = k*i - 600. Is 24 a factor of i?
True
Suppose 10*z + 13*z - 12727 = 22*z. Does 13 divide z?
True
Let c = 99 + -93. Let z be ((-4)/c)/(((-14)/147)/1). Suppose -6*h - 42 = -z*h. Is 7 a factor of h?
True
Let i = 3873 - -35375. Is i a multiple of 223?
True
Suppose -47*z + 1909126 = -923188. Is 13 a factor of z?
False
Let a(n) = 8*n**2 + 12*n - 24. Suppose 5 = -j + 8. Is a(j) a multiple of 6?
True
Suppose -3*x - 1 - 4 = -5*t, 2*x = -5*t - 20. Let q be (26/10 + t)*5. Suppose q*k - 25 = 5. Does 9 divide k?
False
Let p = -6472 + 11376. Does 10 divide p?
False
Let m(q) be the third derivative of -q**5/60 + 23*q**4/12 - 21*q**3/2 + 146*q**2. Is 54 a factor of m(37)?
True
Suppose x = -3*v - 83, 2*v + 2*x = -38 - 20. Let p be 18/v + (-16)/(-6). Does 5 divide ((-7 - -8) + 29)*2/p?
True
Suppose 104 = -5*r + 29. Is (610/r)/(1/(-6)) a multiple of 4?
True
Let p(m) = 3*m**2 + 3*m. Let w = -34 - -36. Suppose 20 = w*l + 14. Is p(l) a multiple of 6?
True
Suppose 4*v - 13855 = -5*s - 0*v, -3*s + 8286 = -3*v. Suppose 3*f - s = 578. Does 18 divide f?
False
Let w be 11/(33/6) - -30. Let c(h) = -h**3 + 34*h**2 - 63*h - 6. Is 3 a factor of c(w)?
False
Suppose 3*w - 13313 = -3*k + 26920, 2*w + k - 26818 = 0. Is 78 a factor of w?
False
Suppose -178*d = -571353 - 3467467. Is d a multiple of 56?
False
Let a = 782 + 397. Suppose -4*o + a = -753. Does 69 divide o?
True
Let s = 40489 + -33483. Does 10 divide s?
False
Suppose -18 = 2*o, 5*o = 1404*l - 1406*l + 52893. Is l a multiple of 54?
False
Suppose 3*q - 7*q = -16. Suppose -2*c = -a, 0*c = -q*a + c + 14. Suppose -3*i = -a*i, 0 = -b - i + 13. Does 7 divide b?
False
Does 5 divide (-40)/100*20*2020/8*-1?
True
Let z(g) = 232*g**3 - 19*g**2 + 75*g + 11. Does 169 divide z(4)?
False
Suppose 0 = 6*u - 13*u + 28. Suppose -257 = -m + 4*i + 61, 0 = -3*m - u*i + 938. Is 9 a factor of m?
False
Let q(g) = 2 - g**2 - 8*g + 7*g**2 - 1. Let v be q(4). Let j = v + -53. Is 12 a factor of j?
True
Let q be -1 + ((-2317)/(-21))/(3/9). Suppose -2*z = -5*y + q, -2*z - 3*z = -4*y + 247. Is y a multiple of 2?
True
Let r = -898 - -3828. Does 4 divide r?
False
Let b(u) = 2*u + 5. Let q(s) = -s**2 - 4*s + 5. Let n be q(-4). Let d be b(n). Suppose -l + d + 23 = 4*a, 3*l - 147 = -a. Is l a multiple of 10?
True
Let z = 40 + -43. Let c be 958 + z/(6/(-4)). Suppose -c = -2*d - 4*d. Is d a multiple of 21?
False
Suppose 0 = -3*t - 5*i + 14400, 4*t - 9*i + 5*i - 19200 = 0. Is t a multiple of 25?
True
Let h = 25 + 209. Suppose 2*q - 4*l = 476, 2*l + l = q - h. Is 18 a factor of q?
False
Let f be (32/(-6))/((-1)/(-102)). Let w = -2697 - -1850. Let r = f - w. Is r a multiple of 40?
False
Let d(g) = 15*g + 30. Let f be d(-2). Is 8 a factor of (148 + 13)/(f - -1)?
False
Suppose 16*i + 40 = 11*i. Let o be 5/2*i/(-5) - 4. Suppose 3*j = 2*m - 41, o = 3*m - 2*j + 3*j - 34. Is 13 a factor of m?
True
Suppose u - 9*t - 647 = -8*t, -4*t = u - 672. Suppose -13*q + u + 934 = 0. Is q a multiple of 11?
False
Suppose -3*k = 2*j + 3*j - 23, -j = -4. Let i(x) = -38*x + 7. Let b(r) = -3. Let s(y) = -6*b(y) - 3*i(y). Is 37 a factor of s(k)?
True
Let x(g) = g**2 - 13*g - 32. Suppose 4*z - 42 + 10 = 0. Let n be x(z). Let b = 19 - n. Is b a multiple of 13?
True
Suppose 17*d = 12*d - 25. Let o = 8 + d. Is (0 + (o - -151))*1 a multiple of 31?
False
Let b = -7436 - -9219. Is b a multiple of 7?
False
Let f be 8/((-16)/(-3)) - 10/(-4). Suppose 39 = f*m + x, 5*m - 2*x - 35 = 17. Suppose 17*o = m*o + 441. Is 13 a factor of o?
False
Is 55 a factor of 3/45 + 1385972/420?
True
Suppose 4*o - 11 - 17 = 0. Let d(g) = -8*g + 7. Let w(u) = -8*u + 7. Let c(q) = 5*d(q) - 6*w(q). Is c(o) a multiple of 11?
False
Let s(r) = -17*r + 13. Let p(x) = 16*x - 13. Let z(o) = 6*p(o) + 5*s(o). Suppose 4*l - 6*l - 2*h = -14, 0 = -3*l - 2*h + 19. Does 14 divide z(l)?
True
Let w = -298 - -382. Let h = 1 - -11. Suppose h*y = w + 924. Is y a multiple of 12?
True
Suppose -12*b + 7 + 269 = 0. Let u(o) = 21*o**3 + 35*o**3 + 10*o**3 + b*o**3 + 3 - 3*o. Is 6 a factor of u(1)?
False
Let z(i) = -82*i**3 + i**2 + 8*i + 21. Does 15 divide z(-3)?
True
Suppose 4*o + 1049 = -375. Let b be (-8)/(-28) + o/(-28). Suppose -b*q - 48 = -17*q. Is q a multiple of 12?
True
Let b be (-568)/24 - (-1)/(-3). Let i = b + 32. Suppose 0 = -5*u + i*u - 114. Is u a multiple of 38?
True
Let w = 1212 - 2268. Let p be (7/(-3))/(4/w). Suppose -4*k = 3*k - p. Does 11 divide k?
True
Suppose -46357 = 17*u - 30*u + 92. Is 9 a factor of u?
True
Suppose 7*k - 4*k + 333 = 0. Let y = k + 159. Is 24 a factor of y?
True
Suppose -13*n + 61954 = 50839. Does 5 divide n?
True
Suppose -5*d - 19 - 6 = 0. Let y(b) = b**2 - b + 1. Let j(h) = -24*h**2 - 5*h - 22. Let k(q) = d*y(q) - j(q). Is 14 a factor of k(-3)?
False
Let d(f) = 42*f**2 + 627*f - 7. Is 66 a factor of d(-19)?
False
Let b(g) = 6*g + 2. Suppose 3*l + 2*k - 32 + 7 = 0, -17 = -l - 5*k. Let j be b(l). Suppose 5*y - j = -i + 6, -2*i + 3*y = -87. Is i a multiple of 15?
True
Let y = -611 + 6546. Does 112 divide y?
False
Suppose 67716 = 14*h + 43*h. Is 54 a factor of h?
True
Suppose 3*p + 3 + 2 = -5*h, -4*h + 3*p + 23 = 0. Suppose -3*t + 3 = 0, y = -2*y + h*t + 247. Is y a multiple of 18?
False
Let l(k) = k**3 - 10*k**2 + 36*k + 317. Is 31 a factor of l(18)?
False
Let z(q) = q**2 - 4*q - 38. Let g be z(-10). Let y = -75 + g. Is 15 a factor of y?
False
Let a = 7841 + -6408. Is a a multiple of 12?
False
Suppose -354 = -5*j - 2*x, 4*j + x - 303 = 6*x. Let s = 303 + j. Does 75 divide s?
True
Let l = -16684 - -17429. Is l a multiple of 9?
False
Suppose 212*n + 149*n + 1014453 = 13770027. Is n a multiple of 234?
True
Does 7 divide 824/(-618)*(-5241)/4?
False
Suppose 0*f = 2*f - 6. Suppose 2*t = f*t + 4. Is (-13 - -17) + (-1 - t) a multiple of 7?
True
Is 41 a factor of (9354/2*16/72)/(11/99)?
False
Let p be 9/(-4) + (-21)/28. Let n be 1 - (3/p - 285). Suppose q - 3 - n = -4*d, -d + q = -75. Is d a multiple of 9?
False
Suppose -51*i + 13196 = -49*i - 4*n, 0 = i + n - 6583. Does 6 divide i?
True
Let r(d) be the first derivative of 25*d**2 + 87*d + 45. Is 71 a factor of r(18)?
False
Let l be 60/(122/624 + (-20)/130). Suppose -15*i = -35*i + l. Does 2 divide i?
True
Let j(d) = d**3 + d**2 - 19*d + 11. Let q be ((-21)/63)/(2/42). Let r be j(q). Is (-5)/(r/4548) + (-6)/10 a multiple of 12?
False
Suppose 5*m - 20 = 0, 5*v - 3*m + 0*m = 11168. Is v a multiple of 26?
True
Let l(a) = -598*a + 4585. Is 8 a factor of l(-35)?
False
Let x(b) = 98*b**2 - 45*b**2 - 42*b**2 - b + 2*b + 52. Does 39 divide x(9)?
False
Let h = -39 + 41. Suppose -5*n + v = -586, 5*n - h*v - 582 = -0*v. Is n a multiple of 22?
False
Let r = 601 + -345. Is (2 - 8/3) + r/6 a multiple of 6?
True
Let n(v) = -v**2 + 20*v + 29. Let y be n(21). Suppose -1932 = l - y*l. Is 12 a factor of l?
True
Let i = 18780 + -7132. Is 26 a factor of i?
True
Let o(x) = -6*x**2 + 5*x + 7. Let q be o(-1). Is (-6*(-1)/q)/(-3)*930 a multiple of 54?
False
Let l = 298 + -307. Let x = l + 343. 