+ 564 = q. Is f a multiple of 12?
False
Let b(q) = -q**3 - 21*q**2 + 4*q - 8. Is b(-22) a multiple of 2?
True
Let a(r) = -r**3 - 10*r**2 - 22*r - 21. Let n be a(-8). Suppose n*k - 3004 = 4448. Does 49 divide k?
False
Let h(x) = x**2 - 7*x - 5. Let f be h(8). Let u(v) = -12*v + 1. Let n(m) = 13*m - 1. Let o(t) = f*n(t) + 4*u(t). Does 30 divide o(-16)?
False
Let a(x) = 974*x - 5925. Is 9 a factor of a(7)?
False
Let h = -60 + -169. Let w = 280 + -702. Let q = h - w. Is q a multiple of 28?
False
Suppose -4 = 8*v - 9*v + 2*m, -3 = m. Is 352/48*(-9)/v a multiple of 24?
False
Let r(w) = 2*w**3 - 69*w**2 - 18*w + 45. Is r(35) a multiple of 20?
True
Let f be (78/9 - -2) + (-6)/(-18). Let v(z) = 2*z - 17. Let a be v(f). Suppose -w + 0*w - 16 = -a*k, w + 12 = 4*k. Is 4 a factor of w?
True
Suppose 7*x + 29 = -20. Let g be -4*x/84 - 8/(-3). Is 11 a factor of ((-159)/(-12))/(g/(-4) - -1)?
False
Suppose 5*w - 2 = 6*w. Let r(o) = 2*o**2 + 5*o + 4. Let i be r(w). Suppose -4*v = -a + 5*a - 852, i*a - 426 = 2*v. Does 12 divide a?
False
Let o(f) = 501*f - 3369. Is 44 a factor of o(60)?
False
Suppose 2*j = 0, -38*j - 19560 = -2*r - 43*j. Does 58 divide r?
False
Suppose 0 = 9*l - 49 - 5. Suppose 5*o - 3*m - 834 = 0, 10*m - 12*m - l = 0. Is 15 a factor of o?
True
Suppose -4*q = -3*x - 17, 2*q - 4*x - 12 - 4 = 0. Suppose 0 = 4*g - 8, k - q*k = 4*g + 47. Does 19 divide 2 + 0/(0 - -2) - k?
True
Suppose -9 = b - 4*f, 0 = 2*b - f + 12 + 6. Let c be (b - -7) + (1 - -6). Let x(v) = v**2 + 11*v - 11. Is x(c) a multiple of 35?
False
Suppose -34*m = 67*m + 40*m - 279180. Does 6 divide m?
True
Suppose 52 = -3*j - 56. Let u = j + 131. Is u even?
False
Let t(g) = 3*g**2 + 37*g + 144. Does 132 divide t(-12)?
True
Let x = 15221 + -1757. Is 88 a factor of x?
True
Let p(y) be the first derivative of -1/4*y**4 - 10*y + 5/3*y**3 + 3*y**2 + 15. Is p(4) a multiple of 15?
True
Let i(z) = 3*z - 264. Let v(h) = 3*h - 529. Let j(y) = 5*i(y) - 3*v(y). Is j(-29) a multiple of 9?
False
Suppose 2*w + 5*o - o = 276, 256 = 2*w - o. Suppose 2*k = k. Suppose k = 14*f - 108 - w. Does 17 divide f?
True
Let l be 1*(-40)/(7 + -15). Let y(k) = 149*k - 137. Does 8 divide y(l)?
True
Let w(h) = -887*h**3 - 4*h**2 - 5*h - 3. Is w(-1) a multiple of 64?
False
Suppose -2*h - 5*w + 943 = 0, -2*h - 2*h - w + 1841 = 0. Suppose -2*r = -4*b + 1958, 27 = b - 4*r - h. Is 65 a factor of b?
False
Suppose 5*l = 5*y + 6580, -2*y - 5254 = -8*l + 4*l. Is 3 a factor of l?
True
Let g(d) = 14211*d + 119. Is 16 a factor of g(3)?
True
Let n be ((-18)/(-12))/((-3)/(-1128)*-6). Let f be 28/5*(n/4 - 4). Let t = f + 232. Is 13 a factor of t?
True
Let g be 2*(1 + 33/6). Let v(r) = 3 + g + 10 - 14*r. Is 11 a factor of v(-6)?
True
Let y be (-6)/(-18)*-1371 + -7. Let c = 961 + y. Is 46 a factor of c?
False
Suppose -10 = -u - d, -21 = -2*u + 4*d - 7. Let x(v) = -7 + 6 + 12 + 0 + u*v. Is x(8) a multiple of 9?
False
Suppose 0 = 4*p + 13*h - 15*h - 3338, p - 5*h - 839 = 0. Is p a multiple of 17?
False
Suppose 1057 = -21*r + 25*r - n, r - 259 = -5*n. Let d = r - 220. Is 4 a factor of d?
True
Suppose -3*r = -5*l - 707, -2*r + l + 466 = 3*l. Suppose 2*j - 472 = 5*f - 39, j + f = r. Is j a multiple of 8?
False
Is 30060/144*(-3 - -11) a multiple of 7?
False
Suppose 2998 = 4*x - a + 936, -4*a = -5*x + 2572. Is x a multiple of 3?
True
Let p(f) be the second derivative of f**4/12 - f**3/3 - 9*f**2/2 + 3*f. Let n be p(5). Suppose n*a - 4*a - 24 = 0. Does 3 divide a?
True
Let s(o) = 25*o + 7. Let m be s(-6). Let u = 172 - m. Suppose -4*h - 2*p + 330 = 0, -p = -4*h - 0*p + u. Does 16 divide h?
True
Suppose 5*t = -0*t + 40. Let d(y) = 4*y**3 - 11*y**2 - 36. Let q be d(14). Is 49 a factor of q/32*t/6?
False
Let u(l) = -109*l - 77. Let r(w) = 108*w + 84. Let g(t) = -5*r(t) - 4*u(t). Is g(-2) a multiple of 6?
True
Let b = 395 + 86. Let z = b + -128. Is z a multiple of 9?
False
Suppose -34*d = -18*d. Suppose 35*c + 7036 - 19286 = d. Is c a multiple of 35?
True
Suppose 2*i = 29 + 43. Let c(m) = -m**3 + 33*m**2 + 45*m - 372. Let l be c(34). Suppose 0 = -l*u - i + 128. Is 3 a factor of u?
False
Let l(c) = 26*c - 47. Let i be l(2). Suppose -1464 - 556 = -i*o. Is o a multiple of 8?
False
Let w(i) = -12*i + 3*i**2 - 2 - 7*i**3 + 21*i + 26*i**3 - i**2 - 14*i. Is 54 a factor of w(3)?
False
Let v = -23 + 64. Let w = 50 - v. Suppose -a + w = 4*k - 2, a - 5*k = -7. Is a even?
False
Is ((-10)/3 - -3)/(40/(-335640)) a multiple of 23?
False
Let d = 369 + -360. Let f(v) = 2*v**3 - 11*v**2 - v. Does 9 divide f(d)?
True
Let a(s) be the second derivative of -107*s**3/6 - 20*s**2 + 133*s. Does 43 divide a(-10)?
False
Let t(g) = -74*g - 102. Does 2 divide t(-28)?
True
Is 4 a factor of 2/(-9) + 18/486*17934?
True
Let z(j) = -2*j**3 + 54*j**2 - 47*j - 1. Let x be z(26). Suppose -1116 = -135*n + x*n. Is 13 a factor of n?
False
Let y be (-18)/24*4*331. Let r = 1561 + y. Does 15 divide r?
False
Let s(m) = -3*m**2 - 2*m**2 + 9 + 542*m - 522*m + 4*m**2. Let j be s(20). Let v = 31 + j. Is 8 a factor of v?
True
Suppose -y + 24 = -5*y. Let l = 5 - y. Suppose 2*h - 33 = l. Is 10 a factor of h?
False
Let w(x) = -x**3 - 15*x**2 + 69*x - 1. Does 18 divide w(-23)?
False
Let n be 16/6*(0 - 174/4). Let h = n + 261. Does 20 divide h?
False
Let u be 2*(3 - ((-6)/4)/(-3)). Suppose -u*z + 25 = 4*g - 70, -5*g - 5 = -2*z. Suppose -z = -2*h + 13. Does 3 divide h?
False
Let f(j) = 881*j - 7025. Is 23 a factor of f(8)?
True
Let z be (1/(-2))/((44/(-40))/11). Let y(i) = -8*i + 26. Let d(b) = -39*b + 129. Let f(s) = 5*d(s) - 24*y(s). Is f(z) a multiple of 4?
False
Suppose 1552 = 5*u + 317. Suppose 3*q - u = i, q - 4*i = -7*i + 99. Is 13 a factor of q/2 - (3 + -1 - 2)?
False
Let n be (-2157)/((-110)/(-25) + -5). Suppose -4*i = 3*m - n, 2*m = -4*i + 264 + 2130. Is 33 a factor of m?
False
Suppose 3280 = 2*h + s, 0 = 66*h - 70*h + 5*s + 6560. Is 5 a factor of h?
True
Let a be 63/27 + (16/6 - 2). Let c(y) = -a*y - 6*y - 13*y + 2*y**2 + 32 - 12*y. Is 9 a factor of c(19)?
True
Let n be (12/8)/(9/24). Suppose -4*f - 9 = 3, -1178 = -n*s - 2*f. Suppose 3*y = -2*y - c + s, -2*y + 116 = c. Is 6 a factor of y?
True
Suppose 0 = -c - 3*c + 12. Suppose t = -2*x - 3, c*t + 2 = -7. Suppose 4*n = 4*d + 92, n - 5*n + 3*d + 94 = x. Is n even?
False
Suppose 0*b + 5*b = 215. Let j = b - 43. Is 7 a factor of j + 34 + -2 + 3?
True
Let t = 635 + -1052. Let j = t + 786. Is 18 a factor of j?
False
Suppose -c - 20 + 16 = 0. Is (141 + -70)/((-1)/c) a multiple of 18?
False
Let g(c) = c**3 + 15*c**2 + 13*c - 9. Let u be g(-14). Suppose -23*p + 18*p + 2020 = u*q, 0 = -p - 2*q + 409. Is 5 a factor of p?
False
Suppose -419*w = -488*w + 1040934. Is 19 a factor of w?
True
Suppose -306063 + 7798073 = 293*m. Is 30 a factor of m?
False
Let n(o) = o**2 - 13*o - 22. Let g = 60 - 45. Let x be n(g). Let r = 69 - x. Does 34 divide r?
False
Suppose 32634 + 1151321 = 107*v. Does 128 divide v?
False
Let v(m) = 596*m**3 - 7*m**2 + 7*m - 4. Is v(1) a multiple of 25?
False
Let k be (-187)/(-44) + (-2)/8. Suppose k*f + 1001 = 15*f. Is 5 a factor of f?
False
Let u(i) be the third derivative of i**5/30 + 17*i**4/24 - 28*i**3 - i**2 + 9*i. Is u(13) a multiple of 30?
False
Suppose -40 = -4*g - 128. Let b(n) = -2*n**2 - 46*n - 33. Is b(g) a multiple of 2?
False
Suppose -19712 - 3806 - 22157 = -5*p. Is 21 a factor of p?
True
Let q be 16/((-1)/(218/(-4) + 3)). Suppose 0*y = 3*w + 3*y - 624, -4*w + 4*y = -q. Suppose 10*g - 173 = w. Is 10 a factor of g?
False
Let f be ((-5)/((-75)/10))/(2/12). Suppose 5*v + 18 = 8, -4 = -4*p + f*v. Let a = p - -27. Does 5 divide a?
False
Suppose -10 = -8*q + 6. Let p = q + -5. Does 15 divide 976/14 - p/((-21)/(-2))?
False
Let n(j) = -4*j - 18. Let t be n(-6). Let u = 0 + t. Is u even?
True
Suppose -2*k - 10*x + 12*x = -38260, 4*x = 3*k - 57387. Is 24 a factor of k?
False
Let x be 6/(-8)*-4 - 5. Let q(l) = 95*l**2 - l - 6. Let a be q(x). Is 15 a factor of (-7 + 8)/(2/a)?
False
Let m = -143 - -147. Suppose -5*d + 4 = 2*a - 319, -606 = -m*a - 2*d. Suppose 0 = -5*o + a + 401. Does 10 divide o?
True
Let d(u) = u**3 - 5*u**2 + 9*u - 20. Suppose 40*f = 38*f + 12. Is 4 a factor of d(f)?
False
Suppose -189 = -4*i + 3*q, i - 2*i + 48 = -q. Let n = i + -48. Is 25 a factor of (n/(-9))/((-8)/(-4392))?
False
Let k be (28*9 - 5) + -6. Sup