 f - 1 = 0. Suppose m*a - 211 = 713. Does 11 divide a?
True
Is 2772/462*(2/2 + 377) a multiple of 14?
True
Suppose -57*s + 67*s - 6880 = 0. Suppose s = 2*o + h + 246, -5*o = -5*h - 1120. Is o a multiple of 3?
True
Let n(v) be the first derivative of -v**4/4 - 11*v**3 - 61*v**2/2 - 4*v + 51. Let j be n(-31). Let c = 61 - j. Is c a multiple of 16?
True
Suppose -925 = 4*w + w. Let k be (123/(-4))/(w/(-40) + -5). Let r = k + -55. Is r a multiple of 4?
False
Suppose -5*d - 4 = -9. Let w(x) = -109*x + 3. Let o(c) = c - 1. Let a(u) = d*w(u) + 5*o(u). Is a(-1) a multiple of 17?
True
Is 26 a factor of -83450*(38 - 23)/(-75)?
False
Suppose 4*d + 5*g - 16889 = 27748, -3*d + 2*g + 33472 = 0. Suppose 5*y = 19*y - d. Does 53 divide y?
False
Let r(f) = 196*f - 76. Let y be r(5). Suppose 4*l - y = -4*j, -3*l - 2*j = -280 - 399. Is 8 a factor of l?
False
Let m(n) = n**3 + 1. Let u(q) = 7*q**3 - 6*q**2 + 6*q. Let k(v) = 6*m(v) - u(v). Let c be k(6). Is ((-4)/8 + -1)*c a multiple of 15?
True
Let q be 2 - (-1 - 0*(-2)/4). Suppose 0 = -4*h + p + 888 + 960, q*h = -4*p + 1405. Suppose -4*c + h + 137 = 0. Is 20 a factor of c?
False
Let q be 1*12*1*(-2432)/(-96). Let n = -80 + q. Let f = -68 + n. Is 13 a factor of f?
True
Suppose 3*b - 1871 = 4*j + 450, -4*b - 3*j = -3053. Suppose -1585 - b = -21*s. Is s a multiple of 7?
True
Suppose 21*x - 7833 = 6552. Let m = x + 88. Does 33 divide m?
False
Let u be 3/((60/(-1255))/4). Let j = -71 - u. Is 18 a factor of j?
True
Suppose -34*b - 8*b - 7*b = -250390. Does 121 divide b?
False
Suppose -9*x + 3779 = -5617. Suppose -5*k = s - 3*s - x, 4*k + 3*s = 849. Does 15 divide k?
True
Let v be 15 + 4 + (-2 - 6). Suppose -v*m = -17*m + 312. Is m a multiple of 4?
True
Suppose -202*l = -203*l - 278. Let c = l - -686. Does 34 divide c?
True
Let o(f) = -16*f + 19. Let m = 23 + -11. Let w be o(m). Let q = -65 - w. Is 12 a factor of q?
True
Let v = 48 - -20. Suppose -55*c + 97*c = 2226. Let u = v - c. Is 15 a factor of u?
True
Let x(d) = -d**2 + 47*d + 14. Let u be (15/(180/1104))/((-2)/(-1)). Is 3 a factor of x(u)?
True
Let l(c) = -661*c - 465. Is 66 a factor of l(-3)?
True
Does 87 divide (-17 - -17409)*((-1)/2)/(2 + -3)?
False
Let l(x) = 6*x + 1938. Does 18 divide l(79)?
True
Suppose 11*q + 855 = 16*q. Suppose 0 = -2*x + 5*m + 270 + 75, -x = -m - q. Suppose -5*n + 8*p = 4*p - 423, -2*n + x = -2*p. Is n a multiple of 22?
False
Let r(f) = -6*f**2 - 3*f**2 - 8*f + 10*f**2 - 4. Let p be r(9). Suppose 3*x - 4*n = -0*x + 88, 3*n - 108 = -p*x. Is x a multiple of 14?
False
Is (1026/1900*20)/((-6)/(-7880)) a multiple of 72?
True
Suppose -g = -30*p + 29*p - 2412, 9660 = 4*g - 2*p. Is g a multiple of 39?
True
Suppose 15 = 5*v - w, v - 4*w = -3*v + 28. Suppose v*l + 9*l - 154 = 0. Suppose l*h - 15*h + 60 = 0. Is h a multiple of 10?
True
Let q = 84 - 83. Let g be 2/((-1)/q) - (13 + -381). Suppose -2*j + g = 5*u + j, -5*u = 2*j - 369. Is 4 a factor of u?
False
Let u(w) be the first derivative of -240*w**2 + 11*w + 10. Let k be u(-2). Suppose -11*l + k + 1130 = 0. Is 26 a factor of l?
False
Suppose 867 - 102 = 5*d. Let h be (-51)/(-7) + -3 + (-57)/(-21). Suppose -h = -a + d. Is a a multiple of 12?
False
Suppose 0 = 4*x + 5*c - 94882, -21*x - 2*c = -22*x + 23714. Is 67 a factor of x?
True
Let n(f) = 2*f**3 - 8*f**2 + 2*f + 17. Let s be n(5). Suppose -s = -v - 10*v. Suppose 0 = 10*w - v*w - 12. Does 4 divide w?
True
Is 32 a factor of 3184/(-24)*(45/(-40))/3*380?
False
Suppose -13*i + 9057 + 2058 = 0. Is i a multiple of 35?
False
Let r be (-279)/62 - (-9)/(-6). Let h(g) = 2*g**3 + 5*g**2 + 4*g + 1. Let p be h(-3). Does 9 divide ((16/r)/2)/(p/930)?
False
Let s(o) = o**2 + 3*o + 1535. Let x be s(0). Let m = -886 + x. Is m a multiple of 59?
True
Let f = 319 - 317. Suppose -f*l + 215 = -305. Does 20 divide l?
True
Let u(a) = 5*a**2 - 259*a + 80. Is u(55) a multiple of 30?
True
Let n = -70 - -61. Let a(w) = -w**3 - 7*w**2 + 9*w + 15. Does 15 divide a(n)?
False
Let l be (-1)/(-2) - (-9)/6. Let t be 1/(4/(-24)*l). Let f(q) = -2*q**3 + 5*q**2 + 5*q + 4. Is f(t) a multiple of 35?
False
Let p = 234 - 98. Suppose 2*n + 2*k = -2*n + p, 0 = -2*n + 2*k + 68. Is 4 a factor of n?
False
Suppose 3*y - i - 2*i - 24 = 0, -2*i = 6. Suppose -4*l - 4 = -y*l, -o + 611 = 3*l. Suppose 4*f + 3*m = -m + 460, 5*f - o = 3*m. Is 17 a factor of f?
False
Let k be -66*10/(-180) - (-1)/3. Suppose -7*x + 4*x - k*o = -3139, -x + 1049 = 2*o. Does 30 divide x?
False
Let i(u) = u**2 + u. Let p be i(-4). Let q be (208/(-78))/((-4)/18). Does 27 divide 2*(344/q)/(p/27)?
False
Let n(q) be the first derivative of 3*q**2/2 - 20*q - 1. Let g be n(8). Suppose g*f + 891 = 5*m, -4*m + 2*m + 3*f = -355. Is 29 a factor of m?
False
Let q(w) = 5*w**2 - 6*w + 3. Let s be q(2). Suppose -s*k + 178 = -4970. Is 15 a factor of k?
False
Let d be (33/(-2))/(18/24). Let y be 12/(-66) + (-972)/d. Suppose y = 2*u - 4*i, 5*u - 2*i - 75 - 43 = 0. Does 4 divide u?
True
Let d(z) = -z**3 - 10*z**2 - 8*z + 12. Let l be d(-9). Suppose -2 = -29*s + 31*s, -l*j = 2*s - 907. Is j a multiple of 15?
False
Suppose 0 = -2*w - 3*z + 103887, -14*w - 207769 = -18*w - 5*z. Is 32 a factor of w?
True
Suppose 0 = -25*l + 9*l + 816. Let t be 1 + (-9)/21 + l/21. Suppose -t*x - 699 = -4*m, -2*m - x + 888 = 3*m. Is 12 a factor of m?
False
Does 22 divide ((-488)/1098 + 538/36)*148?
False
Let z = -324 + 12746. Is 7 a factor of z?
False
Let u = 626 - -6535. Is u a multiple of 31?
True
Suppose 4*r - 30 = -r. Is (-1 - 149)*r/(-15) a multiple of 5?
True
Suppose 254636 + 183284 = -322*u + 338*u. Is u a multiple of 119?
True
Suppose 447*r - 431*r = 240736. Is r a multiple of 169?
False
Let s be -5*(-4)/40*-674. Does 28 divide (0 - -5)*s/(-5)?
False
Let q(n) = 10*n - 6. Suppose 13 = u + 4*h - 3, -5*u + 20 = 5*h. Suppose u = 3*b - 5 - 10. Is 44 a factor of q(b)?
True
Suppose t - 9 = -3. Let l = t - 3. Suppose -3*x + 5*q = x - 428, l*x + 4*q - 290 = 0. Is 17 a factor of x?
True
Let m = -31 + 34. Let s be m/(-7) - (-119)/49. Suppose 4*g - s*d + 3*d - 251 = 0, -4*d = 20. Is g a multiple of 8?
True
Suppose -649*v + 13604034 + 4167555 = -172*v. Does 109 divide v?
False
Suppose s = -3*c + 32949, -2*c - s + 10893 + 11072 = 0. Is 132 a factor of c?
False
Let u = -11251 - -14989. Is 89 a factor of u?
True
Let m(w) = 3*w**2 + 2*w + 8. Let a be ((-48)/21)/8*14. Does 16 divide m(a)?
True
Suppose b = 4*g + 169, -4*b - 2*g = -0*g - 586. Suppose -127 - b = 4*t. Let m = 79 + t. Does 9 divide m?
False
Let l = 426 + -483. Does 29 divide l - -144 - (1 - 1)?
True
Let t(k) = 0 + 89*k + 0 + 0 + 23*k - 5. Is t(1) a multiple of 6?
False
Let x be 65/21 + (-18)/189. Let y be 4 - x/((-3)/(-2)). Suppose -y*o + r = -541, -2*o + 3*o - 265 = -5*r. Is o a multiple of 18?
True
Suppose 9*g - 174 = 627. Suppose 4*a + g = -15. Let j = a - -48. Is 3 a factor of j?
False
Suppose -4*v = 4*d - 36, -5*v - 110*d + 45 = -111*d. Let p(y) = -15*y + 31. Let x(k) = -15*k + 32. Let u(t) = 2*p(t) - 3*x(t). Is u(v) a multiple of 15?
False
Let h be (-15)/(12/4) + 7. Suppose h*b = 0, 6*g - 9*g - 3*b + 906 = 0. Is g a multiple of 27?
False
Let i(g) = g**3 + 10*g**2 + 12*g + 28. Let k = -234 - -226. Does 60 divide i(k)?
True
Suppose -63*b - 39778 = 21*b - 331762. Is 26 a factor of b?
False
Suppose -68*j = -72*j + 1704. Is j a multiple of 4?
False
Suppose -11*l - 5*i + 2201 = -10*l, 5*i = -4*l + 8729. Is l a multiple of 17?
True
Let k = 84 - 52. Suppose 0 = 5*u + k - 22. Does 8 divide ((-6)/(-5))/(u/(-140))?
False
Suppose -98 = -4*s - 16*o + 14*o, 3*s - o - 76 = 0. Is 5 a factor of s?
True
Let x = -2 - 2. Let l(r) = 5*r**3 - 2*r**2 + 7*r + 2. Let p(w) = -14*w**3 + 6*w**2 - 20*w - 5. Let i(s) = -17*l(s) - 6*p(s). Is i(x) a multiple of 8?
True
Suppose -33461 = -5*f + 2*y - y, -13390 = -2*f - y. Is f a multiple of 23?
True
Let z be ((-2)/(-3))/((-6)/9)*-51. Suppose 2*b - z = -41. Suppose 3*x - 2*j = -b*j + 57, 0 = -3*j - 15. Is x a multiple of 12?
True
Suppose -2*s - 30 = -2*l - 2*l, 4*l = 5*s + 21. Let u be 4/((-36)/(-321)) + (-18)/(-54). Is 14 a factor of 114/((l/u)/(1/6))?
False
Let f(i) = 50*i + 1392. Is 3 a factor of f(-3)?
True
Suppose 175 + 14 = 7*r. Suppose 958 = 5*x - r. Suppose -3*d + 58 = -x. Is d a multiple of 17?
True
Suppose 613*p - 36 = 601*p. Suppose -o + 5*t = p*t - 301, 0 = 2*t + 6. Is 32 