 Let t be p(3). Let a be 0 - (1 + t - 2). Let o = 11 + a. Is o a multiple of 7?
True
Is 53 a factor of (-24)/(-44) + 3178/22?
False
Let y be 0 + -7 + -9 + 5. Is (y/(-2))/(20/720) a multiple of 11?
True
Let d = -320 + 392. Is 3 a factor of d?
True
Let d(g) = -g**3 - 12*g**2 + 14*g + 9. Let m be d(-13). Let n = m - -33. Does 12 divide n?
False
Let q(z) be the first derivative of z**4/4 + 3*z**3 + 2*z**2 + 8*z - 27. Is 5 a factor of q(-4)?
False
Let l be 6/(-2) + -3 + 0. Let y be 238/l + (-3)/9. Let c = -8 - y. Does 11 divide c?
False
Suppose -7*u + 3*u = -0*u. Suppose -5*o - 3*i + 1371 = u, -889 = -5*o + 2*i + 497. Is o a multiple of 12?
True
Suppose -h + 4*h - 2*i - 732 = 0, 3*h + 5*i - 753 = 0. Does 59 divide h?
False
Let w = -15 + 19. Suppose -4*y - w*d = -20, 4*y + 13 - 63 = 2*d. Is y a multiple of 9?
False
Suppose -3*g + p + 0*p = -19, 5*p + 20 = 0. Suppose -d = -5*s, -2*s - 42 = g*d - 15. Is 10 a factor of (s/3)/((-3)/99)?
False
Is 60/30*2134/4 a multiple of 11?
True
Suppose 3*k = 7*k + 16. Let p be 3 + k - (24 + -2). Let v = -15 - p. Is v a multiple of 4?
True
Let z(k) = k - 3. Let r be (45/(-36))/(2/(-8)). Let m be z(r). Suppose m*s - 5*s + 180 = 0. Does 28 divide s?
False
Let g(k) = -k**2 - 2*k + 66. Let j = -41 - -41. Is g(j) a multiple of 4?
False
Does 16 divide (3*1)/((-147)/(-7154))?
False
Let b = -792 + 2145. Does 41 divide b?
True
Let y = -28 - -30. Is (-2 - y)/((-2)/13) a multiple of 13?
True
Suppose 0 = j - 8 + 5. Suppose 0*t = -j*t + 57. Suppose -2*a + 4*r = -5*a + 9, -a + t = -4*r. Does 7 divide a?
True
Let j(r) = 39*r**3 + 0*r - 4*r + r**2 - 38*r**3 - 7. Does 13 divide j(4)?
False
Let z(v) = -v**3 + 8*v**2 - 9*v + 12. Let x(y) be the third derivative of -7*y**4/24 - y**3/3 - 6*y**2. Let c be x(-1). Is z(c) a multiple of 9?
False
Let t = 14666 + -10401. Is 47 a factor of t?
False
Let w = -29 + 33. Is -111*((w - 9) + (1 - -3)) a multiple of 37?
True
Suppose -8 = y - 11, 4*z = 2*y + 14. Suppose z*p = 3*m - 65, -6*m = -5*m - 4*p - 24. Is m a multiple of 3?
False
Suppose 0 = v - 2*v + 2. Let b(c) = -4*c - 1 + 3*c + 6*c**v + 0*c - c**2. Does 26 divide b(-3)?
False
Let k = 35 - 10. Suppose -q + 37 = -3*b, 56 = -4*b + 2*q + 10. Let n = k + b. Does 3 divide n?
False
Suppose 2*n - 19 = -17. Is 5 a factor of n*(0 + -2) + 10?
False
Suppose 3*u + 42 = 4*o, 2*o = -o + 4*u + 28. Suppose 0 = -o*s + 18*s - 570. Is 19 a factor of s?
True
Let k(m) = -2 + 3*m**2 - 4*m + 4 + 15*m. Suppose -2*q - 5 = -q. Does 22 divide k(q)?
True
Let t be (-2)/(-9) - 1152/81. Is 6 a factor of (-4)/t + 664/28?
True
Suppose -r = -12 + 8. Does 5 divide -2 - (r + (1 - 22))?
True
Let a be (-11)/((-66)/(-8))*-9. Suppose -g - 1210 = -a*g. Is g a multiple of 11?
True
Let r(m) = m**3 + 2*m**2 - m - 4. Let n(c) = 0 + 0 + 4 - c**2. Let h(u) = 4*n(u) + 3*r(u). Is 10 a factor of h(2)?
True
Let b = 13 + -9. Suppose -36 = r - b*r. Suppose 0 = 3*v - 4*v + r. Is v a multiple of 3?
True
Let i(o) = -o**2 - 71*o - 99. Is 85 a factor of i(-43)?
True
Let v(t) be the first derivative of -t**6/120 + 13*t**5/60 - 3*t**4/8 - 2*t**3 + t**2 - 2. Let x(r) be the second derivative of v(r). Is x(12) a multiple of 5?
False
Suppose 329 = 6*s - 13. Is s a multiple of 57?
True
Does 57 divide (10 - 10) + 1759 - (-1 - -5)?
False
Let n(q) = 2*q**3 + 18*q**2 + 28*q - 1. Does 47 divide n(-6)?
True
Let f(r) = r**2 + 9*r - 8. Let p be f(-10). Suppose -p*j = -j - 5*x - 8, -4*j = -3*x - 66. Is 10 a factor of j?
False
Suppose 0 = -3*g + 9, n - 3*g = 6*n - 39. Let z(i) = 2*i**3 - 8*i**2 - 8*i + 15. Is z(n) a multiple of 37?
True
Let v(y) = -1 - 11*y + 10 + 13. Is 9 a factor of v(-5)?
False
Suppose 82*p - 27108 = 33162. Is 16 a factor of p?
False
Let s(r) = r**3 - 3*r**2 + 40*r - 234. Is s(8) a multiple of 7?
True
Suppose 4*q - 58 = 5*w, -7*w - 2*q = -3*w + 36. Let y be (-114)/4*w/(-15). Let r = -14 - y. Does 3 divide r?
False
Let v(g) = -g + 4. Let q be v(-3). Let f = -3 + q. Suppose 4*z - 32 = f. Does 9 divide z?
True
Suppose -14 = 5*u - 4. Let f be (u/(-5))/((-10)/(-1550)). Let w = -34 + f. Is 7 a factor of w?
True
Let z be 465/10*(-4)/(-6). Let x = -48 + z. Is ((-1)/(-2))/(x/(-272)) a multiple of 5?
False
Suppose -4*d + 2*z + 23 = d, -2*d - 4*z = 10. Suppose -2*x - d = 3, -3*r - 3*x = -477. Is 1908/r + (-2)/(-9) a multiple of 12?
True
Suppose l = -2*w - 1053, 0*l = 3*w + 2*l + 1580. Let g = 746 + w. Is g/16 + 3/(-4) a multiple of 6?
False
Let v(f) = f**3 - 6*f**2 - f + 1. Let g be v(6). Is 120 - (4 + g)*-4 a multiple of 29?
True
Suppose 3*b = -3*a + 6, -10 = -2*a - 0*a - 4*b. Does 9 divide (a - -1) + (10 - -75)?
False
Let z(y) = -y**3 - 6*y**2 + 13*y + 10. Let j(w) = w**3 + 2*w**2 - w + 2. Let g be j(-3). Let l be (6/9)/(g/48). Does 6 divide z(l)?
False
Let q = -46 - -37. Let g(p) = -p**3 - 8*p**2 - 8*p + 9. Is g(q) a multiple of 21?
False
Suppose 9*u + 2184 = 10311. Is 25 a factor of u?
False
Let h(r) = 4*r**2 - 8 - 4*r - 3*r**2 + 8*r**2 + 0*r**2. Let o be h(4). Let c = -85 + o. Does 9 divide c?
False
Suppose 5*c - 380 = 330. Suppose -5*f = 17 - c. Is 5 a factor of f?
True
Suppose 0 = 5*h + 5*h + 40. Let y = h + 44. Is y a multiple of 10?
True
Let n(r) = -r**2 - 1. Let y(d) = d**2 - 2*d + 6. Let c(l) = 2*n(l) + y(l). Let m be c(-3). Is (m - 3 - -1) + 12 a multiple of 8?
False
Let t(k) = -11*k**3 - k**2 + 2*k + 2. Let y(h) = -h**2 - 7*h - 7. Let g be y(-6). Let v(w) = -w**3 + 1. Let b(x) = g*t(x) + 5*v(x). Is b(2) a multiple of 17?
True
Let m(x) = 4*x**3 - 8*x**2 - 11*x + 22. Is m(7) a multiple of 25?
True
Let h be ((-30)/(-25))/(4/10). Let x(d) = 3*d + d**3 + 0 - 6*d**2 + 3 + 0*d**h. Is 5 a factor of x(6)?
False
Let d be 0 - (119/2 + 1/2). Let i = d - -90. Is i a multiple of 30?
True
Let d(t) = 97*t**2 + 5*t + 13. Does 17 divide d(-2)?
True
Suppose 2*n - 2*t - 466 = 0, -2*n + 501 = 9*t - 4*t. Does 5 divide n?
False
Let c(u) = -2*u**2 - 10*u + 5. Let l be c(-5). Suppose -l*m + 4*m = 5, 3*m - 781 = -4*f. Is f a multiple of 33?
False
Suppose 0 = 3*z + 3*g - 189, 2*z - 3*g - 19 = 97. Let n = -25 + z. Is n a multiple of 18?
True
Suppose 0*g + 6 = 3*g - 2*v, 0 = 4*g - 4*v - 12. Is 23 a factor of (g + -3)*(-141)/9?
False
Let d = 60 + -11. Is 4193/d - 6/(-14) a multiple of 14?
False
Let s(d) = -67*d + 140. Is 17 a factor of s(-4)?
True
Suppose 0 = -m - 8 - 26. Let n = -21 - m. Suppose n*q - 14*q = -42. Is 8 a factor of q?
False
Let f be (81/(-54))/((-1)/(-6)). Let o(n) = 12*n - 1. Let i be o(-1). Let z = f - i. Is z a multiple of 4?
True
Let f(i) = -3*i + 24. Suppose 0*d = 9*d + 99. Is 6 a factor of f(d)?
False
Let h(w) = -7*w**3 + 13*w**2 + 9*w + 14. Let o(g) = -3*g**3 + 7*g**2 + 4*g + 7. Let u(v) = -2*h(v) + 5*o(v). Is 17 a factor of u(7)?
True
Let h be 2/(-2)*(4 - 4 - -11). Let a = 35 + -10. Let z = a + h. Is z a multiple of 5?
False
Let u = -34 + 49. Let k be (-219)/u + (-9)/(-15). Is (30/7)/((-2)/k) a multiple of 15?
True
Let j(y) = 3*y**3 + 7*y**2 + 5*y + 2. Let f be j(-5). Let n = f + 363. Is 35 a factor of n?
True
Suppose -4026 = -622*n + 616*n. Is 11 a factor of n?
True
Let g = -19 + -18. Let y = 55 + g. Is 9 a factor of y?
True
Let l = -20 - -19. Is 11 a factor of 108 + (-1 + 1 - l) + 1?
True
Let k(n) be the second derivative of -11*n**6/720 - n**5/40 - 13*n**4/12 + 2*n. Let j(i) be the third derivative of k(i). Does 11 divide j(-6)?
False
Let y(b) = -12*b**2 - 15*b + 9. Let t(h) = h. Let q(d) = -12*t(d) - y(d). Is q(4) a multiple of 15?
True
Suppose -5*i = 1338 + 627. Let w = -218 - i. Is 25 a factor of w?
True
Suppose 5*s - 824 = -q + 2678, -2*q = -3*s + 2096. Is s a multiple of 14?
True
Suppose -3*s + 3*n = n - 24, 5*n - 9 = -4*s. Suppose 0 = -s*h + 38 + 10. Does 2 divide h?
True
Suppose 0 = -f - 0*f + 3. Suppose w - 2*n = f*n - 20, 20 = -2*w + 5*n. Suppose -23*d + 27*d - 128 = w. Is 24 a factor of d?
False
Suppose 2*y + 52 = r, 5*r - 15 = 4*y + 263. Is r even?
True
Let i(y) = -3*y - 46. Let m be i(-15). Let r(c) = -28*c + 4. Is 8 a factor of r(m)?
True
Let p(f) = 0*f**2 - 2 - 2*f**2 - 11*f + 3. Is 3 a factor of p(-5)?
True
Suppose -27*s = -12706 - 15644. Does 28 divide s?
False
Let w = -15 + 9. Let k = 910 + -433. Does 20 divide 5/10 - k/w?
True
Let b be ((-135)/(-36))/(2/56). Suppose -c + 4*c - b = 0. Is 17 a factor of -3*(-1 + c)*-1?
True
Let s = -125 - -225. Suppose -u - 2 = x - 2*x, -5*u - 