- l = 384, 0*f + 5*f - 360 = -5*l. Is 21 a factor of f?
False
Let z(y) = 7*y**2 - 17*y - 33. Let i(b) = -3*b**2 + 8*b + 16. Let p(d) = 9*i(d) + 4*z(d). Is 23 a factor of p(6)?
False
Let g(k) = 17*k - 11. Let x be (4/6)/((-6)/(-63)). Is 27 a factor of g(x)?
True
Is (1 - 20/12)/((-78)/80847) even?
False
Let l(t) = t**2 - t - 3. Let c be l(-4). Suppose c + 89 = 3*h - 2*g, 3*g = -15. Does 12 divide h?
False
Let m = -151 - 14. Let l = m + 285. Suppose -3*q + 33 + l = 0. Is q a multiple of 17?
True
Let r(i) = 20*i**2 - 10*i + 23. Let q be r(4). Does 39 divide q/1 - (-7 - -11)?
False
Let w be 3 - -1*(3 + -2). Suppose 3*r - 10 = -i, -2*i - 10 = -w*r + 20. Is (i - -4) + (-46)/(-1) a multiple of 18?
False
Suppose 3*t = -0*t. Suppose t = c - 21 - 136. Suppose c = 6*g - 2*g + a, 3*g - 4*a - 94 = 0. Is 10 a factor of g?
False
Suppose b - 645 = -4*b - 5*x, -b - 2*x = -124. Let d = 263 - b. Is d a multiple of 17?
False
Is (-34)/2*(-1302)/21 a multiple of 31?
True
Suppose 2*t + 31 = 6*t - 5*z, t = -3*z - 5. Let y(l) = -2*l + 2*l + 7*l**2 - t*l + l**3 - 8. Is y(-7) a multiple of 12?
False
Is 2/3*(99 - (-5 - -2)) a multiple of 3?
False
Suppose 428 = 13*h - 664. Does 5 divide h?
False
Suppose 0*m = -3*m + 300. Let x = 343 - 380. Let b = m + x. Is b a multiple of 16?
False
Suppose -5*j + 866 = 2*v, 3*j + 3*v - 251 = 274. Suppose 16 = -4*r - x + j, 2*x + 8 = 0. Is r a multiple of 20?
True
Suppose b - 12 = -3*b, n - 8 = 2*b. Let f = n - 14. Suppose -w - w - 5*s + 184 = f, 439 = 5*w + 2*s. Is 29 a factor of w?
True
Let y(l) = -l**2 + l + 35. Let n be y(-13). Let d = 27 - n. Is d a multiple of 29?
True
Suppose -3*d + 377 = 2*h + 2*d, -5 = -5*d. Let y = h - 108. Suppose 0 = 2*g - 5*g + y. Is g a multiple of 7?
False
Let o(r) be the second derivative of r**4/12 - 3*r**3/2 + 25*r**2/2 + 22*r. Is o(6) a multiple of 4?
False
Suppose 0 = -2*k - 2*x + 118, -x - 5 = -6*x. Suppose -4*h + 50 = -k. Is h a multiple of 10?
False
Suppose 27*p - 877 = 68. Is p a multiple of 21?
False
Suppose 23*b + 4*b = 57537. Does 17 divide b?
False
Let f = -13 - -16. Suppose m - 72 - 107 = -a, -a + 185 = f*m. Is 16 a factor of a?
True
Suppose -16*c - 42 = -18*c. Does 3 divide -2*17*(c/6)/(-7)?
False
Suppose -4*q - 7*q = -2827. Suppose 63 = n + 4*o, 2*n - 5*o = -n + q. Is 23 a factor of n?
False
Suppose 7*r - 2*r = -3*y - 195, 4*r - 5*y + 193 = 0. Let k be (-552)/(-54) - 2/9. Let d = k - r. Does 13 divide d?
True
Suppose -310*j = -308*j - 304. Is 7 a factor of j?
False
Let j(o) = o + 10. Let s be (-3)/(-7) - (-106)/14. Is 18 a factor of j(s)?
True
Let g(d) = d**2 + 3*d - 10. Suppose -33*y = -34*y + 19. Suppose 3*r + 12 = 0, n - 3*r = 2*n + y. Is g(n) a multiple of 6?
True
Let z = 5 + 0. Suppose 3*k = -z + 14. Suppose 2*l + k*s = 237, 4*s + 2 = -2. Is l a multiple of 34?
False
Let w(z) = -4*z**3 - z - 15. Is w(-4) a multiple of 49?
True
Suppose 5*r - 795 = 845. Is r a multiple of 3?
False
Let g(q) = -15*q**2 + q - 8. Let c(n) = -31*n**2 + 3*n - 17. Let h(y) = 4*c(y) - 9*g(y). Is h(3) a multiple of 14?
True
Let n(h) = 26*h - 81. Let v be n(7). Let d be (-9)/12*96/(-2). Suppose 0 = 2*b + u - d, 0*u = -5*b + 3*u + v. Is b a multiple of 12?
False
Let g(w) = -w**3 + 4*w**2 - 2*w - 4. Let j be g(3). Let b(f) = 147*f**2 + f + 2. Is b(j) a multiple of 22?
False
Does 2 divide (-5 - -2) + ((-146)/(-2) - 0)?
True
Let b(g) = g**2 + 4*g - 9. Let w be b(-5). Let r(c) = -c**3 + 3*c**2 - c + 1. Let t be r(2). Does 19 divide 57/(t*w/(-8))?
True
Suppose 0 = -2*q - 2*j + 6, j = -0*q - 2*q + 7. Suppose g = 3*z - 376, 0*g - q = 4*g. Is 25 a factor of z?
True
Let m(b) = 895*b - 399. Is m(7) a multiple of 14?
True
Let f(b) = 16*b**2 + 3*b - 4. Is f(-4) a multiple of 30?
True
Suppose -c = 4*c - 600. Let k = -7 + c. Does 28 divide k?
False
Let v(m) be the third derivative of m**6/120 + m**5/60 + m**4/6 + m**3/2 + 7*m**2. Let g be v(-2). Let t = 19 + g. Is t a multiple of 5?
True
Suppose 5*v + 2*x + 8 = 0, 0*x = -2*v - 3*x - 12. Suppose -4*p - 3*p + 882 = v. Does 14 divide p?
True
Let c = 41 - 41. Suppose 168 = 3*x - c*x. Does 28 divide x?
True
Suppose -b - 548 = -4*v + 3*b, 688 = 5*v - 2*b. Is 46 a factor of v?
True
Suppose -18*i + 1840 = -2*i. Is i a multiple of 12?
False
Does 15 divide ((-5)/(-2))/((12/(-288))/(-1))?
True
Let k(s) = s**3 + s + 3 + 9*s + 9*s**2 + 3. Let d(r) = r**3 - 6*r**2 - 2*r + 5. Let a be d(6). Is k(a) a multiple of 8?
False
Let u be (-6)/(-15) + (-21)/15. Let n(g) = -17*g**3 - 3*g**2 + 2. Is n(u) a multiple of 8?
True
Suppose 12*a = 4*a - 224. Is 7 a factor of (4 - (-3 - a))/(-2 + 1)?
True
Let w be (-2)/(-7) - (-92)/(-28). Let l be 6*(-1)/(-1) + w. Let c(b) = 11*b - 3. Does 30 divide c(l)?
True
Let i(y) = -4*y**2 + 4*y - 9. Let p(x) = -9*x**2 + 8*x - 18. Let f(o) = -13*i(o) + 6*p(o). Let n be f(-5). Let g = n + 49. Is g a multiple of 7?
True
Let s = 367 - 89. Is s a multiple of 19?
False
Let f = 27 + -3. Suppose 0 = f*s - 22*s - 50. Is 17 a factor of s?
False
Suppose 26*m - 6600 = 4*m. Does 12 divide m?
True
Suppose 3*m = 9 - 0. Suppose m*k = -5*q + 9, q + 3*k - 11 + 2 = 0. Is 13 a factor of (q + -8)*14/(-4)?
False
Let l(n) be the second derivative of -n**3/6 + 10*n**2 + n. Let o be l(0). Suppose -m + 56 = o. Is 12 a factor of m?
True
Suppose 18*r - 4154 = 8806. Is r a multiple of 8?
True
Suppose 0 = 7*s + 5*s - 3024. Does 14 divide s?
True
Let d = 24 + 12. Let s = 302 + -308. Does 3 divide (d/8)/((-3)/s)?
True
Let u be 2/6*(129 + (1 - 1)). Suppose -3*o + 7 - 82 = 0. Let b = u + o. Is b a multiple of 16?
False
Let h = 1432 + -1001. Let y = 145 - 34. Suppose -h + y = -4*u. Is u a multiple of 16?
True
Does 10 divide (-2 + 23)*3168/108?
False
Suppose -4*r + 10 = -6. Does 2 divide (1/(2/6))/(6/r)?
True
Let l(u) = u - 3. Let f be l(4). Suppose -4*b + f = -15. Suppose b*g + 44 = 2*a, 0 = 3*a - 2*g - 2*g - 66. Does 8 divide a?
False
Let b(t) = t**3 - 5*t**2 + t + 3. Let v be b(4). Let s(g) = g**2 + g - 21. Does 17 divide s(v)?
True
Suppose 6*r - 33 = -5*r. Suppose -50 - 31 = -y + r*a, -4*y - 2*a = -366. Is y a multiple of 18?
True
Suppose 6*f - 8788 + 2698 = 0. Is 17 a factor of f?
False
Let a(v) = -3*v**3 + 6*v**2 - 11*v + 10. Let r(m) = -3*m**3 + 6*m**2 - 10*m + 11. Let b(s) = -7*a(s) + 6*r(s). Does 8 divide b(4)?
True
Let u(h) = 2*h**2 - 3*h - 5. Let r(l) = -13*l + 8 - 2 + 2*l**2 - 5. Let s be r(6). Does 12 divide u(s)?
True
Suppose -7*o - 38 = -3. Let w = o - -136. Is 24 a factor of w?
False
Let y = -147 - -153. Suppose c + y = 21. Is c a multiple of 3?
True
Suppose 71*w + 116 = 73*w. Is 4 a factor of w?
False
Let s be (9 - 7)/((-80)/38 + 2). Let h = s - -47. Does 3 divide h?
False
Suppose -5491 = 3*o + 14*o. Let k = -127 - o. Is 28 a factor of k?
True
Let t = -111 - -132. Suppose -t = 2*b - 423. Is b a multiple of 39?
False
Let o(w) = 4*w**2 - 18*w - 22. Is o(11) a multiple of 33?
True
Let w be 2/(1*(-1 + -1)). Let p be 171*6/9*w. Let g = -48 - p. Does 11 divide g?
True
Let t = -11 - -8. Let p be 14/(-4) + 12/(-8) + 3. Is 25 a factor of p*t/6*61?
False
Let y be 3 + (-6 - -3) - -3. Let o(m) = 3*m**2 - m + m**3 + 4 - 3*m**y + 3*m**3. Is 7 a factor of o(-3)?
True
Let p be (-3)/(-2) + 3/2. Suppose -p*q + 10*q = 28. Suppose -5*l + l + 4*w = -316, 0 = q*l + 3*w - 316. Is l a multiple of 19?
False
Let m = 41 + -41. Does 3 divide (-17)/(-6) + 3/18 + m?
True
Suppose -k + 0*k + 192 = 0. Let a = 282 - k. Does 18 divide a?
True
Let x(l) = 116*l**3 + 4*l**2 - 19*l + 6. Is 12 a factor of x(2)?
True
Let b be 4*15/72 + (-1)/(-6). Is 8 a factor of (0 - b) + 33 + 0?
True
Let f(c) = 2*c**2 + 5*c + 2. Let i be f(-4). Let b = i + -10. Suppose -2*s + s = -b. Does 4 divide s?
True
Let h(a) = 7*a**3 + a**2 - 4*a + 3. Suppose -3*x - 2*x = -10. Let j be h(x). Suppose 5*u = -15 + j. Is 4 a factor of u?
True
Suppose -12*p = -44*p + 86400. Is 54 a factor of p?
True
Let d = 32 + -37. Is 10*d/(-10)*8 a multiple of 10?
True
Let b(j) = 616*j + 229. Is 11 a factor of b(5)?
False
Suppose 2*b - 5*o - 327 = 0, 4*b = 5*o - 4*o + 627. Suppose -4*l + 2*y + 2*y = -b, 3*l = -5*y + 125. Does 20 divide l?
True
Suppose 6 - 30 = 4*z. Is 9 a factor of (-400)/(-12) - z/9?
False
Let n(u) = -5*u. Let v(o) = -14*o. Let l(q) = 17*n(q) - 6*v(q). Let p be l(2). Let z(y) = 9*y**2 - 3*y - 3. Is z(p) a multiple of 24?
False
Suppose -5 = -r - 0*r. Supp