 Let q = g - 42. Is 9 a factor of q?
False
Let i = 29641 - 10597. Is 92 a factor of i?
True
Suppose 0 = 12*f - 18 - 6. Suppose 2*z = -4*s + 7*z + 224, -94 = -f*s - 2*z. Does 6 divide s?
False
Let w = 34 + -26. Suppose 0 = 12*x - 4*x - w. Let m = 37 - x. Is 8 a factor of m?
False
Suppose -2*s + 591 = 5*l - 480, -2*l = 2*s - 1092. Is 8 a factor of s?
False
Let q(y) = -2*y**2 - 195*y + 17. Is q(-44) a multiple of 9?
True
Let x(w) = 2*w**3 - 64*w**2 - 18*w + 146. Is x(35) a multiple of 112?
False
Let f = -10130 + 10135. Let i(u) be the third derivative of u**5/15 - u**4/6 - 2*u**3 - u**2. Is i(f) a multiple of 34?
True
Suppose 4*k + 5*r = 45, -3*k + 35 = -0*k + 4*r. Suppose -5*d + 4*j = -16, -2*j + k*j + 5 = 2*d. Is 27 a factor of d/(-10) - 548/(-20)?
True
Suppose -273*h = -271*h - 2, -5*i = 2*h - 35087. Is i a multiple of 191?
False
Let m(g) = 156*g - 237. Suppose 0 = -17*d - 2*d + 209. Is 29 a factor of m(d)?
True
Is 4 a factor of ((-2)/9 - (-90397)/45) + (-114)/190?
True
Suppose -110*g + 264192 = -1479748. Is g a multiple of 45?
False
Let j = 24 - 20. Let z be (j + -6)*9/(-6). Suppose 0*w - 3*p = 4*w - 35, 4*w = z*p + 53. Does 3 divide w?
False
Suppose 260*b = 239*b + 13188. Does 15 divide b?
False
Suppose 3807 = -7*j - 2*j. Let d = 690 + j. Does 8 divide d?
False
Suppose 0 = -138*v + 134*v + 52. Suppose -v*m = -3*m - 2440. Is 4 a factor of m?
True
Suppose 2*a - 4*p = -2*p, -2*a - p = 0. Suppose a*k = k - 4. Suppose 0 = -k*z + 16, f - 14 - 6 = 2*z. Is f a multiple of 4?
True
Let t(d) = 3*d**3 - 31*d**2 - 22. Is 68 a factor of t(15)?
True
Let v(n) = 5*n**2 - 3*n - 8. Let c be 3/(-6) - 1*7/(-2). Is 14 a factor of v(c)?
True
Suppose 2826 + 7490 = 4*m + 4*p, -4*p = m - 2579. Does 42 divide m?
False
Suppose -2*m + 5 = -1. Suppose -k + m*k - 4 = -4*s, k - 5*s - 9 = 0. Suppose -280 = -4*n + 3*o, -3*n + 5*o - k*o = -215. Does 23 divide n?
False
Let l(u) be the first derivative of 39*u**2/2 + 13*u - 195. Let d be (-24)/(-9) - 2/(-6). Is 26 a factor of l(d)?
True
Let p = 9959 - -9166. Is 15 a factor of p?
True
Let f = -233 - -253. Suppose -952 = 3*o - f*o. Is o a multiple of 28?
True
Suppose j = 4*v - 4*j - 19948, 4*j + 24926 = 5*v. Is v a multiple of 53?
True
Suppose -425*j = -460*j + 705635. Is 13 a factor of j?
False
Suppose -245960 + 9638 = -6*g. Is 17 a factor of g?
False
Suppose -5*i - 2 = -3*i. Let v = i + 16. Suppose 0 = -4*z + 5*u + 262, -z + 61 = 4*u - v. Is z a multiple of 34?
True
Let v = 2479 - 972. Let p = v + -960. Is 85 a factor of p?
False
Suppose -27*s - 8456 = -35*s - 5*x, -1057 = -s - 4*x. Is s even?
False
Let r = 114 - 111. Suppose -2*v + r*v + 346 = i, -3*i - 5*v = -1070. Suppose -11*s + i = -s. Is s a multiple of 11?
False
Let a(t) = -t**2 + 102*t + 64. Does 12 divide a(70)?
True
Let h(p) = 348*p + 45. Let q(f) = 4*f**3 + 17*f**2 + 5*f + 6. Let z be q(-4). Does 82 divide h(z)?
False
Suppose 2*x + 2 = -3*g + 105, 3*g - 9 = 0. Suppose -b + 9 - 44 = -3*f, 2*b - x = -3*f. Suppose 9*q + 36 = f*q. Is q a multiple of 2?
False
Let o(k) = k**2 + 19*k + 34. Let s = -16 + -3. Let i be o(s). Let q = i + 211. Is q a multiple of 49?
True
Suppose 183*d = 214*d - 50220. Is 21 a factor of d?
False
Suppose 248064 = t + 33*t. Does 76 divide t?
True
Does 72 divide (1602666/216)/((-18)/(-48))?
False
Suppose k = p + 28 - 88, -4 = k. Let t = -56 + p. Suppose t*c + 2*n + 113 = 5*c, -114 = -5*c + n. Does 9 divide c?
False
Let o(f) = 8651*f**2 - 294*f - 297. Does 184 divide o(-1)?
True
Suppose 0 = 2*p + 4*r + 93 + 191, 4*r - 154 = p. Let l = p + 181. Is 20 a factor of l?
False
Let x be -9 - 11 - (-1 + (-1 - 0)). Let a(z) = z**2 + 16*z + 6. Let w be a(x). Does 7 divide w/4*(-160)/(-30)?
True
Let b be (-125)/(-5) + (2 - 2) + -1. Suppose -8*o - 8 = b. Let v = o - -31. Is 9 a factor of v?
True
Let p = 30188 + -21356. Does 23 divide p?
True
Let d(r) = -5*r**3 - r**2 - 7*r - 9. Suppose -4*z - 36 = -0*z + 4*a, 0 = -4*z + 5*a + 9. Does 28 divide d(z)?
False
Suppose -z = 21 - 57. Let q be ((-429)/(-9))/(12/z). Let j = 271 - q. Is j a multiple of 8?
True
Let x(i) = i + 3. Suppose -4 = 3*q - o, q + 5*o = 6*o - 2. Let n be x(q). Suppose 3*t - 4*t = -5*m + 404, -t = -n*m + 161. Does 25 divide m?
False
Let k(p) = -3*p**2 - 53*p + 54. Let i be (-14 - 3) + 8/(-4) + 1. Is 12 a factor of k(i)?
True
Suppose 3*v + 5*q - 35 = -2*v, 4*q = 3*v - 42. Suppose 111*k - 113*k = -v. Suppose 147 = d + 2*d - 5*h, -k*h = 15. Is 22 a factor of d?
True
Suppose 7*q = 459 + 780. Let o = q + -20. Is 22 a factor of o?
False
Does 16 divide (-63997)/(-5) + ((-16)/120)/(6/(-27))?
True
Let r(l) = 412*l**2 - 482*l - 1908. Does 116 divide r(-4)?
True
Let i(r) = 6*r**3 + 18*r**2 - 198*r + 2126. Is 58 a factor of i(10)?
True
Suppose -q = -2*q + 3*d + 4057, d + 12179 = 3*q. Is 58 a factor of q?
True
Let g(b) = -4*b + 38. Let j be g(6). Suppose 195 + j = 2*y + p, y + 2*p - 109 = 0. Is y a multiple of 5?
False
Suppose -3*j = -3*w - 939, 0 = 4*j + 20*w - 21*w - 1237. Suppose 0 = 3*h - 1172 + j. Is h a multiple of 24?
True
Suppose 592*z - 440*z - 223288 = 0. Is 11 a factor of z?
False
Let f = -14056 - -27080. Is f a multiple of 88?
True
Suppose -17 = -5*l - 2*s + 32, -5 = -l + 2*s. Suppose -18*t + 486 = -l*t. Is 4 a factor of t?
False
Let v be ((-34)/(-12) + -2)/((-2)/(-12)). Suppose 0 = -2*a - v*l - 136, -2*l = 2*a - l + 128. Let r = -14 - a. Is r a multiple of 20?
False
Suppose 0 = -b + 25 - 23, c - 29084 = 2*b. Is c a multiple of 36?
True
Let a(s) = 6*s**2 - 10*s - 10. Let w be a(7). Suppose -5*i + w + 676 = 2*x, 4*i - 4*x - 684 = 0. Does 22 divide i?
True
Let q(v) = 5*v - 15. Let m be q(4). Suppose 0 = 3*c - f - 10, -c - m*f - 17 = -5*c. Suppose 41 = 2*r + p, -r + 20 - c = 4*p. Is 7 a factor of r?
True
Suppose 200*r - 7824 = 212*r. Let x = 1052 + r. Is x a multiple of 26?
False
Let z be -44 + 1*(2 - 4). Let b = 104 + z. Suppose 0 = -2*m + b + 22. Is 6 a factor of m?
False
Suppose 0 = -7*d + 729 - 435. Let c(t) = -2*t**2 - t - 2. Let l be c(-4). Let x = d + l. Is x a multiple of 3?
True
Let w be 5/4*(-38 - -18). Does 25 divide (-315)/(-27)*(-1290)/w?
False
Let m(f) = -53*f - 20. Let x be m(-5). Let k = -148 + x. Let q = 222 - k. Is 25 a factor of q?
True
Suppose 22*b - 779089 = -262661. Does 11 divide b?
True
Let g be (-248)/372*(-2 + (0 - 1)). Suppose -2055 + 289 = -g*r. Is r a multiple of 27?
False
Let r = 17636 + -11088. Does 148 divide r?
False
Let p = 21987 - 4653. Is p a multiple of 214?
True
Suppose -4*u + 9*c = 4*c - 766, u + 5*c = 179. Let x = u + -36. Does 17 divide x?
True
Let s = -12 + -73. Let z = s + 121. Is 21 a factor of z?
False
Suppose -f - 9*s + 11*s + 598 = 0, -2*s = -2. Is f a multiple of 6?
True
Suppose -42 = -5*y + 3*a, -20 = -2*y - 0*a - 2*a. Suppose 5*g - 11 - y = 0. Does 12 divide ((-71)/3)/(g/(-24))?
False
Suppose 3*g = 5*i - 17868, -5*i - 5*g = -8744 - 9156. Does 9 divide i?
False
Let m = -1011 - -1502. Let q = -131 + m. Is q a multiple of 24?
True
Suppose -3*f + 68 = -58. Let k = 46 - f. Suppose 2*b = k*a - 524, -b = -4*a - 0*b + 520. Is a a multiple of 21?
False
Suppose -3*x = -82 + 40. Let k = 21 - x. Is -12*k*(-3 + 1) a multiple of 16?
False
Suppose -31*r + 30*r + 5*j = -999, 0 = 3*r + j - 3029. Is 35 a factor of r?
False
Let x = 2206 + -1248. Suppose -2*n = 5*h - x, -4*n = -4*h + 2*h + 364. Is 8 + h - (-1 + 4) a multiple of 46?
False
Suppose 48*d - 37*d = -55. Does 23 divide 0 + 2 + (50 - d)?
False
Suppose -2*l = 3*l + 10, -17 = 5*d - 4*l. Let n(w) = -6*w + 41. Let k(m) = -m + 20. Let a(b) = -5*k(b) + 3*n(b). Is 22 a factor of a(d)?
True
Let t(i) = 2*i**3 - 5*i**2 + 59*i + 20. Is 5 a factor of t(7)?
False
Let t(u) = -37*u + 64. Let y be t(-15). Let w = y + -212. Is 37 a factor of w?
True
Suppose 0 = -4*c - 5*c + 459. Let d = -47 + c. Suppose -p = d*p - 615. Does 26 divide p?
False
Suppose -2*h + h + 3 = 0. Let t(c) = -7*c**2 - 1 - c**h - 4 + 17. Is t(-8) a multiple of 38?
True
Is 10 a factor of 210/(-1155) - (-43595)/11?
False
Suppose 0 = -55*l + 86*l. Suppose l = -2*t + 11 - 1, 4*g + 4*t = 1532. Is g a multiple of 27?
True
Does 16 divide (-6)/(-13) + (-206437616)/(-6292)?
False
Let w(g) = 6*g**2 - 15*g - 1. Let r be w(8). Suppose 3*o = r + 244. Does 13 divide o?
True
Let y(h) = -4*h**3 + 52*h**2 + 30*h - 48. Let v(m) = -5*m**3 + 52*m**2 + 31*m - 45. Let a(j) = -3*v(