m(4). Suppose 7*v = 3*r + i*v - 5884, 0 = -3*r + 3*v + 5886. Is 22 a factor of r?
False
Let u = 961 - 900. Is 11 a factor of u?
False
Suppose -52*v - 18*v = 62*v - 1358808. Is v a multiple of 141?
False
Is 72 a factor of 231/1001 + 133452/26?
False
Let m(x) = x**3 + 5*x**2 + 23. Suppose 5*y = -3*i + 22, 23 = 2*y + 3*y + 2*i. Is 21 a factor of m(y)?
True
Suppose 0 = -5*k + 215 + 50. Let m = k + 58. Does 5 divide m?
False
Suppose 2*t + 40 = 12*t. Suppose -1 = -5*f + k + 9, 2*f = 3*k + t. Suppose -b - 2*o = -74, -f*b = 2*b + 4*o - 292. Does 24 divide b?
True
Suppose 5*j - j - 12 = 0. Suppose 4*w + 42 = i + 7*w, j*i - 4*w = 100. Is 3 a factor of i?
True
Suppose -77*a + 172894 = -161671. Is 5 a factor of a?
True
Let q(n) = 5*n - 566. Let j be q(0). Let f = j - -861. Does 35 divide f?
False
Suppose 0 = 13*a - 272 - 300. Suppose -a - 12 = 4*f - 4*h, -2*h = -10. Is (-185)/f + 40/90 a multiple of 10?
False
Suppose 2*n - 2*j - 8016 = 11032, -n = 4*j - 9514. Is n a multiple of 81?
False
Let a(m) = m**3 - 18*m**2 + 18*m - 14. Let t(y) = 3*y - 31. Let z be t(16). Let o be a(z). Is 3*6/(-9) - (-147)/o a multiple of 12?
False
Let a(w) = 224*w**2 + 140*w + 1184. Does 150 divide a(-8)?
True
Let j(y) be the third derivative of -7*y**5/60 - y**4/3 + 5*y**3/6 + 10*y**2. Let h be j(3). Let c = 162 + h. Does 20 divide c?
True
Suppose -2*d = d - 5*o + 1045, -1380 = 4*d - 4*o. Let h = -466 + d. Let b = -567 - h. Is 19 a factor of b?
False
Let l(v) = -v**3 + 6*v**2 - 4*v + 7. Let r be l(6). Let y(n) = n + 17. Let m be y(r). Suppose 3*d + 3*k - 7*k - 74 = m, -d + 46 = 4*k. Is 5 a factor of d?
True
Let l be (0 - -25)*438/10. Suppose -z + 6*z = l. Does 6 divide z?
False
Suppose -3*k = d - 16358 - 21639, -5*d = 3*k - 189973. Does 11 divide d?
True
Let u be 307/(-4*8/(-32)). Suppose i + 5 = -0, a - 29 = 5*i. Suppose a*x - u - 213 = 0. Is 26 a factor of x?
True
Let p = 23 + -21. Let f be (-14)/35 + p + (-7)/(-5). Suppose -316 = -4*m + 4*i, -f*i - 423 = -5*m - 22. Does 13 divide m?
False
Let t(q) = q - 1. Let d(s) = -28*s + 24. Let u(g) = d(g) + 4*t(g). Does 8 divide u(-4)?
False
Let b = -78 + 82. Suppose -4*y - 144 = -4*r, b*y - 120 = -3*r + y. Is r a multiple of 38?
True
Let t(y) be the second derivative of 5*y - 35/6*y**3 + y**2 + 0. Is t(-2) a multiple of 9?
True
Is 27 a factor of (3/7)/((-308)/(-15208424))?
False
Suppose 0 = 2*f + 3656 + 16664. Does 15 divide f/(-56) - (-3)/(-7)?
False
Suppose -6*y = -4268 - 1714. Is y a multiple of 16?
False
Let y = -358 + 372. Suppose -4*h + 5*r + 1041 = 0, -5*h + y*r = 9*r - 1305. Is 22 a factor of h?
True
Let y(n) = 1573*n**2 + 208*n - 786. Does 63 divide y(4)?
False
Let p(b) = 23*b + 13. Let m be p(11). Let r = m + -99. Is r a multiple of 38?
False
Suppose -5*i = 15, -4*t - i + 153 = -0*i. Suppose d - t = 29. Is d a multiple of 17?
True
Suppose 3*x - 4807 = 2*q, -6*x - 8005 = -11*x + 5*q. Suppose -13*j + x = -14242. Is j a multiple of 53?
True
Suppose 2 + 2 = 5*i - 4*t, -4*t = 4*i - 32. Let a(l) = -l - 9. Let n be a(-14). Suppose q = n*s + 90, 4*q = 5*q + i*s - 90. Does 9 divide q?
True
Let u be 96/(-4) + -5 + 3 + 0. Is (-5 - u/4) + 1286/4 a multiple of 8?
False
Let n(x) = 3*x + 7. Let v be n(7). Suppose -v = 7*t - 224. Suppose 4*s - 17 - t = -d, -3*s + 25 = -d. Does 5 divide s?
True
Let d = 366 - 363. Suppose 0 = -4*w + 4*h + 628, d*w + 3*h - 224 = 241. Is 35 a factor of w?
False
Let j = 78 - 37. Suppose -4*b = -5*i + j, 0*b - 4*b = -4*i + 36. Does 10 divide (-287)/b - 16/(-64)?
False
Let z = 38 - 41. Let b be (-4685)/(-15) + 0 + 1/z. Let r = -164 + b. Is 19 a factor of r?
False
Let p(g) = g**2 + 12*g + 13. Let y be p(-11). Let s be ((-114)/2)/(3/y - 1). Is 19 a factor of (6 - 3 - 13)*s/12?
True
Let k(p) = -p**3 + 9*p**2 - 13*p - 7. Let m be k(7). Is 6 a factor of (-2 - -226) + (-1 - m)?
False
Suppose j - 23 = -5*o, -2*o = 4*j - 0*j - 2. Suppose -2*y + 1 = 9, o*m + y = 1926. Does 15 divide m?
False
Let h(s) = s**2 + 3*s - 9. Let j be h(2). Does 7 divide (j - (-1)/(-2))*-10 + 269?
False
Suppose -16*f + 13*f + 18 = 0, -3*i + 2*f = -18684. Does 2 divide i?
True
Let s be -6*3/(-6)*8/(-3). Let a be (52/s)/((-171)/42 + 4). Let z = -10 + a. Does 9 divide z?
True
Suppose 3*d + 21 = 0, 5*l - 25954 - 6795 = -3*d. Does 6 divide l?
False
Let k(n) = -2*n + 87. Let z be k(41). Suppose 10*i - 8609 = -5*a + 9*i, 3*a = -z*i + 5183. Is 13 a factor of a?
False
Suppose -2*l = -2*o + 256, -100 = -o + 4*l + 37. Suppose -3*z - 5*m + o = -z, -4*m = -5*z + 362. Is 10 a factor of z?
True
Let c be ((-33)/4)/(59/(-944)). Let h = -89 + c. Does 7 divide h?
False
Suppose -2*k + 20 = 3*k. Let t = 224 + -155. Suppose 0 = -k*w + 12, -f = -0*f - w - t. Does 29 divide f?
False
Let q = 42 - -22. Let r = q - 61. Suppose o - 194 = -i, -4*o = -r*i - 687 - 124. Is o a multiple of 30?
False
Let v be (-128)/32 + -31*3. Let b = -97 - v. Suppose b = -6*s + 595 + 11. Is s a multiple of 17?
False
Suppose -133*j + 132*j + 5 = 0. Is 21 a factor of (21/(-2))/((-2 + j)/(-24))?
True
Let v(m) = -m + 7. Let s be v(5). Suppose -10 = -s*n - 2*d, 5*n + 2*d - 25 = 4*d. Suppose -4 = z, 0 = 2*o - o - n*z - 53. Does 11 divide o?
True
Let l = 8982 - -5305. Is l a multiple of 130?
False
Let s be (-3)/6 + (-13)/((-104)/(-556)). Let o(j) = -12*j**3 + 2*j**2 - j + 1. Let b be o(-2). Let u = s + b. Is u a multiple of 2?
False
Suppose 2*f + 155 = -4*r - f, -165 = 5*r - 2*f. Let p be (-25536)/190 + -1 + (-7)/(-5). Let t = r - p. Is 15 a factor of t?
False
Is (-17)/(-51) - (-20500)/6 a multiple of 92?
False
Suppose -49*a = 1765 - 50. Let u(p) = 12*p + 4. Let q be u(-5). Let g = a - q. Is g a multiple of 17?
False
Let n be (-1)/((20/32)/(-5)). Suppose 3*m - 3*a = -n*a + 46, -55 = -3*m + 4*a. Let d = 97 - m. Is d a multiple of 10?
True
Let k(r) = 122*r + 808. Does 9 divide k(-4)?
False
Let x = -494 - -506. Suppose x*c = 15*c - j - 1016, 3*j - 681 = -2*c. Does 11 divide c?
False
Let k(i) = -5*i + 6. Let t be k(-7). Let o = t - 90. Is ((-210)/o)/(2/14) a multiple of 9?
False
Let c = 5 + -5. Let q = -160 + 163. Suppose -y - 5*o = -0*y - 17, q*y - o - 99 = c. Does 31 divide y?
False
Let n(y) = 0 + 8 + 5 - 2 - 40 - 1182*y. Is 39 a factor of n(-1)?
False
Suppose 403*g - 384*g - 657400 = 0. Is g a multiple of 18?
False
Let w = -1922 - -4232. Let u = w - 1071. Does 59 divide u?
True
Suppose 2*w - 8 = 5*q, -3*w - q = 8 - 3. Let t(c) = -31*c - 2. Let a be t(w). Let b = a - 17. Is 12 a factor of b?
True
Let q = -1589 - -2890. Suppose -q = -2*c - 151. Is 76 a factor of c?
False
Suppose -60*l = -55*l + 5. Let s(x) be the third derivative of -53*x**4/24 - x**3/6 + x**2. Is s(l) a multiple of 13?
True
Let f = 30290 + -20778. Does 15 divide f?
False
Let d = 324 + -320. Let g be 8/6*3/2. Suppose 400 = 4*r + g*m - 6*m, 425 = d*r + m. Is r a multiple of 35?
True
Let w(o) = -14*o**2 + 5*o + 5. Let s(z) = z - 1. Let h be s(-1). Let f be w(h). Let c = -40 - f. Is 8 a factor of c?
False
Suppose 0 = 13*l - 9853 + 3821. Is 58 a factor of l?
True
Suppose -8 + 14 = -3*y, l - 3*y = 37518. Is 139 a factor of l?
False
Is 52604/18 - ((-6)/(-57) + (-1102)/(-3249)) a multiple of 14?
False
Suppose 249*i + 152*i - 7402460 = 0. Does 13 divide i?
True
Let c(v) = 2*v**2 - v + 101. Let l(z) = -z**2 + z - 51. Let d(x) = 3*c(x) + 5*l(x). Suppose -5*t + r - 2 = 0, -2*r + 53 = t + 49. Is d(t) a multiple of 14?
False
Suppose 0 = 81*j - 1204004 - 1599207 - 1338724. Is j a multiple of 14?
False
Let p(k) = -k**2 + 3*k + 23. Let o = -198 - -203. Does 2 divide p(o)?
False
Let y(v) = 3*v**2 - 18*v - 26. Let x be y(14). Suppose 303*f = x*f - 1911. Is 5 a factor of f?
False
Let s be (-4)/(-14) - (-2335)/35. Let t = s - 65. Suppose -10 = -5*m, 0 = -h - t*h - 5*m + 94. Is h a multiple of 7?
True
Suppose 17820 = 20*h + 19*h - 12*h. Is 15 a factor of h?
True
Let b(u) = 3*u**3 - 9*u**2 + 9*u + 13. Let d be b(5). Suppose -3*a + a = -d. Does 16 divide a?
False
Let f = 280 - 278. Is 35 a factor of (-15)/(f + 1) + 181?
False
Let f(j) = -12*j**2 + 7*j + 6. Let y(l) = 49*l**2 - 27*l - 24. Let n(c) = -9*f(c) - 2*y(c). Let k be n(-6). Suppose -k = -4*r + r. Does 11 divide r?
False
Suppose 5*u - 14152 = 8*c - 6*c, 5*u = -2*c + 14168. Is u a multiple of 118?
True
Suppose -9*l - 8 = -5*l. Is 10 a factor of (-21)/14*40/(1*l)?
True
Suppose q - 52459 = -3*q + 5*z, 5