multiple of 7?
False
Suppose -82 + 202 = -2*o. Is 678 - (36/15 - (-24)/o) a multiple of 13?
True
Is (-47 - -3)/(10/(-45) + (-478)/(-2178)) a multiple of 33?
True
Let d = 22692 + -9996. Is d a multiple of 24?
True
Suppose -673*h + 816 = -665*h. Suppose -2*r + 4*p = -1464, -752 = -r - 104*p + h*p. Is 7 a factor of r?
True
Let u = 1401 - -254. Suppose -u = -2*g - 3*g. Suppose -g = -4*k + z, -82 - 155 = -3*k - 3*z. Is k a multiple of 7?
False
Let r(d) = 12*d**3. Suppose 5*k + 5 - 3 = -4*o, 4*o - 2*k - 12 = 0. Is 32 a factor of r(o)?
True
Let t = 47 - 45. Suppose -5*b - 3*i + 18 = -0, -5 = -b - t*i. Suppose 0 = 5*k - 4*n - 786, -2*k + 789 = b*k - n. Is k a multiple of 42?
False
Suppose 5*z = -3*q + 4508, 0 = 4*z - q - 2366 - 1237. Is z a multiple of 10?
False
Let r be 12/(-32) - 35/(-8). Suppose -r*m + 10*n + 767 = 5*n, 574 = 3*m - 4*n. Is m a multiple of 34?
False
Let b = -37391 + 59865. Is 6 a factor of b?
False
Suppose -3*j + 33361 = c, 2*c - 69*j + 66*j - 66650 = 0. Does 100 divide c?
False
Let o = 25940 - 7228. Does 156 divide o?
False
Suppose 1370*j - 2*o = 1371*j - 26018, 0 = -3*j + o + 78103. Is j a multiple of 16?
True
Let m(v) = -v**3 - 25*v**2 - 4*v - 55. Let k be m(-25). Suppose 1818 = -42*i + k*i. Does 32 divide i?
False
Let p = -79 + 81. Suppose -4*g + 0*r + 1455 = 5*r, p*r - 730 = -2*g. Is 9 a factor of g?
False
Let k(f) = 2*f**2 - 60*f + 682. Is k(14) a multiple of 6?
True
Suppose o + 11*o = 19968. Is 26 a factor of o?
True
Let k(q) = q**2 + 5*q - 8. Let j be k(-6). Let l(v) = 13*v + 13. Let b(m) = -5*m. Let n(y) = 3*b(y) + l(y). Is 13 a factor of n(j)?
False
Let x(r) = r + 43. Let k = 155 - 95. Suppose 0 = 61*c - k*c + 13. Is 3 a factor of x(c)?
True
Let f be (-14)/(-21) - 2/3*-23. Suppose 5*s - 4*c + f = s, 16 = -4*s - 4*c. Is 6 a factor of (90/s)/((-17)/34)?
False
Let p(o) = o**3 + o**2 - o + 2. Let n be p(4). Let u = n + -44. Suppose 32*k + 408 = u*k. Is k a multiple of 12?
True
Suppose 5*p - 7*p + 134 = 0. Let g(i) = -5*i + 2*i + p*i**2 + i - i - 2. Is g(-1) a multiple of 8?
False
Let i be 1/(-3)*0 - (-16 + 11). Suppose 0 = -4*f - 3*o + 355 + 2136, -i*o - 15 = 0. Does 93 divide f?
False
Let w(j) = j**3 - 8*j**2 + 3*j - 2. Let h be w(5). Suppose g - 2*m + 93 = 2*m, -5*m + 94 = -g. Let r = h - g. Is r a multiple of 5?
False
Let s(a) = a**3 - 23*a**2 - 51*a + 32. Let u be s(25). Suppose u*f + 440 - 5690 = 0. Is 6 a factor of f?
True
Let m be -136 - (4 - 4 - -2 - 5). Let b = 217 + m. Is b a multiple of 12?
True
Let o(q) = -6*q + 10. Let p be o(1). Suppose -p*z + 1785 = 5*g, -2*g = -z - 193 + 649. Is 18 a factor of z?
True
Suppose 2*k + g - 39 = 0, 5*k = 5*g - g + 91. Suppose -k*l - 246 + 835 = 0. Is l a multiple of 15?
False
Suppose -5*f = 5, 5*f + 4722 - 1081 = 4*q. Is q a multiple of 3?
True
Let t(y) = 64*y + 1499. Is t(6) a multiple of 8?
False
Let y(u) = 325*u**2 + 31*u + 4. Does 111 divide y(4)?
True
Let z = 531 - -10204. Does 109 divide z?
False
Let l(k) = -k**3 + 57*k**2 - 93*k + 17. Is 220 a factor of l(41)?
True
Let f be (4 + 0)/(60/135). Suppose -f = 3*o - 4*o. Suppose 4*u = -4*w + o + 483, -367 = -3*w - u. Is 24 a factor of w?
False
Let j(r) = 4*r - 1 + 35*r**3 - 2*r**2 - 8*r**3 - r. Let g(k) = -k**3 - 7*k**2 - 12*k + 1. Let c be g(-3). Is 6 a factor of j(c)?
False
Suppose 0 = -4*f + 5*n - 5, 0 = 2*n - n - 1. Let v be 429/3 + 2 + 0. Suppose f = r - 5*b, -r - 4*r - 4*b + v = 0. Is r even?
False
Suppose -10*n + 6*n + 263 = 5*v, 2*v = 2*n - 118. Let d = -137 - -86. Let u = n + d. Does 11 divide u?
True
Let v be ((-18)/(-12))/(2/4). Suppose -w + 3*w + 3*c - 31 = 0, -4*w = -v*c - 53. Suppose 52 = 2*j - w. Is 11 a factor of j?
True
Suppose 442*a - 109326 = 423*a. Is 21 a factor of a?
True
Let g(w) = w**2 - 3*w + 144. Let b be g(0). Suppose 6*n = 2*n - b. Does 9 divide (-2)/(-12) - 2370/n?
False
Suppose -3*x = -1051 - 632. Is x a multiple of 51?
True
Let f(u) be the third derivative of u**4/6 + 7*u**3/6 + 26*u**2. Let g be f(0). Suppose -9*t + g*t = -156. Is 11 a factor of t?
False
Let g = -50 + 49. Let i be (-1)/1 - g*40/4. Let y(k) = 25*k + 34. Is y(i) a multiple of 23?
False
Does 28 divide 81/(-243) - 99122/(-6)?
True
Suppose 4*v - 25 = -v, -v + 35 = 5*u. Suppose -u*i + 10 = -2. Suppose 2*s - 16 - 78 = -5*z, i*z = -2*s + 88. Does 7 divide s?
True
Let p = 1820 + -513. Let o be p/3 + 4/12. Suppose 92 - o = -8*q. Is 14 a factor of q?
False
Let c(l) = -41*l**2 + 3*l - 6. Let h be c(17). Is 22 a factor of -7 - h/39 - 2/3?
False
Suppose a + 8 = -4*b, -18 - 25 = -4*a - b. Suppose -a*x = 2*x - 2212. Does 13 divide x?
False
Let o be 3/(-5)*(-8 + -2). Suppose 236 + 376 = o*d. Is 34 a factor of d?
True
Let o(x) = 13*x + 53. Let k be o(-4). Is 67 a factor of 31/((-31)/(-1326))*k/2?
False
Let c = -223 + 227. Suppose 4*a - 4*f + 945 = 2453, c*a + 4*f - 1492 = 0. Does 25 divide a?
True
Let o(g) be the third derivative of g**8/20160 + g**7/1008 - g**6/48 - g**5/6 + 13*g**2. Let u(h) be the third derivative of o(h). Does 13 divide u(6)?
False
Let s(o) = 84*o + 13. Let x be s(11). Suppose c - 943 = -4*r, 3*r = -c + r + x. Suppose -5*u + 5*z = -940, -6*u - 4*z = -u - c. Does 18 divide u?
False
Let a be (1 + 0)*44/44. Does 2 divide (7 + 39/12)*4/a?
False
Let b(n) = 6*n**2 + 22*n + 16. Let z be b(-8). Suppose -z = u - 9*u. Does 28 divide u?
True
Suppose -5*h = 3*s - 20, -4*s - 2*h + 46 = 24. Suppose 1514 = 2*d + s*f - 338, 2*d - f = 1840. Is d a multiple of 26?
False
Suppose 0 = -u + 3*r + 22907, 2*u - 11416 = 4*r + 34396. Is 14 a factor of u?
True
Let w = -2201 - -6576. Is w a multiple of 25?
True
Suppose 2*t = -2*w + 42, 0 = t - 4*w - 42 + 11. Suppose -4*y + t = 3. Suppose -5*f - y*b + 115 = 0, 2*b + 2*b = -16. Is f a multiple of 9?
True
Suppose -111*i = -190467 - 140058 - 5472. Is i a multiple of 8?
False
Suppose 22*c = -20*c + 2*c + 207360. Is c a multiple of 96?
True
Suppose -5*b + 3*f = -7*b - 8, -3*b + f + 10 = 0. Suppose -3 = -v - b. Is 6 a factor of ((v + -2)*6)/((-3)/45)?
True
Suppose 18656 = 5*m + 27*m. Does 10 divide m?
False
Suppose 3*t + 2*t - 24012 = 4*g, 2*t - 9612 = 4*g. Does 23 divide t?
False
Suppose 2*n = -o + 21, -3 + 2 = -o. Suppose 80 = n*l - 10. Suppose -5*j + l = -226. Does 47 divide j?
True
Does 46 divide (64 + -64)*(-1)/(-2) - -3249?
False
Let k = 10927 + -9577. Is 27 a factor of k?
True
Suppose -3*k + 4*y + 124 = 0, 0*k - 3*k + 100 = 2*y. Suppose 2*l + g - k = 0, 7*l + g = 2*l + 84. Suppose 14*i = l*i - 44. Is i a multiple of 11?
True
Let v = 18188 - 7107. Does 166 divide v?
False
Let q(h) = 2*h - 8. Let f be q(4). Suppose 4*k + 5*t = -f*k + 1713, 858 = 2*k + 2*t. Is k a multiple of 30?
False
Suppose -52 = -5*r + 3*b - 5*b, 2*r - b = 19. Is ((-36)/r)/(111/(-14060)) a multiple of 19?
True
Suppose -495 = 3*t + 4*v - 8*v, -4*t - 3*v = 660. Does 8 divide 316*(-5 + (t/(-6))/5)?
False
Is 9 a factor of 522430/150 - (-2)/15?
True
Let z(w) = 54*w + 18018. Is z(165) a multiple of 36?
True
Suppose 9*w + 10 = 10*w. Suppose 2*x = -v + 4*v + w, -5*x = -25. Suppose 2 = k, q + v*q - 45 = -4*k. Is 2 a factor of q?
False
Let i(b) = -7*b + 90. Let c be i(13). Is 4 + -1 + (-159 - 0)*c a multiple of 27?
True
Let b = -106 + 473. Let d = b + -171. Does 14 divide d?
True
Let p = 61 - 21. Let n = 43 - p. Suppose 2*d - 95 - n = 0. Does 14 divide d?
False
Suppose 30*t - 2 = 28*t. Let f be t - (16/6)/((-3)/9). Suppose 7*x - f*x = -168. Is 42 a factor of x?
True
Let h(g) = 6*g - 2 + 26*g - 7*g + 3. Let u(a) = -99*a - 4. Let f(c) = -9*h(c) - 2*u(c). Does 26 divide f(-1)?
True
Let v(l) = -l**3 - 6*l + 1. Let r be v(4). Let q = -130 - r. Is (7 + -8)*(1 + q) a multiple of 21?
True
Let j(y) = 7*y - 30. Suppose -s + 0*s = -5*l + 45, -l = -2*s. Let g be j(l). Suppose -4*o - 2*m + 210 = -g, 5*m = 5*o - 305. Is o a multiple of 11?
False
Let r(c) = -c**3 + 34*c**2 - 3*c + 101. Let g be r(34). Is (-290)/g + 154/22 a multiple of 33?
True
Let j(a) = -6*a**3 + 5*a**2 + 17*a + 15. Let v be j(-12). Let s be (-9 - -3) + 78/13. Does 13 divide ((-4)/(-6) - s)*v/42?
False
Let q = 2250 + 1939. Is q a multiple of 48?
False
Let j be (-2)/4*(-10 - 0) - -5. Is (-84)/(-60) - (-2326)/j a multiple of 9?
True
Let o = 3141 - 407. Is o a multiple of 8?
False
Let m(o) be the second derivative of 2*o**2 - 27*o - 151/6*o**3 + 0. Is m(-2) a multiple of 39?
False
Suppose -4*p 