-4*l - 8*l. Let q = 616 + l. Is 36 a factor of q?
False
Suppose -3*a + 11 = -3*y - 10, 0 = a - 4. Let h be 206/4 - y/6. Let z = h + 169. Does 13 divide z?
True
Suppose 6 = -12*c + 14*c. Is (-6)/(15/c - 6) a multiple of 5?
False
Let j = -256 + 273. Suppose -9*z + j*z - 784 = 0. Is 8 a factor of z?
False
Suppose 576 + 1479 = 5*p - 3*c, -4*c - 394 = -p. Is 20 a factor of p*(-4)/(-8) + -2?
False
Let u be 256/14*231/66. Suppose -t + a - 4 = 1, 0 = -a - 2. Let l = u + t. Is 6 a factor of l?
False
Let o be ((-1385)/(-4))/((-32)/(-512)). Suppose 0 = -3*m - 3*y + 4146, 4*m - 10*y - o = -11*y. Is m a multiple of 11?
True
Let y = 25 - 114. Let x = -159 - y. Is 7 a factor of (-41)/(-82)*x*(0 + -2)?
True
Suppose -1786*b + 1808*b = 15114. Is b even?
False
Suppose 6*i - 207956 + 74792 = 0. Does 8 divide i?
False
Suppose -46*l + 43*l = 4*a - 5514, -l - 5506 = -4*a. Is 17 a factor of a?
True
Let u(y) = -15*y + 29*y - 14*y + 5 - y - 20*y. Is u(-4) a multiple of 19?
False
Suppose 21*z + 15 + 48 = 0. Let q(l) = -23*l - 14. Is q(z) a multiple of 11?
True
Suppose -114351 = -35*x + 26769. Is x a multiple of 28?
True
Let t = 43 + 8982. Does 25 divide t?
True
Suppose 3*f - 2*f + 455 = 5*q, 2*q - 205 = 5*f. Suppose -2*h + 3*h + 61 = 0. Let r = q + h. Does 3 divide r?
False
Suppose -i - 3*i + 52 = 0. Let v = 26 + -34. Let u = i - v. Does 7 divide u?
True
Let m(f) = f**3 + 72*f**2 - 1490*f - 22. Does 4 divide m(20)?
False
Suppose 3*q + 7*s = 4*s + 12, -3*q + 14 = 5*s. Is ((q - -81) + 1)*4/5 a multiple of 10?
False
Let b = 11320 - 6562. Is 13 a factor of b?
True
Suppose -31800 = -13*h - 7*h. Does 26 divide h?
False
Let x(t) = -69 - t**3 + 357*t + 29*t**2 - 348*t - 8*t**2. Does 4 divide x(21)?
True
Suppose -4*l + 12235 = -5*g, -51*l + 4*g = -53*l + 6098. Is 13 a factor of l?
True
Suppose 0 = 11*b + 3021 - 10501. Is 7 a factor of b/16*(-14)/(-1)?
True
Let o be 9/(-54) + (-5714)/(-12) + 4. Suppose -49*n + 52*n = o. Does 20 divide n?
True
Let d(r) = -18*r**2 - 13*r - 11. Let s(m) = m**3 - 2*m**2 + m. Let y(q) = -d(q) + s(q). Is y(-14) a multiple of 20?
False
Let y(l) = -l**3 - 14*l**2 - 25*l - 13. Let f(t) = t**2 + 5*t - 12. Let w be f(-5). Let o be y(w). Is 26 a factor of (-10 - -18)*-1*o*13?
True
Let l be (-1 - (7 + -2))/(84/(-1400)). Suppose 2*t + l - 340 = 0. Is 5 a factor of t?
True
Let t(v) = 3*v - 103. Let i be t(37). Suppose -i = -4*k - 0, -4*r - 4*k = -1912. Is 44 a factor of r?
False
Suppose -32*k + 18*k + 9842 = 0. Is k a multiple of 9?
False
Let p(m) = -34*m + 18. Suppose 6 + 67 = -3*s + 2*h, -5*s = -h + 110. Let y be p(s). Let x = y + -446. Is 36 a factor of x?
False
Let b(r) = 2*r**2 + 2*r - 14. Let o be b(8). Suppose 0 = -2*l - 4*t - 54 + o, -5*l - 5*t + 200 = 0. Let y = 94 - l. Does 4 divide y?
True
Let x = 19 - 19. Let y = 3 + x. Suppose 3*w = -2*u - w + 122, -87 = -2*u + y*w. Does 17 divide u?
True
Let k(h) = -h**3 + 13*h**2 - 5*h - 19. Let o be k(12). Let i = o - 49. Is 16 a factor of i?
True
Let y = 7303 - 4096. Suppose -y = 489*b - 492*b. Does 27 divide b?
False
Suppose 5*x + k = 7*x - 37, -2*k - 58 = -3*x. Does 50 divide 125*-2*x/(-20)?
True
Let z(s) = -2*s - 98. Let c = -21 - -21. Let r be z(c). Is 2*-1 - (r + -9) a multiple of 35?
True
Let l(m) = -233*m - 93. Let g be l(-6). Let q = g - 587. Is q a multiple of 49?
False
Let g(x) = 93*x**2 + 71*x + 447. Is 15 a factor of g(-6)?
False
Let y(r) = 6*r**2 + 5*r - 4. Let q(n) = 11*n - 1. Let h(o) = -9*o + 2. Let l(z) = -6*h(z) - 5*q(z). Let u be l(-10). Is 13 a factor of y(u)?
True
Let t be 51/9 + (-8)/12. Let n(z) = -4*z**3 - z**2 + 2. Let y be n(-1). Suppose -y*a + 0*g = -2*g - 998, t*a + 4*g - 974 = 0. Is 33 a factor of a?
True
Let p(d) = -7*d - 107. Let h be p(-16). Suppose -4*i - 2*u = -3010, -i + h*u = -0*u - 736. Is 18 a factor of i?
False
Let r(i) = 7*i - 31. Let b be r(5). Suppose -3*u - 12 = 3*l, -3*l - 4*u = -2*l + b. Let g(s) = -3*s**3 - 3*s**2 - 12*s + 2. Is 12 a factor of g(l)?
False
Let i(j) = 2*j**2 - 4*j + 5. Let y be i(1). Suppose 31 = 2*z - y*z. Let n = 53 + z. Is 10 a factor of n?
False
Let p(g) = -19*g**2 + 24*g + 14787. Does 31 divide p(0)?
True
Suppose -2*j - 2 - 28 = 0. Is (588/j)/((6/10)/(-3)) a multiple of 28?
True
Suppose 469829 = 164*v - 183219. Does 37 divide v?
False
Let m(s) = 33*s**3 - 3*s**2 + 4*s - 5. Let z = 195 + -193. Does 15 divide m(z)?
True
Suppose -3*t = 4*o + 780, o - 267 = -10*t + 11*t. Let p = -202 - t. Is 3 a factor of p?
False
Let h(s) = -s**3 + 28*s**2 - 49*s + 19. Let w(i) = i**3 - 24*i**2 + 46*i - 19. Let l be w(22). Does 22 divide h(l)?
False
Let t(n) = -8*n + 6. Let c be t(-6). Let o be (27/12)/(4/(160/2)). Let z = c - o. Is 5 a factor of z?
False
Suppose 120*s - 174*s = -292518. Is s a multiple of 4?
False
Let n be -2 + 40/10 + 3 + -1. Suppose 4*r = n*i - 4564, 2*i + 9*r - 2285 = 10*r. Does 104 divide i?
True
Suppose 3*w - 5 = 7. Suppose 98 + 1754 = w*l. Let o = 761 - l. Is 13 a factor of o?
False
Let u = -38 - -30. Let l = 20 + u. Does 5 divide l*(-3 - (-14)/3)?
True
Let t(m) = 6*m**2 + 347*m - 2420. Is t(7) a multiple of 125?
False
Let y be (3 - -160) + 0 + 0. Suppose -5*j + 2*m = -m - 755, y = j - 3*m. Does 43 divide j?
False
Suppose 44*o + 26303 - 162161 = 216582. Does 178 divide o?
True
Let j(r) = -83*r + 26. Let k(z) = -28*z + 9. Let a(v) = -6*j(v) + 17*k(v). Suppose -9 = -5*x + 6. Does 12 divide a(x)?
False
Suppose -65*d + 32 = -61*d. Let i(q) = q**2 - 4*q - 29. Let v be i(d). Suppose -2*p + 368 = 2*y, 7*p = -v*y + 10*p + 528. Is 45 a factor of y?
True
Suppose 379*o + 6513 = 3*b + 382*o, 4*b - 2*o = 8672. Does 41 divide b?
False
Let t = 20 - -31. Let n be ((-2)/(-6))/(1/t). Suppose n*b - 96 = 14*b. Is b a multiple of 12?
False
Does 34 divide 8471*1 + -2 + -12 + 200/20?
False
Let h(t) = 4*t**3 - 4*t + 5. Suppose 5*b + 52 - 62 = 0. Is 4 a factor of h(b)?
False
Does 74 divide (-248460)/(-105) + 168/98?
True
Suppose q = 3*q - 5*o + 11, 2*o - 16 = -5*q. Suppose 0 = -4*x - 4*z + 1648, 3*z - 4*z = q*x - 827. Does 13 divide x?
False
Suppose -7*v - 1839 - 3089 = 0. Let p = v + 1569. Is 96 a factor of p?
False
Is 106 a factor of (11810/(-20)*1 - -5)/((-1)/2)?
False
Suppose -7*g = w - 42336, -5*w + 3094 = -4*g + 27286. Is g a multiple of 3?
True
Is -5 - 2 - (-15056 - 0) a multiple of 233?
False
Suppose 26*b - 58852 = 85448. Does 37 divide b?
True
Suppose 15*t - 5 - 55 = 0. Suppose 0*b = -t*b + 3*c - 86, 0 = 4*b - 5*c + 90. Let q = b - -98. Is q a multiple of 10?
False
Let r(i) = -i**3 - 27*i**2 - 175*i - 109. Is r(-26) a multiple of 15?
True
Is (-6 + 16 - -2528)*(-3)/(-6) a multiple of 8?
False
Suppose -m + 2*v = -6, 2*m = 3*m - 5*v - 3. Suppose m = -6*w + 32. Suppose -71 = -w*s + 5*g, 3*g + 26 = s - g. Is 2 a factor of s?
True
Suppose 0 = -37*c - 69*c + 273056. Is c a multiple of 14?
True
Let u(h) = 18 - 6*h + 5 - 3 + 25. Let f be u(0). Suppose 2*j + f = z, -z + 39 = -0*z + j. Is 16 a factor of z?
False
Let h(n) = -n + 18. Let o be h(19). Let w(v) = 194*v**2 - v. Is 50 a factor of w(o)?
False
Let d(u) = 18*u**2 - 17*u - 62. Let z be d(-4). Let r = z + -161. Is 19 a factor of r?
True
Is 8 a factor of 11798/12 + (435/18)/29?
True
Suppose 371*n - 403*n + 143360 = 0. Is 4 a factor of n?
True
Let d(z) = -18*z + 103. Let p(t) = 75*t - 414. Let i(c) = -9*d(c) - 2*p(c). Is 18 a factor of i(34)?
False
Let m = -763 - -1615. Suppose -4*o - 4*x + m = 0, 4*o + 5*x - 542 - 315 = 0. Does 13 divide o?
True
Let n(b) = 7*b**2 + 275*b - 88. Is n(-40) a multiple of 16?
True
Suppose 0 = -3*k + 3*w + 22674 + 29952, -2*k - 2*w + 35068 = 0. Does 158 divide k?
True
Let m be -1 - (-962)/(-8) - 1/(-4). Let n = m - -121. Suppose n = 17*j - 8*j - 342. Does 19 divide j?
True
Suppose -384 - 309 + 160 = -13*k. Is 14 a factor of k?
False
Let r(o) = -13*o + 9. Let t be r(1). Is 0 + (1438/8 - 1/t) a multiple of 10?
True
Let c(g) = 2*g**3 + 207*g**2 + 20*g - 177. Does 46 divide c(-103)?
True
Let x = 40056 + -12157. Is 13 a factor of x?
False
Let j(p) be the first derivative of 16*p**2 - 2*p + 263. Does 9 divide j(4)?
True
Suppose -3*k + 94 + 122 = 0. Let f be 10*-2*(-18)/k. Suppose 469 = f*b + 109. Is 31 a factor of b?
False
Let c(y) = -65*y**2 + 17*y. Let g be c(-7). Is g/(-22) - 20/110 a multiple of 6?
True
Let j(m) = m**2 + 3*m - 8. Let o be j(-5). Suppose -3*a = 2*u + 192, -5*a - u = o*