 Let y = 4 - j. Suppose y = k - 0*k - 9. Does 3 divide k?
True
Suppose 2*v + 10 = 4*o, -2 = -o - 5*v + 6. Suppose 2*k = -0*k - 5*c + 75, -o*k = 4*c - 102. Is 7 a factor of k?
False
Let w(t) = 3*t. Does 15 divide w(5)?
True
Let l be 2/7 - (-104)/28. Does 6 divide (-175)/(-14) + (-2)/l?
True
Let n(y) = y**3 - 5*y**2 - 7*y + 8. Let c be n(7). Let b = -6 + 9. Suppose 24 = -b*h + c. Does 4 divide h?
False
Let f = 15 + -7. Suppose f = -v + 5*v. Is (-1 - -1) + v + 24 a multiple of 13?
True
Let t(b) = 4*b**2 - 6*b. Suppose -5*d + 19 = -1. Let v be t(d). Suppose -20 = -3*o + v. Does 8 divide o?
False
Suppose -2*s = -4 - 2. Suppose 4*a = s*a + 14. Let l = a - 5. Is l a multiple of 6?
False
Let i be (-1 - -1)/(9 + -11). Suppose -34 = -y + 5*f, 5*f = -3*y - i*f + 2. Is y a multiple of 5?
False
Is 12 a factor of (6 + -8)/((-2)/36)?
True
Let v = -29 - -8. Let g be ((-14)/6 - -1)*v. Suppose -b + g = b. Is 5 a factor of b?
False
Let x be 4 + -7 + (-34)/(-2). Suppose -2*r = 4*u - 66, 0 = -u - r + x - 0. Is u a multiple of 16?
False
Let k(v) = -3*v + 15. Is k(-14) a multiple of 7?
False
Suppose -r = -5*r. Suppose 0 = -2*i - 6*s + 2*s + 12, r = 4*i - 4*s + 12. Does 11 divide -1 + 16 + (i - -2)?
False
Is 0 + -2 - (0 - 72) a multiple of 14?
True
Let g(u) = 5*u + 2. Let i be g(2). Does 2 divide (0 + i)*(-3)/(-6)?
True
Suppose -8 = 3*d - 7*d, -4*h - 5*d = -442. Is 27 a factor of h?
True
Let i = -10 + 4. Let p = i + 18. Is p a multiple of 8?
False
Suppose 5*z - 4*l - 31 = 251, 3*z - 2*l - 170 = 0. Does 29 divide z?
True
Let b(r) = r**3 + 2. Let j be b(0). Does 13 divide 159/6 + j/(-4)?
True
Let q(g) = 57*g - 12. Is q(2) a multiple of 34?
True
Is ((-91)/14)/((-1)/2) a multiple of 13?
True
Suppose -10 = -3*b - 1. Let v be (1/3)/(((-2)/294)/(-1)). Suppose -4*r = -0*r - 16, -b*t + 5*r = -v. Does 8 divide t?
False
Let i = -65 + 117. Suppose 4*q + 0*q = 2*m - i, 4*m - 110 = 2*q. Is 17 a factor of m?
False
Let v be (-3)/9 - (-101)/(-3). Let z = v + 50. Is z a multiple of 5?
False
Suppose 0*l = -3*l + 99. Is 5 a factor of l?
False
Let h = 125 + -53. Does 5 divide h?
False
Suppose -9*m + 695 = -502. Is 19 a factor of m?
True
Suppose 0 = 4*d - y - 12, -32 = -4*d - d - 3*y. Let w(f) = f**2 + 4*f - 5. Is 9 a factor of w(d)?
True
Let u = -2 + 5. Let d = u - 3. Suppose d*a = -3*a + 84. Does 14 divide a?
True
Let d(m) = 4*m**2 + m - 1. Let k = 2 + 18. Let p be (-3 + k/6)*3. Does 2 divide d(p)?
True
Let i = 3 - 3. Suppose -3*a + i = -6. Suppose r + 0*r + 4 = a*d, -2*d + 28 = 5*r. Is r even?
True
Let d = 167 + -48. Does 17 divide d?
True
Let d(t) = -t**3 - 5*t - 3. Let r be d(-3). Let h be 1/((-2)/(100/(-2))). Let l = r - h. Does 10 divide l?
False
Let u(y) = 32*y**3 + y**2 - 1. Does 8 divide u(1)?
True
Let y = -64 - -28. Let u = 54 + y. Is 6 a factor of u?
True
Let u be 54/(-5 - -2)*7. Let s = u + 180. Is s a multiple of 18?
True
Let j = -6 - -3. Let r be (-4)/6*j/(-2). Let u(o) = -15*o. Does 15 divide u(r)?
True
Suppose 4*q = -17 + 41. Does 6 divide q?
True
Suppose 2*a + 8 = -0*a. Is 7 a factor of (10/1)/((-2)/a)?
False
Suppose 264 = -10*b + 13*b. Does 22 divide b?
True
Let k(i) be the first derivative of -i**4/4 + 3*i**3 + 5*i**2 - 4*i - 2. Let g be k(10). Let f = 7 - g. Is 5 a factor of f?
False
Let i be (-4)/((-2)/2) + 1. Suppose i*v + 46 = -29. Let x = v + 25. Is 6 a factor of x?
False
Let r(p) = p**2 - 8*p - 10. Let m be r(9). Let k = 3 + m. Suppose -32 = -4*q - k*a, -38 = -5*q - 0*a - 3*a. Is q a multiple of 8?
False
Let k(y) = 2*y**2 + 9*y + 10. Is k(-5) a multiple of 3?
True
Let y(z) = z - 1. Let v be y(4). Let i(m) = m**v - 3 - 2*m**3 + 8*m - 3*m**2 + 1 - 1. Does 25 divide i(-6)?
False
Suppose 0 = h - 11 - 13. Suppose -21 = -5*v - t, -2*v = -5*t - 4 + 1. Suppose 0*p - h = -v*p. Is p a multiple of 6?
True
Suppose -5216 + 1796 = -12*h. Is h a multiple of 15?
True
Suppose 5*p = -0*p, -25 = -5*u - p. Suppose u*l + 5*v = 205, 4*v + v = -l + 45. Is l a multiple of 31?
False
Let s = 54 + -27. Does 27 divide s?
True
Suppose -21 = -3*j - 3. Suppose -2*i + r = -j, 0 = 5*i - r + 5*r + 11. Suppose -n - 6 = -i, 4*n = 5*t - 50. Is 3 a factor of t?
True
Suppose -3*x = -3 - 3. Suppose -x*v = v - 93. Is v a multiple of 13?
False
Let b(s) = 34*s + 1. Is b(2) a multiple of 26?
False
Let n = 6 - 6. Suppose 2*i + n*i = 2*h - 2, -i + 3*h - 3 = 0. Let t(u) = u**2 - u + 20. Is t(i) a multiple of 10?
True
Let a = -370 - -547. Let i = -82 + a. Let y = i + -55. Does 21 divide y?
False
Suppose 0 = 5*g - g - 20. Suppose -37 - 23 = -g*u. Suppose 0 = -y - 1 + u. Is y a multiple of 4?
False
Let b(r) = r**3 - 5 + 4*r**2 - 6*r + r - r. Let a be b(-4). Let d = -11 + a. Does 8 divide d?
True
Let g(z) = z**3 - 7*z**2 + z - 3. Let u(w) = w**2 + 7. Let x be u(0). Let f be g(x). Suppose y - 225 = -f*y. Is y a multiple of 15?
True
Suppose 5*s - 734 = -294. Suppose 3*i = 22 - s. Does 4 divide 4/i - (-138)/33?
True
Let g be (8 + -2 - 4)/1. Is 4 a factor of ((-56)/35)/(g/(-10))?
True
Suppose 0 = 2*q + 7 - 3. Let p(u) be the second derivative of -19*u**3/6 - 2*u. Is p(q) a multiple of 19?
True
Is 28 a factor of 14*8 + 0/(-5)?
True
Let m = 8 - 6. Suppose v = -m*v + 3. Let d(f) = 28*f + 1. Is d(v) a multiple of 10?
False
Suppose 17*t = 12*t + 845. Is t a multiple of 38?
False
Suppose -5*b + 81 = 3*k - 2*b, 5*k - 119 = 3*b. Let s(r) = -r**2 - 12*r - 17. Let j be s(-12). Let p = k + j. Is p a multiple of 4?
True
Let m = 16 + -2. Does 3 divide m?
False
Let j(z) = z**2 - 5*z - 6. Let n be j(7). Is 8 a factor of (n/6)/(2/15)?
False
Suppose 0*a = a. Let n(q) = -q**3 + q**2 + 39. Is n(a) a multiple of 13?
True
Suppose 2*k - 14 = -0*k. Let s(q) be the first derivative of -q**4/4 + 2*q**3 + 5*q**2 - 2*q + 1. Is 10 a factor of s(k)?
False
Let i be 1/((-1)/(-18)) + 2. Suppose 0 = 4*l + l + i. Let r(d) = -d**2 - 4*d + 5. Does 2 divide r(l)?
False
Let z(j) = 0*j - 2*j + 3 + 2*j - j. Let m be z(7). Does 14 divide (-77)/m - 12/(-16)?
False
Let x be (-1)/((-2)/6) - 0. Suppose x*z - 7 = -4. Let y(v) = 11*v - 1. Does 5 divide y(z)?
True
Suppose 3*a = -259 + 100. Let h = -21 - a. Does 8 divide h?
True
Suppose -6*w + 113 - 17 = 0. Suppose 0 = 4*u - w - 36. Is u a multiple of 13?
True
Let l(o) = -o. Let w be l(-4). Suppose -w*g - 3*u + 11 = -9, 12 = -2*g + 4*u. Is 4 a factor of -2*(-15)/12*g?
False
Let v(u) = -u**2 - 8*u - 3. Let o(p) be the second derivative of -p**5/20 - p**4/2 + 3*p**3/2 + 9*p**2/2 - 2*p. Let n be o(-7). Does 6 divide v(n)?
True
Let a(z) be the first derivative of -z**4/4 - 8*z**3/3 + 5*z**2 + 11*z + 2. Let q be a(-9). Suppose 18 = -q*n + 3*n. Is n a multiple of 9?
True
Suppose 0 = -3*u - u - 2*f + 486, 0 = -2*u + 2*f + 234. Is 10 a factor of u?
True
Suppose -2*j + 74 = f, 5*j = -5*f + 159 + 216. Suppose -i + f = 3*i. Is i a multiple of 9?
False
Let u be (4/2)/((-4)/12). Let r(g) = g**2 + 3*g + 7. Is 25 a factor of r(u)?
True
Let j = -4 - -9. Suppose 85 = -j*w + 10*w. Is w a multiple of 9?
False
Suppose 0 = -15*p + 14*p. Suppose -i - 4*y = -9 - 6, 5*y = p. Does 7 divide i?
False
Let t be -12*78/(-9) - 3. Suppose 0 = -4*p + t + 15. Is p a multiple of 21?
False
Let a(m) = -11*m**2 - m. Let s(t) = -t**2 + 3*t + 5. Let g be s(4). Let v be a(g). Let x = v - -37. Does 10 divide x?
False
Is ((-4)/(-3) - 2) + (-221)/(-3) a multiple of 38?
False
Let a = -15 - -21. Is 6 a factor of a?
True
Let f = -24 - -45. Is 6 a factor of f?
False
Suppose -q + 38 = -7. Is 9 a factor of q?
True
Suppose 4*z + 25 = 5*j, 0 = 2*j - 4*z - 3 - 7. Let l be j - 6/3 - -207. Suppose -261 = -4*v + 5*u, -3*v + 2*u - 3*u = -l. Does 25 divide v?
False
Let o be (396/42)/(2/14). Suppose 6*f - o = 3*f. Is 11 a factor of f?
True
Let w(h) = -h**3 + 7*h**2 - 8*h + 7. Let n be w(5). Let c = n + 10. Is c - -2 - 3*-1 a multiple of 12?
False
Let a = 112 + -58. Does 18 divide a?
True
Suppose 0*u - u = -4. Suppose 5*c + 5 = -4*s, -s - 10 = -u*s - c. Is 2 a factor of s?
False
Let t(s) = -s**2 - s + 4. Let g be t(-4). Let w(m) = m**2 + 6*m - 9. Is 2 a factor of w(g)?
False
Let t(a) = a - 10. Let u be t(10). Suppose f - 34 - 50 = u. Is f a multiple of 28?
True
Let n(t) = t + 2. Let g be n(0). Suppose -3*l - 46 = -4*x, 2*x + g*l - 7*l = 30. Is x a multiple of 10?
True
Suppose 3*k - 118 = 2*d, -2*d - 46 = k - 2*k. Let a = k - 4. Is a a multiple of 15?
False
Let p(o) = 3