-20. Does 22 divide f(n)?
False
Suppose 5*g - 5*i = -3*i + 7, 16 = 4*g + i. Suppose g*z + z = 2*x - 26, -3*x + 67 = z. Suppose -p + 74 = x. Is p a multiple of 7?
False
Let n = 40 - 37. Suppose 0 = -n*s - 116 - 46. Is (-4)/(-18) + -4 + (-3552)/s a multiple of 8?
False
Suppose 0 = k - 4*w + 19, 5*k - 4*w + 40 = k. Is 25 a factor of -1*((-1)/k - (-4244)/(-14))?
False
Let m(v) = -128*v**2 + 769*v + 2. Let t be m(6). Let j be 0 - (-200 - 0)/(-2). Is 26 a factor of 25/j - (-1042)/t?
True
Let r(d) = -1. Let o(n) = -4 - 25*n + 43 + 22*n - 33*n. Let p(x) = -o(x) - 12*r(x). Does 53 divide p(6)?
False
Let n(v) = 65*v + 95. Let f be n(21). Let d = f + -894. Is d a multiple of 21?
False
Let o be (-1 + 2)/(1/5). Suppose 4*a + 42 = 50. Suppose 2*t + 131 = j, 3*t = o*j - a*j - 384. Is j a multiple of 32?
False
Suppose 0 = 17*f - 18 - 16. Suppose g - 5*i = 199, f*g + 4*i - 255 = 129. Is g a multiple of 10?
False
Suppose 0 = 3*n + 2*b - 36320, 25*n = 27*n + 3*b - 24220. Is n a multiple of 8?
True
Let v(g) = g**3 + 30*g**2 + 60*g + 73. Let m = -201 - -174. Is 10 a factor of v(m)?
True
Let z be (-74654)/(-4) - 98/28. Suppose 29*g + g = z. Is g a multiple of 9?
False
Let p = 27190 + -14339. Let d = p + -9081. Is 5 a factor of 2/(-5) + d/50?
True
Let g(u) be the third derivative of -11*u**6/5 + u**4/24 + 6*u**2. Let i be g(-1). Suppose -5*x - 81 = -v, 0 = -5*v + 5*x + i + 62. Does 31 divide v?
False
Let k(c) = -c**2 + 11*c - 21. Let i(g) = -2*g + 39. Let x be i(14). Let m be k(x). Let r = 75 + m. Is r a multiple of 7?
False
Let v(g) = -2*g + 10. Let f be v(-3). Suppose 0 = 6*n + 2*n - f. Suppose t = -i + 273, 5*i = n*t - 4*t + 549. Is t a multiple of 27?
False
Let w(z) = 255*z**2 + 49*z - 4. Is 11 a factor of w(-2)?
False
Let f be 3*-30 + 45/54*-6. Let n = 297 + f. Does 101 divide n?
True
Let l(f) be the first derivative of f**3/3 - 3*f**2 + 52*f + 59. Is l(8) a multiple of 14?
False
Suppose -54*s + 57*s + 43932 = 6*q, 0 = 2*s + 8. Is 20 a factor of q?
True
Suppose -5*a - 4 = -39. Suppose a*l - 306 = 51. Does 28 divide l?
False
Is (-739726)/(-117) - 8/18 a multiple of 22?
False
Let s = 294 + -284. Suppose s*k + 8283 = 43*k. Is 15 a factor of k?
False
Let s(t) = 2*t**2 + 55*t + 240. Does 31 divide s(-40)?
True
Suppose 8*k - 3757 = -2*t + 13*k, -5*t + 5*k + 9430 = 0. Suppose q = -x + 4*x + 932, 0 = 2*q + 3*x - t. Is q a multiple of 38?
False
Let r be (-1 - (-28045)/(-45)) + (-2)/(-9). Let z = -367 - r. Is 35 a factor of z?
False
Let i = -150 - -247. Suppose r + i = g - 163, -2*r = 5*g - 1300. Is g a multiple of 10?
True
Let i(g) = -15*g - 237. Let k(o) = -2*o - 29. Let x(h) = -4*i(h) + 33*k(h). Let b(r) = r + 2. Let j be b(-6). Does 2 divide x(j)?
False
Suppose -5*t + 3 = 8. Let h(c) = -474*c**3 - c**2 + 1. Let p be h(t). Suppose -p = -12*b + 9*b. Is b a multiple of 28?
False
Suppose -64*y + 45730 + 31646 = 0. Does 37 divide y?
False
Suppose -16*t = -42 - 102. Suppose 8*u - 2832 = 1632. Suppose t*z - u = 7*z. Is z a multiple of 44?
False
Let a(r) = 21*r**3 + 17*r**2 - 23*r - 51. Does 109 divide a(8)?
False
Let j be 680/(-30) - 1/3. Let o = -20 - j. Does 7 divide (-4)/12 - (-169)/o?
True
Suppose 6*m - 62 - 1522 = 0. Suppose 27*h + m = 30*h. Suppose 2*p + i - h = 3*i, -5*i = 20. Does 8 divide p?
True
Suppose -3*l = -a + 3238, -a + l - 1139 = -4381. Is a a multiple of 22?
False
Suppose 3*t - 4*s - 1745 + 316 = 0, -4*s = -2*t + 946. Suppose c - r = -c - t, -3*c - 3*r - 747 = 0. Let o = -119 - c. Does 23 divide o?
False
Suppose -206 = s - 194. Does 61 divide (-4124)/(-7) + 1*s/84?
False
Let s(r) be the first derivative of -r**4/4 - 2*r**3 + 4*r**2 - 21*r + 11. Is s(-10) a multiple of 23?
True
Let r(u) = 78*u + 626. Is r(37) a multiple of 16?
False
Let z(s) = -153*s - 4. Let c = -57 - -54. Let q be z(c). Suppose -q + 5 = -5*l. Does 26 divide l?
False
Let y = -19006 + 36564. Is 7 a factor of y?
False
Let d = 26796 - 15336. Does 60 divide d?
True
Suppose -782 = -2*f - 3*w, -f + 49*w = 54*w - 398. Suppose 5*u - 7*u = -f. Does 7 divide u?
False
Suppose -23 + 13 = r - 4*o, -o + 11 = 4*r. Let z = -106 + 177. Suppose 0 = -2*d + r*h + 54, 4*h + z = 3*d - h. Is 14 a factor of d?
False
Does 12 divide (-4)/(-4)*(-5495)/15*-6?
False
Let m be 32/(3/6*-2). Suppose -18*z = -7*z + 2002. Let j = m - z. Is j a multiple of 8?
False
Let a(w) = 23*w**2 - 78*w - 121. Does 80 divide a(17)?
True
Let m = -186 + 188. Suppose m*r = -123 + 1557. Is r a multiple of 74?
False
Let g = 156 + -84. Suppose -12*s + 3*s = -g. Is 8 a factor of 2*7*s - (-5 - -6)?
False
Let r be (-1 - -1)*(-3)/3. Let x be -7 - (-13 - (5 - 7)). Does 15 divide 186/x*(-24)/(-18) + r?
False
Suppose -2*l + 5*l - 5*t = 22328, -5*l - 5*t = -37280. Suppose l + 277 = 12*c. Is 14 a factor of c?
True
Suppose -3*n - 4*c = -8182, -n - 4*c + 2712 = 5*c. Is n a multiple of 30?
True
Suppose 3*a + 3*j = 70839, -7*j = -3*a - 6*j + 70855. Suppose -3037 = 15*z - a. Is z a multiple of 98?
True
Suppose 4626 - 61146 - 9970 = -10*x. Is x a multiple of 10?
False
Let z be (2892*5/(-10))/(-3). Suppose 5*m + 5 + 5 = 0, m = 5*k - z. Does 24 divide k?
True
Let w = 89 - 79. Is 15 a factor of (39 - 2)*(w - (-9 - -4))?
True
Suppose 434*x - 16 = 430*x. Suppose -6*q = -2*q - 2*l - 640, -638 = -x*q + 3*l. Is 7 a factor of q?
True
Suppose 28*y - 29461 = 45803. Is 6 a factor of y?
True
Suppose i + 3*s = -0*s + 141, i - 137 = s. Suppose -36*j + 33*j + i = 0. Suppose 30 = -4*b + 5*b + 3*y, 2*y = 3*b - j. Is 3 a factor of b?
True
Suppose 2*x + a = 70 + 91, -3*x + 248 = -5*a. Let b = x - 74. Suppose 427 - b = 4*u. Is 15 a factor of u?
True
Suppose 2 = 2*o - 2. Suppose -4*z = 2*l - 1726, -o*l - 3*l - 1301 = -3*z. Suppose z = -2*h + 5*h + 3*q, -q = -2*h + 294. Is 17 a factor of h?
False
Suppose -18*g + 579 = -411. Suppose 15*k - g*k = -3360. Is 7 a factor of k?
True
Let d(o) = -107*o - 556. Let q be d(-7). Suppose 0*v - v + 130 = 0. Let p = q - v. Is p a multiple of 7?
True
Let x(v) = 343*v - 2882. Is x(11) a multiple of 9?
True
Suppose -8 = 3*n - 17. Suppose -5*r + 600 = -2*c - c, 0 = -3*r + n*c + 360. Is r a multiple of 24?
True
Let f = -178 - -171. Let a(n) = 2*n**2 + 3*n + 1. Is a(f) a multiple of 6?
True
Suppose -2*l + m = l, -4*m = -4*l. Suppose l = -29*i + 31*i - 228. Suppose -24*j = -22*j - i. Does 13 divide j?
False
Suppose 4*i - 12092 = 12*u - 13*u, -2*u - 8 = 0. Is i a multiple of 21?
True
Let z(m) = -m**2 - 83*m - 1048. Does 67 divide z(-25)?
True
Let a(z) = -z**3 + 6*z**2 - z + 13. Does 24 divide a(-9)?
False
Suppose 16*b = -n + 15*b + 1195, -4*b = -2*n + 2396. Suppose -2*v - 44*v = -n. Does 15 divide v?
False
Let d = -11967 + 18131. Is d a multiple of 98?
False
Let l(o) = -15*o**2 - o - 7. Let i be l(-5). Let c = i + 591. Suppose -c = -8*k + 1018. Is k a multiple of 11?
True
Let h be 2 + 11/7 + (-3)/(-7). Suppose 4 + 108 = 2*a + h*i, -a + 35 = -5*i. Suppose -p = -a - 168. Is 52 a factor of p?
False
Is (-304654)/(-50) + 1 + 1 + (-260)/3250 a multiple of 66?
False
Let u = 20042 + -10856. Is 3 a factor of u?
True
Let z = 9019 + -2274. Does 32 divide z?
False
Suppose c - 4*c = 2*t - 2936, -5*c = t - 1454. Is t a multiple of 26?
False
Suppose 463 = 2*q - 5*i, q - i = 6*q - 1144. Let g = q - 151. Does 12 divide g?
False
Let z(t) = 6*t**2 - 3. Let n(a) = -a**2. Let m(u) = 4*n(u) + z(u). Let o be m(3). Does 17 divide 186 - ((-18)/o + (-5)/(-25))?
True
Let j(r) = 2752*r - 1981. Does 51 divide j(4)?
True
Suppose -5*o + v - 10 = -24, 0 = 5*o - 3*v - 22. Let s be (-2)/(-1)*(-74)/4. Is 7 a factor of o*1 + (1 - s)?
False
Suppose 0 = -5*u + l + 32, -17 + 2 = -5*l. Suppose u*h - 529 = 1809. Is 16 a factor of h?
False
Suppose 360 = -16*m + 7*m. Let d = m - -43. Suppose -22 = -2*u + d*g - 6, u = -5*g + 34. Is u a multiple of 11?
False
Let u be (-10688)/(-60) - (-2 + 64/30). Let n = u - 150. Is 8 a factor of n?
False
Let h(z) = z + 7. Let c = 31 + -31. Let o be h(c). Suppose -5*a + o*a - 160 = 0. Does 16 divide a?
True
Let r be ((-16)/(-6))/2*273/13. Suppose -3*l + 9 + 11 = -4*j, 5*l - r = 4*j. Is 16 a factor of 4*(j + (-71)/(-2))?
False
Suppose -274528 = -14*c + 62816. Is 16 a factor of c?
True
Suppose 4506 = -25*h - 3619. Let a = 417 + h. Does 4 divide a?
True
Suppose 8 = -2*v - 5*p, 22 = 8*v - 3*v + 2*p. Suppose z = v*z + 170. Let q = z + 190. Does 52 divide q?
True
L