 + k, 38 = -v + 5*k. Let a = v + 51. Is a a multiple of 11?
False
Let v be -8*(40/(-144) + 4/(-18)). Suppose -v*n = -101 - 199. Is 15 a factor of n?
True
Suppose -1285 + 207 = -14*w. Suppose -67 - 53 = 3*c. Let m = w + c. Is m a multiple of 18?
False
Let q = 31 + -29. Suppose -2*a + q*f + 28 = -f, 3 = a + 4*f. Is 11 a factor of a?
True
Suppose 2*l + 2*g - 162 = 0, -l - 3*l = 5*g - 320. Does 12 divide l?
False
Let y = 6 - 8. Let w be (3 + -3)/y + -26. Let z = -13 - w. Is 3 a factor of z?
False
Let w(g) = g**3 + 7*g**2 + 2*g + 16. Let l be w(-7). Suppose -l = -2*p - 4. Is (2 + p)/((-4)/(-304)) a multiple of 11?
False
Suppose 26*r - 2*h = 30*r - 9440, r - 2346 = 3*h. Is 18 a factor of r?
True
Let m(d) = d**2 + 5*d + 2. Let r be m(-7). Let y be (-16)/(r/(-4)) - -2. Is 2/4 - (-429)/y a multiple of 20?
False
Let s(p) = 6*p**2 + 7*p - 8. Let n(f) = -f**2 + 11*f - 13. Let d be n(2). Does 15 divide s(d)?
False
Let h = 24 + -18. Suppose h*y - 650 = y. Is 36 a factor of y + (-5)/(15/6)?
False
Suppose g = -4*b + 344, -g + 7*b + 344 = 4*b. Let y = -232 + g. Is 15 a factor of y?
False
Suppose 24 = 4*z - z. Suppose 4*p + 18 = -2*b, b - 4*p + 13 = -z*p. Let s(t) = -10*t - 19. Is 26 a factor of s(b)?
False
Let l = -139 + 56. Let o = l - -236. Suppose 9*n = 12*n - o. Is 17 a factor of n?
True
Does 8 divide 20*(153/4 - -6)?
False
Suppose -a = t - 1, -3*a = 2*t - 5*t + 15. Suppose -r - 5*o = -19, 111 = 3*r + t*o - 6*o. Does 5 divide r?
False
Suppose -26 = 3*v + 7. Let b(g) = 7*g + 9. Let p be b(v). Let n = p + 132. Is n a multiple of 21?
False
Suppose -527 = -7*y - 170. Is y a multiple of 2?
False
Suppose 5*c + a + 24 = 0, -20 = 5*a - 0. Let g be 54/13 + c/26. Suppose 3 = -3*d + g*d. Is d a multiple of 3?
True
Let o(a) = a**2 - 9*a + 6. Let t be (-4)/26 - (-67)/13. Let z be o(t). Let k = z - -31. Is k a multiple of 11?
False
Let w(m) = 29 + 32*m + m**3 - 11*m**2 - 4*m - 17*m**2. Does 9 divide w(27)?
False
Is 49 a factor of ((-13)/3 + 5)*1035*1?
False
Let i = -68 - -78. Suppose i*w = 6*w + 108. Is w a multiple of 9?
True
Let i(t) = -3*t - 16. Let o be i(-7). Suppose -w + 253 = 2*w + l, 0 = -2*w - o*l + 160. Is 13 a factor of w?
False
Let h be 2/15 - 28/210. Suppose 3*x = -h*x + 177. Is x a multiple of 12?
False
Suppose 4*a - 20 = 16. Let y(u) = -u**3 + 8*u**2 + 9*u + 8. Let i be y(a). Suppose -i*x + 3*x + 395 = 0. Is 10 a factor of x?
False
Let z = -55 - -37. Let u = z + 42. Does 3 divide u?
True
Let t(x) = -30*x - 1. Let o be (6/10)/((-6)/30). Let a be t(o). Suppose -16 = 2*g - 5*j - a, -4*g + j = -137. Is g a multiple of 17?
True
Is (-48)/(-72) - (-1628)/6 a multiple of 9?
False
Let m = 29 + -27. Suppose m*i = 7*i - 630. Does 21 divide i?
True
Let i(h) = h**3 + 16*h**2 + 15*h + 2. Let o be i(-13). Suppose -5*c + o = 3*p, -5*p + c + 517 = 3*c. Does 19 divide p?
False
Suppose 53*c = 60*c - 812. Does 29 divide c?
True
Let t(z) = -z**2 - 18*z - 14. Suppose 3*l + 23 = u, u = -3*l + 8*l + 39. Does 9 divide t(l)?
False
Let v = -741 + 1500. Does 23 divide v?
True
Let j(m) = -5*m + 0 + 13 + m**2 + 0 + 3. Let f be j(11). Suppose -3*x = i - 46, -i + f = 5*x + 2*i. Does 9 divide x?
False
Suppose q = x - 0*x + 4, 5*q + 3*x - 36 = 0. Suppose 4*h = q*h + 5*d - 179, 25 = 5*d. Does 11 divide h?
True
Suppose 47*l + 440 = 48*l. Does 55 divide l?
True
Let f = 1976 + -1079. Is f a multiple of 29?
False
Let c(u) = 45*u - 490. Is 63 a factor of c(34)?
False
Let o(f) = 4*f**2 + 11*f - 16. Let m be o(7). Suppose -m = -6*a + 601. Does 11 divide a?
True
Let n(c) be the first derivative of -3*c**2 - 11*c + 7. Is 6 a factor of n(-6)?
False
Let l be (-32)/6 - (-1)/3. Let m be -3 - (1 + -3 + l). Suppose -m*z = -z - 186. Does 23 divide z?
False
Is 19 a factor of (399/(-3))/(-7)*2/1?
True
Let v(n) = n**2 - 22*n - 13. Let f be v(22). Let l = 89 + f. Is l a multiple of 19?
True
Suppose 2*p + 2*h = -h + 15, 5*p - 2*h = 9. Let a = -55 - -79. Suppose p*i = 12 + a. Does 12 divide i?
True
Let b = -271 - -559. Does 13 divide b?
False
Suppose n + 20 = -3*n. Let i(y) = -y**2 - 2*y + 17. Let r be i(n). Suppose u + j + j - 64 = 0, r*u = 2*j + 110. Is u a multiple of 19?
False
Let q(p) = -p**3 - 7*p**2 - 5*p + 9. Let u be q(-5). Let t(r) = r**2 + 14*r - 20. Does 12 divide t(u)?
True
Let m be 1*((-9)/3 + 3). Suppose 715 = -l + 2*g - 129, -5*l + 2*g - 4196 = m. Is 24 a factor of l/(-12) + 2/12?
False
Suppose 0 = m + 4*m - 25, -2*a - 4*m = -470. Is a a multiple of 22?
False
Suppose q = 2*j - 701 - 758, -q = -5*j + 3646. Is 80 a factor of j?
False
Suppose 140 - 16715 = -15*c. Does 17 divide c?
True
Suppose -5*w = 5*w. Suppose -5*i - 4*u + 456 = w, -u + 113 - 298 = -2*i. Is i a multiple of 9?
False
Let y(b) = 14*b - 89. Does 52 divide y(13)?
False
Let k = 32 - 24. Suppose 10*l = k*l + 80. Let z = l - -36. Does 19 divide z?
True
Suppose d = 10 - 0. Suppose 0 = -2*b + 6 + d. Let o = b + 1. Is o a multiple of 3?
True
Let b = -43 + 43. Let i(g) = -2*g**3 + g**2 + 3*g + 90. Is 9 a factor of i(b)?
True
Suppose -5*t + 2700 + 30 = 0. Does 26 divide t?
True
Suppose -4*k - 14 + 18 = 0. Is 13 a factor of (5 - k)*(34 - 8)?
True
Is (-14042)/(-9) + 1 - 6/27 a multiple of 13?
False
Suppose -3*j + 4*x - 3 + 5 = 0, 3*x + 4 = j. Does 33 divide (16/(-6))/(4*j/300)?
False
Let k = -17 - -10. Suppose 2*q - 56 = 2*x, -5*x - 138 = -2*q - q. Let o = k - x. Is o a multiple of 11?
False
Suppose -5*k + 2*f = -809, 3 = 25*f - 24*f. Does 4 divide k?
False
Let f(v) = -v**3 - 3*v**2 + 3*v + 3. Let s be f(-4). Suppose -5*d - s + 42 = -4*k, 0 = d - 3. Is ((-16)/k)/((-6)/(-15)) a multiple of 8?
True
Suppose -245 = -3*t + 2*h, t - 4*h - 247 = -2*t. Let i = 148 - t. Does 24 divide i?
False
Let c(i) = -i**2 - 10*i - 8. Let n(m) = -6*m**2 - 51*m - 41. Let l(g) = 11*c(g) - 2*n(g). Does 42 divide l(-4)?
True
Let s(t) = t**3 + t**2 - 2*t + 2. Does 10 divide s(5)?
False
Let d = -3523 + 5362. Is d a multiple of 12?
False
Suppose 3*i = 441 - 156. Is i a multiple of 5?
True
Does 13 divide (-17376)/(-112) + 18/21?
True
Suppose 0 - 4 = 2*s. Let d = 5 + s. Does 11 divide 22/(-4)*-2 + d?
False
Let f(r) = 1 - 2*r**3 + r**3 + 0*r**3 - 7*r**2 + 2*r**3 + 10*r. Is f(6) a multiple of 25?
True
Suppose 0 = 8*n - 8 - 16. Suppose r + b = -4*r + 732, -n*b + 285 = 2*r. Does 7 divide r?
True
Suppose 2*l = 13*l - 44. Suppose -u = -3 - 51. Suppose -d = l - u. Is 13 a factor of d?
False
Let g(f) = 1231*f**2 - 21*f + 20. Is g(1) a multiple of 41?
True
Let t(b) = 46*b - 2. Does 78 divide t(5)?
False
Let f = 311 - -277. Suppose 15*i = 8*i + f. Is i a multiple of 14?
True
Let n(t) = -t**3 - 21*t**2 - 19*t + 20. Let v be n(-20). Let b be (-8)/2*1*-1. Suppose 5*f = -b*c + f + 336, -4*c + 4*f + 304 = v. Is 17 a factor of c?
False
Is 8 a factor of 9/(-6) + 2 + (-3178)/(-28)?
False
Suppose 6*w + 6 = 5*w. Does 5 divide 1*-1*-1*(-1 - w)?
True
Let d(w) = -w**3 + 23*w**2 - 68*w + 66. Is 6 a factor of d(12)?
True
Suppose -1444 - 932 = -3*n. Is 18 a factor of n?
True
Let u(l) = -l**2 - 17*l + 12. Let m be u(-18). Let n = m + 25. Does 2 divide n?
False
Let p(q) = q**2 - 2*q + 4. Let k be p(2). Suppose -5*h = -3*r - 318, 4*h - k*r - 257 + 9 = 0. Does 7 divide h?
False
Let a = 23 + 42. Suppose -130 = -5*d + a. Is d a multiple of 8?
False
Suppose -2*o + 6572 = 2*g, -6 = 8*o - 6*o. Does 143 divide g?
True
Let u(t) = -13*t**3 - t**2 - 2*t. Let x be u(-1). Suppose -x - 71 = -d. Suppose -5*c = -335 - d. Is 42 a factor of c?
True
Suppose 3*f = f + 4*b + 4, 5*b + 2 = f. Does 9 divide 1/f + 129/6?
False
Let h(i) = -i**3 + 7*i**2 - 6*i + 3. Let s be h(6). Let f be (7 - -3)*8/20. Suppose -f*y = s*o - 23, 6*o - 2*y - 16 = 2*o. Is o a multiple of 3?
False
Let o(y) = -y**3 + 15*y**2 - 15*y + 10. Let z be o(14). Does 14 divide 22 + (z - (-1 + 0))?
False
Let g(s) = -s**2 + 52*s - 477. Does 4 divide g(17)?
False
Let k(v) = -v + 9*v - 4*v + 3 + 2*v. Is 3 a factor of k(2)?
True
Let h = -53 + 62. Is 18/10*(46 + h) a multiple of 18?
False
Let s(b) = b**3 - 2*b**2 + 2. Let h be s(2). Suppose -3*k + 4*m = -h*k - 75, -k - 2*m = -57. Is 7 a factor of k?
True
Let i be ((-40)/6)/((-7)/(-21)). Let o be i/6*(2 + 1). Let c = 4 - o. Is c a multiple of 7?
True
Let a(b) = -b**3 + 12*b**2 - 21*b. Is 27 a factor of a(9)?
True
Let c(a) = 4*a**3 + a**2 + 3*a + 3. Suppose 3*s = -6 + 18. Let h be c(s). Suppose -4*l + 2*n = -6*