
Let a(g) = 226*g**3 - 3*g**2 + 2*g + 1. Is a(1) a multiple of 16?
False
Suppose -z + 7 = -c - 7, -4*c = -2*z + 30. Does 3 divide z?
False
Let r(j) = j**3 + 8*j**2 + 8*j. Suppose 4*x - 39 = 5*t, -5*t = -4*x + 5*x + 34. Let g be r(t). Let m = g + 30. Is m a multiple of 23?
True
Let n be (31 - (-6 - -2)) + 3. Does 12 divide (n + -6)*(-3)/(-2)?
True
Let i(x) = 5*x**2 + x - 12. Is i(7) a multiple of 20?
True
Suppose 3 = -k + 3*c, -3 = k - 4*c + 1. Let a(y) = -y + 0*y**2 + y**2 + 3 + k*y. Does 9 divide a(3)?
True
Let h(q) = 9*q + 8. Suppose 0 = 5*a - 6 - 24. Let b be h(a). Suppose 2*d + b = 4*u, -u - 2*d + 3 = -0*d. Is 9 a factor of u?
False
Let p = 13 + -23. Let s be (-6)/(-21) + p/(-14). Suppose 3*y = 107 + s. Is 25 a factor of y?
False
Let m = -9 + 19. Let z be ((-8)/10 + 0)*-60. Let l = z - m. Does 18 divide l?
False
Suppose 4*l = -i + 23, -2*l - 9 + 31 = 4*i. Suppose j + 4*g - 56 = -2*j, 36 = 2*j + i*g. Does 12 divide j?
True
Let w(n) = -2*n**2 + 48*n + 15. Does 2 divide w(24)?
False
Let y be 2*((-161)/(-2))/7. Suppose q + 21 = 2*r - 4*q, 3*r + q - y = 0. Does 3 divide r?
False
Suppose 3*s + 0*s = 4*f - 24, -2*f + 4*s + 22 = 0. Let n be 5*f*(-7)/(-21). Suppose n*k - 163 = 37. Does 19 divide k?
False
Let v(q) = 2*q**2 + 6*q - 11. Does 15 divide v(4)?
True
Let l = -8 - -11. Suppose 0*k - l*k = -111. Does 19 divide k?
False
Let l be 394/4 - 12/(-8). Suppose -5*v + 20 = -l. Does 12 divide v?
True
Suppose 0 = -k - 4*k. Suppose 0 = -3*v - k*v + 6. Is 7 a factor of 2*5/(v - 1)?
False
Let k(p) = 69*p**2 - 2*p + 1. Is 18 a factor of k(1)?
False
Let m be 3/12 - (-21)/(-4). Let a(d) = -d - 7. Let v be a(m). Is v/(-8) - (-110)/8 a multiple of 6?
False
Let g = 0 + -3. Does 15 divide 286/11 + g/(-1)?
False
Suppose -5*d = -d + v - 335, 5*d = -4*v + 416. Does 17 divide d?
False
Let q be -6*4/18*-3. Suppose 0 = -q*c - 6 - 18. Is 4 a factor of (8/c - 0)*-6?
True
Let q(n) = n**2 - 5*n + 4. Let t be q(5). Suppose t*x = -0*x + 68. Is 17 a factor of x?
True
Let q be ((-15)/(-10))/((-3)/(-4)). Suppose q*p = -3*p + 225. Is 9 a factor of p?
True
Let c = -16 + 31. Does 5 divide c?
True
Suppose -3*h + 22 = 2*s, -2*h + 5*s - 12 = 5. Suppose 0 = -4*u - 16, h*t = u + u + 24. Suppose 4*a - 39 = 2*c + c, -t*c = 20. Is 3 a factor of a?
True
Suppose -7*s + 384 = -1009. Is s a multiple of 17?
False
Let v(o) = 4*o**2 + o - 2. Is v(4) a multiple of 16?
False
Let g = -72 - -103. Let j = g + -19. Suppose -5*c + j = -168. Does 15 divide c?
False
Suppose 4*w + 5*b = 17, 11 + 5 = 4*w + 4*b. Suppose -2*g = -0*g + 2*z - 34, 2*g = w*z + 29. Does 12 divide g?
False
Let h(f) = -f**3 + 13*f**2 - 14*f + 18. Let m be h(12). Let p(z) = 4*z + 5. Let n be p(-4). Is 11 a factor of (-3)/m*n*-2?
True
Let o = -71 + 49. Let r = o - -101. Is r a multiple of 22?
False
Suppose 2*n = -37 - 125. Let v = n + 114. Does 11 divide v?
True
Suppose p - 116 = -5*u, -4*u + 4*p + 88 = -0*p. Is 11 a factor of u?
False
Let b be (1 - (-2 - 0)) + 1. Suppose -3 - 12 = -b*m + u, 2*u = 2*m - 12. Is 53 - m - 3*-1 a multiple of 17?
False
Let l = -59 - -66. Does 3 divide l?
False
Does 4 divide 4 + 8 - (-4 + 0)?
True
Suppose -89 = 4*h + 5*r, 0 = h - 4*r - r - 9. Let x = h + 46. Is 10 a factor of x?
True
Let s = -21 - -60. Is 11 a factor of s?
False
Let b = 2 + 1. Is 5 a factor of (-1)/(b/57)*-1?
False
Let g(q) = -q**3 + q**2 + q - 1. Let p be g(-2). Let w(x) = -x + 18. Does 7 divide w(p)?
False
Let o(p) = 9*p - 1. Let d(s) = -4*s + 1. Let u(n) = 7*d(n) + 3*o(n). Let x be u(-4). Suppose 0 = 5*t + x - 168. Is 13 a factor of t?
False
Let v(n) = n - 13. Let u(a) = -a + 14. Let l(j) = 6*u(j) + 5*v(j). Let c be l(0). Let g = 34 - c. Is g a multiple of 15?
True
Let v(d) = -7*d - 2. Is 12 a factor of v(-2)?
True
Does 51 divide (-10 - -4)/(2/(-31)) - -1?
False
Let u = -3 - -368. Suppose -u = -4*b - b. Is 23 a factor of b?
False
Let k be 1 - (1 + -2 - -4). Let d(t) = -210*t**2 - t**3 - 3*t**3 + 210*t**2 + 2*t. Is d(k) a multiple of 14?
True
Suppose 0 = -q - 0*q. Suppose q = -h + 38 - 3. Suppose h = 4*x - 41. Does 8 divide x?
False
Let z(c) = 17*c - 5. Let b be z(5). Suppose -k = 3*k + b. Let i = k - -34. Is 7 a factor of i?
True
Let a be 1*2/(-4)*26. Let z = -9 - a. Does 21 divide z/(-18) - (-508)/18?
False
Suppose 5*o + n + 183 = -n, 0 = 2*n - 2. Let i = 69 + o. Does 19 divide i?
False
Suppose -3*g - 15 = j + g, -g = -j - 10. Let p = 15 + j. Suppose -w - 4*w + 27 = r, -2*r + p = 0. Does 5 divide w?
True
Let n = -55 - -97. Is 21 a factor of n?
True
Let i(m) = -3*m - 3. Let x be i(-2). Let o(d) = 14*d + 3. Let v(u) = 29*u + 5. Let h(y) = x*v(y) - 7*o(y). Is h(-4) a multiple of 19?
True
Let n(t) = -t**3 + 9*t**2 - 5*t + 3. Is 9 a factor of n(4)?
True
Is ((-72)/54)/((-4)/42) a multiple of 5?
False
Let u(z) = -2*z - 7. Let q be u(-5). Suppose -q*k - 3*j + 30 = 0, 5*k + 6 - 51 = -4*j. Suppose k*o - 73 = 17. Is o a multiple of 9?
True
Let w(t) = 5*t**2 - 5*t + 3. Does 6 divide w(3)?
False
Let t(o) = -2*o**2 - 8*o + 1. Let r be t(-4). Let l(d) be the first derivative of 21*d**2/2 + 1. Is 11 a factor of l(r)?
False
Let u(c) = 2*c - 5. Let i be u(6). Let x be i/(-21) - 17/3. Let h = x + 12. Is h a multiple of 3?
True
Suppose -3 = h - 25. Does 6 divide h?
False
Let c = -7 - -9. Suppose 0 = -d - 0 + c. Let p(r) = 7*r**3 - 2*r**2 - 2*r + 3. Is 16 a factor of p(d)?
False
Suppose -5*k = 7 - 32. Suppose -k*r + 5 = -10. Is r a multiple of 2?
False
Suppose 0*g = -3*g - 9. Is (-303)/(-9) + g/(-9) a multiple of 17?
True
Let f = -19 + 29. Let j = f + -5. Does 2 divide j?
False
Let o(b) = b + 5. Suppose m = -2*m. Is o(m) a multiple of 5?
True
Suppose 25 = 5*x - 45. Is x a multiple of 14?
True
Let m(g) = 76*g**3 - 2*g**2 + 2*g - 1. Let c be m(1). Suppose -y + c = 4*y. Does 4 divide y?
False
Let v be ((-522)/(-5))/((-2)/10). Is (-1)/(-4) + v/(-24) a multiple of 22?
True
Suppose -4*l + 14 = -2. Suppose 0 = -3*t + l*t + q - 4, q = 2. Suppose t*x - 64 = -2*x. Is x a multiple of 16?
True
Let z = -215 - -301. Is z a multiple of 22?
False
Suppose 4*p - 384 - 120 = 0. Is p a multiple of 7?
True
Let l = 7 - -2. Suppose -l - 3 = 4*y. Is (-84)/(-9) - (-1)/y a multiple of 6?
False
Let j(a) = -19*a. Does 19 divide j(-1)?
True
Suppose -5*b + 65 = -20. Is 2 a factor of b?
False
Suppose 16*z - 7*z = 207. Does 4 divide z?
False
Suppose -24*z + 21*z = -138. Does 7 divide z?
False
Let f be -2 + 2 - (-53 - -2). Let i = -27 + f. Does 12 divide i?
True
Suppose 3*l + 38 = 4*l. Suppose -18 = -t - 40. Let y = l + t. Does 8 divide y?
True
Suppose 0 = k - 3 + 1. Let w(s) be the first derivative of 7*s**2 - 2*s + 11. Is 17 a factor of w(k)?
False
Suppose -2*l = -6*l + 20. Let j = -4 + l. Is 3*j/3*10 a multiple of 4?
False
Suppose -4*g + 230 = -m - m, 4*m = 5*g - 295. Let h = 3 + g. Does 15 divide h?
False
Suppose 78 = n - 26. Let i(z) = -z**2 - 5*z + 1. Let o be i(-4). Suppose 4*j - 40 = -h, o*j - j + n = 5*h. Does 12 divide h?
True
Let h = 102 - 57. Is h a multiple of 9?
True
Suppose -x = -0*x + 2. Let g be x/(2/15)*-3. Suppose 5*o + 71 = 2*k, 2*o + g - 123 = -2*k. Does 13 divide k?
False
Let x = -10 - -6. Does 19 divide 2*(-38)/x*1?
True
Is 10 a factor of -5*-24*8/60?
False
Let x(f) = -37*f + 10. Let d be x(-6). Let b = -159 + d. Is b a multiple of 19?
False
Suppose 6*a = a - h - 147, 0 = 2*a + h + 60. Let j = 74 + a. Is j a multiple of 17?
False
Let d be (1/2)/((-2)/(-44)). Suppose -d - 25 = -2*x. Is x a multiple of 9?
True
Let v(f) be the third derivative of -f**6/120 + 7*f**5/60 - f**4/6 - 3*f**2. Is 12 a factor of v(3)?
True
Let l(o) = -6*o. Is l(-3) a multiple of 3?
True
Suppose 5*p + 12 = -q, 5*q - 3 = -p - 3*p. Let y(r) = 7*r - 3*r + q*r - 2. Is y(4) a multiple of 14?
False
Let l = 5 + -14. Let y = 19 + l. Is 8 a factor of (4/y)/(2/80)?
True
Let b = -178 - -325. Is 21 a factor of b?
True
Let x = -8 - -13. Suppose k - 3*c = -0*c + 1, -x*c + 20 = 0. Let a = -8 + k. Does 2 divide a?
False
Let l be (-184)/(-6)*(-12)/8. Let r be 3/(-3 - 135/l). Let q = -16 - r. Is q a multiple of 8?
False
Suppose 4*i - 3*n - 24 = n, 2*n - 9 = -5*i. Let v = 5 - i. Is (-1)/(1/(-20)) + v a multiple of 9?
False
Let u be (0 - 1)*(6 - 1). Let z(q) = q + 9. Does 4 divide z(u)?
True
Let d be (1 - 1)/(0 + 3). Is 17 a factor of (2 + d)/((-6)/(-153))?
True
Let b(f) = -5*f - 4. Let a be b(-5). Let j = 3