
True
Let h be (-10)/(-5)*1*-1. Is 5 a factor of h/(-9) + (-1288)/(-36)?
False
Suppose -5975 = -2*u + k, 0 = u - 3*k - 2404 - 581. Is u a multiple of 36?
True
Is (-2)/(-3)*(2730/20 + 3) a multiple of 18?
False
Suppose -3*y = 15 + 75. Is (-2202)/y + (-4)/10 a multiple of 31?
False
Suppose -x = 2*c + 141 + 89, 0 = 2*x - c + 465. Let d = x + 386. Is d a multiple of 9?
False
Let b = -82 - -85. Does 25 divide (b/(-12))/((-8)/800)?
True
Suppose 155 = 4*k - 169. Let p be -3 + (-1 + -4)*9. Let s = k + p. Is s a multiple of 13?
False
Let n(z) = 2*z**2 + 5*z + 5. Let x be n(-2). Suppose -s + x*s + 2 = 2*u, s - 3*u = -7. Suppose -s*w + 118 + 6 = 0. Is w a multiple of 31?
True
Suppose 0*p + 4620 = 21*p. Is 3 a factor of p?
False
Let r = 442 - 250. Is 12 a factor of r?
True
Let l(v) = 2*v**2 - 2*v - 5. Suppose -7*u - 30 = -12*u. Let x be l(u). Suppose -3*w + 211 = x. Is w a multiple of 26?
True
Let r be ((-2)/(-2))/(76/(-16) - -5). Suppose -r*f - 882 = -11*f. Is 21 a factor of f?
True
Suppose 8*c = 130 + 246. Does 10 divide c?
False
Suppose 2*w = -5*u + 840, -5*w + 504 = 5*u - 2*u. Is u a multiple of 12?
True
Let l = 3981 - 2661. Is 20 a factor of l?
True
Let c(x) = 4*x**2 - 17*x - 196. Is 15 a factor of c(-16)?
False
Let t = -410 - -713. Does 14 divide t?
False
Let n(g) = -49*g + 22*g + 14*g - 14 - 29. Is 11 a factor of n(-7)?
False
Suppose 5 = 5*v, 5*p + 22*v = 19*v + 5413. Does 22 divide p?
False
Suppose -193*h - 3200 = -201*h. Is 80 a factor of h?
True
Let d be 5 + 2 + (-3 - -2). Suppose -15 = t - d*t. Suppose -37 = -t*x + 26. Does 12 divide x?
False
Let i(z) = -42*z + 14. Let d be i(-3). Suppose 139*l + 116 = d*l. Is 4 a factor of l?
True
Let m(l) = -16*l**3 + 2*l**2 - 4*l. Does 14 divide m(-3)?
True
Let u be (-469)/(-14) - 3/(-6). Suppose v - 124 + u = 0. Suppose -3*y + 177 + v = 0. Is y a multiple of 11?
False
Let u = -2 - 2. Let z(j) = j**2 + 4*j + 5. Let f be z(u). Suppose 2*s - f*s + 15 = 0. Does 3 divide s?
False
Suppose o - 6*o - 5*y + 2875 = 0, 0 = o - 5*y - 563. Is o a multiple of 19?
False
Suppose -5*s + 19 = 4. Suppose s*p + 3*p = -48. Is (-3)/2*p/6 even?
True
Let a(y) be the second derivative of y**4/12 + y**3/3 + y**2/2 - 13*y. Let r be 17/3 - 2/3. Is 12 a factor of a(r)?
True
Let p = 121 + -124. Let y = 5 + -25. Is y*(p/1 - -1) a multiple of 20?
True
Let j(n) be the first derivative of n**4/4 - 2*n**3/3 + n**2 - 2*n + 4. Let u be j(2). Suppose -z + g = -5 - 41, 86 = u*z + g. Is 12 a factor of z?
False
Is (-865)/(-95) - 10/95 even?
False
Suppose -5*h - 648 = -4*l - 6480, -4*h - 3*l = -4678. Is h a multiple of 16?
True
Suppose 22 = -5*c - 3. Does 9 divide c/(-30) + (-644)/(-24)?
True
Suppose 25*k = 13366 + 17759. Is 15 a factor of k?
True
Suppose 42*i - 38*i - 992 = 2*d, -2*i + 496 = 5*d. Does 8 divide i?
True
Let k(p) = 3*p**3 + 10*p**2 + 21*p - 3. Let u(y) = -4*y**3 - 11*y**2 - 22*y + 2. Let j(b) = -3*k(b) - 2*u(b). Does 12 divide j(-6)?
False
Let l(p) be the first derivative of -5 + 0*p**3 - 1/4*p**4 + 3/2*p**2 - p. Is 17 a factor of l(-4)?
True
Suppose -o + 4*q + 63 + 8 = 0, -2*q - 203 = -3*o. Is 9 a factor of o?
False
Suppose -r + 2*s = -2*s + 92, 4*r + 381 = 3*s. Is 8 a factor of (-2)/(((-18)/r)/((-15)/2))?
True
Let w(k) = k**2 + 5*k + 1. Let n be w(-7). Let u(y) = n*y - 3*y**3 + 4*y**3 + 9 + 5*y - 12*y**2. Is 8 a factor of u(10)?
False
Suppose 2*r + 2*k = -20, -r + 4*k - 1 = 9. Let g = 52 - r. Is g a multiple of 13?
False
Suppose -446 - 32 = -4*y - 2*v, -4*v = -3*y + 353. Is 12 a factor of y?
False
Let c be -2 - -5 - 6/(-2). Let r = -9 + c. Let j(p) = 4*p**2 + 1. Is 11 a factor of j(r)?
False
Let c be (-4653)/(-54) + (-3)/18. Suppose -s = 2*d + s - c, 46 = d + 4*s. Does 42 divide d?
True
Let z be -3*((-5)/30)/(7/56). Suppose 0 = 2*s + 16 + 38. Does 27 divide (-2097)/s + z/3?
False
Suppose -15 + 0 = 5*s. Let o be (-16)/s - (-2)/(-6). Suppose -51 = -o*c + 64. Is c a multiple of 9?
False
Suppose -4*s = 5*o - 35, 3*s + 5 = 5*o + s. Suppose 8 = 4*w + 24. Does 5 divide 28/o - w/6?
True
Let a(w) = -w**3 - 2*w**2 + 10*w + 10. Let s(l) = -l**3 - l**2 + 8*l + 11. Let b(h) = -3*a(h) + 2*s(h). Let o be ((-18)/4)/(3/4). Does 3 divide b(o)?
False
Suppose -3*m - 2*m = -2*k + 87, 2*k = 4*m + 88. Suppose -w + 16 = k. Let b = -14 - w. Is b a multiple of 8?
True
Suppose 664 = -3*b + 7*b. Suppose 0 = 8*z - 6*z - b. Let v = z + -37. Is v a multiple of 13?
False
Is 12 a factor of ((-164)/5)/((-104)/780)?
False
Let d be (-2 - -3)/((-4)/(-1320)). Suppose d + 525 = 9*n. Is 15 a factor of n?
False
Suppose -100 = -0*y - y. Suppose -4 = -c, -4*v + y = c + c. Let j = v + -14. Is j a multiple of 3?
True
Let g(k) = -12*k + 21. Is g(-2) a multiple of 45?
True
Let f(b) = b**3 - 6*b**2 + 3. Let y be f(6). Let j(m) = -m**3 + 3*m**2 - 2*m + 2. Let w be j(y). Is (-78)/w*2/3 a multiple of 10?
False
Suppose -3*v + 0*f = 4*f - 640, f = 4. Is v a multiple of 24?
False
Let a(o) = -o - 2. Let n be a(2). Let q be (2 - n) + (-2 - 1). Suppose q*b + 3*d = 76 - 4, 8 = b - 3*d. Is b a multiple of 7?
False
Is 9 a factor of (1736/(-7) - -5)/((-10)/50)?
True
Let a be 2/9 + (-74)/9. Is 36*(a/(-12) + 0) a multiple of 4?
True
Suppose -3*a + 10 = 2*a. Suppose p = -a*p + 6. Suppose -p = -3*n + 7. Is n a multiple of 2?
False
Suppose -2*p - 633 = -4*h - 2321, 3*h = -5*p - 1253. Let z = -295 - h. Is 14 a factor of z?
True
Is 42/(-8 - (-388)/48) a multiple of 14?
True
Suppose -5*x - 18 - 32 = 0. Let f(m) = 0*m + 8 - 9 - 13 - 4*m. Is 14 a factor of f(x)?
False
Suppose 5*y - 92 = 723. Suppose -y = 5*d + 77. Does 8 divide 3/(-6)*(0 + d)?
True
Suppose 0 = 9*a - 364 - 14. Does 42 divide a?
True
Let r = -26 + 29. Is 115 + ((-1)/(-2))/(r/6) a multiple of 45?
False
Let y be (-3)/6*-1*(34 - -10). Suppose 0 = -p - y + 52. Is p a multiple of 3?
True
Suppose 1853 = d - m, -120 = 2*m - 112. Is d a multiple of 15?
False
Let t(r) = -r**3 - 12*r**2 - 11*r - 3. Let d be t(-9). Is (3 + -2)/(291/d - -2) a multiple of 11?
False
Let i(m) = -81*m - 119. Is 13 a factor of i(-28)?
False
Let o be 1*(-3 + -1 - -7). Suppose -o*u = -31 + 10. Suppose 0 = -5*p + u*p - 64. Is p a multiple of 16?
True
Let f = 11 - 22. Let n = f - -15. Suppose 5*b + 29 = 2*k - 22, -3*b = n*k - 63. Is k a multiple of 3?
True
Let h(j) = j**3 - 8*j**2 - j + 18. Let t be h(8). Is (-5)/2*(-20)/t even?
False
Let m = 6 - 2. Suppose 0 = -5*k + 5*h + 5, -84*h = -83*h - 4. Suppose c - 3*y - 7 = -m*y, -k*c + 3*y + 59 = 0. Is 10 a factor of c?
True
Suppose k + 117 = 5*f + 5*k, -2*k = -5*f + 99. Let v = f - 8. Is 3 a factor of v?
False
Let f = -587 - -583. Suppose -3*i - 2*l = 3*l + 490, 5*i = 4*l - 792. Is 50/f*i/100 a multiple of 20?
True
Suppose 0 = -4*z + 4*h + 141 - 9, 3*z - 102 = 4*h. Let t be (2 + 24/15)*z. Let a = t - 35. Is 27 a factor of a?
False
Suppose -35 = 4*l - 3*z, z - 15 = 2*l + 2*z. Is 10 a factor of 7*((-30)/l)/((-56)/(-192))?
True
Let r = 19 + -37. Let d = r - -20. Suppose -v - 14 + 42 = 3*n, 47 = d*v - 3*n. Does 22 divide v?
False
Is 11 a factor of 4 + 329 + (-6)/2?
True
Suppose -6*v + 103 = -209. Does 10 divide (1365/v)/(2/(16/3))?
True
Let d be (-30)/(-9)*3/2. Let w(j) = -j**3 + 6*j**2 - 2*j + 24. Let g be w(6). Suppose 5*b + 3*x = 232, 2*x - d*x + g = 0. Does 22 divide b?
True
Let b(n) = -n**2 - 9*n - 3. Let w be b(-8). Does 14 divide (-15)/w*-1 - -39?
True
Let y(q) = 13*q - 5. Let c(z) = -40*z + 14. Let w(v) = 2*c(v) + 7*y(v). Does 21 divide w(4)?
False
Suppose -124 = -l - 5*b, -2*b - 1 = -b. Suppose 12*x = 9*x + l. Is x a multiple of 14?
False
Suppose g + 10*d = 5*d + 101, 3*d - 223 = -2*g. Let c = g - 56. Does 6 divide c?
True
Suppose -5*q + 4*q - 153 = 0. Is (-2)/(9/(q/2)) a multiple of 12?
False
Let i be 324/(-30) - 1/15*3. Let z(q) = -q**3 - 8*q**2 + 9*q + 27. Is 43 a factor of z(i)?
False
Is 730/2 - (-27)/(-72)*-8 a multiple of 23?
True
Suppose 1563 = -5*n + 5933. Is 23 a factor of n?
True
Let n = 2485 - 1748. Does 11 divide n?
True
Let t be 173 - (-6 + 3 + 0). Let p be (t/(-66))/(1/3). Let h = 25 - p. Is 15 a factor of h?
False
Let d(x) = x**2 + 10*x - 75. Does 12 divide d(-23)?
False
Suppose -n - 2 = 0, 114 = -4*a - 2*n + 1018. Suppose -a = -2*q + 2*w + 5, 2*q = -4*w + 202. Does 22 divide q?
False
Let p = -429 - -579. Is p a multiple of 5?
True
Let v be (105/14)/(3/90 - 0). Is 4 a factor of (5 - v/10)*-2?
False
Is ((