 5*d + v - 20, g = d + 3*v - 4. Suppose q + 1 + 2 = -5*i, 0 = 3*i + d. Is q a multiple of 2?
True
Suppose 5*m + 2*k = 717, 148 = m + k + 4*k. Suppose 13 = n + 2*c - 126, 0 = -n - 4*c + m. Is n a multiple of 27?
True
Let x(o) = o**3 + 8*o**2 - 8*o - 41. Is 17 a factor of x(-6)?
False
Let g be -6*(-8)/3 + 2. Let u(m) = -m + 13. Let v be u(g). Does 25 divide (v/(-2)*60)/2?
True
Does 4 divide (4/((-96)/(-66)))/((-2)/(-24))?
False
Let m(h) = h**3 - 7*h**2 - 3*h - 7. Let c be m(8). Let w(o) = o**3 + 5*o**2 - 3*o + 7. Let v be w(-6). Let p = c + v. Is 11 a factor of p?
True
Let c = 13 + -7. Let b be (-7)/(56/c)*-8. Is 1/b + 730/12 a multiple of 39?
False
Suppose -46*q = -62*q + 10640. Is q a multiple of 19?
True
Let k be (-16)/(-6) - (-18)/(-27). Suppose -k*d = 61 + 55. Let v = d - -124. Is v a multiple of 12?
False
Let s = 12 + -20. Let p = s - -22. Is 10 a factor of p?
False
Let p(j) = j + 21. Let x be 27/(-6)*(4 - 2). Let f be p(x). Let w(k) = -k**2 + 13*k + 1. Is w(f) a multiple of 5?
False
Let i(a) = a. Let o(v) = -5*v - 18. Let p(h) = -2*i(h) + o(h). Is 6 a factor of p(-7)?
False
Let r be (-3)/(-2) - 1/(-2). Let g(a) = 3*a - 7*a + 0 - r. Does 5 divide g(-9)?
False
Suppose 0 = 3*f - 4*f + 5, 2*k + 2*f = 596. Is k a multiple of 3?
False
Suppose -5*d + 26 = -3*i, d - 15 = 4*i - 3. Suppose -4*g + 150 - 62 = d*a, 4*g = -3*a + 64. Is a a multiple of 8?
True
Suppose 743 = -3*m - 5*u, -2*m = -m + u + 247. Let g = m + 442. Is g a multiple of 49?
True
Let a = 395 + -387. Let z(c) = 4*c - 5 + c**2 - 3*c - 3. Is 16 a factor of z(a)?
True
Suppose 0 = 5*w - 2*w + 15. Let f(u) = -u - 3. Let i be f(w). Suppose x = 3*r - 2, -3*x + i*r = -2*x. Is x even?
True
Let c = 26 + -22. Suppose 3*y + 28 = 4*x, -c*y - 4*x = -0*x. Does 5 divide (-21)/y - (-1)/(-4)?
True
Is (-3)/2*(-5 + 250/(-2)) a multiple of 65?
True
Let t be ((-3)/6)/((-3)/42). Suppose t*n = 8*n - 40. Suppose -4*c - 10 = q - n, -2*c = q - 30. Is 10 a factor of q?
True
Suppose 0 = -4*z + 4, -3*m - z + 649 = -0*m. Let n = -27 + m. Let d = -126 + n. Is 9 a factor of d?
True
Let x = -267 - -894. Does 30 divide x?
False
Is (-46)/(-6 - 138/(-24)) a multiple of 23?
True
Let a be -4*65/1*(-98)/245. Let y(s) = s**3 - 8*s**2 + 2*s + 6. Let d be y(5). Let m = d + a. Does 11 divide m?
False
Suppose -3*c + 4*f = 2047, -5*c = -3*c + 3*f + 1393. Let v = -409 - c. Suppose -2*k - 208 = -3*q - 0*q, 4*k + v = 4*q. Is 17 a factor of q?
True
Suppose 12*x = 84 - 492. Let d = -1 - x. Is d a multiple of 3?
True
Suppose 0 = -3*q + t + 12, -3*q + 2 = 3*t - 22. Suppose 5*o = -k - 303, 2*o - q*k + 3*k = -114. Is (-24)/o + 93/5 a multiple of 3?
False
Let r = -1 + -57. Let a = 37 - r. Let y = -65 + a. Is y a multiple of 16?
False
Let k = 131 - 68. Suppose 3*a + 161 - 41 = 0. Let x = a + k. Is 14 a factor of x?
False
Let t be (4/(-6))/((-8)/(-4308)*1). Let c = t + 515. Is c a multiple of 26?
True
Is (3 + 0 - 4)/((-1)/253) a multiple of 6?
False
Suppose -3*r - 8 = -7*r. Let h be r + 27/6*2. Suppose 2*x - 7 - h = 0. Is x a multiple of 3?
True
Let r = -75 + 77. Suppose -3*v + r*n = -155 + 27, 0 = -v + n + 43. Is v a multiple of 21?
True
Let a(l) = l**3 - 4*l**2 - 47*l - 11. Is a(14) a multiple of 8?
False
Is 26 a factor of 5/25 - (5832/(-15) - -2)?
False
Let r(b) = 2*b**3 - b**2 - 11*b - 19. Let v(m) = m**3 + m + 1. Let n(j) = r(j) - v(j). Is n(7) a multiple of 10?
True
Suppose 3*y = -r + 24, 21 = -0*r + 2*r - 3*y. Let g be -1 - (3 - 11)/2. Suppose 0*f - g*f = -r. Does 5 divide f?
True
Let u(c) = -c + 5. Let t be u(0). Let h(b) = 3*b**2 + 6*b. Let d be h(t). Suppose 0*s - d = -3*s. Does 10 divide s?
False
Let n be -2 + 36/15 + 4052/20. Suppose 2*m = -0*m. Suppose m = 4*k - n + 51. Is k a multiple of 22?
False
Let v = -385 - -655. Does 9 divide v?
True
Let n be 6*(2/3 + 0). Suppose -l - n = 6. Let t(h) = -7*h - 4. Is 22 a factor of t(l)?
True
Does 21 divide (-3 - 36/(-8))/((-15)/(-10240))?
False
Let g(y) = -3*y + 10. Let s be g(-7). Let n be -6 + 0 + 24/3. Is 14 a factor of s + 3/(-2)*n?
True
Let v(q) = q - 4. Suppose 48 = 3*c - 6. Let z = 28 - c. Is v(z) a multiple of 6?
True
Suppose -4*k - 3*h + 1230 = 0, -610 = -2*k - 0*h - 4*h. Suppose -k + 15 = -6*m. Is m a multiple of 7?
True
Suppose 2*f + 3*r + 16 = 5*r, f + 2*r = -11. Let g be 99*((-3)/f + 0). Suppose 2*c - 39 = g. Is c a multiple of 9?
True
Let u = 35 - 42. Let y(b) = b**2 + 2*b + 1. Does 17 divide y(u)?
False
Let l = -156 + 588. Is 34 a factor of l?
False
Suppose -1126 - 2269 = -5*f. Is f a multiple of 65?
False
Suppose -2*f + 29 = -77. Let j be -4*(6/(-18))/(1/3). Suppose -t - 3*b + 16 = 0, -j*b + 5 = -4*t + f. Is 13 a factor of t?
True
Suppose -5*y - 2*o - 17 = 0, 2*y = 4*y - 2*o + 18. Let n(j) = -6*j - 2 + 13*j**2 - 8*j**2 - 4*j**2. Is n(y) a multiple of 15?
False
Suppose -5*r = -25, 5*r - 25 = -v + 12. Let z be 69/v + (-2)/(-8). Suppose -4*c + 2*g = -86, 0 = g - z*g - 15. Is c a multiple of 5?
True
Suppose -4*m + 8 = 0, m = 2*r + 3*r - 23. Suppose -r*u = -5, 123 = 4*n - 6*u + u. Is n a multiple of 8?
True
Let x be -3*3/(-9)*5. Let c be 3/x + (-44)/(-10). Suppose -4*i + i = 0, c*i = -4*w + 88. Is 4 a factor of w?
False
Let q = 90 + -38. Suppose 23 + q = j. Is j a multiple of 15?
True
Let j(r) = 2*r**2 - 15*r + 18. Does 32 divide j(-14)?
False
Let y be (3/(-6))/(4/(-1624)) + -1. Let f = y + -4. Is 34 a factor of f?
False
Let w(h) = -284*h - 622. Is 55 a factor of w(-8)?
True
Suppose -2*z + 1779 = -64*n + 63*n, z - 4*n - 872 = 0. Is z a multiple of 23?
False
Suppose m = z + 25 + 7, 0 = 2*m + 3*z - 39. Is 2 a factor of m?
False
Suppose -i = -2*s + 9, 4*s - 3*i - 7 = 2*s. Suppose 0 = -s*j - j + 36. Let f(x) = -x**2 + 8*x - 5. Is 3 a factor of f(j)?
False
Let q = 278 - 154. Suppose -4*f = 4*d - q, -2*d = d + 4*f - 95. Is 8 a factor of d?
False
Let l be 2 - -1*21 - 1. Let g be 4/l + (-303)/33. Let h(p) = -4*p + 27. Is h(g) a multiple of 9?
True
Is (-3 + 4 - 358)*56/(-12) a multiple of 95?
False
Suppose x = 4*x - 312. Suppose -w - 3*o + x = 0, -3*w + w + 2*o + 168 = 0. Let f = w - 36. Is 14 a factor of f?
False
Let v(y) = -463*y + 27. Is 36 a factor of v(-1)?
False
Let x = 79 + -76. Suppose -5*l - x*l = -432. Does 6 divide l?
True
Suppose -19*n + 4 = -21*n. Let v = n - -6. Suppose 5 + 12 = -i - v*d, 4*d + 23 = i. Is i a multiple of 2?
False
Suppose z - 24*t - 50 = -23*t, 5*z + t - 232 = 0. Is z a multiple of 3?
False
Is 39 a factor of (-201)/6*-38 + 3/3?
False
Suppose 20*y - 16*y - 4278 = -2*g, 5*g = -25. Is 9 a factor of y?
False
Is 14 a factor of (-848 - -5)/(1 - 4)?
False
Suppose 2*p - 318 = -76. Does 11 divide p?
True
Let x(h) = -6*h - 42. Let o be x(-7). Suppose o = 4*q - 784 + 280. Does 21 divide q?
True
Let w(q) = -2*q**2 + 38*q + 2160. Is w(0) a multiple of 45?
True
Let t(p) = 21*p - 3. Let x(u) = 3*u - 1. Let z be x(1). Suppose -4*n = -z*n - 4. Is 13 a factor of t(n)?
True
Let w(u) = u**2 - 4. Let j be w(4). Let v = -9 + j. Suppose 0 = -8*s + v*s + 30. Does 2 divide s?
True
Let o be 8/(-6)*(-9)/6. Let l(q) = -q**3 - 3 + 11 - 3*q**2 - 5*q + 4*q - 4*q**o. Is l(-7) a multiple of 15?
True
Suppose 11*m - 550 - 924 = 0. Is 4 a factor of m?
False
Suppose -9*x + 581 = -8*x - 5*i, 5*x - 2877 = -3*i. Is x a multiple of 24?
True
Let c(d) = -d - 2. Let u be c(-4). Suppose 0 = g - 4*b, 2*g + u*b - 3*b = 21. Does 12 divide g?
True
Let p be 0 - 2*1/(-1). Suppose -g = p*y - 17, -3*g + 83 = g + 5*y. Let a = g + -1. Does 7 divide a?
False
Suppose -5*g = -4 - 36. Let t be (16/12)/(g/18). Let i(n) = n**3 - 2*n - 4. Does 17 divide i(t)?
True
Let s(h) = -4*h**3 - 2*h**2 - h + 1. Let i be s(-1). Let d(o) = -9*o - o**2 - 5*o + 0 - 4 + i*o. Is d(-7) a multiple of 5?
False
Suppose -7*l + 19 + 2 = 0. Is 46 a factor of (176/12 - -2)*l?
False
Suppose -3*x - x + 112 = 0. Suppose 0*s = -2*s - x. Let u = s + 44. Is 10 a factor of u?
True
Let v(x) be the third derivative of 0*x + 1/60*x**5 - 8*x**2 + 1/6*x**4 + 4/3*x**3 + 0. Is 6 a factor of v(-6)?
False
Let k(s) = -68*s - 2. Is k(-6) a multiple of 29?
True
Let w(o) = -o**3 + 2*o**2 - 2*o + 2. Is 20 a factor of w(-9)?
False
Suppose 5*c = -3*r - 20, 4*c + 16 = -0*r - 5*r. Is 25 a factor of c - (4 + -71) - 4?
False
Let t = 1 + 7. Suppose -2*a + a + g = -2, 2*a + t = -4*g. Suppose a = -2*c + 6*c - 104. Does 26 divide c?
True
Let o = -162 - -165. Suppose 6