2. Let u be 0/1 + 3 + k. Suppose 4*q - u*q - 45 = 0. Is 9 a factor of q?
True
Let d = 2844 - 2677. Does 5 divide d?
False
Does 10 divide (188/94)/(3/768)?
False
Let m be ((-6)/(-28) + 6/21)*4. Suppose 0 = -5*j + m*q + 112, 0*j + 36 = 2*j - 3*q. Is 15 a factor of -10*1/((-4)/j)?
True
Let j be (6 - 30/4)*(-1 - 1). Suppose -8*n + 3*n = 2*o - 1574, 2*n + j*o = 623. Is 14 a factor of n?
False
Suppose -130*v - 3*o + 2294 = -129*v, -2*o = 3*v - 6903. Does 19 divide v?
False
Let q be (-7 - (-89628)/15) + 2/(-10). Suppose 593 + q = 9*d. Is 27 a factor of d?
True
Let n(d) = d**3 + 6*d**2 - 6*d + 9. Let w be n(-7). Suppose 0 = -w*v + 337 - 13. Does 18 divide v?
True
Suppose 8317 = -2*o - 3*b - 794, 0 = -o - b - 4554. Let t = o - -10126. Suppose 15*l - t + 2170 = 0. Does 23 divide l?
False
Suppose -3*x - 3916 - 4353 = -g, 0 = -2*g + 5*x + 16542. Is g a multiple of 13?
True
Suppose 0 = 31*h - 39*h - 1448. Let a = -119 - h. Is a a multiple of 62?
True
Let z = -344 + 494. Suppose 3841 - 229 = -43*h. Let j = z + h. Does 33 divide j?
True
Let m(u) = 1 - 3*u + 0*u - 7 + 638*u**2 - 5*u. Is 64 a factor of m(-1)?
True
Let a = -5133 - -10033. Is a a multiple of 196?
True
Let n = 782 + -757. Let a(c) = 57*c - 45. Does 69 divide a(n)?
True
Suppose -4*j + 2 = -6*p + 5*p, 0 = 3*p - 4*j - 2. Suppose 3*x + 5*a - 674 = 219, p*x = a + 591. Is x a multiple of 8?
True
Let o(s) = -10*s**3 - 3*s**2 - 3*s - 12. Suppose 415 = -7*k + 394. Is 15 a factor of o(k)?
True
Let q be (4 - (-345)/2)*(1 - 3). Let o = q - -543. Is 8 a factor of o?
False
Does 76 divide 3/(-6)*(62175470/(-976) - (-6)/16)?
False
Suppose 0 = 10*w - 12 - 38. Suppose 0 = -4*i - 5*p - 229, -p - 329 = w*i - 69. Let d = 187 + i. Is d a multiple of 34?
True
Does 66 divide ((-22)/(-8))/((-7)/(-12236))?
False
Let p(j) = -23*j**2 - 315*j + 2. Is p(-6) a multiple of 5?
False
Let q be (-1 + (-2280)/4)/(2/4). Let c = -625 - q. Suppose -1 = -o, 0 = 4*l + 6*o - o - c. Is l a multiple of 32?
True
Suppose -42*j = -45*j - 9. Let x(l) = -16*l**3 + 4*l**2 + 7. Does 16 divide x(j)?
False
Let y(u) = 3*u**2 - 4*u - 22. Let p = 60 - 67. Let k(x) = -x - 12. Let d be k(p). Is 26 a factor of y(d)?
False
Let s(p) = 10*p + 364. Suppose 68*q = 78*q - 230. Is s(q) a multiple of 11?
True
Is 113 a factor of (-6*(-3)/(-6))/(-15 - 1245780/(-83055))?
True
Let x = -14140 + 22215. Is x a multiple of 85?
True
Let f = 252 - 105. Suppose 0 = 2*x + f - 171. Is 6 + (1 - (x/(-2) + 3)) a multiple of 2?
True
Let d(a) be the third derivative of 5*a**4/12 - 11*a**3/3 - 60*a**2. Does 3 divide d(6)?
False
Let h = 206 + 354. Let k = h - 488. Does 3 divide k?
True
Let x(b) = 2*b**2 + 11*b + 35. Let j be x(-5). Suppose 2226 = -16*m + j*m. Is m a multiple of 53?
True
Let y = 63 + -62. Let t(m) = 2*m - 2. Let k be t(y). Suppose -3*i - i + 60 = k. Is 5 a factor of i?
True
Suppose 111*g - 1825950 = 17*g. Does 37 divide g?
True
Suppose 2092 + 19283 = 15*i. Is i a multiple of 75?
True
Let h(w) = w**3 - 16*w**2 + 31*w - 313. Is h(22) a multiple of 19?
False
Let p(z) = -3*z**2 - 295*z + 12303. Is p(0) a multiple of 3?
True
Let d = -4143 + 4904. Does 2 divide d?
False
Suppose 72*p - 73*p - 3*n + 13097 = 0, 0 = 5*p - n - 65405. Does 69 divide p?
False
Let r(h) = -8*h - 5. Let b be r(-1). Suppose 3*t = 0, -b*w + 1671 = 3*t + t. Does 19 divide w?
False
Suppose -4*b - a = 3*a + 108, 0 = 2*b + a + 53. Let f = b + 9. Let d(p) = -p**3 - 18*p**2 - 16*p + 22. Does 2 divide d(f)?
False
Suppose -46*s + 4194 = -55*s. Let b = 1135 + s. Is 13 a factor of b?
False
Let i be -38*60/(-8) - (-5 - -2). Let p = i - 200. Is p a multiple of 2?
True
Let m(f) = -15*f - 4. Let r be (-552)/(-10) + ((-63)/15 - -5). Let j = -60 + r. Is 8 a factor of m(j)?
True
Suppose 789 = 2*f - 3*m - 2*m, -f - m + 412 = 0. Let c = 426 - f. Does 3 divide c?
False
Suppose 6*a - 16380 = 4*o, -2*a + 5*a - 8154 = -4*o. Is a a multiple of 94?
True
Let c(y) = -y + 1. Let t be c(-9). Suppose -3*q + 1074 = 3*r, -r + 8 = t. Is 40 a factor of q?
True
Is 4 + (-872)/763*(-9226)/4 a multiple of 12?
True
Let w(d) = 353*d**2 - 34*d + 3. Is 111 a factor of w(5)?
True
Let r be (-3 + 13/3)/(2/6). Is ((17 - 6) + r)*(25 - -2) a multiple of 27?
True
Suppose 0 = -3*r + 3*n + 4305, -2864 = r - 3*r + 5*n. Suppose -4*p - 418 = 4*v - 1574, -5*p + r = -3*v. Is p a multiple of 21?
False
Let y = 196 + -189. Suppose -5*u = 4*g - 168, -y = 3*u - g - 118. Does 2 divide u?
True
Let p(w) be the second derivative of -w**4/12 + w**3/6 + w**2/2 + w. Let k(c) = -12*c**2 - 5*c - 2. Let v(g) = -k(g) - 3*p(g). Is 2 a factor of v(-1)?
True
Let s(m) = 20*m + 2668. Does 18 divide s(62)?
False
Does 22 divide -6 + (-231)/(-35) + 75213/45?
True
Let j(w) = 12*w**2 - 11*w - 14. Let x(i) = -13*i**2 + 12*i + 15. Let m(v) = 6*j(v) + 5*x(v). Suppose 0 - 3 = r. Is 18 a factor of m(r)?
True
Suppose -42*j + 11*j = -190650. Suppose 17*i + 166 = j. Is 13 a factor of i?
False
Suppose -148*r + 1508126 = -843844 + 662846. Does 113 divide r?
True
Let r = 858 - 608. Suppose -l + r = 2*f, -5*l - 74*f + 79*f + 1205 = 0. Is l a multiple of 18?
False
Let z(k) be the third derivative of 17*k**7/2520 + k**6/240 - k**5/60 - 17*k**4/12 + 35*k**2. Let u(q) be the second derivative of z(q). Does 17 divide u(3)?
False
Suppose 11369 = 5*a + 3*i - 7646, -6*i = 4*a - 15212. Does 5 divide a?
False
Let q = -43 - -63. Suppose q = 5*l - y, 2*y + 12 = 5*l - 2*l. Suppose -2*i + 60 = 2*s, 5*s = 5*i - l*i + 150. Is 15 a factor of s?
True
Is (2 + -143)*(24 - 37) a multiple of 13?
True
Suppose 7*o + 0 = 49. Suppose -3*r + o = k, 3*k + 10 = k. Suppose -2*d + 672 = r*d. Is d a multiple of 28?
True
Suppose -5*p - 22 = -17, -6*q + 3*p + 88707 = 0. Is 84 a factor of q?
True
Let k(w) = w**3 + 10*w**2 - 8*w + 27. Let p be k(11). Suppose 656 - p = -19*r. Is r a multiple of 48?
True
Let m(t) = 62*t**2 + 3*t + 35 + 32 - 64. Let q be m(-2). Suppose -i + z - 91 = -3*i, 0 = -5*i + z + q. Is 16 a factor of i?
True
Suppose -18*h + 22124 - 4268 = 0. Suppose 4*p - h = -84. Is p a multiple of 4?
False
Let c = 12624 - 4624. Does 125 divide c?
True
Let k = -4199 - -7180. Is k a multiple of 41?
False
Let k be 0 + (-1)/((-1)/6). Does 15 divide ((-32)/k + -1)/(2/(-180))?
True
Let o(x) = x**2 + 9*x - 618. Is 12 a factor of o(-66)?
True
Let s(m) = 20*m - 32*m + 1 - 2. Suppose b = -72 + 66. Does 8 divide s(b)?
False
Suppose 2*x + 740 = 4*z, 247*z + 924 = 252*z - 3*x. Is z a multiple of 3?
True
Suppose -2*u + 5*q + 355 = 0, -3*u + 2*u - 4*q + 158 = 0. Is u even?
True
Suppose 0 = -3*i - 0*p + 5*p + 2724, 0 = -i - 4*p + 925. Let z = -679 + i. Is z a multiple of 39?
True
Let f(s) = 72*s**2 + 22*s + 53. Let u be f(-3). Suppose 5*o - 6*o = -5*r - u, 1885 = 3*o + 5*r. Does 9 divide o?
True
Let h = -304 + 305. Is 26 a factor of ((-834)/12 - h)*-6*1?
False
Let n(y) = -y**3 + 9*y**2 - 4*y. Let r = -17 - -19. Suppose -2*x = r*x - 20. Does 36 divide n(x)?
False
Let n be (991 - 1)*-1*(-51)/102. Let s = 124 + n. Does 12 divide s?
False
Let h(q) = -194*q**2 - 3*q - 1. Let y(p) = -388*p**2 - 5*p - 2. Let a(g) = 5*h(g) - 3*y(g). Is 15 a factor of a(1)?
True
Let v(i) = 17*i**3 - 20 - 18*i**3 - i - i**2 - 10*i**2. Let a be v(-12). Suppose 3*j - 6*j = -4*z - 154, 2*j - a = -4*z. Does 12 divide j?
False
Let c = 1579 + -292. Does 30 divide c?
False
Does 15 divide (21*7692/42)/(1 - -1)?
False
Does 22 divide 11/((2/(-369))/(112/(-42)))?
True
Let w = -91 + 96. Suppose 2*r + 2*b = 208, 12*r - 15*r = w*b - 310. Does 4 divide r?
False
Let o(c) = 4*c**2 - 113*c - 817. Does 10 divide o(-7)?
True
Let s be -7*3*(-20)/(-15). Let a = s - -31. Suppose 0 = 2*k - 4*q + a*q - 271, -5*k + 670 = 5*q. Is 15 a factor of k?
True
Suppose 20*k - 3*k - 79290 = 2*k. Does 80 divide k?
False
Suppose 5*o + 8 = 2*m, 9*m = 4*m + 3*o + 39. Let w be 12/4*(-3)/m - 5. Let z = 50 - w. Is z a multiple of 8?
True
Is 9 a factor of 2 - ((13 - 11) + -9774)?
True
Let a be -18 - 6/2 - 2/(-1). Let l(q) = q**2 + 20*q + 19. Let h be l(a). Suppose -4*c + 57 = -y - 165, h = 3*c - 5*y - 175. Is c a multiple of 8?
False
Let r be ((-22)/26 - -1) + 6360/65. Suppose 0*o = -7*o + r. Does 6 divide o?
False
Let r be 0*1/(-2) + 6. Suppose r*y + 588 = 20*y. Does 11 divide y?
False
Let u = -103 + -91. Is 20 a factor of (7 + u)*2/(-1*2)?
False
Let s(b) = -14*b + 15*b - 24 + 14*b - 2*b. Is 9 a factor 