2*d = 3*w + 52. Does 4 divide d?
True
Let h(f) = 26755*f**2 + 72*f - 73. Does 49 divide h(1)?
True
Let q = -732 - -785. Let m(g) = -g + 173. Is 12 a factor of m(q)?
True
Suppose 12*n = 9*n - 4*q + 56009, 74660 = 4*n - 4*q. Does 36 divide n?
False
Let r(k) = -400*k**2 + 12*k - 1. Let l = -7 - -4. Let h(d) = 133*d**2 - 4*d. Let m(i) = l*r(i) - 8*h(i). Does 15 divide m(1)?
True
Let u(b) = -18*b + 90. Let w be u(-12). Suppose -7*t - w = -16*t. Does 4 divide t?
False
Suppose 13*k + 12260 = 15146. Is k a multiple of 37?
True
Let b(k) = 30*k + 38. Let r(g) = -1. Let a(f) = b(f) + 6*r(f). Let o be a(12). Suppose 4*i + 5*q - o = 0, 4*i - 364 = -2*q + 4*q. Does 11 divide i?
False
Suppose 2*k + 2*q = 3*q, 4*k + q = 0. Suppose k*a - 74 = -w + 3*a, w - 5*a = 70. Is 36 a factor of w?
False
Suppose 0 = 2*g - 2*q - 10, -5*g + 3*q + 21 = 2*q. Suppose g*n + 22 = 42. Is 3 + (1 - n) - -147 a multiple of 43?
False
Is 17 a factor of -2*(-16)/96*78447?
False
Let h(a) be the first derivative of 2*a**2 + 3*a - 9. Let o be h(3). Does 12 divide 54/o*80/6?
True
Let g be ((-4)/(-3))/(1 + (-356)/348). Let p = 103 + g. Is p a multiple of 9?
True
Suppose -522 + 106 = -16*m. Suppose 0 = -36*x + m*x + 4300. Is 14 a factor of x?
False
Let y be (-17)/(4/248*-2). Let a = y + -408. Is 12 a factor of a?
False
Let j(i) = 4*i - 17. Let m be j(8). Suppose 5*s - m = 2*s. Suppose 2*k + p = -3*p + 46, -3*k + 70 = s*p. Is 25 a factor of k?
True
Let z(f) = 10510*f**2 + 5*f + 4. Let w be z(-1). Suppose 327 = 12*h - w. Is h a multiple of 17?
False
Let c(m) = -6*m + 8. Let u be c(1). Suppose -7*a + u = -8*a, -4*n + 1324 = -2*a. Does 66 divide n?
True
Let z(g) = 121*g - 3*g**3 + 2*g**2 + 4*g**3 - 37*g - 34*g - 6 - 7*g**2. Is 10 a factor of z(6)?
True
Let b(d) be the first derivative of -d**4/4 - 4*d**3/3 + 9*d**2/2 + 25*d - 8. Let u be b(-5). Is 3 a factor of (-92)/(-12) + u/((-30)/4)?
False
Let t = -4368 + 7700. Is t a multiple of 4?
True
Suppose 5*a - 133 - 12 = 4*j, 45 = -j + 3*a. Let r = -25 - j. Suppose -r*d - 44 + 224 = 0. Is 18 a factor of d?
True
Let q(m) = -m**2 + 28*m - 37. Suppose 5*n = -f + 107, -3*n - n = 2*f - 88. Does 7 divide q(n)?
False
Suppose 0 = -6*x + 8023 + 17225. Is 4 a factor of x?
True
Suppose 9*k - 778 = 1751. Suppose -6*h = -k - 61. Suppose 62*w - h*w = 320. Is w a multiple of 16?
True
Suppose -8*b + 3652 = 980. Suppose -2*h + b = -292. Does 50 divide h?
False
Let k be (4/6)/(10/165). Is 11 a factor of 3*173 + (4 - k - -5)?
True
Let f = 103 + -29. Suppose 0*t - f = -t. Suppose 434 = 4*n + t. Does 30 divide n?
True
Suppose -9*p + 22 = 2*p. Suppose p*t + j - 199 = 244, -t - 3*j + 229 = 0. Is 11 a factor of t?
True
Suppose -6*l + 117537 = -3*l - 4*u, -l + 2*u + 39183 = 0. Is 11 a factor of l?
True
Let p(n) = 17*n**2 - 158*n - 34. Is 24 a factor of p(15)?
False
Let f(m) = -2*m**2 + 30*m + 36. Let n(r) = -r - 1. Let t(q) = -f(q) - 12*n(q). Let w be t(9). Let y(p) = p**3 + 23*p**2 - 30*p + 24. Is 15 a factor of y(w)?
False
Let m(y) = 28118*y**2 + 53*y + 6. Is m(1) a multiple of 27?
False
Suppose 19*a - 15*a + 2850 = -2*j, -2*a + 4 = 0. Let p = 2551 + j. Is p a multiple of 11?
True
Is ((-2)/8)/(198/(-4752)) + 2*10841 a multiple of 185?
False
Let d = 1287 - 492. Is 28 a factor of d?
False
Let r(p) = -2*p - 15. Let h be r(-10). Suppose 0 = 16*n - h*n - 1452. Does 22 divide n?
True
Let v = -9 - -16. Suppose -3*w - 4 = -v*w, -1 = l - 3*w. Let f(o) = 2*o**3 + 4*o**2 + o - 7. Does 14 divide f(l)?
False
Let m be (4/10*17)/((-7)/140). Let p = 106 - m. Let t = -94 + p. Does 45 divide t?
False
Suppose 101*d = 96*d + c + 3448, 1386 = 2*d + 3*c. Is d a multiple of 5?
True
Suppose s - 6856 = 454. Suppose 5*l = -5*l + s. Does 14 divide l?
False
Does 98 divide (-358)/(-1611) - 2/((-54)/826653)?
False
Suppose 2*f + o + 1 = 0, 0*o + 3*o = 2*f + 21. Does 12 divide (-558)/(-2) + (-9)/(-3) + f?
False
Let u = 78 + 246. Suppose -343 = -23*k + u. Is k a multiple of 3?
False
Suppose -2*x + 1882 = -890. Is 63 a factor of x?
True
Let c = 502 - 492. Is 20 a factor of -2 - 2*(-9555)/c?
False
Let t = -82 + 10665. Is t a multiple of 19?
True
Let b = -205 - -207. Let n(l) = 5*l**2 + l - 2. Let g be n(10). Suppose 6*y - b*y = g. Is y a multiple of 10?
False
Let o(v) = -9*v - 68. Let l be o(-18). Suppose 5*i + 74 = l. Suppose 216 + 181 = f - 4*k, -4*f = i*k - 1528. Is 12 a factor of f?
False
Suppose 5*p - 347 = -3*n - 26, n + p - 109 = 0. Let t = 6 - 6. Suppose t = -y + 9*y - n. Does 8 divide y?
False
Let c(i) = 2195*i**2 - 268*i + 8. Is 196 a factor of c(6)?
True
Suppose -54*s = 264105 - 1103859. Is 9 a factor of s?
False
Suppose -36 = 73*a - 79*a. Let c(i) = 25*i**2 - 27*i + 73. Is 12 a factor of c(a)?
False
Let b be (-2 - (-9 - -8))/(3/(-843)). Suppose -583 = -24*d + b. Is d a multiple of 9?
True
Suppose 3*p - 8*p = -1785. Let l be (4/(20/5))/((-1)/p). Let u = -152 - l. Is u a multiple of 20?
False
Let h(y) = -1198*y - 420. Is 22 a factor of h(-9)?
True
Is 10 a factor of (-5)/3 + 1925140/420?
False
Let y be (-3 - (-15)/5)*4/8. Suppose v + 13*f - 23 = 9*f, -f = y. Does 9 divide v?
False
Suppose 260*v - 2*i - 46368 = 257*v, -v = 4*i - 15428. Is v a multiple of 47?
False
Let w(i) = 2*i + 2. Let z be w(-2). Let o(y) be the third derivative of -y**6/24 + y**5/60 - y**4/12 - 62*y**2. Is o(z) a multiple of 6?
True
Suppose 2*m - 142 = 40. Is 24 a factor of m - (5 + (-7)/(-7))?
False
Does 86 divide 173 - (0*(-2)/8 - 3)?
False
Let y(p) = -p**3 + 39*p**2 + 112*p - 499. Is 53 a factor of y(30)?
False
Let t(b) = -5*b - 22. Let m be t(-5). Suppose 2268 - 607 = m*y - 4*d, -3*y - 2*d = -1685. Suppose y = -2*i + 15*i. Is i a multiple of 26?
False
Suppose 58*l - 63*l = -15, 3*l = -4*g + 13165. Does 11 divide g?
True
Let w(k) = 2*k**2 - 21*k - 38. Let f(p) = -p**2 + 22*p + 38. Let x(j) = -4*f(j) - 3*w(j). Let b(t) be the first derivative of x(t). Is 6 a factor of b(-14)?
False
Let k be (3 - 5)/(-2 - (-4)/3). Suppose 2*d = -3*y - 6, 2*d - k*d = -2*y + 3. Let p(m) = -25*m + 17. Is 46 a factor of p(d)?
True
Suppose -l + 10894 = 4178. Suppose -9781 - l = -47*x. Is x a multiple of 13?
True
Let f be (-2)/(-3) + 3/9. Let v(u) be the third derivative of 29*u**4/24 - u**3/2 - 80*u**2. Is v(f) a multiple of 13?
True
Suppose -3*b + 36846 = -v - 51361, -4*b + 117579 = 3*v. Is b a multiple of 147?
True
Let t(h) = 2400*h + 296. Does 22 divide t(17)?
True
Let i(f) = -13*f**3 - 2*f**2 + 4*f - 2. Let p be i(1). Let u(d) = d**2 - 20*d - 79. Does 12 divide u(p)?
False
Suppose -3*h = -3*t - 16 + 1, h - 4*t - 5 = 0. Suppose 0 = -h*y + 696 + 1554. Is y a multiple of 10?
True
Let u(z) = -z**2 - 28*z - 15. Let p be u(-16). Suppose 78 = 5*g - p. Let w = g - 43. Is 7 a factor of w?
False
Suppose -18*q - 4*q = 10*q. Suppose -o - 2*f + 545 = q, 0*o + 557 = o + 5*f. Is o a multiple of 8?
False
Suppose -2*w = j + 610, -3*j = -w + 142 + 1723. Let m = -429 - j. Does 13 divide m + 8 + (0 - 4)?
True
Let x(q) = -10*q + 36. Let p(j) = -20*j + 73. Let i(n) = 2*p(n) - 5*x(n). Let c be i(-6). Let k = -71 - c. Is 19 a factor of k?
False
Suppose -24*g + 15717 + 23811 = 0. Does 9 divide g?
True
Suppose 5*z + a - 80 = 0, 3*z - 2*a - 64 = -z. Suppose z = 18*m - 14*m. Is m a multiple of 4?
True
Let k = -649 + 1041. Suppose -3*a - 588 = -3*w, -3*a + a = 2*w - k. Does 14 divide w?
True
Suppose 4*v - 9 = -1. Suppose 2*x - 3*h - 51 = -v*h, -2*h - 10 = 0. Let a = 33 - x. Is 10 a factor of a?
True
Suppose 28*q - 29*q = -l - 6697, -q + 4*l + 6712 = 0. Is 70 a factor of q?
False
Suppose -2*o - 31 + 123 = 0. Suppose -l - 4*q - o = 1, -127 = 3*l + 5*q. Let h = l + 71. Does 6 divide h?
False
Let l(z) = -z + 7*z + 4 + 3*z + 0. Is l(5) a multiple of 7?
True
Let o(y) = -14*y + 14. Suppose -20 = 19*v - 14*v. Let z be o(v). Does 14 divide z/(-3)*(-3)/15*6?
True
Suppose 0 = -119*p + 666639 - 120191. Is p a multiple of 8?
True
Let r = 9092 + -8069. Is 4 a factor of r?
False
Is 60 a factor of ((-2365136)/(-391) - -11) + (-3)/(-51)?
True
Let p(h) = h**3 + 17*h**2 + 13*h + 16. Let o be p(-14). Suppose 0 = 5*m - 10, 3*m + m - o = -2*g. Is 23 a factor of g?
True
Let v(w) = -3*w + 6. Let t be v(1). Suppose t*s - 491 = 25. Is s a multiple of 5?
False
Suppose -46*x - 229*x + 3094850 = 0. Is 34 a factor of x?
True
Let m(a) = -564*a - 199. Let f be m(-5). Let i = f - 1571. Is i a multiple