pose f = -9*h + 1155 + 1689. Is 18 a factor of h?
False
Let s be 7 - -1 - (-68 + 27). Is 18 a factor of (-3)/7 - (-48531)/s?
True
Let t(r) = 66*r**2 - 17*r - 329. Is t(-7) a multiple of 9?
True
Suppose 0 = 5*a + 10, 3*f - 596 = 8*a - 7*a. Suppose 0 = 4*j - 3*k - 140 + 668, -3*k = 2*j + 282. Let n = j + f. Is n a multiple of 19?
False
Let t(r) = r**3 + 40*r**2 - 37*r - 76. Is 88 a factor of t(-36)?
False
Let a(x) = 2*x**2 + 4*x. Let i(u) = 3*u**2 + 4*u. Let y(d) = -4*a(d) + 3*i(d). Let v be y(5). Suppose 4*g = p - 4 - 2, -2*g - 48 = -v*p. Is p a multiple of 8?
False
Suppose 7*x - 37904 = -4*b + 11*x, -5*x = -3*b + 28414. Is 29 a factor of b?
True
Suppose -154*t + 152*t = -16. Let b(f) = -f**3 + 2*f**2 + 50*f - 11. Is b(t) a multiple of 5?
True
Suppose -10*m = -9*m - 1. Suppose -z = m, 2*z = 3*d + 2*d + 238. Does 25 divide -249*20/d - (-6)/(-8)?
False
Suppose -2*o + 9 - 1 = 0. Suppose -a + 4*a - y - 18 = 0, 7 = -a - o*y. Suppose -2*s - 2*x = 3*s - 94, a*x - 85 = -5*s. Does 14 divide s?
False
Let f(v) = v**2 + 38*v + 2376. Does 148 divide f(67)?
False
Suppose l - n - 130 - 386 = 0, -5*n + 1564 = 3*l. Is l a multiple of 14?
True
Suppose 5016 = 4*c - o, -5*o - 6270 = -5*c - o. Is 35 a factor of c?
False
Let f(p) = p**3 + 3*p**2 - 8*p - 3. Let o be -3 + 10/2 + 0. Suppose o*n + 10 - 2 = 0. Does 2 divide f(n)?
False
Let m(s) = 7*s**2 + 5*s + 7. Let b = 25 + -23. Does 9 divide m(b)?
True
Suppose 32*u - 84003 = 91908 + 178009. Is u a multiple of 158?
True
Suppose -5*s - 354 = 2*q - 2069, -5*q = 5*s - 4295. Let k = -596 + q. Is 3 a factor of k?
True
Is ((-24)/72)/((-21272)/(-21276) - 1) a multiple of 21?
False
Does 12 divide ((-3)/(-2) - 0)/(((-456)/(-23216))/19)?
False
Let n(b) = 3673*b**3 - 5*b**2 - 2*b + 6. Is n(1) a multiple of 6?
True
Suppose 24*u + 14*u - 44880 = 5*u. Is u even?
True
Suppose -14*a + 6 = -134. Let c(t) = 2*t**2 + 3 - 5*t**2 - 31 - a*t + 5*t**2. Is 18 a factor of c(10)?
True
Suppose -122*a = -477*a + 1202760 - 182845. Is a a multiple of 78?
False
Suppose -121*k + 81216 = -117*k + 2*q, 4*q = -k + 20283. Is 132 a factor of k?
False
Suppose o + 2 = 4*f - 6*f, -o = 3*f + 3. Let s be f/(-4) - 315/(-84). Suppose 3*m - 2*h - 511 = 0, 4*m - 3*h = -s*h + 696. Does 30 divide m?
False
Suppose -122 = -2*f - 3*c, -4*f - 3*c + 133 = -123. Let n be (6 - (5 - 1))/2. Let d = n + f. Does 17 divide d?
True
Let a(s) = -4*s - 23. Let o be a(-7). Suppose -2*w - 6 = 0, 4*p + o*w - 95 = 2*p. Let t = p + -9. Does 8 divide t?
False
Let y = 1734 + 4111. Is 79 a factor of y?
False
Suppose -4*o + 12204 = 5*z + 2507, 2*o - 3*z - 4821 = 0. Is o a multiple of 13?
True
Let b(i) be the second derivative of -1/12*i**4 + 0 - 8*i + 12*i**2 - 3/2*i**3. Is b(-10) a multiple of 14?
True
Let d = -244 + 246. Suppose -319 + 1540 = 2*c + y, -d*c - 4*y + 1206 = 0. Is 11 a factor of c?
False
Let a be (-1)/((-2)/221044) + 2/2. Is 13 a factor of a/437 - (-4)/46?
False
Suppose 6*n - 5*u = 3*n + 26, -5*u - 20 = 0. Let l(b) = 16*b - 7. Let z be l(4). Suppose 2*q - 3*o - 253 = 0, n*o + 68 + z = q. Is q a multiple of 16?
False
Does 8 divide ((-21492)/10)/(1872/(-80) + 23)?
False
Is 4 a factor of ((-24)/18 - (-5)/15)/(1/(-2025))?
False
Let f(z) = z**3 - 4*z**2 - 8*z - 11. Let a be f(5). Let m = a + 103. Let q = m - 53. Is 3 a factor of q?
True
Does 179 divide 303/(-3)*236*(6 + (-52)/8)?
False
Suppose 5*r + 11316 = 2*i + 377, 0 = 2*i - 3*r - 10941. Is i a multiple of 38?
True
Let x(z) = 26*z**3 - 3*z**2 - 5*z - 2. Let n be x(-2). Let g = n - -257. Does 2 divide g?
False
Let o(b) = 9*b - 4. Let q be o(1). Suppose 24 = -q*c + 4. Does 10 divide 15/(-20)*(-40 - c)?
False
Suppose -3*o + 234 = 3*o. Let b = -35 + o. Suppose i + 3*f - 27 = 0, -f + 37 = b*i - 3*i. Is i a multiple of 42?
True
Let s be 1195 - (1 + 1)*(-7)/14. Is s/(-39)*(-27)/3 a multiple of 6?
True
Let l(r) = -113*r**2 + 17*r - 2. Let s(i) = -57*i**2 + 9*i - 1. Let a(m) = -6*l(m) + 11*s(m). Let u = 0 - -1. Does 12 divide a(u)?
False
Suppose -2*u = -m + 411, 4*u - 9*u - 1028 = -3*m. Let i = u + 849. Does 23 divide i?
True
Let g = -668 - -742. Does 43 divide g?
False
Does 7 divide -27*(-63)/81*2/7*308?
True
Let n(d) = d**2 - 73*d - 267. Is n(-39) a multiple of 69?
False
Let h(l) = 50*l + 2305. Is h(-26) a multiple of 114?
False
Suppose -g = 5*g - 1068. Let l = g + -40. Does 8 divide l?
False
Suppose 2*w = 6 - 20. Let d be (22/(-8))/(w/(-56)). Let h = d - -31. Does 3 divide h?
True
Suppose -14*c - 11905 = -9*c + 3*a, -5*a + 4793 = -2*c. Does 5 divide 8/(-28) - c/14?
True
Let n(x) = 3*x**2 + 21*x + 1. Let p = -13 - -25. Let a = p + -22. Does 21 divide n(a)?
False
Suppose -5*t - w = -33 + 109, 3*t = 5*w - 68. Let m be t/(-1*(-3)/(-6)). Does 23 divide (m/(-12) - -3)*69?
True
Let v be (3 - 1)*(-2 - 12472/(-16)). Let k = v - 988. Is 12 a factor of k?
False
Suppose -5*n + d = -14690, -8792 = 37*n - 40*n + 5*d. Is n a multiple of 14?
False
Let l be 2 + 0 + (-103)/3*-21. Let c = 1157 - l. Is c a multiple of 62?
True
Let j(v) = v**3 + 8*v**2 - 14*v - 18. Let n be (42/(-28))/((10/(-12))/(-5)). Let g be j(n). Suppose -y + g = w + 4*y, w + 13 = 5*y. Is 3 a factor of w?
False
Let c = 3358 - 1906. Suppose -15*t - 102 = -c. Does 5 divide t?
True
Let w = -209 - -102. Let l = w - -227. Is l a multiple of 25?
False
Let q be 0/(-3 - -4)*(-2)/4. Suppose q = -4*b + 955 + 65. Is b a multiple of 17?
True
Is (6 + 5 + -27639)*(-9)/18 a multiple of 54?
False
Let v(f) be the first derivative of -11*f**2/2 - 40*f + 101. Does 30 divide v(-10)?
False
Let y be 4/(-18) - 14/18. Let m be 17/(-17) - (y - 2). Suppose 0 = -g - m*j + 238, 2*j + 78 = g - 140. Is g a multiple of 33?
False
Let j(z) be the first derivative of 31*z**2 - 326*z + 26. Is 11 a factor of j(7)?
False
Is -4*8/(448/(-59500)) a multiple of 10?
True
Suppose -3*s - 73*b = -77*b - 8918, 5*b - 14805 = -5*s. Does 3 divide s?
False
Let g(m) = 6509*m - 916. Is 32 a factor of g(4)?
True
Let p = -6257 + 10768. Does 10 divide p?
False
Suppose 3*q - 2*j - 76 = 0, -105 = -3*q - 2*j - 13. Suppose 5*n = -4*f + 7017, 5261 = 3*f - 26*n + q*n. Is 15 a factor of f?
False
Suppose -357 - 7298 = -23*x + 104976. Is x a multiple of 59?
True
Let w(o) be the second derivative of 7*o**4/12 + o**2/2 - 22*o. Let g be w(-1). Suppose 5*c = g*c - 144. Does 24 divide c?
True
Let i(u) = 31 + 9 - 7 + u. Let g = -3315 - -3306. Does 12 divide i(g)?
True
Let r be 1*(-4)/32 - (-1015)/(-8). Let q = r - -523. Suppose -6*a + q + 348 = 0. Does 31 divide a?
True
Let n(v) = 71 - 4*v - 24*v + 3*v. Is 86 a factor of n(-20)?
False
Let l = -49 - -39. Let j be (l/(-3))/((-1)/(2*-6)). Let y = 82 - j. Does 14 divide y?
True
Let w = 22709 - 14019. Does 20 divide w?
False
Suppose -5*g - 54*g + 1432343 = 0. Is g a multiple of 79?
False
Let r = -9499 + 13367. Is r a multiple of 11?
False
Let n(x) = -x**3 + 9*x**2 - 10*x + 20. Let z be n(8). Suppose b - 549 = 3*b + 5*d, z*d + 279 = -b. Let w = 383 + b. Does 26 divide w?
False
Is 96 a factor of (-492)/(-14)*(-43008)/(-192)?
True
Let u be (48671/42)/17*-6. Let g = u + 446. Is 3 a factor of g?
False
Let c(h) = 19*h - 93 - 2*h**2 + 3*h**2 + 69. Let g be c(-20). Is -5 + 152 + g + 1 a multiple of 12?
True
Suppose 213376 + 765308 = 259*y - 175*y. Does 30 divide y?
False
Let o(d) = 2311*d**3 - 22*d**2 + 20*d + 1. Does 7 divide o(1)?
True
Let i(r) = -7*r**3 + r - 1. Let q be i(2). Let h = 72 + q. Is (h + -3)/((-1)/(-5)) a multiple of 13?
False
Suppose y + 3*g = -4, 36 - 20 = -4*y + g. Is y/48*3 + 1287/12 a multiple of 8?
False
Suppose -5*w + 45 = -5*z, 0 = -5*w - 2*z + 67 + 13. Is 9 a factor of (-35)/w*(1 - 91)?
True
Let r = 133 - -101. Does 7 divide (-364)/39*(3 - r/4)?
True
Let b(a) = -7*a**3 - 35*a**2 + 42*a + 72. Let r(o) = -23*o**3 - 104*o**2 + 126*o + 217. Let i(q) = -13*b(q) + 4*r(q). Is 35 a factor of i(37)?
False
Suppose -130303 - 34990 = -6*k + 165073. Is k a multiple of 143?
False
Suppose -17*o - 6130 = -21*o - x, -3*x = -4*o + 6154. Does 2 divide o?
True
Let j be (15/(-12))/(2/(-144)). Suppose -6*n + 4*n - 116 = 0. Let k = j + n. Is k a multiple of 8?
True
Let i(h) = 96*h**2 - 33*h - 9. Does 62 divide i(7)?
True
Is (((-2752)/20)/(-2))/(62/155) a multiple of 4?
True
Let z(k) be the second derivative of -37/6*k**3 + 24*k - 23/2*k**2 + 0. Does 18 divide z(-4)?
False
Suppose -28 = -12*i + 32. Suppose 