 = 18. Let w = t - n. Is w a multiple of 14?
False
Let u = -68 - -73. Suppose u*v - 20 = -0. Is v a multiple of 4?
True
Is 1 - ((-6)/(-2) - 5 - 483) a multiple of 32?
False
Suppose -14 = 8*x - x. Is (x/(-3))/((-10)/(-540)) even?
True
Let f(o) = -287*o**3 + 2*o**2 - o - 2. Is 32 a factor of f(-1)?
True
Let i = -469 - -490. Is i a multiple of 3?
True
Suppose 2*g - 3 = -k, 0 = -5*g - 2 - 3. Suppose k*d - d = 16, h = 5*d - 16. Suppose -250 = -9*y + h*y. Is y a multiple of 20?
False
Let n be (-2)/4 - 18/(-4). Suppose -5*m + n*a + 13 = 0, 3*a + 2 = -2*m + 7*a. Suppose -4*v - k + 156 = 3*k, 4*v - 147 = m*k. Is 15 a factor of v?
False
Let y(j) = j**3 - 6*j**2 - 6*j + 130. Is y(9) a multiple of 3?
False
Let b(o) = -o**3 + 16*o**2 + 14*o + 15. Does 35 divide b(14)?
False
Let i(w) = 3*w**2 - 1. Let h be i(8). Suppose 4*x - y - h = 0, -5*x + y + 97 = -143. Is x a multiple of 32?
False
Suppose 10*o - 217 = 243. Is o a multiple of 5?
False
Let w(v) = 45*v + 123. Let b be w(-6). Suppose 0 = -6*h + 2*h - 276. Let r = h - b. Does 13 divide r?
True
Suppose 1221*p - 1217*p - 2584 = 0. Is p a multiple of 34?
True
Let g(u) = u**3 + 5*u**2 - u - 4. Let l = -19 + 14. Let p be g(l). Suppose 6*t = -p + 19. Does 2 divide t?
False
Let i(c) = 41*c**2 + c + 1. Is i(1) a multiple of 13?
False
Let b = 7 + 3. Let f(s) = 2*s**3 + 2*s**2 + 2*s + 2. Let l be f(-2). Let v = b - l. Is v a multiple of 15?
False
Let l(a) = 205*a**2 - 7*a - 5. Is 3 a factor of l(-1)?
True
Let f(l) = -4*l + 54. Let g be f(15). Let s(j) = -4*j + 3*j**3 + 2*j**2 + 12 - 2*j**3 + 4*j**2. Does 31 divide s(g)?
False
Suppose 3*d + 5178 = 8*d - 2*c, -5*d + 5150 = 5*c. Does 53 divide d?
False
Let b(t) = 2*t**2 - 19*t - 19. Let q be b(14). Suppose 0 = -s - q + 181. Is 23 a factor of s?
False
Suppose 5*b + 44 = -36. Let j be b/(-6)*(-36)/(-24). Suppose -j*n + 20 = n. Does 2 divide n?
True
Let i = -842 + 1385. Is i a multiple of 37?
False
Let p(r) = 17*r**2 + r - 38. Does 83 divide p(-13)?
True
Suppose -4*c = -3*c - 7. Suppose 2*l = c + 11. Suppose -l = u - 3*h, 4*u + 21 = 5*u + 3*h. Is u a multiple of 6?
True
Let s = 533 - -50. Is 11 a factor of s?
True
Suppose 40*k - 49*k + 4095 = 0. Does 14 divide k?
False
Suppose 39*z = 11178 - 1506. Is z a multiple of 31?
True
Let z be (-1 - -3) + 0 - -19. Suppose -z = -4*j + 119. Is j a multiple of 7?
True
Suppose 5 = 4*l - 7. Suppose 0 = -5*g + l*g + 52. Does 4 divide g?
False
Suppose -119*w + 114*w + 15 = 0. Suppose -w*b + 4*b = 150. Is b a multiple of 30?
True
Let x = -498 - -855. Is x a multiple of 28?
False
Suppose 0*y = y + 2*q - 10, -4*y = 4*q - 28. Suppose f + 5*x = 35, -y*f - 3*x + 83 = -2*x. Does 10 divide f?
True
Let b = -247 - -937. Is 69 a factor of b?
True
Suppose l + 6280 = 6538. Does 18 divide l?
False
Let c(u) = 14*u + 5. Let d = -12 - -18. Let r be c(d). Suppose 0 = -3*w + w - 3*t + 129, 5*t = 2*w - r. Is w a multiple of 12?
False
Let u = -342 - -671. Suppose -5*m - 4*q + 17 = -528, -3*m - 2*q = -u. Is m a multiple of 18?
False
Suppose 3*r = 2*g - 231, -g + 4*g = -2*r + 366. Is 3 a factor of g?
True
Let n(i) = i**3 - 8*i**2 + 12*i. Let w be n(6). Suppose 3*c = w, -k - 174 = -2*k - 3*c. Is k a multiple of 13?
False
Suppose 0 = 13*b - 7 - 58. Suppose 0 = -4*r + 5*r. Suppose 5*j + 3*m - 168 - 8 = r, 0 = -j + b*m + 52. Does 15 divide j?
False
Does 18 divide (-2 + 182)*18/10?
True
Is 22 a factor of 2 + ((-6)/6 - -175)?
True
Suppose 76*b = 3*l + 74*b - 6559, -4*l + 3*b = -8745. Is l a multiple of 27?
True
Suppose -1010 - 365 = -5*r. Is 25 a factor of r?
True
Let g be 6 + (-2 - (-3 + 3)). Let r(s) = -3*s - g*s**3 + 0*s**2 - 6*s**2 + 2*s**2. Is 11 a factor of r(-2)?
True
Let u = 923 - 563. Is u a multiple of 17?
False
Let l(d) = d**3 - 7*d**2 + 4*d - 23. Let h be l(7). Suppose -h*z + 2*o + 1311 = 3*o, -2*z - 2*o + 526 = 0. Is z a multiple of 49?
False
Suppose 2*y + t - 1919 = 0, 0 = 2*y + 9*t - 5*t - 1916. Does 24 divide y?
True
Does 2 divide 7 - 0 - (-96 + 30)?
False
Let k(b) = 12*b + 58. Let q(h) = 2*h**2 + 16*h - 7. Let l be q(-9). Is 38 a factor of k(l)?
True
Let v(d) = 3*d**2 + d - 1. Let q be v(5). Suppose 4*w + 3*f = 332, 5*w + f = w + 332. Suppose -3*s - s = -5*g + w, s - q = -4*g. Is g a multiple of 19?
True
Let x(d) = -2*d - 2. Let j(p) = p + 1. Let u(l) = 5*j(l) + 3*x(l). Let y be u(-4). Suppose -y*c + 3*m = -96, -4*c + 93 = -c - 2*m. Does 12 divide c?
False
Suppose -6 = 12*w - 15*w. Suppose v - 9 = -w*v, 5*k - 2*v = 14. Is 10 a factor of -94*-2*k/16?
False
Let u = 15 + -7. Suppose 3*n - 5 = u*n. Does 5 divide 13 + -6*n/(-2)?
True
Is 1238/(-8)*-1 - 880/(-704) a multiple of 3?
True
Let h(s) = -13*s**3 - 10*s - 17. Does 5 divide h(-2)?
False
Suppose -24*m + 22*m + 8 = 0. Suppose -3*a = n - 10, 0*n + m*n + 4*a - 8 = 0. Does 5 divide (-208)/(-32)*n/(-1)?
False
Let o(z) = -z**2 - 14*z + 37. Let h be o(-16). Let y(i) = 4*i**2 - 6*i + 3. Is 7 a factor of y(h)?
False
Let l be 5/2 + 9/18. Suppose 0 = -0*a + 3*a - l*x - 36, 0 = a + 5*x - 30. Does 15 divide a?
True
Let p be ((-4)/22 - (-2853)/(-99))*2. Let k = -46 - p. Is 6 a factor of k?
True
Is 4/(-18) - 9808/(-72) a multiple of 6?
False
Suppose -5*l - 21 = -r, 3*l = 4*r - 89 + 5. Let k be ((-10)/25)/((-2)/10). Does 12 divide ((-224)/r)/(k/(-9))?
True
Suppose -4*p + 3051 - 467 = 0. Does 19 divide p?
True
Suppose -8*d + 835 = -277. Is 12 a factor of d?
False
Let j = 4 + -2. Suppose 709 - 115 = j*g. Suppose -3*s + g = 4*f - 0*s, 0 = 5*f - 5*s - 345. Is f a multiple of 24?
True
Let p = -1551 + 1794. Is 46 a factor of p?
False
Let l(p) = -p - 14. Let d be l(-12). Let g be 4/(-6) + (-303)/(-9). Let w = d + g. Is w a multiple of 12?
False
Suppose 0 = 13*r - 50538 - 1007. Does 13 divide r?
True
Suppose 33*o = o + 11648. Is 26 a factor of o?
True
Let a be 5*(1 + (3 - -3)). Suppose -a = -3*o + 25. Suppose 0*b - 5*b = -o. Is b a multiple of 3?
False
Suppose 2*k + 115 = 9. Let u = -3 - k. Is u a multiple of 5?
True
Suppose -5*j = -2*j - 12. Suppose -j*d - 10 = -4*q + 2, q - 28 = -4*d. Is 12 a factor of (-4*(-124)/q)/2?
False
Let w(o) = -151*o**3 + o**2 + 35*o + 69. Is w(-2) a multiple of 15?
False
Let j(f) = -f**3 - 21*f**2 - 68*f + 4. Let d be j(-17). Suppose -364 = -5*y - 5*b - 94, 3*y - 168 = -5*b. Suppose -d*m = -69 - y. Is 6 a factor of m?
True
Let w be ((-5)/1)/((-2)/2). Suppose -w*s + 324 = -16. Let i = 111 - s. Is 12 a factor of i?
False
Let q = -26 - -31. Suppose -4*j + 5*c = -300, -5*j - q*c = -57 - 273. Is j a multiple of 12?
False
Suppose -5*r - 2413 + 219 = -3*i, 2*i = -3*r + 1450. Is i a multiple of 13?
True
Does 21 divide 1918/35*(-5)/(-1)?
False
Suppose 0 = 16*i - 10*i - 936. Does 12 divide i?
True
Suppose 0 = 4*h - 20, -o - 95 = -2*h + h. Does 7 divide (-5650)/o - (-4)/18?
True
Suppose -1310 = -5*b - 2*o, -b + 3*o - 4*o = -259. Suppose -5*n + 445 = -5*s - 0*s, 2*s + b = 3*n. Is 13 a factor of n?
False
Suppose 68 = -5*d - 2*m, 0 = -5*d - m - 0*m - 64. Let o = 9 + d. Let y = 68 + o. Is 13 a factor of y?
True
Let s = 30 - 28. Suppose -3*l - 3*g + 56 = -25, 6 = -s*g. Does 15 divide l?
True
Does 9 divide 1/(3 - (-12903)/(-4302))?
False
Suppose 0 = 3*s + 160 - 292. Suppose 4*v - 2*a = 2*a + 112, 4*v = -3*a + 126. Let x = s - v. Is 3 a factor of x?
False
Suppose -d - 25 = f, 2*f + 3*f + 90 = 2*d. Let m = f - -44. Does 12 divide m?
True
Does 76 divide (-12 + 6 - -4) + 686?
True
Suppose -5*s + 389 = 4*w, -s + 5*s = -w + 309. Suppose -4*r = -r - 5*z - s, z = -3*r + 89. Is 15 a factor of r?
False
Let m(u) = u**2 - 6*u - 1. Let o be m(-7). Suppose 10*w = 5*w + o. Is 18 a factor of w?
True
Suppose 0 = 4*p - v - 0*v - 765, -2*v = 2. Suppose 0 = -3*q + p - 35. Does 13 divide q?
True
Let d = 202 - -370. Is 26 a factor of d?
True
Let l(b) = b**2 + 10*b + 14. Let g be l(-10). Let w = 16 - g. Suppose -3*j - 4*i + 5*i + 71 = 0, 78 = 4*j + w*i. Does 11 divide j?
True
Let d(s) = 8*s + 7. Let b(o) = 40*o + 36. Let i(g) = -2*b(g) + 11*d(g). Is i(2) a multiple of 4?
False
Let o(i) = -i**3 + 3*i**2 + 2*i - 6. Let w be o(0). Let n(j) = 0*j**2 + j**3 - 4*j + 8*j**2 - 3 - 1. Does 28 divide n(w)?
False
Let n(g) = g**2 - 4*g + 1. Let q be n(3). Let k be (-4 + (-6)/(-3))/q. Let j(f) = 9*f - 1. Is 4 a factor of j(k)?
True
Suppose 4 = 3*h - 2. Suppose -6*a + h*a = -180. Let u = a + 30. Is 25 a factor of u?
True
Let q(n) = -5*n + 6 + 