e 2*y = -2*y + 8. Suppose 0 = y*p - 28 - 98. Is p a multiple of 21?
True
Is 10 + 2*(1 - 0) a multiple of 12?
True
Let t = 8 + -6. Suppose -t*z + 73 - 1 = 0. Does 15 divide z?
False
Suppose 0*p + 27 = 3*p. Suppose f = 4*f + p, -r - 4*f = 10. Suppose -6 = -2*l, r*q + 6*l - 76 = 2*l. Is 15 a factor of q?
False
Suppose -j = -5 + 2. Suppose -2*q - 3*x = 3, -5*x + 4*x = -3*q + 1. Suppose -j*g - 31 + 106 = q. Is 12 a factor of g?
False
Let s(j) = -j**2 - 10*j - 1. Let c be s(-10). Is 9 a factor of (c - 0) + 36 + 1?
True
Suppose -3*t = -2*t. Suppose -o = 3*n - 4, -3*n = -5*o + 3*o - 10. Is (-1)/n*-94 + t a multiple of 16?
False
Suppose 0 = j - 5*j + 20, k = -2*j + 19. Suppose -k - 7 = -2*g. Is 4 a factor of g?
True
Suppose 14 + 6 = -4*c. Does 2 divide (-2)/c*(-120)/(-8)?
True
Suppose 3*q = 2 + 4. Suppose y - k - 13 = 0, q*y = k + 30 - 5. Is y a multiple of 12?
True
Let h = 118 + -16. Is 11 a factor of h?
False
Let z = -1 + 7. Let q be 55/45 - (-2)/(-9). Suppose s + w - z = 0, -3 = 2*w + q. Does 4 divide s?
True
Suppose -4*i = -t - 121, -4*i + 2*t + 42 + 80 = 0. Does 15 divide i?
True
Suppose 0 = -c + 3*c - 10, -4*w + 2*c = -434. Suppose w = 2*p - 5*j, 3*p - 28 - 76 = -5*j. Is 10 a factor of p?
False
Suppose 8 = -3*y + 38. Let k(z) be the first derivative of z**3/3 - 4*z**2 + 2*z + 3. Is 11 a factor of k(y)?
True
Suppose -2*j + 0*m - 18 = -3*m, 4*j + 14 = -5*m. Let w = j + 2. Is 18 a factor of ((-95)/w)/5*4?
False
Suppose 4*b - 26 = 3*p, 5*p = -3*b + 7*b - 22. Suppose 5*d - s = 1154, b*s = 4*d + 4*s - 936. Suppose 7*z - d = 2*z. Does 21 divide z?
False
Let w be 1 - (3 + (-4 - -2)). Suppose 2*d + d - 4*o = 31, 5*d + 3*o - 42 = w. Is d a multiple of 3?
True
Let s be -1*(-3 + 2)*0. Let d = 2 + s. Suppose p + 0*p = -3*w + 10, 3*p - d*w - 63 = 0. Does 6 divide p?
False
Let a(f) = -f**3 - 9*f**2 - f - 3. Let w(k) = k**2 - 9*k + 9. Let b be w(6). Is 3 a factor of a(b)?
True
Let b = -115 + 212. Let z = 141 - b. Is 14 a factor of z?
False
Suppose 42 = 2*u + u. Let b = -1 + u. Is 13 a factor of b?
True
Let d(u) = -77*u - 1. Let a be d(-1). Suppose -3*q + a = -q. Is 16 a factor of q?
False
Let g(x) = -x**3 + 9*x**2 + 12*x - 6. Is 34 a factor of g(9)?
True
Suppose -36 = 4*p - 100. Let x = 30 - p. Is x a multiple of 7?
True
Suppose 5*n = 7*n - 22. Does 3 divide n?
False
Let h(w) = 2*w - 7. Does 3 divide h(13)?
False
Suppose 11*t - 1563 = 153. Is 13 a factor of t?
True
Suppose 185 + 4 = a. Does 8 divide a?
False
Suppose 2*g - 4*g + 33 = -5*q, 4*g - 6 = -2*q. Suppose -4*t = g*i - 112, 91 = 5*t + 2*i - 43. Suppose -84 = -2*r - t. Is r a multiple of 11?
False
Suppose -3*u - 15 = 0, 4*u = 2*r - 28 - 4. Does 3 divide r?
True
Is 12 a factor of -2 - (-13 + 3 + -5)?
False
Let v = 22 + -16. Does 2 divide v?
True
Let s(o) be the third derivative of o**6/120 - o**5/30 + o**4/12 - o**3/3 - 2*o**2. Let w be s(2). Is 3/((-3)/(-20)) - w a multiple of 9?
True
Suppose -10*y + 680 - 140 = 0. Is y a multiple of 27?
True
Let j = 12 - -1. Is (j/4)/((-4)/(-16)) a multiple of 5?
False
Let g = 24 - 20. Is g/(-6) + (-1422)/(-27) a multiple of 26?
True
Let z(n) = n**2 - 6*n - 5. Let y be (-3)/(9 + -3)*-22. Does 12 divide z(y)?
False
Suppose -5*d = -4*y + 2*y - 1213, 5*y = d - 238. Does 12 divide d?
False
Suppose s + 2 = 2*w - 3*w, -4*s - w = 5. Let k be ((-3)/9)/(s/(-57)). Let j = 45 + k. Is 13 a factor of j?
True
Let i(f) be the first derivative of 15*f**2/2 - 2*f - 3. Is 29 a factor of i(4)?
True
Suppose -5 + 26 = 3*l - 2*t, 3*t = 4*l - 28. Is l a multiple of 2?
False
Suppose -22 - 100 = 3*l + v, -5*l - 204 = 2*v. Does 8 divide 3/4 - 1770/l?
False
Suppose -g + 35 = -3*x, -g + 0*x = x - 27. Is g a multiple of 6?
False
Suppose -r + 4 + 5 = y, 4*r = -3*y + 31. Suppose -b = -6 + r. Suppose b*d + 4*m - 36 = -2*d, 26 = 2*d - 2*m. Is 11 a factor of d?
True
Let d(v) = -v**3 - 9*v**2 - 8*v + 9. Is 7 a factor of d(-8)?
False
Let r = -3 - -22. Let y be 16/3 - 2/6. Suppose -y*t + r + 11 = 0. Is 3 a factor of t?
True
Let l(w) = -w + 42. Suppose 0 = a + 4*p + 4, -2*p = 6*a - 3*a + 2. Does 14 divide l(a)?
True
Let c(u) = u**2 - 9*u + 2. Let g be c(9). Let d be (-63)/(-6)*(-4)/(-3). Is d + g - (3 + -1) a multiple of 8?
False
Let k(l) = 16*l + 3. Let j be k(2). Suppose j = u - 7. Is 11 a factor of u?
False
Suppose 4*z - 52 = -4*d, 5*d - 47 = 2*z - z. Is -2 - (-1 - d) - -3 a multiple of 3?
True
Let d = 165 - 57. Is 11 a factor of d?
False
Let v(h) = h - 5. Let w be v(7). Let n(y) = y**3 - y**2 + y - 2 + 2 + 3*y**2. Is 9 a factor of n(w)?
True
Suppose 8*w - 776 - 736 = 0. Is w a multiple of 43?
False
Let a be ((-2)/(-3))/((-2)/(-27)). Let t be (-1)/3 + 3/a. Suppose o - 52 = -3*y - t*o, -60 = -3*y - 3*o. Is y a multiple of 11?
False
Let x(w) = w**3 + 19*w**2 - 5*w - 5. Let k be x(-19). Suppose 4*h - k = 2*h. Does 10 divide h?
False
Let i(g) be the second derivative of g**5/60 + g**4/12 - g**3/3 - g**2/2 - 3*g. Let w(z) be the first derivative of i(z). Does 11 divide w(4)?
True
Let u(p) = p**3 + 5*p**2 + 2. Let m be u(-5). Let s be 1/m + (-2)/4. Suppose 4*h - 12 = r + 7, -3*r + 3 = s. Is 5 a factor of h?
True
Suppose -2*r + 59 = 3*d, -90 = -5*r + 7*d - 3*d. Is r a multiple of 16?
False
Is -11 + 10 + (78/2 - 0) a multiple of 38?
True
Let r(p) = 7*p - 7. Let m = -1 - -6. Is 13 a factor of r(m)?
False
Suppose i = 3*n + 63, -357 = -0*i - 5*i + n. Does 12 divide i?
True
Let n be -2 + -26*(-1)/2. Suppose -5 = 4*h + 3. Let i = h + n. Does 8 divide i?
False
Let p = 96 - 70. Does 13 divide p?
True
Let w(a) = -a**3 - a**2 + 5*a + 2. Let m be w(-3). Suppose 0 = m*s + 4*n - 32, n - 3*n + 26 = 5*s. Is s even?
True
Let q = 0 - -3. Suppose 5*b = -3*v + 60, -v + 31 + q = -3*b. Is 11 a factor of v?
False
Let n be (9/6)/((-6)/(-8)). Suppose 4*g - 40 = n*g. Is 10 a factor of g?
True
Let r be (-1)/(-2 - -1) - 1. Suppose -v = -r*v - 2*d + 19, 2*d - 10 = 0. Let l(q) = q**3 + 8*q**2 - 14*q - 13. Does 12 divide l(v)?
False
Let m(h) = 4*h + 0*h + 0 + 4. Is 8 a factor of m(5)?
True
Let a(d) = -5 - 2*d - d**3 + 6*d + 4*d**2 + 1 - 1. Let i be a(5). Is (-2)/(-10) + (-48)/i even?
False
Suppose 80 = c + c. Suppose v + c = 2*v. Is v a multiple of 8?
True
Let p be 816/27 - 2/9. Suppose 106 = 3*u + 5*d, -6*u + d + p = -5*u. Is u a multiple of 9?
False
Let n(s) = s**3 - 11*s**2 + 4. Let j be n(11). Suppose q - 137 = -j*k, k - 4*k + 4*q + 79 = 0. Does 7 divide k?
False
Suppose 4*r - 10 + 4 = -3*u, 6 = -r + 3*u. Let t be (1/3*r)/(-2). Suppose 0 = -s - t*s + 10. Is 5 a factor of s?
True
Let c = -16 - -6. Let w = 15 + c. Does 3 divide w?
False
Let t(x) = x**3 + 4 - 4 - 1 + x - x**2. Let i(m) = 3*m**3 - m**2 - m - 5. Let g(b) = -i(b) + 2*t(b). Is 12 a factor of g(-3)?
True
Let p(n) = -3*n + 3. Let a(i) be the third derivative of 5*i**4/24 - 7*i**3/6 - i**2. Let s(v) = 4*a(v) + 9*p(v). Is s(-2) a multiple of 13?
True
Suppose -2*z = -4*z - 30. Let o = z - -43. Let x = -14 + o. Is 11 a factor of x?
False
Suppose k - 52 = -k. Suppose 3*d + 5 = k. Let s = 8 + d. Is s a multiple of 15?
True
Let o(j) = -j**2 + 4*j - 3. Let n(v) = -3*v**2 + 13*v - 10. Let f(k) = 4*n(k) - 11*o(k). Does 5 divide f(6)?
True
Let k(n) = -17*n - 5. Let i(h) = -4*h - 1. Let r(x) = -9*i(x) + 2*k(x). Is 9 a factor of r(5)?
True
Does 5 divide 64/(2 - -1 - 1)?
False
Let n(k) = -k**2 - 8*k - 6. Let f be n(-6). Suppose -4 - f = -5*u. Suppose 4*c - 80 = 2*h, -u*c - 3*h + 42 = c. Is c a multiple of 9?
True
Let o = 8 - 5. Suppose -o*c = c - 136. Is 13 a factor of c?
False
Suppose 4*f + 250 = 998. Does 17 divide f?
True
Let t = 3 - -1. Suppose t*j + 92 = 6*j. Let q = j + 5. Is 22 a factor of q?
False
Let i(c) = c**3 + 6*c**2 - 8*c - 3. Let g be i(-7). Let o = 7 - g. Suppose o*n - 53 = 2*j - 7*j, 3*j + 13 = n. Is n a multiple of 8?
True
Suppose -4*l - 10 = -18. Let s be 26/4 - (-3)/(-6). Let p = s - l. Is 4 a factor of p?
True
Let z(x) = -x + 4. Let i = -1 - -7. Let d be z(i). Is 16/6*(-3)/d a multiple of 2?
True
Let f = -21 + 13. Does 15 divide f*-7*(-1)/(-2)?
False
Let b be (-199)/(-4) + 2/8. Let w = 12 + b. Is w a multiple of 23?
False
Suppose -j = -2*s - 30, -5*s = 2*j - 7 - 17. Is j a multiple of 2?
True
Let d(t) = -24*t. Is d(-10) a multiple of 16?
True
Suppose 0*s - 69 = -s. Is 23 a factor of s?
True
Let g(f) = f. Let c be g(10). Suppose 3*p - c - 17 = 0. Is p a multiple of 9?
Tr