 10*l = 6 + 34. Suppose q - 6 + 3 = 0, -l*q + 18 = -2*b. Does 36 divide 18/(-6)*-1*(b + 15)?
True
Let d(g) = 7*g**3 + 16*g**2 - 307*g + 57. Does 125 divide d(14)?
False
Suppose 6*y + 11836 = 40816. Is 30 a factor of y?
True
Suppose 2*l + 3*i = 875 + 253, -5*l = 3*i - 2820. Let f be (-2)/(((-1)/20)/(l/48)). Is ((-27)/(-6))/(15/f) a multiple of 18?
False
Does 32 divide (-65585)/((-91)/7) + 8?
False
Suppose 0 = -32*g + 90595 - 10339. Is g a multiple of 11?
True
Suppose -28*p + 541454 = 66630. Is 61 a factor of p?
True
Let i = 58 + -61. Let q(j) = j**2. Let r be q(i). Suppose 3*g - 4*f + r*f = 231, 4*f = -4*g + 316. Is 24 a factor of g?
False
Let i = -81 + 188. Suppose 649 = 3*m + 2*h, 4*m - 749 = 2*h + i. Is 13 a factor of m?
False
Suppose 74*h - 114660 = 56*h. Is h a multiple of 14?
True
Suppose -21384 = -713*i + 709*i. Is i a multiple of 22?
True
Let g(v) = -v**2 + 39. Let u be g(-6). Suppose u*w = 4*s - 428, 0*s - w - 316 = -3*s. Is s a multiple of 4?
True
Suppose 49710 + 26584 = 14*s - 7244. Is s a multiple of 13?
True
Suppose -5*y + d = -2, -4*y + 7 = -3*d + 1. Suppose 1 + 2 = -3*n + 3*q, -2*n + 4*q - 4 = 0. Suppose n*a + a - 112 = y. Does 28 divide a?
True
Let u(t) = -t**3 + 25*t**2 + 21*t + 45. Let c be u(25). Suppose 20*k = 650 + c. Is 2 a factor of k?
False
Let h be 4/(-8) + (273/6 - -2). Let b = -40 + h. Suppose 6*s + b*s - 364 = 0. Does 14 divide s?
True
Let m = -2731 + 2706. Let p = -79 - -39. Let v = m - p. Is 5 a factor of v?
True
Let u be (-108)/(-26) + (6 - (-160)/(-26)). Suppose 0*z - 5 = z, 3*w + u*z = -32. Does 13 divide (27 + 2 + -7)*(-26)/w?
True
Let s(r) = -2*r - 19*r**2 + 20*r**2 + 0*r + r. Let g(u) = 3*u**2 - 2*u + 19. Let a(z) = g(z) - 2*s(z). Is 28 a factor of a(-11)?
True
Let d be 0/1*((-20)/4 + 4). Suppose 0 = 3*j + 5*r - 10, d = 2*j - 2*r + 1 + 3. Suppose 2*q - 7 = q - 5*n, n = j. Is q a multiple of 7?
True
Suppose -172*m = -513573 - 252687. Is m a multiple of 33?
True
Is 2 - -6222*2 - (-880)/(-80) a multiple of 15?
True
Suppose -3*d = 4*j - 6774, 3*d = 5*d - 4. Suppose 0 = -2*w + 2*s + j, -2615 = -3*w - 3*s - 89. Does 61 divide w?
False
Suppose -290532 = -65*j + 269257 + 4671. Is j a multiple of 155?
False
Suppose 93*p - 90*p = 3*z - 5511, 7323 = 4*z + p. Does 3 divide z?
False
Suppose -24*u + 18925 + 97139 = -0*u. Is u a multiple of 12?
True
Suppose -3*n + 1 = -2, -5*w = -n - 39. Let t(v) = -8*v**2 - w*v + 3*v + 17*v**2 + 5. Is t(2) a multiple of 8?
False
Suppose 27*n - 23*n = -5*l + 1244, 3*n - 940 = -2*l. Does 79 divide n?
True
Is 15 a factor of (-1)/(-9) - 200810/(-387)?
False
Suppose -7*w + 15 = -4*w. Suppose -x - 22 = w. Let b = x - -38. Does 11 divide b?
True
Suppose -196305 = 9*b - 32*b. Is b a multiple of 15?
True
Suppose -2*l - 4*k + 114 = 140, k = 3*l - 10. Suppose 4*m - 20 - 300 = 0. Is 15 a factor of (-1888)/m*(l + -11)?
False
Let m = -2166 + 4329. Is m a multiple of 6?
False
Suppose 57*c = 5*t + 59*c - 22666, 3*t = -2*c + 13606. Does 17 divide t?
False
Let k(h) = h**2 + 14*h + 72. Let c be k(-18). Suppose 3*i - c - 288 = 0. Is 36 a factor of i?
True
Let j = -10906 + 17252. Does 38 divide j?
True
Suppose 0 = -4*x + 673 - 237. Let s = 261 - x. Suppose 3*d = -2*n + s, n = -3*d - 3*n + 148. Is 4 a factor of d?
True
Let j(w) = 1360*w + 15. Let t(d) = -453*d - 5. Let c(g) = -3*j(g) - 8*t(g). Let l be c(-2). Suppose -3*u = 322 - l. Is 45 a factor of u?
False
Let d = 57 - 47. Let q be (-5)/d - (-4)/(-8). Is (q - 43)/(5/(-20)) a multiple of 25?
False
Suppose 18*v - 2288 = 3*r + 19*v, -2293 = 3*r + 2*v. Let c = r - -1279. Is c a multiple of 37?
True
Suppose -3*z + 0 + 12 = 0. Suppose 0 = 3*w + z*a - 486, -w - a + 661 = 3*w. Suppose w = 7*s - 1059. Is s a multiple of 39?
False
Suppose 0*c - 56 = 4*q - 4*c, 4*q = -2*c - 56. Let m(o) = o**3 + 15*o**2 + 8*o + 5. Let a be m(q). Let x = 215 - a. Is 21 a factor of x?
True
Let c be ((-24901)/37)/(1 + -2 + 0). Let b = c - 603. Is 2 a factor of b?
True
Let o(x) be the third derivative of -1/24*x**4 - 1/120*x**6 + 6*x**2 + 0 + 0*x + 1/60*x**5 + 1/6*x**3. Does 3 divide o(-2)?
True
Let o = -31 - -36. Let k be (-110)/(-8)*o*(2 + 2). Suppose 0*y + k = 5*y. Is 11 a factor of y?
True
Suppose 0 = -5*w + 2*x + 2291 + 2299, 2*x = 4*w - 3670. Does 46 divide w?
True
Suppose -5*a = 2*x - 114, 0 = -5*x - 0*a + 3*a + 254. Let d = x - -140. Suppose -3*n + 6*n = d. Is 18 a factor of n?
False
Let k be -5 - (-1)/((-6)/(-54)). Suppose d + k*z = 620, 3*d - 763 = -z + 1097. Is 15 a factor of d?
False
Let r(p) = -6*p**2 - 8*p - 13. Let c be r(8). Let d = 307 + c. Let f = -83 - d. Does 11 divide f?
False
Let k(p) be the third derivative of -p**5/60 + 10*p**3/3 - 20*p**2. Let y be k(-5). Is (1 + -6)/y*(15 + 0) a multiple of 3?
True
Let z = 293 - 299. Let n(f) = f**3 + 14*f**2 - f + 14. Does 28 divide n(z)?
True
Let w = -95 - -87. Is 14 a factor of w/1*362/(-16)?
False
Let u(r) = r**3 + 9*r**2 - 46*r - 273. Is 2 a factor of u(-7)?
False
Let y(f) be the second derivative of f**4/6 - 3*f**3/2 - 9*f**2/2 + 11*f. Let q be y(-6). Suppose -m - 2*m = 3*d - q, 2*d + m - 75 = 0. Is 12 a factor of d?
True
Let j = 62210 - 42450. Is 233 a factor of j?
False
Does 28 divide (-2751)/(-7)*168/54*3?
True
Let y = -5759 + 8489. Suppose 3*p - 9*p + y = 0. Is p a multiple of 11?
False
Suppose 6 = -o + 4*o. Suppose -8544 = 25*v + 2956. Is 28 a factor of o*(4 + v/(-8))?
False
Suppose -4*z = -17*z - 52. Is (-972)/z + (-20)/8*2 a multiple of 7?
True
Let b(f) be the first derivative of -f**3/3 - 3*f**2/2 + 228*f + 27. Let c be b(0). Does 24 divide c/((-1 - 5)*5/(-20))?
False
Let v(m) = 2*m + 19. Let d be v(-6). Suppose -4*q - d*t = -4*t + 1193, -q - 2*t - 302 = 0. Let l = 446 + q. Is l a multiple of 15?
True
Suppose -4*d - 9636 = 3*o - 36772, 0 = 5*o + 4*d - 45216. Does 20 divide o?
True
Let z = -1577 + 5775. Does 8 divide z?
False
Suppose 0 = -15*h + 19*h - 36. Suppose -22464 = -h*x - 4*x. Suppose -c + x = 8*c. Is c a multiple of 11?
False
Let a(j) = -2*j**3 - 7*j**2 - 7*j - 13. Let z be a(-6). Suppose -148 = -211*t + z*t. Does 9 divide t?
False
Let l(n) be the first derivative of n**2 + 46*n + 20. Let x be l(-22). Suppose x*m = 3*v + 176, 3*m - 198 = -v + 88. Does 11 divide m?
False
Suppose r - 11856 + 3346 = 2224. Is r a multiple of 8?
False
Let p be 34620/510 - ((-8)/17)/4. Let s = -29 + 70. Suppose 0 = u + 4*n - 2*n - s, -2*u + p = -3*n. Does 11 divide u?
False
Let i(t) = 1379*t**2 + 27*t - 94. Is i(4) a multiple of 38?
True
Let m(g) = 10*g**2 - 3*g - 7. Is 6 a factor of m(11)?
True
Let w = 41436 - 23782. Is 102 a factor of w?
False
Let u(l) = 8*l + 2252. Is 35 a factor of u(17)?
False
Does 17 divide (-54)/20*175/105*-272?
True
Let v(d) = 470*d - 1376. Does 18 divide v(4)?
True
Let k be 12/(-24) + ((-22)/(-4) - 2). Suppose 2195 = 5*u - g, -3*u = k*g - 881 - 454. Does 40 divide u?
True
Suppose 0 = -0*z + 2*z + 3*n + 20, n = -5*z - 24. Let l be (-6)/8 + (-251)/z. Suppose -5*y + l - 12 = 0. Is y a multiple of 10?
True
Suppose 2*x - 4*r = -x, -5*r = 0. Let c = 179 - 175. Suppose x = -h - c*h + 195. Does 13 divide h?
True
Let o be (-1)/(-11) + (-448)/88. Let b = o + 320. Does 47 divide b?
False
Suppose o + 11550 = -5*b + 8*b, 5*o = -3*b + 11586. Is 24 a factor of b?
False
Suppose -18*i + 155320 = -417153 - 198197. Is 89 a factor of i?
False
Let g be 10*(9/(-2) + 5). Suppose -2*j = 2*b - 682, -b + 399 = g*j - 1298. Does 31 divide j?
False
Let l(j) = 7410*j + 3848. Is 161 a factor of l(4)?
True
Let m be 20/(-18)*3*(-690)/20. Let k be (-4)/8*(-1 + m). Is 19 a factor of (4*1)/(-2)*k/2?
True
Suppose -4*o = -3*c - 4, -2*c - o - 1 = -2*o. Suppose 2*k = -c*t - 5*t - 2766, 0 = 5*t - 5*k + 2780. Let x = -386 - t. Is 24 a factor of x?
True
Suppose 0 = 4*a - 12, 5*q + 3*a = 34. Suppose q*n - 3*z - 11 = -35, n - 4*z + 15 = 0. Let h(d) = 20*d**2 - 11*d + 3. Is h(n) a multiple of 12?
True
Let l(g) = g**2 - 18*g - 49. Let d be l(35). Suppose 5*n - 822 = -2*c, 3*n - d = c - 44. Does 2 divide n?
True
Suppose 5*n + 41362 - 13057 = 3*r, n - 3 = 0. Is r a multiple of 11?
False
Let m be (-1 - (-6)/4)*(20 - 18). Is 11 a factor of -3 - (-241 + -5 + m)?
True
Suppose -373 = -2*j + t + 484, 0 = 3*j + t - 1293. Let w(g) = -71*g**2 - g + 2. Let d be w(-2). Let b = d + j. Does 25 divide b?
True
Let h(f) = 8*f**3 + 21*f**2 - 9*f + 90. Let l(m) = 7*m