(-2)). Is 18 a factor of 3 + (1 - (0 - i))?
False
Let k = 5 + 13. Suppose -k = 5*q - 43. Suppose -6 = -d + q. Does 11 divide d?
True
Is (3/(-2))/((-12)/424) a multiple of 14?
False
Let c be 10/(-6)*(2 - 5). Suppose 309 = c*d + 3*f, -f = -5*d - 2*f + 303. Is d a multiple of 20?
True
Suppose y - 3*y + 4 = 0. Suppose y*p = 4*p - 14. Is p a multiple of 3?
False
Let u(q) = -3*q - q + 2*q + 1 - 24*q**2 + 4*q. Let p be u(-1). Let n = p - -43. Is n a multiple of 18?
True
Let q = -6 - -6. Let g(y) = y + 12. Is g(q) a multiple of 7?
False
Suppose -3*t + 5*l = -1 + 4, 4*l = 0. Let b(x) = -11*x - 2. Is 3 a factor of b(t)?
True
Let y(b) = 24*b**2 + b. Is y(-1) a multiple of 3?
False
Suppose 6*d = -5*p + 2*d + 44, 5*p = -5*d + 45. Let z(w) = -9*w - 2. Let m(g) = 8*g + 2. Let q(s) = 7*m(s) + 6*z(s). Is 11 a factor of q(p)?
False
Does 21 divide (-500)/(-12) - (-1)/3?
True
Let m(v) = -2*v**3 - v**2 - 5*v + 10. Is m(-5) a multiple of 11?
False
Let a = 56 - 12. Let s = -26 + a. Does 6 divide s?
True
Suppose 3*d + 2*s - 3 = 0, -2*s = -7*s. Let l be (d/(-2))/(3/(-114)). Let k = l - 12. Does 3 divide k?
False
Let o(f) = 2 + 16 + 4 - f**3 + f. Is o(0) a multiple of 10?
False
Let g be -3 + (-6)/3 + 8. Suppose 2*a = 5*r - 0*r + 15, a + g*r = 35. Is 8 a factor of a?
False
Suppose -5*a + 2*u = -611, -147 = -5*a + 5*u + 473. Is a a multiple of 11?
True
Suppose 5*f - 44 = g - 232, 0 = g - 3*f - 180. Is g a multiple of 28?
True
Suppose 45 = -3*s - 0*s. Let h = s - -43. Is 9 a factor of h?
False
Let u(y) = -y + 6. Let z be u(4). Is 34/4*1*z a multiple of 16?
False
Let k(m) = -m**2 - 11*m - 6. Let a be k(-7). Suppose -2*s + 2*h = -5 - 7, -3*s = -h - a. Does 5 divide s?
False
Does 11 divide (-108)/(1 - 4) + 2?
False
Let r(v) = -v**3 + 6*v**2 - 1. Suppose -38 = -5*u + n, -5*u - n = -3*n - 41. Suppose 0 = -c - 2 + u. Is 12 a factor of r(c)?
True
Let a = -5 - -3. Let s be 4/((-10)/(-4) + a). Let l = 0 + s. Does 3 divide l?
False
Suppose 4*a - a + 51 = 2*d, -a - 1 = 0. Does 2 divide d?
True
Suppose -171 = -2*y - 3*b, 2*y - b = -0*b + 159. Does 11 divide y?
False
Let t = -70 + 121. Suppose 2*c - 105 = -7. Suppose 0 = -5*f + c + t. Is f a multiple of 10?
True
Let a = 3 + 3. Is a even?
True
Suppose -6*p = -2*p - 204. Suppose -4*n - 3*b + p = 2*b, 4*n - 53 = -3*b. Does 11 divide n - (-1 + -1 - -1)?
False
Suppose 757 = 5*w + 92. Suppose -w = 2*c - 51. Let b = c - -73. Is b a multiple of 16?
True
Let o be (0/2)/(-4 - -2). Let p(s) = s**2 - 2*s + 9. Does 3 divide p(o)?
True
Let t = 7 + -2. Suppose -3*q - 4 = -7. Let c = t + q. Is c a multiple of 3?
True
Let g = -23 + 14. Let l = 12 + g. Is l*(10/3 - -2) a multiple of 8?
True
Let p(y) = -y**2 + 4*y - 9. Let z be p(6). Let l = z - -53. Does 13 divide l?
False
Suppose -43 - 17 = -j. Let l = -16 + j. Is l a multiple of 16?
False
Let c(h) = 4*h**3 - h**2 - 5*h + 3. Let s be c(3). Suppose 279 = 3*r + s. Let k = r - 36. Is 14 a factor of k?
True
Let o(t) = t**3 + t**2 + 3*t + 7. Let q(g) = g**3 + 3*g + 8. Let i(v) = -5*o(v) + 4*q(v). Does 17 divide i(-6)?
True
Let q(c) = c**3 + 8*c**2 - 9*c. Let a be q(-9). Suppose 3*j - 11 - 19 = a. Does 3 divide j?
False
Suppose 0 = i + 3*i. Let g be i + 0 + 0 - 1. Does 3 divide (1/(-2))/(g/10)?
False
Let n(u) = 24*u**2 + u + 2. Let o be n(2). Suppose -2*s + 5*g = -o, 0 = -5*s + s - g + 156. Is s a multiple of 20?
True
Suppose 4*q - 13 = 7. Suppose -6 = -b + 2*t, -35 = -0*b - q*b + 5*t. Is b a multiple of 8?
True
Let w(t) = t + 26. Is w(0) a multiple of 9?
False
Let y = 10 - -5. Suppose 0 = 3*j - 8*j - y, 2*b - 4*j - 30 = 0. Is b a multiple of 4?
False
Let b(g) = g**3 + 9*g**2 + g + 9. Let h be b(-9). Let l be 2 - (h + -1 + 1). Suppose l*v + 2*w + 3 = 1, 4*v + w = 8. Is v a multiple of 3?
True
Let t be (-1 + 0)/((-1)/5). Suppose 30 = -t*q + 130. Is 10 a factor of q?
True
Let b = 1 - 8. Let w be (-2 - b/1)*1. Suppose -97 = -w*i + 13. Is i a multiple of 11?
True
Suppose -2*a = -5*i - 33, 2*a - 30 = i + i. Suppose -2*y - 5*g = 5, -3*y + a - 2 = g. Is y a multiple of 3?
False
Suppose 0 = -2*y + 4*g + 212, 4*g - 328 = -3*y - 0*y. Let s = y - 11. Does 24 divide s?
False
Does 20 divide 1/7 - (-3810)/35?
False
Let h = 34 + -12. Is 3 a factor of h?
False
Suppose -5*q + f + 64 = 0, f + 3*f - 4 = 0. Is 13 a factor of q?
True
Suppose o - 4*a + 8 + 8 = 0, o = 2*a - 18. Suppose -3*b - 1 = 2. Is 4 a factor of (b - 2)*o/6?
False
Suppose -7*l = -11*l + 292. Does 21 divide l?
False
Suppose -2*w + 7*w = 3*v - 61, 4*w + 68 = 4*v. Is v a multiple of 3?
True
Let m(t) = -10*t - 11. Let o(x) = -7*x - 7. Let s(r) = 5*m(r) - 7*o(r). Let b be s(-6). Suppose b*c - 4*c + 64 = 0. Does 8 divide c?
True
Suppose -5*m + 204 = -2*k, 5*m - 198 = -k + 5*k. Is 21 a factor of m?
True
Suppose -3*z + 4*z - 12 = 0. Let b = z + -7. Suppose 22 = -3*h + b*h. Does 11 divide h?
True
Let q = 37 - -31. Is 34 a factor of q?
True
Suppose 5*x = -a + 4*a - 49, -4*x = -3*a + 53. Is a a multiple of 10?
False
Let z = -2 - -5. Suppose z*y = -3*p + 33, 4*y - p = -0*y + 34. Is y a multiple of 9?
True
Let h(x) = -x**2 + 2*x - 1. Let q be h(1). Suppose v + a = 26, -3*v + q*v + 78 = -5*a. Does 13 divide v?
True
Let i = -30 - -21. Let s = i + 25. Is 8 a factor of s?
True
Does 3 divide 1/(4/6 + 75/(-126))?
False
Suppose -v - 12 = 33. Is 16 a factor of 2/(-9) - 730/v?
True
Suppose 0 = -3*q + 2*i + 1, -3*q + 4 = i. Is 11 a factor of -3 + (-3 + 49)/q?
False
Let x be 0 + -2 + 35 + 1. Suppose -4*b + 178 = -x. Let h = b + -15. Does 11 divide h?
False
Suppose 2*d + 3*d - 285 = 0. Is 19 a factor of d?
True
Suppose 3*j = 3*k - 146 + 5, -4*j - 142 = -3*k. Is k a multiple of 10?
False
Suppose 0 = -g - 3*z + 87, 4*g - 2*z = -z + 387. Is 16 a factor of g?
True
Let u(w) = 53*w**2 - 2*w + 1. Let a be 3/(-6)*(0 - 2). Is u(a) a multiple of 24?
False
Let b(t) = -t**3 - 24*t**2 - 7*t - 16. Is 16 a factor of b(-24)?
False
Let w = 62 - 46. Is 4 a factor of w?
True
Let b(i) be the first derivative of 5/2*i**2 - 2 + i. Does 3 divide b(1)?
True
Is 20 a factor of 12/15*(103 + 2)?
False
Let t = 7 - 1. Let x(c) = c**3 - 4*c**2 - 8*c - 5. Is 7 a factor of x(t)?
False
Suppose -3*q - 5*g = -139, -q - 3*q - 4*g = -196. Is q a multiple of 29?
False
Is (-3 + (-232)/(-12))*3 a multiple of 10?
False
Let j = -3 + 3. Suppose -3*a + 12 + 90 = j. Suppose 5*c + 19 - 2 = k, 5*c + a = 2*k. Is 16 a factor of k?
False
Suppose -5*a + 13 = 4*u, u - 4*a + 32 = -3*u. Does 16 divide (2/(-5))/(u/360)?
True
Let g = 282 + -142. Suppose 2*q = -q + 111. Suppose 5*h + 4*b = g, -4*h - q = -3*b - 180. Is 16 a factor of h?
True
Suppose 6*x - 1014 = -252. Is x a multiple of 27?
False
Suppose 3*n - 7 = 29. Suppose -2*r + 0 = 4*p + n, 0 = -3*r + 5*p + 26. Suppose 57 = r*x - d, x - 52 = -x - 4*d. Does 14 divide x?
True
Suppose -4*x = -7*x + 168. Does 10 divide x?
False
Let b = -178 - -299. Is 22 a factor of b?
False
Suppose -o - 2 = -60. Does 9 divide o?
False
Suppose -98 = -y + 5*u + 25, -191 = -2*y - u. Does 6 divide y?
False
Suppose -i = -0*i. Let s be (i - 2)/((-4)/(-6)). Does 3 divide (0 - -1)/((-1)/s)?
True
Let r(k) = -2*k - 7. Let f be r(-6). Let l(w) = -w + w**2 + 0 - f + 4. Does 5 divide l(-2)?
True
Suppose 99 - 26 = -u. Suppose -4*o - 102 = 94. Let p = o - u. Does 12 divide p?
True
Suppose u + 2*u - 15 = 0. Let o = u - 3. Is 9 a factor of o/(-3) - 100/(-6)?
False
Suppose -4*z - 40 = -0*z. Let a = z + 35. Let l = a - 9. Is l a multiple of 10?
False
Let j(v) = -2*v**3 - 6*v**2 + 4*v + 5. Is j(-5) a multiple of 11?
False
Let u = 12 + -7. Suppose j + 2*l - 4 - 12 = 0, 0 = -u*j + 4*l + 80. Is j a multiple of 16?
True
Let g = -150 - -89. Is 18 a factor of -2 - -2 - (g - -1)?
False
Is (-665)/(-14) + 1/2 a multiple of 12?
True
Let z be (88/10)/(2/(-10)). Let p = 70 + z. Is p a multiple of 26?
True
Let u be -2 + 6*6/9. Suppose 0 = -0*b + u*b + 3*r - 1, 0 = 2*r + 2. Suppose -b*d + 4*d - 26 = 0. Is 13 a factor of d?
True
Suppose p - 7 + 5 = 0. Suppose 5*g = -h + 38, -5 = -3*g - p*h + 15. Suppose -4*m + 20 = -g. Is 7 a factor of m?
True
Let q be -1*((-15)/3 + 3). Suppose q*j - 8 - 2 = 0. Suppose -j*f + 111 = -59. Does 17 divide f?
True
Suppose d = 4*d - 4*z - 9, -5*z = 0. Suppose f = -c + 5*f + 15, 31 = d*c - 5*f. Is 5 a factor of c?
False
Let l = 3 - -14. Suppose 0 = 2*c - 23 - l. Does 17 divide c?
False
Let g(i) be the second 