h) = -16*f(h) + 3*t(h). Is g(r) a multiple of 18?
True
Let b(o) be the third derivative of 0 + 0*o - 7/24*o**4 + 1/3*o**3 + 3*o**2 + 1/60*o**5. Is b(8) a multiple of 5?
True
Suppose -2*n + 73 = 3*y, -5*y + 41 = n - 2*y. Is 7 a factor of n?
False
Let u = -1 + 1. Suppose -2*m - 88 = -d, u = d + 3*d - 3*m - 337. Does 12 divide d?
False
Let d = 244 + -172. Suppose -24 = 5*t + 1, -2*z - 2*t - 4 = 0. Suppose z*q - d = -q. Is 7 a factor of q?
False
Let h(r) = -r**2 - r + 10. Let f be h(-5). Does 29 divide (16/f)/((-2)/40)?
False
Is 155 - (1 + 1 + 6/6) a multiple of 19?
True
Let q = 7 + -4. Let d = q + -3. Suppose -3*n = -d*n - 30. Does 5 divide n?
True
Suppose 4*v = l + 75, 5*l + 0*l + 15 = 0. Is v a multiple of 13?
False
Let a(v) = 2*v**2 + 3*v - 6. Let m be a(6). Suppose 69 = -f + 4*f - 5*o, 0 = -4*f + 4*o + m. Is 9 a factor of f?
True
Suppose 0 = 2*f - 16 - 224. Does 20 divide f?
True
Suppose -2*k + 3*y + 0*y = -1, -4*k - 3*y + 29 = 0. Let p = -10 - -12. Suppose 37 = 2*f + 3*d + 14, -86 = -k*f + p*d. Is 16 a factor of f?
True
Suppose 0 = 3*s - 8*s + 345. Does 36 divide s?
False
Let r = -61 - -104. Is r a multiple of 16?
False
Let q(h) = 161*h**2 + 2*h + 2. Is 23 a factor of q(-1)?
True
Suppose 0 = -2*t - 1 + 11. Suppose 0 = -t*d + 138 - 8. Is d a multiple of 17?
False
Let u(g) = 3*g**2 + 5*g + 3. Let z(r) = -r**2 + 8*r - 3. Let s be z(8). Does 8 divide u(s)?
False
Suppose 8 = u + 3. Suppose -3*k + 10 = -u. Does 5 divide k?
True
Suppose -1 = 4*w - 289. Is 16 a factor of (w/7)/(15/70)?
True
Let w be 1587/27 + 2/9. Let d = w + -42. Does 17 divide d?
True
Let z be (4/(-6))/(14/(-21)). Let v be (z - 3)*(-1)/2. Is 13 a factor of 13*(v + 2 + -2)?
True
Let f = 8 + -6. Let a be 4/6*9/f. Is 5 a factor of 39/9 - (-2)/a?
True
Let r(h) = 3 + 0 - 3 + h - 4. Is 5 a factor of r(13)?
False
Suppose -199 = -8*h + 89. Is h a multiple of 12?
True
Let y(h) = h**2 - 4*h - 9. Suppose g + 2*u = -g - 12, -u + 1 = 0. Is y(g) a multiple of 18?
False
Suppose p + 2*q = 0, 0 = -3*p + 4*p - 3*q - 5. Is 81/2 + (-3)/p a multiple of 13?
True
Let b be (-5)/(-5)*3*-2. Let q(f) = f**3 + 5*f**2 - 8*f. Is q(b) a multiple of 7?
False
Let f(t) = 11*t - 9. Is f(3) a multiple of 6?
True
Suppose 5*j - 128 - 32 = 0. Suppose 3*w - j = -w. Is 3 a factor of w?
False
Is 4*(9 - (-3 - 1)) a multiple of 52?
True
Suppose 0*f + 3*f = 6. Let j be 0 - (-2 + f - -2). Is 10 - 2/j*-2 a multiple of 3?
False
Is 28 a factor of 4/((3/(-13))/(-3))?
False
Let r = -38 + 118. Is r a multiple of 16?
True
Let t(r) = r**3 + 6*r**2 - 6*r + 2. Let s(d) = d**2 + 9*d + 8. Let z be s(-7). Is t(z) a multiple of 23?
False
Let x be (-2)/(-7) + (-298)/14. Is (-762)/(-21) - (-6)/x a multiple of 18?
True
Let r = 173 + -63. Is 22 a factor of r?
True
Suppose 2*s = 2*i - 0*i + 84, 4*s - 180 = -2*i. Let h be 1/(-5) + (-16)/(-5). Suppose 25 = h*k - 4*d, -5*d + 11 - s = -4*k. Is 7 a factor of k?
True
Suppose 3*c = -2*c + 2*h + 150, -5*h = -4*c + 120. Is 30 a factor of c?
True
Let z = 38 + -17. Let y = z - -9. Is 11 a factor of 666/y - (-2)/(-10)?
True
Let j be -2 + (-18)/(-3) - 2. Let a(z) = -9*z**j + 6 + z**3 + z - z. Is 3 a factor of a(9)?
True
Suppose -2*u = -5 - 5. Suppose -4*w + 25 = u*f - 32, 0 = -3*f + 2*w + 21. Is f a multiple of 5?
False
Let t(g) = -g**2 - 2*g. Let z(x) = -x**2 - 5*x + 1. Let k(c) = -5*t(c) + 2*z(c). Is k(2) a multiple of 7?
True
Suppose 0 = -0*y + 5*y - 195. Let h(q) = -3*q**2 - q - 2. Let t be h(-3). Let z = t + y. Is 9 a factor of z?
False
Let w(x) be the third derivative of x**6/120 + 7*x**5/60 - x**4/12 + x**3/6 + 3*x**2. Is w(-7) a multiple of 10?
False
Let d(q) = -70*q - 5. Let i = 10 + -15. Let f be d(i). Is f/20 - (-1)/(-4) a multiple of 7?
False
Suppose 3*t - 180 = -t. Does 15 divide t?
True
Let z(r) = -5*r - 3. Let y be z(-9). Suppose -6*s = -8*s + y. Is s a multiple of 6?
False
Does 8 divide 75 + 2 - -4 - 3?
False
Let h = -28 + 52. Suppose 0*i = 2*i - h. Suppose 2*m - i = 4*c - 94, 3*c - 4*m - 59 = 0. Does 11 divide c?
False
Suppose -3*s + 1 = 2*p - 6*s, -5*s - 1 = -3*p. Suppose -5*v = 0, 2*j + p*v = 6*j - 96. Does 8 divide j?
True
Let z(u) = -u**2 + 5*u + 2. Let f be z(5). Suppose 4 = h - 2*d + 3, f*h = -d + 12. Is 5 a factor of h?
True
Suppose -l - z + 12 = 0, -4*z + 3*z - 5 = 0. Suppose 0 = m + 3 + 3. Let j = m + l. Is 11 a factor of j?
True
Let l = 32 + 148. Suppose -7*d + l = -2*d. Is 12 a factor of d?
True
Let z(r) = -r**3 + 9*r**2 - 5*r - 4. Let i be z(8). Let x = i + -10. Is 4 a factor of x?
False
Let s = -1 - -4. Suppose -2*o - s*o + 75 = 0. Is 15 a factor of o?
True
Let z = 195 - 123. Is z a multiple of 8?
True
Suppose 2*b = -3*r + 168, -4*r = r - 3*b - 280. Does 14 divide r?
True
Let f(n) = -14*n - 1. Let k be f(1). Let u be 6/k - (-37)/5. Let o = u - 4. Is 2 a factor of o?
False
Let n = 74 + -39. Is n a multiple of 7?
True
Let u = 51 + -34. Let f be 5/2 - (-4)/(-8). Is 1*u + (-2)/f a multiple of 16?
True
Let w = -2 - -2. Suppose -5*f + 48 = 5*u - 102, -4*u + 3*f + 134 = w. Suppose -2*r + 5*r - 2*a = 35, -3*r - a + u = 0. Is 11 a factor of r?
True
Let v(j) = -1 + 2 + 0*j - 2 + j. Let h be v(-1). Is 9 a factor of (12/(-9))/h*21?
False
Let x(l) = -5*l - 2. Suppose -2*y = 0, -q + 2*y = 4*q + 35. Let r be x(q). Suppose -2*z - 3 = z, 3*z = -4*i + r. Does 8 divide i?
False
Suppose 2*v = 4*v - 10. Suppose c + 2*q - v - 18 = 0, 3*q = -3*c + 60. Is c a multiple of 11?
False
Let l(c) = -c**3 + 3*c**2 - 2*c + 3. Let v be l(2). Suppose 0 + v = -n, -2*n = g - 24. Is g a multiple of 8?
False
Suppose i - 45 = 4*k, -5*i + 183 = k - 0*k. Does 18 divide i?
False
Let a be (0 + 3)/((-1)/(-17)). Is 20 a factor of 0 + -1 - a*-1?
False
Suppose -6*q + 20 + 40 = 0. Is 3 a factor of q?
False
Let u = 19 + 10. Does 4 divide u?
False
Suppose 6*q = q - 65. Let i = q + 34. Is i a multiple of 16?
False
Does 11 divide 2*(3 + -1 + 13 + -4)?
True
Suppose 36 = 5*z + 3*r, r = 2*z - 3 - 18. Let p(o) = -o + 9. Let s be p(6). Does 14 divide ((-30)/z)/(s/(-36))?
False
Suppose s = -2*s + 18. Let r(l) = 5*l - 6. Does 12 divide r(s)?
True
Suppose -123 = -2*t + 19. Suppose -2*z = r - 122, r + r + t = z. Is 21 a factor of z?
True
Let l(k) = -k**2 + 10*k - 1. Is 3 a factor of l(9)?
False
Suppose -4*c = 2*d + 6 - 32, 2*d = c + 1. Is 11 a factor of (-104)/(-12)*d/2?
False
Suppose -2*t = -0 - 326. Suppose 5*i + x - 54 - 97 = 0, 5*i - t = 2*x. Is i a multiple of 11?
False
Suppose 2*n - 121 = -3*o, -2*n - 2*n = 2*o - 70. Does 10 divide o?
False
Does 24 divide (-8)/(-1)*(14 - (4 + -2))?
True
Suppose d - 2 - 1 = 0. Suppose 4*z - 18 = -3*v + 1, 0 = -v + 3*z + 2. Suppose v*a - 16 = d*a. Is a a multiple of 7?
False
Suppose 4*x - 3*o = 152 - 37, -5*x + 139 = o. Is x a multiple of 7?
True
Let n = 1 - 1. Suppose -2*s - 2*q = s - 94, -2*s - 3*q + 66 = n. Suppose -s = -5*g + 10. Does 4 divide g?
True
Let r be 2/(-7) - (-132)/21. Suppose -5*o = -r*o + 18. Is 8 a factor of o?
False
Suppose -2*t = -t - 3. Suppose -t*l + 18 + 24 = 0. Is 7 a factor of l?
True
Let x = 6 + 3. Let y be 5*x - (-2)/2. Suppose -m - y = -2*d + 35, 3*d - 4*m = 134. Is 19 a factor of d?
True
Let d(c) = -2*c - 22. Let q = 22 + -38. Is 10 a factor of d(q)?
True
Suppose 4*c - 5 = -4*n - 37, -3*n + 8 = -5*c. Let f be (1 - (c - 0))/1. Suppose -2*m = -f*z + 2, 19 + 11 = 5*m + 5*z. Is m a multiple of 2?
True
Let i(w) = w**2 - w + 58. Is 11 a factor of i(0)?
False
Let o(l) be the second derivative of l**5/20 - 2*l**4/3 + 5*l**3/3 - 3*l. Does 12 divide o(7)?
False
Let n = 58 - 44. Suppose 20 = -3*c + 5*z, 4*c + 4*z = 3*z + 4. Suppose -4*q + n + 5 = 5*i, c = 5*q + 2*i - 28. Does 3 divide q?
True
Let x = 9 - 7. Is 2 a factor of x?
True
Let a = -9 - -11. Does 2 divide a?
True
Suppose 0 = 2*r + r + 4*y + 58, -r + 3*y = 15. Suppose o + 173 = 5*n, -115 = -3*n - 8*o + 3*o. Let t = r + n. Does 17 divide t?
True
Let c(t) = 22*t**2 + t - 1. Is 11 a factor of c(1)?
True
Suppose 136 = -3*a - a. Suppose -17 = -4*w - 1. Is 18 a factor of w - a - (1 - -1)?
True
Let j = 0 - -3. Suppose -j*i + 2*o + 43 = 0, 3*i + 15 = 4*i - o. Suppose -i = -5*s + 127. Is s a multiple of 14?
True
Let m = -5 - -12. Let v(i) = 4*i + 9. Is 10 a factor of v(m)?
False
Let u = -32 + 45. Let n = -1 - -5. Suppose i = -k + 3 + u, 8 = -n*k. Is 18 a factor of i?
True
Suppose 4*a - 43 = -s, -4*s + 2 + 40 = 3*a. Is 2 a factor o