of y(-1)?
True
Let t be (-120)/(-9) - -5 - (-2)/(-6). Does 21 divide (-1707)/(-9) + (-12)/t?
True
Let i = 38 - 34. Does 4 divide 10 - 10/(-5) - i?
True
Suppose 4*h - 965 - 915 = 2*k, 2350 = 5*h + 3*k. Is h a multiple of 16?
False
Let m = 139 - 126. Let d(x) = -x**3 + 15*x**2 - 19*x - 1. Is 30 a factor of d(m)?
True
Let w(o) = 62*o + 126. Does 22 divide w(7)?
False
Let z(f) = -f**2 + 20*f + 23. Is z(18) a multiple of 10?
False
Suppose 0 = 2*c + 3*c - 2*u - 4279, 5*u + 1720 = 2*c. Is 9 a factor of c?
True
Suppose 0 = -2*p - 2, 0 = -3*b + 7*b - 3*p - 1723. Does 29 divide b?
False
Suppose 3*h = -9, -2*k - 8*h = -13*h - 4011. Is k a multiple of 88?
False
Suppose -25 = 12*f + 47. Is 11 a factor of ((-2)/f*3)/((-2)/(-34))?
False
Let n(u) = u**3 + 7*u**2 - 5*u - 5. Let a be n(-7). Let b be (-126)/a + (-1)/(-5). Is 6 a factor of ((-2)/4)/(b/144)?
True
Let r(k) = k + 13. Suppose -4*x + 17 = -27. Does 8 divide r(x)?
True
Let s be 4 + -5 - (1 + -7). Suppose -s*i + 259 + 146 = 0. Suppose 0*y + 3*y = i. Is 9 a factor of y?
True
Let v(z) = 314*z - 5. Does 35 divide v(2)?
False
Suppose 2*a + 0*a = 44. Is (a/(-3))/(4*4/(-48)) a multiple of 11?
True
Let i(j) = 3*j**2 - 4*j + 8. Let o be i(6). Suppose -2*d + o = -0*d. Does 10 divide d?
False
Let f(b) = 24*b**3 + 2*b**2 + 16. Does 40 divide f(4)?
False
Suppose 2*s + 116 + 80 = n, 4*n - 4*s = 764. Let d = n - 116. Is d a multiple of 35?
True
Let z(t) = -15*t + 3*t**2 - 15*t + 108 - 106. Is 30 a factor of z(12)?
False
Let c(f) = -15*f - 29. Let o(p) = 7*p + 15. Let j(h) = -2*c(h) - 5*o(h). Let r = 415 + -424. Is j(r) a multiple of 10?
False
Suppose 0*v + 4*w = -3*v + 24, -4*w + 4 = -2*v. Let a be -31*3/12*v. Let k = -21 - a. Is k a multiple of 3?
False
Let p = 127 - 105. Does 10 divide p?
False
Let f = -63 - -68. Suppose 2*g - f*p - 273 = 147, -g - p + 196 = 0. Is g a multiple of 14?
False
Suppose -3*j + 2 = 32. Let r = j - -14. Suppose -40 = -n - n + 3*d, -r*d - 10 = -n. Is n a multiple of 11?
False
Suppose 5*w - 432 = 8*w. Is 1/((-6)/(-266)) + (-96)/w a multiple of 9?
True
Let b(w) = w + 1. Let f be b(3). Suppose j + 4*s = 21, 3*j + 61 = 4*j - f*s. Suppose q - 2*l = -0*q + 6, -5*l + j = q. Is 8 a factor of q?
True
Let j(k) = 3*k**2 + 18*k + 119. Is j(-5) a multiple of 4?
True
Suppose -7*q = -1276 + 338. Is 6 a factor of q?
False
Let o = -1228 + 687. Let z = -281 - o. Suppose -x - 4*x = 3*v - 385, -4*v = -3*x + z. Does 21 divide x?
False
Let s(d) = d**3 - 7*d**2 - d + 10. Let p be s(7). Let r(o) = -12*o + 4*o**2 + 10 + 4 - p*o**2. Does 2 divide r(11)?
False
Let o(s) = -s**2 + s + 42. Let y be o(-6). Suppose 5*j - 90 - 30 = y. Does 3 divide j?
True
Let b = -5 + 5. Suppose -p - 3*p + 8 = b, -d - 2*p = -19. Is d a multiple of 3?
True
Let b be 9/12 - ((-3117)/(-12) + -4). Let f = b + 432. Does 26 divide f?
False
Suppose -3*n = 5*d - 9026, -5*n = -2*n + d - 9010. Is n a multiple of 79?
True
Let q = 21 - 15. Suppose y = q*y + 3*v - 137, 4*y - 3*v = 88. Is 5 a factor of y?
True
Let n = 53 - -29. Let u be (-14)/91 + n/26. Suppose -3*k + 2*k - 116 = -u*f, -140 = -4*f + 5*k. Is 7 a factor of f?
False
Let h(s) = 73*s**2 + 6*s - 3. Let t(z) = -37*z**2 - 3*z + 2. Suppose 0 = 2*g - 3*g + 4. Let x(k) = g*h(k) + 7*t(k). Does 18 divide x(-1)?
False
Suppose -2*a - 12 = 4*a. Is 13 a factor of a/((-8)/12) + 117?
False
Let b be -1 + -2 + 5 - 1. Is 18 a factor of b - 4 - (-24 - 4)?
False
Suppose 0 = -4*p - n + 6 + 1, p = 5*n + 7. Suppose -v = 2*v + 4*q - 372, 4*v - p*q = 518. Is 38 a factor of v?
False
Suppose -31 = 5*b - 1. Does 16 divide b/4 + (-105)/(-2)?
False
Suppose j + 16 = 5*j, i - 3*j = 177. Does 9 divide i?
True
Suppose -5113 - 1019 = -21*h. Is 17 a factor of h?
False
Suppose 21 = 4*z + l, 2*z + 0*l - 9 = -l. Is -27*(z/2)/(-3) a multiple of 4?
False
Let c = 9288 - 5504. Does 77 divide c?
False
Let o be 2 - 5/10*74. Let c = 79 + o. Is c a multiple of 31?
False
Let a(r) = 6*r**3 + r**2 + 5*r + 7. Let b be a(5). Suppose 0 = -6*s + b + 393. Is 10 a factor of s?
True
Let g(l) = -l**3 - 3*l**2 - 4*l + 8. Let s be 512/(-88) - 4/22. Let f be g(s). Suppose 5*t - f = 3*o - 7*o, 20 = 5*t. Is 29 a factor of o?
False
Let c(w) be the third derivative of w**4/8 - 5*w**3/3 + w**2. Let t be c(4). Suppose t*m + 2*l - 36 = -12, 5*m + 3*l = 58. Does 6 divide m?
False
Suppose z - 615 = 4*y, -18*y + 2400 = 4*z - 14*y. Is z a multiple of 3?
True
Let b(o) = -16 - 2 + 8*o - 3*o - 2. Does 18 divide b(16)?
False
Let v(j) = 11*j**2 + 6*j + 8. Let n be v(-4). Suppose 8*r - n = 6*r. Is 16 a factor of r?
True
Is 891/(-18)*(-34)/3 a multiple of 33?
True
Suppose 5*p = -4*w + 541, 3*w = -22*p + 19*p + 405. Is w a multiple of 3?
False
Does 4 divide ((-40)/25)/(2/(-260))?
True
Let g(h) = -h**3 - 8*h**2 - 4*h. Let d(y) = -2*y**3 - 16*y**2 - 9*y + 1. Let o(p) = -2*d(p) + 5*g(p). Let f = -21 - -13. Does 7 divide o(f)?
True
Let f(o) = -o**3 - 15. Let j be f(-7). Is (0 + (-9)/(-6))/(6/j) a multiple of 6?
False
Let p(a) = a + 9. Let h be p(-4). Suppose h*k = 32 - 7. Suppose -4*c + 4*f + 24 = 0, -k*c - f = -3*f - 42. Is 3 a factor of c?
False
Let l be ((-3 - -5) + -4)*49/(-1). Suppose f + 5 = l. Is 37 a factor of f?
False
Let a be (13 + -1)*(-2)/(-6). Suppose -113 = -a*y + 47. Suppose c - y = -9. Is c a multiple of 13?
False
Suppose d - 5*y = 2011, -3*d + 1619 = 3*y - 4324. Is 76 a factor of d?
False
Let w = -413 - -809. Does 18 divide w?
True
Let u = 73 - 28. Let o = u - 33. Does 12 divide o?
True
Let k = 93 - 56. Let q = k + -26. Is 2 a factor of q + (-1)/(4/12)?
True
Let d = -1 + -6. Let k(o) = 3*o**2 + 5*o - 1. Let t be k(d). Let y = t + -43. Is 21 a factor of y?
False
Suppose 4*s + 4*f = 1324, -3*f + 1661 = 5*s - 0*f. Is s a multiple of 89?
False
Let w be (-1)/5 - 162/15. Let k = 195 + w. Let p = k - 72. Does 14 divide p?
True
Suppose 427*x - 3360 = 420*x. Is x a multiple of 7?
False
Suppose 0 = s - 21 + 38. Let p = 27 + s. Is p a multiple of 5?
True
Let s(n) = -n + 32. Let d be s(-15). Suppose -4*l + 24 = -52. Let g = l + d. Is 22 a factor of g?
True
Let d = -3929 - -5532. Does 19 divide d?
False
Suppose -4*u - r = -14, 3*u - r = 4*r + 22. Suppose -2*n - 19 = 5*j, 3*n - j - 34 = u*j. Suppose -n = l, -5*l = -3*m - l + 222. Is 35 a factor of m?
True
Suppose 0 = -5*y + m - 9, 0 = 3*y - 5*m + 21 + 2. Let a = y - -9. Suppose 3*o = a + 43. Is 12 a factor of o?
False
Let w = -43 + 28. Let p be 2/3 + 35/(-21). Does 3 divide (p + w)*9/(-12)?
True
Is (-6)/15 - 5510/(-25) a multiple of 22?
True
Let v(d) = -17*d + 137. Does 2 divide v(5)?
True
Suppose -3*f = 3, 0 = -4*z - 0*f + 2*f + 122. Let l = z + -26. Suppose -l*t - 90 = -266. Is 7 a factor of t?
False
Suppose 3*a - k - 184 = 127, 521 = 5*a + k. Is a a multiple of 6?
False
Suppose -825 = -j + 2*m + 65, -3*m + 2688 = 3*j. Does 37 divide j?
False
Let b(d) be the first derivative of d**4/4 + 11*d**3/3 - 3*d**2 - 15*d + 24. Is 33 a factor of b(-5)?
True
Let f(c) = c**3 - 11*c**2 - 8*c - 16. Let a be f(12). Suppose 2*i = k + 10, -i - a = -5*i + 5*k. Is i a multiple of 2?
False
Let f(r) = -5 + 3*r**2 - 3*r**2 - 4*r**2 + 3*r + 5*r**2. Let o be f(-5). Suppose -2*i + o*d = 11, -i + 5*i = -4*d + 48. Is i a multiple of 7?
True
Let q(x) = x**3 - 3*x**2 + 12 + 0*x**3 + 21*x + 14*x**2. Let u be q(-8). Let d = u + -21. Is 15 a factor of d?
True
Let x(k) = -k**3 + 18*k**2 - 15*k - 10. Is 63 a factor of x(8)?
False
Let d be 22/55 + (-4)/10. Suppose -q + 23 = -a, -3*q - 3*a + 0*a + 51 = d. Does 7 divide (2 - 3)*(1 - q)?
False
Let n(v) = v**2 + 3*v + 17. Let b = -33 + 26. Does 15 divide n(b)?
True
Let r(v) = -45*v + 6. Suppose 2*d + 3*u = -u - 2, -4*u = -4. Is 22 a factor of r(d)?
False
Let p = 20 + 14. Does 5 divide p?
False
Let b = -166 + 305. Suppose 0 = 39*p - 38*p - b. Does 31 divide p?
False
Let k(b) = -10*b - 4*b - 6*b + 26*b. Let z(i) = -i - 1. Let c(m) = 3*k(m) + 21*z(m). Is c(-9) a multiple of 2?
True
Let t = -7 - 4. Let u(q) = 72 - 2*q + 84 - 165. Is u(t) a multiple of 3?
False
Let r(i) = i**2 + 3*i - 1. Let x be r(-4). Suppose w = 2*o + 11, -2*w = 2*w - x*o - 54. Suppose z = -2*y + y + 25, 0 = y - 4*z - w. Is 21 a factor of y?
False
Let s(y) = -y**3 - 5*y**2 + y + 5. Let b be s(-5). Let f = b - -2. Suppose -3*n + 16 = -f*i, 5*i + 0*i - 4 = 2*n. Is 8 a factor of n?
True
Suppose -4 = -2*p - 12, -4*h = 4*p + 40. Let s(z) = -