ose 3*a + o = -1, 0 = a + 5*o + 6 - 15. Let i = a - -1. Suppose 0 = 4*m, i*s = -2*s - 5*m + 88. Does 10 divide s?
False
Let j(y) = -y**3 + 7*y**2 + 11*y - 8. Suppose 4*z + 48 = 4*h, 3*h + 4*z = 6*h - 36. Let o = h + -4. Is j(o) a multiple of 8?
True
Suppose 20 = -2*z + 7*z. Suppose -5*r + 700 = z*d, 411 + 140 = 4*r + 5*d. Let o = r - 80. Is o a multiple of 16?
True
Let d(j) = 2*j + 18. Let c be d(-8). Let h(z) = z**3 - 3*z**2 + 3*z - 2. Let n be h(c). Suppose k + 5*k - 24 = n. Is 2 a factor of k?
True
Suppose -2*v = 4*s - 1092, 2*s - 2208 = -97*v + 93*v. Is 2 a factor of v?
True
Suppose 7*f - 422 = 936. Does 7 divide f?
False
Let g = 1716 - 865. Is 13 a factor of g?
False
Suppose 2*u - 6 = 0, 45*u = -4*p + 47*u + 594. Is p a multiple of 10?
True
Is 4 a factor of 578/16 - (-7)/(-56)?
True
Let j(y) = 9*y**3 - 9*y**2 + 9*y - 13. Let g(h) = 2*h**3 - 2*h**2 + 2*h - 3. Let p(b) = -26*g(b) + 6*j(b). Let i be p(2). Is (i/10)/(30/1725) a multiple of 22?
False
Let n(q) = -q**2 + 2*q + 5. Let j be n(3). Suppose -11 + 5 = 2*i, 2*o + j*i - 46 = 0. Is 26 a factor of o?
True
Suppose 20*w - 794 = 3646. Is w a multiple of 37?
True
Let l = -17 + 21. Suppose -3*x + 43 = -3*u - 200, -168 = -2*x + l*u. Does 26 divide x?
True
Let a(r) = -r**3 + 8*r**2 - 8*r + 7. Let p be (-3)/2 - 85/(-10). Let y be a(p). Is (12 - y) + -2 + 1 a multiple of 3?
False
Suppose -5*k + 542 = 2*l - 424, 5*l = 2*k + 2473. Does 29 divide l?
True
Suppose 2*h - 12 = 4*a, 4*a - a = 2*h - 9. Let t be (h + 1)*(3 - 4). Is -1 - 2 - (t - 18) a multiple of 5?
False
Let m(o) = 6*o - 2 - 18*o - 22*o. Is 4 a factor of m(-1)?
True
Suppose -2*o = 5*x - 29, -3*o - 12 = 5*x - 48. Suppose -o*s + 12*s - 500 = 0. Is 25 a factor of s?
True
Suppose -4*p + 5*t = -10, -2*t = -3*p - 0*t + 11. Suppose -j = 4*j + 25, -p*j - 34 = -3*g. Does 9 divide g/(-12) - (-106)/8?
False
Let c be 6/4 - 885/(-10). Is c*1/(25/15) a multiple of 27?
True
Suppose 0 = -2*x + 8, 0 = -d - x - 3*x + 13. Let n be (-3 + (-53 - d))/(-1). Suppose b + 8 = n. Does 15 divide b?
True
Suppose -2*a + 1082 = -3*d, 132 + 404 = a - 4*d. Is a a multiple of 17?
True
Let i(c) = c**2 + 17*c + 78. Does 6 divide i(-45)?
True
Let l(g) be the third derivative of g**5/60 + g**4/12 - 32*g**3/3 + 13*g**2. Is l(-13) a multiple of 6?
False
Is (7 + 59 + -17)/((-1)/(-53)) a multiple of 49?
True
Does 23 divide 166 - ((-10)/(-2) + 0/(-3))?
True
Is (-2)/(-6) + 33376/96 a multiple of 33?
False
Suppose 3*g + 320 = 5*g - 2*u, -2*g - 3*u = -315. Does 3 divide g?
True
Let b(p) be the second derivative of -19*p**3/6 + 15*p**2/2 - 6*p. Let c be b(-6). Let l = c + -40. Is l a multiple of 40?
False
Let b = 11 - 42. Let i = 1 - b. Is 29 a factor of i?
False
Let z be (-26)/39*9/2. Let b be -1 - (-3 - z) - 13. Let n = b - -20. Is 4 a factor of n?
False
Let v(n) be the first derivative of n**4/4 - n**3 - 3*n**2/2 + 7*n + 6. Is 3 a factor of v(4)?
False
Let h = -21 + 32. Suppose -3*u = -h*u + 256. Is 8 a factor of u?
True
Let n(p) = p**3 - 8*p**2 + p - 9. Suppose 35*b - 33*b = 18. Is 8 a factor of n(b)?
False
Let n be (-24)/(-3) - 0 - 2. Suppose n = 4*r + 42. Is 16 a factor of (53 - 2) + 6 + r?
True
Suppose -4943 = -7*z - 540. Does 11 divide z?
False
Is ((-322)/(-35))/((-6)/(-900)) a multiple of 12?
True
Let x(b) = -b**3 - 7*b**2 + 5*b + 4. Let g be x(-5). Let y = 119 + g. Is y a multiple of 12?
True
Let l = -16 + 26. Suppose l = -3*g - 5*i, g + 4*i = -2*g - 5. Does 5 divide g/((-5)/(-2)) + 13?
True
Is (-60)/(-40)*80/(-42)*-28 a multiple of 16?
True
Is 16 a factor of 24/6*(-2 - -94)?
True
Suppose 9 - 73 = -4*t - p, -t - 1 = -4*p. Suppose -5*b = -2*b - t. Suppose 3*l = -b*c + 85, 0*l + 2*c = -4*l + 104. Is 4 a factor of l?
False
Suppose -541*s = -537*s + 32. Suppose -5*y + 39 = -2*c - 126, 0 = 2*y - 2*c - 72. Let j = y + s. Does 20 divide j?
False
Does 7 divide 65/2*7*6/5?
True
Let i(f) = f**2 - 4*f + 3. Let k be (5 - (-4 - -8)) + 3. Let a be i(k). Is ((-18)/(-30))/(a/30) a multiple of 2?
True
Let v(l) be the second derivative of -l**4/12 + 3*l**3/2 + 13*l**2/2 - 4*l. Let c be v(9). Suppose 0 = 5*p - 4*z - 120, -p + c + 20 = z. Is p a multiple of 10?
False
Let p be (4 - 8)*-1 - 0. Let r be (4 - 20/p) + 10. Suppose -r*q + 7*q = -132. Is 13 a factor of q?
False
Suppose 0 = 3*o - 4*u + 20, 47 = -5*o + 2*u + 23. Let s = 13 + -7. Let q = s - o. Does 6 divide q?
False
Suppose 4*q + q = 220. Is 7 a factor of 2 + -1 + q + 3?
False
Does 9 divide (2110/(-15))/((-20)/30)?
False
Let l be 30/70*(7 + 0). Suppose -4*q = -2*m + l*m - 49, 3*q = -3*m + 129. Suppose 5*x - m = 79. Does 17 divide x?
False
Suppose 2*c - 1163 = -5*b, -b = -5*b + 2*c + 916. Suppose 4*a - 218 = -4*v - 38, -2*v = 5*a - b. Does 6 divide a?
False
Let x(y) = -12*y**3 - y**2 - y. Let j = -16 + 15. Let r be x(j). Does 21 divide 276/3*3/r?
False
Suppose -3*j + 119 + 16 = 0. Suppose 149 = 2*m + j. Is m a multiple of 6?
False
Suppose 0 = -3*r + 2*r + 2. Suppose 0 = 4*v - s - 26, 7 + 3 = v - r*s. Suppose -4*u + 30 + v = 0. Is u even?
False
Let m(t) = -3*t**2 + 147*t - 20. Is m(35) a multiple of 32?
False
Let a be 17 + (0 - 2) + 5. Suppose 2*d - 4*y = -18, a = -5*d - 0*y + 5*y. Let w(b) = 64*b**3 - b + 1. Does 16 divide w(d)?
True
Let w be -1*(-1 + 3) + 13. Suppose -4*c + 1 = -w. Suppose l + c*l = 56. Is l a multiple of 7?
True
Suppose w = -4*w + 25. Suppose -5*u + 29 = 3*r, 0*r + 5*r = w*u - 5. Is u a multiple of 2?
True
Suppose 0 = 7*a - 12*a - 535. Let z = 172 + a. Is z a multiple of 13?
True
Suppose 0 = -3*r + 4*r - 219. Is 37 a factor of r?
False
Let n = -6 + 17. Suppose -5 = -4*l + n. Suppose -l*a = 2*i - 13 - 41, -3*i = -9. Does 4 divide a?
True
Let m = -552 + 583. Does 6 divide m?
False
Let v(l) be the second derivative of -l**3 + 31*l**2 + 42*l. Does 2 divide v(6)?
True
Let v(l) = l. Let o be v(2). Suppose 0 = -2*s - o + 50. Is s a multiple of 6?
True
Suppose -368 = -2*p + 6*p + 4*h, 3 = -h. Let q = 128 + p. Does 5 divide q?
False
Let w(i) = i**3 + 4*i**2 + 4*i + 6. Let s be w(-3). Let n be (6/s + -1)*23. Let o = n - 11. Is 5 a factor of o?
False
Let n = 918 - 690. Is 12 a factor of n?
True
Suppose 7 = 2*q - 3. Suppose -3*l + 0*l - q*h + 26 = 0, -h = -2*l. Suppose 3*w + p = -l*w + 98, 80 = 5*w - 5*p. Does 10 divide w?
False
Let g = 286 - 265. Does 7 divide g?
True
Let y(o) = -o**3 + 12*o**2 - 11*o. Let n be y(11). Suppose 0 = 4*l - 2*r - 286, 0 = 4*l - n*r + 3*r - 261. Is l a multiple of 17?
False
Let z(s) = s**2 + s - 9. Let i be z(-4). Suppose 4*n - 5*l - i - 16 = 0, 2*l + 22 = 4*n. Does 3 divide n?
True
Suppose -4*q + 304 = -m, -4*m - 91 = q - 2*q. Let a = q - 59. Does 2 divide a?
True
Let c = 31 + -34. Let g = 7 + c. Suppose -46 = -g*k + 30. Does 3 divide k?
False
Let r be (-3)/15*6*-5. Let u = r - 0. Is 4 a factor of u?
False
Let w = -38 - -40. Suppose d - 1 = 0, w*r - 2*d + 514 = 6*r. Does 32 divide r?
True
Is 8 a factor of (-5 - -6)*(152*10)/5?
True
Let d = 112 - 79. Let a = -9 + d. Suppose 6*o = 2*o + a. Does 2 divide o?
True
Suppose -3*m = -73 + 25. Suppose -12*n = -m*n + 208. Is 9 a factor of n?
False
Let o(x) = x - 10. Let m be o(-5). Let p be -3 - (-1 + m*5). Suppose -1 = 3*g - p. Does 24 divide g?
True
Let c(f) = 2*f**2 + 30*f - 23. Let a be c(-22). Suppose 2*h = l + l - 142, 4*l - a = 3*h. Is 11 a factor of l?
False
Let f be (9 + -9)*(-2)/6. Suppose 4*d + 2*r = 28, f*d - 2*d + 14 = 2*r. Is (-5 + d)*5*2 a multiple of 11?
False
Is 12 a factor of 630/2*2/2?
False
Let t(b) = 3*b**2 + 2*b - 18. Is 32 a factor of t(6)?
False
Suppose 0*d + 1236 = 6*d. Suppose -4*i - 13 + 215 = 5*g, 5*g + 2*i = d. Does 10 divide (-35)/(-7)*g/10?
False
Let y = -94 - -46. Let q = -18 - y. Is 5 a factor of q?
True
Let q(z) = z**2 + 6*z - 12. Suppose -320 = -10*i + 6*i. Let g be i/12 - (-4)/(-6). Does 15 divide q(g)?
True
Let x = 651 + -250. Is x a multiple of 36?
False
Suppose -2*r + 2*m = -276, 2*r - 277 = -m + 4*m. Suppose -p - 2*p = -4*t + 117, 4*t + p - r = 0. Is 8 a factor of t?
False
Suppose 5*c - 3*q = 2767, -96*q = -92*q - 4. Does 8 divide c?
False
Let t(m) = -m**3 + 2*m**2 - m + 32. Is t(-5) a multiple of 16?
False
Suppose 3059 = 4*i - 1357. Is i a multiple of 16?
True
Let a = 40 + -29. Suppose -3*l + 5*x = -152, x + 43 + a = l. Does 9 divide l?
False
Let k = -154 + 93. Let o = 105 + k. Is 18 a factor of o?
False
Suppose -6*f +