+ 2. Let j(z) = w*l(z) + 5*c(z). Is 25 a factor of j(3)?
True
Let p be (-1)/(5 - (-244)/(-48)). Suppose 2*t - 520 = -14*l + p*l, 0 = -5*l + 5*t + 1260. Is 32 a factor of l?
True
Let g = 1119 - 633. Let f = 530 - g. Is f a multiple of 4?
True
Let y(p) = -p**2 + 28*p - 17. Let b be y(16). Let z = 665 - 694. Let f = z + b. Does 33 divide f?
False
Suppose -2*d - 10 = 0, r + 7*d - 2*d - 9475 = 0. Is r a multiple of 50?
True
Let l(d) = -319*d + 65. Let m be l(4). Let z = m + 2262. Is z a multiple of 39?
False
Let n = 14838 - 13230. Does 9 divide n?
False
Let p = 114928 - 48174. Is p a multiple of 298?
False
Let c be 7*((-9)/7 - -3). Suppose -c = -5*q + 3*q. Let t(w) = 7*w - 10. Is 9 a factor of t(q)?
False
Let o be (9 - 3)*(-34)/(-4). Suppose -54*y = -o*y - 174. Is y even?
True
Let t be 7714 - (-13 - (-8 - -1)). Suppose -21*r + 41*r - t = 0. Is 8 a factor of r?
False
Let i = 3394 - 1356. Is 59 a factor of i?
False
Suppose 4*j + 2723 = 2*v + 7383, -j + 2*v + 1159 = 0. Let a = j + -777. Is 15 a factor of a?
True
Suppose 6097 = -1478*q + 1485*q. Is 21 a factor of q?
False
Suppose 26180 = 8*i + 4*o, -902*i - o + 3276 = -901*i. Is 100 a factor of i?
False
Let p be 0/(0 + 2 - 1). Suppose -4*x = p, 57 = -3*n - 5*x + 168. Does 26 divide n?
False
Let l(a) = 65*a - 112 + 31*a - a. Is 54 a factor of l(8)?
True
Let o = -309 - -400. Let c = o + 105. Is 6 a factor of c?
False
Let u = 11 - -9. Suppose -u*c - 595 = -3735. Is c a multiple of 14?
False
Suppose -85*k + 1534500 = -25*k. Is k a multiple of 25?
True
Let d(w) = 16*w - 56. Let j(y) = y**2 + 16*y - 56. Let p(i) = -4*d(i) + 3*j(i). Does 4 divide p(10)?
True
Let y = -287 - 462. Let b = y - -1077. Suppose -14*t = -18*t + b. Is t a multiple of 5?
False
Let a = 5261 - 3304. Is 25 a factor of a?
False
Let u be (-207)/(-72) - 2/(-16). Suppose 2*o - 1 = 4*c + u, 3*c = 0. Suppose -226 = -4*s - 5*a, a + o*a = 5*s - 264. Does 9 divide s?
True
Let c(u) = u**3 - 6*u**2 + 6*u + 1. Let d be c(5). Let m(o) = -o**3 + 6*o**2 - 8*o. Let k be m(4). Suppose k*y + 1812 = d*y. Does 36 divide y?
False
Suppose 85*g = 91*g - 13056. Suppose g = 10*w - 2*w. Suppose 1552 = 10*h + w. Does 8 divide h?
True
Let k be -3*1 + 18/6. Suppose k*l = 3*l - 9. Suppose -3 = -3*c + 6*n - l*n, -5*c = -2*n - 20. Is 2 a factor of c?
True
Suppose 12 = -4*u + 6*u. Let y(g) = 4*g**2 - 5*g - 15. Let a be y(u). Let b = 6 + a. Is b a multiple of 17?
False
Let c(d) = -d - 82 + 170 - 83. Let v be c(10). Does 16 divide (-4293)/(-45) - 3/v?
True
Let s = -748 - -759. Suppose 4315 + 6344 = s*n. Is n a multiple of 32?
False
Let w = 9 + -4. Suppose 0 = w*v - c - 428, 3*v - 243 = c - 5*c. Suppose -2*x + r = -4*r - 90, -3*x + v = 5*r. Is 7 a factor of x?
True
Let j(h) = -h**3 - 9*h**2 + 9*h - 6. Let i be j(-10). Let g = -26 - -87. Suppose -3*b + 2*b + i*n + g = 0, 2*b - 117 = 3*n. Is b a multiple of 19?
True
Let r = 11269 + -7057. Does 18 divide r?
True
Is -1 + (-38)/(-5*(-3)/(-210)) a multiple of 9?
True
Suppose 137*d - 6151614 = -310*d. Is 29 a factor of d?
False
Let q(o) = 2*o + 18. Let g be q(-6). Suppose k + g = 9. Suppose 3*j = 6*j - 2*b - 619, 589 = k*j + 4*b. Is 29 a factor of j?
True
Let g = -834 + 835. Is (-153)/(-85) - g/(-5) - -1120 a multiple of 20?
False
Let a(w) = 14*w + 3. Let n(r) = r**3 + 10*r**2 + r + 16. Let v be n(-10). Let y be a(v). Let b = y + -7. Is b a multiple of 5?
True
Let w(k) = -2*k**2 + 79*k + 132. Let q be w(41). Suppose -q*o + 3711 + 7089 = 0. Does 30 divide o?
True
Let q(i) = i**3 + 7*i**2 - 40*i - 20. Let r be q(-8). Suppose -r*s + 243*s - 2807 = 0. Is s a multiple of 30?
False
Let f(c) = 2*c**3 + 14*c**2 + 16*c + 2. Let d be f(-6). Let q(p) = 2*p**2 + 33*p + 19. Is 18 a factor of q(d)?
False
Let x(j) = 55*j - 6723. Let r be x(122). Suppose 5*m = 23 - 98. Is 6 a factor of 20/(1*-2)*(m - r)?
False
Let j be (-3)/4 + (-5)/((-20)/723). Let p be (j/(-27))/(4/42). Is 35/10 + 1/2 - p a multiple of 15?
False
Let r = 10712 + -4524. Is 17 a factor of r?
True
Let l = -3 + 6. Let w be 2 - (-19*l + -2). Suppose -25 - w = -y. Does 18 divide y?
False
Does 55 divide ((-1124)/(-24)*3)/(64/896)?
False
Let k = 27132 - -13788. Does 22 divide k?
True
Let s be (1 - 1/1)*-1. Suppose 0 = 2*c + 14, -5*t = -4*c + 72 - 130. Suppose -t*j - 2 + 1322 = s. Is 20 a factor of j?
True
Suppose 2*q = 6*q - 7544. Is 24 a factor of q?
False
Let u(z) = -67*z**2 + 21*z + 38. Let n be u(-2). Let k = -261 - n. Is k a multiple of 11?
True
Let s(y) = -y**3 - 10*y**2 - 12*y + 3. Suppose 0 = 4*c - 13 + 1. Suppose 2*o = 5*o - c*n + 18, -2*o = -n + 15. Does 5 divide s(o)?
True
Suppose -4*j - 4990 = -2*o + 982, -3*j - 15 = 0. Is o a multiple of 48?
True
Suppose 2*v = 2*b - 6*b + 514, 3*v = 2*b - 245. Let h = 130 - b. Suppose 2*a = 5*x - 252, -191 = -4*x + h*a + 12. Is 10 a factor of x?
True
Does 99 divide (-11)/((-110)/140)*4356/8?
True
Suppose 6 = -l, -3*n - 5*l + 82616 = 10268. Is 13 a factor of n?
False
Suppose 0*u = 4*k + 3*u + 4, 5*k = u + 14. Suppose 0*w + k*v - 1607 = -3*w, 4*w = 3*v + 2120. Does 13 divide w?
True
Let w(u) = u**2 + 61*u + 1116. Is w(-110) a multiple of 15?
False
Let t = -2779 + 5395. Does 3 divide t?
True
Suppose -7*q + 18*q = 3806. Suppose -2*d + 4*t + q = 0, 3*t - 2*t = 2*d - 334. Suppose -d = -2*p - 31. Is 7 a factor of p?
False
Suppose 16*z - 35*z = -40*z + 109725. Is 37 a factor of z?
False
Let n = -2042 - -2854. Does 5 divide n?
False
Is 20 a factor of -12*(1418/(-4) + (-24)/4)?
False
Let o(s) = -8*s**2 + 362*s - 161. Does 42 divide o(40)?
False
Let p be (-9 + 1 + -4)*-15. Suppose -188*q + p*q = -1544. Is q a multiple of 6?
False
Suppose -9*s - 55083 = -u - 11*s, 275325 = 5*u - 5*s. Does 22 divide u?
False
Suppose 3*r = 0, 3*z - 234 = -3*r - 18. Suppose 3*x + 5*y - 112 = 0, 3*x = x - 4*y + z. Does 4 divide x?
True
Let c(n) = -n**3 + 9*n**2 + 2*n - 6. Let z = -14 - -17. Let k(h) = h**2 - 6*h + 17. Let r be k(z). Is c(r) a multiple of 37?
True
Suppose -2*h - 4*h = -18. Is (h + -2)/((-2)/(-524)) a multiple of 18?
False
Suppose -4*b - 4*x - 224 = 0, 5*x = 20 - 0. Let l = b - -64. Let j = l + 92. Is 32 a factor of j?
True
Suppose 0 = -4*z - 4*m + 3128, 9*z - 13*z = -4*m - 3128. Let f = z + -376. Is f a multiple of 31?
False
Let s = 97074 - 64054. Does 17 divide s?
False
Suppose 0 = 3*z + 5*v - v + 83, 5*z + v + 127 = 0. Let i be z/(-6) - (68/(-24))/(-17). Suppose 0 = i*x + 402 - 1698. Does 12 divide x?
True
Let f(n) = -3*n - 130. Let m be f(5). Let z = m - -951. Is z a multiple of 13?
True
Suppose -5*t = -5*m + 182745, -4*t = m - 4240 - 32299. Is 71 a factor of m?
False
Suppose 1 = -8*h + 4177. Let y = h + -164. Is y a multiple of 15?
False
Suppose 4*k + 5*a = 916, 3*k - 476 = k + 2*a. Suppose 3*m + 114 = -k. Let p = m + 195. Is p a multiple of 11?
False
Let i be -60*(-3 - 55/(-25)). Suppose 2*h - 2*j - 56 = 0, 2*j + i = -5*h + 188. Is 25 a factor of ((-14)/(-8))/((h/176)/7)?
False
Suppose -20949 = -24*x + 113691. Is 22 a factor of x?
True
Suppose 3*n - 18 = -3*n. Let q be (n/2)/((-6)/(-2144)*2). Suppose 4*x + 4*z - q = 0, -2*z = 2*x - 4*x + 118. Does 21 divide x?
True
Suppose -4*n = 3*d + 16, -d + 3*n = -17 + 5. Suppose -2*w - 1 + 5 = 2*a, d = -w - 3*a + 4. Is w/6 - 23/(-6) a multiple of 4?
True
Suppose -11*k + 418 = 8*k. Suppose k*h - 910 = 15*h. Suppose 0 = 6*j - h - 146. Is j a multiple of 17?
False
Let u = -934 - -31425. Is 20 a factor of u?
False
Suppose -538 = -2*d + 4*y - 14, 4*y = 16. Suppose 4*i + 3*x + d = 7*i, 0 = -2*i - 5*x + 187. Does 9 divide i?
False
Let q be 2/6 + (-2759)/(-93). Suppose -q = -14*j + 4*j. Suppose 2*t - 429 + 1203 = 4*x, -j*x + 2*t + 578 = 0. Does 46 divide x?
False
Let o(f) = -f**3 - 10*f**2 - 8*f. Let d be o(-6). Let t(q) = q + 139. Let a be t(5). Let z = a + d. Is 16 a factor of z?
True
Let u(q) = 24*q**2 - 24*q - 88. Is u(16) a multiple of 45?
False
Let i(g) = -3*g**3 + 3*g**2 + 7*g - 23. Let m be i(5). Let q = m - -826. Is 74 a factor of q?
False
Let y = -6997 - -7403. Does 14 divide y?
True
Suppose -314*w = -316*w, -x + 14406 = -2*w. Is 6 a factor of x?
True
Let h = -18585 - -18781. Is h a multiple of 14?
True
Let i(n) = 62*n**2 + 15*n + 19. Let p be i(-5). Suppose -5*r + p = -3*g - 2400, 4*r - 5*g - 3123 = 0. Is r a multiple of 21?
True
Suppose 0 = -18*u + 4*u. Is 2*(u + 4/(-8)*-187) a multiple of 16?
False
Let k