/(-45) + 5)?
False
Let y(w) = -384*w + 6663. Does 153 divide y(-46)?
True
Let b be 0 + (3 - (3 + 4/(-2))). Suppose m + b = 0, 5*k - 161 = 3*m + 95. Is k a multiple of 10?
True
Suppose z = 1300*r - 1304*r + 7080, -4*z + 5297 = 3*r. Is 3 a factor of r?
False
Let q be (133 - 6)/((-2)/(-2)). Let r = q + -77. Suppose r + 4 = s. Is 9 a factor of s?
True
Suppose -1026 = -7*t + 5204. Suppose -3*r = -o + t, 5*o - 3*r - 4422 = -2*r. Does 17 divide o?
True
Let o = -3158 + 12076. Is 91 a factor of o?
True
Let k(i) = -25*i**2 - 5*i + 2. Let h be k(1). Let d = -36 - h. Let q(y) = y**3 + 9*y**2 - 7*y - 12. Does 12 divide q(d)?
True
Let j(f) be the first derivative of -17*f**2 + 124*f - 81. Does 13 divide j(-4)?
True
Let b(l) be the second derivative of 29*l**3 + 45*l**2/2 - 13*l + 4. Is 15 a factor of b(5)?
True
Let g(n) = 71*n - 3. Let r be g(-4). Let t be (2 - 4)/(14/r). Suppose -3*s - t = -2*o, 0 = -3*o + 2*o - 5*s + 1. Does 5 divide o?
False
Suppose t - 2*b - 17777 = 0, -t - 5*b + 6*b = -17779. Is t a multiple of 109?
False
Let l = -3437 - -1568. Let s = 2793 + l. Does 81 divide s?
False
Let w(f) = -6 + f**3 + 4 - 4*f + f + 7*f + 6*f**2. Suppose -3*u - 16 = 5*r, 3*r + 2*u = u - 12. Does 2 divide w(r)?
False
Suppose -336*s - 49312 = -382*s. Is 63 a factor of s?
False
Does 5 divide 786/4 - 108/(-72)?
False
Is 29 a factor of (3288/(-28))/(13/(-2366)*2)?
False
Suppose 0*o = -o - 26. Let w be (-10)/(-5)*1/4*o. Let x(s) = -5*s. Is 13 a factor of x(w)?
True
Let h be (6 - (-2 + 10))/((-4)/(-14)). Let k be 24*(16/88 + h/(-22)). Suppose k*g - 314 = 1414. Does 24 divide g?
True
Let x = -89 + 54. Let l = x - -16. Let s = l - -35. Is 16 a factor of s?
True
Let g(i) = -30*i - 8. Let f be g(-4). Suppose 23 = 5*w - 12. Suppose f = -0*q + w*q. Is 16 a factor of q?
True
Let l = 37 + -35. Let t be -12*5/(l + 3). Does 6 divide (-12)/(-1) + t + 14?
False
Let l(v) be the second derivative of 51*v**5/20 - 4*v**2 - 17*v. Let d(m) be the first derivative of l(m). Is 28 a factor of d(1)?
False
Suppose 0 = -j + 1, -3*c + 3*j + 5517 = -85653. Is c a multiple of 16?
False
Is 76 a factor of (-361528*28/448)/((-1)/2)?
False
Let b(l) = -88*l**2 - 3*l + 3. Let p(t) = 89*t**2 + 3*t - 4. Suppose -32 = 12*j + 4. Let y(r) = j*b(r) - 2*p(r). Is 7 a factor of y(-1)?
False
Suppose -2*q + h - 384 = 0, -2*h + 960 = -5*q + h. Let d = q + 198. Does 4 divide d?
False
Let k = -6147 + 14372. Is k a multiple of 25?
True
Suppose -a - 163 = 113. Let x = a + 475. Is 23 a factor of x?
False
Let k = 8758 - 1591. Is k a multiple of 34?
False
Let c(r) = r**3 + 13*r**2 - 18*r - 11. Let m be ((-7)/(-1))/(7 - 6). Let h = m - 21. Is 26 a factor of c(h)?
False
Suppose 23 = 21*k + 149. Let h(y) be the second derivative of -7*y**3/3 - 55*y**2/2 - y. Is 4 a factor of h(k)?
False
Let i(k) = -k**2 - 19*k + 33. Let f(c) = -3*c + 1. Let z(u) = 28*f(u) - 4*i(u). Is 7 a factor of z(-7)?
False
Let j be (1 - 4)*226*5/(-30). Let q = -108 + j. Suppose 267 = q*z - 3*s, 3*z - 106 = z + s. Does 10 divide z?
False
Suppose 6*x + 3*i - 138723 = 0, -2*i = x + 1452 - 24577. Does 16 divide x?
False
Let p(k) be the first derivative of -k**3/3 + 13*k**2/2 - 23*k + 156. Is 7 a factor of p(10)?
True
Let y(f) = 72*f**3 + 4*f**2 - 2*f. Let c be y(2). Suppose 5*o - 715 = b, -c = -4*o + 5*b - 16. Does 13 divide o?
True
Suppose 6*o = 28 - 4. Suppose -3*p - h - 2181 = 0, 2190 = -3*p - o*h - 0*h. Is 10 a factor of (2/3)/(p/738 + 1)?
False
Let j(t) = 7*t + 80. Suppose -5*c = -70 + 20. Is j(c) a multiple of 10?
True
Suppose 3*x + 5*u = 37 - 10, -17 = -5*x + u. Suppose -2*p + 122 = 4*f, -36 = -x*f - 5*p + 101. Does 7 divide f?
True
Suppose -y - 1657 = -2*l, 5*y = 2 + 13. Let j = -272 + l. Is 37 a factor of j?
False
Suppose 10*s + 120 = -0*s. Does 10 divide 3*(-98)/(-7)*(-274)/s?
False
Suppose -4*p + 2844 = 5*h, -11*p - 2*h = -9*p - 1422. Let t = 1390 - p. Does 13 divide t?
False
Suppose 51385 = -77*o + 345448. Is 13 a factor of o?
False
Suppose 836688 + 912800 = 647*l. Is 12 a factor of l?
False
Let y(b) = b**2 - 16. Let m be y(-5). Is (-1205)/(1 + (7 - m)) a multiple of 55?
False
Suppose -5*d = y - 419, 4*d + 2*y - 476 + 142 = 0. Suppose -d = -3*g - 3*b, 5 = -18*b + 19*b. Does 2 divide g?
False
Suppose -3*n = -17*n + 5684. Let r = -274 + n. Is r a multiple of 33?
True
Suppose -22*j - 1823 = 311. Let c = j - -161. Is c a multiple of 48?
False
Let c = 1641 + 4479. Does 136 divide c?
True
Let u(t) = 4*t - 19. Let z be u(6). Let h(y) = -y**3 + 5*y**2 - 2*y + 4. Let m be h(z). Does 4 divide 858/55 + m/10?
False
Let u(p) = p**3 + 18*p**2 + 56*p + 11. Let o be u(-14). Suppose 0 = 27*k + o*k - 51984. Does 38 divide k?
True
Let j = 426 - 83. Is j even?
False
Let d(j) = 36*j - 1203. Is d(44) a multiple of 5?
False
Suppose r = -20 + 23. Let q(s) = -s**r - 1 + 19*s**2 + 0 - 30*s**2 - 2*s. Is q(-11) a multiple of 17?
False
Is 14 a factor of 4774 + (-8)/24*(-15 - 0)?
False
Suppose 3*a = -1565*i + 1569*i - 33318, -41663 = -5*i - 4*a. Is i a multiple of 3?
True
Let a(c) = 755*c - 515. Is a(13) a multiple of 50?
True
Suppose -x + 4*g = -0*g - 225, 1109 = 5*x - 4*g. Suppose -4*i + t + x = 0, 2*i - 60 = 4*t + 68. Let q = -38 + i. Does 3 divide q?
False
Suppose 3*l = 5*g + 1115 - 14817, 3*l = 3*g - 8220. Is 30 a factor of g?
False
Suppose 2*f + 4*n = 29346, 21*f - n = 24*f - 43984. Is 137 a factor of f?
True
Let p be (-3 - (-7 + 2))*(4 + 0). Suppose -p*f + 5110 = 1630. Is 15 a factor of f?
True
Let i(o) = o**3 + 5*o**2 + 2*o - 8. Let m be i(-3). Is 509/m + (-18)/72 a multiple of 10?
False
Suppose 9*j = 24050 + 304. Is 66 a factor of j?
True
Suppose 12*u = -3*u + 4*u + 30074. Is u a multiple of 85?
False
Suppose -4*d + 52 - 8 = 0. Suppose -d*q + 6 + 16 = 0. Suppose 810 = 7*s - q*s. Does 16 divide s?
False
Suppose -25 = 5*k - 2*f, 0 = 2*k + f - 3*f + 10. Let t(o) = -o**2 + 4. Let u be t(0). Is 13 a factor of -117*u*k/30?
True
Let c be (-1947)/(-88) + -1*2/16. Suppose 1980 = -11*j + c*j. Is 10 a factor of j?
True
Suppose -2*p = 4*r + 281 - 1435, 5*r + 4*p - 1444 = 0. Is 32 a factor of r?
True
Suppose 11*a + 9 = 14*a, 0 = 5*i - 5*a - 92105. Suppose -30*w + i = -16*w. Is w a multiple of 47?
True
Suppose 93*v - 10440 = 63*v. Let r = v + -226. Is r a multiple of 7?
False
Let s be (-1)/(-2) + 56/(-16) + 1. Is (-10)/(13/(65/s)) a multiple of 25?
True
Let d be 14/3 + (-3)/(-9). Suppose -2*m - 24 = -2*q, -d*q + 0*m = 5*m - 20. Is q a multiple of 4?
True
Suppose 0 = -d - 2 + 9. Suppose -9*r + 1512 = -d*r. Suppose 14*y = 8*y + r. Does 21 divide y?
True
Let w(a) = -7*a + 2127. Let m be w(0). Suppose -l + 562 = 5*r, -4*l - 3*r = -138 - m. Is l a multiple of 31?
False
Let m(d) = 7*d - 1. Let o be m(0). Is (-64 + (-4 - -1))*o a multiple of 12?
False
Let j(x) = 5*x**3 + 3*x**2 + 7*x - 12. Let d(z) = z**3 - z**2 + 1. Suppose 0 = 5*u - 2 - 28. Let w(t) = u*d(t) - j(t). Does 8 divide w(10)?
True
Suppose 3*s = s + 6. Suppose -5*z - v + 15 = 0, -2*z + s*v = -v - 28. Suppose 3*x = -j + 41 - 2, -195 = -z*j + x. Is 14 a factor of j?
False
Let f = 15688 + 2520. Is 16 a factor of f?
True
Suppose -240 = 11*n + 9*n. Is (-4612)/n + 9/(-27) a multiple of 16?
True
Suppose 5*o - 7*t + 11*t - 20 = 0, 4 = o - t. Suppose 0 = -5*l + 4*p + 1512, 2*l + 3*p = o*l - 609. Is 12 a factor of l?
True
Suppose 212*l - 2337 = 193*l. Does 14 divide l + (2/(-1) - (7 - 12))?
True
Let f = 17455 + -13199. Does 4 divide f?
True
Suppose -3*m = 3*y + 4 - 271, 12 = -3*m. Suppose 0*a - 532 = -4*a - 4*f, 4*f - 662 = -5*a. Let o = a - y. Is 7 a factor of o?
False
Let p(j) = -3*j**2 - 76*j + 574. Does 121 divide p(-23)?
False
Suppose -1022 = 4*u + 3*d, 0 = 3*u - 6*d + 3*d + 756. Let y = u + 263. Is y even?
False
Suppose 10*z = 4047 + 14243. Suppose 149 - z = -10*o. Does 24 divide o?
True
Suppose 181*u - 18786 = 178*u - 2*x, -18 = -3*x. Is 48 a factor of u?
False
Let t(n) = n**3 + 22*n**2 + 28*n + 37. Let p = 4 + -24. Does 7 divide t(p)?
False
Let k be 36/(-84) + 6/14. Suppose 19*i - 23*i - 956 = -o, -o - 4*i + 924 = k. Does 5 divide o?
True
Let h(u) = 317*u - 591. Is h(5) a multiple of 21?
False
Let s = 191 + -181. Suppose -w - 115 = -j, 0 = -2*j + s*w - 13*w + 240. Does 9 divide j?
True
Suppose d - 1012 = -2*l, 8*d - 11*d + 3*l = -3081. Suppose -21*y + d = -7*y. Is 4 a factor of y?
False
Let s(u) = 3*u - 16. Let k(f) = -f