ppose 7*q + s + 86 = 3*q, 0 = -3*q + 3*s - 57. Let i = 155 - q. Does 16 divide i?
True
Let r(z) = -79*z - 1062. Is r(-28) a multiple of 4?
False
Suppose -179*v = -509*v + 949029 + 10369971. Is 7 a factor of v?
True
Let j = 3675 + -1395. Does 38 divide j?
True
Is 681*25 + (-1010)/(-202) a multiple of 26?
True
Suppose -5*c + 2*z + 440 = -2*c, 5*z - 25 = 0. Is ((-90)/(-25))/(12/c) a multiple of 45?
True
Let p(v) = -v**2 - 11*v - 1. Let i(w) = -2*w**2 - 22*w - 2. Let k(u) = -2*i(u) + 5*p(u). Let s be k(-6). Let j = 3 + s. Does 5 divide j?
False
Let x = 438 - -123. Is 31 a factor of x/((-1)/(-1)) + (2 - 5)?
True
Suppose -4*q + 3*g + 101 = 0, -4*g = 11*q - 8*q - 82. Suppose -31*v + 55 = -q*v. Suppose v + 44 = 11*c. Does 3 divide c?
False
Let t = -165 + 175. Is (-162)/12*(-14)/5*t a multiple of 27?
True
Let u(c) = -2*c**3 + 20*c**2 - 28*c - 96. Is 12 a factor of u(-19)?
False
Let c(a) = 12*a**2 - 69*a - 10. Is c(31) a multiple of 138?
False
Let z = -198 - -204. Is 13 a factor of ((-4)/z)/(4/(-234))?
True
Let u = -343 - -351. Does 38 divide 222/(((-36)/(-64))/(6/u))?
False
Suppose 0 = s + 45*t - 35*t - 10635, 0 = -3*s + 3*t + 32004. Does 30 divide s?
False
Suppose d + 4*v - 15210 = 0, -28 = 5*v - 3. Is 107 a factor of d?
False
Let o(v) = v**2 + 21*v - 87. Let g be o(-24). Is 32 a factor of g*(96/(-9) + 0)?
True
Let k(w) = -18*w - 3. Let o be k(-2). Suppose 0 = u - 2*u - 4*s - o, -4*s = 2*u + 66. Let c = u + 75. Does 21 divide c?
True
Let k(n) be the first derivative of 117*n**2/2 + 4*n - 17. Let d be k(7). Suppose 9 + d = 8*h. Is 26 a factor of h?
True
Let y = 2282 - -4247. Is 15 a factor of y?
False
Suppose 10*n = 2*n + 40. Does 34 divide 5/n - 3 - -56 - -3?
False
Suppose -16*p = -18*p + 66. Let h = p - 27. Let x(o) = -o**2 + 8*o + 9. Is 8 a factor of x(h)?
False
Let a = 1 + -5. Let j(p) = -4*p + 27. Let l be j(8). Is l/120*a + (-1870)/(-12) a multiple of 13?
True
Suppose 0*v = -9*v + 81. Let t = -9 + v. Does 26 divide 167 - 33 - (t - -4)?
True
Suppose 3*x = 3, x = 4*w - 274 - 289. Suppose 131*n - 128*n = w. Let r = n + -15. Does 3 divide r?
False
Let q(a) = -6*a + 97. Let l be q(16). Let m = l - -26. Is m a multiple of 8?
False
Let l = -65 - -68. Let w be l*9/((-54)/(-4)). Is (-6)/w - (8 - 23) a multiple of 6?
True
Suppose 8*q + 856 = 6216. Is 4 a factor of q?
False
Let w be (22 - 0)/(((-8)/8)/2). Let k(n) = -121*n + 1. Let u be k(1). Let s = w - u. Does 12 divide s?
False
Let o be 8 + 1/(8/(-24)). Suppose -l = 5*m - o - 37, l + 2*m = 57. Does 11 divide l?
False
Let k be 2/1*(-123 + -116). Let u = 641 + k. Does 6 divide u?
False
Is ((-99)/(-132))/((-6)/8)*-1*1951 a multiple of 110?
False
Suppose -2*v + 2*j + 22802 = 0, -4*v = 2*j - 26596 - 19002. Is 200 a factor of v?
True
Suppose 5*v - 9*s + 6*s - 5778 = 0, 3*v - 5*s - 3470 = 0. Does 35 divide v?
True
Suppose 2*x + 52*p - 49*p = 42294, -3*x + 63446 = 2*p. Is 94 a factor of x?
True
Suppose -4*h = 4*h + 5*h. Suppose f - 13 - 275 = h. Does 9 divide f?
True
Let p(b) = 6*b**3 - 4*b**2 + 10*b - 9. Let i be p(7). Suppose 5*w = -3*k - i - 1234, k = w - 1055. Is k/(-8) - (-23)/92 a multiple of 12?
True
Let g(w) = -127*w + 2368. Does 11 divide g(17)?
True
Let m be 3 + -3 - (33 - -3). Let t = 36 + m. Suppose -3*u + 43 - 4 = t. Is u a multiple of 13?
True
Let i(g) = -1847*g + 305. Is i(-1) a multiple of 73?
False
Let o = 39 + -39. Let c be 0 + o + 4 + 12. Suppose -1 = v - c. Is 5 a factor of v?
True
Let p(j) = -64*j**3 + 4*j**2 - 5*j - 5. Let v be p(-5). Suppose -6*c = -35*c + v. Is c a multiple of 10?
True
Let v(x) = -2*x**3 - 27*x**2 + 164*x + 26. Is v(-23) a multiple of 5?
True
Let n = 95 + -92. Let x be (n + -7 + 4)/(-2). Suppose -4*f + x*f + 896 = 0. Is f a multiple of 28?
True
Let j = 2759 + 38745. Does 16 divide j?
True
Suppose 2*v + 1725 = 5*x, -477 = v - x + 378. Is 20 a factor of (-5)/(-1) - (v + -13 - -8)?
True
Suppose 107*l - 432004 - 181698 = 39640. Is l a multiple of 21?
False
Suppose 0 = -f + 5*v - 4*v + 18378, 3*f + 2*v = 55169. Does 13 divide f?
False
Let v(t) = t**3 - 6*t**2 - 2*t + 14. Let f be v(6). Suppose -f*b + 51 = b. Let d = 35 - b. Is d a multiple of 2?
True
Let p(j) = -16*j**3 + 2*j**2 - j. Let t be p(2). Let k be 264/22*(51/(-6) + 2). Let q = k - t. Does 11 divide q?
True
Let f(g) = 21*g**2 + 4*g + 3. Let j be f(-3). Suppose 0 = -3*h - 2*l + 379, 4*l = 3*h + 2*h - 595. Let a = j - h. Is a a multiple of 19?
True
Let r = 640 - 670. Does 9 divide (-24)/r - (-4)/20*1166?
True
Suppose 0 = -n + 2*o + 38320, 4*n + 4*o = -34260 + 187444. Is n a multiple of 12?
True
Let g(u) = -7*u**2 + u - 26 + 44*u**3 + 3*u - 46*u**3. Is g(-6) a multiple of 13?
True
Suppose 4*b - 6*b = -6. Suppose 2*w - 5*g = 3, g = -w + 5*g. Suppose -465 = -w*p - b*y + 4*y, 5*p + 4*y - 555 = 0. Is p a multiple of 28?
False
Suppose 3*s - 3*l = 63, -33 + 8 = -s - 3*l. Suppose -s*p - 458 = -2878. Does 11 divide p?
True
Let c = -218 - -218. Suppose c = -x - 46 + 246. Is 10 a factor of x?
True
Suppose -2*j - 4*u = -5*j + 10, -2*j - 5*u = 1. Suppose -161 = j*s + 5*s. Let x = s - -68. Does 15 divide x?
True
Let f = -57 + 102. Let i be (-18)/f - 96/(-15). Is 8/i - (-904)/24 a multiple of 21?
False
Suppose 4509 = 4*y - 5*g, -2*y + 4*g + 1182 = -1080. Suppose -y = -2*s - 287. Does 29 divide s?
False
Suppose -o + r - 6 = -3*o, 4*o - 2*r - 4 = 0. Suppose -o*w + 54 + 166 = 0. Is 14 a factor of w?
False
Let s = -76 + 80. Suppose -s*o + 12 = 2*w - 0*o, w + o = 3. Suppose w = -h - g + 123, -h - 5*g = -68 - 35. Is h a multiple of 33?
False
Let o(u) = u**3 - 77*u**2 + 37*u**2 + 59 + 7*u + 28*u**2. Does 15 divide o(14)?
False
Suppose -q - 28*h + 23 = -23*h, -h - 29 = -4*q. Suppose i + 5 = 2*y, -2*y = -4 - 4. Suppose -i*f = -q*f + 1210. Is f a multiple of 11?
True
Let c be (-6)/(2*(-2 + 1)) + -10. Is (-6793)/c + (1 - (-3)/(-7)) a multiple of 10?
False
Suppose 42*w = 5*v + 38*w - 82146, w + 49296 = 3*v. Does 50 divide v?
False
Let q be 14 + 0 - (6 - 7). Let m(j) = -j**3 + 14*j**2 + 15*j + 36. Let w be m(q). Let p = 42 - w. Is p even?
True
Let b(y) = 3*y + 32. Let v(w) = -w**2 + 11*w - 24. Let n be v(4). Suppose -2*h + 0*j + 15 = j, 0 = -2*h + n*j + 10. Is b(h) a multiple of 4?
False
Let x(w) = w**3 - 16*w**2 + 2*w - 28. Let m be x(16). Is 24 a factor of 289 - ((-12)/(-6))/(m/2)?
True
Let z be (-4)/(-8)*(-76)/(-1). Suppose 11 = -w + 5*g + z, -4*g = 12. Is 4 a factor of w?
True
Suppose 12*j + 40 = 4*j. Let s(g) = -24*g + 12. Is s(j) a multiple of 12?
True
Let n(g) = -g**2 + 7*g + 12. Let s(y) = 2*y**2 - 14*y - 23. Suppose -15 = -4*c - c. Let j(v) = c*s(v) + 5*n(v). Is j(-5) a multiple of 17?
True
Suppose 13*l - 12*l + b + 1 = 0, -2*b - 2 = -2*l. Suppose l = 4*a + 57 - 241. Is 5 a factor of a?
False
Suppose 8*u = 49 + 31. Let f(i) = 12*i**2 + 341 + u*i - 346 + 3*i**3 - 2*i**3. Is 14 a factor of f(-9)?
False
Let x(m) = -m**2 - 5*m - 21. Let f be x(-5). Let l be f/63 + 928/3. Is l + -1 + -1 + 2 a multiple of 54?
False
Let v be 3 - ((-9)/3 + -140). Let m = 320 - v. Is 6 a factor of m?
True
Is 3/39 + 2/((-182)/(-310121)) a multiple of 12?
True
Let q(h) = h**3 - 5*h**2 + 9*h - 18. Let t be q(4). Let g be 813/(-12) - t/8. Let r = g - -125. Is r a multiple of 19?
True
Does 92 divide 1863/(((-2 - 8) + 8)/(-10))?
False
Let g(f) = -f**2 + 11*f - 14. Let u be g(8). Suppose -u*a + 200 = -5*a. Let w = -20 + a. Does 10 divide w?
True
Suppose 0*a + 4 = -a - 5*w, -a + 2 = 3*w. Suppose a*k = 4367 + 1001. Is k a multiple of 55?
False
Suppose 0 = -2*m - 2, -7*k + 15 = -4*k - 3*m. Suppose 35 = k*d - 3*d. Is d a multiple of 13?
False
Suppose 5*g = -5*f + 25, -5*g - 6*f + 25 = -2*f. Suppose 3*z + b + 3*b + 933 = 0, 1526 = -g*z + 3*b. Let j = -40 - z. Is j a multiple of 37?
False
Let c(m) = 34*m - 3*m**3 + m**3 + 74*m**2 - 48*m**2. Is 5 a factor of c(14)?
False
Suppose -31 = -5*w - 2*l, 25 = 8*w - 5*w - 2*l. Suppose 9*a - w*a = 28. Does 29 divide 1808/22 - 17/(1309/a)?
False
Suppose 1795 = 6*t - 2332 + 809. Is 101 a factor of t?
False
Suppose -6*o - 58 + 88 = 0. Suppose 5*i = 5*v - 90, 6*v = 8*v + o*i - 43. Does 8 divide v?
False
Suppose 16*d + 223*d - 9627696 = -242*d. Is 144 a factor of d?
True
Let x = 180 + -112. Suppose 10*n = 2442 + x. Suppose n - 199 = 4*z. Is z a multiple of 2?
False
Suppose 6 = 2*o, r - o - 2204 = 3*o. Suppose -2*s = 4*m + 3*s - r, -s + 2