t(-9). Suppose 0 = 2*f + b*o - 162, 0*f + o - 306 = -4*f. Is f a multiple of 22?
False
Let z = -969 + 5695. Suppose -4*y = 4, 8*q = 3*q + y + z. Is q a multiple of 21?
True
Let o = -3337 - -6427. Does 3 divide o?
True
Let x(b) = 62*b**2 + 35*b + 154. Is x(-5) a multiple of 139?
True
Suppose 5*v + 375 = -3*x, 4*x = -4*v - 238 - 262. Let b = x + 346. Is 22 a factor of b?
False
Let h be 4/(-2 - -6)*1. Suppose d + h = 0, d - 3*d - 18 = -4*b. Is 2 a factor of b?
True
Let y(k) = k**2 + 26*k + 162. Let n be y(-7). Let l = n - -47. Is l a multiple of 19?
True
Let u = -33 + 94. Let c = u - 49. Does 32 divide 4/(c/387) - -1?
False
Let r(n) = n**3 + 27*n**2 + 8*n - 62. Let h(m) = -m**2 + 8*m + 22. Let v be h(-4). Let g be r(v). Let d = g - 281. Is d a multiple of 18?
False
Let l be ((-40)/12)/(16/(-24)). Suppose -l*h - 148 = -4*s - 788, -600 = -5*h - 4*s. Does 31 divide h?
True
Let b(f) = -35*f**2 - 22*f - 40. Let u be b(-6). Let i = u - -2204. Does 12 divide i?
False
Suppose 65*s - 1782 = 48138. Is s a multiple of 10?
False
Suppose 51*y = 78*y - 20196. Is 3 a factor of y?
False
Let c be (6/((-2)/3*-1))/1. Let s be (4 + -4)/3 + c. Does 2 divide (-74)/(-8) - s/(-12)?
True
Is (35 + -9)*67639/26 a multiple of 19?
False
Let i(c) = 57*c**2 - 2*c - 45. Is 24 a factor of i(5)?
False
Let r = -167 + 184. Suppose -336 = 13*k - r*k. Does 12 divide k?
True
Suppose 2*n + 9*q - 176 = 13*q, -q + 299 = 3*n. Does 8 divide n?
False
Let d(w) = 685*w**3 + 2*w**2 + 4*w - 5. Let c = 497 + -496. Does 42 divide d(c)?
False
Let l(w) = w**3 - 3*w**2 - 30*w + 17. Let z be l(7). Is (3*31/z)/(5/65) a multiple of 31?
True
Let v = -71789 + 102325. Is v a multiple of 324?
False
Let y be -9 + 732/6 + 0. Suppose -108 = 4*p - p. Let i = y + p. Does 11 divide i?
True
Let q = -214 - -281. Let c = 169 + q. Is 3 a factor of c?
False
Suppose 2*a - n = -0*a + 315, -4*a = -n - 635. Suppose 6*q = 38 + a. Is 2 a factor of q?
False
Let x(w) = 6*w**2 + 79*w - 76. Does 120 divide x(28)?
True
Does 9 divide 1/((-8)/121824*-18)?
True
Let p = -6 + 119. Is 7 a factor of (((-30)/4)/1)/(p/(-1582))?
True
Let w = -548 + 9112. Does 88 divide w?
False
Suppose -3*f + 1602 = t, -4*f - 8027 = -5*t - 2*f. Suppose 4*c - t + 205 = 0. Is c a multiple of 25?
True
Let k = 2458 + 62. Does 56 divide k?
True
Is (-58)/87 - 54192/(-18) a multiple of 6?
False
Let y(v) = 13*v**3 + 2*v**2 + 33*v - 54. Is y(5) a multiple of 133?
False
Let x(a) = 28*a - 5. Let r be x(1). Let i = 28 - r. Does 2 divide (2/(2/3))/(i/20)?
True
Suppose 522 = -5*u - 38. Suppose 2*j - 786 = 14*i - 9*i, i + 2*j + 162 = 0. Let k = u - i. Does 35 divide k?
False
Suppose -4*d + 1 = -5*d. Let q be d*1*-512 - 4. Does 17 divide (q/8)/(4/16)?
False
Let t(h) = 5*h - 33. Suppose 20 = 6*p - 2*p. Suppose 0*o - 5*x - 15 = -2*o, p*x + 75 = 5*o. Is t(o) a multiple of 12?
False
Let c = -1072 - -2917. Suppose -3*f + 0*f = 3*n - c, 2*n - f = 1233. Does 11 divide n?
True
Let h = -58 - -59. Let q be h + 684 - (0 - 3 - -5). Suppose -2*t + 684 = 2*t - 4*f, 4*t - 5*f = q. Does 43 divide t?
True
Suppose -2*k = 3*q - 91175, -60786 = 154*q - 156*q - 4*k. Does 17 divide q?
False
Let n(v) = 32*v**2 - 19*v - 45. Let b = -762 - -759. Is n(b) a multiple of 3?
True
Suppose -4*b + 105 = 53. Suppose b*g + 150 = 38*g. Does 6 divide g?
True
Let v(q) = -71*q - 65. Let z be v(-1). Suppose -42*a + 11952 = -z*a. Does 10 divide a?
False
Let b = -2247 + 2315. Is b a multiple of 15?
False
Suppose -34*i + 39215 + 6128 = -56793. Does 4 divide i?
True
Let v(z) = z**3 + 63*z**2 + 132*z + 144. Does 33 divide v(-60)?
False
Let q = 4856 - 2272. Is q a multiple of 101?
False
Let b = 318 - 117. Let h = b - 161. Is h a multiple of 14?
False
Let b(o) = 106*o + 1677. Is 81 a factor of b(-12)?
True
Let b = -3204 - -12906. Is 8 a factor of b?
False
Let x = 1199 + -824. Let q = x - 253. Is q a multiple of 21?
False
Let w(a) = -1416*a + 1202. Is w(-6) a multiple of 26?
True
Let o(i) be the second derivative of i**4/12 + 4*i**3/3 - 6*i**2 + 86*i. Is o(-12) a multiple of 4?
True
Suppose 0 = 2*w + 18*y - 20*y - 26350, 4*y = 5*w - 65875. Is w a multiple of 40?
False
Let f = -1509 - -2503. Suppose -3*p - f = 4*p. Let x = p + 287. Is x a multiple of 29?
True
Let g = -11 + 17. Suppose -4*h = -26*v + 28*v + 2, 22 = h - 4*v. Is 23 a factor of (-67 - h)/(g/(-4))?
True
Let d be 6*(-4)/(2 + 2). Let g be (8/d + 0)/((-9)/(-27)). Is 38 a factor of (-129 + g)*1*(-12)/14?
True
Let p(c) = -462*c**3 - 7*c**2 + 83*c + 392. Is 54 a factor of p(-4)?
False
Let i(t) = -4*t**2 - 17*t. Let c be i(-4). Suppose 8 = c*a, -4*p - 3*a = -2*p - 160. Suppose -2*m - 4*k = k - p, -m + 31 = k. Is m a multiple of 2?
True
Suppose 93*u - 107*u = -336. Is (u/(-5))/((-6)/1420) a multiple of 58?
False
Suppose 249*k = -37*k + 30*k + 2142976. Does 27 divide k?
False
Let n(k) = 12*k + 4. Let q be n(-1). Let v be q/(-10) + (-372)/(-60). Is 11 a factor of (59 + v)*1/2?
True
Suppose 19*x - 6*x = -260. Let s be (-528)/(-5) + 0 + 12/x. Does 25 divide 11625/s + 4/14?
False
Let z(b) = 109*b - 33. Suppose 2*m + 2*a = -2*a, a - 6 = -2*m. Is 13 a factor of z(m)?
True
Let h = 65 - 63. Suppose 3*g - 604 + 106 = -5*t, 3*g = h*t - 216. Is 17 a factor of t?
True
Suppose -9 = -2*y + 3*p + 8, 4*p = -12. Let b be ((-4)/7)/(y/(-14)). Suppose -b*q + 246 = 3*m, 0 = -3*q + 3*m + 198 + 201. Does 16 divide q?
False
Let i be 171/(-63) + 3 + (-46572)/(-21). Let f = -1548 + i. Is f a multiple of 10?
True
Suppose 12*n - 26 = -n. Suppose -n*p + p - 5*s + 769 = 0, 3*s = -5*p + 3779. Does 60 divide p?
False
Suppose 0 = -15*s + 64 + 11. Let g be 12/(-42) + (-30)/(-7). Suppose -969 = -g*l - s*z, -8 - 4 = 4*z. Is l a multiple of 24?
False
Suppose 0 = -3*k + 2*s - 8, 1 - 9 = 5*k - 2*s. Let i(v) = 2*v**2 - v - 59. Let t(y) = 3*y**2 - y - 120. Let b(l) = 5*i(l) - 3*t(l). Is 47 a factor of b(k)?
False
Let v = -7491 + 10636. Is v a multiple of 17?
True
Let t = -249 - -168. Let y = t + 158. Suppose j = 8*j - y. Does 11 divide j?
True
Let b(w) = 70*w**2 - 4*w + 48. Let y be b(6). Suppose 357*n - 361*n + y = 0. Does 12 divide n?
True
Does 61 divide (-329)/3290 - 1201/(-10)?
False
Suppose 3*y - 84 = 2*y. Suppose g - y = -5*q, -2*g - 4*q - 44 = -230. Is 9 a factor of g?
True
Let q(k) = 7*k**3 + 5*k + 3. Let p be q(4). Suppose 4*y + 163 - p = 0. Suppose j + 6*j = y. Is 10 a factor of j?
False
Let q = -36178 + 40610. Does 14 divide q?
False
Let y(c) = 31*c**2 + 34*c - 393. Does 18 divide y(17)?
True
Let o(v) = -2*v + 3*v**2 - 2*v**2 + v + 12. Is o(5) a multiple of 32?
True
Let r(t) = t**3 - 12*t**2 + 16*t + 11. Let y be r(10). Let b(j) = -12*j + 164. Does 64 divide b(y)?
True
Suppose -14*h = 3 - 3. Suppose -v - 3*t + 295 = 0, h = -t - 1 + 6. Is 14 a factor of v?
True
Let p(x) be the second derivative of 3*x**2 + 0 + 17*x + 1/20*x**5 - 5/2*x**3 + 0*x**4. Is 39 a factor of p(6)?
False
Suppose 132*z = 128*z + 2504. Let r = z + -285. Is 31 a factor of r?
True
Is ((-20)/(-6) + (-4402)/651)*-6195 a multiple of 295?
True
Suppose -2*l = -3*u - 32, 10 = 5*u + 5*l + 80. Let v(c) = 5*c - 27*c - 19 - 2*c + 9*c - c**2. Is v(u) a multiple of 14?
False
Let m(n) be the first derivative of n**4/4 - 46*n**3/3 + 30*n**2 - 15*n - 43. Is 22 a factor of m(45)?
True
Suppose -61*n = 5*n + 72210 - 477978. Is n a multiple of 41?
False
Suppose 35*s - 160845 = 570305. Does 10 divide s?
True
Suppose 43*m - 32695 = 42*m + 3*f, -5*m = -f - 163447. Does 349 divide m?
False
Suppose -201*z - 1402396 = -3469956 - 3837820. Is z a multiple of 130?
True
Is (696/(-40))/((-45)/43950) a multiple of 58?
True
Suppose -4*k - 18*k = 330. Let u = k + 49. Does 4 divide u?
False
Is -6 + (-765)/(-119) + 10298/14 a multiple of 8?
True
Suppose 7 = 2*u - 1. Let q = 145 + u. Suppose -4*l + q = -3*l. Is l a multiple of 19?
False
Let i be ((4 - 4) + -3)*6/9. Is 48 a factor of -11 + 14 + (-1342)/(-2) + i?
True
Suppose 38*m - 14*m = 66696. Does 11 divide m?
False
Let l = 13 + -74. Let c = 3 - l. Suppose -c = -2*j + 3*t, t = 5*j - t - 182. Is j a multiple of 10?
False
Suppose -y - 2*m = 2*m + 9, -5*m = 10. Let f be (-616)/40*5/y. Let c = -25 + f. Is 4 a factor of c?
True
Let m(a) be the second derivative of 3*a**5/5 - a**3/6 + a**2/2 - 3*a - 17. Let i be m(1). Suppose l = -3*d + 129, -4*l = -0*l - i. Is d a multiple of 7?
True
Let c = 22 - 23. Let i be 