 r?
True
Let w(d) be the second derivative of d**4/12 - 11*d**3/6 - d**2 + 3*d. Let q be w(8). Let r = 72 + q. Does 23 divide r?
True
Let j = -3 - -11. Is j a multiple of 5?
False
Suppose d - 15 = 4*d. Let y = d + 21. Is 8 a factor of y?
True
Let b be (-1)/(2*4/(-664)). Let t = b - 49. Does 10 divide t?
False
Let z = -6 + -13. Is (-2)/1 - z - 0 a multiple of 5?
False
Let t = -3 + 34. Is 10 a factor of t?
False
Let u = -9 + 76. Does 9 divide u?
False
Let u = 8 - -4. Is u a multiple of 3?
True
Suppose 3*j - 4*j = -59. Is 21 a factor of j?
False
Suppose 33 + 7 = 2*h. Does 5 divide h?
True
Let j(s) = 3*s - 3. Is 15 a factor of j(8)?
False
Let n = 171 + -75. Does 16 divide n?
True
Let l(p) = -2*p**3 - 3*p**2 + 3*p + 2. Let n be l(-3). Suppose -5*j - n = 0, 3*b + 4*j - 38 = -0*j. Is 10 a factor of b?
False
Suppose 3*d - 15 = -2*d. Let q be -2*3/(-6) - d. Is 7 a factor of (85/10)/((-1)/q)?
False
Let u = -10 - -16. Does 6 divide u?
True
Let w = 16 + -2. Suppose -2*a = 3*y - w - 15, -8 = a - 3*y. Suppose -79 = -4*n - 2*i - i, n = -5*i + a. Is n a multiple of 14?
False
Let m = 736 + -417. Is 29 a factor of m?
True
Let y = 3 - 2. Suppose -4 - y = -o. Suppose o*g + 5*b = 45, 4*g = 5*b - 9 + 36. Is g a multiple of 4?
True
Suppose 8 = -4*i + 24. Let m = -2 + i. Let a(b) = 6*b**2 - 2*b - 1. Is a(m) a multiple of 15?
False
Let w = 7 + -55. Suppose 8 = -4*r + 2*z, -2*z = -4*r - 5*z - 28. Let y = r - w. Does 17 divide y?
False
Let v(q) = -4*q**2 + 1. Let o be v(-1). Is 19 a factor of (-14)/o*(-36)/(-7)?
False
Let n(s) = s**3 - 8*s**2 + 2*s - 6. Let h be n(8). Let x = h - -8. Is x a multiple of 18?
True
Let u(q) = q**3 - q**2 + 23. Let w be 1/(-3) + 1/3. Is u(w) a multiple of 7?
False
Let d = 2 + 0. Does 7 divide 42*-1*d/(-4)?
True
Let h(b) = b + 3 + 2*b - 4. Let x be h(1). Suppose -3*f = 5*j - j - 100, x*j = 2. Is f a multiple of 16?
True
Let g(d) = -4*d**2 - 5*d - 8. Let b be g(-6). Let h be b/(-4) - (-2)/(-4). Suppose a - h - 1 = 0. Does 14 divide a?
False
Suppose -4*j + 104 = 3*r, -j + 3*j + 146 = 4*r. Is r a multiple of 18?
True
Let a(d) = 37*d**2 - 9*d + 2. Let o(n) = -18*n**2 + 5*n - 1. Let q(g) = 6*a(g) + 11*o(g). Is q(-1) a multiple of 13?
False
Let b(r) = -47*r**3 + r**2 + 2*r + 2. Does 12 divide b(-1)?
True
Let w(a) be the first derivative of a**5/60 + 5*a**4/24 - 5*a**3/3 - a**2 - 1. Let p(t) be the second derivative of w(t). Does 10 divide p(-9)?
False
Let u = 337 + -158. Suppose 5*x - 1 - u = 0. Is x a multiple of 12?
True
Let m(i) be the third derivative of -i**5/60 - i**4/3 - 5*i**3/6 - i**2. Let l be m(-7). Suppose -p = -4*s - 36, 5*p + 60 = l*s + 168. Is 10 a factor of p?
True
Let g(c) = c**2 + c + 12. Does 9 divide g(5)?
False
Suppose 5*r = r + 8. Suppose 0 = -r*s - 23 - 5. Does 9 divide (-136)/(-14) - 4/s?
False
Let v = -9 - 1. Let j = v + 14. Is j a multiple of 2?
True
Suppose 2 = n, -2*u + 4*n = -3*u - 29. Let q = u + 24. Let x = q + 23. Is x a multiple of 10?
True
Suppose -a = 2, -2*v + 8 = -3*a - 58. Let g be (-4 - -1)*80/(-6). Suppose 2*o = k + v, 4*o + k = -2*k + g. Is 6 a factor of o?
False
Let f(c) = 14*c - 7. Let j be f(6). Is 11 a factor of 5/10 - j/(-2)?
False
Let r(a) = 3*a - a + 0*a - 3*a + 27. Is r(12) a multiple of 11?
False
Does 30 divide ((-10)/(-15))/((-1)/(-225))?
True
Let k(n) = n**3 + 7*n**2 - 7*n + 11. Let s be k(-8). Suppose 0 = g - 0*p + p - 56, -s*p + 64 = g. Is 26 a factor of g?
True
Let l = -10 + 21. Does 5 divide 0 + l + 4/(-2)?
False
Is 13 a factor of (-410)/(-10) + 8/(-2)?
False
Let q(l) = 17*l + 1. Let f be q(1). Let k = 58 - f. Is k a multiple of 15?
False
Let n(u) = -u**2 - 13*u - 9. Let b be n(-12). Let z(g) = g + 6*g**3 - 29*g**b + g**2 - 16*g**3. Is 21 a factor of z(-1)?
False
Suppose 160 = 23*n - 21*n. Is n a multiple of 10?
True
Let d = 29 + -5. Suppose 0*u + 3*w = u + d, 4*u = w - 63. Let i = -1 - u. Is 5 a factor of i?
False
Suppose -4*u + 5*u + 2 = 0. Is (1 - (u - -8))*-4 a multiple of 10?
True
Suppose 0*h + 3*w + 18 = 3*h, 2*h - 12 = 5*w. Suppose -h = 3*f - 24. Suppose 0*u = -u + f. Does 3 divide u?
True
Let d(f) = -f**2 + 9*f - 4. Let x be d(8). Suppose -x*l + 284 = 4*c, 0 = -3*c - 0*l + 4*l + 206. Is 20 a factor of c?
False
Does 22 divide 10/35 - (-1989)/21?
False
Let j = -171 - -291. Suppose -10*d = -5*d - j. Is 12 a factor of d?
True
Suppose f - 4*q + 61 = 0, 4*q = f + 5*q + 56. Let h = -38 - f. Is 19 a factor of h?
True
Suppose 14 + 42 = 4*l. Suppose k - l - 70 = 0. Is k a multiple of 29?
False
Suppose -7 = 4*c - 3*c. Let v(s) = -3*s. Let k(q) = -1. Let m(o) = 2*k(o) + v(o). Is m(c) a multiple of 13?
False
Let m(s) = s**2 + 4*s - 7. Let d(b) = b**3 + 3*b**2 - 3*b - 2. Let n be d(-3). Is 15 a factor of m(n)?
False
Does 4 divide 16/(-72) - 364/(-18)?
True
Suppose -4*l = 6*s - 2*s - 624, 4*l + 330 = 2*s. Is 13 a factor of s?
False
Let s(g) be the third derivative of g**7/1260 - 7*g**6/720 - g**5/20 - g**4/8 + 2*g**2. Let v(z) be the second derivative of s(z). Does 12 divide v(6)?
True
Let r(w) = -13*w - 1. Let d be (-6)/(-1)*2/(-4). Let s be r(d). Suppose 0 = -5*f + 152 + s. Is f a multiple of 14?
False
Let k(f) = f**2 - 6*f. Let j be k(6). Suppose j = 2*z - z. Suppose z = -3*a + a + 16. Is 7 a factor of a?
False
Suppose 0 = -2*a - a + 30. Suppose -5*l + 45 = -2*z + a, 0 = 2*z - 10. Is 8 a factor of l?
False
Let l(c) = 8*c**2 - c - 7. Is l(-5) a multiple of 18?
True
Suppose 2*w - 5*c = -21, 5*w + 36 = -c - 30. Let q = 60 - 41. Let b = w + q. Is b a multiple of 6?
True
Let a be 1*(2 - (5 - 2)). Let t(u) = -u - 4. Let v be t(-6). Is (-2)/(v*a/30) a multiple of 15?
True
Suppose 90 = -q - 2*q. Let z(w) = -48*w**3 - w**2 + 2*w - 1. Let p be z(1). Let k = q - p. Is k a multiple of 9?
True
Let y = -14 + 10. Let d(n) = -9*n + 4. Is d(y) a multiple of 17?
False
Suppose -1 = -2*t + 3. Suppose 0 = -3*w - t*w. Suppose 0 = l - w*l - 6. Is l a multiple of 3?
True
Let z(m) be the second derivative of 13*m**3/2 - m**2/2 - 4*m. Is 19 a factor of z(1)?
True
Let v = 38 - 23. Is v a multiple of 4?
False
Let o(m) = -8*m - 8 + m + m**3 - 9*m**2 + 3*m. Is o(10) a multiple of 13?
True
Suppose 14 = 2*u + 2*o, 0*o + 4 = -2*u + 4*o. Suppose -7*v + u*v - 42 = 0. Let k = v + 25. Is 9 a factor of k?
False
Let o(t) = t**2 + 9*t - 4. Let s be o(-10). Suppose -27 = -3*k - s. Is k even?
False
Suppose 2*u - 8 = 4*f, 0 + 11 = -f - 4*u. Is 5 a factor of (-1)/f + 29/3?
True
Suppose -11*s + 7*s + 676 = 0. Is 32 a factor of s?
False
Suppose 9*l - 145 + 37 = 0. Is 3 a factor of l?
True
Let d(u) = 2*u**2 + 7*u - 2. Let y be d(-5). Suppose v + t - 11 = -2*t, -v + 5*t = y. Suppose v*r = 31 + 25. Is 12 a factor of r?
False
Is (16/48)/(1/51) a multiple of 4?
False
Let c = -44 + 76. Does 10 divide c?
False
Suppose 5*k - 19 = -3*t, -4*k + 20 = 6*t - 2*t. Suppose y = -0*y + k. Suppose -2*q + 4*q + y*r - 32 = 0, -32 = -3*q + r. Is 12 a factor of q?
True
Let f(h) = 5*h + 1. Let o be f(-3). Let z = 36 + o. Suppose 18 = 5*s - z. Is 6 a factor of s?
False
Suppose -v + 3*v + 63 = 5*r, 5*v + 105 = 2*r. Let u(a) = 44*a + 1. Let f be u(1). Let m = f + v. Is 13 a factor of m?
True
Let r(g) = -2*g - 5. Let j be r(-5). Suppose -56 + 176 = j*o. Does 8 divide o?
True
Suppose -564 = -2*i + 4*v, i + 302 = 2*i + 3*v. Is i a multiple of 21?
False
Suppose -3*y - 5*k - 15 = -6, 0 = -5*y - 4*k - 15. Let o(u) = 5*u**2 + u - 2. Is 15 a factor of o(y)?
False
Let o(c) = -c**2 - 5*c - 4. Let d be o(-3). Suppose 4 = -2*n + 4*r, -5*n + 4*r = -0*r + 16. Is 7 a factor of 11 + d/(n + 2)?
False
Let m(x) = -5*x - 8. Is m(-6) a multiple of 11?
True
Let v(i) = -i**3 + 8*i**2 - 12*i - 1. Is 7 a factor of v(5)?
True
Let c(v) = 4*v - 3. Let a be c(2). Suppose 0 = a*n - 25 - 10. Suppose 1 = -y + n. Is 5 a factor of y?
False
Let o(r) = 46*r**2 + 2*r. Suppose 0 = -5*t + 3*t + 2. Is 16 a factor of o(t)?
True
Let x = -499 - -778. Let y = 167 - x. Is 2 a factor of (-2)/7 + y/(-49)?
True
Let m = -159 + 236. Is 11 a factor of m?
True
Let s = 23 + -8. Let g = s - 4. Is g a multiple of 6?
False
Let t = -8 + 283. Is 22 a factor of t?
False
Let v(l) = l**2 - 4*l - 8. Let y be v(6). Suppose -5*x = -3*x - y, -5*x + 10 = -4*q. Suppose 2*i - 92 = -q*i. Is i a multiple of 13?
False
Let h(r) = r**3 + 10*r**2 + 2*r - 8. Does 11 divide h(-9)?
True
Let l = -18 + 9. Let d(u) = 2*u + 11. Let r be d(-6)