 0 = 4*k + 20. Is 12 a factor of v?
True
Is 138 - (378/(-99) - 14/77) a multiple of 6?
False
Let q(p) = p - 10. Let t(a) = -a + 19. Let l(y) = 7*q(y) + 3*t(y). Let i be l(4). Suppose i*r = 5*o - 364, 2*o - 133 = 3*r - 6*r. Is 25 a factor of o?
False
Suppose 0 = -12*p + 25*p. Suppose -5*c - 4*v + 580 = p, 0*c - 4*c = -5*v - 505. Does 4 divide c?
True
Let b(r) = 3*r**2 + 11*r + 45. Let c be b(-7). Let f = c + 232. Is 15 a factor of f?
False
Let b be 1828/18 - (-140)/315. Does 3 divide (b/(-4))/(13 + -7)*-56?
False
Suppose 0 = -2*d - 57 + 7. Let f be -5*(962/65 + (1 - 4)). Let g = d - f. Does 18 divide g?
False
Suppose -187 = -6*u - 151. Is -1*(-5 + u + -204) a multiple of 7?
True
Let d = -2799 + 10765. Does 32 divide d?
False
Let c be (3 - (-75)/(-35))*-56. Let w = -41 - c. Suppose -w*b = -5*b - 36. Is b a multiple of 6?
True
Let x(u) = -u + 30. Let y be x(20). Suppose -3*m - 7 = -2*z, -m - m - y = -4*z. Suppose z*i = o - 83, 0 = -3*o - 0*o - 4*i + 249. Does 19 divide o?
False
Suppose -5*u = -4*m + 50860, -2*m + 25412 = 24*u - 22*u. Does 62 divide m?
True
Let d = 26347 + -19003. Does 8 divide d?
True
Suppose 5*m - 5*g - 22235 = 0, 0 = -5*m - 5*g + 11221 + 11004. Is 9 a factor of m?
True
Let g = 70 - 73. Let f be 2*10/(-15)*1*g. Is (f - 11)/(3/(-54)) a multiple of 14?
True
Let d(z) = -z**3 - 3*z**2 + 49*z - 1. Suppose -i - 3*i - 5*m = 0, 2*m + 13 = i. Is d(i) a multiple of 6?
False
Let f = -577 + 577. Is (f + (-1125)/20)/((-3)/24) a multiple of 10?
True
Let t(h) = -65*h - 74. Let i be t(-10). Suppose 148*p + i = 154*p. Is 8 a factor of p?
True
Let s = -14 - -1869. Is s a multiple of 5?
True
Suppose -143 = -x + 225. Let m = -32 + x. Does 56 divide m?
True
Let z = 5 + 0. Let b(a) = 74*a + 65*a - 123*a - 4. Is 17 a factor of b(z)?
False
Let c(b) = -2*b**3 - 20*b**2 - 110*b + 64. Does 16 divide c(-23)?
False
Let n = 20969 + -13769. Does 60 divide n?
True
Suppose 28*g = 5*g + 138. Does 7 divide g/51 - 1/(85/(-14270))?
True
Let m(k) = -k**3 + 125*k**2 - 218*k + 2068. Is 26 a factor of m(123)?
True
Let z(f) = 111*f**2 + 258*f - 6. Is z(5) a multiple of 9?
True
Suppose -3*u + n + 16 = 0, -6*u = -u + 5*n. Suppose 5*b + 6 = -2*q, b + 3*b - 5*q = 15. Suppose 2*m - 13 = -l - 0*m, b = u*l - 3*m + 3. Is l even?
False
Let y(q) be the third derivative of -2/15*q**5 - 1/8*q**4 + 0*q - 11*q**2 - 1/120*q**6 + 0 + 2*q**3. Is 12 a factor of y(-8)?
True
Let l(z) = -z**2 - 15*z + 15. Let g be l(-14). Let q = -29 + g. Suppose -3*w + 47 + 13 = q. Does 4 divide w?
True
Let o = 4700 - 1884. Suppose 25*b - 36*b = -o. Is 32 a factor of b?
True
Let q(r) = -r**3 + 8*r**2 - 11*r + 5. Let a be q(6). Suppose -a + 11 = -4*j. Suppose 3*f - v - 110 = -j*f, -f = -2*v - 45. Does 5 divide f?
True
Suppose -10 = 3*o + 5, 0 = w - 4*o - 27. Suppose -9*y + 317 = 3*h - w*y, -5*y + 320 = 3*h. Does 14 divide h?
False
Let j = 12593 - 11320. Is 19 a factor of j?
True
Suppose -5*p - 64 = -139. Is 2*(p/(-6) + 1) + 82 a multiple of 9?
False
Suppose -d + 1 = 2*s - 4*s, 2 = 4*s + 2*d. Suppose 3229*x - 45 = 3220*x. Suppose -6*w = 3*o - 3*w - 393, s = 2*o - x*w - 241. Is o a multiple of 24?
False
Suppose 108*y - 933749 = 22*y - 47605. Does 92 divide y?
True
Let q(m) = 13*m + 171. Let r be q(-13). Does 28 divide 4 + -11 + (416 - r)?
False
Let d be (63/8 - 7/(-56))/2. Suppose -4*y = 0, 0 = 3*q + d*y - 2*y - 1215. Is q a multiple of 17?
False
Suppose -13*u = 2028 + 1937. Let g = u + 443. Does 13 divide g?
False
Let t = -15256 + 23784. Is t a multiple of 82?
True
Let j be -1 + 0 - (-5)/(5/6). Suppose 3*k = -2*x + 3, -j*x - 4*k - 3 = -7. Suppose 4*f - f - 9 = x. Is f a multiple of 3?
True
Let u(p) = 28*p**2 + 2*p - 1. Let h be u(1). Let w(m) = m**3 - 32*m**2 + 92*m - 48. Is w(h) a multiple of 4?
False
Suppose -5*m + 80 = -3*g, -2*g + 4*m - 60 = -m. Is (-2 + g/4)*-150 a multiple of 25?
True
Does 133 divide (-67422)/(-6) - (0 + 1)*-2?
False
Suppose -7*z - 12 = -4*z. Let f(q) = 11*q**2 - 10*q - 16. Does 8 divide f(z)?
True
Suppose -3*b + 4833 = -5*f, -4*b = 95*f - 100*f - 6449. Is b a multiple of 16?
True
Does 143 divide 16/(-3)*(-1 + 6/3)*-1374?
False
Let t(q) = -15*q**2 - 352*q - 20. Is 35 a factor of t(-9)?
False
Let a = 4114 - 2959. Is a a multiple of 5?
True
Suppose -45*q + 308920 = -103820. Is 32 a factor of q?
False
Let t(s) = -s**3 + 3*s**2 + 7. Let v be t(3). Suppose 3*d - 297 = -5*c, -4*c = 4*d - v*c - 367. Is d a multiple of 43?
False
Suppose -5*v + 4*l + 20 = 0, v - l - 8 = -v. Suppose v*k = -3*m + 1235, k - 2*m + 1549 = 6*k. Suppose 5*f - 444 = k. Is 11 a factor of f?
False
Let b = -132 - -128. Is 55 a factor of (b - 150)*(-10)/4?
True
Let a(k) = 83*k**2 + 57*k + 828. Is a(-15) a multiple of 63?
True
Let a = 3900 + 2396. Is 9 a factor of a?
False
Let y = -4036 + 8447. Is y a multiple of 65?
False
Let o(w) = -573*w + 146. Let t be o(-9). Let m = -3569 + t. Is m a multiple of 34?
True
Let k(z) = -z**3 - 15*z**2 - 19*z - 22. Let h = 127 - 141. Is 8 a factor of k(h)?
True
Let s(j) = -j**3 - 45*j**2 - 202*j - 64. Does 118 divide s(-43)?
False
Let l = -280 - -417. Suppose -4*z = z + 2*j - 634, 3*j = z - l. Is 32 a factor of z?
True
Let t(k) = 4*k**2 + 26*k + 20. Suppose -4*i = 5*i + 90. Is t(i) a multiple of 16?
True
Is 2585508/114 - (-2)/(-171)*-9 a multiple of 60?
True
Let j(k) be the first derivative of -3*k**2 - 16*k + 46. Does 55 divide j(-36)?
False
Suppose 2*m = 4*x - 16, -x = 2*m + 4 + 2. Suppose 2*u - 4*i = -6, -i = x*u - 5 - 14. Let c(j) = 4*j + 2. Is c(u) a multiple of 9?
False
Let v(l) = 159*l - 5393. Does 22 divide v(49)?
True
Suppose -7*o - 5*y = -2*o + 20, 5*o = -y - 24. Let b(z) = -22*z - 4. Let p be b(-5). Is 12 a factor of -1*(o - -3 - p)?
True
Suppose 5*z - 272 = 13*z. Let b = 28 + z. Let g(x) = x**3 + 8*x**2 + 6*x - 8. Is 7 a factor of g(b)?
True
Suppose 2*n = -2*w + 74, 2*w + 2*n + 34 = 3*w. Suppose -w = -4*t + 40. Let m = 54 - t. Does 7 divide m?
True
Suppose 139 = -3*a + 4*t + 3228, 0 = 3*a - 5*t - 3085. Does 75 divide (a + 7 - -8) + 0?
True
Is (-21950)/(-16) + (-222)/(-1776) a multiple of 4?
True
Suppose -349*h = -342*h - 833. Suppose 4*c = 1441 + h. Is c a multiple of 17?
False
Let v(s) be the third derivative of s**2 + 2/3*s**3 - 1/3*s**4 + 0 + 1/60*s**5 + 0*s. Is v(13) a multiple of 18?
False
Let v(u) = -45*u - 317. Let w(i) = -i**2 - 2*i + 173. Let d be w(-15). Does 107 divide v(d)?
False
Let n(u) = 3*u**2 + 5*u + 10. Let o be n(-2). Suppose 1 = -c + 5*i, 5*c - 4*i - o = c. Suppose 221 = k + 3*v, -2*k = -2*v + c*v - 446. Is 28 a factor of k?
True
Suppose 2*i + 2*j = 111194, -i - 3*j + 54678 = -925. Is 64 a factor of i?
False
Suppose -2*h + 5*h - 129 = -5*j, -5*j + h + 137 = 0. Suppose 0 = 6*p - j*p + 15141. Is p a multiple of 18?
False
Let a = 15 + -7. Let p(n) = a*n**2 - n - n + 8*n**2 + 4*n**2 + 4. Is p(-3) a multiple of 38?
True
Let w = 6 - 2. Suppose 4*m = -w*c + 757 + 871, 2029 = 5*m + 3*c. Suppose -m = -0*r - 4*r. Is 23 a factor of r?
False
Let j(r) = -375*r**3 - 3*r**2 + 2. Let l(d) = -372*d**3 - 2*d**2 - d. Let c(p) = -3*j(p) + 4*l(p). Does 15 divide c(-1)?
False
Let i = -62 - -58. Let z(k) = -59*k - 1. Let s be z(-1). Does 14 divide i + 3 + -1 + s?
True
Let o = 497 + -495. Suppose -2*i = o*v - 196 - 220, 4*i = 5*v - 1085. Is v a multiple of 27?
False
Is 3/(1 - (-23)/(383663/(-16660))) a multiple of 25?
False
Does 21 divide (-4)/(-43 + 3 + -6) - 8046960/(-1104)?
False
Let c be ((-41230)/8)/7 - (-7)/28. Let i = -512 - c. Is i a multiple of 28?
True
Let x = 59 - 27. Suppose -3*r + 103 = -4*i, -x*r - 4*i = -31*r - 29. Is r a multiple of 2?
False
Suppose -2*x + 184 = -8. Let q = x - 114. Does 5 divide (-1366)/q + 35/315?
False
Let s be 1*8/4*2. Suppose -3*j - 12 = -d, -s*d = -4*j - 37 + 13. Suppose -d*w = -46 - 98. Is w a multiple of 12?
True
Does 16 divide ((-44)/4)/(1/(-379)) - -9?
False
Let o(m) = 23*m + 18. Let k be o(1). Let z = -120 - -221. Let w = z - k. Does 10 divide w?
True
Let y = -747 + 1101. Let a = -79 + y. Suppose 5*s - 30 = a. Is 29 a factor of s?
False
Suppose 0 = -8612*c + 8624*c - 607392. Is c a multiple of 72?
True
Let o(i) = 2*i + 1. Let n be (25/2 + 1)*(-24)/(-18). Let w(m) = m - 1. Let p(k) = n*w(k) + 2*o(k). Is 45 a factor of p(13)?
True
Let i(j) = -j**3 + 16*j**2 - 2*j + 35. Let a be i(16). Suppose 4*q - a*b = 771, -2*q + 3*b + 176 = -211. Is