 Is t a multiple of 4?
False
Does 30 divide (-1820)/21*6/(-4)?
False
Let n be 1265/(-44) + (-2)/8. Let k = n + 50. Is 21 a factor of k?
True
Let a(i) = -i - 46. Let k be a(8). Does 6 divide (k/7)/((-4)/56*2)?
True
Suppose 99 = 4*v + 19. Let s = -26 + v. Let n(x) = x**3 + 7*x**2 - 4*x - 9. Is 13 a factor of n(s)?
False
Suppose 470 = 8*j - 186. Is 7 a factor of j?
False
Let d(r) = -38*r**3 + 8*r**2 - 1 - 3*r + 68*r**3 - 31*r**3. Does 19 divide d(7)?
False
Let n(m) = 4*m**2 + m + 2. Let a be n(-3). Let b = a + -16. Does 16 divide b?
False
Let a(l) = -3*l + 19. Let n be a(5). Suppose -4*m + 3*h + 135 = 0, n*h + 23 = m - 14. Is 11 a factor of m?
True
Let v = 222 - 149. Is v a multiple of 3?
False
Suppose 0*x = 3*x - 72. Suppose 4*b - x = 2*b + 4*v, 0 = -b + 3*v + 10. Is b a multiple of 3?
False
Let x(r) = -2*r**2 + 10*r + 8. Let y be x(6). Let g(d) = -d. Let t be g(1). Is 5 a factor of 14 - (y + -1 - t)?
False
Let g be ((-17)/(-2))/((-31)/434). Let x = -101 - g. Is x a multiple of 10?
False
Let b(t) = -t**3 - 5*t**2 + t - 1. Let g be b(-5). Let k be (45/g)/(-5)*2. Suppose n + 8 = k*y - 17, y - 4*n - 23 = 0. Is 7 a factor of y?
True
Let d(z) = z**3 - 10*z**2 + 6. Let a be d(10). Suppose j - 3*j + a = 0. Suppose -3*h + 20 = 4*l - 18, 0 = 3*h - j*l - 3. Is 2 a factor of h?
True
Suppose -2*a + 2*b = 512, -2*a + 1301 = -7*a - 2*b. Let h = a - -409. Is 25 a factor of h?
True
Is 10 a factor of (-1)/(-10) + 604956/440?
False
Let n(p) be the first derivative of p**4/4 + 3*p**3 + p**2/2 - 4*p - 8. Let o be n(-9). Is 8 a factor of o/(2 - (-14)/(-6))?
False
Suppose -c = -r - 2*c, -3*r + c = 0. Suppose r = -i + 3*i - 248. Is 31 a factor of i?
True
Let v(k) be the second derivative of k**5/20 + 5*k**4/12 - 5*k**3/2 + 5*k**2 + 4*k. Does 7 divide v(-7)?
False
Suppose 4*j + 2*d = -j + 2120, -3*d + 411 = j. Is 8 a factor of (15/9 - 1)/(4/j)?
False
Suppose o = d - 72, d = 2*o + 4*d + 134. Let n = 10 - o. Is 16 a factor of n?
True
Suppose -m - m = 4*q - 16, 0 = -m - 3*q + 7. Let t = m + 12. Is t a multiple of 22?
True
Let j(q) = q**3 - 11*q**2 + 10*q + 3. Let s be j(10). Suppose s*d + 4*l = -10, 0 = 3*l + 3 - 0. Does 22 divide (-68 - d)*4/(-3)?
True
Let n(x) = -x**3 - 3*x**3 - x + 2 - x**2 + 5*x**3 - 2*x**2. Let j be n(3). Let m = j - -5. Is 4 a factor of m?
True
Let t(h) = -6*h + 39. Let b(c) = 3*c - 19. Let y(a) = -13*b(a) - 6*t(a). Does 4 divide y(-14)?
False
Let i(j) = j**2 - 4*j + 4. Let f be i(2). Suppose f = 5*b + 12 + 3. Is (-400)/12*b/2 a multiple of 17?
False
Let f(m) = 47*m - 27. Let x be f(7). Suppose -58 = -3*q + x. Is 8 a factor of q?
True
Suppose 0 = -n - 4*s - 126, -4*s - 67 - 461 = 4*n. Let t = n - -301. Is 18 a factor of t?
False
Let o(f) = -f + 8. Let j be o(5). Does 16 divide (4 - 1) + (j - -154)?
True
Let x(j) = -j + 13. Let q be x(11). Let d(h) = -68*h + 4. Let t be d(q). Let n = 216 + t. Is 12 a factor of n?
True
Suppose 0 = -4*d - 144 + 604. Suppose -d = -5*w + 3*h, -4*w - 5*h = -5*w + 1. Is -1 + 0 + 0 + w a multiple of 10?
False
Suppose -h - 4 = -3*h. Suppose h*g = 3*g - 40. Is 8 a factor of g?
True
Let r(g) = g**2 + 2*g - 8. Let o be r(-6). Let d = 20 - o. Let h = -1 + d. Is 3 a factor of h?
True
Let r(v) = -v**3 + 4*v**2 - 3*v + 2. Let k be r(2). Suppose k*d - 40 = 5*p, -3*p - 11 = d + p. Is d a multiple of 2?
False
Let r(q) = -13*q**3 - 3*q**2 - q + 7. Does 11 divide r(-4)?
False
Suppose 41*a = 49*a - 336. Does 5 divide a?
False
Let m be (-2)/(-3)*(-24)/(-1). Let p = m + -11. Suppose p*w + 7 + 23 = i, -3*w - 126 = -3*i. Does 17 divide i?
False
Let s be 48/9 - 4/12. Suppose 720 = s*t + 7*t. Does 10 divide t?
True
Let n(w) = -76*w + 157. Does 76 divide n(-66)?
False
Is (-6974)/(-4) - (-1)/(-2) a multiple of 10?
False
Let u(v) = v**3 - 23*v**2 + 52*v - 78. Is 12 a factor of u(21)?
True
Let p = -49 + 72. Let m = 32 - p. Is 2 a factor of m?
False
Suppose -11*m - 3994 + 15786 = 0. Is 40 a factor of m?
False
Let t(s) = 9 + 6 - 13*s**2 - s - 8 + 6 - s**3. Does 51 divide t(-14)?
False
Suppose 0*i - 8 = -2*s - 4*i, 0 = 4*s + 5*i - 22. Let d(y) = 22*y - 52. Is d(s) a multiple of 19?
False
Let i = 73 + -56. Suppose 13*a - i*a = -768. Is 16 a factor of a?
True
Let r = 919 + -541. Does 42 divide r?
True
Suppose 5*m - 21482 = 2*q, 5*m - q - 21502 = -4*q. Is m a multiple of 14?
True
Suppose -y = y - 6. Let q be y/(((-9)/(-6))/(-1)). Let f = 6 - q. Is 3 a factor of f?
False
Suppose -5*n + n = -304. Let b = n - 36. Let z = b - 24. Does 16 divide z?
True
Suppose 0*y - 2*y = 0. Suppose y = 8*v - 12*v + 20. Suppose 4*c = -v*q + 68, 0 = -4*q + 5*c + 28 + 10. Is q a multiple of 11?
False
Let k(c) = -18*c - 7. Let f(i) = 6*i + 2. Let j(n) = -7*f(n) - 2*k(n). Let x be -2 + 1 + 1*-5. Does 8 divide j(x)?
False
Does 21 divide 9456/64 + (-1)/(-16)*4?
False
Suppose 0 = 20*k - 11662 - 1538. Does 10 divide k?
True
Is (-4)/10 + 324945/675 a multiple of 10?
False
Suppose 0 = -3*d + 1 + 14. Suppose 2*u - u + 3*b = 149, -5*u = d*b - 715. Does 44 divide u?
False
Let b be (-1)/(-5) + (-114)/(-30). Suppose -b*t + 43 = -5*y - 517, -5*y + 250 = 2*t. Is 27 a factor of t?
True
Is 11 a factor of (-6 + 5/2)*(-614)/7?
False
Let q = 82 - 57. Let f = 117 - q. Is f a multiple of 25?
False
Suppose -4*x - 2*d - 4 + 12 = 0, -5*x = 4*d - 10. Suppose 3*s - 2*m - 66 = m, -x = m. Is 5 a factor of s?
True
Let w(k) = -15*k**2 - 2 - 5*k - k**3 - 6 + 16*k**2 - 7*k**2. Let m be w(-7). Suppose -3*o - o + m = 2*b, 0 = -b - 4*o + 32. Is 8 a factor of b?
False
Suppose -540 = -2*z + 468. Is z a multiple of 18?
True
Suppose -44*u = 6*u - 6600. Is 3 a factor of u?
True
Suppose -2*g - 41 = -h - 11, -3*h - 4*g = -90. Suppose n - 2*u - u + h = 0, 5*n = 4*u - 172. Let j = -26 - n. Is 5 a factor of j?
True
Let r(v) = v**3 + 23*v**2 + 83*v. Is r(-14) a multiple of 14?
True
Let g = 108 - 0. Does 14 divide g?
False
Let u(v) = 10*v + 3. Suppose 0*j - 2*j = 5*q - 15, -4*q - 57 = -3*j. Suppose 7*r - 2*r - j = 0. Does 23 divide u(r)?
False
Let f = -58 - -61. Suppose 497 = 4*u + 5*l, -f*u = -0*u - l - 349. Is u a multiple of 18?
False
Is (13/(((-6)/57)/2))/(-1) a multiple of 81?
False
Suppose -b = -23 - 23. Suppose 12*v - b = 10*v. Is v a multiple of 23?
True
Suppose 7*i - 13*i + 492 = 0. Does 82 divide i?
True
Suppose -p + 178 = -f, -f + 904 = 5*p + f. Suppose 5 = 4*y - 3, 2*y = -4*j + p. Suppose 4*x = 5*n - 166, 0*n = 2*n + 4*x - j. Is n a multiple of 10?
True
Let h(v) be the second derivative of -v**5/120 + 7*v**3/6 - v. Let f(c) be the second derivative of h(c). Is 6 a factor of f(-6)?
True
Let l(y) = 2*y**2 - 3*y - 2. Let g be l(-1). Suppose 4*h = -g*c + 308, 0 = 2*h + 2*c - c - 156. Is h a multiple of 16?
True
Let a(b) be the third derivative of 1/6*b**4 + 0*b - 4*b**2 + 1/6*b**3 + 0. Does 13 divide a(3)?
True
Let l(y) = -30*y - 93. Is 69 a factor of l(-33)?
True
Let k be (-3)/(30/(-4))*(9 + -4). Let w = 17 - k. Is w a multiple of 10?
False
Let t(z) be the first derivative of 11*z**3/3 - 2*z**2 + 5*z - 1. Let v be t(2). Suppose 0 = -2*s + i + v - 3, -3*s - i = -67. Is s a multiple of 5?
False
Let a = -7 + 2. Let p(r) = 3*r**2 + 4*r + 2. Is p(a) a multiple of 12?
False
Let y(k) = k**3 - 10*k**2 - 11*k + 4. Let w be y(11). Let c(l) = l**3 - 2*l**2 + 5*l - 2. Let i be c(w). Suppose 5*t = i + 80. Is 12 a factor of t?
False
Let t be 5 - 5/(15/6). Suppose 396 = t*o + 72. Is o/2 + 3 + -3 a multiple of 18?
True
Let i = 157 - -595. Does 47 divide i?
True
Let h(c) = -c**2 - 12*c - 20. Let y be h(-9). Suppose -77 = -y*v + 448. Is v a multiple of 25?
True
Suppose -114 = 2*n - n. Let m = n + 191. Does 9 divide m?
False
Suppose 0 = -2*p - 6, 3*b - 9*p - 2016 = -4*p. Does 12 divide b?
False
Suppose m = 4*n + 26, 0 = -4*m - 0*n - 2*n + 86. Let u = m + -8. Does 14 divide u?
True
Suppose 5*j - 100 = -3*i, -j + 3*i = 1 - 3. Suppose 929 = j*r - 57. Is r a multiple of 18?
False
Suppose 4*z = -d + 1758, z - 5252 = 147*d - 150*d. Is 25 a factor of d?
True
Suppose 0 = -2*c + c + 61. Suppose n = -3*l + c, 0 = 3*n + n + 8. Let a = l - -41. Is a a multiple of 17?
False
Let p = 76 + 384. Suppose p = 5*n + 5*m, 0 = 2*n - 2*m - 0*m - 164. Is 29 a factor of n?
True
Suppose -4*u = -2*z + 278, -3*u - 2*u + 233 = 2*z. Let j = z - -88. Is j a multiple of 31?
True
Let q(w) = -w**3 - 4*w**2 + w - 13. Suppose -5*d + d = 28. Let r be q(d). Let u =