 = 4, 5*s + w*p = -133 + 1971. Does 60 divide s?
False
Let l(g) = -1316*g + 323. Let m(k) = 439*k - 109. Let a(z) = 6*l(z) + 17*m(z). Is 75 a factor of a(-2)?
False
Let b = 38 + -38. Suppose 4*d + 15 = v, b = -3*v + 3*d - 0*d + 18. Does 7 divide (55/(-30)*-4)/(1/v)?
False
Let b(f) = 3*f**2 + 9*f - 10. Suppose 66 = 8*r + 2. Does 15 divide b(r)?
False
Let x be ((-3)/(-12))/(5/1420). Suppose 3*r = -4*o + 88, 53 = 5*r + o - x. Does 12 divide r?
True
Let y(t) = -246*t**2 - 8*t - 4. Let s be y(-1). Let l = 840 + s. Is l a multiple of 22?
False
Let n = -24 + 20. Let o be n*5/(-10)*5. Suppose 9 = o*d - 7*d. Does 3 divide d?
True
Let v = 18 - 14. Suppose -18*n + 112 = -2*n. Suppose v*p + n*b - 2*b = 148, -3*p + 122 = b. Is 5 a factor of p?
False
Let n = 172 - 861. Let z = -450 - n. Is z a multiple of 33?
False
Suppose -5*h - 3*a = -24 - 7, 0 = 2*h - 3*a - 4. Suppose 8 = -3*c - h*r - 1, 2 = 4*c + 2*r. Is (1 - -42) + -2*c/(-4) a multiple of 5?
False
Let w = 94 - 55. Let p(k) = -1 - k - 4*k - w*k. Is p(-1) a multiple of 6?
False
Let z(v) = -8*v + 706. Let h be z(74). Suppose -2*b - 116 = -0*b. Let q = h - b. Is q a multiple of 17?
False
Suppose -142359 = -5*d + 102*y - 105*y, 3*d + 5*y = 85425. Is d a multiple of 26?
True
Let k(b) = 3*b**2 - 1 + 3*b**2 - 2*b**2 - 4 + 2*b. Let c be k(5). Suppose -d = 5*t - c, -5*d + 2*d + 230 = -2*t. Does 8 divide d?
True
Let j = 24 + -23. Let o be 0/(-7) + 1 + (j - -1). Does 9 divide (o/(-2))/(36/(-3288))?
False
Suppose 32400 = 154*o - 129*o. Let t = 10 - 1. Suppose -c + t*c = o. Does 9 divide c?
True
Suppose 132*w - 1035111 = 365409. Does 95 divide w?
False
Let i(j) = -14*j + 183 - 20*j - 40*j. Is i(-23) a multiple of 29?
True
Is 16 a factor of (-90)/4*(-171306)/465?
False
Suppose 17603 = 25*o - 9922. Suppose 0 = 7*t - 8384 - o. Is 18 a factor of t?
False
Suppose 2*u + 25 = 5*u - 5*s, u + 3*s + 1 = 0. Suppose 595 = 5*l + 3*t, u*t = l + 32 - 179. Is l a multiple of 37?
False
Suppose 4136 = 24*v - 3136. Suppose 0 = -5*m - 73 + v. Is m even?
True
Let u(k) = -3*k**2 + 42*k. Let z be u(14). Suppose z = 3*n - 11*n + 3472. Let x = -306 + n. Is x a multiple of 14?
False
Let l(m) = m**2 - 2*m - 20. Let d be l(6). Suppose 0 = -2*z - 2, d*z - 24 = -o + 3*o. Let g = -11 - o. Is g a multiple of 2?
False
Suppose 8*n - 4*n = 0. Suppose 5*o + 44 = 4*i, -4*i = -n*i - o - 60. Is 4 a factor of i?
True
Let j be (24/30)/(-2) - (-22)/5. Is -3 + j - (7 + -150) a multiple of 12?
True
Let z(g) = -g**2 - 11*g + 784. Does 32 divide z(-27)?
True
Suppose 14*f - 349820 = -25*f - 18944. Does 21 divide f?
True
Let r(g) = 13*g**2 - 48*g - 1653. Does 15 divide r(-42)?
True
Let w be (-354)/(0 + (0 - 1)) - 0. Let x = w - 156. Is 11 a factor of x?
True
Let h = -12502 + 24502. Is 5 a factor of h?
True
Let r = -17353 - -32558. Is r a multiple of 65?
False
Suppose 4*l = -v + 12, -v = 2*l - 0*l - 8. Suppose 2*h = l*i + 58 + 168, -4*h = 2*i - 440. Is 17 a factor of h?
False
Let x be (7/(-28))/((-1)/8). Suppose -1197 = -x*p - 135. Is 16 a factor of p?
False
Suppose -17*x + 31710 + 16096 = -15*x. Is x a multiple of 11?
True
Let s(q) = 247*q - 1. Let n be s(-1). Is (n - 12/(-3))*-2 a multiple of 29?
False
Suppose 10 = -1014*o + 1009*o, -2*o - 44836 = -z. Does 16 divide z?
True
Let s(i) = -229 + 112 + 44*i + 128. Let y(n) = 5*n**3 - n. Let j be y(1). Is 17 a factor of s(j)?
True
Let p = 113 + -109. Suppose p*x - 5*x = -3*w - 77, -3*x = -2*w - 245. Is 8 a factor of x?
False
Does 9 divide (-2140)/8*108/(-270)?
False
Suppose -5*r - 7*h + 4*h = -111132, -3*r + 2*h + 66664 = 0. Suppose 5*w = -19*w + r. Is w a multiple of 44?
False
Let m be 218/(-6) - (-5)/15. Let l = m + 41. Suppose -4*p - 172 = -4*q, l*q + 0*p - 250 = -2*p. Is 6 a factor of q?
True
Suppose -91*n + 1428 = -77*n. Does 4 divide 5236/n - 4/(-6)?
True
Let j = 7549 - 612. Does 87 divide j?
False
Suppose -2*q = -0*q + 88. Let m = 58 + q. Suppose 10*f - m*f = -112. Does 6 divide f?
False
Let m(x) = x**2 + x + 1. Let l be m(-2). Suppose l*j = -8*j - 352. Does 13 divide 3/(j/(-26) - 1)?
True
Suppose 345 + 134 - 50 = 3*j. Is j a multiple of 3?
False
Let w(h) = -5*h + 249. Let l(k) = -2*k**2 - 35*k - 8. Let j be l(-18). Is w(j) a multiple of 29?
False
Let n be 380*(24/110 + (-12)/(-66)). Let i = n + -116. Is 12 a factor of i?
True
Let g(t) = -t**3 + 32*t**2 - 19*t + 20. Let r(w) = 2*w**2 + 2*w - 29. Let f be r(5). Does 28 divide g(f)?
True
Let l(y) = -5*y + 42. Suppose -2*r + 34 = -4*j, -2*r = 3*r + 2*j - 25. Let b be l(r). Suppose -23*q = -b*q - 496. Is q a multiple of 7?
False
Let b(t) be the third derivative of t**8/20160 - t**7/5040 + t**6/240 + t**5/30 - 14*t**2. Let u(v) be the third derivative of b(v). Is 2 a factor of u(3)?
False
Let a = 8580 + -5865. Is 15 a factor of a?
True
Let l = 2464 + -2154. Does 30 divide l?
False
Let i(l) = 2*l**2 - 4*l. Let w(a) = 6*a**2 + 5*a + 6. Let x(z) = -5*z**2 - 4*z - 5. Let k(r) = 6*w(r) + 7*x(r). Let s be k(-3). Is 8 a factor of i(s)?
True
Let d = 34959 + -16719. Is d a multiple of 8?
True
Suppose 2*c - 4*i = -24, 4*c - 1 + 63 = i. Does 52 divide c - -827 - (1 + 5)?
False
Let v(s) = -s**2 + 8*s + 27. Let n be v(11). Let z be (3/3)/((-2*1)/n). Suppose z*c + 0*c = 156. Is 13 a factor of c?
True
Suppose 4*f - 5*o + 2*o = -27, -o - 4 = 3*f. Let c(d) = 67*d**2 - 5*d - 24. Is 66 a factor of c(f)?
True
Let m(b) = b**2 - 26*b + 34. Let p be m(25). Suppose 0 = n - p*n + 56. Suppose 1368 = 2*v + n*v. Is 14 a factor of v?
False
Let i(v) = -v**2 - 34*v + 155. Let n be i(4). Suppose n*m - d = 1164, -3*m - 3*d + 1164 = d. Is m a multiple of 18?
False
Is (-267)/712 + (1 - (-7987)/8) a multiple of 17?
False
Let p be (-3)/3*(5 + 136)*3. Let y = p - -903. Is y a multiple of 12?
True
Does 8 divide (-17 - 116109/(-42)) + 7/(-2)?
True
Let r = 537 + -223. Let c = r + -260. Is 9 a factor of c?
True
Suppose -4*b + 5*a + 8 = -22, -2*b - 2*a = -24. Let l(d) = 3*d**3 - 24*d**2 + 5*d - 2. Does 17 divide l(b)?
False
Suppose 14*i + 45 = 19*i. Suppose -i*m = -13*m + 768. Is 24 a factor of m?
True
Let m = 637 - 630. Suppose 13*u - 678 = m*u. Does 5 divide u?
False
Let c = 42 + -40. Suppose 5*k - 13 = -3, 5*k = c*r + 38. Let m = r + 98. Is 22 a factor of m?
False
Let f = -6168 - -6328. Is f a multiple of 4?
True
Let k(q) = 1080*q + 2128. Is k(5) a multiple of 88?
False
Let w(b) = 3*b**2 + 4*b - 28. Let m be w(8). Let j = m + 146. Is j a multiple of 38?
True
Suppose -5*p = k - 95 + 26, 0 = 4*k + p - 295. Suppose k*n = 67*n + 6454. Does 12 divide n?
False
Let m be (7 - (-108)/(-8))/(1/(-6)). Suppose 3*r + 106 = 3*o - 101, r + 3*o = -69. Let w = m - r. Does 18 divide w?
True
Let g be (-76 - 4)*(15/6 - 1). Let y = 202 + g. Let u = y + -18. Does 16 divide u?
True
Suppose 123*g = 55965 + 81795. Is g a multiple of 20?
True
Suppose -2*q = 5*q - 14. Let h(j) = q*j + 9*j + j**2 + 10 + 13 + 3*j. Is h(-13) a multiple of 2?
True
Let k(a) = -88*a + 12. Let i be (2 - (-20)/(-15))*3/(-2). Is k(i) a multiple of 25?
True
Let p = 8594 - 4147. Is p a multiple of 120?
False
Suppose -4595 = -5*a - 2*h + 7417, 9588 = 4*a - 2*h. Is a a multiple of 5?
True
Let w = 7996 - 649. Is w a multiple of 24?
False
Let u = -640 - -655. Let r(c) = 2*c**2 - 18*c - 26. Is 14 a factor of r(u)?
True
Suppose -4*v + v + 14362 = f, -2*v + 9574 = f. Does 18 divide v?
True
Suppose 0 = l + t + 419, 5*t = l + 7*t + 420. Let g = l + 936. Is g a multiple of 62?
False
Let p(o) = 14*o + 5. Let s be p(-2). Let n = 26 + s. Suppose 6 = n*q, -2*q + 844 = 5*v - 0*v. Is 42 a factor of v?
True
Let q = 158 + -156. Suppose -q*j + 320 = 2*p, j + p - 2*p - 170 = 0. Does 30 divide j?
False
Suppose -3*r - 30 = -198. Suppose 50 = 2*s - 2*v, 0*s + 3*s = 2*v + 76. Suppose 22*u + r = s*u. Is u a multiple of 8?
False
Suppose -131*g = -293316 - 114880. Is g a multiple of 16?
False
Suppose 0 = -4*g - 2*g + 4650. Suppose 2*y + 2*y - c - g = 0, -y = -4*c - 175. Does 39 divide y?
True
Is 106 a factor of 11/(-132) + 2460246/72?
False
Let p be (-3)/9 - (-190)/3. Suppose 0 = 4*l - 10*w + 12*w - 230, w - 60 = -l. Let r = p - l. Is r a multiple of 6?
False
Suppose 2 - 25 = d + 4*k, -9 = 3*d - 3*k. Let l(w) = -18*w + 34. Is 10 a factor of l(d)?
True
Suppose -4*h + 49286 = 5*x, 3*x + 612 = -6*h + 74568. Does 329 divide h?
False
Let s = 918 - -15646. Is 82 a factor of s?
True
Supp