 12?
False
Suppose 0 = -i - 0*i + 5*k - 11, -3*k + 61 = -4*i. Let j = -23 - i. Let m = 22 - j. Is m a multiple of 8?
False
Let g = 121 - 21. Let q = g - 0. Suppose 5*u - 20 = q. Does 12 divide u?
True
Let y(u) = u**3 - 8*u**2 + 7*u + 3. Let v be y(7). Suppose -s = -3*s - v*k - 11, -22 = 3*s - k. Is ((-1 + -2)*s)/1 a multiple of 12?
False
Suppose o = -o. Suppose 5*m - 6*m = o. Suppose m*u = -u + 5. Is u a multiple of 5?
True
Let c be (1/(-2))/(8/48). Let t = -3 - 0. Is t/9 + (-28)/c a multiple of 7?
False
Suppose -2*h + s = -5, 3*h + 6 = s - 4*s. Suppose 0*f + h = f. Is (-2 - -1)*-5 + f a multiple of 6?
True
Let d(w) = -3*w**3 - w**2 - 2*w - 3. Is 11 a factor of d(-2)?
False
Suppose 2*f + 11 + 29 = 5*c, 0 = c - 4*f - 8. Does 6 divide c?
False
Let g(a) = 4*a - 2. Is g(5) a multiple of 8?
False
Let c(y) = y**3 + 8*y**2 - y - 4. Let w be c(-8). Suppose -3*t = -5*z + 64, t = -z - 4*t - w. Does 11 divide z?
True
Let t(u) = u**2 + 5*u + 4. Let d be t(-5). Let z = d - -1. Does 5 divide z?
True
Suppose -5*v - 6*k - 20 = -k, -3*v + 4 = -k. Suppose v = 3*a + 2*o - o - 33, -3*a = 3*o - 39. Suppose a = 2*w - 10. Is 10 a factor of w?
True
Suppose 12 = 2*x + x, 0 = -o - 5*x + 32. Is 12 a factor of o?
True
Let f(z) = -z**2 + z + 4. Let c be f(0). Suppose 4*s + 0*s = c. Is 8 a factor of (-50)/(-6) - s/3?
True
Suppose k + 3*s = -0*s + 48, 2*k - 78 = 3*s. Does 21 divide k?
True
Suppose 2*p + p - 48 = 0. Let n = -11 + p. Is n even?
False
Let f(o) = 2*o**2 + 3*o + 2. Let u be f(-2). Suppose -272 = u*v - 920. Suppose -c - 85 = -2*p, 0 = -5*p - 2*c + v + 55. Is 11 a factor of p?
False
Let v(u) = 17*u - 12. Is v(6) a multiple of 10?
True
Let n(x) = -2*x**3 - 3*x**2 + x + 3. Suppose 2*o - 6*o = 16. Let i be n(o). Let f = i - 56. Is f a multiple of 8?
False
Let l(g) = -1 + 4 + 2*g**2 + 0 + 0 - 10*g. Does 15 divide l(7)?
False
Suppose -13 = -4*o + 387. Suppose -o = j + j - 5*n, 0 = -4*j + 2*n - 200. Is 12 a factor of j/(-4) + (-2)/4?
True
Let v be -4*(-2)/((-24)/(-9)). Let i(a) = 2*a**2 - 4*a + 1. Let h be i(v). Suppose -h = -5*p + 73. Is 14 a factor of p?
False
Let c(g) = -g**2 + 7*g - 9. Let f be c(6). Let r be 15 + f/(-6)*0. Suppose r = -b + 45. Is b a multiple of 10?
True
Suppose -3 = s - 5*s + 3*v, 3*s - 5*v = 16. Does 21 divide 4 + (20 - (-9)/s)?
True
Let i = 10 - 7. Suppose 159 = 5*z - 3*v, -2*z + v + 153 = i*z. Is z a multiple of 10?
True
Let i(z) = z**3 - 18*z**2 - 27*z - 26. Is 39 a factor of i(20)?
True
Let h = 33 - 9. Let c = 2 + 1. Suppose z + c*z - h = 0. Is 3 a factor of z?
True
Let f = -11 + 10. Is (2 + -15)/(f/4) a multiple of 26?
True
Suppose -z = 5*n - 2 + 4, 2*z = -n - 4. Let k = z + 7. Is k a multiple of 2?
False
Let x = 12 - -3. Suppose 3*h + 3*t = x, -3*h + 14 = t + t. Is h even?
True
Suppose 44 = x - 0*x - 5*i, x = -5*i + 74. Does 4 divide x?
False
Let x(q) = q**2 + q - 2. Let f be x(-3). Suppose 28 = -2*u + f*u. Does 7 divide u?
True
Suppose -2*q = -5*q - 5*m + 324, -461 = -4*q + 3*m. Does 25 divide q?
False
Let h = 27 - 17. Suppose -h - 59 = -3*b. Is 5 a factor of b?
False
Let x = -1103 + 1937. Is x/30 - (-1)/5 a multiple of 13?
False
Let j = 60 + -40. Does 6 divide j?
False
Let z = 57 + -23. Suppose 10*s - 15 = 15*s. Does 12 divide (z/6)/(s/(-9))?
False
Let j = -90 + 128. Let o = j + -16. Is o a multiple of 6?
False
Suppose -3*r = 5*y - 30 - 29, 4*y - 46 = -2*r. Is 3 a factor of y?
False
Let u(l) = 17*l - 4. Let s be u(2). Suppose 15*v = 10*v + s. Does 6 divide v?
True
Let q(p) = -3*p - 9. Suppose 0 + 36 = -4*m. Let f be q(m). Is (-235)/(-6) + (-3)/f a multiple of 16?
False
Let i be (-1)/(-3)*(8 - 5). Let t be ((-10)/(-4))/(i/2). Let l = 44 - t. Is 16 a factor of l?
False
Does 23 divide 3/(-9) - 250/(-3)?
False
Let n(s) = s**3 + 7*s**2 - 7*s + 10. Let t be -9 + (0 - 3/(-3)). Is n(t) a multiple of 2?
True
Let g be 0 - (978/(-1))/3. Suppose 5*s + 66 = g. Suppose 3*a + 5*v - 79 = 0, -4*a - 4*v + s = -56. Is a a multiple of 15?
False
Suppose -4 = -2*o, 4*x - 4*o + 8 = -0*o. Suppose -q + 7 = -x. Does 5 divide q?
False
Let p(m) = -2*m + 5. Suppose 51 = -3*y - 5*b + 7*b, y - 3*b + 24 = 0. Let l = -23 - y. Does 9 divide p(l)?
False
Let y be 16/(-7) - 22/(-77). Let a(w) = -7*w + 3. Let q be a(-3). Does 18 divide 7/y*q/(-2)?
False
Let u(b) be the first derivative of b**3/3 - 7*b**2/2 - 4*b + 3. Let p be u(8). Suppose -p*o + 60 = o. Is o a multiple of 9?
False
Let d(h) = h + 7. Let n be d(-7). Suppose -2*l - i + 3 = n, 4*i + 2 + 2 = 0. Suppose 0 = -2*t - l*t + 136. Is 19 a factor of t?
False
Let q(p) = p**2 + 7*p + 5. Let m be q(-7). Suppose 0*r = -m*d - 2*r + 34, 10 = 2*d - r. Is d a multiple of 3?
True
Let r be 12/2*(-82)/(-4). Suppose -2*b + r = 41. Suppose 5 - b = -4*a. Does 9 divide a?
True
Suppose 5*p = -5*k + 8 + 7, -4*k = 12. Let v = -3 - -7. Let g = p - v. Is g a multiple of 2?
True
Let n = 136 - 52. Is n a multiple of 14?
True
Suppose -2*i + 2*s = 18, -3*i + s - 2*s - 31 = 0. Let o be (-130)/(-3)*(-12)/i. Let w = -21 + o. Does 15 divide w?
False
Suppose 0 = 3*r - r - 10, -4*r + 24 = t. Suppose -5*s = -29 + t. Suppose s*f = 5*a + 30, 5*f - 36 - 6 = a. Is 7 a factor of f?
False
Let a = 21 - -39. Does 20 divide a?
True
Let b(n) = n**3 - 7*n**2 + 13*n - 9. Does 15 divide b(6)?
False
Let j = 9 - 8. Is (-3 - -89)/j + 1 a multiple of 30?
False
Suppose c = 4*r + 96, -182 - 97 = -4*c - 5*r. Does 6 divide c?
False
Let f = -33 - -15. Let w = f + 26. Suppose 3*h + w = 5*h. Does 4 divide h?
True
Suppose -2*a + 2 = -2*l - 24, 0 = -5*l - 5*a - 105. Let k = 25 + l. Does 8 divide k?
True
Suppose -3*c = -2*r - 16, 4*r - 3*c - 9 = 7*r. Let k(m) = 5*m + 7. Let y(w) = -1. Let n(q) = r*y(q) - k(q). Does 10 divide n(-6)?
False
Suppose -10*g - 201 = -1301. Is 27 a factor of g?
False
Let j(d) = -d**2 - 14*d. Let z = 5 - 18. Is j(z) a multiple of 6?
False
Does 31 divide 63 - (45/21 - (-1)/(-7))?
False
Let p(b) = -b**3 - 2*b**2 + b + 1. Suppose -2 = k + 1. Does 3 divide p(k)?
False
Suppose 0 = 2*c - 4*h + 48 - 198, 0 = 5*c - 4*h - 405. Does 8 divide c?
False
Let t = -12 - -19. Let v = 37 - t. Is v a multiple of 10?
True
Let x = -5 - -7. Suppose x*z = 5 + 35. Does 10 divide z?
True
Suppose 4*b - 152 = 4*o, -83 = -3*b - 3*o + 55. Suppose -8 = -5*s + b. Suppose -5*d + 15 = -s. Is 5 a factor of d?
True
Suppose 2 = a - 1. Suppose -y + a*i + 14 = 0, 3*y + 2*i - 16 = 4. Is y a multiple of 4?
True
Let k = -8 - -14. Let p = 0 + k. Does 2 divide p?
True
Let r = -67 + 86. Is r a multiple of 15?
False
Let p be (-3 + 2)/(2/(-82)). Suppose 6*u + 81 = 3*u. Let m = u + p. Is m a multiple of 9?
False
Suppose 3*l - 7 = -0*l + 5*j, -l = 5*j - 9. Let f(n) = n**3 + n**2 - 2*n + 4. Is f(l) a multiple of 15?
False
Suppose 4*a + 39 - 155 = 0. Suppose -4*n + 289 = 25. Let l = n - a. Is l a multiple of 10?
False
Let i(s) = -2*s**3 - s**2 + s. Suppose 0 = -5*t - 4 + 19. Let l = 1 - t. Does 6 divide i(l)?
False
Let h be -185*((-36)/15 + 2). Is (h/8)/((-1)/(-4)) a multiple of 8?
False
Let m(j) = j - 7*j + 2*j + j. Does 7 divide m(-7)?
True
Let w(u) = u**2 - 4*u - 3. Let g be w(-2). Let a = -5 + g. Suppose -10 = -2*n - 2*c, -a*n + 4*c + 34 + 2 = 0. Is n a multiple of 7?
True
Let f(a) = -a**3 + 5*a**2 + 3*a. Does 5 divide f(5)?
True
Suppose s + 3*i + 10 = -0, 3 = -3*i. Let f = 11 + s. Let x = f + 1. Is x a multiple of 4?
False
Let d(z) = 2*z**2 + 4*z - 8. Is 8 a factor of d(-6)?
True
Let z = -2 + 2. Let d(m) = -m**2 - m + 12. Does 6 divide d(z)?
True
Let f(g) = 15*g**2 - g. Let j be 11/4 + 3/12. Suppose 3 = j*s + 6. Does 16 divide f(s)?
True
Let m(j) = j**2 - 14*j + 17. Does 11 divide m(14)?
False
Does 19 divide (69/4)/((-3)/(-16))?
False
Let w be (-672)/(-18) - (-2)/3. Suppose -4*d - 4*j = -156, -3*d + 2*j = -w - 94. Is d a multiple of 21?
True
Let n(g) = g**3 + 9*g**2 + 8*g + 9. Suppose 4*j - 54 = -5*v, j + 10 = v + 1. Let k = v - 18. Is n(k) a multiple of 5?
False
Let w be (-2 - 0)/(1/(-11)). Let x = w + 42. Is 12 a factor of x?
False
Is 29/4*18 + 6/4 a multiple of 44?
True
Let v(d) be the second derivative of 10*d**3/3 - 2*d**2 - 2*d. Does 18 divide v(2)?
True
Is (1 + -49)/((-9)/6) a multiple of 32?
True
Is (12/7)/(6 - (-292)/(-49)) a multiple of 3?
True
Is (1/(-3))/(9/(-54)) even?
True
Let i(u) = -42*u - 20. Is 10 a factor of i(-5)?
True
Let r = 27 + -46. Suppose 0*l - 3*l = -57. Let z = l -