of q?
True
Does 2 divide ((-14)/(-14))/((-2)/(-10))?
False
Is 16 a factor of (41 - -2) + -3 + 3?
False
Let r(a) = 2*a - 1. Let g be r(8). Is 219/g - 12/(-30) a multiple of 5?
True
Let z = 63 - -1. Is z a multiple of 8?
True
Let d(j) = -j**3 + 8*j**2 + 15*j + 1. Does 11 divide d(9)?
True
Let r be (-1)/5 + (-1890)/50. Let w = r - -92. Is w a multiple of 21?
False
Suppose 3*y - 2*q = 65, -2*q - 2*q = -5*y + 105. Let w = y + 14. Does 13 divide w?
True
Let q = -4 + 3. Let p be 2 + 2/(-2)*q. Suppose -5*f + 48 = -p*f. Is 12 a factor of f?
True
Let l = 131 + -80. Does 17 divide l?
True
Let s = -246 - -167. Let k = -54 - s. Is 14 a factor of k?
False
Let b(y) = -4 - y**2 - y + 2 + 11*y + 4. Does 11 divide b(5)?
False
Suppose 2*c - 6 = 0, -4*n + 0*n - 4*c + 32 = 0. Suppose 4*t - 3*q = 22, 4*t - 6 = -0*t - n*q. Is (-3)/((-6)/t*1) even?
True
Suppose 240 = -2*l + 7*l. Is 12 a factor of l?
True
Let x be 54/15 - 6/(-15). Suppose 7 = x*j - 121. Is 16 a factor of j?
True
Suppose -2*q + 18 = q. Suppose -q*g = -11*g + 920. Suppose -4*t - 2*a = -176, -4*t - 3*a - a + g = 0. Is 14 a factor of t?
True
Let p(w) = 11*w + 31. Let c be ((-13)/3)/((-2)/(-6)). Let j(m) = -5*m - 16. Let o(x) = c*j(x) - 6*p(x). Is 11 a factor of o(0)?
True
Let k be -6 + 9 + 6/(-2). Suppose 4 = 4*d, -2*y + 3*d + k*d = -21. Does 6 divide y?
True
Suppose -l = 2*l - 21. Suppose 4*h - 12 = 648. Suppose -l*y = -2*y - h. Is 12 a factor of y?
False
Let d = -7 - -53. Is d a multiple of 23?
True
Does 2 divide -5 - -1 - (-10 + -1)?
False
Let z = 249 + -178. Is z a multiple of 18?
False
Suppose 4*z - q = 67, -4*z + 3*q - 21 = -86. Is z a multiple of 2?
False
Let b = -49 + 121. Does 18 divide b?
True
Suppose -4*d + 5*c + 72 = 5, -17 = -d + c. Does 18 divide d?
True
Does 8 divide (-3)/4 - 99/(-4)?
True
Let l = 144 - -91. Does 10 divide l/25 - (-3)/5?
True
Let d(w) = -w**3 - 6*w**2 + 11*w + 2. Let m be (-66)/9 - 2/3. Let g be d(m). Let u = -23 + g. Is u a multiple of 9?
False
Let f be -3 - 17/(2 + -1). Let b = -2 - f. Is 6 a factor of b?
True
Let q = -19 - -5. Let i = q - -23. Is i a multiple of 9?
True
Let d(u) = -u**3 + u**2 - 2*u + 9. Let t(n) = 2*n**3 + n - 10. Let r(x) = -3*d(x) - 2*t(x). Let f = 42 + -47. Is r(f) a multiple of 6?
False
Let r be 0*((-9)/(-3))/(-3). Suppose r + 12 = -4*u. Is 16 a factor of u/((-12)/46)*2?
False
Suppose 3*t + 11 = 167. Does 13 divide t?
True
Suppose -3*p = -5*i - 29, -4 - 1 = -p - 3*i. Is p a multiple of 8?
True
Let u be 1 + (3 + 0)/3. Suppose u*b + 96 = 6*b. Is 8 a factor of b?
True
Suppose 3*i = 3*u - 60, 0 = 6*u - 2*u + 5*i - 62. Is u a multiple of 6?
True
Suppose -p + 1 = -0. Does 9 divide 23 - 1*(p - 2)?
False
Let s = 24 + -4. Is s a multiple of 5?
True
Suppose -2*x + 0 = -4. Suppose 2*q - 29 = -3*p + 16, 55 = x*q + 5*p. Is 15 a factor of q?
True
Let c = -14 - -25. Let k(t) = 3*t**3 - 8*t**2 - 6*t - 15. Let z(a) = 10*a**3 - 23*a**2 - 17*a - 46. Let p(q) = 7*k(q) - 2*z(q). Is p(c) a multiple of 11?
False
Suppose -4*r + 760 = -200. Let g be (-10)/55 + r/(-11). Let m = 0 - g. Does 22 divide m?
True
Let w = 3 + 6. Is 2 a factor of w?
False
Let p(d) = -d**3 + 5*d**2 + 9*d + 8. Is 21 a factor of p(6)?
False
Suppose -7*q = -8*q + 176. Is q a multiple of 41?
False
Let m(a) = 2*a + 1. Let x be m(2). Suppose 4*f + n = x, -2*f = -3*f + 4*n + 14. Suppose d - 5*v + 106 = 4*d, -d - f*v = -37. Is d a multiple of 9?
True
Let l be ((-2)/2)/(3/(-165)). Let h = 19 - 5. Suppose y - l = -h. Does 15 divide y?
False
Suppose -45 = -5*u + 75. Is 12 a factor of u?
True
Let z(x) = -x**2 + 18*x + 12. Let j be z(12). Suppose -m + j = -12. Is 32 a factor of m?
True
Suppose 12 = 2*u + u. Let f(q) = 4*q**2 + 10*q - 4. Let j(b) = 3*b**2 + 9*b - 3. Let p(s) = -4*f(s) + 5*j(s). Is p(u) a multiple of 5?
True
Suppose -2*m = -3*v + 35, -5*v + 3*v = -4*m - 10. Does 10 divide 136/10 - (-6)/v?
False
Let q(k) = k**3 - 6*k**2 + 7*k. Let h(y) = -y**2 - 5*y + 2. Let v be h(-4). Is q(v) a multiple of 14?
True
Is 1/(1/3) - -2 a multiple of 4?
False
Is (48/1)/(-1 - -2) a multiple of 8?
True
Let a be 3 + -2 - (0 + 0). Is ((-20)/12 - a)*-6 a multiple of 14?
False
Suppose -2*h + 211 = 3*m, -2*h - m + 229 = -4*m. Is h a multiple of 17?
False
Let l = 115 + 11. Is 14 a factor of l?
True
Let j = 58 - 26. Is 8 a factor of j?
True
Suppose 3*i + k - 57 = 0, 2*k + 23 = i + k. Is i a multiple of 5?
True
Suppose 0*h = h + 11. Let g = h - -17. Is g even?
True
Suppose -2*p = -p - 2. Suppose -t = p*t - 90. Is 15 a factor of t?
True
Let v(l) = l**3 - 19*l**2 + 42*l + 6. Is 20 a factor of v(18)?
False
Suppose -3*w - 6*t - 12 = -3*t, t - 5 = 0. Let v(y) = -2*y. Let f be v(w). Suppose b + 3*x - 7 = 0, b + 3 = -x + f. Is 9 a factor of b?
False
Suppose 9*x = 3*x + 24. Does 4 divide x?
True
Is 13 a factor of (8/1)/(2/8)?
False
Let p(f) = f**3 + 3*f**2 - 4*f + 5. Let i be p(-4). Suppose 0 = -8*d + i*d + 174. Let y = d + -40. Does 9 divide y?
True
Let x = 257 + -167. Suppose -3*n = -0*n. Suppose n*y = -5*y + x. Is y a multiple of 9?
True
Let n(t) = 21*t - 33. Is n(9) a multiple of 6?
True
Let t = 62 - 90. Suppose -5*h - 29 - 56 = 0. Let b = h - t. Is b a multiple of 6?
False
Suppose -2*t = -c + 92, 4*c - 2*t + t - 340 = 0. Is 14 a factor of c?
True
Let s(f) = -f + 19. Let y be s(9). Suppose -y*k - 14 = -11*k. Is k a multiple of 14?
True
Suppose 4*m - 318 = r, -5*m + 4*r - 5*r = -393. Is m a multiple of 32?
False
Let j = 15 - 23. Let b = j + 18. Does 10 divide b?
True
Let v(s) = 2*s. Let l be v(-2). Suppose -2*d = p + 13, -28 = 3*p + 4*d + 7. Is 12 a factor of (27/l)/(p/48)?
True
Suppose 0 = -3*o + 5*z + 102, -2*o + 2*z = 6*z - 46. Is 29 a factor of o?
True
Let f = -21 + 25. Suppose -5*i - 56 = -2*t, -5*t + f*i + 163 = 3*i. Does 10 divide t?
False
Let m(r) = r**2 - 6*r + 18. Does 33 divide m(-8)?
False
Let r = 44 + 9. Let p = -35 + r. Does 10 divide p?
False
Does 30 divide 91 - 1 - (1 - 1)?
True
Is 17 a factor of (-2)/16 + (-1698)/(-16)?
False
Suppose 2*t - 9 = -3, -u + 5*t = 20. Let j = 3 + u. Is 22 a factor of 1*(j + (62 - 0))?
False
Suppose 2*a - 4*f - 22 = 34, 5*a - 2*f - 164 = 0. Let q = a + -19. Does 15 divide q?
True
Suppose -4*f - 3*u + 1513 = 0, f + 23 - 414 = -5*u. Is 24 a factor of f?
False
Suppose -2*y + 0*y + 26 = 0. Is y a multiple of 4?
False
Does 4 divide 6/(-8) - (-3 - 1194/24)?
True
Let t(b) = -2*b + 0*b + 36 + b. Let z be t(0). Suppose 0*s = s - z. Is s a multiple of 15?
False
Suppose -5*n = 1 - 6. Let u be (n - 1) + 1 + 0. Is (3/u)/((-3)/(-14)) a multiple of 5?
False
Suppose 3*u - w = 17, -4*w = -3*u + w + 13. Let d be -1*u/(-9)*3. Suppose 0 = -d*x + 4*n + 56, 0 = 4*x + 4*n - 91 - 9. Does 13 divide x?
True
Let d(x) = -x**3 + 6*x**2 + 19*x + 6. Is 19 a factor of d(8)?
False
Suppose -3*b = -0*b - 108. Does 12 divide b?
True
Let k(f) = -f**2 - 19*f. Does 21 divide k(-12)?
True
Let r(b) = 36*b - 15. Let u(z) = 7*z - 3. Let j(d) = -2*r(d) + 11*u(d). Suppose -5*y = -15, 4*q = 3*y - 7*y + 24. Is j(q) a multiple of 7?
False
Suppose 0 = -4*b + 2*a + 20, 3*b - 4*a + 2*a - 17 = 0. Suppose 5*h + 0*m + 3*m = 163, b*h + m - 97 = 0. Does 16 divide h?
True
Let r = 219 + -140. Does 17 divide r?
False
Let b be (-3*3 + 2)/1. Is 15 a factor of (-1 - b)*(-10)/(-4)?
True
Suppose -v - 4*u = -208 - 110, 0 = 2*v - u - 654. Does 11 divide v?
False
Suppose 3*r + 3 = 201. Suppose 10*w = -3*s + 5*w - 70, r = -3*s - 3*w. Let c = s - -36. Is 6 a factor of c?
False
Suppose x - 17 = -6. Let c(m) = m**2 - 11*m + 16. Does 5 divide c(x)?
False
Is 24 a factor of (-9)/4*256/(-24)?
True
Let t be (-4)/(-2) + 0/5. Let d = t - -1. Does 2 divide d?
False
Let f(d) be the second derivative of d**5/20 - d**4/3 - d**3/3 + 7*d**2/2 + 6*d. Is f(6) a multiple of 18?
False
Suppose -32 = -5*i + 8. Is i a multiple of 8?
True
Let w = -4 - -8. Suppose 2 = -3*k + 2*o, -3*o + 2*o + w = -3*k. Does 15 divide 46 - (k/(-1) + -4)?
False
Let w(q) = 5*q**3 - 2*q**2 + 2*q - 1. Let l be w(1). Suppose l*c = -0 + 48. Is 4 a factor of c?
True
Suppose 3*v - 28 = -5*f, v - 5 + 3 = 2*f. Suppose -2*c - 5*p - 35 = -v*c, -2*p + 2 = 0. Is 10 a factor of c?
True
Let m(y) = -4*y + 12. Does 18 divide m(-15)?
True
Let t = 10 - 4. Suppose 2*h - 54 = -4*l, -2*l - t*h + 12 = -2*h. Is l a multiple of 8?
True
Suppose 0 = -2*b + 4*b - 200. Is 20 a factor of b?
True
Suppose 3*q - 3*l - 39 = 0, 2*