*s. Is s a multiple of 27?
False
Let c(x) = 48*x + 316. Let i(h) = 25*h + 158. Let b(z) = 4*c(z) - 7*i(z). Is 33 a factor of b(14)?
True
Suppose -3*h - 13824 = -15*h. Is 3 a factor of h?
True
Let h(w) = -w + 17. Let c(k) = k**2 + 6*k + 6. Let z be c(-7). Let i be h(z). Suppose 2*u - 190 = -2*j, i*u = -4*j + u + 383. Is j a multiple of 14?
True
Let i(k) = 7*k**2 + 6*k + 10. Let c be i(-3). Suppose 5*n - c = 2*q, 5*q - 3 - 22 = 0. Suppose 18*x = n*x + 140. Does 5 divide x?
False
Suppose 1301 = 2*k - d, -k + 2*k + 5*d - 678 = 0. Suppose -4*x + 129 - k = -2*s, -2*s + 5*x = -529. Does 9 divide s?
True
Let t = 81 + -80. Suppose 0 = x + t, m - 84 = -4*x + 64. Does 19 divide m?
True
Let x(v) = v**3 + 148*v**2 + 291*v + 1050. Is 2 a factor of x(-146)?
True
Suppose 4*h - 5 = 5*h. Suppose -24*f = -9*f - 285. Let s = h + f. Is 3 a factor of s?
False
Let i(j) = j**2 + 92*j + 1070. Is i(110) a multiple of 120?
False
Let v(w) = -24*w + 40. Let l(j) = -2*j. Let x(s) = -3*l(s) - v(s). Is 64 a factor of x(12)?
True
Let v = 342 + -347. Is (-4)/v - 9324/(-45) a multiple of 16?
True
Suppose 5*h + 3*z - 6*z = -108, 2*h + 28 = 5*z. Suppose -j + 92 = 2*v + j, 2*j - 242 = -5*v. Let w = h + v. Does 3 divide w?
False
Let l be 6/(-14) - (-550)/(-350). Let n(g) = 31*g**2 + 6*g + 12. Is n(l) a multiple of 10?
False
Let q(a) = a. Let u be q(-1). Let h be u*2 + (6 - (5 - 3)). Is 0 - 9/(h/(8/(-4))) a multiple of 3?
True
Let k = -41 - -17. Let d be (-6882)/k - (-1)/4. Suppose -4*j + 13 + d = 0. Is j a multiple of 25?
True
Let l(i) = 67*i - 357. Is 6 a factor of l(10)?
False
Let a = 103 - 81. Let z = a + 27. Suppose 5*i - 505 = 5*l, -z + 165 = i - 4*l. Is i a multiple of 12?
True
Let d(r) be the second derivative of 13*r**3/6 - 203*r**2/2 + r - 90. Is d(24) a multiple of 7?
False
Let p = -172 + 643. Let m = -309 + p. Suppose 0 = 2*w - 42 - m. Is w a multiple of 24?
False
Suppose 0 = -7*o + 10*o - 6. Suppose o*g = 15*g - 780. Is 10 a factor of g?
True
Let n(z) = 145*z**3 + 2*z**2 - 4*z - 9. Let x(m) = 72*m**3 + m**2 - 2*m - 4. Let h(q) = 4*n(q) - 10*x(q). Does 13 divide h(-1)?
False
Suppose 0 = 5*q + 29 - 49. Suppose q*b = -8*b + 3456. Does 36 divide b?
True
Let o = 1 - -32. Suppose -m + 3*q = -2*m + o, -5*q = -4*m + 64. Is (745/35 + (-6)/m)*4 a multiple of 28?
True
Let q(p) = p**3 - 5*p**2 - 11*p - 11. Let x be q(7). Let l be x/4*(0 + 2). Suppose -l*u + 112 = f, -4*f - u + 524 = -0*u. Is f a multiple of 11?
True
Suppose -3*p - 7*p = -20. Suppose p*k - 5*t = 41, 4*t = -k + 28 - 1. Let m = k + 18. Does 14 divide m?
False
Let q(f) = f**3 - 6*f**2 - 5*f - 9. Let v be q(7). Suppose v*c + 5 = 10, 2*w - 3*c - 7 = 0. Suppose -268 = -4*d + w*s, -2*d - 4*s + 130 = 22. Does 31 divide d?
True
Let p = -1963 + 6587. Suppose -22*d + 14*d = -p. Is d a multiple of 34?
True
Let l = 467 + -378. Let h = l + 43. Is h a multiple of 12?
True
Let p(s) = 43 + 77 - 14 - 12 + s. Does 7 divide p(-9)?
False
Let r(c) = -c**2 - 3*c + 1. Let w be r(-3). Let i(a) = -303*a + 307. Let t be i(1). Is (t + w - 2) + (-1770)/(-15) a multiple of 11?
True
Let b be (-2)/((-6)/(-3)) - (8 - 11). Suppose -5*n = -3*o - 997, -o = -b + 6. Is 3 a factor of n?
False
Let r(a) be the third derivative of -a**6/30 - a**5/60 - 7*a**4/24 + a**3/2 + 138*a**2. Does 27 divide r(-5)?
True
Let t(x) = -x**3 + 15*x**2 - 3*x + 16. Suppose 28 = 2*w - 2. Let h be t(w). Is 8 a factor of 1/((-4 - -3)/h)?
False
Let k = 4305 + -2854. Does 23 divide k?
False
Suppose 3*m = -5*n + 6748, -9888 = -5*m + 4*n + 1371. Is m a multiple of 27?
False
Suppose -2*k + 5*l = 0, 2 = 3*l - 4. Suppose -7 = -k*v - 2*v. Does 27 divide (2 + -2 - v) + 545/5?
True
Suppose 0*f = -5*a - 2*f + 239129, -3*a = -5*f - 143465. Is a a multiple of 14?
False
Suppose -11*p = -77 - 319. Let y be (-5)/(30/9)*2. Is 18 a factor of (3 + -6)/(y/p)?
True
Let t = 7412 - -7239. Is t a multiple of 55?
False
Let w(u) = 265*u**2 - 17*u + 156. Is 11 a factor of w(6)?
False
Suppose -1 = 5*m - y - 14, -4*m + 2*y + 14 = 0. Let d = 605 - 356. Suppose -3*u = -m*u + 2*h - 66, 4*u = -5*h + d. Is u a multiple of 28?
True
Let w = -13086 - -14400. Is w a multiple of 6?
True
Is 20 a factor of -4 + 92864/(25 + -9)?
True
Suppose 4*c = 20, -4*x + 150 = 4*c - 26. Suppose x = d + y - 6*y, 5*y = -5*d + 45. Suppose 17*r - 120 = d*r. Does 4 divide r?
True
Let a = 28 + -7. Suppose -4*s + 11*s = a. Is s*295/15 + (2 - 1) a multiple of 7?
False
Suppose 5*u = -3*a + 94979, 54046 = 5*u - 4*a - 40947. Is 97 a factor of u?
False
Let o(f) = 3. Let r(p) = -404*p - 36. Let u(t) = -4*o(t) + r(t). Is u(-3) a multiple of 75?
False
Let w(j) = j**2 - 13*j + 4. Let a be w(13). Let l(x) = -x**3 - x**2 - 2*x - 16. Let y be l(-3). Suppose -10 = 5*f, -a*f = o - y*f - 108. Does 12 divide o?
False
Is 207 a factor of (-1486840)/(-700)*(-120)/(-16) - 3/7?
False
Suppose -26*s + 52380 = 19*s. Is 17 a factor of -1 - 2/((-8)/s)?
False
Let z(v) = -2*v**2 + 38*v + 5. Let j be z(19). Suppose 1468 = j*a - 807. Is 65 a factor of a?
True
Let k(q) = 106*q**2 + 222*q + 1505. Is k(-7) a multiple of 49?
True
Let o(u) = 3*u**2 - 18*u + 42. Let j be o(3). Suppose -13*l + 336 = j*l. Is l a multiple of 3?
True
Let i = -15338 + 21704. Does 8 divide i?
False
Let i(n) = 5*n**2 - n + 18. Let o be i(-4). Let k = o + -76. Is 15 a factor of k?
False
Let w(h) be the third derivative of -h**4/8 + 22*h**3 + 122*h**2. Is 3 a factor of w(-18)?
True
Suppose 5*k - 2*v = 1455, 3*k - 5*k + 2*v + 576 = 0. Let i = 489 - k. Is 4 a factor of i?
True
Let l(s) = -4*s**2 - 6*s + 16. Let b be l(7). Is 20 a factor of (48/(3/(-1)))/(12/b)?
False
Let i = 638 - 351. Let v = i + 83. Suppose 17*k - 22*k + v = 0. Does 16 divide k?
False
Let k be 6/(2 - 4) - -5. Suppose -v + 46 = -k*v - n, 4*n = 5*v + 239. Let r = 91 + v. Is r a multiple of 11?
True
Let n = -1946 - -2363. Does 2 divide n?
False
Suppose -3*m = 4*y + 22, -m + 5*y = -4*m - 26. Let f be (-9 + 10)/(m/4). Does 16 divide (-576)/27*(10/(-4) + f)?
True
Let c = -13248 + 16515. Does 33 divide c?
True
Let s(y) = -2*y + 1. Let x be s(2). Let q be 101*x/6*2/(-1). Suppose 3*z - 3*j - 213 = 0, 3*z + 3*j - 332 = -q. Is 18 a factor of z?
False
Suppose 4*q = -k + q + 12, 2*k = -2*q + 44. Let y = 29 - k. Does 7 divide y/(-7) - (-2556)/28?
True
Is -215*(1114/(-30) + (-19)/(-57)) a multiple of 70?
False
Suppose 765*m + 5*c = 763*m + 1716, 3*c = -4*m + 3460. Is 31 a factor of m?
True
Suppose -169417 = -36*d + 924407. Is d a multiple of 16?
True
Let a be (13 + -3)/((-25)/8 + 3). Let o = 37 - a. Is o a multiple of 3?
True
Let m(f) = f**3 + f**2 - 3*f + 3. Let v be m(0). Let t(i) = 0*i + 35 - i**v - 5 + 2*i + 2*i**3. Is 4 a factor of t(0)?
False
Let x be (54/(-2 - -5))/(-1). Let z be -1 + (x/4)/((-27)/18). Suppose 0 = 3*k - 2*q - 191, z*k - 124 = 6*q - 4*q. Does 15 divide k?
False
Let d be 45/(-75) + 18/5. Let p(k) = -1 + 2*k - 4 + d + 4. Is 2 a factor of p(4)?
True
Let y(x) = 108*x**2 + 11*x + 4*x + 4 - 37*x**2 - 37*x**2 - 35*x**2. Let t = -15 + 27. Is 10 a factor of y(t)?
True
Let x(l) = 3*l**3 + 9*l**2 + 2*l + 11. Let p(z) = 5*z**3 + 18*z**2 + 5*z + 22. Let a(g) = -4*p(g) + 7*x(g). Let f = 104 - 94. Is a(f) a multiple of 9?
False
Let s be ((-3)/(-2))/((-6)/(-2564)). Let m = s + -600. Does 3 divide m?
False
Let t(u) = 87*u + 47. Let y(m) = 89*m + 48. Let l(c) = 5*t(c) - 4*y(c). Is l(8) a multiple of 25?
True
Let d(o) = -11*o**3 + 2*o**2 - 15*o - 18. Let x be d(-6). Suppose 4*n - n - 4*l - x = 0, -2544 = -3*n - 4*l. Is 37 a factor of n?
False
Let n(h) be the third derivative of -h**6/120 - h**5/10 - h**4/2 + 5*h**3/6 + 44*h**2 + 2. Is n(-11) a multiple of 23?
False
Suppose 2*o + 6*o - 7256 = 0. Let y = o + -475. Is y a multiple of 16?
True
Let w = 64 - 113. Let j = 51 + w. Does 13 divide (j - (-20)/(-5)) + 31?
False
Let s(g) = 12*g - 36. Let u(p) = -p**3 + 9*p**2 - p + 3. Let m be u(6). Let r = -98 + m. Is 12 a factor of s(r)?
True
Suppose -m - 21 = -j - 5*m, -3*m = -15. Let u be j + (2 + (-1)/1 - -2). Suppose 20 + 34 = 3*c - 3*l, u*c - 51 = -3*l. Is 5 a factor of c?
True
Is 21 a factor of (6/18 + ((-154555)/(-15) - -7))*1?
True
Let l(q) = q**3 - 13*q**2 + 21*q + 15. Let y be l(11). Suppose -1 = -w + j + 2, 0 = -y*j. Suppose -4*s - w*c + 48 = -2*s, -52 = -2*s - 4*c. Is 18 a factor of s?
True
Let w(b) = 38*b**2 - 99*b + 576. Is 3 a factor o