 51. Let w be o(-21). Suppose 19*d + w = 1218. Does 9 divide d?
False
Let i = 457 - 294. Suppose -37*r = -38*r - 72. Let q = i + r. Does 12 divide q?
False
Let t(z) = -28*z**2 - z + 48. Let k(s) = -28*s**2 - s + 48. Let y(u) = -3*k(u) + 2*t(u). Is 18 a factor of y(-6)?
True
Suppose -36929 = -2*a - 558*q + 555*q, 7 = -q. Is a a multiple of 39?
False
Suppose -98 + 1389 = 3*x - 5*p, 2*x + 3*p - 848 = 0. Is 3 a factor of x?
False
Suppose -45*f = -46*f + 59. Suppose f*m - 1720 = 49*m. Is m a multiple of 17?
False
Suppose 4*i + q - 188 = 5*q, -3*i + q + 145 = 0. Let m = 50 - i. Is 36 + (-7 - (-3 - m)) a multiple of 6?
False
Let l(z) = -2*z + 2. Let k = 29 - 20. Let i be l(k). Let t(p) = p**3 + 17*p**2 + 13*p - 22. Is t(i) a multiple of 10?
False
Suppose 14 = c - 4*p - 0*p, 3*p = 3. Let z(m) = m**3 - 18*m**2 + 2*m + 42. Let y be z(c). Suppose -3*t = 5*x - y, 0*x = -x - 3*t + 6. Is 6 a factor of x?
True
Let q(z) = 2403*z + 43. Let c be q(7). Is 12 a factor of 1 + (c/104 - (-2)/(-13))?
False
Let u be 2*49 + 1 - (20 - 21). Does 5 divide 20*(0 + 16/u)*25?
True
Suppose m - 42 = a, m = 2*a - 2*m + 79. Let r(o) = -o**2 - 71*o - 105. Is r(a) a multiple of 29?
False
Suppose -4*n + n = -5*q - 11, -n = 3*q + 15. Let m be (n - -11)*2/(-4). Is 4 + 8 + (m - -4) a multiple of 3?
True
Let q = 1192 - 797. Suppose -4*m + q + 151 = 3*p, -m + 2*p = -131. Does 27 divide m?
True
Let b be (-3296)/(-28) + 20/70. Let p = b - 76. Does 14 divide p?
True
Suppose 0 = 83*g - 88*g - 5*l + 50865, -40710 = -4*g + 5*l. Does 18 divide g?
False
Suppose -3457100 + 1176492 = -242*r. Is 70 a factor of r?
False
Suppose 0 = 25*o - 5*o - 9700. Let u = o - 364. Is u a multiple of 46?
False
Suppose 0 = -66*a + 1939 + 2483. Is 7 a factor of a?
False
Suppose 0 = -23*d + 49598 + 14227. Is d a multiple of 25?
True
Suppose 33605 = -195*d + 260*d. Is 4 a factor of d?
False
Suppose 5*p - d - 16 = 77, p = 4*d + 11. Suppose 0 = 22*x - p*x - 468. Does 12 divide x?
True
Suppose 5*h + 11211 = 3*t - 101, 2*t - 4*h - 7540 = 0. Is t a multiple of 111?
True
Let j = 1 + -4. Let s be 4 + 6/j - 0/(-6). Does 5 divide -5 + 3 + 54/s?
True
Let c(y) = -18*y - 110. Let q be -6 + -1 + -4 + 4. Is 8 a factor of c(q)?
True
Let j(n) = n**3 - 10*n**2 + 14*n - 17. Let l be j(9). Suppose -l*h + 6179 = 299. Does 15 divide h?
True
Let j(c) = 16*c**2 + 4*c + 8. Suppose k - 136 = v, 0 = -v - k - 3*k - 161. Let u = 137 + v. Does 31 divide j(u)?
True
Let h = -58 - -55. Let i be (h + (-18)/(-4))/((-4)/(-8)). Suppose 5*u - 119 = i*g + 142, 0 = 4*u + g - 219. Does 8 divide u?
False
Let t(o) = 5*o**2 - 6*o - 10. Let y(m) = -11*m**2 + 11*m + 19. Let c(l) = -13*t(l) - 6*y(l). Let a be c(-11). Suppose a*w - 492 + 82 = 0. Does 13 divide w?
False
Let h(l) = l**2 - 3. Let p(b) = -15*b**2 + 3*b + 8. Let f(i) = 6*h(i) - p(i). Is 17 a factor of f(-6)?
True
Suppose 134978 = -4*b + 3*a + 870978, 0 = -5*a. Is 8 a factor of b/175 - (-3)/(-7)?
False
Let n(u) = 9*u**3 + 2*u**2 - 2*u - 4. Let a be n(-3). Let i = a - -287. Does 5 divide i?
False
Suppose 43*o + 1684 = 47*o. Let h = o + -363. Is h a multiple of 58?
True
Let h(i) = i**2 + 5*i - 8. Let w be h(-12). Let z = w + -64. Is 4 a factor of z?
True
Let k(d) = -5*d**3 - 4*d**2 - 13*d + 10. Let u be k(-5). Suppose 13*c = 15*c - u. Is c a multiple of 25?
True
Let t be (1 - 0)*1 + -2 + 115. Suppose 0 = 16*b - t - 574. Is b a multiple of 4?
False
Let m = 88 - 72. Suppose -c = 3*h + m, 27 = -5*h - c - 1. Let i = 80 - h. Is i a multiple of 10?
False
Does 14 divide (-315)/(-175)*(-15)/9 - (-23162 - 0)?
False
Let k be 34*(0 - (-1)/2). Suppose 0 = k*n - 9*n - 1440. Is n a multiple of 15?
True
Suppose 4*k + 3*g - 24168 = -9430, -4*k + 14726 = 5*g. Is k a multiple of 44?
False
Let j(g) = 11*g**2 + 81*g - 540. Let b(r) = 3*r**2 + 20*r - 135. Let k(f) = 9*b(f) - 2*j(f). Is k(9) a multiple of 16?
True
Suppose -185*j - 222*j = -925925. Is 25 a factor of j?
True
Let d = 4737 - 3302. Let n = d - 653. Does 34 divide n?
True
Let p(d) be the second derivative of d**4/6 + 7*d**3 - 25*d**2 + 90*d + 2. Does 14 divide p(-30)?
True
Let y(o) = -o**2 + o + 12. Let w be y(3). Let s(p) = 3*p - 22. Let q be s(w). Does 30 divide (-1 - -7)/(q/(-140))?
True
Is 8 a factor of (-144115)/(-37) + 2 + 7?
True
Let s be 1*(3 + -9)/(-2). Let x be 8 + -12 + (s - -30). Is -6*(-1 - x/3) a multiple of 9?
False
Suppose -107*q + 116*q = 153. Suppose q*i = -9*i + 3666. Is 5 a factor of i?
False
Suppose -1345200 = -2514*i + 2495*i. Is 10 a factor of i?
True
Let g = -5410 - -5459. Suppose -5*v + 492 = 12. Let y = v - g. Is y a multiple of 22?
False
Suppose -90 = 5*w - 10*w. Suppose 6304 = -2*j + w*j. Is 9 a factor of j?
False
Let k(q) = q**3 + 14*q**2 - 17*q - 6. Let d(w) = w + 16. Let x be d(-16). Suppose -3*c - 35 = -2*c - 5*s, -5*s + 20 = x. Is 8 a factor of k(c)?
True
Suppose -g + 4*m - 208 = 243, 454 = -g + m. Let i = 548 - g. Is 17 a factor of i?
True
Let b(u) = 209*u**2 + 125*u + 7. Is 21 a factor of b(5)?
False
Let m(q) = -5*q**3 - q**2 + 4*q - 8. Let y = 148 - 153. Does 26 divide m(y)?
True
Does 44 divide 2 + 15/((-165)/(-2431))?
False
Let s = 366 - 336. Does 15 divide s/((1/6)/((-75)/(-45)))?
True
Is (1455/10)/(370/180 - 2) a multiple of 2?
False
Let x be (3*2/(-4))/((-27)/36). Suppose 2*t - 4*v = -0 - x, 4*v + 4 = 0. Does 30 divide 60*t*10/(-12)?
True
Suppose -14 = -5*x - s - 4, 0 = -5*x + 4*s + 10. Suppose -155 = -4*n + 37. Suppose -3*w + n = x*t, -4*t - 7*w = -2*w - 100. Does 10 divide t?
True
Suppose 2*o = -5*d + 27, 0*o - 7 = -d - 2*o. Suppose -10*v = -d*v - 1200. Suppose 8*q - 3*q - v = 0. Does 16 divide q?
True
Suppose -1045 - 1683 = -8*f. Suppose -74 = 5*q - t - f, q = -3*t + 63. Is 15 a factor of q?
False
Suppose 10885 = 2*m + 4003. Is m a multiple of 31?
True
Let k be ((-1)/(-2))/(1/2)*48. Suppose -50*h + k*h + 360 = 0. Is 20 a factor of h?
True
Is (-6)/9 + 717264/216 a multiple of 83?
True
Let j = 130 - 78. Let w = j + -64. Does 3 divide 15/(-20) + (-81)/w?
True
Suppose 69716 = 3*d + 5*s, 4*d - s - 46237 = 46733. Is d a multiple of 46?
False
Suppose 2 = i, 2*m - 165 - 361 = i. Is m a multiple of 12?
True
Suppose -4*u = -o - 6, 7*o - 3*o = 5*u - 2. Suppose -3*r + 135 + 1421 = u*l, -10 = 5*l. Is 13 a factor of r?
True
Suppose 2*o + c = -3*c + 366, 5*c = 0. Suppose 131*l = 134*l - o. Let t = 20 + l. Does 5 divide t?
False
Suppose -144*q = -146*q + 52. Suppose -15*o - 891 = -q*o. Does 40 divide o?
False
Suppose q = -3*v + 689, -2*q = v - 242 + 14. Suppose -x - 139 = -v. Is x a multiple of 13?
True
Suppose 0 = -2*l + 2*z - 7 - 11, 5*l + 6*z = -34. Suppose 5*o - 34 = -2*g - 100, o = -3*g - 8. Does 18 divide (-426)/l + o/56?
False
Suppose -15*u = -3*i - 10*u - 32, 0 = 4*i + 4*u. Is 2 + 35 + (i - -7)*1 a multiple of 22?
False
Suppose 32*g = 4*g + 61152. Is g a multiple of 13?
True
Does 4 divide (-531)/(-36) - 14 - 7089/(-4)?
False
Let a be 17 + 3 - (7 - 8). Does 21 divide 2799/a + 6/(-21)?
False
Let a(d) = -326*d + 12. Let z(p) = -652*p + 22. Let n(i) = -5*a(i) + 2*z(i). Is n(1) a multiple of 17?
False
Suppose -5*g + 5 = 0, 5*w - 3*g - 1550 = -8*g. Suppose -w = -a + 37. Does 11 divide a?
False
Let y(h) = 10 + 4*h**2 + 32*h - 36*h + 17. Is 43 a factor of y(-9)?
True
Suppose -22881 - 1351 = 52*a. Let o = a - -1186. Is o a multiple of 40?
True
Let f(o) = o**2 - 18*o + 723. Does 183 divide f(113)?
False
Suppose 3*u + 15 = -5*v, 0*u - u - 5 = -2*v. Let l(w) = -29*w + 6. Let x be l(u). Suppose -5*j - 6 + x = 0. Is j a multiple of 13?
False
Suppose -79*d + 15 = -74*d. Is -3 + 2120/d + 31/93 a multiple of 64?
True
Let v(t) = 14*t**2 + t - 2. Let y(s) = -s**3 + 2*s**2 - s - 1. Let x be y(2). Let h be -1 + (x - 1 - -3). Does 26 divide v(h)?
True
Suppose -3*y + 100248 = -4*l, 0 = -y + 394*l - 397*l + 33390. Is 9 a factor of y?
True
Suppose -1845 = -0*u - 5*u. Suppose 0 = -4*w + 15 + u. Is 24 a factor of w?
True
Let q(j) = 7*j - 8. Let u(i) = 3*i - 4. Let f(k) = 4*q(k) - 9*u(k). Let r be f(1). Suppose 0 = r*b - 4*p - 157, 0*p + 20 = b + 3*p. Is 5 a factor of b?
False
Let r(i) = -11*i - 40. Let p(a) = 6*a + 2. Let j be p(-2). Let h be r(j). Suppose 65*u + 495 = h*u. Is u a multiple of 24?
False
Suppose -27*u = -22*u - v - 17261, -6*v + 17219 = 5*u. Does 25 divide u?
False
Is 2/(4 + (-628716)/(-125741) + -9) a multiple of 16?
False
Let r = 164 +