1776, 2*j + b + 884 = 0. Let n be 1/(18/(-27) - 302/j). Suppose 5*r - 462 = 2*h, h + 16 = r - n. Is r a multiple of 7?
False
Let j be (20 - -2)*1368/(-48). Let g = j + 1371. Is g a multiple of 31?
True
Suppose -4*g + 4*v + 13420 = 0, g + 5*v - 1918 = 1467. Suppose -8*k + g + 3072 = 0. Is 12 a factor of k?
True
Suppose 0 = -5*w + 7*l + 26723, 0 = -38*w + 36*w - 4*l + 10730. Is 3 a factor of w?
False
Suppose 5*j + 5*l = 5, 0 = 5*j + 13*l - 10*l - 5. Is 36 a factor of (-14)/(7/j) - -3*173?
False
Let j be ((-18)/30)/(7/(-6825)). Suppose j - 284 = 7*p. Is p a multiple of 2?
False
Let d = -410 - 576. Let u = d - -1657. Is 59 a factor of u?
False
Let k(y) = -4972*y - 796. Is 14 a factor of k(-6)?
True
Let f be (4 - 3) + (2 - 1). Let u be f*3*3215/30. Suppose 514 = 4*a - l - 0, -l = -5*a + u. Is 40 a factor of a?
False
Suppose 91*i - 49*i - 234864 = 0. Does 12 divide i?
True
Is 70 a factor of 840050/75 - 2/3?
True
Suppose 4*u = -5*n + 10095, -574*u + 5055 = -572*u - 5*n. Is u a multiple of 83?
False
Suppose -2*x + 136258 = m, -110714 = -4*x - m + 161808. Is 50 a factor of x?
False
Let c(j) = 14*j**2 + 28*j - 23. Let k be c(-14). Suppose 0 = -5*h + 2*p + k, 4*h - 4*p + 946 = 6*h. Is h a multiple of 16?
False
Let k(c) = 3*c - 44. Let m = 34 - 20. Let r be k(m). Is 21 a factor of (387/(-36))/(r/8) + -1?
True
Suppose 0 = -0*t - 6*t - 9114. Is 10/(-15)*(-5 + t)/4 a multiple of 12?
False
Suppose -22*j - 26 = 40. Is (-81)/2*(-1 + (-4 - j)) a multiple of 3?
True
Let q(s) = s**3 + 9*s**2 - 13*s + 96. Let i be q(-11). Is (70/i)/(14/(-84)) a multiple of 14?
True
Is (217/(-372) - 2/(-8)) + 398091/9 a multiple of 19?
True
Suppose -5*y - 28 = -10*y + 2*o, o - 4 = -2*y. Suppose 771 + 935 = y*a - 3*f, -3*f = -2*a + 850. Is 11 a factor of a?
False
Let r(d) = -10*d**3 - 8*d**2 + 38*d + 129. Does 16 divide r(-9)?
False
Let x = 1878 - 1785. Does 6 divide x?
False
Let f = -24255 - -46035. Does 22 divide f?
True
Let s(t) = 11*t + 6. Let j be s(6). Let z be j/(-30)*(1 - 69/9). Is (-1443)/(-12) - 4/z a multiple of 20?
True
Let g(v) = -8 - 712*v + 1410*v - 707*v + 58. Let w = 0 + 0. Is g(w) a multiple of 9?
False
Suppose -9*n + 192 = -25*n. Is (20/n - -3)/((-2)/(-231)) a multiple of 14?
True
Let q(r) = r**3 + 34*r**2 - 56*r - 304. Is q(-32) a multiple of 52?
True
Let d = 107378 + -71820. Is d a multiple of 49?
False
Let i(h) = h**3 + 24*h**2 + 21*h + 10. Let o be 480/(-21) + (-6)/42. Is 14 a factor of i(o)?
True
Suppose -5*h = -3*b - 1, 6 - 15 = -3*b + 3*h. Suppose -14*d + 11*d + 93 = 0. Suppose 145 = b*j - d. Is j a multiple of 11?
True
Let q = -85 + 172. Let c = q + -17. Is c a multiple of 4?
False
Let w(h) = 997*h**2 - 89*h - 380. Does 134 divide w(-6)?
True
Suppose -3*h - 30 = -4*y + 6, 0 = h. Let g(c) = -5*c + 156. Is 3 a factor of g(y)?
True
Let z(n) = 68*n**3 + 4*n**2 + 8*n - 3. Let y be z(-4). Let v = -2883 - y. Does 60 divide v?
True
Let b be (2/(-4)*3)/(66/(-176)). Suppose b*j - 252 - 25 = -t, 0 = t + j - 286. Does 12 divide t?
False
Let g(v) = 4*v**2 + 194*v + 7. Is g(-60) a multiple of 7?
False
Suppose 2*r - j = 23, -7 = -5*r - 5*j + 43. Is 17 a factor of -2 - -3 - (-44 + r)?
True
Let m = 2978 + -2109. Suppose 0 = 12*x - m - 31. Is x a multiple of 2?
False
Suppose -1361*d = -1356*d - 76060. Is d a multiple of 101?
False
Suppose 14*l + 3536 = 31*l. Let a = -149 + l. Does 4 divide a?
False
Let g be 215/15 - (7/3 - 2). Let q be (-2484)/24*(1 + g/(-6)). Let p = q - 26. Does 14 divide p?
True
Let k(o) be the third derivative of o**4/2 + 209*o**3/3 - 28*o**2. Let b be k(0). Let u = b - 202. Is 18 a factor of u?
True
Let k(o) = -o**2 - 26*o + 58. Suppose 0 = 3*r - d + 55 - 13, 38 = -2*r + 4*d. Is 53 a factor of k(r)?
False
Suppose 159*i - 6337077 = -1773141. Is 26 a factor of i?
True
Suppose -g + 3*v + 192 = 0, 0 = -4*g + 5*v + 394 + 374. Does 96 divide g?
True
Let j(x) = x**3 + 4*x**2 + 7*x + 8. Let r be j(-2). Suppose i + 1 = r*i, 3*q = 5*i + 31. Suppose 7*t + 300 = q*t. Is 16 a factor of t?
False
Let d = -432 + 456. Let k(c) = 3*c - 42. Is 5 a factor of k(d)?
True
Let s = -134 - -318. Suppose -4*k = -2*j + s, j + 3*k - 95 = -13. Is j a multiple of 23?
False
Let u(q) = 2*q**3 - 16*q**2 - 9 - 5*q + 25 + 3*q**3 - 6*q**3. Does 65 divide u(-17)?
True
Suppose 36*c + 1422720 = 244*c. Is 45 a factor of c?
True
Suppose -1686 = -3*r - 2*r - 2*l, 0 = -3*r + 5*l + 993. Suppose -r = -h + m, -3*h - 29*m + 25*m + 1015 = 0. Is 57 a factor of h?
False
Let g(o) = 226*o**3 - o**2 - 3*o + 18. Is 54 a factor of g(3)?
True
Let l(t) = -t**3 - 16 - 85*t**2 - 83*t**2 + 175*t**2 + 4*t. Let w(o) = 2*o + 43. Let s be w(-18). Is 4 a factor of l(s)?
True
Suppose -4*c = t - 11544 + 4029, -8*t - 1920 = -c. Is 10 a factor of c?
True
Let d be 1/(-2) - ((-14)/4 - 0). Suppose q - 3*q - 28 = -5*a, 3*a - 24 = d*q. Is 116 - -4*((-45)/(-12) - a) a multiple of 38?
False
Let c(u) = 218*u**2 + 28*u - 609. Is c(12) a multiple of 69?
True
Let n(i) = -i**3 - 4*i**2 + 5*i + 23. Let j be n(-4). Does 14 divide (((-36)/(-15))/j)/(7/980)?
True
Let z(v) = 410*v - 25. Let b(r) = 205*r - 13. Let i(n) = -5*b(n) + 3*z(n). Is i(1) a multiple of 23?
False
Let a = 152 + -150. Suppose -a*w - 736 = -m, m - 13*w = -10*w + 733. Is 14 a factor of m?
True
Suppose -3*l = -6 - 3, 2*s = -3*l + 119. Let u = s - 55. Suppose -5*p + 10 = 0, 2*t = -u*t - 3*p + 92. Is 12 a factor of t?
False
Let x = -20 + 23. Let j be 1 + (x + -4 - 2). Does 45 divide 1 + 221 + (j - (-10)/2)?
True
Suppose 4*b - 15344 = -3*x, 0 = 2*x + 2*x - b - 20446. Does 64 divide x?
False
Let w = 623 + -412. Let s = w - -41. Is s a multiple of 63?
True
Let z(b) = 117 - 15 - 5*b - 33. Is 8 a factor of z(-39)?
True
Let s(u) = u**2 - 17*u - 14. Let q be s(-8). Suppose -189*h + 1872 = -q*h. Is h a multiple of 24?
True
Suppose 315 = -4*f + 19*f. Suppose -f*p - 570 = -22*p. Is p a multiple of 30?
True
Let z(g) = 200*g + 376. Let u(i) = 300*i + 565. Let x(j) = 5*u(j) - 8*z(j). Does 20 divide x(-8)?
False
Suppose 98*z - 95312 = 61*z. Is 16 a factor of z?
True
Let s = 5741 - 5087. Is 10 a factor of s?
False
Suppose 13*d + 447 = -164. Let h = 328 - d. Does 17 divide h?
False
Let z be 0*(28/20)/7. Suppose 2*j - 667 = -5*q, z = -0*q + 3*q + j - 401. Is q a multiple of 15?
True
Suppose -41 = 20*c - 19*c. Let u = 47 + c. Suppose -u*o - 3*o + 360 = 0. Is 8 a factor of o?
True
Is 564312/30 - (5 - (-3)/60*-92) a multiple of 15?
True
Let h be (-9)/(-27) - (56/3)/(-1). Suppose h*d - 213 = 16*d. Is d a multiple of 32?
False
Suppose -6*p = 863 + 2419. Let l = p + 808. Does 9 divide l?
True
Let y = -939 - -941. Let b be (12/10)/(10/25). Suppose -n + y*d + 3 = -64, -4*n + 293 = -b*d. Is n a multiple of 7?
True
Suppose 0 = -4*z + 26*z - 110. Let j(g) = 2*g**3 - 7*g**2 + 8*g. Let b be j(6). Suppose -2*o - 4*s = 3*o - b, 0 = -o + z*s + 63. Is o a multiple of 26?
False
Suppose 6*w - 8*w = -5754. Suppose 2*z + 3*k - 1140 = 7*k, 0 = -5*z + k + w. Does 32 divide z?
True
Let v(k) = 43*k - 160. Suppose -10*m = -6*m + h - 17, -3*h = -3. Is v(m) a multiple of 3?
True
Let p(q) = 113*q + 1827. Is p(7) a multiple of 17?
True
Let n = -245 + 400. Is 13 a factor of n?
False
Let i(x) = -x**2 + 8*x - 4. Let f be i(7). Let v(m) = -1 + m**2 - m - 14*m**3 + f*m**2 + 25*m**3. Is v(1) a multiple of 2?
False
Suppose 52*f - 4*q + 37024 = 56*f, -10*q - 27885 = -3*f. Is 5 a factor of f?
True
Let v = 3977 + -597. Is 130 a factor of v?
True
Let o be (-6868)/(-12) - 2/(-3). Let w = o - 405. Suppose 0 = -5*m + 11*m - w. Is 28 a factor of m?
True
Is 132 a factor of ((-4195)/2 - 1)/((-2436)/14616)?
False
Suppose -68*d + 456847 = -614153. Is d a multiple of 125?
True
Let r be 36/(-126) + (-1684)/(-14). Suppose 0 = -11*c + r + 34. Let j = 98 - c. Is j a multiple of 7?
True
Suppose -58*a = 7*a - 1081860. Is a a multiple of 57?
True
Suppose 3*y - 3*y = -y. Suppose -15*a + 17 + 13 = y. Suppose 164 = a*d - 10. Does 10 divide d?
False
Let f = 4 - -17. Let x be (-4 - -41)/((-4)/(-24)). Is (x/(-4))/(f/(-28)) - 0 a multiple of 16?
False
Let t = 413 - 150. Let z = t - 187. Is z a multiple of 38?
True
Let k be (638 - -26) + -4*1. Suppose -86*t = -85*t - k. Suppose 5*c = -2*l + 5*l + 1100, -3*c + 3*l = -t. Is 20 a factor of c?
True
Suppose 11*t - 895 = -s + 6*t, 4*t - 1796 = -2*s. Is 30 a factor of s?
True
Let q = 41213 + -24703. Is q 