f q?
True
Let g(o) = o + 5. Let h be g(0). Let j = 35 - h. Is 30 a factor of j?
True
Let r(z) = z**2 - 9*z + 2. Let m be r(9). Suppose 2*c + m*c - 3*l = 91, 0 = -2*c + 2*l + 44. Is (1/1)/(5/c) a multiple of 5?
True
Let f(m) = 146*m**3 - m**2 - m + 1. Is 21 a factor of f(1)?
False
Let p(s) = 13*s**3 - s**2 + s - 2. Is p(2) a multiple of 10?
True
Does 3 divide 9/2*(-3 + 5)?
True
Let z be (1/4)/((-2)/(-16)). Suppose z*f + 2*f - 120 = 0. Is f a multiple of 15?
True
Let u(h) = -50*h**3 - h**2 + 1. Does 25 divide u(-1)?
True
Let q = -27 - -40. Suppose 5*v = -q + 3. Let t = v + 11. Does 4 divide t?
False
Let s be -5*8 - (-6 + 4). Let f = s + 8. Let r = -14 - f. Is r a multiple of 8?
True
Suppose 2*q = -2*q + 4. Suppose -q = -k + 8. Is 7 a factor of k?
False
Suppose 3*m - 99 = -3*r, r + 3*r + m = 141. Does 36 divide r?
True
Let g = -55 + 91. Is g a multiple of 12?
True
Is -16*(-5)/(-5 - -15) even?
True
Suppose 2*a - 26 = -4*l, 2*a - 10 = -2*l + 12. Suppose a = 4*s - 5*c - 102, -s = 2*c - 31. Is s a multiple of 16?
False
Suppose 0 = 3*y + j + 81, -4*y = -j - 30 + 145. Let k be (-1)/(-1) - 1*y. Suppose -2*z + k = -11. Is z a multiple of 10?
True
Let j = -3 - -6. Let y be (2/j)/((-8)/(-12)). Does 12 divide (y + 23)/(1 - 0)?
True
Let r(a) = a**3 + 10*a**2 + a + 2. Does 6 divide r(-9)?
False
Let j be (10/(-4))/(3/(-6)). Let r(d) = 5 + 3 - d**2 - j*d - 4. Does 8 divide r(-4)?
True
Suppose -w + 2*t = 2, -5*w + 0*t + 8 = -4*t. Does 3 divide (4/2)/(w/6)?
True
Suppose -q + 8 = 3*z - 116, -5*q = 4*z - 158. Does 14 divide z?
True
Suppose 0 = -6*c - 4*c + 2310. Is c a multiple of 26?
False
Let h = -13 + 220. Does 43 divide h?
False
Suppose 5*m + 6 = i, 5*m = -2*i + 5*i - 8. Let u be (m/(-2) + -1)*-6. Let b = 12 + u. Is 12 a factor of b?
False
Does 11 divide (-579)/(-15) + 4/10?
False
Let s be 2/(-7) + (-80)/14. Let x = s + -35. Let h = -27 - x. Is 5 a factor of h?
False
Let l be ((-68)/6)/((-2)/(-6)). Let z be (1*3)/((-3)/l). Suppose 2*o = 4*o - z. Is o a multiple of 17?
True
Suppose 5*w - w - 22 = -2*h, 2*h - 25 = -3*w. Is 9 a factor of h?
False
Is 14 a factor of 636/(-21)*(-35)/10?
False
Let c = -6 + 3. Let s be (-2 - -2 - 20)*c. Let y = s + -17. Is y a multiple of 16?
False
Let q = 3 - 1. Suppose -3*n + 2 = -q*n + 3*w, -3*w - 38 = -4*n. Is 5 a factor of n?
False
Let l = -4 + 7. Suppose y - 3*p + l = -y, -3*p = -3*y + 3. Is y a multiple of 5?
False
Suppose 0 = -5*c + 13 + 32. Suppose v - c = -1. Is 8 a factor of v?
True
Suppose -3*c = 4*a - 27, -3*c + 18 = 3*a - 2*a. Is 1/(3 - 14/c) even?
False
Let w = -16 + 16. Suppose -4*n = -w*n - 164. Is n a multiple of 29?
False
Suppose -45 = -3*b + 30. Does 2 divide b?
False
Is ((-498)/(-12))/((-3)/(-6)) a multiple of 21?
False
Let f(h) be the third derivative of -5*h**4/24 + h**3/6 - h**2. Let y be f(-6). Let l = y + -12. Is 7 a factor of l?
False
Let w(t) = t**2 + 2*t - 1. Let g be w(-4). Suppose 3*o + 0*o - 18 = 0. Suppose -g = -l + o. Is l a multiple of 12?
False
Suppose 5*r + 0 - 2 = 3*x, 0 = -2*r + 8. Let b be ((-4)/x)/(4/(-1266)). Suppose 2*n = -5*q - 0*n + b, -n = -4*q + 174. Does 15 divide q?
False
Suppose 4*u + 12 = 0, -8 = -w + 3*u + 3. Suppose 3*k + 15 = 2*g - 5*g, -w*k + 4*g = -20. Let i = k + 3. Is 2 a factor of i?
False
Suppose 3*k = -4*z - 50 + 136, -k + 27 = z. Let n = 117 - 67. Let d = n - k. Does 17 divide d?
False
Suppose 5*s = -10 - 120. Let p = s - -38. Is p a multiple of 12?
True
Suppose 0 = -2*c + 5*c - 48. Is c a multiple of 6?
False
Suppose -90 = -5*g + 315. Is 16 a factor of g?
False
Let x be (-1)/(-2) - (-51)/6. Let i(l) = 3*l - 13. Is i(x) a multiple of 10?
False
Let q(i) = -i**3 - 8*i**2 - 6*i + 3. Let a be q(-7). Is (-1)/(-2) + (-38)/a a multiple of 5?
True
Suppose -5*a - 148 = -4*x, 0*a + 3*a + 172 = 5*x. Is x a multiple of 32?
True
Does 5 divide (-1*(-92)/(-4))/((-1)/1)?
False
Let l(w) = -2*w**3 - 4*w**2 + w + 4. Is 7 a factor of l(-3)?
False
Let o(v) = -v**2 + 4*v + 2. Let a be (10/(-8))/(4/(-16)). Suppose a*w + 8 = i, w = 3*i - 4 - 6. Is o(i) a multiple of 5?
True
Let t(w) = -w**3 + 3*w**2 - w + 3. Let b be (27/(-6))/3*-2. Let n be t(b). Suppose 5*x = -n*x + 275. Is 20 a factor of x?
False
Let x(t) = t**2 + 14. Let p be x(0). Let b = 20 - p. Is b a multiple of 6?
True
Let g(b) = 25*b**2 - 2*b + 3. Let c be g(2). Does 10 divide 2002/c - (-4)/(-18)?
True
Suppose -s + 3*s - 186 = 0. Is 12 a factor of s?
False
Suppose -216 = -2*a - 0*a. Does 36 divide a?
True
Suppose -5*y = 2*d - 85, -4*y = -2*d + 167 - 37. Let z = -9 + d. Let k = z + -21. Is k a multiple of 16?
False
Let c = -129 - -181. Does 11 divide c?
False
Let x(c) = c**3 - 3*c**2 + 5*c - 3. Let h be x(3). Let m = 7 - h. Let r(d) = -2*d + 3. Is 7 a factor of r(m)?
False
Let w(y) = -y**3 + 10*y**2 - 9*y + 11. Let u be w(9). Let m = -6 + u. Is m even?
False
Let h be 0 + -3 + 5 - -10. Suppose 0 = -3*q - q + h, 0 = j - 5*q - 78. Is 25 a factor of j?
False
Suppose -4*p + 63 = -r + 2*r, 230 = 5*r + 3*p. Suppose -k - 28 = -3*k + 4*c, -2*k + r = c. Does 20 divide k?
True
Suppose -3*n + 0*n = -129. Is 14 a factor of n?
False
Let b(r) = 14*r - 1. Does 11 divide b(4)?
True
Let q(i) be the third derivative of i**5/10 + i**4/6 + 4*i**2. Is 19 a factor of q(3)?
False
Suppose 4*f - 6*f + 120 = 0. Does 12 divide f?
True
Suppose 2*t = 7*t. Suppose t = -n + 4*n + 9. Is (2 - n)*3/3 a multiple of 3?
False
Suppose -2*b + 6 = -4*b. Does 10 divide (-2 - b)/(2/20)?
True
Let d(q) be the first derivative of 3/2*q**2 - 1/4*q**4 + 3*q + q**3 - 4. Is d(3) a multiple of 5?
False
Let k(d) = -2*d - 4. Let f be k(-4). Suppose f*a = a + 63. Does 14 divide a?
False
Suppose 4*h + 3 = 3*r - 4, -2*r + 8 = -h. Suppose 5*a - h*a - 12 = 0. Suppose -a*d = -4*s - 108 - 40, -3*s = 6. Is 10 a factor of d?
False
Let i be (11/11)/(2/22). Suppose 0 = -i*l + 10*l + 7. Is l a multiple of 2?
False
Let l = 119 + -49. Suppose 5*z = -0*z + l. Is z a multiple of 7?
True
Suppose y = 36 + 15. Is 18 a factor of y?
False
Suppose -13 + 138 = 5*v - 2*r, -2*r = 5*v - 125. Suppose -43 + 6 = -3*p + 2*f, 5*p = f + 50. Let o = v + p. Is o a multiple of 14?
False
Let z = 178 - 103. Is 28 a factor of z?
False
Suppose -4*u - 2 = k + 34, 3*u = k + 36. Does 6 divide k*(-2)/8*2?
True
Suppose -7*x + 108 = -3*x. Is x a multiple of 9?
True
Suppose -3*f - 3 + 6 = 0. Let y = f + 2. Does 3 divide y?
True
Let r = 2 + -19. Let q = r + 29. Is 12 a factor of q?
True
Let p(c) = -3*c - 2. Does 5 divide p(-4)?
True
Let u(d) = d. Let s be u(-4). Let h(k) = k**2 + 5*k + 6. Let i be h(s). Suppose 6*n = i*n + 128. Does 19 divide n?
False
Suppose -2*b - a + 84 = 6, -39 = -b - 4*a. Does 33 divide b?
False
Is 27 a factor of ((-10)/8)/(11/(-2024))?
False
Let w = 6 + -3. Let y(d) = -d**3 + 5*d**2 - 3*d + 4. Does 10 divide y(w)?
False
Let w(k) = -k**3 + 6*k**2 + k - 3. Let x be w(6). Suppose 4*n - 7 = x*n. Does 6 divide n?
False
Suppose -v + 3*v - 162 = 2*q, -4*v = 3*q - 310. Let f = v + -50. Is 29 a factor of f?
True
Let x = 624 - 424. Is x a multiple of 27?
False
Let s(q) = -3*q**3 - q**2 + q + 1. Let t be s(-1). Suppose 0 = -t*c - 5 + 17. Suppose x + 0*x = c. Does 4 divide x?
False
Suppose u + 10 = -4*u. Does 10 divide (3/u)/((-12)/160)?
True
Let m(a) = -a**3 - 8*a**2 + 9*a + 3. Let z be m(-9). Suppose -23 - 7 = -z*l. Does 10 divide l?
True
Let b = -125 - -226. Does 18 divide b?
False
Let u = 198 + -110. Is u a multiple of 39?
False
Is -70*(2/(-4) - 1) a multiple of 35?
True
Suppose -5*t - n + 100 = 0, 16 - 96 = -4*t + 4*n. Is t a multiple of 10?
True
Let x = -51 - -90. Let k = x - 5. Is 12 a factor of k?
False
Let h = 0 + 2. Suppose -4*g + h*g - 8 = 0. Does 13 divide ((-26)/g)/((-1)/(-2))?
True
Suppose -4*q = -5*n - 298, 5*q - 4*n - 122 = 246. Is 24 a factor of q?
True
Suppose 3*h - 14 = 142. Does 13 divide h?
True
Suppose f = 6*f - 2*v - 232, -2*v = -4*f + 184. Is f a multiple of 8?
True
Let d(f) = -4 + 3*f - 2*f + f**2 + 4*f. Let g be d(-6). Suppose g*h - h = -5*i + 41, 2*h - 28 = -4*i. Is 9 a factor of i?
True
Let r(o) = o**2 - 6*o + 7. Is r(-11) a multiple of 13?
False
Let r = -7 + 12. Let s = r + -15. Let p = s + 26. Is p a multiple of 7?
False
Suppose 0 = -2*h - 6 + 24. Is h a multiple of 3?
True
Let k(r) = -2*r + 13. Let p be k(9). Does 13 divide (-218)/(-8) - p/(-20)?
False
Let p(x) = -x**2 + 9*x + 3. Does 23 div