= 162 - a. Is v even?
True
Let p = -168 - -102. Suppose 72*z - 135 = 73*z. Let o = p - z. Does 17 divide o?
False
Let m(t) = -t - 1. Suppose -8 + 22 = -2*k. Let r be m(k). Is 22 a factor of 66 + (-4 + r)/(-2)?
False
Is (-191)/(539/(-176) + 3) a multiple of 4?
True
Suppose 0 = -4*u + 4*m + 37812, 7*u = 12*u + 2*m - 47321. Does 4 divide u?
False
Suppose 10 = 2*y - x, 4*y - 7 = -y - 2*x. Does 44 divide y*(-9 + 11) + 2106?
True
Let c(l) = 42*l + 952. Is c(122) a multiple of 28?
True
Suppose -176*h - 180*h = -358*h + 2632. Is 7 a factor of h?
True
Let r(x) = 823*x - 924. Is r(44) a multiple of 11?
True
Suppose 0*c + c = -0*c. Suppose -3*p + 9*p - 1578 = c. Let n = p + -183. Does 10 divide n?
True
Suppose -8*u = -3*u - 1805. Suppose 11*j = 354 + u. Suppose 0 = -3*m + j + 250. Does 21 divide m?
True
Suppose 0 = -0*z + 4*z - 12. Suppose 0 = z*w - 6 - 9. Suppose -5*h + q + 19 = -185, w*h = 4*q + 201. Is h a multiple of 15?
False
Suppose 5*g + 4*b - 4737 = 0, 3*g - g - 1888 = -5*b. Is 13 a factor of g?
True
Let f be (-27)/6*(-10)/(-15). Let l(d) = 13. Let w(x) = -x + 12. Let g(v) = f*w(v) + 2*l(v). Is g(6) a multiple of 4?
True
Suppose -3*j - 3*j + 54 = 0. Suppose 3*q - 2*q + j = -g, 4*g - 4*q = -36. Let x(y) = -y**2 - 19*y. Is x(g) a multiple of 10?
True
Let z be (1*(-50)/8)/(9/36). Does 12 divide 6534/12 - z/(-10)?
False
Is 12 a factor of (-83230)/(-246)*18/10?
False
Suppose -16*j + 4*t - 15 = -15*j, 4*j - 15 = t. Suppose 0 = b - j*z - 67, -6*b = -b - 4*z - 230. Does 14 divide b?
True
Suppose -8*j = -3*j - 10. Suppose -j*x - 240 = -8*x. Let a = 47 + x. Does 12 divide a?
False
Is 60 a factor of 4/(-10)*(-1442865)/86?
False
Is (1 + 4799)/((-292)/(-730)) a multiple of 181?
False
Suppose -5*z = -4*s - 2878 - 5432, 10383 = -5*s + 4*z. Let n = -1412 - s. Is n a multiple of 7?
False
Let w = 36812 - 12068. Is 159 a factor of w?
False
Let n(z) = 113*z - 2. Let h be n(1). Suppose -114*k = -h*k - 363. Is k a multiple of 6?
False
Let a be 91/(-2) - -4*18/48. Let b = a + 39. Does 12 divide 650/52*(-26)/b?
False
Let n = 11475 + -9493. Is n a multiple of 21?
False
Let s = -1258 + 562. Let p = s - -1094. Is p a multiple of 93?
False
Let b(l) = -8*l**2 - 379*l - 19. Does 47 divide b(-31)?
True
Let w = 2156 - -3702. Is w a multiple of 101?
True
Let b = -8351 + 10921. Is 5 a factor of b?
True
Suppose 5*l = -2*l - 245. Let m = l - -42. Suppose -163 = -4*a - p, 1 - m = -2*p. Is a a multiple of 8?
True
Suppose 701891 = 157*g + 534954 - 905687. Is 136 a factor of g?
False
Let h(r) = r**2 - 4 + 9 + 4 + 5*r. Let b(f) = -2*f**3 - 7*f**2 - 12*f - 6. Let y be b(-2). Is 25 a factor of h(y)?
True
Suppose 0 = 2*m + 16 - 24. Suppose 5*t + 0*q - 9 = 3*q, -2*q = -m. Suppose 2*c = -4*h + 340, h - t*h + 6 = 0. Is 15 a factor of c?
False
Let l be -5 - (-22 - (-1 - 1)). Suppose 5700 = 10*y + l*y. Does 47 divide y?
False
Does 13 divide -4 + 13/(130/3420)?
True
Let c(g) = 3*g + 17. Let v be c(-5). Suppose -h + v*h = -2*r - 7, h + 3*r + 7 = 0. Let j(n) = -14*n - 59. Does 7 divide j(h)?
False
Suppose 0 = -5*z - 129 + 49. Is 14 a factor of (24/z)/(3/(-1004))?
False
Suppose 0 = -n + 4*n + 3. Let h be (-10 - (3 + -5))*n/2. Suppose h*k - q = 2*k + 125, 5*k - 4*q - 317 = 0. Is 19 a factor of k?
False
Let h(i) = -2*i - 40. Let g be h(-20). Suppose 3*r + 0*r = -4*x + 51, -3*x - 5*r + 52 = g. Is 68/6 - (-3)/(x/2) a multiple of 4?
True
Let y = -12 + 18. Suppose y*u - 67 - 101 = 0. Is 21 a factor of 51 + (u/(-7) - (-4)/2)?
False
Suppose 10*s + 20 = 20*s. Suppose 5*c - 25 = 4*z, -s*c + 7*z - 9*z = -28. Is c a multiple of 3?
True
Let t be (-6)/(-14) - 2/((-28)/(-6)). Suppose i + 2 = -2*i - 2*b, i + 18 = -5*b. Suppose -3*j = -t*x - i*x - 308, 112 = j - 3*x. Does 25 divide j?
True
Let j(z) = -322*z - 1680. Does 14 divide j(-39)?
True
Does 52 divide 3315/20*(1120/21 + 0)?
True
Suppose -y - 277 + 260 = 0. Is 11 a factor of ((-131257)/28)/y - (-2)/8?
False
Let v = 33434 - 26918. Is 6 a factor of v?
True
Let j be 44/(-36) + 6/27. Let n be 3 + (-1 - -2)/j. Suppose -3*b - 4*c + 56 = 0, -c - 4*c = n*b - 28. Is b a multiple of 6?
True
Is (-276)/9*(100/(-2) - 88/(-11)) a multiple of 15?
False
Let t = -10594 - -15399. Does 148 divide t?
False
Let o(f) = -18*f - 217. Let h be o(-19). Let g = 249 - h. Does 4 divide g?
True
Let b = 121 + -104. Is 10 a factor of -2 - (-36)/b - 7632/(-153)?
True
Let p = 1 - -3. Let u(h) = 2 - p*h**2 + 35*h - 95*h + 3*h**2 + 44*h. Is u(-8) a multiple of 11?
True
Let r = 11526 + -5820. Does 67 divide r?
False
Suppose -2*w = 8*w - 880. Let k(o) = -o**3 + 2*o**2 + 3*o - 3. Let a be k(2). Suppose y - 4*m = -y + 52, -4*m + w = a*y. Is y even?
True
Let x be (-2493)/(-12) + (-1)/(-4). Let y = 346 - x. Is y a multiple of 41?
False
Suppose 2*m - 5*h - 52 = -2*m, -12 = 3*h. Let d be 4 + 8/(-2) + m/(-2). Is (-249)/52*d + 4/(-26) a multiple of 3?
False
Suppose 0 = 128*q - 125*q - 3*u - 60720, -q - 5*u + 20204 = 0. Does 67 divide q?
True
Let b = -24217 - -24596. Does 55 divide b?
False
Let u(x) be the third derivative of x**5/60 - x**4/6 + 7*x**3/6 - 20*x**2. Let k be u(4). Suppose 0 = -13*h + k*h + 96. Is 12 a factor of h?
False
Suppose 0 = -r - 5*h + 3031, -r + 5*r = -3*h + 12175. Let j = r + -2052. Suppose 0 = -5*q - 2*o + 998, q - 6*q = o - j. Is 18 a factor of q?
True
Let h be 4 + (-12)/(-6) + -4. Suppose 15 = -5*l, 4*z - 4153 = -h*l + 153. Is 12 a factor of z?
False
Suppose 0 = 4*k - b - 22528, -528*k + 530*k = 2*b + 11264. Is k a multiple of 176?
True
Suppose 0 = 8*p - 10*p. Suppose p = -3*n + 2*g - 8, -5*n - 2*g = g + 7. Is (-264)/18*9/n - 0 a multiple of 23?
False
Does 48 divide (4/(-5) - 35336/140)/(3/(-90))?
False
Let a(m) = 11*m**2 - 11*m - 6. Let u be a(-4). Let n(b) = 3*b - 220 + b**2 + 0*b**3 + 6*b**2 - b**3 + u. Is n(7) a multiple of 3?
True
Let t(o) = -2*o**2 + 3*o + 5535. Is 5 a factor of t(0)?
True
Let m be (60/(-18))/((-2)/6). Suppose -4*c = -5*y - 4, -3*c = -2*c + y - m. Let f(h) = h**2 - h - 12. Is f(c) a multiple of 5?
False
Let k(f) = -13*f + 214. Let b be k(-10). Suppose 2*u - 8 = 0, 15*u = -2*l + 14*u + b. Is 5 a factor of l?
True
Let n = 50 + -34. Let j(d) = -2. Let p(k) = 8*k + 1. Let v(z) = -2*j(z) + p(z). Does 7 divide v(n)?
True
Let a(k) = k**3 - 18*k**2 + 23*k + 14. Let p(b) = -b**2 - 7*b + 3. Let m be p(-6). Suppose 5*l + 68 = m*l. Does 19 divide a(l)?
False
Suppose 8*l - 78 = -2*v + 9*l, -2*v + 88 = 4*l. Suppose 0 = -53*b + v*b + 1664. Does 3 divide b?
False
Is (0 - -1119) + ((-9)/(-18))/(7/(-42)) a multiple of 15?
False
Let c = 6867 - 6117. Is 50 a factor of c?
True
Suppose 4*y = -o + 10, -2*y = -6*y + 4*o + 20. Suppose 5*f = y*n - 586, -9*f + 14*f = 5*n - 970. Is n a multiple of 24?
True
Let i be -1 + 20486/22 + 122/(-671). Suppose 4*z + c - 987 = i, 5*c + 453 = z. Is z a multiple of 11?
False
Let g(a) = 7*a + 22. Let u be 0/(-7) - (-7 - 1). Is g(u) a multiple of 13?
True
Let o(m) = 7*m**2 + 5*m + 1398. Let c be o(0). Suppose 2*y + 2*i = 2800, 4*y + 3*i = 3*y + c. Is 61 a factor of y?
False
Let x = -21576 - -29416. Is 28 a factor of x?
True
Let s = 32405 + -31382. Is 11 a factor of s?
True
Let f be (1 - 0 - (1 - -3))/1. Let j be (-3 - (-1 - 2))/(f/(-3)). Suppose 0*t + 52 = 3*i + 4*t, 2*t + 4 = j. Is i a multiple of 5?
True
Suppose 0 = -63*o + 75567 + 10428. Does 7 divide o?
True
Let l(h) = h**2 + 19*h + 21. Let n be l(-18). Suppose -4*t - 4*g - 20 = 0, 5*t + 0*g = n*g - 9. Let r(p) = 2*p**2 - 6*p + 4. Is r(t) a multiple of 8?
True
Let a(k) = 3653*k**3 + 58*k**2 - 59*k + 2. Does 29 divide a(1)?
True
Suppose -l = -4*s - 66, 3*l - 2*s + 242 = 8*l. Is l a multiple of 3?
False
Let c(h) = 21*h**2 + 29. Let d be c(6). Let x = d + -598. Is 31 a factor of x?
False
Let o be 4 + (0 - (4 + -14)). Let h be ((-30)/(-14) - 42/o)*7. Does 25 divide 2318/57 + 1/h*-2?
False
Let o = 7741 + 28305. Is o a multiple of 67?
True
Suppose -412986 - 340759 + 158000 = -95*h. Is h a multiple of 34?
False
Is 49 a factor of (-84)/(-7)*(-94265)/(-68)?
False
Suppose -3*g + 4289 = 2*c, -2854 = -17*g + 15*g + 4*c. Is 2 a factor of g?
False
Let r be 10/3 + 15/(-45). Suppose -h + 2*j = -52, -5*h + j - r*j + 224 = 0. Does 22 divide h?
False
Suppose -1296 = 20*t - 29*t. Does 5 divide 31280/t - 6/27?
False
Is (-189820)/(-24) + 5 - (-15)/18 a multiple of 11?
False
Let d(y) = y**2 + 3*y + 10. Let u be (