-6 + 64/2. Let f = -4 + z. Suppose y = -y + f. Is y a multiple of 13?
True
Let w(r) = r**2 + 3*r - 11. Does 17 divide w(-7)?
True
Suppose -2*z = 6*z - 432. Does 9 divide z?
True
Does 8 divide (15/(-2) + 7)/((-2)/320)?
True
Let y(b) = 2*b**3 - 3*b**2 + 2*b - 4. Let q(h) = h**2 + 6*h - 13. Let k be q(-8). Is 9 a factor of y(k)?
False
Is (3 + -6 - -39)/2 a multiple of 9?
True
Let a(k) = -k**2 - 10*k - 10. Let z be a(-8). Suppose -5*h - 5 = -z*h. Suppose -14 = -5*n - h*v + 1, -2*n = -4*v - 6. Is 3 a factor of n?
True
Let y(l) = 12 - 8*l - l - l - l**2. Is y(-10) a multiple of 6?
True
Is 13 a factor of 23 - (4 + -2)*-1?
False
Is (-254)/(-3) + 2/6 a multiple of 13?
False
Suppose 5*i - 4*s - 66 = 205, -4*i - 3*s = -223. Is i a multiple of 20?
False
Let f(m) = -m**2 + m - 21. Let x be f(0). Is 1*x/(-9)*15 a multiple of 15?
False
Suppose 10 = 2*d + 4*x, -d = 2*d + 4*x - 25. Let n be (6/d)/(1/(-5)). Is 13 a factor of (-3 - n)*(-92)/4?
False
Let s = 3 + 23. Does 16 divide s?
False
Let s = 61 + -32. Is s a multiple of 14?
False
Let a be ((-25)/(-3))/(2/6). Suppose 3*o = 2*y + y - 45, -2*y + o + a = 0. Does 5 divide y?
True
Let k(t) = 4*t**2 + 3*t - 3. Does 19 divide k(2)?
True
Suppose -4*s - 7 = 1. Let j be s/(-8) - 186/(-24). Suppose f - 50 = -3*x, -x + j = f - 12. Is x a multiple of 6?
False
Suppose 2*q = -2*n + 3*n + 129, 2*n = -10. Is q a multiple of 18?
False
Let r(b) = b - 2. Let y be r(0). Let f(w) = -4*w**3 - w**2 - 3*w - 1. Let s be f(y). Let o = -16 + s. Does 7 divide o?
False
Let j be 6/24 - (-33)/12. Suppose -5*n - 5*u + 103 = -3*n, j*n - 4*u - 97 = 0. Is n a multiple of 9?
False
Suppose -5*r + 0*r + 10 = 0. Let b(q) = 6 + q**r - 6*q + 3*q**2 - 2*q**2. Is 13 a factor of b(4)?
False
Suppose -k + 3 = -0. Is 2 a factor of k?
False
Is 23 a factor of (-142)/(-6)*(-3)/(-1)?
False
Let f(n) = -n**2 + 9*n - 3. Let v be f(8). Suppose 105 = 4*r + v*l, -3*r + 2*l = 7*l - 85. Is 10 a factor of r?
True
Let g = 1 - -1. Suppose 2*r = -0*r + 3*y - g, 3*r - 3*y = 0. Suppose r*s = -s + 18. Is s a multiple of 6?
True
Suppose 3*x = 2*x + 4*a + 24, -20 = 4*a. Is 4 a factor of ((-32)/(-12))/(x/6)?
True
Let p = 11 + -8. Suppose 5*z + 100 = 5*q, -q + 2*z - p*z = -28. Does 8 divide q?
True
Suppose -5*x = -5*w - 895, 2*w + 4 - 14 = 0. Is 35 a factor of x?
False
Suppose 0 = -3*b - b. Suppose -5*j + 75 + 65 = b. Is j a multiple of 11?
False
Is (254 - -9) + 7 + -2 a multiple of 50?
False
Let v be 1 + 0 - (1 + -1). Let m(k) = 2*k**3 + k**2 - 2*k + 1. Let i be m(v). Suppose t + 89 = 6*t + 4*g, i*t - 3*g = 31. Does 17 divide t?
True
Suppose -5*f = 15, 3*k - 4 - 2 = -2*f. Suppose -4*u + 8 = -k. Suppose 4*r - w = 36, u*r - 4*w = 28 + 12. Is r a multiple of 4?
True
Let y(g) be the third derivative of 0 + 3*g**2 + 1/6*g**3 + 13/60*g**5 + 0*g - 1/12*g**4. Is y(1) a multiple of 7?
False
Let o be (-1*2)/((-10)/5). Let a = -1 + o. Suppose z + z - 14 = a. Is z a multiple of 4?
False
Let i be 8 - (-3)/(6/(-4)). Let p = 27 - i. Is p a multiple of 6?
False
Let h = 25 + 20. Is h a multiple of 10?
False
Let s be ((-4)/(-6))/(2/15). Suppose 0 = -j - s, -4*l = -l - 3*j - 21. Suppose -l*z + 64 = 2*z. Is 16 a factor of z?
True
Let w(m) = m**3 + m**2 + 5*m + 3. Let y be w(-3). Let q = y - -61. Does 13 divide q?
False
Is 7 a factor of (2 + 68/(-8))*-4?
False
Let x be (16 + -2)/((-4)/6). Let h be (-4)/(-14) - 15/x. Is (108/3 + -2)*h a multiple of 11?
False
Let y(u) = 12*u**2 + u. Let b be y(1). Suppose -5*d + 12 = -b. Suppose w - 75 = -d*p + 2*w, 4*p - 79 = -3*w. Is 7 a factor of p?
False
Suppose 0 = -o - 5*w + 172, 0 = -3*o - 3*w - 29 + 545. Is o a multiple of 7?
False
Let k be 5 + 1 + -2 + -1. Suppose -4*g = -s + 16, 5*s = -k*g - 0*s - 35. Does 6 divide -2 - (-1 + -2 + g)?
True
Let l = -10 - -19. Is l even?
False
Suppose -5*r - 5*j = -115, 6*r - r - 5*j - 65 = 0. Suppose 0 = 14*a - r*a + 52. Does 5 divide a?
False
Suppose 2*h - 20 - 118 = 4*s, 4*s = -2*h - 126. Let g = -3 - s. Is 10 a factor of g?
True
Let b(f) = 2*f - 2. Let k be b(5). Suppose 0 = p + 3 - 6. Suppose -s + p*s = 4, k = 2*w - 2*s. Does 3 divide w?
True
Let y = -317 - -473. Suppose i - y = -3*i. Is 10 a factor of i?
False
Let s = -12 + -22. Let w = s + 49. Does 14 divide w?
False
Let o(d) = -2*d + 9. Let h be o(-13). Suppose -5*k = 5*u - h, 4*k - 4*u + 0*u = -4. Suppose k*y + 0*y = 87. Does 10 divide y?
False
Let w(q) = -11*q**2 + 2*q - 2. Let k be w(2). Let h = -17 - k. Suppose -4*z + 3 = -h. Does 5 divide z?
False
Let d(g) = -3*g + 1. Let c be d(-7). Is 9 a factor of 0 + c - 0/(-6)?
False
Suppose 0 = 3*j - 7*j + 20. Suppose 0 = -j*t - 14 + 94. Is 16 a factor of t?
True
Let w(s) = 4*s**2 + 7*s + 4. Does 15 divide w(-4)?
False
Let u(s) = s. Let f be u(-4). Let k = f - -6. Suppose 0 = -k*j + 31 + 5. Is 7 a factor of j?
False
Suppose -i = -5*i + 4*f, 3*i + 15 = -2*f. Suppose 2 = -7*x + 9*x. Is 2 + (-1 - x - i) a multiple of 2?
False
Let a(w) = w**3 - 2*w**2 - w - 1. Let k(x) = -x**3 + 7*x**2 + x - 4. Let o be k(7). Is a(o) even?
False
Let n = 171 + -50. Is n a multiple of 25?
False
Let y = -20 - -37. Does 6 divide y?
False
Let o(r) = 118*r**3 + r**2 - r. Is 17 a factor of o(1)?
False
Suppose 15 = 3*h + 3*y, -2*h - 4*y = -4*h + 4. Let l = 19 - h. Is l a multiple of 5?
True
Let o = 10 - 4. Let r(x) = x**3 - 5*x**2 - 3*x - 8. Is 5 a factor of r(o)?
True
Let c be 1/(-2) - (-130)/20. Let k = c + 11. Does 11 divide k?
False
Suppose 0 = 3*v - 106 + 10. Suppose 4*k + v + 156 = 0. Let r = -32 - k. Does 15 divide r?
True
Suppose 0 = -j - 3*j - 5*n + 347, 0 = 5*j - 4*n - 403. Suppose 0 = -5*h - 25, 2 = -2*i + 3*h + j. Is 11 a factor of i?
True
Let v(u) = 18*u - 4. Let x(y) = -y - 1. Let a(g) = v(g) - 2*x(g). Does 21 divide a(3)?
False
Let m(v) = v + 16. Does 3 divide m(-9)?
False
Let v = -13 - -36. Suppose -4*m - v = c, 2*c + 7*m - 2*m = -31. Is 3*(-1)/c - -4 a multiple of 3?
False
Let o(c) = 5*c**3 + c. Let n be o(1). Suppose 0 = n*u - 2*u - 152. Is u a multiple of 13?
False
Let t(g) = 6*g - 21. Is t(7) a multiple of 7?
True
Let x be 276/(-9)*9/6. Let n = -16 - x. Is 11 a factor of n?
False
Let m = 2 - -14. Let k = -8 + m. Does 8 divide k?
True
Suppose -u - 3 + 90 = 0. Suppose -7 = 4*k - u. Does 8 divide k?
False
Suppose 30 = 4*q - 2*s, 4*s = 2*q - 5 - 1. Is q a multiple of 7?
False
Let x = 115 - 54. Suppose -5 = 4*m - x. Is 14 a factor of m?
True
Suppose -21*f - 84 = -23*f. Does 14 divide f?
True
Let h(y) = 0*y**2 - 16*y**3 - y**3 - 1 + y**2. Suppose 3*q - 2*q = -5*u - 9, 0 = 4*u - q. Does 8 divide h(u)?
False
Suppose -m - 232 = -5*m. Does 16 divide m?
False
Let p be ((-6)/5 - 0)*30. Is 6 a factor of (p + 3)/(-3)*1?
False
Let l(z) = 2*z**3 - 6*z**2 + 7*z - 2. Let w be l(6). Suppose 4*q = i + 12, 5*q = -0*i + 3*i + 8. Suppose -20 = -i*s + w. Does 24 divide s?
False
Suppose -2*x = -48 - 12. Suppose v = 6*v. Suppose 3*p - x = -v*o - o, 4*p - 4*o = 24. Is 9 a factor of p?
True
Let r be 1/((-21)/12 - -2). Let z be 3888/88 - r/22. Suppose -2*q - z = -6*q. Is 11 a factor of q?
True
Let s be (-386)/(-10) + (-12)/(-30). Let y = s - 3. Is y a multiple of 12?
True
Let l be (-15)/4*(-5 - -1). Suppose l + 43 = 2*a. Is 15 a factor of a?
False
Let w be (3 + -1)/((-3)/(-18)). Does 13 divide 356/10 + w/(-20)?
False
Suppose -j + 1 = -4. Suppose -5*l = -j*c + 6*c - 39, 0 = -3*l + 6. Is 17 a factor of c?
False
Let k be (-2)/6 - (-43)/3. Does 7 divide k/(-2 - -6 - 2)?
True
Does 7 divide (59 - (-5 + 0))*1/2?
False
Let r = -4 - -193. Is r a multiple of 8?
False
Let m be 5 + -6 - 2/(-2). Suppose m*i - 3 = i + 4*q, 2*i + 2*q - 6 = 0. Suppose 4*t + 4*z - 375 = -123, -2*t + i*z = -91. Does 20 divide t?
False
Let p(n) be the first derivative of n**2/2 + 6*n + 6. Does 2 divide p(0)?
True
Suppose -3*d + 225 = -507. Does 10 divide d?
False
Let c be (-16)/10*(-25)/2. Let s be 1 + 3 - 1*2. Let n = c - s. Does 6 divide n?
True
Let i = -3 - 0. Let d(c) = c**2 - 4*c - 1. Is 10 a factor of d(i)?
True
Suppose -4*f + 5*f = 68. Does 18 divide f?
False
Suppose -15 = -n - 2*n, -3*j - n + 77 = 0. Does 8 divide j?
True
Let i(p) = 5*p**2 - 3*p + 3. Does 17 divide i(2)?
True
Let u(y) = 2*y**2 + y - 2. Let g be u(-3). Suppose 0 = 2*v + 5*m - 252, -v + 113 = 5*m - g. Suppose 3*x = -3*b + v, 3*b - 3*x - 8 = 130. Does 13 divide b?
False
Let v = -6 + 117. Is 15 a factor of v?
False
Let 