)?
False
Suppose 233 = 3*p + 2*p - k, 52 = p - 2*k. Let z = p + -42. Is (206/z)/((-4)/(-8)) a multiple of 51?
False
Does 2 divide 18/4*(-320)/(-18)?
True
Suppose -4*k + 16 = 5*v - v, 2*k = 4*v - 28. Let j(r) = -2*r + 7*r**3 + 3*r**2 - 2 + 10 + v*r**2 - 8*r**3. Is j(8) a multiple of 23?
False
Suppose 7*j - 8*j = v + 41, j = 4*v + 189. Let t = -43 - v. Suppose 3*z - 2*o = 104 + 187, -o = -t. Is z a multiple of 11?
True
Suppose 3*u + 16 = -0*u + 4*s, u - 8 = -2*s. Let a(j) = 2*j + 85. Let m be a(u). Suppose m = -10*t + 545. Does 6 divide t?
False
Does 29 divide (8 - 1932/(-63))*711/6?
True
Let b be 556/(-14) - (-5)/(105/(-6)). Let s be b/6*(-15 - -3). Is 12 a factor of ((-108)/10)/((-24)/s)?
True
Let l(v) = 2537*v - 2. Let f(w) = -1692*w + 2. Let c(y) = 8*f(y) + 5*l(y). Does 37 divide c(-1)?
False
Let r be (14 - 188/12)/((-2)/6). Suppose 4*m = -r*n + 4900, -8*m + 4*n + 6166 = -3*m. Is m a multiple of 13?
False
Suppose -5*y + 45 = 0, 8*t - 13*t + 2*y + 84032 = 0. Is 41 a factor of t?
True
Suppose -2*h - p + 12 = p, 9 = 4*h - p. Let c(m) = -3*m + 0*m**h - 10 + 8 - 14*m**3 + m**2. Is c(-2) a multiple of 24?
True
Suppose 222*g - 19192674 = -1112328. Does 138 divide g?
False
Suppose 22*v - 1544481 + 19221 = 0. Is 30 a factor of v?
True
Let v(x) = x + 6. Let a be v(0). Suppose 0 = -2*w + a*w. Suppose -t + 11 - 5 = w. Does 2 divide t?
True
Let l = 26 - 23. Suppose 554 = -l*c - 5*o, 2 = o - 3. Let y = 360 + c. Is 11 a factor of y?
False
Does 26 divide 14/(-4)*(-2358712)/371 - -4?
True
Let i = -108 - -110. Let m be 0/(1*(-1 + i)*2). Suppose 4*n = 5*z - 151, z + 3*n + m = 15. Does 3 divide z?
True
Suppose c + 14 - 93 = 0. Let t = 45 - c. Let f = 85 + t. Does 51 divide f?
True
Let g = -29965 + 52285. Is g a multiple of 9?
True
Suppose -w = 3*u - 55, -2*u - 13 + 3 = 0. Is 9 a factor of 168/10*w/21 + -2?
True
Let s be 2*-1 + -8 + 17. Is 6*7/(-147) - (-317)/s a multiple of 4?
False
Suppose 3*w = -9, -v + 5 = -5*w - 14. Let y be (2/v)/(2/(-8)). Does 15 divide -4*(1*y/(-4) + -41)?
False
Let o(l) = -2*l + 20. Let g(u) = u**2 - 2*u + 7. Let w be g(3). Let v be o(w). Suppose -6*t + 2*t + 80 = v. Does 5 divide t?
True
Let d(q) = -3*q**3 - 34*q**2 - 14*q + 29. Let h be d(-11). Let y(n) = 37*n - 1. Let r be y(3). Let o = r - h. Is 12 a factor of o?
True
Let b(d) = 92*d**2 - 8*d - 30. Does 15 divide b(7)?
False
Let j(u) = 12*u**2 + 79*u + 1726. Is 46 a factor of j(-24)?
False
Let s be 4 + (-2)/4*-2. Let i(p) = 63*p**2 - 5*p + 5. Let m be i(1). Suppose 0 = -s*z + 343 - m. Is z a multiple of 8?
True
Suppose -945 = -6*h + 1233. Suppose 368*u - 80 = h*u. Does 2 divide u?
True
Let w(b) = b**3 + 6*b**2 + 4*b - 2. Let s be w(-5). Is 366 - (0 + 5 - s) a multiple of 14?
True
Let k(c) be the third derivative of c**4/24 - c**3/6 + 25*c**2. Let r be k(2). Is 29 a factor of (29/(-3))/(r/(-3))?
True
Suppose 4*l - 200 = -l. Suppose -2*p = 2*c - 86, 4*p + 68 = 7*c - 6*c. Let g = c - l. Is g a multiple of 3?
False
Let c(h) = -h**2 - 28*h - 119. Let m be c(-25). Is (-19459)/m + 6/8 a multiple of 8?
False
Suppose 15673 = k - d, 116*k - 119*k + 47075 = 5*d. Does 10 divide k?
True
Let o be -2 + -1 + 0 + 13. Suppose o*v - 5*v = 10. Suppose v*z + 5*c = 48, -z + 120 = 4*z + 3*c. Does 16 divide z?
False
Let q = -1258 - -2199. Is 16 a factor of q?
False
Let v(b) = -19*b + 557. Does 4 divide v(-96)?
False
Let q be 4/8*-1 - (-49)/2. Suppose 14*b = -q*b + 11932. Is b a multiple of 53?
False
Let g be (-6)/156*-2206 - (-6)/39. Let p(n) = -n**3 + 2*n**2 + 6*n - 6. Let c be p(5). Let r = c + g. Is 4 a factor of r?
False
Suppose -2*d + 7 = -5*v + 18, -3*v + 5*d = 20. Let h = 62 + 6. Suppose -h = -v*p + 82. Is p a multiple of 30?
True
Let t = -1490 - -3820. Is 37 a factor of t?
False
Let k(u) = -2*u**2 + 17*u - 16. Let d be k(6). Suppose -4*w = n - 437, -d*w + 13*w = -5*n - 83. Is w a multiple of 27?
True
Suppose 0 = 5*s - 2*s + 2*s, -4*g - 2*s = -7192. Is g a multiple of 130?
False
Let g(v) = 18*v - 5. Let m be 64/(-3) - 6/45*5. Let y = m - -25. Is 21 a factor of g(y)?
False
Let g = -7232 - -55588. Is 17 a factor of g?
False
Let r(f) = -4 + 2*f + 25 + 8 + 1. Is 13 a factor of r(-5)?
False
Let x be 358/7 - (-2)/(-14). Let p = x + -47. Suppose 4*d = -p*r + 104, 5*r + 6*d = 2*d + 130. Is r a multiple of 13?
True
Let d(v) = -950*v**3 - v**2 + v. Let k be d(1). Let r = -526 - k. Is 8 a factor of r?
True
Let i(o) = -2*o**2 - 3 + 4*o - o + 4*o**2 + 326*o**3. Let s = -23518 - -23519. Is i(s) a multiple of 36?
False
Suppose -3*t + 74499 = 3*h, -4*h + 2*t + 21356 + 77988 = 0. Is h a multiple of 157?
False
Let o = 222 + -312. Let j(x) = -2*x**3 + 18*x**2 + 18*x - 36. Let k be j(10). Let m = k - o. Is m a multiple of 16?
False
Let f be ((-35)/21)/((-30)/72). Suppose 5*r - 3 = -23, -4*v + f*r = -2600. Is v a multiple of 38?
True
Let r(i) = -2*i**3 + 70*i**2 + 186*i + 306. Is r(36) a multiple of 18?
True
Let s be (68/(-6))/((-8)/81)*4. Is 26 a factor of (s/(-5))/(66/(-220))?
False
Let n(m) be the second derivative of 0 - 8*m**2 + 1/12*m**4 + 14*m + m**3. Is n(-9) a multiple of 11?
True
Suppose -20*l - 450 = -490. Let r(m) = 97*m - 19. Let b(p) = 484*p - 96. Let f(u) = -2*b(u) + 11*r(u). Is 26 a factor of f(l)?
False
Suppose 20*o - 170 = 15*o. Let f(n) = n**3 - 37*n**2 + 105*n - 24. Does 13 divide f(o)?
True
Suppose 0*l + 2*l - 794 = -4*w, l + 809 = 4*w. Suppose -7*m + w + 408 = 0. Is m a multiple of 2?
False
Let f(d) = 38464*d**3 + 16*d - 16. Is f(1) a multiple of 8?
True
Let y be (6/14)/1 + (-51)/119. Suppose y = 76*o - 88*o + 4320. Is o a multiple of 40?
True
Suppose 6*z + 70 = z + 5*y, 0 = 5*y - 10. Let v(p) = p**2 + 13*p - 14. Let w be v(z). Is -22 + 26 - 2*w a multiple of 21?
False
Let m = -9 + 22. Suppose 28 = -f + 5*t - m, -33 = 3*f + 3*t. Let w = -6 - f. Is 10 a factor of w?
True
Suppose -d - 1851 + 5228 = 2*p, 0 = d + p - 3372. Is 79 a factor of d?
False
Suppose -3*i = 0, -2*z - 3*z = -i - 135. Let l = -27 + z. Suppose 5*c + l*c - 21 = -4*s, s = c - 6. Does 2 divide c?
False
Suppose 2*p - 2*v - 1728 = 0, -4*v = -5 + 17. Let h = p + -1216. Let r = 524 + h. Is 35 a factor of r?
False
Let z be (7 - -34)*-13 - 7. Is 13 a factor of (224/(-24))/7*z?
False
Suppose 5*k - 1008 = 5*p - 9008, -2*k = 5*p - 8014. Suppose 446*g = 440*g + p. Is 29 a factor of g?
False
Suppose 20*a - 25*a + 380 = 0. Let p be (-26)/3*(a + -1). Does 19 divide p/(-75)*3*3?
False
Let i = 73 + 742. Is 47 a factor of i - 7/14*8?
False
Let g(f) = -11*f + 17. Let u be g(4). Let m(i) = -65*i - 135. Does 45 divide m(u)?
True
Let h be (19/(-57))/(2/(-66) + 0). Suppose h*t - 7*t - 2940 = 0. Is t a multiple of 38?
False
Let b(t) = 46*t + 218. Let u = -538 - -545. Is b(u) a multiple of 20?
True
Let h(o) = -8*o**3 - 19*o**2 + 8*o + 20. Let w be h(5). Let z = w - -2268. Is z a multiple of 66?
False
Suppose -k + 12652 = 2*b, -195*b = -3*k - 199*b + 37968. Is k a multiple of 43?
False
Let u(q) = 95*q - 949. Let z be u(10). Suppose l - 5*l = -5*t - 40, 31 = 3*l - 4*t. Suppose -5*r - 2*g = -125, z = r + l*g - 1. Does 15 divide r?
False
Let i(r) = 5*r**2 + 13*r + 119. Let c be i(-14). Let u = c - 467. Is 11 a factor of u?
False
Let o = 46 + -37. Let g(w) = 8*w**2 + o*w**2 + 8*w**2 - 18*w**2 + 2*w - 2. Does 11 divide g(-3)?
True
Let w(y) be the second derivative of -y**5/20 - 7*y**4/4 - 14*y**3/3 - 59*y**2 + 14*y + 6. Does 93 divide w(-21)?
False
Let z be ((-84)/(-18))/(6/9). Suppose -10*u + z*u = -432. Is 8 a factor of u?
True
Let q(f) = f**2 + 2*f - 9. Let v be q(-6). Suppose -2*k + v = k. Suppose -2*p = k*p - 210. Is 16 a factor of p?
False
Suppose 0 = -5*x + 3 - 28. Let w(m) = -8*m**2 + 6*m + 4. Let g(d) = 16*d**2 - 12*d - 8. Let v(h) = x*w(h) - 2*g(h). Does 16 divide v(-5)?
False
Let w(g) be the third derivative of -5*g**4/24 + 65*g**3/2 - 63*g**2. Is w(-43) a multiple of 14?
False
Suppose -4*f - 341 - 1675 = -o, -5*f - 2015 = -o. Is o a multiple of 47?
False
Suppose -97*o + 1490 = -92*o. Suppose -o = -4*n - 2*h, 5*h = -3*n + 8*n - 395. Is n a multiple of 19?
True
Suppose -293 = -2*d + 345. Suppose 5*z + 5*y - 1335 = 0, -2*z + 2*y + 853 = d. Is 38 a factor of z?
False
Suppose -2*v + 171 = 2*s - 203, 3*v - 929 = -5*s. Let n = s - 3. Does 2 divide n?
False
Suppose 5 = k, -45425 - 4172 = -2*o + 3*k. Does 77 divide o?
False
Let x(n) = -8*n + 90. Suppose 4