o be i(8). Let k = 176 - o. Does 10 divide k?
False
Let x(d) = -57*d + 1. Let i(w) = w**3 - 2*w**2 - 1. Let m = -11 - -13. Let r be i(m). Is x(r) a multiple of 7?
False
Suppose 60*u - 12298 = -3*z + 65*u, -3*z - 4*u = -12334. Does 9 divide z?
False
Let h = -1966 + 7286. Is h a multiple of 28?
True
Let g(y) = 3*y - 31 + 10 - y - y. Let p be g(23). Is (p/(-8))/((-7)/3612) a multiple of 13?
False
Suppose -5*a - r + 105565 = 0, -37544 = -3*a - 2*r + 25802. Is 33 a factor of a?
False
Let m(y) = 4*y**2 - 5*y - 39. Let u be m(14). Does 15 divide u/2*(-16)/(-24)?
True
Suppose -372 = 2*r - 1084. Let a be (-8)/(6/(-4) - -2). Is 14 a factor of (0 + r/a)*-4?
False
Let p = 17107 + -10556. Is 13 a factor of p?
False
Let q(b) = 30*b**2 - 13*b + 2. Let y be q(-10). Let p be (y/(-8) + -3)/(6/(-8)). Does 11 divide (-12)/(-48) - p/(-8)?
True
Let k(n) = n - n + 2*n + 0*n + 39. Let q(o) = -2*o - 38. Let c(f) = 3*k(f) + 2*q(f). Is 5 a factor of c(-18)?
True
Let z(l) = 2*l + 36. Let w be z(-13). Suppose -1 = 2*p + 3*h, 4*p = 2*h + 48 - w. Let d(u) = -u**2 + 5*u + 25. Does 11 divide d(p)?
True
Does 78 divide (1 + (0 - 4))*(-8045 + -3 + 3)?
False
Suppose 80*i = -24*i + 255*i - 652320. Is i a multiple of 20?
True
Let p = 4832 + -1919. Is p a multiple of 9?
False
Suppose -54733 - 8897 = -18*w. Is w a multiple of 101?
True
Suppose 749700 = -310*x + 335*x. Does 204 divide x?
True
Suppose -5*q = 3*z + 367, -59 - 66 = z + q. Let s = z + 98. Let u = 94 + s. Is u a multiple of 8?
False
Let i be 3/8 + -5 + (-65)/(-40). Is 1*i/6*-596 a multiple of 51?
False
Suppose -348*u + 497*u = 227*u - 258882. Is 66 a factor of u?
False
Let i(x) = -x**2 + 2*x - 16. Let w(f) = 4*f - 10. Let u be w(6). Let h be i(u). Let p = -76 - h. Is 7 a factor of p?
False
Suppose -10*b + 290 = 5*g, -5*b - 24 = 2*g - 171. Suppose 26*p + 3075 = b*p. Is 30 a factor of p?
False
Suppose -29088 = -22*f - 6758. Let x = f + -637. Is x a multiple of 53?
False
Let l(q) = 195*q**2 + 35*q - 118. Is l(8) a multiple of 24?
False
Suppose 0 = -4*p - 4*j + 760, 3*p - 5*j - 200 = 354. Does 4 divide p?
True
Let p(w) = w**2 + 4*w + 17. Let c = 56 - 33. Let z = c + -16. Is p(z) a multiple of 14?
False
Suppose 5*t = 25, -5*q - t = -29736 + 416. Does 34 divide q?
False
Let m = 2991 + -1534. Suppose -5*r - m = -1757. Is 10 a factor of r?
True
Suppose 2*d + 5*v = 920 + 200, 5*d - 2*v - 2800 = 0. Is (d/(-15) + -4)*-12 a multiple of 31?
True
Let k be 5 + (0/(-3) - 2). Suppose -11*r - 36 = -17*r. Suppose 0 = -k*x + 5*l + 221, -l - 405 = x - r*x. Is 7 a factor of x?
False
Let c = -156 - -150. Let n(v) = v**3 + 8*v**2 + 4*v - 12. Is 3 a factor of n(c)?
True
Let m = 36 + -41. Let b(o) = -4*o + 1. Let n be b(m). Is 20 a factor of ((-7)/n - 5)/((-1)/15)?
True
Suppose -3*b - i = -4*i - 69810, -2*i + 69830 = 3*b. Is 9 a factor of b?
True
Suppose -3*c + 5*p + 38351 = 0, -194*p + 191*p = 5*c - 63839. Does 31 divide c?
True
Suppose 78*d - 79*d = -4*q + 41229, 0 = q - 2*d - 10309. Does 13 divide q?
False
Let a(x) = x**3 + 19*x**2 + 3*x + 5. Let q be a(-8). Let r = 571 + q. Is 12 a factor of r?
False
Let s(f) = 2*f**2 - 39*f - 9. Let t(z) = -1. Let c(n) = s(n) - 3*t(n). Is c(21) a multiple of 19?
True
Does 67 divide (-2018)/3*(-25 + 19)?
False
Suppose -5*a + 6*a + 543 = 5*y, -5*a + 119 = y. Let u = y - -34. Is u a multiple of 11?
True
Let i = -8302 - -11365. Is 18 a factor of i?
False
Let m(c) = 5*c**2 - 51*c + 654. Is m(39) a multiple of 15?
True
Let b be 0 - (-9 + 4) - -1387. Suppose -b = -2*a - v, 2*a + 5*v = 624 + 768. Is 24 a factor of a?
True
Let u(f) = 6*f + 3. Let c(l) = -2*l - 1. Let a(j) = 14*c(j) + 4*u(j). Let y be a(-2). Suppose y*b - 32 = 5*b. Does 8 divide b?
True
Suppose 33 - 53 = 4*a, 0 = 2*p - a - 4789. Does 92 divide p?
True
Is 585/(-39)*(11595/9)/(-1) a multiple of 12?
False
Let y(v) = -29*v - 86. Let l(z) = 43*z + 128. Let b(q) = 5*l(q) + 7*y(q). Does 26 divide b(12)?
True
Suppose 3*q + 15 = 0, -3*c - q + 1 = -c. Suppose -c*l + p = -2*l - 109, 5*l = -3*p + 577. Is l a multiple of 12?
False
Suppose 31*a = 34*a + 336. Let r = a + 360. Suppose 5*p = p + r. Is p a multiple of 9?
False
Suppose 13*g - 314 = 11*g - 2*c, 0 = 4*g - c - 613. Let j = 259 - g. Does 15 divide j?
True
Does 124 divide 126/21 - (-2 + -1 + -9539)?
True
Let q(o) = -o**3 - 22*o**2 - 60*o - 61. Let t be q(-26). Suppose 7*l - 5*l - 5256 = -5*c, -4*c = l - t. Is c a multiple of 35?
True
Suppose -13*o - 489 = -14*o - 4*n, 0 = 4*n + 20. Suppose -10*q - o = -3619. Is 18 a factor of q?
False
Suppose 0 = -20*o + 125 + 115. Suppose -o*k + 379 + 701 = 0. Is 10 a factor of k?
True
Is 59 a factor of 9*8/(-120) + 13278/5?
True
Suppose 80 = 5*a - a - 2*z, 102 = 5*a - 2*z. Let f be (24/9)/(12/18). Suppose q = a + f. Is q a multiple of 13?
True
Let b be (-66)/44*(-1 - -183). Let x = 424 + b. Is 14 a factor of x?
False
Let n(v) = 9*v**2 - 2*v + 2. Let y be n(3). Suppose -y*h = -82*h + 10. Suppose -h*q + 17 + 289 = 0. Is 25 a factor of q?
False
Suppose -9*v - 164577 = -6*v. Is 40 a factor of 15/35 + v/(-49)?
True
Let j = -168 - 155. Let s = j + 393. Does 10 divide s?
True
Suppose -5*m + 3*x = -114701, 5*x + 45866 = 2*m + 2*x. Is 179 a factor of m?
False
Let j(v) = -237*v + 3. Let x = -165 + 164. Is 10 a factor of j(x)?
True
Suppose 23650 = 5*d - 5*u, -5*d = -96*u + 99*u - 23698. Is 32 a factor of d?
True
Suppose 3*f - 172 = -5*n, -2*n - 4*f + 66 = -0*f. Suppose -5*l - 943 = 4*m, -3*m - 147 = l + n. Does 49 divide 2 - (l + 0 + -3)?
True
Suppose -7*q + 71847 = 2*j, 5*j + 41*q = 39*q + 179726. Is 19 a factor of j?
True
Suppose -13187322 = -111*t - 137*t - 73*t. Is 74 a factor of t?
False
Let o(y) = y**3 - 7*y**2 - 3*y + 6. Let c be o(5). Let d = -59 - c. Suppose 3*j + d*j - 24 = 0. Is j a multiple of 2?
True
Suppose -4*x + m = -251987, -672*m - 3 = -675*m. Is 109 a factor of x?
False
Let j(m) = -2*m - 8. Let c be j(-5). Suppose -5*v + 62 = -2*d, c = 5*v + d - 72. Is 18 a factor of 256/v - 2/7?
True
Let l = -609 - -124. Let i = 958 + l. Is 66 a factor of i?
False
Let n be (-2)/(8/(-4) - (-8)/5). Suppose 2*j - r + 0*r = 15, 2*j - 11 = n*r. Does 2 divide j?
True
Let z = -17668 - -27780. Is z a multiple of 316?
True
Suppose 4*q - 4*c = -20, 6*c = 3*c. Let x be q + 85/10*38. Let m = -218 + x. Is m a multiple of 25?
True
Let k be 12/(-60)*590/8*-12. Suppose 0*s + s = -k. Let v = 426 + s. Is v a multiple of 10?
False
Suppose -3*j + 30 = -h, -2*h + 9 = 3. Suppose -j*k + 16*k - 2*a = 390, k - 90 = -2*a. Does 8 divide k?
True
Suppose -5*g + 1909 = -9*b - 1006, 1749 = 3*g - 5*b. Is g a multiple of 23?
False
Let p(y) = y**2 - 29*y - 220. Let m be p(-6). Let o = m - -910. Does 25 divide o?
True
Let h be ((-6)/(-4))/(8/304). Let w = h - 55. Is 39 a factor of ((-117)/15)/(w/(-20))?
True
Let y be (4/(-2) - -1)/(4/(-24)). Suppose -294 = y*u - 8*u. Is 21 a factor of u?
True
Let a be (20/(-15) + -2)*(3 + -30). Does 43 divide (-468)/a - 4/5 - -350?
True
Let x = -1802 + 7947. Suppose 46*g + x = 42025. Does 39 divide g?
True
Let m be 18 - (-10)/(25/5). Suppose 3*y - 4*a - m = 0, y - a + 25 = -6*a. Is 7 a factor of y + 3 + 41 - 1?
False
Let n(f) = -2936*f**3 - 4*f**2 - 2*f + 2. Is n(-1) a multiple of 8?
True
Let g(o) = 113*o + 192. Is 46 a factor of g(4)?
True
Let y(v) = -9*v**2 + 1 + 6*v**2 + 5*v + 5*v**2 + 2*v**3. Let k be y(-4). Let u = 18 - k. Is 19 a factor of u?
True
Suppose -y + 18 = 4*d, 2*y + 4*d = 7*y - 18. Is y/(-45) + (-18770)/(-150) a multiple of 8?
False
Let r(s) = -6*s - 52. Let z be r(-8). Is 3 a factor of (z/(-6))/(-5 - -3)*-27?
True
Suppose 5 - 1 = 2*h. Let z(t) = 4 + h + 18*t + 36*t - 15*t. Is z(6) a multiple of 12?
True
Suppose 6197 = 15*c - 14*c + 3*o, 2*o = c - 6197. Is 105 a factor of c?
False
Suppose 5*w + 6 = 3*y + 23, -2*w + 10 = -2*y. Let j be 10/(-5)*(2 + w*-3). Is 13/1 - (j - (2 - 0)) a multiple of 3?
False
Let r = 956 - -8774. Is r a multiple of 20?
False
Let f be 1/(-2)*-6 - (-6 - -81). Let m = f + 137. Is 13 a factor of m?
True
Let r(h) = 8*h**2 + 364*h + 15. Is r(11) a multiple of 12?
False
Let d be (-7 - -2)/(5 + -6). Let f(s) be the second derivative of 14*s**3/3 + 5*s**2 + 7*s. Does 21 divide f(d)?
False
Suppose 2*j - 5*h + 8*h = -711, 0 = -4*j - 3*h - 1437. Let b = -337 - j. Is 13 a factor of b?
True
Suppose 28*s = 140311 + 615857. Is 22 a factor of s?
False
Let