 = -30*q + k. Is q a multiple of 8?
False
Suppose 202*r + 235*r - 472*r + 330750 = 0. Is 14 a factor of r?
True
Let t be -5 + 3 + 532/2. Suppose 3*l - 3*q = 810, 0 = l + q - 4*q - t. Is 11 a factor of l?
False
Suppose 2*k + 413 = 2*o - 1015, 2*o - 5*k = 1410. Is o a multiple of 23?
False
Let d(b) = -59*b**3 + 11*b**3 + 13*b**3 + 17*b**2 - 13*b + 80 + 15*b**3 + 19*b**3. Is d(16) a multiple of 5?
False
Suppose 26*u = 18*u + 160. Suppose u*d - 1547 = -147. Is 8 a factor of d?
False
Let p(r) be the third derivative of 0*r + 0 + 1/3*r**4 + 0*r**3 + 15*r**2. Does 6 divide p(3)?
True
Let l = 1595 + 385. Does 90 divide l?
True
Let s(r) = r**3 + 8*r**2 - 5*r - 8. Let d be s(-6). Suppose 4*f = 3*n + 625, 0 = 3*f + 4*n - 3*n - 459. Let k = f - d. Is k a multiple of 10?
True
Does 25 divide ((-40)/10 - -214)*(30 - 0) + -4?
False
Let l be 8*477/6 + 4/(-4). Suppose -5*o - 2*c + 892 = 0, 79 = -3*o + 4*c + l. Suppose -4*v - v + o = 0. Is 6 a factor of v?
True
Let h be -21 - (6/10)/(9/45). Let z be 0 + 1 + 6/(h/212). Let c = z + 68. Does 8 divide c?
True
Suppose t = d - 9, -2*t + 31 = -5*t + 2*d. Let c(r) = -r - 3. Let p be c(-2). Is (t + 4)/(0 - p/(-21)) a multiple of 27?
True
Suppose -150*l + 106114 + 391861 = -45175. Is l a multiple of 12?
False
Let h = 799 - -1593. Is h a multiple of 46?
True
Let z(k) = k - 1. Let j be z(17). Let a(v) = v**2 - 16*v + 29. Let x be a(j). Suppose 3*u - x - 133 = 0. Does 26 divide u?
False
Let t(a) = 519*a - 386. Is 22 a factor of t(28)?
True
Let p(k) = -22*k**2 + 8*k + 11. Let l(q) = -15*q**2 + 5*q + 7. Let v(z) = -8*l(z) + 5*p(z). Is v(1) a multiple of 9?
True
Let k(p) = 1718*p**2 + 80*p + 78. Is k(-1) a multiple of 44?
True
Let k be 6/(-14) - (-3 - (-416)/(-56)). Does 68 divide 237 + 4 + (7 - k)?
False
Suppose -1569984 = -127*z - 21*z. Is 136 a factor of z?
True
Suppose -2*g = g + 3. Let h(c) = -37*c + 4. Let q be h(g). Suppose -43*x + q*x + 312 = 0. Does 39 divide x?
True
Let d be (1603*(-4 + 6))/((-4)/(-8)). Suppose 14*i - d = -14*i. Is i a multiple of 4?
False
Suppose -3*a - 20*u + 23*u = -2607, a = 5*u + 889. Suppose 0 = 60*k - 63*k + a. Is k a multiple of 48?
True
Let x = 6892 + -6084. Does 3 divide x?
False
Let f(y) = 4*y**2 - 30. Suppose b = u, -4*u - 6*b + 20 = -5*b. Suppose u*m - 22 = -2. Is f(m) a multiple of 9?
False
Let g(p) = -6*p + 3. Let n be g(-1). Suppose -l - 4*t = -n, 0 = l + t - 11 - 10. Suppose 5*c - 385 = -l. Is 8 a factor of c?
True
Let i(s) = 6*s - 6. Let t be i(2). Let u be (27/6)/1*t. Suppose u*c + 6 = 29*c. Is c a multiple of 3?
True
Does 22 divide 1408/(-55)*6050/(-60)*3?
True
Let d be (1 - -2)/(12*(-4)/(-64)). Suppose -4*z + d*w + 1220 = 0, 10 + 15 = 5*w. Is 43 a factor of z?
False
Suppose 22 = 4*s + 5*v, -s + 3*s - 2*v = 2. Suppose -s*d - 479 = -r, 5*r = 4*d - 0*d + 657. Is -2 + -1*(d + 4/2) a multiple of 11?
True
Suppose 3*i = 4*r + 4847 + 13897, -5*i + 31248 = -4*r. Does 5 divide i?
False
Suppose k - 9 = -13. Let x(u) = -49*u + 2. Let v be x(-7). Is (-2 - v/20)*k a multiple of 26?
False
Let d(u) = 246*u**3 - 2*u**2 - u + 3. Suppose -t = 3*t - 4. Is d(t) a multiple of 30?
False
Suppose -3*s = -2*r + 8, 5*s + 5*r - 8*r = -12. Suppose s = 5*i + 3*w - 1453 - 127, i + 3*w = 328. Is 29 a factor of i?
False
Is (-19 - 55021)/(-10) - 3 a multiple of 19?
False
Suppose -32*c = -55*c + 204056. Is c a multiple of 12?
False
Let l(g) = 4*g**2 - g + 5. Let c(b) = b**3 - 8*b**2 + 2*b - 12. Let w be c(8). Suppose -4*m + 2*k = 3*k - 21, w*m + 3*k = 23. Does 31 divide l(m)?
False
Is 68 a factor of 8 - (122325/(-5) - (6 - 3/3))?
False
Let a = -837 + 4080. Is 26 a factor of a?
False
Let f(j) = 2*j**2 - 12*j - 3. Let y be f(6). Let g(t) = -107*t - 53. Is g(y) a multiple of 67?
True
Suppose -57*v + 41*v + 960 = 0. Is 20 a factor of 2104/3 - v/45?
True
Let r = 13 - 9. Suppose 600 = r*t + 4*m, 3*m = 2*m. Is 25 a factor of t?
True
Let r(p) = -747*p + 1026. Does 42 divide r(-16)?
True
Suppose -76 + 26 = -2*a. Suppose a*c - 21*c = 1104. Is c a multiple of 12?
True
Let k(f) = f**3 - 8*f**2 + 6*f + 4. Let h be k(7). Does 6 divide (7 - (h - 43)) + (-1)/(-1)?
True
Let o(h) = -16*h - 37. Let y be o(-8). Let a = 130 - y. Is a a multiple of 22?
False
Let i be (-285)/(-3) + (-22)/11. Suppose -165 + 45 = -p - 5*u, -p + 4*u = -i. Is 7 a factor of p?
True
Let p(f) be the first derivative of -f**7/420 - f**6/90 + f**5/40 + 3*f**4/8 - 7*f**3 + 11. Let m(n) be the third derivative of p(n). Does 18 divide m(-3)?
True
Let q(z) = 26*z**2 - 115*z - 343. Does 3 divide q(-3)?
False
Suppose -8*u - 58 = d - 4*u, 2*d - 5*u + 90 = 0. Let v = 74 + d. Suppose r - v = -r. Is 12 a factor of r?
True
Let b = 3061 + -2138. Does 3 divide b?
False
Let i(d) = 78*d - 6. Suppose f - 9*f = -8. Is 8 a factor of i(f)?
True
Let g = 557 - 2. Let i = g + -287. Suppose -3*j + 257 = 2*h, -i - 159 = -5*j - 2*h. Is j a multiple of 17?
True
Let i(x) = -691*x - 5. Let f be i(-2). Suppose -5*t = 4*t + f. Let m = t + 280. Is m a multiple of 9?
False
Let d(n) = 960*n - 4536. Does 36 divide d(48)?
True
Let f(z) = 240*z**2 - 3*z + 1. Let l be f(1). Suppose -18*y + 32*y = l. Is y even?
False
Let y = -60 + 65. Suppose -y + 5 = 7*g. Suppose g*f - 4 = -f, -4*i + 4*f = -344. Is 9 a factor of i?
True
Let d(m) = -2*m**3 - 9*m**2 + 20 - 11*m**2 + m**2 + 11*m + 5*m**2. Let u be d(-11). Let f = u - 602. Does 15 divide f?
False
Let j(a) be the third derivative of 0*a + 1/10*a**5 + 36*a**2 + 2/3*a**3 + 0 + 0*a**4. Is j(-3) a multiple of 29?
True
Suppose -4*t + 3*z + 27 + 12 = 0, 50 = 5*t - 4*z. Suppose -4*j + 3*u = -234, 0*u - t = -3*u. Suppose -9*h + j + 57 = 0. Is h even?
False
Let t = 1566 - 1101. Let r = 529 - t. Is 16 a factor of r?
True
Let u(m) = 10*m**2 + 20*m + 229. Let w(g) = 3*g**2 + 7*g + 76. Let v(y) = -2*u(y) + 7*w(y). Let n be (-1)/(-7 + 198/28). Does 16 divide v(n)?
True
Suppose -13*s - 2*s = 241305. Let u = s + 3721. Is 14 a factor of u/(-126) - 1/7?
True
Suppose -4*f = 32*h - 33*h + 1048, 3128 = 3*h + 4*f. Is h a multiple of 18?
True
Let i = 36 - 27. Let a = i + -6. Suppose 2*o - x = -a*x + 228, -2*o - 3*x + 224 = 0. Does 21 divide o?
False
Let q = -5 - -5. Suppose -x - 8 = -3*d, -x - 4*x + 4*d = -4. Suppose -3*l = -2*v - 352, q = 5*l + v - x*v - 587. Does 30 divide l?
False
Suppose 10*c = 21*c - 55. Suppose x + j = -2*j + 22, -c*x = j - 138. Does 7 divide x?
True
Suppose -20491 = 49*g - 116188. Is g a multiple of 63?
True
Suppose -f - 27 = -2*f - 2*p, 33 = f - p. Let d be 3*(-5)/(-30)*-82. Let h = f - d. Does 6 divide h?
True
Suppose 3*l - 3246 = -0*s + 3*s, l - 1058 = -5*s. Let f = 1577 - l. Does 8 divide f?
False
Let j(v) = v**3 + 20*v**2 + 18*v - 14. Let p(m) be the first derivative of -m**3/3 - 6*m**2 - 19*m + 1. Let g be p(-12). Is 2 a factor of j(g)?
False
Suppose -526*p + 522*p + 368 = 0. Is p a multiple of 2?
True
Suppose -13*j = -64703 - 23671. Is j a multiple of 14?
False
Does 23 divide ((-11)/(-3) + -4)*(-18 + -100581)?
False
Let y be 2 + (-3)/1 + (-14182)/(-7). Suppose -y = 2*r - 7*r. Suppose -r = -2*l + 125. Is 18 a factor of l?
False
Let g = 10017 - 5489. Is 16 a factor of g?
True
Suppose 0 = -5*v + 227 + 273. Let r(x) = 77*x**3 - x**2 + 13*x + 15. Let t be r(-1). Let s = v + t. Is s a multiple of 10?
False
Let n = -273 - -274. Is 71 a factor of n/(((-2)/710)/((-12)/60))?
True
Let h(j) = 22959*j**2 + 149*j + 148. Does 13 divide h(-1)?
True
Is (-20 - (13 - 4))*(1*-447 - 0) a multiple of 87?
True
Suppose p = 2*p + 3*l - 463, p + 5*l = 457. Suppose 0 = 3*u - 4*x - p, 5*u + 2*x - 1039 = -209. Does 13 divide u?
False
Let f(a) be the third derivative of -a**4/6 + 2*a**3/3 - 59*a**2 + 1. Is f(-1) a multiple of 4?
True
Let w(t) = -6*t**3 + 4*t**2 - 8*t + 2. Let p(u) = 17*u**3 - 13*u**2 + 27*u - 7. Let j(b) = -2*p(b) - 7*w(b). Let y = -1 + 2. Is j(y) a multiple of 3?
False
Suppose 28 = 2*a - 100. Suppose 0 = -58*v + a*v - 4548. Does 20 divide v?
False
Let t(b) = -b**2 - 18*b + 43. Let u be t(-20). Suppose v = u, -59 - 148 = -3*n + 5*v. Does 2 divide n?
True
Let q(u) = -u**2 - 15*u + 8. Let t be q(-8). Let z(y) = 7*y + 4. Let o be z(-7). Let r = t + o. Is 6 a factor of r?
False
Let r(u) = u**3 + 100*u**2 - 418*u - 179. Let p be r(-104). Let k = -2 + 5. Suppose -k*t + 19 = -p. Is 2 a factor of t?
True
Let m(b) = 4*b**2 - 10*b**2 + 1 + 4 - 8*b + b**3. Let x be