f(z) = 344*z**2 - 7*z + 9. Let h(u) = -u**2 + 2*u + 10. Let l be h(4). Let k be f(l). Is 17 a factor of k/27 - 6/(-27)?
True
Suppose 3*c = -a + 617 + 27792, -4*a + 9477 = c. Is c a multiple of 16?
False
Let z(w) = -5*w**3 - 8*w**2 + w + 12. Let p be z(-6). Let c be p/18*(-12)/(-2). Let v = c + -174. Is 23 a factor of v?
True
Let n(i) = 29*i**3 + i**2 - 6*i - 4. Is n(7) a multiple of 12?
False
Let r = -3431 - -7507. Is r a multiple of 5?
False
Does 18 divide 4/(-3)*108/((-4)/((-2016)/(-8)))?
True
Suppose -2*u + 4 = 2*f - 4*f, -4*u = f - 3. Let l be -1*(-14 - 0 - u). Suppose 5*y + l = 4*k - 46, 15 = -3*y. Does 9 divide k?
True
Let g(r) = -150*r + 50. Let u(z) = -100*z + 33. Let p(k) = 5*g(k) - 8*u(k). Let v(s) = 25*s - 7. Let c(h) = -3*p(h) + 5*v(h). Is 16 a factor of c(-1)?
True
Let s be (-6)/(-10)*(1 - 26)/(-1). Is (108/(-30))/(s/(-50)) a multiple of 3?
True
Let s be (4 - (-21)/(-6)) + 267115/10. Suppose 7*j = -49*j + s. Is j a multiple of 10?
False
Suppose -5*l = 5*n + 18891 - 5991, 2*l = -n - 5155. Let q = -1348 - l. Is 20 a factor of q?
False
Let t(i) = i**3 - 10*i**2 + 12*i - 7. Let r be -4*4/(-16)*-61. Let k = 70 + r. Is t(k) a multiple of 4?
True
Let u = -27095 + 27100. Let c = 4 - 0. Suppose s - 55 = -u*b, -b + c*s - 11 = -1. Is 4 a factor of b?
False
Let a = 6143 - 3408. Suppose -a = -9*d - 323. Does 7 divide d?
False
Let q(l) = 3*l**2 + 1. Let x be q(-1). Suppose -272*t - 180 = -308*t. Suppose 4*g - t*g = j - 19, 5*j - x*g - 122 = 0. Is j a multiple of 7?
False
Is 69 a factor of (2 - -134)*-2*732/(-96)?
False
Let o(s) = -s**3 - 8*s**2 - 8*s - 6. Let r be o(-7). Suppose 0 = 18*b + 6881 - 8249. Does 11 divide b/19 - (r - 24)?
False
Let j be (-3 - 12/(-2))*(1 - -4). Suppose 5 - j = -5*w. Suppose l - 3*h = 64, h - 4 = w*h. Is 10 a factor of l?
False
Suppose -5*b + 12*b + 1336 = 17541. Is b a multiple of 3?
False
Let p = -25 + 50. Suppose -11 = 4*k - 5*q + 2, p = 5*q. Is ((-94)/k)/((-5)/(75/10)) a multiple of 14?
False
Suppose 2*l = 2*p - 10, 8 = 3*p + 3*l - 7. Suppose -3*b + 3*y = -387, -13*b - 117 = -14*b - p*y. Does 4 divide b?
False
Let p be -309 + (-2 + 3)*(-2 - 1). Suppose -9*y + 3972 = -501. Let h = y + p. Is h a multiple of 60?
False
Suppose -694151 - 605623 = -49*z. Is z a multiple of 115?
False
Let m be -2*(4 + (-102)/12). Suppose 45 + m = 3*q. Does 3 divide q?
True
Suppose -4*d = -86 - 70. Suppose -3*i = d - 525. Is i a multiple of 9?
True
Is 14/((-1134)/(-135)) + (-3380)/(-6) a multiple of 44?
False
Suppose 101*l - 98*l = 32130. Is l a multiple of 21?
True
Let o(j) = -11*j**2 - 23*j + 9. Let t(s) = -13*s**2 - 23*s + 8. Let a(n) = 6*o(n) - 5*t(n). Does 21 divide a(-16)?
True
Let u be (-370)/(-70) - ((-48)/(-21) - 2). Suppose 6*p + u - 17 = 0. Suppose -5*r + 324 = -p*v, 0 = -5*v - 0*v + 15. Is 8 a factor of r?
False
Let s(u) = 7*u**3 + 6*u**2 + 19*u - 1. Let i(n) = 9 + 6*n**2 + 7*n**2 - 10 + 38*n + 13*n**3. Let c(k) = 6*i(k) - 11*s(k). Does 11 divide c(-8)?
False
Let o = 9992 - 8682. Is o a multiple of 20?
False
Let p(g) = -2*g + 78. Let m be p(33). Suppose -1495 = -m*h + 257. Is h a multiple of 20?
False
Let l(u) = u**2 + 6*u - 8. Let x be l(8). Let p = 77 + -74. Suppose p*d - 85 = x. Is d a multiple of 9?
True
Suppose 0 = 6*i - 46 - 50. Let v = i + -14. Suppose v*u - 206 = 8. Is u a multiple of 13?
False
Let m = -13355 - -14525. Does 9 divide m?
True
Suppose 77 - 590 = q. Let n = 739 + q. Is n a multiple of 55?
False
Let x(o) = 3*o**2 + 36*o - 22. Let v(q) = -7*q**2 - 72*q + 44. Let m(i) = -2*v(i) - 5*x(i). Is m(-34) a multiple of 30?
True
Let m be 0 - 1 - (-5)/1. Let r(i) = 43*i - 10 + 36*i - 155*i + 37*i + 50*i. Is r(m) a multiple of 7?
False
Suppose 42 = -6*w + 13*w. Is 21 a factor of ((-14)/5)/(w/(-630))?
True
Let z = 53 + -83. Let b be ((-855)/z)/((-2)/4). Let c = b - -83. Is c a multiple of 4?
False
Suppose -6479 - 46847 = -3*u + s, 4*s = -2*u + 35560. Is u a multiple of 138?
False
Let l = -197 - -445. Is 56 a factor of 6 + -2 + -4 + l?
False
Let a(q) = 420*q**3 - 3*q**2 - q + 2. Let k(z) = -3*z**3 - z**2 - z - 2. Let n be k(-1). Is a(n) a multiple of 11?
True
Suppose -2*k = -5*h + 55, -3*h + 42 + 0 = -3*k. Suppose h*b - 4*b - 2*v = 1630, -3*b + 2*v = -974. Is 13 a factor of b?
False
Suppose -7*d - 5*s = -2*d - 4620, -2*s = 5*d - 4605. Let q = -413 + d. Is 23 a factor of q?
True
Let t(c) = -c**3 + 18*c**2 - 2*c + 51. Let y be t(18). Suppose 7*d = y*d - 264. Is 2 a factor of d?
False
Let a = -6 - -3. Suppose 0 = -5*y - 18*s + 14*s + 6, -3*s + 22 = -5*y. Is 13 a factor of (a - y)*2*(-123)/6?
False
Suppose 2*n = y - 210, -3*y + 22*n = 26*n - 620. Does 52 divide y?
True
Let x = -64 + 67. Suppose 3*o = -3*i + x, -3 + 4 = 3*i + o. Suppose 3*r + q - 240 = -i*q, 3*q = r - 90. Is r a multiple of 43?
False
Let q = -223 - -215. Is 3 - (2 + -26)*(q + 12) a multiple of 2?
False
Let y = -11418 + 21867. Is 81 a factor of y?
True
Suppose -4*j - 36 = -4*t, 3*t - 15*j - 23 = -13*j. Suppose 0 = -3*f - t*g + 542, -2*f = -f + 4*g - 169. Is f a multiple of 27?
True
Does 9 divide (-4)/6*-1 + 60316000/3000?
True
Let q be 4/(-30) - (-55148)/60. Let w = q - 631. Does 36 divide w?
True
Let k(q) = 623*q**3 - 156*q**3 - 33 - 157*q**3 + 10*q**2 - 156*q**3 - 155*q**3 + 4*q. Is 3 a factor of k(7)?
False
Let f = 43204 - 29595. Does 31 divide f?
True
Suppose -3*d + 112 = -131. Let k = 141 - d. Is 5 a factor of k?
True
Suppose -138*d + x = -135*d - 37125, 2*x = -5*d + 61886. Is d a multiple of 13?
True
Let s(g) = 6*g**2 - 9*g + 9. Suppose 3*l + 7*u - 168 = 10*u, -5*l = -u - 272. Let f = l - 49. Is 19 a factor of s(f)?
True
Let w = 51348 - 29732. Is w a multiple of 56?
True
Suppose -j = -13*j - 252. Let q = -17 - j. Suppose -q*f + 264 = 4*f. Is 33 a factor of f?
True
Let y(t) = -7*t**3 - 8*t**2 + 6*t - 2. Let w(i) = -6*i**3 - 7*i**2 + 6*i - 1. Let a(p) = 6*w(p) - 5*y(p). Let f be a(-4). Let n = 20 - f. Does 8 divide n?
True
Let u(v) = -v**2 + 9*v - 5. Let h be u(5). Suppose 21 - h = p. Is (p/(-21))/(3/(-63)) even?
True
Suppose 2*h = 3*c - 21, h = c - 3*c. Let o = h + -6. Is 11 a factor of -3*o/(-9) + 70?
True
Let w(b) = -3*b. Let o(u) = -u**2 + u + 2. Let k be o(2). Let a be w(k). Suppose 2*g - 3*q - 248 = a, -4*g = -q - 0*q - 496. Does 24 divide g?
False
Let y(f) = f**2 + 8*f + 36. Let v = -76 - -60. Let g be y(v). Suppose 4*p = -2*t + 320, -g = -t - 5*p + 2*p. Is 21 a factor of t?
False
Suppose -23 = -4*t + x - 78, 0 = -4*x + 12. Suppose 0 = -4*u + 3*p + 185, 2*u - 97 = -0*u - 3*p. Let m = t + u. Does 8 divide m?
False
Suppose -519*h - 17568 = -537*h. Is h a multiple of 14?
False
Let j(t) be the second derivative of -17*t**5/20 - 5*t**4/12 + t**3/3 + t**2 + 32*t. Is 19 a factor of j(-2)?
True
Let c be 22/(-33) + 14/3. Let u(a) = 12*a - 3. Let t be u(c). Let o = 59 - t. Is o a multiple of 8?
False
Let h = -7338 + 22996. Is 113 a factor of h?
False
Suppose -7*q = -5*q - 12. Let x = q - 6. Suppose -j - g + 107 = g, x = -5*j - 2*g + 575. Is j a multiple of 13?
True
Let v(f) = 2*f**2 + 93*f + 140. Let k be v(-45). Let i = 460 - k. Is 24 a factor of i?
False
Suppose l - 1527 = -4*l - 2*c, -3*c + 602 = 2*l. Let u = l - 245. Does 5 divide u?
False
Let s = -639 + 575. Is 27 a factor of (74 + -2)*(-336)/s?
True
Suppose 0 = -52*l - l + 349376. Is l a multiple of 56?
False
Let s(q) = q**3 + 43*q**2 + 95*q + 80. Is 15 a factor of s(-38)?
True
Let j(y) = 2*y + 41. Let o be j(-13). Suppose -2*k = -7*k + o. Suppose -792 = -5*f - k*f. Is 9 a factor of f?
True
Let v = 4566 - 2568. Is v a multiple of 27?
True
Suppose 4*r - 7*r = -42. Suppose 0 = -r*o - 207 + 67. Does 30 divide 45*(0 - o/5)?
True
Suppose 3*w - 5*a + 2 = 0, 3*w - w + 3 = 5*a. Is 24 a factor of (w - (-15496)/72) + (-2)/9?
True
Suppose -7*z = -0*z - 9*z. Suppose -5*w + 2*w + 408 = z. Is w a multiple of 4?
True
Let y(h) = 10*h + 15. Let t be y(8). Let r = t + -53. Does 7 divide r?
True
Let u be (-4930)/95 + 10/(-95). Let i(d) = -10*d - 1. Let f be i(2). Let n = f - u. Does 13 divide n?
False
Suppose 1292 = w + 3*w. Let i = 117 - w. Is 3 a factor of 6/21 + i/(-14)?
True
Suppose -5*d - 14 = 11, 5*v + d - 170 = 0. Let w = -28 + v. Suppose -w*n + 8*n = 95. Is 19 a factor of n?
True
Suppose 3*d - 594 = -3*d. Let o = d - -16. Suppose 3*u = 2*g - o, -4*u - 196 = 5*g - 518. Is 31 a factor of g?
True
Let i = -1181 +