 0. Suppose -w*j = -64*j + 840. Is 20 a factor of j?
True
Let w = -729 - -484. Let j be 178/(-267) + (-938)/6. Let g = j - w. Is g a multiple of 22?
True
Suppose 248*a - 630 = 239*a. Is a a multiple of 70?
True
Suppose 11*i - 150 = -14*i. Suppose -i*z + 89 = -187. Is z a multiple of 2?
True
Let h(y) = -63*y - 654. Is h(-15) a multiple of 97?
True
Suppose -4351 = 4*f - 26799. Does 61 divide f?
True
Let m(j) = 9944*j - 154. Does 22 divide m(1)?
True
Suppose -79 = u - n, 3*u = 4*n + 118 - 350. Let j = 220 + u. Suppose j = 7*k - 165. Is 11 a factor of k?
False
Let s(p) = -p**3 + 22*p**2 - 49*p + 33. Let q be s(19). Suppose 0 = 3*o - q - 625. Is 27 a factor of o?
True
Suppose 6*w - 62*w = 69*w - 10141000. Is w a multiple of 28?
False
Let l(h) = -111*h + 893. Is l(-22) a multiple of 7?
False
Let k be -517*((7 - 4) + -2). Let z = k - -1008. Does 40 divide z?
False
Suppose -3*w - 18*w + 5733 = 0. Suppose 48 - w = -5*k. Does 2 divide k?
False
Let y(g) = -2*g**3 - 3*g**2 + 3*g + 27. Let k(p) = p**3 + p**2 - p - 13. Let o(r) = 5*k(r) + 2*y(r). Let m be o(4). Suppose -65 = -2*v + m. Is 23 a factor of v?
False
Let t(b) = -b**2 + 22*b - 22. Let p be t(19). Suppose -27*u - 328 = -p*u. Is 20 a factor of u?
False
Let k(o) = 2 - 8 + 3*o + 2 - 14. Let a be k(8). Suppose -a*x + 578 = 20. Is 10 a factor of x?
False
Suppose -2*a - 4833 = -5*w, 4*a = -4*w + 950 + 2894. Is 7 a factor of w?
False
Suppose 8*q + 6 - 70 = 0. Let p be (46/q)/(2 + 55/(-28)). Let y = -34 + p. Does 18 divide y?
False
Does 3 divide 10/((-8)/(-1) + (-441)/162 + -5)?
True
Let d be 1*(-3 - 0) + 4. Let r be (-1 - (5 - 4)) + 3*d. Is (0 - r)/(3/(-180)) a multiple of 15?
True
Let z(r) = -119*r - 255. Let d be z(8). Let n = -976 - d. Does 90 divide n?
False
Suppose 1168 + 619 = 3*h + p, -h = -3*p - 569. Is 3 a factor of h?
False
Suppose -5*t = 3*c - 29, t + 4*c + 3 = 2. Suppose 0 = -2*q + 13 - t. Suppose 5*h + 106 = q*b + 4*h, 5*b - 3*h - 182 = 0. Is b a multiple of 9?
False
Does 24 divide 6/8 - (-13 - (-8393)/(-4))?
True
Does 54 divide (-13 + (-7854)/28)/((-3)/72)?
False
Let w(p) = -98*p**2 + 2*p - 3. Let h(d) = -2*d**2 - d - 1. Let y(k) = -4*h(k) - w(k). Does 15 divide y(2)?
True
Suppose -5*z = 10, -5*w + 6*w = -2*z - 2. Suppose 4*n + j = 59, 10 = 4*j - w. Is 10 a factor of n?
False
Let z(w) = -18*w**2 - 28*w + 3. Let s(p) = 7*p**2 + 14*p - 1. Let k(d) = 5*s(d) + 2*z(d). Let c be -3 - (-2 - 11)/1. Is k(c) a multiple of 2?
False
Let h(l) = 7*l - 3. Let r be h(1). Suppose -3*w - 3*i + 4*i = 149, 5*w - r*i = -253. Let s = 233 + w. Does 22 divide s?
False
Suppose x + 441 = 2*x + 2*x. Is x a multiple of 7?
True
Suppose -718865 = -42*f + 7*f. Is 18 a factor of f?
False
Let q = -1912 + 6616. Suppose -46*d = -18*d - q. Does 23 divide d?
False
Suppose 569*v - 561*v - 32 = 0. Suppose -2*d + 4332 = 2*n + 528, -4*n = -v*d - 7640. Is n a multiple of 27?
False
Let a(g) = -3*g**3 + 11*g**2 + 6*g - 3. Let d be a(5). Let z = d + 71. Is z + 6 + (57 - 8/(-4)) a multiple of 9?
True
Is 11 a factor of (1270808/12)/(-7)*(-99)/66?
True
Suppose -5*z - 15 = 0, -5*m - 5*z + 0*z - 5 = 0. Let s be 1/((12/10)/6). Suppose -5*a + m*x + 59 = 0, -3*a + 2*a + s*x = 2. Does 2 divide a?
False
Let f be ((-63)/(-81) - 4/(-18))/1. Let t be f - (1 - -1) - 30/(-1). Suppose -22*h = -t*h + 77. Does 11 divide h?
True
Suppose p + 7 = -0*p - 5*m, 5*p - m - 43 = 0. Suppose -6*y = -p*y + 110. Is (8/(-5))/(1 + (-56)/y) a multiple of 14?
False
Suppose -99855 = 413*m - 448*m. Does 82 divide m?
False
Let j = 23898 - 16956. Does 39 divide j?
True
Let u = -26780 - -30424. Does 6 divide u?
False
Let t(y) = -y**3 - 11*y**2 + 9*y + 20. Suppose -7 - 5 = 2*p - 3*a, p - 8 = 5*a. Is 53 a factor of t(p)?
False
Suppose 160 = -2*a - 396. Let w = a - -458. Suppose 4*b - 15 = 5*q + w, -5*q = -b + 60. Is 5 a factor of b?
True
Let a be ((-2217)/(-1))/((-5)/(300/12)). Does 33 divide a/(-21) - 23/(-161)?
True
Suppose 84154 = 5*i + 5*w - 7*w, 4*w + 100988 = 6*i. Is i a multiple of 51?
True
Let t = 42651 + -18839. Does 55 divide t?
False
Let b(t) = 3*t**2 - 2*t + 7. Suppose 156*j = 158*j + 10. Does 23 divide b(j)?
True
Let j(i) = -i**3 - 2*i**2 - 5*i - 5. Let r be 3/(3/6 - 2). Let q be j(r). Suppose 0 = q*t - 15, l - 10 = -0*t - t. Is l even?
False
Let u be 2/((22/(-4))/(-11)). Let b(x) = 2*x**2 - 6*x + 8. Does 7 divide b(u)?
False
Suppose 3*y = 5*z - 10, 2*z = z + 2*y + 2. Suppose 3*a - 406 = -2*k, -6*k = z*a - 3*k - 269. Is a a multiple of 8?
True
Suppose -125 + 188 = 7*x. Suppose 0 = x*b + 158 - 4100. Does 6 divide b?
True
Suppose -4 = -p + 6. Suppose -346 = -p*a + 1974. Let i = -124 + a. Does 30 divide i?
False
Suppose 7*u - u = 172 + 89348. Is 24 a factor of u?
False
Suppose g = 3*q - 5654, -3*q + 5650 = -0*g - 5*g. Does 15 divide q?
False
Let y be (-8*(-44)/(-8))/2. Let z be 111/39 - y/143. Suppose z*w = 5*w - 28. Is w a multiple of 2?
True
Let o(m) = m**3 + 24*m**2 - 3*m + 16. Let u be (8 + -6 + -3)/((-2)/(-46)). Is 93 a factor of o(u)?
False
Suppose 5*f + 23 = 4*w, 2*w = 2*f + 1 + 7. Let a(y) = -y**2 - 8. Let h(t) = -2*t**2 + t - 8. Let v(i) = 6*a(i) - 4*h(i). Is v(f) a multiple of 22?
True
Let u(r) = 27*r + 835. Is 43 a factor of u(28)?
True
Suppose -16*g - 6456 + 648 = 0. Let d = 517 + g. Is d a multiple of 14?
True
Suppose 279*k - 491997 = 228*k. Is k a multiple of 11?
True
Suppose 43*m - 359600 = -19*m. Does 58 divide m?
True
Let i(x) = 25*x**2 - 9*x - 32. Let f be i(7). Let k = f - 261. Does 11 divide k?
True
Let r(m) = -2*m - 156. Let b be r(0). Let s = -91 - b. Is 9 a factor of s?
False
Suppose -2*m + 60*s + 954 = 63*s, 2*m = 4*s + 982. Is m a multiple of 11?
False
Let d be -8*1*(9 - 14). Is 6*148*5/d a multiple of 3?
True
Suppose 89*i - 1031606 = -596218 + 1673467. Is 9 a factor of i?
False
Suppose -5*q + 8*l + 42 = 6*l, -3*q + 27 = -3*l. Is 23 a factor of (6/q)/(-1) + 3683/4?
True
Let i(b) = -5*b**3 + 4*b + 24. Does 22 divide i(-8)?
True
Let u = -17507 - -25994. Is 23 a factor of u?
True
Let r(o) = 59*o**2 - 22*o - 142. Is 98 a factor of r(-10)?
True
Let d(k) = 38*k**2 + 11*k + 11. Let i be (7/(-14))/(0 + 5/40). Is d(i) a multiple of 25?
True
Let d = 7882 + -282. Is 60 a factor of d?
False
Suppose 0 = -2*z - 176 + 16. Let y = -69 - z. Suppose 392 = y*x - 7*x. Does 14 divide x?
True
Let u(i) = 1878*i + 1449. Is 50 a factor of u(5)?
False
Let a(v) = 3*v**2 + 14*v - 11. Suppose w - 19 = -0*q + 2*q, 5*q + 34 = -2*w. Is a(q) a multiple of 21?
False
Let g(b) = 2*b**3 + 6*b**2 - 4*b - 16. Let l be g(7). Does 43 divide 28 + -20 + l + 1?
False
Let y(j) = 9*j**2 + j - 3. Let m be y(1). Is (-37)/(m - 29/4) a multiple of 14?
False
Let w = -2 - 26. Let u = w + 28. Suppose u = -8*g + 6 + 506. Is g a multiple of 32?
True
Let u(w) = -w**3 - 24*w**2 - 25*w + 10. Let c be u(-23). Let p(r) = 4*r - 8. Let t be p(7). Suppose 4*d - t = c. Is d a multiple of 2?
False
Suppose -40*j + 1602692 = -16*j + 214*j. Is j a multiple of 51?
False
Suppose -26*u + 27*u - 130 = 0. Let k = -74 + u. Let b = k + -49. Is 7 a factor of b?
True
Let l(j) = -j**3 - 9*j**2 + 8*j - 8. Suppose 0 = m - 1 - 0. Suppose 26 = -3*p - g + m, g = 5. Is l(p) a multiple of 3?
True
Let v = 224 + -221. Suppose -4*k + v*o + 101 = 2*o, 2*k - 5*o = 73. Is k a multiple of 6?
True
Let o(x) = 349*x**2 - 390*x - 1172. Is 43 a factor of o(-3)?
True
Suppose 0 = 3*l + 4*t + 48, -l - 28*t = -30*t + 6. Is 18 a factor of ((-2)/4)/(l/17736)?
False
Let i(b) = 16*b**2 - 28*b + 143. Let m = -127 - -134. Does 43 divide i(m)?
True
Let j be (-4 + 52/12)*99. Let k = -33 + j. Suppose k = -3*c + 3*f + 93, 9*f = -5*c + 4*f + 135. Is c a multiple of 10?
False
Let x(v) = 6*v**2 - 17*v - 3. Let i be x(3). Suppose -5*c + y + 1191 = 0, -c + 5*c + 2*y - 964 = i. Is c a multiple of 50?
False
Suppose -9 = -2*s - 5. Suppose c + 138 = 5*u + 58, c = -s*u + 25. Does 15 divide u?
True
Let s(q) = 3*q**2 + 26*q - 7. Let a be s(-9). Let m be 3/((-1)/(-1) + 0). Suppose -232 = -3*c + a*i, -m*i + 2*i = -1. Is 7 a factor of c?
False
Let y(w) = w**2 - 28*w + 108. Let s be y(24). Suppose 5880 = 42*k - s*k. Does 27 divide k?
False
Suppose -50 = -85*m + 90*m. Does 11 divide (-2862)/m - (-21)/(-105)?
True
Suppose 4405 = -5*q + 13610. Is 6 a factor of q?
False
Does 26 divide 246 + -252 - (-788)/(-3)*23*-3?
False
Let o be (-1 - (-9)/45)/(2/30). Let i = 94 +