t p be r(z). Suppose 2*l - 2 = p. Is l a multiple of 2?
False
Let n(i) = -i**2 - 4*i - 1. Let k be n(-5). Does 5 divide 321/45 + k/45?
False
Let m be (-4 - -6) + 1 + 50. Let d = m + -35. Is d a multiple of 18?
True
Suppose -3*s + 19 - 4 = 0. Let q(y) = -s + 1 + 27*y**2 - 4 - y + 9. Is q(1) a multiple of 9?
True
Let u(o) = -3*o**3 + o. Is 21 a factor of u(-3)?
False
Suppose -j = -4*j + 108. Is j/(-15)*40/(-6) a multiple of 6?
False
Suppose 2*f + 3 = 7. Let v(k) = -13*k. Let h be v(-4). Suppose h - 18 = f*y. Is y a multiple of 17?
True
Let v = -15 + 60. Does 9 divide v?
True
Suppose -3*g + 168 = g. Does 14 divide g?
True
Let d(a) = a**2 - 8*a + 4. Let j be d(8). Suppose j*z + z = 420. Is z a multiple of 28?
True
Let j = 12 - -133. Let w be ((-12)/21)/((-3)/(-42)*-2). Suppose a - j = -w*a. Does 10 divide a?
False
Is (8/6)/(6/99) a multiple of 2?
True
Let k(s) = -8*s**3 - 7*s**2 + 3. Does 16 divide k(-3)?
False
Let z(t) = -53*t + 1. Suppose -19 = -j + 5*r, -3*j + 0*r + 5*r = -17. Is 27 a factor of z(j)?
True
Let v(a) = 96*a**2 - 2*a + 2. Is 16 a factor of v(1)?
True
Let t(f) = -f**2 + f + 102. Let w be t(0). Suppose -6*n + 3*n = -w. Suppose 2*b = 5*l - 61, -5*l + n = -3*l + 4*b. Does 10 divide l?
False
Suppose -2*c + 3*s + 447 = 0, -227 = -c + 3*s + 2*s. Is c a multiple of 37?
True
Let a(f) = -f**2 - 5*f - 3. Let k be a(-3). Let g be (0 + -1)*(-2 + k). Is 12 a factor of (g + -3)/(1/(-3))?
True
Let l(q) = -q**3 + 3*q**2 + 2*q. Does 16 divide l(-3)?
True
Let n(r) = -r**2 - 12*r + 8. Let b(h) = -9*h**2 - 1. Let d be b(1). Is 26 a factor of n(d)?
False
Is 270 - (-1 - (-1 + 0)) a multiple of 45?
True
Is 14 a factor of ((-12)/(-2))/((-36)/(-270))?
False
Suppose -3*r + 27 + 123 = 0. Is r a multiple of 25?
True
Let c(o) be the first derivative of -o**3/6 - o + 1. Let x(v) be the first derivative of c(v). Is 2 a factor of x(-4)?
True
Let m(c) = c**2 - 136. Let r be m(0). Let g = 195 + r. Is g a multiple of 15?
False
Does 10 divide 299/5 + 4 + (-76)/20?
True
Suppose -2*m + 0 = w - 4, m - 44 = -4*w. Is w a multiple of 3?
True
Let n(q) be the first derivative of q**3/3 - q**2/2 + 4*q - 2. Is 10 a factor of n(3)?
True
Let r(g) = -g**3 - 9*g**2 + 3*g - 1. Let o be r(-10). Suppose -4*y = 2*v - 64, -3*y = -4*v + 15 + o. Does 8 divide v?
True
Let p(k) = k - 5. Let u be p(5). Let b be 0/(u - (3 + -2)). Is (1 - (0 - b)) + 2 even?
False
Suppose 0 = -2*q - 5*k - 2 + 16, 5*k = -4*q + 28. Suppose 4*y = q*b - 3*b - 156, -3*b + 4*y = -118. Does 19 divide b?
True
Suppose 5*i = 4*y - 299 - 71, 2*y = -i + 178. Is y a multiple of 15?
True
Is (-1 + 11/2)/(2/44) a multiple of 11?
True
Let j = 0 - -10. Is j a multiple of 5?
True
Let n(x) = -x - 2. Let i be n(-5). Suppose 3*q - 4*w = -14, 0*q - q + w - i = 0. Is q a multiple of 2?
True
Let c = 3 - -1. Suppose -2*z = 5*p - 121, 3*z - 5*z + 94 = -c*p. Suppose 0 = -3*b + 6, z = 5*j - 4*b + 6. Does 5 divide j?
False
Let b(u) = u**3 - 10*u**2 + 11*u - 12. Let z = -42 - -11. Let o = -22 - z. Is b(o) a multiple of 6?
True
Suppose 2*y - 6*y = -12. Suppose -2*b = -4*o + 106, -3*o + 92 = -y*b - b. Is 24 a factor of o?
True
Is 10 a factor of ((-30)/4)/((-6)/24)?
True
Suppose 0 = 2*q - 4. Suppose q + 8 = 2*c. Suppose i - c = 12. Does 13 divide i?
False
Let q(j) = -6*j - 1 - 3*j + j. Does 6 divide q(-2)?
False
Let r be -14*(-2)/4*1. Does 19 divide (-4)/(12/(-21))*r?
False
Let d be ((-6)/8)/(2/(-8)). Let b(v) = -v**3 + 6*v**2 + 7. Let q(h) = 1. Let x(a) = b(a) - 5*q(a). Is x(d) a multiple of 11?
False
Let y(b) be the first derivative of 2 + 5*b - 5/2*b**2. Is y(-5) a multiple of 15?
True
Let f = -1 - -15. Does 7 divide f?
True
Let a(w) = -w - 5. Let f be a(-10). Let b(k) = 4*k - 1. Is b(f) a multiple of 16?
False
Let u(o) = o**2 + 3*o + 1. Let j be u(-4). Suppose -4*i + 26 = -i + j*r, -r + 29 = 2*i. Is i a multiple of 17?
True
Let j = 8 + -6. Let t be (j/3)/1*6. Suppose 5*y + 4*r = 91, -t*y = -2*r - 2*r - 44. Is 13 a factor of y?
False
Let r be (-1)/(2*(-1)/6). Is ((-112)/(-12))/(2/r) a multiple of 6?
False
Let g(h) = 4*h - 5. Let f(c) = c + 1. Let p(j) = f(j) + g(j). Does 5 divide p(5)?
False
Suppose 0 = b + 2*w - 30, -b + w + 75 = 3*b. Is b a multiple of 7?
False
Let c(o) = 18*o + 3. Let h be c(-4). Let i = h - -114. Does 10 divide i?
False
Suppose -y - 10 = -42. Is 12 a factor of y?
False
Suppose 4*a = -4*m + 12, 0 = 2*a - 1 + 3. Suppose -20 = -m*q + 2*q. Does 5 divide q?
True
Let y(q) = 4*q. Let t be y(2). Is -2*(1 + (-28)/t) a multiple of 5?
True
Let w = 74 - 26. Is 24 a factor of w?
True
Suppose 0 - 5 = -5*b. Let u be (4/6)/(b/(-6)). Does 13 divide (u - -1)*(-4 + -1)?
False
Let n = 40 + -26. Is 7 a factor of n?
True
Let p be (1/2)/(4/240). Is p*(-6)/9*-1 a multiple of 10?
True
Let g be ((-21)/(-6) + -3)*0. Suppose 3*u = -3*o + 9, -u + 7 + 6 = 3*o. Suppose -3*c + 39 = -2*n, 18 = -g*c + 3*c + o*n. Does 5 divide c?
False
Let p be (38 - -1 - 0) + -1. Let w = p + -22. Does 8 divide w?
True
Let h be 8 - 5 - 3*1. Let j(z) = -z**3 - z + 2. Let o be j(h). Suppose -2*t + c + 12 = -0*t, 3*t + o*c - 11 = 0. Is t a multiple of 5?
True
Suppose 0 = s + 5 - 42. Does 10 divide s?
False
Let m be ((-6)/(-2) - -1) + 2. Suppose 4*j = m*j - 4. Suppose 4*w - d + 41 = 7*w, -3*w + 40 = j*d. Is 9 a factor of w?
False
Let j = -34 + 58. Suppose -j = -3*r + 30. Does 9 divide r?
True
Let j(i) = 4*i**3 + i. Let d be j(-1). Is 7 a factor of (-2 + (-24)/d)*5?
True
Let k = -43 - -95. Does 13 divide k?
True
Let g(t) = t**2 + 7*t + 16. Is 20 a factor of g(-12)?
False
Let s(j) = 6 - 5*j**2 + 3*j**2 - j**3 - 3 + 6*j. Let o be s(-4). Suppose -3*c + 38 = o. Does 7 divide c?
False
Let m(l) = l**3 - 7*l**2 + l - 4. Let n be m(7). Suppose 3*z + 69 = -0*z. Let b = n - z. Is 15 a factor of b?
False
Let o be (-5)/(-2)*(-4 + -2). Let b = -11 - o. Suppose -b*i = 2*d - 144, 0 = -0*d + 2*d. Does 18 divide i?
True
Suppose -2*y + 119 = -39. Is y a multiple of 16?
False
Suppose 4*d - 28 = -4*t, -2*t = 2*d + d - 18. Suppose 3*n + 4*g = -d - 16, -5*g - 25 = 0. Suppose -j + n*j + 12 = 0. Is 9 a factor of j?
False
Let h = -21 - -15. Let a(r) = -10*r + 7. Does 17 divide a(h)?
False
Let y = 7 - 5. Suppose -t = -q - 0*t - 8, 0 = -q - y*t - 14. Is q/((-3)/6*1) a multiple of 9?
False
Suppose -p + 2*l = -11, 5*p - l = 3*l + 31. Suppose -5*d - 170 = -2*w - p*w, 5*d = 3*w - 102. Is w a multiple of 18?
False
Does 22 divide (96 - (4 + -7))/1?
False
Suppose -8 = -5*w + 2. Suppose -15 = -3*q + k, -w*k - 18 + 6 = -3*q. Is 6 a factor of q?
True
Let h(c) = -2*c. Let u be h(-2). Suppose -u*l - 319 = -5*k, -49 = -2*k - 5*l + 105. Does 26 divide k?
False
Does 21 divide 36/30*14/(-6)*-90?
True
Let c be (-6)/(-9) - (-8)/6. Suppose -c*q + 6 + 80 = 0. Suppose 4*o = 4*i + 18 - 82, -2*o = -3*i + q. Is 11 a factor of i?
True
Does 3 divide (-96)/((-16)/(-4))*-1?
True
Let m(u) = u**3 - 7*u**2 + 7*u - 1. Let w be m(6). Suppose 0 = -w*s - b + 180, 5*s + 7*b = 5*b + 185. Does 18 divide s?
False
Let f(r) = r**3 - 10*r**2 + 6*r + 5. Let d be f(6). Is 8/28 + d/(-7) a multiple of 5?
True
Let j(t) = t**2 + 7*t + 18. Let y be j(-7). Let c = y - -30. Does 8 divide c?
True
Suppose 3*u - 2 = u. Suppose u + 3 = n. Suppose 3*p - 46 = -2*h - 2*h, -4*h + 44 = n*p. Does 13 divide h?
True
Let a be ((-8)/5)/((-2)/10). Suppose 6 = -2*k, 0 = 3*m - a*k + 3*k - 54. Suppose -5*q - 2*c = -65, 3*q - m - 7 = -5*c. Does 6 divide q?
False
Let n = -1 + 1. Suppose 5*d + 3*q - 2*q - 115 = n, 5*d = 5*q + 115. Is d a multiple of 23?
True
Let u(t) = t**3 - 14*t**2 + 2*t + 20. Does 12 divide u(14)?
True
Suppose -1019 = -8*z - 139. Does 10 divide z?
True
Let m = 7 + -4. Suppose 39 - 111 = -m*y. Does 12 divide y?
True
Suppose 35 = 5*r + 10. Suppose -r*w - s + 100 = 0, 4*w + s - 42 = 37. Is 7 a factor of w?
True
Let o(x) = -x**2 - x - 4. Let b be o(-3). Let a = b + -15. Let f = a + 43. Does 17 divide f?
False
Let p = 3 + 29. Is p a multiple of 32?
True
Suppose -18 = -5*g - 3. Let b be (g/1)/((-9)/(-12)). Let r(y) = -y**2 + 9*y + 3. Is r(b) a multiple of 9?
False
Does 3 divide (-28)/(-5)*6 - 18/(-45)?
False
Let y(t) = t**2 + 6*t - 7. Let j be y(-7). Suppose -3*b = 3*f - j*f - 111, 4*f = -b + 163. Is f a multiple of 15?
False
Let q = -31 - -17. Let m be (-133)/q*3*2. Let l = -33 + m. Is 12 a factor of l?
True
Let y be 2/((-3)/117*-3). Suppose 80 = -0*c - 