uppose -3*l + l + 18 = 0. Is 19 - (l/3)/(-3) a multiple of 13?
False
Let c(j) = -j**2 - 4*j - 1. Let x be c(-3). Suppose t - 69 = -4*y, 4*t - 6*t = x*y - 42. Does 7 divide y?
False
Let v(l) = l**3 + 6*l**2 + 4*l + 6. Suppose 0 = -3*s + 3*b - 18, 2*s - 3*b = -13 - 0. Is v(s) a multiple of 4?
False
Let a(i) = i**3 - 5*i**2 - i + 4. Let y be a(5). Let v be -5*y/(-5)*6. Let f(h) = -h**2 - 11*h - 5. Is 15 a factor of f(v)?
False
Let r(y) = -y. Let k be r(-4). Let a = k - 5. Let z = a - -6. Is z a multiple of 5?
True
Suppose -3*w = -6*w - 324. Let g = -155 - w. Let p = g - -90. Does 16 divide p?
False
Let c(v) = 4*v**2 + 3 - v - 4*v - 3*v**2. Is c(6) a multiple of 3?
True
Let i be (-4)/14 + (-161)/(-49). Suppose 2*f = -i*f. Suppose -5*h = -f*h - 265. Is 14 a factor of h?
False
Is (0 - 1)*(-205)/5 a multiple of 14?
False
Let f(p) = -8*p. Let t be f(-1). Does 6 divide 148/t + 3/2?
False
Let y(s) = -9*s + 1. Let v be y(-6). Suppose 2*b - v = -3*z + 23, b = -5*z + 130. Is z a multiple of 11?
False
Suppose 0 = -4*d + d - 15. Let m = 18 + d. Is m a multiple of 13?
True
Suppose 0*i = -i - 2. Suppose 5*k + 0*a - 2*a = 7, -3*k = 2*a - 17. Is k*2/(-4)*i a multiple of 2?
False
Suppose 2*b = -0*b + 4. Suppose b*a = 95 + 61. Is a a multiple of 24?
False
Let m = 0 - -5. Suppose -k + 1 = -m. Does 20 divide (-306)/(-15) - k/15?
True
Let w(q) = -6*q**2 - 4. Let j be (12/10)/((-6)/(-15)). Let s(m) = -6*m**2 - 3. Let i(h) = j*w(h) - 4*s(h). Is 6 a factor of i(1)?
True
Suppose -2*c - 2*n = -14, -c - n + 6*n = 11. Let t = 52 + -16. Suppose 0 = -k - g + t, -3*k + c*k = -5*g + 56. Does 12 divide k?
False
Suppose -o + 2 = -4*k, -4*k + 5*k = -4*o + 59. Is 14 a factor of o?
True
Let l be (1 + 0)*(100 - -4). Suppose -3*r + r = -l. Is 14 a factor of r?
False
Let m(w) = -w + 14. Suppose 4*x + 0*x = 28. Is m(x) a multiple of 6?
False
Let b(h) = 12*h**2 - 3*h + 3. Suppose 7 = 5*l - 8. Suppose -l*y + 7 = k, 3 = 5*y - k - 6. Is 15 a factor of b(y)?
True
Is 28 a factor of (-34 - 22)/(2/(-4))?
True
Let p(b) = b + 2. Suppose -4*l = -8 - 8. Is 4 a factor of p(l)?
False
Let d be ((-20)/6)/(3/(-135)). Suppose -4*i = -5*n + i - 150, 4*i + d = -5*n. Is 14 a factor of (n/9 - -1)*-12?
True
Let a be (-2 + 2)/(0 - -3). Suppose -3*r + 47 = 4*o - 3*o, 2*r - 5*o - 37 = a. Does 16 divide r?
True
Suppose -4*c + 792 = 2*d, 187 = c - 0*c - 5*d. Is 35 a factor of c?
False
Suppose d + 2*d + 3 = 0. Let p = 4 + d. Suppose -j + 15 - 37 = -b, -p*b + 91 = 2*j. Is b a multiple of 9?
True
Suppose -3*a - 5*c = -c - 18, -5*c = -a + 25. Let u be (4 + -9)*(-4)/a. Suppose -3*g = u - 53. Does 8 divide g?
False
Let v(q) = q**3 + 7*q**2 - 5*q - 10. Let t be v(-7). Let m(j) = j**3 - 5*j**2 - 9*j + 3. Let s be m(6). Let h = s + t. Is h a multiple of 5?
True
Let u(j) = 3*j - 2. Let o be u(3). Let s(h) = -h**2 + 6*h - 7. Let d be s(o). Is 4 a factor of d/2*6/(-7)?
False
Suppose 4*r + j + 0*j - 1006 = 0, -4*j = r - 244. Is r a multiple of 43?
False
Let t be 4/(-18) - (-2814)/27. Let d = t + 13. Is 30 a factor of d?
False
Let c = 4 + 1. Suppose -n + 5 - 47 = -4*z, -c*z + n + 52 = 0. Is 10 a factor of z?
True
Let p(h) = h**3 + 3*h**2 - h - 1. Let a be p(-3). Suppose -4*k + 240 = 4*s, -k + 3*k = a*s + 112. Is k a multiple of 19?
False
Suppose 5*c = 0, -f + 4*c + 8 = -0. Is f a multiple of 8?
True
Suppose -210 = r - 5*r + 2*d, 0 = 3*r - 4*d - 150. Suppose 2*j = 4*j - r. Does 9 divide j?
True
Suppose c - 52 + 5 = 0. Suppose 2*h - c - 59 = 0. Does 15 divide h?
False
Let f be 2/2*(3 - 26). Let r = -8 - f. Suppose 0*m = -m + r. Is 5 a factor of m?
True
Does 3 divide 3 - 4/((-16)/12)?
True
Suppose -2*y = -v + 2*y - 11, -3*v + 35 = 5*y. Let c = -4 + 7. Suppose h + 27 - 85 = -c*x, 0 = v*x + 2*h - 98. Is 5 a factor of x?
False
Is ((-48)/(-15))/(2/25) a multiple of 9?
False
Let o = 5 - 1. Suppose -3*i + 7 = -8. Suppose o*g = -2*x + 20, 20 = i*g - g + x. Is g even?
False
Suppose 0 = -3*o + 3. Let d(n) = -183*n**3 - 1. Let m be d(o). Is 6 a factor of 2/(-9) - m/18?
False
Let t = 14 + -8. Suppose -t*n + 5*n + 2*o + 10 = 0, 0 = 5*n + 3*o + 2. Does 9 divide 4*(27/n)/3?
True
Suppose 0 = -5*c - 4*a + 559, 2*a - a = 5*c - 579. Is 15 a factor of c?
False
Suppose 0 = -4*a + 6*a. Suppose -4*m - 32 = -4*w, 3*w + 3*m + a*m = 18. Does 2 divide w?
False
Let n(c) = c**3 + 10*c**2 + c - 8. Does 26 divide n(-6)?
True
Is (1 + 1 - 0)*6 a multiple of 6?
True
Let r be 0/(-2) + 2 + -2. Suppose v - 2 = -r*v. Suppose -48 = -2*o - v*q, -5*q = 3*o - 53 - 21. Does 13 divide o?
False
Suppose 5*f = 5*g - 0*f - 405, 3*f = 4*g - 329. Is g a multiple of 16?
False
Does 3 divide 68/16 + 2/(-8)?
False
Let h = -492 + 335. Let i = h + 220. Is 21 a factor of i?
True
Let p = -24 - -15. Let j = p - -14. Suppose j*n = 62 + 43. Is n a multiple of 7?
True
Suppose 5*q + 13 = -42. Let c = 4 + q. Let g = 13 + c. Is g a multiple of 4?
False
Let j = -42 + 72. Does 10 divide j?
True
Suppose 0 = 2*r - 5*r. Suppose r = -2*m - 6. Is 1*m + (-25)/(-1) a multiple of 15?
False
Let s(z) = 6*z**3 + 6*z**2 + 7*z - 9. Let v(a) = 5*a**3 + 7*a**2 + 7*a - 8. Let k(m) = -4*s(m) + 5*v(m). Is 26 a factor of k(-9)?
False
Let b(a) = 2*a - 3. Let j be 2/8 + 489/12. Suppose -5*l - 2*w = -j, -2*l - 5 = -l - 4*w. Does 11 divide b(l)?
True
Suppose 3*o - 2*d = 4, 6 = -2*o - d - 3. Let m(n) = -5*n**2 + 8*n**2 + 3*n - n**3 - 3*n**3. Does 16 divide m(o)?
False
Suppose 2*d + 2 = 40. Suppose x = 53 + d. Does 30 divide x?
False
Suppose k - 100 = -3*k. Suppose 3*c + 5*q + k = 8*c, -4*q - 12 = 4*c. Is 16 a factor of (-191)/(-4) - c/(-4)?
True
Let s be 1/(-2) - (-687)/6. Suppose 0*p + 3*p - s = 0. Is 11 a factor of p?
False
Suppose -j + 0*j = 0. Let h = j - -4. Suppose 0 = -h*y + 15 + 33. Does 12 divide y?
True
Let t(g) = -g**3 + 8*g**2 + 11*g + 2. Suppose -34 = -x - 5*w, 3*x + 5*w = -0*x + 52. Is t(x) a multiple of 10?
True
Let h be (-1746)/(-8) + 1/(-4). Let v = h - 133. Suppose 2*z + 19 + 22 = d, 0 = -2*d + z + v. Is d a multiple of 15?
False
Suppose -2*x - 6 = -5*x. Is 4 + 0 + (x - -4) a multiple of 5?
True
Let m(w) = 2*w + 44. Is m(0) a multiple of 11?
True
Suppose 46 - 9 = 4*x - l, 34 = 4*x + 2*l. Does 2 divide x?
False
Is (-4)/8 - 66/(-4) a multiple of 16?
True
Suppose -159 = -0*f - f + 2*v, 5*f - 751 = -v. Does 27 divide f?
False
Let h = 8 + 4. Is 1/(-4) + 399/h a multiple of 8?
False
Let f(w) = 4*w - 14. Let o = 35 + -22. Is 19 a factor of f(o)?
True
Let z = 81 - 31. Is 10 a factor of z?
True
Let t(r) = -r**2 - 11*r - 8. Let z be 74/(-10) + (-2)/(-5). Is t(z) a multiple of 19?
False
Let o(r) = 2*r**3 + r**2 + r + 1. Suppose -3*t + 4 = -2. Is 8 a factor of o(t)?
False
Let f(h) = h**3 - 11*h**2 + 12*h - 6. Is f(11) a multiple of 21?
True
Let x be (-2)/(2/(-4)*-4). Let r(w) = -21*w - 1. Is 10 a factor of r(x)?
True
Suppose -4*h + 58 + 110 = 0. Does 8 divide h?
False
Suppose 2*b - 44 = 92. Is b a multiple of 7?
False
Let d(k) = k**3 - 7*k**2 + 5*k + 5. Let m be d(6). Let l be 2 + (m + 3 - -1). Suppose 0 = -3*v - 12, l*a + 2*v - 100 = 7*v. Is a a multiple of 9?
False
Let x(f) = -1. Let h(r) = -r + 3*r + 3*r - 4*r + 5. Let z(s) = -2*h(s) - 9*x(s). Does 3 divide z(-2)?
True
Suppose 18*o - 15*o = 162. Is 5/(10/o) + -3 a multiple of 8?
True
Let j(g) = 5 - 3 + 1 + 4*g + 1. Let w be (-2)/9 - 29/(-9). Is j(w) a multiple of 8?
True
Let h(c) = 39*c**3 + 2*c**2 - 1. Let f = 1 - 0. Let t be h(f). Let b = t - 22. Does 14 divide b?
False
Let z(t) = t**2 + 4*t - 13. Let r(n) = -2*n + 5. Let p be r(6). Is 5 a factor of z(p)?
False
Let d(y) = -y**2 + 22*y - 15. Does 27 divide d(16)?
True
Suppose 4*w - 29 = -3*h, -2*h + 19 = 5*w - 5. Suppose -5*c = 5*b - 45, h = 3*c - 5*b - 28. Is c a multiple of 5?
True
Suppose -l + 3 = -0. Let w be (-4)/((l - 8) + 3). Suppose -6 = -w*a + 4*k, 5*a - 33 = 2*k - k. Is a a multiple of 2?
False
Let c = 5 + -6. Is 21 - (2 + 1 + c) a multiple of 10?
False
Let q(a) = 10*a + 3. Let d be q(5). Let m = -5 + d. Does 11 divide m?
False
Suppose -2*c = -c + 3, 0 = d - 4*c - 21. Does 11 divide d*(-2 + (-34)/(-6))?
True
Let t be (1 - 1) + 0 + 29. Suppose t = 3*i - 4*q - 95, -196 = -5*i - 4*q. Is i a multiple of 16?
False
Suppose -1972 + 248 = -4*t. Does 61 divide t?
False
Suppose 0 = -4*n + 4*k, -n + 3*k = -k. Suppose 0 = -n*w - w + 4. Does 3 divide w?
False
Let d(r) = r**3 + 2*r**2 - 2*r + 2. Let k be d(-