 3). Suppose 410 = -u*x + 2406. Is 48 a factor of x?
False
Let z(i) be the first derivative of 5*i**4/2 - 4*i**3/3 + i**2/2 + 3*i + 21. Does 15 divide z(3)?
True
Let r = -1325 + 6042. Does 89 divide r?
True
Let s(v) = -6 - v**3 - 6*v - 15*v - 13 - v**3 + 21*v**2 + v**3. Is 45 a factor of s(8)?
False
Let y(j) = -28947*j + 428. Is 241 a factor of y(-2)?
True
Let p(z) = 3*z**2 - 374*z - 7329. Is 44 a factor of p(-21)?
True
Let a = -17 - -24. Suppose -a*m + 10 = -11. Suppose -f + 21 = -0*f - m*h, h = -4*f + 71. Is f a multiple of 13?
False
Let w(d) = -3*d**3 + 7*d**2 - 15*d + 11. Let u(q) = -7*q**3 + 15*q**2 - 31*q + 23. Let f(c) = -6*u(c) + 13*w(c). Does 30 divide f(3)?
False
Suppose 43 - 83 = 5*d. Is ((-2)/(-8))/((-2)/d) + 189 a multiple of 6?
False
Let i = 450 - 280. Let h = i + 43. Is 82 a factor of h?
False
Suppose 4*k + 3*w - 2 = 0, -2*k - 3*k = -4*w - 18. Suppose -5*f + 1603 = k*a, -2*f - 2281 - 171 = -3*a. Is 20 a factor of a?
False
Let s = 10509 - 4395. Is s a multiple of 19?
False
Suppose 11*i = 4*i + 210. Let l = i - 28. Suppose -5*z - l*j = 401 - 1691, -4*z + 1032 = -4*j. Is z a multiple of 43?
True
Suppose 0 = 2*b - w - 3, -4*b + 8 = -3*w - w. Is 13 a factor of b*129 + 2/(-22)*-11?
True
Let s be (-219)/(-18) - 4/24. Does 41 divide 141*7/s + (-2)/8?
True
Let x(t) = -t**3 + 17*t + 3. Let b be x(6). Let f = b - -33. Is 12/f - ((-1460)/26 + -1) a multiple of 19?
True
Let s(h) = -2*h**3 + 2*h**2 - h - 4. Let a be s(2). Let p be (-216)/(-84) - 6/a - 0. Suppose w = z + 3*z - 99, 0 = p*z + 4*w - 60. Does 5 divide z?
False
Let z = -375 - -453. Let t = z + 755. Is t a multiple of 31?
False
Suppose 64*v - 271*v = -2149488. Is v a multiple of 69?
False
Let t(l) = 328*l**3 + 2*l**2 - 4*l + 2. Suppose 9*s + 3 - 12 = 0. Is t(s) a multiple of 13?
False
Is 11 a factor of (-238)/(-595) - (-15009)/15?
True
Let f(x) = x**3 + 4*x**2 - 7*x + 6. Let v be f(-6). Let c = 13 + v. Let j = 23 + c. Is j a multiple of 6?
True
Is 4031 + 21 - 11 - (8*1 - 2) a multiple of 5?
True
Let x(k) = 10*k**2 - 5*k + 4. Let h be x(1). Suppose -h*o + 14*o = 680. Is 29 a factor of o?
False
Let o(p) be the first derivative of p**5/20 - 13*p**4/12 - 10*p**3/3 - 15*p**2 - 22*p - 35. Let y(f) be the first derivative of o(f). Is y(15) a multiple of 49?
False
Let o = -73 + 75. Suppose 4*u + 365 - 2145 = 4*a, o*u - 3*a = 893. Is u a multiple of 34?
True
Suppose -15*v = 3*w - 12*v - 47361, -3*w = -2*v - 47346. Is w a multiple of 72?
False
Suppose 58*l - 54*l - 20 = 0, 0 = 4*p + 3*l - 22487. Is p a multiple of 53?
True
Let l(n) = 2*n**2 - 15*n - 8. Let b be (36/(-24))/((-6)/32). Let t be l(b). Suppose 3*p + 119 - 353 = t. Is p a multiple of 13?
True
Let p be 61*((-2)/(-1) - (-9)/(-9)). Let y = -58 + p. Suppose -672 = -y*i - 3*i. Is i a multiple of 28?
True
Suppose 9*c - 7*c = -10*c. Suppose -38*r + 30*r + 840 = c. Is 5 a factor of r?
True
Let v be ((-19)/3)/(-2*2/72). Let z be -2 + 152/(-4 - -2). Let l = z + v. Does 9 divide l?
True
Let h = -5053 + 8007. Does 11 divide h?
False
Let l = 4937 + -1924. Does 10 divide l?
False
Let v(t) = 63*t - 144*t + 71*t - 12. Is 9 a factor of v(-14)?
False
Suppose 3*h - 44 = -19*h. Suppose -2*u + 5*l + 283 = -256, -h*u + 542 = -2*l. Is u a multiple of 7?
False
Suppose -3372*u + 1740112 = -3284*u. Is 35 a factor of u?
False
Suppose -586*i + 313768 = -530*i. Is i a multiple of 11?
False
Let p be 20/(-8*1/(-12)). Suppose -8 = -4*c, -33*m + p*m - c = -857. Is 57 a factor of m?
True
Suppose 71802 = 12*l - 87822. Is 18 a factor of l?
True
Suppose 183*f - 185*f + 3*k = -132763, -4*f - 5*k + 265603 = 0. Does 43 divide f?
True
Let v be -7 - (-1 + -4 + 5). Is 7 a factor of (v - (-130)/20)/(2/(-2000))?
False
Suppose 0 = 75*k - 25*k - 267800. Does 179 divide k?
False
Suppose 49 = -10*f + 109. Let d(r) = r**3 + 8*r**2 - 16*r - 15. Does 44 divide d(f)?
False
Let s be 2/6*3 + 3. Suppose 0*g + v - 199 = -5*g, 0 = -s*g + v + 161. Does 8 divide g?
True
Let s be ((-3)/(-3))/(23/(-2806)). Let o = 22 - s. Does 36 divide o?
True
Suppose 0 = -3*z - 5*l + 152, -5*l + 6*l + 2 = 0. Suppose -3*s = 2*u - 318, 2*s - 4*u + z - 266 = 0. Is 6 a factor of s?
False
Suppose 0 = 5*a - 4*n - 43, -3*a + 23 + 0 = -n. Let q(w) = -7*w**2 + w**3 + a*w - 5*w**2 - 2 - 19*w. Does 11 divide q(13)?
True
Suppose 0 = 262*q - 259*q - 24. Is (-31349)/(-92) + (-6)/q a multiple of 23?
False
Let m = -75 + 169. Let w be (-2)/(-3) - m/(-3). Let d = 36 - w. Is d even?
True
Suppose 34 = 2*m + 24. Suppose t - 3*n - 1085 = -4*t, 0 = m*t + n - 1085. Is t a multiple of 20?
False
Let i(a) = -a**2 - 3*a + 15. Let r be i(-5). Suppose j + j = r*u - 4562, 4*j = -2*u + 1820. Suppose 7*o = 15*o - u. Does 19 divide o?
True
Let v = 54 - 30. Is (8 - -34)*v/9 a multiple of 56?
True
Suppose -4183 - 1833 = -4*j. Suppose 3*i = 5*s - 1144, 0 = 11*i - 7*i + 4*s + j. Let w = i - -608. Is 23 a factor of w?
True
Is (-8187)/(-21) + (-492)/574 a multiple of 3?
False
Let h be 96/54 + ((-10)/(-9))/5. Suppose -2*x - h*p - p = -576, 0 = 5*p. Is 32 a factor of x?
True
Let v(y) = y**2 - 16*y + 18. Let x be v(15). Suppose 0 = 3*z, d = x*d + 3*z - 130. Suppose 5*t = 10*t - d. Is t a multiple of 3?
False
Let k(p) = -46*p**2 - 4*p + 4. Let y be k(-5). Let t be y/(-10) + 4/10. Suppose -5*q = 2*b - 61, -b + q = -5*b + t. Does 18 divide b?
False
Let s = 5749 + -3869. Does 82 divide s?
False
Let g(q) = -q + 15. Let t be g(35). Let d(l) = l**3 + 18*l**2 - 43*l + 10. Is d(t) a multiple of 4?
False
Let d be (-1)/(-22)*-4*-11. Suppose -d*w - 1 = -7. Does 16 divide 13*((w - -1) + 0)?
False
Let b = 439 - -803. Let f = -683 + b. Does 43 divide f?
True
Suppose 0 = 29*a - 841 - 2639. Let x = a - -160. Does 20 divide x?
True
Let s = 173 - 48. Suppose 4*y - s = -0*y + x, 3*x = y - 45. Suppose 0 = -2*n + y. Is n a multiple of 10?
False
Let k(f) = f**2 + 9*f - 17. Suppose -5*z + 37 = -0*z + 4*w, -z + 5*w = -19. Suppose -4*p = -c + 72, -p + 2*p = -2*c - z. Does 20 divide k(p)?
False
Let i(a) = -a**2 + 5*a + 5. Let b be i(5). Suppose 2*f = -b*r + 735 + 21, r = -2*f + 740. Suppose 5*v - 352 - f = 0. Does 16 divide v?
True
Let d be ((-18)/(-8))/((-27055)/2460 - -11). Let q = d + -872. Does 23 divide q?
False
Let p = 443 - 418. Suppose -3 = -y - l, -2*y - 12 = -6*y + 3*l. Suppose y*w - 2 = p. Is 8 a factor of w?
False
Let g(s) = -3*s**2 - 36*s - 53. Let y(d) = -2*d**2 - 24*d - 36. Let r(l) = 5*g(l) - 8*y(l). Suppose 3*m - 46 = 5*n, 5*n + 6*m + 70 = m. Is 4 a factor of r(n)?
True
Let m(c) = 3530*c - 5277. Is 16 a factor of m(6)?
False
Let y(f) = 5*f**2 + 8*f - 45. Let d(b) = 4*b**2 + 9*b - 46. Let p(q) = -6*d(q) + 5*y(q). Let m(c) = -4*c**2 - 13*c + 6. Let n be m(-3). Is p(n) a multiple of 2?
True
Let j(r) = -r**2 + r - 2. Let x(i) = 390*i**2 - 6*i - 1. Let v(s) = 2*j(s) + x(s). Is 12 a factor of v(-1)?
False
Suppose -y - 5*g + 3*g = -7, 15 = 5*g. Suppose -4 = 2*r, -5*a + 2*r + 3 = -y. Suppose -p = -4*p + 4*s + 124, a = 5*s + 5. Does 9 divide p?
False
Let h(r) = 4*r**2 + 14*r - 6. Let x = 21 + -26. Let v be h(x). Let t = 76 - v. Is 10 a factor of t?
False
Let i = -8237 + 11936. Is i a multiple of 43?
False
Let l(x) = -x - 23. Let h be l(-13). Let f be 42*(9/(-15))/((-4)/h). Is 9 a factor of 24/(-36)*f/2?
False
Let u(y) = 2*y**2 - 23*y + 11. Let m be u(11). Suppose m = -4*b + 4*i + 36, -b + 8 = -2*i - 1. Suppose 87 - b = 2*g. Is 7 a factor of g?
False
Suppose 3*k + a + 3212 = 4*k, -4 = -4*a. Is k a multiple of 7?
True
Let j(x) = x**2 - 11*x + 12. Let k be j(10). Is (-9 - k/(-2))/(34/(-187)) a multiple of 22?
True
Let r(x) = -x**2 + 14*x + 7. Let p be r(14). Is 35 a factor of (-1120)/p*105/(-20)?
True
Let m(l) = -95*l - 79. Let y be m(-8). Let k = y - 431. Is 5 a factor of k?
True
Does 8 divide 3782/4 - (777/(-42))/(-37)?
False
Let w(p) = 28*p**2 - 32*p + 54. Let v be w(5). Let m = v + 83. Is 38 a factor of m?
False
Let v(d) = -d**2 + 24*d - 18. Let x be v(8). Let w be 1/(-4) - (-17)/4. Suppose -4*c = 2*f - 118, w*c + f - x = 9. Is c a multiple of 20?
False
Suppose r - 18 + 15 = 0. Suppose -s = 3*q + 2*s - r, -3*s = -q - 15. Let x = 50 + q. Is 29 a factor of x?
False
Suppose -28 - 12 = -10*x. Suppose 0 = g - 18 + x. Let i(s) = -s**2 + 16*s - 1. Is i(g) a multiple of 3?
True
Let l(i) = 276*i**3 + i**2 - 3*i + 1. Let u = 108 - 107. Is l(u) a multiple of 25?
True
Suppo