. Is k a multiple of 21?
True
Let g(b) = -4*b - 14. Is 18 a factor of g(-9)?
False
Let y be 10/4 + (-1)/2. Suppose y = -2*p, p = -2*b - 0*b - 3. Let j = 11 - b. Does 9 divide j?
False
Suppose 0*p - 146 = -p. Suppose i + 64 = -a + 3*a, -i + p = 5*a. Does 19 divide a?
False
Suppose 0*t = 2*t - 8. Let y be (1 - 3/12)*t. Suppose -4*h + 39 = -3*h - r, -y*r = 3*h - 105. Does 13 divide h?
False
Suppose 3*u - 4*u + 2*a = -56, a = u - 51. Let o = 64 - u. Is o a multiple of 17?
False
Suppose 189 = 16*n - 9*n. Is n a multiple of 9?
True
Does 6 divide ((-7)/(7/(-48)))/1?
True
Let l = 545 - 377. Is 14 a factor of l?
True
Suppose q = -3*f + 306, -5*f - 1492 = -5*q - f. Is q a multiple of 25?
True
Let g(f) = -5*f**3 - 2*f - 3. Does 15 divide g(-2)?
False
Is 21 a factor of ((-21)/6 + 3)*-94?
False
Let n(i) = i**2 - 6*i. Let p be n(6). Suppose p = 4*v - 59 + 7. Let g = -6 + v. Does 3 divide g?
False
Let v be 30/42 - (-4)/14. Let m(g) = 8*g**3 + 1. Is 8 a factor of m(v)?
False
Let g = -6 + 69. Suppose -4*q - 4*x + 49 = -g, 0 = -q - 4*x + 31. Is q a multiple of 11?
False
Suppose -a = -0*a - v + 1, -4*a = -3*v. Suppose r + a = -0. Does 11 divide (-10 + r/3)*-1?
True
Let k = 55 + -22. Is 7 a factor of k?
False
Let t(h) = -9*h + 1. Is t(-1) a multiple of 2?
True
Let i(d) = d**3 + 6*d**2 - 8*d - 3. Let r be i(-7). Suppose -7*y = -4*p - 5*y - 14, 2*p = r*y - 4. Let t(b) = -b**3 - 5*b**2 - 6*b - 2. Is 3 a factor of t(p)?
True
Let j be 4/12*(-1 - -112). Let u = j + -3. Let h = u + -14. Is h a multiple of 10?
True
Let t = 231 + -140. Is t a multiple of 42?
False
Suppose -2*z = -l + 11, -2*z = -3*l - 5*z - 12. Suppose x + l + 25 = 0. Let i = x - -54. Is 14 a factor of i?
True
Let p be 4/6 - 16/24. Suppose 6*v - 189 + 33 = p. Does 13 divide v?
True
Suppose 4*s + 3*j + 29 = 0, 3*s + 0*j + 25 = j. Is (-148)/(-5) - s/20 a multiple of 10?
True
Suppose -7*l + 16*l - 864 = 0. Does 24 divide l?
True
Suppose 7*h - 586 + 222 = 0. Does 5 divide h?
False
Is 268/6 + 2/(-3) a multiple of 12?
False
Suppose -d = -2*a + 10, -5*a = -0*a - 2*d - 25. Let k = 8 - a. Suppose -14 = -3*n + 4*f + 56, -91 = -4*n + k*f. Is n a multiple of 11?
True
Let x be (-1 + -1 + 1)*-14. Let j = 22 + x. Is 18 a factor of j?
True
Let o = -32 + 22. Let v = -6 - o. Suppose -3*k = -v - 50. Does 9 divide k?
True
Suppose -2*b + 3*i = 4*i - 205, 505 = 5*b - 5*i. Suppose b = 5*k + 2*q, 2*k - 9 = -2*q + 33. Is 7 a factor of k?
False
Let a = 45 - 32. Is a a multiple of 7?
False
Suppose 3*m + d = 9 - 38, -3*m + 2*d - 23 = 0. Let r(j) = j**3 + 10*j**2 + 10*j + 13. Does 2 divide r(m)?
True
Let v = 7 - 4. Let c(h) = -3*h**3 + h**3 + 0*h**2 - 3*h**2 - v*h - 3. Is 7 a factor of c(-2)?
True
Let q = 5 - -17. Let s = q - 7. Does 15 divide s?
True
Is (-4 - (-85)/20) + 759/4 a multiple of 19?
True
Let w = 101 - 41. Suppose w = 4*z - 2*z. Is 8 a factor of z?
False
Suppose 4 = -2*m, 6*m - 4*m = -c + 234. Is c/5 - (-8)/20 a multiple of 8?
True
Let m(q) = -q**2 + 11*q - 12. Let w be m(8). Let i be w/7 - 2/(-7). Suppose -92 = -5*f + i*o, -3*f + 26 + 46 = 3*o. Is f a multiple of 10?
True
Let q = 597 + -383. Is 24 a factor of q?
False
Suppose -5*a = 4*q - 4, 4 = 2*a - 6*a + 4*q. Let f be ((-3)/4 - 0)*-4. Let k = f - a. Does 2 divide k?
False
Let w(b) = 2*b - 6. Let t be w(5). Let j = 50 - 23. Is (j/(-12))/((-1)/t) a multiple of 8?
False
Suppose r - 2*r = -13. Is r a multiple of 13?
True
Suppose x - 48 = -t, 4*x + t + 54 = 237. Suppose -3*z = -2*z - x. Is z a multiple of 16?
False
Suppose 5*t = t - 8. Let q be (-1)/t - (-4)/(-8). Suppose q = f - 3*f + 22. Is 6 a factor of f?
False
Let a(f) = -2*f + 1. Suppose 4*t = 14 + 2. Suppose 0 = -t*x + 9 - 33. Is a(x) a multiple of 6?
False
Suppose -2*o - 4*q + 19 = -25, 5*o - 118 = -2*q. Suppose 0 = -2*k + m + 57, k = 5*m + o + 18. Is 11 a factor of k?
False
Let p = 15 - 18. Let h(a) = -7*a - 3. Is h(p) a multiple of 9?
True
Let c(i) = i**2 + 4*i + 2. Let o be c(-4). Let d be (0/((-6)/2))/o. Suppose -w + 5*q - 1 + 18 = d, -w + q = -13. Is w a multiple of 12?
True
Suppose 0 = -2*h - 5*o - 17, h + o = -4*o - 21. Is h a multiple of 4?
True
Let m = 400 - 136. Does 12 divide m?
True
Let j(m) be the third derivative of m**6/120 + 7*m**5/60 + m**4/4 + 2*m**3/3 + 2*m**2. Let s be j(-6). Is 14 a factor of s + 2*-1 - -16?
False
Suppose 0 = -4*r + 82 + 14. Suppose 2*t = -g + 10, 4*t + g - r + 8 = 0. Suppose -j - t*j + 116 = 0. Does 10 divide j?
False
Let h(i) = -4*i**2 + 5*i + 1. Let t be h(4). Let r = -25 - t. Does 6 divide r?
True
Suppose 0 = -2*u - 0*p - 5*p - 24, -4*u + 3*p = -4. Let q be 6/u - 0/(-1). Is 18 a factor of 152/(-6)*q/2?
False
Suppose -1 + 11 = 2*b, 4*b = -y + 24. Suppose r = y + 9. Is r a multiple of 11?
False
Is 7 a factor of 132/9 + 1/3?
False
Let o(s) = s**2 - s. Let k = -5 + 11. Let w be (k - 0) + 2/2. Does 14 divide o(w)?
True
Suppose b - 486 = -5*b. Is b a multiple of 27?
True
Let o = 36 - 29. Is o a multiple of 7?
True
Let o = 12 + -9. Let q = -6 + 9. Suppose o*r = z + 4*z - 70, -3*r - 42 = -q*z. Is 9 a factor of z?
False
Is 25 a factor of (225/18)/((-2)/(-4))?
True
Suppose 0 - 9 = -z. Is z a multiple of 9?
True
Let n(b) = 7*b + 3 + 5*b - 7*b. Does 6 divide n(3)?
True
Let q = 4 - 0. Is -9*((2 - q) + 1) a multiple of 9?
True
Let r(i) be the first derivative of -2*i**2 - 4. Is 5 a factor of r(-2)?
False
Let j(f) = f**2 + 7*f - 7. Let m be j(-9). Let g be 2/6 + 10/(-3). Let c = g + m. Is 8 a factor of c?
True
Suppose -q = -0*q - u - 3, -q + 3*u = 1. Is q even?
False
Let a(t) = -t**2 + 4. Let w be a(3). Let y = w - -12. Is 2 a factor of y?
False
Suppose -2*d - 3*d + a + 16 = 0, -d + 3*a = 8. Suppose d*i - 3*i + v - 40 = 0, -i + 60 = -3*v. Does 12 divide i?
False
Suppose -2*c = 4*l - 190, -4*c + 5*c = -4*l + 195. Let p = l + -25. Is 5 a factor of p?
True
Let m be (10/(-6))/(0 - 3/9). Suppose 5*j - 3 = 12. Suppose g - 5*z - 44 = 0, m*g - j*z = -7 + 337. Is g a multiple of 23?
True
Let z = 12 - 20. Let h = z - -37. Is h a multiple of 9?
False
Suppose 0 = -9*l + 43 + 200. Is l a multiple of 9?
True
Suppose 8*j + 43 - 355 = 0. Is j a multiple of 13?
True
Suppose 4*t + 34 - 146 = 0. Let b = 7 - 23. Let v = b + t. Is v a multiple of 6?
True
Suppose 2*i = -2*i + 5*q + 89, -3*i - 3*q = -60. Does 7 divide i?
True
Let a(k) = 13*k**2 - 2*k + 1. Let u be a(1). Suppose 0*g + g = -u. Does 6 divide ((-16)/g)/((-2)/(-9))?
True
Does 38 divide (-2)/4*3*(-2114)/21?
False
Let h = -18 - -27. Suppose -8*o - 55 = -h*o. Is o a multiple of 11?
True
Suppose -3*j = 695 - 1835. Is j a multiple of 10?
True
Suppose -4*l = -2*l - 10. Suppose -l*f - 3*s = -6*s - 79, -3*f = -2*s - 48. Is (-15)/(-2)*f/7 a multiple of 10?
False
Suppose -166 = -3*p + 14. Is p a multiple of 30?
True
Let j = -94 + 23. Let y = 128 + j. Is 18 a factor of y?
False
Suppose h - 2 + 1 = 0. Let l be (3/5)/(h/5). Suppose 2*n = l*n - 4. Does 3 divide n?
False
Let t = 40 - 21. Suppose -2*w = -w - t. Is 9 a factor of w?
False
Let x(v) = -v**2 + 12*v - 11. Let p be x(11). Suppose 2*z - 5*n = -0*z + 76, 3*z + 2*n - 114 = p. Does 12 divide z?
False
Let p be ((-34)/5)/(2/(-10)). Suppose n - 20 = -4*u, 0*n = u - 2*n - 5. Suppose -p - 26 = -u*b. Is 12 a factor of b?
True
Let k = -31 - -58. Suppose -4*r - a + 160 = -0*a, -r + 3*a = -k. Let b = 67 - r. Is b a multiple of 14?
True
Let l(b) = 4*b + 5. Let z(o) = -5*o + 2. Let n be z(-2). Suppose -h = 2*h - n. Does 11 divide l(h)?
False
Let n(q) be the second derivative of q**5/20 - q**4/12 + q**2 + 3*q. Does 2 divide n(0)?
True
Let y be 3/(2/4*-2). Let w be ((-1)/y)/(3/27). Suppose -4*k - q = w*q - 24, -3*k + 24 = -3*q. Does 3 divide k?
False
Suppose 0 = 3*o + 4*i - 31 - 1, -4*o - 3*i = -52. Suppose 6 = -7*t + 41. Suppose t*b = 4*h + o, h = 5*b + 4*h - 23. Does 4 divide b?
True
Suppose -3*d = -93 - 150. Does 23 divide d?
False
Suppose 6 = 3*z - 0. Let m be 23/(-7) + z/7. Let p(o) = -4*o + 4. Does 16 divide p(m)?
True
Suppose 0 = b - 8*b + 168. Does 12 divide b?
True
Let b = -176 + 62. Let s = 168 + b. Suppose 3*u = u + s. Is 10 a factor of u?
False
Let q = -5 + 158. Is q a multiple of 31?
False
Let g(m) be the second derivative of m**5/10 + m**4/12 - m**3/3 - m**2/2 + m. Let w be g(2). Suppose 5*d - w = 25. Is d a multiple of 3?
False
Let o(c) = 6*c - 7. Let a be o(5). Let p = -15 + a. Suppose 4*y - p = 0, 2*