True
Let n(v) = -v - 1. Let f be n(7). Let j(r) = -3*r + 1. Let a be j(f). Let s = 2 + a. Is 17 a factor of s?
False
Let w(h) = h**2 + 4*h - 1. Let m be w(-5). Suppose 0*v = -k - m*v + 1, -k + v - 4 = 0. Let u = 13 + k. Does 5 divide u?
True
Suppose -8*f = -7*f - 4. Suppose -f*k + 246 = 66. Is 9 a factor of k?
True
Let d be (30 + 6)/(4/10). Suppose -d = -5*k - 35. Is 4 a factor of k?
False
Let z = -6 + 23. Let d = 20 - z. Does 2 divide d?
False
Let l(z) = 9*z + 3. Is 22 a factor of l(7)?
True
Let h = 76 + -34. Does 14 divide h?
True
Suppose 0 = -t - 2*t + 213. Suppose -4*r = -t - 77. Suppose -4*x + r + 15 = 0. Is 13 a factor of x?
True
Let g = 46 - 81. Let s = 6 - g. Does 17 divide s?
False
Suppose -4*h = -3*c + 685 + 813, -4*h + 1032 = 2*c. Is c a multiple of 22?
True
Let u = 315 + -183. Is 8 a factor of u?
False
Let i(q) be the third derivative of 0 + 0*q**5 - 13/120*q**6 - q**2 + 0*q**4 + 0*q + 0*q**3. Does 11 divide i(-1)?
False
Let g be (4/3)/(6/774). Suppose 3*q - 2*y - g = -2*q, 5*q - 184 = -y. Is 17 a factor of q?
False
Let n(q) = 29*q - 32. Is 13 a factor of n(6)?
False
Let o = 11 + -8. Suppose r + o*r = 8. Is 2 a factor of r?
True
Suppose 12 = 2*t - 2*s, -5*t + 3*s = 3 - 35. Let x = t - 7. Suppose -5*k - 3*g + 47 = -3*k, x = 5*k - 5*g - 180. Is k a multiple of 24?
False
Let z = -2 - -1. Let s = 2 - z. Suppose -3*f + 61 = 3*u - 4*u, f - 37 = -s*u. Is 13 a factor of f?
False
Let k(m) = m. Let j be 1 + 1 + 0 - 3. Let o be k(j). Is 38 - o*3/3 a multiple of 14?
False
Is ((-75 - 3)/(-3))/2 even?
False
Let h(z) = z**3 - 4*z**2 + z - 1. Let w be h(4). Suppose -d + 25 = -w. Is 23 a factor of d?
False
Does 2 divide 7 - (-3)/(-9)*0?
False
Let x = 180 + -107. Is 9 a factor of x?
False
Let d be (-1*(-3 - -3))/(-2). Suppose 4*m + 0*q + 4*q - 296 = d, 334 = 5*m - 4*q. Suppose 0 = -2*i + 5*i + 5*t - m, -32 = -2*i + 4*t. Is i a multiple of 10?
True
Let u = 196 + 13. Is u a multiple of 19?
True
Let x(m) be the first derivative of -m**4/4 - 2*m**3 + 5*m**2 + 4*m + 3. Is 21 a factor of x(-8)?
False
Let x = 70 - 30. Suppose 3*c - 4*k = 30, -2*c - 5*k = 2*c - x. Is 10 a factor of c?
True
Let i(f) = 36*f - 26. Is 13 a factor of i(6)?
False
Let p(d) = -d - 10. Let r be p(-5). Let b(v) = v**2 + 10*v - 5. Let h be b(r). Let z = h + 66. Is 14 a factor of z?
False
Suppose -2*s + 9 = -3. Is 4 a factor of s?
False
Let g be 1 + 9 + 1/(-1). Let h = -8 + 12. Let u = g - h. Is 5 a factor of u?
True
Let c = 17 - 17. Suppose c*q = 3*j - 4*q - 206, 0 = -3*q + 12. Is j a multiple of 14?
False
Suppose -53 = -8*n + 83. Is n a multiple of 9?
False
Let k(b) = 2*b**2 - 7*b - 6. Suppose 1 - 61 = 5*c. Let l be ((-2)/4)/(1/c). Is k(l) a multiple of 12?
True
Suppose -o + 2*o = 0. Suppose o = -3*z - 0*z. Suppose -3*a = 3*h - 48, -5*a + 29 = -z*h + 2*h. Does 6 divide h?
False
Let m(f) = f**2 + 4*f - 37. Does 10 divide m(-11)?
True
Let r(s) = -s**3 + 2*s**2 + 18*s - 17. Does 10 divide r(4)?
False
Suppose 0 = -w - w + 8. Let j = w + 4. Is 8 a factor of j?
True
Let k = 4 - 28. Is 7 a factor of 0 + k/(-3) + -1?
True
Let y be (-3*1)/((-9)/6). Let s be ((-4)/(-12))/(y/114). Let l = 10 + s. Is 11 a factor of l?
False
Let d(x) = 5*x + 4*x + 4 - 4*x - 6*x. Is d(-11) a multiple of 14?
False
Let b(t) = 4*t - 37. Is b(15) a multiple of 4?
False
Suppose 2*q = -x + 4, 4*q = -3*x - q + 9. Let t(y) = 2*y - 2. Let w be t(x). Does 8 divide 2 - w/((-1)/(-1))?
True
Suppose a - s = 28, 4*a - 3*s - 108 = 2*s. Is a a multiple of 32?
True
Let q be (-3 - 1/(-1)) + 2. Suppose -5*p + q*p + 35 = 0. Does 7 divide p?
True
Let l be 4/18 - 534/(-27). Let q = -10 + l. Does 10 divide q?
True
Let m be (16/10)/(3/15). Suppose 0 = 4*n + m - 20. Suppose -n*v + 4*t + 159 = 2*v, 5*v + 2*t = 183. Is v a multiple of 10?
False
Let v(u) = -u**2 - u - 1. Let b(g) = g**2 - 8*g + 6. Let t(n) = b(n) - v(n). Let d be t(5). Suppose -4*c + 11 = -5*m, 5*c + m + m = d. Is c a multiple of 4?
True
Let s = 5 + -2. Does 16 divide s/(-3)*-1 - -15?
True
Let l be 8/3*9/(-6). Let m(u) = u**3 + 6*u**2 + 5*u + 1. Let k be m(l). Is k + (1 - 1 - -2) a multiple of 10?
False
Let i be 44/(-6)*(-5 + 2). Suppose -150 = -4*f + i. Let l = -29 + f. Does 14 divide l?
True
Let j be (-2508)/(-55) + 4/10. Let d = j - 22. Is 8 a factor of d?
True
Let o be 8/6*12/(-8). Let q be -23 + (0 - o*1). Let i = 56 + q. Does 15 divide i?
False
Let l(y) = -y**3 + 6*y**2 + 2*y + 17. Does 10 divide l(5)?
False
Let y = -14 - 6. Let w = 71 + y. Is w a multiple of 15?
False
Let x(w) = w**2 - 11*w + 3. Let p(z) = -2*z**2 + 10*z - 3. Let t(q) = -5*p(q) - 4*x(q). Is 20 a factor of t(4)?
False
Suppose -4*u + 5*t = -297, -2*u = 3*t - 142 - 1. Does 21 divide u?
False
Let y = -4 - -6. Suppose 3*s - r = y*s + 19, -2*s - r = -44. Is 12 a factor of s?
False
Suppose 6*w + 0*w - 246 = 0. Is w a multiple of 9?
False
Let y be 4/(-10) - 72/20. Suppose 4*v - 5*x - 2 = 0, -16 = -0*v + 4*v + 4*x. Is 147/14 + v/y a multiple of 7?
False
Let d(p) = -3*p + p**3 - 1 + p + 3*p. Does 10 divide d(3)?
False
Let q be (4/(-3))/((-2)/123). Let y = -48 + q. Is y a multiple of 17?
True
Suppose 3*p + 31 = 4*p. Is 8 a factor of p?
False
Suppose -4*k = -2*n + 16, 4*n = -6*k + 3*k + 10. Let c(j) = -6*j**2 - j**3 - 2*j + 3 + j**2 - n*j**2. Does 13 divide c(-9)?
False
Suppose -d - 1 - 1 = 0. Let k(b) = 7*b**2 - b + 2. Is 8 a factor of k(d)?
True
Suppose 3065 = 9*l + 473. Does 36 divide l?
True
Suppose 3*u - 5*b - 2 = 0, 2 = -u - 3*b + 2*b. Let r be (u/(-3))/((-1)/(-6)). Suppose -r*w = 3*w + 5, 2*s - 3*w = 13. Is 5 a factor of s?
True
Suppose -5*d + 1 = -9. Suppose 0 = -x - 0*x + d*i + 33, -4*x + 88 = 3*i. Is 12 a factor of x?
False
Let w(k) = 3*k**2 - 3*k - 2. Let s be (0 + 1)*(-4 - -7). Is 16 a factor of w(s)?
True
Let l(n) = -6*n. Let r be l(3). Suppose 4*v - 6*v + 108 = 0. Let o = v + r. Is 18 a factor of o?
True
Suppose 0*b + 3*u - 48 = 5*b, -u = -1. Suppose -7 = -v - 1. Does 20 divide 43 - (-2)/(v/b)?
True
Let u(z) be the second derivative of 5*z**3/2 - z**2/2 + 5*z. Suppose -4*w = w - 5. Is 5 a factor of u(w)?
False
Let f(y) = -2*y - 9. Let j = -7 + 19. Let l = -20 + j. Is f(l) a multiple of 6?
False
Is 25 a factor of (4/6)/((-8)/(-300))?
True
Is 25/(-20)*(-80)/5 a multiple of 4?
True
Does 46 divide (-5 - (-2 + 1)) + 78?
False
Let y(b) = 12*b - 8. Let x be y(7). Suppose -43 = -5*h - m + x, -5*m = 5. Does 12 divide h?
True
Suppose 6*q - 3*q - 15 = 0. Suppose t + 0*t - 42 = -2*n, 5*t - q*n = 195. Does 20 divide t?
True
Let g = -166 - -306. Suppose -6*w + w + g = 0. Is 26 a factor of w?
False
Suppose -4*k + 6 = 2. Suppose -3*o + k + 17 = 0. Does 6 divide o?
True
Suppose 4*x - 114 = 2*x + d, -226 = -4*x + d. Let f be 2 - (2 + 0 + 0). Suppose f = -5*c + x + 124. Is c a multiple of 14?
False
Is 52 a factor of (-2772)/(-10) - (-3 - -1)/(-10)?
False
Suppose -5*g + 4*p = -37, -5*g - 4*p + 10 = p. Suppose -i + 316 = g*u + 2*i, -5*u + 300 = -5*i. Is u a multiple of 16?
False
Suppose -t + 6 = -0*t. Let k be (4 - 1) + -1 + 8. Let y = k - t. Does 2 divide y?
True
Let b(r) = r - 4. Let q be b(-5). Let i be (-4)/(-6) - 12/q. Let y(d) = 6*d - 2. Is 5 a factor of y(i)?
True
Let k be 20/6 + 4/(-12). Suppose 0 = -k*x - 4 + 178. Does 12 divide x?
False
Suppose -57 = -5*t + 53. Let w be 6/(-4)*(-4)/3. Suppose 90 = w*r + t. Does 17 divide r?
True
Let w(x) be the third derivative of x**4/12 + 5*x**3/6 - x**2. Let d be (-21)/7 - (-10 - -1). Is 17 a factor of w(d)?
True
Let a(n) = -n**2 - 5*n + 8. Let o be a(-6). Suppose s - 545 = -2*s - o*m, -5 = m. Is s/35 + (-2)/7 a multiple of 2?
False
Suppose 5*o = -2*a + 94 - 36, -3*o + 58 = 2*a. Let h = a + 26. Is 21 a factor of h?
False
Let z = -8 - -16. Does 5 divide z?
False
Suppose -3*r + 3780 = 6*r. Does 59 divide r?
False
Suppose -3*j + 2*p = -204, -p - 401 + 54 = -5*j. Is j a multiple of 10?
True
Suppose -7 = -2*g + 77. Is g a multiple of 7?
True
Suppose 4*r + 32 = 4*f, 0*r = r - 3*f + 4. Let p(y) = y**2 + 9*y + 19. Let b(o) = -o**2 - 10*o - 18. Let a(g) = 4*b(g) + 3*p(g). Is a(r) a multiple of 6?
False
Suppose 4*p = -b - 40, 3*p - p = b + 40. Let c = b + 58. Suppose -3*i + 18 = -c. Is 8 a factor of i?
False
Suppose -23 + 113 = 5*y. Is 3 a factor of ((-10)/5)/((-4)/y)?
True
Let h be (-36)/(-20) + (-1)/(-5). Suppose 0 = h*s + 4*u - 9*u - 69, 4*u + 36 = s. Is s a multiple of 16?
Tr