- y. Is 9 a factor of i?
False
Is 43 a factor of (-472)/(-11) - 29/(-319)?
True
Let a(k) = 3*k - 48. Is a(32) a multiple of 3?
True
Let h be (1155/6)/((-9)/(-18)). Suppose -4*o + 4*a + h + 55 = 0, 0 = -2*a - 2. Is 10 a factor of o?
False
Let n(q) = 2*q + 6. Let g be n(-2). Let u be 2/(3*g/21). Is 21 a factor of 2*(2 + 5)*u?
False
Suppose -2*p - 77*p + 37525 = 0. Is 6 a factor of p?
False
Suppose -27*k = 3*t - 28*k - 659, 0 = 2*t - 2*k - 438. Is t a multiple of 11?
True
Let a = -91 - -95. Suppose -a*k + 328 = u, 2*u - k - 626 = -3*k. Is 14 a factor of u?
True
Suppose -15354 = -13*a + 17003. Is a a multiple of 91?
False
Let m be 286/(-2)*(4 + 2 - 3). Is 13 a factor of (2/48 - 6/16)*m?
True
Suppose -3*r = w - 18, 2*w - 30 = -5*r + 6*w. Let l = 7 - r. Let n(z) = 27*z**2 + z. Does 14 divide n(l)?
True
Let y(o) = -134*o**3 - 5*o**2 + 12*o + 15. Is 22 a factor of y(-3)?
False
Suppose 84 = 3*u + u. Let n be (-3)/u + 86/14. Suppose m + 210 = n*m. Is 12 a factor of m?
False
Let o be 9/(-3) + (-3)/(-1). Suppose 5*t + q - 766 = o, 763 = 5*t - 0*q - 2*q. Is t a multiple of 15?
False
Does 63 divide 168/224 + 14/(-8) - -1316?
False
Let r = 43 - -791. Is r a multiple of 22?
False
Is (-6 - (-213)/3) + 10/(-2) a multiple of 4?
True
Suppose -22*n = 2*n - 8472. Does 11 divide n?
False
Let u be ((-3)/2)/(4/(-8)). Let b(l) = -l**3 + 10*l**2 - 10*l + 9. Let h be b(9). Suppose -2*w - 5*s + 2 + 2 = h, 5*s = -u*w + 16. Is w even?
True
Let c = -163 + 975. Does 35 divide c?
False
Let b = -6 - -37. Suppose -3*g + b + 83 = 0. Does 19 divide g?
True
Suppose 0 = -100*s - 17909 + 70709. Is 66 a factor of s?
True
Let u(y) = 2*y**3 + 11*y**2 + 12. Let t be u(-5). Suppose t - 325 = -3*c. Does 32 divide c?
True
Let p(l) = -22*l + 12*l + 10 + 4*l. Let s(z) = 8*z**3 + z**2 - 1. Let a be s(-1). Is p(a) a multiple of 29?
True
Suppose p = -5*r + 29, 5*p - r = 3*r. Suppose -j - j + 4 = 0, 4*a - 244 = -p*j. Is 42 a factor of a?
False
Suppose -k + 3*l = -5*k - 39, -33 = 3*k + l. Let u be ((-52)/k - 4)*354. Suppose -5*t = 2*o + 2*o - 318, -2*t + 3*o = -u. Is t a multiple of 22?
False
Does 8 divide 12/((-24)/80*3/(-15))?
True
Suppose 11*p + 160 = 24613. Is 13 a factor of p?
True
Let n = 9 - 5. Suppose -n*u + u + x = -595, 5*x = -20. Is 34 a factor of u?
False
Let l be 3/(-2)*42/63. Let b = l + 11. Let h = b + 5. Is h a multiple of 3?
True
Let o = -6 - 34. Let f be 2/10 + (-72)/o. Is 13 a factor of (910/21)/(f/3)?
True
Let g = 4 - 0. Suppose g*u - 37 - 46 = 5*y, 5*y + 3*u + 69 = 0. Is 14 a factor of ((-84)/y)/((-3)/(-15))?
True
Let r be 2/((-8)/2)*-20. Let g be (12/(-8))/((-3)/r). Suppose 177 = -g*x + 517. Is 19 a factor of x?
False
Suppose 9 = s + 2*w, 4*s - 91 = 3*w - 0*w. Suppose -s = -n + 22. Does 11 divide n?
False
Let x = -9 - -14. Let o be (12/x)/(6/15). Suppose -o*v = -4*v - 54. Does 16 divide v?
False
Let w = 13 + -11. Let r be 4 + (-3 - w - -2). Let s = 27 + r. Does 10 divide s?
False
Is 50 + (-2 - (3 - 1)) a multiple of 11?
False
Let l(d) = 5*d**2 - 5*d - 25. Does 21 divide l(11)?
True
Let w(j) = -j**3 + 5*j**2 - 2*j - 4. Let k be w(4). Suppose n - 4*r + 4 = 0, k*n = 2*n - 4*r + 52. Suppose 2*d + 0*d = n. Is 5 a factor of d?
False
Suppose -5*y - 4*o + 6151 = 0, -y - 2*o + 1229 = -0*o. Is y a multiple of 8?
False
Let d = -100 + 178. Suppose 3*r - d = 12. Is r a multiple of 10?
True
Let r = 283 + -103. Let q = -98 + r. Is q a multiple of 37?
False
Suppose -5*d = -2*r + 308, -3*d - 2*d = -4*r + 596. Is r a multiple of 12?
True
Is (-1)/(5/(-600) - 0) a multiple of 24?
True
Let c(k) = -16*k + 1. Suppose 0*w + 6 = -w. Is c(w) a multiple of 23?
False
Let l(o) = 60*o - 28. Let m(q) = -20*q + 9. Let i(y) = 2*l(y) + 7*m(y). Let k = 63 + -66. Does 21 divide i(k)?
False
Let z(k) = -3*k**3 - 10*k**2 + 41*k - 1. Is 14 a factor of z(-11)?
False
Is ((-155)/10 + -2)*328/(-5) a multiple of 46?
False
Does 9 divide 50 - 4*(-5)/(-10)?
False
Let q(p) = -5*p + 16. Let l(u) = -11*u + 33. Let n(t) = -6*l(t) + 13*q(t). Let m be n(-10). Suppose 6*d - d - 125 = m. Does 4 divide d?
False
Let c(j) = 14*j + 3. Let a(l) = l**3 + 20*l**2 + 20*l + 21. Let i be a(-19). Does 2 divide c(i)?
False
Suppose -4*i + 2*z - 4 = -134, 5 = -z. Suppose -2*f = -k - i - 94, 4*k + 504 = 4*f. Is 4 a factor of ((-2)/(-4))/((-8)/k)?
True
Suppose 608 = 6*z - 1900. Does 11 divide z?
True
Suppose 0 = -0*g - 3*g + 6. Suppose r - 5*m = 70, 0*r - g*r - m = -129. Is r a multiple of 13?
True
Suppose -3*f = 3, -5*n + 12 = 4*f - 314. Is 33 a factor of n?
True
Let y be 6/9 - (-516)/9. Suppose 0 = d + d - y. Does 27 divide d?
False
Let x = -2272 + 3011. Does 2 divide x?
False
Let h(a) be the second derivative of a**4/12 - 13*a**3/6 - 9*a**2/2 + 31*a. Is h(14) even?
False
Let y(u) = u + 63*u**2 - 4*u - 61*u**2 - 2*u. Let f = -2 + 6. Does 12 divide y(f)?
True
Let m(i) be the second derivative of i**3/6 + i**2/2 - 5*i. Let b be m(0). Is b/(28/8 - 3) even?
True
Let f = 107 - -635. Does 22 divide f?
False
Suppose 1 + 5 = -2*m - 5*v, 3*m - 4*v = 14. Is 8 a factor of 21/m*(3 + 7)?
False
Let y(r) be the second derivative of r**5/20 + 3*r**4/4 - 13*r**3/6 - r**2 - 2*r. Is 28 a factor of y(-10)?
True
Suppose -4*h = -5*p + 89, -3*h = -0*p - 5*p + 93. Suppose 0 = 10*s + p - 1281. Does 21 divide s?
True
Let s(a) = -a**3 - 10*a**2 + 11*a + 15. Let n be s(-11). Let x = n + -15. Suppose x*g - 4*g = -192. Is 24 a factor of g?
True
Suppose -3 = z - 2*v - 1, -6 = -3*v. Let g be (-2)/10 + 1690/(-50). Let y = z - g. Is 18 a factor of y?
True
Let t be -2 + 2/6*3. Is 24 a factor of -15*t/((-5)/(-16))?
True
Let s(w) = -w**3 - 10*w**2 + 2*w - 24. Is s(-12) a multiple of 10?
True
Let a = 1214 - 1014. Does 40 divide a?
True
Let v be (15/20)/(1/4). Suppose -3*c = 4*x - 8, 0 = -3*c + v*x + 9 + 6. Is 5 a factor of 69/c - 3/12?
False
Does 14 divide (-24)/(13/(-546)*27/24)?
True
Suppose 225*v = 229*v + 1412. Let a = -233 - v. Is a a multiple of 20?
True
Does 49 divide (16/(-8) - -3)/(1/294)?
True
Suppose -4*g = -5*p - 805, p + 6*g - 2*g = -137. Let b = 390 + p. Is 51 a factor of b?
False
Let z(o) be the third derivative of -o**5/60 - 7*o**4/24 - 7*o**3/6 + 3*o**2. Let d be z(-5). Is d + (3 - -17) + -1 a multiple of 6?
False
Suppose 0 = 100*o - 72*o - 62636. Is 7 a factor of o?
False
Suppose 0 = g, g + 10 = -s + 1. Does 24 divide (6/s)/(2 - (-794)/(-396))?
False
Let k be -3 + (-3)/(-1) + 3. Is 14/(-21) - (-92)/k a multiple of 6?
True
Suppose 4*z + 59 = 3. Is 5 a factor of 40/z*(-19 + 12)?
True
Suppose 400 = 3*w - 0*w - j, 4*w + j = 545. Is w a multiple of 5?
True
Suppose -7*c - 284 = -4*q - 3*c, c + 140 = 2*q. Is 2 a factor of q?
False
Suppose 485 = 5*n - 1015. Is n a multiple of 10?
True
Let c = 18 - 6. Let o = c + -10. Suppose -o*q - 2*q = -96. Is 12 a factor of q?
True
Let w(q) be the first derivative of -q**6/40 - q**4/24 - q**3/6 + 11*q**2/2 + 4. Let h(a) be the second derivative of w(a). Does 3 divide h(-2)?
False
Suppose 3 = 5*s - 2. Let q be -2 - (42 + s + -1). Let f = 70 + q. Is 13 a factor of f?
True
Suppose -4*h + 14*x = 18*x - 11716, h - 2911 = 5*x. Does 19 divide h?
True
Suppose -5*n = 6 + 14. Let q be (-9)/(n - 135/(-35)). Let h = -35 + q. Is h a multiple of 28?
True
Suppose -133 = o - 648. Is o a multiple of 15?
False
Is 46 a factor of 1191 - 1/(1/(-2))?
False
Let p(o) = 2*o**2 - 17*o + 56. Is 13 a factor of p(9)?
True
Let r(g) = 50*g - 42. Is r(26) a multiple of 37?
True
Let q(v) = 9*v**2 - 22*v + 30. Is q(13) a multiple of 23?
True
Suppose -4*t + 0*t + 5*y - 12 = 0, -2*t = -2*y + 4. Suppose 3*n + 3*k - 51 = n, -n - t*k + 26 = 0. Does 17 divide n?
False
Let p(j) = j**2 + 6*j - 10. Let u(t) = -3*t**2 - 17*t + 30. Let x(n) = 7*p(n) + 2*u(n). Let c be x(-9). Is 16 a factor of (c + 2 + 3)*4?
True
Suppose -h - 20 = 3*k, -4*k + h - 6 - 9 = 0. Let r(x) be the second derivative of -4*x**3/3 + 2*x**2 + 2*x. Is 11 a factor of r(k)?
True
Suppose 14*s - 15988 = 18312. Does 50 divide s?
True
Let v = -116 - -130. Suppose v*b = 16*b - 220. Does 13 divide b?
False
Suppose -3*z - 591*f + 595*f + 2794 = 0, -3*f + 953 = z. Does 134 divide z?
True
Let s = -419 - -622. Is 29 a factor of s?
True
Is 3530/7 + 1*18/(-63) a multiple of 4?
True
Let t(p) = -p**3 + 5*p**2 + p + 1. Let c(j) = j**3 + 6*j**2 + 5*j + 3. Let n be c(-5). Suppose -n*o = -o - 10. Does 6 divide t(o)?
True
Let