+ 3*t**2 - 8*t - 9. Let d = 288 + -284. Is 84 a factor of o(d)?
False
Suppose -7*k + 4 = -3*k - z, -12 = -5*k + 3*z. Let c be 1*(2 - 5) + k/3. Is ((-3)/(-6))/((0 - c)/66) a multiple of 4?
False
Let g(b) = 282*b + 2. Let i be g(-2). Let p be -1 - (i + -2) - 3. Suppose 8*a = 3*a + p. Is 16 a factor of a?
True
Let r(b) = -19*b - 50. Let g be r(-3). Suppose -f - 1224 = -g*f. Does 6 divide f?
True
Let a = -139 + 142. Suppose -3*u - 9 = 0, -2*u + a*u + 371 = 2*k. Is k a multiple of 23?
True
Let y(u) = -36*u + 1140. Does 65 divide y(-64)?
False
Let l = 25801 + -14403. Does 41 divide l?
True
Suppose -o - 4*y = 3*o + 44, 2*y = 3*o + 38. Let d = o + -18. Is 10 a factor of 4/3 - 260/d?
True
Suppose 13*g + 14*g = -10827. Let u = 424 + g. Is u a multiple of 2?
False
Let s = 1731 + 6104. Is 13 a factor of s?
False
Let l(f) be the second derivative of -8*f**3 - 10*f**2 - f - 9. Is l(-5) a multiple of 20?
True
Let w(z) = 14*z**2 - 396*z - 56. Does 12 divide w(-20)?
True
Suppose 136*w = 141*w - 2*x - 107526, 3*x - 86053 = -4*w. Is 14 a factor of w?
False
Let a(l) = -5*l + 2. Let d be a(-2). Let o be (0 + -3)*d/(-18). Suppose b - 105 - 57 = -o*t, -405 = -5*t - 3*b. Does 22 divide t?
False
Let o be -9*7*(0 - (-6 - -5)). Let h = 65 + o. Suppose -2*b - h*g = b - 52, -74 = -5*b + 3*g. Is 5 a factor of b?
False
Suppose -7 = -4*k + 3*k. Suppose k*w + 95 = 8*w. Let l = w - 67. Does 4 divide l?
True
Let r(u) = -u**3 - u**2 - 2. Let o(m) = 4*m**3 + 9*m**2 + 6*m + 4. Let w(p) = o(p) + 3*r(p). Is 6 a factor of w(4)?
False
Suppose -6*v = -593 + 11. Let i = v + -65. Is i even?
True
Let l = -1461 + 1806. Is 5 a factor of l?
True
Let x(y) = -194*y - 1710. Is x(-15) a multiple of 60?
True
Let f be 48/80 - 34/(-10). Suppose f*l - 11 = 1. Does 18 divide ((-17)/(-3))/(l/36)?
False
Let l = 4077 + -2052. Does 45 divide l?
True
Suppose -2*d - 10 = 0, -4*v - 5*d = -6*d - 205. Suppose -v*f = -59*f + 63. Is f a multiple of 3?
False
Let w(o) = -5*o**3 - 140*o**2 + 78*o + 32. Is w(-34) a multiple of 10?
True
Let k(r) = 38*r - 12. Suppose 20 = 4*p - 16. Let w be k(p). Suppose 31*n - w = 28*n. Does 17 divide n?
False
Suppose 0 = -4*k - 3 + 23. Suppose -k*z = -12*z + 35. Suppose z*l + 4*n = -5, -2*l - 4*n = 2 + 12. Is l a multiple of 3?
True
Does 31 divide ((-3377)/(-132)*57 - -7)/(1/4)?
False
Let f(i) = -180 + 296 - 95 - i. Suppose -w - 3*a = -2*a + 9, -3 = 2*w + 5*a. Is f(w) a multiple of 26?
False
Let o = -4259 + 4848. Is o a multiple of 8?
False
Suppose 6*x + 2814 = -8*x. Is 7 a factor of ((-33)/33)/(x/(-101) + -2)?
False
Let v = 100 - 23. Is 4*(-1964)/(-14) + (-11)/v a multiple of 11?
True
Let j be 118 - (2 + 2) - -2. Suppose 84*u = 80*u - j. Let p = u - -36. Does 2 divide p?
False
Let k = -14 + 9. Let q be (-3 - k)/(2/6). Let x(d) = -d**2 + 10*d + 4. Is 15 a factor of x(q)?
False
Let z = 640 - 629. Suppose -4*q = -o + 331, -4*o + 5*q - 3*q + 1282 = 0. Suppose 4*d = o - z. Is d a multiple of 30?
False
Let a(n) be the first derivative of n**7/420 - n**6/120 + n**5/40 - n**4/4 - 4*n**3 - 1. Let y(i) be the third derivative of a(i). Is 9 a factor of y(4)?
False
Let a be 5 - 3 - -6*492/(-9). Let u = 539 + a. Is 9 a factor of u?
False
Let z(r) = 3*r + 13. Let d be z(-3). Suppose -d*i = -7*q + 2*q + 19, 5*i = 2*q - 28. Is 26 a factor of (-4)/i*156/2?
True
Let a be ((-24)/(-9))/((-3)/18). Let n(r) = r + r**2 + 29*r - 12*r - 4*r - 20. Is 8 a factor of n(a)?
False
Suppose -3*n + 305 = 4*v - 2*n, -4*v = 5*n - 293. Suppose -2*x + 136 = 2*u + x, -v = -u + 3*x. Is 3 a factor of u?
False
Suppose 78*u - 55*u + 244035 = 74*u. Is u a multiple of 15?
True
Suppose -4*s = -5*u + 3775, -18*u - 754 = -19*u + s. Is u a multiple of 11?
True
Let i(m) = -7*m**2 - 33*m + 13. Let a be i(-5). Does 18 divide -216*a*133/(-84)?
True
Is 1*3/(-6) - 288133/(-34) a multiple of 24?
False
Let a = 240 - 102. Suppose 14*x - a = 17*x. Let h = -36 - x. Is 2 a factor of h?
True
Is 16/248 - (0 - 132368/31) a multiple of 35?
True
Suppose -8*f = 13*f - 903. Suppose 3*j = f + 41. Is 14 a factor of j?
True
Suppose 211*c - 180 = 201*c. Suppose 3942 = -12*t + c*t. Is 8 a factor of t?
False
Let l(q) = -q**3 + 15*q**2 - 82*q + 616. Does 3 divide l(11)?
True
Let q be 30/12 + (2 - (-9)/(-6)). Is 0 + 2/q + (-1020)/(-9) a multiple of 38?
True
Suppose 1 = -4*g - 2*u + 5, 5*g - 35 = 5*u. Suppose s - 3*w = 2*w + 38, -g*s = -2*w - 127. Suppose s = 4*p - 69. Does 26 divide p?
False
Suppose 1084179 - 1634756 = -106*p + 2451449. Is p a multiple of 127?
True
Let j = -211 - -82. Let i = j + 597. Does 9 divide i?
True
Let q = -368 - -385. Suppose 0 = 2*i - 6*i - 8, u = i + q. Does 2 divide u?
False
Suppose -3*v = -44*v + 54*v - 156403. Does 115 divide v?
False
Let c = -393 + 396. Suppose 3*t + 5*u = 550, 0 = -c*u - 2 + 8. Is 12 a factor of t?
True
Let c(b) = -b**2 + 14*b - 20. Let w be c(11). Let f = -31 + w. Let v = f - -34. Does 2 divide v?
True
Let x(b) = 186*b**2 - 14*b + 6. Does 21 divide x(3)?
True
Suppose 31 = 4*w - 3*t, -3*t - 28 = -13. Let d = -1405 - -2155. Suppose -w*r - 20 = 0, 0*j - r = 5*j - d. Is 26 a factor of j?
False
Suppose 13*s - 4524 + 1196 = 0. Is s even?
True
Let p be 4 + -3 + 1 - (-9)/3. Suppose -34 - 1 = -p*f. Suppose 0 = 3*b + q - 46, 2*b - f*b + 58 = -3*q. Is 7 a factor of b?
True
Let b(g) = -13*g - 81. Let z be b(-6). Let u(y) = 17*y**2 + 3*y + 21. Is u(z) a multiple of 11?
True
Let q be (98/21)/(2*(-2)/72). Let v = q + 157. Is v a multiple of 4?
False
Suppose q - 5 = 3. Suppose 4*y + 164 = 5*z, q*y = 5*y + 4*z - 122. Let a = 109 + y. Is a a multiple of 16?
False
Let k(b) = 821*b**2 + 28*b - 8. Is k(6) a multiple of 68?
True
Suppose 37*b - 44*b + 3169 = -7520. Does 2 divide b?
False
Let d(o) = -2*o - 70. Let l be d(-19). Let f(m) = -25*m. Let i be f(1). Let k = i - l. Is k even?
False
Let z(d) = -4*d + 41. Suppose 4*g = g. Suppose g = -9*l + 42 + 3. Does 3 divide z(l)?
True
Does 25 divide 390606/93 - 10/155?
True
Let h = -8355 - -10356. Does 3 divide h?
True
Let q(f) = f**3 - 17*f**2 + 30. Let s be q(17). Let l = s - -24. Is 9 a factor of l?
True
Suppose l = -3*f + 219 - 572, 5*l - 575 = 5*f. Let b = f + 375. Is 43 a factor of b?
True
Let q = 70 - 55. Let d be (36/q)/4 - 2447/(-5). Suppose 5*s = 4*h - d, -5*h - s - 12 = -610. Does 10 divide h?
True
Suppose -4936 = 74*j - 82*j. Is j a multiple of 9?
False
Let o = -359 + 620. Suppose 0 = 5*f - o + 171. Does 2 divide f?
True
Suppose 4*h - 4*y + 3*y = 2, -h = -y + 1. Suppose 5*j = 2*z + 26, j - h + 3 = -2*z. Does 4 divide (16/5)/(z*2/(-30))?
True
Does 49 divide (-8)/(-12)*3 + 9111/(-9)*-6?
True
Let z = 6043 + -4421. Is z a multiple of 3?
False
Let s = 244 - 249. Is (-662)/8*(-20)/5 - s a multiple of 21?
True
Let d(k) be the first derivative of -k**4/4 - 4*k**3 - 4*k**2 - 13*k + 20. Let z(c) = 13*c**3 + 2*c**2 - c - 2. Let b be z(-1). Is d(b) a multiple of 25?
False
Suppose 6*c - 2*c = -5*a - 179, -a = -5*c - 231. Let j = c + 1382. Is 59 a factor of j?
False
Suppose 4*b = 4*o + 3386 + 102, -4*o = -2*b + 1750. Does 16 divide b?
False
Does 19 divide 266*(140/(-7))/(-20)?
True
Let a be ((-2125)/(-50))/(2/20). Let d = a + -228. Suppose -v + 2*v - 2*m = 102, -2*v - 3*m = -d. Is 25 a factor of v?
True
Suppose 168*n = 182*n - 10724. Suppose 434 + n = 6*c. Is 50 a factor of c?
True
Let l = -93 - -212. Suppose a - l = -16*a. Is 2 a factor of a?
False
Let g(p) = -p**3 + 10*p**2 + 5*p - 6. Let s be g(10). Let d = 32 - s. Let x(t) = t**2 + 9*t - 13. Is x(d) a multiple of 8?
False
Let z(y) = 10*y - 104. Let w be z(10). Is 495/(1*(w - -8) + -3) a multiple of 8?
False
Let b(p) = 191*p**2 + 21*p - 41. Is b(4) a multiple of 91?
False
Let p(c) be the second derivative of c**5/20 - 5*c**4/6 - 2*c**3/3 + 3*c**2 - 18*c. Let i be p(12). Suppose 3*b + 0*b = i. Is 20 a factor of b?
False
Let g(a) = 188*a**2 - 11*a - 15. Is 4 a factor of g(-1)?
True
Let u(z) = z**3 + 3*z**2 + 2*z + 4. Let v be u(-3). Let j(c) be the second derivative of 23*c**4/12 + c**3/6 - c**2 + 8*c. Does 19 divide j(v)?
False
Suppose -37 = -a + 5*r, -5*a + 209 = -6*r + 5*r. Let y be (a/3)/((-3)/(-114)). Suppose 0 = -0*n + 7*n - y. Is n a multiple of 19?
True
Let g = 1516 + -2134. Let f = -438 - g. Is 10 a factor of f?
True
Suppose 41*k - 8*k - 630189 = -30*k. Is k a multiple of 145?
False
Let r(z) be the first derivative of z*