)?
False
Let t = 0 + 20. Does 4 divide t?
True
Suppose 3*w - 80 = t + 29, 5*t + 27 = w. Is w a multiple of 5?
False
Suppose -7 = -2*b + 15. Is b a multiple of 11?
True
Suppose 0 = -3*c - 3*p + 42, -4*c + 4*p = p - 21. Is c a multiple of 9?
True
Is 14 a factor of (-284)/8*-2 + -1?
True
Let s(j) = -j**2 - 4*j. Let p be s(-3). Suppose -5 = p*f - 2*f - 2*n, 0 = 4*f - 3*n - 5. Is 4 a factor of f?
False
Suppose 144 = 5*f - 0*m + 4*m, 115 = 4*f + 3*m. Does 14 divide f?
True
Let o be (-1)/(-3) + 16/6. Let f(j) = -j**2 - 3*j - 2. Let h be f(-2). Suppose -o*s + 8*s - 90 = h. Is s a multiple of 18?
True
Let m(i) = 4*i**2 - 2. Let f be m(-2). Let g be (-172)/f - 2/(-7). Let b = -7 - g. Is 3 a factor of b?
False
Suppose 5*j - 27 - 33 = 0. Does 3 divide j?
True
Suppose 3*a + 12 + 0 = 0. Is 3 a factor of -4*(-5 - a) + -1?
True
Let s = -3 + -6. Is 12 a factor of 12/54 + (-340)/s?
False
Is 14 a factor of 109*(-2)/4*(-7 - -1)?
False
Suppose 0 = 4*p - 4*v - 16, -6*v - 6 = 2*p - v. Suppose 0 = -p*d - 3*n + 7, -6*n + 5 = -n. Is 4 a factor of (d/4)/((-2)/(-44))?
False
Let o be (15/9)/((-2)/(-6)). Let k(s) = s**3 - 5*s**2 + s - 1. Let f be k(o). Suppose -f*n + 19 = -4*u - 53, -14 = -n - u. Does 8 divide n?
True
Let n = 39 + -64. Let i be (60/n)/(6/(-100)). Is 6/(-27) - i/(-18) a multiple of 2?
True
Let g = -43 - -67. Is 8 a factor of g?
True
Suppose 0 = 4*s - 3*f - 221, 2*s + 5*f - 103 = 4*f. Does 12 divide s?
False
Let c be (-6)/(-3) + 0/3. Let t = c + -4. Is (-10)/(-4) + t/(-4) a multiple of 3?
True
Suppose 5*f = 45 + 60. Is f a multiple of 13?
False
Suppose 7*c + s - 197 = 2*c, 0 = c + 2*s - 43. Does 13 divide c?
True
Let k(o) = o - 9. Let g be k(0). Let q be (-28)/(-6) + 6/g. Suppose q*f = -5*m + 29, -4*m = 4*f - 21 - 7. Does 4 divide f?
False
Let v(d) = -d**3 - 13*d**2 - 4*d - 16. Is v(-13) a multiple of 9?
True
Let c be 4/22 - (-282)/22. Suppose 4*x - c = 4*s - 7*s, x - 2*s = 17. Is x a multiple of 6?
False
Let s(d) = d**2 + 7*d - 7. Does 21 divide s(-10)?
False
Suppose -4*g - 16 = -220. Is 17 a factor of g?
True
Let t(g) = 10*g**3 + 3*g**2 - 2*g + 4. Let m(s) = -19*s**3 - 5*s**2 + 3*s - 7. Let z(x) = 3*m(x) + 5*t(x). Is z(-1) a multiple of 7?
True
Is 483/4 + 2/16*2 a multiple of 42?
False
Suppose -3*k = 4*o - 97, -4*o - 26 = -2*k + 12. Is 27 a factor of k?
True
Let a(n) = n**3 + 4*n**2 - 1. Let l be a(-4). Let c = 3 + l. Suppose h - 9 = -c*h. Is 3 a factor of h?
True
Let p be (-1 - -1)/(11 - 8). Is 18 a factor of 55 + p - (-1)/(-1)?
True
Let q = 4 + -2. Suppose -q*s = s - 9. Suppose -3*h + s = 0, h - 44 = -3*i + 2*h. Does 5 divide i?
True
Let p(c) = -11*c**3 + 12*c**2 + c - 5. Let w(j) = 9*j**3 - 11*j**2 - j + 4. Let d(o) = 5*p(o) + 6*w(o). Let g = 5 - 11. Is d(g) even?
False
Let f be (-22)/(-3)*(9 - 6). Let x = 52 - f. Is x a multiple of 30?
True
Is 38 a factor of (300 - -4)*2/4?
True
Suppose -x = -h + 2*h - 41, 0 = -h - 2*x + 44. Is h a multiple of 19?
True
Suppose 4*u - 3*k - 353 = 0, 360 = 5*u - 5*k - 75. Suppose 135 = 4*p - 3*w, 4*p = w + u + 41. Is 11 a factor of p?
True
Let m be 2*((-3)/6 - 2). Let p = -6 - m. Does 13 divide 43 - -1*(2 + p)?
False
Suppose -2*m = 5*h + 1 + 6, -2*m = -8. Is 2 a factor of -1 + 3 + (-3 - h)?
True
Let t be (-33)/(-9) - (-2)/(-3). Suppose t*n = -n + 256. Let m = -36 + n. Is 14 a factor of m?
True
Suppose -514 = -2*r + 3*v, 3*v - 252 = -r + 2*v. Is 36 a factor of r?
False
Suppose -2*a - 5*n + 17 = 0, 3 = a + 3*n - 5. Suppose a - 76 = 2*p + 3*j, -2*p - 5*j - 71 = 0. Is 10 a factor of p/(-6)*12/2?
False
Let b be 152/(-36) + (-2)/(-9). Let n(t) = -3*t - 5. Is n(b) a multiple of 7?
True
Let r = 14 + -7. Is 355/r - (-6)/21 a multiple of 19?
False
Let z(o) = -o**3 + 5*o**2 + 3*o + 1. Let x(h) = -h**2 - 8*h - 4. Let w be x(-7). Let t be z(w). Let q = t + -20. Is q a multiple of 8?
True
Suppose 0 = -3*p - 0*u - 4*u - 4, -20 = 3*p - 4*u. Let w = p - -70. Is w a multiple of 33?
True
Let i(s) = s**2 + 7*s. Let h be i(-7). Suppose h = 6*w - 5*w - 27. Does 9 divide w?
True
Let x(h) = -h**2 + 8*h. Let v be x(7). Let r = v + 4. Is 8 a factor of r?
False
Does 7 divide 3 + 22 + 8/(-4)?
False
Let v = 124 + -72. Is v a multiple of 8?
False
Suppose -3*z + 5 = -v, 0*z = 4*z + 4*v - 12. Let a be 4 - (-2)/(-4)*-2. Suppose -a*w - z*h = -182, -w + 31 + 0 = -5*h. Does 13 divide w?
False
Let w be (-24)/(-14) + 4/14. Let m be (-3)/w*(-12)/9. Suppose -3*p = -m*p - 12. Is p a multiple of 12?
True
Let g be 3/(-6)*(-30)/3. Suppose -g*z - 5*k = -195, 2*k + 30 = z - 0. Does 18 divide z?
True
Let n(u) = u**2 - 3*u - 3. Let i be n(6). Suppose 6*t - i = 3*t. Suppose 0 = -o + t*s + 10, -136 = -0*o - 4*o - 4*s. Is o a multiple of 13?
False
Let a = -76 - -154. Is a a multiple of 39?
True
Let d(s) = s**2 + 3*s + 6. Let l(g) = 5*g**3 - g**2 + g + 1. Let n be l(-1). Is d(n) a multiple of 10?
False
Let t = 13 - -2. Suppose -5*q = -2*q - t. Suppose 29 = y + 5*u, q*u + 116 = 5*y + u. Is y a multiple of 18?
False
Suppose -j + 4*j = -3. Let c be (-2 - j)/((-1)/2). Suppose 3 = 3*w - c*w, 5*w - 70 = -5*v. Is v a multiple of 8?
False
Let j = -4 - -7. Suppose -j*d + 8*d + 90 = 0. Let z = d + 40. Does 22 divide z?
True
Suppose 5*f = -2*m + 2*f + 231, m - 5*f = 109. Does 17 divide m?
False
Suppose 3*f - 9 - 45 = 0. Let i be 2 + -6*2/(-3). Let n = f - i. Is n a multiple of 5?
False
Let d(j) = 9*j - 16. Is d(5) a multiple of 10?
False
Let p = 75 + -37. Let l = p - -7. Does 15 divide l?
True
Let r(a) be the second derivative of -a**3/3 + 3*a**2 + 6*a. Is r(-9) a multiple of 10?
False
Let h(w) = w**3 - 5*w**2 - w + 6. Is 12 a factor of h(6)?
True
Let o(v) = -v**3 - 4*v**2 - 2. Let k be o(-2). Let p = 37 + k. Does 9 divide p?
True
Let t = -19 - -68. Suppose -2*r = -3*r - t. Let j = r + 81. Is 16 a factor of j?
True
Is (-552)/(-21) - (-4)/(-14) a multiple of 3?
False
Suppose 0 = -3*z + z + 18. Does 3 divide z?
True
Let u = -31 + 38. Suppose 3*c = 6*c - 6. Suppose u - c = p. Does 2 divide p?
False
Suppose 0 = j - 20 - 0. Is j a multiple of 20?
True
Let i(f) = -f + 7. Let b be i(6). Let k = 2 + b. Is k a multiple of 3?
True
Let h = -10 + 4. Let b = h - -13. Suppose -c - 30 = -2*g + b, 0 = -5*g - 3*c + 65. Does 16 divide g?
True
Let o = -6 + 4. Let n be 0*o/6 + 38. Let a = -23 + n. Is 15 a factor of a?
True
Suppose 0*z + 10 = -5*z. Let k be 149/5 + z/(-10). Suppose w + k = 4*w. Is 5 a factor of w?
True
Suppose 5*j + 2*q = 367, j = -j + 2*q + 144. Does 16 divide j?
False
Let k = -21 + 87. Is 22 a factor of k?
True
Suppose -5 = -5*u + 10. Is 25 a factor of 12/(-36) - (-187)/u?
False
Let y = 155 - 88. Let u = 14 - -28. Let w = y - u. Does 25 divide w?
True
Let h = 15 + -22. Let i = h - -15. Is i a multiple of 5?
False
Let g be (4/2)/((-2)/(-9)). Suppose 2*h - g = 27. Is 18 a factor of h?
True
Let i(d) = 34 - 5*d + 5*d**2 - 10 - 20. Suppose -l = 2*c + 2 - 3, -2*c = -3*l + 11. Is 17 a factor of i(l)?
True
Let s = 9 + -1. Suppose 3*k - 2 = -s. Is 18 + (-2 - (k + 2)) a multiple of 6?
False
Let w = 68 + -3. Is w a multiple of 4?
False
Does 12 divide (2 - 42/(-15))/((-3)/(-60))?
True
Let s = 45 + -32. Let y be 1/(-4) + s/4. Suppose 4*n - y*k = 72, -3*n + k + 80 = n. Is 8 a factor of n?
False
Is 22 a factor of 38 - (4 + -1) - -2?
False
Suppose -6*w - 21 = -69. Is w a multiple of 8?
True
Suppose 0 = -6*w + 709 + 827. Is 20 a factor of w?
False
Suppose -4*o = -104 - 76. Let d(c) = 25*c**3. Let p be d(-1). Let i = o + p. Is i a multiple of 14?
False
Let z = 2 - -1. Suppose 0*q + z*l = -2*q + 82, 5*q - 216 = -2*l. Is q a multiple of 22?
True
Let m = 28 - 49. Let r = 34 + m. Is r a multiple of 13?
True
Let d = -23 - -42. Let x = d + 5. Does 8 divide x?
True
Let g = 92 - -8. Does 24 divide g?
False
Let y be ((-5)/(-4))/((-5)/140). Let t = y + 50. Suppose 4*s + 4*m = 9 + t, 5*s - 34 = -m. Is 7 a factor of s?
True
Let t = 98 + -61. Is 4 a factor of t?
False
Let f be (-1)/1 + 3 + 1. Suppose -15 = -f*w - 2*w. Suppose -w*o - 9 = -81. Is o a multiple of 12?
True
Let h be (4 - 7)*1*5. Let v = h - -29. Does 7 divide v?
True
Let c = -4 + 4. Let p = c + 5. Is p a multiple of 5?
True
Is (2 - (-20)/(-8))*-26 even?
False
Suppose 0 = -5*s + 8*s - 195. Is s a multiple of 7?
False
Let j = 68 - 48. Is 5 a factor of j?
True
Suppose -4*r + 3*j + 5 = -0*j, -9 = -4*r - j. Let i(a) = -53*a**3 - a**2 + a + 2. Let p be i(