= -105531 - 451389. Is a a multiple of 204?
True
Let q(w) = w**2 + 3*w + 10. Suppose 0 = 4*a - 0*a + 8, -3*k = a + 26. Let i = -15 - k. Is q(i) a multiple of 19?
True
Let p(z) be the first derivative of 17*z**3/3 - 5*z + 1045. Let d(m) = m**3 - 7*m**2 - 2. Let r be d(7). Is 9 a factor of p(r)?
True
Let o(s) = s**2 - 4*s - 3. Let j be o(5). Let v be ((-300)/(-70))/(j/56*2). Suppose -41*y + v = -37*y. Is y a multiple of 2?
False
Suppose 5*l = 11*l + 12. Let t be -2 + (-250)/4 - 1/l. Let w = t - -112. Does 12 divide w?
True
Let d = 1494 + -760. Let n = d + -349. Is 77 a factor of n?
True
Let h be 5 + (-5 - (-3 - -1)). Let c be 4/(-22) + ((-1303260)/154)/(-15). Suppose -c = -x - h*x. Is 32 a factor of x?
False
Let x(u) = 60*u + 7154. Does 14 divide x(0)?
True
Is 88 a factor of -14 - 1102080/(-90) - 2/(-3)?
True
Suppose 65*q = -7*q + 216. Suppose -5*t + b - 4*b + 2855 = 0, 0 = -q*t + 2*b + 1694. Does 12 divide t?
False
Suppose -25 = 26*h - 103. Suppose -196 = -2*o + 4*n, 0*o - 4*n - 286 = -h*o. Is 2 a factor of o?
True
Suppose 10*z - 440 = 5*z. Let x(s) = -s**2 + 12*s - 63. Let y be x(12). Let t = y + z. Is t a multiple of 25?
True
Let s(h) = -h**3 + 7*h**2 + 17*h - 6. Let o(t) = -2*t**3 + 15*t**2 + 35*t - 12. Let q(w) = -3*o(w) + 5*s(w). Is 11 a factor of q(13)?
True
Let c = -193 + 61. Is 26874*(-6)/c + (-48)/88 a multiple of 37?
True
Let k(q) be the third derivative of 0*q + 3*q**2 - 1/6*q**4 + 0 - 2/3*q**3 + 1/60*q**6 - 1/15*q**5. Does 18 divide k(5)?
True
Suppose 47634 + 38586 = 90*c. Does 18 divide c?
False
Suppose 4*r = -2*f + 76572, -4*f - f = -2*r + 38250. Does 220 divide r?
True
Let h = 9524 + -6164. Does 28 divide h?
True
Let a(z) = 7*z**3 - 59*z**2 + 41*z - 122. Let y(d) = -4*d**3 + 30*d**2 - 21*d + 62. Let o(v) = -3*a(v) - 5*y(v). Is o(26) a multiple of 22?
True
Is 4218/209 - 20 - (4988910/(-33))/5 a multiple of 16?
False
Let s(g) = -g**3 - 10*g**2 - 13*g - 84. Is 14 a factor of s(-11)?
False
Let g be (-2 - -1)*1*(-24)/(-6). Let f be g/(-5 + 1) - 4/(-1). Suppose -2*z - 3*z = w - 158, 5*z = f*w - 640. Is 19 a factor of w?
True
Let r be (-1*(2 + -2))/(-1). Let z(b) = 5 - 645*b - b**2 + 1274*b + 26 - 2 - b**3 - 631*b. Is z(r) a multiple of 5?
False
Let m(q) = 7*q - 20. Let f be m(5). Let g = f + -25. Let d(y) = y**2 + 5*y + 48. Is d(g) a multiple of 12?
False
Suppose 2*w - 18*w = -30480. Does 15 divide w?
True
Let a(h) = -612*h**2 + h**3 - 1 + 3*h + 622*h**2 + 5*h. Let b be a(-9). Suppose 2*k = b, 3*u - 236 = -8*k + 3*k. Is u a multiple of 12?
True
Let d(x) = 19*x**2 - 17*x + 199. Is 20 a factor of d(17)?
False
Suppose 3*u + 2 = 17. Let p(r) = -8*r**2 - 15. Let x(b) = 4*b**2 + 7. Let v(n) = 4*p(n) + 9*x(n). Does 23 divide v(u)?
False
Let i be 4/(-6) + 34/51. Suppose 765 = 5*b - 5*h, i*b + 3*b - 454 = 2*h. Is (0 + 1)/1 + b + -15 a multiple of 16?
False
Suppose 41132 = 4*q - 4*f, -4*q + 14010 + 27140 = 2*f. Is q a multiple of 37?
True
Let a(j) be the first derivative of 3*j**4/4 - 3*j**3 - 6*j**2 - 11*j + 61. Is 14 a factor of a(6)?
False
Let q = 98673 + -55139. Is q a multiple of 87?
False
Does 11 divide (7 - (9649 - 6))/((-3)/2)?
True
Suppose 227*x - 223*x - 3*q = 109040, -x + 2*q + 27255 = 0. Is x a multiple of 103?
False
Let i = 123 - 124. Does 9 divide (5 - 4)/(i + (-285)/(-282))?
False
Let z(j) = -j**2 + 45*j - 26. Let x be z(44). Let d(i) = i - 2. Let v be d(5). Is (v/1)/(9/x) a multiple of 2?
True
Let m be 762/(-54) - (-10)/90. Let x(i) = 3*i**2 + 3*i + 24. Is 11 a factor of x(m)?
False
Let z = -3067 - -10075. Is 16 a factor of z?
True
Let l = -138 - -134. Does 62 divide (-2)/l + 3830/20?
False
Suppose 0 = -57*b + 1934264 - 354807 + 86653. Does 6 divide b?
False
Suppose 65*v - 35775 = 50*v. Does 45 divide v?
True
Let c = -9414 - -15119. Is 7 a factor of c?
True
Let l = 252 - 250. Suppose w + 2*x + 0 = 178, -l*w - 2*x = -356. Does 9 divide w?
False
Let k be (-2)/4 + (-9)/(-18). Suppose -5*r = -k - 5. Let i(w) = 27*w**2 - 2*w + 2. Does 9 divide i(r)?
True
Suppose -5*g + 4037 = 4*t, 3*t + 38 = -g + 3085. Is 5 a factor of t?
False
Suppose -c + 3*u = -17, 0*c + c = -u + 25. Suppose 2952 = -c*h + 26987. Does 19 divide h?
True
Let t(m) = -4*m + 99. Let w be t(28). Let n = 1 - w. Is n a multiple of 14?
True
Suppose 5*n - 64564 + 7947 = -6*n. Is 25 a factor of n?
False
Suppose -k = -2*d + 7637, -2*d - 144*k = -139*k - 7607. Is d a multiple of 159?
True
Suppose 22*x - 21*x = -f + 6305, -x - 7 = 0. Is 27 a factor of f?
False
Let i(v) be the third derivative of v**4/3 + 12*v**2. Suppose -4*k + 12 = -4*m, 2*m + 11 = 3*k + 1. Does 32 divide i(k)?
True
Suppose 11*o - 10*o - 228 = 3*l, 0 = -3*o - 2*l + 651. Suppose -4*v - 5*y = -319 - 546, -o = -v - 4*y. Is 10 a factor of v?
False
Let h(o) = 10*o + 156. Let q be h(-14). Suppose -650 = -q*j + 11*j. Does 13 divide j?
True
Let r be 29/(-116) - (-9986)/8. Suppose 0*y + r = 13*y. Is y a multiple of 24?
True
Suppose -5*m - 783 = 4*v, -2*v + 5*v + 570 = 2*m. Let q = 621 + v. Is q a multiple of 13?
True
Suppose 5*f + q - 28379 = 0, 359*q - 5680 = -f + 363*q. Does 86 divide f?
True
Let o(g) = -g**2 - g + 10. Let z be o(0). Suppose -x - 2*m = -3*m + 1, 2*m = z. Suppose -n = x - 173. Does 34 divide n?
False
Suppose t + 220 = f - 5855, 5*t + 18223 = 3*f. Does 98 divide f?
True
Let h(z) = z**3 + 24*z**2 + 2*z - 117. Is 22 a factor of h(-19)?
True
Let h(k) = -5*k - 14. Let a be h(-2). Is 21 a factor of (82/(-6))/(a + 235/60)?
False
Let u(m) = 151*m**2 + 2*m. Let f be (-24)/(-9) - 1 - 3/(-9). Let b be u(f). Suppose -17*w + 9*w = -b. Is w a multiple of 15?
False
Suppose 4*b + 12 = 16*b. Is (-4 + b)/(10/(-930)) a multiple of 93?
True
Let z(t) = t**2 - t + 4. Let q be (-1 + 2)*0*5/(-10). Let b be z(q). Is -2 + (7 - b)*81 a multiple of 28?
False
Suppose 5*h - 31379 - 74818 = -6*u, 3*u = -2*h + 53097. Is u a multiple of 51?
True
Let y(j) = 2*j**3 + 11*j**2 + 6*j + 340. Let k(c) = -c**3 - 5*c**2 - 3*c - 169. Let f(o) = -9*k(o) - 4*y(o). Does 13 divide f(0)?
False
Suppose 5*m - 9948 = 53*u - 56*u, 0 = 4*m + 4*u - 7960. Is 20 a factor of m?
False
Suppose 15498 + 85893 - 23796 = 15*n. Is n a multiple of 5?
False
Let n(w) = -121*w + 55. Is 24 a factor of n(-18)?
False
Let y(k) = -12*k**2 - 6*k + 7. Let l be y(1). Is 15 a factor of 14*(0 - 60)*l/77?
True
Let m = 74 - 59. Does 6 divide m - (14/4 - 4)*-2?
False
Suppose -78*r + 90*r - 396 = 0. Is 11/(r/12) - -128 a multiple of 7?
False
Let z be (-80)/6*(-33)/4. Let t be (1/(-2))/((-11)/z). Suppose 15 = t*x, -5*x - 1 = -2*u - 0*u. Does 4 divide u?
True
Let a(b) = 7*b**2 - 55*b + 440. Is a(50) a multiple of 49?
True
Suppose 0 = 61*l - 35905 - 43395. Is 20 a factor of l?
True
Let g = 587 - 306. Suppose -404 = -5*m + g. Is m a multiple of 9?
False
Let a be (-78)/104*(-8)/(-3). Does 5 divide (4 + a)*(94 + -3 + 4)?
True
Is (-22187)/(-17) - (-38)/(-323) a multiple of 29?
True
Let u = 457 - 740. Let x = 325 + u. Is x a multiple of 3?
True
Let k(h) = 15*h**2 + h - 4. Let x be 62/12 - (-7)/(-42). Let d be k(x). Suppose 35*w - 43*w + d = 0. Is 7 a factor of w?
False
Suppose -1614456 = -146*s + 133*s - 89*s. Is 15 a factor of s?
False
Suppose 47*g - 32303 = 46516. Is 11 a factor of g?
False
Let f(c) = 6*c**2 + 70*c - 17. Let l be f(-12). Suppose 5*j - y - 860 = 0, -5*j + l*y - 5*y + 860 = 0. Does 4 divide j?
True
Suppose 5*u = -i + 42556, 8*i + 3 = 11*i. Is u a multiple of 26?
False
Suppose -4*p + 2*w = -20, w + 34 - 28 = p. Is ((-3)/p)/((-12)/4848) a multiple of 12?
False
Let s = 658 - 658. Suppose -70*m + 84*m - 5712 = s. Is m a multiple of 3?
True
Suppose 5*z - 1728 = -0*z + p, 2*z - 5*p - 705 = 0. Let n = -159 + z. Does 20 divide n?
False
Suppose 13*z + 460 = 10*z + 5*t, -z + 5*t - 140 = 0. Is (-9)/5 + (-51328)/z a multiple of 7?
False
Suppose z - 65 = -2*t, 3*z + 55 - 250 = -t. Suppose q = 5*q - 368. Let i = q - z. Is i a multiple of 6?
False
Suppose 0 = d, -i - 3*d + 6 - 11 = 0. Is 9 a factor of 2/(-2)*i/(15/243)?
True
Suppose 763*v - 62898 = 757*v. Is 8 a factor of v?
False
Let i(u) = -24*u - 18. Let m(r) = r**2 + 24*r - 37. Let z be m(-23). Let d = z - -53. Is 30 a factor of i(d)?
True
Let f(u) = -355*u**3 - 23*u**2 - u + 8. Is 39 a factor of f(-4)?
False
Is 8 a factor of 42192/(-18)*(6 + (-16)/12*6)?
True
Let c(v) = -43*v - 62. Suppose -26*p - 132 = -4*p. Does 34 divide c(p)?