uppose -4*q + 1596 = 2*a, a + 155 = 5*q + 918. Suppose 0 = -z + 4*p + 207, 4*z + 4*p = -0*z + a. Suppose 4*f - 389 = 2*f - d, f = 4*d + z. Is 14 a factor of f?
False
Let b = -715 - -715. Suppose b = 20*t - 5*t - 23190. Does 25 divide t?
False
Let x be -1 - -1 - 0/8. Suppose 0 = 5*g + u - 20, 0*g - 3*g + 2*u - 1 = x. Suppose -5*t + g*f + 217 = 0, 5*t - 2*f = -0*t + 218. Is 11 a factor of t?
True
Suppose -37 = 2*z + 9. Suppose 5*l - 4*s = 257, -3*l + 8*l - 267 = -s. Let a = l + z. Is a a multiple of 10?
True
Let x be (2200/77)/5 - 4/(-14). Is (x - 0 - 1) + 3 + 70 a multiple of 13?
True
Let t be (54 - 50)/((-170)/166 - -1). Let g be (-2)/(-10) + 2552/(-10). Let v = t - g. Is 27 a factor of v?
False
Suppose -47 = -3*i + j, -4*j + 30 = 2*i - 6*j. Let l(s) = 50*s - 145. Is l(i) a multiple of 5?
True
Let l(c) = c**3 + c**2 - c + 59. Let x be l(0). Suppose -r = -178 + x. Is 7 a factor of r?
True
Let n be (-6 - (-51)/9)*-4908. Suppose 0 = -3*t - 2*m + n, -6*t + 1621 = -3*t - m. Is 23 a factor of t?
False
Let d(y) = -8*y**3 - 14*y**2 + 35*y + 14. Is 13 a factor of d(-12)?
False
Let p(w) = -w**3 + 9*w**2 - 15*w + 27. Let g be p(11). Let v = 858 + g. Is v a multiple of 5?
False
Let g(v) = 2*v**2 - 55*v - 178. Let k be g(-3). Is k*204/15*13 a multiple of 52?
True
Let m = 221 - 216. Suppose -a + 2*h = -179, m*a = 25*h - 29*h + 937. Is 8 a factor of a?
False
Let h(r) = 421*r**3 + 5*r**2 + 54*r - 144. Is h(3) a multiple of 4?
False
Let l = 16 + -12. Suppose d - 16 = l. Is 30 a factor of -2 + (d/(-6))/(8/(-276))?
False
Let g(y) = -3639*y + 2938. Is g(-10) a multiple of 30?
False
Is 21 a factor of (-254)/(-21 - (-1872)/90)?
False
Let v(c) = c**3 + c**2 - 2*c + 30. Suppose -5*h = -1 + 1. Let o be v(h). Let n = o + -19. Does 8 divide n?
False
Suppose 4*i - 4*z = -2171 + 131, i = -2*z - 498. Let o = i + 927. Is o a multiple of 13?
False
Suppose -41*y = 5*d - 44*y - 9240, 5*d + 5*y - 9280 = 0. Does 49 divide d?
False
Suppose -4*n = -q - 22, -2*n = -5*q - 3*n - 26. Let s(w) = w**3 + 7*w**2 + 8*w + 11. Let a be s(q). Is 3 - (2/(4/334))/a a multiple of 17?
True
Suppose 3*m = -4*o + 19, 0*m = 4*o + 5*m - 13. Let w(k) = k + 11 + 0*k - 13*k + o*k**2. Is w(7) a multiple of 15?
True
Let p(n) = 2*n - 2. Let d(v) = 994*v - 93. Let u(t) = d(t) - 3*p(t). Is 10 a factor of u(2)?
False
Let d = -445 + 443. Is (-22 + 889)*d/(-3) a multiple of 34?
True
Let p(d) = 30*d**2 + 86*d - 498. Is p(-57) a multiple of 55?
True
Let g be (-442)/(-10) + 11/(-55). Suppose -2*m - g + 206 = 5*j, -j - 5*m + 37 = 0. Let t = j - -17. Is t a multiple of 7?
True
Suppose 0 = -3*t - 61*b + 58*b + 3423, -3*t + 3451 = -4*b. Does 2 divide t?
False
Suppose 4*t - 15104 = 2*w, 0 = 11*t - w + 8479 - 50051. Is t a multiple of 14?
True
Let q(x) = -19 - 41*x + 12*x - x - 129. Is 22 a factor of q(-22)?
False
Suppose 47*s - 49*s = -4*p - 24270, 0 = 5*s - p - 60666. Is 19 a factor of s?
False
Let s(g) = -1 + 6*g**2 - 5 - 18*g**2 + g. Let u be s(-3). Let l = -57 - u. Is l a multiple of 12?
True
Let f(u) = 5*u**3 + 10*u**2 + u + 13. Let s(y) = y**3 + y**2 - 2*y + 1. Let d(b) = f(b) - 6*s(b). Let n(x) = -3*x - 1. Let p be n(-2). Does 11 divide d(p)?
False
Let a(p) = -299*p - 1145. Is 22 a factor of a(-13)?
False
Let l(m) = -2*m**3 - 4*m**2 + 4*m. Let x be l(6). Let j = 775 - 781. Is j/(-21) - (-4 + x/28) a multiple of 7?
False
Let k(q) = 32*q**2 + 21*q - 24. Let g(c) = -21*c**2 - 14*c + 16. Let h(y) = 7*g(y) + 5*k(y). Let n = -438 - -441. Is 17 a factor of h(n)?
False
Is 27437/21*3 + 63/147 a multiple of 70?
True
Let v(z) = 493*z**2 + 70*z - 22. Is 21 a factor of v(4)?
False
Suppose -2 = 2*l + 2*q - 10, 0 = -3*q - 3. Does 21 divide 36/(l/14*12/15)?
True
Suppose w - 14*b + 9*b = 750, 4*w - 5*b = 3060. Does 22 divide w?
True
Does 8 divide 11*(50/30)/(5/162)?
False
Suppose -d = -4*o + 4238, -o + 5*d + 254 = -796. Suppose -14*t + 172 = -o. Is t a multiple of 2?
True
Let v = -2874 + 3294. Is v a multiple of 12?
True
Let u(z) = -2*z**3 - 8*z**2 - 6*z + 9. Let w be u(-4). Let m = w - 31. Suppose -v - 3*v = m*q - 260, 0 = -2*v + 2*q + 142. Does 16 divide v?
False
Does 4 divide 253334/153 + -5*(-8)/180?
True
Let p = 2855 - -449. Suppose -5*z - p = -12*z. Is z a multiple of 59?
True
Let m(h) = 14*h**2 - 6*h - 8. Is m(10) a multiple of 3?
True
Let r = -701 + 1972. Does 24 divide r?
False
Suppose -3*a = 2*a - 3*g - 16, -5*a - 5*g = 0. Is (-3)/(a + 213/(-102)) a multiple of 8?
False
Let l(t) = -315 + 129*t - t**2 - 93 + 219 - t**2. Is l(54) a multiple of 63?
True
Let w(k) = 22*k - 64. Let c be w(3). Suppose 6 = 3*h - 6, -h = -2*u - 4. Suppose -c*f = g - 201, u*f - 2*g = 3*f - 301. Is f a multiple of 14?
False
Let w = 10704 - 7568. Does 28 divide w?
True
Let b(q) = -q - 4. Let u be b(-6). Suppose -j - 37 = -4*k - 2*j, 3*k = -2*j + 34. Is 13 a factor of (4/k)/(u/(-8)) + 15?
True
Does 56 divide ((-5)/25)/(64/(-5508800))?
False
Let q = -603 + 855. Let m = q - -29. Does 41 divide m?
False
Suppose 4*v + 4*c - 9*c - 22 = 0, -3*v + 3 = 3*c. Suppose -4*k - 1 = 4*d + v, 4*d = 0. Does 12 divide (-5)/(-5)*(k - -13)?
True
Suppose -a - 26 = 6*k - 193, -4*a = k - 714. Is a a multiple of 3?
False
Let s = -54 + 57. Suppose -5*x - 12 = k + 3, -s*x = 3*k - 3. Suppose 2*o - 4*b = k*o - 470, -125 = -o + 5*b. Does 25 divide o?
True
Let m be (204/30 - 7) + 118/(-10). Is 6/m*406*-1 a multiple of 29?
True
Let t(c) = -4*c - 22. Let o be t(-10). Suppose -5*l = -p - 3*p + 31, 3*p - 2*l = o. Suppose -p*m - 137 = -g, 0 = -0*g - 5*g - 3*m + 639. Does 28 divide g?
False
Let a(k) = -k + 15. Let q be a(9). Let i = q + 48. Is 9 a factor of i?
True
Let m = -11 - -11. Suppose 16*j - 7606 - 2458 = m. Is j a multiple of 47?
False
Let m(o) = -18*o**2 - 4 - 2 + 5*o + 2 + 3*o**3 + 11*o**2. Is m(4) a multiple of 12?
True
Suppose 1 = -5*g + 21. Let x be (-33)/(g/((-16)/4)). Suppose 2*d = 47 + x. Is d a multiple of 40?
True
Suppose -61*m - 7*m = -276420. Is m a multiple of 33?
False
Suppose 39*m - 900503 = 188572. Does 14 divide m?
False
Let j(i) = 233*i + 7454. Is j(23) a multiple of 13?
False
Let o = 215 - 135. Let t = o - 101. Let x = t + 26. Is x a multiple of 3?
False
Suppose 6*q - 4 = 4*q. Let o(g) = 55*g + 20. Is o(q) a multiple of 13?
True
Suppose 126 = -t + 3*t. Let g be 326/(-6) + (-3 - 42/(-18)). Let m = t + g. Does 2 divide m?
True
Suppose 5047*f - 5066*f + 305045 = 0. Is f a multiple of 169?
True
Suppose -3*b + 111*d - 109*d = -1833, -3*b = 4*d - 1833. Does 58 divide b?
False
Let m be (-51)/9 - (-3 - (-14)/6). Let k(i) = -i**2 - 4*i + 9. Let g be k(m). Does 19 divide g*44/16*27?
False
Let s = -49 - -31. Let d = s + 24. Suppose -q - 420 = -d*q. Does 28 divide q?
True
Suppose 5*b = 2*b + 9, -5*b + 71 = -4*c. Suppose -5*i = -2*g - 7, 4*g + i = -0*i - 25. Does 11 divide g/c - 918/(-14)?
True
Let u = 48 - 64. Let o = u + 30. Let n(y) = 6*y - 44. Is 8 a factor of n(o)?
True
Let s(u) = -u**3 - 11*u**2 + 8*u + 23. Let x be s(-9). Let y = 76 - x. Does 25 divide y?
False
Let r(y) = 567*y - 21. Let h be r(4). Suppose 0 = 32*i - 4921 - h. Is 11 a factor of i?
False
Let d = -475 + 1619. Is d a multiple of 8?
True
Let r(a) = 24*a**2 + 43*a + 176. Is 33 a factor of r(-5)?
True
Let v(u) = -u + 15. Let z be v(13). Suppose -7 - 3 = -z*f. Suppose -f*s = -s - 272. Does 17 divide s?
True
Suppose 3*r - 3*d = -66, -6*r + 5*r = 5*d + 16. Is 16 a factor of 42/(-49) - 7746/r?
True
Does 30 divide (7500/(-3))/(2*(-12)/24)*1?
False
Suppose 0 = 9*k + 226 - 7012. Suppose -2*i + 2*w + k = 0, 2*w + 2*w = -3*i + 1131. Does 52 divide i?
False
Suppose 5*h - 357 = -2*s + 190, 0 = -s - 2*h + 273. Let i = 62 - 58. Suppose 4*p + y = -4*y + 321, i*p - 5*y = s. Does 37 divide p?
True
Is 6458*(4 - 15)/(-11) a multiple of 9?
False
Let h(x) = 1294*x + 139. Does 24 divide h(5)?
False
Is (16*130/20)/(1/92) a multiple of 32?
True
Let y(u) be the third derivative of 39/2*u**3 + 0*u + 0 + 13*u**2 - 1/24*u**4. Is 13 a factor of y(0)?
True
Let p(t) = t**3 + 27*t**2 + 21*t + 104. Is 31 a factor of p(-17)?
False
Suppose -48597 = -11*r - 10581. Is 27 a factor of r?
True
Suppose 0 = 4*w - 16, 2*w = 5*r - 106 - 6. Let m(b) = b**3 - 23*b**2 - 13*b + 57. Does 17 divide m(r)?
False
Suppose 3*t - 2213 = -53. Let q(l) = l**2 - 7*l + 4. Let o be q(8). Is 17 a factor of o/(-28) + t/14?
True
Let f = 1564 + -720. Let k = f 