m be o(12). Suppose 0 = -m*h - 5*c - 695, -2*h + 51 = c + 334. Let l = -37 - h. Is 33 a factor of l?
False
Let x = 202 + -193. Suppose -3*i - 64 = -x*f + 8*f, 5*f + i = 272. Is f a multiple of 11?
True
Let b = 67514 - 101082. Let u = -23467 - b. Does 17 divide (-2)/(-5) + u/35?
True
Suppose -7*r + 224 = -3*r - 5*j, -3*j = 5*r - 243. Let w = r - 47. Suppose w*y = 28 + 56. Is 12 a factor of y?
False
Suppose 0 = 6*o - 892 - 3194. Suppose -o = -6*p + 1059. Is p a multiple of 10?
True
Let b(k) = k + 14 + 2 - 7*k. Let z be (-12)/42 - 2/(56/244). Is 10 a factor of b(z)?
True
Suppose 4*c = 3*w - 682 - 609, -1688 = -4*w - 3*c. Suppose -w + 1325 = 3*f. Suppose n + 4*n - f = 0. Is 30 a factor of n?
True
Suppose -i + 0 = -3*l + 1, 0 = 2*l + 3*i + 3. Let v be l/((-1)/5*-5). Suppose t - 16 - 14 = v. Is 10 a factor of t?
True
Let d(n) = -n + 9. Let a = 94 + -87. Let b be d(a). Is 5 a factor of 73 + (-35)/5 + b?
False
Let o(i) = 56*i + 494. Is o(-4) a multiple of 15?
True
Suppose -6*i = i + a - 56703, -3*i - 5*a + 24315 = 0. Is 54 a factor of i?
True
Let p(x) = 2*x + 3. Let k be p(1). Suppose 20 = k*a - 3*h, a + 4*h - h = 22. Suppose -2*u + 5 = -a. Is u a multiple of 3?
True
Let g = 713 + 897. Suppose -12*t = -1510 - g. Is t a multiple of 13?
True
Suppose -3*r + 8*k + 65089 = 0, -4*r - 3*k - 54201 = -141000. Does 5 divide r?
False
Let a be 40/(-70) - (-300)/(-14). Let s = 1 - a. Suppose 2*m - s = -o, 0*m + 19 = 2*m - 3*o. Is 11 a factor of m?
True
Let x(f) = -2*f**2 + 88*f + 93. Let t be x(45). Suppose -a + 4 = 5*g, 4*g - 4 = 4*a - 5*a. Suppose 5*n - t*n - 16 = g. Is n a multiple of 4?
True
Suppose 14*j = 6*j + 16. Is 12 a factor of 7/28*326*j?
False
Suppose 0 = -6*h - 127 - 47. Let r = h - -19. Does 33 divide (-2010)/(-25) + 4/r?
False
Let g(f) = -18*f**2 - 16*f - 130. Let u be g(-18). Is (-90)/315 + u/28*-2 a multiple of 12?
False
Let u = 5947 - 4210. Is 15 a factor of u?
False
Suppose 0 = -u - 39 + 13. Let g = u - -64. Let v = -23 + g. Does 5 divide v?
True
Let m = 14579 + 1195. Is 15 a factor of m?
False
Suppose 5 - 5 = -5*j. Suppose -3*m - 2*y + 2 = j, -5*m - 2*y + 0*y = -10. Suppose m*g - 103 = -3*v, 3*v - 3*g = -5*g + 113. Is v a multiple of 7?
False
Let t = 131 + 626. Let d = 1547 - t. Is d a multiple of 47?
False
Let n(y) = -3*y + 214. Let b be n(-13). Let p = b + -173. Is 16 a factor of p?
True
Let r(d) = -d**3 + 8*d**2 - 12*d + 9. Let c be r(8). Let q = c + 162. Let k = q + -63. Does 3 divide k?
True
Let c(j) = 4131*j**2 + 86*j + 186. Does 10 divide c(-2)?
False
Suppose 6*n = 10*n + 12, -h + 3*n = -1071. Let j = 2128 - h. Does 26 divide j?
True
Suppose 42*g = 68*g - 1300. Let b = 138 - g. Is b a multiple of 4?
True
Let n = -76 + 78. Does 16 divide ((-544)/(-4))/(1/n)?
True
Suppose 2*m = 2*n - 43231 - 2681, -4*n = -2*m - 91832. Does 16 divide n?
True
Is 7 a factor of ((-3801)/9)/(29/(-174))?
True
Let a(k) = 5*k - 2. Let z be a(1). Suppose z*m - 78 = -3*m. Let v = m + -2. Is v even?
False
Let l(d) = -4*d**2 + 6*d - 4. Let q be l(7). Let p = -487 - -124. Let b = q - p. Is b a multiple of 36?
False
Let w be -6 + 2 - (-30 - -22). Suppose -93 + 13 = -w*t. Does 12 divide t?
False
Let w(i) be the third derivative of i**6/30 + i**4/6 - i**2 + 92. Does 60 divide w(3)?
True
Let x be 1230/(-45) + (-2)/3. Let y = 34 + x. Suppose -449 = -y*w - 143. Does 17 divide w?
True
Suppose -38*t - 153*t - 491937 = -1364998. Does 32 divide t?
False
Suppose 54919 = -29*k + 355069. Is k a multiple of 207?
True
Does 62 divide 4859 + -13 + (5 - 15)?
True
Suppose 0 = -r + 3*u + 15 + 4, 2*u + 26 = 4*r. Suppose 2*n + 0*n = 4*q - 240, 5*q = r*n + 474. Does 11 divide n/(-261) - (-3155)/9?
False
Suppose 168 = 3*j + d + 66, 2*j + 2*d - 64 = 0. Let g = j + -32. Does 11 divide 121*(2/(-1) + g)?
True
Let m be (-9 - 1)/(-2) - 0. Let b(a) = -2*a**3 - 6*a**2 + 16*a + 27. Let r(d) = d**3 + 3*d**2 - 8*d - 13. Let j(o) = 3*b(o) + 7*r(o). Is j(m) a multiple of 31?
False
Suppose -8*u = -2*u + 114. Let l be u*(-7)/(14/12). Let f = l - 22. Is f a multiple of 23?
True
Let y(j) = -10*j + 114. Let d be y(10). Suppose d*o = 6*o + 568. Is 14 a factor of o?
False
Let a(s) = -30*s + 25. Let k be a(4). Let p = 305 - k. Is p a multiple of 8?
True
Let o(d) = 24*d**2 - 8*d - 17. Does 6 divide o(-12)?
False
Let v(w) = -2*w**2 + 14*w + 16. Let x(p) = 2*p**2 - 13*p - 15. Let a(b) = 3*v(b) + 4*x(b). Let i be a(6). Suppose i = -y + 137 - 23. Does 57 divide y?
True
Let z = 197 + -118. Suppose 421 = 9*v + z. Does 19 divide v?
True
Let l = -39 - -333. Suppose -4*i - 5*r + 936 = 0, 5*r = 5*i - 1419 + l. Is 6 a factor of i?
False
Let n(c) = 662*c - 8. Let d(m) = m**3 + 10*m**2 - 16*m - 54. Let b be d(-11). Is 86 a factor of n(b)?
False
Suppose -2*u = 5*i - 35, 4*i - 3*u = i. Is 6 a factor of 724/10 - ((-3)/i + 1)?
True
Let c = 181 + -177. Suppose c*b - 4*u - 528 = 0, 5*u - 272 = -5*b + 398. Is b a multiple of 10?
False
Let j = 4032 - -4523. Is j a multiple of 30?
False
Let q = 1421 - 807. Let o = -552 + q. Does 31 divide o?
True
Suppose 4*c = 3*m - 1000, 17*m - 15*m = -3*c + 644. Is m a multiple of 6?
False
Suppose -51*m + 17202 + 39416 - 12707 = 0. Does 2 divide m?
False
Let t = 137 - 90. Let x = t + -43. Suppose 590 + 22 = x*i. Is i a multiple of 30?
False
Let w be 10 + 28/(-2) + 7. Let y = -17 - -38. Is 11 a factor of 217/y + 2/w?
True
Let f = 81 - -163. Suppose -2*u = -674 - f. Suppose -x - 4*x + u = 3*p, 0 = 4*x + 2*p - 368. Is x a multiple of 10?
False
Let o(m) = 379*m + 2913. Is o(19) a multiple of 33?
False
Suppose 4*x = 2*h - 248, -2*x + 6*h = 2*h + 124. Let v = -3 + x. Let g = v - -84. Is g a multiple of 6?
False
Let t = -44 - -73. Suppose -4*z - 2*r + 72 - 2 = 0, t = 2*z - r. Does 26 divide (1430/4)/(-11)*z/(-10)?
True
Suppose 3*l - 102105 = -3*k, -5*k = -197*l + 200*l - 170159. Is 9 a factor of k?
False
Suppose -5668*u - 1792920 = -5728*u. Is 134 a factor of u?
True
Let i be (-3)/2*(-10)/(-30)*0. Suppose i = 5*v + 2*w - 446, -3*w - w = -2*v + 188. Is v a multiple of 10?
True
Let u(s) be the first derivative of 3*s**2 + 10*s - 1. Suppose 0 = 413*r - 334*r - 474. Is u(r) a multiple of 15?
False
Let b be 0 + (-5)/(10/4) + 1. Is 2/(-4) + ((-197)/(-2) - b) a multiple of 9?
True
Suppose -w = -28*z + 31*z - 58486, 0 = 5*z - 3*w - 97458. Is z a multiple of 19?
True
Let j = -956 + 998. Let x(u) = -u**2 - 9*u + 5. Let n be x(-9). Suppose 0 + 15 = n*h, -2*t + j = 4*h. Does 5 divide t?
True
Suppose c = -4*w + 13534, 14*c = 2*w + 15*c - 6768. Does 10 divide w?
False
Let d(n) = -n**3 + 6*n**2 + 4*n + 16. Let a be d(7). Let f be (1*-1)/(6/90*1). Does 43 divide (-1)/a + (-1932)/f?
True
Let d(f) = 15*f - 13. Let j be d(3). Suppose -4*v = 4*i - j, 5*v - 3*v = -4*i + 38. Suppose 9*q - i*q + 240 = 0. Is q a multiple of 22?
False
Suppose -1160 = -14*a + 13*a + 3*k, -5*a - 3*k = -5836. Does 11 divide a?
True
Let y(b) = 6*b + 8. Let q be y(6). Let o = q - 65. Does 16 divide (-1316)/o - 4/(-3)?
True
Let q(x) = 5*x**2 + 5*x + 3. Suppose 0 = -5*n - 12 - 8. Let g be q(n). Let o = -50 + g. Does 3 divide o?
False
Let u(g) be the first derivative of 1/3*g**3 - 31/4*g**4 - 21 - 2*g - g**2. Does 16 divide u(-1)?
True
Suppose 0 = -3*w - i + 1, 0 = -5*w - 4*i + 3*i + 5. Suppose -24 + 20 = -w*d. Is 25 a factor of ((-36)/4)/3 - (-56)/d?
True
Suppose -3*v = -2*v - 2*w + 2, 3*v + 28 = -5*w. Let q = v + 10. Suppose 2*m + 3*x = 243, x = 5*x - q. Is 15 a factor of m?
True
Suppose 0 = 17*d - 11*d + 18. Is 34 a factor of (-3563)/(-21) + -2 - 1/d?
False
Let m(p) = -p**3 - 16*p**2 + 8*p + 9. Let d be m(-17). Is 36 a factor of d*2 - (6 - 6)?
True
Suppose -2*b + 12 = -4*r + 2, b + r - 2 = 0. Suppose -4*m - 53 + 959 = 2*v, 4*m - b*v = 901. Is 21 a factor of m?
False
Suppose t - 1917 = -2*n, -3*n = 544*t - 542*t - 3831. Does 21 divide t?
True
Let o = 459 - 455. Suppose -o*u = -3*v + 1123, 5*v - 2112 = 5*u - 242. Is 5 a factor of v?
False
Suppose -5*p + 10 = -5*x, 6 - 4 = -5*x + 3*p. Suppose 0 = 8*m - x*m - 1716. Is 11 a factor of m?
True
Let y = 6663 + -3511. Does 61 divide y?
False
Suppose 3*r - 4*n - 8 = -19, -26 = -2*r - 4*n. Suppose 3*f = -3, -3307 - 853 = -r*c - 4*f. Is 20 a factor of c?
False
Let p = 52 + -69. Let x = p + 21. Does 7 divide (-2)/(-2) - (-520)/x?
False
Let q(y) = y + 7. Let x be q(-6). Suppose x = -3*o - 3*n + 4, 0 = 3*n. Does 1