x?
False
Let f(y) = 73*y**3 - y. Suppose -5*u = -27 + 2. Suppose 5*g = -u*k - 5, -20 = -5*k + 5*g - 5. Does 24 divide f(k)?
True
Let f = -2 - -5. Let p = -253 - -258. Suppose j + p*i = 2*i + 54, 0 = -f*i. Is 15 a factor of j?
False
Does 2 divide 38 + -16 + (-1)/(1/3)?
False
Let d(k) be the third derivative of -1/120*k**6 + 0*k + k**2 + 7/12*k**4 + 0 + 0*k**3 + 11/60*k**5. Is d(12) a multiple of 18?
False
Let v(x) = -6*x + 92. Is v(4) a multiple of 8?
False
Let u(t) = t + 13. Let w be u(-10). Let p(c) = -23*c - 6. Let k be p(w). Let d = -23 - k. Does 13 divide d?
True
Let o = -5 - -13. Suppose -59 = -q - o*s + 3*s, -3*q + 5*s = -157. Is 25 a factor of q?
False
Suppose 4*i = 6*i - 8. Suppose i*b - 7*b + 174 = 0. Is 29 a factor of b?
True
Let r = 1 - -97. Suppose 0 = 2*x + h - r, 110 = 2*x - 2*h + 6*h. Is 8 a factor of x?
False
Suppose 0 = b + 4, -4471 = -4*h - 5*b + 2653. Is h a multiple of 94?
True
Let n be (50/(-15))/(2/(-3)). Suppose 5*x - 4*y + y = 12, -20 = -x + n*y. Suppose -2*s = -12 - x. Is s a multiple of 3?
True
Suppose v = -3*w + 8, -5*v + 6 = -w + 14. Suppose -891 = -3*h - 5*a - 0*a, -2*a + 882 = w*h. Is 2/(-9) - h/(-18) a multiple of 6?
False
Let n(v) = -2*v**3 - 11*v**2 + 3*v - 5. Let h(f) be the second derivative of -f**3/6 + 8*f. Let i be h(6). Is 2 a factor of n(i)?
False
Suppose -4*x = s - 337, 4*x + 26*s - 340 = 22*s. Does 12 divide x?
True
Suppose -2*x = 5*w + 178, 4*x - 4*w + 408 = -w. Is (3 + -2 + x)/(-2) a multiple of 8?
False
Let b be 7 + 3/(-6) + (-7)/2. Suppose 0 = 2*g - 3*n - 189, 0*g = b*g - 3*n - 285. Is 6 a factor of g?
True
Let h be 3 - (-1)/(-4)*-33*4. Let p = h + 0. Is p a multiple of 12?
True
Suppose -d - c = 8 - 50, d - 33 = 2*c. Let t = 2 - -2. Let r = d + t. Is 15 a factor of r?
False
Let b be 5 - 21*(-6 + 0). Suppose b = z - 61. Is z a multiple of 15?
False
Suppose 5*h = 6 + 4, 5*r - 1063 = h. Is r a multiple of 20?
False
Let y = -111 + 139. Let c be 8 + (-2)/2 - 1. Let n = c + y. Is 8 a factor of n?
False
Let q = -38 - -15. Let k = q - -8. Let m = k - -18. Is m a multiple of 3?
True
Let u = 383 + -574. Let b = u + 286. Is 19 a factor of b?
True
Let a = -173 + 437. Is 18 a factor of a?
False
Let c = 837 - 103. Is c a multiple of 41?
False
Suppose 0*b + 16 = 4*b. Suppose -4*c - b*a - 3 = -91, -2 = -a. Is c a multiple of 10?
True
Let n be (-5)/20 - 2/(-8). Suppose n = -l - 5*u - 10, -5*u = 3*l - 0*u + 50. Is 11 a factor of (-34)/(-3) - l/(-60)?
True
Suppose 11*u = 752 + 1701. Is 5 a factor of u?
False
Let s be 1770/(-12)*(-8)/10. Suppose -4*b + s = -74. Is b a multiple of 16?
True
Let h(p) = 6*p**2 - 15*p - 29. Does 37 divide h(-7)?
True
Let k(s) = s**3 - 3*s**2 + s + 1. Let j be k(3). Let h = 6 + -1. Suppose 0 = 2*z + 4*c - 0*c - 98, -j*z = -h*c - 248. Does 24 divide z?
False
Let f(q) be the first derivative of -3/2*q**2 + 1/3*q**3 + 5*q - 11. Is f(-7) a multiple of 9?
False
Suppose 11 = -5*v - 34. Is 28 a factor of (201/v)/((-5)/15)?
False
Let s be (174/(-2))/(5/5). Let b = s - -29. Let u = b + 85. Is u a multiple of 9?
True
Let d = 3 + -6. Let u(n) = 4*n**2 - n + 6. Let v be u(d). Let f = -27 + v. Is 5 a factor of f?
False
Suppose -21*f + 3*j = -23*f + 1932, 4830 = 5*f + 5*j. Is f a multiple of 23?
True
Suppose 0 = -8*i + i - 315. Is 18/i + 302/5 a multiple of 5?
True
Is 85 a factor of (5*(-2584)/(-80))/(2/20)?
True
Let k be 1947/12 + 24/32. Suppose -5*m = -k - 47. Does 21 divide m?
True
Suppose 10*q = 39*q - 15689. Does 34 divide q?
False
Let p(i) = i**2 + 22*i + 65. Is p(19) a multiple of 52?
False
Suppose -22859 = -94*w - 7067. Is 10 a factor of w?
False
Does 28 divide ((-6132)/(-630) - (-2)/(-5))*471?
True
Suppose -12*j + 180 = -11*j. Let d = -90 + j. Is 9 a factor of d?
True
Suppose 11*w - 5*w = 432. Is 28 a factor of w?
False
Suppose -74 = -h - 2*d, h - d = -2*h + 243. Let z = h + 25. Is 18 a factor of z?
False
Let r(j) = -81*j - 48. Let f(t) = -10*t - 6. Let s = -7 + 3. Let q(m) = s*r(m) + 33*f(m). Is 17 a factor of q(-5)?
False
Suppose 2*i + 4*z + 52 = 0, 5*i + 5*z + 19 = -96. Let u = i - -22. Suppose 5*q = 20, 0 = 2*a + u*a - q - 56. Does 5 divide a?
True
Let m(f) = 17*f - 5. Is 8 a factor of m(5)?
True
Does 16 divide (6 - 1)*-2*(-864)/30?
True
Suppose -2340 = l - 4*l - 2*t, 0 = 4*t + 12. Is l a multiple of 35?
False
Let z(v) = 147*v - 418. Does 23 divide z(3)?
True
Let o(p) = p**3 + 14*p**2 - p - 13. Let q be o(-14). Let g = 87 - q. Is g a multiple of 25?
False
Let i be (171/(-76))/((-6)/272). Suppose 3*g + i = 4*g. Is g a multiple of 17?
True
Let x(w) = 9*w**2 - 2*w - 56. Let b(c) = c**2 - 1. Let s(z) = -6*b(z) + x(z). Is 14 a factor of s(-6)?
True
Let r be (6 + 3/(-1))/1. Is 18 a factor of 1 + r + (-148)/(-4)?
False
Suppose 29 - 5 = 4*k. Suppose -3*z = k*z - 558. Does 31 divide z?
True
Let y = 1123 - 59. Is y a multiple of 84?
False
Suppose 114 - 102 = -3*z, 9914 = 2*c - 5*z. Is c a multiple of 97?
True
Let l(v) = -v**2 + 6*v - 10. Let n be l(4). Is 3 a factor of 1 + 8/n + 17?
False
Suppose 20 = 2*h + 2*h. Suppose -h*g + 15 = -2*g. Suppose 0 = -4*k + g*w + 24, 0*k - 2*k - 2*w + 30 = 0. Is 7 a factor of k?
False
Let w = 317 - -46. Is w a multiple of 55?
False
Suppose 3*g - 8*g = -25. Suppose g*w - 115 - 60 = 0. Is w a multiple of 7?
True
Let v(o) = 2*o - 3*o - 3*o**2 + 4*o**2 + 0*o**2. Let w(u) = -u**3 - 3*u**2 - 2*u + 2. Let q be w(-2). Is v(q) a multiple of 2?
True
Suppose 2*a = 33 - 1. Is a a multiple of 5?
False
Let q = -53 - -123. Is 3 a factor of q?
False
Let c = 1401 + -802. Does 38 divide c?
False
Is ((-235)/141)/((-2)/372) a multiple of 34?
False
Suppose -2*a - 2 = -3*a. Let j(d) = -8*d**3 - 2*d + 3*d**2 - d**3 + 3 + 10*d**3 - 1. Is j(a) a multiple of 9?
True
Suppose o = -15 + 18. Let r(j) = -8*j**2 + j**3 - 6 - 3*j - 2*j - o*j**3 + 3*j**3. Does 15 divide r(9)?
True
Suppose d + 10*d - 55 = 0. Suppose -n + 244 = 3*l - l, n = -d*l + 616. Does 10 divide l?
False
Let l(h) = 3*h**2 - 13*h + 1. Let x be 2/(-9) + (-204)/54. Let w(k) = 8*k**2 - 38*k + 3. Let s(o) = x*w(o) + 11*l(o). Is 27 a factor of s(6)?
False
Let n be 40/12*(-3)/(-2). Suppose 4*l + 3*j - 26 - 26 = 0, -5*l = -n*j - 30. Let r = 26 + l. Does 18 divide r?
True
Let i(r) = -4*r + 33. Let x be i(7). Suppose 0 = k - x*k - 3*s + 111, -2*s - 6 = 0. Does 11 divide k?
False
Let c(k) be the third derivative of k**6/120 - k**5/5 + k**4/12 + 7*k**3/6 + 7*k**2. Is 12 a factor of c(12)?
False
Suppose -3*k + 505 = -764. Suppose k = 4*m - 3*q, -m + 2*m - 102 = -3*q. Is 21 a factor of m?
True
Let p = 27 + 33. Does 4 divide (-20)/6*p/(-10)?
True
Let y(b) = b + 0*b + 3 + 17*b**2 - 6*b**2 - 5*b. Is 10 a factor of y(1)?
True
Is (5 + 30/(-12))*(-44)/(-5) a multiple of 22?
True
Let v(p) = p**3 + 7*p**2 + p + 1. Let q be v(-7). Let r = q - -14. Let x = r - -1. Does 3 divide x?
True
Let c = 388 + 139. Is c a multiple of 31?
True
Suppose 132*a = 122*a + 20160. Is 32 a factor of a?
True
Suppose -2*z + 0*z + 1002 = -3*m, 0 = -z - 4*m + 512. Is z a multiple of 56?
True
Let x(a) = 17*a**2 - 5. Let h be x(5). Let j be ((-6)/12)/((-2)/h). Does 2 divide 1/(-5) + j/25?
True
Let i = -23 - -46. Let f = i + -19. Is 5*(5 + (-8)/f) a multiple of 7?
False
Suppose -5*b + k = 140, 2*k - k - 59 = 2*b. Let z = b + 48. Is z a multiple of 5?
False
Let h(j) = 4*j - 2. Let y be h(2). Suppose y*l = -11*l + 3978. Is l a multiple of 26?
True
Suppose -m = 4*m - 10. Suppose 4*i - 15 = -t, -m*t + 0*t + 5*i - 22 = 0. Is 24 a factor of (-7)/t*72/21?
True
Suppose 4*t + t = -3*p - 319, 5*p + 507 = 4*t. Let j = -73 - p. Does 15 divide j?
True
Let v be 5/2 - (-1)/(-2). Suppose v*c + 14 = 4*d, -2*d = c - 5 - 0. Suppose -27 = -d*l + 21. Is 7 a factor of l?
False
Let d = 43 - 19. Let w = d + -21. Suppose -g = -w - 12. Is g a multiple of 6?
False
Is 15 a factor of 480 - (6/(-3) - 3)?
False
Suppose 20 - 5 = -c + 5*o, 0 = -2*o - 6. Let y = -19 - c. Is 7 a factor of y?
False
Suppose 0 = -30*y + 24*y + 2118. Is 39 a factor of y?
False
Suppose 5*f = 2*p + 15, 10 = 4*f - p - 2. Suppose 5*u - f*u = 312. Is u a multiple of 39?
True
Let s(k) = k**2 + 11*k + 7. Let h be s(-7). Let m be (-1)/((9/h)/(-3)). Does 30 divide (m + 13)/(3/44)?
False
Let d(l) = l**2 - 26*l - 35. Does 59 divide d(39)?
True
Suppose 55 = 3*w - 11. Is 75 - ((-62)/22 + (-4)/w) a multiple of 13?
True
Suppose 3*l - 2619 = -5*o, 