et i(q) = -q**3 + 10*q**2 + 11*q + 8. Let t be i(11). Is t/(-24) - 308/(-6) a multiple of 17?
True
Let o be (-2 + (1 - 0))*-84. Suppose -5*u + n + o = -0*n, -2*n + 56 = 4*u. Suppose p = -4 + u. Is p a multiple of 6?
True
Let d(y) = -22*y**3 - 2*y**2 + 12*y + 68. Is 132 a factor of d(-6)?
False
Suppose 0 = 5*h - 10, 0 = 4*a - 0*h + 4*h - 3232. Does 23 divide a?
False
Let u = 1544 - 1310. Is u a multiple of 39?
True
Suppose -2 = -n + 3*m - 11, -n = -5*m + 15. Suppose 4*l = 2*l + 3*q + 121, -l - 5*q + 28 = n. Does 7 divide l?
False
Let b = 336 - 136. Does 14 divide b?
False
Let z(x) = x**3 - x**2 - 2*x - 3. Let j be z(3). Let t = j + 15. Is t a multiple of 3?
True
Let k(s) = 2 + 10*s**2 + 15*s**2 + 2. Does 13 divide k(2)?
True
Let u(m) = -30*m + 60. Does 50 divide u(-8)?
True
Let v(h) be the second derivative of -h**5/20 - h**4/2 - h**3/2 + 15*h**2/2 - 15*h. Is v(-6) a multiple of 9?
False
Suppose 5*q = 2727 - 727. Let o be ((-15)/(-10))/((-6)/q). Let a = -66 - o. Does 21 divide a?
False
Does 8 divide 11/((3 - 110/35)*-1)?
False
Let i(r) = 2*r**2 - r + 1. Suppose -5*h = 5*n - 90, 3*n + 0*n = 5*h - 130. Suppose -3*s + 2*s - 4*m + h = 0, 4*s = 2*m + 2. Does 6 divide i(s)?
False
Let d be 16/(-5) - 3/(-15). Let u(v) = -6*v**2 - 5. Let c be u(d). Let m = -23 - c. Is 18 a factor of m?
True
Suppose 3*z + 4*w - 84 = z, 2*z - 105 = 3*w. Suppose -4*m + m = -z. Is m a multiple of 16?
True
Is 221 - 4*(105/(-28))/5 a multiple of 28?
True
Suppose -7*m = -4*m - 12. Suppose -m = 4*h, -4*l + 86 = 3*h - h. Is 7 a factor of l?
False
Let y(h) = h + 20. Let w be y(-4). Suppose 10 = -v + w. Is v a multiple of 6?
True
Let m(w) = -w - w**3 - 2*w**2 - 32 + 32. Let n be m(-1). Suppose n = -2*k + 11 + 19. Is k a multiple of 5?
True
Suppose 2*g = -2*g + 20. Suppose -2*t - 2*n + 3 = n, -5*t - g = -5*n. Suppose 0 = -t*h + 4*h - 136. Is h a multiple of 15?
False
Is 11 a factor of -1 + 2095 + (9 - (7 + -1))?
False
Let q(a) = a**3 - 3*a**2 + a + 7. Let m be q(3). Does 46 divide -1 + -1 - (-122 - m)?
False
Suppose -3*w - 2*h = -14886, -217*w = -219*w + 3*h + 9911. Is 33 a factor of w?
False
Let d = -126 - -66. Let k be (-2)/4 - (-1410)/12. Let l = k + d. Does 23 divide l?
False
Let s(q) = 18*q - 7. Let z(o) = 1. Let u(d) = -s(d) - 4*z(d). Is u(-2) a multiple of 13?
True
Suppose z - 12 = -p, -8 = -5*p + 4*z + 52. Suppose 2*n + a = 3*a + p, -4*a - 6 = 5*n. Is (-5 + 0)*-1*n a multiple of 10?
True
Does 137 divide (-6)/7*(-272223)/174?
False
Let i(y) = 28*y - 14. Is i(3) a multiple of 2?
True
Let x be 6*(-3 - (-21)/6). Let r be x + -1 + (-22)/11. Suppose z + 4*z - 35 = r. Is 5 a factor of z?
False
Let y be ((-1)/(-2)*0)/1. Let r = -3 - y. Is 1/(0 - r/81) a multiple of 12?
False
Let y = 2974 + -2865. Is y a multiple of 14?
False
Let h = 236 - 282. Let g = -25 + 2. Let d = g - h. Is 23 a factor of d?
True
Suppose -6029 = -27*n + 7363. Is 8 a factor of n?
True
Let y(t) = -t**3 - 4*t**2 + 2*t - 5. Let u be y(-5). Let z(g) = -11*g - 26. Let q be z(-5). Let n = q - u. Is n a multiple of 8?
False
Suppose -24 = -4*w + 24. Let m be (-4)/w + (-458)/(-6). Suppose 0 = -0*a - a - 3*d + 39, 4*a - 4*d - m = 0. Is a a multiple of 12?
True
Let d(n) = -n**2 + 14*n - 29. Does 14 divide d(7)?
False
Let p(z) = -z**2 - 6*z + 4. Let a be p(6). Let u = -1 - a. Does 14 divide u?
False
Let f(u) = -u + 12. Let o be f(12). Suppose o = v - 40 + 18. Is v a multiple of 2?
True
Is 52 a factor of (-44 + 292)*1/((-1)/(-7))?
False
Let f = 5 - 2. Suppose -3*z - f*h - 109 = -5*z, 5*h - 207 = -4*z. Is z a multiple of 19?
False
Suppose 128 = -3*h + 7*h. Let c = -3 - -2. Let a = h + c. Is 13 a factor of a?
False
Let o(u) = -4*u - 12. Let p be o(-4). Suppose p*h = -h. Suppose -2*j = f - 4*f + 444, 3*j + 9 = h. Is f a multiple of 35?
False
Let x = -21 - -24. Suppose -x*w + 30 = -66. Is 32 a factor of w?
True
Suppose 0 = 3*x - 3*j - 670 - 107, 3*j = -2*x + 493. Is x a multiple of 20?
False
Suppose -1230 = 28*r - 22*r. Suppose 12 = 4*q, 0 = -4*m - 3*q - 377 - 162. Let p = m - r. Is 19 a factor of p?
False
Suppose k + 67 = 2*w, -k + 2*k + 4*w + 43 = 0. Let q = 153 + k. Does 7 divide q?
False
Let f be (-2)/17 - 57/(-51). Is (0 + f)/(9/90) a multiple of 10?
True
Suppose 2*g - 39 - 13 = 0. Let z = g + -22. Is z a multiple of 4?
True
Suppose 0 - 8 = -2*m. Suppose -5*a - 3 + 1 = l, 3*a + 2*l = -m. Suppose a = 6*s - 4*s - 172. Is s a multiple of 25?
False
Let l(h) = 1008*h. Let f be l(1). Suppose -5*n - 2*n + f = 0. Is 48 a factor of n?
True
Let p(t) = 43*t**3 - 5*t**2 + 13*t - 3. Is 9 a factor of p(3)?
True
Let i be (4 - 0 - -56)*(-2)/(-4). Let h = -1 - -3. Suppose -h*s = -6, -2*s - i = -2*y - 6*s. Is y a multiple of 9?
True
Is (-13 - (-1260)/16)/(1/52) a multiple of 87?
False
Let w = 4542 + -2502. Is w a multiple of 10?
True
Let t(q) = -2*q**2 + 84*q**3 - 4 + 6 - 25*q**3. Is t(1) a multiple of 18?
False
Let n = 664 + -439. Is 27 a factor of n?
False
Does 28 divide 3*((-1024)/(-7) - 40/140)?
False
Suppose -5*i + 61 = 16. Let n(d) = -d**2 + 4*d + 9. Let o be n(i). Let b = o + 81. Is 15 a factor of b?
True
Suppose -5*w + r + 19 = 0, 2*w - 7 - 3 = r. Suppose 0 = -w*u + 5*u. Suppose 3*c - 3*a = 57, 3*c - 59 = -u*a + a. Is c a multiple of 20?
True
Let x = 0 - 2. Let c be (-46)/4*4/x. Suppose -2*s = s + a - c, 3*s + 4*a = 11. Is s a multiple of 2?
False
Let o(h) = -h**2 - 31*h - 48. Let b be o(-24). Let q = 229 - 157. Suppose -3*d + q = -0*w - 3*w, 0 = -4*d - 4*w + b. Does 9 divide d?
True
Suppose -17 = -3*n - 5. Is 13 a factor of n/22 + (-4858)/(-22)?
True
Let s = -19 - -19. Let l = s + 4. Suppose 10 = l*m - 14. Does 3 divide m?
True
Let x = -19 + 77. Suppose 4*j + 14 = 6, -d + x = j. Does 15 divide d?
True
Let y(m) = 3*m - 5. Let l be y(2). Suppose u + l = 4*r + 5, 0 = -3*u + r - 10. Does 36 divide (-9480)/(-132) + u/(-22)?
True
Let z(v) = v**2 + 14*v - 28. Let a be z(-16). Suppose 0 = -4*n - a*c + 28, -4*n = n - 3*c - 51. Is n even?
False
Let a be (-231)/15 - 4/(-10). Let m = a + 43. Does 7 divide m?
True
Let l = 35 + 95. Let a = 75 - l. Is 4 a factor of 1/2 + a/(-10)?
False
Let j = -2202 + 2314. Is j a multiple of 56?
True
Let c(h) = h**2 + 6*h + 2. Let w be c(-6). Suppose k + 249 = 3*r, 0 = -w*r + 5*k + 69 + 97. Is r a multiple of 11?
False
Suppose -23 = -m + 3*i, -m + 0*m = -i - 15. Let o = 15 - m. Suppose -o*w + 61 = -31. Is w a multiple of 20?
False
Suppose 0 = d - 3, 2*j = j - 4*d + 9. Let q(o) = -6. Let x(t) = t - 6. Let c(l) = 5*q(l) - 6*x(l). Is c(j) a multiple of 12?
True
Let z(r) = -r**3 - r**2 - 2*r + 7. Let g be z(0). Is -4 + (350/g - (4 + 0)) a multiple of 14?
True
Suppose 20*w = 2112 + 1408. Is w a multiple of 16?
True
Is (-8749)/(-9) - (-2 - 171/(-81)) a multiple of 25?
False
Let a(t) = t - t - 2*t**3 - t + 3*t**3. Let b be a(1). Suppose b = -n - 0*n - 3*q + 22, -4*n = -4*q - 24. Is 5 a factor of n?
True
Let a = 34 - -67. Let d be (8*1)/((-1)/4). Let v = d + a. Does 23 divide v?
True
Let k(c) = 11*c**3 - 4*c**2 + 9*c + 7. Let y(d) = -13*d**3 + 3*d**2 - 8*d - 8. Let p(n) = -7*k(n) - 6*y(n). Let t be 4/(-6) + (-31)/3. Is p(t) a multiple of 19?
False
Suppose -27*h = 19*h - 313030. Is h a multiple of 13?
False
Suppose 2*g - 6 = -g. Let i be 104/234 - 116/18. Is 8/g*i/(-4) even?
True
Suppose 0 = p + 5, -5*h + 6*p - p = -110. Suppose 5*n = i - h, 2*i + 5*n - 6 + 2 = 0. Suppose i*l - 4*l = 156. Does 26 divide l?
True
Let p(u) = 3*u**3 + 18*u**2 + u**3 - 3*u**3 + 3 + 9*u + 10*u. Is 57 a factor of p(-16)?
False
Suppose h + 4 = 3*g, -20 = -2*g + g + 5*h. Suppose -4*w + g*a + 255 = 3*a, 3*w - 190 = -a. Is 21 a factor of w?
True
Let c(z) = -z**2 + 13*z. Let p be c(7). Suppose 18 = 10*m - p. Is m a multiple of 3?
True
Let h(i) = -i**2 + 11*i - 12. Let a be h(8). Let o be 10/6*(a - 9). Let x(k) = 2*k**2 - k - 6. Is x(o) a multiple of 13?
True
Let b = -75 + 25. Let t be (6/10)/(10/b). Let i(l) = -l**3 + 3*l**2 + 3*l + 3. Does 19 divide i(t)?
False
Suppose 4*i - 1 = 7. Suppose 2*j + 5*z = 0, 0 = i*j - 2*z - z. Suppose -2*w - w + 3*t = -264, w + 3*t - 92 = j. Is 23 a factor of w?
False
Let o = 12 - 16. Let h be o/22 + (-423)/33. Let y = 31 + h. Is 9 a factor of y?
True
Suppose -d = d + 5*z + 2, 60 = -4*d + 4*z. Let x = d - -43. Is 8 a factor of x?
True
Suppose 5*a + 2*j - 196 = 0, -5*a + 2*j + 18 + 166 = 0. Is a a multiple of 38?
Tr