ultiple of 10?
False
Let i(m) = 2*m**3 + 5*m**2 + 13*m + 12. Let h(y) = -5*y**3 - 16*y**2 - 38*y - 35. Let z(p) = -3*h(p) - 8*i(p). Does 6 divide z(9)?
True
Let r(f) = -13*f**3 + f + 1. Let p(y) = y**2 + 4*y + 3. Let x be p(-3). Let h = x + -1. Does 13 divide r(h)?
True
Suppose -2*c = d - 4*d + 13, -4*d = -5*c - 22. Let i be c*(-3)/(-12)*0. Suppose -134 = -4*w + z, i*w - 3*w + 95 = 2*z. Does 11 divide w?
True
Suppose -3*a = -0*a - 69. Does 3 divide a?
False
Let j(f) = -f + 16. Let r be j(8). Let x = r + 31. Does 12 divide x?
False
Let a(u) = u**3 + 7*u**2 + 4*u - 8. Let o be a(-6). Suppose -144 = -o*y - 0*y. Does 9 divide y?
True
Suppose 2*v - 8 = 4*v + 3*s, 3*s = v + 13. Let t(r) = r**3 + 7*r**2 - 2*r - 1. Does 11 divide t(v)?
False
Let f be (-156)/(-7) - (-2)/(-7). Suppose -5*w = l + 37, -3*w = -l + 16 + 3. Let t = f + w. Is 6 a factor of t?
False
Suppose -30 = -4*c - 3*s, 3*s + 9 - 27 = -2*c. Does 4 divide c?
False
Let n = 37 - 34. Is n even?
False
Is 7 a factor of 2 + (-4 - 0) - -30?
True
Suppose 7*r - 2*z - 248 = 6*r, -2*z = 3*r - 720. Does 11 divide r?
True
Let u(c) = 7*c**3 - 3*c**2 + 3*c - 1. Is 6 a factor of u(1)?
True
Let c(l) = -l**3 - 10*l**2 - 11*l + 4. Is 11 a factor of c(-9)?
True
Suppose 2*w + 2*w - 30 = -2*k, 5*k + 4*w = 45. Suppose 3*n - 16 = k*i, -3*i - 13 = -3*n + 11. Is 5 a factor of n?
False
Suppose 0 = -4*y - 4*m + 488, 0 = -4*m + 6 + 6. Does 15 divide y?
False
Suppose 4 = q - 23. Does 12 divide -1 + q + -2 + 0?
True
Suppose -2*c - i = 3*i - 32, -c - 4*i = -24. Is 2 a factor of c?
True
Let a(l) = 2*l**2 - 5*l - 4. Let r be (-3)/(-5) + 51/15. Let h be a(r). Suppose u = -0 + h. Is 4 a factor of u?
True
Let u(o) = 2*o**2 - 7*o + 7. Let z be u(7). Suppose -2*f - 10 + z = 0. Is f a multiple of 16?
False
Suppose -2*f - 3*f = -2*y + 19, -4*y + 2*f = -14. Suppose -29 = -y*i + 1. Is i a multiple of 5?
True
Let v be 2*1*(-285)/(-6). Suppose 3*l = 254 - v. Suppose -5*n = l - 233. Is n a multiple of 18?
True
Suppose 16 = 3*h + h. Suppose -h*b = -b + 15. Let u = 24 + b. Does 7 divide u?
False
Let y(s) = -s**3 + s**2 - s + 2. Let z(o) = -2*o**3 + 3*o**2 - 3*o + 5. Let v(l) = -7*y(l) + 3*z(l). Let h be v(1). Is 8 a factor of 1/h + 75/10?
True
Suppose 0 = -2*t - 119 + 35. Let m = 72 + t. Is 8 a factor of m?
False
Let h = -52 - -96. Is 24 a factor of h?
False
Let f(z) be the second derivative of -4*z**3 + z**2 + z. Is 13 a factor of f(-2)?
False
Suppose -5*j = -3*o - 136 - 1131, 0 = -2*j + o + 507. Is 26 a factor of j?
False
Suppose -5*y - 2*y = -602. Is 11 a factor of y?
False
Suppose -4*f + 11 = -29. Does 8 divide 6/10 - (-164)/f?
False
Suppose -y + 29 = 1. Does 7 divide y?
True
Suppose y - 3 = 17. Does 7 divide (-2)/6*-3 + y?
True
Let i = -56 + 83. Does 7 divide i?
False
Let x = 9 + -209. Let q = -112 - x. Suppose -4*m = -4*f - q, -f + 66 = 3*m - 3*f. Is m a multiple of 11?
True
Suppose -2*f - 110 = 5*l, -5*f - 4*l - 334 = -42. Let r = -27 - f. Suppose 4*x = -1 + r. Is x a multiple of 8?
True
Suppose -570 = 4*g - 9*g. Does 12 divide g?
False
Let v(k) = -k**2 + 7*k - 4. Let s be v(6). Suppose s = w + 3*y - 2, -2*y - 2 = 0. Is 5 a factor of w?
False
Let g be ((-6)/(-8))/(21/56). Let m(z) = 2*z**2 - 2. Does 2 divide m(g)?
True
Let n(s) = 4*s**2 + 5*s - 11. Let m(g) be the third derivative of -g**5/60 - g**4/12 + 2*g**3/3 + 2*g**2. Let a(w) = 7*m(w) + 2*n(w). Is a(4) a multiple of 6?
True
Suppose -13*d + 480 = -d. Does 10 divide d?
True
Let m(u) = u**2 - 17*u + 34. Is m(15) a multiple of 2?
True
Suppose 0 = -3*w - 0*w - 18. Let f be (w/(-2))/(2/(-4)). Is 5 a factor of 45/f*(-4)/3?
True
Suppose -2*u + 5*f - 2 = -3*u, -3*f = -2*u + 69. Suppose u = 4*z - z. Is z a multiple of 3?
True
Suppose -3*c + 33 = g, 0*c = -g - c + 23. Does 16 divide g?
False
Let d = 907 + -583. Does 36 divide d?
True
Suppose -3*k - 5*h = 67, 0 = -h + 4. Let w = k + 53. Is w a multiple of 14?
False
Let r be 3/(-6) + (-18)/4. Let f(b) = -4*b - 3. Let n be f(r). Suppose 0 = 3*k - 43 - n. Is k a multiple of 8?
False
Suppose 4*y = -5*c + 6 + 11, c = -2*y + 7. Let q be c*1*-2 + 5. Suppose 6*z = q*z + 9. Is 2 a factor of z?
False
Is 7 a factor of 7/2*(-4 + 14)?
True
Let l = 10 - 5. Suppose -6*q = -2*q + 12, -l*w + 5*q = 0. Is (-74)/(-2) + w + 2 a multiple of 20?
False
Let a(i) = i - 4. Let c be a(5). Suppose -3*u + c + 2 = 0. Is 14 a factor of ((0 - u) + -27)*-1?
True
Suppose 0 = k - 22 - 41. Is k a multiple of 22?
False
Let g(s) = s + 48. Let t be g(0). Let q = t - -4. Is q a multiple of 13?
True
Let d(m) = m**3 - m**2 + m - 2. Suppose 3*n = i + 6, n + 0*n - 2*i = 2. Let b be d(n). Suppose 0 = -0*h + b*h - 104. Is h a multiple of 15?
False
Does 3 divide (-2 - (0 + 1))*-9?
True
Let d be ((-15)/(-2))/(6/40). Suppose 2*c + 0*c = d. Let u = 43 - c. Does 9 divide u?
True
Let t(q) = -2*q**3 - 4*q**2 + 6*q - 3. Let d(g) = 3*g**3 + 4*g**2 - 7*g + 4. Let a(u) = 3*d(u) + 4*t(u). Is a(6) a multiple of 30?
True
Let m = 49 + 26. Does 24 divide m?
False
Is 5*((-56)/(-20) - 1 - 1) even?
True
Let w = -16 - -43. Does 16 divide w?
False
Let r be (-3)/(-6) + 116/8. Suppose -3*n + 12 = 0, 5*g - r - 4 = -n. Is g a multiple of 2?
False
Let i be (-3)/(-12) + 46/8. Let p = 0 - i. Let n(t) = t**3 + 8*t**2 + 9*t + 1. Is n(p) a multiple of 12?
False
Let c be (66/12)/((-2)/20). Let u = 94 + c. Is 13 a factor of u?
True
Does 7 divide (-1)/(28/16) - (-747)/21?
True
Suppose 3*w = -4*a + 8*w + 204, 0 = 5*a + 4*w - 255. Suppose 0*r - a = -r. Is r a multiple of 17?
True
Suppose 0 = -p + 40 + 20. Does 15 divide p?
True
Let w be -3*(0 + (1 - 3)). Suppose 0 = -5*h, -h = -5*u - 0*u + 10. Suppose 5 = -2*j + 13, 0 = u*n - 4*j + w. Is n a multiple of 2?
False
Let w(c) = c**3 - 6*c**2 + c + 6. Does 12 divide w(6)?
True
Let c = 24 - -13. Is c a multiple of 9?
False
Let a be ((-12)/(-10))/((-20)/(-50)). Suppose 0 = -2*o + a*u + 23, 0 = 2*o - u - 3*u - 18. Does 9 divide o?
False
Let x be (-6)/(-21) - (-66)/14. Suppose q = 1 + x. Is q a multiple of 3?
True
Suppose 2*n + 10 = 5*p - 2, -3*n - 31 = -p. Let h(f) = -f + 15. Is 24 a factor of h(n)?
False
Let p be (3 - 2) + (2 - 0). Suppose 3*g - 5*i = 28, -p*g + 14 = 2*i - 0*i. Does 2 divide g?
True
Is 2 a factor of (61/(-4))/((-9)/4 - -2)?
False
Let u = -76 - -130. Let g be 2/4 - u/12. Is 19 a factor of ((-2)/g)/(1/38)?
True
Let k be 4/16 - 62/(-8). Suppose -2*n + 24 + k = 0. Is 6 a factor of n?
False
Let d(m) = 38*m - 1. Let v(a) = a**3 - 3*a**2 + 4*a - 3. Let y be v(2). Let f be d(y). Let b = 67 - f. Is 8 a factor of b?
False
Let p be 3*((-8)/3 + 2). Let b(t) = -11*t + 1. Is b(p) a multiple of 23?
True
Let t(h) = -39*h. Let r be t(-1). Let j = r + -25. Does 14 divide j?
True
Suppose 5*q + 3*v = 1220 - 173, 824 = 4*q - v. Is 9 a factor of q?
True
Let m = -46 - -81. Is m a multiple of 9?
False
Let b = 26 + -54. Let k be 1/(-3) + b/6. Is 5 a factor of 3/k - 76/(-10)?
False
Suppose n + 2*t + 5 - 33 = 0, -3*n + t + 91 = 0. Let u be (1 - -1 - n) + -2. Let p = u + 55. Does 12 divide p?
False
Suppose 2 + 5 = 3*n + 4*v, -3*v - 26 = -4*n. Suppose -3*x + 6 = 15. Let p = n + x. Is 2 a factor of p?
True
Let a(b) = -b - 1. Let d be ((-2)/3)/(3/18). Let u be a(d). Suppose 21 = u*y - 3*f, -3*f + f = 5*y - 63. Is 11 a factor of y?
True
Suppose 0 = j + 2*j + 9. Let w be (j/(-2))/((-1)/(-4)). Suppose -2*f + 30 = -2*r + w*r, -4*r - f + 27 = 0. Does 3 divide r?
True
Suppose 5*o - 25 = -0*o. Suppose 4*m - 4 = o*t - 0, 4*t - 34 = -3*m. Is 4 a factor of m?
False
Let d be 3/2*32/12. Let w(j) = 3*j - j**3 + 0*j - 5 + 0*j + 4*j**2 + 2*j. Is w(d) a multiple of 15?
True
Suppose 3*a = 81 - 27. Is 4 a factor of ((-6)/4)/((-3)/a)?
False
Let g = 145 - 53. Is g a multiple of 33?
False
Let a(o) = -2*o + 6. Let u be a(3). Is u - (-3 - -1) - -10 a multiple of 6?
True
Let a be 704/13 + (-4)/26. Let o = 6 + a. Does 20 divide o?
True
Let l be ((-2)/(-6))/((-4)/(-12)). Let p(n) = 15*n**2 + n. Is p(l) a multiple of 11?
False
Let i = -10 - -14. Let q be 20/(-15)*(i - 1). Does 12 divide (30/q)/(3/(-18))?
False
Let i be (-3 + 2)*(-2 + -8). Does 12 divide 6/5*(i + 0)?
True
Suppose -2*f + 2*b = -398, 4*b + 821 = 4*f + 5*b. Is f a multiple of 29?
False
Suppose 0 = -0*u - 2*u + a - 946, 5*a = -u - 484. Is 2/10 - u/30 a multiple of 14?
False
Let r be ((-10)/(-4))/((-1)/2). Let l = r + 13. Is 8 a factor of 1/4 - (-12