. Let l(j) = 7*j + 15*j**r + 1 - 14*j**3 + 4 - 11*j**2. Is l(-2) a multiple of 20?
False
Let w = 40 + -21. Let p = -39 + w. Let t = 35 + p. Is t a multiple of 5?
True
Let w(l) = -l**3 + 11*l**2 - l + 4. Suppose 0 = -3*q + 3*k - k - 180, -5*q = 3*k + 281. Let z = q + 68. Is w(z) a multiple of 8?
False
Suppose y - k = 89, -47*y + 50*y = -4*k + 246. Is 45 a factor of y?
False
Let k = -201 - 1152. Let y = k - -1931. Does 19 divide 28/42 + y/6 + -2?
True
Let w(t) = 87*t - 56. Let s = 50 - 45. Does 26 divide w(s)?
False
Suppose -4*z + 5*a = -10, 4*z - 3*a + 19 = 25. Suppose -4*j + z*j + 2611 = -3*g, 2*j = -g + 1313. Is 39 a factor of j?
False
Does 252 divide 2/34 + 10472/(-1156) - (-23445 + 0)?
True
Let n be 12*1/(-2*12/(-8)). Suppose -1308 = -n*d + 4*u, -3*d - 3*u + 1611 = 2*d. Does 19 divide d?
False
Let z = -6358 - -15074. Is 30 a factor of z?
False
Let i(z) be the second derivative of -z**5/20 - z**4/3 - 8*z**3/3 + 13*z**2/2 + z + 1. Is 8 a factor of i(-7)?
True
Let w(b) = -7*b**3 - 3*b**2 + 2*b + 12. Suppose 52*m + 9 = 49*m. Does 38 divide w(m)?
False
Suppose 625735 = 173*a - 253970. Does 7 divide a?
False
Let z(j) = j**2 - 3*j + 6. Let s be z(2). Suppose -b - s*b = -150. Is 6 a factor of b?
True
Let o be 18/(-15)*(-115)/69. Suppose -3178 = -5*h - s, -h + o*s - 5*s + 644 = 0. Is 9 a factor of h?
False
Let x = -22 - -24. Suppose x*d - 16 = 3*y, -2*d = y - 6 - 2. Let m(f) = 2*f**3 - 4*f**2 - 3*f - 9. Is 42 a factor of m(d)?
True
Suppose -140 = 7*p - 189. Let w be 4/(-3)*(-450)/4. Suppose -w + 794 = p*d. Is d a multiple of 46?
True
Suppose -20*v + 284 = -16*v. Suppose -v*u + 1008 = -68*u. Does 10 divide u?
False
Let h(t) be the third derivative of 3*t**6/40 - t**5/60 - 5*t**4/8 - 50*t**2 - t. Is 11 a factor of h(4)?
False
Is (-74 + 85)*(20 - (0 - 3)) a multiple of 23?
True
Let f(w) = 90*w + 98. Let x be f(-12). Let k = -921 - x. Is 6 a factor of k?
False
Suppose -5*g - 107712 = -27*g. Is 32 a factor of (-1 + (-3)/(-9))/((-6)/g)?
True
Let y = 25807 - -14700. Does 10 divide y?
False
Suppose -28*c - 2027 = 717. Is (-10)/(-14)*59 - (-14)/c a multiple of 21?
True
Suppose 16072 = 4*h + 6608. Suppose 14*r = -0*r + h. Is 13 a factor of r?
True
Let c = 458 + -458. Suppose c = -18*q - 6*q + 7392. Is q a multiple of 23?
False
Let m(x) = -3*x + 73. Let g be (8 - 8)/(2/2). Let d be m(g). Suppose d = -4*r + 513. Is 26 a factor of r?
False
Let w(s) = 1177*s + 2728. Let j(m) = -147*m - 341. Let o(u) = 33*j(u) + 4*w(u). Is o(-10) a multiple of 10?
False
Let c(a) = 2*a**2 + 30*a - 36. Let r(f) = f**3 - 3*f**2 - 22*f + 7. Let d be r(6). Is 2 a factor of c(d)?
True
Let p = -4161 + 9283. Is p a multiple of 7?
False
Suppose -6*h - 998 = -4*s - 11*h, 0 = -4*s - 3*h + 994. Does 19 divide s?
True
Let t be (11 + -10)/(1/1174). Suppose 3*l = 3*k - 891, -2*l = -4*k - 5*l + t. Does 9 divide -2 + (k + -3)/4?
False
Let g(o) be the first derivative of 5*o**2 + 23*o + 33. Let d be g(2). Let y = -13 + d. Is y a multiple of 10?
True
Let v = -195 + -104. Let p = 546 + v. Is p a multiple of 13?
True
Let g be (-18)/(-72) + 171/4. Let r = g - 38. Suppose -4*i + r*o + 64 = -2*i, 3*i - 2*o - 118 = 0. Is 14 a factor of i?
True
Is (-3)/((-9760)/31808 - 2/(-7)) - -3 a multiple of 5?
True
Let j(n) = 710*n**3 + 7*n**2 + 8*n - 21. Is 46 a factor of j(3)?
False
Suppose 0 = 4*h + 3*a + 642 + 825, 25 = -5*a. Let q = 441 + h. Is q a multiple of 39?
True
Let c = 128 - 124. Suppose 4*w + 2*y - y = -27, 0 = c*y - 4. Is 5 a factor of 1*45 + w + 12?
True
Let t be 4/(1114*4/(-1488) + 3). Let z = -340 + t. Does 11 divide z?
False
Suppose 4*w - 5*c = 49, 0*w = -w - 5*c - 19. Suppose 18 = -6*p + w. Does 19 divide 82/2 + (-12)/(-8)*p?
True
Suppose -3*s + 0*q - 101 = 5*q, -5*s + q - 215 = 0. Let m = 4 + -3. Let p = m - s. Is p a multiple of 13?
False
Suppose -103*n = -106*n - 9. Let v be ((-38)/(-57))/(1/n). Does 5 divide (-50)/(-6)*((-2)/v - -2)?
True
Suppose -6626 = 5*l - 40227 - 24164. Is l a multiple of 15?
False
Let a(h) be the second derivative of h**4/12 + 7*h**3/2 + 9*h**2 - 4*h. Let i be a(-21). Let g = i - -14. Is 8 a factor of g?
True
Suppose 15*y = 19*y + 3*c - 23, -5*c + 19 = -3*y. Let a = -14 - -21. Suppose -3*n - 761 = -5*s, 1 = -y*n + a. Is s a multiple of 21?
False
Let p = 24798 + -19294. Is p a multiple of 4?
True
Let f(b) be the second derivative of 5*b**3/6 - 11*b**2/2 - 7*b. Let m be f(3). Does 33 divide m - 25*(-44)/4?
False
Let m = 4056 - 2294. Let n(c) = -7*c**3 + 3*c**2 - 3*c - 6. Let a be n(-4). Suppose a = -14*u + m. Is u a multiple of 18?
True
Is (4/28*-6)/((-374)/23482151) a multiple of 150?
False
Let c(s) = -s**3 + 22*s**2 + 28*s - 15. Suppose -4*b + 93 = t, -4*t = 2*b + 1 - 51. Is c(b) a multiple of 25?
True
Suppose d = 3*d + t + 16, 0 = 4*d - 3*t + 22. Let i(o) = -6*o**2 - 6*o - 68*o**3 + 38*o**3 - 3 + 0*o + 29*o**3. Is 22 a factor of i(d)?
True
Suppose 119*k - 122*k = -33. Suppose k*f = 12*f - 4*o - 376, -5*o - 1163 = -3*f. Does 18 divide f?
True
Suppose 31 + 289 = 10*n. Does 79 divide n/80 + 26152/20?
False
Does 9 divide (4053/(-4))/(417/(-5004))?
True
Let v be (0 + -5)/(0 + -1). Let o = -1567 - -1569. Suppose -v*b + 56 = -o*z, z + 10 = 5*b - 48. Does 6 divide b?
True
Let o(m) = 2*m**3 + 5*m**2 - 31*m + 345. Is 13 a factor of o(10)?
True
Suppose -12*c = -18*c + 504. Let h = -70 + c. Is h a multiple of 14?
True
Let r be ((-182)/(-78))/(1/129). Let m = r - 226. Does 3 divide m?
True
Suppose -b + 6 = 4*p - 14, 0 = -2*b - 3*p + 20. Suppose q + b*i = -15, -4*i - 3 = -3*q - 0*q. Does 6 divide q/(-14)*-24*(-21)/2?
True
Let g be (-4)/6*(-21)/7. Let i(p) = -1 + 4 - 27*p + p**g + 23*p. Is i(-6) a multiple of 9?
True
Suppose -3*x - 2*a + 0 + 4 = 0, -3*x + 2*a + 8 = 0. Suppose 6 = x*i + 4*c, 3*i + c + 17 - 1 = 0. Does 5 divide (-736)/i - 1/7?
True
Let u = -249 + 501. Let p be 3/(-30) - u/(-120). Suppose p*f - 8 = 0, 5*l - 220 = 4*f - 9*f. Does 19 divide l?
False
Suppose 0 = 4*u - 0*l - l - 34985, 34994 = 4*u + 2*l. Is u a multiple of 31?
False
Let m(d) be the second derivative of 183*d**5/10 + d**4/12 + d**2/2 - d. Let c be 2/(8/5) + (-763)/3052. Is 16 a factor of m(c)?
True
Suppose 0 = 3*r + 2*x + 40, 4*x + 51 = -3*r + 1. Is -4 - -2*2/r*-370 a multiple of 18?
True
Let u = -66 - -74. Suppose u*l + 16*l - 10704 = 0. Does 12 divide l?
False
Let v = 15 + 10. Suppose v = -2*o - 63. Let d = o - -66. Is 22 a factor of d?
True
Suppose 54*y - 12390 = 44*y. Does 3 divide y?
True
Let x(f) = f**3 - 10*f**2 - 2*f + 23. Let c be x(13). Suppose 5*r = 120 - 1610. Let k = c + r. Does 32 divide k?
False
Let t(f) = -15*f**2 - 39*f - 256. Let w(h) = 9*h**2 + 19*h + 128. Let v(g) = 2*t(g) + 5*w(g). Is 8 a factor of v(-6)?
False
Suppose 2*d + 2*d - 53 = -5*b, -b - 4*d = -1. Let c = b - 9. Suppose 4*a - 846 = -0*u + 3*u, 2*a + c*u = 412. Is a a multiple of 19?
False
Suppose 5*h = 20395 + 4555. Is 10 a factor of h?
True
Let i(z) = 6*z**2 + 5*z - 1. Let y be i(-7). Suppose 0 = -4*x + 2*m + 886, 2*x - y = -2*m + 176. Does 11 divide x?
True
Let o(u) = 4*u**3 - 8*u**2 + 3*u - 12. Let j(d) = 20*d**3 - 40*d**2 + 14*d - 61. Let i(q) = -2*j(q) + 11*o(q). Is i(3) a multiple of 3?
False
Let j(u) = 7*u**2 + 3*u - 5. Suppose -31 = l + 5*q, 2*q = l - 3*q + 21. Let t be 32/(-208) - (-126)/l. Does 31 divide j(t)?
True
Is 9 a factor of 640/((-14)/(-29 - -1))?
False
Let y(n) = -6*n**3 - 5*n**2 - 25*n + 20. Does 55 divide y(-5)?
True
Let v(b) = -2*b**3 + 5*b**2 + 5*b + 12. Let p be v(5). Let k be 16/p + 24/11. Does 12 divide (-2954)/(-21) + 4 - k/3?
True
Let p(c) be the first derivative of c**4/4 - c**3/3 + c**2 - 4*c - 2. Let t be p(2). Suppose 0 = 5*i - t*i - 3. Is 3 a factor of i?
True
Let c(n) = -35*n + 96. Let m be c(3). Is (-9)/(-6)*110 + m + 14 a multiple of 20?
False
Let a be 30/35*14/4. Suppose -5*g - 2*p + 27 = 0, -4*p + a*p + 26 = 5*g. Suppose -5*f + x + 137 = -171, 0 = g*f - 2*x - 311. Does 13 divide f?
False
Let m(u) = -181*u**3 - 4*u**2 + 4*u - 1. Let k be m(1). Let l = k + 371. Does 63 divide l?
True
Suppose -33*j + 11652 = -27*j. Is j a multiple of 77?
False
Suppose 0 = -18*v + 127852 + 35840. Is v a multiple of 17?
False
Does 41 divide 344/(-48) + 7 + 519564/72?
True
Suppose 4*y - 16*y = y. Suppose 4*c - 4*o + o - 28 = y, -3*c - o = -8. Suppose -2*x - c*x + 432 = 0. Is x a multiple of 18?
True
Let a(r) = 