= 4*f + 16 - b. Does 8 divide c(f)?
False
Let s(m) = -2*m**3 + 105*m**2 + 162*m + 77. Let p be s(54). Let c be 99/6*16/6. Let q = p - c. Is 11 a factor of q?
True
Suppose 5*x = 8*y - 7*y + 75289, -7*x + 105347 = 5*y. Is 16 a factor of x?
True
Let z(u) = 438*u**3 - 43*u**2 - 2*u - 3. Is z(3) a multiple of 91?
False
Let a = 11 + -8. Let p(q) = -11*q**2 + 18*q + 1. Let w(t) = 4*t**2 - 7*t. Let s(g) = -3*p(g) - 8*w(g). Is 3 a factor of s(a)?
True
Let s(h) = -28*h + 9. Let r(z) = -3*z - 6. Let t be r(-1). Let i(l) = -l**2 - 3*l - 2. Let f be i(t). Is 12 a factor of s(f)?
False
Let s = -2202 + 4092. Suppose -395*o = -389*o - s. Does 9 divide o?
True
Let j(b) = 22*b**3 - 14*b**2 + 34*b - 15. Is j(3) a multiple of 27?
False
Suppose 22920 + 28616 = 207*l - 25882. Does 38 divide l?
False
Let t = 8001 - 3493. Does 7 divide t?
True
Suppose -7886 = 3*x - 23822. Suppose -o = 7*o + x. Is 16 a factor of 32/144 + o/(-9)?
False
Let m be (-3)/(-1 - 25/(-10)) - -6. Is 43 a factor of 332 + (m - (5 + 1))?
False
Let f be (3370/(-25) + 2/(-10))*1. Is f/10*(-200)/15 a multiple of 18?
True
Let g = 76 - 50. Let b = -22 + g. Suppose 4*t - 108 = -5*x, 0*t = b*t - 8. Is x a multiple of 16?
False
Suppose 21*z = 16*z + 2535. Let r = -367 + z. Is 28 a factor of r?
True
Let b = -247 + 246. Let r(u) = -116*u - 6. Does 11 divide r(b)?
True
Let m(j) = -267*j - 129. Does 9 divide m(-2)?
True
Let q = 175 - 94. Let g = -77 + q. Let h = g + 43. Is 28 a factor of h?
False
Let h be (2 - 0)/((-198)/201 - -1). Suppose -3*k - 15 = 0, -2*i = -5*k + 5 - h. Does 26 divide i?
True
Suppose 0 = o - 9 + 7. Let c be o/(-5) + (-1764)/(-60). Suppose 7*u - 20 = c. Is u a multiple of 6?
False
Suppose 2*s - 92 = 34. Suppose -58*c - 200 = -s*c. Suppose 12*l = 7*l + c. Is l a multiple of 3?
False
Is (3 - 9)*(-66950)/13 a multiple of 300?
True
Suppose -28 = 280*o - 276*o. Let f be 0/1 - o - (-34 + 31). Suppose -11*u + 76 = -f*u. Does 6 divide u?
False
Let b(r) = -17 - r**3 - 74*r + 34*r**2 + 2 - 47 - 27. Is b(31) a multiple of 20?
True
Let h be (2 - 5) + 129/3. Suppose -39*l + h*l = 433. Suppose -2*x - 4*w = -228 - 240, 2*x - 3*w - l = 0. Does 16 divide x?
True
Let u be (-9)/4*264/(-3). Suppose 4*d - u = 82. Is 10 a factor of d?
True
Suppose 127 - 103 = -6*l. Is 73 a factor of 970 + 0 + l/12*9?
False
Let i be -3 - 4/4 - 0. Let y = i + -49. Let g = 119 + y. Does 11 divide g?
True
Let r = -374 + 383. Suppose -r*x = -33*x + 7296. Is x a multiple of 16?
True
Suppose 4*i = -v + 2*v - 24, -5*i - 51 = -3*v. Suppose 0 = -v*f + f + 8767. Does 13 divide f?
False
Suppose -4*k + 3*a + 26219 = 0, -330*a + 2 = -332*a. Is 29 a factor of k?
True
Let h(y) = -46*y**2 + 369*y - 5. Is h(2) a multiple of 3?
True
Let q(l) = -l**3 + 48*l**2 + 21*l + 33. Is q(48) even?
False
Suppose 486*a - 581808 = 438*a. Does 17 divide a?
True
Let q be -3*(-7)/(-105) - (-1722)/10. Suppose -q = -5*r + 228. Is 7 a factor of r?
False
Let z = 5196 - 1073. Does 17 divide z?
False
Suppose 4*m - t + 17*t - 183936 = 0, 0 = 2*t - 16. Is m a multiple of 14?
False
Let q(d) = -87*d + 7466. Is 23 a factor of q(-81)?
True
Suppose 130 = -k + 106. Is (-1)/(((-6)/k)/(579/(-12))) a multiple of 5?
False
Let g = -184 + 186. Suppose 4*o - g*t - 1638 = 0, 290 = o - 5*t - 133. Is o a multiple of 8?
True
Let t(x) = x**2 - 14*x + 21. Let a be t(28). Let m = a + -49. Is m a multiple of 59?
False
Suppose -5*s = -73 + 8. Suppose s*i - 18 = 7*i. Suppose i*w - 4*a + 124 = 7*w, 44 = 2*w - 4*a. Is w a multiple of 14?
True
Let r(t) = 2*t**2 - 31*t + 399. Is 49 a factor of r(54)?
True
Suppose 0 = -27*s + 8*s + 372830 + 59800. Is 99 a factor of s?
True
Let o(c) = c**3 + 14*c**2 + 21*c - 9. Let t be (2/4)/(3 + (-440)/144). Is 8 a factor of o(t)?
False
Let h be -9 - (-7)/((-21)/(-15)). Let p = -12 + 10. Is ((-345)/(-6))/(1/(h/p)) a multiple of 23?
True
Let n = 76996 - 41460. Is 5 a factor of n?
False
Is 17 a factor of -249*(-1)/2*(89488/42)/47?
True
Let o(k) = 20*k - 74. Let a be o(16). Let z = 397 - a. Is 11 a factor of z?
False
Suppose -g + o - 12 = 3*o, 0 = 2*g + 5*o + 21. Let f = 98 + g. Let h = 128 - f. Is 12 a factor of h?
True
Suppose 2*r - g - 6533 = 2*g, 4*g + 3284 = r. Is r a multiple of 22?
True
Is (573/(-5) + 6)/(10/(-300)*6) even?
False
Suppose -y - 3*s - 34 = 0, -2*y - 2*s = -5*y - 135. Suppose 158 = -2*f + 20. Let k = y - f. Is 4 a factor of k?
False
Suppose -57 + 9 = -4*z. Let f = 46 - z. Suppose 0 = -2*n - f + 178. Does 12 divide n?
True
Let s = 62 + -161. Let f = 128 - -27. Let k = s + f. Is k a multiple of 28?
True
Suppose 0 = -2*h + 7*h - 4*t + 91, 0 = 5*h + 3*t + 63. Let r(g) = -744*g - 4541. Let i be r(-6). Let m = h - i. Does 13 divide m?
False
Is 217 + 4005 + ((-7)/1 - -1) a multiple of 25?
False
Suppose 3*n - 5*o + 27 = 0, -4*n - 2*o - 14 = -4. Let t be 4*(n - -3)*-1. Suppose t*c = 8*c - 140. Is 7 a factor of c?
True
Suppose -2*m = -5*x - 7*m + 25, -x = -3*m + 15. Suppose 19*v - 30*v + 220 = x. Is v a multiple of 10?
True
Suppose -4*m = 2*f - 86510, m - 9*f - 21650 = -5*f. Does 105 divide m?
True
Let f(m) = 15*m - 70. Let x be f(-21). Let k = x - -685. Does 12 divide k?
True
Let m(j) = -j**3 + 39*j**2 - 72*j - 56. Let p be m(37). Does 2 divide -3*3/p - 74/(-4)?
True
Let o(x) = 2*x**3 + 12*x**2 + 3*x + 103. Let t(w) = 3*w**3 + 19*w**2 + 5*w + 154. Let z(l) = 7*o(l) - 5*t(l). Is z(-12) a multiple of 18?
False
Let p(i) = 19*i**2 - 49*i - 368. Does 80 divide p(32)?
True
Is (189 + 1)/(29*(-42)/(-39585)) a multiple of 14?
False
Let m = -61 - -65. Let c(h) = 2*h**3 - 10*h**2 + 18*h - 1. Is c(m) a multiple of 3?
True
Suppose 241*u - 1555421 = -532376. Is u a multiple of 16?
False
Let r(l) be the second derivative of 31*l**4/12 - 3*l**3/2 - 13*l**2/2 - 2*l - 55. Is r(-2) a multiple of 13?
False
Let x = -11563 + 12033. Is x a multiple of 56?
False
Suppose -3 = 4*l + 3*a, -2*a - 9 = 5*l - 0*a. Let n(k) = k**3 + 45*k**2 - 16*k - 210. Let r be n(-45). Is 17 a factor of (12/(-10))/(l/r)?
True
Let i(u) = -2*u**2 + 364*u - 38. Is i(25) a multiple of 62?
True
Suppose 2*a = -2*w + 7048, -w = a + 2*w - 3534. Suppose 9*f + 14*f = a. Is f a multiple of 4?
False
Let n be (7 + -4)*-2*-4. Suppose 12 = -21*u + n*u. Suppose -4*c = -0*c + l - 471, -u*c + 470 = 2*l. Does 31 divide c?
False
Suppose -7144 = -4*v + 2*w, -w - 6302 = -4*v + 842. Is 47 a factor of v?
True
Is 29 a factor of (1740/35)/(3913/(-392) - -10)?
True
Suppose -67*c = 80*c + 91*c - 1619114. Does 194 divide c?
False
Let a = -419 - -420. Is 11 a factor of (-7 + a + -1204)/(-2)?
True
Let f(k) = -1195*k**3 - 166*k - 328. Does 28 divide f(-2)?
False
Suppose u + 8 = -b, 2*u + 2 = -0*u. Let o be (-14)/(-49) + 121/b. Let y = o - -54. Is y a multiple of 37?
True
Let h(b) = b**3 + 4*b**2 - 3*b + 13. Let n be h(-5). Does 11 divide n + -1 + 708/4?
False
Suppose -2 = g - 190. Suppose -6*t + g = 14. Is t a multiple of 2?
False
Let y(u) = 3*u**2 + 89*u + 530. Is y(-67) a multiple of 80?
False
Suppose -137247 = -36*s + 42753. Is 126 a factor of s?
False
Suppose 2*k - 5 = -3*g + 6, 3*k + 3 = 2*g. Suppose 299 = g*f - 934. Does 11 divide f?
False
Suppose 14*k = 29*k - 12255. Suppose -4*h + 799 = i, -8*h - k = -i - 3*h. Does 58 divide i?
False
Suppose 12 = 2*s, -8*s + 9*s = 3*w - 9300. Is w a multiple of 94?
True
Let s(m) = -m**2 + 13*m + 42. Let g be s(17). Let p be (-160)/g - (8 + (-714)/91). Suppose -20*w + 560 = -p*w. Is 10 a factor of w?
True
Suppose c - 363 - 8871 = -2*q, 0 = 3*q + 4*c - 13836. Is q a multiple of 84?
True
Let k be (-12)/(-60) - 11*(-1)/(-5). Let h be k - (-36)/(-4 + 5). Is 2 a factor of h/17 + (3 - 1)?
True
Let s = 390 - -26250. Is 43 a factor of s?
False
Let a = 52 + -46. Suppose a = -5*h + 16. Does 5 divide (-2 - -1)/((4/(-34))/h)?
False
Let b(i) = 26*i + 1017. Does 30 divide b(-37)?
False
Let s(d) = 58*d**2 - 15*d + 10. Suppose -147*f = -151*f - 12. Is s(f) a multiple of 15?
False
Let t = 42 + -23. Suppose 264 = 23*m - t*m. Suppose -18*s + 19*s = m. Is 9 a factor of s?
False
Let z(y) = 6*y**3 - 2*y**2 + 1. Let p be z(1). Suppose 5 = -p*u + 145. Suppose 3*k - u - 98 = 0. Is k a multiple of 6?
True
Let y = -50 - -41. Let u be (228/y*-3)/(6/15). Suppose -u = -5*a + 4*r, -r + 13 = a - 34. Is 14 a factor of a?
True
Let x = 12 + 4. Let g(w) = 0*w**3 + 5*w**3 + x - 5*w**2 + 52*w - 58*w - w**3. Is g(4) a multipl