 Let v be 10/(-1)*y/4. Suppose -v*g + 112 = 42. Does 7 divide g?
True
Let n(p) = -p**2 + p + 10. Let h be n(0). Suppose 4*d + h = 5*i - 0*d, -d = 4*i - 8. Suppose 5*u - 36 = i*u. Is 6 a factor of u?
True
Let l(o) = 2*o - 1. Let g = -7 + 17. Suppose -4*b + g = -26. Is 10 a factor of l(b)?
False
Let x(g) = 21*g**3 + 1. Let a be x(-1). Is 10 a factor of 252/5 - a/(-50)?
True
Let b(d) = -7*d - 23. Let l = 9 - 16. Does 13 divide b(l)?
True
Let h(u) be the first derivative of u**4/4 + 7*u**3/3 + 5*u - 3. Is 11 a factor of h(-5)?
True
Suppose 2*y - 20 = -0*y - 5*v, 0 = -5*y - 2*v + 29. Does 5 divide y?
True
Let l = 80 + -45. Does 35 divide l?
True
Does 55 divide (-1652)/(-10) + ((-8)/(-10) - 1)?
True
Let h be ((-6)/4)/((-2)/4). Suppose 1 = q - h. Suppose 40 = 5*n + x, 4*x + 28 = 4*n - q. Does 3 divide n?
False
Let u be (0 + 4 + -2)/(-1). Let l(h) = h**3 + h. Let m(p) = -p**3 + p**2 - 2*p - 1. Let q(c) = u*l(c) - m(c). Is 19 a factor of q(-3)?
True
Let c(k) = 3*k**2 + 5*k - 5. Does 21 divide c(4)?
True
Suppose 3*d + 20 = -1. Let g = d - -12. Suppose -g*n + 42 = -28. Does 7 divide n?
True
Let c(j) = -j - 13. Let s be c(-8). Does 4 divide s/(15/2)*-9?
False
Suppose -5*t = 4*y + 20, 0 = 5*y + t - 1 + 26. Let b(v) = -v**3 - 5*v**2 + v**2 + 4 - 6 - v + 0*v**2. Is 14 a factor of b(y)?
True
Let i(p) = -2645*p. Let g(l) = 21*l. Let n(m) = -253*g(m) - 2*i(m). Let v(o) = -2*o + 3. Let z be v(2). Does 9 divide n(z)?
False
Let v be 2 - 4/(8/(-6)). Suppose -2*g - 2*g = -4, -v*g = 3*z - 11. Suppose 0*p + z*p - 44 = 0. Is p a multiple of 11?
True
Let j(n) = -4*n - 4. Let z(k) = k + 3. Let y(s) = 9*s + 30. Let g(t) = -2*y(t) + 21*z(t). Let p(a) = -6*g(a) - 4*j(a). Does 3 divide p(-4)?
True
Let o = 61 - 55. Does 3 divide o?
True
Let m = -40 - -57. Does 17 divide (m/4)/(1/4)?
True
Suppose -4*m - 14 = -2*m. Suppose 3*d = 4*r - r + 9, 2*d = 3*r + 8. Does 2 divide 1/r + m/(-2)?
False
Let t be (-2)/6 - 24/9. Let i(b) = b + 1 + 1 - 2*b. Does 4 divide i(t)?
False
Let d = 5 + 24. Suppose 3*r - 4*a - 46 = 0, -3*a - 22 - d = -3*r. Is r a multiple of 22?
True
Suppose 4*v - 618 = -142. Is v a multiple of 27?
False
Let x be 4/3*36/24. Suppose -20 = -v - 3*v + 3*t, 3*v + 3*t + 6 = 0. Suppose 11 = x*q + 1, v*q + 2 = s. Does 6 divide s?
True
Let l be (-2 + 7)*(-2 - -4). Is 816/40 + (-4)/l a multiple of 16?
False
Does 5 divide 1/(2*(-4)/(-112))?
False
Let b = 46 - 65. Let g = b + 27. Is g a multiple of 4?
True
Suppose -f = -0 - 5, 2*f = 3*t - 425. Suppose 43 = h + 4*d, -5*h = -8*h + 4*d + t. Does 16 divide h?
False
Let t be -3*(0/3 - -23). Let j = -41 - t. Suppose -j + 8 = -4*o. Does 4 divide o?
False
Let h be (-2 + (0 - -6))/(-1). Does 2 divide h/(-6)*(2 + 1)?
True
Suppose -5*g + 13 = -7. Suppose -50 = g*q - 9*q. Does 3 divide q?
False
Does 6 divide ((-6)/(-10))/(49/(-10) - -5)?
True
Suppose 4*f + 5 = 25. Suppose 0 = -f*x - 0*x. Suppose 2*y - 3*a - 9 = x, -3*y = 5*a - 4*a - 41. Does 12 divide y?
True
Let i be 10/4*(-28)/35. Suppose 0 = 3*f + f - 140. Is i/(-8) + f/4 a multiple of 4?
False
Let i = 73 - 40. Is 5 a factor of i?
False
Suppose -k - 10 = -6*k. Suppose -k*n = -4*n + 30. Suppose 0 = u - n - 2. Does 17 divide u?
True
Suppose -5 = -2*o - 1. Suppose 2 - 27 = 5*x - 5*h, 0 = -o*x + 4*h - 20. Suppose 4*t = -x*t + 20. Is t a multiple of 2?
False
Let v(n) = 5*n**2 + 3*n + 4. Let d be v(-4). Let l = -30 + d. Does 14 divide l?
True
Let w(j) = 2*j + 14. Let z be w(-12). Let d be ((-24)/z)/(4/20). Is 6 a factor of 2/(-6) + 148/d?
True
Let u be (-4 - -4) + -80 - 3. Is (1 - u) + -7 + 7 a multiple of 12?
True
Let c(f) = -f**2 - 6*f + 10. Suppose 0*n - 6 = -3*u - 2*n, 5*u - 6 = -2*n. Let o be (u - (-1 - -3)) + -5. Is c(o) a multiple of 3?
True
Let f(i) = -i + 6. Let k = 0 - 5. Is 11 a factor of f(k)?
True
Suppose 2*g + 5 = 129. Does 20 divide g?
False
Let a = 4 - 9. Let y be (-1)/a + 4712/40. Is 4*1/(8/y) a multiple of 24?
False
Let z(b) = 32*b**3 + b**2 - 1. Let l = 1 - -1. Suppose 2*g = -l*g + 4. Does 16 divide z(g)?
True
Does 13 divide 48 - (-8)/(16/6)?
False
Let j = 44 + -28. Does 13 divide j?
False
Suppose s + 4*s = 1040. Suppose -s = -3*g - 70. Does 16 divide g?
False
Let i(r) = r**3 + r**2 - r + 8. Let d be i(0). Suppose 138 = 4*k + h, -k + 4*h + 18 = -d. Is k a multiple of 17?
True
Suppose 3*n + 2 = 2*n, 4*q = 5*n + 166. Is q a multiple of 13?
True
Is 6 a factor of (9/(-36) - 1/(-4)) + 34?
False
Let v(x) = x**2 - 3*x - 5. Let f be v(5). Suppose f*h - 5*o - 75 - 15 = 0, 93 = 4*h + 3*o. Is 7 a factor of h?
True
Let i(f) = -f + 22. Let v be i(19). Suppose -m = -4 - v. Does 2 divide m?
False
Suppose -6 = -3*w + 3. Suppose 3*u = -4*x - 13, -2*x = 8*u - w*u + 3. Does 8 divide ((-3)/6 + -3)*x?
False
Suppose -2*d - 39 = o, 4 = -2*d + 5*o - 41. Let i = 41 + d. Is i a multiple of 20?
False
Is 4/(-18)*3*-15 a multiple of 10?
True
Suppose -t = 2*t - 45. Is 15 a factor of t?
True
Suppose k + 2*k + i = -17, -2*i - 2 = -2*k. Let b(c) = -5*c - 3. Is b(k) a multiple of 17?
True
Let a(v) be the third derivative of v**7/2520 - v**6/240 - v**5/30 - 3*v**2. Let h(y) be the third derivative of a(y). Is 4 a factor of h(4)?
False
Let d(z) be the second derivative of 8/3*z**3 + z - 3/2*z**2 + 0. Is 14 a factor of d(2)?
False
Is (-7)/((-6)/4 + 1) a multiple of 12?
False
Let x be 1*(2 - (3 + -1)). Suppose x = 4*s + 2*n - 126, n - 123 = -5*s + s. Is s a multiple of 14?
False
Let k(g) = -7*g. Let u be k(-2). Let o = u - -13. Is 9 a factor of o?
True
Let n be ((-6)/(-2))/(2/2). Let k(y) = y**2 - 3*y + 3. Let v be k(n). Suppose -2*h = v*h - 110. Is h a multiple of 12?
False
Suppose -5*q = 10, -a = -2*q - 4 - 0. Suppose 3*u + 3*w - 108 = a, -4*u + 3*w + 134 = 5*w. Let z = u - 13. Is z a multiple of 7?
False
Let c(k) = -3*k**2 + 12*k - 11. Let q be c(8). Let x be 2/7 - q/(-7). Let y = 33 + x. Is 9 a factor of y?
True
Suppose 5*o - 39 = 2*o. Let z be o/2 + (-4)/8. Suppose 0*h = 2*h - z. Is h even?
False
Suppose -u - 21 = -3*s + 3*u, -s - 4 = -5*u. Is 3 a factor of s?
False
Let m(a) = 6 + 2 + 1 - 10*a + a**2 + a**2. Is m(8) a multiple of 19?
True
Let a = -89 + 205. Is 14 a factor of a?
False
Suppose 3 = -4*b - 5, 0 = -4*n - 3*b + 14. Let h = -3 + 5. Suppose -34 = -4*k + 2*u, -k + n*u = h*k - 29. Is k a multiple of 8?
True
Suppose 3*j + 4 = 16, -b - 5*j + 308 = 0. Is b a multiple of 24?
True
Let a(k) = -k**2 - 7*k + 1. Suppose -6 = -j + 4*j. Let t be (-4)/6*(-15)/j. Does 10 divide a(t)?
False
Let v(d) = 7*d + 1. Let m be v(1). Suppose 4*k + m = -z, 0 = -4*z - 0*z + 2*k + 40. Is z a multiple of 2?
True
Let m(x) = -x**3 + 5*x**2 + 5*x + 3. Let l be m(6). Let q be (-1)/((-1)/42*l). Let o = -8 - q. Is o a multiple of 6?
True
Let p(a) = -a**3 - 3*a**2 - 3*a - 8. Is p(-4) a multiple of 15?
False
Let t(i) = i**3 + i**2 - i - 1. Suppose -6*g + 2*g = -8. Let d be t(g). Let w = 28 - d. Is 16 a factor of w?
False
Suppose -a - 1 = -5*p - 68, -a + 3*p + 61 = 0. Is a a multiple of 13?
True
Let o = -7 - -32. Does 5 divide o?
True
Suppose -5*o + 375 = 5*q, 2*q = 4*o - 0*q - 288. Is o a multiple of 5?
False
Let o = -340 - -504. Is 19 a factor of o?
False
Suppose 4 = 3*f - 2. Is 2 a factor of f?
True
Let m(c) = -c**2 - 5*c + 2. Let d = -4 - 1. Let q be m(d). Suppose -q*a - 2*a + 68 = 0. Is 9 a factor of a?
False
Suppose z = 2*z - 1. Is 3 a factor of z/2 - (-18)/4?
False
Let i(c) = -c - 4. Let u be i(-4). Let s(p) = p**3 - p**2 + p + 2. Let j be s(u). Suppose -j*k + 80 = 3*k. Is k a multiple of 16?
True
Let h = 20 - 18. Suppose -h*a - 3*a + m + 24 = 0, 3*a = m + 16. Is a even?
True
Let k = -1 + -1. Is (k - (-7)/3)*39 a multiple of 13?
True
Let s(g) = 8*g. Let b be s(2). Suppose 4*q + b = 8*q. Suppose 5*v - q*v - 9 = 0. Is v a multiple of 6?
False
Let z be (-9)/5 - (-1)/(-5). Let m be 5 + -2 - 2/z. Suppose -m*d - 36 = -6*d. Does 18 divide d?
True
Let k = -5 - -16. Is 11 a factor of k?
True
Suppose -16*v - 3*f = -13*v - 201, 0 = 2*v + f - 139. Does 8 divide v?
True
Suppose -2*r + 168 = -100. Let d = r + -60. Is d a multiple of 13?
False
Let h = 33 + -9. Is 20 a factor of h?
False
Suppose 5*z - 35 = 2*t + t, 0 = 5*z + 5*t - 75. Is 10 a factor of z?
True
Let v = -22 - -36. Suppose -k + 15 + 7 = 0. Let j = v + k. Is 18 a factor of j?
True
Let a(k) = -37*k - 17. Does 23 divide a(-9)?
False
Let m(d) = -5*d - 1. Let s be m(-2). Let b = 31 