45777. Is k a multiple of 14?
True
Is 11 a factor of (8 + -8)/(-3) - -2*(-2 - -22224)?
False
Let z(r) = 2013*r**2 + 51*r + 105. Does 42 divide z(-2)?
False
Let g(y) = -6*y + 43. Let f be -2*1/(-9) + 176/18. Suppose n - f*n = n. Does 3 divide g(n)?
False
Let d = 1806 + -706. Is d a multiple of 10?
True
Let b(t) be the second derivative of t**4/6 - t**3/3 + t**2/2 + 13*t. Let g be b(2). Suppose 7*s - 622 = 2*s + 2*z, -3*z = g*s - 642. Does 35 divide s?
False
Let i = -263 + 270. Suppose -13*k + i*k = -102. Is 17 a factor of k?
True
Let f(v) = 6*v + 26. Let d be (-6)/48*-4 - 22/4. Let h be f(d). Let y(w) = 4*w**2 + 8*w + 10. Is 21 a factor of y(h)?
True
Let x(b) = -61*b - 294. Let p be x(-12). Let u be 9/4 - (-1)/(-4). Is 43 a factor of u*-1 + (p + 2)/5?
True
Suppose 0 = 4*i - u - 567, 4*u = 27*i - 28*i + 163. Let h = i + 826. Does 19 divide h?
True
Let t(x) = -2425*x + 2038. Does 110 divide t(-4)?
False
Let o(p) = 25*p**2 - 2*p. Let d be ((-10)/(-15))/((-2)/(-63)). Suppose d - 9 = 4*a - l, 0 = -4*a - 3*l - 4. Does 32 divide o(a)?
True
Does 7 divide (-203917)/(-14) + 5 - (-6)/4?
False
Let o = 26969 + -25669. Is o a multiple of 13?
True
Let c(n) = n**2 - 5*n + 30. Let o be c(6). Suppose 5*g + 4*u - o = 0, g - 2 = -u + 6. Is 24 a factor of 120*(-8 - -2)*g/(-60)?
True
Let f = -8332 - -10440. Is f a multiple of 31?
True
Suppose -7*p - 27 - 15 = 0. Let i(x) = x**2 + 3*x + 10. Is 4 a factor of i(p)?
True
Let j(o) = 10*o - 13 - o + 3*o. Let d be j(4). Suppose -3*l = -a - d, -l - a + 6*a = -7. Is 4 a factor of l?
True
Suppose -4*g - 3*y = -18, -3*g + 2*y + 22 = -0*g. Let b be 3/g - 4362/(-12). Suppose -4*s + 3*n = -b, 389 = 5*s - 2*n - 59. Is s a multiple of 48?
False
Is 25 a factor of 7219 + (14 - 11)/(18/5 + -3)?
False
Let s = 521 + -515. Let y(t) = 49*t + 114. Does 17 divide y(s)?
True
Let h(w) = 0*w**2 - 229*w**3 + 228*w**3 - 5*w**2 + 11 - 5*w. Let b be h(-7). Let a = -93 + b. Is a a multiple of 9?
False
Let r = -24 + 44. Suppose -2*u + 11 = i - 12, -r = -2*u + 2*i. Let j = 88 + u. Does 14 divide j?
False
Suppose -15547 = -16*v + 66533. Is v a multiple of 114?
True
Suppose 0 = 4*v - 4*g - 388 - 144, 0 = -2*v + 5*g + 272. Let u = v + -51. Does 10 divide u?
True
Let m = 9 + -7. Is 8 a factor of (-9856)/(-66)*3/m?
True
Suppose b = 3*w - 12, 0 = 5*w + 2*b - b - 12. Suppose 2*t - w*z - 161 = -0*z, -z - 337 = -4*t. Suppose -3*m + 4*k - 8 = -t, 32 = 3*m + 5*k. Is 19 a factor of m?
True
Let i = 9 - 6. Suppose -24 = 4*n, -403*n + 18 = -3*u - 405*n. Is 326/(i*(-3)/9*u) a multiple of 37?
False
Suppose 2*i + 19126 = 2*z, 3*i = -19 + 10. Does 39 divide z?
False
Let o(i) = i**3 + 15*i**2 + 30*i + 5. Is o(-5) a multiple of 2?
False
Suppose -1279 = 15*g - 6844. Let m = g - 263. Is m a multiple of 12?
True
Let b(k) = -k**3 + 8*k**2 - 3*k + 25. Let v be b(8). Suppose o = -v + 1. Suppose -f + q = -0*f - 32, 2*f - 4*q - 64 = o. Is f a multiple of 8?
True
Suppose 32 = 4*i + 5*p, -4*i - 2*p + 20 = -0*i. Suppose -2*v + i*b = -15 - 2, 3*b - 7 = -4*v. Suppose -v*x = -42 + 18. Is x a multiple of 6?
True
Let d(a) = a**3 + 6*a**2 - 13*a - 67. Let l be d(-6). Let s(k) = k**3 - 7*k**2 - 19*k - 53. Is s(l) a multiple of 3?
True
Let q(r) = 81*r**3 + 3*r**2 + 12. Let p(t) = -323*t**3 - 13*t**2 - 50. Let y(s) = 2*p(s) + 9*q(s). Is y(2) a multiple of 52?
True
Let z(d) = 13*d**2 - 4*d + 2. Let v be z(1). Let g(f) = 216*f**2 + f + 1. Let q be g(-1). Suppose -v*i - q = -17*i. Does 12 divide i?
True
Let n = -69 + 73. Suppose b - 2*b - 670 = -3*c, n*b = 20. Is c a multiple of 9?
True
Suppose -5*d = 4*d - 63. Suppose -d*w + 273 = 35. Is 17 a factor of w?
True
Let w(y) be the second derivative of y**6/180 - 3*y**4/8 - 8*y**3/3 - 14*y. Let g(x) be the second derivative of w(x). Does 7 divide g(4)?
False
Let g(s) = -s**3 - 13*s**2 + 16*s + 32. Let d be g(-14). Let y(o) = 60*o - 48. Is y(d) a multiple of 32?
True
Suppose -32276 = -5*u + 3*m, 4*u + 193*m - 25826 = 198*m. Is u a multiple of 9?
False
Let h(q) = -3*q + 24 + 3*q - 24*q. Suppose -29*j - 120 = j. Is 15 a factor of h(j)?
True
Suppose -21*r = 25526 - 77086 - 102811. Is 53 a factor of r?
False
Let l = -43441 + 86902. Is 100 a factor of l?
False
Let l be (-4)/6*(-255)/34. Suppose -y - 164 = -l*y. Suppose 0 = -y*w + 38*w + 60. Does 3 divide w?
False
Let o = -7770 - -8970. Does 5 divide o?
True
Does 25 divide (70795/(-4))/(890/(-2136))?
False
Let j be 3*5/20*72. Let y = j + -5. Is 5 a factor of y?
False
Let l(n) = -n**3 + 17*n**2 - 9*n - 62. Does 20 divide l(14)?
True
Suppose 5*r - 5*v - 19695 = 0, 209*r - 206*r - 4*v - 11814 = 0. Is r a multiple of 6?
True
Suppose -3*p = 6*y - y - 382, -3*y + 4*p = -235. Let k = y + -70. Suppose -4*c = q - 101, 3*q = k - 4. Is c a multiple of 3?
False
Let m = -27018 + 48538. Is 14 a factor of m?
False
Does 42 divide 8 + (4*-3)/((-51)/52904)?
False
Suppose 4*g - 43 = 101. Suppose -31*f = -g*f + 870. Is f a multiple of 19?
False
Suppose -11*s = -13*s + 5*p + 10925, 5*s = -p + 27272. Is 69 a factor of s?
False
Suppose 14 = -d + 5. Let q be (-3 + d)*2/(-4). Suppose 3*s = q*s - 177. Is s a multiple of 8?
False
Let z(c) = 1 - c - 13*c + 24 - 10. Is z(-1) a multiple of 8?
False
Let s = -8 - -17. Let w(g) = 6 + 4*g - 18*g + 5*g + 20*g - g**2 + 6. Is 3 a factor of w(s)?
True
Let t(k) = 78*k**2 - 286*k + 4470. Is t(17) a multiple of 10?
True
Suppose -4*t = -5*g - 24, -4*t + 9 = -g + t. Is 43 a factor of 473/(-2)*g*4/8?
True
Suppose 3*q = -v + 15522, 5*v + 26810 - 104402 = 3*q. Is 62 a factor of v?
False
Suppose -5*p = -4*p - y - 15, -3*y - 75 = -5*p. Let r(d) = -2*d - 21. Let a be r(p). Let j = a - -91. Is j a multiple of 8?
True
Is 26 a factor of (89 + -713)*(6/(-9))/(2/4)?
True
Let x(o) = -13 - 323*o + 315*o - 4*o**2 + 3*o**2. Let l be x(-5). Suppose -z - 125 = -4*h + 196, -l*z - 405 = -5*h. Does 16 divide h?
False
Suppose 3*j + 4*g = -919, -2*g - 1585 = 5*j - 6*g. Let w = 721 - j. Is 11 a factor of w?
True
Let b be 1572/(-18)*9 + -6. Let y = -161 - b. Is y a multiple of 21?
False
Let s(y) = y + 1. Let x(g) = 29*g + 5. Let u(m) = -3*s(m) + x(m). Let t(k) = -27*k - 1. Let v(z) = -6*t(z) - 5*u(z). Is 10 a factor of v(2)?
True
Let r(d) = d**2 + 6*d + 12. Suppose 0 = -3*o - 4*o + 238. Let y = o - 41. Is r(y) a multiple of 6?
False
Let k(u) = 75*u - 13. Let d be k(-1). Let j = 946 + d. Is j a multiple of 15?
False
Let b be -21 - 6*(-1)/8*4. Let q(p) = -p**2 - 36*p. Is 4 a factor of q(b)?
True
Suppose 29*z - 31*z = 0. Suppose -15*r + 14*r + 510 = z. Is r a multiple of 17?
True
Let r = -101 - -111. Let w be (r/(-4))/(-5 - (-63)/14). Is w*2/((-4)/(-98)) - 0 a multiple of 49?
True
Suppose 0 = -d + 4*b + 27009, -5*d - b + 74701 + 60491 = 0. Is 19 a factor of d?
True
Let d(r) = -r**3 - 5*r**2 + 3*r + 15. Suppose 5*v + 5*y - 45 = 0, y + 15 = 5*v - 0. Let c be (3 - 0 - v) + -5. Does 22 divide d(c)?
False
Is (-1*(-14 + 1))/((7093/(-8610))/(-173)) a multiple of 78?
True
Is 9/(-2) - 711711/(-78) a multiple of 32?
True
Suppose -2*p + 123 = -5*x, -3*x + 328 = 4*p + 43. Let g be (-2)/(-6) - (-184)/p. Suppose -117 = -r - 5*h, -g*h + 4*h + 117 = r. Does 9 divide r?
True
Suppose 0 = -u - 281 + 271. Let r(x) = 2*x**2 - 27*x - 41. Is r(u) a multiple of 39?
True
Let o(j) = -3*j**3 - 5*j**2 - 57*j - 31. Does 5 divide o(-10)?
False
Let c be (-5)/((-15)/21)*14. Suppose -5*d = -15, 3*z - c + 2 = 4*d. Does 9 divide z?
True
Suppose -9*a = 11497 - 27049. Does 36 divide a?
True
Suppose 2059424 + 5158670 = 489*i + 1799974. Is i a multiple of 20?
True
Suppose 0 = -4*n + 6*n - 20208. Is 24 a factor of n?
True
Let i be 2/(-10) - 62/(-10). Suppose -5*l = 0, -i = -3*q - 0*l - l. Suppose 5*j - 2*s - 706 = 0, 5*j - 531 = -q*s + 163. Is j a multiple of 14?
True
Let r(d) be the second derivative of -29*d**3/6 + 12*d**2 + 112*d. Let h be -3 - (1 + 0/(-4)). Does 26 divide r(h)?
False
Suppose 35*q - 2959 + 115159 = 205*q. Is 15 a factor of q?
True
Is (-2)/5 - (186216/(-15) - (-15 + 7)) a multiple of 16?
False
Let z = -22 + 41. Suppose z*a - 48*a = -6757. Does 7 divide a?
False
Is 19 a factor of (-21 - -15 - 11) + 19477?
False
Suppose 0 = -3*j + k + 15, -2*j - 4*k = -8*k - 20. Suppose -4*b = 3*h - 36, 8*b - 16 = j*b + 2*h. Is 4/b*(-189)/(-9) a multiple of 2?
True
Let y(s) = s**2 - 13*s - 11. Let i be y(14). Suppose f = -i*l + 20, -2*f + 4 = -3*l - 0*l. Sup