 Suppose 2*a + q*p - 77 = 0, 47 = 4*a - 3*p - 94. Is a a multiple of 2?
True
Let h(x) = x**3 - 11*x**2 + 13. Let q be h(11). Suppose 4*p + 9 - q = 0. Let l(n) = 107*n**2 - 4*n + 2. Is l(p) a multiple of 15?
True
Let g = 956 + -156. Let s = g + -274. Does 20 divide s?
False
Is ((-705410)/(-90) - 54) + 2/(16 + 2) a multiple of 23?
False
Does 13 divide 1/(3/3870*-2)*(-272)/10?
False
Let p(m) = 1994*m + 166. Does 69 divide p(4)?
True
Let b(d) = -33*d - 29. Let k be b(-12). Suppose 0 = 4*w - 7*w + 1605. Let x = w - k. Does 28 divide x?
True
Let r = -291 - -288. Let q(m) be the third derivative of 7*m**5/60 + 7*m**4/24 + m**3/3 + 4*m**2. Is 11 a factor of q(r)?
True
Suppose -2610 = 11*t - 16646. Is 11 a factor of t?
True
Let u(n) = 29*n**2 + 6*n. Suppose -8*w + 110 = 3*w. Let s = 8 - w. Is 19 a factor of u(s)?
False
Let q(h) = h**3 - 22*h**2 + 80*h. Does 11 divide q(21)?
False
Suppose 4*p + g - 21 = 2*p, 0 = 4*p - g - 27. Suppose p*s - 129 = 15. Suppose s = 10*f - 8*f. Is f a multiple of 9?
True
Let a be (-1)/(-4 + (-21)/(-5)). Let o(x) = -4*x - 16. Let t be o(a). Is 4 a factor of (t/(-24))/(1/8)*-6?
True
Let b(w) = -w**3 - 8*w**2 + 8*w - 13. Let x be b(-9). Is 35 a factor of 69 - 2/x*(3 - 1)?
True
Let l be 4/(-8)*6 - -265. Let p be 2/(-10) + l/10. Let a = 86 - p. Is 4 a factor of a?
True
Suppose 2*o - 4 = -14*w + 18*w, 3 = -o - 3*w. Suppose 3*u = o, 2*r - 2*u = -6*u + 232. Does 42 divide r?
False
Let l(v) = 13*v**2 - 594*v + 138. Is 298 a factor of l(82)?
False
Let x(z) be the third derivative of -5*z**4/12 - 23*z**3/2 + 4*z**2. Let m(t) = 15*t + 103. Let q(d) = 5*m(d) + 8*x(d). Is q(-17) a multiple of 4?
True
Let o be ((-81)/6)/(-9)*2. Is 66/55*10/o a multiple of 4?
True
Does 159 divide 13/(-2)*1/(4*(-9)/64008)?
False
Let x(k) be the second derivative of k**4/6 + k**3/3 - 5*k**2/2 + 8*k. Let t be x(-3). Suppose t*g + 119 - 357 = 0. Does 5 divide g?
False
Let a = 298 - 126. Let y(w) = 171*w - 11 - a*w + 9 + 41. Is 7 a factor of y(11)?
True
Let f be ((-14)/21)/((-750)/747 + 1). Let x = -111 + f. Is x a multiple of 3?
False
Let u = -5198 - -12914. Does 31 divide u?
False
Let w(p) = 270*p - 1197. Does 87 divide w(22)?
False
Let q be 3 + ((-18)/(-15))/(6/15). Does 3 divide (-157)/(-5) + q/(-15)?
False
Let r(x) = -19*x - 836. Is 26 a factor of r(-51)?
False
Let t = 293 - 288. Suppose -101 = -3*b + 5*p, 2 = t*p + 7. Is 15 a factor of b?
False
Suppose 775 = 7*x - 604. Let q = x - 143. Is 9 a factor of q?
True
Let s(o) = 82*o - 7. Let x(p) = 0 - 2 - 2 + 1 + 41*p. Let h(j) = -3*s(j) + 7*x(j). Does 28 divide h(3)?
False
Suppose i = -5, -1242*f + 1238*f + 11414 = 2*i. Does 17 divide f?
True
Suppose -3*z = 3*v - 38 - 10, v + 5 = 0. Suppose 0 = -z*p + 5488 + 5936. Is 24 a factor of p?
False
Suppose -2*b + 3173 = 3*y, -14*y + 5*b = -10*y - 4223. Does 7 divide y?
True
Let y(d) be the second derivative of 0 - 1/20*d**5 - 30*d + 19/6*d**3 - 4*d**2 + 7/12*d**4. Is 16 a factor of y(8)?
True
Let q(j) = 5*j**2 + 24*j - 2. Is q(-17) a multiple of 115?
True
Let q(a) = -18*a - 29. Suppose 4*k = -2*f - 50, 59 = 5*k - 2*f + 144. Is q(k) a multiple of 20?
False
Suppose 1282*d + 1281024 = 1330*d. Is 12 a factor of d?
True
Suppose 12 = 3*d, 1195 = -3*i - 4*d + 5423. Is i a multiple of 9?
True
Does 13 divide 135/75 - (-66551)/5?
True
Let c(f) = 24*f**2 - 28*f + 33. Is 17 a factor of c(5)?
True
Suppose 0 = 4*k + 4*a + 24, -2*k - a - 9 + 2 = 0. Is 28 a factor of 699/5 + k/(-5)?
True
Let d(y) = -2*y - 1. Let c be d(4). Let k(n) = -n**2 - 3*n + 19. Let a be k(c). Let x = a - -155. Is x a multiple of 20?
True
Let z(y) = -y**3 - 23*y**2 - 26*y - 104. Let t be z(-24). Suppose 611*b - 615*b = -t. Is 30 a factor of b?
False
Let m be (-23)/(-21) - 1 - (-8)/(-84). Suppose d - 4*o - 151 = m, 4*o - 201 = -d - 42. Is 5 a factor of d?
True
Is 126 a factor of (7 - (-1 - -3)) + (8819 - (-63)/(-9))?
False
Suppose -m = 4*g + 83, 3*g = 3*m - 85 + 34. Let f(a) = -a**2 - 20*a + 85. Does 50 divide f(g)?
False
Let j(q) = 2*q**2 + 139*q + 2178. Does 33 divide j(-75)?
True
Let j(a) = 7*a + 77. Suppose 22 = 6*r - 134. Is 7 a factor of j(r)?
True
Let o(n) = -36*n**3 + 6*n**2 + 75*n + 270. Does 5 divide o(-4)?
True
Let v(q) = -53*q**2 - 20*q + 26. Let k(m) = 18*m**2 + 7*m - 9. Let n(a) = -11*k(a) - 4*v(a). Let s be n(-5). Suppose -23*y + 20*y = -s. Is 11 a factor of y?
True
Suppose 4*n + 3*c = 555, c + 200 = -4*n + 753. Let r = 241 - n. Is r a multiple of 5?
False
Let o = 592 + -590. Suppose 968 = o*p + 60. Is 22 a factor of p?
False
Let s = -35 - -60. Let h be -23 + s - (3 - 1). Suppose -4*t + p + 0*p + 36 = h, 3*t - 2*p = 32. Does 5 divide t?
False
Suppose a - 2*a - d = 2, -10 = a + 3*d. Suppose 3*w + a*w + 290 = x, -5*w = 10. Is x a multiple of 35?
True
Let h = 81 - 83. Is 28 a factor of (92 - -2) + (0 - (h - -7))?
False
Let f(k) = 209*k + 1944. Is 8 a factor of f(32)?
True
Suppose 5*d + 3*l = 7356, -3*l - 2934 = 72*d - 74*d. Does 21 divide d?
True
Let r(c) = -c**2 - 11*c - 22. Let n be r(-8). Suppose -5*u + 593 = 4*z, -2*u - n*z + 141 = -95. Is u a multiple of 22?
False
Let t(z) be the first derivative of -z**7/420 - 7*z**6/360 + z**5/20 + z**4/8 - 3*z**3 + 6. Let a(h) be the third derivative of t(h). Is a(-6) a multiple of 13?
False
Let w(l) = -l**3 - 4*l**2 - 14*l + 22. Suppose -4*o + 9 - 37 = -4*x, -o - 23 = 3*x. Does 33 divide w(o)?
True
Let d(n) = 15*n - 6. Let u be d(5). Let g = u - 49. Is 3 a factor of ((-115)/g - -5)*-20?
True
Let g(s) = -s**3 - 7*s**2 - 7*s + 9. Let w be g(-6). Is w/(-5)*6/9*-80 a multiple of 32?
True
Let d = -13715 + 25451. Is 12 a factor of d?
True
Let h(d) = -d**3 - 9*d**2 - 16*d - 23. Let r(f) be the second derivative of -7*f**4/12 - f**3/6 - f**2/2 - 43*f. Let v be r(1). Does 23 divide h(v)?
False
Suppose 5*o - 2*c = 256 + 8154, -o + 5*c = -1659. Let x = o - 606. Is 68 a factor of x?
False
Suppose 0*f = 4*r - 5*f - 28, -3*f - 12 = 0. Let d be (r/8 - (-378)/56) + -4. Is -5*(d + -21)*4/5 a multiple of 8?
True
Suppose -4*q - 5757 + 621 = 0. Let g = -909 - q. Let p = 575 - g. Does 25 divide p?
True
Suppose 8394 = 91*p - 85*p. Let c = p + -839. Does 56 divide c?
True
Suppose 6 = -3*o, -2*j + 44*o - 42*o = -390. Suppose j*i + 45 = 196*i. Does 3 divide i?
True
Let d = 777 - 772. Suppose -27*o - 3*f - 1620 = -30*o, d*o - 2700 = 4*f. Is o a multiple of 20?
True
Let a = 445 + -114. Let w = a + -201. Is w a multiple of 10?
True
Let b = -2 - -11. Let d(r) = -3*r + 13 + 8*r + b. Is d(7) a multiple of 7?
False
Is 75/(((-1)/(-5))/((-90)/(-50))) a multiple of 15?
True
Let j(l) = 25*l + 1473. Does 16 divide j(65)?
False
Let c be ((24/9)/(-4))/((-4)/114). Suppose 0 = 3*z + 3*l - c - 98, 122 = 3*z + 2*l. Suppose 0 = -3*y - 3*b + 63, 0*b = -2*y - 4*b + z. Is 5 a factor of y?
True
Suppose -56*u + 17804 + 112060 = 0. Does 21 divide u?
False
Let i(g) = -g**2 - 267*g + 1112. Is 34 a factor of i(-87)?
False
Let p = -2641 + 3860. Is 23 a factor of p?
True
Let s = -186 - -14214. Does 29 divide s?
False
Let t(k) = 131*k - 20. Let y be t(3). Does 25 divide y - (-11)/(33/6)?
True
Does 4 divide 3416/7 + -1 + (-8)/(-8)?
True
Let o = 73 + -70. Suppose -2*w + 2 = 2*h, 0*w = -h - 2*w - o. Is 1014/13 - (-1 + h) a multiple of 11?
False
Let s be -20*(-3)/12 + -1. Suppose -4*f + 0*q + 1812 = 4*q, f - s*q = 428. Is 9 a factor of f?
False
Let h(d) = 158*d + 7352. Is 35 a factor of h(-32)?
False
Suppose 0 = -s - b + 1616, -5*s + 10995 = -2*b + 2971. Is 12 a factor of s?
True
Let w be (3/6*(2 - 2))/2. Suppose q - 231 - 138 = w. Is q a multiple of 53?
False
Suppose 3*t = 18 - 18. Suppose 0 = -s + 2*s + 5*l - 84, -4*s - 3*l + 336 = t. Is s a multiple of 21?
True
Suppose 118 = 7*a - 5*a - 3*p, 53 = a - 3*p. Suppose -o + 16 = 3*y, -4*y - 7*o + 18 = -5*o. Suppose 0 = y*q - 2*q - a. Does 13 divide q?
True
Let p = 808 - 465. Is 49 a factor of p?
True
Let i be ((-90)/(-72) + 193/12)*-9. Let z = 617 - i. Does 28 divide z?
False
Let i(x) = 33*x - 1. Let l be i(1). Suppose -2664 + l = -5*s - 4*m, -2*s + m + 1058 = 0. Is 29 a factor of s?
False
Let k be (-2)/((-6)/(-9))*-1. Suppose -5*s = -k*p + 30 + 19, -4*p - 4*s + 76 = 0. Let v = p + 6. Does 10 divide v?
False
Let g be (2 - (-10)/(-4)) + 10143/14. Suppose 3*f + a = g, 7*a - 2*a = 2*f - 460. Is f a multiple of 30?
True
Let n = 49 - 45. Suppose -4*b + 31 = b + 4*o, -5*b