de 514/10 - 9/c?
True
Suppose 0 = -0*w - 3*w + 45. Does 10 divide w?
False
Let i(v) = 7*v**3 - 12*v**2 - 10*v + 4. Let h(g) = -g**3 + g**2 + 1. Let d(m) = -6*h(m) - i(m). Let c(q) = 3*q**2 + 4*q + 3. Let t be c(-2). Does 4 divide d(t)?
False
Let g be (-2)/3*114/(-4). Let t(a) = a**3 + 5*a**2 - 2*a. Let h be t(-5). Let s = g - h. Is 9 a factor of s?
True
Suppose -k = -213 + 85. Suppose p - 7 = 2*b - k, -4*p = -20. Is b a multiple of 21?
True
Suppose 150 - 490 = -5*j. Does 4 divide j?
True
Let r = -16 - -60. Is r a multiple of 14?
False
Suppose -2*r = -7*r + 210. Does 21 divide r?
True
Suppose -4*g + 32 = 4*z, -g - 40 = -5*z - 0*z. Suppose 4*i - 321 = -5*q, 12 = 5*i - z. Suppose 2*m + 1 - q = 0. Is 20 a factor of m?
False
Suppose -7*l + 190 = -2*l. Does 38 divide l?
True
Suppose 5*m = 7*m - 150. Is m a multiple of 25?
True
Suppose -734 + 2214 = 5*x. Let t = x + -197. Suppose -t = v - 4*v. Is 11 a factor of v?
True
Suppose 4*j - 3*j - 17 = 0. Is j even?
False
Let h(c) = c**3 + 5*c**2 + 3*c + 3. Let w be h(-4). Suppose -4*g + 96 = 4*b, -2*g + 2*b = -w - 41. Does 10 divide g?
False
Suppose 3*x = -x + 136. Is x a multiple of 18?
False
Let c(f) be the first derivative of -f**7/420 - f**6/360 - f**5/120 - f**3 - 1. Let j(s) be the third derivative of c(s). Does 4 divide j(-2)?
False
Let t(r) = -r - 1. Let a(l) = -5*l - 5. Let z(h) = -a(h) + 3*t(h). Is z(5) a multiple of 12?
True
Let q(v) = -6*v + 2 + v - v**2 + 0*v. Is 4 a factor of q(-4)?
False
Let z(a) = -4*a + 0*a**2 + 2*a**2 + 0*a**2 - 1. Let s be z(-3). Let x = s - 15. Is 14 a factor of x?
True
Suppose -5*q + 146 = -224. Is 15 a factor of q?
False
Let j = -8 + 8. Suppose -2*i - 2*y + 64 = j, 2*i = 4*i + y - 67. Does 20 divide i?
False
Let u = -2 - -5. Let q(h) be the third derivative of h**5/60 + h**4/6 - h**3/6 + 2*h**2. Is 16 a factor of q(u)?
False
Let l = -3 - -5. Suppose -2*h - l*a = -4, -2*a + 5 = 4*h + 1. Suppose -2*y + 5*o + 33 = -h*y, 35 = 5*y - 3*o. Is y a multiple of 2?
True
Let w = 79 - -39. Does 26 divide w?
False
Suppose 358 = -13*x + 2139. Does 11 divide x?
False
Let o = 259 - 144. Is 23 a factor of o?
True
Let w(p) = -7*p**2 - 3*p + 4. Let f be w(-5). Let y = -105 - f. Does 8 divide y?
False
Let g(t) = t + 6. Let i be g(0). Let s(l) = -7 + 3 - i*l + 4*l - 4. Is 12 a factor of s(-10)?
True
Suppose 0 = k - 2. Let a(u) = 3*u**3 - u**2 - 3*u + 2. Let v be a(k). Suppose -3*o + 7*o - v = 0. Does 3 divide o?
False
Let h(p) = -53*p - 6. Is 25 a factor of h(-2)?
True
Let u be -2 + (1 + -1 - -5). Suppose 7 - 25 = u*a. Let m(q) = -4*q + 4. Is 13 a factor of m(a)?
False
Let o(a) = 18*a**2 - a + 1. Is 10 a factor of o(-1)?
True
Let z = -95 + 215. Suppose l = -3*l + z. Is l a multiple of 15?
True
Let w(b) be the first derivative of 13*b**5/30 - b**4/12 + b**3/6 - 3*b**2/2 + 1. Let y(x) be the second derivative of w(x). Is 7 a factor of y(1)?
False
Suppose 5*l = 2 + 3, 0 = -2*o - 4*l + 18. Suppose -4*t = -f - o, -t = 4*f - 0 - 6. Let w = 15 - f. Is 7 a factor of w?
True
Let c be (-1)/4 + (-91)/(-28). Suppose 3*h - s = -11, 0 - 5 = c*h + 2*s. Is 10 a factor of (h - -2 - 2)*-9?
False
Let w = 118 + 3. Is 16 a factor of w?
False
Suppose -x - 217 = -4*x + a, -3*x = -3*a - 213. Is x a multiple of 16?
False
Let t(d) = -2*d**3 + 5*d**2 - 5*d + 5*d**3 - 2*d + 5*d. Let v be t(3). Let c = v - 79. Does 22 divide c?
False
Let f be (-6)/(-12)*(-508)/(-2). Let x(l) = -l**3 - l**2 - 1. Let w be x(-2). Suppose -r + 5*c = w*r - f, 4*r = -4*c + 100. Is r a multiple of 17?
False
Suppose -48 = -3*c - 0*c. Suppose -4*a - 3*m = 2*m + 12, 14 = 5*a - m. Is 16 a factor of (0 - a)/((-2)/c)?
True
Let a = 253 + -165. Does 22 divide a?
True
Let p(b) = -b**3 + 7*b**2 + 5. Let m be p(7). Suppose -m*t = -5, 0 = s - 0*s - 4*t + 4. Suppose s = 5*r - 3*w - 4, -5*w - 1 = -4*r - 3. Is r a multiple of 2?
True
Suppose -102 = -4*d - 5*r + 63, 2*d - 3*r - 77 = 0. Is d a multiple of 5?
True
Let n be (-13)/11 + 4/22. Let b = 13 + n. Does 6 divide b?
True
Is 23 a factor of (-1)/4 + 2/(-16)*-554?
True
Let j(n) = n**2 - 4*n + 6. Suppose 2*r - 3*r + 4 = 0. Does 4 divide j(r)?
False
Let b = 215 + -149. Let v = b + -38. Does 9 divide v?
False
Let f(h) = -9*h. Let z be f(-12). Suppose 0 = -2*c + 4*c - z. Does 18 divide c?
True
Is 8 a factor of (-215)/(-20) + (-6)/8?
False
Suppose -5*p + 97 = -73. Is p a multiple of 34?
True
Suppose 0 = -7*q + 2*q + 680. Is q a multiple of 21?
False
Let p(t) = 2*t**2 + t - 5. Let y(i) = -i**2 + 8*i + 4. Let n be y(9). Does 20 divide p(n)?
True
Suppose -4*k + 136 = -0. Suppose 3*b - k = 2*b. Does 12 divide b?
False
Let i = 20 - -3. Does 5 divide i?
False
Let r(t) = -t**3 - 6*t**2 - 7*t - 5. Let m be r(-5). Suppose 0 = m*a - 118 - 22. Is a a multiple of 14?
True
Suppose 5*t - 43 = -13. Is 15 a factor of 238/3 + t/9?
False
Let c(h) = 4*h**2 - 2*h**2 + 6*h**2 - h. Is 3 a factor of c(1)?
False
Suppose 0 = x - b + 4, 4*x - b - 2*b = -19. Let i = 20 - 46. Let a = x - i. Does 10 divide a?
False
Let a = 349 - 197. Is 38 a factor of a?
True
Let a(m) = -m**2 + 12*m + 3. Let i = -4 - 9. Let p be -2 + i/((-1)/1). Is a(p) a multiple of 13?
False
Let c = 124 + -83. Is 34 a factor of c?
False
Suppose -5*j + 10 = 2*w - 0*w, -10 = -2*j - 2*w. Suppose q = -j*q - 2. Is (1 + q)*(-38 + 0) a multiple of 16?
False
Let m(u) be the third derivative of -u**4/3 - 2*u**3/3 + 2*u**2. Let t be 39/(-12) - 1/(-4). Is 12 a factor of m(t)?
False
Suppose 2*r = -2*r + 48. Is 4 a factor of r?
True
Let h = 5 + 7. Does 6 divide h?
True
Let s = 54 + 31. Is 17 a factor of s?
True
Let y = -101 + 156. Is 11 a factor of y?
True
Let x = -136 + 311. Is x a multiple of 25?
True
Let h = 29 - 61. Let v be (2/3)/((-2)/168). Let p = h - v. Is p a multiple of 14?
False
Suppose -d + 7 = 3*k + 2*k, -4*k = 12. Is 11 a factor of (1 - d)*(-12)/18?
False
Let a(u) = u**3 - 10*u**2 - 7*u + 10. Let l = -30 - -46. Let o = -5 + l. Is a(o) a multiple of 21?
False
Let u(p) = -7*p + 1. Is 29 a factor of u(-4)?
True
Suppose 2*n + 43 = w, 0*n + 193 = 5*w + n. Is 8 a factor of w?
False
Let l = 0 + -3. Let n(s) = 6*s**3 + s**2 - 2*s. Let h(f) = -7*f**3 - f**2 + 2*f. Let j(i) = -5*h(i) - 6*n(i). Does 5 divide j(l)?
False
Does 12 divide ((77 + -7)/5)/((-2)/(-27))?
False
Suppose -480 = -18*b + 8*b. Is b a multiple of 4?
True
Suppose k - 5 = 7. Does 12 divide k?
True
Suppose -2 + 0 = 5*o + 3*l, -2*o = 5*l + 16. Is 3 + 43 + -1 - o a multiple of 17?
False
Let c = -4 + 5. Let p = c - -6. Suppose -105 = 2*i - p*i. Does 9 divide i?
False
Suppose 6*f = 7*f - 288. Is 9 a factor of f?
True
Let y be -6 + (-1)/((-2)/4). Let z = y - -15. Does 10 divide z?
False
Let g(v) = -10 + 4*v**3 + 5*v**2 + 0*v**3 - 3*v**3 + 7*v + 5*v**2. Let a be g(-7). Does 4 divide 4/(-6) + a/6?
False
Is 12 a factor of (42/(-49))/((-3)/126)?
True
Let s = -76 + 124. Is s a multiple of 48?
True
Let p = 7 - 11. Let f be 10/p*(-12)/15. Suppose 4 = 2*s - 4*c + c, 16 = 3*s - f*c. Does 4 divide s?
True
Is 12/(-78) + 111/(-39) + 215 a multiple of 19?
False
Suppose 9 = -2*r + 89. Is 10 a factor of r?
True
Let s(q) = -q**3 - 6*q**2 - 8*q - 5. Let j be s(-5). Let p = 36 - j. Is 13 a factor of p?
True
Let o(q) = 7*q - q**3 - 5 - 2*q + 3. Is 22 a factor of o(-4)?
False
Let w = 11 + -7. Is (-46)/(1 - (-2 + w)) a multiple of 20?
False
Suppose -3*b - 5 = -r + 4, -2*r + 62 = 5*b. Does 7 divide r?
True
Let a = 5 + -2. Does 22 divide -4 - -7 - a*-23?
False
Let k(u) = -u**3 - 2*u**2 + 2*u + 2. Let c be k(-2). Is 12 a factor of (4/(-2))/(c/20)?
False
Let y(l) be the first derivative of -l**3/3 + 13*l**2/2 - 12*l + 3. Does 14 divide y(8)?
True
Suppose 0 = 5*a - 250 - 170. Is 14 a factor of a?
True
Is 21 a factor of 3/(84/8) + (-292)/(-7)?
True
Suppose 7*t - 20*t = -2197. Is t a multiple of 13?
True
Let f(u) = 2*u + 0 - 2*u + 2*u - 8. Is f(8) a multiple of 3?
False
Let f be (-9)/(9/(-4)) + -1. Suppose 110 + 46 = f*p. Is p a multiple of 7?
False
Suppose 2*q = -4*z, 3*z + 2*q + q + 6 = 0. Let h = z - -13. Is 5 a factor of h?
True
Let b(a) = a**3 + 4*a**2 - 4*a + 4. Let s be 8*((-1)/2 + 0). Is 20 a factor of b(s)?
True
Suppose -3*v + 4*b + 0*b = -701, 5*b = 5. Does 40 divide v?
False
Let h be ((-3)/(-4))/(1/4). Let n = h + 1. Let o = n - -19. Is 9 a factor of o?
False
Is -9*(-4)/(-2)*6/(-6) a multiple of 6?
True
Suppose y + d + 0*d = -34, 5*y 