*k. Is l a multiple of 15?
True
Suppose 4*t + 243 + 3411 = 5*b, 2928 = 4*b - 2*t. Let c = b - 495. Is 11 a factor of c?
False
Is 96 a factor of 0 + (2 + -16 - -9614)?
True
Let w be 1083/1*(-7)/21. Let f = w + 501. Does 10 divide f?
True
Let d be (-2 - -4) + 2*1. Let w(v) = v**2 - 30*v - 57. Let l be w(-2). Suppose -47 + l = -5*q + 2*i, 20 = 4*q - d*i. Does 5 divide q?
True
Suppose 426*a - 191808 = 402*a. Is 216 a factor of a?
True
Let a(p) be the first derivative of p**4/4 - 14*p**3/3 - 11*p**2/2 - 23*p - 3606. Let h be 30*-1*1/(-2). Is a(h) a multiple of 19?
False
Let v(w) = -26*w - 22*w - 80 + 11*w. Is 23 a factor of v(-9)?
True
Let c = 1908 + 2513. Does 50 divide c?
False
Let a = 308 + 197. Suppose 6*s = s + a. Is s a multiple of 13?
False
Is (0 + (13 - 12))/(4/11616) a multiple of 44?
True
Suppose 3*h - 7023 = 1320. Suppose 0 = -4*y + h + 315. Suppose 9*s + 180 - y = 0. Does 11 divide s?
True
Let r be 24/60 - (-38)/5. Let m(c) = c**3 + 9*c**2 - 7*c + 24. Let b be m(-10). Does 20 divide 434/b*-1 + r/12?
False
Let j(n) = 258*n**3 + 5*n**2 + 11*n. Does 14 divide j(3)?
False
Let b(x) = -5*x**3 - 10*x**2 - 5*x - 5. Suppose 17*v - 5 = -73. Does 7 divide b(v)?
True
Let r = -17948 + 25130. Does 57 divide r?
True
Suppose -203*w + 206*w + 9346 = 5*x, 2*w = -3*x + 5600. Is 19 a factor of x?
False
Suppose 2*o = -2*s + 11002, 4*o - 15422 = -5*s + 12079. Is 126 a factor of s?
False
Let x be 831 + (-4 - (-5 + -2)). Suppose -3354 + x = -6*y. Is 60 a factor of y?
True
Let w(c) = -c**3 - 12*c**2 - 44*c - 540. Does 22 divide w(-16)?
True
Suppose m + 12668 = 3*b, -1079*b + 1075*b + 16890 = -2*m. Is 7 a factor of b?
False
Suppose -3 = 2*n + n. Let g be 1/n*(-45)/9. Suppose -t = g*l + 4*t - 285, 0 = -5*l - 2*t + 294. Does 7 divide l?
False
Suppose -192 = 3*c - 3*w, c + 89 - 16 = 4*w. Let p = 202 + -75. Let q = p + c. Is q a multiple of 11?
True
Let i(q) = -4*q + 17. Let o be i(7). Let k(h) = 2*h**2 + 21*h + 16. Let y be k(o). Let c = y + 38. Does 5 divide c?
True
Suppose -4*z - 4*r + 9*r + 12 = 0, -3*z + 2*r = -2. Let x(y) = -5 + 1 + 3*y + 28*y**2 + 17*y**2. Does 17 divide x(z)?
True
Suppose 6*m + 585 + 1347 = 0. Let d be 4/(-10) + m/70. Let q(c) = -12*c - 20. Is 20 a factor of q(d)?
True
Let b = 11948 - 8239. Is b a multiple of 55?
False
Let l(j) = 5*j - 4. Let n be l(2). Let h be 99*(-1)/(9/n). Is 1 + h/(-4)*(-32)/(-12) a multiple of 9?
True
Suppose -3*v - 4*t = -18, -5*v + 5*t - 6*t = -13. Suppose 0*h + 4*w = -3*h + 324, -h + v*w = -108. Is 17 a factor of h?
False
Let z = 14967 + -6091. Suppose 20*m - z = -1736. Is 47 a factor of m?
False
Suppose -b - 101 = 2*x + 178, -425 = 3*x - 5*b. Suppose 0 = 4*d - 6*d - 520. Let p = x - d. Does 12 divide p?
True
Let m = -1086 - -3810. Is 53 a factor of m?
False
Suppose -3*t - 2*n + 3421 = 331, 2*t - 4*n = 2076. Is t a multiple of 4?
True
Let w = -52 + 55. Let o be (-174)/(-36) - w/(-18). Suppose 640 = o*p - 0*p. Is p a multiple of 16?
True
Suppose t = -2*u - 0*t + 684, 5*t = 3*u - 1039. Let v = -43 + u. Suppose 0 = 5*j - 2*j - v. Does 10 divide j?
True
Does 50 divide (-540)/432 + -1*4215/(-12)?
True
Suppose -15 = -5*l, 3*f + 3*l - 136 = 8. Let m(q) = -q**3 + 3*q**2 - q + 5. Let k be m(4). Let z = k + f. Is z a multiple of 8?
False
Let j = 20660 + -14984. Does 86 divide j?
True
Suppose 5*x - 4*p = 417, -12 = 2*x + 5*p - 159. Does 4 divide x?
False
Let c = 112 + -115. Let x = 79 - c. Is 13 a factor of x?
False
Suppose 5*h = -4*d + 23, -7 = -0*d - 2*d - h. Suppose -d*q + 5*x = 6*x - 854, -5*x = -q + 405. Is 15 a factor of q?
False
Suppose -3*c = -4*k - k - 201, 0 = -3*c - 9. Let l = k + 46. Does 21 divide l/(4 + (-66)/17)?
False
Let i(z) = 81 + z**3 + 81 - 18*z**2 - 108 - 5*z**2 + 28*z. Is i(22) a multiple of 12?
False
Let c(n) = -9*n**3 + 15*n**2 + 64*n - 96. Is c(-6) a multiple of 7?
False
Let h = -32 + 33. Let z be ((4 - 4) + 0)/h. Suppose 3*y - 4*s - 141 = 0, -4*y + 5*s + 189 = -z*y. Is 12 a factor of y?
False
Suppose -5*f = l - 3644, 4*l - 6809 = -4*f + 7799. Suppose 0 = 12*i - 19*i + l. Is i a multiple of 18?
True
Let h(j) = 3*j - 27. Let f(x) = -4*x - 31. Let y be f(-8). Let c(i) = 1. Let s(w) = y*h(w) + 6*c(w). Does 15 divide s(17)?
True
Suppose 16 = -m + 21, 3*b + 4*m = 68. Suppose 0 = 9*w + b*w - 2375. Does 13 divide w?
False
Let s(o) = 2*o**3 + 29*o**2 - 15*o + 37. Suppose -43 = 3*z + 2*h, z + 17 = -h + 3. Is s(z) a multiple of 37?
True
Suppose 39 - 9 = -5*b. Let n be (-128)/12 + 2/b. Does 2 divide (-12)/(-66) + 18*(-6)/n?
True
Let c = 46354 + 5441. Is c a multiple of 200?
False
Does 27 divide (-25 - -16)*237*-3?
True
Let u be (-33)/(-6)*(-3)/((-6)/4). Suppose 104*y - 105*y + u = 0. Let o = 10 + y. Is o a multiple of 14?
False
Suppose -4*o + 0*b - 2002 = 2*b, 995 = -2*o + 5*b. Let y = -359 - o. Does 47 divide y?
True
Suppose 15*n - 57376 = 139780 - 31886. Does 16 divide n?
False
Let h(d) be the second derivative of -5*d**4/4 + 39*d**3/2 + 9*d**2/2 - 63*d. Does 43 divide h(7)?
False
Let c = 22 - 2. Let j(t) = 3*t - 20. Let f be j(c). Suppose f = 31*i - 27*i. Is i even?
True
Let x(v) = 35*v**2 + 163*v + 3931. Is 173 a factor of x(-36)?
True
Is 13 a factor of (144/(-54) - -1167*(-44)/(-18)) + -8?
False
Let n be (-1)/2 + 4/8. Let q be (-51255)/(-357) - (-2 + (-33)/(-21)). Suppose n*t = 12*t - q. Is 2 a factor of t?
True
Let v(y) = -9*y**2 + 14*y + 4*y**2 - 11*y**2 + 76 - 6*y**2 - y**3. Is v(-23) a multiple of 23?
False
Let j = 1207 + 5184. Is 11 a factor of j?
True
Does 9 divide 4/8*((8 - 130/10) + 13379)?
True
Let d(c) = -185*c**2 - 1. Let f be d(1). Is 31 a factor of f*((-36)/(-8) + -5)?
True
Let x(g) = -2*g**2 - 388*g - 215. Is x(-115) a multiple of 18?
False
Suppose -6*c = 7*c - 26. Suppose 3*h + 2150 = 3*z - 2*h, -2*h - 1436 = -c*z. Is 40 a factor of z?
True
Suppose 12*g - 2963 - 1393 = 0. Let i = g - 211. Does 8 divide i?
True
Suppose 4*l + 4*j - 49121 - 47659 = 0, 4*j - 72581 = -3*l. Is 128 a factor of l?
False
Suppose 0 = 54*s - 56*s - 2*x + 45130, -3*s + 3*x + 67743 = 0. Is s a multiple of 28?
False
Let t = -452 + 454. Suppose 3*m - t*w - 121 = 0, -10*m + w + 211 = -5*m. Does 2 divide m?
False
Let x = -68 + 215. Suppose 0 = 5*s, 4*u - 181 = -2*s + x. Let w = 111 - u. Is w a multiple of 11?
False
Is 9 a factor of 29624/16*(-250)/(-35)?
False
Let o = 942 - -7183. Is o a multiple of 13?
True
Let j(u) = -1163*u - 2389. Is 23 a factor of j(-11)?
False
Let v = -4702 - -6542. Is 8 a factor of v?
True
Let x = -26 + 3. Suppose 0*b + 2*t - 89 = b, 0 = -3*b - t - 302. Let y = x - b. Is y a multiple of 27?
False
Let u be (-2)/8*6*-4. Let j be 1 - (4 - u)/(4/70). Suppose -3*f = -156 - j. Does 9 divide f?
False
Suppose 3820 = 106*o + 12743 + 5387. Suppose 0*u + 3*t = -4*u + 819, -3*u + 2*t = -627. Let m = u + o. Is m a multiple of 18?
True
Let w(d) = -26*d - 31. Let m(a) = 5*a + 6. Let q(h) = -11*m(h) - 2*w(h). Let u be q(-3). Suppose u*j - 160 = j. Does 8 divide j?
True
Suppose 4*z = 4*s, 3*z + s + 20 = 8*z. Suppose -a - 2*p + 106 - 20 = 0, 0 = -a + z*p + 100. Is 4 a factor of a?
False
Suppose 0 = -17*q + 68 - 17. Suppose q*w - 982 = -4*f, f = w - 3*f - 354. Does 8 divide w?
False
Let g be 2/(-5) + (-160)/(-25). Suppose a - g*a = 55. Let k = a - -29. Is 9 a factor of k?
True
Let r(i) = 2*i**3 + 7*i**2 - 5*i + 8. Let g be r(3). Let x = g - 78. Is x a multiple of 7?
False
Let o = 1073 - 431. Suppose -6484 = -14*u + o. Is 17 a factor of u?
False
Let t(d) = d**2 - 7*d + 12. Let u be t(6). Let i(f) = 79*f - 107. Is 16 a factor of i(u)?
False
Suppose 377*x + 134745 = 442*x. Is 7 a factor of x?
False
Let a(z) = -z**3 + 2*z**2 + 13. Let o be a(3). Suppose j = -o*p - 82 + 2, 0 = -p - 2. Let q = j + 182. Is 22 a factor of q?
True
Let m(r) = 6*r**2 - 7*r + 44. Let f be m(10). Let d = -240 + f. Does 20 divide d?
False
Let p be 12/(-18)*-6*1. Suppose -2*r - 20 = -3*l, p*r - 1 = 3*r - 4*l. Let g(b) = b**3 + 10*b**2 - b + 6. Is 9 a factor of g(r)?
False
Let r(f) = 5*f - 61. Let j be r(14). Suppose 3*x - 6 = 0, 5 = -5*d + 2*x - 4. Let z = j - d. Is z a multiple of 5?
True
Let g(a) = 82*a**2 - 113*a + 411. Is g(11) a multiple of 101?
True
Suppose 7*b - 4*b - 336 = 0. Let a be 3/18 - (-37)/(-6). Let w = b - a. Does 62 divide w?
False
Is 9 a factor of ((-1536)/280 - 9/(126/(-4)))*-810?
True
Let w be ((-24)/5)/6 + (-2)/10. Let o(s) =