ue
Is 1192/5 + 4/(-10) a multiple of 17?
True
Let y = 116 + -110. Let b(c) = 8*c**2 - c + 5. Let i(s) = 17*s**2 - s + 9. Let a(j) = 13*b(j) - 6*i(j). Is 18 a factor of a(y)?
False
Suppose n - 21 = 81. Let l = -5 - -10. Suppose -l*o + n = -2*v, -5*o - 114 = -10*o - v. Is o a multiple of 15?
False
Suppose -3*x + 288 = 4*c, -c + 3*x = -109 + 22. Suppose 2*b - 4*b = -40. Let h = c - b. Does 26 divide h?
False
Let r(x) = x**3 - 9*x**2 - 11*x + 10. Let l be r(10). Suppose u = -l*u. Suppose -3*j + u*j + 171 = 3*d, -d + 45 = -5*j. Is d a multiple of 11?
True
Let h(w) = 18*w + 31*w - 4*w. Let g(l) = -l**2 + 5*l + 16. Let j be g(7). Is h(j) a multiple of 31?
False
Let q(l) = 9*l**2 + 3*l + 6. Let t be q(-6). Suppose 0 = 6*g + 42 - t. Is 9 a factor of g?
True
Let r = -368 - -1115. Let h = -475 + r. Suppose 5*l - h + 52 = 0. Is 19 a factor of l?
False
Let k = -70 - -65. Let m(a) = a**3 - 2 + a + 3*a + 0*a + 6*a**2. Is 3 a factor of m(k)?
True
Suppose -g = 2*b - 9, 4*g - 3 = 3*b - 0*g. Suppose 0 = -b*v - 4*k - 44, -k + 65 = -6*v + 2*v. Is (24/4)/(-2)*v a multiple of 16?
True
Let f(o) = 1021*o**2 + 2*o + 5. Is 9 a factor of f(-1)?
False
Let q be (-5 - -6)/((-17)/(-8) - 2). Is 6 a factor of 27 + q/(32/12)?
True
Let m = -25 - -29. Suppose 4*p + 4*g = 524, m*p + 2*g - 195 = 337. Is p a multiple of 38?
False
Let r(f) = 598*f**3 - 2*f**2 + 4*f. Does 50 divide r(1)?
True
Suppose w = 5*l - 3728, -56*l = -55*l - 4*w - 738. Is 13 a factor of l?
False
Suppose -53*a + 2320 = -58*a. Is 5 a factor of a/(-80) - (-4)/(-5)?
True
Let q(c) = c**2 + 8*c + 6. Let u be q(-6). Let w = u + -30. Let s = w - -76. Does 12 divide s?
False
Let v = -311 - -1964. Is 11 a factor of v?
False
Let t(g) = -g + 285. Does 55 divide t(24)?
False
Is (-1410)/(-20) - 6/(-4) a multiple of 3?
True
Suppose c = 4*p - 11, -5*p = 5*c - 3 - 42. Let t(a) = 5*a**2 - 6*a - 3. Let v(n) = -n - 1. Let o(q) = t(q) + 2*v(q). Is 17 a factor of o(p)?
False
Let p(v) = v**2 - 4*v. Suppose -5*n + 31 = -0*n - 3*x, 5*x = -2*n. Let z be p(n). Suppose -5 = o - 0*o, -4*b + 95 = z*o. Is b a multiple of 30?
True
Let f be (-2)/9*(16 - 25). Suppose 0 = -2*r + 5*k + 127, -f*r + k - 3*k + 106 = 0. Is r a multiple of 17?
False
Let a be 0/(2 + 0/(-2)). Let k(f) = -f**2 - 9*f - 6. Let d be k(-8). Suppose -2*g - g - 15 = 0, 5*x - d*g - 25 = a. Is x even?
False
Suppose -4*v + 1906 = 2*g, g + 117 = -3*v + 1073. Is 13 a factor of g?
False
Is (1479/(-34))/(3 + (-405)/132) a multiple of 2?
True
Let u(m) = 76*m + 92. Does 12 divide u(4)?
True
Suppose -3*a - 34 = -3*o - a, -4*o - 5*a = -76. Suppose o*b - 200 = 9*b. Is 20 a factor of b?
True
Suppose 33*a = 21*a + 120. Suppose -a*b + 5*d + 758 = -6*b, 0 = -5*b + d + 958. Is 12 a factor of b?
True
Suppose -13*w + 4225 = -12*w - 2*k, -2*w = 2*k - 8450. Is w a multiple of 65?
True
Does 18 divide (376/16)/(1/10)?
False
Let x(i) = -24*i + 7. Let h(n) = n**2 - n - 9. Let g be h(0). Is 15 a factor of x(g)?
False
Let k = 251 - 172. Let p = -28 + k. Let g = -6 + p. Is 15 a factor of g?
True
Suppose 333*w + 2257 = 2*f + 332*w, -3*w = -15. Is 15 a factor of f?
False
Let n(x) = -2*x**3 - 22*x**2 - 90*x - 6. Is n(-13) a multiple of 92?
True
Suppose -3*l - 19 - 8 = 0. Let x = l - -11. Suppose 55 = 5*v + 3*w + 2*w, 0 = x*v - w - 37. Is v a multiple of 8?
True
Suppose -9*n + 245 - 92 = 0. Is n even?
False
Let a be 6*(-3)/((-3)/(-1)). Let u(z) = 3*z**2 + z + 3. Let j(w) = 16*w**2 + 5*w + 16. Let i(k) = -2*j(k) + 11*u(k). Does 10 divide i(a)?
False
Let g be (0 - 0/2)/(-2). Suppose -q = -g*q. Let t(v) = v**3 - v**2 + v + 68. Is 17 a factor of t(q)?
True
Is (6 + (1 - 5))/((-6)/(-2397)) a multiple of 33?
False
Suppose -3*j + 19 = -x + 7, 2*x + 6 = 0. Let l(m) be the first derivative of -m**4/4 + 4*m**3/3 - m**2 + m + 11. Is l(j) a multiple of 4?
True
Suppose -3*z - 998 = -1217. Is z a multiple of 4?
False
Let x(a) = -a**3 - 10*a**2 - 5*a - 14. Let y(f) = 20*f**2 - f**3 + f**2 + 3*f**3 + 29 + 10*f. Let o(i) = 5*x(i) + 2*y(i). Is o(-8) a multiple of 11?
False
Suppose 0 = 2*u - v - 9, 6 = -2*v - 0*v. Suppose -2*z + 3*z - u*y - 31 = 0, 0 = 3*z - y - 85. Is z a multiple of 13?
False
Does 25 divide 3174/8*(-2 - -6) + 2?
False
Let n be 7 + -6*1/2. Suppose i - 41 = -2*j, -7 = 5*j + 2*i - 109. Suppose -j = -l - n. Is l a multiple of 8?
True
Let s(k) be the third derivative of 17*k**4/24 - 13*k**2. Let v be s(-1). Let w = 9 - v. Is 11 a factor of w?
False
Let j(c) = -c - 1. Let n be j(6). Let v = -3 - n. Suppose v*i = 119 + 153. Is 17 a factor of i?
True
Let c = 8 - 5. Let o be 15 - (2 - 15/c). Suppose a + o = 2*a. Is a a multiple of 9?
True
Suppose -4*u = -2*g - 4714, 0 = 3*u + 4*g - 2945 - 585. Is 38 a factor of u?
True
Suppose -4*v = 3*b - 1190, 2*v + 656 + 960 = 4*b. Let l = b - 192. Suppose w + w + 4*f = 76, 5*w - l = -5*f. Is 16 a factor of w?
False
Let h = 19 + -11. Suppose 4*o - h*o + 76 = 0. Is o a multiple of 4?
False
Let f = -86 - -90. Let u = 76 - f. Does 24 divide u?
True
Does 77 divide 0/2 + 0 + -2 + 172?
False
Suppose 15*w + 4*w = 10811. Is w a multiple of 16?
False
Let k = 1979 + -1146. Is 47 a factor of k?
False
Let w(l) = -59*l + 5. Let x be w(-1). Suppose x = 3*p - p. Is p a multiple of 4?
True
Suppose -3*k - 20 = -k. Let z = -25 - k. Let y = z + 33. Is 6 a factor of y?
True
Let x = -63 - -66. Suppose 0 = 2*y + x - 39. Does 18 divide y?
True
Let c(l) = l**2 - 14*l + 29. Let d be c(12). Suppose 128 = 5*s + d*o - 2*o, -o + 1 = 0. Is s a multiple of 5?
True
Suppose i + 231 = w, i = 4*w - 1078 + 154. Is 33 a factor of w?
True
Let p = 12 + -7. Suppose -9*a = -p*a - 180. Is a a multiple of 15?
True
Let k be 3*((-12)/18 + (-12)/(-9)). Suppose k*m = -p - 0*m + 43, -47 = -p - m. Does 5 divide p?
False
Let c = -248 - -258. Does 10 divide c?
True
Suppose -9*z - 223 = -1060. Does 6 divide z?
False
Let s be 3 - (3 - 4) - (-12)/(-3). Suppose s*f - 1 = f, 3*j + 5*f = 394. Does 19 divide j?
True
Suppose 0 = c + t - 111, -4*c + 7*c - 327 = -t. Let o = c - 96. Is o a multiple of 12?
True
Let i(y) = y - 3. Suppose -3*d - 27 = -4*f, -3*f + f = 5*d - 7. Let n be i(f). Is 17 a factor of 3*12 - (5 - n)?
True
Suppose -35*x = -28*x - 385. Does 3 divide x?
False
Let v(m) = 0 - 90*m + 85*m - m**2 - 2. Let f be v(-5). Does 15 divide ((-3)/f)/(1/20)?
True
Let a(p) = 11*p - 37. Let d(n) = -n + 2. Let l be d(-12). Is a(l) a multiple of 13?
True
Let j(f) = -f**2 - 8. Let a be j(0). Let t = a + 12. Let m(u) = 5*u + 4. Is 8 a factor of m(t)?
True
Suppose -2*g = -7*g - 15. Does 44 divide (-292)/g*-12*3/(-24)?
False
Let o(m) = -m + 15. Let d(p) = p**3 + 12*p**2 + 12*p - 6. Let b be d(-11). Is o(b) a multiple of 7?
False
Let v = -42 + 46. Suppose 0*u - 275 = -5*u. Suppose v*z = 45 + u. Is z a multiple of 9?
False
Let z = 12 + -16. Let t be (6/z)/(6/(-1000)). Suppose -2*d - 3*d = -t. Does 12 divide d?
False
Let f(w) = -16 + 5 + 27*w + 12*w**2 - 11*w - 15 - w**3. Does 3 divide f(13)?
False
Does 27 divide 61*4 - (-20 - -21)?
True
Suppose 4*g + 8 = 0, -2*g - 1667 = -3*b + 224. Is 37 a factor of b?
True
Let l be -5 - (-8 + 4)/(-4). Is (15/l)/(5/(-220)) a multiple of 22?
True
Suppose 0 = 8*y - 7*y - 37. Suppose y = 2*p - 209. Is p a multiple of 41?
True
Let z be (-50)/20*(-14)/5. Suppose -z*j - 33 = -10*j. Is j a multiple of 11?
True
Suppose 5*n = -0*i - i - 184, 0 = 2*n - 10. Let m = i - -357. Is m a multiple of 23?
False
Suppose 3*b = 803 - 14. Is b a multiple of 10?
False
Suppose -604 = -5*c + k + 1064, -1674 = -5*c - 2*k. Is 12 a factor of c?
False
Suppose -4*n + 3*k - 10 = 0, 3*n = -2*k + 17 - 16. Let t(i) = -64*i + 2. Is t(n) a multiple of 16?
False
Suppose -8*w = -5*w + h - 273, 0 = -4*h + 12. Does 9 divide w?
True
Is 3096/16*20/15 a multiple of 25?
False
Let l = 1786 - 598. Is 36 a factor of l?
True
Does 23 divide (-4107)/74*1/(3/(-8))?
False
Let w be (0 - -6)/((-4)/(-2)). Suppose 4*s = w*d - 649, 3*d - 4*d + 163 = -s. Is 7 a factor of 1/((1 + -5)/s)?
False
Let i = 252 - 144. Suppose -2*a + i = a. Is a a multiple of 9?
True
Suppose 0 = -q - 2, 2*q + 1 = x - 10. Suppose 1254 = -m + x*m. Does 15 divide m?
False
Let z(k) = k + 24. Suppose -24 = -6*o + 6. Suppose o*g - 3*g + 20 = 0. Does 14 divide z(g)?
True
Is 7 a factor of 4 - (-5 + 0 + -25*8)?
False
Suppose 33*l - 29*l - 1280 = 0. Is 20 a factor of l?
True
Suppose -5*d - y - 4537 + 