+ -3)). Let s(r) = 2*r + 5*r + 5*r**2 - 2 - r - 15*r. Is 9 a factor of s(k)?
False
Let r(g) = -2*g**2 + 26 - 2*g + 612 + 162 + g**3. Let q be r(0). Suppose -4*x + x + 5*d = -592, -4*d - q = -4*x. Is 17 a factor of x?
True
Suppose 210*d - 18258 = 207*d. Is d a multiple of 179?
True
Let c(z) = -3853*z - 4465. Is c(-7) a multiple of 186?
True
Let r = -75 + 92. Let o(t) = t**2 + 5*t - 14. Is 45 a factor of o(r)?
True
Let w be 5/(-2)*4/(-5). Suppose w*n = -4*q - 0*n + 580, 5*n = 4*q - 580. Is (-2)/(-4) + q/10 a multiple of 15?
True
Let i(l) = -7*l + 362. Suppose 13 = -33*d + 13. Is i(d) a multiple of 10?
False
Let v(z) = 36*z + 323. Does 4 divide v(12)?
False
Let h(x) = -x**3 + 15*x**2 + 35*x - 30. Suppose 13*v - 49 - 133 = 0. Is 8 a factor of h(v)?
True
Suppose 222*v = 224*v - 3*p - 7159, -3*p - 14327 = -4*v. Is v a multiple of 8?
True
Let m(d) = 28*d + 5136. Is m(-113) a multiple of 41?
False
Suppose -253*u + 267*u = 70112. Is u a multiple of 30?
False
Let b be 0/((5*-2)/(-5)). Suppose 2*l - 358 = 4*f, -2*f + 756 = 4*l - b*f. Let v = -125 + l. Is 17 a factor of v?
False
Suppose -3*i = -5 + 20, 2*i = -3*r + 551. Suppose 4*o - 169 = 5*v, -o + 9*v + 43 = 7*v. Suppose 0 = -3*d + r + o. Does 5 divide d?
False
Suppose -3*n + 105251 = -11*h + 13*h, -n + 5*h = -35078. Is 99 a factor of n?
False
Does 67 divide (-3)/((-252)/4)*-2 - 12122846/(-1407)?
False
Let y(j) = -j**2 - 40*j - 40. Let m(c) = c**2 + 61*c + 60. Let x(o) = -5*m(o) - 8*y(o). Is x(7) a multiple of 16?
True
Let t = 25765 - 4617. Does 13 divide t?
False
Let v = -18 + 19. Let f be v + 1 + (-2 - -4). Does 14 divide f/14 + (-1464)/(-21)?
True
Let c(n) = n**3 + 9*n**2 + 9*n + 17. Suppose 8 = -5*w + 3*z, 3*w + 4*z + 10 = -18. Let t be (-2)/w*-1*14. Is c(t) a multiple of 16?
False
Suppose -p - g = -3*p - 147, 5*g + 15 = 0. Is (2638/10 + (-15)/p)/1 a multiple of 24?
True
Let l = 3803 + -2543. Is l a multiple of 18?
True
Let u = -19160 - -51590. Does 10 divide u?
True
Let l = -52 + 44. Let k be 0/(-4 - l) + 97. Suppose -s = -k + 32. Does 13 divide s?
True
Suppose -4*q - 5*m = -82856, 19*q - 3*m = 15*q + 82888. Is 47 a factor of q?
False
Let y be (29 - -1)*3*(-1)/(-9). Is 17 a factor of -1*5/y*-374?
True
Is (-10)/(-6) - -16213*16/48 a multiple of 17?
True
Let o = 182 - 112. Does 12 divide o/(-385) + (-796)/(-22)?
True
Let z(j) = -218*j + 1243. Does 38 divide z(-30)?
False
Suppose q = 2*a - 21, 9*a + 5*q = 14*a - 65. Is -628*a/(-20)*20/32 a multiple of 30?
False
Suppose 3*v - 13484 = 4*c, 5*c + 12 = 8*c. Is v a multiple of 6?
True
Let v = 8 - 8. Let c(q) = -3*q + 15. Let p be c(v). Suppose -69 + p = -s. Is s a multiple of 18?
True
Suppose -110*v + 115*v = 3*m + 19642, 4*v + m = 15734. Is 32 a factor of v?
False
Let s = 30 - 30. Suppose 2*c + c + 12 = s. Is 7 a factor of -1*(c + (-3)/1)?
True
Is ((-3)/6 - 2)*1080400/(-500) a multiple of 74?
True
Suppose -61*j + 87330 + 706050 = 79*j. Is 50 a factor of j?
False
Does 19 divide (-65 - -67)*(-2186)/(-4)?
False
Let u be (1/(2 + -1))/((-7)/(-70)). Does 16 divide 8/u*1300/13?
True
Let f(u) = 5*u + 24. Let t be f(-6). Let s be (8 + t)/(2/47). Is -2*s/(-1) - -3 a multiple of 22?
False
Suppose 0 = -4*n + 4*b + 12, 2*n + 3*b - 21 = 2*b. Suppose 0 = -n*x + 10*x - 4. Suppose 0 = m + 3*l - 65, 5*l + 25 = x*m - m. Does 5 divide m?
True
Suppose -3*c + 27276 = 5*f - 6735, 4*c = -7*f + 45350. Is 47 a factor of c?
True
Let k(b) = b**2 - 9*b + 5. Let z be k(7). Let x(i) = -i**2 - 5*i + 38. Let d be x(z). Suppose -d*l + 2*r + 120 = 6*r, r - 3 = 0. Does 18 divide l?
True
Suppose 0 = -4*c - 2*c + 732. Let l = c - 116. Is l a multiple of 5?
False
Let h be (9396/(-10))/(-3) + (-2)/10. Suppose 2049 = 8*g + h. Is 57 a factor of g?
False
Suppose -7*f - 2*o = -11*f + 1392, -f + 2*o = -342. Let x = 588 - f. Is 17 a factor of x?
True
Let t(g) = 395*g - 5. Let y be t(2). Suppose 0 = l - 2*l + y. Does 75 divide l?
False
Suppose 510*v - 819952 = 398*v. Is 33 a factor of v?
False
Suppose x - 1 = 11. Suppose x*f = 1292 + 268. Does 2 divide f?
True
Is 40 a factor of (0 + 12)*(-105)/252*-424?
True
Let v(p) = 31*p**2 + 36*p - 328. Does 15 divide v(18)?
False
Suppose 13*s - 14939 - 7173 = 4044. Does 2 divide s?
True
Let p(h) = 3*h**2 + 3*h - 3. Let a be p(1). Suppose a*j + 486 = 5*q, q - 5*j - 34 = 50. Let s = q + -58. Is 32 a factor of s?
False
Let l be (-2)/(-4) - (-13481)/26. Let k = l - 213. Is 34 a factor of k?
True
Suppose 5*t - 2*j = -0*j - 410, 247 = -3*t + j. Let o = -55 - t. Suppose 5*b = 4*l - 28 - 65, 0 = -2*l - b + o. Is l even?
False
Let f = -9093 + 14408. Is f a multiple of 27?
False
Suppose l + 52*y - 18636 = 56*y, 0 = -y + 5. Is 11 a factor of l?
True
Let j be (-16)/(-48)*(-1 + 16). Let d = j + -9. Let c(v) = -2*v**3 - 4*v**2 - 2*v - 2. Does 10 divide c(d)?
True
Suppose -5*d = 90 - 100. Suppose 3*g + 951 + 1200 = d*v, 5*v - 5403 = -g. Does 15 divide v?
True
Let t be -6 - -10 - (-246)/(-4)*-2. Suppose 0 = 123*h - t*h + 52. Let s(p) = -p**2 + 19*p - 56. Does 7 divide s(h)?
False
Is (-4940)/3*(-783)/522 a multiple of 38?
True
Let x = -2315 - -3458. Does 9 divide x?
True
Let t(q) = 6*q**2 - q + 18. Let k be t(6). Let x be k/19*(-2)/4. Is ((-9)/x + -2)/((-4)/384) a multiple of 3?
True
Let q = -419 + 428. Is (-3)/q - 76384/(-84) a multiple of 11?
False
Let a(k) = k**2 - 3*k + 20. Suppose 0 = 36*o - 27 + 459. Does 22 divide a(o)?
False
Let j(f) be the third derivative of -f**4/8 + 19*f**3/2 + f**2. Let x = -2061 - -2061. Does 19 divide j(x)?
True
Let t = 132 + -130. Suppose 0*w - 2364 = -4*d + 2*w, t*w = 2*d - 1184. Does 22 divide d?
False
Let j(f) = -3*f**2 + 15*f - 23. Let v be j(2). Let h = -1 + -10. Let x = v - h. Is x a multiple of 6?
True
Suppose -f + 102306 = -f + 17*f. Is f a multiple of 51?
True
Let n = -3578 - -8132. Suppose -19*f + n = -f. Is f a multiple of 31?
False
Let y = -70640 - -129230. Is 378 a factor of y?
True
Let q(d) = -154*d - 21. Suppose -15*u - 37 - 23 = 0. Does 85 divide q(u)?
True
Let h = -67 + 128. Suppose -s = 16 + h. Let w = -33 - s. Is 11 a factor of w?
True
Suppose -2*w - 49 = 9. Let x = 32 + w. Suppose x*a - 1404 = -10*a. Is a a multiple of 18?
True
Let w be 7 + 1*-2 + (-1)/(-1). Suppose -w = 2*j + 3*v, -v - 10 = -3*j + 4*v. Suppose j*m + 5*m = 625. Does 20 divide m?
False
Let x(f) = -63*f + 2876. Is 49 a factor of x(0)?
False
Suppose 0 = 4*p + 77 - 385. Suppose 5*k - 422 = -3*l, k = 4*l - 11 + p. Let r = -42 + k. Does 11 divide r?
False
Suppose -2*t + 6 = g, -9*g = -2*t - 5*g + 6. Let d(k) = 4*k**3 - 4*k + 4. Does 9 divide d(t)?
False
Suppose 130 = 5*s - 50. Let j = s - 28. Let i(d) = -d**3 + 7*d**2 + 18*d + 1. Is i(j) a multiple of 12?
False
Let b = 3860 + -2551. Suppose 2 = 2*f, -f + 2*f + b = 5*t. Let c = t + -139. Is 14 a factor of c?
False
Let w = -437 + 1570. Does 4 divide w?
False
Suppose -4 = -2*t, -4192 + 217 = -5*v - 5*t. Does 9 divide v?
False
Suppose 3*h + 3*h = 24. Suppose h*o - 1267 = 329. Suppose -2*c - 4*b + 198 = 0, 5*b - o = -2*c - 2*c. Does 16 divide c?
False
Let h = 10276 - 10602. Suppose -3*s = -3*i + 1671, 4*s = 2*s - 4*i - 1102. Let m = h - s. Is 28 a factor of m?
False
Suppose -4*n - 5*t = -3*n - 2198, -2*n = t - 4414. Suppose -n = -42*u + 36*u. Is u a multiple of 46?
True
Suppose -4*k + 8 = -8. Let t(y) = y**3 + 19*y**2 - 4*y - 35. Let x be t(-19). Is x + k + -2 - -1 a multiple of 44?
True
Let m = 165 + -164. Let v(z) = 91*z**3 + 2*z**2 - 6*z + 5. Is v(m) a multiple of 4?
True
Is (454*9/90 - -5)*130 a multiple of 20?
False
Suppose 5*l = -10, 3*j - 2*l = 8*j - 6. Let m be 72 + (j/7 - (-300)/(-70)). Suppose 63*w - m*w + 140 = 0. Is w a multiple of 3?
False
Suppose v - 5*i - 6 = 9, 4*v + i + 3 = 0. Suppose p + 5 = v, -f + 313 = -p - 4*p. Is 54 a factor of f?
False
Let l(c) be the first derivative of 3*c**5/5 - c**4/12 + c**3/3 - c**2/2 - 23*c - 7. Let o(p) be the first derivative of l(p). Is o(1) even?
True
Let q = -11043 + 17630. Is 21 a factor of q?
False
Let k(l) = -9*l**3 + 4*l**2 + 40. Let t(f) = -5*f**3 + 2*f**2 + 20. Let i(n) = 4*k(n) - 7*t(n). Let y be i(0). Is 12 a factor of (-5)/(-20) - (-2875)/y?
True
Let f(h) = 8*h**2 + 2*h + 1. Let n be f(1). Suppose 0*o + 20 = 2*o. Is n + (o/(-5))/2 a multiple of 8?
False
Suppose -s - 31*f + 27*f + 2318 = 0, -2*s + 2*f = -4686. Is 13 a factor of s?
False
Suppose -6*l + l = y