ose -779*a + 781*a = 2430. Is a a multiple of 15?
True
Let t(x) = 10*x**2 + 53*x + 25. Is t(9) a multiple of 32?
True
Suppose -2*c + 6 = -2*i - 6, 2*i - 4*c = -6. Let u = i - -68. Is 26 a factor of u?
False
Let z(b) = 11*b - 13. Let g be z(3). Suppose 219 = g*q - 861. Is 9 a factor of q?
True
Suppose 0 = 6*i - 3*i - 12. Suppose i*h + 8 = 0, -d + h - 28 = 5*h. Is 17 a factor of ((-68)/(-6))/(d/(-90))?
True
Let i = 2786 + -1512. Is 4 a factor of i?
False
Let q(f) = 114*f - 348. Is 14 a factor of q(6)?
True
Suppose 6*u = 5*u - 10. Is 1274/65 + (-4)/u a multiple of 9?
False
Let h be (-4)/32 - 477/24. Let j = 31 - h. Is 4 a factor of j?
False
Let g(p) = 4*p - 4. Let t be g(2). Is 4 a factor of (-1)/t - (-420)/16?
False
Let x(m) = 2*m**2 + 14*m + 13. Let y = 141 - 150. Does 49 divide x(y)?
True
Let s be (-8)/(15/5 - 310/104). Is 13 a factor of (-5)/(20/s) - 4?
False
Suppose 3*w + 30 - 24 = 0. Does 36 divide (-72)/16*(w + 8)*-4?
True
Let a = -105 + 606. Is 38 a factor of a?
False
Let u(h) = 26*h - 68. Is 17 a factor of u(17)?
True
Let q = -1309 - -3529. Is q a multiple of 60?
True
Let p(o) = -4 - 4*o**2 - o**2 + 3*o**2 + 3*o**2. Let a be p(3). Suppose -7*u + 5*r + 48 = -3*u, 3*r + 73 = a*u. Is u a multiple of 17?
True
Suppose 5*f - 3*d = f + 9, -3*f - 4*d + 38 = 0. Suppose 0 = 2*q - f - 0. Does 14 divide (10 - 3)*q - 1?
False
Suppose -3*r - 4 + 16 = 0. Suppose c = r*c + 144. Is 9 a factor of 18*(c/(-9))/4?
False
Let q(a) = 239*a - 361. Does 82 divide q(7)?
True
Let b be -4*((-10)/(-4) - 2). Is -1 + (b/(-6) - 1326/(-18)) a multiple of 7?
False
Let d(y) = 34*y**3 - 4*y**2 + 10*y - 1. Is d(4) a multiple of 19?
False
Suppose -4*g + 14 = -6. Let x = -7 + g. Does 12 divide 2 + 22 + x + 2?
True
Let h be 4/3 - (-36)/54. Suppose -4*v + 3*a = -9*v + 9, -2*a + 6 = -2*v. Suppose 56 + v = h*j. Does 28 divide j?
True
Let g(d) = -d**3 + 6*d**2 + 5*d + 2. Let v be g(5). Suppose -5*x + b + v = 0, -4*b = -x - b + 2. Is 3 a factor of x?
False
Let a(z) = 81*z**2 - 4*z + 1. Let r be 4/(3 - 5) - -3. Does 13 divide a(r)?
True
Suppose 32 - 77 = 5*f. Let d(c) = 4 - 1 - 2*c + 5. Is d(f) a multiple of 7?
False
Let i = 326 - 176. Suppose i = 36*a - 31*a. Does 6 divide a?
True
Is 7 a factor of -3*(-6)/(-45) + (-7657)/(-155)?
True
Let m = -4 + 0. Let h = 1 - m. Suppose -z + h*z = 60. Is 5 a factor of z?
True
Suppose -7*l = 5*d - 3*l - 2515, -5*l = -2*d + 1006. Is 22 a factor of d?
False
Suppose -3*t = 4*u + 3, -3*t - 26 = -2*u + t. Suppose -u*m - 54 = -5*m. Is m a multiple of 10?
False
Suppose 20 = f - 4*a, 2*a + 0*a = 2*f - 10. Suppose -3*l + 11 + 16 = f. Is 2 a factor of l?
False
Let s be (476/(-35))/((-2)/5). Let n be (s/4)/((-2)/(-4)). Suppose 0 = -n*l + 13*l + 156. Does 17 divide l?
False
Suppose -2*p + 4*p + 8 = 0. Let h = p - -8. Let c(d) = 6*d - 4. Is 20 a factor of c(h)?
True
Let v(r) = r**3 + 5*r**2 + 3*r - 1. Let l be ((-6)/(-4))/(9/(-24)). Let a be v(l). Suppose -w = -a*k + 10, -5*k + 5*w = -0*k. Is k a multiple of 4?
False
Let t = -381 + 2080. Does 47 divide t?
False
Let v = 1195 - 826. Is v a multiple of 9?
True
Let j(l) = -14*l + 22. Let g be j(-10). Let p = g + -102. Is p a multiple of 14?
False
Suppose 4*x - 30*x + 3848 = 0. Is 10 a factor of x?
False
Let p(v) = -3*v**3 - 17*v**2 + v - 18. Is 9 a factor of p(-7)?
True
Let q = 475 + -433. Does 23 divide q?
False
Let x(h) = 9*h**2 - 31*h - 12. Is 85 a factor of x(-9)?
False
Let p(f) = f**3 - 4*f**2 + 2*f - 3. Let u be p(4). Suppose -u*b + 537 = -3*h, 0 = -b - 5*h + h + 89. Does 35 divide b?
True
Let m(i) = i**3 + 9*i**2 - 60*i - 1. Is 109 a factor of m(12)?
False
Suppose -2*o = 3*o - 3*b - 2026, -4*o + 3*b = -1622. Does 23 divide o?
False
Let d = -264 + 507. Suppose -d = -2*v + 5*b, -5*b - 360 = -3*v - 2*b. Is v a multiple of 17?
True
Let s = 588 - -1876. Is s a multiple of 44?
True
Let i(v) = -2*v**2 + 100*v + 70. Is i(47) a multiple of 22?
True
Suppose -19*s + 3161 + 2311 = 0. Is s a multiple of 32?
True
Suppose 0 = 18*z - 4916 - 6262. Is 27 a factor of z?
True
Let q(x) = x**3 - 5*x**2 + x + 3. Let d be q(3). Let l be -4 + (-3)/(d/44). Suppose 0*o - o + l = 0. Does 3 divide o?
False
Suppose -185 = -4*j - 10*z + 5*z, -3*z - 9 = 0. Let n = 70 - j. Let p = n + -11. Does 5 divide p?
False
Suppose 2*k = -4*l - 0*k + 16, -4*k + 22 = 3*l. Suppose -8*p = -6*p - l. Let f = p + 12. Does 7 divide f?
False
Let f = -7 - 16. Let t = -19 - f. Suppose -3*q + 4*q = 2, -3*g + 61 = -t*q. Is g a multiple of 20?
False
Suppose v + 2*v - 24 = 0. Let k be (-5)/2*v/(-10). Suppose 63 = f + 3*u, 0*f - k*f + 122 = 2*u. Is f a multiple of 12?
True
Suppose -4273 = -8*q + 9591. Does 76 divide q?
False
Let f(h) = -14*h**3 + 39*h**2 + 127*h + 4. Is 16 a factor of f(-3)?
True
Let r(o) = 12*o + 2. Let i be 0 - 0/3 - -1. Is 4 a factor of r(i)?
False
Suppose 5*l - 34 = -29, 0 = 3*o + 3*l - 4653. Is 5 a factor of o?
True
Let o(u) = 5*u + 70. Is 10 a factor of o(26)?
True
Let d(c) be the second derivative of 4*c + 2*c**2 - 1/6*c**3 + 0. Is 11 a factor of d(-13)?
False
Suppose 2*z + 4*s = 1066, -4*s = -3*z + 600 + 1019. Does 65 divide z?
False
Let t(z) = 2. Let s(c) = 2*c + 29. Let x(u) = -s(u) + 6*t(u). Let b be (4/(-6))/(1/18). Is 3 a factor of x(b)?
False
Let x(p) = 9*p**2 - 3*p - 41. Let j(r) = 5*r**2 - r - 21. Let z(t) = 7*j(t) - 4*x(t). Is z(6) a multiple of 10?
False
Let r(z) be the third derivative of -z**4/12 - z**3 - 2*z**2. Suppose 2*v - 36 = 8*v. Is r(v) even?
True
Let i(u) = -7*u - 12. Suppose -m - 6*j + 3*j = -1, 2*m = 5*j - 9. Let v(q) = -15*q - 25. Let d(k) = m*v(k) + 5*i(k). Is 20 a factor of d(-6)?
True
Let n(r) = -r**3 - 20*r**2 + 2*r + 42. Let h be n(-20). Suppose -3*t = -7*c + h*c - 114, -71 = -2*t + 5*c. Does 7 divide t?
False
Let t(q) = q**3 - 3*q**2 + 2*q - 10. Let a be t(6). Let i = a + -2. Does 16 divide i?
False
Let i = 4 + -1. Suppose m + 2*q - 3*q = -2, -2*m = i*q - 21. Let h = m - -30. Does 23 divide h?
False
Suppose -30 = -9*p + 3*p. Is 5 a factor of p*(-5 - -9)*14/4?
True
Is 10 a factor of 166532/204 + (-4)/(-6)?
False
Suppose -5*s = -35 - 20. Let m(r) = -27*r + 3 - r**3 + 5*r**2 + s*r + 11*r. Is m(3) a multiple of 3?
True
Let p(x) = -x**3 + 19*x**2 - x - 23. Let u be p(19). Let b = -5 - u. Is 6 a factor of b?
False
Suppose 2*v - 2 = -4*w + 20, -5*w = -4*v + 5. Suppose -7*o + 210 = -v*o. Let c = o - 45. Is c a multiple of 20?
True
Let m(f) = 7*f + 13. Let u be m(-2). Is 46 a factor of u/((2/154)/(-1))?
False
Suppose -14*k = -9488 + 3370. Is k a multiple of 19?
True
Suppose 10 = -5*r, z - 7 = r + 96. Does 4 divide z?
False
Does 32 divide (8 + -2)*1500/24?
False
Suppose 394 = -4*n + 3302. Is n a multiple of 22?
False
Let i(l) = -l**2 + 19*l - 36. Let z be i(17). Suppose 3*p + 3*t - 17 = -2, 14 = 4*p - 2*t. Is 12 a factor of p/(-8) - 79/z?
False
Suppose -3*y + 6 = 33. Let a = y + 5. Let u = 22 - a. Does 13 divide u?
True
Let s(t) = 15*t**2 - 13*t - 5. Let b(w) = 7*w**2 - 7*w - 2. Let n(l) = 13*b(l) - 6*s(l). Let a be n(7). Let x = 65 + a. Is 7 a factor of x?
False
Let n(s) be the second derivative of s**5/30 + 7*s**4/24 + s**3/2 - 6*s. Let a(o) be the second derivative of n(o). Does 30 divide a(8)?
False
Let x(q) = -2*q + 6. Let w be x(0). Suppose -i = 5*f - w, 2*f + 1 + 3 = -2*i. Is -8 + 8 + 60/f a multiple of 10?
True
Let z(i) = -3*i + 38. Let k be z(9). Suppose 0 = -k*b - 5*b + 640. Is 20 a factor of b?
True
Let v = 2470 + -342. Does 28 divide v?
True
Suppose n = -5 - 0. Let f(r) = r**3 + 6*r**2 + 3*r - 8. Let i be f(n). Suppose k - 135 = -i*k. Does 11 divide k?
False
Let f(a) = -5*a**3 + 3*a - 1. Let n(x) = -11*x**3 + x**2 + 7*x - 1. Let m(w) = 13*f(w) - 6*n(w). Let q be ((-6)/(-9))/(6/63). Is m(q) a multiple of 11?
False
Let x(w) = -3 - 3*w**2 + 4*w**3 - 1 - 6*w**3. Does 6 divide x(-3)?
False
Suppose j - 5 = 2. Let w(r) = -r**2 + 10*r + 1. Is w(j) a multiple of 6?
False
Suppose -5*b + 9 = -4*q + 52, -11 = -2*q - b. Suppose 0 = 2*h - q*h + 365. Is 18 a factor of h?
False
Let r(k) = k - 27. Let m be r(5). Let y = m + 130. Is y a multiple of 12?
True
Suppose 7 = 3*r - 4*a, 7*a = 4*a - 3. Let l = -1 + r. Suppose -3*b - 2*x + l*x = -116, 2*b + 5*x - 81 = 0. Is 19 a factor of b?
True
Let s(z) = 2*z**3 - 17*z**2 + 10*z + 5. Let w be s(11). Does 50 divide ((-25)/3)/((-20)/w)?
True
Let u = -224 - -317. Does 13 divide u?
Fa