
False
Suppose -4*k - 854 = -h, 3*k + h = -0*h - 637. Let x = 324 + k. Let r = -65 + x. Is 12 a factor of r?
False
Let s be (25/(-4) - -5)*-4. Suppose 4*u + u - 255 = -3*h, -s*h + 425 = u. Is h a multiple of 7?
False
Let f be (-11)/((-3)/(439 - -8)). Let i = f + -264. Is i a multiple of 9?
False
Is 11 a factor of ((-65)/(-20) - 4) + (16428/16 - -4)?
False
Let g(j) = 3 - 84*j**3 - 3 + 81*j**3 - 2. Let v be g(3). Let d = -9 - v. Is 14 a factor of d?
False
Suppose 1144125 + 819429 = 324*h - 829002. Is 13 a factor of h?
True
Let t(z) = -z**3 + 11*z**2 - 10*z - 4. Let r be t(10). Let u(b) = 3*b**2 + 6*b**3 + 5*b - 7*b**3 + 2*b + 7. Is u(r) a multiple of 23?
False
Suppose 2*k + 14 - 2 = 0. Let q be 54/(-9)*10/k. Suppose -q*y = -7*y - 315. Is 17 a factor of y?
False
Let b = -463 + -6077. Is 312/364 - b/14 a multiple of 6?
True
Suppose -771*a + 772*a - 7071 = 5*y, -a + 2*y + 7077 = 0. Is a a multiple of 97?
True
Let q be (-305)/3 + ((-25)/3 - -8). Is 4 - (-3 - -7) - (q - -2) a multiple of 25?
True
Suppose 0 = 6*a - 11*a. Suppose a = -3*p - 5*h + 40, -3*p = p - 5*h - 30. Suppose 2*z + p*z = 648. Does 8 divide z?
False
Let r(l) = l + 20. Let k be r(-7). Suppose k*p = 9*p - 8. Does 23 divide (32/(-4)*-23)/(p/(-2))?
True
Let c be 7*1*5*4/70. Let a be c/(-1) - (-2 + (1 - 2)). Is 36 a factor of 1 + a/(-1) - -2 - -34?
True
Let h = 63314 - 43052. Does 8 divide h?
False
Let r be (-52)/10*10/(-4). Let u = r - -57. Suppose 3*z - 4*d = u, -2*z - 2*z = -5*d - 92. Is z a multiple of 9?
True
Suppose -39*v - 87*v = 40*v - 1021896. Is 19 a factor of v?
True
Let x be 249/13 - (-8)/(-52). Suppose 4 = 5*a + x. Is 11 a factor of (-25 - a)*(-5 + 4)?
True
Suppose -q - 10*t = -6*t - 33, 3*t = 2*q - 33. Suppose 4*n - q*n = -2125. Is n a multiple of 33?
False
Is (-17)/51 - 161044/(-39) a multiple of 7?
False
Let g be 1*(4 - -67) + 4/2. Let d be (g - (-1 + 2) - 2) + -2. Suppose -4*o - 5*u = -d, o + 72 = 6*o + 3*u. Is o a multiple of 4?
True
Let w(k) = 4*k**2 + 2*k - 22. Let l be w(6). Let z = l - -2. Is 8 a factor of z?
True
Let r(u) = -489*u - 3548. Is 11 a factor of r(-13)?
False
Let i(f) = -24*f**2 + 14*f + 7 + 36*f**2 - 29. Is i(4) a multiple of 4?
False
Let y = -4373 - -8613. Does 10 divide y?
True
Let c(n) = -161*n**3 + 6*n**2 - 14*n - 36. Is 5 a factor of c(-2)?
False
Does 89 divide (202 - 201)/((-2)/(-2136))?
True
Let y(j) = -2*j**3 - 252*j**2 - 121*j + 54. Is 15 a factor of y(-126)?
True
Suppose -2*t + 680 = 4*o, -819 = -5*o - t + 25. Does 56 divide o?
True
Suppose -2*b = -0*b + 16. Let c(y) be the first derivative of 5*y**3/3 + 13*y**2/2 - 9*y - 92. Is c(b) a multiple of 33?
False
Let q be 4/(-20) - (-7676)/(-20). Let k = q - -461. Is 6 a factor of k?
False
Let x(q) be the third derivative of 5*q**4/6 + 47*q**3/6 + 4*q**2 + 4. Does 20 divide x(13)?
False
Let y(b) = -b**3 + 8*b**2 - 13*b - 8. Let c be y(6). Let w(g) = -18*g + 122. Does 17 divide w(c)?
True
Let h be 312*(((-36)/8 - -3) + 1). Let l(p) = p**3 - 10*p**2 + p - 1. Let z be l(10). Does 6 divide h/z*(-6)/4?
False
Suppose d = -4*o + 11, 4*o - 112 - 7 = -5*d. Suppose -5*y + d = 7. Suppose 3*v - y*v + 31 = 0. Is v a multiple of 31?
True
Does 31 divide (-78108)/(-18) - 2/(-3)?
True
Suppose 48*h - 9684 = 42*h. Suppose h = 10*u - 2966. Is u a multiple of 11?
False
Let o(v) = -7*v**2 + 137*v - 4. Is o(15) a multiple of 28?
True
Let a be 396/60 - 6/(-15). Let p(v) = v**3 - 9*v**2 + 16*v - 1. Let q be p(a). Suppose -y + 130 - q = 0. Is 17 a factor of y?
False
Let k(l) = l**3 - 4*l**2 - 3*l + 8. Let y be k(5). Suppose 2*a - 6 = -a, 4*h + 5*a - y = 0. Suppose -6*b - h*b = -328. Does 7 divide b?
False
Let g be (4/(-18))/((-2)/(-3))*-9. Let l be 1*(g + 0) - (3 + -6). Is 18 a factor of 1*-3 + 38 + l/6?
True
Let r = 167 - 128. Does 12 divide (3 + (-51)/6)*(-3 - r)?
False
Let c(k) = -k**3 - 30*k**2 - 135*k - 223. Is 19 a factor of c(-33)?
False
Let v = 17 + 125. Let a = -53 + v. Let j = a - 25. Does 16 divide j?
True
Let v = 106 + -61. Let x = v + -19. Let g = 106 + x. Is 11 a factor of g?
True
Suppose 3*z + 92 = 6*z + 5*o, -161 = -4*z + o. Let y = z - -50. Does 2 divide y?
False
Suppose 2498 = x - 423. Does 10 divide x?
False
Let g(s) = -27*s + 834. Is g(30) a multiple of 8?
True
Suppose -1800 = 12*b - 24*b. Suppose 2*w = -i + b, 0 = 2*i - w - 86 - 189. Does 5 divide i?
True
Suppose 3*j + 9337 = 2*y, -11*y + j + 23349 = -6*y. Suppose 3*r = 5*h + 6*r - y, 4*h = 5*r + 3699. Does 34 divide h?
False
Let b = 395 - -205. Suppose 8*y + 22*y - b = 0. Does 4 divide y?
True
Let d(j) = -j**3 - 3*j**2 + 54*j + 3. Let t be d(-9). Is -10*(6/5)/t - -652 a multiple of 10?
False
Let q be (-10)/(-95) - 137816/266. Let a = q - -636. Is 59 a factor of a?
True
Let b(z) = z**2 + 29*z - 294. Let m be b(-37). Let s(c) = 4 + 6*c**3 - 5*c + c**2 + 2*c + c. Is s(m) a multiple of 22?
False
Let g be (198/(-4))/(51/(-680)). Suppose 264 = 2*v + 3*q, 10*v - g = 5*v - 2*q. Is 41 a factor of v?
False
Is 69 a factor of ((1899/(-1055))/(6/(-230)))/(1/50)?
True
Suppose x - 220 = h, -2*h - h + x = 662. Let n = 311 + h. Is n a multiple of 13?
False
Let i(b) = 27 + 21 + 13 + 4*b - 52. Suppose -2*d + 5*d - 24 = 0. Is i(d) a multiple of 7?
False
Let z(k) = 495*k**2 - 490*k**2 + 3*k + 0*k + 30. Does 19 divide z(6)?
True
Let u(w) = 7*w**2 - 3. Let i(k) = k**2 - 1. Let p(v) = -3*v**2 + 5*v + 11. Let s(g) = -4*i(g) - p(g). Let n be s(-4). Does 12 divide u(n)?
True
Let i = 33829 + -15793. Is i a multiple of 6?
True
Does 3 divide (-21 + 11)/(-5)*4/(32/500)?
False
Let t = -63 - -68. Suppose 0*c - t*a - 205 = 5*c, -3*c + 3*a = 117. Let i = -35 - c. Is i even?
False
Does 15 divide 1203247/376 - 1/8 - -7?
False
Suppose -52*l + 98*l = 52*l - 41052. Does 22 divide l?
True
Let d(i) = 6*i**2 - 6*i + 10*i**2 - 31 + 3*i**3 - 2*i**3 + 0*i**3. Does 6 divide d(-15)?
False
Suppose -23 = -9*m + 8*m. Let r be m/3 - 14/21. Does 4 divide 16 + r + -3 - 3/1?
False
Let c be (-6)/8 - 3/((-48)/188). Suppose -c*j + 4558 + 1250 = 0. Is 44 a factor of j?
True
Is 55*12/(-30)*-18 even?
True
Let i = 148 - 86. Let f = i + -23. Suppose f = -4*a + 7*a. Does 4 divide a?
False
Suppose -6*c = -3*a + 11514, 4*a - 3*c - 18227 = -2840. Is 39 a factor of a?
False
Suppose -7*q - 2267 = -2295. Suppose -q*b - 5492 = -27*t + 24*t, 4*b = -t + 1852. Does 18 divide t?
True
Suppose 834*q - 835*q - i = -2723, 4*q - 10868 = 2*i. Is 73 a factor of q?
False
Suppose -13*d + 7*d = 0. Suppose -4*j + 89 = 2*c - 51, d = -4*c - 8. Is 9 a factor of j?
True
Let j = -14205 + 19394. Is j a multiple of 4?
False
Let a = -45 + 48. Suppose a*w - 30 = -v, 2*v = -2*w + 17 + 7. Is 4 a factor of (w/(-27))/((-1)/18)?
False
Let j(a) = 4*a**2 + 21*a + 5. Let p be 5/(-10) - (22/4 - 2). Let g be ((-9)/12)/(p/(-48)). Does 35 divide j(g)?
True
Let j(o) = -3 - 8*o - 3 + 20*o - 2*o**3 + 3*o**3 + 13*o**2. Is j(-9) a multiple of 16?
False
Let b be 4/((-16)/70)*-6. Let w be 42/4*(-198)/27 - -6. Let f = w + b. Is 24 a factor of f?
False
Let o(n) = -3*n**2 - 46*n + 14. Let d be o(-7). Suppose -295 = 188*p - d*p. Is 59 a factor of p?
True
Let k(v) = 12*v - 22. Let s be k(7). Let z = s + -426. Is 7 a factor of (-1)/((-1088)/z - 3)?
True
Let p = -315 - -320. Suppose h - 612 = -2*h - 4*l, -401 = -2*h - p*l. Does 26 divide h?
True
Let b(f) = -23*f + 101. Let h be b(-6). Let l = h - 95. Is l a multiple of 13?
False
Let c(t) = -24*t + 84. Let p be c(8). Let j = -4 - p. Is j even?
True
Let h(m) = 34*m**2 - 4*m - 1. Let i be h(4). Suppose 343 = 6*l - i. Does 23 divide l?
False
Suppose -24*i = -73*i + 967750. Is 10 a factor of i?
True
Let a be (-1814)/(-6) + 26/(-78). Let r = a - 152. Does 10 divide r?
True
Let x(b) = -4*b**3 + 50*b**2 - 151*b + 10. Let m be x(6). Let y be (1*(-1 - -2))/(-1). Let w = y + m. Is 39 a factor of w?
True
Let o be 32/(-176) - 3920/(-22). Suppose 180*q - o*q = 280. Is 7 a factor of q?
True
Let a(n) = -2*n**3 + 2*n**2 - 2*n. Let s be a(4). Let j = -57 - -221. Let f = j + s. Is 20 a factor of f?
True
Let n be 1/(-1*2*(-1)/(-18)). Let a = n - -29. Suppose -52*s - a = -57*s. Is s even?
True
Let d = -498 - -2559. Does 14 divide d?
False
Suppose 14*v - 4 = 18*v, 5*f + 4*v - 31191 = 0. Is 17 a factor of f?
True
Let b(x) = 4*x**3 + 8*x**2 - 4*x - 3. Let n be b(5). Suppose -n = -12*h + 1267. Is h a multiple of 18?
True
Let g(n) = -355*n + 4