Let x(i) = -38*i - 67. Let u be x(-4). Let m be (-364)/5 - (-2)/(-10). Let b = u + m. Does 3 divide b?
True
Suppose -3*k + 6*k + 1277 = 8339. Is 22 a factor of k?
True
Let p(n) = 4*n**3 + 34*n**2 - 19*n - 1. Let v be p(-9). Suppose 2*k - 2 = 2*s - 0*s, -5*s = 5*k - 35. Let m = s + v. Does 10 divide m?
False
Let r(n) = 6 + 32*n + 6 - 9*n - 2. Let g(h) = h**2 - 10*h - 37. Let t be g(13). Is r(t) a multiple of 8?
True
Suppose 574*n + 82478 = 585*n. Does 23 divide n?
True
Does 185 divide (3589/4)/(-27*(-10)/5400)?
True
Let k(p) = -5*p**2 - 22*p - 4. Let g be k(-4). Suppose -3192 = -g*t - 3*t. Is t a multiple of 24?
True
Suppose -6*n = -2*n + 20. Let u be (-5)/n*15*2/6. Suppose -u*d = -49 - 51. Does 4 divide d?
True
Let j be 8/(4 + 1 + 1029/(-203)). Is 11 a factor of ((-27)/(-6))/((-6)/j)?
False
Suppose 3*c + c = 5*k - 383, -3*k = -3*c - 285. Let g = 719 + c. Is g a multiple of 77?
False
Suppose -5*a + z + 1294 = 857, a + z = 79. Is 43 a factor of a?
True
Let h be 3*(-2)/(-3) - 6. Let z(g) = -3 + 5 - 3 - 36*g + 5. Is 23 a factor of z(h)?
False
Let f(p) = 192*p + 5972. Is 3 a factor of f(-30)?
False
Let c be (0 + 6/4)*(24 - 20). Suppose -4*z = -46 - c. Does 2 divide z?
False
Let z(s) = 12*s**2 + 3*s + 94. Let m be z(-7). Suppose -5*p + 1949 = 5*u - m, -4*u + 5*p + 2052 = 0. Does 14 divide u?
True
Let r(d) = 130*d**2 - 6*d + 5. Let s(t) = 5*t + 22. Let g be s(-4). Does 9 divide r(g)?
True
Suppose 9*s - 59 = 8*s. Let c = 30 + s. Does 15 divide c?
False
Let u be (-5)/(-2 + (-3)/(-2)). Suppose 5*y = u*y - 2450. Suppose 9*g - y = 4*g. Does 19 divide g?
False
Suppose 614*o - 753*o + 446607 = 0. Is o a multiple of 189?
True
Suppose -121 - 99 = -11*h. Suppose h*b - 7*b = 4862. Does 17 divide b?
True
Let c(x) = 59*x + 89. Does 8 divide c(20)?
False
Suppose -4671*l + 4627*l = -573056. Is 37 a factor of l?
True
Let y = -30 + -28. Let w = -90 - y. Is 7 a factor of (0 + 112/3)*(-72)/w?
True
Suppose 620*i - 627*i = -22995. Is i a multiple of 43?
False
Let v(s) = s**2. Let x be v(-3). Is 48 a factor of 15*7 + 18/x?
False
Let f be (3 - -2)/(-1) - 96. Let l = f - -52. Let k = 157 + l. Does 12 divide k?
True
Let h(z) = 8*z**2 - 98*z + 92. Is 15 a factor of h(38)?
True
Suppose 10 = y + t + t, -y - t + 7 = 0. Suppose 4*h + y*i = 752, -2 = -2*i + 2. Is h a multiple of 8?
False
Suppose 69 + 3 = 12*k. Let f be ((-1152)/(-24))/(k/4). Is 6 a factor of ((-126)/56)/((-3)/f)?
True
Let y be ((-60)/(-21))/(-5) - 2223/(-7). Let o = y - 209. Is o a multiple of 7?
False
Suppose -491 = -d + 111. Suppose 4*v - c = d, -v - v + 5*c + 310 = 0. Is 10 a factor of v?
True
Let y be 2/(-3)*(22 - 25). Suppose 0*g + 2*n - 412 = -4*g, -y*g - 4*n = -194. Does 4 divide g?
False
Let g(c) = 15*c**2 + 47*c + 26. Is g(-7) a multiple of 16?
True
Let w = -12 + 15. Suppose w*g = -7*g + 1100. Suppose c - 32 = 4*q, 2*c + 31 - g = 5*q. Does 11 divide c?
False
Suppose 4488 = -15*o + 21963. Let i = o + 254. Is 11 a factor of i?
True
Let g = -675 + 1947. Let r = -898 + g. Does 22 divide r?
True
Let d be (-22)/(-77) - (-206)/14. Is (7 - 747)*(-6)/d a multiple of 27?
False
Let w(x) = 5*x**2 - 5*x - 31. Let h be w(-11). Suppose 0 = 2*c + 2*a + 93 - h, 0 = -3*c - a + 800. Does 19 divide c?
True
Suppose 0*f + 363*f - 9644677 = -2095366. Does 7 divide f?
True
Let g = 643 - 621. Suppose 15 + 24 = 3*j. Let w = g - j. Is 4 a factor of w?
False
Let t(b) = 19*b + 249. Suppose -89 = -5*d - 4*f + 51, 5*d - 3*f - 105 = 0. Is 15 a factor of t(d)?
True
Let b(c) = -9*c + 807. Is 2 a factor of b(23)?
True
Suppose 12*q - 33 - 39 = 0. Suppose -q*r = -12*r + 24. Suppose r*k - 46 = 14. Is k a multiple of 15?
True
Does 9 divide 10 + ((-3858096)/(-3))/22?
False
Let x = 3867 - 3761. Does 7 divide x?
False
Let n = 45 - 40. Suppose -n*w - 4*o + 655 = 0, 5*w + 5*o = 254 + 406. Suppose -7*q + w = 36. Is q a multiple of 13?
True
Let i(m) = 35*m**2 + 17*m - 26. Let u(c) = 12*c**2 + 6*c - 9. Let p(f) = 4*i(f) - 11*u(f). Let b = 206 - 210. Does 19 divide p(b)?
False
Suppose 0*o = 4*c - 3*o + 27, 2*c - o + 11 = 0. Let b be 4 - 4 - (c + 0 + 3). Is 15 a factor of (b + 2 - -2)*15/4?
True
Let u(x) = 64*x - 24. Let g be 1/(-3 + 1) + (-42)/(-12). Does 47 divide u(g)?
False
Suppose -16*q + 95 = -33. Suppose 0 = q*w + 12*w - 2080. Does 26 divide w?
True
Suppose 3*b = 4*j - 311 - 216, 2*j - 251 = -b. Let a(g) = -2*g**2 - 97*g + 600. Let x be a(-54). Let u = x + j. Is 9 a factor of u?
False
Suppose 330*n + 108*n - 1717216 - 130706 = 0. Is 27 a factor of n?
False
Suppose -5*x = -310 - 10. Let s = x + -62. Suppose g = s*q - 37, 2*q - g - 41 = 4*g. Does 3 divide q?
True
Let h = 32 + -30. Let g(w) = 0*w - w**h + 0 - 3 - 5 - 20*w. Does 15 divide g(-17)?
False
Let t = -19987 - -28775. Does 43 divide t?
False
Let a = 187 - 160. Let c(s) = -s**3 + 27*s**2 + 22*s - 32. Is c(a) a multiple of 13?
False
Let p(h) = 214*h - 196. Let i be p(2). Let z(u) = u**3 + 5*u**2 + 5*u - 7. Let m be z(-6). Let j = m + i. Is j a multiple of 53?
True
Let y = -7 + 11. Suppose -2*d = -b - 31 - 59, -2*d + y*b + 96 = 0. Let c = -30 + d. Is 7 a factor of c?
True
Suppose -r + 3 = 0, -5356 = -s + 6*r - 11*r. Is 49 a factor of s?
True
Suppose 60484 = 103*c - 94*c + 2*y, 3*y + 6714 = c. Is 20 a factor of c?
True
Suppose 0 = -26*n + 33*n - 18235. Suppose -4*v - d + 2083 = 0, 5*v - 5*d + 6*d - n = 0. Is v a multiple of 27?
False
Let y(h) = 27*h - 126. Let r(z) = 1. Let n(l) = -54*r(l) - y(l). Does 7 divide n(-5)?
False
Let o(b) = 11*b**2 + 8*b**2 + 13*b - 14 - 2*b**2. Does 3 divide o(1)?
False
Let c = 36777 - -1053. Is c a multiple of 73?
False
Let w(f) = -5*f**2 + 84*f + 8. Let c = -404 + 416. Is w(c) a multiple of 8?
True
Let m = 2332 - 1211. Does 2 divide m?
False
Let q = -721 - -319. Let u = q + 831. Is 39 a factor of u?
True
Let n be 3/7 + (-970)/(-7). Let h = 17 - 15. Suppose -j + 4*k + 17 = -n, 5*j - h*k - 834 = 0. Does 42 divide j?
True
Suppose -7*w + 12*w = 100. Suppose 21*i = w*i + 308. Does 7 divide i?
True
Is 15 a factor of ((-5100)/136)/(((-20)/(-1192))/(-5))?
True
Let d be 1*(-3)/(-21) - (-6890)/35. Let v = 462 - d. Suppose i - 2*s - v = 0, -s + 1 = 5. Is i a multiple of 15?
False
Suppose -4*h = -2*n - 43056, 9*n = -7*h + 8*h - 10730. Is h a multiple of 47?
False
Let y be ((-40)/70)/((-2)/14). Let o(f) be the first derivative of 5*f**3/3 - 11*f**2/2 + 4*f - 139. Is 20 a factor of o(y)?
True
Suppose -1920 = -5*f + 2*m, 54*m = -2*f + 57*m + 768. Does 3 divide f?
True
Let m(k) be the first derivative of k**4/4 + 22*k**3/3 - 55*k**2/2 - 22*k - 90. Is m(-24) a multiple of 24?
False
Suppose -m - 2*m + 1408640 = 68*m. Does 80 divide m?
True
Let m be (15 - 11 - (1 + 2))*2. Suppose -140 = -m*x + 462. Is 15 a factor of x?
False
Suppose -1346*b + 1349*b - c - 28720 = 0, -3*c = -2*b + 19128. Is 56 a factor of b?
True
Let o = -62 - -62. Suppose n - 282 = -x - 62, o = -4*x + 12. Let g = -126 + n. Is g a multiple of 19?
False
Let p(m) = -123*m**3 - 15*m**2 - 59*m - 65. Is 34 a factor of p(-3)?
True
Let r = 3 + -5. Does 6 divide -2 - (r/(-7) + (-395)/35)?
False
Suppose 12 = -2*p + 2. Suppose -11*o = o + 12. Is ((-2)/p)/(o/(-90)) a multiple of 4?
True
Suppose 0 = 3*b - 0*n + 3*n + 9, 2*n - 10 = 0. Let h = 168 - b. Is 6 a factor of h?
False
Suppose 3*i - 2*x - 70944 = 0, 27*i - 94609 = 23*i - 3*x. Is i a multiple of 110?
True
Suppose -4*o - 5*s = -363, 3*o = -0*o - 4*s + 272. Let u = 182 - o. Is 5 a factor of u?
True
Suppose -521478 + 181609 = -122*f + 1247961. Is f a multiple of 218?
False
Suppose -a + 4*s + 3 = 0, -a + 5*s = a - 6. Suppose -a*g = -4*y - 6*g + 85, 93 = 4*y - 5*g. Suppose 7*t = 6*t + y. Is t a multiple of 11?
True
Suppose -4*s - 259 = -791. Let d = s - -183. Suppose -7*r + d + 153 = 0. Does 10 divide r?
False
Let r(u) = u**3 + 11*u**2 + 29*u + 44. Let a be r(-8). Does 19 divide 2*a + 5797/17?
False
Let p = 3644 - 2641. Is p a multiple of 38?
False
Is 10 a factor of (-82 + 8)/(-2 + (-54)/(-28))?
False
Suppose 0 = 95*l - 77*l - 36. Let g(r) = 25*r + 4. Is 27 a factor of g(l)?
True
Suppose -5*w = l + 6, -10 = -l + 4*w + 2. Let t(m) = 2505 - 2470 - 2*m + l*m. Is t(0) a multiple of 35?
True
Let x(l) = -l**3 + 17*l**2 + 20*l + 7. Let f be x(18). Let h = f - 43. Suppose -4*w + h*w = -228. Is 19 a factor of w?
True
Let f = 175 + -176. Is ((-135 - (5 + -1))*2)/f a multiple of 31?
F