e a(-5). Let b(s) = -s. Let f(n) = m*c(n) + 6*b(n). Is 15 a factor of f(4)?
True
Suppose -24*b = 7844 - 38804. Is b a multiple of 46?
False
Let s(y) = 5*y**3 + 16*y**2 - 25*y - 20. Let d(o) = 4*o**3 + 17*o**2 - 24*o - 21. Let m(r) = -4*d(r) + 3*s(r). Is m(-21) a multiple of 14?
False
Let k(u) = u + 37. Is 16 a factor of k(7)?
False
Let y(m) = 72 + m**3 + 0*m - m**2 - 12*m + 6*m + 7*m. Does 18 divide y(0)?
True
Let a = 24 - 11. Suppose -d = -a - 135. Does 46 divide d?
False
Suppose 4*k + 2*b = 1730, -19*k + 4*b + 446 = -18*k. Is 16 a factor of k?
False
Suppose -5*z + 2*w - 41 = 0, -2*z - 2*w - 5 = 3. Let h be (-38)/(-8) - z/28. Let i(d) = 6*d + 3. Does 12 divide i(h)?
False
Suppose 3*o - 3*i - 2*i = -721, -2*i + 486 = -2*o. Let r = o + 439. Is r a multiple of 24?
True
Suppose -v + 2*h + 5 = 6*h, -4*v + 5*h = -20. Suppose -3*m + 432 = v*m. Is 9 a factor of m?
True
Suppose 4 + 69 = -n + 3*g, 2*n + 145 = 5*g. Let a = n - -109. Is a a multiple of 39?
True
Suppose 4*i + 4*b - 224 = 0, 0*b = -5*i - b + 284. Let u = -38 + i. Let a = 95 - u. Is a a multiple of 20?
False
Let m(l) = 16 - 9*l**2 + 22*l**2 - 7 + l**3. Is m(-13) a multiple of 2?
False
Let g(f) = -626*f + 209. Is g(-3) a multiple of 70?
False
Suppose 3*a - 4*c = 7536, 4*c - c = -5*a + 12531. Is a a multiple of 19?
True
Let c be -2 + 10/(2 + 0). Is 12 a factor of (-1 - (-4)/c) + 3448/24?
True
Suppose 6 = -3*h + 21. Suppose -2*m = h*m - 2877. Suppose 6*x - m + 123 = 0. Is x a multiple of 12?
True
Suppose 2*m + 23 - 29 = 0. Suppose -2*x = m*x - 1090. Does 11 divide x?
False
Let q(w) = 59*w**2 - 2*w - 1. Let c be q(-1). Suppose -6*x + 3 = -5*x. Suppose f = 3*n - x*f - c, -f = 0. Does 6 divide n?
False
Let u = 0 - -3. Suppose -u*l - 1 = 119. Is 9 a factor of 10/l + 45/4?
False
Suppose -9 = 3*k - 3, -4*a - 5*k + 18 = 0. Suppose 4*x - 1 - a = 0. Let u = x + 8. Does 10 divide u?
True
Let v(o) = 12*o**2 + 13*o + 17. Let g be v(-12). Suppose 2*q = 9*q - g. Does 34 divide q?
False
Let g = -149 - -210. Let h = g - 37. Is h a multiple of 8?
True
Suppose -52 = -v + 5*v. Let b = -23 - v. Is 9 a factor of 2/b - (-1274)/70?
True
Let o = -901 - -947. Does 23 divide o?
True
Let f = 18 - 10. Suppose -5*n + f*n + 378 = 0. Is (5/(-2))/(7/n) a multiple of 15?
True
Suppose m = -10 - 20. Is 26 a factor of ((-260)/(-15))/((-4)/m)?
True
Is (-4 - -7) + -6 - -1333 a multiple of 10?
True
Suppose 3*o = -3*o + 60. Let c(r) = -r - 2*r - 7 + 0*r + o*r. Is 28 a factor of c(5)?
True
Suppose -c = 3*o - 490, -2*c - 12*o + 959 = -13*o. Is c a multiple of 40?
False
Let g(t) = -t**3 - 8*t**2 + 33*t - 43. Is g(-20) a multiple of 19?
False
Let b be 3/7 - (0 - (-464)/(-28)). Let t(s) = -s**2 + 17*s + 4. Does 4 divide t(b)?
True
Suppose -141*r = -134*r - 3528. Is r a multiple of 18?
True
Let y be (57/12)/((-7)/28). Let c = y + 102. Suppose -d + 16 = -c. Is 25 a factor of d?
False
Let u be (-5090)/(-70) + (-4)/(-14). Let t = u - 35. Is 38 a factor of t?
True
Let j = -18 + 12. Let k(w) = -14*w**3 + 2*w**2 + 7*w + 4. Let d be k(j). Does 10 divide 2/7 + d/77?
True
Let d be -1 + -297 - 4*(-2)/(-2). Let k = -205 - d. Is 12 a factor of k?
False
Suppose 189 = 15*l - 14*l. Is l a multiple of 9?
True
Does 12 divide (-93)/((264/(-16))/11)?
False
Let y(h) = h**2 + 2*h + 8. Let p be y(8). Suppose 4*v = -0*v - p. Let l = v + 27. Does 5 divide l?
True
Suppose -10*t = -t - 4734. Is t a multiple of 17?
False
Let x(m) = 137*m**2 - m - 21. Does 44 divide x(-3)?
False
Suppose 20 + 0 = 5*n. Suppose -234 = -r - n*r - 3*v, r = 4*v + 56. Is 16 a factor of r?
True
Suppose 5*x + 200 = 990. Suppose -x = -2*i - 4*a + 658, -3*i - 5*a + 1229 = 0. Suppose 7*h = 3*h - 8, h = -5*o + i. Does 28 divide o?
True
Let d = 15 - 11. Suppose -d*w = -4*u + 348, 4*w + 17 = 3*u - 241. Is 40/6*u/12 a multiple of 7?
False
Let i(j) = 14*j**2 + 4*j + 4. Let m be (21/(-3))/(-1) - (0 - -4). Is i(m) a multiple of 29?
False
Let u be (3 - 5)/(3/3) - -6. Suppose -4*o + 48 = -2*o - 4*b, 0 = 5*o - u*b - 108. Does 6 divide o?
False
Let b be 1*-3*-3*1. Suppose -5*t = t - 0*t. Let n = t + b. Is 2 a factor of n?
False
Let w = -620 - -1816. Does 52 divide w?
True
Let w = 95 + -9. Is 30 a factor of w?
False
Let s(h) = 2*h + 22. Let l be s(-9). Suppose -t = 2*a - 9, l*a + 26 + 61 = 5*t. Does 4 divide t?
False
Suppose -5*z = 4*h - 2*h - 58, -5*z + 3*h = -38. Suppose t - 50 = -z. Is 10 a factor of t?
True
Suppose -2758 = -5*a + 3*o, -2*a + 3*o = -0*o - 1096. Is 13 a factor of a?
False
Suppose z + 2*b - 7*b = -10, -5*z - b + 2 = 0. Suppose 11*i - 9*i = z. Let m(k) = -k**2 + 60. Does 15 divide m(i)?
True
Suppose -3*h - 11*g + 2034 = -15*g, -3*h + g = -2034. Is 15 a factor of h?
False
Suppose 4*s - 5*n - 115 = -4*n, -s + 5*n = -24. Suppose 3*v + v = j + s, 2*v = 5*j + 1. Let h(p) = -p**3 + 7*p**2 + 13*p - 11. Is 10 a factor of h(v)?
False
Suppose k = -3*k - 3*o - 4, -2*k = 4*o + 12. Let x(z) = 10*z**2 - 2*z + 4. Is 8 a factor of x(k)?
True
Let h(k) = -11*k**3 - 25*k**2 - 21*k + 1. Let y(c) = -5*c**3 - 12*c**2 - 10*c. Let z = 12 - 8. Let t(i) = z*h(i) - 9*y(i). Does 3 divide t(-7)?
False
Let m = 179 - 175. Suppose u - 3*u + 5*j + 180 = 0, 180 = 2*u + 2*j. Suppose -v = 4*r - u, -5*v = m*r - 0*v - 98. Is 19 a factor of r?
False
Let s(h) = 17*h**2 - 6*h + 3. Let z be s(-4). Suppose z = 3*a + 125. Is a a multiple of 29?
True
Let z(x) = 40*x**2 - 20*x - 141. Is 43 a factor of z(-6)?
True
Suppose i - 99 = -5*v - 11, 0 = -i + v + 82. Let y = i + 30. Is 28 a factor of y?
False
Is 68604/264*16 + (-4)/(-22) a multiple of 54?
True
Suppose 166*k = 167*k - 1197. Does 27 divide k?
False
Let l = -336 + 173. Let w = -72 - l. Is 5 a factor of w?
False
Let s(l) = 7*l + 18. Let c be s(5). Suppose -4*r + 95 = -c. Is r a multiple of 4?
False
Does 41 divide (27/(-12))/(2*12/(-13120))?
True
Is (1 + -1*(-3)/(-6))*4002 a multiple of 87?
True
Suppose 10*z + 76 = 3436. Is 14 a factor of z?
True
Suppose -2*z - 778 = -4*z. Let f = z - 216. Suppose 6*y + f = 539. Is y a multiple of 17?
False
Suppose 4*o + h + 3*h + 56 = 0, 3*h = 2*o + 18. Let y(r) = r**2 + 14*r + 30. Does 5 divide y(o)?
False
Does 42 divide 1011 - ((-90)/(-35) + (-6)/(-14))?
True
Let d = -94 + 96. Suppose -5*k + 1510 = 5*w, 0 = -d*w - 6*k + k + 613. Does 13 divide w?
True
Suppose -6*u - 168 = -8*u. Suppose -3*w + 3*m + u = 0, -6*m + 2*m - 12 = 0. Is 25 a factor of w?
True
Suppose -212 = -3*x + 5*r + 273, 12 = -3*r. Is 31 a factor of x?
True
Suppose 2*t = -2*t + 4*w + 20, -19 = -5*t + 3*w. Let p = t + 5. Let v = -4 + p. Is 2 a factor of v?
False
Let m = -7 + 12. Suppose 6 = m*j - 3*j. Suppose j*f + 9 = 4*f. Is f a multiple of 4?
False
Let k be 18/6 + (-1 - (0 - 2)). Suppose 5*j - m - 716 = 0, -6*m = -5*j - k*m + 712. Is j a multiple of 24?
True
Suppose 0*i - 117 = -3*i + 3*d, -5*i + 2*d + 207 = 0. Is i a multiple of 8?
False
Let q be 44/(-6) + (-3)/(-9). Let t(w) = -4*w**2 - 6*w**2 + 7*w**2 - 4*w - 5 - 4*w**2 - w**3. Is t(q) a multiple of 6?
False
Let k = 90 - 81. Suppose 120 = -8*i + k*i. Is 15 a factor of i?
True
Let x be (-8008)/(-32) + 1/(-4). Suppose -156 = -5*m + s + 167, 2*s = -4*m + x. Is m a multiple of 32?
True
Suppose 4*l = -l + 20. Suppose 0 = l*v - 474 - 134. Let j = -104 + v. Is 24 a factor of j?
True
Suppose 9*r - 393 = 6*r. Suppose 2*m = 5*b - 449 - r, 585 = 5*b - 3*m. Is 19 a factor of b?
True
Let l = 32 - 28. Suppose o - l*q = 66, -4*o + 3*q = -117 - 199. Is 12 a factor of o?
False
Let x be 4 + -3 - (1 + -3). Suppose 0*t - w + 18 = -5*t, -x*t - 3 = 2*w. Is 6 a factor of (t + 21 + 2)/2?
False
Suppose 5*o - 4*u - 2 = 14, 17 = 4*o + u. Does 19 divide 114/o - 6/12?
False
Does 49 divide 16/72 + 2 + (-4390)/(-9)?
True
Suppose 4*j - 30 = 14. Let i be (-317 + -1)*j/(-22). Suppose u = -2*p + i, -5*p + 0*u = 5*u - 390. Does 14 divide p?
False
Does 60 divide 180/14*(-238)/(-51)?
True
Suppose -z - 5928 = -4*k, 5*k - 2*k = -z + 4446. Is 71 a factor of k?
False
Let x(i) = -8*i + 15. Let b be x(0). Let d = 34 - b. Is 11 a factor of d?
False
Is 27 a factor of 3550/16 + ((-3)/8)/(-3)?
False
Let z = -63 - -120. Is 7 a factor of 38/z*45/2?
False
Let u be (-1)/(-1 - 24/(-20)). Let t(a) = 2*a**2 + 10*a + 4. Let v be t(u). Suppose 130 = v*o - 2*o. Does 13 divide o?
True
Let y = 2402 - 1568. Is y a multiple of 23?
False
Is 11 a factor of (-3 - -5)*8437/26?
True
Let t(