f 6?
True
Let q = 250 + -154. Is q a multiple of 16?
True
Let r(c) = 13*c**2 - 7 - 14*c**3 - c + 6*c**3 + 7*c**3. Does 34 divide r(12)?
False
Suppose -y - 2 = k, -2*k - 3 = 1. Suppose l - 7*n - 21 = -2*n, y = 2*l + 2*n - 54. Is l a multiple of 4?
False
Let y(f) = f**3 + 0*f - 19*f - 2 + 3*f - 1 + 3*f**2. Is 9 a factor of y(-5)?
True
Let m be 1/((-2)/40*-4*1). Suppose -40 - 65 = -m*p. Is 21 a factor of p?
True
Let u be (4/(-10))/(1/5). Let s be u/3 - 2060/(-12). Suppose -4*w = 3*a - 116, 5*a + 16 - s = w. Is a a multiple of 16?
True
Let i = -26 + 29. Suppose f + 2*v - i = -0*f, -5*f = -3*v - 15. Is 3 a factor of f?
True
Let j(h) = -9*h**3 + h**2 - h + 1. Let r be j(1). Let u be r/3*(-126)/6. Suppose -12*p = -11*p - u. Is p a multiple of 12?
False
Suppose 24*w + 8280 = 42*w. Is 12 a factor of w?
False
Let k(v) = 335*v - 139. Does 33 divide k(8)?
True
Suppose 8*q - 7*q + 4 = 0, 4*r + q = 9372. Is r a multiple of 9?
False
Suppose -2*c - 5*l = -120, -7*c = -12*c + 3*l + 300. Is c a multiple of 6?
True
Let z = 47 + -42. Does 27 divide ((-15)/(-10))/((45/276)/z)?
False
Let k(v) be the third derivative of v**6/120 + 4*v**5/15 + 2*v**4/3 + 3*v**3/2 + 14*v**2. Let x be k(-15). Does 5 divide -20*(15/x + 2)?
True
Let n = 10 + -24. Does 4 divide (0 - (-7)/4)/(n/(-224))?
True
Suppose 3*v + 88 = -4*l - 104, -90 = 2*l + 3*v. Let r = 19 + l. Is 9 a factor of 0 + ((-12)/4 - r)?
False
Suppose -5*w + w = -48. Suppose 0 = -11*c + w*c - 55. Suppose c = 3*u - 26. Is u a multiple of 11?
False
Let g(k) = -2*k**3 - 4*k**2 - 4*k - 42. Let i(l) = -3*l**3 - 7*l**2 - 7*l - 83. Let c(h) = 5*g(h) - 3*i(h). Is c(0) a multiple of 15?
False
Let i(p) = 12*p - 89. Does 2 divide i(15)?
False
Let t be 40/7 + (-6)/(-21). Suppose -t*n - 33 = -87. Is n a multiple of 3?
True
Suppose 9*o - 4100 = -3722. Is o a multiple of 42?
True
Let n(w) = -w - 10. Let r be n(-10). Suppose r = d - 2*d + 10. Does 5 divide d?
True
Let d(q) be the third derivative of -q**4/12 + 25*q**3/6 + 5*q**2. Is 11 a factor of d(-15)?
True
Suppose -563 - 197 = -2*h + 5*u, 1576 = 4*h + 4*u. Is 26 a factor of h?
True
Let f(x) = -24*x - 19. Let r be f(-10). Let v = r + -106. Is v a multiple of 23?
True
Let t(a) = -a**3 + 3*a**2 + 2*a + 1. Let x be t(3). Suppose -4*s = 16, -26 = 2*w - x*s + 2*s. Let m = 39 + w. Is m a multiple of 8?
True
Let a be 21/35 - 183/5. Does 25 divide 75/(6/a*-6)?
True
Does 4 divide 248/((14 - 0)/7)?
True
Let y(v) = -v**3 + v**2 - 3*v + 4. Let p(t) = 2*t - 9. Let a be p(6). Let b = -1 - a. Does 32 divide y(b)?
True
Let n(z) = z**3 - 7*z**2 + 6*z - 91. Is 20 a factor of n(8)?
False
Is 65 a factor of ((-135)/4)/((-351)/24336)?
True
Let q = 3502 - 1358. Is 28 a factor of q?
False
Let d(t) = 11*t**2 - 2. Let q = 15 + -17. Is 14 a factor of d(q)?
True
Suppose -5*w = 5*d - 685, -687 = -d - 4*d - 3*w. Is d a multiple of 23?
True
Let n = -79 - -89. Let k(i) = -i**3 + 9*i**2 + 12*i + 1. Is k(n) a multiple of 6?
False
Suppose j - 4*b + 9*b = 20, 4*b = 2*j + 16. Suppose -3*w + 79 - 7 = j. Does 8 divide w?
True
Let w(k) = -k**2 - k + 14. Let f be w(-6). Suppose 25 = q - 3*v + 8, 3*v + 13 = -q. Is 94/16 - q/f a multiple of 3?
True
Let o be 0/2 - 0/(-1). Suppose 3*y - q - 4 = o, -2*q = y - 2 - 11. Suppose 0 = -4*h + i + 192, 4*h = 3*h - y*i + 48. Is h a multiple of 16?
True
Suppose 0 = -4*x + 5*x - 1. Is ((-14)/49)/(x/(-49)) a multiple of 14?
True
Let c(v) = v**2 + 11*v + 15. Let h be c(-10). Suppose 5*w - 17 = h*g - 162, 15 = -5*w. Does 26 divide g?
True
Let g(j) be the third derivative of j**5/120 - j**4/12 - j**3/3 - 2*j**2. Let c(x) be the first derivative of g(x). Is c(8) a multiple of 2?
True
Suppose -3*l = 12, 0 = n + 3*n + 4*l + 16. Suppose -4*s = -3*a - 2*a - 313, 3*s - 3*a - 231 = n. Is 8 a factor of s?
True
Let k be 1632/20 - 6/10. Suppose 3*s + k = 381. Does 25 divide s?
True
Suppose 0 = 4*a - 3*c + 23, c = -4*a + 3 - 38. Let h = a - -8. Does 11 divide 13 + 2/(-1 - h)?
True
Let h = 25 + -27. Is 15 a factor of (0 - (-194)/h)/(-4 - -3)?
False
Suppose 6*a - a - 1135 = 0. Suppose -5*m + 393 = -a. Is 12 a factor of m?
False
Suppose 4*d + 14*d = 56700. Is d a multiple of 70?
True
Suppose 65*h - 8428 = 13217. Is 15 a factor of h?
False
Let n = -530 - -800. Does 54 divide n?
True
Suppose 0 = 5*k - 15, -4*t - 30 = 5*k - 357. Suppose 0 = 4*g - 5*g + 2. Suppose g*i - t = -i. Does 13 divide i?
True
Let z be (-13)/((-65)/(-90)) + 0. Does 11 divide (-836)/(-24) + (-3)/z?
False
Suppose 3*k + 40 = 4*r, -5*k + 0*k - 55 = -5*r. Let w(u) = u**3 - 8*u**2 + 10*u + 13. Let z be w(r). Suppose 13 = -3*g + z. Is 2 a factor of g?
False
Let y(o) = 51*o**2 - 2*o - 31. Does 46 divide y(-4)?
False
Let g(n) = n**2 + 4*n + 23. Let z(u) = 4*u - 9. Let m be z(0). Does 6 divide g(m)?
False
Suppose 5*l + 3*u = 36, -5*l - 4*u = -6 - 27. Suppose l*k - 60 = 6*k. Is k a multiple of 11?
False
Let v = 2 - 4. Is 46/((-1 - v) + 1) a multiple of 12?
False
Let f be (-2)/(-2*(-4)/32). Let w be f/(-48) - (-118)/12. Let i = w - 4. Is 3 a factor of i?
True
Does 12 divide (-38234)/(-27) + 14/(-189)?
True
Let h(b) = -b**2 + 10*b - 4. Let z be h(7). Suppose -z*q + 15*q = -70. Is 7 a factor of q?
True
Suppose -2*j - 540 + 4056 = 4*m, 0 = j + 4*m - 1752. Does 36 divide j?
True
Let x = -20 + 23. Is (1 + 107)/x + 4 a multiple of 20?
True
Let b be (-8)/3*(41 - 5). Let t = 0 - b. Does 27 divide t?
False
Let a(s) = 318*s + 93. Does 13 divide a(4)?
True
Let h = -21 + 24. Let z be ((-130)/(-3))/(h/9). Suppose -b + z = 4*b. Is b a multiple of 13?
True
Let u(t) = 247*t**3 + 7*t**2 - 8*t - 4. Is u(2) a multiple of 31?
True
Let a = -2455 + 4028. Does 6 divide a?
False
Let u(w) = -w**3 - 2*w**2 - w - 3. Let o be u(3). Let x = o - -65. Does 14 divide x?
True
Let g be (-112)/3*((6 - 4) + 1). Does 14 divide ((-52)/(-16) - 2)/((-1)/g)?
True
Suppose -4*l + l = -12. Is 8 + -8 + l + 4 even?
True
Let r(d) = -7*d - 12 + 7*d**2 - 8*d + d**3 + 3*d. Is r(-8) a multiple of 10?
True
Suppose 22600 = 5*p + 2*c, -2*p - 4520 = -3*p + 2*c. Is p/60 - 2/6 a multiple of 29?
False
Suppose -q + 12*q = 3509. Does 29 divide q?
True
Let d = 973 - 556. Is 9 a factor of d?
False
Let r = 50 + -138. Does 14 divide (r/(-20) - 4) + (-556)/(-10)?
True
Suppose -8397 = -10*x + 953. Suppose 34*f = 29*f + x. Does 13 divide f?
False
Let q(u) = -5*u**3 - 21*u**2 - 6*u + 5. Let y be q(-5). Suppose p = -4*p + 20. Suppose y = p*t - 69. Does 17 divide t?
True
Suppose 5*s + 1142 = 3*g - 0*g, -1882 = -5*g + 3*s. Does 34 divide g?
True
Let m = 946 + -97. Does 59 divide m?
False
Let x(s) = -36*s**3 - 2*s**2 + s + 2. Let k be x(-2). Suppose -g + k = 4*g. Does 10 divide g?
False
Let h(f) = -2*f**3 + 60*f**2 + 12*f - 1. Is h(30) a multiple of 21?
False
Let o(g) = -g**2 - 73*g - 108. Is o(-28) a multiple of 48?
True
Suppose 6*q - 10428 = -5*q. Does 17 divide q?
False
Suppose 4*y + 4*d = -0*y + 64, -d = 3*y - 46. Does 10 divide 445/y - 4/(-12)?
True
Let l = 2 - -9. Suppose -12*w + l*w + 3 = 0. Let k(i) = 3*i**2 + i. Does 13 divide k(w)?
False
Let c = 402 + -162. Suppose c = 4*w + w. Is 12 a factor of w?
True
Let q(r) = 2*r**2 + 13*r + 3. Let m(s) = -s**2 - s. Let g(k) = 3*m(k) + q(k). Suppose -3*l - 28 = -2*w - 3*w, 5*l = -5. Does 8 divide g(w)?
False
Suppose -4*w + 88 = 8. Let n = 1 + w. Is n a multiple of 7?
True
Suppose -5*i - 19 = 3*c, 0 = -2*i - 0*i - 10. Let y(v) = 35*v**2 + v + 2. Is 24 a factor of y(c)?
True
Suppose 1755 = 6*a + 9*a. Is a even?
False
Let f(x) = x + 9. Let q be f(-7). Suppose 4*l - q = 3*l. Suppose -l*i - 19 = -3*i. Is 4 a factor of i?
False
Suppose -2*o + 2*k + 508 = 0, 0 = 42*o - 43*o - 5*k + 260. Is 15 a factor of o?
True
Let n be 8/12 + (-13)/(-3). Suppose -n*y + l = -693, 3*y - 4*l - 407 = l. Is y a multiple of 30?
False
Let y = 211 - 68. Does 11 divide y?
True
Suppose -334 = -3*r - 2*o, -3*r - 2*o + 332 = 2*o. Does 16 divide r?
True
Suppose 10*y - 9*y = 16. Is 12 a factor of (-6)/(-48) + 2286/y?
False
Suppose f - w = 293, -2*f + 444 + 139 = -w. Is 9 a factor of f?
False
Let c(r) = -r**3 - 8*r**2 - 11*r - 7. Let i = 41 + -32. Let n be (-66)/i - 2/(-6). Does 4 divide c(n)?
False
Let w(z) = 15*z**3 + 6*z**2 - 9*z + 9. Is 63 a factor of w(3)?
True
Is 14 a factor of (545 - -1) + (-16)/((-12)/3)?
False
Suppose 0 = 5*m - 0*m - 420. Is 14 a factor of m?
True
Let i(m) = 25*m**2 + 7. Is 16 