+ 2 = 4*q - 6. Suppose 16 = q*y + 4. Suppose 0 = y*d - 85 + 25. Does 10 divide d?
True
Let d be 1/1*0/2. Let m = 9 - d. Does 4 divide m?
False
Suppose 4 - 144 = -5*t + 4*d, -20 = -4*d. Suppose -t = -q - 0*q. Is 16 a factor of q?
True
Let l(o) = -o. Let x(m) = -2*m - 107. Let i(u) = 3*l(u) - x(u). Let b be i(0). Suppose -5*t = -53 - b. Is 16 a factor of t?
True
Suppose b + 4*h + 260 = 5*b, -5*b - 3*h = -365. Is b a multiple of 14?
True
Suppose -3*r + 790 = -3*l - 125, 2*r + 1490 = -5*l. Does 15 divide 48/84 + l/(-14)?
False
Let s = 38 - 22. Let n = s + -10. Let t = -3 + n. Is 3 a factor of t?
True
Let r(y) = 165*y**3 + y - 2. Is r(1) a multiple of 24?
False
Let t be -1*(-3)/(-6)*0. Is 14 a factor of t - -3*14/3?
True
Let f(v) be the first derivative of -v**3/3 + 7*v**2 - 15*v - 1. Is f(11) a multiple of 8?
False
Let k(q) be the third derivative of -q**4/24 - q**3/6 + 2*q**2. Let v be k(-4). Suppose -w = -v*o - 23, 0 = 5*w - 3*o + o - 141. Does 8 divide w?
False
Let q(l) = l**3 + 5*l**2 - 4*l + 5. Let t be q(-6). Let o(v) = v**3 + 8*v**2 + 4*v + 9. Is 15 a factor of o(t)?
True
Let h = -626 - 154. Is ((-24)/(-10))/((-18)/h) a multiple of 28?
False
Suppose -5*u - 63 = -2*j, j + 2*u - 14 = 22. Suppose i + 12 = -2*i. Does 6 divide (j/4)/((-2)/i)?
False
Let b(p) = p**2 + p + 21. Let x = 9 + -9. Does 7 divide b(x)?
True
Suppose 4*v = -5*t - v + 415, -4*t - v = -335. Suppose 0*r + t = 4*r. Is 11 a factor of r?
False
Let f be (8/6)/((-2)/(-15)). Let k = f - 6. Suppose 0 = -k*a + 100 + 12. Does 12 divide a?
False
Let f = 4 - 2. Let d(q) = q**2 - 4*q - 4. Let m be d(5). Let l = f + m. Is l a multiple of 2?
False
Let g = -74 - -106. Is g a multiple of 5?
False
Suppose 3*d - 1 = -3*n + 20, 3*n - 4*d - 49 = 0. Let q = -8 + n. Suppose 3*s - 55 = 2*r, -r = 3*s + q*r - 61. Is 13 a factor of s?
False
Let t be 3*-1 - (-2 - 56). Let u = t - 15. Is u a multiple of 8?
True
Suppose -l + 12 = l. Let u(y) = 4 - 1 - 6 + l*y. Is 11 a factor of u(3)?
False
Let y be (3/9)/((-1)/33). Let a = -67 + 96. Let w = y + a. Is w a multiple of 16?
False
Suppose 3 = 3*j, -3*j + 1 = -2*m + 2*j. Let a(h) = h**3 - 2*h**2 - 4*h - 1. Let v be a(4). Suppose -27 = -m*x + v. Is x a multiple of 16?
False
Suppose 5*y = 2*y + 6. Let r(u) = 2*u - 1. Let b be r(y). Does 4 divide ((-6)/2)/(-3) + b?
True
Let c = 128 - 82. Let l = c - 71. Does 10 divide (-835)/l + (-2)/5?
False
Suppose -2*d - 5*y + 11 = 0, 3*d + 2*y + 18 = 5*d. Let v = -43 + 46. Let x = v + d. Is x a multiple of 11?
True
Let p(g) = g**2 - g + 20. Let k(t) = -t**2 + 4*t + 5. Let b be k(5). Let u be p(b). Suppose 2*d - 5*n - 20 = -3*n, 3*d = 5*n + u. Is d a multiple of 13?
False
Let w(s) = s**3 - 6*s**2 + 7*s - 5. Let m be w(4). Let k(o) = -4*o - 8. Is k(m) a multiple of 14?
True
Let d(w) = -5*w + 5. Let c(u) = u. Let k(f) = -3*c(f) - d(f). Is 3 a factor of k(7)?
True
Suppose -50 = -5*o + 35. Does 17 divide o?
True
Suppose -6*j = -3*j - 315. Does 35 divide j?
True
Suppose 218 + 28 = f - t, 5*f - 1236 = 3*t. Does 37 divide f?
False
Suppose 0 = -w + 1, -5*z + 7 + 9 = -4*w. Suppose -z*t - 4 = -2*a, 3*a - 4 = 7*t - 3*t. Suppose -6*d - 2*v = -d - 164, a = 3*d + 5*v - 87. Is 17 a factor of d?
True
Let m be 6*(2 + -5 + 2). Let i(k) be the second derivative of -k**3/2 - 3*k. Does 16 divide i(m)?
False
Suppose -c + 2*c + 11 = 0. Let g = c + 15. Suppose 3*k + g = 4*k. Is 3 a factor of k?
False
Is 6 a factor of -1 - (-8)/((-16)/(-42))?
False
Suppose 6*k + 50 = 7*k. Is 3 a factor of k?
False
Let x(o) be the first derivative of -o**3/3 - 7*o**2/2 + 2*o + 2. Suppose -17 = 5*c + 3. Does 8 divide x(c)?
False
Suppose 35 = 4*w - 397. Is 16 a factor of w?
False
Suppose 7*d = 10*d - 9. Suppose d*t - 20 = 2*t. Does 7 divide t?
False
Does 5 divide ((-20)/3)/((-10)/75)?
True
Let k be -1 + 42 - (-6 + 7). Let g = 18 + k. Is g a multiple of 18?
False
Is 5 a factor of -1*(-4)/(-6)*-9?
False
Suppose 381 = -0*x + 4*x + 5*w, 2*x - 195 = -w. Is x a multiple of 27?
False
Let a = -21 + 23. Is 25 - 3 - a/2 a multiple of 16?
False
Let x be ((-4)/(-3))/((-1)/(-12)). Suppose 3*c = -4 + x. Let z = c - -7. Does 11 divide z?
True
Suppose -3*z + 0*z + 23 = 4*g, z - 3*g + 1 = 0. Suppose -8 = z*h + 12. Is 24/9*(-18)/h a multiple of 5?
False
Is ((-3)/1)/3*(-30 + -5) a multiple of 7?
True
Let u be (-30 + -6)*(-4)/(-2). Is 16 a factor of u/(3/(-2)*1)?
True
Let r(c) = c**3 - 8*c**2 - 7*c + 7. Suppose 0*v = -3*u - 2*v - 26, 3*v = 5*u + 37. Let g = 17 + u. Is r(g) a multiple of 10?
False
Let w = -98 - -147. Let i = w + -18. Does 13 divide i?
False
Let g(t) = 4*t**2 - t + 1. Let p be g(2). Let f = p - -10. Does 21 divide f?
False
Let g be (10 - 1)*(-8)/12. Let h = g - -27. Suppose -21 = -3*t - w - 4*w, -3*t - 4*w + h = 0. Is 3 a factor of t?
False
Suppose 0 = 3*s - 16 - 17. Let b = -8 + s. Is 2 a factor of b?
False
Suppose -16 = 4*w - 60. Is 11 a factor of w?
True
Let d(h) = -h**2 - 9*h + 3. Suppose 2*i - 3 + 17 = 0. Is d(i) a multiple of 7?
False
Suppose 0*q - q = 46. Suppose -2*g = -0*g + 2*c + 38, -4*c = 5*g + 100. Let r = g - q. Does 12 divide r?
False
Let i be (-10)/(-4) + 6/(-4). Let c = -3 + i. Does 17 divide 21 - (0 + 2/c)?
False
Let d(r) = -14*r - 9. Let p be d(-4). Suppose 5*k = -3*n + 49, 4*k = -4*n + n + p. Is 10 a factor of n?
False
Let u(o) = o**2 - 3*o + 8. Let l(g) = -2*g - 7. Let w be l(-8). Let f be u(w). Suppose f = 5*x - 63. Is x a multiple of 22?
False
Let s = -79 - -117. Suppose -3*y + 2*y = -s. Does 19 divide y?
True
Let h(n) = -72*n**3 - n**2 - n. Let q(a) = a**2 - 4*a - 6. Let u be q(5). Is h(u) a multiple of 24?
True
Let v(u) be the first derivative of u**3/3 + 2*u**2 - 8*u - 1. Is v(-7) a multiple of 5?
False
Let v(w) = -6*w**2 + 4*w - 1. Let c be v(-3). Let g = -21 - c. Is g a multiple of 13?
False
Suppose 0*i - 2*i - d = -141, 2*d = -5*i + 353. Let o = i + -35. Does 18 divide o?
True
Suppose -u = 4*x - 145, -2*x + 5*u = x - 103. Is x a multiple of 36?
True
Let w be (-2 + -6 - -2)*71. Let r be 2/5 + w/15. Is -2 - (0 + 1*r) a multiple of 13?
True
Let d(i) = 4*i**2 - 4*i + 4. Suppose 8 = 3*w - 1. Does 11 divide d(w)?
False
Is 3 a factor of (-3 - 0)/(-3 - -2)?
True
Let t(z) = -2*z**2 - 4*z - 2. Let s be t(-3). Suppose -v = -3 - 13. Let r = s + v. Is 5 a factor of r?
False
Suppose -b + 2*b + 7 = -2*z, 0 = 2*z + 5*b + 3. Let l(i) = 5*i**2 + 0*i - 5 + 0*i + i**3. Is l(z) a multiple of 4?
False
Let y = -6 + 7. Let l = y - -2. Suppose -l*i + 183 = 30. Is i a multiple of 15?
False
Is (52/8 + -5)*22 a multiple of 33?
True
Is (-2)/(12/(-526)) - (-3)/9 a multiple of 13?
False
Let t(o) = 8*o**2 - o. Is t(-1) a multiple of 8?
False
Let z(n) be the third derivative of n**6/120 + n**5/10 - 7*n**4/24 - n**3/3 + n**2. Let p be z(-6). Suppose l - p = -3*l. Is l a multiple of 10?
True
Let t = 34 - 53. Suppose 2*r - 4*j = -24, -5*r - 7*j - 46 = -3*j. Let k = r - t. Does 3 divide k?
True
Let j(w) = 14*w**2 + w - 3. Is j(-2) a multiple of 29?
False
Let t = 14 + -8. Suppose t = 2*i - 60. Is 11 a factor of i*(0 + (-1)/(-3))?
True
Let f = -4 - -7. Suppose 0 = 4*h - 16, 2*d - 26 = -3*h + 50. Suppose -f*n + 7*n = d. Is 3 a factor of n?
False
Suppose 0 = -5*a - 5 + 130. Is a a multiple of 5?
True
Let v = -1 - -3. Suppose 1 = -v*m + 21. Is 5 a factor of m?
True
Let v = 50 + -39. Is v a multiple of 11?
True
Suppose 25 = 2*u + w, 3*u - 5*w - 6 - 38 = 0. Let z = u - 7. Is z a multiple of 2?
True
Suppose s = 5*s - 32. Let g(x) = -x**3 + 8*x**2 + 7. Is 4 a factor of g(s)?
False
Suppose 4*x - 70 = -3*o + 141, 3*x = -4*o + 160. Is x a multiple of 13?
True
Let u = -3 + 4. Let h be (-3 - (-24)/3)/u. Suppose 11 = -4*c + h*c. Does 7 divide c?
False
Let s = 4 + -4. Is 14 + 2 + s/(-1) a multiple of 8?
True
Let n(l) = -l**3 + 5*l**2 + l - 7. Let k be n(5). Is (5 - 7)/(k/63) a multiple of 25?
False
Suppose 0 = 2*i - 3*v - 41 - 28, -4*v - 72 = -2*i. Is 7 a factor of i?
False
Let f be (14 - 1) + (0 - -2). Is ((-78)/f)/(2/(-10)) a multiple of 13?
True
Let q = -1 - -1. Suppose 48 = -q*w + w. Is 14 a factor of w?
False
Suppose -5 + 13 = 2*v. Suppose 7*r = 2*r + 2*b + 234, 5*r + v*b - 252 = 0. Is r a multiple of 14?
False
Let y be ((-2)/3)/(2/(-3)). Let f = y + 4. Does 4 divide f?
False
Let w = 111 + -64. Does 11 divide w?
False
Let u(z) = 3*z**2 - 24*z - 11. Let f(i) = i**2 - 8*i - 4. Let p(n) = 7*f(