 - 2*l + 6 = 2*j, l + 5*j = 24. Let c be -1*(l + 0)*4. Suppose 0 = v + 3*n - 12, 0 = v + c*n - 11 + 1. Is 9 a factor of v?
True
Let b(r) = 4*r - 4. Let j be b(3). Suppose 5*o = -3*c + 28, o + 7*c - 3*c = -j. Is o a multiple of 6?
False
Let m(d) = -d + 5. Let b be m(4). Let k = b + -1. Is 5 a factor of 10/3*(3 + k)?
True
Let z be (4 - (3 + -1))*2. Suppose -5 = 5*m - 0*m - z*d, -m = 5*d - 28. Is m a multiple of 2?
False
Suppose 3*c = z + 188, -5*c - 7*z + 308 = -6*z. Is 7 a factor of c?
False
Let q(l) = l + 2*l - 6*l + 6. Let x be q(-5). Suppose 2*p - 53 = -w, p - 2*w + 7 - x = 0. Does 12 divide p?
True
Suppose -11*r + 280 = -6*r. Does 14 divide r?
True
Let f(z) = 4*z + 6. Let q be (3 + 4/2)/1. Is f(q) a multiple of 13?
True
Let g(p) = p**3 + 2*p**2 - 3*p + 2. Let l be g(2). Let k = l - -12. Does 6 divide k?
True
Let u = -1 - -1. Let y = u + -2. Is 6 a factor of (21/y - -2)*-2?
False
Let v(c) be the third derivative of -c**4/24 - c**2. Let m be v(-2). Let q(w) = 8*w - 2. Is q(m) a multiple of 5?
False
Let d be -3 + 6 - (-4)/(-2). Let a = d - 1. Suppose -y + 4*o - 3*o + 26 = a, -4*y + 5*o + 106 = 0. Does 24 divide y?
True
Let y(k) = k - 17. Let v be y(10). Let p(t) = -t**3 - 7*t**2 - 2*t + 2. Is p(v) a multiple of 16?
True
Suppose 4*h + 4*v = -44, -h - h + 5*v = 36. Does 10 divide 2 + -8 + 3 - h?
True
Suppose -v - q - 5 + 74 = 0, 3*q + 353 = 5*v. Does 14 divide v?
True
Let i(p) = -p**2 - 5*p - 6. Let r be i(-5). Let j = -3 - r. Is 2 a factor of j?
False
Suppose -2*c + 6 = x, -x + 5*x + 5*c - 24 = 0. Let s be (-2)/x + (-1)/(-3). Let k = 19 - s. Is 19 a factor of k?
True
Suppose j - 88 = -j. Is j a multiple of 11?
True
Let o(k) = k + 48. Is o(-20) a multiple of 14?
True
Suppose 2*k - 110 = -0*y + 3*y, 3*y + 208 = 4*k. Is 16 a factor of k?
False
Let p(u) = u**2 - 9*u - 6. Suppose 12 - 4 = -2*g + 2*r, -4*g = 3*r + 23. Is p(g) a multiple of 16?
True
Let r = -17 - -17. Let x(w) = w**3 + w**2 - w + 9. Does 9 divide x(r)?
True
Let c(v) = -v**3 + 6*v**2 + 7*v - 8. Let t be c(7). Let h = t - -14. Is 6 a factor of h?
True
Suppose 0 = -6*b - 3*b + 792. Is 8 a factor of b?
True
Suppose 3*v - 5*n = -n + 17, 2*v - 5*n = 2. Is 5 a factor of v?
False
Suppose -3*b - 3*d - 1 = -2*d, b + d = 1. Does 8 divide 12 - -3 - (-1 + b)?
False
Let n(u) = 32*u**3 - u. Suppose 5*d = -0*d - 15. Let g be 3 - (-3)/d*2. Is 14 a factor of n(g)?
False
Is (-15 + 10)*(-6)/5 a multiple of 6?
True
Suppose 3*j - 2*z - 26 = 0, 0*z = -4*z - 16. Is 334/7 - j/(-21) a multiple of 10?
False
Let l be (10/(-8))/((-3)/60). Let r = l + -14. Suppose -k + 5*x = 9, -k - 2*x + 8 + r = 0. Does 11 divide k?
True
Let q(n) = n**2 + 8*n - 4. Let d be q(-9). Suppose d*u = -20, -23 = -y - 4*y + 2*u. Suppose -4*c + 72 = -5*p, -y*p + 60 = 4*c - 5*p. Is c a multiple of 13?
True
Let r(d) = -19*d - 23. Is r(-7) a multiple of 24?
False
Suppose 70 - 478 = -17*t. Does 9 divide t?
False
Suppose -3*k - 6 = -0. Let x = 5 - k. Is x a multiple of 3?
False
Let p(t) = 2*t**3 - 2*t**2 + 2*t - 5. Let m be p(4). Suppose -5*j + 255 = -5*o, -j + m = j - 5*o. Suppose 0 = h - 3*h + j. Is 13 a factor of h?
True
Suppose 0 = -4*a + 3*a + 76. Suppose 5*b + 5*p - 20 = 0, 5*b - 26 = 3*p - 2*p. Suppose a = b*q + 4*d, 0 = -2*q + q - 4*d + 28. Is 9 a factor of q?
False
Suppose 2*t + 1 + 3 = 0. Let i be ((-1)/t)/((-2)/(-44)). Let k = i + 4. Does 15 divide k?
True
Let w = 87 - 45. Does 13 divide w?
False
Let o be (-16)/(-6)*(-1350)/72. Let h = o - -86. Does 21 divide h?
False
Let k(g) = -2*g**3 - g**2 + 8*g + 9. Is 23 a factor of k(-4)?
False
Let l(v) = v. Let g be l(2). Let t(d) = 19*d**g - d + 1 + 0*d - 3*d**2 + 3*d. Does 4 divide t(-1)?
False
Let j be 16 + -2*1/2. Is 10 a factor of (-49)/(-5) - (-3)/j?
True
Let l be 1/(-3) + 1356/(-36). Let j = -39 + 12. Let c = j - l. Is c a multiple of 9?
False
Let q(h) = 3*h**2 + 5*h + 23. Is 13 a factor of q(-9)?
True
Let a be 2 - 1 - 12/2. Let y(n) = n**2 - 2*n + 3. Let s(v) = v. Let o(t) = 4*s(t) + y(t). Does 18 divide o(a)?
True
Let v(n) = 2*n**3 - n - 4*n**2 + 2 + 0 + 4*n**2. Is 28 a factor of v(3)?
False
Let k(b) = b**2 - 4*b. Let z be k(4). Let m = 48 + -34. Suppose m = t - z*t. Does 12 divide t?
False
Suppose -4 = 2*b + 2. Does 4 divide 0 + (-3*7)/b?
False
Let y(n) = -6*n**3 + n**2 + n. Let v be y(-1). Suppose g - 3*u + u = -21, 5*u = -2*g - v. Is (-3 - -5)/((-1)/g) a multiple of 13?
True
Let d = -4 + -34. Let n = -67 - d. Let j = 69 + n. Is j a multiple of 17?
False
Let y = 1 - -1. Suppose 0*d - 66 = -y*d + z, z = -5*d + 179. Does 12 divide d?
False
Let b(w) = 4*w - 9. Does 16 divide b(7)?
False
Is (-7735)/(-75) - (-6)/(-45) a multiple of 6?
False
Let p(z) = -z**3 + 10*z**2 - 9*z - 10. Does 15 divide p(8)?
False
Suppose 1 = 2*k - 3*k. Let d be 3/((-201)/(-192) + k). Is 26 a factor of d - -4*1/(-2)?
False
Let l(s) = -5*s + 37. Let q(t) = -2*t + 19. Let i(w) = -3*l(w) + 7*q(w). Suppose 2*v = -4*r - 4, v = -4*v - r - 1. Is i(v) a multiple of 12?
False
Let x(j) = 0*j**2 + 11*j + j**2 - 1 + 7. Let c be x(-5). Let t = c + 36. Is 8 a factor of t?
False
Let k = 4 - 1. Let w = 45 + k. Does 16 divide w?
True
Suppose n - 2 = 2*h, 3*n - 9 + 3 = -4*h. Suppose -4*t = -n*t + 444. Is t/(-8) + 4/16 a multiple of 14?
True
Let a(q) = 3*q - 7. Let k be a(-6). Let c = 40 + k. Is c a multiple of 13?
False
Let k = 313 + -121. Suppose -3*g + 21 = 2*d, -3*d - 13 = -5*g + d. Suppose g*n = n + k. Is 13 a factor of n?
False
Suppose h - 10 = -3*t, -2 = 2*h - 0*h - 5*t. Suppose h*n - 152 = -3*a, -4*a = -2*n + n + 38. Does 19 divide n?
True
Let t(h) = -29*h**3 - h**2 - h. Let f be t(-2). Suppose 3*v = -2*v + f. Does 18 divide v?
False
Let w(i) = 18*i**2 + i. Is 30 a factor of w(-2)?
False
Let y = -1 - -67. Does 33 divide y?
True
Let w = -26 + 36. Suppose 0 = a + w + 63. Let l = 119 + a. Does 17 divide l?
False
Let m be (0/(-2))/((-8)/4). Does 8 divide 32/2 + (1 - m)?
False
Let w = -200 - -288. Is 8 a factor of w?
True
Is 7 a factor of 48/(-32)*(-56)/6?
True
Let n = -54 + 35. Suppose y - 5*y - 180 = 0. Let x = n - y. Does 13 divide x?
True
Suppose 0 = 5*m + 4*y - 704, 36 = m + 5*y - 109. Does 35 divide m?
True
Let g(y) = 14*y**2 + 4*y + 2. Does 25 divide g(-2)?
True
Suppose 2*r + 55 = 3*g + 3, -52 = 2*r + 4*g. Let u = 66 + r. Is 11 a factor of u?
False
Let z = -50 - -53. Is 3 a factor of z?
True
Let y = 52 + -32. Suppose y = -6*h + 10*h. Does 2 divide h?
False
Let d = -4 + 4. Let l = d + 1. Let f = 25 + l. Is f a multiple of 13?
True
Let v(a) = a**2 - 4*a - 2. Let h be v(5). Suppose 2*q + 7*l - 5*l - 692 = 0, -h*l - 1730 = -5*q. Suppose -5*f + q = 76. Is 19 a factor of f?
False
Suppose 27*h + 3 = 28*h. Does 2 divide h?
False
Suppose 5*h - 4*h - 133 = -2*o, 4*o = 5*h - 735. Is h a multiple of 38?
False
Does 10 divide -2 + 39 + (-6 - -8)?
False
Suppose -6*w + 328 = -4*w. Suppose -d + 4*o + w = 3*d, -5*d = 5*o - 215. Does 14 divide d?
True
Suppose 5*c - 14 = -4. Suppose -16 = -c*n + n. Does 9 divide n?
False
Is 19 a factor of ((-6)/(-4))/(2/76)?
True
Let r = 75 + -35. Is 10 a factor of r?
True
Let p be 2 - 2/(-2) - 8. Let l(y) = -y**3 - 5*y**2 - 7*y - 2. Is l(p) a multiple of 18?
False
Let v be (-3 - 0)*(0 + -2). Suppose -3*z - v + 36 = 0. Is z a multiple of 10?
True
Is (-30)/(-4) - (-2)/(-4) a multiple of 4?
False
Suppose -4*a - h + 31 = -6, 5*a - 25 = 3*h. Let z = a - 3. Does 2 divide z?
False
Let q(m) = m**2 + 2*m - 1. Let r = -8 + 5. Let t be q(r). Suppose t*i = 5 + 7. Is 3 a factor of i?
True
Does 20 divide (-32)/10*(-29 - -4)?
True
Suppose -4*q = -10 - 2. Suppose 4*u = q*t - 8*t + 171, 0 = -u - 2*t + 45. Does 13 divide u?
True
Suppose -3*v - 2*v + 16 = -2*i, 2*i - 24 = -5*v. Suppose 0 = i*x - 81 - 91. Is x a multiple of 24?
False
Let g(c) = c. Let j(v) = 23*v**2 + 2*v + 1. Let u(s) = -g(s) + j(s). Is 6 a factor of u(-1)?
False
Let z be (5 - 4)/(1/18). Suppose -4*v - z + 42 = 0. Does 3 divide v?
True
Suppose -3*v = -h - 53 + 1, -3*v + 5*h = -56. Is v a multiple of 14?
False
Suppose 0 = 2*k - 2 - 4. Let h be 1*(-3 + 3 + k). Suppose -5*u + 120 = -h*m, m - 72 = 2*u - 5*u. Does 12 divide u?
True
Let y be 69 + 3 - 2*-1. Let c be (4/8)/(1/84). Let p = y - c. Is p a multiple of 16?
True
Let t(x) = 8*x + 68. Does 47 divide t(21)?
False
Suppose -4*v = 4*c + 8, -3*c + 8 = -2*c - 4*v. Let y = 0 - c. Suppose y = -w - 1 + 24. Does