 Let m(o) = -5*o + 13. Let n(z) = 9*a(z) + 2*m(z). Let q be n(-3). Suppose -q*c = -7 - 17. Is 12 a factor of c?
True
Let f(g) be the second derivative of -g**2 - 1/20*g**5 + 0 + 0*g**3 + 2*g + 1/3*g**4. Is 7 a factor of f(3)?
True
Let n be 4 - (0 - -1) - 0. Suppose n*p - 2*p - 10 = 0. Does 10 divide p?
True
Let j(k) = k**3 + 3*k - 5. Does 3 divide j(2)?
True
Let p = 12 - 5. Suppose 5*v - 2*s - 49 = -6*s, v + s - 10 = 0. Let l = v - p. Is l a multiple of 2?
True
Let z be -2 + 1 - (-16 + -1). Let l be 5*z*3/15. Is 5 + -6 + 1 + l a multiple of 7?
False
Let z(q) = 6*q - 44. Does 7 divide z(15)?
False
Let r be 4/2 + -40 + -3. Let u = r - -65. Does 12 divide u?
True
Suppose -3*r = -r + 4*u - 6, -7 = -2*r - 5*u. Let i(k) = -r + k - 6*k - 5*k. Does 9 divide i(-1)?
True
Let o(p) = -p**2 - 8*p + 1. Is o(-6) a multiple of 13?
True
Suppose -3*o + 4 + 2 = 0. Suppose -2*z = 3*j - 92 + 17, 3*z - 80 = o*j. Does 10 divide z?
True
Suppose 2*q - l - 66 = 0, -5*l = -q + 6*q - 135. Does 4 divide q?
False
Suppose 4 = 4*t - 52. Suppose -p - 6 = -0. Does 9 divide p/(-21) + 248/t?
True
Suppose -m + 9 = -11. Is m a multiple of 6?
False
Let b(p) = 2*p**2 - 5*p + 2. Is b(4) a multiple of 3?
False
Let c = 45 + 46. Is 9 a factor of c?
False
Suppose -13*m + 303 = -87. Does 9 divide m?
False
Let x = -114 - -190. Does 19 divide x*1 + 0/(-12)?
True
Let q(c) = 5*c**3 - c**2 - 2*c + 1. Let a be q(3). Suppose -426 = -5*y - 5*g - a, 0 = -4*y + 5*g + 235. Is y a multiple of 30?
True
Is 13 a factor of (2 - -1)/((-9)/(-141))?
False
Let g(b) = -b - 10. Let h be g(-9). Suppose 4*y - 35 = -n, 0 = -y + 6*n - 2*n + 13. Let q = y + h. Is q a multiple of 4?
True
Let g(d) = d**2 - 10*d + 12. Let j be (16 - -1)*(0 - -1). Let i = -7 + j. Is g(i) a multiple of 6?
True
Let p = 8 - 3. Is p/10 - (-41)/2 a multiple of 7?
True
Suppose -2 - 1 = v. Is 4 a factor of 3 - (0 + 2 + v)?
True
Suppose -5*c = -5*o + 750, 54 = o + 4*c - 101. Does 45 divide o?
False
Suppose -19 = 3*t + 5. Let k = t + 10. Is 6 a factor of 2/(k*(-3)/(-24))?
False
Let i = 6 - -10. Is i a multiple of 8?
True
Suppose -d = d. Suppose -3*i + 6 = -d*i. Does 12 divide (-2)/2 - (i + -27)?
True
Suppose -p + 40 + 18 = 0. Does 13 divide p?
False
Suppose -2*v + 5*d + 30 = 3*v, -4*d - 12 = 0. Is (-18 + 0)*(-5)/v a multiple of 11?
False
Let u = 72 + 0. Let i(v) = -v**3 - 15*v**2 - 13*v + 16. Let k be i(-14). Suppose -4*b = -4*j - 0*j + u, -4*j + k*b = -80. Is j a multiple of 15?
False
Let p = 13 + -10. Suppose -5*v = -p*v - 66. Is 18 a factor of v?
False
Let g(p) = -6*p - 11. Let u = 3 - 8. Is 5 a factor of g(u)?
False
Suppose -5*d - 105 = -0*d. Let x = -12 - d. Does 9 divide x?
True
Let q(v) be the second derivative of v**7/420 + v**5/60 - v**4/4 + 2*v. Let m(r) be the third derivative of q(r). Does 13 divide m(2)?
True
Suppose 0 = 2*i - 46 - 8. Does 27 divide i?
True
Let y(m) = -m**3 - 9*m**2 - 12*m - 12. Is y(-8) a multiple of 10?
True
Let d(r) = r + 8. Let z be d(-6). Is z + 6/1 + -3 a multiple of 5?
True
Is 15*4/8*2 a multiple of 15?
True
Let t(b) = 3*b + 50. Let u = -6 - -6. Is t(u) a multiple of 25?
True
Suppose 2*g = 6 - 0. Suppose -g*b + 175 = 3*p + 67, -b - 2*p = -35. Does 13 divide b?
False
Suppose 0*y = y - 29. Suppose 5*t - 51 = 5*r + 14, -5*r = -3*t + y. Is t a multiple of 9?
True
Let u(v) = -5*v - 16. Let t be u(-12). Suppose -2*x + t = -28. Does 13 divide x?
False
Let s(r) = r + 6. Let j be s(-8). Let x(a) = -3*a + 1. Is 4 a factor of x(j)?
False
Let j(c) = -c**2 - 17*c - 11. Is 7 a factor of j(-14)?
False
Let q(o) = o**2 - 3*o. Let y = 26 - 20. Is q(y) a multiple of 18?
True
Suppose -3*x - 4*a = -293, 3*x - 170 - 119 = -2*a. Is x a multiple of 15?
False
Let c = 2 + -4. Let b = -2 - c. Let a(x) = x**2 - x + 9. Is 5 a factor of a(b)?
False
Is -1*51*16/(-24) a multiple of 10?
False
Let c be (-26 + -3)*(-2 - -1). Suppose -j = -3*n + 90, -3*n + c = 2*j - 70. Let l = n + -18. Does 5 divide l?
False
Let k(o) = 8*o**2 - 4. Let l be k(3). Suppose -t = -2*d - d - 52, -5*d = t - l. Is t a multiple of 17?
False
Let v(y) = y**3 + 15*y**2 - 2*y - 15. Does 3 divide v(-15)?
True
Let y be (2 + -5 - -2) + 201. Is (-3)/(388/y - 2) a multiple of 16?
False
Let d(o) = -o**2 - 2*o + 1. Let c be d(-3). Is 11 a factor of -11*(c/(-1) + -5)?
True
Let q(d) = -8*d + 4. Let n be q(3). Let p = n + 155. Suppose -3*f = -4*u + p, -11 - 117 = -4*u - 4*f. Is u a multiple of 12?
False
Suppose u - 6*u = -65. Let h = u + 2. Suppose h = -4*i + 2*l + 239, 2*l + 4 = 0. Is 13 a factor of i?
False
Let w = 7 - 0. Does 2 divide w?
False
Let f(y) = -y + 7. Let x be f(4). Let r = 15 - x. Is r a multiple of 12?
True
Suppose -5*w + 25 = -3*x + 8*x, -16 = -2*w - 4*x. Let h(d) = -4 + w*d**2 + 9*d - 2*d**2 - d**2. Is h(7) a multiple of 9?
False
Let b(f) = -f + 1. Suppose -t - 2*t - 3 = -2*o, -5*t - 3 = -4*o. Let z be b(t). Suppose -3*l = -2*n - 47, -z*n + 6*n = -l + 13. Is l a multiple of 15?
True
Suppose 3*l = l + 26. Does 13 divide l?
True
Suppose 0 = o - 6*o + 175. Does 8 divide o?
False
Let r(y) = -4*y + 1. Let s(l) = l**3 + 6*l**2 + l - 3. Let p be s(-6). Is r(p) a multiple of 12?
False
Suppose -p - 4*c = 15, 17 = -3*p + c + c. Let b = -5 - p. Suppose 0 = -3*g + g - b*w + 84, -4*w = g - 48. Is 14 a factor of g?
False
Let c = -4 - -4. Suppose 2*s + 3*h - 2*h - 7 = 0, 2*s - 2*h + 2 = c. Let d = 7 - s. Does 2 divide d?
False
Suppose -186 = -4*v + 262. Is v a multiple of 16?
True
Let f(s) be the first derivative of -s**4/4 - 4*s**3/3 - s**2 - 2*s - 2. Is 11 a factor of f(-5)?
True
Let y(o) = -o**3 + 3*o - 2. Let q = 6 + -11. Does 27 divide y(q)?
True
Let g(q) = 3*q**2 - q**2 + 4 - q**2 + 7*q. Let d be g(-7). Suppose d*o + 0*o - 64 = 0. Does 16 divide o?
True
Let r = -9 - 11. Is 10 a factor of r*(10/(-4))/5?
True
Let x(u) = -u - 2. Let o be x(-4). Suppose -o*v - 52 = -4*t, -5*v + 6 = -4*t + 64. Is t a multiple of 5?
False
Let n(s) = s**3 + 13*s**2 - 12*s - 15. Is n(-13) a multiple of 13?
False
Let b = 75 + -27. Is b a multiple of 12?
True
Suppose -4*c - 4*g + 0*g + 728 = 0, -g = -1. Suppose v + 5*y = 61, v - y = -3*v + c. Is v a multiple of 16?
False
Let l be 1*21*(0 - 1). Suppose u - 3*w + 18 = 0, -w = -u + 3*u + 1. Is 6 a factor of (l/1)/(u/2)?
False
Let x be (3 + -11 + 0)*-4. Suppose -4*d - 4*g + x = 0, 3*d + 2*g = 8 + 18. Is d a multiple of 10?
True
Suppose s - 22 = -4. Suppose 2*f + 0*f - s = 0. Is f a multiple of 4?
False
Let f(g) = -g**3 + 5*g**2 - 2*g + 6. Does 7 divide f(4)?
True
Let a = 69 - -28. Is 27 a factor of a?
False
Let p = 3 - -142. Does 29 divide p?
True
Suppose -y - 2 + 3 = 0. Is 10 a factor of 22/y - 1*2?
True
Let q be (-1)/(2/(-74) - 0). Suppose m + 16 = -5*z, -3 + 11 = 4*z. Let y = q + m. Is y a multiple of 5?
False
Let j be 4*(-2 - 13/(-4)). Suppose -j*v - 5*q - 20 = 0, -5*v + 3*q - 2 = 2*q. Does 22 divide (v/(-3))/((-7)/(-903))?
False
Suppose -9*g + 1176 = -g. Is 14 a factor of g?
False
Suppose 3*z - 4*v = -14, -2*z + 0*v + 4 = 4*v. Is 5 a factor of (-1 - -2)*-6*z?
False
Let c(z) = -z**3 - 3*z**2 + 3. Let u be c(-3). Suppose u*h = -h. Suppose 3*k + 275 = 8*k - 5*j, h = -3*j + 6. Is k a multiple of 19?
True
Let c(l) = 2*l**3 - 9*l**2. Let h be c(6). Suppose -h = -2*i - 20. Is i a multiple of 22?
True
Let q be (-2 - -2)*(-1)/2. Suppose q*d + 4*d = 64. Is 8 a factor of d?
True
Does 2 divide 30/4 + 3 - 3/2?
False
Let m = 6 - -4. Does 4 divide m?
False
Let g(h) = 3*h - 2. Let o be (1/3)/((-4)/(-24)). Suppose 5*v = -o*f + 6*f - 34, 0 = -f - 4*v - 2. Is 8 a factor of g(f)?
True
Let i be (-1 - -1)/(-2) - -17. Does 5 divide (i/3)/((-3)/(-9))?
False
Suppose 6*y - 2*y - 12 = 0. Suppose 15 = -y*f + 51. Is f a multiple of 8?
False
Let t(u) = 76*u + 1. Let s be -1 - (4 - (10 + -4)). Does 23 divide t(s)?
False
Suppose -f + 3*j = -2*j + 5, 0 = -2*f + 3*j + 4. Does 21 divide (6*1)/(f/60)?
False
Suppose -5*l = v - 2*l + 3, -6 = 2*v + 4*l. Is (75/(-20))/(v/8) a multiple of 10?
True
Suppose 4*g - 210 = -5*o, -o - o + 4 = 0. Does 9 divide g?
False
Let h(j) = j**3 - 10*j**2 - 10*j - 6. Let t be h(11). Let o = t + 3. Is 3 a factor of o?
False
Let d(u) be the first derivative of -u**3/3 - 5*u**2/2 + 21*u - 1. Let i(k) = k. Let p(t) = d(t) + 5*i(t). Is 14 a factor of p(0)?
False
Let a(w) = -4*w + 1. Let r be a(-5). Let f(o) = 112*o. Let l be f(-2). Is l/r*(-9)/2 a multiple 