f 14?
False
Let q be 2/(-3)*36/(-8). Suppose q*p - 25 = -2*p. Suppose 0 = -p*n - 26 + 176. Is n a multiple of 12?
False
Let r(y) = 0 + 2*y**2 - 2 - 5 - 2*y + 0*y. Does 18 divide r(5)?
False
Suppose 21*a - a = 6160. Is a a multiple of 44?
True
Let v = 19 + -1. Is v a multiple of 18?
True
Let u(f) = f**3 - 6*f**2 + 7*f + 8. Is u(5) a multiple of 4?
False
Let s(j) = -21*j + 6. Let a be s(-9). Suppose q = 6*q - a. Is q a multiple of 17?
False
Let r(l) be the third derivative of l**5/30 - 7*l**4/24 - l**3/3 - 4*l**2. Let i be r(-6). Suppose p = 5*p - i. Is p a multiple of 14?
True
Let o = 81 - -87. Is o a multiple of 24?
True
Let i be 654 + -4 + (-4)/(-2). Does 12 divide i/18 + (-4)/18?
True
Suppose 0*h - l + 7 = 3*h, 2*h + 3*l = -7. Suppose -c = -h*c + 6. Suppose 0*b - b - 23 = -c*a, 5*b = 15. Is a a multiple of 11?
False
Suppose -3*l - 5*j = -179, 4*j - 5*j - 191 = -3*l. Is 21 a factor of l?
True
Suppose 0 = 2*f - 3*b - 67, -2*f - 27 = -4*f - 5*b. Is f a multiple of 26?
True
Is (6/(-12))/((-3)/18) a multiple of 2?
False
Suppose 131*s - 462 = 128*s. Does 22 divide s?
True
Is (-3)/(-15) + 89/5 a multiple of 10?
False
Suppose -324 = -3*s - 4*j - j, 3 = j. Is 17 a factor of s?
False
Let t = 116 - -178. Is t a multiple of 49?
True
Suppose 0*y = 3*y + 2*q - 63, 4*y - 88 = -4*q. Does 3 divide y?
False
Does 7 divide 2 + -2 + 69 - (-2 - -5)?
False
Let c = 0 - -4. Is 20/(c/16*4) a multiple of 10?
True
Let n(b) = b**2 + 8*b - 6. Let f be n(-7). Let k = 35 + f. Is k a multiple of 18?
False
Suppose -5*l + 514 + 136 = 0. Does 38 divide l?
False
Let h(a) = -5*a - 7. Does 6 divide h(-6)?
False
Let n(o) = 2*o**2 + 5*o - 3. Is 15 a factor of n(-7)?
True
Suppose 7*r + 9 = 135. Let n = r - 4. Is n a multiple of 14?
True
Let z(l) = -l**3 + 7*l**2 + 9*l + 3. Let g be z(8). Let v = 29 - g. Is v a multiple of 7?
False
Suppose z - 2*z - 1 = 0. Let o be z*(0 + 79)*2. Is o/(-5) - 16/(-40) a multiple of 17?
False
Suppose -4*a = -4*s - 64, 4*a - 3*s - 105 + 38 = 0. Is a a multiple of 19?
True
Let j(k) = -k - 1. Let s be j(-2). Is 10 a factor of 41 - s - 6/(-2)?
False
Suppose 0*s - 3*s + 75 = 0. Suppose 0 = 5*n + s, 2*n - 270 = -5*h - 0*n. Is h a multiple of 19?
False
Let c = -5 - -83. Does 4 divide c?
False
Let j be (36/(-8))/((-1)/(-6)). Is j/9*(0 - 1) a multiple of 3?
True
Let p = 98 + -41. Is p a multiple of 10?
False
Suppose -4*x = -2*x - 330. Does 33 divide x?
True
Let n be 92/(-9) + 2/9. Let q be ((-6)/5)/(4/n). Is (7 + 8)*1/q a multiple of 5?
True
Let s(f) = 19*f. Let t be s(1). Let d = -4 + t. Does 5 divide d?
True
Let y = -96 - -147. Does 17 divide y?
True
Suppose -4*n - n = -70. Does 3 divide n?
False
Suppose 0 = 2*s + 3*f + 24, 16 + 4 = -4*s + f. Let u(x) = -x**2 - 4*x + 1. Let j be u(s). Let d = j + 18. Is 3 a factor of d?
False
Suppose -m = 6*m - 441. Is 20 a factor of m?
False
Let c(a) be the first derivative of 9*a**2/2 + 3*a - 6. Is 13 a factor of c(4)?
True
Let h = -13 - 2. Is h/24*2*-4 a multiple of 3?
False
Let i(r) = -12*r - 11. Is i(-4) a multiple of 7?
False
Let m = -1 + 6. Suppose 6*j + 22 = 2*j - 2*s, -35 = 5*j + m*s. Is 3/j + (-366)/(-8) a multiple of 18?
False
Let l be 1/((12/21)/4). Let x(k) = -k**3 + 8*k**2 - 3*k + 8. Does 12 divide x(l)?
True
Suppose 0 = -7*k + 2148 - 678. Does 15 divide k?
True
Is (32/(-24))/((-4)/6) - -66 a multiple of 15?
False
Let k = 1 + 3. Let f = 6 - k. Suppose -m + 53 = 3*w - 3*m, f*m - 10 = 0. Is w a multiple of 8?
False
Suppose -79*p = -74*p - 700. Is p a multiple of 23?
False
Does 8 divide (-7)/21 - (-601)/3?
True
Let p be 2 - (1 + -1 + 2). Let g(n) = n + 11. Does 4 divide g(p)?
False
Is (-1)/6 + 1950/36 a multiple of 19?
False
Suppose 13*g - 16*g + 21 = 0. Does 2 divide g?
False
Let f be 42/18 + 3/(-9). Suppose -f*g = -54 - 14. Does 17 divide g?
True
Suppose 1 = 2*i - 1. Suppose 1 = 2*l - i. Does 3 divide 2 - (0 + (-1)/l)?
True
Let l(m) be the second derivative of 1/2*m**3 - 2*m + 0 + 3/2*m**2 + 1/4*m**4. Is l(-4) a multiple of 13?
True
Let z = 4 - -1. Let x(d) = -z*d**3 + 0*d**2 + d**2 + 8 + 2*d**3 + 2*d**3 + d. Does 3 divide x(0)?
False
Suppose -5*n - 3*h - 34 = 0, -3*h + 12 = -5*n - 4. Let b = -2 - -2. Let z = b - n. Is z a multiple of 5?
True
Let v(h) = 5*h - 8. Let d = -22 - -62. Let z(i) = i - 1. Let t(r) = d*z(r) - 5*v(r). Is t(1) a multiple of 15?
True
Let t be (-2 + -1)/3*-34. Let c = 60 - t. Is 9 a factor of c?
False
Suppose 0 = -3*o + 3*u - 180, -6*o + 4*o = -5*u + 111. Does 4 divide (-14)/o + (-86)/(-18)?
False
Suppose 14 = 4*h - 322. Does 22 divide h?
False
Let m be 14/(-4) - 2/(-4). Let d = 0 - m. Suppose -170 = -5*n - 0*u + 5*u, d*n = 5*u + 106. Is 16 a factor of n?
True
Let t(b) = -b - 2. Let s be t(-2). Let o be 26 - (-3 + s)/(-3). Suppose -o = -f + 19. Is 19 a factor of f?
False
Let o(m) = -m + 8. Let w(n) = 2*n - 15. Let a(d) = 7*o(d) + 3*w(d). Let p be a(8). Suppose 2*z - 22 = 2*g, 2*g - 4 - 9 = -p*z. Is 7 a factor of z?
True
Let j = 5 + 4. Does 9 divide j?
True
Suppose -3*t + 2*t - 115 = -5*k, k - 34 = -2*t. Is 4 a factor of k?
True
Suppose -2*r - 26 = -6. Let i(c) = c**2 + 9*c - 4. Does 6 divide i(r)?
True
Let k(b) = 9*b**2 - b + 1. Let z be k(1). Let s = 13 - z. Is s even?
True
Suppose 6*v - 8 = 64. Does 12 divide v?
True
Suppose 0 = 26*k - 21*k - 80. Does 2 divide k?
True
Suppose 5*s - 148 = 112. Suppose 4*m - s = -0*m. Does 10 divide m?
False
Let p be ((-6 - 3)/(-1))/(-1). Let l = p - -9. Suppose l = 4*y - 265 + 57. Does 26 divide y?
True
Suppose -70 = -12*r + 10*r. Is 13 a factor of r?
False
Let l(z) = -z + 3. Let f be l(3). Suppose -y + w + 39 = 0, 5*w = -f*w. Does 13 divide y?
True
Let o = -62 + 92. Is 11 a factor of o?
False
Suppose -3*n = -0*n. Let f = n + -1. Does 2 divide -1 - (-3 + 2*f)?
True
Let k(h) be the first derivative of h**3/3 + 5*h**2/2 - 2*h - 8. Is k(-7) a multiple of 4?
True
Let a = -1 - 1. Let t be -1*5/(5/a). Suppose -t = -2*q + q, v - 3*q - 9 = 0. Is v a multiple of 15?
True
Let c(v) = -v**3 + 4. Let f be c(0). Suppose -5*y = -f*y - 11. Does 11 divide y?
True
Let g be 5*(3 - 0)/(-3). Let w = g - -13. Is 2 a factor of w?
True
Let i = 69 + -48. Let m = 60 - i. Does 17 divide m?
False
Suppose -765 = -5*n - 5*p, 0*n - 594 = -4*n + 2*p. Does 47 divide n?
False
Let a be (-16)/(-9) - (-4)/18. Suppose 16 = -4*g - 4*m, -g + 0*m - 8 = a*m. Suppose 2*s - 32 = 5*j, g = 3*s - 2*s + 5*j - 46. Is 13 a factor of s?
True
Let v(g) = 5*g**2 - 20. Is v(6) a multiple of 20?
True
Let p be -23 - (4 + 2 + -3). Let c = p - -51. Is 25 a factor of c?
True
Suppose 2*c + 13 = 4*c - 3*t, 0 = 5*t - 5. Suppose -3*o - 210 = -c*o. Does 14 divide o?
True
Suppose -3*o = v + 13, -o - 20 = 3*o. Suppose -v*u + 7*u = 225. Does 13 divide u?
False
Let v = -1 - -4. Suppose -v*x = -0*c + c + 10, 25 = -2*x + 3*c. Let o(h) = h**3 + 7*h**2 + 3*h + 7. Does 21 divide o(x)?
True
Let i be 2 + 76 - (1 - 1). Suppose -2*p = -26 - i. Does 33 divide p?
False
Let j be ((-15)/5)/(3/(-11)). Let q = -7 + j. Is 3 a factor of q?
False
Let s(i) = -i**2 - 22*i + 63. Is 15 a factor of s(-24)?
True
Suppose 0 = 4*h + c - 33, -3*c + 4 = -11. Let w = h - 53. Is 23 a factor of -3*1/3*w?
True
Is ((-64)/(-20))/((-6)/(-15)) a multiple of 3?
False
Suppose -d + 45 = -213. Does 43 divide d?
True
Suppose -132 = -2*g + 18. Is 5 a factor of g?
True
Let t be -15*(-2 + 12/9). Let k = t + -6. Suppose k*b - v = 2*b + 29, 19 = 2*b - 3*v. Is 17 a factor of b?
True
Let v(z) = -5*z**2 - 5*z + 5. Let p(y) = -11*y**2 - 11*y + 10. Let l(x) = 4*p(x) - 9*v(x). Let j(w) = -4*w. Let g be j(2). Is 18 a factor of l(g)?
False
Suppose -3*y + y = -8. Suppose 2*c = 4*n + 14, 0 = 2*c - 5*n + y*n - 20. Is c a multiple of 4?
False
Suppose 78 + 51 = 3*c - 3*h, -5*c - 2*h + 208 = 0. Does 9 divide c?
False
Suppose -4*y + 0*y + 332 = 0. Does 16 divide y?
False
Does 6 divide (-3)/(9/(-366)) - (4 - 0)?
False
Let o be -208*((-5)/2 + 2). Suppose 0 = 5*u - 4*u - 6. Suppose u*a - o = 2*a. Does 10 divide a?
False
Let d = -21 + 7. Let y = -58 - -83. Let b = d + y. Is b a multiple of 5?
False
Let s(f) = -2*f**2 - f**3 - 2 - 4 + 4*f + 2. Let g(c) = -c**3 - 5*c**2 + 2*c + 6. Let d be g(-5). Is s(d) a multiple of 4?
True
Suppose -4*y + 16 + 0 = 0. Suppose -2*z = 5*r + y, 0*z + z + r + 2 = 0. Does 11 divide 15 - 9/6*z?
False
Let c = -7 - -11. Let p(x) = -2*x**2 + c + 3*x + 4*x + 3*x*