) = -7*t - a + 19*t - 9*t. Is 11 a factor of z(10)?
False
Let n(a) = 19*a - 12. Let s be 8/4*1*2. Suppose s*l = -4, -5*v + 2 = -5*l - 43. Is 14 a factor of n(v)?
True
Let v(u) = -236*u**3 - 2*u**2 + 3*u + 4. Let a be v(-1). Let y = 541 - a. Is y a multiple of 34?
True
Let k be ((-2)/(-4))/(50/300). Suppose x + 3*i = 1083, 2*x + k*i = 2951 - 770. Is x a multiple of 9?
True
Let u = 8 - -43. Let p = -46 + u. Suppose -4*z - 93 = -q - 24, 0 = p*z - 15. Is 27 a factor of q?
True
Suppose 3*y - 4*l - 59 = l, -5*y - 3*l = -53. Let j(s) = s**3 - 11*s**2 - 8*s - 14. Is j(y) a multiple of 22?
True
Does 12 divide (-12 - 0) + -3 - -673?
False
Let q(u) = 25*u - 153. Let w be q(6). Is 13 a factor of (13 - 10)*w/18*-1618?
False
Let z = -3964 - -6170. Suppose -2199*d = -z*d + 4025. Does 34 divide d?
False
Suppose -179 = 9*b - 116. Is 7 a factor of 6/(-8)*-4 + 25 + b?
True
Let r(d) = 82*d**2 - 6*d - 27. Let y be r(-4). Suppose 0 = -5*m + 391 + y. Is 10 a factor of m?
True
Suppose 0 = -884*i + 885*i + 7, -5*o + 24032 = 4*i. Is 6 a factor of o?
True
Let g = -55 + 55. Suppose -a - 22 + 87 = g. Let y = a - 14. Is y a multiple of 5?
False
Let s = 10849 - 6612. Does 19 divide s?
True
Let r = 2049 + 3190. Is r a multiple of 21?
False
Let g(x) = 41*x**2 - 52*x + 39. Let a(u) = 8*u**2 - 10*u + 8. Let c(z) = 11*a(z) - 2*g(z). Is c(9) a multiple of 109?
False
Let d be (-2)/4*(-60)/6. Does 29 divide 199 + ((-4)/d)/(5/(-25))?
True
Let w(u) = u**3 + 5*u**2 - u - 3. Let j be w(-5). Suppose 0 = -j*p + p + 3. Suppose 34 = x - 4*r, -4*x + 7 + 110 = p*r. Does 15 divide x?
True
Suppose -29 = 3*o + 4*i, i - 7 = 4*o - 0*i. Let v be (0 - -45)*(-5 - 9/o). Let u = 132 + v. Does 21 divide u?
True
Suppose 2*d - 30*o + 31*o - 1053 = 0, -5*o + 1073 = 2*d. Is 53 a factor of d?
False
Let a be 4 - 558/135 - (-353256)/45. Suppose -a = -2*o - o + r, -5*r = -4*o + 10474. Is 14 a factor of o?
False
Suppose 3*m - 95 = -c, -75 = -7*m + 4*m + 3*c. Suppose -27*a = -m*a - 528. Let k = a - -248. Is k a multiple of 9?
True
Let d be (1008/5)/(99/660). Suppose -d = -26*z + 18*z. Is 6 a factor of z?
True
Let a(b) = b**3 + 10*b**2 + 9*b + 4. Suppose 34*t = 35*t + 8. Is 12 a factor of a(t)?
True
Suppose 0 = -33*u + 30*u + 3*o + 5793, -9649 = -5*u + 3*o. Does 8 divide u?
True
Let d = 6695 + -6149. Does 26 divide d?
True
Suppose 4*a + 22992 = -3*a + 77039. Is 18 a factor of a?
False
Let n be 140 + 6/27 + (-6)/27. Let s = -296 + 200. Let j = n + s. Does 22 divide j?
True
Let q(a) = -a**3 - 16*a**2 + 9*a - 37. Let j be q(-18). Suppose 453*x = j*x + 2524. Is x a multiple of 33?
False
Suppose -29*i + 32*i - h = 53822, i - h = 17942. Is 39 a factor of i?
True
Suppose 35*c - 56352 + 23531 = 47259. Is c a multiple of 2?
True
Suppose 3*s + 3 = 0, 41 - 1 = 5*v - 5*s. Suppose -3*q + v*q = 3*q. Suppose 5*r + 3*l - 111 = 0, -r - 4*r - 4*l + 108 = q. Is r a multiple of 4?
True
Let a be -3 - -7 - (-327 - -6). Suppose -3*l - d = -a, 4*l = 2*l + 4*d + 212. Does 27 divide l?
True
Suppose 2*t + 5032 = 6*t. Suppose -t = 13*n - 6510. Is n/7 + (-24)/(-84) a multiple of 13?
False
Let b be (-1521)/12 + 3 + 3/4. Let f = b - -37. Let g = 127 + f. Is 13 a factor of g?
False
Does 11 divide (-31 + 28)*(-352)/6*32?
True
Let h(x) = -3*x**2 - 19*x + 135. Let b be h(13). Let w = b - -970. Does 13 divide w?
True
Let i(f) be the third derivative of 5*f**4/24 + 14*f**3/3 - 13*f**2. Let m = -32 + 37. Is i(m) a multiple of 53?
True
Let w be 232/406 - 356/(-14). Let v(s) = s**3 - 24*s**2 - 26*s - 11. Does 23 divide v(w)?
False
Let y(z) = 38 - 192 - 25*z + 77*z. Is 18 a factor of y(13)?
True
Let s = -42 + 49. Suppose -u = 2*q - 4, 3*q - s*q - 4*u + 4 = 0. Suppose -4*z = 2*t + q*t - 39, 2*t - 9 = 5*z. Is t a multiple of 7?
True
Let m = 82143 - 48898. Is m a multiple of 61?
True
Suppose -481*q + 2*o - 30636 = -482*q, -5*o = -15. Is 8 a factor of q?
False
Suppose -146375 - 18569 = -122*g. Is g a multiple of 15?
False
Let n be 4/7*42/4. Let g be (-2)/n - (-7)/21. Is ((-1 - g)/1)/(6/(-372)) a multiple of 56?
False
Let n = 385 - 390. Does 22 divide (n/(135/1017))/((-2)/42)?
False
Let d = 283 - -28. Is d*((24/(-4))/6 - -2) a multiple of 12?
False
Suppose -147 = -11*y - 10*y. Let z(c) = 73*c + 84. Is 16 a factor of z(y)?
False
Suppose 694*r = 783*r - 1064351. Does 60 divide r?
False
Let s be ((-209)/(-3))/(2/6). Let o be -3*(-4)/(-18)*7854/(-44). Let j = s - o. Is 9 a factor of j?
True
Suppose 0 = -4*q - 4*y + 20, 9 = 3*q - 2*y - 26. Let b be (-14)/3*(q - 0). Does 4 divide b/(-63)*39/2?
False
Let d(w) be the second derivative of w**3/6 - 17*w**2/2 + 39*w. Let p(r) = r. Let b(n) = -2*d(n) + 4*p(n). Does 2 divide b(-7)?
True
Suppose 2*b - 62584 = 2*u, 4*b + u - 93852 = b. Is b a multiple of 20?
False
Let w be 3/((-3)/(-2)) + -4. Let h(r) = -2*r**3 - 3*r**2 + 3*r - 1. Let c(y) = -2*y**3 + 4*y**2 - 4*y + 2. Let b(v) = 3*c(v) + 4*h(v). Does 38 divide b(w)?
True
Let t(q) = 3022*q - 386. Does 25 divide t(4)?
False
Does 6 divide ((-33352)/(-110) + -6)*5?
False
Let x(v) = -336*v + 384. Is x(-2) a multiple of 3?
True
Let h be 6 - (-1 + (-15)/(-5)). Suppose h*a + 11*a - 1020 = 0. Let n = a + -23. Is 42 a factor of n?
False
Let d = 114600 - 80561. Does 43 divide d?
False
Let s(j) = -36*j + 19. Let o be s(2). Suppose 4*u + 269 - 106 = 3*c, 2*c + 198 = -5*u. Let v = u - o. Does 3 divide v?
False
Let w be (6 + -9 - -2288)/1. Suppose 0 = -8*o + w + 915. Is 20 a factor of o?
True
Let t(w) = -w**2 - 14*w + 17. Let p be t(-15). Suppose -p*c - c - 187 = -4*l, -2*c + 55 = l. Let v = l - -39. Is v a multiple of 8?
True
Suppose 4*l + 13 = 3*x, 3*x = -x + 2*l + 24. Suppose -13*a + 48 = -x*a. Suppose -82 - 254 = -a*b. Is 31 a factor of b?
False
Suppose -42384 - 47706 = -63*z. Is 5 a factor of z?
True
Let a(o) be the first derivative of 3/4*o**4 - 27 - 17*o + 9/2*o**2 - 13/3*o**3. Is 8 a factor of a(6)?
False
Let a(q) = 65*q**3 - 2*q**2 - 7*q - 76. Is a(5) a multiple of 22?
True
Let s(j) = j**3 - 62*j**2 + 23*j - 684. Is 13 a factor of s(68)?
False
Let s(p) = 16*p**2 + 22*p - 9. Let m(g) = -13*g**2 - 22*g + 9. Let q(x) = 5*m(x) + 4*s(x). Let v = -15 - -4. Is 10 a factor of q(v)?
True
Suppose 9447 + 706 = 11*h. Is h a multiple of 10?
False
Let p be 18498/3 - (-4 + -1). Suppose -3319 = -10*r + p. Is r a multiple of 13?
True
Let t = 34436 - 28032. Is t a multiple of 6?
False
Suppose -11*m + 7*m - 26*m = -33720. Is 35 a factor of m?
False
Let k = 201 + -197. Let p(x) = 5*x**3 - 12*x**2 + 8*x + 8. Let m(q) = -14*q**3 + 35*q**2 - 23*q - 23. Let f(d) = 4*m(d) + 11*p(d). Is 11 a factor of f(k)?
True
Let s(t) = 76*t - 23. Suppose 5*v + 32 = 3*f - 3, 5*v + 15 = -f. Is s(f) a multiple of 28?
False
Let y(c) = 2*c**2 + 714 - 3*c - 425 + 14*c. Is y(-17) a multiple of 34?
True
Let l(u) = -51*u - 158. Let c be l(-10). Let d = 681 - c. Is d a multiple of 28?
False
Let n(a) = 22*a**2 + 49*a - 2132. Does 18 divide n(-38)?
True
Suppose -7700 = -4*d + 11*d. Let k = 1711 + d. Is k a multiple of 47?
True
Let j = -6418 + 18730. Does 152 divide j?
True
Let n = 8837 - -4200. Is n a multiple of 12?
False
Suppose 11*t = -2*t + 182. Is 21 + (340/(-70) - 2/t) a multiple of 8?
True
Let q(u) = -1168*u - 445. Is q(-3) a multiple of 30?
False
Let k be (-4 - (-80)/25)/(10/125). Let i(y) = -3*y - 7. Is 5 a factor of i(k)?
False
Let v = 57 + -113. Let a be ((-31)/(-2))/((-7)/v). Suppose -b + o + 0*o + a = 0, 0 = -3*b + 2*o + 370. Is 15 a factor of b?
False
Let i(u) = -40*u**2 - 37*u - 6. Let k be i(15). Let f be k/(-21) - (-2)/(-7). Suppose 15*s + f = 22*s. Is s a multiple of 13?
True
Let x be 1356/44 + 30/165. Suppose 0 = w + w - 32. Suppose 0 = -i + w + x. Is i a multiple of 3?
False
Suppose 0 = -9*h - 3*h + 41472. Suppose -8*j = -26*j + h. Is 32 a factor of j?
True
Suppose -g + 2 = -2*j - 25, 5*g = 4*j + 159. Is 48 a factor of 120*(6 - 168/g)?
True
Suppose 0 = -10*m + 11*m - 159. Let w = m + 60. Does 11 divide w?
False
Let s(m) = -15*m - 230. Let f be s(-16). Suppose f*q - 353 = 637. Is q a multiple of 5?
False
Is ((-81)/54)/((-1)/(-2))*-1374 a multiple of 9?
True
Let d be 75/11 - (1 + 26/(-22)). Suppose -3*u = d*f - 2*f - 203, -3*u = 2*f - 83. Suppose f = n + 4*n. Does 4 divide n?
True
Let u(q) = 5*q**3 + 2*q**2 - 5*q + 22. Let r(l) = -l**3 + l**2 + l - 1. Let m(o) = -6*r(o) - u(o). Let f be m(9). Let z = f - 